基于Sagas模型的改进事务模型

在Sagas事务模型中,一个长事务是由一个预先定义好执行顺序的子事务集合和他们对应的补偿子事务集合组成的。子事务是按照顺序依次执行的,当其中的某个子事务出现异常时,就逆序执行已提交过的子事务对应的补偿事务来撤销他们的操作结果并退出。这样做会产生三个问题,第一是当一个不重要的子事务出现异常时,就需要撤销全部已提交的事务;第二是事务在完成补偿事务后会退出,而不是选择更有效的执行手段;第三是该模型只支持所有子事务都有相应的补偿子事务的情况。针对这三个问题,提出了相应的解决方案。     

基于失败代价风险值的Web服务事务调度算法

针对Web服务组合中可能存在的巨大补偿代价和不可补偿的Web服务问题,定义Web服务失败代价风险值,提出基于Web服务时间约束和失败代价风险值的Web服务动态提交算法——WSDSA,采用理论证明和仿真实验的方法,证明WSDSA和传统子事务执行后立即提交的方法相比,能有效降低Web服务组合的失败代价,减少不可补偿Web服务需要补偿的次数。     

面向Web服务组合的pivot事务嵌套模型??

Web服务组合中的事务具有执行周期长的特性,一个全局事务会被划分为多个分布的子事务。各个子事务对全局事务而言具有不同的重要程度,关键子事务执行的成功与否,直接影响到全局事务执行的成败。另一方面,对某些出现故障的事务需要进行补偿,而执行过多的补偿事务会带来巨大的补偿开销。针对这些问题,提出了一个基于pivot事务的嵌套事务模型,模型中的事务分为pivot事务和非pivot事务,且含有至少一个pivot事务。同时基于该模型,给出了一个pivot事务优先调度（pivot transaction priority scheduling,PTPS）算法,通过优先执行pivot事务,来减少在pivot事务失败时执行的补偿事务数目,降低补偿开销。     

多数据库事务并发调度算法优化技术研究

研究优化调度数据库中事务问题,为保证多数据库中事务提交顺序,提高事务执行及提交的并发度,研究了事务提交图的调度算法TM2,针对算法TM2中事务管理器无法检测到全局事务与局部事务的间接冲突,提出了优化算法TMO,采用ticket算法在全局事务的每个子事务之间增加数据操作,以便在每个成员数据库的全局子事务之间创造直接冲突,并通过添加保存点恢复中止事务代替重做事务,保持了多数据库中事务的可串行化.通过仿真,对比了两种调度算法的性能.得出算法TMO解决了事务的可串行化问题,提高了事务的并发度,保证了事务的一致性.     

基于WS-C/T协议的Web服务业务事务处理研究与实现

与原子事务严格遵循ACID特性相比,Web服务业务事务具有异构、分布式、长时间运行、松耦合的特点.它允许参与者独立提交,并使用补偿操作来撤销已提交的子事务所带来的影响.针对传统事务处理模型不适合处理业务事务的情形,设计一个基于WS-C/T协议的Web服务业务事务处理原型系统,把用于协调的WS-C拂议和用于业务事务处理的WS-BA协议相结合来实现Web服务的组合应用.业务事务处理系统主要由客户端、协调者和参与者三个部分组成,客户端发起业务事务,协调者和参与者提供业务事务协调与处珲接口,实现业务事务一致性.最后通过一个业务事务应用实例,验证了原型系统的可行性,它具有协调和补偿能力.     

基于Sagas模型的改进事务工作流模型

Sagas模型要求所有子事务都要有对应的补偿子事务,任何子事务失败必须强制其它所有子事务失败,不能很好支持多事务多实例的并发执行。这三个缺陷使得Sagas模型至今不能运用到商业工作流系统中。针对Sagas模型的缺陷,提出一种改进的Sagas事务工作流模型,对子事务属性进行了分类并通过构造子事务间的关联关系使得可补偿子事务失败时无需强制所有子事务失败;引入补偿服务完善了工作流模型的语义;给出了基于事务实例锁集和后继子事务类型集的多事务多实例并发运行算法。该模型解决了Sagas模型存在的问题。     

一种基于任务依赖信息的工作流事务模型

H·Garcia-Molina等人提出了用于解决长事务问题的Sagas模型,但Sagas模型的事务补偿过程会撤销整个长事务,另外模型要求长事务的每个子事务都必须具有补偿子事务,这两个缺陷大大影响了Sagas模型的执行效率和适用性。本文通过利用任务间的依赖关系以及对事务进行分类的方法,在Sagas的基础上实现了一个部分补偿的工作流事务模型,对于不同类型的事务执行不同的补偿策略,同时即使撤销子事务也仅撤销该子事务所对应的依赖事务,而不是撤销整个事务流程。     

MDBS中一种改进的并发事务调度算法

MDBS中并发事务的调度策略必须满足可串行化准则,论文主要分析以事务提交图为中心的调度算法TM2,虽然保证了全局事务提交顺序的可串行化,但在提交时才进行冲突检测方式存在缺点,提出改进后的事务调度算法TM3不仅保证了全局事务的可串行化和防止了全局死锁的发生,还提高了全局事务执行的并发度。最后通过实验在数据库加速引擎中进行模拟,对比了两种调度算法的性能。     

面向组合服务动态自适应的事务级主动伺机服务替换算法

