Pr-1st-1.1-m10-Slajd61

Algorytm detekcji zakończenia dynamicznego (6)

Przy wysyłaniu (odbieraniu) wiadomości aplikacyjnych do (od) $Q_j$ monitor $Q_i$ inkrementuje j-ty wpis w tablicy $vRecvN{o}_i$ ($vSentN{o}_i$ ). W momencie aktywacji procesu $P_i$ zmiennej $contPassiv{e}_i$ przypisywana jest wartość False.

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