Io-7-wyk-Slajd159

Problem zastoju(3)

Komputer B, przechodząc do wykonania operacji przydziału drukarki, AllocateLP, też zostanie zawieszony, gdyż drukarka jest już przydzielona komputerowi A i nie została jeszcze przez ten komputer zwolniona operacją ReleaseLP, gdyż komputer A jest zawieszony w oczekiwaniu na zwolnienie dysku przez komputer B. Mamy zatem zastój. Żaden z procesów nie może dalej kontynuować swoich obliczeń. Jest to ewidentna wada tak zaprogramowanego systemu. Jak tę wadę można by wykryć na poziomie sieci Petri’ego?

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