-
Notifications
You must be signed in to change notification settings - Fork 1
More About Consensus Protocol
luther07 edited this page May 5, 2011
·
5 revisions
A consensus protocol must satisfy four formal properties. Per Wikipedia:
- 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.