Concurrency en race condities
Concurrency en race condities
Concurrency en race condities
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
• Eén voor één toelat<strong>en</strong><br />
Eis<strong>en</strong> afscherming<br />
• 100 % betrouwbaar (ge<strong>en</strong> <strong>race</strong><strong>condities</strong>!)<br />
• Ge<strong>en</strong> “starvation”<br />
– “Bounded waiting”: bov<strong>en</strong>gr<strong>en</strong>s aan wachttijd<br />
• er mag maar e<strong>en</strong> eindig aantal andere process<strong>en</strong> voor<br />
gaan<br />
– “Progress”: beslissing over toelating<br />
• betreft alle<strong>en</strong> reeds wacht<strong>en</strong>de process<strong>en</strong><br />
• wordt in eindige tijd g<strong>en</strong>om<strong>en</strong><br />
• Oudste oplossing van Dekker<br />
College OS 2010 – 2011 10