Varie correzioni, completata revisione capitolo sull'I/O su file
[gapil.git] / system.tex
index 74d6dd330c7268f1011ab71a1f5e69a609fffb6d..84dad32d73be5035e83741fbb7dc9fd75fca43e2 100644 (file)
@@ -1,6 +1,6 @@
 %% system.tex
 %%
-%% Copyright (C) 2000-2018 Simone Piccardi.  Permission is granted to
+%% Copyright (C) 2000-2019 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",
@@ -32,14 +32,14 @@ l'implementazione del kernel e delle librerie, le opzioni di
 configurazione. Il kernel inoltre mette a disposizione l'accesso ad alcuni
 parametri che possono modificarne il comportamento.
 
-La definizione di queste caratteristiche ed il tentativo di provvedere dei
+La definizione di queste caratteristiche ed il tentativo di fornire dei
 meccanismi generali che i programmi possono usare per ricavarle è uno degli
 aspetti più complessi e controversi con cui le diverse standardizzazioni si
-sono dovute confrontare, spesso con risultati spesso tutt'altro che chiari.
-Daremo comunque una descrizione dei principali metodi previsti dai vari
-standard per ricavare sia le caratteristiche specifiche del sistema, che
-quelle della gestione dei file e prenderemo in esame le modalità con cui è
-possibile intervenire sui parametri del kernel.
+sono dovute confrontare, con risultati spesso tutt'altro che chiari.  Daremo
+comunque una descrizione dei principali metodi previsti dai vari standard per
+ricavare sia le caratteristiche specifiche del sistema che quelle della
+gestione dei file, e prenderemo in esame le modalità con cui è possibile
+intervenire sui parametri del kernel.
 
 \subsection{Limiti e caratteristiche del sistema}
 \label{sec:sys_limits}
@@ -58,16 +58,17 @@ sono necessari due tipi diversi di funzionalità:
 \item la possibilità di determinare limiti ed opzioni durante l'esecuzione.
 \end{itemize*}
 
-La prima funzionalità si può ottenere includendo gli opportuni header file che
-contengono le costanti necessarie definite come macro di preprocessore, per la
-seconda invece sono ovviamente necessarie delle funzioni. La situazione è
-complicata dal fatto che ci sono molti casi in cui alcuni di questi limiti
-sono fissi in un'implementazione mentre possono variare in un altra: tutto
-questo crea una ambiguità che non è sempre possibile risolvere in maniera
-chiara. In generale quello che succede è che quando i limiti del sistema sono
-fissi essi vengono definiti come macro di preprocessore nel file
-\headfile{limits.h}, se invece possono variare, il loro valore sarà ottenibile
-tramite la funzione \func{sysconf} (che esamineremo a breve).
+La prima funzionalità si può ottenere includendo gli opportuni file di
+intestazione che contengono le costanti necessarie definite come macro di
+preprocessore, per la seconda invece sono ovviamente necessarie delle
+funzioni. La  situazione è complicata dal fatto che ci sono molti casi in cui
+alcuni di questi limiti sono fissi in un'implementazione mentre possono
+variare in un altra: tutto questo crea una ambiguità che non è sempre
+possibile risolvere in maniera chiara. In generale quello che succede è che
+quando i limiti del sistema sono fissi essi vengono definiti come macro di
+preprocessore nel file \headfile{limits.h}, se invece possono variare, il loro
+valore sarà ottenibile tramite la funzione \func{sysconf} (che esamineremo a
+breve).
 
 \begin{table}[htb]
   \centering
@@ -151,7 +152,7 @@ sez.~\ref{sec:sys_file_limits}.
 \begin{table}[htb]
   \centering
   \footnotesize
-  \begin{tabular}[c]{|l|r|p{8cm}|}
+  \begin{tabular}[c]{|l|r|p{9cm}|}
     \hline
     \textbf{Costante}&\textbf{Valore}&\textbf{Significato}\\
     \hline
@@ -187,7 +188,7 @@ file, riportate in tab.~\ref{tab:sys_file_macro}.
 \begin{table}[htb]
   \centering
   \footnotesize
-  \begin{tabular}[c]{|l|r|p{8cm}|}
+  \begin{tabular}[c]{|l|r|p{9cm}|}
     \hline
     \textbf{Costante}&\textbf{Valore}&\textbf{Significato}\\
     \hline
@@ -247,7 +248,7 @@ valori ottenuti da \func{sysconf}.
 \begin{table}[htb]
   \centering
   \footnotesize
