移动分布式数据库系统中合作事务恢复技术

上传者：陈茂银
|
上传时间：2015-05-05
|
密次下载

移动分布式数据库系统中合作事务恢复技术

收稿日期：
2002-06-20.
作者简介：李国徽（
1973-
），男，副教授；武汉，华中科技大学计算机科学与技术学院（
430074
）
.
基金项目：国家自然科学基金资助项目（
60203017
）
.
移动分布式数据库系统中合作事务恢复技术
李国徽李四勤
（华中科技大学计算机科学与技术学院）
摘要：形式地给出了合作事务定义及事务间由于消息交换而形成的事务间的检验点依赖和恢复依赖
!
基于这
些定义，某一事务记检验点时，所有检验点依赖于该事务的事务也记检验点；当某一事务恢复时，所有恢复依
赖于该事务的事务也恢复到其检验点的状态
!
开发了一种适合于移动环境的事务恢复技术：在事务正常的消
息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关
的事务记检验点
!
实验表明，该事务恢复技术能减少系统记检验点的响应时间，提高系统的恢复速度及系统吞
吐率，对网络带宽的要求基本没有增加
!
关键词：数据库系统；检验点；合作事务；事务恢复
中图分类号：
TP311.133.1
文献标识码：
A
文章编号：
1671-4512
（
2003
）
01-0028-03
在分布式数据库系统中，事务之间可能由于
相互的消息交换而形成相互合作关系
.
为了在系
统出现差错时尽量减少工作损失，事务定期（或不
定期）地记检验点
.
为了保持系统（事务间相互）一
致性，当事务记检验点时，相关的事务都要相应记
检验点
［
1
，
2
］
.
在已有的系统中，记检验点的事务依
次顺序通知相关的事务记检验点，一个全局检验
点的时间延迟太长，而不适合移动环境下的实时
事务处理
.
本文设计了一个并行记检验点的方法，
能更好地支持移动环境下的实时事务处理
.
1
分布式合作事务模型
1.1
系统模型
分布式移动数据库系统包含一系列固定主机
和移动客户机
.
整个移动系统服务的区域分成物
理上邻接的区，每一个区有一个
MSS
，当移动客
户从一个区进入另一个区时，系统有一个交接的
过程，使得该移动客户与原来的
MSS
断开连接，
与新的
MSS
建立连接
［
3
］
.
整个数据库分布在系统
中的所有节点上
.
各节点上的事务为了完成某一
任务而相互发送消息
.
1.2
合作事务
系统中的一个分布式合作事务定义为与事务
相关的事件在时间上的一个偏序
.
事件包括事务
对数据库的操作（对象事件），事务管理原语的执
行
［
4
］
，还包括事务间收发消息的消息事件
.
定义
1
消息事件是事务接收另一事务发送
的消息或事务向另一事务发送消息，定义成一个
三元组：〈
ST
，
DT
，
MID
〉，其中，
ST
为发送消息
的源事务
ID
；
DT
为接收消息的目标事务
ID
；
MID
为消息
ID!
与事务
"
相关的所有消息事件
组成的集合称为消息事件集，记为
MES
（
"
）
!
定义
2
一个合作事务定义为与事务相关的
所有事件在时间上的一个偏序，即
"=
［
ES
（
"
），
!
"
］；
ES
（
"
）
=OES
（
"
）
"TES
（
"
）
"MES
（
"
），
式中，
OES
（
"
），
TES
（
"
），
MES
（
"
）分别为与事务
相联的对象事件集、事务事件集和消息事件集；
!
"
为事务各事件间的时序关系
!
定义
3
事务
"
#
记检验点操作时，为了保证
系统出现故障时能恢复到一个一致的状态，事务
"
$
也要同时记检验点，称
"
$
检验点依赖于
"
#
，记
作
"
$
CD"
#
!
定义
4
检验点依赖于事务
"
的所有事务
组成的集合称为
"
的检验点依赖集，将其记为
CDS
（
"
）
=
｛
"
#
#"
#
CD"
｝
!
定义
5
事务
"
#
发生故障而恢复（回滚）到
其检验点时，为了保证系统的一致性，事务
"
$
也
要同时回滚到其相应的检验点，称
"
$
恢复依赖于
"
#
，记作
"
$
RD"
#
!
第
31
卷第
1
期华中科技大学学报（自然科学版）
o.31 No.1
2003
年
1
月
J.~uazhongUniV.ofSci.&Tech.
（
NatureScienceEdition
）
Jan. 2003

教育资源为主的文档平台

文档分类