-
题名基于模型检测技术的XML乐观并发控制协议
被引量:2
- 1
-
-
作者
单维锋
廖湖声
王茂发
刘海军
-
机构
防灾科技学院灾害信息工程系
北京工业大学软件学院
-
出处
《计算机应用研究》
CSCD
北大核心
2017年第11期3237-3241,共5页
-
基金
国家自然科学基金青年基金资助项目(41504037)
中央高校基本科研业务费专项资金创新项目团队资助计划项目(ZY20160106)
-
文摘
XML并发控制协议可用于保证多个用户同时访问XML文档时的事务隔离性。由于XML数据的半结构化特点和访问接口的特殊性,现有XML并发控制协议随着文件规模的增大、并发客户的增多,系统事务性能大幅下降。基于模型检测技术提出了一种新的乐观并发控制协议XOCC-MC。通过将XML文档对应的DTD文档转换为系统模型,将事务操作中的XPath转换为CTL公式,利用模型求值判断节点间是否存在A/D关系,进而根据冲突矩阵判断事务之间的冲突关系。与现有乐观并发控制协议相比,XOCC-MC协议在文件规模大、并发客户数多的情况下表现出较好的事务性能。
-
关键词
XML
乐观并发控制协议
模型检测
事务
-
Keywords
XML
optimistic concurrency control protocol
model checking
transaction
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种新的实时数据库的乐观并发控制协议
被引量:1
- 2
-
-
作者
李冬辉
叶利涛
-
机构
天津大学电气与自动化工程学院
-
出处
《计算机应用》
CSCD
北大核心
2004年第12期99-101,共3页
-
文摘
针对一些并发控制协议中由于过多的事务重启动造成资源浪费,提出了一种新的乐观并发控制协议(OptimisticConcurrencyControl),通过向后调整不严重冲突事务的动态串行化顺序,许多不必要的事务重启动可以避免。在一个事务的读阶段不用记录事务冲突和串行化限制,各种优先级冲突解决方法可以很方便地加入到该协议中,根据需要选择使用了优先级 中止 50机制。
-
关键词
实时数据库
并发控制
乐观并发控制协议
-
Keywords
real-time database
concurrency control
optimistic concurrency control protocol
-
分类号
TP311.132
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向完井的读写时间戳乐观并发控制协议研究
被引量:1
- 3
-
-
作者
尚福华
薛诚
曹茂俊
-
机构
东北石油大学计算机与信息技术学院
-
出处
《微型电脑应用》
2018年第12期24-27,共4页
-
基金
中国石油天然气集团公司重大专项(2013E-3809)
东北石油大学引导基金(2016YDL-13)
-
文摘
针对完井业务的移动计算环境下具有频繁断接性、资源有限性、网络通信不对称性等问题导致的移动事务处理是效率低的问题,结合完井业务的数据操作多为查询的特点,提出了基于完井的读写时间戳的乐观并发控制协议。该协议对BOCC的应用环境进行了延伸,使val-write的临界区限制得以消除。同时,基于对各种冲突的分析,解决了性能过耗、频繁重启等问题,提高了处理并发事物的效率。通过在完井运行信息移动服务平台实验,以及实验结果的分析,验证了该协议的有效性。
-
关键词
完井业务
移动事务处理
乐观并发控制协议
并发控制
-
Keywords
Well completion
Mobile business processing
Optimistic concurrency control protocol
Concurrency control
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名乐观并发协议在移动计算环境中的应用
被引量:1
- 4
-
-
作者
帖军
张宝哲
王小荣
-
机构
中南民族大学计算机科学学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第20期264-267,共4页
-
基金
国家自然科学基金资助项目(60975021)
中南民族大学科研基金资助项目(YZY06008)
-
文摘
在移动计算环境中,基本乐观并发协议的事务处理存在并发度低和重启率高等问题。为此,提出一种适用于移动计算环境的乐观事务并发协议——基于数据读写时间戳的乐观并发控制协议。仿真实验表明,该协议可以提高事务处理的并发度,降低事务重启概率,与基本乐观事务并发控制协议和基于时间戳的乐观事务并发控制协议相比,该协议更适用于移动计算环境。
-
关键词
移动计算
乐观并发控制协议
时间戳
冲突可串行化
事务
-
Keywords
mobile computing
Optimistic Concurrency Control Protocol(OCCP)
timestamp
conflict serializability
transaction
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-