Riordinati riferimenti al close-on-exec.
[gapil.git] / fileio.tex
index a99960a1e7bfd120679d36c5a0772863ccf06770..40dcd9f94ee29c3c3206ccca0eefd415b474cdfd 100644 (file)
@@ -1361,16 +1361,22 @@ entrambi. Questo consente una sorta di ``\textsl{sincronizzazione}''
 automatica della posizione sul file fra padre e figlio che occorre tenere
 presente.
 
+\itindbeg{close-on-exec}
+
 Si noti inoltre che in questo caso anche i flag di stato del file, essendo
 mantenuti nella struttura \kstruct{file} della \textit{file table}, vengono
 condivisi, per cui una modifica degli stessi con \func{fcntl} (vedi
 sez.~\ref{sec:file_fcntl_ioctl}) si applicherebbe a tutti processi che
 condividono la voce nella \textit{file table}. Ai file però sono associati
-anche altri flag, dei quali l'unico usato al momento è \constd{FD\_CLOEXEC},
-detti \itindex{file~descriptor~flags} \textit{file descriptor flags}; questi
-invece sono mantenuti in \kstruct{file\_struct}, e perciò sono locali per
-ciascun processo e non vengono modificati dalle azioni degli altri anche in
-caso di condivisione della stessa voce della \textit{file table}.
+anche altri flag detti \itindex{file~descriptor~flags} \textit{file descriptor
+  flags}. Questi invece sono mantenuti in \kstruct{file\_struct}, e perciò
+sono locali per ciascun processo e non vengono modificati dalle azioni degli
+altri anche in caso di condivisione della stessa voce della \textit{file
+  table}; l'unico usato al momento è quello di \textit{close-on-exec} che
+indica che il file descriptor deve essere chiuso in una \func{exec} (vedi
+sez.~\ref{sec:proc_exec}).
+
+\itindend{close-on-exec}
 
 Si tenga presente dunque che in un sistema unix-like è sempre possibile per
 più processi accedere in contemporanea allo stesso file e che non esistono, a
@@ -1467,7 +1473,7 @@ 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} attivo (vedi
-sez.~\ref{sec:proc_exec} e sez.~\ref{sec:file_fcntl_ioctl}), questo verrà
+sez.~\ref{sec:proc_exec} e sez.~\ref{sec:file_shared_access}), questo verrà
 cancellato nel file descriptor restituito come copia.
 
 L'uso principale di questa funzione è nella shell per la redirezione dei file
@@ -1938,10 +1944,11 @@ possibili diversi valori a seconda della funzione usata.
   \label{tab:at-functions_constant_values}
 \end{table}
 
-\footnotetext{si tratta di una funzionalità fornita dal kernel che consente di
-  montare automaticamente una directory quando si accede ad un
-  \textit{pathname} al di sotto di essa, per i dettagli, più di natura
-  sistemistica, si può consultare sez.~5.1.6 di \cite{AGL}.}
+\footnotetext{l'\textit{automount} \itindex{automount} è una funzionalità
+  fornita dal kernel che consente di montare automaticamente una directory
+  quando si accede ad un \textit{pathname} al di sotto di essa, per i
+  dettagli, di natura prevalentemente sistemistica, si può consultare
+  sez.~5.1.6 di \cite{AGL}.}
 
 Si tenga presente che non tutte le funzioni che prevedono l'argomento
 aggiuntivo sono \textit{system call}, ad esempio \func{faccessat} e
@@ -2433,12 +2440,6 @@ come supporto per la scrittura. Infine l'operazione non è compatibile con
 \itindend{overlay~filesytem}
 \itindend{union~filesytem}
 
-
-
-% TODO trattare anche statx, aggiunta con il kernel 4.11 (vedi
-% https://lwn.net/Articles/707602/ e
-% https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=a528d35e8bfcc521d7cb70aaf03e1bd296c8493f) 
-
 Benché non rientri nelle \textit{at-functions} previste nello standard
 POSIX.1-2008, tratteremo qui anche la funzione di sistema \funcd{statx},
 introdotta con il kernel 4.11 e disponibile dalle versione 2.28 della
