Sezione critica

Problemi tipici di sincronizzazione
• Problema lettore-scrittore
Processo lettore
wait(mutex);
num_lettori++;
if (num_lettori == 1)
wait(scrittura);
signal(mutex);
wait(mutex);
num_lettori--;
if (num_lettori == 0)
signal(scrittura);
signal(mutex);
aggiornamento di num_lettori in
mutua esclusione tra i lettori
se non ho lettori, prima di
leggere, aspetta uno scrittore
permetti ad un altro lettore di
avanzare
aggiornamento di num_lettori in
mutua esclusione tra i lettori
se non ho lettori, permetti ad
un'altro scrittore di avanzare
permetti ad un altro lettore di
avanzare
54