X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=fileio.tex;h=6639ac357a5113b5e0f4202eff1561d0afdc9443;hp=59efa4436d6d4f2303cf54bb51900da1df93430a;hb=26f7a8bb19c6cb198c213757a97b6ac79e40db4b;hpb=89048a8614cd82de7976ac1859a905b2ff182b50

diff --git a/fileio.tex b/fileio.tex
index 59efa44..6639ac3 100644
--- a/fileio.tex
+++ b/fileio.tex
@@ -1,4 +1,4 @@
-%% fileio.tex (merge fileunix.tex - filestd.tex)
+s%% fileio.tex (merge fileunix.tex - filestd.tex)
 %%
 %% Copyright (C) 2000-2019 Simone Piccardi.  Permission is granted to
 %% copy, distribute and/or modify this document under the terms of the GNU Free
@@ -2857,8 +2857,8 @@ Per le operazioni di manipolazione e di controllo delle varie proprietà e
 caratteristiche di un file descriptor, viene usata la funzione di sistema
 \funcd{fcntl},\footnote{ad esempio si gestiscono con questa funzione varie
   modalità di I/O asincrono (vedi sez.~\ref{sec:file_asyncronous_operation}) e
-  il \textit{file locking} (vedi sez.~\ref{sec:file_locking}).} il cui
-prototipo è:
+  il \textit{file locking} (vedi sez.~\ref{sec:file_locking}) e altre
+  funzionalità avanzate che tratteremo più avanti.} il cui prototipo è:
 
 \begin{funcproto}{
 \fhead{unistd.h}
@@ -2866,13 +2866,13 @@ prototipo è:
 \fdecl{int fcntl(int fd, int cmd)}
 \fdecl{int fcntl(int fd, int cmd, int arg)}
 \fdecl{int fcntl(int fd, int cmd, ...)}
-\fdesc{Esegue una operazione di controllo sul file.} 
+\fdesc{Esegue una operazione di controllo su un file descriptor.} 
 }
 
 {La funzione ha valori di ritorno diversi a seconda dell'operazione richiesta
   in caso di successo mentre ritorna sempre $-1$ per un errore, nel qual caso
   \var{errno} assumerà valori diversi che dipendono dal tipo di operazione,
-  gli unici con signifiato generico sono:
+  gli unici con significato generico sono:
   \begin{errlist}
   \item[\errcode{EBADF}] \param{fd} non è un file aperto.
   \item[\errcode{EINVAL}] \param{cmd} non è un comando supportato dal kernel
@@ -2964,9 +2964,9 @@ il nome indicato nel precedente prototipo), è riportata di seguito:
 \item[\constd{F\_GETLK}] richiede un controllo sul \textit{file lock}
   specificato nella struttura \struct{flock} puntata dal terzo argomento (che
   pertanto dovrà essere di tipo \ctyp{struct flock *}) sovrascrivendone il
-  contenuto con il risultato, ritorna un valore nullo in caso di successo o
+  contenuto con il risultato; ritorna un valore nullo in caso di successo o
   $-1$ in caso di errore. Come per i due successivi comandi oltre a
-  \errval{EBADF} se il terzo argomento non è un puntatore valido restituisce
+  \errval{EBADF}, se il terzo argomento non è un puntatore valido, restituisce
   l'errore generico \errcode{EFAULT}. Questa funzionalità è trattata in
   dettaglio in sez.~\ref{sec:file_posix_lock}.
 
@@ -3083,8 +3083,8 @@ il nome indicato nel precedente prototipo), è riportata di seguito:
   l'identificatore del processo, \textit{thread} o \textit{process group} che
   è preposto alla ricezione dei segnali \signal{SIGIO} e \signal{SIGURG} per
   gli eventi associati al file descriptor \param{fd}.  Ritorna un valore nullo
-  in caso di successo o $-1$ in caso di errore. Oltre a \errval{EBADF} e da
-  \errval{EFAULT} se \param{owner} non è un puntatore valido.
+  in caso di successo o $-1$ in caso di errore. Oltre a \errval{EBADF} l'unico
+  altro errore è \errval{EFAULT} se \param{owner} non è un puntatore valido.
 
   Il comando, che è disponibile solo a partire dal kernel 2.6.32, effettua lo
   stesso compito di \const{F\_GETOWN} di cui costituisce una evoluzione che
