vlambda博客
学习文章列表

分布式事务(2PC) vs 共识协议(Paxos/raft)


本质上,分布式事务和共识协议解决的不是同一个问题。2PC解决的是分布式事务的一致性,存储的数据各有不同,目标侧重于ACID;Paxos/raft解决的是副本间数据的一致性和高可用,存储的数据完全一致,目标侧重于replication。

用两阶段提交来保证原子性的操作有以下问题:
  • 但当协调者发生故障,参与者会一直阻塞下去。
  • 当发生网络分区后会造成数据不一致的问题。

三阶段提交是两阶段提交的改进版本,但无论是2PC还是3PC都无法应对协调者失效的问题,都会造成数据不一致的情况。

为了让让分布式事务真正可用,就需要在协调者挂掉的时候能选举出来一个新的协调者来解决分歧,这就需要使用共识算法了。

Paxos和Raft用于多个节点对同一数据变化达成一致。Paxos和Raft提供了高可用特性,包括选主、多数操作成功、防止脑裂等。

2PC和Paxos/Raft的不同点:
  • Paxos/Raft是多数派成功,2PC中只有当所有的请求都成功才算成功。
  • Paxos/Raft考虑了高可用性,2PC没有对高可用有充分的考虑。


故在实际分布式应用中,会将Paxos/Raft和2PC结合使用。

比如在分布式数据库中,通过Paxos/Raft来保证数据副本的一致性,2PC+MVCC来实现分布式事务的一致性。

2PC过程中,如果节点挂掉,则分布式事务执行阻塞,而Raft保证了2PC中的参与者节点有多个副本,挂掉一个有替补,这样就解决了2PC过程中的问题。