Obsah:
- Definice - Co znamená problém filosofů v stravování?
- Techopedia vysvětluje problém jídelních filozofů
Definice - Co znamená problém filosofů v stravování?
Problém filozofů stolování je v počítačové vědě klasickým příkladem, který se často používá pro ilustraci problémů se synchronizací a řešení při návrhu souběžných algoritmů. To ukazuje výzvy, jak se vyhnout stavu systému, kde pokrok není možný, zablokování. Tento problém vytvořil v roce 1965 EW Dijkstra. Tento problém, prezentovaný jako cvičení studentské zkoušky, ilustruje řadu počítačů, které soutěží o přístup k periferním zařízením páskové jednotky. Formulace známá dnes byla pozdější revizí Tonyho Hoareho.
Techopedia vysvětluje problém jídelních filozofů
Problém filozofů stolování je ukázkou slepé uličky, stavu, ve kterém více procesů čeká na jediný zdroj, který je aktuálně používán jiným procesem, a řešení těchto typů problémů. Současnou formulaci problému s filosofy vytvořil Tony Hoare, ale problém původně formuloval Edsger Dijkstra v roce 1965.
Prohlášení Tonyho Hoareho je o pěti filozofech, kteří musí alternativně jíst a myslet. Všech pět je umístěno v kulatém stole s talířem špaget a vidličkami, které jsou umístěny mezi filozofy. Vidličku může používat najednou pouze jeden filozof. Abychom však mohli jíst, jsou zapotřebí dvě vidličky - vidlice v levé a pravé. Filozof může vzít vidličku, která je k dispozici, ale nesmí jíst, pokud nemá filozof levou i pravou vidličku. Je třeba poznamenat, že stravování není omezeno možným množstvím špaget zbylých nebo žaludečního prostoru. Předpokládá se, že existuje nekonečná nabídka špaget a poptávky.