-  \begin{tabular}[c]{|l|p{8cm}|}
+  \begin{tabular}[c]{|l|p{9cm}|}
     \hline
     \textbf{Macro}&\textbf{Significato}\\
     \hline
@@ -285,7 +286,7 @@ alle applicazioni di sistema presenti, come quelli su alcuni parametri delle
 espressioni regolari o del comando \cmd{bc}, non li tratteremo esplicitamente,
 se ne trova una menzione completa nell'header file \file{bits/posix2\_lim.h},
 e alcuni di loro sono descritti nella pagina di manuale di \func{sysconf} e
-nel manuale delle \acr{glibc}.
+nel manuale della \acr{glibc}.
 
 Quando uno dei limiti o delle caratteristiche del sistema può variare, per non
 dover essere costretti a ricompilare un programma tutte le volte che si
@@ -308,7 +309,7 @@ La funzione prende come argomento un intero che specifica quale dei limiti si
 vuole conoscere. Uno specchietto contenente i principali valori disponibili in
 Linux è riportato in tab.~\ref{tab:sys_sysconf_par}, l'elenco completo è
 contenuto in \file{bits/confname.h}, ed una lista più esaustiva, con le
-relative spiegazioni, si può trovare nel manuale delle \acr{glibc}.
+relative spiegazioni, si può trovare nel manuale della \acr{glibc}.
 
 \begin{table}[htb]
   \centering
@@ -370,12 +371,12 @@ relative spiegazioni, si può trovare nel manuale delle \acr{glibc}.
 \end{table}
 
 In generale ogni limite o caratteristica del sistema per cui è definita una
