Kazalo:
Opredelitev - Kaj pomeni težava z jedilnimi filozofi?
Problem filozofskih jedilnikov je klasičen primer v računalništvu, ki se pogosto uporablja za ponazoritev sinhronizacijskih težav in rešitev pri sočasnem oblikovanju algoritmov. Ponazarja izzive izogibanja stanju sistema, kjer napredek ni mogoč, slepo ulico. Težava je leta 1965 ustvarila EW Dijkstra. Težava je predstavljena kot vaja študentskih izpitov in ponazarja številne računalnike, ki tekmujejo za dostop do zunanjih naprav. Formulacija, ki je danes znana, je bila poznejša revizija Tonyja Hoareja.
Tehopedija razlaga problem jedilnih filozofov
Težava filozofov v jedilnici je ponazoritev z mrtve točke, stanja, v katerem več procesov čaka na en vir, ki ga trenutno uporablja drug postopek, in rešitve za te vrste težav. Sedanjo formulacijo problema s filozofi je ustvaril Tony Hoare, vendar je problem prvotno formuliral Edsger Dijkstra leta 1965.
Izjava problema Tonyja Hoareja je približno pet filozofov, ki morajo alternativno jesti in razmišljati. Vseh pet je nameščenih na okrogli mizi s krožnikom špagetov in vilicami, ki so sosednje postavljeni med filozofe. Vilice lahko hkrati uporablja samo en filozof. Da pa jedo, sta potrebni dve vilici - vilice v levi in desni. Filozof lahko vzame razpoložljive vilice, vendar je ne sme jesti, razen če ima filozof levo in desno vilico. Treba je opozoriti, da prehranjevanje ni omejeno z možno količino špageta levega ali želodčnega prostora. Domneva se, da obstajata neskončna ponudba špagetov in povpraševanja.
