无线移动实时数据广播中的高性能并发控制

无线移动数据广播使得支持大批量移动用户的实时信息系统成为可能，实时高性能并发控制是其无法回避、亟待解决的关键问题。本研究拟结合基于时限的提交和基于向前恢复的补偿，提出完善的动静结合分片段移动实时事务模型，以适应数据广播环境的特征、支持高性能并发控制；提出实时数据广播中比冲突可串行化宽松、能始终保证数据一致性的新的并发控制策略，基于ACTA框架和图论方法研究其形式化定义，其放松性、一致性、可判定性和判定方法的论证；在这些新事务模型和新策略理论的基础上，设计实时数据广播中的高性能并发控制机制，研究其正确性验证与性能评价。

无线移动通讯技术与便携计算设备快速发展与普及，移动用户数量不断飙升，移动计算时代已经来临。在通讯非对称且可靠性差、移动设备资源严重受限且频繁断接的无线移动计算环境中，面向大批量移动用户的大型应用系统要求以广播模式发布数据。服务器如何为源自移动客户机的移动事务实时发布一致性数据已经成为极其重要且紧迫的挑战性研究课题。. 数据广播正在受到世界许多国家学术界、工业界和军事部门越来越多的重视和强力推动，国际电信联盟（ITU）已将发展数据广播作为“IMT-2000”创新计划的重要组成部分，XM卫星广播控股公司和雷声公司已经组建联合团队来研究基于XM卫星对官兵广播战场信息、对突发事件现场应急响应人员广播应急信息等支撑技术，许多大学和研究机构展开相关基础研究。但是，目前数据广播的研究主要集中于：①研究数据广播调度算法，以减小访问时间、提高用户访问效率；②研究空中索引方法，以降低调谐时间，节省移动设备能量消耗。数据广播中的移动实时事务处理是一个新问题。. 本项目针对面向大批量移动用户的大型应用系统的需要，以适应数据广播环境中的频繁断接与过区切换、支持实时并发控制的移动事务模型为基本出发点，以研究比（冲突）可串行化宽松、而且能始终保证一致性、有利于大大减少用于事务并发控制的上行带宽的新策略为基本突破口，以实时并发控制机制为落脚点，系统性地研究数据广播中的移动实时事务并发控制问题，形成集事务模型、并发控制策略及并发控制机制为整体的数据广播中移动实时事务并发控制的完整理论体系，拓展了事务处理理论研究领域，奠定了面向大批量移动用户的大型应用系统的理论基础。成果可广泛应用于前述各种应用领域，对它们不但是必要的而且是迫切的。该研究对移动数据库与信息系统理论与技术的发展有推动作用，对国家应急、国防与军事应用、经济与金融信息服务等都是有力的、必不可少的支持。