-macro, sia dagli standard ANSI C e ISO C90, che da POSIX.1 e POSIX.2, può
-essere ottenuto attraverso una chiamata a \func{sysconf}. Il nome della
-costante da utilizzare come valore dell'argomento \param{name} si otterrà
-aggiungendo \code{\_SC\_} ai nomi delle costanti definite dai primi due
-standard (quelle di tab.~\ref{tab:sys_generic_macro}), o sostituendolo a
-\code{\_POSIX\_} per le costanti definite dagli altri due standard (quelle di
+macro, sia da ANSI C e ISO C90 che da POSIX.1 e POSIX.2, può essere ottenuto
+attraverso una chiamata a \func{sysconf}. Il nome della costante da utilizzare
+come valore dell'argomento \param{name} si otterrà aggiungendo \code{\_SC\_}
+ai nomi delle costanti definite dai primi due standard (quelle di
+tab.~\ref{tab:sys_generic_macro}), o sostituendolo a \code{\_POSIX\_} per le
+costanti definite dagli altri due standard (quelle di
 tab.~\ref{tab:sys_posix1_general}).
 
 In linea teorica si dovrebbe fare uso di \func{sysconf} solo quando la
@@ -516,8 +517,10 @@ BSD4.4 ed introdotta su Linux a partire dal kernel 1.3.57, ma oggi il suo uso
 esistere, ma non dispone più di una interfaccia nella \acr{glibc} ed il suo
 utilizzo può essere effettuato solo tramite \func{syscall}, ma di nuovo questo
 viene sconsigliato in quanto la funzionalità non è più mantenuta e molto
-probabilmente sarà rimossa nel prossimo futuro. Per questo motivo eviteremo di
-trattarne i particolari.
+probabilmente sarà rimossa nel prossimo futuro.\footnote{a partire dal kernel
+  2.6.34 la funzione viene inserita nella compilazione del kernel previa
+  esplicita richiesta, ed il suo uso produce avvertimenti nei log del kernel.}
+Per questo motivo eviteremo di trattarne i particolari.
 
 Lo scopo di \funcm{sysctl} era quello di fornire ai programmi una modalità per
 modificare i parametri di sistema. Questi erano organizzati in maniera
@@ -531,33 +534,36 @@ moduli che sono stati caricati nel sistema. Inoltre non essendo standardizzati
 i loro nomi possono variare da una versione di kernel all'altra, alcuni esempi
 di questi parametri sono:
 \begin{itemize*}
-\item il nome di dominio
-\item i parametri del meccanismo di \textit{paging}.
-\item il filesystem montato come radice
-\item la data di compilazione del kernel
-\item i parametri dello stack TCP
-\item il numero massimo di file aperti
+\item il nome di dominio,
+\item i parametri del meccanismo di \textit{paging},
+\item il filesystem montato come radice,
+\item la data di compilazione del kernel,
+\item i parametri dello stack TCP,
+\item il numero massimo di file aperti,
+\item il numero massimo di processi,
+\item i parametri del \textit{SystemV IPC} (vedi sez.~\ref{sec:ipc_sysv}).
 \end{itemize*}
-
-
+%\noindent e molti altri che abbiamo già incontrato 
 
 \index{file!filesystem~\texttt  {/proc}!definizione|(}
 
 Dato che fin dall'inizio i parametri erano organizzati in una struttura
-albero, è parso naturale rimappare questa organizzazione utilizzando il
-filesystem \file{/proc}. Questo è un filesystem completamente virtuale, il cui
-contenuto è generato direttamente dal kernel, che non fa riferimento a nessun
-dispositivo fisico, ma presenta in forma di file e directory i dati di alcune
-delle strutture interne del kernel stesso. Il suo utilizzo principale, come
-denuncia il nome stesso, è quello di fornire una interfaccia per ottenere i
-dati relativi ai processi (venne introdotto a questo scopo su BSD), ma nel
-corso del tempo il suo uso è stato ampliato.
+albero, è parso naturale riportare questa organizzazione all'interno del
+filesystem \file{/proc}. Questo è un filesystem virtuale il cui contenuto è
+generato direttamente dal kernel, che non fa riferimento a nessun dispositivo
+fisico, ma presenta in forma di file e directory i dati di alcune delle
+strutture interne del kernel. Il suo utilizzo principale, come denuncia il
+nome stesso, è quello di fornire una interfaccia per ottenere i dati relativi
+ai processi (venne introdotto a questo scopo su BSD), ma nel corso del tempo
+il suo uso è stato ampliato.
 
 All'interno di questo filesystem sono pertanto presenti una serie di file che
 riflettono il contenuto dei parametri del kernel (molti dei quali accessibili
 in sola lettura) e in altrettante directory, nominate secondo il relativo
 \ids{PID}, vengono mantenute le informazioni relative a ciascun processo
-attivo nel sistema.
+attivo nel sistema (abbiamo già incontrato questa caratteristica in
+sez.~\ref{sec:file_openat} per accedere ai filedescriptor del processo
+stesso).
 
 In particolare l'albero dei valori dei parametri di sistema impostabili con
 \func{sysctl} viene presentato in forma di una gerarchia di file e directory a
@@ -579,8 +585,8 @@ l'accesso, con altrettante corrispondenze ai file presenti in
 ma vista la assoluta naturalità dell'interfaccia, e la sua maggiore
 efficienza, nelle versioni più recenti del kernel questa è diventata la
 modalità canonica per modificare i parametri del kernel, evitando di dover
-ricorrere all'uso di una \textit{system call} specifica che pur essendo ancora
-presente, prima o poi verrà eliminata.
+ricorrere all'uso di una \textit{system call} specifica, che pur essendo
+ancora presente prima o poi verrà eliminata.
 
 Nonostante la semplificazione nella gestione ottenuta con l'uso di
 \file{/proc/sys} resta il problema generale di conoscere il significato di
@@ -617,7 +623,7 @@ dall'argomento \param{info}.
 
 \begin{figure}[!ht!b]
   \footnotesize \centering
-  \begin{minipage}[c]{0.8\textwidth}
+  \begin{minipage}[c]{0.85\textwidth}
     \includestruct{listati/ustname.h}
   \end{minipage}
   \normalsize 
@@ -626,7 +632,7 @@ dall'argomento \param{info}.
 \end{figure}
 
 Si noti come in fig.~\ref{fig:sys_utsname} le dimensioni delle stringhe di
-\struct{utsname} non sono specificate.  Il manuale delle \acr{glibc} indica
+\struct{utsname} non sono specificate.  Il manuale della \acr{glibc} indica
 due costanti per queste dimensioni, \constd{\_UTSNAME\_LENGTH} per i campi
 standard e \constd{\_UTSNAME\_DOMAIN\_LENGTH} per quello relativo al nome di
 dominio, altri sistemi usano nomi diversi come \constd{SYS\_NMLN} o
@@ -661,8 +667,6 @@ trovano sotto la directory \file{/proc/sys/kernel/}.
 
 \index{file!filesystem~\texttt  {/proc}!definizione|)}
 
-
-
 \section{La gestione del sistema}
 \label{sec:sys_management}
 
@@ -681,11 +685,11 @@ Tradizionalmente le informazioni utilizzate nella gestione di utenti e gruppi
 directory, ecc.)  venivano registrate all'interno dei due file di testo
 \conffiled{/etc/passwd} ed \conffiled{/etc/group}, il cui formato è descritto
 dalle relative pagine del manuale\footnote{nella quinta sezione, quella dei
-  file di configurazione (esistono comandi corrispondenti), una trattazione
-  sistemistica dell'intero argomento coperto in questa sezione si consulti
-  sez.~4.3 di \cite{AGL}.} e tutte le funzioni che richiedevano l'accesso a
-queste informazione andavano a leggere direttamente il contenuto di questi
-file.
+  file di configurazione, dato che esistono comandi corrispondenti; per una
+  trattazione sistemistica dell'intero argomento coperto in questa sezione si
+  consulti sez.~4.3 di \cite{AGL}.} e tutte le funzioni che richiedevano
+l'accesso a queste informazione andavano a leggere direttamente il contenuto
+di questi file.
 
 In realtà oltre a questi due file da molto tempo gran parte dei sistemi
 unix-like usano il cosiddetto sistema delle \textit{shadow password} che
