X-Git-Url: https://gapil.gnulinux.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=signal.tex;h=182de6abc4678a16eaa0c71b3fcf313c91f928d8;hb=428bc5cd4e05a99bbcb57be6946eb4b1fa9dfca9;hp=4643eafdef097cdd9153137da192768c3a317ada;hpb=5845ec6abcd61687211f186073c8a56276959bdb;p=gapil.git

diff --git a/signal.tex b/signal.tex
index 4643eaf..182de6a 100644
--- a/signal.tex
+++ b/signal.tex
@@ -1363,7 +1363,7 @@ valore restituito in \param{rem} 
 di 1/\const{HZ}.
 
 In realtà è possibile ottenere anche pause più precise del centesimo di
-secondo usando politiche di scheduling real time come \const{SCHED\_FIFO} o
+secondo usando politiche di scheduling real-time come \const{SCHED\_FIFO} o
 \const{SCHED\_RR}; in tal caso infatti il meccanismo di scheduling ordinario
 viene evitato, e si raggiungono pause fino ai 2~ms con precisioni del $\mu$s.