Dineren Filosofen Probleem

Schrijver: Monica Porter
Datum Van Creatie: 22 Maart 2021
Updatedatum: 17 Kunnen 2024
Anonim
Het Voordeel van de Twijfel - Afl. 4: Eten
Video: Het Voordeel van de Twijfel - Afl. 4: Eten

Inhoud

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 E. W. Dijkstra. Het probleem wordt gepresenteerd als een examen voor studenten en illustreert een aantal computers die strijden om toegang tot de randapparatuur van de tapedrive. De formulering die vandaag bekend is, was een latere revisie door Tony Hoare.


Een inleiding tot Microsoft Azure en de Microsoft Cloud | In deze handleiding leert u wat cloud computing inhoudt en hoe Microsoft Azure u kan helpen bij het migreren en runnen van uw bedrijf vanuit de cloud.

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 zijn 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.