一种基于格式化标签的可扩展控制流检测方法  

An Extendable Control Flow Checking Method Based on Formatted Signatures

作　　者：徐建军[1] 谭庆平[1] 李建立[1] 李剑明[1] 

机构地区：[1]国防科学技术大学计算机学院,长沙410073

出　　处：《计算机研究与发展》2011年第4期638-646,共9页Journal of Computer Research and Development

摘　　要：硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法对基本块进行分类,然后基于基本块的格式化标签提出一种有效的控制流检测方法ECCFS,并针对基本块内部和过程间两个控制流检测问题分别给出其扩展解决方法.检测效能分析和故障注入实验的结果都表明,除了伪分支和几个边界检测盲点之外,ECCFS能够检测出绝大部分的控制流错误.与两个有代表性的控制流检测方法相比较,ECCFS在错误检测率和性能开销等方面都具有一定的优势.Hardware transient fault is one of the top challenges for the space computers,which run in the space environment with different radiation phenomena.Furthermore,with the continuously increasing performance enabled by the scaling of VLSI technologies,modern microprocessors are becoming more susceptible to transient faults.For the reliability of system,a major effect incurred by these transient faults is the control flow errors,e.g.modifying the target address of a jump instruction.Through the control flow graph of program,basic blocks are firstly categorized by the graph coloring algorithm.Then an effective control flow checking method,named ECCFS,is presented based on the formatted signature of basic blocks.Moreover,the extended solutions are proposed for the control flow checking of intra-block and inter-procedure,respectively.ECCFS can be extended flexibly by user through configuring the signatures＇ format according to the requirement of detecting rate and performance.The analytical result of checking capacity and the experimental result of fault injection indicate that ECCFS can detect most control flow errors,excepting the dummy branch and some checking defects.Compared with two typical control flow checking methods,ECCFS has the advantage in errors detecting rate and performance overhead.

关 键 词：控制流检测 基本块标签 硬件瞬态故障 软件容错 故障注入 

分 类 号：TP306.3[自动化与计算机技术—计算机系统结构]