土法炼钢兴趣小组的算法知识备份

【分布式系统百科】共识问题的精确定义：Agreement、Validity、Termination

2026-04-13 | distributed-systems | #consensus #agreement #validity #termination #safety #liveness #flp #atomic-broadcast #state-machine-replication #paxos #raft

共识到底在解决什么问题？Agreement、Validity、Termination 三个性质的精确含义是什么？Safety 和 Liveness 的区分为什么如此关键？FLP 不可能定理对工程实践意味着什么？本文从形式化定义出发，逐步展开共识的变体、原子广播的等价性，以及状态机复制这个最重要的应用。