Distributed Systems, System Design Concepts, Google Spanner, System Design Interview, Distributed System Design.
Defining Liveness. Examples of using the safety and liveness properties are consensus algorithms, such as Paxos and Raft. The safety condition could be that a minority never changes a value chosen by a majority. The liveness condition can be that the consensus makes progress as long as a simple