X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=signal.tex;h=06c29340257d7d8460343128e3b467f6cbdbf740;hp=4400436bad0132365db47e610298af0bbd877518;hb=dad0cc5452eb3ce3a9c6bbe12588591c39d962c5;hpb=09a3b3a75ff3b6cb6760b9034b093b6d49923b00

diff --git a/signal.tex b/signal.tex
index 4400436..06c2934 100644
--- 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