一种网格协同设计事务提交协议的研究

根据协同设计任务的特点,借鉴人们日常工作中协同设计项目的做法,提出一种网格协同设计环境下事务提交协议及其故障处理机制.该协议通过取消传统两阶段提交协议中的投票阶段,使参与者不必等待协调者的命令就可自行决定是提交还是终止.协议考虑任务的时限要求和质量要求,允许参与者自行决定是否参与协同设计,并允许参与者中途退出协同设计,从而放松了对事务的原子性要求.最后,从原子性、时限性、适应性等方面对提出的协议进行正确性证明;实验结果和性能分析验证了该协议的有效性和可行性.     

面向网格的事务提交及恢复协议

该文在基于Agent的网格事务模型的基础上,提出网格环境下事务的提交协议,对其进行了性能分析。通过理论分析表明,提出的ENP协议降低了提交协议的消息复杂度和日志复杂度,参与者站点拥有较高的自治性,能够满足网格环境中各参与者的自治性要求。然后给出网格环境中会出现的故障情况:提供服务的数据库取消所提供服务时出现的故障。提出网格环境下的故障恢复协议:超时协议和重启动协议;使得在等待超时或站点出现故障时能及时有效地恢复到一个正确状态。分析了网格环境下特有的故障形式,给出相应的处理方式。最后,对故障恢复协议进行了简要分析。     

网格环境下的事务提交机制的研究

由于网格具有异构性、动态性、自治性和分布性等特点,分布式体系结构下的分布式事务提交机制已经不能适用于网格环境下的事务管理需求.根据网格事务处理的特点,提出一种基于Agent的网格事务模型,设计一种网格环境下的事务提交协议和相应的算法.该协议的思想是放松对事务原子性的要求,保证事务在网格环境中能正确提交,并尽量减少已完成事务对资源的占用时间,以适应网格环境中资源的自治性要求.最后,对协议的正确性进行了证明,并通过理论上与其他提交协议进行性能对比分析,说明所提出的协议具有较好的性能.     

移动分布式实时事务实时原子提交

形式地给出了移动分布式实时事务实时原子提交协议的定义,在此基础上提出了适合于移动分布式实时事务的实时原子提交协议：一阶段实时原子提交协议(1PRACP)。1PRACP通过参与者与协调者的一次消息交换,在一个阶段完成移动分布式实时事务提交活动;结合超时恢复处理协议,1PRACP能避免由于站点故障或网络通信链路故障而导致的阻塞。对1PRACP进行了性能比较和评测,显示了它在各方面的优越性。     

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

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

一种分布式实时数据库提交协议

传统的事务提交协议不适合实时环境的需要，并且文献中现有的几个实时提交协议限制了实时事务执行的并发度，影响了实时事务的定时限制，该文针对分布式实时数据库系统的提交处理提供了2SC协议，它增加了事务执行的并发度且有助于事务截止期的满足，文中首先提出了一个分布式实时事务经历模型，着重讨论了事务因为冲突操作而引起的提交依赖和夭折依赖，然后给出了2SC（双空间提交）协议规则，根据该协议分布式实时事务的提交处理在两个空间中完成：结点的局部事务空间和系统的全局事务空间，在局部事务空间中，当处于准备状态的参与者夭折时，仅仅夭折其夭折依赖集中的事务而不会夭折其提交依赖集中的事务；在适当的条件下，处于准备状态的参与者允许其它事务访问其锁住的数据，在全局事务空间中，参与者能够在进入准备之前主动夭折，即当一个事务在进入准备状态之前就超过了截止期，其协调者和所有的参与者都将“寂寞死”，接着该文证明了2SC协议的正确性，即确保分布式事务提交的原子性，同时分析了该协议固有的优点比如提高事务执行的并发度和减缓事务的串联夭折等，并且2SC协议能够和现有的并发控制协议有机地结合在一起，确保分布式实时事务可串行化和提交的原子性，最后通过一个模拟实验证实了2SC协议的性能比较优越。     

无线传感器网络事务提交协议研究

随着无线传感器网络的发展,其应用越来越广泛。为了提供可靠的服务质量并保证数据的一致性、有效性,这就需要无线传感器网络事务处理技术的研究。文中提出了一种适用于无线传感器网络的事务原子提交协议。此协议是对传统的2PC(Two Phase Commit,两阶段提交)协议的改进,为参与者提供了缓存机制,有效利用协调者的广播信息,降低能量消耗,在协调者和参与者中加入了定时器,定时器触发后会提供事务处理统一的出口(提交或撤销)。此外,还为协调者增加了心跳算法,提高了协议的可靠性。最后使用TOSSIM( TinyOS Simulator,TinyOS仿真器)进行实验,证明了其可行性。     

网格环境下的实时事务级并发控制协议

根据网格实时事务处理的特点,对可推测并发控制协议(SCC)进行改进,提出了一种网格环境下实时事务并发控制机制中的事务级控制协议(GSCC)。该协议通过扩充事务操作类型减少事务冲突;通过动态设置事务影子的最大数量,合理地利用系统资源;通过精简事务影子的数量来缩减系统开支;通过增设准提交阶段避免大量不必要的事务重启,提高了并发度。实验结果证明,GSCC协议是可行、正确的,在控制并发事务方面具有较好的性能,可满足事务实时性的需求。     

基于代理的3PC分布式事务提交协议

原有3PC分布式事务提交协议能克服协同者发生故障而有可能产生事务阻塞问题,但其开销大。该文提出了一种基于代理的3PC事务提交协议,该协议通过增加协同者的代理节点,使得参与者相信协同者是正常的,从而不必关心新协同者的选举问题,能降低3PC无故障时的额外开销。     

数据网格中面向服务的事务技术

讨论了数据网格的背景以及目前国内外的研究状况.并根据应用的需求,提出了数据网格中面向服务的事务管理观点.定义了服务事务在数据网格体系结构中的位置、功能和实现方案,阐述了原子事务和业务事务两类事务的实现协议,最后以一个原子事务的例子说明了一个服务事务的执行过程.