@@ -2522,7 +2523,6 @@ consente, con l'argomento \param{mask} di selezionare quelle volute, questa
 deve essere assegnata ad una maschera binaria dei valori illustrati in
 tab.~\ref{tab:statx_mask_const}.
 
-
 \begin{table}[htb]
   \centering
   \footnotesize
@@ -2542,7 +2542,7 @@ tab.~\ref{tab:statx_mask_const}.
                             \texttt{stx\_gid}).\\
     \constd{STATX\_ATIME} & Tempo di ultimo accesso (\texttt{stx\_atime}).\\
     \constd{STATX\_MTIME} & Tempo di ultima modifica (\texttt{stx\_mtime}).\\
-    \constd{STATX\_CTIME} & Tempo di ultimo cambiamento (\texttt{stx\_mtime}).\\
+    \constd{STATX\_CTIME} & Tempo di ultimo cambiamento (\texttt{stx\_ctime}).\\
     \constd{STATX\_INO}   & Numero di \textit{inode} (\texttt{stx\_ino}).\\
     \constd{STATX\_SIZE}  & Dimensione del file (\texttt{stx\_size}).\\
     \constd{STATX\_BLOCKS}& Numero di blocchi del file (\texttt{stx\_blocks}).\\
@@ -2557,29 +2557,18 @@ tab.~\ref{tab:statx_mask_const}.
   \label{tab:statx_mask_const}
 \end{table}
 
