Pr-1st-1.1-m09-Slajd40

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Detekcja zakończenia dla dyfuzyjnego modelu przetwarzania algorytm (4)

Detekcja 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ą .


<< Poprzedni slajd | Spis treści | Następny slajd >>