@@ -3115,8 +3115,8 @@ il nome indicato nel precedente prototipo), è riportata di seguito:
   un tipo di identificatore valido.
 
   Come \const{F\_GETOWN\_EX} il comando richiede come terzo argomento il
-  puntatore ad una struttura \struct{f\_owner\_ex} la cui definizione è
-  riportata in fig.~\ref{fig:f_owner_ex}, in cui il campo \var{type} indica il
+  puntatore ad una struttura \struct{f\_owner\_ex} (la cui definizione è
+  riportata in fig.~\ref{fig:f_owner_ex}) in cui il campo \var{type} indica il
   tipo di identificatore che si intende usare, mentre il relativo valore è
   specificato nel campo \var{pid}, che assume lo stesso significato del terzo
   argomenti di \const{F\_SETOWN}.
@@ -3128,18 +3128,19 @@ il nome indicato nel precedente prototipo), è riportata di seguito:
   di \const{F\_SETOWN} se si specifica un \textit{Tread ID} questo riceverà
   sia \signal{SIGIO} (o il segnale impostato con \const{F\_SETSIG}) che
   \signal{SIGURG}. Il comando è specifico di Linux, è disponibile solo a
-  partire dal kernel 2.6.32, ed è utilizzabile solo se si è definita la macro
+  partire dal kernel 2.6.32 ed è utilizzabile solo se si è definita la macro
   \macro{\_GNU\_SOURCE}.
 
-\item[\constd{F\_GETSIG}] restituisce il valore del segnale inviato dai vari
-  meccanismi di I/O asincrono associati al file descriptor \param{fd} (quelli
-  trattati in sez.~\ref{sec:file_asyncronous_operation}) in caso di successo o
-  $-1$ in caso di errore, il terzo argomento viene ignorato. Non sono previsti
-  errori diversi da \errval{EBADF}.  Un valore nullo indica che si sta usando
-  il segnale predefinito, che è \signal{SIGIO}. Un valore diverso da zero
-  indica il segnale che è stato impostato con \const{F\_SETSIG}, che può
-  essere anche lo stesso \signal{SIGIO}. Il comando è specifico di Linux ed
-  utilizzabile solo se si è definita la macro \macro{\_GNU\_SOURCE}.
+\item[\constd{F\_GETSIG}] restituisce in caso di successo il valore del
+  segnale inviato dai vari meccanismi di I/O asincrono associati al file
+  descriptor \param{fd} (quelli trattati in
+  sez.~\ref{sec:file_asyncronous_operation}) o $-1$ in caso di errore, il
+  terzo argomento viene ignorato. Non sono previsti errori diversi da
+  \errval{EBADF}.  Un valore nullo indica che si sta usando il segnale
+  predefinito, che è \signal{SIGIO}. Un valore diverso da zero indica il
+  segnale che è stato impostato con \const{F\_SETSIG}, che può essere anche lo
+  stesso \signal{SIGIO}. Il comando è specifico di Linux ed utilizzabile solo
+  se si è definita la macro \macro{\_GNU\_SOURCE}.
 
 \item[\constd{F\_SETSIG}] imposta il segnale inviato dai vari meccanismi di
   I/O asincrono associati al file descriptor \param{fd} (quelli trattati in
@@ -3177,15 +3178,16 @@ il nome indicato nel precedente prototipo), è riportata di seguito:
   valori di tab.~\ref{tab:file_lease_fctnl}), \errcode{ENOMEM} se non c'è
   memoria sufficiente per creare il \textit{file lease}, \errcode{EACCES} se
   non si è il proprietario del file e non si hanno i privilegi di
