SO-1st-2.3-w13.tresc-1.0-Slajd17

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 P_i jest σ³² w poprzednim przykładzie. Jedyne dopuszczalne zdarzenia w tym stanie związane są z procesem P_j , który może zwolnić przydzieloną jednostkę, albo zażądać następnej. W stanie σ⁴¹ zablokowany jest z kolei proces P_j , gdyż zażądał on pierwszej jednostki zasobu, podczas gdy obie przydzielone są procesowi P_i . P_j musi więc czekać na zwolnienie przynajmniej jednej z jednostek przez P_i.

Przykładem zakleszczenia z kolei jest stan σ³³, w którym żadne zdarzenie nie jest dopuszczalne. Jest to zatem zakleszczenie obu procesów, czyli całego systemu.

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