SO-1st-2.3-w13.tresc-1.0-Slajd15
Z Studia Informatyczne
Przykład przejść dwóch procesów w systemie z dwoma jednostkami 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, a Pj — jedną jednostkę, podczas gdy system dysponuje w sumie dwoma jednostkami.