Sezione critica

Strumenti moderni per la
sincronizzazione
• La soluzione di Peterson, pur essendo basata
completamente su software
– è complessa
– mal sopporta ottimizzazioni sul codice da parte
della CPU e del SO
• Nei moderni SO, le sezioni di ingresso e di
uscita sono implementate tramite un modello
universale: il lock (serratura, lucchetto)
• Si protegge una sezione critica che accede a
dati condivisi con
– una variabile intera che indica se la risorsa è
libera oppure occupata
– un meccanismo che controlla lo stato della
variabile intera e permette l'accesso esclusivo
24