基础故障模型与基本不可能性GitHub ↗ 共识Paxos、RaftGitHub ↗ 一致性模型线性一致到最终一致GitHub ↗ 分布式事务2PC、Percolator、SagaGitHub ↗ 复制与分区主从、多主、无主GitHub ↗ 时钟与顺序Lamport、HLC、TrueTimeGitHub ↗

故障检测与成员心跳、Gossip、SWIMGitHub ↗ 快照与广播Chandy-LamportGitHub ↗ CRDT 与反熵无冲突复制GitHub ↗ 形式化验证与测试TLA+、JepsenGitHub ↗

etcdRaft 实现与控制面GitHub ↗ 协调与控制面锁、选主、配置GitHub ↗ 区块链Ethereum、SolanaGitHub ↗