Pr-1st-1.1-m05-Slajd35: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
Linia 1: | Linia 1: | ||
== | ==Algorytm Chandy, Misra, Hass dla modelu OR (3)== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd35.png|Algorytm Chandy, Misra, Hass dla modelu OR (3)]] | ||
Detekcja jest inicjowana przez jeden z monitorów <math>Q_{\alpha}</math>, który wysyła do wszystkich monitorów procesów zbioru warunkującego | Detekcja jest inicjowana przez jeden z monitorów <math>Q_{\alpha}</math>, który wysyła do wszystkich monitorów procesów zbioru warunkującego | ||
Linia 10: | Linia 10: | ||
[[ | [[Pr-1st-1.1-m05-Slajd34 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd36 | Następny slajd >>]] |
Aktualna wersja na dzień 15:54, 7 wrz 2006
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.