SO-1st-2.3-w13.tresc-1.0-Slajd13: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 4: | Linia 4: | ||
W pierwszym z przedstawionych stanów dopuszczalne jest zdarzenie zwolnienia jednostek zasobów przydzielonych procesowi '' | W pierwszym z przedstawionych stanów dopuszczalne jest zdarzenie zwolnienia jednostek zasobów przydzielonych procesowi ''P<sub>2</sub>'' , gdyż proces ''P<sub>1</sub>'' jest wstrzymany ze względu na niedostępność jednostki zasobu ''Z<sub>1</sub>'' . Zakładając, że jednostki zwalniane są pojedynczo i najpierw zwolniona zostaje jednostka zasobu ''Z<sub>1</sub>'' , uzyskujemy następny stan reprezentowany przez kolejny graf przydziału. W stanie tym dopuszczalne są już dwa zdarzenia: | ||
* zwolnienie jednostki zasobu '' | * zwolnienie jednostki zasobu ''Z<sub>2</sub>'' przez proces ''P<sub>2</sub>'' , | ||
* nabycie jednostki zasobu '' | * nabycie jednostki zasobu ''Z<sub>1</sub>'' przez proces ''P<sub>1</sub>'' . | ||
Niezależnie od tego, które z wymienionych zdarzeń zajdzie jako pierwsze, w osiągniętym stanie dopuszczalne jest drugie zdarzenie. Transformację można by więc kontynuować aż do osiągnięcia stanu zwolnienia wszystkich jednostek zasobów '' | Niezależnie od tego, które z wymienionych zdarzeń zajdzie jako pierwsze, w osiągniętym stanie dopuszczalne jest drugie zdarzenie. Transformację można by więc kontynuować aż do osiągnięcia stanu zwolnienia wszystkich jednostek zasobów ''Z<sub>1</sub>'' i ''Z<sub>2</sub>'' , przechodząc przez różne stany pośrednie, zależnie od kolejności zdarzeń dopuszczalnych. Narysowanie całej takiej sieci przejść pozostawia się jako ćwiczenie. | ||
[[SO-1st-2.3-w13.tresc-1.0-Slajd12 | << Poprzedni slajd]] | [[SO-1st-2.3-w13.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd14 | Następny slajd >>]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd12 | << Poprzedni slajd]] | [[SO-1st-2.3-w13.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd14 | Następny slajd >>]] | ||
Aktualna wersja na dzień 08:39, 25 wrz 2006
Przykład przejść pomiędzy stanami w przypadku zasobów odzyskiwalnych
W pierwszym z przedstawionych stanów dopuszczalne jest zdarzenie zwolnienia jednostek zasobów przydzielonych procesowi P2 , gdyż proces P1 jest wstrzymany ze względu na niedostępność jednostki zasobu Z1 . Zakładając, że jednostki zwalniane są pojedynczo i najpierw zwolniona zostaje jednostka zasobu Z1 , uzyskujemy następny stan reprezentowany przez kolejny graf przydziału. W stanie tym dopuszczalne są już dwa zdarzenia:
- zwolnienie jednostki zasobu Z2 przez proces P2 ,
- nabycie jednostki zasobu Z1 przez proces P1 .
Niezależnie od tego, które z wymienionych zdarzeń zajdzie jako pierwsze, w osiągniętym stanie dopuszczalne jest drugie zdarzenie. Transformację można by więc kontynuować aż do osiągnięcia stanu zwolnienia wszystkich jednostek zasobów Z1 i Z2 , przechodząc przez różne stany pośrednie, zależnie od kolejności zdarzeń dopuszczalnych. Narysowanie całej takiej sieci przejść pozostawia się jako ćwiczenie.
