Un po' di materiale sulle sysctl dei socket, e qualche correzione sulle

[gapil.git] / prochand.tex

diff --git a/prochand.tex b/prochand.tex
index c92f737f780c1f6e1eb6c8070d35d1722e3b77ce..77fde66866240282070bde592145adfcec005bf4 100644 (file)
--- a/prochand.tex
+++ b/prochand.tex
@@ -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}).