Correzioni ulteriori, segnalate da Vosti.

[gapil.git] / prochand.tex

diff --git a/prochand.tex b/prochand.tex
index f5decd7429d5e028e978b0980fef1d5961f26f57..2316a5b693dac5fced1752ba66a6f93aa6794716 100644 (file)
--- a/prochand.tex
+++ b/prochand.tex
@@ -1690,11 +1690,11 @@ non possono essere interrotte (o subire interferenze pericolose) da altri
 processi.
 
 Nel caso dei segnali invece la situazione è molto più delicata, in quanto lo
 processi.
 
 Nel caso dei segnali invece la situazione è molto più delicata, in quanto lo

-stesso processo può essere interrotto in qualunque momento, e le operazioni di
-un eventuale \textit{signal handler} saranno compiute nello stesso spazio di
-indirizzi. Per questo anche solo il solo accesso o l'assegnazione di una
-variabile possono non essere più operazioni atomiche (torneremo su questi
-aspetti in \secref{sec:sign_xxx}).
+stesso processo, e pure alcune system call, possono essere interrotti in
+qualunque momento, e le operazioni di un eventuale \textit{signal handler}
+sono compiute nello stesso spazio di indirizzi del processo. Per questo anche
+solo il solo accesso o l'assegnazione di una variabile possono non essere più
+operazioni atomiche (torneremo su questi aspetti in \secref{sec:sign_xxx}).

 
 In questo caso il sistema provvede un tipo di dato, il \type{sig\_atomic\_t},
 il cui accesso è assicurato essere atomico.  In pratica comunque si può
 
 In questo caso il sistema provvede un tipo di dato, il \type{sig\_atomic\_t},
 il cui accesso è assicurato essere atomico.  In pratica comunque si può


@@ -1728,9 +1728,9 @@ condivise siano opportunamente protette da meccanismi di sincronizzazione
 Un caso particolare di \textit{race condition} sono poi i cosiddetti
 \textit{deadlock}; l'esempio tipico è quello di un flag di ``occupazione'' che
 viene rilasciato da un evento asincrono fra il controllo (in cui viene trovato
 Un caso particolare di \textit{race condition} sono poi i cosiddetti
 \textit{deadlock}; l'esempio tipico è quello di un flag di ``occupazione'' che
 viene rilasciato da un evento asincrono fra il controllo (in cui viene trovato

-occupato) e la successiva messa in attesa, attesa che a questo punto diventerà
+occupato) e la successiva messa in attesa, che a questo punto diventerà

 perpetua (da cui il nome di \textit{deadlock}) in quanto l'evento di sblocco
 perpetua (da cui il nome di \textit{deadlock}) in quanto l'evento di sblocco

-di questa è stato perso.
+del flag è stato perso fra il controllo e la messa in attesa.

 
 
 \subsection{Le funzioni rientranti}
 
 
 \subsection{Le funzioni rientranti}