Correzioni ortografiche da parte di Alessio Frusciante.
[gapil.git] / intro.tex
index 23f677bb1247d40881205f2d3805a859d72a86cf..175924975ed8c4d5bd2d6462170a805e543ab129 100644 (file)
--- a/intro.tex
+++ b/intro.tex
@@ -66,15 +66,15 @@ porte di input/output).
 Una parte del kernel, lo \itindex{scheduler} \textit{scheduler}, si occupa di
 stabilire, ad intervalli fissi e sulla base di un opportuno calcolo delle
 priorità, quale ``\textsl{processo}'' deve essere posto in esecuzione (il
-cosiddetto \itindex{prehemptive~multitasking} \textit{prehemptive
+cosiddetto \itindex{preemptive~multitasking} \textit{preemptive
   multitasking}).  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
-ciascun processo uno spazio di indirizzi ``\textsl{virtuale}'' (vedi
+\index{memoria~virtuale} \textsl{memoria virtuale}, che consente di assegnare
+ciascun processo uno spazio di indirizzi ``\textsl{virtuale}'' (vedi
 sez.~\ref{sec:proc_memory}) che il kernel stesso, con l'ausilio della unità di
 gestione della memoria, si incaricherà di rimappare automaticamente sulla
 memoria disponibile, salvando su disco quando necessario (nella cosiddetta
@@ -237,7 +237,7 @@ viene richiesto all'ingresso nel sistema dalla procedura di \textit{login}
 (descritta in dettaglio in sez.~\ref{sec:sess_login}).  Questa procedura si
 incarica di verificare l'identità dell'utente, in genere attraverso la
 richiesta di una parola d'ordine (la \textit{password}), anche se sono
-possibili meccanismi diversi.\footnote{Ad esempio usando la libreria PAM
+possibili meccanismi diversi.\footnote{ad esempio usando la libreria PAM
   (\textit{Pluggable Autentication Methods}) è possibile astrarre
   completamente dai meccanismi di autenticazione e sostituire ad esempio l'uso
   delle password con meccanismi di identificazione biometrica.}
@@ -254,16 +254,16 @@ accesso ai file e quindi anche alle periferiche, in maniera pi
 definendo gruppi di lavoro, di accesso a determinate risorse, ecc.
 
 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}.\footnote{in realtà negli sistemi più moderni, come vedremo
-  in sez.~\ref{sec:sys_user_group} queste informazioni possono essere
-  mantenute, con l'uso del \textit{Name Service Switch}, su varie tipologie di
-  supporti, compresi server centralizzati come LDAP.}
-\itindex{Name~Service~Switch} Questi numeri sono l'\textit{user identifier},
-detto in breve \textsl{user-ID}, ed indicato dall'acronimo \acr{uid}, e il
-\textit{group identifier}, detto in breve \textsl{group-ID}, ed identificato
-dall'acronimo \acr{gid}, e sono quelli che vengono usati dal kernel per
-identificare l'utente.
+un nome espresso in caratteri è inserita nei due file \conffile{/etc/passwd} e
+\conffile{/etc/group}.\footnote{in realtà negli sistemi più moderni, come
+  vedremo in sez.~\ref{sec:sys_user_group} queste informazioni possono essere
+  mantenute, con l'uso del \itindex{Name~Service~Switch} \textit{Name Service
+    Switch}, su varie tipologie di supporti, compresi server centralizzati
+  come LDAP.}  Questi numeri sono l'\textit{user identifier}, detto in breve
+\textsl{user-ID}, ed indicato dall'acronimo \acr{uid}, e il \textit{group
+  identifier}, detto in breve \textsl{group-ID}, 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 dell'utente a cui
 appartiene ciascun processo ed impedire ad altri utenti di interferire con
@@ -349,9 +349,10 @@ sezioni successive.
     \file{malloc.h}&$\bullet$&         & Allocazione della memoria.\\
     \file{setjmp.h}&$\bullet$&         & Salti non locali.\\
     \file{signal.h}&         &$\bullet$& Gestione dei segnali.\\
-    \file{stdarg.h}&$\bullet$&         & .\\
+    \file{stdarg.h}&$\bullet$&         & Gestione di funzioni a argomenti
+                                         variabili.\\ 
     \file{stdio.h} &$\bullet$&         & I/O bufferizzato in standard ANSI C.\\
-    \file{stdlib.h}&$\bullet$&         & definizioni della libreria standard.\\
+    \file{stdlib.h}&$\bullet$&         & Definizioni della libreria standard.\\
     \file{string.h}&$\bullet$&         & Manipolazione delle stringhe.\\
     \file{time.h}  &         &$\bullet$& Gestione dei tempi.\\
     \file{times.h} &$\bullet$&         & Gestione dei tempi.\\
@@ -380,7 +381,7 @@ Uno dei problemi di portabilit
 dati utilizzati nei programmi, che spesso variano da sistema a sistema, o
 anche da una architettura ad un'altra (ad esempio passando da macchine con
 processori 32 bit a 64). In particolare questo è vero nell'uso dei cosiddetti
