SOP wyk nr 15-Slajd22: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 4: | Linia 4: | ||
W grafie przedstawionym na slajdzie również jest cykl, obejmujący te same procesy i zasoby, co na poprzednim slajdzie. Różnica polega na tym, że występują dwie jednostki zasobu '' | W grafie przedstawionym na slajdzie również jest cykl, obejmujący te same procesy i zasoby, co na poprzednim slajdzie. Różnica polega na tym, że występują dwie jednostki zasobu ''Z<sub>2</sub>'' , z których jedna przydzielona jest procesowi ''P<sub>3</sub>'' . Proces ''P<sub>3</sub>'' ma zatem (na razie) przydzielone niezbędne egzemplarze (właściwie jeden egzemplarz zasobu ''Z<sub>2</sub>'' ), więc być może się zakończy. Jeśli ''P<sub>3</sub>'' niczego więcej nie zażąda i rzeczywiście się zakończy, zwolni jednostkę zasobu ''Z<sub>2</sub>'' , która będzie mogła zostać przydzielona procesowi ''P<sub>2</sub>'' . Przy takim scenariuszu, pomimo cyklu w grafie przydziału, nie dojdzie do zakleszczenia. W bieżącym stanie systemu nie można zatem stwierdzić zakleszczenia, co jednak nie wyklucza faktu, że może istnieć stan osiągalny systemu, w którym zakleszczenie wystąpi. | ||
[[SOP_wyk_nr_15-Slajd21 | << Poprzedni slajd]] | [[SOP_wyk_nr_15-toc|Spis treści ]] | [[SOP_wyk_nr_15-Slajd23 | Następny slajd >>]] | [[SOP_wyk_nr_15-Slajd21 | << Poprzedni slajd]] | [[SOP_wyk_nr_15-toc|Spis treści ]] | [[SOP_wyk_nr_15-Slajd23 | Następny slajd >>]] | ||
Aktualna wersja na dzień 11:54, 16 sie 2006
Cykl w grafie przydziału — brak zakleszczenia
W grafie przedstawionym na slajdzie również jest cykl, obejmujący te same procesy i zasoby, co na poprzednim slajdzie. Różnica polega na tym, że występują dwie jednostki zasobu Z2 , z których jedna przydzielona jest procesowi P3 . Proces P3 ma zatem (na razie) przydzielone niezbędne egzemplarze (właściwie jeden egzemplarz zasobu Z2 ), więc być może się zakończy. Jeśli P3 niczego więcej nie zażąda i rzeczywiście się zakończy, zwolni jednostkę zasobu Z2 , która będzie mogła zostać przydzielona procesowi P2 . Przy takim scenariuszu, pomimo cyklu w grafie przydziału, nie dojdzie do zakleszczenia. W bieżącym stanie systemu nie można zatem stwierdzić zakleszczenia, co jednak nie wyklucza faktu, że może istnieć stan osiągalny systemu, w którym zakleszczenie wystąpi.
