一个Web服务事务处理模型:结构、算法和事务补偿

事务处理是Web服务能否用于电子商务的关键技术之一 .Web服务事务处理必须提供协调短事务和长事务的能力 .本文提出了一个能够同时处理原子事务和聚合事务的模型 ,研究了其协调算法、状态转换及恢复机制 .聚合事务允许候选者独立提交 ,并使用补偿事务来撤销已提交的子事务所带来的影响 ,可以较好地满足Web服务环境下对长事务的要求 。

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

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

一种基于补偿代价的长事务调度算法

服务组合应用中的事务具有较长的生命周期,一个事务被划分成多个分布的子事务.补偿机制是保证长事务原子性的一种有效方法,允许在语义上逆转一个已提交子事务的结果.然而,补偿的代价可能是巨大的.针对该问题,在分析并定义事务补偿代价的基础上,提出一种子事务延迟提交算法――STCD(subtransactions committingdelay)算法,与传统子事务执行后立即提交的方法相比,STCD算法允许某个全局事务的子事务在提交前根据自身的补偿代价和全局事务的运行状态动态确定提交时间,使可能的补偿操作变更为回滚操作.算法的正确性得以证明.模拟实验结果表明,在事务失败时,STCD算法可以有效地减少补偿活动的数目,降低补偿代价.

基于替代补偿的实时事务调度算法研究

实时数据库事务系统中,某些调度事务失败后,还可调度其它替代、补偿事务,来提高事务的成功率。本文针对替代、补偿事务提出了立即补偿调度算法、事务内补偿调度算法、事务外补偿调度算法,并在嵌入式实时数据库系统中进行仿真,结果表明:在事务调度中延迟调度算法要比立即补偿性能稍高,在延迟调度中,事务外调度要比事务内调度性能好。

基于Agent的事务补偿模型

补偿事务为Web服务环境下广泛存在的复杂的聚合事务提供了有效的恢复机制。本文针对web服务事务的复杂性,将智能Agent引入Web服务事务补偿,提出了基于Agent的事务补偿模型。将补偿Agent和事务协调Agent的任务分开,可以更有效的处理复杂的补偿逻辑。

Web服务事务中的补偿机制研究与实现

可靠的Web服务事务机制是面向服务的架构(SOA)中不可缺少的要素之一,它本身也需要有一定的恢复机制,其中非常重要的技术就是事务补偿。结合Web服务事务的特点,以及数据库系统中的触发器技术,可以为Web服务的事务处理模型提供一个半自动的事务补偿机制。

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

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

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

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

工作流事务的形式化描述和实现

工作流事务是工作流技术本身亟待解决的难题之一,现有的众多工作流事务模型大多使用操作性的非形式化方式描述工作流的复杂语义,极大地限制了它们在复杂场景中的可用性,为此将事务的形式化描述和工作流的实际应用联系起来,提出了一种在工作流环境下管理长事务的方法.这种方法建立在事务补偿的基础上,通过允许过程出现环结构来处理任意过程结构,并通过引入一致点实现过程的部分补偿.形式化的事务模型描述以及基于集合论和图论表示的事务管理算法为工作流系统提供了清晰无歧义的事务语义.

一种基于工作流的长事务恢复方法的研究

H. Garcia-Molina等人提出了用于解决长事务问题的Sagas模型,但Sagas模型的事务补偿过程会撤销整个长事务,另外每个子事务都必须具有补偿子事务,这两个缺陷大大影响了Sagas模型的执行效率和适用性。文中提出了一种基于执行历史的层次式的失效恢复算法。该算法动态确定补偿终止点,可有效减小补偿域。性能分析表明其性能通常优于非层次的失效恢复算法。

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

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

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

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

基于BPEL和SOA的事务处理的研究与实现

针对当前软件系统开发中存在的系统和组建差异等问题,引入了面向服务的体系结构(SOA)框架和商业过程执行语言(BPEL),并分析了BPEL的特性。结合一个具体应用实例来说明如何使用BPEL设计业务流程,实验结果表明,基于BPEL进行事务处理是可行、有效的。

组合服务事务的异常处理机制研究

服务组合目前已成为业界研究的热点,它为组织间应用集成提供了一种新的解决方案。在完全开放的Internet环境中,组合服务需要Web服务事务处理机制来保证其可靠性,而Web服务事务处理需要一种异常处理机制的支持。针对节点故障引起的异常给出多种异常处理策略,对其进行形式化描述,并给出了异常处理的算法。最后在此基础上提出一个可定制补偿操作及相关补偿规则的灵活的组合服务事务异常处理模型,并对其实现。

异构、自治型系统的联邦及其事务对策

自60年代至80年代,集中式系统及封闭型分布式系统已日趋成熟,数据库领域的研究方向将逐步转向开放型分布式系统。本文所涉及的联邦结构即为符合开放型特征的理想范例。该结构将在维持局部自治的前提下,对异构的局部系统进行集成,以提供数据部分及控制性共享。

基于银保通系统的QoS实现研究

重点论述了银保通系统服务质量保证(QoS)的分析与实现。首先提出了银保通系统的服务质量要求,接着对服务质量的安全性、可靠的消息传递、事务等三个方面进行了详细的分析,最后结合实际情况,一一设计出了可行的解决方案。系统建成投产后,保证服务质量的设计很好地解决了银保通系统实际应用中出现的问题,保障了系统的稳定运行。

一种工作流自适应容错模型

设计了一种在工作流子系统中,可根据工作流的异常类型自动选择容错策略的自适应容错模型,针对不可恢复异常采用了事务补偿机制的容错策略进行异常处理,而针对可恢复异常采用了自动恢复的容错策略进行异常处理。详细描述了该模型所采用的消息队列、事务补偿机制、自动恢复机制。