基于双进程冗余的软件容错技术研究

来源 :哈尔滨工程大学 | 被引量 : 0次 | 上传用户:cao678
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着半导体设备工艺水平的不断提高,计算机微处理器的性能也越来越高,功耗也越来越低,但代价为晶体管阈值电压和噪声容限的降低,这使得计算机系统的处理器更容易受到外界环境的影响。由于在某些特殊领域中,外部环境十分恶劣,计算机系统容易因为外界环境的干扰而出现运行错误或者停机等问题,对整个工作任务造成无法弥补的严重后果。为了提高系统的抗干扰能力,抵抗恶劣的外界环境,研究容错技术是非常必要的。现有的容错技术方案往往具有较高的时间开销,并将故障检测和恢复机制分开研究。有的模型在检测出故障后只给出警告,有的模型只讨论故障恢复。目前基于软件的故障检测绝大多数需要源码文件的支持或者修改公共库文件,缺乏用户使用透明性。本文采用进程级冗余技术,在内核空间实现进程间数据比较,增加故障检测的透明度。将双进程容错技术和检查点设置与卷回恢复技术结合,设计实现了一个透明软件容错模型,该模型能够实现对目标程序的故障检测和恢复,保障程序的可靠运行。该模型的实现方案为:任务进程复制出两个相同的进程同步执行,并定期采取检查点,保存进程状态,在任务进程执行系统调用函数时,对系统调用函数参数进行比较,当比较结果不一致时根据采取的检查点文件,恢复任务进程继续运行,否则两个进程分别执行系统调用和模拟系统调用,确保任务正常完成。该容错模型构建内核模块捕获系统调用,无需修改源程序和二进制代码,同时无需添加新的硬件支持,具有对用户透明的特点。
其他文献
伴随着移动通信技术的发展和移动设备的普及,移动计算的应用变得越来越广泛,它满足了人们随时随地获取信息的需求。但是移动计算环境存在网络频繁断接、移动设备移动性与资源
近年来,随着数字视频技术和网络传输技术的飞速发展,互联网以及电子设备上的视频内容正以惊人的速度增长,面对如此海量的视频数据,传统的基于文本的检索技术已不能满足人们的需求
统计学习理论建立在结构风险最小化原则的基础上。与传统统计学习理论相比,V.Vapnik等人提出的统计学习理论是一种针对小样本情况研究统计学习规律的理论。与此同时,在这一理
近年来,随着移动计算技术和传感网络技术的蓬勃发展,基于位置的服务(Location Based Service, LBS)应用越来越广泛,用户的位置隐私成为人们关注的问题。轨迹隐私是位置服务中
尘肺病是一种肺组织纤维化的疾病,主要是由于人们在生产环境中长期吸入生成性粉尘而引起,这种疾病对患者的危害极大。由于尘肺病体检过程复杂且对象群体庞大,致使有关政府、企业
质量是软件产品成功的关键因素,有效的软件质量保证技术可以减少软件错误、降低软件开发成本、缩短软件开发周期,具有很重要的现实意义。   在所有软件质量保证技术中,软件测
近年来,互联网的快速发展,人们之间交流日益方便快捷,随着新的多媒体社交平台的不断涌出,围绕社交平台开展的交流日益增多,每天有成千上万的用户通过社交平台发表他们的言论
随着Internet的发展,电子商务也日益发展壮大,越来越多的企业建立自已的商务网站达到在线交易的目的,电子商务的一个重要应用是实现了购物方式的转变,消费者只要点击进入网上
随着互联网技术的迅猛发展,在线社交网络(OSN)平台正在成为人类社会关系维系和信息传播的重要渠道和载体,开放的社交网络平台给用户带来使用便捷的同时,在使用过程中也引发了
学位