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 $(recvN{o}_i>1)\vee (recvN{o}_i=1\wedge sentN{o}_i=1\wedge passiv{e}_i)$. Monitor $Q_i$ wysyłając wiadomość typu SIGNAL sprawdza, czy odebrał już wiadomości od wszystkich procesów poza angażującym ($recvN{o}_i=1$), nie wysłał żadnej nie potwierdzonej wiadomości ($sentN{o}_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 $notEngage{r}_i$. Wreszcie dekrementuje zmienną $recvN{o}_i$.

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