检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:薛利兴[1] 左德承[1] 张展[1] XUE Lixing;ZUO Decheng;ZHANG Zhan(School of Computer Science & Technology, Harbin Institute of Technology, Harbin 150001, China)
机构地区:[1]哈尔滨工业大学计算机科学与技术学院,哈尔滨150001
出 处:《计算机工程与应用》2017年第20期1-7,74,共8页Computer Engineering and Applications
基 金:国家高技术研究发展计划(863)(No.2013AA01A215);国家自然科学基金(No.61173020)
摘 要:故障注入是研究软错误故障传播的传统手段,但随着程序复杂性不断增加,采用故障注入对大量软错误的故障传播进行研究将花费巨大的时间成本。提出一种基于程序动态指令进行分析和建模从而快速获取软错误结果的方法。将程序转化为动态指令序列,通过体系结构正确执行分析将所有可能的软错误划分为对程序运行结果有影响和没有影响两部分;基于动态依赖图建立软错误故障传播分析模型,并建立判断程序崩溃的标准,进而提出一个算法对任意制定的能够影响程序运行结果的软错误进行故障传播分析并重点预测程序崩溃的发生。实验显示,预测的漏报率和分析单个软错误的平均用时明显低于现有方法。Fault injection is a traditional approach to study the propagation of soft errors.However,applying this approachto study a large number of soft errors needs too much time.To attack this problem,this paper proposes an approach to analyzethe propagation of soft errors and obtain their outcomes based on dynamic instructions.All possible soft errors areclassified into the errors which are able to impact program outputs,and the errors which have no impact on program outputsby the architecturally correct execution analysis after dynamic instructions corresponding to the program are traced.An analysis model for the propagation of soft errors is constructed based on the dynamic de-pendency graph,and a crashmodel is also built.Based on them,an algorithm is put forward to analyze the propagation of given soft errors that haveimpact on the program outputs,and to predict crashes.The experimental results show that the proposed approach has lowerfalse negative rate and costs less mean time for analyzing a soft error than the existing approach.
关 键 词:软错误 故障传播 崩溃 体系结构正确执行 动态依赖图
分 类 号:TP302.8[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.229