Pr-1st-1.1-m09-Slajd40

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

Zdarzenie wysłania wiadomości typu SIGNAL może zajść dla monitora $Q_{i}$ dla tylko wtedy, gdy $(recvNo_{i}>1)\lor (recvNo_{i}=1\land sentNo_{i}=1\land passive_{i})$. Monitor $Q_{i}$ wysyłając wiadomość typu SIGNAL sprawdza, czy odebrał już wiadomości od wszystkich procesów poza angażującym ($recvNo_{i}=1$), nie wysłał żadnej nie potwierdzonej wiadomości ($sentNo_{i}=0$) 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 $notEngager_{i}$. Wreszcie dekrementuje zmienną $recvNo_{i}$.

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