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 Z₁ , który można utożsamiać np. z semaforem uogólnionym. Proces P₂ 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 P₁ . Następnie następuje podniesienie o 2 (oczywiście przez P₂ ), co umożliwia nabycie (czyli rzeczywiste opuszczenie) przez P₁ .

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