分布式事务(2PC) vs 共识协议(Paxos/raft)
本质上,分布式事务和共识协议解决的不是同一个问题。2PC解决的是分布式事务的一致性,存储的数据各有不同,目标侧重于ACID;Paxos/raft解决的是副本间数据的一致性和高可用,存储的数据完全一致,目标侧重于replication。
三阶段提交是两阶段提交的改进版本,但无论是2PC还是3PC都无法应对协调者失效的问题,都会造成数据不一致的情况。
为了让让分布式事务真正可用,就需要在协调者挂掉的时候能选举出来一个新的协调者来解决分歧,这就需要使用共识算法了。
Paxos和Raft用于多个节点对同一数据变化达成一致。Paxos和Raft提供了高可用特性,包括选主、多数操作成功、防止脑裂等。
-
Paxos/Raft是多数派成功,2PC中只有当所有的请求都成功才算成功。
-
Paxos/Raft考虑了高可用性,2PC没有对高可用有充分的考虑。
故在实际分布式应用中,会将Paxos/Raft和2PC结合使用。
比如在分布式数据库中,通过Paxos/Raft来保证数据副本的一致性,2PC+MVCC来实现分布式事务的一致性。
2PC过程中,如果节点挂掉,则分布式事务执行阻塞,而Raft保证了2PC中的参与者节点有多个副本,挂掉一个有替补,这样就解决了2PC过程中的问题。
标签: