Pr-1st-1.1-m13-Slajd20

Rozgłoszeniowy algorytm konsensusu podstawowego (5)

W przypadku, gdy monitor $Q_i$ otrzyma wiadomości od monitorów wszystkich poprawnych procesów i dotąd nie podjął decyzji, sprawdza, czy w obecnej rundzie zbiór poprawnych procesów nie uległ zmianie, tzn. czy $correctThisRoun{d}_i=correctLastRoun{d}_i$. Jeżeli ten warunek jest spełniony, to monitor $Q_i$ podejmuje decyzję wykonując operację ${\mathbf{𝐝}\mathbf{𝐞}\mathbf{𝐜}\mathbf{𝐢}\mathbf{𝐝}\mathbf{𝐞}}^{RC}(P_i,decide{d}_i)$. Prowadzi to do zajścia zdarzenia $e\mathrm{\_}decid{e}^{RC}(P_i,decide{d}_i)$ w procesie $P_i$. Po wykonaniu operacji ${\mathbf{𝐝}\mathbf{𝐞}\mathbf{𝐜}\mathbf{𝐢}\mathbf{𝐝}\mathbf{𝐞}}^{RC}(P_i,decide{d}_i)$, monitor $Q_i$ rozgłasza swoją decyzję korzystając z mechanizmu podstawowego rozgłaszania niezawodnego.

W przeciwnym razie, tzn. gdy $correctThisRoun{d}_i\ne correctLastRoun{d}_i$, monitor przechodzi do kolejnej rundy i rozgłasza aktualny zbiór propozycji.

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