Aggiustate le referenze e data una rilettura con qualche correzione.

[gapil.git] / intro.tex

diff --git a/intro.tex b/intro.tex
index deef466b52c9ff4c8076bd18ed93dd0887d4ea86..471eada313d6a3b91e2c8aa2eacb9169f4acf189 100644 (file)
--- a/intro.tex
+++ b/intro.tex
@@ -44,7 +44,7 @@ o alle porte di input/output).
 
 Una parte del kernel, lo \textit{scheduler}, si occupa di stabilire, ad
 intervalli fissi e sulla base di un opportuno calcolo delle priorità, quale
-``processo'' (vedi \ref{cha:process}) deve essere posto in esecuzione (il
+``processo'' (vedi Cap.~\ref{cha:process}) deve essere posto in esecuzione (il
 cosidetto \textit{prehemptive scheduling}), e questo verrà comunque eseguito
 in modelità protetta; quando necessario il processo potrà accedere alle
 risorse hardware soltanto attraverso delle opportune chiamate al sistema
@@ -60,12 +60,12 @@ necessario le pagine di memoria in eccedenza.
 
 Le periferiche infine vengono viste in genere attraverso un'interfaccia
 astratta che permette di trattarle come fossero file. secondo il concetto per
-cui \textit{everything is a file}, vedi \ref{cha:files_intro}, (questo non è
-vero per le interfacce di rete, ma resta valido il concetto generale che tutto
-il lavoro di accesso e gestione a basso livello è effettuato dal kernel),
-mentre ai programmi vengono fornite solo delle routine di interfacciamento;
-essendo l'argomento principale di cui tratteremo, di esse parleremo in
-abbondanza nei capitoli successivi.
+cui \textit{everything is a file}, vedi Cap.~\ref{cha:files_intro}, (questo
+non è vero per le interfacce di rete, ma resta valido il concetto generale che
+tutto il lavoro di accesso e gestione a basso livello è effettuato dal
+kernel), mentre ai programmi vengono fornite solo delle routine di
+interfacciamento; essendo l'argomento principale di cui tratteremo, di esse
+parleremo in abbondanza nei capitoli successivi.
 
 
 \section{User space e kernel space}
@@ -76,8 +76,8 @@ essenziale fra il cosiddetto \textit{user space}, che contraddistingue
 l'ambiente in cui vengono eseguiti i programmi, e il \textit{kernel space} che
 é l'ambiente in cui viene eseguito il kernel. Ogni programma gira come se
 avesse la piena disponibilità della macchina e della memoria ed è, salvo i
-meccanismi di comunicazione previsti dall'architettura (che esamineremo in
-\ref{cha:IPC}) completamente ignaro del fatto che altri programmi possono
+meccanismi di comunicazione previsti dall'architettura (che esamineremo nel
+Cap.~\ref{cha:IPC}) completamente ignaro del fatto che altri programmi possono
 essere messi in esecuzione dal kernel.
 
 In questo non è possibile ad un singolo programma disturbare l'azione di un
@@ -193,7 +193,7 @@ In questo modo il sistema 
 dell'utente a cui appartiene ed impedire ad altri utenti di interferire con
 esso. Inoltre con questo sistema viene anche garantita una forma base di
 sicurezza interna in quanto anche l'accesso ai file (vedi
-\ref{sec:fileintr_access_ctrl}) è regolato da questo meccanismo di
+Sez.~\ref{sec:fileintr_access_ctrl}) è regolato da questo meccanismo di
 identificazione.
 
 Un utente speciale del sistema è \textit{root}, il cui uid è zero. Esso