【分布式系统百科】2PC 的真实失败模式：阻塞、脑裂与恢复
2PC 在 Coordinator 崩溃时会阻塞所有参与者；本文精确分析三类故障窗口，拆解 Presumed Abort 优化原理，对比 Spanner/CockroachDB/TiDB 的现代方案。
distributed-transactions 标签归档
共 4 篇文章 · 返回首页
【分布式系统百科】3PC 的理论改进与 Saga 的工程妥协
2PC 阻塞时协调者宕机怎么办？3PC 试图用额外一轮消息解决，却撞上网络分区。Saga 放弃全局锁，用补偿事务换取可用性。本文从 Skeen 论文推导 3PC 的非阻塞证明，分析其分区缺陷，再到 Saga 编排/协同、补偿陷阱、Temporal 工程实践和 TCC 资源预留——把分布式事务的理论与工程讲清楚。
【分布式系统百科】Percolator 模型：Google 的乐观事务方案
Percolator 在 Bigtable 之上用三列设计实现了跨行分布式事务，其核心思路是把事务协调状态编码进数据本身，从而消除了对专用协调者节点的依赖。本文拆解其两阶段提交流程、冲突检测与锁清理机制，并分析 TiDB 对该模型的工程改进。
【分布式系统实战】分布式事务不是你以为的那个 2PC
「用 2PC 就行了」——说这话的人大概没在生产环境里被 Coordinator 挂掉后全员阻塞的锁堵过三小时。2PC 的真实失败模式、Percolator 的精妙设计、Saga 与 TCC 的工程取舍，分布式事务远比教科书复杂。