Wat is het probleem met de eetgelegenheden?

Het probleem van de eetgelegenheden is een gedachte -experiment of voorbeeld dat wordt gebruikt op het gebied van informatica.Het probleem maakt gebruik van een analogie om de synchronisatieproblemen te illustreren die kunnen ontstaan wanneer computers bronnen delen.Computerwetenschappers gebruiken de problemen met de eetgelegenheden om studenten te leren over de algoritmen die worden gebruikt om deze problemen op te lossen.

Het scenario van het probleem van de eetgelegenheden is een circulaire tafel waarmee vijf filosofen zitten.In het midden van de tafel is een kom noedels of ander voedsel.Elke filosoof heeft één vork of eetstokje aan beide kanten, wat betekent dat er in totaal vijf vorken of eetstokjes zijn.Om te eten heeft een filosoof twee keukengerei nodig.Elke filosoof moet ook wat tijd besteden aan het denken en niet tegelijkertijd kunnen denken en eten.Het probleem van het hartfilosofen is de moeilijkheid om impasse te voorkomen.

Deadlock in dit probleem treedt op wanneer filosofen zichzelf in een positie brengen waar ze niet kunnen denken of eten.Als elke filosoof bijvoorbeeld het gebruiksspel links zou ophalen, zou niemand kunnen eten, omdat al het gebruiksvoorwerpen in gebruik zouden zijn, maar geen filosoof zou er twee hebben.Om alle filosofen te laten eten, moet de student een algoritme creëren dat ervoor zorgt dat sommige filosofen eten terwijl anderen denken.Eén oplossing omvat het creëren van een zesde personage, de ober, die toestemming geeft of ontkent voor filosofen om hun vorken op te halen.Anderen omvatten het reguleren van de volgorde waarin filosofen hun vorken oppakken en neerleggen om de beschikbaarheid te maximaliseren.Anderen betrekken de filosofen om te controleren of hun buren eten voordat ze proberen te eten.In wezen omvat elke oplossing het ontwikkelen van een reeks regels, een algoritme genaamd, dat regeert wanneer de filosofen denken, eten of ophalen en hun gebruiksvoorwerpen neerleggen.

Het probleem van de eetgelegenheden werd voor het eerst uitgedrukt door de Nederlandse computerwetenschapper Edsger Dijkstra in 1965 als examenvraag voor studenten.Sindsdien heeft het probleem een aantal wijzigingen ondergaan.Het verschijnt in een aantal enigszins verschillende formaten, waarvan sommige alleen de details van het verhaal veranderen, maar andere die aanvullende beperkingen voor het probleem voorstellen om moeilijke concepten aan te tonen.De meest voorkomende moderne versie is gemaakt door Tony Hoare.