2192972952

Monitor - kolejność wznawiana procesów

•    Definicja monitora wymaga, by po sygnalizacji warunku natychmiast został wznowiony jeden z wstrzymanych na warunku procesów.

•    Przykładowo, jeżeli proces P wykonał operację signalO na warunku wolny , to automatycznie wznowiony powinien zostać proces Q wstrzymany na tym warunku. Jednak oba procesy nie mogą wykonywać jednocześnie metod monitora, ponieważ ich wykonanie jest wyłączne - stąd jeden z nich musi zostać wstrzymany.

•    Uzasadnienie - proces sygnalizujący zmienił stan monitora, w taki sposób, że warunek stał się prawdziwy, więc po wznowieniu proces oczekujący na warunku nie musi go sprawdzać (w teorii ©)