SO-1st-2.3-w13.tresc-1.0-Slajd14: 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:




Przedstawiony przykład obrazuje funkcjonowanie procesu w systemie z dwoma jednostkami zasobu odzyskiwalnego. Proces ''Pi'' , ubiegając się o jednostki zasobu, zmienia 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>'', 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,
* ''s<sub>i</sub><sup>0</sup>'' — 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ę,
* ''s<sub>i</sub><sup>1</sup>'' — 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,
* ''s<sub>i</sub><sup>2</sup>'' — 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ą,
* ''s<sub>i</sub><sup>3</sup>'' — 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.
* ''s<sub>i</sub><sup>4</sup>'' — 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 ''si2'' 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<sub>i</sub><sup>2</sup>'' . W stanie ''s<sub>i</sub><sup>2</sup>'' również może zwolnić jedną jednostkę. W stanie ''si<sub>i</sub><sup>2</sup>'' dopuszczalne są więc dwa zdarzenia — zwolnienie jednostki lub zamówienie następnej.




[[SO-1st-2.3-w13.tresc-1.0-Slajd13 | << Poprzedni slajd]] | [[SO-1st-2.3-w13.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd15 | Następny slajd >>]]
[[SO-1st-2.3-w13.tresc-1.0-Slajd13 | << Poprzedni slajd]] | [[SO-1st-2.3-w13.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd15 | Następny slajd >>]]

Aktualna wersja na dzień 08:39, 25 wrz 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, 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.


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