嵌套事务的正确性及锁协议

嵌套事务作为扩展事务模型的一种,应用较为广泛,对嵌套事务正确性进行了描述,并给出了一个嵌套事务模型的并发控制锁的协议。     

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

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

基于数据库事务的土地利用变更事务模型研究*

通过对现行各种事务模型的分析,根据土地利用信息系统中土地利用变更的特点,结合分支汇合事务模型的思想,提出了基于数据库事务的土地利用变更事务模型,详细阐述了在此模型下变更事务的实现机制。实践证明,土地利用变更事务模型不仅确保变更后数据的一致性和完整性,而且能实现历史数据的恢复。     

工作流系统中应用Agent改进的高级事务模型

工作流高级事务模型因结构过于复杂,或者实现起来过于困难,很难应用到实际的工作流系统中。该文以Saga模型为基础,结合成熟的对象事务服务技术,并应用多agent技术对结合OTS模型的Saga模型进行优化,提出并实现了一种切实可行的高级事务模型Esaga,为Saga模型增加了分布式事务支持,很大程度上弥补了Saga模型的不足。     

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

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

一种乐观嵌套工作流事务模型

为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。     

一种基于语义控制的长事务工作流模型

在工作流系统中,长事务普遍存在,现有借鉴数据库事务处理方法的事务模型在对工作流长事务进行处理时存在着一定的局限性。为了解决工作流中长事务的共享资源访问控制和冲突解决效率等问题,在新模型中引入了语义控制协议,强调人的参与在事务处理中的重要性,并结合一致性状态和日志,能够有效的提高解决冲突的灵活性和效率、缩小事务规模和降低事务回滚的代价。     

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

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

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

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

CovaTM及其实现

以原子性、一致性、隔离性和持久性为特征的传统事务模型在满足协同应用的需求方面存在诸多局限。为了解决这一问题，该文提出了一种新的协同事务模型CovaTM，它将协作过程的一次执行看作一个事务，对应的活动看成子事务。CovaTM提供了复杂而灵活的控制流，放松了传统事务的原子性和隔离性的要求，能够支持协作。该文介绍了CovaTM的具体实现机制，包括如何根据协作过程的描述形成事务的各个要素以及运行过程中的按制结构及其算法并与相关工作进行了比较。     

基于Web服务的工作流事务处理的研究与实现

事务处理是Web服务实现分布式信息集成的关键技术之一,利用工作流技术实现Web服务的事务处理是实现分布式事务的一种有效手段.提出一个能够处理分布式、异构应用下Web服务组合事务的模型,并详述Web服务事务在执行过程中抛出异常时,补偿事务的产生策略和执行机制.     

网格环境下数据库事务模型的研究

在分析纲格和网格数据库事务特点的基础上，本文提出了一个适用于纲格环境下的数据库事务模型。该模型采用网格中间件和移动Agent技术。不仅能够满足网格环境中对短时间原子操作的要求。还能满足涉及海量数据的长时间协作的事务要求。     

J2EE应用服务器事务服务的实现

本文提出了一种J2EE应用服务器事务服务的体系结构 ,并给出了其实现方案。它完全符合JTA/JTS规范 ,并且具有良好的可扩展性 ,能够满足企业应用对事务服务的要求。这些技术已经被成功地应用于我们开发的J2EE应用服务器中。     

组件的可靠事务设计一致性验证研究

在基于组件的系统开发中,组件的事务控制粒度从语句一级被提升到方法一级,因此给系统开发人员带来了便利性的同时,失去了对事务控制的灵活性,通过研究,提出了一种从组件的事务属性和隔离性两方面来判定组件事务设置是否正确的方法,便开发人员能设计出拥有可靠事务的组件应用系统。     

FM-Que移动事务模型

在移动计算环境中,传统数据系统的事务处理模型不能较好地支持移动事务的处理,故有必要研究支持移动计算环境的移动事务模型及事务处理协议。针对移动计算环境的特点,提出了FM-Que移动事务处理模型及其处理协议。FM-Que模型通过采用事务队列机制,固定子事务和移动子事务思想来支持事务移动性和频繁断接性,采用多版本预提交方式来维护数据一致性。     

一种普适环境下面向服务的事务处理模型

普适环境具有高移动、极端异构、高自治和开放性的特点,普适环境下的服务组合因其突出的动态性问题,为保证对整个服务运行结果的可靠性和一致性,引入事务处理的机制来进行管理。提出一种在普适环境下面向服务的事务处理模型,在服务的发现、组合及运行中引入事务机制来协调管理,保证了服务组合的可靠一致性,并讨论了模型的系统架构和各模块组成,及应用场景。