数据广播中т-可串行化移动实时事务并发控制  

т-serializable concurrency control of mobile real-time transactions in broadcast environments

作　　者：党德鹏[1] 

机构地区：[1]北京师范大学信息科学与技术学院

出　　处：《计算机工程与应用》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 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.

关 键 词：数据广播 放松可串行化 实时并发控制 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]