X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=prochand.tex;h=8113d7f095f6f82e73022095fc1fcea78c472150;hp=76b68e2d4b8595471ab95a2648f2b7ba0c5964f3;hb=e2f92e43947fa40f05fd7d07b0a6a3a95c0a11b4;hpb=607fcef8aad9ec8be0a80cc4c069c92902455f90 diff --git a/prochand.tex b/prochand.tex index 76b68e2..8113d7f 100644 --- a/prochand.tex +++ b/prochand.tex @@ -3368,14 +3368,13 @@ cui si compiono le operazioni sulle risorse condivise (le cosiddette opportunamente protette da meccanismi di sincronizzazione (torneremo su queste problematiche di questo tipo in cap.~\ref{cha:IPC}). -\itindbeg{deadlock} -Un caso particolare di \textit{race condition} sono poi i cosiddetti -\textit{deadlock}, particolarmente gravi in quanto comportano spesso il blocco -completo di un servizio, e non il fallimento di una singola operazione. Per -definizione un \textit{deadlock} è una situazione in cui due o più processi -non sono più in grado di proseguire perché ciascuno aspetta il risultato di -una operazione che dovrebbe essere eseguita dall'altro. - +\itindbeg{deadlock} Un caso particolare di \textit{race condition} sono poi i +cosiddetti \textit{deadlock} (traducibile in \textsl{condizioni di stallo}), +particolarmente gravi in quanto comportano spesso il blocco completo di un +servizio, e non il fallimento di una singola operazione. Per definizione un +\textit{deadlock} è una situazione in cui due o più processi non sono più in +grado di proseguire perché ciascuno aspetta il risultato di una operazione che +dovrebbe essere eseguita dall'altro. L'esempio tipico di una situazione che può condurre ad un \textit{deadlock} è quello in cui un flag di