Pr-1st-1.1-m13-Slajd56

Algorytm konsensusu probabilistycznego (2)

Wiadomość $decOut$ jest komunikatem typu DECIDED. Z kolei, $phase1Out$, $phase2Out$ oraz $iniOut$ są wiadomościami typu PHASE1, PHASE2 oraz INIVAL. Zmienna $estimat{e}_i$ zawiera przybliżenie decyzji, natomiast zmienna $decide{d}_i$ zawiera decyzję procesu $P_i$, przy czym zmienne te są zainicjowane specjalnymi wyróżnionymi wartościami pustymi. Zmienna roundNoi zawiera numer rundy. Tablica $proposedValue{s}_i$ zawiera wartości początkowe nadesłane przez pozostałe procesy. Tablice zbiorów $phase{1}_i$ oraz $phase{2}_i$ zawierają propozycje nadesłane przez procesy w odpowiednio, pierwszej i drugiej fazie danej rundy.

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