3685666189

Zakleszczenie. Warunki konieczne (niewystarczające)

•    Wzajemne wykluczanie

•    Cykl w grafie oczekiwania na zasoby (np. PI zajmuje Zl, P2 zajmuje 12, PI oczekuje na 12, P2 oczekuje na Zl - generuje cykl w dwuwierzchołkowym grafie oczekiwania)

•    Brak wywłaszczania - zasób (pamięć) może być zwolniony przez wątek/proces dobrowolnie, ale nie może być odebrany przez mechanizm nadzorujący

•    Przetrzymywanie zasobu i oczekiwanie na inny Różne strategie obsługi zakleszczeń

•    Zapobieganie (doprowadzenie do sytuacji gdy spełnienie co najmniej jednego z powyższych warunków nie jest możliwe)

•    Unikanie (niedopuszczanie do sytuacji zakleszczenia, aktywne badanie żądań dostępu do zasobów). Algorytm bankiera

•    Wykrywanie i obsługa (usuwanie i przywracanie poprawnego stanu systemu, np. poprzez przerwanie działania wszystkich procesów lub wyznaczanie ofiary zakleszczenia i przerwanie wyłącznie jej procesu/wątku - pozwala to funkcjonować wszystkim pozostałym. Identyfikacja cykli w grafach oczekiwania)

•    Ignorowanie problemu    ¹⁵