Sezione critica
Sezione critica
Sezione critica
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Bounded buffer: concorrenza<br />
• registro 1 e registro 2 possono essere lo stesso<br />
registro<br />
– context switch ripristina il valore corretto nel<br />
registro<br />
• Esecuzione concorrente delle istruzioni<br />
contatore++ e contatore--:<br />
– esecuzione sequenziale delle corrispondenti<br />
operazioni in linguaggio macchina<br />
– esecuzione interleaved<br />
♦ordine qualunque, purché preservi l'ordine<br />
interno delle istruzioni negli algoritmi<br />
9