【分布式系统百科】RPC 框架内核：从透明调用幻觉到工程实战
2020 年 11 月 25 日，Google 全球范围的服务连锁故障。根因是内部 RPC 框架的一个默认超时配置：当身份认证服务响应变慢时，数十万个 RPC 调用阻塞在等待认证结果上，连接池耗尽，请求堆积如山，最终拖垮了包括 Gmail、YouTube、Google Cloud 在内的几乎所有面向用户的服务。一个看起…
【分布式系统百科】 分类归档
共 6 篇文章 · 返回首页
【分布式系统百科】Gossip 协议：从流行病模型到大规模集群通信
一个 1000 节点的集群里，某台机器的磁盘满了。这个信息需要多久才能传遍整个集群？
【分布式系统百科】可靠广播：从尽力而为到全序的五层抽象
三个副本需要以相同顺序执行同一批写操作。节点 A 先广播 x1，再广播 x2；节点 B 收到的顺序却是 x2 然后 x1。副本状态分叉了——A 认为 x2，B 认为 x1。更糟糕的是，如果 A 在发完第一条消息后崩溃，某些节点收到了 x1，另一些没收到。此时系统中存在两类节点：知道 x1 的和不知道的。后续所有基于 x…
【分布式系统百科】链式复制与 CRAQ：不走寻常路的高吞吐方案
在分布式系统的复制协议中，我们通常会第一时间想到 Raft 或 Paxos。这些基于共识（Consensus）的复制方案已经成为工业界的主流选择，从 etcd 到 CockroachDB，从 Consul 到 TiKV，几乎所有需要强一致性保证的系统都在使用它们。但在 2004 年，Cornell 大学的 Robber…
【分布式系统百科】线性一致性的实现：从理论定义到工程验证
在分布式系统中，一致性模型定义了并发操作的行为边界。线性一致性（Linearizability）作为最强的一致性保证，为分布式对象提供了与单机原子操作相同的语义。它让程序员可以像推理本地变量一样推理分布式系统，但实现代价高昂。本文深入探讨线性一致性的形式化定义、实现方法、优化技术以及验证手段。
【分布式系统百科】复制日志的设计：物理复制 vs 逻辑复制 vs 状态机复制
分布式系统中的复制机制离不开日志。无论是数据库的主从复制、消息队列的分区副本，还是共识算法中的状态同步，背后都依赖某种形式的复制日志（Replication Log）。但并非所有日志设计都是相同的——根据复制的粒度和抽象层次，我们可以将复制日志分为三大类：物理复制（Physical Replication）、逻辑复制（…