分布式实时事务提交协议

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

分布式实时事务的原子提交

分布式实时数据库系统中,事务除具有传统数据库事务的ACID特性外,还具有定时限制（如截止期等）。传统提交协议及已研究出的实时提交协议都不保证分布式实时事务的原子性,结合实时事务截止期要求,描述了分布式实时事务的原子提前及其正确性准则,给出了适合于固（或软）实时事务的原子提前协议RTACP及其处理过程并证明了其正确性,还对RTACP进行了性能比较和评价,表明其分别在不同方面更优越。     

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

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

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

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

移动分布式实时嵌套事务提交

在移动分布式计算环境中,事务移动性和无线网络固有的缺陷使得传统的分布式实时事务管理机制不足以支持移动分布式实时事务的执行,故有必要为移动实时事务研究新的事务处理机制,以提高其成功率.着重研究移动实时事务的提交机制.首先,通过分析移动分布环境中实时事务的特点给出了一个基于功能替代的移动实时嵌套事务模型.然后,提出了一个基于此模型的三层提交结构以及能够保证移动实时事务原子性和结构正确性的三阶段实时提交协议3PRTC(three-phase real-time commit).性能测试表明,所提出的事务模型及其提交机制能够提高实时事务的成功率.     

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

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

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

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

分布式实时数据处理系统的设计与实现

国家“863”计划基金资助重点课题“生产计划与实时优化调度系统研究”子课题“实时数据库系统研究”（2002AA412020）     

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

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

传感器网络中协作实时数据库事务的提交控制

传统的事务模型由于其严格的ACID特性无法适应传感器网络中协作事务的实时性要求.因此着重研究传感器网络中协作实时数据库事务的提交机制.首先,分析传感器网络中实时数据库应用的协作特性,放松事务的严格ACID要求,运用控制区域的概念提出一种基于事务的行为语义控制区域的事务模型.然后,给出该模型的提交、回滚、可见规则及能保证数据库一致性和协作事务实时性的三阶段提交协议,并通过补偿事务保证外化信息准确性.性能测试表明,该模型及提交机制提高了采集数据的外化率和协作实时事务的成功率.     

A hybrid distributed optimistic concurrency control method for high-performance real-time transaction processing

The conventional lock scheme tends to suffer from a cascade of blockings,while the optimistic concurrency control(OCC) scheme may suffer from wasting resources.To overcome these problems,some researchers have proposed a combination of OCC and lock in transaction processing.Using this method,Thomasian proposed the hybrid method for conventional distributed transaction processing,and Lam proposed the DOCC-DA protocol for distributed realtime databased system based on forward validation.This paper proposes a new protocol,called Hybrid Distributed Optimistic Concurrency COntrol Embedded in two-Phase Commit,which is based on back validation.The new protocol makes use of access invariance and runtime inforbased on back validation.The new protocol makes use of access invariance and runtime infor mation which can guarantee a rerun transaction to meet its deadline and abort the fruitless run transactions as early as possible.A series of simulation experiments have been done to investigate the performance of the new protocol.The results show that its performance is consitently better than that of other protocols.     

交易中间件的设计与实现

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

分布式主动实时数据库基于多优先级队列的优先级分派

事务的分布性和事务触发的不可预测性使得分布式主动实时数据库系统中的事务调度变得较为复杂．该文给出了立即和推迟两种模式下执行的被触发事务的截止期确定方法和事务紧急度计算方法,并结合事务的应用语又提出了一种基于多优先级队列的优先级分派策略,有利于主动事务和被触发事务的顺利提交．     

Coordinator log transaction execution protocol

The coordinator log transaction execution protocol proposed in this paper centralizes logging on a per transaction basis and exploits piggybacking to provide the semantics of a distributed atomic commit at a minimal cost. The protocol eliminates two rounds of messages (one phase) from the presumed commit protocol and dramatically reduces the number of log forces needed for distributed atomic commit. We compare the coordinator log transaction execution protocol to existing protocols, explain when it is desirable, and discuss how it affects the write ahead log protocol and the database crash recovery algorithm. Recommended by: Tamer Ozsu     

支持分布式合作实时事务处理的协同检验点方法

在实时事务执行时,事务故障或数据竞争会导致事务重启,为减少事务重启损失的工作量,可以采用检验点技术保证事务的时间正确性．在一类分布式实时数据库应用中,不同结点的事务通过消息交换形成合作关系,为保证合作事务间的全局一致性,当某一事务记检验点时,相关事务也要记检验点．传统协同检验点方法没有考虑应用的定时约束,不能很好地支持分布式合作实时事务处理．该文提出了一种基于图论的协同检验点方法,利用在每个计算结点上为每个合作事务集维护的局部有向图,使用一个基于图论的计算过程标识出应记检验点的事务,该方法既具有最小协同检验点特性,又使全局检验点的时延最小．实验表明该算法减少了全局检验点时延,有利于实时事务截止期的满足．