Pr-1st-1.1-m05-Slajd35

Algorytm Chandy, Misra, Hass dla modelu OR (3)

Detekcja jest inicjowana przez jeden z monitorów $Q_{\alpha }$, który wysyła do wszystkich monitorów procesów zbioru warunkującego ${{𝒟}}_{\alpha }$, wiadomość kontrolną QUERY zawierającą: indeks initIndex inicjatora $Q_{\alpha }$, oraz numer sekwencyjny queryNo przetwarzania detekcyjnego zainicjowanego przez $Q_{\alpha }$ tym zapytaniem.

W odpowiedzi na zapytanie QUERY, monitory $Q_i$ oczekują odpowiedzi REPLY zawierającej takie same wartości initIndex i queryNo.

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