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

摘要

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