Distributed Systems, System Design Concepts, Google Spanner, System Design Interview, Distributed System Design.
majority of participating nodes are available. There is often a tradeoff between safety and liveness properties. Another reason to analyze the state of the system through two separate lenses, safety and liveness, is that for many use cases, it is acceptable to sacrifice liveness (at least for a