Correzioni varie per splice
[gapil.git] / fileio.tex
index f3abde6ae192ac452905458462efc0efda68a302..eb448e3efb0678c1924ee0f1a1b4d88a68f384e6 100644 (file)
@@ -1,6 +1,6 @@
 %% fileio.tex (merge fileunix.tex - filestd.tex)
 %%
-%% Copyright (C) 2000-2013 Simone Piccardi.  Permission is granted to
+%% Copyright (C) 2000-2015 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",
@@ -121,7 +121,7 @@ che il kernel mantiene per ciascun file e ciascun processo.
 
 Come si può notare alla fine il collegamento che consente di porre in
 relazione i file ed i processi è effettuato attraverso i dati mantenuti nella
-struttura \kstruct{files\_struct} essa infatti contiene alcune informazioni
+struttura \kstruct{files\_struct}, essa infatti contiene alcune informazioni
 essenziali come:
 \begin{itemize*}
 \item i flag relativi ai file aperti dal processo.
@@ -179,7 +179,7 @@ tab.~\ref{tab:file_std_files}.
                              \itindex{standard~output} \textit{standard
                                output}.\\
     \const{STDERR\_FILENO} & \textit{file descriptor} dello \textit{standard
-      error}.\\
+                               error}.\\
     \hline
   \end{tabular}
   \caption{Costanti definite in \headfile{unistd.h} per i file standard.}
@@ -446,7 +446,8 @@ riletti da \func{fcntl} (vedi sez.~\ref{sec:file_fcntl_ioctl}).
 
 % TODO: aggiungere O_TMPFILE per la creazione di file temporanei senza che
 % questi appaiano sul filesystem, introdotto con il 3.11, vedi:
