Pr-1st-1.1-m13-Slajd17

Rozgłoszeniowy algorytm konsensusu podstawowego (2)

Używane są dalej wiadomości $decOut$ typu DECIDED oraz $propOut$ typu MYPROP. Zmienna $decide{d}_i$ zawiera wartość, na którą chce się zdecydować proces $P_i$, początkowo równa pewnej wyróżnionej wartości pustej. Zbiór $proposalSe{t}_i$ zawiera zestaw wszystkich widzianych przez proces $P_i$ (monitor $Q_i$ ) propozycji. Numer rundy zapisany jest w zmiennej $roundN{o}_i$. Zbiór $correc{t}_i$, początkowo obejmujący identyfikatory wszystkich procesów, oznacza procesy, które według wiedzy dostępnej dla $P_i$ są poprawne. Analogicznie, $correctThisRoun{d}_i$ oraz $correctLastRoun{d}_i$ zawierają identyfikatory procesów poprawnych w obecnej i poprzedniej rundzie. Zbiór procesów poprawnych w poprzedniej rundzie początkowo obejmuje wszystkie procesy, podczas gdy zbiór procesów poprawnych w rundzie obecnej początkowo jest pusty.

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