@@ -701,29 +705,32 @@ la maggior parte delle distribuzioni di GNU/Linux usa la libreria PAM (sigla
 che sta per \textit{Pluggable Authentication Method}) che fornisce una
 interfaccia comune per i processi di autenticazione, svincolando completamente
 le singole applicazioni dai dettagli del come questa viene eseguita e di dove
-vengono mantenuti i dati relativi. Si tratta di un sistema modulare, in cui è
-possibile utilizzare anche più meccanismi insieme, diventa così possibile
-avere vari sistemi di riconoscimento (biometria, chiavi hardware, ecc.),
-diversi formati per le password e diversi supporti per le informazioni. Il
-tutto avviene in maniera trasparente per le applicazioni purché per ciascun
-meccanismo si disponga della opportuna libreria che implementa l'interfaccia
-di PAM.
+vengono mantenuti i dati relativi.
+
+Si tratta  di un  sistema modulare,  in cui è  possibile utilizzare  anche più
+meccanismi   insieme,   diventa  così   possibile   avere   vari  sistemi   di
+riconoscimento  (biometria, chiavi  hardware,  ecc.), diversi  formati per  le
+password e diversi  supporti per le informazioni. Il tutto  avviene in maniera
+trasparente  per le  applicazioni purché  per ciascun  meccanismo si  disponga
+della opportuna libreria che implementa l'interfaccia di PAM.
 
 Dall'altra parte, il diffondersi delle reti e la necessità di centralizzare le
 informazioni degli utenti e dei gruppi per insiemi di macchine e servizi
 all'interno di una stessa organizzazione, in modo da mantenere coerenti i
 dati, ha portato anche alla necessità di poter recuperare e memorizzare dette
 informazioni su supporti diversi dai file citati, introducendo il sistema del
-\textit{Name Service Switch} (che tratteremo brevemente in
-sez.~\ref{sec:sock_resolver}) dato che la sua applicazione è cruciale nella
+\textit{Name Service Switch}che tratteremo brevemente in
+sez.~\ref{sec:sock_resolver} dato che la sua applicazione è cruciale nella
 procedura di risoluzione di nomi di rete.
 
 In questo paragrafo ci limiteremo comunque a trattare le funzioni classiche
 per la lettura delle informazioni relative a utenti e gruppi tralasciando
-completamente quelle relative all'autenticazione. 
+completamente quelle relative all'autenticazione.\footnote{la cui
+  programmazione ormai attiene all'uso dell'interfaccia di PAM, che va al di
+  la dello scopo di questo testo.}
 %  Per questo non tratteremo
 % affatto l'interfaccia di PAM, ma approfondiremo invece il sistema del
-% \textit{Name Service Switch}, un meccanismo messo a disposizione dalle
+% \textit{Name Service Switch}, un meccanismo messo a disposizione dalla
 % \acr{glibc} per modularizzare l'accesso a tutti i servizi in cui sia
 % necessario trovare una corrispondenza fra un nome ed un numero (od altra
 % informazione) ad esso associato, come appunto, quella fra uno username ed un
@@ -814,7 +821,7 @@ illustrato in sez.~\ref{sec:sys_errno}) per cui se lo si vuole utilizzare è
 opportuno inizializzarlo a zero prima di invocare le funzioni per essere
 sicuri di non avere un residuo di errore da una chiamata precedente. Il non
 aver trovato l'utente richiesto infatti può essere dovuto a diversi motivi (a
