| 数据广播中т-可串行化移动实时事务并发控制 |
| |
| 引用本文： | 党德鹏. 数据广播中т-可串行化移动实时事务并发控制[J]. 计算机工程与应用, 2007, 0(19) |
| |
| 作者姓名： | 党德鹏 |
| |
| 基金项目： | 国家自然科学基金(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) |
| |
| 摘 要： | 研究了实时数据广播环境中的一致性维护问题。由于广播环境的非对称通讯特性,传统可串行化并发控制方法过于严格而不必要;现有放松可串行化方法都会导致数据库受限不一致、使各个用户读取受限不一致数据。提出了使用т-可串行化并发控制,首先形式化定义了т-可串行化正确性准则,证明了它虽比传统可串行化宽松但能始终保证数据一致性,使各个用户始终读取一致性数据,进而给出了相应的并发控制协议。实验结果表明,新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。
|
| 关 键 词： | 数据广播 放松可串行化 实时并发控制 |
т-serializable concurrency control of mobile real-time transactions in broadcast environments |
| |
| Abstract: | 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. |
| |
| Keywords: | data broadcast relaxed serializability mobile real-time concurrency control |
|
|
