Sponsored Links
-->

Wednesday, October 10, 2018

Lecture 3. Unit 4. Safety and Liveness - YouTube
src: i.ytimg.com

In distributed computing, safety properties informally require that "something bad will never happen" in a distributed system or distributed algorithm. Unlike liveness properties, safety properties can be violated by a finite execution of a distributed system. In a database system, a promise to never return data with null fields is an example of a safety guarantee. All properties can be expressed as the intersection of safety and liveness properties.


Video Safety property



References

Source of article : Wikipedia