-partire dal fatto che non esista) per cui si possono ottenere i valori di
+partire dal fatto che non esista) per cui si possono ottenere i codici di
 errore più vari a seconda dei casi.
 
 Del tutto analoghe alle precedenti sono le funzioni \funcd{getgrnam} e
@@ -935,7 +942,7 @@ funzionale rispetto ad un sistema attuale, pertanto ci limiteremo a fornire
 soltanto l'elenco di tab.~\ref{tab:sys_passwd_func}, senza nessuna spiegazione
 ulteriore.  Chi volesse insistere ad usare questa interfaccia può fare
 riferimento alle pagine di manuale delle rispettive funzioni ed al manuale
-delle \acr{glibc} per i dettagli del funzionamento.
+della \acr{glibc} per i dettagli del funzionamento.
 
 
 
@@ -966,19 +973,19 @@ utilizzando il sistema al momento corrente, mentre il secondo mantiene la
 registrazione delle attività degli utenti. A quest'ultimo vengono anche
 aggiunte delle voci speciali per tenere conto dei cambiamenti del sistema,
 come la modifica del runlevel, il riavvio della macchina, ecc. Tutte queste
-informazioni sono descritte in dettaglio nel manuale delle \acr{glibc}.
+informazioni sono descritte in dettaglio nel manuale della \acr{glibc}.
 
 Questi file non devono mai essere letti direttamente, ma le informazioni che
 contengono possono essere ricavate attraverso le opportune funzioni di
-libreria. Queste sono analoghe alle precedenti funzioni (vedi
-tab.~\ref{tab:sys_passwd_func}) usate per accedere al registro degli utenti,
-solo che in questo caso la struttura del registro della \textsl{contabilità} è
-molto più complessa, dato che contiene diversi tipi di informazione.
+libreria. Queste sono analoghe alle precedenti funzioni usate per accedere al
+registro degli utenti (vedi tab.~\ref{tab:sys_passwd_func}), solo che in
+questo caso la struttura del registro della \textsl{contabilità} è molto più
+complessa, dato che contiene diversi tipi di informazione.
 
 Le prime tre funzioni, \funcd{setutent}, \funcd{endutent} e \funcd{utmpname}
 servono rispettivamente a aprire e a chiudere il file che contiene il registro
 della \textsl{contabilità} degli, e a specificare su quale file esso viene
-mantenuto. I loro prototipi sono:
+mantenuto; i loro prototipi sono:
 
 \begin{funcproto}{
 \fhead{utmp.h} 
@@ -1094,12 +1101,12 @@ corrispondente al valore del campo \var{ut\_id} specificato in \param{ut}.
   \label{tab:sys_ut_type}
 \end{table}
 
-La funzione \func{getutline} esegue la ricerca sulle voci che hanno
-\var{ut\_type} uguale a \const{LOGIN\_PROCESS} o \const{USER\_PROCESS},
-restituendo la prima che corrisponde al valore di \var{ut\_line}, che
-specifica il dispositivo di terminale che interessa, da indicare senza il
-\file{/dev/} iniziale. Lo stesso criterio di ricerca è usato da
-\func{pututline} per trovare uno spazio dove inserire la voce specificata;
+La funzione \func{getutline} esegue la ricerca sulle voci che hanno un
+\var{ut\_type} con valore uguale a \const{LOGIN\_PROCESS} o
+\const{USER\_PROCESS}, restituendo la prima che corrisponde al valore di
+\var{ut\_line}, che specifica il dispositivo di terminale che interessa, da
+indicare senza il \file{/dev/} iniziale. Lo stesso criterio di ricerca è usato
+da \func{pututline} per trovare uno spazio dove inserire la voce specificata;
 qualora questo spazio non venga trovato la voce viene aggiunta in coda al
 registro.
 
@@ -1107,12 +1114,12 @@ In generale occorre però tenere conto che queste funzioni non sono
 completamente standardizzate, e che in sistemi diversi possono esserci
 differenze; ad esempio \func{pututline} restituisce \code{void} in vari
 sistemi (compreso Linux, fino alle \acr{libc5}). Qui seguiremo la sintassi
-fornita dalle \acr{glibc}, ma gli standard POSIX 1003.1-2001 e XPG4.2 hanno
+fornita dalla \acr{glibc}, ma gli standard POSIX 1003.1-2001 e XPG4.2 hanno
 introdotto delle nuove strutture (e relativi file) di tipo \struct{utmpx}, che
 sono un sovrainsieme della \struct{utmp} usata tradizionalmente ed altrettante
 funzioni che le usano al posto di quelle citate.
 
-Le \acr{glibc} utilizzavano già una versione estesa di \struct{utmp}, che
+La \acr{glibc} utilizzava già una versione estesa di \struct{utmp}, che
 rende inutili queste nuove strutture, per questo su Linux \struct{utmpx} viene
 definita esattamente come \struct{utmp}, con gli stessi campi di
 fig.~\ref{fig:sys_utmp_struct}. Altrettanto dicasi per le nuove funzioni di
@@ -1127,7 +1134,7 @@ hanno lo stesso identico comportamento. Per completezza viene definita anche
 
 Come già visto in sez.~\ref{sec:sys_user_group}, l'uso di strutture allocate
 staticamente rende le funzioni di lettura dei dati appena illustrate non
-rientranti. Per questo motivo le \acr{glibc} forniscono anche delle versioni
+rientranti. Per questo motivo la \acr{glibc} fornisce anche delle versioni
 rientranti: \func{getutent\_r}, \func{getutid\_r}, \func{getutline\_r}, che
 invece di restituire un puntatore restituiscono un intero e prendono due
 argomenti aggiuntivi, i rispettivi prototipi sono:
@@ -1154,7 +1161,7 @@ rientranti, solo che restituiscono il risultato all'indirizzo specificato dal
 primo argomento aggiuntivo \param{buffer} mentre il secondo, \param{result)}
 viene usato per restituire il puntatore al buffer stesso.
 
