Pr-1st-1.1-m13-Slajd53

Konsensus probabilistyczny – operacja decide

Określenie przez proces $P_i$ (monitor $Q_i$ ) decyzji co do ostatecznie uzgodnionej wartości $v$ następuje w wyniku wykonania operacji ${\mathbf{𝐝}\mathbf{𝐞}\mathbf{𝐜}\mathbf{𝐢}\mathbf{𝐝}\mathbf{𝐞}}^{PC}(P_i,v)$. Wykonanie tej operacji kończy mechanizm konsensusu. Zdarzenie $e\mathrm{\_}decid{e}^{PC}(P_i,v)$ zachodzące w procesie $P_i$ w wyniku wykonania operacji ${\mathbf{𝐝}\mathbf{𝐞}\mathbf{𝐜}\mathbf{𝐢}\mathbf{𝐝}\mathbf{𝐞}}^{PC}(P_i,v)$, oznacza osiągnięcie przez proces aplikacyjny $P_i$ konsensusu, a więc uzgodnienia wartości $v$ z wszystkimi procesami.

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