SOP wyk nr 16-Slajd9: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m literówki |
||
| (Nie pokazano 1 pośredniej wersji utworzonej przez tego samego użytkownika) | |||
| 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 | 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. | ||
[[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 >>]] | ||
Aktualna wersja na dzień 18:47, 10 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.