-Si tenga presente che il kernel accetta non richiede che \param{mask} contenga
-solo i flag di tab.~\ref{tab:statx_mask_const}, valori ulteriori in genere
-vengono usualmente ignorati ma non si può comunque indicare un valore
-qualunque in quanto alcuni bit sono riservati per future
-estensioni.\footnote{in particolare il bit \constd{STATX\_\_RESERVED} che se
-  usato causa il fallimento della funzione con un errore di \errval{EINVAL}.}
-Inoltre non è detto che tutte le informazioni richieste con \param{mask} siano
-disponibili, per questo il kernel restituisce in un opportuno campo della
-struttura \struct{statx}, \val{stx\_mask}, quali sono i dati effettivamente
-restituiti, che possono in alcuni casi essere anche di più di quelli richiesti
-(se l'informazione aggiuntiva è ottenuta senza costi ulteriori) per cui è
-normale che questo valore possa essere diverso da quanto richiesto.
-
-In particolare se un filesystem ha dei campi che non sono supportati o con
-valori che non hanno corrispondenza in un sistema unix-like, questi potranno
-essere restituiti con valori fittizi se disponibili (ad esempio gli \ids{UID}
-e \ids{GID} impostati in fase di montaggio per filesystem che non supportano
-gli utenti) ma il relativo bit in \val{stx\_mask} sarà comunque
-cancellato. Infine è possibile che campi diversi possano avere informazioni
-ottenute in momenti diversi per cui in caso di cambiamenti al file eseguiti in
-concorrenza a \func{statx} si possono ottenere campi con valori precedenti o
-posteriori il cambiamento.
-
+Si tenga presente che il kernel non richiede che \param{mask} contenga solo i
+flag di tab.~\ref{tab:statx_mask_const}, valori ulteriori in genere vengono
+ignorati ma non si può comunque indicare un valore qualunque in quanto alcuni
+bit sono riservati per future estensioni.\footnote{in particolare il bit
+  \constd{STATX\_\_RESERVED} che se usato causa il fallimento della funzione
+  con un errore di \errval{EINVAL}.}  Inoltre non è detto che tutte le
+informazioni richieste con \param{mask} siano disponibili, per questo il
+kernel restituisce in un opportuno campo della struttura \struct{statx},
+\var{stx\_mask}, quali sono i dati effettivamente restituiti, che possono in
+alcuni casi essere anche di più di quelli richiesti (se l'informazione
+aggiuntiva è ottenuta senza costi ulteriori) per cui è normale che questo
+valore possa essere diverso da quanto richiesto.
 
 \begin{figure}[!htb]
   \footnotesize
@@ -2593,28 +2582,260 @@ posteriori il cambiamento.
   \label{fig:file_statx_struct}
 \end{figure}
 
-
 Si è riportata in fig.~\ref{fig:file_statx_struct} la definizione della
-struttura \struct{statx} come presente in \headfile{sys/stat.h}.
+struttura \struct{statx} come presente in \headfile{sys/stat.h}; i campi
+\var{stx\_mode}, \var{stx\_nlink}, \var{stx\_uid}, \var{stx\_gid},
+\var{stx\_ino}, \var{stx\_size}, \var{stx\_blksize}, \var{stx\_blocks} sono
+identici agli analoghi (con prefisso \texttt{st\_}) dell'ordinaria struttura
+\struct{stat} illustrata in fig.~\ref{fig:file_stat_struct} e vale per essi
+quanto già detto in sez.~\ref{sec:file_stat} e seguenti.
 
+\begin{figure}[!htb]
+  \footnotesize
+  \centering
+  \begin{minipage}[c]{0.8\textwidth}
+    \includestruct{listati/statx_timestamp.h}
+  \end{minipage} 
+  \normalsize 
+  \caption{La struttura \structd{statx\_timestamp} per i tempi dei file con
+    \func{statx}. }
+  \label{fig:file_statx_timestamp_struct}
+\end{figure}
 
-% TODO: manca prototipo e motivazione di fexecve, da trattare qui in quanto
-% inserita nello stesso standard e da usare con openat, vedi 
-% http://pubs.opengroup.org/onlinepubs/9699939699/toc.pdf
+Anche i campi \var{stx\_atime}, \var{stx\_mtime}, \var{stx\_ctime} mantengono
+questa analogia, ma esprimono i tempi di ultimo accesso, modifica e
+cambiamento con una precisione ed estensione maggiore grazie all'uso di una
+struttura dedicata \struct{statx\_timestamp} (riportata in
+fig.~\ref{fig:file_statx_timestamp_struct}) che consente di estendere i tempi
+dei file ad una granularità del nanosecondo e con un valore dello \textit{unix
+  time} (vedi sez.~\ref{sec:sys_unix_time}) a 64 bit, che non darà problemi di
+overflow per parecchio tempo (sicuramente ben oltre la durata di questa
+guida).
+
+Oltre ai precedenti, e a \val{stx\_mask} che abbiamo già visto e che indica
+quali delle informazioni richieste alla funzione sono state fornite,
+\func{statx} prevede una serie di informazioni aggiuntive fornite in
+altrettanti nuovi campi, illustrati nell'elenco seguente. È comunque previsto
+che in futuro \struct{statx} venga estesa per supportare ulteriori
+informazioni.
+
+\begin{basedescript}{\desclabelwidth{1.6cm}\desclabelstyle{\nextlinelabel}}
+\item[\var{stx\_btime}] In questo campo viene restituito il \textsl{tempo di
+    creazione} del file. Come detto in sez.~\ref{sec:file_file_times} questo
+  tempo normalmente non esiste in un sistema \textit{unix-like}, ma per
+  migliorare l'interoperabilità è stato aggiunto nelle versioni più recenti di
+  vari filesystem (come XFS, \acr{ext4}, ecc.) in modo che possa essere
+  utilizzato da servizi di condivisione dei file (è usato da \textsl{Samba},
+  ed è previsto nello standard di NFSv4).
+\item[\var{stx\_attributes\_mask}] in questo campo viene restituita una
+  maschera che indica quali sono i bit restituiti in \var{stx\_attributes}
+  effettivamente supportati per il file, e per poter utilizzare quest'ultimo
+  occorre sempre eseguire un AND aritmetico con \var{stx\_attributes\_mask} per
+  ottenere i valori validi.
+\item[\var{stx\_attributes}] in questo campo vengono restituiti gli eventuali
+  attributi addizionali posseduti dal file. Gran parte di questi sono quelli
+  impostati con i comandi \cmd{lsattr} e \cmd{chattr} ed abbiamo già incontrato
+  alcuni di essi in sez.~\ref{sec:file_perm_overview}. Gli attributi vengono
+  restituiti in forma di maschera binaria con i valori delle costanti elencate
+  in tab.~\ref{tab:statx_stx_attributes}, dove si trova anche la relativa
+  descrizione.
+\begin{table}[htb]
+  \centering
+  \footnotesize
+  \begin{tabular}[c]{|l|p{8cm}|}
+    \hline
+    \textbf{Costante} & \textbf{Significato} \\
+    \hline
+    \hline
+    \constd{STATX\_ATTR\_COMPRESSED}& Il file è compresso automaticamente dal
+                                      filesystem (quindi può richiedere un
+                                      maggior uso di risorse in caso di
+                                      accesso).\\
+    \constd{STATX\_ATTR\_IMMUTABLE} & Il file è marcato come
+                                      \textit{immutable} e non può essere
+                                      modificato in nessun modo (vedi
+                                      sez.~\ref{sec:file_perm_overview}).\\
+    \constd{STATX\_ATTR\_APPEND}    & Il file è marcato come
+                                      \textit{append-only} e può essere
+                                      soltanto esteso in \textit{append} (vedi
+                                      sez.~\ref{sec:file_perm_overview}).\\
+    \constd{STATX\_ATTR\_NODUMP}    & Il file è marcato per essere escluso da
+                                      eventuali backup a livello di filesystem
+                                      come quelli eseguiti con il comando
+                                      \cmd{dump}.\\
+    \constd{STATX\_ATTR\_ENCRYPTED} & Il file è cifrato sul filesystem ed è
+                                      necessaria una chiave di accesso per
+                                      decifrarne il contenuto.\\
+    \constd{STATX\_ATTR\_AUTOMOUNT} & Il file, in questo caso in genere una
+                                      directory, è marcata come punto di
+                                      innesco per un \textit{automount}.\\
+    \hline
+  \end{tabular}
+  \caption{Le costanti degli attributi addizionali restituiti in
+    \var{stx\_attributes}.} 
+  \label{tab:statx_stx_attributes}
+\end{table}
 
-% TODO manca prototipo di execveat, introdotta nel 3.19, vedi
-% https://lwn.net/Articles/626150/ cerca anche fexecve
+\item[\var{stx\_rdev\_major}, \var{stx\_rdev\_minor}] in questi campi vengono
+  restituiti rispettivamente \textit{major number} e \textit{minor number} del
+  file quando questo è un file di dispositivo (fanno le veci del campo
+  \var{st\_rdev} di \struct{stat}).
+
+\item[\var{stx\_dev\_major}, \var{stx\_dev\_minor}] in questi campi vengono
+  restituiti \textit{major number} e \textit{minor number} del dispositivo su
+  cui risiede il file (fanno le veci del campo \var{st\_dev} di \struct{stat}).
+\end{basedescript}
 
-% TODO: manca prototipo e motivazione di execveat, vedi
-% http://man7.org/linux/man-pages/man2/execveat.2.html 
+Di questi campi \var{stx\_mode}, \var{stx\_nlink}, \var{stx\_uid},
+\var{stx\_gid}, \var{stx\_ino}, \var{stx\_size} e \var{stx\_blocks} e quelli
+relativi ai tempi ordinari dei file vengono sempre restituiti, ed il relativo
+valore in \struct{statx} sovrascritto, indipendentemente dal fatto che siano
+stati richiesti o no, con \var{stx\_mask} che indicherà quali sono quelli che
+hanno valori effettivamente validi.
+
+Se un filesystem ha dei campi che non esistono o hanno valori senza
+corrispondenza in un sistema unix-like, questi potranno essere restituiti con
+valori fittizi ricostruiti, ad esempio usando \ids{UID} e \ids{GID} impostati
+in fase di montaggio per un filesystem che non supporta gli utenti; in questi
+casi il relativo bit in \var{stx\_mask} sarà comunque cancellato. In caso di
+cambiamenti al file eseguiti in concorrenza a \func{statx} è possibile che
+campi diversi possano avere informazioni ottenute in momenti diversi, con
+valori precedenti o posteriori il cambiamento. Inoltre, se non richiesti
+esplicitamente, alcuni campi possono avere valori approssimati, ad esempio in
+caso di NFS, questi non vengono mai aggiornati dallo stato sul server remoto.
+
+Il campo \var{stx\_btime} viene restituito solo se richiesto, e si otterrà un
+valore nullo (ed il relativo bit in \var{stx\_mask} cancellato) se questo non
+esiste. Lo stesso vale nel caso si siano richiesti \var{stx\_rdev\_major} o
+\var{stx\_rdev\_minor} ed il file non è un file di dispositivo. I campi
+\var{stx\_dev\_major}, \var{stx\_dev\_minor} e \var{stx\_blksize} attengono
+ad informazioni locali, e sono sempre disponibili in maniera diretta.
+
+% NOTE: per statx https://lwn.net/Articles/707602/ e
+% https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=a528d35e8bfcc521d7cb70aaf03e1bd296c8493f)
+
+Infine trattiamo qui altre due funzioni, \func{fexecve} e \func{execveat}, che
+non attengono che in maniera indiretta all'uso dei file, ma sono comunque
+legate all'interfaccia delle \textit{at-functions}. In realtà la sola
+effettivamente collegata all'interfaccia delle \textit{at-functions} è la
+funzione di sistema \func{execveat}, introdotta con il kernel 3.19, e per la
+quale non è disponibile ancora un'interfaccia diretta nella \acr{glibc} che
+però la usa (quando disponibile) per realizzare \func{fexecve}.
+
+L'introduzione di queste funzioni nasce dall'esigenza di verificare i
+contenuti di un file eseguibile prima di eseguirlo. Fare il controllo (aprendo
+il file e verificandone il contenuto) e poi eseguirlo con \func{execve} è
+suscettibile alla possibilità che fra il controllo e l'esecuzione il nome del
+file o di una directory sovrastante venga cambiato.
+
+Per mitigare il problema nello standard POSIX.1-2008 è stata introdotta la
+funzione \funcd{fexecve} che consente di eseguire un programma usando un file
+descriptor al posto di un \textit{pathname}; il suo prototipo è:
+
+\begin{funcproto}{
+\fhead{unistd.h}
+\fdecl{int fexecve(int fd, char *const argv[], char *const envp[])}
+\fdesc{Esegue un programma da un file descriptor.}
+}
 
