Filosofenprobleem: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k Beschrijving bij afbeelding uitgebreid |
nu lijkt het alsof het belangrijk is dat het artikel over deze filosofen gaat en dat is niet zo |
||
Regel 1:
[[Afbeelding:Dining philosophers.png|thumb|200px|Illustratie bij het filosofenprobleem
In de [[informatica]] is het '''filosofenprobleem''' een aansprekend voorbeeld van de problematiek van [[gedistribueerd programmeren|synchronisatie]].
Het probleem is in [[1965]] door [[Edsger Dijkstra]] voor het eerst gesteld als tentamenvraag; die ging over vijf computers die toegang willen hebben tot vijf tape-drives. De herformulering waarin computers en tape-drives door filosofen en vorken zijn vervangen is kort daarna bedacht door [[Tony Hoare]].
Regel 33:
Stel bijvoorbeeld dat we een denker zelfs geen vork laten pakken als tegelijk een hoger genummerde hetzelfde probeert. Dan zal de hoogstgenummerde altijd eten, terwijl de rest verhongert. Zo'n situatie wordt ''starvation'' genoemd.
Men kan dit nog verder aanscherpen, bijvoorbeeld door te eisen dat het systeem ''
==Relevantie==
|