-% https://lwn.net/Articles/556512/ 
+% https://lwn.net/Articles/556512/, http://kernelnewbies.org/Linux_3.11
+% https://lwn.net/Articles/558598/ http://lwn.net/Articles/619146/
 
 \footnotetext{acronimo di \itindex{Denial~of~Service~(DoS)} \textit{Denial of
     Service}, si chiamano così attacchi miranti ad impedire un servizio
@@ -513,8 +514,7 @@ si tronca il file con \const{O\_TRUNC} verranno impostati soltanto il
                            in fase di apertura del file, deve
                            invece essere attivato successivamente con
                            \func{fcntl}.\\
-      \const{O\_CLOEXEC}&  Attiva la modalità di \itindex{close-on-exec}
-                           \textit{close-on-exec} (vedi
+      \const{O\_CLOEXEC}&  Attiva la modalità di \textit{close-on-exec} (vedi
                            sez.~\ref{sec:proc_exec}) sul file. Il flag è 
                            previsto dallo standard POSIX.1-2008, ed è stato
                            introdotto con il kernel 2.6.23 per evitare una
@@ -744,10 +744,10 @@ intero positivo che esprime il numero di byte dall'inizio del file. Tutte le
 operazioni di lettura e scrittura avvengono a partire da questa posizione che
 viene automaticamente spostata in avanti del numero di byte letti o scritti.
 
-In genere, a meno di non avere richiesto la modalità \itindex{append~mode} di
-\textit{append} con \const{O\_APPEND}, questa posizione viene impostata a zero
-all'apertura del file. È possibile impostarla ad un valore qualsiasi con la
-funzione di sistema \funcd{lseek}, il cui prototipo è:
+In genere, a meno di non avere richiesto la modalità di \textit{append} con
+\const{O\_APPEND}, questa posizione viene impostata a zero all'apertura del
+file. È possibile impostarla ad un valore qualsiasi con la funzione di sistema
+\funcd{lseek}, il cui prototipo è:
 
 \begin{funcproto}{
 \fhead{sys/types.h}
@@ -761,8 +761,8 @@ funzione di sistema \funcd{lseek}, il cui prototipo è:
   \begin{errlist}
     \item[\errcode{EINVAL}] \param{whence} non è un valore valido.
     \item[\errcode{EOVERFLOW}] \param{offset} non può essere rappresentato nel
-    \item[\errcode{ESPIPE}] \param{fd} è una pipe, un socket o una fifo.
       tipo \type{off\_t}.
+    \item[\errcode{ESPIPE}] \param{fd} è una pipe, un socket o una fifo.
   \end{errlist}
   ed inoltre \errval{EBADF} nel suo significato generico.}
 \end{funcproto}
@@ -824,8 +824,8 @@ Si tenga presente inoltre che usare \const{SEEK\_END} non assicura affatto che
 la successiva scrittura avvenga alla fine del file, infatti se questo è stato
 aperto anche da un altro processo che vi ha scritto, la fine del file può
 essersi spostata, ma noi scriveremo alla posizione impostata in precedenza
-(questa è una potenziale sorgente di \itindex{race~condition} \textit{race
-  condition}, vedi sez.~\ref{sec:file_shared_access}).
+(questa è una potenziale sorgente di \textit{race condition}, vedi
+sez.~\ref{sec:file_shared_access}).
 
 Non tutti i file supportano la capacità di eseguire una \func{lseek}, in
 questo caso la funzione ritorna l'errore \errcode{ESPIPE}. Questo, oltre che
@@ -1061,7 +1061,7 @@ prototipo è:
 {La funzione ritorna il numero di byte scritti in caso di successo e $-1$ per
   un errore, nel qual caso \var{errno} assumerà uno dei valori:
   \begin{errlist}
-  \item[\errcode{EAGAIN}] ci siq sarebbe bloccati, ma il file era aperto in
+  \item[\errcode{EAGAIN}] ci si sarebbe bloccati, ma il file era aperto in
     modalità \const{O\_NONBLOCK}.
   \item[\errcode{EFBIG}] si è cercato di scrivere oltre la dimensione massima
     consentita dal filesystem o il limite per le dimensioni dei file del
@@ -1083,7 +1083,7 @@ prototipo è:
 Come nel caso di \func{read} la funzione tenta di scrivere \param{count} byte
 a partire dalla posizione corrente nel file e sposta automaticamente la
 posizione in avanti del numero di byte scritti. Se il file è aperto in
-modalità \itindex{append~mode} \const{O\_APPEND} i dati vengono sempre scritti
+modalità \textit{append} con \const{O\_APPEND} i dati vengono sempre scritti
 alla fine del file.  Lo standard POSIX richiede che i dati scritti siano
 immediatamente disponibili ad una \func{read} chiamata dopo che la
 \func{write} che li ha scritti è ritornata; ma dati i meccanismi di caching
@@ -1306,10 +1306,9 @@ che quello che viene modificato è lo stesso campo nella voce della
 L'unica differenza fra due file descriptor duplicati è che ciascuno avrà un
 suo \textit{file descriptor flag} indipendente. A questo proposito deve essere
 tenuto presente che nel caso in cui si usi \func{dup} per duplicare un file
-descriptor, se questo ha il flag di \textit{close-on-exec}
-\itindex{close-on-exec} attivo (vedi sez.~\ref{sec:proc_exec} e
-sez.~\ref{sec:file_fcntl_ioctl}), questo verrà cancellato nel file descriptor
-restituito come copia.
+descriptor, se questo ha il flag di \textit{close-on-exec} attivo (vedi
+sez.~\ref{sec:proc_exec} e sez.~\ref{sec:file_fcntl_ioctl}), questo verrà
+cancellato nel file descriptor restituito come copia.
 
 L'uso principale di questa funzione è nella shell per la redirezione dei file
 standard di tab.~\ref{tab:file_std_files} fra l'esecuzione di una \func{fork}
@@ -1419,11 +1418,10 @@ un file descriptor reimpostandone i flag, per usarla occorre definire la macro
 \end{funcproto}
 
 La funzione è identica a \func{dup2} ma prevede la possibilità di mantenere il
-flag di \textit{close-on-exec} \itindex{close-on-exec} sul nuovo
-file descriptor specificando \const{O\_CLOEXEC} in \param{flags} (che è l'unico
-flag usabile in questo caso). Inoltre rileva esplicitamente la possibile
-coincidenza fra \param{newfd} e \param{oldfd}, fallendo con un errore di
-\errval{EINVAL}.
+flag di \textit{close-on-exec} sul nuovo file descriptor specificando
+\const{O\_CLOEXEC} in \param{flags} (che è l'unico flag usabile in questo
+caso). Inoltre rileva esplicitamente la possibile coincidenza
+fra \param{newfd} e \param{oldfd}, fallendo con un errore di \errval{EINVAL}.
 
 
 \subsection{Le funzioni di sincronizzazione dei dati}
@@ -1506,7 +1504,7 @@ con \func{fstat}, come i tempi del file. Se lo scopo dell'operazione, come
 avviene spesso per i database, è assicurarsi che i dati raggiungano il disco e
 siano rileggibili immediatamente in maniera corretta, è sufficiente l'uso di
 \func{fdatasync} che non comporta anche l'esecuzione di operazioni non
-necessarie all'integrità dei dati, come l'aggiornamento dei temi di ultima
+necessarie all'integrità dei dati, come l'aggiornamento dei tempi di ultima
 modifica ed ultimo accesso.
 
 Si tenga presente che l'uso di queste funzioni non comporta la
@@ -1588,7 +1586,7 @@ relativo ad una directory specificata.\footnote{l'introduzione è avvenuta su
   filesystem \textit{proc} con l'apertura del file attraverso il riferimento a
   \textit{pathname} del tipo di \texttt{/proc/self/fd/dirfd/relative\_path}.}
 Benché queste funzioni non siano presenti negli standard tradizionali esse
-sono state adottate da altri sistemi unix-like come Solaris i vari BSD, fino ad
+sono state adottate da altri sistemi unix-like come Solaris, i vari BSD, fino ad
 essere incluse in una recente revisione (la POSIX.1-2008) dello standard
 POSIX.1. Con la \acr{glibc} per l'accesso a queste funzioni è necessario
 definire la macro \macro{\_ATFILE\_SOURCE}.
@@ -1700,7 +1698,14 @@ anche l'aggiunta di un ulteriore argomento finale, \param{flags}.
 
 
 % TODO manca prototipo di linkat, verificare se metterlo o metter menzione
+% altre modifiche al riguardo nel 3.11 (AT_EMPTY_PATH?) vedi
+% http://lwn.net/Articles/562488/ 
 % TODO manca prototipo di utimensat, verificare se metterlo o metter menzione
+% TODO manca prototipo di renameat2, introdotta nel 3.15, vedi
+% http://lwn.net/Articles/569134/ 
+% TODO manca prototipo di execveat, introdotta nel 3.19, vedi
+% https://lwn.net/Articles/626150/ cerca anche fexecve
+
 
 Per tutte le funzioni che lo prevedono, a parte \func{unlinkat} e
 \funcd{faccessat}, l'ulteriore argomento è stato introdotto solo per fornire
@@ -1868,6 +1873,8 @@ precisione fino al nanosecondo.
 % inserita nello stesso standard e da usare con openat, vedi 
 % http://pubs.opengroup.org/onlinepubs/9699939699/toc.pdf
 
+% TODO: manca prototipo e motivazione di execveat, vedi
+% http://man7.org/linux/man-pages/man2/execveat.2.html 
 
 \subsection{Le operazioni di controllo}
 \label{sec:file_fcntl_ioctl}
@@ -1928,9 +1935,11 @@ il nome indicato nel precedente prototipo), è riportata di seguito:
   o \errcode{EMFILE} se il processo ha già raggiunto il massimo numero di
   descrittori consentito.
 
+\itindbeg{close-on-exec}
+
 \item[\const{F\_DUPFD\_CLOEXEC}] ha lo stesso effetto di \const{F\_DUPFD}, ma
-  in più attiva il flag di \itindex{close-on-exec} \textit{close-on-exec} sul
-  file descriptor duplicato, in modo da evitare una successiva chiamata con
+  in più attiva il flag di \textit{close-on-exec} sul file descriptor
+  duplicato, in modo da evitare una successiva chiamata con
   \const{F\_SETFD}. La funzionalità è stata introdotta con il kernel 2.6.24 ed
   è prevista nello standard POSIX.1-2008 (si deve perciò definire
   \macro{\_POSIX\_C\_SOURCE} ad un valore adeguato secondo quanto visto in
@@ -1940,20 +1949,21 @@ il nome indicato nel precedente prototipo), è riportata di seguito:
     flags} di \param{fd} in caso di successo o $-1$ in caso di errore, il
   terzo argomento viene ignorato. Non sono previsti errori diversi da
   \errval{EBADF}. Al momento l'unico flag usato è quello di
-  \itindex{close-on-exec} \textit{close-on-exec}, identificato dalla costante
-  \const{FD\_CLOEXEC}, che serve a richiedere che il file venga chiuso nella
-  esecuzione di una \func{exec} (vedi sez.~\ref{sec:proc_exec}). Un valore
-  nullo significa pertanto che il flag non è impostato.
+  \textit{close-on-exec}, identificato dalla costante \const{FD\_CLOEXEC}, che
+  serve a richiedere che il file venga chiuso nella esecuzione di una
+  \func{exec} (vedi sez.~\ref{sec:proc_exec}). Un valore nullo significa
+  pertanto che il flag non è impostato.
 
 \item[\const{F\_SETFD}] imposta il valore dei \textit{file descriptor flags}
   al valore specificato con \param{arg}, ritorna un valore nullo in caso di
   successo e $-1$ in caso di errore. Non sono previsti errori diversi da
   \errval{EBADF}. Dato che l'unico flag attualmente usato è quello di
-  \itindex{close-on-exec} \textit{close-on-exec}, identificato dalla costante
-  \const{FD\_CLOEXEC}, tutti gli altri bit di \param{arg}, anche se impostati,
-  vengono ignorati.\footnote{questo almeno è quanto avviene fino al kernel
-    3.2, come si può evincere dal codice della funzione \texttt{do\_fcntl} nel
-    file \texttt{fs/fcntl.c} dei sorgenti del kernel.}
+  \textit{close-on-exec}, identificato dalla costante \const{FD\_CLOEXEC},
+  tutti gli altri bit di \param{arg}, anche se impostati, vengono
+  ignorati.\footnote{questo almeno è quanto avviene fino al kernel 3.2, come
+    si può evincere dal codice della funzione \texttt{do\_fcntl} nel file
+    \texttt{fs/fcntl.c} dei sorgenti del kernel.}
+\itindend{close-on-exec}
 
 \item[\const{F\_GETFL}] ritorna il valore dei \textit{file status flags} di
   \param{fd} in caso di successo o $-1$ in caso di errore, il terzo argomento
@@ -2336,14 +2346,12 @@ sono definite nel kernel a livello generale, e vengono sempre interpretate per
 prime, per cui, come illustrato in \cite{LinDevDri}, eventuali operazioni
 specifiche che usino lo stesso valore verrebbero ignorate:
 \begin{basedescript}{\desclabelwidth{2.0cm}}
-\item[\const{FIOCLEX}] imposta il flag di \itindex{close-on-exec}
-  \textit{close-on-exec} sul file, in questo caso, essendo usata come
-  operazione logica, \func{ioctl} non richiede un terzo argomento, il cui
-  eventuale valore viene ignorato.
-\item[\const{FIONCLEX}] cancella il flag di \itindex{close-on-exec}
-  \textit{close-on-exec} sul file, in questo caso, essendo usata come
-  operazione logica, \func{ioctl} non richiede un terzo argomento, il cui
-  eventuale valore viene ignorato.
+\item[\const{FIOCLEX}] imposta il flag di \textit{close-on-exec} sul file, in
+  questo caso, essendo usata come operazione logica, \func{ioctl} non richiede
+  un terzo argomento, il cui eventuale valore viene ignorato.
+\item[\const{FIONCLEX}] cancella il flag di \textit{close-on-exec} sul file,
+  in questo caso, essendo usata come operazione logica, \func{ioctl} non
+  richiede un terzo argomento, il cui eventuale valore viene ignorato.
 \item[\const{FIOASYNC}] abilita o disabilita la modalità di I/O asincrono sul
   file (vedi sez.~\ref{sec:signal_driven_io}); il terzo argomento
   deve essere un puntatore ad un intero (cioè di tipo \texttt{const int *})
@@ -2364,7 +2372,7 @@ specifiche che usino lo stesso valore verrebbero ignorate:
 \item[\const{FIONREAD}] legge il numero di byte disponibili in lettura sul
   file descriptor; questa operazione è disponibile solo su alcuni file
   descriptor, in particolare sui socket (vedi sez.~\ref{sec:sock_ioctl_IP}) o
-  sui file descriptor di \textit{epoll} (vedi sez.~\ref{sec:file_epoll}); il
+  sui file descriptor di \textit{epoll} (vedi sez.~\ref{sec:file_epoll}), il
   terzo argomento deve essere un puntatore ad un intero (cioè di tipo
   \texttt{int *}) su cui sarà restituito il valore.
 \item[\const{FIOQSIZE}] restituisce la dimensione corrente di un file o di una
@@ -2391,7 +2399,7 @@ due funzioni sono rimaste.
 % TODO trovare qualche posto per la eventuale documentazione delle seguenti
 % (bassa/bassissima priorità)
 % EXT4_IOC_MOVE_EXT (dal 2.6.31)
-
+% ioctl di btrfs, vedi http://lwn.net/Articles/580732/
 
 % \chapter{}
 
@@ -2404,12 +2412,11 @@ sono gestibili a basso livello con l'interfaccia standard unix, che ricorre
 direttamente alle \textit{system call} messe a disposizione dal kernel.
 
 Questa interfaccia però non provvede le funzionalità previste dallo standard
-ANSI C, che invece sono realizzate attraverso opportune funzioni di libreria,
-queste, insieme alle altre funzioni definite dallo standard (queste funzioni
-sono state implementate la prima volta da Ritchie nel 1976 e da allora sono
-rimaste sostanzialmente immutate), vengono a costituire il nucleo delle
-\acr{glibc} per la gestione dei file.
-
+ANSI C, che invece sono realizzate attraverso opportune funzioni di libreria.
+Queste funzioni di libreria, insieme alle altre funzioni definite dallo
+standard (che sono state implementate la prima volta da Ritchie nel 1976 e da
+allora sono rimaste sostanzialmente immutate), vengono a costituire il nucleo
+delle \acr{glibc} per la gestione dei file.
 
 Esamineremo in questa sezione le funzioni base dell'interfaccia degli
 \textit{stream}, analoghe a quelle di sez.~\ref{sec:file_unix_interface} per i
@@ -2449,7 +2456,7 @@ essere sempre considerato come composto da un flusso continuo di dati, da cui
 deriva appunto il nome \textit{stream}.
 
 A parte i dettagli legati alla gestione delle operazioni di lettura e
-scrittura, sia per quel che riguarda la bufferizzazione, che le formattazioni,
+scrittura, sia per quel che riguarda la bufferizzazione che le formattazioni,
 per tutto il resto i \textit{file stream} restano del tutto equivalenti ai
 file descriptor (sui quali sono basati), ed in particolare continua a valere
 quanto visto in sez.~\ref{sec:file_shared_access} a proposito dell'accesso
@@ -2487,10 +2494,10 @@ nell'header \headfile{stdio.h} che sono:
     output} cioè il \textit{file stream} su cui il processo invia
   ordinariamente i dati in uscita. Normalmente è associato dalla shell
   all'output del terminale e scrive sullo schermo.
