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

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

面向网格环境的事务提交协议的研究

提出一种面向网格的事务提交协议-ENP.该协议取消了两阶段提交(2PC)协议中的投票阶段,参与者无需向协调者发送COMMIT消息,可自行决定提交而不必等待协调者的COMMIT命令.如果参与者操作失败,则其向协调者发送abort消息后可自行终止,不必等待协调者发来的ABORT命令.性能分析和实验结果表明,该协议放松了对事务原子性的要求,可以降低提交协议的消息复杂度和日志复杂度,保证了网格环境中事务状态的一致性,满足了各参与者和资源的自治性要求.     

分布式事务的两阶段提交在防汛系统中的实现

本文简要介绍了分布式数据库和分布式事务的两阶段提交原理,并对防汛机构及信息特点进行分析后,提出如何在现有ＭＩＳ基础上,建立一个分布式的高效的防汛辅助决策支持系统。ｐｐＴｒａｎｓａｃｔｉｏｎ）;Ｉｆ（ＦＡＩＬＥＤ（ｈｒ））ｐｒｉｎｔｆ（＂ＢｅｇｉｎＴｒａｎｓａｃｔｉｏｎｆａｉｌｅｄ：ｈｒ）;ｅｘｉｔ（１）;     

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

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

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

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

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

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

分布式实时事务提交协议

在分布式实时数据库系统中，保证事务原子性的唯一途径是研究和开发出一个实时的原子提交协议．首先详细分析了事务因数据访问冲突而形成的各种依赖关系，在此基础上提出了实时的原子乐观提交协议——2SC协议，该协议减少了事务的等待时间，提高了事务的并发度，且能无缝地和现有的并发控制协议集成在一起，保证事务的可串行化和原子性．通过模拟实验研究表明，采用该协议能够减少超过截止期的事务数目。     

分布式实时事务提交处理

由于提交处理的复杂性,分布式实时事务很难满足其截止期.提出了一种新的提交协议A2SC(主动的双空间提交),它适合于分布式实时事务提交处理的需要.分析了由于数据冲突访问而形成的各种依赖关系.当处于准备状态的事务和处于提交状态的事务发生数据冲突访问时,A2SC允许处于执行状态的事务在一种控制的方式下乐观地访问锁住的数据.当处于准备状态的事务夭折时,仅仅只有其夭折依赖集中的事务夭折.进一步提出了"没有结果的运行"的观念.当一个事务发现它是没有结果的允许时,它将主动夭折.进行了广泛的模拟实验比较A2SC和其它协议比如基准协议、PROMPT和DDCR的性能.模拟结果表明A2SC在最小化错过截止期的事务数方面较成功,因此A2SC适合于高性能分布式实时事务.     

CORBA对象事务服务的实现

本文阐述和分析了异构分布式环境下事务处理的不同模式,并描述了OTS三大核心组件：事务管理器、资源管理器和两阶段提交协议。最后,用C 语言在Windows2000平台上实现了CORBA的事务服务组件。     

分布式短事务系统中提交协议的研究

分布式短事务系统具有事务简短、请求频繁的特点。现有的分布式提交协议多面向复杂的长事务应用场景,难以满足短事务处理的需求。针对分布式短事务系统的特点,提出一种新型的分布式事务提交方法。该方法在事务参与者之间建立互用日志,并通过询问协议进行交互,获得事务进展情况,从而减少了强制写日志次数和通信次数,优化了故障处理过程。与其他分布式提交协议和系统比较,本协议可以有效地提高事务效率,并具有更高的日志可用性。     

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

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

交易中间件的设计与实现

论文设计了一个交易中间件模型,该模型由通讯协议和监控进程组成。该模型采用了多线程技术,具有并发处理能力;分布式交易采用两阶段提交协议、直接交易和交易冲正共同处理的方法、主从数据库策略,以保证交易完整性。在此基础上,开发了一个实际系统—银行ATM自动取款机售票系统,运用交易中间件,处理客户端请求的分布式交易。     

分布式工程数据库系统中事务提交机制的研究

分布式工程数据库事务的特性不同于常规的分布式事务,基本的两阶段提交（B2PC）的协议已不适用,文中建立了基于嵌套结构的分布式工程数据库事务管理子系统的体系结构,并提出了适用于分布式工程数据库的事务两阶段提交协议,包括协议的原理,算法以及对故障的处理方法,能够较好地支持分布式工程设计过程的进行。     

基于离线数据载体的分布数据一致性研究

针对离线数据栽体应用的特点，文章提出了“有序双场地分布事务”的概念和“有序双场地两阶段提交”协议，并给出了相关的正确性证明和阻塞性分析，从理论上彻底地解决了基于离线数据载体的分布数据一致性问题．本文结论经过了实验和实践检验。     

一种分布式事务数据的差分隐私发布策略

目前隐私保护的事务数据发布研究多是基于集中式结构.针对分布式结构下事务数据发布问题,为保护数据隐私,同时最大化数据效用,提出一种满足差分隐私约束的发布策略.首先,将结果效用性优化与差分隐私约束相结合,构建分布式非线性规划模型.然后,基于全局与局部数据设计两种解决方案安全求解该分布式模型.理论分析与实验结果均表明,所提出的发布策略是安全的且满足差分隐私要求,具有很好的实用性.     

Web服务事务处理应用模型

本文利用Web服务的应用程序组件特性,配合分布式事务处理的两阶段提交机制,建立了一个Web服务与事务处理协调操作的应用模型。实际应用不需修改Web服务内部代码,特别有利于企业应用的后期维护和系统升级。     

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

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