Pr-1st-1.1-m09-Slajd40
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwaniaDetekcja zakończenia dla dyfuzyjnego modelu przetwarzania algorytm (4)
Zdarzenie wysłania wiadomości typu SIGNAL może zajść dla monitora dla tylko wtedy, gdy . Monitor wysyłając wiadomość typu SIGNAL sprawdza, czy odebrał już wiadomości od wszystkich procesów poza angażującym ( ), nie wysłał żadnej nie potwierdzonej wiadomości ( ) a skojarzony zeń proces jest pasywny. W takim wypadku wysyła procesowi angażującemu sygnał. W przeciwnym wypadku wysyła wiadomość kontrolną typu SIGNAL do wszystkich monitorów procesów od których otrzymał jakąś wiadomość i jeszcze jej nie potwierdził do tej pory wiadomością SIGNAL, poza monitorem procesu angażującego, i usuwa te procesy z zbioru . Wreszcie dekrementuje zmienną .