Distributed Systems, Distributed Algorithms, Algorithms, Paxos, Consensus.
between safety and liveness. Paxos is a safe algorithm — once consensus is reached, the agreed value is not changed. However, Paxos is not guaranteed to be live — it may not terminate in some rare cases. In fact an asynchronous consensus algorithm cannot be guaranteed to be both safe and live. This