Pr-1st-1.1-m10-Slajd43

Algorytm detekcji zakończenia statycznego (6)

Otrzymując wiadomość aplikacyjną monitor $Q_{i}$ wysyła potwierdzenie do jej nadawcy.

W momencie aktywacji procesu $P_{i}$ zmiennej $contPassive_{i}$ przypisywana jest wartość False.