SOP wyk nr 15-Slajd30

Przykład przejść pomiędzy stanami w przypadku zasobów zużywalnych

Przykład pokazuje współpracę dwóch procesów za pośrednictwem zasobu nieodzyskiwalnego Z1 , który można utożsamiać np. z semaforem uogólnionym. Proces P2 potencjalnie podnosi ten semafor. Podniesienie o 1 jest pierwszym zdarzeniem w systemie. Drugim zdarzeniem jest próba opuszczenia go o 2, co powoduje zablokowanie procesu P1 . Następnie następuje podniesienie o 2 (oczywiście przez P2 ), co umożliwia nabycie (czyli rzeczywiste opuszczenie) przez P1 .

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