SOP wyk nr 15-Slajd14
Z Studia Informatyczne
Przykład przejść dwóch procesów w systemie z dwoma jednost. zasobu (1)
Przykład kolejny obrazuje funkcjonowanie dwóch procesów — Pi oraz Pj , rywalizujących o zasoby. Zmiany stanu procesu Pi pokazane są w poziomie, a procesu Pj w pionie. Stan systemu, na który składa się stan sik proces Pi oraz stan sjl procesu Pj , 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 σ42 oznaczałby, że proces Pi ma przydzielone dwie jednostki zasobu o Pj — jedną jednostkę, podczas gdy system dysponuje w sumie dwoma jednostkami.