Safety and Liveness Properties
In order to guarantee safety, Paxos defines three safety properties and ensures they are always held, regardless of the pattern of failures:
- Non-triviality
- Only proposed values can be learned.
- Consistency
- At most one value can be learned (i.e., two different learners cannot learn different values).
- Liveness(C;L)
- If value C has been proposed, then eventually learner L will learn some value (if sufficient processors remain non-faulty).
Read more about this topic: Paxos (computer Science)
Famous quotes containing the words safety and/or properties:
“There is no calamity which a great nation can invite which equals that which follows a supine submission to wrong and injustice and the consequent loss of national self-respect and honor, beneath which are shielded and defended a people’s safety and greatness.”
—Grover Cleveland (1837–1908)
“A drop of water has the properties of the sea, but cannot exhibit a storm. There is beauty of a concert, as well as of a flute; strength of a host, as well as of a hero.”
—Ralph Waldo Emerson (1803–1882)