-  amministratore (per la precisione occorre la capacità \const{CAP\_LEASE}).
-
-  Il supporto il supporto per i \textit{file lease}, che consente ad un
-  processo che detiene un \textit{lease} su un file di riceve una notifica
-  qualora un altro processo cerchi di eseguire una \func{open} o una
-  \func{truncate} su di esso è stato introdotto a partire dai kernel della
-  serie 2.4 Il comando è specifico di Linux ed utilizzabile solo se si è
-  definita la macro \macro{\_GNU\_SOURCE}. Questa funzionalità è trattata in
-  dettaglio in sez.~\ref{sec:file_asyncronous_lease}.
+  amministratore (per la precisione occorre la capacità \const{CAP\_LEASE},
+  vedi sez.~\ref{sec:proc_capabilities}).
+
+  Il supporto per i \textit{file lease}, che consente ad un processo che
+  detiene un \textit{lease} su un file di ricevere una notifica qualora un
+  altro processo cerchi di eseguire una \func{open} o una \func{truncate} su
+  di esso, è stato introdotto a partire dai kernel della serie 2.4. Il comando
+  è specifico di Linux ed utilizzabile solo se si è definita la macro
+  \macro{\_GNU\_SOURCE}. Questa funzionalità è trattata in dettaglio in
+  sez.~\ref{sec:file_asyncronous_lease}.
 
 \item[\constd{F\_NOTIFY}] attiva il meccanismo di notifica asincrona per cui
   viene riportato al processo chiamante, tramite il segnale \signal{SIGIO} (o
@@ -3222,27 +3224,25 @@ il nome indicato nel precedente prototipo), è riportata di seguito:
 
   I processi non privilegiati (occorre la capacità \const{CAP\_SYS\_RESOURCE})
   non possono impostare un valore superiore a quello indicato da
-  \sysctlfiled{fs/pipe-size-max}.  Il comando è specifico di Linux, è
+  \sysctlfiled{fs/pipe-max-size}.  Il comando è specifico di Linux, è
   disponibile solo a partire dal kernel 2.6.35, ed è utilizzabile solo se si è
   definita la macro \macro{\_GNU\_SOURCE}.
 
 \item[\constd{F\_GET\_SEALS}] restituisce in caso di successo l'insieme dei
-  \textit{file seal} presenti su \param{fd}, 0 se non ve ne sono o $-1$ in
+  \textit{file seal} presenti su \param{fd}: 0 se non ve ne sono o $-1$ in
   caso di errore, il terzo argomento viene ignorato.  Oltre a \errval{EBADF}
   se il file non supporta i \textit{file seal} viene restituito un errore di
   \errval{EINVAL}. Il comando è specifico di Linux, è disponibile solo a
   partire dal kernel 3.17. Questa funzionalità è trattata in dettaglio in
-  sez.~\ref{sec:file_seal}.
+  sez.~\ref{sec:file_seal_et_al}.
 
 \item[\constd{F\_ADD\_SEALS}] aggiunge i \textit{file seal} espressi come
   maschera binaria nell'argomento \param{arg} a quelli presenti su \param{fd},
   ritorna un valore nullo in caso di successo o $-1$ in caso di errore. Il
   comando è specifico di Linux, è disponibile solo a partire dal kernel
   3.17. Questa funzionalità è trattata in dettaglio in
-  sez.~\ref{sec:file_seal}.
+  sez.~\ref{sec:file_seal_et_al}.
   
-  % TODO: trovare dove trattare i file seal
-
 \item[\constd{F\_GET\_RW\_HINT}] legge il valore dei \textit{read/write hints}
   associati all'\textit{inode} a cui fa riferimento \param{fd} nella variabile
   puntata dal terzo argomento che deve essere di tipo \ctyp{uint64\_t
@@ -3278,9 +3278,6 @@ il nome indicato nel precedente prototipo), è riportata di seguito:
 \end{basedescript}
 
 
