X-Git-Url: https://gapil.gnulinux.it/gitweb/?a=blobdiff_plain;f=prochand.tex;h=77fde66866240282070bde592145adfcec005bf4;hb=178bf99c6bcb8b3ce3b95082212cb380988bb193;hp=5ad3aaf2d8bb5cce10c9f82dc9928f0144b484f7;hpb=f346d41d312049873f3f9691bcc08c69b265a451;p=gapil.git

diff --git a/prochand.tex b/prochand.tex
index 5ad3aaf..77fde66 100644
--- a/prochand.tex
+++ b/prochand.tex
@@ -2400,8 +2400,8 @@ dall'argomento \param{cap} all'interno dell'insieme indicato dall'argomento
 puntato dall'argomento \param{value\_p}; è possibile cioè leggere soltanto uno
 stato di una \textit{capability} alla volta.
 
-La funzione \func{cap\_set\_flag} può invece impostare più capacità, anche se
-solo all'interno dello stesso insieme, in una sola chiamata, per questo essa
+La funzione \func{cap\_set\_flag} può invece impostare in una sola chiamata
+più capacità, anche se solo all'interno dello stesso insieme; per questo essa
 prende un vettore di valori di tipo \type{cap\_value\_t} nell'argomento
 \param{caps}, la cui dimensione è specificata dall'argomento \param{ncap}. Il
 tipo di impostazione da eseguire (cancellazione o impostazione) viene indicato
@@ -3231,7 +3231,7 @@ file, o nell'accesso a meccanismi di intercomunicazione come la memoria
 condivisa. In questi casi, se non si dispone della possibilità di eseguire
 atomicamente le operazioni necessarie, occorre che quelle parti di codice in
 cui si compiono le operazioni sulle risorse condivise (le cosiddette
-\textsl{sezioni critiche}\index{sezioni~critiche}) del programma, siano
+\textsl{sezioni critiche}\index{sezione~critica}) del programma, siano
 opportunamente protette da meccanismi di sincronizzazione (torneremo su queste
 problematiche di questo tipo in cap.~\ref{cha:IPC}).