并行数据广播中的亚可串行化并发控制  

Hypo-Serializable Concurrency Control in Parallel Broadcast Environments

作　　者：党德鹏[1] 

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

出　　处：《计算机学报》2008年第3期450-455,共6页Chinese Journal of Computers

基　　金：国家科技支撑计划项目基金(2006BAK01A07);中国博士后科学基金(2003034146);国家自然科学基金(60573094)资助

摘　　要：考虑到移动计算环境的诸多限制以及移动数据库应用的特征,传统冲突可串行化在不对称通信的数据广播环境中显得过于严格而不必要.为此,文中提出一种并行亚可串行化并发控制协议.首先,形式化定义亚可串行化正确性准则,证明亚可串行化虽然比冲突可串行化宽松但能始终保证一致性,给出保证亚可串行化的充分必要条件.进而,提出相应的并行亚可串行化并发控制协议BCC-HSR.实验结果表明,BCC-HSR协议能有效改进移动事务的平均响应时间,更好地满足并行数据广播环境中高性能事务处理的要求.Serializable concurrency control protocols are inapplicable in mobile broadcast environments due to a number of constraints of wireless communications and characteristics of mobile real time applications. In this paper, the use of hypo-serializability for mobile parallel broadcast environments is proposed. At first, hypo-serializability is formally defined. Next, it is proved that hypo-serializability is more relaxing than traditional serializability while consistency is maintained all the time. Then, the necessary and sufficient conditions for hypo-serializability are shown. Furthermore, the parallel hypo-serializable concurrency control protocol BCC-HSR is proposed. Finally, through a series of simulation studies, it is confirmed that the proposed protocol could improve average response time of mobile transactions significantly.

关 键 词：数据库系统 移动数据库 移动事务 并发控制 并行数据广播 

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