SO-1st-2.3-w14.tresc-1.0-Slajd10: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 4: | Linia 4: | ||
Przedstawiona formuła oznacza, że jest jakiś podzbiór procesów | 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<sub>j</sub>'' nie będzie dostępny w wystarczającej liczbie jednostek. | ||
[[SO-1st-2.3-w14.tresc-1.0-Slajd9 | << Poprzedni slajd]] | [[SO-1st-2.3-w14.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w14.tresc-1.0-Slajd11 | Następny slajd >>]] | [[SO-1st-2.3-w14.tresc-1.0-Slajd9 | << Poprzedni slajd]] | [[SO-1st-2.3-w14.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w14.tresc-1.0-Slajd11 | Następny slajd >>]] | ||
Aktualna wersja na dzień 08:53, 25 wrz 2006
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.
