摘要： 在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点。为此,基于结构化标签提出一种可配置的控制流错误检测算法。算法使用2个标签,通过对基本块设计结构引入双指令环,解决块间滞后性的问题,实现基本块间和块内的控制流检测。实验结果表明,与同类算法相比,该算法在保证等效检错能力的情况下可使空间开销降低49.3%,时间开销降低17%~45.3%,故障覆盖率提高6.2%~8.6%。

关键词: 瞬态故障, 控制流错误检测, 基本块, 结构化标签, 故障注入, 软件容错

Abstract: In high irradiation cosmic environment,a large number of rays often result in transient faults on space computer.One major effect incurred by these faults is the Control Flow Error(CFE).In this paper,a CFE detection algorithm based on structural tag is proposed,which aims at changing the high computational complexity,lag and inflexible configuration of present CFE detection algorithms.It uses two signatures,introduces the double instruction loop into the structure of basic blocks,in order to detect the CFE occurring in inter-block and intra-block.Meanwhile,it solves the problem of the lag of inter-block.Experimental results show that,compared with other similar algorithms,the proposed algorithm can decrease the space overhead by 49.3%,decrease the time overhead by 17%~45.3%,and increase the fault coverage rate by 6.2%~8.6%,under the condition of equivalent error-detecting capacity.

Key words: transient fault, Control Flow Error(CFE) detection, basic block, structural tag, fault injection, software fault tolerance

中图分类号: 

• TP302.8