SOP wyk nr 16-Slajd23: 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 ''P<sub>1</sub>'' zażąda jednostki zasobu ''Z<sub>2</sub>'' , nie będzie zakleszczenia. | |||
[[SOP_wyk_nr_16-Slajd22 | << Poprzedni slajd]] | [[SOP_wyk_nr_16-toc|Spis treści ]] | [[SOP_wyk_nr_16-Slajd24 | Następny slajd >>]] | [[SOP_wyk_nr_16-Slajd22 | << Poprzedni slajd]] | [[SOP_wyk_nr_16-toc|Spis treści ]] | [[SOP_wyk_nr_16-Slajd24 | Następny slajd >>]] | ||
Aktualna wersja na dzień 12:09, 16 sie 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.
