Piccole correzioni e revisione di epoll e signalfd.

[gapil.git] / process.tex

diff --git a/process.tex b/process.tex
index e99d198b5d722e9cbaab8cc67b03dfd9ca49ef55..9d1916f6eecce3af2871bbfbe1d842b7f578f42c 100644 (file)
--- a/process.tex
+++ b/process.tex
@@ -1,6 +1,6 @@
 %% process.tex
 %%
 %% process.tex
 %%

-%% Copyright (C) 2000-2012 Simone Piccardi.  Permission is granted to
+%% Copyright (C) 2000-2014 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",
 %% 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",


@@ -482,7 +482,7 @@ registrare un certo numero di funzioni che verranno eseguite all'uscita dal
 programma,\footnote{nel caso di \func{atexit} lo standard POSIX.1-2001
   richiede che siano registrabili almeno \const{ATEXIT\_MAX} funzioni (il
   valore può essere ottenuto con \func{sysconf}, vedi
 programma,\footnote{nel caso di \func{atexit} lo standard POSIX.1-2001
   richiede che siano registrabili almeno \const{ATEXIT\_MAX} funzioni (il
   valore può essere ottenuto con \func{sysconf}, vedi

-  sez.~\ref{sec:sys_sysconf}).} sia per la chiamata ad \func{exit} che per il
+  sez.~\ref{sec:sys_limits}).} sia per la chiamata ad \func{exit} che per il

 ritorno di \code{main}. La prima funzione che si può utilizzare a tal fine è
 \funcd{atexit}, il cui prototipo è:
 
 ritorno di \code{main}. La prima funzione che si può utilizzare a tal fine è
 \funcd{atexit}, il cui prototipo è:
 


@@ -656,13 +656,13 @@ necessariamente adiacenti.
 Per la gestione da parte del kernel la memoria viene divisa in pagine di
 dimensione fissa. Inizialmente queste pagine erano di 4kb sulle macchine a 32
 bit e di 8kb sulle alpha. Con le versioni più recenti del kernel è possibile
 Per la gestione da parte del kernel la memoria viene divisa in pagine di
 dimensione fissa. Inizialmente queste pagine erano di 4kb sulle macchine a 32
 bit e di 8kb sulle alpha. Con le versioni più recenti del kernel è possibile

-anche utilizzare pagine di dimensioni maggiori (di 4Mb, dette \textit{huge
-  page}), per sistemi con grandi quantitativi di memoria in cui l'uso di
-pagine troppo piccole comporta una perdita di prestazioni. In alcuni sistemi
-la costante \const{PAGE\_SIZE}, definita in \headfile{limits.h}, indica la
-dimensione di una pagina in byte, con Linux questo non avviene e per ottenere
-questa dimensione si deve ricorrere alla funzione \func{getpagesize} (vedi
-sez.~\ref{sec:sys_memory_res}).
+anche utilizzare pagine di dimensioni maggiori (di 4Mb, dette
+\itindex{huge~page} \textit{huge page}), per sistemi con grandi quantitativi
+di memoria in cui l'uso di pagine troppo piccole comporta una perdita di
+prestazioni. In alcuni sistemi la costante \const{PAGE\_SIZE}, definita in
+\headfile{limits.h}, indica la dimensione di una pagina in byte, con Linux
+questo non avviene e per ottenere questa dimensione si deve ricorrere alla
+funzione \func{getpagesize} (vedi sez.~\ref{sec:sys_memory_res}).

 
 Ciascuna pagina di memoria nello spazio di indirizzi virtuale è associata ad
 un supporto che può essere una pagina di memoria reale o ad un dispositivo di
 
 Ciascuna pagina di memoria nello spazio di indirizzi virtuale è associata ad
 un supporto che può essere una pagina di memoria reale o ad un dispositivo di


@@ -737,7 +737,7 @@ accedere.  Solitamente un programma C viene suddiviso nei seguenti segmenti:
   Contiene il codice del programma, delle funzioni di librerie da esso
   utilizzate, e le costanti.  Normalmente viene condiviso fra tutti i processi
   che eseguono lo stesso programma e nel caso delle librerie anche da processi
   Contiene il codice del programma, delle funzioni di librerie da esso
   utilizzate, e le costanti.  Normalmente viene condiviso fra tutti i processi
   che eseguono lo stesso programma e nel caso delle librerie anche da processi

