Correzioni minime per tutti i file.

[gapil.git] / prochand.tex

diff --git a/prochand.tex b/prochand.tex
index 390b072421612d0dfc58ab281037f65ccd7f9768..40a880dddf5c867c205a0110c2d868812d32e9dc 100644 (file)
--- a/prochand.tex
+++ b/prochand.tex
@@ -12,7 +12,7 @@ funzioni a questo connesse.
 
 
 \section{Una panoramica sui concetti base}
-\label{sec:proc_gen}
+\label{sec:prochand_gen}
 
 Una delle caratteristiche essenziali di unix (che esamineremo in dettaglio più
 avanti) è che ogni processo può a sua volta generare altri processi figli
@@ -31,7 +31,7 @@ questo caso c'
 
 
 \section{Gli identificatori dei processi}
-\label{sec:proc_id}
+\label{sec:prochand_id}
 
 Ogni processo viene identificato dal sistema da un numero identificativo
 unico, il \textit{process id} o \textit{pid}. Questo viene assegnato in forma
@@ -62,7 +62,7 @@ gli header files \texttt{unistd.h} e \texttt{sys/types.h}).
 
 
 \section{Il controllo dei processi}
-\label{sec:proc_control}
+\label{sec:prochand_control}
 
 Esamineremo in questa sezione le varie funzioni per il controllo dei processi:
 la lore creazione, la terminazione, l'esecuzione di altri programmi. Prima di
@@ -70,7 +70,7 @@ trattare in dettaglio le singole funzioni, faremo un'introduzione generale ai
 contetti che stanno alla base della gestione dei processi in unix.
 
 \subsection{Una panoramica}
-\label{sec:proc_control_overview}
+\label{sec:prochand_control_overview}
 
 I processi vengono creati dalla funzione \texttt{fork}; in genere questa è una
 system call, ma linux però usa un'altra nomenclatura, e la funzione fork è
@@ -113,7 +113,7 @@ non ritorna mai (in quanto con essa viene eseguito un altro programma).
 
 
 \subsection{La funzione \texttt{fork}}
-\label{sec:proc_fork}
+\label{sec:prochand_fork}
 
 
 Dopo l'esecuzione di una fork sia il processo padre che il processo figlio
@@ -127,29 +127,22 @@ viene eseguito dal padre o dal figlio.
 
 
 \subsection{Le funzioni \texttt{wait} e  \texttt{waitpid}}
-\label{sec:proc_wait}
+\label{sec:prochand_wait}
 
 \subsection{Le funzioni \texttt{exec}}
-\label{sec:proc_exec}
-
-
-
-
+\label{sec:prochand_exec}
 
 
 \section{Il controllo di accesso}
-\label{sec:process_perms}
+\label{sec:prochand_perms}
 
 Va messo qui tutta la storia su effective, real, saved uid, e pure le cose di
 linux come il filesystem uid.
 
-
 \subsection{Le funzioni \texttt{setuid} e \texttt{setgid}}
-\label{sec:proc_setuid}
+\label{sec:prochand_setuid}
 
 
 \subsection{Le funzioni \texttt{seteuid} e \texttt{setegid}}
-\label{sec:proc_setuid}
-
-
+\label{sec:prochand_setuid}