摘要
宇宙射线辐射所导致的软错误是航天计算面临的最主要挑战之一.而随着集成电路制造工艺的持续进步,现代处理器的计算可信性日益面临着软错误的严重威胁.当前,很少有研究从软件角度分析软错误对系统可靠性的影响.在程序汇编代码的基础上,提出一种针对软错误的程序可靠性定量分析方法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.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第3期675-679,共5页
Acta Electronica Sinica
关键词
软错误
单粒子翻转
程序可靠性分析
错误传播
soft error
single event upset
program reliability analysis
error propagation
