SOP wyk nr 15-Slajd30: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
uzupełnienie brakujących słów |
||
| (Nie pokazano 1 pośredniej wersji utworzonej przez tego samego użytkownika) | |||
| Linia 4: | Linia 4: | ||
Przykład pokazuje współpracę dwóch procesów za pośrednictwem zasobu nieodzyskiwalnego '' | 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 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.
