论文部分内容阅读
随着无线网络技术和硬件技术的飞速发展,移动互联网成为一个热门的研究课题。在移动互联网中,移动用户的需求最终还是要通过移动事务来实现。鉴于此,移动事务处理应该是移动数据库系统必不可少的功能之一。然而,移动事务本身的特性、移动计算环境的限制以及客户要求断接期间继续处理这一现实需求等使得传统的事务处理模型不能有效地支持移动计算环境,因此针对解决这一特殊环境特点的事务处理模型应运而生。本文对现有的几种典型移动事务处理模型进行了深入研究,分析总结它们在事务处理中关键问题(如过区切换、断接性、长事务、对弱一致性事务的支持等)的设计思想和不足之处;同时探讨了移动计算环境对移动事务处理的影响。在此基础上,提出了一种扩展的乐观两阶段提交事务处理模型(EO2PC-MT),该模型充分吸收了O2PC-MT模型的设计思想:支持交互式长事务;支持移动主机的任意移动。同时在以下几个方面完善了O2PC-MT模型的不足:①提供对弱一致性事务的支持:由于移动事务在发送至服务器端之前,可根据本地缓存的数据副本先执行,充分利用移动主机的资源,减轻了服务器的负载压力,从而提高系统的整体性能。②改进O2PC-MT模型的两阶段提交算法:为MTCS增加一个备份结点,解决了O2PC-MT模型中单点MTCS的性能瓶颈,同时避免了由于某个MTCS的故障导致其统一协调的移动事务无法处理的情况。③完善O2PC-MT模型的冲突校验方法:由于存在断接的可能性,难以获取事务启动的精确时间,因此采用时标间隔的方法,以“强读弱写、前辈优先”原则获取事务的全局时间戳。由于全局时间戳的获取过程很大程度规避了可能发生的冲突,因此断接模式下的冲突验证工作量将大大减少。最后,针对EO2PC-MT模型的原型系统进行了设计与分析,并使用一个具有代表性的实例来模拟EO2PC-MT模型的工作过程,验证其有效性。