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.
La soluzione di Peterson<br />
• Sono verificati i requisiti per il corretto<br />
accesso in mutua esclusione?<br />
• Requisito 1: mutua esclusione<br />
– P i entra nella sua sezione <strong>critica</strong> solo se fallisce<br />
il while, ossia flag[j]==false o turn==i<br />
– se P 0 e P 1 fossero in sezione <strong>critica</strong> nello stesso<br />
istante, si avrebbe flag[0]==TRUE,<br />
flag[1]==TRUE<br />
– le due oss. precedenti implicano che turn=0 e<br />
turn=1 contemporaneamente<br />
– assurdo -> P 0 e P 1 non possono mai eseguire la<br />
sezione <strong>critica</strong> concorrentemente<br />
21