一种基于虚拟基本块和格式化标签的控制流检测方法  

A Control Flow Checking Method based on Abstract Basic Block and Formatted Signature

作　　者：李建立[1,2] 谭庆平[1] 谭兰芳[1] 徐建军[1] 

机构地区：[1]国防科技大学计算机学院,长沙410073 [2]中国电子系统设备工程公司研究所,北京100141

出　　处：《计算机学报》2014年第11期2287-2297,共11页Chinese Journal of Computers

摘　　要：空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些故障的主要影响之一是引发程序控制流错误.文中提出了一种软件实现的控制流检测方法CFCAF.CFCAF基于插入虚拟基本块后的控制流图对基本块分类,并为基本块设计格式化标签,然后在基本块内插装标签更新、比较指令,实现对基本块之间、基本块内和过程间调用的控制流检测.CFCAF的特点是可以根据可靠性和性能的需求进行灵活配置.对CFCAF及目前有代表性的两个同类算法进行的故障注入实验结果表明,CFCAF算法以平均41.7%的性能代价和平均34%的空间代价,使程序的平均失效率降到了5.2%,在3个同类算法中,CFCAF算法具有较低的时空开销和最高的可靠性.In space radiation environment,a large number of cosmic rays often result in transient faults on on-board computer.One major effect incurred by these faults is the control flow errors.This paper proposes a software-implemented control flow checking method named CFCAF.CFCAF firstly divides the basic blocks into different classifications based on the control flow graph containing abstract basic blocks,and designs formatted signatures for the basic blocks.Then CFCAF inserts the instructions for comparing and update signatures into every basic block,with the purpose of checking the control flow errors occurring inter-block,intra-block and interprocedure.One characteristic of CFCAF is that it can be configured flexibly according to the requirement of reliability and performance.The fault injection experiment results of CFCAF and other typical algorithms have shown that,the average fail rate of programs with CFCAF has decreased to 5.2%at the cost of increasing the average executing time by 41.7%and increasing the average program space by 34%.CFCAF has lower performance and space overhead and has highest reliability among the three algorithms.

关 键 词：瞬时故障 控制流错误 虚拟基本块 格式化标签 故障注入 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]