文档介绍：移动数据库事务处理模型的研究

重庆大学硕士学位论文
(学术学位)

学生姓名:李文生
指导老师:罗军副教授
专业:计算机系统结构
学科门类:工学

重庆大学计算机学院
二〇一三年四月
Research on the Mobile Database Transaction
Processing Model

A Thesis Submitted to Chongqing University
in Partial Fulfillment of the Requirement for the
Master’s Degree of Engineering
By
Li Wensheng

Supervised by Associate Prof. Luo Jun
Major: Computer System Architecture

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

关键词:移动数据库,移动事务,EO2PC-MT 模型,弱一致性事务,冲突校验
I
重庆大学硕士学位论文英文摘要
ABSTRACT
With the rapid development of work and hardware technology, the
mobile es a present research focus. The demand is still achieved by the
mobile transaction in mobile , so the mobile transaction processing is one of the
essential features of mobile database systems. However, there are some factors, such as
the characteristics of the mobile transaction, the limitations of the puting
environment and the requirements of continuous processing when mobile host
disconnects, making traditional transaction p