Pr-1st-1.1-m13-Slajd13

Mechanizm konsensusu

Schematycznie, miejsce mechanizmu konsensusu ilustruje powyższy slajd. Mechanizm jest inicjowany zajściem zdarzeń $e\mathrm{\_}propos{e}^{RC}(P_i,v_i)$ w procesach aplikacyjnych $P_i$. Jego efektem jest natomiast podjęcie przez każdy monitor decyzji co do ostatecznej wartości $v$. Podjęcie tej decyzji odpowiada wykonaniu operacji ${\mathbf{𝐝}\mathbf{𝐞}\mathbf{𝐜}\mathbf{𝐢}\mathbf{𝐝}\mathbf{𝐞}}^{RC}(P_i,v)$ i zajściu zdarzenia $e\mathrm{\_}decide(P_i,v)$, oznaczającego osiągnięcie konsensusu przez $P_i$, a więc uzgodnienia wartości $v$ z wszystkimi procesami.

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