-
题名无线移动环境中的拉式实时并发控制机制
- 1
-
-
作者
党德鹏
周立柱
刘云生
-
机构
北京师范大学信息科学与技术学院
清华大学计算机科学与技术系
华中科技大学计算机学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第7期92-93,99,共3页
-
基金
中国博士后基金资助项目(2003034146)
国家自然科学基金资助项目(60221120146)
国家"973"计划基金资助项目(G1999032704)
-
文摘
考虑到诸如带宽、移动性、频繁断接等限制,传统可串行化并发控制协议显得过于严格而无法满足移动实时数据库环境的要求。该文首先形式化定义并分析了弱可串行化正确性准则,弱可串行化比传统冲突可串行化宽松且能始终保证数据库的一致性。进而给出了一种适宜于移动实时数据库的弱可串行化并发控制协议WMHP-2PL。最后性能实验证实了新协议的有效性。
-
关键词
移动实时数据库
移动实时并发控制
移动实时事务
-
Keywords
Mobile real-time database
Mobile real-time concurrency control
Mobile real-time transaction
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名广播环境中的移动实时事务并发控制
被引量：2
- 2
-
-
作者
党德鹏
刘云生
-
机构
华中科学技术大学计算机学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2002年第10期1374-1378,共5页
-
基金
国家自然科学基金 ( 6 0 0 730 4 5)
国防预研基金 ( 0 0 J1 5.3. 3.JW 0 52 9)资助
-
文摘
研究了实时数据广播中的一致性问题 .由于广播环境的通信不对称性 ,传统的可串行化并发控制协议显得过于严格、不必要、不可行 .为此 ,提出使用伪可串行化并发控制 :形式化定义了伪可串行化的概念 ,证明了它虽比传统可串行化宽松但能保证数据一致性 ,给出了相应的并发控制协议 .实验结果表明 :新协议可显著降低平均响应时间 。
-
关键词
广播环境
移动实时事务并发控制
实时数据广播
放松可串行
移动信息服务系统
数据库
-
Keywords
real-time data broadcast, relaxing serializability, mobile real-time concurrency control
-
分类号
TN934.2
[电子电信—信号与信息处理]
-
-
题名广播环境中的Q可串行化实时并发控制
被引量：1
- 3
-
-
作者
卢彦
党德鹏
-
机构
华中科技大学电信系
北京师范大学信息学院
清华大学计算机科学与技术系北京
-
出处
《计算机科学》
CSCD
北大核心
2006年第6期55-57,共3页
-
基金
国家自然科学基金(No.60221120246)
国家重点基础研究项目(973)(No.G1999032704)基金
中国博士后科学基金(No.2003034146)资助。
-
文摘
研究了实时广播中的数据一致性问题。传统冲突可串行化并发控制协议对非对称通信的广播环境来说过于严格且不必要。为此,提出使用Q可串行化形式化定义了Q可串行化,证明了它虽比传统冲突可串行化宽松但能始终保证数据一致性,基于可动态调整串行化顺序的时标段排序方法给出了相应的并发控制协议。实验结果表明新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。
-
关键词
数据广播
放松可串行化
移动实时并发控制
-
Keywords
Data broadcast, Serializability, Real-time concurrency control
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TN919.8
[电子电信—通信与信息系统]
-
-
题名基于准一致性可串行化的并发控制协议
- 4
-
-
作者
黄四南
-
机构
湖南衡阳无线电总厂
-
出处
《计算机应用研究》
CSCD
北大核心
2004年第2期221-222,共2页
-
文摘
人们基于准一致性可串行化的正确性标准,提出了一种乐观并发控制协议,提高了事务执行的并发度,更有利于实时事务定时限制的满足。
-
关键词
准一致性可串行化
移动实时事务
移动实时乐观并发控制
-
Keywords
Quasi-consistency Serializability
Mobile Real-time Transaction
Mobile Real-time Optimistic Concurrency Control
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
