计算机工程

• 体系结构与软件技术 • 上一篇    下一篇

基于结构化标签的控制流错误检测算法

张鹏a,朱利a,杜小智a,贺朝会b,陈皓a   

  1. (西安交通大学 a.软件学院; b.能源与动力工程学院,西安 710049)
  • 收稿日期:2015-05-18 出版日期:2016-06-15 发布日期:2016-06-15
  • 作者简介:张鹏(1990-),男,硕士研究生,主研方向为软件容错技术;朱利(通讯作者),副教授;杜小智,博士;贺朝会;教授;陈皓,硕士研究生。
  • 基金项目:
    国家自然科学基金资助项目(61473220);中央高校基本科研业务费专项基金资助项目(XJJ2015122);陕西省工业公关计划基金资助项目(2013K06-20)。

Control Flow Error Detection Algorithm Based on Structural Tag

ZHANG Peng a,ZHU Li a,DU Xiaozhi a,HE Chaohui b,CHEN Hao a   

  1. (a.School of Software Engineering; b.School of Energy and Power Engineering,Xi’an Jiaotong University,Xi’an 710049,China)
  • Received:2015-05-18 Online:2016-06-15 Published:2016-06-15

摘要: 在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点。为此,基于结构化标签提出一种可配置的控制流错误检测算法。算法使用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

中图分类号: