| 无线移动环境中的拉式实时并发控制机制 |
| |
| 引用本文： | 党德鹏,周立柱,刘云生.无线移动环境中的拉式实时并发控制机制[J].计算机工程,2006,32(7):92-93,99. |
| |
| 作者姓名： | 党德鹏 周立柱 刘云生 |
| |
| 作者单位： | 北京师范大学信息科学与技术学院,北京,100875;清华大学计算机科学与技术系,北京,100084;清华大学计算机科学与技术系,北京,100084;华中科技大学计算机学院,武汉,430074 |
| |
| 基金项目： | 中国博士后科学基金;中国科学院资助项目;科技部科研项目 |
| |
| 摘 要： | 考虑到诸如带宽、移动性、频繁断接等限制，传统可串行化并发控制协议显得过于严格而无法满足移动实时数据库环境的要求。该文首先形式化定义并分析了弱可串行化正确性准则，弱可串行化比传统冲突可串行化宽松且能始终保证数据库的一致性。进而给出了一种适宜于移动实时数据库的弱可串行化并发控制协议WMHP-2PL。最后性能实验证实了新协议的有效性。
|
| 关 键 词： | 移动实时数据库 移动实时并发控制 移动实时事务 |
| 文章编号： | 1000-3428（2006）07-0092-02 |
| 收稿时间： | 2005-11-18 |
| 修稿时间： | 2005-11-18 |
Real-time Concurrency Control Mechanisms in Wireless Mobile Distributed Environments |
| |
| DANG Depeng,ZHOU Lizhu,LIU Yunsheng.Real-time Concurrency Control Mechanisms in Wireless Mobile Distributed Environments[J].Computer Engineering,2006,32(7):92-93,99. |
| |
| Authors: | DANG Depeng ZHOU Lizhu LIU Yunsheng |
| |
| Affiliation: | 1. College of Information Science and Technology, Beijing Normal University, Beijing 100875; 2. Department of Computer Science and Technology, Tsinghua University, Beijing 100084; 3. College of Computer, Huazhong University of Science and Technology, Wuhan 430074 |
| |
| Abstract: | Owing to the unique characteristics of mobile real-time environments, traditional serializability is too strong, This paper presents the use of the relaxed serializability as correctness criterion. After it formally defines and analyzes a new serializability, corresponding concurrency control protocol based on this criterion is outlined for real-time mobile environments. Finally, experimental results show that the proposed protocol helps more mobile real-time transactions to meet their deadlines while database consistency is maintained. |
| |
| Keywords: | Mobile real-time database Mobile real-time concurrency control Mobile real-time transaction |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