-% TODO: trattare RWH_WRITE_LIFE_EXTREME e RWH_WRITE_LIFE_SHORT aggiunte con
-% il kernel 4.13 (vedi https://lwn.net/Articles/727385/)
-
 La maggior parte delle funzionalità controllate dai comandi di \func{fcntl}
 sono avanzate e richiedono degli approfondimenti ulteriori, saranno pertanto
 riprese più avanti quando affronteremo le problematiche ad esse relative. In
@@ -3288,7 +3285,7 @@ particolare le tematiche relative all'I/O asincrono e ai vari meccanismi di
 notifica saranno trattate in maniera esaustiva in
 sez.~\ref{sec:file_asyncronous_operation}, quelle relative al \textit{file
   locking} saranno esaminate in sez.~\ref{sec:file_locking}, quelle relative
-ai \textit{file seal} in sez.~\ref{sec:file_seal} e quelle relative ai
+ai \textit{file seal} in sez.~\ref{sec:file_seal_et_al} e quelle relative ai
 \textit{read/write hints} in sez.~\ref{sec:file_fadvise}. L'uso di questa
 funzione con i socket verrà trattato in sez.~\ref{sec:sock_ctrl_func}.
 
@@ -3355,16 +3352,16 @@ sistematica le operazioni che si possono gestire con \func{ioctl}, un breve
 elenco di alcuni esempi di esse è il seguente:
 \begin{itemize*}
 \item il cambiamento dei font di un terminale.
-\item l'esecuzione di una traccia audio di un CDROM.
+\item l'esecuzione di una traccia audio di un CD.
 \item i comandi di avanti veloce e di riavvolgimento di un nastro.
 \item il comando di espulsione di un dispositivo rimovibile.
 \item l'impostazione della velocità trasmissione di una linea seriale.
 \item l'impostazione della frequenza e della durata dei suoni emessi dallo
   speaker.
-\item l'impostazione degli attributi dei file su un filesystem
-  ext2.\footnote{i comandi \texttt{lsattr} e \texttt{chattr} fanno questo con
-    delle \func{ioctl} dedicate, usabili solo su questo filesystem e derivati
-    successivi (come ext3).}
+\item l'impostazione degli attributi dei file (vedi
+  sez.~\ref{sec:file_perm_management}) su un filesystem.\footnote{i comandi
+    \texttt{lsattr} e \texttt{chattr} fanno questo con delle \func{ioctl}
+    dedicate, usabili solo sui filesystem che li supportano.}
 \end{itemize*}
 
 In generale ogni dispositivo ha un suo insieme di operazioni specifiche
@@ -3453,7 +3450,6 @@ due funzioni sono rimaste.
 %  EXT4_IOC_SHUTDOWN (dal 4.10), XFS_IOC_GOINGDOWN e futura FS_IOC_SHUTDOWN
 % ioctl di btrfs, vedi http://lwn.net/Articles/580732/
 
