Quasi serializable concurrency control in mobile broadcast environments

The problem of maintaining data consistency in mobile broadcast environments is researched. Quasi serializability is formally defined and analyzed at first. It was shown that quasi serializability is less stringent than serializability when database consistency is maintained for transactions. Then, corresponding concurrency control protocol that supports both update transactions and read-only transactions is outlined for mobile broadcast environments. Finally, the simulation results confirmed that the proposed protocol could improve the response time significantly.

移动数据库系统乐观事务处理策略

在移动数据库系统中 ,计算平台的移动性、频繁的断接性以及长事务等特性使得传统的事务处理模式不再适用 .为了解决移动数据库中的事务处理问题 ,提出了一种新的移动事务处理模型——乐观两阶段提交移动事务模型 ( O2 PC-MT) .该模型采用乐观并发控制与两阶段提交协议相结合的方法 ,对移动事务的长事务特性提供了灵活与有效的支持 ;此外 ,该模型允许移动计算机分多次发送事务操作 ,且在事务执行的过程中可以任意移动 ,从而提供了对交互式事务及随意移动性的支持 .实验结果表明 ,与基于两段锁协议及其变形的其它移动事务处理模型相比 ,O2

实时数据库系统中的嵌套事务

传统的原子事务是由一个平坦数据库操作序列组成的，事务的执行具有ＡＣＩＤ（Ａｔｏｍｉｃｉｔｙ，Ｃｏｎｓｉｓｔｅｎｃｙ，Ｉｓｏｌａｔｉｏｎ，Ｄｕｒａｂｉｌｉｔｙ）特性．然而，在实时应用环境下，这些却不太适用．该文提出了一种支持实时应用的嵌套事务模型，给出了嵌套事务的特性及正确性标准。

移动实时嵌套事务的并发控制

在移动计算环境中 ,事务移动性和无线网络固有的缺陷使得传统分布式实时事务管理机制不足以支持移动实时事务的执行 ,故有必要为移动实时事务研究新的事务处理机制以提高其成功率 .该文着重研究移动实时事务的并发控制机制 .首先 ,该文给出了一个考虑事务定时限制以及移动性的嵌套事务模型 .然后 ,为减少移动分布式环境中解决数据冲突的开销 ,该文研究了一种结合优先级夭折和优先级继承的基于封锁的并发控制协议PAI 2PL .当高优先级事务被低优先级事务阻塞时 ,对于相同家族事务 ,采用优先级继承方法解决冲突 ;而对于不同家族事务 ,则夭折重启低优先级事务 .另外 ,为减少由于断接所引起的无效阻塞 ,PAI 2PL允许低优先级事务夭折处于断接状态的高优先级事务 .通过性能测试 ,表明所提出的事务模型及并发控制机制能提高实时事务的成功率 .

带预读/写的移动事务模型

移动事务处理一直是移动数据库技术中的一个难点和热点。分析了移动事务处理的特点和要求，在引入预读、预写及相应锁的基础上，提出了一种移动事务处理模型Pre-R/W模型，并着重讨论了移动事务处理协议。

CCPP: 一个并发C++语言的设计与实现

并发面向对象语言ＣＯＯＬ（ｃｏｎｃｕｒｅｎｔｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｌａｎｇｕａｇｅ）是一种有效的并发程序设计语言．本文提出了一种并发对象模型（ＣｏｎｃｕｒｅｎｔＣ＋＋，ＣＣＰＰ）及其语言．在ＣＣＰＰ并发对象模型中，所有对象都是并发对象，对象间的通讯都采用异步消息发送方式．对象间的同步采用“需要时等待”策略，同一对象内并发线程间的同步用路径表达式描述．ＣＣＰＰ语言是对Ｃ＋＋语言的扩充，采用预编译方法实现．

分布式系统中数据复制的研究与应用

维持数据的一致性是复制数据库并发执行的关键。介绍分析了MSSQLServer2000中内置的数据复制构件以及MSSQLServer2000的事务模型,最后结合实际的应用软件开发对数据复制的并发控制原理与措施进行了相关实现。

基于BSP的并行事务处理模型

BSP模型独立于并行体系结构 ,既可作为并行计算模型 ,又可作为并行程序设计模型 .提出了基于 BSP模型的 H- V事务模型 ,适用于长、短事务和长短事务混杂的情况 .给出了在无共享结构下实现并行事务处理的进程结构 .该结构不仅实现了事务内及事务间并行性 ,而且使系统具有可用性 ( availability)和可扩充性 ( scalability) .而后给出了适用于该模型的基于时间戳的多版本并发控制协议 ,最后描述了事务在超步结构下的运行过程 .性能测试表明 ,使用该模型进行事务处理时可获得良好的事务响应时间和加速比 .

基于语义的数据库并发控制研究进展

事务的语义信息可以从更高层次上刻划数据库的状态及其变化,提高数据库处理能力.这方面的研究已经产生了大量的研究成果,其核心是要解决语义信息层次性、灵活性、难以表达等难点问题.在回顾基于语义的数据库并发控制的研究背景和现状基础上,提出将数据库并发控制抽象为计算模型以便于数据库语义信息的表达;阐述了解决该问题的两类主要模型:一维计算模型和多维计算模型,介绍了两种模型的基本概念以及主要事务模型,总结了数据库并发控制的形式化方法,分析了基于高维计算模型研究并发控制模型的部分理论依据;最后展望了基于语义的数据库并发控制发展趋势.