-Infine le \acr{glibc} forniscono altre due funzioni, \funcd{updwtmp} e
+Infine la \acr{glibc} fornisce altre due funzioni, \funcd{updwtmp} e
 \funcd{logwtmp}, come estensione per scrivere direttamente delle voci nel file
 sul registro storico \sysfile{/var/log/wtmp}; i rispettivi prototipi sono:
 
@@ -1911,12 +1918,12 @@ alla chiamata a \func{sysconf}.
 In Linux è implementata come una \textit{system call} nelle architetture in
 cui essa è necessaria, ed in genere restituisce il valore del simbolo
 \const{PAGE\_SIZE} del kernel, che dipende dalla architettura hardware, anche
-se le versioni delle librerie del C precedenti le \acr{glibc} 2.1
+se le versioni delle librerie del C precedenti la \acr{glibc} 2.1
 implementavano questa funzione restituendo sempre un valore statico.
 
 % TODO verificare meglio la faccenda di const{PAGE\_SIZE} 
 
-Le \textsl{glibc} forniscono, come specifica estensione GNU, altre due
+La \textsl{glibc} fornisce, come specifica estensione GNU, altre due
 funzioni, \funcd{get\_phys\_pages} e \funcd{get\_avphys\_pages} che permettono
 di ottenere informazioni riguardo le pagine di memoria; i loro prototipi sono:
 
@@ -1938,13 +1945,13 @@ rispettivamente con i parametri \const{\_SC\_PHYS\_PAGES} e
 corrispondenti alla RAM della macchina; la seconda invece la memoria
 effettivamente disponibile per i processi.
 
-Le \acr{glibc} supportano inoltre, come estensioni GNU, due funzioni che
+La \acr{glibc} supporta inoltre, come estensioni GNU, due funzioni che
 restituiscono il numero di processori della macchina (e quello dei processori
 attivi); anche queste sono informazioni comunque ottenibili attraverso
 \func{sysconf} utilizzando rispettivamente i parametri
 \const{\_SC\_NPROCESSORS\_CONF} e \const{\_SC\_NPROCESSORS\_ONLN}.
 
-Infine le \acr{glibc} riprendono da BSD la funzione \funcd{getloadavg} che
+Infine la \acr{glibc} riprende da BSD la funzione \funcd{getloadavg} che
 permette di ottenere il carico di processore della macchina, in questo modo è
 possibile prendere decisioni su quando far partire eventuali nuovi processi.
 Il suo prototipo è:
@@ -2056,13 +2063,14 @@ espressi con diversi tipi di dati, chiamati rispettivamente \textit{calendar
   time} e \textit{process time}, secondo le seguenti definizioni:
 \begin{basedescript}{\desclabelwidth{1.5cm}\desclabelstyle{\nextlinelabel}}
 
