Nuova serie di correzioni da Fabio Rossi

[gapil.git] / signal.tex

diff --git a/signal.tex b/signal.tex
index 4643eafdef097cdd9153137da192768c3a317ada..182de6abc4678a16eaa0c71b3fcf313c91f928d8 100644 (file)
--- 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.