【分布式系统百科】共识问题的精确定义：Agreement、Validity、Termination
共识到底在解决什么问题？Agreement、Validity、Termination 三个性质的精确含义是什么？Safety 和 Liveness 的区分为什么如此关键？FLP 不可能定理对工程实践意味着什么？本文从形式化定义出发，逐步展开共识的变体、原子广播的等价性，以及状态机复制这个最重要的应用。
distributed-systems 分类归档
共 3 篇文章 · 返回首页
【分布式系统百科】Paxos：从 Single-Decree 到 Multi-Paxos 的工程之路
Paxos 是分布式共识的理论基石。本文从 Single-Decree Paxos 的精确语义和安全性证明出发，逐步推导 Multi-Paxos 的工程优化，分析 Dueling Proposers、性能瓶颈和实现困难，最后给出一份可运行的 Go 实现。
【分布式系统百科】物理时钟的谎言：NTP、PTP 与时钟漂移的工程现实
分布式系统的物理时钟从来不精确：石英振荡器每天最多漂移 8.6 秒，NTP 校准依赖对称网络假设，闰秒可以在凌晨击垮 Linux 内核。本文拆解石英漂移的物理根源、NTP/PTP 协议的校准机制、时钟跳变对超时逻辑的破坏、Spanner TrueTime 和 AWS Clockbound 的工程方案，以及工程师应该遵守的墙上时钟与单调时钟使用规范。