Obsah:
- Definícia - Čo znamená problém filozofov stravovania?
- Techopedia vysvetľuje problém reštauračných filozofov
Definícia - Čo znamená problém filozofov stravovania?
Problém filozofov stolovania je v počítačovej vede klasickým príkladom, ktorý sa často používa na ilustráciu problémov a riešení synchronizácie pri navrhovaní súbežných algoritmov. Ilustruje výzvy, ktorým je zabránenie stavu systému, v ktorom nie je možné dosiahnuť pokrok, slepá ulička. Problém bol vytvorený v roku 1965 EW Dijkstra. Tento problém, ktorý sa uvádza ako cvičenie pre študentov, ilustruje niekoľko počítačov súťažiacich o prístup k periférnym zariadeniam s páskovou mechanikou. Formulácia známa dnes bola neskoršou revíziou Tonyho Hoareho.
Techopedia vysvetľuje problém reštauračných filozofov
Problém filozofov stravovania je ilustráciou patovej situácie, stavu, v ktorom viaceré procesy čakajú na jediný zdroj, ktorý v súčasnosti používa iný proces, a riešenia týchto typov problémov. Súčasnú formuláciu problému s filozofmi vytvoril Tony Hoare, pôvodne ju však formuloval Edsger Dijkstra v roku 1965.
Vyhlásenie Tonyho Hoareho sa týka asi piatich filozofov, ktorí musia alternatívne jesť a premýšľať. Všetkých päť je umiestnených v okrúhlom stole s tanierom špagiet a vidličkami umiestnenými tesne medzi filozofmi. Vidlicu môže súčasne používať iba jeden filozof. Aby však bolo možné jesť, sú potrebné dve vidlice - vidlička v ľavej a pravej. Filozof môže zobrať vidlicu, ktorá je k dispozícii, ale nesmie jesť, pokiaľ nemá filozof ľavú aj pravú vidlicu. Je potrebné poznamenať, že stravovanie nie je obmedzené možným množstvom špagiet vľavo alebo v žalúdku. Predpokladá sa, že existuje nekonečná ponuka špagiet a dopytu.