Problém obedujúcich filozofov
From Wikipedia, the free encyclopedia
Problém obedujúcich filozofov (dining philosophers problem) je myšlienkový experiment, ktorý sa používa na overenie správnej činnosti správy procesov. Formuloval ho Edsger Dijkstra v roku 1965. Každý operačný systém má správu procesov, čo je vlastne algoritmus, ktorý riadi vznik, zánik a plánovanie procesov (bežiacich programov) v operačnom systéme.