SOP wyk nr 15-Slajd16
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.