-% \chapter{}
 
 \section{L'interfaccia standard ANSI C}
 \label{sec:files_std_interface}
@@ -3470,9 +3466,10 @@ standard (che sono state implementate la prima volta da Ritchie nel 1976 e da
 allora sono rimaste sostanzialmente immutate), vengono a costituire il nucleo
 della \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
-file descriptor. In particolare vedremo come aprire, leggere, scrivere e
+Esamineremo in questa sezione le funzioni base di questa interfaccia che
+chiameremo, per distinguerla dalla precedente ``degli \textit{stream}''. Esse
+sono analoghe a quelle di sez.~\ref{sec:file_unix_interface} per i file
+descriptor, ed in particolare vedremo come aprire, leggere, scrivere e
 cambiare la posizione corrente in uno \textit{stream}.
 
 
@@ -3721,7 +3718,16 @@ essere aperti con le funzioni delle librerie standard del C.
                  scrittura.\\
     \hline
     \texttt{b} & Specifica che il file è binario, non ha alcun effetto. \\
-    \texttt{x} & L'apertura fallisce se il file esiste già. \\
+    \texttt{c} & Evita che l'apertura e seguenti letture o scritture diventino
+                 un \textit{cancellation point} per i \textit{thread};
+                 presente dalla \acr{glibc} 2.3.3. \\
+    \texttt{e} & Apre il file con il flag di \const{O\_CLOEXEC}; presente
+                 dalla \acr{glibc} 2.7. \\
+    \texttt{m} & Cerca di accedere al file con \func{mmap} invece
+                 che con le funzioni di I/O classiche; presente
+                 dalla \acr{glibc} 2.3. \\
+    \texttt{x} & L'apertura fallisce se il file esiste già (ignorato con
+                 \func{fdopen}).\\
     \hline
   \end{tabular}
   \caption{Modalità di apertura di uno \textit{stream} dello standard ANSI C
@@ -3732,24 +3738,35 @@ essere aperti con le funzioni delle librerie standard del C.
 In realtà lo standard ANSI C prevede un totale di 15 possibili valori
 diversi per \param{mode}, ma in tab.~\ref{tab:file_fopen_mode} si sono
 riportati solo i sei valori effettivi, ad essi può essere aggiunto pure
-il carattere \texttt{b} (come ultimo carattere o nel mezzo agli altri per
+il carattere ``\texttt{b}'' (come ultimo carattere o nel mezzo agli altri per
 le stringhe di due caratteri) che in altri sistemi operativi serve a
 distinguere i file binari dai file di testo; in un sistema POSIX questa
 distinzione non esiste e il valore viene accettato solo per
 compatibilità, ma non ha alcun effetto.
 
 La \acr{glibc} supporta alcune estensioni, queste devono essere sempre
-indicate dopo aver specificato il \param{mode} con uno dei valori di
-tab.~\ref{tab:file_fopen_mode}. L'uso del carattere \texttt{x} serve per
-evitare di sovrascrivere un file già esistente (è analoga all'uso dell'opzione
-\const{O\_EXCL} in \func{open}): se il file specificato già esiste e si
-aggiunge questo carattere a \param{mode} la \func{fopen} fallisce.
-
-% Un'altra estensione serve a supportare la localizzazione, quando si
-% aggiunge a \param{mode} una stringa della forma \verb|",ccs=STRING"| il
-% valore \verb|STRING| è considerato il nome di una codifica dei caratteri
-% e \func{fopen} marca il file per l'uso dei caratteri estesi e abilita le
-% opportune funzioni di conversione in lettura e scrittura.
+indicate dopo aver specificato il \param{mode} con uno dei valori della
+seconda sezione di tab.~\ref{tab:file_fopen_mode}. Ad esempio l'uso del
+carattere ``\texttt{e}'' serve ad impostare il \textit{close-on-exec} sul file
+(è analoga all'uso del flag \const{O\_CLOEXEC} in \func{open}), ``\texttt{x}''
+serve per evitare di sovrascrivere un file già esistente (è analoga all'uso
+del flag \const{O\_EXCL} in \func{open}): se il file specificato già esiste e
+si aggiunge questo carattere a \param{mode} la \func{fopen} fallisce.
+
+Altri due valori hanno usi specialistici, con ``\texttt{m}'' si chiede di
+usare il \textit{memory mapping} per l'accesso al file (tratteremo i file
+mappati in memoria in sez.~\ref{sec:file_memory_map}), ma la funzionalità è al
+momento disponibile solo per i file aperti in sola lettura. Con ``\texttt{c}''
+infine si richiede che l'apertura, e le successive operazioni di lettura e
+scrittura, non diventino un \textit{cancellation point} per i \textit{thread}
+(tratteremo l'argomento in sez.~\ref{sec:xxx_thread}).
+
+Un'altra estensione serve a supportare la localizzazione, quando si aggiunge a
+\param{mode} una stringa della forma \verb|",ccs=STRING"| (che deve essere
+sempre in coda a tutte le altre) il valore \verb|STRING| è considerato il nome
+di una codifica dei caratteri e \func{fopen} marca il file per l'uso dei
+caratteri estesi e abilita le opportune funzioni di conversione in lettura e
+scrittura. 
 
 Nel caso si usi \func{fdopen} i valori specificati da \param{mode} devono
 essere compatibili con quelli con cui il file descriptor è stato aperto.
@@ -3837,8 +3854,7 @@ sez.~\ref{sec:proc_conclusion}).
 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à di
-input/output non formattato, che tratteremo in
-sez.~\ref{sec:file_unformatted_io}:
+input/output non formattato:
 \begin{itemize*}
 \item\textsl{Input/Output binario}, una modalità in cui si leggono e scrivono
   blocchi di dati di dimensione arbitraria; è l'analogo della modalità
@@ -3847,17 +3863,17 @@ sez.~\ref{sec:file_unformatted_io}:
 \item\textsl{Input/Output a caratteri}, una modalità in cui si legge e scrive
   un singolo carattere alla volta, anche in questo caso la bufferizzazione
   viene gestita automaticamente dalla libreria;
-\item\textsl{input/output di linea}, una modalità in cui si legge e scrive una
+\item\textsl{Input/Output di linea}, una modalità in cui si legge e scrive una
   linea di testo alla volta, in questa modalità si intende per linea una
   sequenza di caratteri terminata dal carattere di \textit{newline}
   (\verb|'\n'|);
 \end{itemize*}
 
-A queste tre modalità si aggiunge poi la modalità di input/output formattato,
+A queste tre modalità si aggiunge poi la modalità di input/output formattato
 che tratteremo in sez.~\ref{sec:file_unformatted_io}. Ognuna di queste
 modalità utilizza per l'I/O delle funzioni specifiche che vedremo più avanti,
 affronteremo qui invece gli argomenti e le funzioni che si applicano in
-generale a tutte tutte queste diverse modalità di I/O.
+generale a tutte queste diverse modalità di I/O.
 
 Una prima caratteristica specifica è che differenza di quanto avviene con
 l'interfaccia dei file descriptor, con gli \textit{stream} il raggiungimento
@@ -4039,10 +4055,10 @@ i rispettivi prototipi sono:
 \begin{funcproto}{
 \fhead{stdio.h} 
 \fdecl{size\_t fread(void *ptr, size\_t size, size\_t nmemb, FILE *stream)}
-\fdesc{Legge i dati da uno \textit{stream}.} 
+\fdesc{Legge i dati da uno \textit{stream} ad un buffer.} 
 \fdecl{size\_t fwrite(const void *ptr, size\_t size, size\_t nmemb, 
   FILE *stream)}
-\fdesc{Scrive i dati su uno \textit{stream}.} 
+\fdesc{Scrive i dati da un buffer su uno \textit{stream}.} 
 }
 
 {Le funzioni ritornano il numero di elementi letti o scritti, in caso di
@@ -4104,29 +4120,6 @@ permetta di recuperare l'informazione completa, per assicurarsi che versioni
 diverse del programma siano in grado di rileggere i dati, tenendo conto delle
 eventuali differenze.
 
-La \acr{glibc} definisce infine due ulteriori funzioni per l'I/O binario,
-\funcd{fread\_unlocked} e \funcd{fwrite\_unlocked}, che evitano il lock
-implicito dello \textit{stream} usato per dalla librerie per la gestione delle
-applicazioni \textit{multi-thread} (si veda sez.~\ref{sec:file_stream_thread}
-per i dettagli), i loro prototipi sono:
-
-\begin{funcproto}{
-\fhead{stdio.h}
-\fdecl{size\_t fread\_unlocked(void *ptr, size\_t size, size\_t
-    nmemb, FILE *stream)}
-\fdecl{size\_t fwrite\_unlocked(const void *ptr, size\_t size,
-    size\_t nmemb, FILE *stream)}
-\fdesc{Leggono o scrivono dati su uno \textit{stream} senza acquisire il lock
-  implicito sullo stesso.} 
-}
-
-{Le funzioni ritornano gli stessi valori delle precedenti \func{fread} e
-  \func{fwrite}.}
-\end{funcproto}
-
-% TODO: trattare in generale le varie *_unlocked
-
-
 La seconda modalità di input/output non formattato è quella a caratteri, in
 cui si trasferisce un carattere alla volta.  Le funzioni per la lettura a
 caratteri sono tre, \funcd{fgetc}, \funcd{getc} e \funcd{getchar}, ed i
@@ -4410,14 +4403,6 @@ quello di \func{fgets} e \func{fputs}, a parte il fatto che tutto (numero di
 caratteri massimo, terminatore della stringa, \textit{newline}) è espresso in
 termini di caratteri estesi anziché di normali caratteri ASCII.
 
-Come per l'I/O binario e quello a caratteri, anche per l'I/O di linea la
-\acr{glibc} supporta una serie di altre funzioni, estensioni di tutte quelle
-illustrate finora (eccetto \func{gets} e \func{puts}), che eseguono
-esattamente le stesse operazioni delle loro equivalenti, evitando però il lock
-implicito dello \textit{stream} (vedi sez.~\ref{sec:file_stream_thread}). Come
-per le altre forma di I/O, dette funzioni hanno lo stesso nome della loro
-analoga normale, con l'aggiunta dell'estensione \code{\_unlocked}.
-
 Come abbiamo visto, le funzioni di lettura per l'input/output di linea
 previste dallo standard ANSI C presentano svariati inconvenienti. Benché
 \func{fgets} non abbia i gravissimi problemi di \func{gets}, può comunque dare
@@ -4455,10 +4440,10 @@ stringa da leggere.
 
 Essa prende come primo argomento l'indirizzo del puntatore al buffer su cui si
 vuole copiare la linea. Quest'ultimo \emph{deve} essere stato allocato in
-precedenza con una \func{malloc}, non si può cioè passare come argomento primo
+precedenza con una \func{malloc}: non si può cioè passare come argomento primo
 argomento l'indirizzo di un puntatore ad una variabile locale. Come secondo
 argomento la funzione vuole l'indirizzo della variabile contenente le
-dimensioni del buffer suddetto.
+dimensioni del suddetto buffer.
 
 Se il buffer di destinazione è sufficientemente ampio la stringa viene scritta
 subito, altrimenti il buffer viene allargato usando \func{realloc} e la nuova
@@ -4660,9 +4645,9 @@ specificati in questo ordine:
   \label{tab:file_format_flag}
 \end{table}
 
-Dettagli ulteriori sulle varie opzioni di stampa e su tutte le casistiche
-dettagliate dei vari formati possono essere trovati nella pagina di manuale di
-\func{printf} e nella documentazione della \acr{glibc}.
+Dettagli ulteriori sulle varie opzioni di stampa e su tutte le casistiche dei
+vari formati possono essere trovati nella pagina di manuale di \func{printf} e
+nella documentazione della \acr{glibc}.
 
 \begin{table}[htb]
   \centering
@@ -4718,13 +4703,13 @@ sez.~\ref{sec:proc_variadic}), sono \funcd{vprintf}, \funcd{vfprintf} e
   valore negativo per un errore.}  
 \end{funcproto}
 
-Con queste funzioni diventa possibile selezionare gli argomenti che si
-vogliono passare ad una funzione di stampa, passando direttamente la lista
-tramite l'argomento \param{ap}. Per poter far questo ovviamente la lista
-variabile degli argomenti dovrà essere opportunamente trattata (l'argomento è
-esaminato in sez.~\ref{sec:proc_variadic}), e dopo l'esecuzione della funzione
-l'argomento \param{ap} non sarà più utilizzabile (in generale dovrebbe essere
-eseguito un \code{va\_end(ap)} ma in Linux questo non è necessario).
+Con queste funzioni è possibile selezionare gli argomenti da passare ad una
+funzione di stampa indicando direttamente la lista tramite l'argomento
+\param{ap}. Per poter far questo ovviamente la lista variabile degli argomenti
+dovrà essere trattata come visto in sez.~\ref{sec:proc_variadic}, e dopo
+l'esecuzione della funzione l'argomento \param{ap} non sarà più utilizzabile
+(in generale dovrebbe essere eseguito un \code{va\_end(ap)} ma in Linux questo
+non è necessario).
 
 Come per \func{sprintf} anche per \func{vsprintf} esiste una analoga
 \funcd{vsnprintf} che pone un limite sul numero di caratteri che vengono
