Rinominati app_a e app_b

[gapil.git] / prochand.tex

diff --git a/prochand.tex b/prochand.tex
index e43caa970b166af4e26da74b68bc55e3dcfe2c9f..72fcc78465a6c5d57d9da2b07afbaf38adfe4245 100644 (file)
--- a/prochand.tex
+++ b/prochand.tex
@@ -41,9 +41,9 @@ arriva a 32767) oltre il quale si riparte dal numero pi
 (FIXME: verificare, non sono sicuro).  Per questo motivo processo il processo
 di avvio (init) ha sempre il pid uguale a uno.
 
-Ogni processo è identificato univocamente dal sistema per il suo
-pid; quest'ultimo è un apposito tipo di dato, il \texttt{pid\_t} che in
-genere è un intero con segno (nel caso di Linux e delle glibc il tipo usato è
+Ogni processo è identificato univocamente dal sistema per il suo pid;
+quest'ultimo è un tipo di dato standard, il \texttt{pid\_t} che in genere è un
+intero con segno (nel caso di Linux e delle glibc il tipo usato è
 \texttt{int}.
 
 Tutti i processi inoltre portano traccia del pid del genitore, chiamato in
@@ -132,6 +132,8 @@ viene eseguito dal padre o dal figlio.
 \label{sec:prochand_exec}
 
 
+
+
 \section{Il controllo di accesso}
 \label{sec:prochand_perms}