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:
“I nightly offer up my prayers to the throne of grace for the health and safety of you all, and that we ought all to rely with confidence on the promises of our dear redeemer, and give him our hearts. This is all he requires and all that we can do, and if we sincerely do this, we are sure of salvation through his atonement.”
—Andrew Jackson (1767–1845)
“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)