partial-synchrony 标签归档 | 土法炼钢兴趣小组的算法知识备份

【分布式系统百科】分布式系统模型：你的假设决定你的命运

分布式系统的正确性证明和协议设计都建立在系统模型之上。同步还是异步？崩溃还是拜占庭？这些看似学术的分类，直接决定了你能用什么协议、不能用什么协议。本文拆解通信模型、故障模型和进程模型三个维度，把 Paxos、Raft、PBFT、Bitcoin 放回它们各自的模型空间。