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)
uzupełnienie brakujących słów
 
Linia 4: Linia 4:




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>'' .
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 proces ''P''<sub>2</sub>), co umożliwia nabycie (czyli rzeczywiste opuszczenie) przez proces ''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 >>]]

Aktualna wersja na dzień 14:48, 8 wrz 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 proces P2), co umożliwia nabycie (czyli rzeczywiste opuszczenie) przez proces P1.


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