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:
“A lover is never a completely self-reliant person viewing the world through his own eyes, but a hostage to a certain delusion. He becomes a perjurer, all his thoughts and emotions being directed with reference, not to an accurate and just appraisal of the real world but rather to the safety and exaltation of his loved one, and the madness with which he pursues her, transmogrifying his attention, blinds him like a victim.”
—Alexander Theroux (b. 1940)
“Perhaps in a book review it is not out of place to note that the safety of the state depends on cultivating the imagination.”
—Stephen Vizinczey (b. 1933)
“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)