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