Inhoudsopgave:
- Definitie - Wat betekent Dining Philosophers Problem?
- Techopedia verklaart probleem Dining Philosophers
Definitie - Wat betekent Dining Philosophers Problem?
Het probleem van de eetfilosofen is een klassiek voorbeeld in de informatica dat vaak wordt gebruikt om synchronisatieproblemen en oplossingen in gelijktijdig algoritmeontwerp te illustreren. Het illustreert de uitdagingen van het vermijden van een systeemstaat waar vooruitgang niet mogelijk is, een impasse. Het probleem werd in 1965 gecreëerd door EW Dijkstra. Het probleem wordt gepresenteerd als een examen voor studenten en illustreert een aantal computers die strijden om toegang tot randapparatuur van de tapedrive. De formulering die vandaag bekend is, was een latere revisie door Tony Hoare.
Techopedia verklaart probleem Dining Philosophers
Het probleem van de dinerende filosofen is een illustratie van een impasse, een toestand waarin meerdere processen wachten op een enkele bron die momenteel door een ander proces wordt gebruikt, en de oplossingen voor dit soort problemen. De huidige formulering van het probleem met de filosofen is gemaakt door Tony Hoare, maar het probleem werd oorspronkelijk geformuleerd door Edsger Dijkstra in 1965.
De probleemstelling van Tony Hoare gaat over vijf filosofen die afwisselend moeten eten en denken. Alle vijf zitten in een ronde tafel met een bord spaghetti en vorken naast elkaar geplaatst tussen filosofen. Een vork kan slechts door één filosoof tegelijk worden gebruikt. Om te eten zijn echter twee vorken vereist: vork in linker en rechter vork. Een filosoof kan een beschikbare vork nemen, maar mag niet eten tenzij de filosoof zowel zijn linker- als rechtervork heeft. Opgemerkt moet worden dat eten niet wordt beperkt door de mogelijke hoeveelheid spaghetti die overblijft of maagruimte. Er wordt aangenomen dat er een oneindig aanbod van spaghetti en vraag is.
