Pr-1st-1.1-m13-Slajd30

Hierarchiczny algorytm konsensusu podstawowego (5)

Jeżeli monitor $Q_{i}$ podejrzewa lidera bieżącej rundy lub już otrzymał od niego wiadomość, zwiększa numer rundy. Z własności dokładności doskonałego detektora awarii P wynika, że jest niemożliwe, by poprawny proces był kiedykolwiek podejrzewany. Z własności kompletności detektora awarii wynika natomiast, że niepoprawny proces będzie podejrzewany.

Jeżeli monitor $Q_{i}$ otrzymuje powiadomienie o decyzji, to ignoruje ją, gdy pochodzi ona od monitora skojarzonego z procesem znajdującym się niżej w hierarchii procesów niż $P_{i}$, lub gdy numer rundy nadesłanej wiadomości jest mniejszy niż największy numer rundy, w której monitor $Q_{i}$ otrzymał decyzję. Może to bowiem oznaczać, że wiadomość ta została wysłana przez niepoprawny monitor tuż przed jego awarią (warunek w wierszu 18). W przeciwnym wypadku monitor $Q_{i}$ zapisuje otrzymaną propozycję decyzji do zmiennej $proposal_{i}$ oraz zapamiętuje, że w rundzie, zapisanej w polu $roundNo$ odebranego komunikatu, otrzymał decyzję lidera.

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