SO-1st-2.3-w13.tresc-1.0-Slajd23: 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. | ||
[[SO-1st-2.3-w13.tresc-1.0-Slajd22 | << Poprzedni slajd]] | [[SO-1st-2.3-w13.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd24 | Następny slajd >>]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd22 | << Poprzedni slajd]] | [[SO-1st-2.3-w13.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd24 | Następny slajd >>]] | ||
Aktualna wersja na dzień 08:44, 25 wrz 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.
