X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=ipc.tex;h=58b80777a58d507b2e5b0d9ac97d644b43244622;hp=135bed7e51593ef210559a8fc124e678a8607170;hb=178bf99c6bcb8b3ce3b95082212cb380988bb193;hpb=b0596da50d9b010d7251ae72cc908c3d2642d899

diff --git a/ipc.tex b/ipc.tex
index 135bed7..58b8077 100644
--- a/ipc.tex
+++ b/ipc.tex
@@ -1693,7 +1693,7 @@ indirizzato a lui.
 I semafori non sono meccanismi di intercomunicazione diretta come quelli
 (pipe, fifo e code di messaggi) visti finora, e non consentono di scambiare
 dati fra processi, ma servono piuttosto come meccanismi di sincronizzazione o
-di protezione per le \textsl{sezioni critiche}\index{sezioni~critiche} del
+di protezione per le \textsl{sezioni critiche} \index{sezione~critica} del
 codice (si ricordi quanto detto in sez.~\ref{sec:proc_race_cond}). 
 
 Un semaforo è uno speciale contatore, mantenuto nel kernel, che permette, a