SOP wyk nr 16-Slajd9

Macierzowa reprezentacja stanu — zakleszczenie

Przedstawiona formuła oznacza, że jest jakiś podzbiór procesów P’ , oczekujących na zamówione zasoby, ale nawet gdyby wszystkie procesy spoza tego zbioru zakończyły działanie, to i tak dla każdego procesy ze zbioru P’ jakiś zasób ze Z_j nie będzie dostępny w wystarczającej liczbie jednostek.

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