Obsah
- Definice - Co znamená problém filosofů v stravování?
- Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
- 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 E. W. 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.
Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
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ý v současnosti používá jiný proces, 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í problému Tonyho Hoare 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 nutné 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.