Pr-1st-1.1-m09-Slajd41

Algorytm detekcji zakończenia dla dyfuzyjnego modelu przetwarzania (5)

Monitor $Q_i$ odbierając sygnał dekrementuje zmienną $sentN{o}_i$ (gdyż zmienna ta oznacza ilość nie potwierdzonych wysłanych wiadomości). Jeżeli $Q_i=Q_{{\alpha }^{\prime }}\wedge sentN{o}_i=0$, to w momencie w którym skojarzony proces aplikacyjny $P_{\alpha }$ stanie się pasywny, monitor decyduje o wykryciu zakończenia.

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