SuperAPI AI 工具集

distributed-consensus

通用与其它

查看项目

更新于 10-15 18:51

技能介绍

用途:在协议层面梳理分布式系统架构,指导共识协议选择、复制策略与一致性模型取舍。

主要能力: 共识协议选型。Raft 属崩溃故障模型(2f+1 容忍 f),基于领导者、易理解,是 etcd/Consul 默认;Multi-Paxos 属崩溃故障,基础但微妙,用于 Spanner/Chubby 一脉;BFT(PBFT、Tendermint)属拜占庭模型(3f+1 容忍 f),用于不可信或对抗节点,消息开销更高;Viewstamped Replication 属崩溃故障,类 Raft 且更早。原则:信任边界内用崩溃故障共识,节点可能恶意(跨组织、区块链)才用 BFT,代价是更多节点与消息。 复制与法定人数。读己之写满足 W + R > N,可调如 N=3、W=2、R=2;基于领导者(强一致、简单、有领导者瓶颈)对比无领导者(Dynamo 风格、可用性好,但需读修复/反熵与冲突处理);同步与异步复制对应持久性/延迟与故障切换时 RPO 的权衡。 一致性模型。由强到弱:线性一致、顺序一致、因果一致、最终一致;越强协同越多、延迟越高、可用性越低,因果足够时不必要求线性一致。 CAP/PACELC。分区时在 C 与 A 间选择;无分区时在延迟与一致性间权衡,真实系统处于谱系某点(Spanner 为 CP 加 TrueTime 时钟,Dynamo 为 AP)。时钟方面避免依赖墙上时钟排序,使用逻辑/混合逻辑时钟,或为外部一致性使用有界不确定时钟(TrueTime)。

推荐参考:配置协调、小集群用 Raft(etcd);全局强一致用 Paxos/Spanner 风格加同步时钟;高可用、地理分布、容忍冲突用无领导者 Dynamo 风格加 CRDT;对抗或多方场景用 BFT。

限制:本资料为概念性指引,未提供具体实现代码、部署步骤、性能数据或工具安装命令。