SO-1st-2.3-w13.tresc-1.0-Slajd17: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 6: | Linia 6: | ||
Na bazie rozważanego modelu przetwarzania współbieżnego zdefiniowane zostanie zakleszczenie procesu. Wcześniej jednak wymagane jest zdefiniowanie wstrzymania procesu. | Na bazie rozważanego modelu przetwarzania współbieżnego zdefiniowane zostanie zakleszczenie procesu. Wcześniej jednak wymagane jest zdefiniowanie wstrzymania procesu. | ||
Przykładem stanu systemu, w którym wstrzymany jest proces '' | Przykładem stanu systemu, w którym wstrzymany jest proces ''P<sub>i</sub>'' jest σ<sup>32</sup> w poprzednim przykładzie. Jedyne dopuszczalne zdarzenia w tym stanie związane są z procesem ''P<sub>j</sub>'' , który może zwolnić przydzieloną jednostkę, albo zażądać następnej. W stanie σ<sup>41</sup> zablokowany jest z kolei proces ''P<sub>j</sub>'' , gdyż zażądał on pierwszej jednostki zasobu, podczas gdy obie przydzielone są procesowi ''P<sub>i</sub>'' . ''P<sub>j</sub>'' musi więc czekać na zwolnienie przynajmniej jednej z jednostek przez ''P<sub>i</sub>''. | ||
Przykładem zakleszczenia z kolei jest stan σ<sup>33</sup>, w którym żadne zdarzenie nie jest dopuszczalne. Jest to zatem zakleszczenie obu procesów, czyli całego systemu. | |||
[[SO-1st-2.3-w13.tresc-1.0-Slajd16 | << Poprzedni slajd]] | [[SO-1st-2.3-w13.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd18 | Następny slajd >>]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd16 | << Poprzedni slajd]] | [[SO-1st-2.3-w13.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd18 | Następny slajd >>]] | ||
Aktualna wersja na dzień 08:42, 25 wrz 2006
Definicja zakleszczenia procesu
Na bazie rozważanego modelu przetwarzania współbieżnego zdefiniowane zostanie zakleszczenie procesu. Wcześniej jednak wymagane jest zdefiniowanie wstrzymania procesu.
Przykładem stanu systemu, w którym wstrzymany jest proces Pi jest σ32 w poprzednim przykładzie. Jedyne dopuszczalne zdarzenia w tym stanie związane są z procesem Pj , który może zwolnić przydzieloną jednostkę, albo zażądać następnej. W stanie σ41 zablokowany jest z kolei proces Pj , gdyż zażądał on pierwszej jednostki zasobu, podczas gdy obie przydzielone są procesowi Pi . Pj musi więc czekać na zwolnienie przynajmniej jednej z jednostek przez Pi.
Przykładem zakleszczenia z kolei jest stan σ33, w którym żadne zdarzenie nie jest dopuszczalne. Jest to zatem zakleszczenie obu procesów, czyli całego systemu.
