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 Z_j nie będzie dostępny w wystarczającej liczbie jednostek.

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