+{La funzione non ritorna in caso di successo e ritorna $-1$ per un errore,
+  nel qual caso \var{errno} assumerà uno dei valori:
+  \begin{errlist}
+  \item[\errcode{EINVAL}] \param{fd} non è un file descriptor, o \param{argv}
+    o  \param{envp} sono \val{NULL}.
+  \item[\errcode{ENOSYS}] il filesystem \file{proc} non è disponibile (prima
+    del kernel 3.19).   
+  \end{errlist}
+  oltre a tutti gli errori già visti per \func{execve}.}
+\end{funcproto}
+
+La funzione esegue il programma contenuto nel file (su cui il chiamante deve
+avere il permesso di esecuzione) corrispondente a \param{fd}; questo deve
+essere stato ottenuto aprendo il relativo eseguibile in sola lettura o con
+\const{O\_PATH}. Questa funzione fino al kernel 3.19 veniva realizzata nella
+\acr{glibc} usando il filesystem \file{/proc} per ottenere da \param{fd} il
+file corrispondente in \file{/proc/self/fd/}, in maniera analoga a quanto
+visto per l'esempio di fig.~\ref{fig:initfile}.
+
+La funzione di sistema \funcd{execveat} è stata introdotta proprio per rendere
+più sicura l'esecuzione ed evitare la necessità di avere disponibile
+\file{/proc} per poter usare \func{fexecve}, il suo prototipo è:
+
+\begin{funcproto}{
+\fhead{unistd.h}
+\fdecl{int execveat(int dirfd, const char *pathname, char *const argv[], \\
+\phantom{int execveat(}char *const envp[], int flags)}
+\fdesc{Esegue un programma relativo ad una directory.} 
+}
 
-Infine trattiamo qui altre due funzioni che non attengono che in maniera
-indiretta all'uso dei file, ma sono comunque legate alla stessa interfaccia
-delle \textit{at-functions} per quanto riguarda l'accesso ad un file.
+{La funzione non ritorna in caso di successo e ritorna $-1$ per un errore, nel
+  qual caso \var{errno} assumerà, inoltre tutti gli errori già visti per
+  \func{execve}, uno dei valori:
+  \begin{errlist}
+    \item[\errcode{EBADF}] \param{fd} non è un file descriptor valido.
+    \item[\errcode{EINVAL}] \param{flags} non ha un valore valido.
+    \item[\errcode{ELOOP}] si è usato \const{AT\_SYMLINK\_NOFOLLOW} in 
+      \param{flags} ma il file indicato è un link simbolico.
+    \item[\errcode{ENOENT}] il programma di cui si è richiesta l'esecuzione è
+      uno script, ma \func{dirfd} è aperto con il flag di
+      \textit{close-on-exec} e pertanto il programma non sarebbe accessibile
+      all'interprete.
+  \end{errlist}
+}
+\end{funcproto}
 
+La funzione segue la sintassi delle \textit{at-functions} per indicare il file
+da eseguire, e per il resto si comporta esattamente con come \func{execve} (le
+cui caratteristiche sono già state illustrate in
+sez.~\ref{sec:proc_exec}). Diventa così possibile indicare il programma da
+eseguire sia con un \textit{pathname} assoluto che relativo (usando
+\const{AT\_FDCWD} come \param{dirfd}), oppure con un \textit{pathname}
+relativo alla directory indicata da \param{dirfd}. In quest'ultima forma l'uso
+della funzione consente estendere i vantaggi delle \textit{at-functions} anche
+al caso dell'esecuzione di un programma.
+
+Inoltre usando, per \param{flags} il valore \const{AT\_EMPTY\_PATH}, si può
+indicare direttamente il file da eseguire aprendolo e passandone il file
+descriptor nell'argomento \param{dirfd}, ottenendo il comportamento di
+\func{fexecve}; quest'ultima infatti è sostanzialmente equivalente
+all'esecuzione di:
+\includecodesnip{listati/fexecve.c}
+l'unico altro valore utilizzabile per \param{flags} è
+\const{AT\_SYMLINK\_NOFOLLOW}, che fa fallire la funzione con un errore di
+\errval{ELOOP} se il file indicato è un link simbolico.
+
+Quando si usano \func{execveat} o \func{fexecve} per eseguire un programma
+attraverso un file descriptor è naturale impostare sullo stesso il flag di
+\textit{close-on-exec} in modo che questo venga automaticamente chiuso
+all'esecuzione. Questo evita di lasciare aperto inutilmente un file descriptor
+(un programma in genere non ha bisogno di avere un file aperto su se stesso),
+ma soprattutto evita problemi in caso di un eventuale uso ricorsivo di queste
+funzioni, in tal caso infatti, restando aperto ad ogni iterazione un ulteriore
+file descriptor, si potrebbe arrivare all'esaurimento degli stessi.
+
+Tutto questo però non è vero quando si vuole eseguire uno script; in tal caso
+infatti (si ricordi quanto detto a questo riguardo in
+sez.~\ref{sec:proc_exec}) il programma che viene effettivamente messo in
+esecuzione è l'interprete indicato nella riga iniziale dello script, che poi
+legge ed interpreta il codice da eseguire dallo script stesso. Ma se lancia lo
+script usando un file descriptor su cui è attivo il flag di
+\textit{close-on-exec}, questo sarà già chiuso quando l'interprete viene posto
+in esecuzione, rendendo impossibile la lettura del programma da
+interpretare.
+
+Per questo motivo, quando ci si trova in questa situazione, \func{execveat} (e
+quindi anche \func{fexecve}) eseguono un controllo preventivo e falliscono con
+un errore di \errval{ENOENT}. Pertanto se si vuole eseguire uno script
+passandone il file descriptor l'unica possibilità è non attivare il flag di
+\textit{close-on-exec}, esponendosi però al rischio di incorrere nei problemi
+accennati in precedenza.
 
+% TODO: manca prototipo e motivazione di fexecve, da trattare qui in quanto
+% inserita nello stesso standard e da usare con openat, vedi 
+% http://pubs.opengroup.org/onlinepubs/9699939699/toc.pdf
 
+% TODO manca prototipo di execveat, introdotta nel 3.19, vedi
+% https://lwn.net/Articles/626150/ cerca anche fexecve
 
 
 % TODO: trattare i nuovi AT_flags quando e se arriveranno, vedi
@@ -2654,9 +2875,11 @@ prototipo è:
 {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,
-  l'unico valido in generale è:
+  gli unici con signifiato generico sono:
   \begin{errlist}
   \item[\errcode{EBADF}] \param{fd} non è un file aperto.
+  \item[\errcode{EINVAL}] \param{cmd} non è un comando supportato dal kernel
+    corrente.
   \end{errlist}
 }  
 \end{funcproto}
@@ -2684,8 +2907,6 @@ 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[\constd{F\_DUPFD\_CLOEXEC}] ha lo stesso effetto di \const{F\_DUPFD}, ma
   in più attiva il flag di \textit{close-on-exec} sul file descriptor
   duplicato, in modo da evitare una successiva chiamata con
@@ -2695,24 +2916,23 @@ il nome indicato nel precedente prototipo), è riportata di seguito:
   sez.~\ref{sec:intro_gcc_glibc_std}).
 
 \item[\constd{F\_GETFD}] restituisce il valore dei \textit{file descriptor
-    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
-  \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.
+    flags} (vedi sez.~\ref{sec:file_shared_access}) 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 \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[\constd{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
-  \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}
+  (vedi sez.~\ref{sec:file_shared_access}) 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 \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.}
 
 \item[\constd{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
@@ -5000,13 +5220,17 @@ con uno dei valori \const{FSETLOCKING\_INTERNAL} o
 % LocalWords:  ENXIO  NONBLOCK WRONLY EPERM NOATIME ETXTBSY EWOULDBLOCK PGRP SZ
 % LocalWords:  EFAULT capabilities GETPIPE SETPIPE RESOURCE NFSv InitFile stx
 % LocalWords:  Documentation Urlich Drepper futimesat times FullWrite major
-% LocalWords:  futimens fs Tread TMPFILE EDQUOT extN Minix UDF XFS mask
+% LocalWords:  futimens fs Tread TMPFILE EDQUOT extN Minix UDF XFS mask all'
 % LocalWords:  shmem Btrfs ubifs tmpfile fchmod fchown fsetxattr fchdir PF
-% LocalWords:  fstatfs SIGTTIN EDESTADDRREQ datagram connect seal pag
+% LocalWords:  fstatfs SIGTTIN EDESTADDRREQ datagram connect seal pag l'I INO
 % LocalWords:  dirty execveat execve scandirat statx AUTOMOUNT automount DAC
-% LocalWords:  wrapper EMPTY olddirfd oldpath newdirfd newpath capability
+% 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
+% 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
 
 %%% Local Variables: 
 %%% mode: latex