-  che eseguono altri programmi.  
+  che eseguono altri programmi.

 
   Quando l'architettura hardware lo supporta viene marcato in sola lettura per
   evitare sovrascritture accidentali (o maliziose) che ne modifichino le
 
   Quando l'architettura hardware lo supporta viene marcato in sola lettura per
   evitare sovrascritture accidentali (o maliziose) che ne modifichino le


@@ -1018,7 +1018,7 @@ come quello dei \itindex{double~free} \textit{double~free} o i
 \begin{itemize*}
 \item se la variabile è posta a $0$ gli errori vengono ignorati;
 \item se la variabile è posta a $1$ viene stampato un avviso sullo
 \begin{itemize*}
 \item se la variabile è posta a $0$ gli errori vengono ignorati;
 \item se la variabile è posta a $1$ viene stampato un avviso sullo

-  \textit{standard error} (vedi sez.~\ref{sec:file_std_stream});
+  \textit{standard error} (vedi sez.~\ref{sec:file_fd});

 \item se la variabile è posta a $2$ viene chiamata la funzione \func{abort}
   (vedi sez.~\ref{sec:sig_alarm_abort}), che in genere causa l'immediata
   terminazione del programma;
 \item se la variabile è posta a $2$ viene chiamata la funzione \func{abort}
   (vedi sez.~\ref{sec:sig_alarm_abort}), che in genere causa l'immediata
   terminazione del programma;


@@ -1616,20 +1616,20 @@ tipologia di errore riscontrata.
     \textbf{Valore} & \textbf{Significato} \\
     \hline
     \hline
     \textbf{Valore} & \textbf{Significato} \\
     \hline
     \hline

-    \const{MCHECK\_OK}      & riportato a \func{mprobe} se nessuna
+    \const{MCHECK\_OK}      & Riportato a \func{mprobe} se nessuna

                               inconsistenza è presente.\\
                               inconsistenza è presente.\\

-    \const{MCHECK\_DISABLED}& riportato a \func{mprobe} se si è chiamata
+    \const{MCHECK\_DISABLED}& Riportato a \func{mprobe} se si è chiamata

                               \func{mcheck} dopo aver già usato
                               \func{malloc}.\\
                               \func{mcheck} dopo aver già usato
                               \func{malloc}.\\

-    \const{MCHECK\_HEAD}    & i dati immediatamente precedenti il buffer sono
+    \const{MCHECK\_HEAD}    & I dati immediatamente precedenti il buffer sono

                               stati modificati, avviene in genere quando si
                               decrementa eccessivamente il valore di un
                               puntatore scrivendo poi prima dell'inizio del
                               buffer.\\
                               stati modificati, avviene in genere quando si
                               decrementa eccessivamente il valore di un
                               puntatore scrivendo poi prima dell'inizio del
                               buffer.\\

-    \const{MCHECK\_TAIL}    & i dati immediatamente seguenti il buffer sono
+    \const{MCHECK\_TAIL}    & I dati immediatamente seguenti il buffer sono

                               stati modificati, succede quando si va scrivere
                               oltre la dimensione corretta del buffer.\\
                               stati modificati, succede quando si va scrivere
                               oltre la dimensione corretta del buffer.\\

