Sezione critica
Sezione critica
Sezione critica
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
La soluzione di Peterson<br />
• Sono verificati i requisiti per il corretto<br />
accesso in mutua esclusione?<br />
• Requisito 3: attesa limitata<br />
– La dimostrazione precedente (requisito 2) ha<br />
mostrato come P i e P j si alternino<br />
nell'esecuzione della sezione <strong>critica</strong><br />
– Se un processo è in attesa di entrare in sezione<br />
<strong>critica</strong>, l'altro processo può eseguire la sezione<br />
<strong>critica</strong> al più k=1 volte<br />
23