-
题名基于模型检测技术的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
-
-
作者
帖军
张宝哲
王小荣
-
机构
中南民族大学计算机科学学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第20期264-267,共4页
-
基金
国家自然科学基金资助项目(60975021)
中南民族大学科研基金资助项目(YZY06008)
-
文摘
在移动计算环境中,基本乐观并发协议的事务处理存在并发度低和重启率高等问题。为此,提出一种适用于移动计算环境的乐观事务并发协议——基于数据读写时间戳的乐观并发控制协议。仿真实验表明,该协议可以提高事务处理的并发度,降低事务重启概率,与基本乐观事务并发控制协议和基于时间戳的乐观事务并发控制协议相比,该协议更适用于移动计算环境。
-
关键词
移动计算
乐观并发控制协议
时间戳
冲突可串行化
事务
-
Keywords
mobile computing
optimistic concurrency control protocol（occp）
timestamp
conflict serializability
transaction
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种改进的分布式实时事务调度协议
被引量：3
- 3
-
-
作者
刘波
范士明
丛红艳
-
机构
北京卫星信息工程研究所
中科芯集成电路有限公司
-
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第7期1474-1481,共8页
-
基金
总装备部预研基金项目(9140A04020309HT6401)资助
-
文摘
分布式实时事务调度协议用于实现事务间读写的并发控制,以满足事务的一致性与隔离性要求.本文改进了动态调整时间间隔的乐观并发控制协议,提出了一种分布式实时事务调度协议DOCC-DATI,协议分为读阶段、等待阶段、准备阶段和提交阶段.协议在读阶段和等待阶段利用事务的优先级信息,动态调整事务的串行化顺序,使高优先级事务优先进入验证阶段,并通过阻塞机制避免部分低优先级事务的不必要重启.由于分布式环境下处于准备阶段的数据不可访问,这将增加事务的阻塞时间,因此本文允许处于准备阶段的事务借出数据给低优先事务.为避免传统的两阶段提交协议中由单点故障而导致的实时事务阻塞,本文通过Paxos一致性算法提交分布式实时事务.提议的方法在一个模拟的分布式实时数据库环境中得以应用,显示出了优良的结果.
-
关键词
分布式实时数据库
并发控制
乐观协议
时间间隔
Paxos一致性算法
-
Keywords
distributed real-time database
concurrency control
optimistic concurrency control protocol
time interval
paxos consensus algorithm
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种新的实时数据库的乐观并发控制协议
被引量：1
- 4
-
-
作者
李冬辉
叶利涛
-
机构
天津大学电气与自动化工程学院
-
出处
《计算机应用》
CSCD
北大核心
2004年第12期99-101,共3页
-
文摘
针对一些并发控制协议中由于过多的事务重启动造成资源浪费,提出了一种新的乐观并发控制协议(OptimisticConcurrencyControl),通过向后调整不严重冲突事务的动态串行化顺序,许多不必要的事务重启动可以避免。在一个事务的读阶段不用记录事务冲突和串行化限制,各种优先级冲突解决方法可以很方便地加入到该协议中,根据需要选择使用了优先级 中止 50机制。
-
关键词
实时数据库
并发控制
乐观并发控制协议
-
Keywords
real-time database
concurrency control
optimistic concurrency control protocol
-
分类号
TP311.132
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于时间间隔的分布式实时并发控制协议
- 5
-
-
作者
刘波
范士明
丛红艳
-
机构
北京卫星信息工程研究所
中科芯集成电路有限公司
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第S1期52-55,共4页
-
基金
国家"863"计划基金资助项目"GNSS多星座互用关键技术与仿真验证平台"(2011AA120503)
-
文摘
针对基于分布式循环验证策略的乐观并发控制协议中出现的验证延迟问题,提出一种基于时间间隔的分布式实时并发控制DOCC-DATI协议。协议通过在读阶段设置验证锁,调整事务的串行化顺序,使高优先级事务阻塞与其冲突的低优先级事务,并使高优先级事务优先进入验证阶段。实验结果表明,DOCC-DATI协议可以避免验证死锁,并允许子事务独立地进行验证,相比分布式循环验证策略,DOCC-DATI协议可减少验证延迟和优先级反转现象的发生,降低实时事务错失截止期率。
-
关键词
分布式循环验证
分布式实时数据库
并发控制
乐观协议
时间间隔
错失截止期率
-
Keywords
distributed circular validation
distributed real-time database
concurrency control
optimistic protocol
time interval
miss deadline ratio
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
