Pr-1st-1.1-m13-Slajd27

Hierarchiczny algorytm konsensusu podstawowego (2)

Wiadomość $decOut$ jest wiadomością powiadamiającą inne procesy o podjętej przez lidera decyzji. Zmienna $proposa{l}_i$ zawiera propozycję procesu $P_i$ a zmienna $propRoundN{o}_i$ (ang. proposer round number ) zawiera identyfikator procesu, który zaproponował tę wartość. Tablica $delivere{d}_i$ zawiera wartość True, jeżeli proces (monitor) otrzymał powiadomienie o decyzji lidera. Tablica $liderSe{t}_i$ zainicjowana jest identyfikatorami procesów, będących kolejnymi kandydatami na lidera. Identyfikator lidera k-tej rundy jest zapisany w k-tym elemencie tej tablicy. Tablica ta posiada identyczną zawartość dla wszystkich procesów biorących udział w algorytmie. Tablica $broadcas{t}_i$ zawiera wartość True, jeżeli monitor podjął już decyzję i rozgłosił ją wśród procesów. Numer kolejnej rundy zawarty jest w zmiennej $roundN{o}_i$. Wreszcie zmienna $suspecte{d}_i$ posiada reprezentuje zbiór procesów podejrzewanych o to, że są niepoprawne. Zmienna k jest używana lokalnie w obsłudze zdarzenia odbioru wiadomości DECIDED.

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