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

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

一个带有时限的工程设计事务提交协议

通过分析协作设计活动的特点,给出了一个协作设计事务模型,并在此基础上提出了一个带有时限的工程设计事务两阶段提交协议,包括协议描述及故障处理。分析表明,带有时限的工程设计事务提交协议的性能在所有情况下优于基本两阶段提交协议。     

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

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

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

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

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

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

一种改进的分布式实时事务调度协议

分布式实时事务调度协议用于实现事务间读写的并发控制,以满足事务的一致性与隔离性要求.本文改进了动态调整时间间隔的乐观并发控制协议,提出了一种分布式实时事务调度协议DOCC-DATI,协议分为读阶段、等待阶段、准备阶段和提交阶段.协议在读阶段和等待阶段利用事务的优先级信息,动态调整事务的串行化顺序,使高优先级事务优先进入验证阶段,并通过阻塞机制避免部分低优先级事务的不必要重启.由于分布式环境下处于准备阶段的数据不可访问,这将增加事务的阻塞时间,因此本文允许处于准备阶段的事务借出数据给低优先事务.为避免传统的两阶段提交协议中由单点故障而导致的实时事务阻塞,本文通过Paxos一致性算法提交分布式实时事务.提议的方法在一个模拟的分布式实时数据库环境中得以应用,显示出了优良的结果.     

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

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

使用π-演算验证两阶段提交协议

两阶段提交协议是最简单且最常用的原子提交协议,该协议使分布式事务的提交具有原子性和持久性。在本文中,我们使用π-演算对两阶段提交协议进行描述,并对其正确性进行了证明,进一步体现了π-演算对于描述进程通信及并行性的独特优势。     

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

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

分布式实时事务提交协议

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

基于预分析的实时事务处理

实时数据库系统中事务可能有实时限制（典型地为截止期），事务超过截止期可能给系统带来灾难性后果，这就要求系统能对事务的执行进行预分析与预安排，传统事务处理由于事务执行过程中的多种不确定因素（数据I／O，页面缺失，事务之间的各种相关性等），事务执行具有动态不可预报性，提出了一种事务预分析处理的三段法，数据说明阶段的静态预分析提取事务静态信息；初始动态预分析阶段构造事务的“影了事务”，并在适当的时机调度影子事务执行，以保证事务操作之前所需数据已在内存，事务执行时动态预分析阶段构造事务的相关性，为事务执行的结构，行为及时间正确性提供统一的实现机制，事务执行具有更好的可预报性，从而事务能更好地满足截止期。     

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

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

主动实时嵌套事务的正确性

传统数据库通过并发控制协议及事务的恢复机制来保证事务的正确性。在主动实时数据库系统中,为了更好地支持应用,人们提出并实现了嵌套事务模型。主动实时嵌套事务的正确性比传统的原子事务更复杂。本文详细分析了主动实时嵌套事务的正确性,包括逻辑正确性、时间正确性、结构相关(正确)性及事务的行为正确性,基于事务的经历模型给出这些正确性的定义,为主动实时嵌套事务的正确性实现提供了理论基础。     

关于实时数据库事务

实时数据库事务显示了与传统数据库事务的很大不同．这些不同主要表现在事务的复杂结构、定时特性、相关性和正确性方面．本文先分析了实时数据库事务的应用特征与需求，并给出了一个复杂事务结构的框架，然后着重讨论实时事务间的相关性：结构相关、数据相关、行为相关，以及实时事务的结果、结构、行为及时间正确性．     

主动实时数据库事务的优先级分派

主动实时数据库（ARTDB）的事务处理尚未得到太多的研究．本文论述ARTDB事务处理的一个重要方面，即事务的优先级分派问题．我们给出为主动（触发）事务及立即和推迟子事务（被触发事务）分派优先级的各种策略，并按不同情况对这些策略的性能进行评价．     

交易中间件CICS的研究

中间件是一种独立的系统软件或服务程序,位于客户机/服务器的操作系统之上,分布式应用之下,管理计算资源和网络通信,其目标是在分布式计算环境中实现应用互联、资源共享、协同工作和互操作。CICS(Customer Information Control System)是为IBM和非IBM平台上的应用提供联机事务处理和事务管理的产品,其功能是为商业应用提供一个事务处理环境,适用于有大量突发联机事件的系统。该文分析和归纳中间件的技术特点,并深入研究了中间件之一的交易中间件CICS,探讨了未来发展之路。     

数据库应用开发中关于大事务处理的研究

大事务是数据库应用开发过程中经常遇到的问题，在数据库的应用开发过程中对大事务的产生的原因及解决方法有清楚的认识，对数据库应用系统的质量有着直接的影响。详细分析了数据库应用开发中经常出现的大事务处理问题产生的原因，并提出了在解决大事务方面应采取的优化方法。     

事务标识的研究与实现

事务标识的分配是影响嵌套事务执行效率的重要因素之一.文章深入分析了在嵌套事务模型下,事务处理对事务标识的需求.以此为基础,提出了一系列实用有效的分配策略.其中,基于位的事务标识分配策略实际应用于自行研制的面向对象数据库系统KDOODB(KeDa object oriented database)中.最后给出了性能测试的结果.     

多级安全数据库系统中多级事务原子性的研究

文章在证明了不可能同时保证多级事务的原子性和安全性的基础上,介绍了多级事务三种不同程度的原子性,给出了两种基本算法,并通过引入多版本机制消除事务节间的语义依赖。     

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

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