SOP wyk nr 16-Slajd9: 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 ''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 '' | 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<sub>j</sub>'' nie będzie dostępny w wystarczającej liczbie jednostek. | ||
[[SOP_wyk_nr_16-Slajd8 | << Poprzedni slajd]] | [[SOP_wyk_nr_16-toc|Spis treści ]] | [[SOP_wyk_nr_16-Slajd10 | Następny slajd >>]] | [[SOP_wyk_nr_16-Slajd8 | << Poprzedni slajd]] | [[SOP_wyk_nr_16-toc|Spis treści ]] | [[SOP_wyk_nr_16-Slajd10 | Następny slajd >>]] | ||
Wersja z 12:05, 16 sie 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 procesy ze zbioru P’ jakiś zasób ze Zj nie będzie dostępny w wystarczającej liczbie jednostek.
