摘要
研究了实时数据广播环境中的一致性维护问题。由于广播环境的非对称通讯特性,传统可串行化并发控制方法过于严格而不必要;现有放松可串行化方法都会导致数据库受限不一致、使各个用户读取受限不一致数据。提出了使用т-可串行化并发控制,首先形式化定义了т-可串行化正确性准则,证明了它虽比传统可串行化宽松但能始终保证数据一致性,使各个用户始终读取一致性数据,进而给出了相应的并发控制协议。实验结果表明,新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。
Data broadcast is now a popular real-time data dissemination technology in mobile computing systems.The consistency maintainance of mobile real-time transactions in real-time broadcast environments is studied.Firstly,a new correctness criterion called τ-serializability is proposed and analyzed formally.Then,the respective concurrency control protocol based on this criterion is presented.Finally,in a series of performance evaluation simulation studies,experimental results show a substantial performance improvement.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第19期4-6,共3页
Computer Engineering and Applications
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60221120146)
国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.G1999032704)
中国博士后科学基金(No.2003034146)
国家科技支撑计划(No.2006BAK01A07)
关键词
数据广播
放松可串行化
实时并发控制
data broadcast
relaxed serializability
mobile real-time concurrency control