Completate sessioni, aggiunti riferimenti a dove sta la roba nel kernel,

[gapil.git] / intro.tex

diff --git a/intro.tex b/intro.tex
index b648bd011cc915b56ebf95b6ff9c9a756938385f..fcf632d2028a315f8daa0075a57315d1931b520c 100644 (file)
--- a/intro.tex
+++ b/intro.tex
@@ -54,11 +54,11 @@ 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'' deve essere posto in esecuzione (il cosiddetto
-\textit{preemptive scheduling}). Questo verrà comunque eseguito in modalità
-protetta; quando necessario il processo potrà accedere alle risorse hardware
-soltanto attraverso delle opportune chiamate al sistema che restituiranno il
-controllo al kernel.
+``processo'' deve essere posto in esecuzione (il cosiddetto \textit{preemptive
+  scheduling}\index{preemptive scheduling}). Questo verrà comunque eseguito in
+modalità protetta; quando necessario il processo potrà accedere alle risorse
+hardware soltanto attraverso delle opportune chiamate al sistema che
+restituiranno il controllo al kernel.
 
 La memoria viene sempre gestita dal kernel attraverso il meccanismo della
 \textsl{memoria virtuale}\index{memoria virtuale}, che consente di assegnare a
@@ -133,7 +133,7 @@ Per questo motivo quando ci si riferisce al sistema nella sua interezza 
 corretto parlare di un sistema GNU/Linux: da solo il kernel è assolutamente
 inutile; quello che costruisce un sistema operativo utilizzabile è la presenza
 di tutta una serie di librerie e programmi di utilità (che di norma sono
-quelli realizzati dal progetto GNU della Free Softwae Foundation) che
+quelli realizzati dal progetto GNU della Free Software Foundation) che
 permettono di eseguire le normali operazioni che ci si aspetta da un sistema
 operativo.
 
@@ -226,8 +226,10 @@ definendo gruppi di lavoro, di accesso a determinate risorse, etc.
 L'utente e il gruppo sono identificati da due numeri (la cui corrispondenza ad
 un nome espresso in caratteri è inserita nei due file \file{/etc/passwd} e
 \file{/etc/groups}). Questi numeri sono l'\textit{user identifier}, detto in
-breve \acr{uid}, e il \textit{group identifier}, detto in breve \acr{gid}, che
-sono quelli che poi vengono usati dal kernel per identificare l'utente.
+breve \textsl{userid}, ed indicato dall'acronimo \acr{uid}, e il \textit{group
+  identifier}, detto in breve \textsl{groupid}, ed identificato dall'acronimo
+\acr{gid}, e sono quelli che vengono usati dal kernel per identificare
+l'utente.
  
 In questo modo il sistema è in grado di tenere traccia per ogni processo
 dell'utente a cui appartiene ed impedire ad altri utenti di interferire con