-    \const{MCHECK\_FREE}    & il buffer è già stato disallocato.\\
+    \const{MCHECK\_FREE}    & Il buffer è già stato disallocato.\\

     \hline
   \end{tabular}
   \caption{Valori dello stato dell'allocazione di memoria ottenibili dalla
     \hline
   \end{tabular}
   \caption{Valori dello stato dell'allocazione di memoria ottenibili dalla


@@ -1831,8 +1831,9 @@ possibili si è poi provveduto ad un'azione opportuna, ad esempio per le tre
 opzioni che prevedono un parametro si è effettuata la decodifica del medesimo,
 il cui indirizzo è contenuto nella variabile \var{optarg}), avvalorando la
 relativa variabile (\texttt{\small 12-14}, \texttt{\small 15-17} e
 opzioni che prevedono un parametro si è effettuata la decodifica del medesimo,
 il cui indirizzo è contenuto nella variabile \var{optarg}), avvalorando la
 relativa variabile (\texttt{\small 12-14}, \texttt{\small 15-17} e

-\texttt{\small 18-20}). Completato il ciclo troveremo in \var{optind} l'indice
-in \code{argv[]} del primo degli argomenti rimanenti nella linea di comando.
+\texttt{\small 18-20}). Completato il ciclo troveremo in \var{optind}
+l'indice in \code{argv[]} del primo degli argomenti rimanenti nella linea di
+comando.

 
 Normalmente \func{getopt} compie una permutazione degli elementi di
 \param{argv} cosicché alla fine della scansione gli elementi che non sono
 
 Normalmente \func{getopt} compie una permutazione degli elementi di
 \param{argv} cosicché alla fine della scansione gli elementi che non sono


