Piccole aggiunte e correzioni

[gapil.git] / signal.tex

diff --git a/signal.tex b/signal.tex
index 4400436bad0132365db47e610298af0bbd877518..06c29340257d7d8460343128e3b467f6cbdbf740 100644 (file)
--- a/signal.tex
+++ b/signal.tex
@@ -2617,12 +2617,12 @@ hardware che possono supportare risoluzioni molto elevate, ed in maniera del
 tutto indipendente dalla frequenza scelta per il timer di sistema che governa
 lo \textit{scheduler};\footnote{normalmente si possono ottenere precisioni
   fino al microsecondo, andando molto oltre in caso di hardware dedicato.} per
-questo lo standard POSIX ha previsto una serie di nuove funzioni relative a
-quelli che vengono chiamati ``\textsl{orologi} \textit{real-time}'', in grado
-di supportare risoluzioni fino al nanosecondo. Inoltre le CPU più moderne sono
-dotate a loro volta di contatori ad alta definizione che consentono una grande
-accuratezza nella misura del tempo da esse dedicato all'esecuzione di un
-processo.
+questo lo standard POSIX.1-2001 ha previsto una serie di nuove funzioni
+relative a quelli che vengono chiamati ``\textsl{orologi}
+\textit{real-time}'', in grado di supportare risoluzioni fino al
+nanosecondo. Inoltre le CPU più moderne sono dotate a loro volta di contatori
+ad alta definizione che consentono una grande accuratezza nella misura del
+tempo da esse dedicato all'esecuzione di un processo.
 
 Per usare queste funzionalità ed ottenere risoluzioni temporali più accurate,
 occorre però un opportuno supporto da parte del kernel, ed i cosiddetti