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

diff --git a/prochand.tex b/prochand.tex
index 56c7f4f..77fde66 100644
--- a/prochand.tex
+++ b/prochand.tex
@@ -2398,10 +2398,16 @@ La funzione \func{cap\_get\_flag} legge lo stato della capacit
 dall'argomento \param{cap} all'interno dell'insieme indicato dall'argomento
 \param{flag} e ne restituisce il valore nella variabile posta all'indirizzo
 puntato dall'argomento \param{value\_p}; è possibile cioè leggere soltanto uno
-stato alla volta.
+stato di una \textit{capability} alla volta.
+
+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
+dall'argomento \param{value}.
+
 
-La funzione \func{cap\_set\_flag} può invece impostare più capacità, anche se
-solo all'interno dello stesso insieme, in una sola chiamata.
 
 
 
@@ -3225,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}).