SOP wyk nr 15-Slajd30: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Dwa (dyskusja | edycje)
Nie podano opisu zmian
 
Dwa (dyskusja | edycje)
Nie podano opisu zmian
Linia 4: Linia 4:




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'' .
Przykład pokazuje współpracę dwóch procesów za pośrednictwem zasobu nieodzyskiwalnego ''Z<sub>1</sub>'' , który można utożsamiać np. z semaforem uogólnionym. Proces ''P<sub>2</sub>'' 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<sub>1</sub>'' . Następnie następuje podniesienie o 2 (oczywiście przez ''P<sub>2</sub>'' ), co umożliwia nabycie (czyli rzeczywiste opuszczenie) przez ''P<sub>1</sub>'' .




[[SOP_wyk_nr_15-Slajd29 | << Poprzedni slajd]] | [[SOP_wyk_nr_15-toc|Spis treści ]] | [[SOP_wyk_nr_15-Slajd31 | Następny slajd >>]]
[[SOP_wyk_nr_15-Slajd29 | << Poprzedni slajd]] | [[SOP_wyk_nr_15-toc|Spis treści ]] | [[SOP_wyk_nr_15-Slajd31 | Następny slajd >>]]

Wersja z 11:56, 16 sie 2006

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

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 >>