Tartalomjegyzék:
- Meghatározás - Mit jelent az étkező filozófusok problémája?
- A Techopedia magyarázza az étkező filozófusok problémáját
Meghatározás - Mit jelent az étkező filozófusok problémája?
Az étkező filozófusok problémája a számítógépes tudomány egyik klasszikus példája, amelyet gyakran használnak a szinkronizálási kérdések és megoldások illusztrálására az egyidejű algoritmus kialakításában. Ez szemlélteti egy olyan rendszerállapot elkerülésének kihívásait, ahol a haladás nem lehetséges, egy holtpontból. A problémát 1965-ben hozta létre EW Dijkstra. A hallgatói vizsga gyakorlatként bemutatott probléma számos olyan számítógépet szemléltet, amely a szalagos meghajtó perifériáinak elérése érdekében versenyez. A ma ismert összetétel Tony Hoare későbbi felülvizsgálata volt.
A Techopedia magyarázza az étkező filozófusok problémáját
Az étkezési filozófusok problémája egy holtpontról, egy olyan állapotról, amelyben több folyamat vár egy forrásra, amelyet egy másik folyamat jelenleg felhasznál, és megoldásokra az ilyen típusú problémákra. A probléma jelenlegi megfogalmazását Tony Hoare készítette, ám a problémát eredetileg Edsger Dijkstra fogalmazta meg 1965-ben.
Tony Hoare problémameghatározása öt filozófusról szól, akiknek alternatívaként enniük és gondolkodniuk kell. Mind az öt egy kerek asztalon van elhelyezve, egy spagetti tállal és villával, szomszédos módon a filozófusok között. A villát egyszerre csak egy filozófus használhatja. Azonban ahhoz, hogy enni, két villára van szükség - villát balra és jobbra. A filozófus rendelkezésre álló villát vehet, de enni csak akkor szabad, ha a filozófusnak mind a bal, mind a jobb villa van. Meg kell jegyezni, hogy az evést nem korlátozza a maradék spagetti vagy a gyomor helyének lehetséges mennyisége. Feltételezzük, hogy a spagetti és a kereslet végtelen.
