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, 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)
“He had a gentleman-like frankness in his behaviour, and as a great point of honour as a minister can have, especially a minister at the head of the treasury, where numberless sturdy and insatiable beggars of condition apply, who cannot all be gratified, nor all with safety be refused.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“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)