@@ -4798,8 +4783,8 @@ famiglia \func{scanf}; fra queste le tre più importanti sono \funcd{scanf},
 \end{funcproto}
 
 Le funzioni eseguono una scansione della rispettiva fonte di input cercando
-una corrispondenza di quanto letto con il formato dei dati specificato
-da \param{format}, ed effettua le relative conversioni memorizzando il
+una corrispondenza di quanto letto con il formato dei dati specificato da
+\param{format}, ed effettuano le relative conversioni memorizzando il
 risultato negli argomenti seguenti, il cui numero è variabile e dipende dal
 valore di \param{format}. Come per le analoghe funzioni di scrittura esistono
 le relative \funcm{vscanf}, \funcm{vfscanf} e \funcm{vsscanf} che usano un
@@ -5080,12 +5065,6 @@ scelta, si può forzare lo scarico dei dati sul file con la funzione
   \func{write}.}
 \end{funcproto}
 
-\noindent anche di questa funzione esiste una analoga \func{fflush\_unlocked}
-(accessibile definendo una fra \macro{\_BSD\_SOURCE}, \macro{\_SVID\_SOURCE} o
-\macro{\_GNU\_SOURCE}) che non effettua il blocco dello \textit{stream}.
-
-% TODO aggiungere prototipo \func{fflush\_unlocked}?
-
 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
