一种针对软错误的程序可靠性定量分析方法  

A Quantitative Approach for Program Reliability Analysis of Soft Errors

作　　者：徐建军[1] 谭庆平[1] 熊磊[1] 叶俊[1] 

机构地区：[1]国防科学技术大学计算机学院,湖南长沙410073

出　　处：《电子学报》2011年第3期675-679,共5页Acta Electronica Sinica

摘　　要：宇宙射线辐射所导致的软错误是航天计算面临的最主要挑战之一.而随着集成电路制造工艺的持续进步,现代处理器的计算可信性日益面临着软错误的严重威胁.当前,很少有研究从软件角度分析软错误对系统可靠性的影响.在程序汇编代码的基础上,提出一种针对软错误的程序可靠性定量分析方法PRASE,并且提出基本块分析法和3条运算定律以改进其分析效率.实验表明软错误对程序可靠性的影响与程序自身结构密切相关,同时分析结果还指出在软错误影响下程序的关键脆弱点,对实现针对软错误的高效容错算法有参考意义.Soft errors,caused by the radiation of cosmic rays,are one of the top challenges for space computing.With the continuously progress of integrated circuits,the dependability of modern processors is increasingly affected by soft errors.Currently,few works analyze the impact of soft errors from the perspective of software.This paper presents a quantitative approach,named PRASE,which is able to analyze the effect of soft errors to the reliability of a given program.Moreover,the analytical performance is increased significantly with the help of the basic block analysis and three arithmetic laws.The experiments show that the reliability of a program has a connection with its native structure.Furthermore,the analytical results also identify the vulnerabilities of a given program under the occurrence of soft errors.These contributions are in favor of implementing the high efficient algorithms for tolerating soft errors.

关 键 词：软错误 单粒子翻转 程序可靠性分析 错误传播 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]