-\item[\textit{calendar time}] detto anche \textsl{tempo di calendario}, 
-  \textsl{tempo d'orologio} o \textit{tempo reale}. Si tratta di un
-  tempo assoluto o di un intervallo di tempo come lo intende
-  normalmente per le misure fatte con un orologio. Per esprimere
-  questo tempo è stato riservato il tipo \type{time\_t}, e viene
-  tradizionalmente misurato in secondi a partire dalla mezzanotte del
-  primo gennaio 1970, data che viene chiamata \textit{the Epoch}.
+\item[\textit{calendar time}] detto anche \textsl{tempo di calendario},
+  \textsl{tempo d'orologio} o \textit{tempo reale}. Si tratta di un tempo
+  assoluto o di un intervallo di tempo come lo intende normalmente per le
+  misure fatte con un orologio. Per esprimere questo tempo è stato riservato
+  il tipo \type{time\_t}, e viene tradizionalmente misurato nel cosiddetto
+  \itindex{unix-time} \textit{unix-time}, espresso in secondi a partire dalla
+  mezzanotte del primo gennaio 1970, data che viene chiamata \textit{the
+    Epoch}.
 
 \item[\textit{process time}] detto anche \textsl{tempo di processore} o
   \textsl{tempo di CPU}. Si tratta del tempo impiegato da un processore
@@ -2296,10 +2304,10 @@ il comportamento è stato adeguato allo standard a partire dalla versione
 2.6.9.
 
 A differenza di quanto avviene per \func{clock} i valori restituiti nei campi
-di una struttura \struct{tms} sono misurati in numero di 
-\textit{clock tick} effettivi e non in multipli di \const{CLOCKS\_PER\_SEC},
-pertanto per ottenere il valore effettivo in secondi occorrerà dividere per il
-risultato di \code{sysconf(\_SC\_CLK\_TCK)}.
+di una struttura \struct{tms} sono misurati in numero di \textit{clock tick}
+effettivi e non in multipli di \const{CLOCKS\_PER\_SEC}, pertanto per ottenere
+il valore effettivo del tempo in secondi occorrerà dividere per il risultato
+di \code{sysconf(\_SC\_CLK\_TCK)}.
 
 Lo stesso vale per il valore di ritorno della funzione, il cui significato fa
 riferimento ad un tempo relativo ad un certo punto nel passato la cui
@@ -2421,8 +2429,8 @@ Il secondo argomento di entrambe le funzioni è una struttura
 la cosiddetta \textit{timezone}, cioè l'insieme del fuso orario e delle
 convenzioni per l'ora legale che permettevano il passaggio dal tempo
 universale all'ora locale. Questo argomento oggi è obsoleto ed in Linux non è
-mai stato utilizzato; esso non è supportato né dalle vecchie \textsl{libc5},
-né dalle \textsl{glibc}: pertanto quando si chiama questa funzione deve essere
+mai stato utilizzato; esso non è supportato né dalla vecchia \textsl{libc5},
+né dalla \textsl{glibc}: pertanto quando si chiama questa funzione deve essere
 sempre impostato a \val{NULL}.
 
 \itindbeg{timezone}
@@ -2605,7 +2613,7 @@ riportate in tab.~\ref{tab:sys_timex_mode}.
 La funzione utilizza il meccanismo di David L. Mills, descritto
 nell'\href{http://www.ietf.org/rfc/rfc1305.txt}{RFC~1305}, che è alla base del
 protocollo NTP. La funzione è specifica di Linux e non deve essere usata se la
-portabilità è un requisito, le \acr{glibc} provvedono anche un suo omonimo
+portabilità è un requisito, la \acr{glibc} provvede anche un suo omonimo
 \func{ntp\_adjtime}.  La trattazione completa di questa funzione necessita di
 una lettura approfondita del meccanismo descritto nell'RFC~1305, ci limitiamo
 a descrivere in tab.~\ref{tab:sys_timex_mode} i principali valori utilizzabili
@@ -2740,7 +2748,7 @@ invece disponibili altre tre funzioni, \funcd{gmtime}, \funcd{localtime} e
 }
 
 {Le funzioni ritornano un puntatore al risultato in caso di successo e
-  \val{NULL} per un errore, tranne tranne che \func{mktime} che restituisce
+  \val{NULL} per un errore, tranne che \func{mktime} che restituisce
   direttamente il valore o $-1$ in caso di errore, \var{errno} non viene
   modificata.}
 \end{funcproto}
@@ -2799,11 +2807,11 @@ Come accennato l'uso del \textit{broken-down time} permette di tenere conto
 anche della differenza fra tempo universale e ora locale, compresa l'eventuale
 ora legale.  Questo viene fatto dalle funzioni di conversione grazie alle
 informazioni riguardo la propria \textit{timezone} mantenute nelle tre
-variabili globali mostrate in fig.~\ref{fig:sys_tzname}, cui si si può
-accedere direttamente includendo \headfile{time.h}. Come illustrato queste
-variabili vengono impostate internamente da alcune delle delle precedenti
-funzioni di conversione, ma lo si può fare esplicitamente chiamando
-direttamente la funzione \funcd{tzset}, il cui prototipo è:
+variabili globali mostrate in fig.~\ref{fig:sys_tzname}, cui si può accedere
+direttamente includendo \headfile{time.h}. Come illustrato queste variabili
+vengono impostate internamente da alcune delle precedenti funzioni di
+conversione, ma lo si può fare esplicitamente chiamando direttamente la
+funzione \funcd{tzset}, il cui prototipo è:
 
 \begin{funcproto}{
 \fhead{time.h}
@@ -2895,7 +2903,7 @@ Il risultato della funzione è controllato dalla stringa di formato
 viene utilizzato come modificatore. Alcuni dei possibili valori che esso può
 assumere sono riportati in tab.~\ref{tab:sys_strftime_format}.\footnote{per la
   precisione si sono riportati definiti dallo standard ANSI C, che sono anche
-  quelli ripresi in POSIX.1; le \acr{glibc} forniscono anche le estensioni
+  quelli ripresi in POSIX.1; la \acr{glibc} fornisce anche le estensioni
   introdotte da POSIX.2 per il comando \cmd{date}, i valori introdotti da
   SVID3 e ulteriori estensioni GNU; l'elenco completo dei possibili valori è
   riportato nella pagina di manuale della funzione.} La funzione tiene conto
@@ -3132,8 +3140,8 @@ stampa, a seconda dell'opzione scelta il messaggio di errore (\texttt{\small
 \subsection{Alcune estensioni GNU}
 \label{sec:sys_err_GNU}
 
-Le precedenti funzioni sono quelle definite ed usate nei vari standard; le
-\acr{glibc} hanno però introdotto una serie di estensioni ``GNU'' che
+Le precedenti funzioni sono quelle definite ed usate nei vari standard; la
+\acr{glibc} ha però introdotto una serie di estensioni ``GNU'' che
 forniscono alcune funzionalità aggiuntive per una gestione degli errori
 semplificata e più efficiente. 
 
@@ -3155,7 +3163,7 @@ molte occasioni invece serve poter scrivere dei messaggi con maggiori
 informazioni. Ad esempio negli standard di programmazione GNU si richiede che
 ogni messaggio di errore sia preceduto dal nome del programma, ed in generale
 si può voler stampare il contenuto di qualche variabile per facilitare la
-comprensione di un eventuale problema. Per questo le \acr{glibc} definiscono
+comprensione di un eventuale problema. Per questo la \acr{glibc} definisce
 la funzione \funcd{error}, il cui prototipo è:
 
 \begin{funcproto}{
@@ -3210,7 +3218,7 @@ l'errore è \funcd{error\_at\_line}; il suo prototipo è:
 per il fatto che, separati con il solito due punti-spazio, vengono inseriti un
 nome di file indicato da \param{fname} ed un numero di linea subito dopo la
 stampa del nome del programma. Inoltre essa usa un'altra variabile globale,
-\var{error\_one\_per\_line}, che impostata ad un valore diverso da zero fa si
+\var{error\_one\_per\_line}, che impostata ad un valore diverso da zero fa sì
 che errori relativi alla stessa linea non vengano ripetuti.
 
 
@@ -3269,7 +3277,7 @@ che errori relativi alla stessa linea non vengano ripetuti.
 % LocalWords:  memory mlockall MAP LOCKED shmctl MSGQUEUE attr NICE nice MADV
 % LocalWords:  madvise WILLNEED RTPRIO sched setscheduler setparam scheduling
 % LocalWords:  RTTIME execve kb prlimit pid new old ESRCH EUSERS refresh high
-% LocalWords:  resolution HRT jiffies strptime
+% LocalWords:  resolution HRT jiffies strptime pre l'I value argument
 
 %%% Local Variables: 
 %%% mode: latex