@@ -5186,15 +5165,14 @@ indolori, e quando il locking dello \textit{stream} non è necessario (come in
 tutti i programmi che non usano i \textit{thread}), tutta la procedura può
 comportare dei costi pesanti in termini di prestazioni. 
 
-Per questo motivo abbiamo visto come alle usuali funzioni di I/O non
-formattato siano associate delle versioni \code{\_unlocked} (alcune previste
-dallo stesso standard POSIX, altre aggiunte come estensioni dalla \acr{glibc})
-che possono essere usate quando il locking non serve\footnote{in certi casi
-  dette funzioni possono essere usate, visto che sono molto più efficienti,
-  anche in caso di necessità di locking, una volta che questo sia stato
-  acquisito manualmente.}  con prestazioni molto più elevate, dato che spesso
-queste versioni (come accade per \func{getc} e \func{putc}) sono realizzate
-come macro.
+Per questo motivo alle usuali funzioni di I/O non formattato sono associate
+delle ulteriori versioni, caratterizzate dall'aggiunta del suffisso
+\code{\_unlocked}, che possono essere usate quando il locking non
+serve\footnote{in certi casi dette funzioni possono essere usate, visto che
+  sono molto più efficienti, anche in caso di necessità di locking, una volta
+  che questo sia stato acquisito manualmente.}  con prestazioni molto più
+elevate, dato che spesso queste versioni (come accade per \func{getc} e
+\func{putc}) sono realizzate come macro.
 
 La sostituzione di tutte le funzioni di I/O con le relative versioni
 \code{\_unlocked} in un programma che non usa i \textit{thread} è però un
