SOP wyk nr 15-Slajd13: 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 5: Linia 5:


Przedstawiony przykład obrazuje funkcjonowanie procesu w systemie z dwoma jednostkami zasobu odzyskiwalnego. Proces ''P<sub>i</sub>'' ubiega się o jednostki zasobu, zmieniają swój stan. Możliwe stany procesu są następujące:
Przedstawiony przykład obrazuje funkcjonowanie procesu w systemie z dwoma jednostkami zasobu odzyskiwalnego. Proces ''P<sub>i</sub>'' ubiega się o jednostki zasobu, zmieniają swój stan. Możliwe stany procesu są następujące:
* ''s<sup>i</sup><sub>0</sub>'' — 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<sup>i</sup><sub>1</sub>'' — 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ę,
* ''s<sup>i</sup><sub>2</sub>'' — stan, w którym proces ma przydzieloną jedną jednostkę zasobu i niczego więcej nie żąda,
* ''s<sub>i</sub><sup>2</sup>'' — stan, w którym proces ma przydzieloną jedną jednostkę zasobu i niczego więcej nie żąda,
* ''s<sup>i</sup><sub>3</sub>'' — stan, w którym proces ma przydzieloną jedną jednostkę zasobu i zażądał drugą,
* ''s<sub>i</sub><sup>3</sup>'' — stan, w którym proces ma przydzieloną jedną jednostkę zasobu i zażądał drugą,
* ''s<sup>i</sup><sub>4</sub>'' — stan, w którym proces ma przydzielone dwie jednostki zasobu.
* ''s<sub>i</sub><sup>4</sup>'' — stan, w którym proces ma przydzielone dwie jednostki zasobu.


W stanie ''s<sup>i</sup><sub>4</sub>'' 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 ''s<sup>i</sup><sub>2</sub>'' . W stanie ''s<sup>i</sup><sub>2</sub>'' również może zwolnić jedną jednostkę. W stanie ''si<sup>i</sup><sub>2</sub>'' dopuszczalne są więc dwa zdarzenia — zwolnienie jednostki lub zamówienie następnej.
W stanie ''s<sup>i</sup><sub>4</sub>'' 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 ''s<sup>i</sup><sub>2</sub>'' . W stanie ''s<sup>i</sup><sub>2</sub>'' również może zwolnić jedną jednostkę. W stanie ''si<sup>i</sup><sub>2</sub>'' dopuszczalne są więc dwa zdarzenia — zwolnienie jednostki lub zamówienie następnej.

Wersja z 11:48, 16 sie 2006

Przykład przejść procesu w systemie z dwoma jednostkami zasobu

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


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