Materuale vario, correzioni e aggiornamenti sulla code di messaggi

[gapil.git] / system.tex

diff --git a/system.tex b/system.tex
index 00dd60bf2feb1669f5cc03ad3858a14493faeeb7..35e27f1059de994f8a8e9b969ab8cd657c6badd8 100644 (file)
--- a/system.tex
+++ b/system.tex
@@ -1,6 +1,6 @@
 %% system.tex
 %%
-%% Copyright (C) 2000-2012 Simone Piccardi.  Permission is granted to
+%% Copyright (C) 2000-2014 Simone Piccardi.  Permission is granted to
 %% copy, distribute and/or modify this document under the terms of the GNU Free
 %% Documentation License, Version 1.1 or any later version published by the
 %% Free Software Foundation; with the Invariant Sections being "Un preambolo",
@@ -2176,7 +2176,7 @@ maniera indipendente usando la costante del kernel \const{USER\_HZ}.
 Fino al kernel 2.6.21 la durata di un \textit{jiffy} costituiva la risoluzione
 massima ottenibile nella misura dei tempi impiegabile in una \textit{system
   call} (ad esempio per i timeout). Con il 2.6.21 e l'introduzione degli
-\index{High~Resolution~Timer~(HRT)} \textit{high-resolution timers} (HRT) è
+\itindex{High~Resolution~Timer~(HRT)} \textit{high-resolution timers} (HRT) è
 divenuto possibile ottenere, per le funzioni di attesa ed i timer, la massima
 risoluzione possibile fornita dall'hardware. Torneremo su questo in
 sez.~\ref{sec:sig_timer_adv}.
@@ -2614,9 +2614,9 @@ sintassi specificata per la forma equivalente di questa funzione definita come
 \code{ADJ}.
 
 Si tenga presente infine che con l'introduzione a partire dal kernel 2.6.21
-degli \itindex{high~resolution~timer} \textit{high resolution timer} ed il
-supporto per i cosiddetti POSIX \textit{real-time clock}, si può ottenere il
-\textit{calendar time} direttamente da questi, come vedremo in
+degli \itindex{High~Resolution~Timer~(HRT)} \textit{high-resolution timer} ed
+il supporto per i cosiddetti POSIX \textit{real-time clock}, si può ottenere
+il \textit{calendar time} direttamente da questi, come vedremo in
 sez.~\ref{sec:sig_timer_adv}, con la massima risoluzione possibile per
 l'hardware della macchina.