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 {decide} ^{PC}(P_{i},v)$. Wykonanie tej operacji kończy mechanizm konsensusu. Zdarzenie $e\_decide^{PC}(P_{i},v)$ zachodzące w procesie $P_{i}$ w wyniku wykonania operacji $\mathbf {decide} ^{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 >>