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)
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>'' 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>'', 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

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