Jaki jest problem z filozofami jadalni?

Problem z filozofów jadalni jest eksperymentem myślowym lub przykładem używanym w dziedzinie informatyki.Problem wykorzystuje analogię do zilustrowania problemów synchronizacji, które mogą powstać, gdy komputery dzielą zasoby.Komputerowi używają problemów z filozofami z restauracji, aby nauczyć uczniów o algorytmach używanych do rozwiązania tych problemów.

Scenariusz problemu filozofów z restauracji jest okrągły stół, na którym siedzi pięciu filozofów.Na środku stołu znajduje się miska makaronu lub innego jedzenia.Każdy filozof ma jeden widelec lub pałeczka po obu stronach, co oznacza, że w sumie jest pięć widelców lub pałeczek.Aby zjeść, filozof potrzebuje dwóch przyborów.Każdy filozof musi również poświęcić trochę czasu na myślenie i nie może myśleć i jeść w tym samym czasie.Problemem sedna filozofów z jadalni jest trudność zapobiegania impasowi.

Zakaladka w tym problemie występuje, gdy filozofowie postawili się w pozycji, w której nie mogą myśleć, ani jeść.Na przykład, gdyby każdy filozof odebrał przybór po jego lewej stronie, nikt nie byłby w stanie jeść, ponieważ wszystkie przybory byłyby używane, ale żaden filozof nie miałby dwóch.Aby umożliwić wszystkim filozofom, uczeń musi stworzyć algorytm, który zapewnia, że niektórzy filozofowie jedzą, podczas gdy inni myślą.Pozwala to zarówno jeść, jak i myślenie na kontynuowanie bez przeciągania.

Istnieje wiele możliwych rozwiązań problemu filozofów z restauracji.Jedno rozwiązanie polega na utworzeniu szóstej postaci, kelnera, który udziela lub zaprzecza uprawnieniu filozofów na odebranie swoich widelców.Inne obejmują regulację kolejności, w której filozofowie podnoszą i odkładają swoje widelce, aby zmaksymalizować dostępność.Inni polegają na mówieniu filozofom, aby sprawdzili, czy ich sąsiedzi jedzą przed próbą jedzenia.Zasadniczo każde rozwiązanie obejmuje opracowanie zestawu zasad, zwanych algorytmem, który rządzi, gdy filozofowie myślą, jedzą lub zbierają i odkładają swoje przybory.

Problem z filozofów do jadalni został po raz pierwszy wyrażony przez holenderskiego informatykę Edsger Dijkstrę w 1965 r. Jako pytanie egzaminacyjne dla studentów.Od tego czasu problem ulegał wielu zmianom.Pojawia się w wielu nieco różnych formatach, z których niektóre zmieniają tylko szczegóły historii, ale inne, które proponują dodatkowe ograniczenia problemu w celu wykazania trudnych pojęć.Najczęstszą nowoczesną wersją stworzył Tony Hoare.