`
yourenyouyu2008
  • 浏览: 286081 次
  • 性别: Icon_minigender_1
  • 来自: 北京
社区版块
存档分类
最新评论

关于分布式事务、两阶段提交、一阶段提交、Best Efforts 1PC模式和事务补偿机制的研究

 
阅读更多

本文原文连接: http://blog.csdn.net/bluishglc/article/details/7612811 ,转载请注明出处!

1.XA

 

XA是由X/Open组织提出的分布式事务的规范。XA规范主要 定义了(全局)事务管理器(Transaction Manager)和(局部)资源管理器(Resource Manager)之间的接口。XA接口是双向的系统接口,在事务管理器(Transaction Manager)以及一个或多个资源管理器(Resource Manager)之间形成通信桥梁。XA之所以需要引入事务管理器是因为,在分布式系统中,从理论上讲(参考Fischer等的论文),两台机器理论上无 法达到一致的状态,需要引入一个单点进行协调。事务管理器控制着全局事务,管理事务生命周期,并协调资源。资源管理器负责控制和管理实际资源(如数据库或 JMS队列)。下图说明了事务管理器、资源管理器,与应用程序之间的关系:

 

图1.XA规范下的分布式事务各类参与者之间的关系

 

2.JTA


作 为java平台上事务规范JTA(Java Transaction API)也定义了对XA事务的支持,实际上,JTA是基于XA架构上建模的,在JTA 中,事务管理器抽象为javax.transaction.TransactionManager接口,并通过底层事务服务(即JTS)实现。像很多其他 的java规范一样,JTA仅仅定义了接口,具体的实现则是由供应商(如J2EE厂商)负责提供,目前JTA的实现主要由以下几种:


1.J2EE容器所提供的JTA实现(JBoss)
2.独立的JTA实现:如JOTM,Atomikos.这些实现可以应用在那些不使用J2EE应用服务器的环境里用以提供分布事事务保证。如Tomcat,Jetty以及普通的java应用。

 

3.两阶段提交


所有关于分布式事务的介绍中都必然会讲到两阶段提交,因为它是实现XA分布式事务的关键(确切地说:两阶段提交主要保证了分布式事务的原子性:即所有结点要么全做要么全不做)。所谓的两个阶段是指:第一阶段:准备阶段和第二阶段:提交阶段。

 

图2.两阶段提交示意图(摘自info发布的《java事务设计策略》一文)



1.准备阶段: 事务协调者(事务管理器)给每个参与者(资源管理器)发送Prepare消息,每个参与者要么直接返回失败(如权限验证失败),要么在本地执行事务,写本 地的redo和undo日志,但不提交,到达一种“万事俱备,只欠东风”的状态。(关于每一个参与者在准备阶段具体做了什么目前我还没有参考到确切的资 料,但是有一点非常确定:参与者在准备阶段完成了几乎所有正式提交的动作,有的材料上说是进行了“试探性的提交”,只保留了最后一步耗时非常短暂的正式提 交操作给第二阶段执行。)

2.提交阶段:如果协调者收到了参与者的失败消息或者超时,直接给每个参与者发送回滚(Rollback)消息;否则,发送提交(Commit)消息;参与者根据协调者的指令执行提交或者回滚操作,释放所有事务处理过程中使用的锁资源。(注意:必须在最后阶段释放锁资源)

将 提交分成两阶段进行的目的很明确,就是尽可能晚地提交事务,让事务在提交前尽可能地完成所有能完成的工作,这样,最后的提交阶段将是一个耗时极短的微小操 作,这种操作在一个分布式系统中失败的概率是非常小的,也就是所谓的“网络通讯危险期”非常的短暂,这是两阶段提交确保分布式事务原子性的关键所在。(唯 一理论上两阶段提交出现问题的情况是当协调者发出提交指令后当机并出现磁盘故障等永久性错误,导致事务不可追踪和恢复)

不能完全避免事务一致性问题,只是减少发生的概率(每增加一级步骤就好减少发生概率,但是会带来性能开销)

从两阶段提交的工 作方式来看,很显然,在提交事务的过程中需要在多个节点之间进行协调,而各节点对锁资源的释放必须等到事务最终提交时,这样,比起一阶段提交,两阶段提交 在执行同样的事务时会消耗更多时间。事务执行时间的延长意味着锁资源发生冲突的概率增加,当事务的并发量达到一定数量的时候,就会出现大量事务积压甚至出 现死锁,系统性能就会严重下滑。这就是使用XA事务

4.一阶段提交(Best Efforts 1PC模式)

不 像两阶段提交那样复杂,一阶段提交非常直白,就是从应用程序向数据库发出提交请求到数据库完成提交或回滚之后将结果返回给应用程序的过程。一阶段提交不需 要“协调者”角色,各结点之间不存在协调操作,因此其事务执行时间比两阶段提交要短,但是提交的“危险期”是每一个事务的实际提交时间,相比于两阶段提 交,一阶段提交出现在“不一致”的概率就变大了。但是我们必须注意到:只有当基础设施出现问题的时候(如网络中断,当机等),一阶段提交才可能会出现“不 一致”的情况,相比它的性能优势,很多团队都会选择这一方案。关于在spring环境下如何实现一阶段提交,有一篇非常优秀的文章值得参考:http://www.javaworld.com/javaworld/jw-01-2009/jw-01-spring-transactions.html?page=5

5.事务补偿机制


像best efforts 1PC这种模式,前提是应用程序能获取所有的数据源,然后使用同一个事务管理器(这里指是的spring的事务管理器)管理事务。这种模式最典型的应用场 景非数据库sharding莫属。但是对于那些基于web service/rpc/jms等构建的高度自治(autonomy)的分布式系统接口,best efforts 1PC模式是无能为力的,此类场景下,还有最后一种方法可以帮助我们实现“最终一致性”,那就是事务补偿机制。关于事务补偿机制是一个大话题,本文只简单 提及,以后会作专门的研究和介绍。

 

6.在基于两阶段提交的标准分布式事务和Best Efforts 1PC两者之间如何选择

一 般而言,需要交互的子系统数量较少,并且整个系统在未来不会或很少引入新的子系统且负载长期保持稳定,即无伸缩要求的话,考虑到开发复杂度和工作量,可以 选择使用分布式事务。对于时间需求不是很紧,对性能要求很高的系统,应考虑使用Best Efforts 1PC或事务补偿机制。对于那些需要进行sharding改造的系统,基本上不应再考虑分布式事务,因为sharding打开了数据库水平伸缩的窗口,使 用分布式事务看起来好像是为新打开的窗口又加上了一把枷锁。

补充:关于网络通讯的危险期

由 于网络通讯故障随时可能发生,任何发出请求后等待回应的程序都会有失去联系的危险。这种危险发生在发出请求之后,服务器返回应答之前,如果在这个期间网 络通讯发生故障,发出请求一方无法收到回应,于是无法判断服务器是否已经成功地处理请求,因为收不到回应可能是请求没有成功地发送到服务器,也可能是服务 器处理完成后的回应无法传回请求方。这段时间称为网络通讯的危险期(In-doubt Time)。很显然,网络通讯的危险期是分布式系统除单点可靠性之外需要考虑的另一个可靠性问题。

分享到:
评论

相关推荐

    轻量级分布式数据访问层CobarClient.zip

    数据库本地事务的支持, 目前采用Best Efforts 1PC模式的事务管理.数据访问操作相关SQL的记录, 分析等.(可以采用国际站现有Ark解决方案,但CobarClient提供扩展的切入接口) 标签:CobarClient

    分布式光纤传感技术在大型水池渗漏监测中的应用.pdf

    技术文档中提及的引用文献列表(如Intelligent civil structures efforts in Vermont - An overview、Application of fiber optic distributed sensors for strain measurement in civil engineering等)也显示了...

    谐波抑制和无功补偿

    The proposed design strategies and improvements to existing filter configurations contribute to the ongoing efforts in mitigating harmonic distortion and ensuring reliable power supply for sensitive ...

    基于MyBatis的数据库切分框架可实现数据的水平切分和垂直切分源码.zip

    MyBatis Shards简介 MyBatis Shards在实现方式上完全借鉴于Hibernate Shards,目前可以认为是Hibernate Shards...在多数据源事物管理方面借鉴Cobar Client,采用Best Efforts 1PC Pattern的方式来实现多数据源的管理。

    藏经阁-Use CCSMap to Improve HBase YGC Time & Efforts on SLA improv

    "藏经阁-Use CCSMap to Improve HBase YGC Time & Efforts on SLA improv" CCSMap 是阿里云开发的一种高效的内存管理技术,用于改进 HBase 的 YGC 时间和努力,并提高 SLA 改进。下面是 CCSMap 的详细知识点: 为...

    研究生精读Unit4作业答案解析.doc

    1. “It is neither socially nor economically desirable that every city dweller owns a car.” 这句话强调了城市居民普遍拥有汽车在社会和经济两方面都不是理想的情况。这可能是指城市交通拥堵、环境污染和资源...

    IBM:Maximize your Web 2.0 efforts with Cloud Computing

    云计算是一种新兴的IT交付模式,它将应用程序、数据和IT资源迅速配置,并以标准化的形式通过互联网提供给用户,采用灵活的定价策略。这种模式旨在解决传统IT环境中计算能力大量闲置(高达85%)的问题,以及由于信息...

    exetreme value

    尽管大量研究致力于解析导致幂律尺度普遍存在(Ubiquity of Power-Law Scaling)的行为机制,但将幂律作为一种非常一般的随机过程大规模实现的极限行为的强大理论基础却较少为人所知。本章节旨在简要介绍极值理论...

    欧洲援助集团是Sun系统上完成大型主机应用移植的第一千个客户

    Sun的大型机事务处理软件(Sun MTP)和大型机批量管理器软件(Sun MBM)在此过程中发挥了关键作用,它们使得客户能够顺利地将CICS、COBOL和批量处理应用迁移到Unix环境中。这种迁移不仅降低了欧洲援助集团的IT成本,...

    浙江专用2022版高考英语一轮复习课时提升作业三必修1Unit3Traveljournal含解析新人教版20210628216

    7. 科学研究的重要性:科学家希望这一新分析能促进更多关于人与野生动物互动的研究,以增进我们对这些复杂关系的理解,并制定出更有利于动物保护的策略。 8. 生态旅游的潜在危害:尽管生态旅游有其积极面,如提高...

    Steering-efforts-test.zip_labview 汽车_visbraking process_操纵稳定性_转

    在本文中,我们将深入探讨与"Steering-efforts-test.zip_labview 汽车_visbraking process_操纵稳定性_转"相关的技术知识点,这主要涉及LabVIEW编程、汽车的制动过程(visbraking process)、操纵稳定性和转向系统,...

    「数据库审计」How to Reduce Supply Chain Risk Lessons from Efforts t

    「数据库审计」How to Reduce Supply Chain Risk Lessons from Efforts to Block Huawei - 数据库审计 身份管理 DDoS 安全分析 安全开发 AI安全

    omnet++网络仿真的一些论文

    最后,cpe1858[1].pdf可能探讨的是社区网络保护(Community Protection Efforts)或者网络设备(Customer Premises Equipment, CPE)在安全防御中的角色,或者是对这些设备在受到攻击时的建模和仿真。 总的来说,...

    strava-best-efforts:一些小脚本,使用Strava信息显示每次运行时的最大努力

    只需要填写名称和回调域。 对于名称,请选择任何名称,对于回调域,请选择localhost。 注册后,您将看到一个表,其中一行显示“您的访问令牌”。 单击它右边的显示链接以查看它。 访问该数据需要此令牌,因此必须在...

    2012考研英语解析.pdf

    文档内容还涉及了写作技巧,如在第51部分提到了“Writing”,内容是关于写给国际学生的一封信,信中包含欢迎词和一些建议。这反映了写作技巧中如何表达欢迎和给予建议的文体和策略。信件内容提到了准备行李以及对...

    2013届高考英语一轮复习 Unit1 A land of diversity and Unit2 Cloning限时训练

    【标题】和【描述】提及的是2013年高考英语一轮复习的两个单元内容,分别是Unit1 "A land of diversity"(多元的土地)和Unit2 "Cloning"(克隆)。这是一份针对新人教版选修8的限时训练课件,旨在帮助学生在40分钟...

    英语独立主格

    英语独立主格是一种特殊的语法结构,它在英语中起到丰富句子表达的作用,使得文本更加多彩且具有变化性。独立主格并非完整的句子,因为它缺乏独立的主语和谓语动词,但它在逻辑上仍能构成主谓或主表关系。这种结构由...

    ADTs Data Sturctures and problem solving with c ++

    The author and publisher of this book have used their best efforts in preparing this book. These efforts include the development, research, and testing of the theories and programs to determine their ...

    「移动安全」How_to_Reduce_Supply_Chain_Risk_Lessons_from_Efforts_to

    「移动安全」How_to_Reduce_Supply_Chain_Risk_Lessons_from_Efforts_to_Block_Huawei - web安全 解决方案 安全防御 安全集成 数据库安全 漏洞分析

Global site tag (gtag.js) - Google Analytics