-
题名基于时间间隔的分布式实时并发控制协议
- 1
-
-
作者
刘波
范士明
丛红艳
-
机构
北京卫星信息工程研究所
中科芯集成电路有限公司
-
出处
《计算机工程》
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
[自动化与计算机技术—计算机科学与技术]
-
