SOP wyk nr 16-Slajd13

Przykład działania algorytmu wykrywania zakleszczenia (2)

Roboczy wektor W początkowo przechowuje wolne jednostki poszczególnych typów zasobów. Liczba wolnych jednostek wystarczająca jest dla zrealizowania żądania procesu P₃. W przypadku pozostałych procesów brakuje jednostek któregoś zasobu. Dla procesu P₁ brakuje jednostek zasobu Z₁ , a dla procesów P₂ i P₄, jednostek zasobu Z₃. Po zakończeniu procesu P₃ przydzielone mu jednostki trafiają do systemu i do dyspozycji zarządcy są odpowiednio 2, 2, 1 jednostki. Taka liczba jest wystarczająca dla procesu P₄, ale uzyskany po jego zakończeniu stan wolnych jednostek (odpowiednio 2, 4, 2) nie wystarczy ani dla procesu P₁ (z mało jednostek zasobu Z₁), ani dla procesu P₂ (za mało jednostek zasobu Z₃). Procesy P₁ i P₂ są więc zakleszczone.

<< Poprzedni slajd | Spis treści | Następny slajd >>