Pr-1st-1.1-m05-Slajd35

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

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

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

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

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


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