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 $proposa{l}_i$ oraz zapamiętuje, że w rundzie, zapisanej w polu $roundNo$ odebranego komunikatu, otrzymał decyzję lidera.

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