SO-1st-2.3-w13.tresc-1.0-Slajd31
Z Studia Informatyczne
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 proces P2 ), co umożliwia nabycie (czyli rzeczywiste opuszczenie) przez proces P1 .
