Altre indicizzazioni, e inizio di readdir

[gapil.git] / system.tex

diff --git a/system.tex b/system.tex
index 03d1bed3556382319ccf57f0471e4ff57d99cff3..c5e182262fd1bae8914290c840143f5274eafe79 100644 (file)
--- a/system.tex
+++ b/system.tex
@@ -1842,10 +1842,11 @@ verranno considerati nel calcolo di questi tempi.
 
 Come anticipato in \secref{sec:sys_unix_time} il \textit{calendar time} è
 mantenuto dal kernel in una variabile di tipo \type{time\_t}, che usualmente
-corrisponde ad un tipo nativo (in Linux è un intero a 32 bit).  Il valore
-corrente del \textit{calendar time}, che indicheremo come \textsl{tempo di
-  sistema}, può essere ottenuto con la funzione \funcd{time} che lo restituisce
-in nel suddetto formato; il suo prototipo è:
+corrisponde ad un tipo elementare (in Linux è definito come \ctyp{long int},
+che di norma corrisponde a 32 bit).  Il valore corrente del \textit{calendar
+  time}, che indicheremo come \textsl{tempo di sistema}, può essere ottenuto
+con la funzione \funcd{time} che lo restituisce in nel suddetto formato; il
+suo prototipo è:
 \begin{prototype}{time.h}{time\_t time(time\_t *t)}
   Legge il valore corrente del \textit{calendar time}.