分布式事务(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过程中的问题。