SO-1st-2.3-w13.tresc-1.0-Slajd14
Z Studia Informatyczne
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, zmienia 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 si2 dopuszczalne są więc dwa zdarzenia — zwolnienie jednostki lub zamówienie następnej.