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\_propose^{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 {decide} ^{UC}(P_{i},v)$.

W wyniku wykrycia awarii z użyciem detektora awarii P, proces $P_{j}$ jest usuwany ze zbioru poprawnych procesów $correct_{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 $proposalSet_{i}$. Identyfikator procesu dodawany jest do zbioru $delivered_{i}[roundNo_{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 >>