Content deleted Content added
Wrong redirect: Distributed Algorithm and Distributed Computing should have it's own separate pages |
→[[Consensus (computer science)|Consensus]]: added consensus requirements |
||
Line 9:
=== [[Consensus (computer science)|Consensus]] ===
Consensus Algorithms try to solve the problem of a number of processes agreeing on a common decision.
More precisely, a Consensus protocol must satisfy the four formal properties below.
* Termination: every correct process decides some value.
* Validity: if all processes propose the same value v, then every correct process decides v.
* Integrity: every correct process decides at most one value, and if it decides some value v, then v must have been proposed by some process.
* Agreement: if a correct process decides v, then every correct process decides v.
A typical algorithm for solving consensus is the [[paxos algorithm]].
| |||