动态服务环境的各种异常随时会导致整个业务流程暂时无响应或服务中断,极大影响业务流程的可靠性.已有替换机制大多缺乏事务支持而适应性差,进而不能有效保证系统执行过程中事务服务的原子性和数据一致性,也无法保障替换过程要求的正确性、实时性和高效性.该文以"事务支持"为核心,充分考虑了服务间多关系以及Web服务的事务特性,提出一种事务级组合服务主动伺机替换算法.首先,该文给出了事务粒度的获取及替换范围识别算法.然后,提出事务级替换代价/收益QoS模型,将事务补偿代价与替换代价有机结合,保证以最少的代价实现服务替换.在此基础上,提出了全新的QoS驱动的事务级服务替换算法.为了提高替换的时效性,提出了早期预测模式挖掘算法,对运行的服务实时监控保证其识别失效服务的早期性.实验结果证明,该模型不仅保证了替换过程中业务流程的事务原子性和数据一致性,而且提高了系统的可靠性和时效性.     

网格环境下的一种事务协调机制及其补偿技术

事务处理是网格计算能否投入实际应用尤其是商业应用的关键技术之一，用于网格环境下的事务处理必须同时提供协调短时操作和长时间的商业活动的能力，基于Gtobus Toolkit和代理技术，提出了一种能够同时管理原子事务和聚合事务的事务协调机制，研究了相应的可以容错各种失败的协调算法，通过自动产生和执行补偿事务，聚合事务协调机制可以满足网格计算中对长事务的处理要求。     

Divergence control for distributed database systems

This paper presents distributed divergence control algorithms for epsilon serializability for both homogeneous and heterogeneous distributed databases. Epsilon serializability allows for more concurrency by permitting non-serializable interleavings of database operations among epsilon transactions. We first present a strict 2-phase locking divergence control algorithm and an optimistic divergence control algorithm for a homogeneous distributed database system, where the local orderings of all the sub-transactions of a distributed epsilon transaction are the same. In such an environment, the total inconsistency of a distributed epsilon transaction is simply the sum of those of all its sub-transactions. We then describe a divergence control algorithm for a heterogeneous distributed database system, where the local orderings of all the sub-transactions of a distributed epsilon transaction may not be the same and the total inconsistency of a distributed epsilon transaction may be greater than the sum of those of all its sub-transactions. As a result, in addition to executing a local divergence control algorithm in each site to maintain the local inconsistency, a global mechanism is needed to take into account the additional inconsistency Recommended by: Meichum Hsu     

Automatic Transaction Compensation for Reliable Grid Applications

Abstract As grid technology is expanding from scientific computing to business applications, service oriented grid computing is aimed at providing reliable services for users and hiding complexity of service processes from them. The grid services for coordinating long-lived transactions that occur in business applications play an important role in reliable grid applications. In this paper, the grid transaction service （GridTS） is proposed for dealing with long-lived business transactions. We present a compensation-based long-lived transaction coordination algorithm that enables users to select results from committed sub-transactions. Unlike other long-lived transaction models that require application programmers to develop corresponding compensating transactions, GridTS can automatically generate compensating transactions on execution of a long-lived grid transaction. The simulation result has demonstrated the feasibility of GridTS and effectiveness of the corresponding algorithm.     

支持QoS约束的组合服务事务恢复算法

在参与者服务发生异常时,如何有效保证组合服务的服务质量(QoS)是一个亟待解决的问题。该文讨论组合服务在执行过程中动态QoS的计算,建立一个组合服务嵌套事务模型,提出一个组合服务事务恢复算法。该算法能将补偿的范围控制在低层的域内,以减少补偿代价,保证QoS接近最优,同时保证组合服务事务的语义原子性。     

一种改进的分布式并行事务处理策略研究

目前,XML技术在基于因特网的复杂分布式系统事务处理中的应用已成为国内外研究的热点,尤其是如何提高分布式系统的并行事务处理能力,同时使系统具有高度容错能力,是一个具有挑战性的课题。本文提出了一种对XML文档进行DOM树划分、将复杂长事务划分成可并行执行的子事务的并行事务处理策略,从而在不影响其容错性能的情况下进一步提高分布式系统的并行运算性能和处理复杂长事务的能力,同时做到负载均衡。     

Constraints-Aware Scheduling for Transactional Services Composition

Composite Web services need transactional support to guarantee their consistent and reliable execution.Due to the long running and inter-organizational characteristics of Web services,current approaches for transactional Web services composition adopt compensation mechanism to maintain atomicity.A common assumption is that a compensation operation can be applied at any time with no cost.However,compensation operations are typically associated with temporal and cost constraints,which make compensation mec...     

装配机器人高精度定位补偿系统

本文提出了一种机器人高精度定位补偿系统,介绍了一种位姿误差补偿方法.系统采用非接触式位姿精度测量仪测取机器人位姿误差,用 IBM 微机采集位姿误差数据并计算关节补偿脉冲数,通过专用通讯接口将计算机结果传到位移机器人控制系统以实现关节补偿.并采用微位移法确定测量坐标与手爪计算坐标系间的变换.此外还建立了一个供实验用的误差数据库,当机器人工作时,通过周围3关节误差值,用插值法求得该工作点的误差补偿值实现补偿.     

基于补偿因子的Web事务QoS框架

为选择合适的补偿服务,提出基于补偿因子的Web事务QoS框架。将事务协调中的补偿成本和补偿可靠性作为一种QoS扩展,事务协调者基于已建立的QoS规则库进行事务选择和恢复,从而提高事务整体QoS属性,满足事务请求的QoS需求。实验结果表明,该框架可降低Web事务的补偿成本,提高Web事务的成功率。