Pr-1st-1.1-m09-Slajd42

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

Zdarzenie wysłania wiadomości aplikacyjnej może zajść dla monitora $Q_i$ dla $i\ne \alpha$ tylko wtedy, gdy $recvN{o}_i>0\wedge \mathrm{\neg }passiv{e}_i$. Wysyłając dowolną wiadomość aplikacyjną monitor inkrementuje licznik nie potwierdzonych wiadomości $sentN{o}_i$.

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