Varie correzioni da Fabio Rossi, e relative aggiunte nei ringrazimenti per
[gapil.git] / prochand.tex
index 870014c..651e145 100644 (file)
@@ -1298,7 +1298,7 @@ vari parametri connessi ai processi.
 \label{sec:proc_perms}
 
 In questa sezione esamineremo le problematiche relative al controllo di
-accesso dal punto di vista del processi; vedremo quali sono gli identificatori
+accesso dal punto di vista dei processi; vedremo quali sono gli identificatori
 usati, come questi possono essere modificati nella creazione e nel lancio di
 nuovi processi, le varie funzioni per la loro manipolazione diretta e tutte le
 problematiche connesse ad una gestione accorta dei privilegi.
@@ -1336,7 +1336,7 @@ kernel nella gestione dei permessi di accesso.
 Dato che tutte le operazioni del sistema vengono compiute dai processi, è
 evidente che per poter implementare un controllo sulle operazioni occorre
 anche poter identificare chi è che ha lanciato un certo programma, e pertanto
-anche a ciascun processo dovrà essere associato ad un utente e ad un gruppo.
+anche a ciascun processo dovrà essere associato un utente e un gruppo.
 
 Un semplice controllo di una corrispondenza fra identificativi non garantisce
 però sufficiente flessibilità per tutti quei casi in cui è necessario poter
@@ -1401,7 +1401,7 @@ nel sistema.
 Al secondo gruppo appartengono lo \textsl{user-ID effettivo} ed il
 \textsl{group-ID effettivo} (a cui si aggiungono gli eventuali \textsl{group-ID
   supplementari} dei gruppi dei quali l'utente fa parte).  Questi sono invece
-gli identificatori usati nella verifiche dei permessi del processo e per il
+gli identificatori usati nelle verifiche dei permessi del processo e per il
 controllo di accesso ai file (argomento affrontato in dettaglio in
 sez.~\ref{sec:file_perm_overview}).