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 $decided_{i}$ zawiera wartość, na którą chce się zdecydować proces $P_{i}$, początkowo równa pewnej wyróżnionej wartości pustej. Zbiór $proposalSet_{i}$ zawiera zestaw wszystkich widzianych przez proces $P_{i}$ (monitor $Q_{i}$ ) propozycji. Numer rundy zapisany jest w zmiennej $roundNo_{i}$. Zbiór $correct_{i}$, początkowo obejmujący identyfikatory wszystkich procesów, oznacza procesy, które według wiedzy dostępnej dla $P_{i}$ są poprawne. Analogicznie, $correctThisRound_{i}$ oraz $correctLastRound_{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 >>