【分布式系统百科】分布式系统模型：你的假设决定你的命运
分布式系统的正确性证明和协议设计都建立在系统模型之上。同步还是异步？崩溃还是拜占庭？这些看似学术的分类，直接决定了你能用什么协议、不能用什么协议。本文拆解通信模型、故障模型和进程模型三个维度，把 Paxos、Raft、PBFT、Bitcoin 放回它们各自的模型空间。
Byzantine 标签归档
共 2 篇文章 · 返回首页
【分布式系统百科】Viewstamped Replication 与 PBFT：从 CFT 到 BFT
从 Oki 和 Liskov 1988 年提出的 Viewstamped Replication，到 Castro 和 Liskov 1999 年的 PBFT，共识协议经历了从崩溃容错到拜占庭容错的质变。本文深入拆解 VR 的正常操作、视图切换与恢复协议，对比 PBFT 的三阶段提交、O(n²) 消息复杂度与水位机制，分析从 CFT 到 BFT 的本质代价。