Spisu treści:
- Definicja - Co oznacza problem filozofów restauracji?
- Techopedia wyjaśnia problem filozofów kulinarnych
Definicja - Co oznacza problem filozofów restauracji?
Problem filozofów kulinarnych jest klasycznym przykładem w informatyce często używanym do zilustrowania problemów synchronizacji i rozwiązań w jednoczesnym projektowaniu algorytmów. Ilustruje wyzwania związane z unikaniem stanu systemu, w którym postęp nie jest możliwy, impasu. Problem został stworzony w 1965 roku przez EW Dijkstra. Problem przedstawiony w formie egzaminu studenckiego ilustruje liczbę komputerów konkurujących o dostęp do urządzeń peryferyjnych napędu taśmowego. Znana dziś formuła była późniejszą wersją Tony'ego Hoare'a.
Techopedia wyjaśnia problem filozofów kulinarnych
Problem filozofów żywienia jest ilustracją impasu, stanu, w którym wiele procesów czeka na jeden zasób aktualnie używany przez inny proces oraz rozwiązań tego rodzaju problemów. Obecne sformułowanie problemu z filozofami stworzył Tony Hoare, ale problem został pierwotnie sformułowany przez Edsger Dijkstra w 1965 roku.
Deklaracja problemu Tony'ego Hoare'a dotyczy pięciu filozofów, którzy muszą na przemian jeść i myśleć. Cała piątka znajduje się w okrągłym stole z talerzem spaghetti i widelcami przylegającymi do siebie między filozofami. Widelca może używać jednocześnie tylko jeden filozof. Jednak do jedzenia potrzebne są dwa widelce - widelec po lewej i prawej stronie. Filozof może wziąć dostępny widelec, ale nie wolno mu jeść, chyba że filozof ma zarówno lewy, jak i prawy widelec. Należy zauważyć, że jedzenie nie jest ograniczone możliwą ilością pozostawionego spaghetti lub miejsca na brzuchu. Zakłada się, że istnieje nieskończona podaż spaghetti i popyt.
