基于消息记录的软件容错技术的研究

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:sxfylhd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文在总结现有的卷回恢复技术的基础上,提出了两种基于消息记录的故障恢复方法:基于同步消息记录的故障恢复方法CMLS和基于异步消息记录的故障恢复方法CMLA.该文的研究工作和取得的成果如下:该文首先利用有向图的原理,在对Domino效应问题进行了详细的描述与分析的基础上,揭示了Domino效应产生的根本特征,并且提出了克服Domino效应的有向图环路消除算法.该文提出了两种基于消息记录的故障恢复方法-CMLA.最后,该文在响应系统的基础上提出了软件容错支撑系统的设计思想.
其他文献
AAA认证技术是近年来最先进的网络安全技术之一,它已经成为解决远程拨号用户安全问题的国际标准.AAA认证技术应用于内部网络,通过对内部网的安全服务器上的运行的AAA认证软件
作为多的局部数据库具有大量的有用信息.如果能够充分利用该些信息,往往可以大大减少多数据库查询处理的开销.人们发现多数据库的语义冲突信息是实体化方案选择的有用信息,因
该文从整体上分为三部分;第一部分阐述了可视化数据挖掘的基本理论,并且对可视化数据挖掘中几种常用的可视化技术进行了着重的分析和介绍;第二部分提出了可视化数据挖掘的组
满足各种时间约束是实时嵌入式系统设计的一个重要目标。通常,时间约束要求实时系统在满足功能性需求的同时,还必须保证系统行为的时效性,即系统必须在确定的时间内执行其功
该文根据哈工大校园网建设与管理的实际需要,为解决校园网计费管理问题而对网络计费管理进行了研究,并对整个系统进行了实现.该文首先对网络中的TCP/IP(Transmission Control
近年来Internet已经发展成为一个全球性的数据网络,吸引了大批的用户,随着网络上信息的不断丰富和多媒体应用的展开,Internet的发展势头更加强劲.虽然Internet在可靠性和服务
该文研究了遗传算法在ATM网络路由规划选择中的应用,重点研究如何加快遗传算法的收敛速度以求得全局最优解的问题.在此基础上,结合ATM网络路由本身的一些参数特性,运用约束条
近年来,多视角目标类检测在计算机视觉和多媒体领域受到了越来越多的关注,而检测的对象也由多视角人脸和行人扩展到一般的多视角目标。该研究中最具挑战的问题之一是如何检测
为适应社会主义市场经济的发展,实现大连市自来水公司二级供水的自动化,依据其自身特点对其进行改造。本文设计与实现了通过MODEM和电话网进行数据传输的远程网络巡回监控系统
对象约束语言OCL的出现,为精确化模型奠定了基础。而随着模型在软件开发中的地位越来越重要,如何对施加在模型上的OCL约束进行验证从而提高模型的准确性,保证模型的一致性工