-\item[\var{FILE *stderr}] Lo \textit{standard error} cioè il \textit{file
-    stream} su cui il processo è supposto inviare i messaggi di
-  errore. Normalmente anch'esso è associato dalla shell all'output del
-  terminale e scrive sullo schermo.
+\item[\var{FILE *stderr}] Lo \textit{standard error} \textit{standard error}
+  cioè il \textit{file stream} su cui il processo è supposto inviare i
+  messaggi di errore. Normalmente anch'esso è associato dalla shell all'output
+  del terminale e scrive sullo schermo.
 \end{basedescript}
 
 Nella \acr{glibc} \var{stdin}, \var{stdout} e \var{stderr} sono effettivamente
@@ -2726,7 +2733,7 @@ usare una delle funzioni \func{fseek}, \func{fsetpos} o \func{rewind}. Anche
 un'operazione nominalmente nulla come \code{fseek(file, 0, SEEK\_CUR)} è
 sufficiente a garantire la sincronizzazione.
 
-Una volta completate le operazioni su di esso \textit{stream} può essere
+Una volta completate le operazioni su di esso uno \textit{stream} può essere
 chiuso con la funzione \funcd{fclose}, il cui prototipo è:
 
 \begin{funcproto}{
@@ -2774,59 +2781,57 @@ sez.~\ref{sec:proc_conclusion}).
 
 
 \subsection{Gestione dell'I/O e posizionamento su uno \textit{stream}}
- \label{sec:file_io}
-
- Una delle caratteristiche più utili dell'interfaccia degli \textit{stream} è
- la ricchezza delle funzioni disponibili per le operazioni di lettura e
- scrittura sui file. Sono infatti previste ben tre diverse modalità modalità di
- input/output non formattato:
- \begin{itemize}
- \item\textsl{binario} in cui si leggono e scrivono blocchi di dati di
+\label{sec:file_io}
+
+Una delle caratteristiche più utili dell'interfaccia degli \textit{stream} è
+la ricchezza delle funzioni disponibili per le operazioni di lettura e
+scrittura sui file. Sono infatti previste ben tre diverse modalità modalità di
+input/output non formattato:
+\begin{itemize}
+\item\textsl{binario} in cui si leggono e scrivono blocchi di dati di
    dimensione arbitraria, (analogo della modalità ordinaria dell'I/O sui file
    descriptor), trattato in sez.~\ref{sec:file_binary_io}.
- \item\textsl{a caratteri} in cui si legge e scrive un carattere alla volta,
+\item\textsl{a caratteri} in cui si legge e scrive un carattere alla volta,
    con la bufferizzazione che viene gestita automaticamente dalla libreria,
    trattato in sez.~\ref{sec:file_char_io}.
- \item\textsl{di linea} in cui si legge e scrive una linea alla volta,
+\item\textsl{di linea} in cui si legge e scrive una linea alla volta,
    (terminata dal carattere di newline \verb|'\n'|), trattato in
    sez.~\ref{sec:file_line_io}.
- \end{itemize}
- a cui si aggiunge la modalità di input/output formattato, trattato in
- sez.~\ref{sec:file_formatted_io}.
-
- Ognuna di queste modalità utilizza per l'I/O delle funzioni specifiche che
- vedremo nelle sezioni citate, affronteremo qui tutte gli argomenti e le
- funzioni che si applicano in generale a tutte le modalità di I/O.
-
- A differenza di quanto avviene con l'interfaccia dei file descriptor, con gli
- \textit{stream} il raggiungimento della fine del file viene considerato un
- errore, e viene notificato come tale dai valori di uscita delle varie
- funzioni. Nella maggior parte dei casi questo avviene con la restituzione del
- valore intero (di tipo \ctyp{int}) \val{EOF} definito anch'esso nell'header
- \headfile{stdlib.h}. La costante deve essere negativa perché in molte
- funzioni un valore positivo indica la quantità di dati scritti, le
- \acr{glibc} usano il valore $-1$, ma altre implementazioni possono avere
- valori diversi.
-
- Dato che le funzioni dell'interfaccia degli \textit{stream} sono funzioni di
- libreria che si appoggiano a delle \textit{system call}, esse non impostano
- direttamente la variabile \var{errno}, che mantiene sempre il valore
- impostato dalla \textit{system call} invocata internamente che ha riportato
- l'errore.
-
- Siccome la condizione di \textit{end-of-file} è anch'essa segnalata come
- errore, nasce il problema di come distinguerla da un errore effettivo;
- basarsi solo sul valore di ritorno della funzione e controllare il valore di
- \var{errno} infatti non basta, dato che quest'ultimo potrebbe essere stato
- impostato in una altra occasione, (si veda sez.~\ref{sec:sys_errno} per i
- dettagli del funzionamento di \var{errno}).
-
- Per questo motivo tutte le implementazioni delle librerie standard mantengono
- per ogni \textit{stream} almeno due flag all'interno dell'oggetto \type{FILE},
- il flag di \textit{end-of-file}, che segnala che si è raggiunta la fine del
- file in lettura, e quello di errore, che segnala la presenza di un qualche
- errore nelle operazioni di input/output; questi due flag possono essere
- riletti dalle funzioni \funcd{feof} e \funcd{ferror}, i cui prototipi sono:
+\end{itemize}
+a cui si aggiunge la modalità di input/output formattato, trattato in
+sez.~\ref{sec:file_formatted_io}.
+
+Ognuna di queste modalità utilizza per l'I/O delle funzioni specifiche che
+vedremo nelle sezioni citate, affronteremo qui tutte gli argomenti e le
+funzioni che si applicano in generale a tutte le modalità di I/O.
+
+A differenza di quanto avviene con l'interfaccia dei file descriptor, con gli
+\textit{stream} il raggiungimento della fine del file viene considerato un
+errore, e viene notificato come tale dai valori di uscita delle varie
+funzioni. Nella maggior parte dei casi questo avviene con la restituzione del
+valore intero (di tipo \ctyp{int}) \val{EOF} definito anch'esso nell'header
+\headfile{stdlib.h}. La costante deve essere negativa perché in molte funzioni
+un valore positivo indica la quantità di dati scritti, le \acr{glibc} usano il
+valore $-1$, ma altre implementazioni possono avere valori diversi.
+
+Dato che le funzioni dell'interfaccia degli \textit{stream} sono funzioni di
+libreria che si appoggiano a delle \textit{system call}, esse non impostano
+direttamente la variabile \var{errno}, che mantiene sempre il valore impostato
+dalla \textit{system call} invocata internamente che ha riportato l'errore.
+
+Siccome la condizione di \textit{end-of-file} è anch'essa segnalata come
+errore, nasce il problema di come distinguerla da un errore effettivo; basarsi
+solo sul valore di ritorno della funzione e controllare il valore di
+\var{errno} infatti non basta, dato che quest'ultimo potrebbe essere stato
+impostato in una altra occasione, (si veda sez.~\ref{sec:sys_errno} per i
+dettagli del funzionamento di \var{errno}).
+
+Per questo motivo tutte le implementazioni delle librerie standard mantengono
+per ogni \textit{stream} almeno due flag all'interno dell'oggetto \type{FILE},
+il flag di \textit{end-of-file}, che segnala che si è raggiunta la fine del
+file in lettura, e quello di errore, che segnala la presenza di un qualche
+errore nelle operazioni di input/output; questi due flag possono essere
+riletti dalle funzioni \funcd{feof} e \funcd{ferror}, i cui prototipi sono:
 
 \begin{funcproto}{
 \fhead{stdio.h}
@@ -3325,11 +3330,11 @@ all'indirizzo \param{string} sullo \itindex{standard~output} \textit{standard
   output} mentre \func{puts} la scrive sul file indicato da \param{stream}.
 Dato che in questo caso si scrivono i dati in uscita \func{puts} non ha i
 problemi di \func{gets} ed è in genere la forma più immediata per scrivere
-messaggi sullo \itindex{standard~output} standard output; la funzione prende
-una stringa terminata da uno zero ed aggiunge automaticamente il ritorno a
-capo. La differenza con \func{fputs} (a parte la possibilità di specificare un
-file diverso da \var{stdout}) è che quest'ultima non aggiunge il
-\textit{newline}, che deve essere previsto esplicitamente.
+messaggi sullo \itindex{standard~output} \textit{standard output}; la funzione
+prende una stringa terminata da uno zero ed aggiunge automaticamente il
+ritorno a capo. La differenza con \func{fputs} (a parte la possibilità di
+specificare un file diverso da \var{stdout}) è che quest'ultima non aggiunge
+il \textit{newline}, che deve essere previsto esplicitamente.
 
 Come per le analoghe funzioni di input/output a caratteri, anche per l'I/O di
 linea esistono delle estensioni per leggere e scrivere linee di caratteri
@@ -3428,7 +3433,7 @@ liberare la memoria allocata dalla funzione eseguendo una \func{free} su
 
 Il valore di ritorno di \func{getline} indica il numero di caratteri letti
 dallo \textit{stream}, quindi compreso il \textit{newline}, ma non lo zero di
-terminazione). Questo permette anche di distinguere anche gli eventuali zeri
+terminazione. Questo permette anche di distinguere anche gli eventuali zeri
 letti come dati dallo \textit{stream} da quello inserito dalla funzione dopo
 il \textit{newline} per terminare la stringa.  Se si è alla fine del file e
 non si è potuto leggere nulla o se c'è stato un errore la funzione restituisce