-\textit{tipi elementari}\index{tipo!elementare} del linguaggio C (come
+\index{tipo!elementare} \textit{tipi elementari}del linguaggio C (come
 \ctyp{int}) la cui dimensione varia a seconda dell'architettura hardware.
 
 Storicamente alcuni tipi nativi dello standard ANSI C sono sempre stati
@@ -405,7 +406,7 @@ una infinita serie di problemi di portabilit
     \type{clock\_t} & Contatore del tempo di sistema.\\
     \type{dev\_t}   & Numero di dispositivo.\\
     \type{gid\_t}   & Identificatore di un gruppo.\\
-    \type{ino\_t}   & Numero di \textit{inode}\index{inode}.\\
+    \type{ino\_t}   & Numero di \index{inode} \textit{inode}.\\
     \type{key\_t}   & Chiave per il System V IPC.\\
     \type{loff\_t}  & Posizione corrente in un file.\\
     \type{mode\_t}  & Attributi di un file.\\
@@ -427,7 +428,7 @@ una infinita serie di problemi di portabilit
 
 Per questo motivo tutte le funzioni di libreria di solito non fanno
 riferimento ai tipi elementari dello standard del linguaggio C, ma ad una
-serie di \textsl{tipi primitivi}\index{tipo!primitivo} del sistema, riportati
+serie di \index{tipo!primitivo} \textsl{tipi primitivi} del sistema, riportati
 in tab.~\ref{tab:intro_primitive_types}, e definiti nell'header file
 \file{sys/types.h}, in modo da mantenere completamente indipendenti i tipi
 utilizzati dalle funzioni di sistema dai tipi elementari supportati dal
@@ -577,7 +578,7 @@ del nome \textit{Unix 98}, usato spesso anche per riferirsi allo standard.
 
 Lo sviluppo di BSD iniziò quando la fine della collaborazione fra l'Università
 di Berkeley e la AT\&T generò una delle prime e più importanti fratture del
-mondo Unix.  L'Università di Berkley proseguì nello sviluppo della base di
+mondo Unix.  L'Università di Berkeley proseguì nello sviluppo della base di
 codice di cui disponeva, e che presentava parecchie migliorie rispetto alle
 versioni allora disponibili, fino ad arrivare al rilascio di una versione
 completa di Unix, chiamata appunto BSD, del tutto indipendente dal codice
@@ -721,7 +722,7 @@ file.
 
 
 
-% LocalWords:  like kernel multitasking scheduler prehemptive sez swap is cap
+% LocalWords:  like kernel multitasking scheduler preemptive sez swap is cap
 % LocalWords:  everything bootstrap init shell Windows Foundation system call
 % LocalWords:  fig libc uClib glibc embedded Library POSIX username PAM Methods
 % LocalWords:  Pluggable Autentication group supplementary Name Service Switch