Pr-1st-1.1-m05-Slajd35: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Szopen (dyskusja | edycje)
Nie podano opisu zmian
 
Szopen (dyskusja | edycje)
Nie podano opisu zmian
 
Linia 1: Linia 1:
==Alg. Chandy, Misra, Hass dla modelu OR (3)==
==Algorytm Chandy, Misra, Hass dla modelu OR (3)==


[[Image:pr-1st-1.1-m05-Slajd35.png|Alg. Chandy, Misra, Hass dla modelu OR (3)]]
[[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 >>]]
[[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)

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

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

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


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