@@ -3454,8 +3459,7 @@ La funzione è identica a \func{getline} solo che usa \param{delim} al posto
 del carattere di \textit{newline} come separatore di linea. Il comportamento
 di \func{getdelim} è identico a quello di \func{getline}, che può essere
 implementata da \func{getdelim} passando ``\verb|\n|'' come valore
-dell'argomento
-\param{delim}.
+dell'argomento \param{delim}.
 
 
 \subsection{Input/output formattato}
@@ -3495,9 +3499,9 @@ Le prime due servono per scrivere su file (lo \itindex{standard~output}
 su una stringa, in genere l'uso di \func{sprintf} è sconsigliato in quanto è
 possibile, se non si ha la sicurezza assoluta sulle dimensioni del risultato
 della stampa, eccedere le dimensioni di \param{str}, con conseguente
-sovrascrittura di altre variabili e possibili \itindex{buffer~overflow}
-\textit{buffer overflow}. Per questo motivo si consiglia l'uso
-dell'alternativa \funcd{snprintf}, il cui prototipo è:
+sovrascrittura di altre variabili e possibili \textit{buffer overflow}. Per
+questo motivo si consiglia l'uso dell'alternativa \funcd{snprintf}, il cui
+prototipo è:
 
 \begin{funcproto}{
 \fhead{stdio.h}
@@ -3663,7 +3667,7 @@ sez.~\ref{sec:proc_variadic}), sono \funcd{vprintf}, \funcd{vfprintf} e
 \fdesc{Scrive una stringa formattata sullo \itindex{standard~output}
   \textit{standard output}.} 
 \fdecl{int vfprintf(FILE *stream, const char *format, va\_list ap)}
-\fdesc{Scrive una stringa formattata su un \textit{stream}.}
+\fdesc{Scrive una stringa formattata su uno \textit{stream}.}
 \fdecl{int vsprintf(char *str, const char *format, va\_list ap)}
 \fdesc{Scrive una stringa formattata su un buffer.}
 }
