SOP wyk nr 15-Slajd13: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m zmiana sformułowania |
||
Linia 4: | Linia 4: | ||
Przedstawiony przykład obrazuje funkcjonowanie procesu w systemie z dwoma jednostkami zasobu odzyskiwalnego. Proces ''P<sub>i</sub>'' | Przedstawiony przykład obrazuje funkcjonowanie procesu w systemie z dwoma jednostkami zasobu odzyskiwalnego. Proces ''P<sub>i</sub>'', ubiegając się o jednostki zasobu, zmieniają swój stan. Możliwe stany procesu są następujące: | ||
* ''s<sub>i</sub><sup>0</sup>'' — stan, w którym proces nie ma przydzielonej żadnej jednostki zasobu i żadnej nie żąda, | * ''s<sub>i</sub><sup>0</sup>'' — stan, w którym proces nie ma przydzielonej żadnej jednostki zasobu i żadnej nie żąda, | ||
* ''s<sub>i</sub><sup>1</sup>'' — stan, w którym proces nie ma jeszcze przydzielonej żadnej jednostki zasobu, ale zamówił jedną jednostkę, | * ''s<sub>i</sub><sup>1</sup>'' — stan, w którym proces nie ma jeszcze przydzielonej żadnej jednostki zasobu, ale zamówił jedną jednostkę, |
Aktualna wersja na dzień 14:37, 8 wrz 2006
Przykład przejść procesu w systemie z dwoma jednostkami zasobu
Przedstawiony przykład obrazuje funkcjonowanie procesu w systemie z dwoma jednostkami zasobu odzyskiwalnego. Proces Pi, ubiegając się o jednostki zasobu, zmieniają swój stan. Możliwe stany procesu są następujące:
- si0 — stan, w którym proces nie ma przydzielonej żadnej jednostki zasobu i żadnej nie żąda,
- si1 — stan, w którym proces nie ma jeszcze przydzielonej żadnej jednostki zasobu, ale zamówił jedną jednostkę,
- si2 — stan, w którym proces ma przydzieloną jedną jednostkę zasobu i niczego więcej nie żąda,
- si3 — stan, w którym proces ma przydzieloną jedną jednostkę zasobu i zażądał drugą,
- si4 — stan, w którym proces ma przydzielone dwie jednostki zasobu.
W stanie si4 proces nie może zażądać kolejnej jednostki, ponieważ przekroczyłby możliwości systemu. Może natomiast zwolnić jedną jednostkę, wracając do stanu si2 . W stanie si2 również może zwolnić jedną jednostkę. W stanie sii2 dopuszczalne są więc dwa zdarzenia — zwolnienie jednostki lub zamówienie następnej.