A promise in distributed systems that claims that “something good” will eventually happen. A system will never enter a state such that no progress cannot be made.
One such example of a liveness property is eventual consistency.
A promise in distributed systems that claims that “something good” will eventually happen. A system will never enter a state such that no progress cannot be made.
One such example of a liveness property is eventual consistency.