移动广播环境中多级安全数据库的并发控制

论文摘要

随着计算机技术和移动通讯技术的迅猛发展,建立在移动通信技术基础上的一种新的计算模式—移动计算（mobile computing）模式获得了飞速发展。目前以广播模式发布数据来支持并发事务的数据库应用越来越多,信息系统要处理的敏感信息也越来越多,于是,移动广播环境中多级安全数据库的并发控制问题成为移动计算中亟待解决的问题。首先,本文对移动计算、移动数据库、多级安全数据库、并发控制的研究背景和当前研究现状进行了介绍。其次,本文在国内外研究现状的前提下,鉴于现有的多级安全并发控制不能适应移动网络环境的移动性和频繁断接性等特点,提出一种基于低优先的多版本乐观两段锁并发控制协议（Concurrency Control Protocol of Multiversion Optimistic Two Phase Locking Based on Low Priority, LFMVO-2PL）,该协议阻止了隐通道的创建且不会导致检索异常,高级事务的饥饿问题也得到一定程度的解决,同时还提供一个多级事务的可串行化调度,提高了并发度,满足了移动广播环境中多级安全数据库对安全性的要求。最后,本文对新提出的协议进行了模拟实验,对LFMVO-2PL协议进行了性能分析,并与其他协议做了比较。实验结果表明LFMVO-2PL协议具有较高的事务并发度,并且能够保证多级事务调度的正确性,优于其它协议。

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 研究背景
• 1.2 国内外研究现状
• 1.2.1 移动数据库的运行环境
• 1.2.2 移动数据库的关键技术
• 1.2.3 移动数据广播
• 1.2.4 多级安全数据库模型研究
• 1.2.5 多级事务并发控制的研究
• 1.3 移动数据库中的事务处理
• 1.3.1 典型的移动事务模型
• 1.3.2 移动事务的特点
• 1.4 移动计算的特点及典型应用
• 1.5 本文的研究意义和目标
• 1.6 论文的组织结构
• 第二章 多级安全数据库
• 2.1 多级安全数据库
• 2.2 多级安全数据库模型
• 2.2.1 BLP模型
• 2.2.2 MLR模型
• 2.3 多级事务与并发控制机制
• 2.3.1 多级事务
• 2.3.2 并发控制
• 2.4 小结
• 第三章 LFMVO-2PL并发控制协议
• 3.1 问题引入
• 3.1.1 BLP模型下的隐通道
• 3.1.2 检索异常以及高级事务的饥饿问题
• 3.1.3 多级事务调度的可串行性
• 3.1.4 采用多版本消除语义依赖
• 3.2 并发控制的基本策略和方法
• 3.2.1 多级事务调度
• 3.2.2 乐观并发控制的策略
• 3.2.3 两段封锁的策略
• 3.3 LFMVO-2PL并发控制协议
• 3.3.1 概述
• 3.3.2 MHs上的处理算法
• 3.3.3 Server上的处理算法
• 3.3.4 协议正确性说明
• 3.4 移动事务处理过程
• 3.4.1 MHs上的事务处理过程
• 3.4.2 Server上的事务处理过程
• 3.5 小结
• 第四章 实验模拟和性能评价
• 4.1 实验相关介绍
• 4.2 实验设计
• 4.3 性能分析
• 4.3.1 事务延迟截至时间率性能比较
• 4.3.2 事务重启动率性能比较
• 4.3.3 事务响应时间性能比较
• 4.4 小结
• 第五章 总结与展望
• 5.1 总结
• 5.2 展望
• 参考文献
• 致谢
• 在学期间的研究成果及发表的学术论文