【摘 要】
:
形式地给出了合作事务定义及事务间由于消息交换而形成的事务间的检验点依赖和恢复依赖.基于这些定义,某一事务记检验点时,所有检验点依赖于该事务的事务也记检验点;当某一事
【机 构】
:
华中科技大学计算机科学与技术学院430074
论文部分内容阅读
形式地给出了合作事务定义及事务间由于消息交换而形成的事务间的检验点依赖和恢复依赖.基于这些定义,某一事务记检验点时,所有检验点依赖于该事务的事务也记检验点;当某一事务恢复时,所有恢复依赖于该事务的事务也恢复到其检验点的状态.开发了一种适合于移动环境的事务恢复技术:在事务正常的消息传送中,通过额外的一点带宽附加传送事务间的依赖关系,在事务记检验点时,尽可能并行地通知所有相关的事务记检验点.实验表明,该事务恢复技术能减少系统记检验点的响应时间,提高系统的恢复速度及系统吞吐率,对网络带宽的要求基本没有增加.
其他文献
【正】 印度独立以后,政府对经济生活进行了广泛的调节和干予,实行公私营经济并举的“混合经济”方针,既鼓励私人资本的发展,又运用各种财政手段,大力发展国家资本。政府逐步
【正】 一、总统印度宪法规定,印度总统应为国家元首。形式上,总统是国家权力的最高执掌者和国家在对外关系中的最高代表。印度实行的是议会共和制,因此,从国家元首的产生和
【正】 近几年来,巴基斯坦向外输出劳动力的数量逐渐增多,随着出国工作人数的增加,巴基斯坦的侨汇与年俱增。巴斯基坦侨汇在巴国民经济中起着相当重要的作用,但也存在着一些
由中国人工智能学会机器人专业委员会主办,华中科技大学控制科学与工程系承办,中国人工智能学会机器人足球竞赛工作委员会和上海广茂达伙伴机器人有限公司协办的第六届中国智能
选用3个转基因小麦、2个受体对照与170个地方品种对照,在武汉进行环境释放试验.约20%的小麦地方品种与转基因小麦花期相遇,所有地方品种开花时柱头都部分外露,且小花开放度和
采用PIV激光内流测试技术,在实验室内对水流的空心涡带的实验测量方法进行研究,主要介绍对轴向面上的流动测量,对涡带附近测得的数据采用特殊处理方法,该方法能够有效测出水
提出了一种基于扫描线种子填充的二值图像快速聚类算法 .该算法步骤为 :对二值图像进行扫描 ,如果检测到了目标点 ,则将该点作为新的聚类的种子 ,将该种子扩展到整个目标区域 ,形成一个包含目标区域的聚类 .该算法的特点为 :只需一次扫描即可动态生成所有聚类 ,聚类总数动态生成 ,每一时刻只有一个聚类被处理 ,可提前进行一些后续处理 ,算法描述简单 ,易于编程实现 .
教育部系统的专业核心期刊《中国高等教育评估》杂志和一级学报《科学学与科学技术管理》杂志,在最近一期相继刊登了广东管理科学院《中国大学评价》课题组武书连、吕嘉、郭石
概述了协同式增强现实的一致三维空间关系处理模型或方法,重点讨论了协同式增强现实在基于多视频序列的真实环境多方位表示、基于多视频序列的一致三维注册、基于多视频序列的一致空间遮挡关系、面向多个协同工作用户的一致增强现实场景深度感知等方面存在的关键问题,并建议了针对这些关键问题的研究内容.