Pr-1st-1.1-m13-Slajd30
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwaniaHierarchiczny algorytm konsensusu podstawowego (5)
Jeżeli monitor 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
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ż , lub gdy numer rundy nadesłanej wiadomości jest mniejszy niż największy numer rundy, w której monitor 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 zapisuje otrzymaną propozycję decyzji do zmiennej oraz zapamiętuje, że w rundzie, zapisanej w polu odebranego komunikatu, otrzymał decyzję lidera.