Subsequently to the wall of performance and power consumption, the dependability of computing, caused by soft errors, has become a growing concern. Since register files are accessed very frequently and can not be well protected, soft errors occurring in them are one of the top reasons for affecting the system reliability. To access the effect of soft errors in register files, a static analysis approach for program reliability was presented based on the assembly codes. Firstly, all possible live intervals of registers, which may degrade the program reliability, were sketched through the data flow analysis techniques j then according to the set of consisted blocks the bits of architectural correct execution were analyzed for each live interval; finally the program reliability can be calculated under the occurrence of soft errors in register files. Experiments on MiBench show that the analytical results are compatible with the AVF methods'. Moreover, the critical factor of all involved interval have been presented, which are in favor of implementing the high efficient fault tolerance methods for soft errors in register files.%继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响系统可靠性的关键因素之一.基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方法.首先通过数据流分析技术提取出可能影响程序执行的寄存器活跃区间,然后基于构成活跃区间的基本块集合计算其有效体系结构易感位数,在此基础上可定量计算寄存器软错误影响下的程序可靠性.基于MiBench基准程序的实验表明,该方法的分析结果与AVF分析法保持一致,同时还指出了寄存器相关活跃区间的关键程度,这为实现针对寄存器软错误的高效容错方法提供了依据.
展开▼
