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.
Dettagli implementativi<br />
• Osservazioni<br />
– le funzioni block() e wakeup() devono essere<br />
fornite dal SO<br />
– il criterio di estrazione usato nella wakeup() è,<br />
generalmente, FIFO, ma può non essere il solo<br />
– l'esecuzione di wait() e signal() è atomica<br />
♦wait() e signal() considerate come vere e<br />
proprie sezioni critiche<br />
– nelle versioni bloccanti, l'attesa attiva non è<br />
completamente eliminata; è limitata alla attesa<br />
attiva della sezione <strong>critica</strong> wait()/signal()<br />
(abbastanza breve)<br />
44