Distributed Systems, System Design Concepts, Google Spanner, System Design Interview, Distributed System Design.
while) as long as we never compromise on safety. In the context of consensus algorithms, the Paxos and Raft systems are always consistent (a safety condition) but might not make progress (a liveness condition) when a majority is unavailable. Computational models It turns out that the execution