Sezione critica

Bounded buffer: concorrenza
T 0 : prod. registro 1 =contatore {registro 1 =5}
T 1 : prod. registro 1 =registro 1 +1 {registro 1 =6}
T 2 : cons. registro 2 =contatore {registro 2 =5}
T 3 : cons. registro 2 =registro 2 -1 {registro 2 =4}
T 4 : prod. contatore=registro 1 {contatore=6}
T 5 : cons. contatore=registro 2 {contatore=4}
• Questa sequenza di istruzioni macchina non
produce il risultato corretto
• Il risultato dell'operazione dipende dall'ordine
di esecuzione delle istruzioni macchina
imposto dallo scheduler
11