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

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 proces P₂), co umożliwia nabycie (czyli rzeczywiste opuszczenie) przez proces P₁.

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