![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/7/7b/An_illustration_of_the_dining_philosophers_problem.png/640px-An_illustration_of_the_dining_philosophers_problem.png&w=640&q=50)
Problem ucztujących filozofów
Z Wikipedii, wolnej encyclopedia
Problem ucztujących filozofów (znany też jako problem pięciu filozofów) – przykład klasycznego dla informatyki zadania synchronizacji procesów.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7b/An_illustration_of_the_dining_philosophers_problem.png/640px-An_illustration_of_the_dining_philosophers_problem.png)
W 1965 roku Edsger Dijkstra wymyślił zadanie egzaminacyjne dotyczące sytuacji, w której 5 komputerów próbuje uzyskać dostęp do 5 współdzielonych napędów dysków. Niedługo potem problem został przedstawiony na nowo przez Charlesa Hoare’a jako problem ucztujących filozofów. Jest to teoretyczne wyjaśnienie zakleszczenia i uniemożliwienia innym jednostkom korzystania z zasobów poprzez założenie, że każdy z filozofów bierze po jednym widelcu, a dopiero potem próbuje zdobyć drugi.
Problem ucztujących filozofów jest prezentacją problemu synchronizacji pracujących współbieżnie procesów. Istnieje kilka możliwych rozwiązań tego problemu, między innymi wykorzystujące arbitrów lub grupy semaforów.