SO-1st-2.3-w14.tresc-1.0-Slajd24: 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: | ||
Graf po lewej stronie obrazuje stan systemu po zrealizowania zamówienia procesu '' | Graf po lewej stronie obrazuje stan systemu po zrealizowania zamówienia procesu ''P<sub>1</sub>'' na jednostkę zasobu ''Z<sub>2</sub>'' , a graf po prawej obrazuje stan systemu po zrealizowaniu takiego samego zamówienia na rzecz procesu ''P<sub>2</sub>'' . 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<sub>2</sub>'' nie zażądał jeszcze jednostki zasobu ''Z<sub>2</sub>'' ). | ||
Tego ryzyka nie ma w stanie systemu po prawej. Nawet jeśli proces '' | Tego ryzyka nie ma w stanie systemu po prawej. Nawet jeśli proces ''P<sub>1</sub>'' zażąda jednostki zasobu ''Z<sub>2</sub>'' , nie będzie zakleszczenia. | ||
[[SO-1st-2.3-w14.tresc-1.0-Slajd23 | << Poprzedni slajd]] | [[SO-1st-2.3-w14.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w14.tresc-1.0-Slajd25 | Następny slajd >>]] | [[SO-1st-2.3-w14.tresc-1.0-Slajd23 | << Poprzedni slajd]] | [[SO-1st-2.3-w14.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w14.tresc-1.0-Slajd25 | Następny slajd >>]] | ||
Aktualna wersja na dzień 08:58, 25 wrz 2006
Grafowa reprezentacja stanu — zagrożenie
Graf po lewej stronie obrazuje stan systemu po zrealizowania zamówienia procesu P1 na jednostkę zasobu Z2 , a graf po prawej obrazuje stan systemu po zrealizowaniu takiego samego zamówienia na rzecz procesu P2 . 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ż P2 nie zażądał jeszcze jednostki zasobu Z2 ).
Tego ryzyka nie ma w stanie systemu po prawej. Nawet jeśli proces P1 zażąda jednostki zasobu Z2 , nie będzie zakleszczenia.
