Solution Requirements for Consensus

• Agreement: All processes decide on the same value.

• Validity: If a process decides on a value, then there was a process that started with that value.

• Termination: All processes that do not fail eventually decide.

Previous slide

Next slide

Back to first slide

View graphic version