SO-1st-2.3-w14.tresc-1.0-Slajd10

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 procesu ze zbioru P ’ jakiś zasób Zj nie będzie dostępny w wystarczającej liczbie jednostek.

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