Pr-1st-1.1-m13-Slajd47

Hierarchiczny algorytm konsensusu jednolitego (5)

Otrzymanie propozycji o numerze rundy k powoduje zapamiętanie jej w k-tym elemencie tablicy $propose{d}_i$. Jeżeli numer rundy zawarty w polu $roundNo$ odebranej wiadomości PROPOSE jest nie mniejszy od numeru bieżącej rundy, wysyłane jest potwierdzenie do nadawcy. Warunek ten znaczy, że odebrana wiadomość nie pochodzi od niepoprawnego procesu. Przejście do nowej rundy następuje bowiem tylko wtedy, gdy lider jest niepoprawny. Z własności doskonałego detektora awarii wynika, że lider nie byłby podejrzewany, gdyby był poprawny.

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