[论文解读] Consensus on Transaction Commit

Jim Gray, Leslie Lamport|ArXiv.org|Aug 14, 2004

Distributed systems and fault tolerance参考文献 9被引用 21

一句话总结

本文提出Paxos Commit，一种容错的事务提交协议，用2F+1个协调者替代两阶段提交中的单个协调者，以确保只要多数协调者仍处于运行状态，协议就能继续执行。通过整合Paxos共识算法，即使多达F个协调者发生故障，也能实现非阻塞提交，同时保持与两阶段提交相同的稳定存储写入延迟，但在正常情况下消息开销略有增加。

ABSTRACT

The distributed transaction commit problem requires reaching agreement on whether a transaction is committed or aborted. The classic Two-Phase Commit protocol blocks if the coordinator fails. Fault-tolerant consensus algorithms also reach agreement, but do not block whenever any majority of the processes are working. Running a Paxos consensus algorithm on the commit/abort decision of each participant yields a transaction commit protocol that uses 2F +1 coordinators and makes progress if at least F +1 of them are working. In the fault-free case, this algorithm requires one extra message delay but has the same stable-storage write delay as Two-Phase Commit. The classic Two-Phase Commit algorithm is obtained as the special F = 0 case of the general Paxos Commit algorithm.

研究动机与目标

• 为解决两阶段提交中的阻塞问题，即协调者故障会导致协议无法继续执行。
• 设计一种事务提交协议，只要多数协调者正常运行，就能保证协议进展。
• 将 Paxos 共识算法整合到事务提交中，实现容错性，同时不牺牲稳定性或一致性。
• 证明当 F=0（单个协调者）时，两阶段提交是 Paxos Commit 的退化情况。

提出的方法

• 使用 2F+1 个协调者替代单个协调者，以容忍最多 F 个故障。
• 应用 Paxos 共识算法，使所有协调者就提交/中止决策达成一致。
• 使用注册服务进程维护已加入的资源管理器集合，利用 Paxos 确保即使注册服务失败，数据也保持一致。
• 引入基于选票的机制，协调者通过执行阶段 1a 和 2a 消息，就事务结果达成共识。
• 使用失败值 ⊥ 表示在选票 0 中未达成共识时的中止操作，实现优雅降级。
• 通过仅向多数接受者发送阶段 2a 消息，优化消息延迟，在无故障情况下降低通信开销。

实验结果

研究问题

• RQ1 能否设计一种事务提交协议，在协调者故障时避免阻塞，同时保持安全性和一致性？
• RQ2 如何将 Paxos 共识算法适配以解决分布式事务提交问题？
• RQ3 两阶段提交与容错替代方案（如 Paxos Commit）之间的消息与存储开销权衡如何？
• RQ4 两阶段提交是否是更通用容错提交协议的一个特例？
• RQ5 在何种网络假设下，非阻塞事务提交协议仍能保持正确性和高效性？

主要发现

• 只要 2F+1 个协调者中至少 F+1 个处于运行状态，Paxos Commit 就能保证协议进展，具备容忍 F 个协调者故障的能力。
• 该协议与两阶段提交具有相同的稳定存储写入延迟，即 I/O 成本未增加。
• 在正常（无故障）情况下，Paxos Commit 比两阶段提交多一个消息延迟，但可通过优化实现最小消息延迟。
• 快速版 Paxos Commit 实现了非阻塞协议的理论最小消息延迟，无故障时效率与 Guerraoui 等人提出的算法相当。
• 当 F=0 时，两阶段提交在形式上等价于 Paxos Commit，证实 Paxos Commit 是经典协议的推广。
• 协议通过使用特殊失败值 ⊥ 正确处理因协调者故障导致的中止，即使在部分故障情况下也能保证一致性。