基于软错误的动态程序可靠性分析和评估

• 作者: 熊磊 覃庆平
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 动态容错 软错误 程序级 动态运行 可靠性
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 计算机软件与数据库技术
• 页码范围: 2163-2168
• 分类号: TP311
• 字数: 9750字
• 语种: 中文

摘要

基于软件实现的软错误容错方法不需要硬件开销,被认为是一种高效的软错误容错方法,而动态的实现这种方法能覆盖更多种类型的程序,因而能覆盖更多的软错误,分析硬件软错误对程序执行时代码和数据的逻辑影响,并建立了硬件软错误条件下程序运行可靠性评估模型.本文的工作为基于软件动态软错误容错算法的提出提供了理论基础,也为程序可靠性的评估提供了一种方法.我们依据体系结构层硬件对指令执行的影响将硬件构件进行分类,并分析了不同的硬件构件对程序代码和数据的逻辑影响.基于软错误对程序代码和数据的影响模型,建立了软错误条件下程序运行可靠性评估模型.最后,在实验中,对软错误条件下程序影响模型和程序运行可靠性评估模型进行了验证,实验结果证明了本文的分析和评估结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	熊磊	国防科技大学计算机学院	2	8	2.0	2.0
2	覃庆平	国防科技大学计算机学院	1	3	1.0	1.0