Pr-1st-1.1-m13-Slajd40

Rozgłoszeniowy algorytm konsensusu jednolitego (3)

Rozgłoszeniowy algorytm konsensusu jednolitego jest modyfikacją algorytmu konsensusu zgodnego. Stąd pierwsze kroki są bardzo podobne.

Zainicjowanie rozgłoszeniowego algorytmu konsensusu jednolitego związane jest z zajściem zdarzenia $e\mathrm{\_}propos{e}^{UC}(P_i,v_i)$ w procesie aplikacyjnym $P_i$. W efekcie tego zdarzenia, monitor $Q_i$ rozpoczyna wymianę wiadomości z innymi monitorami w celu uzgodnienia wspólnej decyzji co do wartości $v$. Uzgodnienie to prowadzi do zajścia zdarzeń ${\mathbf{𝐝}\mathbf{𝐞}\mathbf{𝐜}\mathbf{𝐢}\mathbf{𝐝}\mathbf{𝐞}}^{UC}(P_i,v)$.

W wyniku wykrycia awarii z użyciem detektora awarii P, proces $P_j$ jest usuwany ze zbioru poprawnych procesów $correc{t}_i$ widzianych przez $P_i$.

W przypadku otrzymania propozycji od monitora $Q_j$ wartość z pola $proposedValue$ otrzymanej wiadomości MYPROP dodawana jest do zbioru propozycji $proposalSe{t}_i$. Identyfikator procesu dodawany jest do zbioru $delivere{d}_i[roundN{o}_i]$ identyfikatorów procesów, od których w danej rundzie roundNoi otrzymano wiadomość z proponowanym zbiorem wartości.

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