SO-1st-2.3-w14.tresc-1.0-Slajd24

Grafowa reprezentacja stanu — zagrożenie

Graf po lewej stronie obrazuje stan systemu po zrealizowania zamówienia procesu P₁ na jednostkę zasobu Z₂ , a graf po prawej obrazuje stan systemu po zrealizowaniu takiego samego zamówienia na rzecz procesu P₂ . Nie tworząc nawet grafu oczekiwania, łatwo można dostrzec cykl w stanie systemu po lewej stronie. W przypadku pojedynczych zasobów odzyskiwalnych jest to warunek konieczny i dostateczny zakleszczenia, a więc zagrożenie (na razie, ponieważ P₂ nie zażądał jeszcze jednostki zasobu Z₂ ).

Tego ryzyka nie ma w stanie systemu po prawej. Nawet jeśli proces P₁ zażąda jednostki zasobu Z₂ , nie będzie zakleszczenia.

<< Poprzedni slajd | Spis treści | Następny slajd >>