-
题名移动实时事务的相对时间正确性及其实现
被引量:2
- 1
-
-
作者
李国徽
陈基雄
杨兵
许华杰
欧阳柳波
-
机构
华中科技大学计算机科学与技术学院
湖南大学软件学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2005年第1期136-141,共6页
-
基金
国家自然科学基金青年基金 (60 2 0 3 0 17
留学回国人员基金及湖北省自然科学基金资助 .
-
文摘
随着移动通信技术的迅速发展 ,人们提出了新的应用要求 :在移动环境下处理实时事务 .而移动通信的带宽有限性引起较大的数据访问延迟 ,有时甚至由于网络传输的断接而使得事务得不到所需访问的数据 ,这些严重影响了移动环境下实时事务截止期的满足 .实时事务的时间要求 (典型地为截止性 )的满足通常比事务执行的逻辑结果的完全正确更为重要 .该文提出了移动环境下实时事务的“相对”时间正确性标准 ,只要事务访问的数据的陈旧度 (staleness)在控制的范围内 ,就不一定要求实时事务访问的数据在事务提交时是有效的 .文中提出了移动实时事务的相对时间正确性标准、保证事务相对时间正确性标准的算法及移动实时事务执行模型 .所有这些策略一方面降低了移动实时事务的并发控制代价 ,另一方面以牺牲事务的“绝对”时间正确换取事务截止期的满足 ,这与实时数据库“宁愿要部分正确但及时的结果而不愿要绝对正确但过时的结果”的系统目标是相一致的 .实验表明 :相对时间正确性标准的提出及相应的事务执行模型能提高系统中满足截止期事务的比率 ,从而提高了系统性能 .
-
关键词
移动实时数据库
移动实时事务处理
数据有效期
事务执行模型
相对时间正确性
-
Keywords
Data processing
Distributed database systems
Real time systems
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名数据广播环境下移动实时事务的有效并发控制
- 2
-
-
作者
李国徽
杨兵
向军
陈辉
-
机构
华中科技大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2008年第4期54-59,共6页
-
基金
青年国家自然科学基金项目(编号:60203017)
留学回国人员基金
湖北省杰出青年基金资助
-
文摘
在无线数据广播环境下,从移动客户机到数据库服务器的上行带宽非常有限。传统的并发控制协议不适合这种不对称通讯环境。本文结合乐观并发控制协议和时标排序协议提出一种并发控制协议。只读事务满足弱一致性,包含所有更新事务和一个移动只读事务的可串行化图是非循环的。使用本文提出的并发控制协议,移动只读事务能够自主执行,移动更新事务能够较早地检测到数据冲突。模拟试验显示,我们提出的协议相对其它已经存在的并发控制协议来说,能够更好地满足事务截止期。
-
关键词
数据广播
移动实时事务
乐观并发控制
可串行化
-
Keywords
Data broadcast, Mobile real-time transaction, Optimistic concurrency control, Serializability
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TP393.0
[自动化与计算机技术—计算机应用技术]
-
-
题名面向用户的移动实时事务并发控制策略
- 3
-
-
作者
党德鹏
刘云生
-
机构
北京师范大学信息科学与技术学院
清华大学计算机科学与技术系
华中科技大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第22期4-6,共3页
-
基金
国家"十一五"科技支撑计划基金资助项目(2006BAK01A07)
中国博士后科学基金资助项目(2003034146)
北京师范大学青年基金资助项目
-
文摘
ε-可串行化、Δ-可串行化、准一致性可串行化等现有面向事务的放松可串行化正确性准则虽能帮助更多无线通信事务满足其截止期要求,但会导致数据的受限不一致。该文针对移动实时环境和应用,形式化定义并分析了ε-可串行化和ψ-可串行化2种新的面向用户的并发控制策略,它们都比冲突可串行化宽松,但都能始终保证移动用户读取数据的一致性。
-
关键词
面向用户
移动实时数据库
移动实时事务
并发控制
可串行化
-
Keywords
user-oriented
mobile real-time database
mobile real-time transactions
concurrency control
serializability
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名移动实时事务预留广播空间的验证协议
- 4
-
-
作者
杨兵
李国徽
-
机构
华中科技大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2009年第11期2210-2215,共6页
-
基金
国家"八六三"高技术研究发展计划项目(2007AA01Z309)资助
国家自然科学基金项目(60873030)资助
+2 种基金
国防预研基金项目(9140A04010209JW0504
9140A5040208JW501)资助
湖北省自然科学基金项目资助
-
文摘
在无线数据广播环境中,从移动客户机到服务器的上行带宽非常有限,传统的并发控制协议不适合这种不对称通信环境.本文提出一种可变乐观并发控制协议,服务器周期性向移动客户机广播数据对象,同时把一个广播周期分成若干个子周期,在两个连续的子周期间,一个保留空间被预留来存放服务器更新事务在第一个子周期开始后修改的所有数据对象,移动只读事务通过比较服务器更新事务提交的写集合和自己读集合来自主进行一致性验证,如果只读事务不能通过部分验证,它不会被草率地夭折并重新启动,相反,应用一个改进的向前验证策略,帮助移动只读事务争取更多提交机会.最后,本文进行充分的实验对提出的算法性能进行了评价.
-
关键词
数据广播
乐观并发控制
移动实时事务执行
混合验证策略
-
Keywords
data broadcast
optimistic concurrency control
mobile real-time transaction processing
hybrid validation police
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名无线数据广播中动静结合分片段移动实时事务模型
- 5
-
-
作者
党德鹏
徐娟
-
机构
北京师范大学信息科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2011年第8期182-184,共3页
-
基金
国家自然科学基金(60940032
61073034)
+1 种基金
"十一五国家科技支撑计划重大项目(2006BAK01A07)
"十一五"国家科技支撑计划重点项目(2006BAC18B06)资助
-
文摘
无线广播环境非对称通信等的诸多限制以及数据访问者的移动性及实时性等需求,使平坦事务模型及现有移动事务模型都无法满足无线数据广播中移动实时事务处理的要求。从无线数据广播环境特点出发,针对移动应用需求特征,提出了一种动静结合分片段移动实时事务模型。
-
关键词
数据广播
移动实时事务
事务模型
正确性
-
Keywords
Data broadcast
Mobile real-time database
Transaction model
Correctness
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名广播环境中的移动实时事务并发控制
被引量:2
- 6
-
-
作者
党德鹏
刘云生
-
机构
华中科学技术大学计算机学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2002年第10期1374-1378,共5页
-
基金
国家自然科学基金 ( 6 0 0 730 4 5)
国防预研基金 ( 0 0 J1 5.3. 3.JW 0 52 9)资助
-
文摘
研究了实时数据广播中的一致性问题 .由于广播环境的通信不对称性 ,传统的可串行化并发控制协议显得过于严格、不必要、不可行 .为此 ,提出使用伪可串行化并发控制 :形式化定义了伪可串行化的概念 ,证明了它虽比传统可串行化宽松但能保证数据一致性 ,给出了相应的并发控制协议 .实验结果表明 :新协议可显著降低平均响应时间 。
-
关键词
广播环境
移动实时事务并发控制
实时数据广播
放松可串行
移动信息服务系统
数据库
-
Keywords
real-time data broadcast, relaxing serializability, mobile real-time concurrency control
-
分类号
TN934.2
[电子电信—信号与信息处理]
-
-
题名移动环境下支持实时事务处理的数据预取
被引量:8
- 7
-
-
作者
李国徽
杨兵
陈辉
杜建强
-
机构
华中科技大学计算机学院
江西中医学院计算机学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2008年第10期1841-1847,共7页
-
基金
国家自然科学基金(60873030)
国家“八六三”高技术研究发展计划项目基金(2007AA01Z300)资助~~
-
文摘
随着移动通信技术的迅速发展,人们提出了新的应用要求:在移动环境下处理实时事务.而移动通信带宽有限性引起较大的数据访问延迟,有时甚至由于网络传输的断接使得事务得不到所需要的数据,数据预取能够很好地解决这个问题.已有的移动环境下数据预取没有考虑到数据的流行性和事务的时间特性.该文分析影响实时事务数据预取的因素,首先考虑数据易变性、活跃性等因素,获得高价值预取数据集合;然后考虑访问预取数据的事务优先级、数据流行性等因素,构造预取数据的选择函数,通过该函数在前面选取的集合中筛选出对满足实时事务截止期更有价值的数据对象进行预取.实验表明,该数据预取策略能降低移动实时事务满足截止期的比率,更好地支持移动实时事务处理.
-
关键词
数据预取
移动实时事务
缓存失效
预取策略
-
Keywords
data prefetching
mobile real-time transaction
cache invalidation
prefetching schemes
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于移动环境的混合乐观实时事务处理策略
被引量:1
- 8
-
-
作者
肖迎元
刘云生
廖国琼
-
机构
华中科技大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2005年第6期1023-1028,共6页
-
基金
国家自然科学基金项目(60073045)资助
国家"十五"国防预研基金项目(413150403)资助
国家教育部博士点基金项目(2002048706)资助.
-
文摘
随着移动计算技术的快速发展,移动环境下涉及到实时事务处理的应用需求正逐渐增长.由于移动环境下固有特性:高的网络延迟、频繁的断接性和移动性等,采用传统的事务处理技术,在移动环境下很难满足事务的截止期要求.提出了一种基于高优先级两段锁的混合乐观实时事务并发控制协议(HORTCC-SHP2PL).该协议在移动实时事务处理中将乐观并发控制和高优先级两段锁结合起来,利用两阶段提交协议实现移动实时事务的全局提交.为了进一步减少移动实时事务重启的数目,在并发控制协议中引入了相似性的概念.仿真实验显示,与分布式高优先级两段锁(HP2PL)比较,HORTCC-SHP2PL明显地减少了实时事务错过截止期的比率,提高了事务的并发度,能更好的满足移动实时事务截止期的要求.
-
关键词
移动实时数据库
移动实时事务
并发控制
相似性
内存数据库
-
Keywords
mobile real-time database
mobile real-time transaction
concurrency control
similarity
main memory database
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名分片段的移动实时数据库事务模型
被引量:1
- 9
-
-
作者
党德鹏
周立柱
刘云生
-
机构
清华大学计算机科学与技术系
华中科技大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2005年第10期108-109,117,共3页
-
文摘
由于移动计算环境的固有特性、数据访问者的移动性、事务的截止期限制等,传统平坦事务模型无法满足移动实时数据库的需求。本文针对移动实时数据库事务的特点,提出了一种分片段移动实时数据库事务模型。
-
关键词
移动实时数据库
移动实时事务
可串行化
实时数据库
事务模型
片段
移动计算环境
固有特性
数据访问
移动性
-
Keywords
Mobile real-time database, Mobile real-time transactions,Serializability
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TQ610.499
[化学工程—精细化工]
-
-
题名移动实时嵌套事务的并发控制
被引量:6
- 10
-
-
作者
廖国琼
刘云生
杨进才
-
机构
华中科技大学计算机学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2003年第10期1326-1331,共6页
-
基金
国家自然科学基金 ( 60 0 73 0 45 )
国家预研基金 ( 0 0J15 .3 .3 .JW 0 5 2 9)
国家教育部博士点基金资助
-
文摘
在移动计算环境中 ,事务移动性和无线网络固有的缺陷使得传统分布式实时事务管理机制不足以支持移动实时事务的执行 ,故有必要为移动实时事务研究新的事务处理机制以提高其成功率 .该文着重研究移动实时事务的并发控制机制 .首先 ,该文给出了一个考虑事务定时限制以及移动性的嵌套事务模型 .然后 ,为减少移动分布式环境中解决数据冲突的开销 ,该文研究了一种结合优先级夭折和优先级继承的基于封锁的并发控制协议PAI 2PL .当高优先级事务被低优先级事务阻塞时 ,对于相同家族事务 ,采用优先级继承方法解决冲突 ;而对于不同家族事务 ,则夭折重启低优先级事务 .另外 ,为减少由于断接所引起的无效阻塞 ,PAI 2PL允许低优先级事务夭折处于断接状态的高优先级事务 .通过性能测试 ,表明所提出的事务模型及并发控制机制能提高实时事务的成功率 .
-
关键词
移动数据库
分布式实时事务管理机制
并发控制
移动实时嵌套事务
-
Keywords
mobile database
real-time database
concurrency control
nested transaction
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名支持处理移动实时只读事务的更新分发协议
被引量:2
- 11
-
-
作者
王洪亚
宁国勤
李国徽
-
机构
华中师范大学信息技术系
华中科技大学计算机学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第12期113-115,共3页
-
基金
青年国家自然科学基金资助项目(60203017)
-
文摘
研究了移动实时计算环境下更新分发的问题,提出了混合前向多版本数据广播方案,该方案在保证事务一致性的同时满足了数据和事务本身的定时约束,模拟实验表明该方案能够有效地降低事务错过率和提高数据流行性。
-
关键词
移动实时计算环境
移动实时只读事务
更新分发
-
Keywords
Mobile real-time computing systems
Mobile real-time read-only transactions
Updatesd dissemination
-
分类号
TN929.5
[电子电信—通信与信息系统]
-
-
题名移动分布式数据库中的实时事务处理
被引量:1
- 12
-
-
作者
雷向东
赵跃龙
陈松乔
袁晓莉
-
机构
中南大学信息科学与工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第11期95-97,共3页
-
基金
国家"863"计划基金资助项目(511-910-092)
国家教育部博士点基金资助项目(20030533011)
-
文摘
提出了移动事务实时提交协议(MTRTC)和多版本乐观并发控制协议(MVOCC)处理移动分布式实时事务。MVOCC有效性检查分为局部有效性检查和全局有效性检查,采用动态调整串行次序,避免了不必要的事务重启动,改善了只读事务的响应时间。MTRTC是一个实时提交协议,减少了通信信息。实验结果表明结合MVOCC和MTRTC事务处理协议优于其它事务处理协议。
-
关键词
移动数据库系统
移动分布实时事务
多版本乐观并发控制
实时提交
广播磁盘
-
Keywords
Mobile database systems
Mobile distributed real-time transactions
Multiversion optimistic concurrency control
Real-time commit
Broadcast disk
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名移动分布式实时事务实时原子提交
被引量:1
- 13
-
-
作者
肖迎元
刘云生
王洪亚
刘小峰
廖国琼
-
机构
华中科技大学计算机科学与技术学院
-
出处
《计算机应用》
CSCD
北大核心
2005年第11期2641-2644,共4页
-
基金
国家自然科学基金资助项目(60203017)
国家十五国防预研重点项目(413150403)
+1 种基金
国防预研基金项目(51415030203JW05)
中国博士后科学基金资助项目(2003034482)
-
文摘
形式地给出了移动分布式实时事务实时原子提交协议的定义,在此基础上提出了适合于移动分布式实时事务的实时原子提交协议:一阶段实时原子提交协议(1PRACP)。1PRACP通过参与者与协调者的一次消息交换,在一个阶段完成移动分布式实时事务提交活动;结合超时恢复处理协议,1PRACP能避免由于站点故障或网络通信链路故障而导致的阻塞。对1PRACP进行了性能比较和评测,显示了它在各方面的优越性。
-
关键词
移动分布式实时数据库
移动分布式实时事务
实时原子提交
截至期
优先级
-
Keywords
mobile distributed real-time database
mobile distributed real-time transaction
real-time a^omic commitment
deadline
priority
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名移动计算环境中实时嵌套事务并发控制协议的研究
- 14
-
-
作者
雷向东
赵跃龙
陈松桥
袁晓莉
-
机构
中南大学信息科学与工程学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2007年第1期93-96,共4页
-
基金
国家"八六三"计划项目(511-910-092)资助
国家教育部博士点基金项目(20030533011)资助.
-
文摘
提出了移动计算环境中多版本乐观并发控制协议(MultiversionOptimisticConcurrencyControl,MVOCC)处理移动实时嵌套事务.协议消除了只读事务和更新事务之间冲突,通过动态调整事务串行次序,避免不必要的事务重启动.只读事务在移动主机处理,只读事务的响应时间大大改善.事务有效性检查分两级局部有效性检查和全局有效性检查.局部有效性检查在移动主机进行.通过局部有效性检查的事务提交到服务器进行全局有效性检查.如此早地检测数据冲突,节省了处理和通信资源.通过模拟仿真,对协议进行了性能测试,并与OCC-TI-WAIT50和HP2PL协议进行了比较.实验结果表明该协议要优于其它协议.协议不但能有效地降低事务的重启动率和延误截止时间率,而且改善只读事物的响应时间.
-
关键词
移动计算
多版本乐观并发控制
移动实时嵌套事务
广播磁盘
-
Keywords
mobile computing
multiversion optimistic concurrency control
mobile real-time nested transaction
broadcastdisks
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名支持移动合作实时事务的一种新的协同检验点算法
- 15
-
-
作者
李国徽
陈基雄
王洪亚
刘云生
-
机构
华中科技大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第11期1943-1947,共5页
-
基金
青年国家自然科学基金项目 (60 2 0 3 0 17)资助
-
文摘
现有的协同检验点方法在移动环境中会带来较大的检验点过程延时 ,不能很好地支持实时事务处理 .提出了一种新的协同并行检验点方法 ,在正常的消息传输过程中 ,通过一点额外的带宽传送事务间检验点依赖关系 ;在某一事务记检验点时 ,尽可能地同时通知相关的事务记检验点 .实验表明 ,该算法对网络带宽没有明显的增加 ,而能大大降低事务记检验点的延时 。
-
关键词
移动合作实时事务
协同并行检验点方法
检验点依赖
全局检验点
-
Keywords
mobile cooperative real-time transaction
coordinated parallel checkpointing method
checkpoint dependency
global checkpoint
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名无线移动环境中的拉式实时并发控制机制
- 16
-
-
作者
党德鹏
周立柱
刘云生
-
机构
北京师范大学信息科学与技术学院
清华大学计算机科学与技术系
华中科技大学计算机学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第7期92-93,99,共3页
-
基金
中国博士后基金资助项目(2003034146)
国家自然科学基金资助项目(60221120146)
国家"973"计划基金资助项目(G1999032704)
-
文摘
考虑到诸如带宽、移动性、频繁断接等限制,传统可串行化并发控制协议显得过于严格而无法满足移动实时数据库环境的要求。该文首先形式化定义并分析了弱可串行化正确性准则,弱可串行化比传统冲突可串行化宽松且能始终保证数据库的一致性。进而给出了一种适宜于移动实时数据库的弱可串行化并发控制协议WMHP-2PL。最后性能实验证实了新协议的有效性。
-
关键词
移动实时数据库
移动实时并发控制
移动实时事务
-
Keywords
Mobile real-time database
Mobile real-time concurrency control
Mobile real-time transaction
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名移动实时数据库系统中的更新分发
被引量:6
- 17
-
-
作者
李国徽
王洪亚
刘云生
-
机构
华中科技大学计算机科学与技术学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2005年第11期2004-2009,共6页
-
基金
国家青年自然科学基金项目(60203017)
教育部优秀留学回国人员基金项目
湖北省自然科学基金项目~~
-
文摘
数据广播作为移动计算环境下有效的数据分发技术已有许多研究,当数据广播用于发送不断更新的数据时称它为更新分发·现有的更新分发协议因没有考虑实时数据库系统中数据和事务的定时要求而不适合移动实时只读事务的处理·重点研究了移动实时数据库系统中更新分发的问题,提出了混合前向多版本数据广播协议,该协议在保证事务一致性的同时满足了数据和事务的定时约束·模拟实验表明,该协议能够有效地降低事务错过率和提高数据流行性,较现有更新分发协议更适合移动实时只读事务的处理·
-
关键词
移动实时数据库系统
移动实时只读事务
更新分发
混合前向多版本数据广播
-
Keywords
mobile real-time database systems
mobile real-time read-only transactions
updates dissemination
hybrid forward multi-version data broadcast
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于准一致性可串行化的并发控制协议
- 18
-
-
作者
黄四南
-
机构
湖南衡阳无线电总厂
-
出处
《计算机应用研究》
CSCD
北大核心
2004年第2期221-222,共2页
-
文摘
人们基于准一致性可串行化的正确性标准,提出了一种乐观并发控制协议,提高了事务执行的并发度,更有利于实时事务定时限制的满足。
-
关键词
准一致性可串行化
移动实时事务
移动实时乐观并发控制
-
Keywords
Quasi-consistency Serializability
Mobile Real-time Transaction
Mobile Real-time Optimistic Concurrency Control
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-