SOP wyk nr 15-Slajd14

Przykład przejść dwóch procesów w systemie z dwoma jednostkami zasobu (1)

Przykład kolejny obrazuje funkcjonowanie dwóch procesów — P_i oraz P_j, rywalizujących o zasoby. Zmiany stanu procesu P_i pokazane są w poziomie, a procesu P_j w pionie. Stan systemu, na który składa się stan s_i^k proces P_i oraz stan s_j^l procesu P_j, oznaczony został jako σ^kl.

Wobec rywalizacji dwóch procesów o zasoby pewne stany jednego procesu są nieosiągalne, jeśli określony stan osiągnął drugi proces. Na przykład: stan σ⁴² oznaczałby, że proces P_i ma przydzielone dwie jednostki zasobu, a P_j — jedną jednostkę, podczas gdy system dysponuje w sumie dwoma jednostkami.

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