基于模型检测技术的XML乐观并发控制协议

XML并发控制协议可用于保证多个用户同时访问XML文档时的事务隔离性。由于XML数据的半结构化特点和访问接口的特殊性,现有XML并发控制协议随着文件规模的增大、并发客户的增多,系统事务性能大幅下降。基于模型检测技术提出了一种新的乐观并发控制协议XOCC-MC。通过将XML文档对应的DTD文档转换为系统模型,将事务操作中的XPath转换为CTL公式,利用模型求值判断节点间是否存在A/D关系,进而根据冲突矩阵判断事务之间的冲突关系。与现有乐观并发控制协议相比,XOCC-MC协议在文件规模大、并发客户数多的情况下表现出较好的事务性能。

一种新的实时数据库的乐观并发控制协议

针对一些并发控制协议中由于过多的事务重启动造成资源浪费,提出了一种新的乐观并发控制协议(OptimisticConcurrencyControl),通过向后调整不严重冲突事务的动态串行化顺序,许多不必要的事务重启动可以避免。在一个事务的读阶段不用记录事务冲突和串行化限制,各种优先级冲突解决方法可以很方便地加入到该协议中,根据需要选择使用了优先级 中止 50机制。

面向完井的读写时间戳乐观并发控制协议研究

针对完井业务的移动计算环境下具有频繁断接性、资源有限性、网络通信不对称性等问题导致的移动事务处理是效率低的问题,结合完井业务的数据操作多为查询的特点,提出了基于完井的读写时间戳的乐观并发控制协议。该协议对BOCC的应用环境进行了延伸,使val-write的临界区限制得以消除。同时,基于对各种冲突的分析,解决了性能过耗、频繁重启等问题,提高了处理并发事物的效率。通过在完井运行信息移动服务平台实验,以及实验结果的分析,验证了该协议的有效性。

乐观并发协议在移动计算环境中的应用

在移动计算环境中,基本乐观并发协议的事务处理存在并发度低和重启率高等问题。为此,提出一种适用于移动计算环境的乐观事务并发协议——基于数据读写时间戳的乐观并发控制协议。仿真实验表明,该协议可以提高事务处理的并发度,降低事务重启概率,与基本乐观事务并发控制协议和基于时间戳的乐观事务并发控制协议相比,该协议更适用于移动计算环境。