@@ -3695,8 +3699,7 @@ scritti sulla stringa di destinazione:
   \func{vsprintf}.}
 \end{funcproto}
 
-\noindent in modo da evitare possibili \itindex{buffer~overflow} buffer
-overflow.
+\noindent in modo da evitare possibili \textit{buffer overflow}.
 
 
 Per eliminare alla radice questi problemi, la \acr{glibc} supporta una
@@ -4040,7 +4043,7 @@ scelta, si può forzare lo scarico dei dati sul file con la funzione
 
 \noindent anche di questa funzione esiste una analoga \func{fflush\_unlocked}
 (accessibile definendo \macro{\_BSD\_SOURCE} o \macro{\_SVID\_SOURCE} o
-\macro{\_GNU\_SOURCE}) che non effettua il blocco dello stream.
+\macro{\_GNU\_SOURCE}) che non effettua il blocco dello \textit{stream}.
 
 % TODO aggiungere prototipo \func{fflush\_unlocked}?
 
@@ -4048,8 +4051,8 @@ Se \param{stream} è \val{NULL} lo scarico dei dati è forzato per tutti gli
 \textit{stream} aperti. Esistono però circostanze, ad esempio quando si vuole
 essere sicuri che sia stato eseguito tutto l'output su terminale, in cui serve
 poter effettuare lo scarico dei dati solo per gli \textit{stream} in modalità
-line buffered. Per fare questo le \acr{glibc} supportano una estensione di
-Solaris, la funzione \funcd{\_flushlbf}, il cui prototipo è:
+\textit{line buffered}. Per fare questo le \acr{glibc} supportano una
+estensione di Solaris, la funzione \funcd{\_flushlbf}, il cui prototipo è:
 
 \begin{funcproto}{
 \fhead{stdio-ext.h}