(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
\label{sec:prochand_exec}
+
+
\section{Il controllo di accesso}
\label{sec:prochand_perms}
\subsection{Le funzioni \texttt{seteuid} e \texttt{setegid}}
-\label{sec:prochand_setuid}
+\label{sec:prochand_seteuid}