【分布式系统百科】Paxos：从 Single-Decree 到 Multi-Paxos 的工程之路
Paxos 是分布式共识的理论基石。本文从 Single-Decree Paxos 的精确语义和安全性证明出发，逐步推导 Multi-Paxos 的工程优化，分析 Dueling Proposers、性能瓶颈和实现困难，最后给出一份可运行的 Go 实现。
lamport 标签归档
共 1 篇文章 · 返回首页
发布来自土法炼钢兴趣小组的知识、笔记、进展和应用。主题包括数据结构和算法、编程语言、网络安全、密码学等。
共 1 篇文章 · 返回首页
Paxos 是分布式共识的理论基石。本文从 Single-Decree Paxos 的精确语义和安全性证明出发，逐步推导 Multi-Paxos 的工程优化，分析 Dueling Proposers、性能瓶颈和实现困难，最后给出一份可运行的 Go 实现。