Filosofenprobleem: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Regel 11:
Dit soort problemen zijn in het algemeen niet zo eenvoudig op te lossen.
Stel bijvoorbeeld dat elke denker als filosofie heeft: ik pak een vork zo gauw ik kan, als beide beschikbaar zijn eerst de linkervork; zo gauw ik beide vorken heb eet ik wat; dan leg ik de vorken weer neer. Op het eerste gezicht een redelijk plan, maar nu kan de situatie ontstaan dat elke filosoof de linkervork in de linkerhand heeft, eeuwig wachtend tot de rechtervork vrijkomt. Dit is een voorbeeld van '[[Deadlock_(situatie)|deadlock]]': er is helemaal geen voortgang in het systeem meer mogelijk. Elke filosoof zal verhongeren.
Er zijn technieken om tot oplossingen te komen die deadlock bewijsbaar voorkomen; Dijkstra heeft het probleem verzonnen om zulke technieken te demonstreren.
| |||