@@ -5249,6 +5227,18 @@ con uno dei valori \const{FSETLOCKING\_INTERNAL} o
 
 % TODO trattare \func{clearerr\_unlocked} 
 
+Per tutte le funzioni che abbiamo trattato in
+sez.~\ref{sec:files_std_interface} che eseguono I/O sugli \textit{stream}
+esiste una versione ``\texttt{\_unlocked}'',\footnote{non ne esistono per
+  funzioni di informazione come \func{ftell} dato che queste non hanno bisogno
+  di un blocco, l'elenco completo delle funzioni ``\texttt{\_unlocked}''
+  comunque è disponibile nella pagina di manuale delle stesse, accessibile con
+  \texttt{man unlocked\_stdio}. } ma nello standard POSIX sono previste solo
+\funcm{getc\_unlocked}, \funcm{getchar\_unlocked}, \funcm{putc\_unlocked} e
+\funcm{putchar\_unlocked}, tutte le altre pur essendo state aggiunte come
+estensioni dalla \acr{glibc}, non sono standard, anche se sono presenti anche
+su altri sistemi unix; in generale comuqnue l'uso di queste funzioni è
+sconsigliato e non le tratteremo esplicitamente.
 
 
 %%% Local Variables: 
@@ -5310,13 +5300,14 @@ con uno dei valori \const{FSETLOCKING\_INTERNAL} o
 % LocalWords:  wrapper EMPTY olddirfd oldpath newdirfd newpath capability ino
 % LocalWords:  SEARCH flink choot oldirfd NOREPLACE EXCHANGE WHITEOUT union
 % LocalWords:  renamat syscall whiteout overlay filesytem Live nell' sull'
-% LocalWords:  statbuf statxbuf IFMT nlink atime mtime fexecve argv envp
-% LocalWords:  blocks STATS btime RESERVED ctime ATTR dev ENOSYS
-% LocalWords:  timestamp attributes COMPRESSED immutable NODUMP
-% LocalWords:  dump ENCRYPTED rdev all'I dell'I
+% LocalWords:  statbuf statxbuf IFMT nlink atime mtime fexecve argv envp GET
+% LocalWords:  blocks STATS btime RESERVED ctime ATTR dev ENOSYS locks SEALS
+% LocalWords:  timestamp attributes COMPRESSED immutable NODUMP HINT hints
+% LocalWords:  dump ENCRYPTED rdev all'I dell'I uint cancellation mmap
 
 %%% Local Variables: 
 %%% mode: latex
 %%% TeX-master: "gapil"
 %%% End: 
 
+%  LocalWords:  mapping