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:
“Love no man in good earnest, nor no further in sport
neither, than with safety of a pure blush thou mayst in
honor come off again.”
—William Shakespeare (1564–1616)
“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)