@@ -1966,22 +1967,22 @@ queste ed ulteriori variabili si può ottenere con il comando \cmd{man 7
     & \textbf{Linux} & \textbf{Descrizione} \\
     \hline
     \hline
     & \textbf{Linux} & \textbf{Descrizione} \\
     \hline
     \hline

-    \texttt{USER}   &$\bullet$&$\bullet$&$\bullet$& Nome utente\\
-    \texttt{LOGNAME}&$\bullet$&$\bullet$&$\bullet$& Nome di login\\
+    \texttt{USER}   &$\bullet$&$\bullet$&$\bullet$& Nome utente.\\
+    \texttt{LOGNAME}&$\bullet$&$\bullet$&$\bullet$& Nome di login.\\

     \texttt{HOME}   &$\bullet$&$\bullet$&$\bullet$& Directory base
     \texttt{HOME}   &$\bullet$&$\bullet$&$\bullet$& Directory base

-                                                    dell'utente\\
-    \texttt{LANG}   &$\bullet$&$\bullet$&$\bullet$& Localizzazione\\
+                                                    dell'utente.\\
+    \texttt{LANG}   &$\bullet$&$\bullet$&$\bullet$& Localizzazione.\\

     \texttt{PATH}   &$\bullet$&$\bullet$&$\bullet$& Elenco delle directory
     \texttt{PATH}   &$\bullet$&$\bullet$&$\bullet$& Elenco delle directory

-                                                    dei programmi\\
-    \texttt{PWD}    &$\bullet$&$\bullet$&$\bullet$& Directory corrente\\
-    \texttt{SHELL}  &$\bullet$&$\bullet$&$\bullet$& Shell in uso\\
-    \texttt{TERM}   &$\bullet$&$\bullet$&$\bullet$& Tipo di terminale\\
+                                                    dei programmi.\\
+    \texttt{PWD}    &$\bullet$&$\bullet$&$\bullet$& Directory corrente.\\
+    \texttt{SHELL}  &$\bullet$&$\bullet$&$\bullet$& Shell in uso.\\
+    \texttt{TERM}   &$\bullet$&$\bullet$&$\bullet$& Tipo di terminale.\\

     \texttt{PAGER}  &$\bullet$&$\bullet$&$\bullet$& Programma per vedere i
     \texttt{PAGER}  &$\bullet$&$\bullet$&$\bullet$& Programma per vedere i

-                                                    testi\\
-    \texttt{EDITOR} &$\bullet$&$\bullet$&$\bullet$& Editor preferito\\
-    \texttt{BROWSER}&$\bullet$&$\bullet$&$\bullet$& Browser preferito\\
+                                                    testi.\\
+    \texttt{EDITOR} &$\bullet$&$\bullet$&$\bullet$& Editor preferito.\\
+    \texttt{BROWSER}&$\bullet$&$\bullet$&$\bullet$& Browser preferito.\\

     \texttt{TMPDIR} &$\bullet$&$\bullet$&$\bullet$& Directory dei file
     \texttt{TMPDIR} &$\bullet$&$\bullet$&$\bullet$& Directory dei file

-                                                    temporanei\\
+                                                    temporanei.\\

     \hline
   \end{tabular}
   \caption{Esempi delle variabili di ambiente più comuni definite da vari
     \hline
   \end{tabular}
   \caption{Esempi delle variabili di ambiente più comuni definite da vari


@@ -2205,6 +2206,10 @@ versione ``\textsl{sicura}'' da zero.
 
 % TODO opzioni in formato esteso
 
 
 % TODO opzioni in formato esteso
 

+% TODO trattare il vettore ausiliario e getauxval (vedi
+% http://lwn.net/Articles/519085/)
+
+

 \section{Problematiche di programmazione generica}
 \label{sec:proc_gen_prog}
 
 \section{Problematiche di programmazione generica}
 \label{sec:proc_gen_prog}
 


@@ -2694,30 +2699,26 @@ una variabile per poi ristamparne il contenuto leggendolo un byte alla volta.
 Il codice di detto programma, \file{endtest.c}, è nei sorgenti allegati,
 allora se lo eseguiamo su un normale PC compatibile, che è \textit{little
   endian} otterremo qualcosa del tipo:
 Il codice di detto programma, \file{endtest.c}, è nei sorgenti allegati,
 allora se lo eseguiamo su un normale PC compatibile, che è \textit{little
   endian} otterremo qualcosa del tipo:

-\begin{Command}
-[piccardi@gont sources]$ ./endtest
-\end{Command}
-%$
-\begin{Terminal}
+\begin{Console}
+[piccardi@gont sources]$ \textbf{./endtest}

 Using value ABCDEF01
 val[0]= 1
 val[1]=EF
 val[2]=CD
 val[3]=AB
 Using value ABCDEF01
 val[0]= 1
 val[1]=EF
 val[2]=CD
 val[3]=AB

-\end{Terminal}
+\end{Console}
+%$

 mentre su un vecchio Macintosh con PowerPC, che è \textit{big endian} avremo
 qualcosa del tipo:
 mentre su un vecchio Macintosh con PowerPC, che è \textit{big endian} avremo
 qualcosa del tipo:

-\begin{Command}
-piccardi@anarres:~/gapil/sources$ ./endtest
-\end{Command}
-%$
-\begin{Terminal}
+\begin{Console}
+piccardi@anarres:~/gapil/sources$ \textbf{./endtest}

 Using value ABCDEF01
 val[0]=AB
 val[1]=CD
 val[2]=EF
 val[3]= 1
 Using value ABCDEF01
 val[0]=AB
 val[1]=CD
 val[2]=EF
 val[3]= 1

-\end{Terminal}
+\end{Console}
+%$

 
 L'attenzione alla \textit{endianness} nella programmazione è importante, perché
 se si fanno assunzioni relative alla propria architettura non è detto che
 
 L'attenzione alla \textit{endianness} nella programmazione è importante, perché
 se si fanno assunzioni relative alla propria architettura non è detto che


@@ -2801,7 +2802,7 @@ basterà scegliere una volta per tutte quale usare e attenersi alla scelta.
 % LocalWords:  capability MEMLOCK limits getpagesize RLIMIT munlock sys const
 % LocalWords:  addr len EINVAL EPERM mlockall munlockall flags l'OR CURRENT IFS
 % LocalWords:  argc argv parsing questofile txt getopt optstring switch optarg
 % LocalWords:  capability MEMLOCK limits getpagesize RLIMIT munlock sys const
 % LocalWords:  addr len EINVAL EPERM mlockall munlockall flags l'OR CURRENT IFS
 % LocalWords:  argc argv parsing questofile txt getopt optstring switch optarg

-% LocalWords:  optind opterr optopt ForkTest POSIXLY CORRECT long options NdA
+% LocalWords:  optind opterr optopt POSIXLY CORRECT long options NdA

 % LocalWords:  option parameter list environ PATH HOME XPG tab LOGNAME LANG PWD
 % LocalWords:  TERM PAGER TMPDIR getenv name SVr setenv unsetenv putenv opz gcc
 % LocalWords:  clearenv libc value overwrite string reference result argument
 % LocalWords:  option parameter list environ PATH HOME XPG tab LOGNAME LANG PWD
 % LocalWords:  TERM PAGER TMPDIR getenv name SVr setenv unsetenv putenv opz gcc
 % LocalWords:  clearenv libc value overwrite string reference result argument