摘要
研究了实时广播中的数据一致性问题。传统冲突可串行化并发控制协议对非对称通信的广播环境来说过于严格且不必要。为此,提出使用Q可串行化形式化定义了Q可串行化,证明了它虽比传统冲突可串行化宽松但能始终保证数据一致性,基于可动态调整串行化顺序的时标段排序方法给出了相应的并发控制协议。实验结果表明新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。
Real-time Data broadcast is now a popular data dissemination technology in mobile computing systems. The consistency constraint of mobile real-time transactions in broadcast environments is studied. After QSR is proposed formally, the necessary and sufficient conditions QSR are presented. Next, the concurrency control protocol based on time stamp ordering for QSR is described. Finally,experimental results show a substantial performance improvement of the new protocol.
出处
《计算机科学》
CSCD
北大核心
2006年第6期55-57,共3页
Computer Science
基金
国家自然科学基金(No.60221120246)
国家重点基础研究项目(973)(No.G1999032704)基金
中国博士后科学基金(No.2003034146)资助。