分布式事务(2)—强一致性分布式事务解决方案

如果你不相信努力和时光,那么成果就会是第一个选择辜负你的。不要去否定你自己的过去,也不要用你的过去牵扯你现在的努力和对未来的展望。不是因为拥有希望你才去努力,而是去努力了,你才有可能看到希望的光芒。分布式事务(2)—强一致性分布式事务解决方案,希望对大家有帮助,欢迎收藏,转发!站点地址:www.bmabk.com,来源:原文

 分布式事务(1)-理论基础

分布式事务(3)—强一致性分布式事务Atomikos实战

分布式事务(4)—最终一致性方案之TCC

 

强一致事务要求在任意时刻各节点数据在任意时刻都是一致的。强一致事务的解决方案主要有DTP模型(全局事务模型)、2PC3PC

强一致性数据一致性较高,但是存在性能问题,在分布式事务未完全提交和回滚之前,查询不到新的数据,牺牲了可用性,实现也比较复杂,不适合高并发场景。

基于DTP模型典型的解决方案是分布式通信协议的XA规范。Mysql Connector5.x开始提供对XA规范的支持。XA事务支持不同的数据库,但是需要其都支持XA规范。

1.DTP模型

DTP中几个重要的概念,全局事务,分支事务

全局事务:由事务管理器管理的事务,能够一次操作多个资源管理器

分支事务:每个资源管理器中的独立事务

分布式事务(2)---强一致性分布式事务解决方案

AP:应用程序

RM:资源管理器,可以理解为数据库

TM:事务管理器,负责协调和管理DTP模型中的事务,提供应用程序编程接口,同时管理资源管理器

 

2.2PC

2PC模型是指两阶段提交模型,它将事务流程分为prepare阶段和commit阶段。

prepare阶段:事务管理器给参与全局事务的资源管理器发送prepare消息,资源管理器要么返回失败,要么在本地执行本地事务,将事务写入本地的redolog文件和undolog文件,此时事务并没有真正提交。

commit阶段:事务管理器收到所有参与事务的资源管理器返回的消息来决定是进行全局事务提交或者回滚

 

分布式事务(2)---强一致性分布式事务解决方案

2PC存在的问题

  1.同步阻塞:事务执行过程,参与事务的节点都会对其占用的公共资源枷锁,导致其他访问受阻

  2.单点故障:事务管理器发生故障,会导致资源一致阻塞

  3.数据不一致:如果在commit阶段由于网络或部分资源管理器发生故障,会导致部分资源管理器未收到commit消息,导致数据不一致

  4.无法解决的问题:如果如果commit阶段,事务管理器发出commit消息后宕机,并且唯一收到commit消息的资源管理器也宕机了,则无法确认事务是否已经提交

 

3.3PC

3PC是三阶段提交是2PC的改进版本,它将prepare分成了两个阶段多出了一个canCommit阶段,是否可以提交,再执行doCommit/doRollback

3PC模型中资源管理器无法收到来自事务管理器发出的消息,资源管理会自己执行事务的提交,不会一致持有造成阻塞,但是这也会导致数据的不一致。

以上主要的问题还是会存在数据的不一致,如果解决这个问题。我们可以记录日志,每个分支事务执行流程中的状态信息。以供发生异常情况之后可以恢复事务。比如Atomikos框架。

 

 4.JTA规范

JTA(java transaction API)将XA规范中的DTP模型交互的抽象出来定义的接口。主要有:

javax.transaction.TransactionManager  事务管理器
javax.transaction.UserTransaction         声明一个分布式事务
javax.transaction.TransactionSynchronizationRegistry   事务注册
javax.transaction.xa.XAResource    资源管理器提供给事务管理器操作
javax.transaction.xa.Xid    事务ID 

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

文章由极客之音整理,本文链接:https://www.bmabk.com/index.php/post/201464.html

(1)
小半的头像小半

相关推荐

极客之音——专业性很强的中文编程技术网站,欢迎收藏到浏览器,订阅我们!