Correzioni varie e inizio timerfd
[gapil.git] / signal.tex
index a51a08e28297b0b68b794a1ea3edbd38b93baed2..4400436bad0132365db47e610298af0bbd877518 100644 (file)
@@ -2617,7 +2617,7 @@ 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 a
+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