移动数据库事务处理模型的研究

在移动数据库系统中,事务的移动性、频繁断接性以及长事务等特性使得传统的事务处理模式不再适用。提出一种扩展的乐观两阶段提交事务处理模型(O2PC-MT),该模型吸收了O2PC-MT模型的设计思想,解决了由短暂的通信失效造成不必要的事务中止以及移动事务协调器故障导致的阻塞等问题。实验结果表明,与O2PC-MT事务处理模型相比,EO2PC-MT提高了系统的事务吞吐率以及改善了系统的总体性能。

安全数据库系统中的事务

在多级安全数据库系统中经典的 BL P模型的“向上写”违反了数据库的完整性 ,并产生隐通道和带来多实例问题 .事务间的提交和回退依赖也会产生隐通道 .在对事务安全性分析的基础上提出了安全事务模型和安全事务正确性标准 -安全冲突可串行化 (SCSR) .

移动广播环境中的可串行化并发控制协议

研究了非对称通信数据广播环境中的一致性问题.PVTO协议中数据冲突的检测过于严格,存在很多不必要的事务夭折,限制了其并发度;OPreH协议中数据冲突的检测过于宽松,必要的事务重启要等待服务器校验,浪费了大量昂贵的上行通信带宽.提出了一种新的可串行化并发控制协议BCCSR.BCCSR协议将时标段排序和乐观方法相结合,使用了恰当的校验条件,既避免了不必要的事务夭折,又可尽早处理必要的事务重启,节省了系统资源,提高了并发度.实验结果表明,BCCSR协议能有效改进移动事务的平均响应时间,更好地满足数据广播环境中高性能事务处理的要求.

FM-Que移动事务模型

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

支持移动更新的弱可串行化实时并发控制

研究了非对称通信数据广播环境中的一致性问题,提出使用弱可串行化正确性准则.形式化定义了弱可串行化这种新的正确性准则,证明了弱可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证弱可串行化的充分必要条件.基于时标段排序原理,提出了可在移动客户端同时支持更新事务和只读事务的弱可串行化实时并发控制协议WBCC-MUR.通过性能评价实验验证了新协议的有效性:WBCC-MUR协议能有效改进移动事务的平均响应时间、更好地满足数据广播环境中高性能事务处理的要求.

移动分布式数据库中的实时事务处理

提出了移动事务实时提交协议(MTRTC)和多版本乐观并发控制协议(MVOCC)处理移动分布式实时事务。MVOCC有效性检查分为局部有效性检查和全局有效性检查,采用动态调整串行次序,避免了不必要的事务重启动,改善了只读事务的响应时间。MTRTC是一个实时提交协议,减少了通信信息。实验结果表明结合MVOCC和MTRTC事务处理协议优于其它事务处理协议。

一种基于移动环境的混合乐观实时事务处理策略

随着移动计算技术的快速发展,移动环境下涉及到实时事务处理的应用需求正逐渐增长.由于移动环境下固有特性:高的网络延迟、频繁的断接性和移动性等,采用传统的事务处理技术,在移动环境下很难满足事务的截止期要求.提出了一种基于高优先级两段锁的混合乐观实时事务并发控制协议(HORTCC-SHP2PL).该协议在移动实时事务处理中将乐观并发控制和高优先级两段锁结合起来,利用两阶段提交协议实现移动实时事务的全局提交.为了进一步减少移动实时事务重启的数目,在并发控制协议中引入了相似性的概念.仿真实验显示,与分布式高优先级两段锁(HP2PL)比较,HORTCC-SHP2PL明显地减少了实时事务错过截止期的比率,提高了事务的并发度,能更好的满足移动实时事务截止期的要求.

移动广播环境中有效处理实时只读事务

提出了移动广播环境中有效处理实时只读事务的方法。给出了多种多版本广播磁盘组织。采用多版本机制,实现移动只读事务无阻塞提交。通过乐观方法,消除移动只读事务和移动更新事务的冲突。使用多版本动态调整串行次序技术,避免了不必要的事务重启动。在移动主机上如果移动只读事务通过向后有效性确认,则可提交,不需要提交到服务器处理,降低移动只读事务的响应时间。通过模拟仿真对提出的方法进行了性能测试,实验结果表明新方法要优于其他协议。

基于语义可串行性的锁协议并发控制算法

为实现语义可串行性调度而提出的基于两段锁协议的并发控制算法无法保证所得到的历史具有可恢复 性,为解决该算法的可用性问题,利用并发控制和恢复的统一模型给出一种基于两段锁协议的并发控制算法。

实时数据库的现状与发展

越来越多的数据库系统有实时限制的要求,一个实时数据库系统是管理有时间限制的数据和有时间限制的事务。通过对实时数据库系统的体系结构和事务处理协议的介绍,讨论了当前实时数据库的发展趋势和技术热点。

并行数据广播中的亚可串行化并发控制

考虑到移动计算环境的诸多限制以及移动数据库应用的特征,传统冲突可串行化在不对称通信的数据广播环境中显得过于严格而不必要.为此,文中提出一种并行亚可串行化并发控制协议.首先,形式化定义亚可串行化正确性准则,证明亚可串行化虽然比冲突可串行化宽松但能始终保证一致性,给出保证亚可串行化的充分必要条件.进而,提出相应的并行亚可串行化并发控制协议BCC-HSR.实验结果表明,BCC-HSR协议能有效改进移动事务的平均响应时间,更好地满足并行数据广播环境中高性能事务处理的要求.