Figure per il deadlock, e programma di prova per il file locking

[gapil.git] / fileadv.tex

diff --git a/fileadv.tex b/fileadv.tex
index bff4ab76588c225940a296fbfd7e003b17838bdf..e8948b9dd2b83b0607930fc5312940cd02c1773d 100644 (file)
--- a/fileadv.tex
+++ b/fileadv.tex
@@ -1600,12 +1600,11 @@ necessario per soddisfare l'operazione richiesta, aggiornando opportunamente
 le strutture interne usate per il file locking.
 
 \begin{figure}[htb]
-  \centering \includegraphics[width=13cm]{img/file_posix_lock}
+  \centering \includegraphics[width=9cm]{img/file_lock_dead}
   \caption{Schema di una situazione di \textit{deadlock}.}
   \label{fig:file_flock_dead}
 \end{figure}
 
-
 Non operando a livello di interi file, il file locking POSIX introduce
 un'ulteriore complicazione; consideriamo la situazione illustrata in
 \figref{fig:file_flock_dead}, in cui il processo A blocca la regione 1 e il
@@ -1620,7 +1619,6 @@ questo motivo il kernel si incarica di rilevare situazioni di questo tipo, ed
 impedirle restituendo un errore di \macro{EDEADLK} alla funzione che cerca di
 acquisire un lock che porterebbe ad un \textit{deadlock}.
 
-
 \begin{figure}[htb]
   \centering \includegraphics[width=13cm]{img/file_posix_lock}
   \caption{Schema dell'architettura del file locking, nel caso particolare