-
题名一种基于虚拟基本块和格式化标签的控制流检测方法
被引量：5
- 1
-
-
作者
李建立
谭庆平
谭兰芳
徐建军
-
机构
国防科技大学计算机学院
中国电子系统设备工程公司研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
2014年第11期2287-2297,共11页
-
文摘
空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些故障的主要影响之一是引发程序控制流错误.文中提出了一种软件实现的控制流检测方法CFCAF.CFCAF基于插入虚拟基本块后的控制流图对基本块分类,并为基本块设计格式化标签,然后在基本块内插装标签更新、比较指令,实现对基本块之间、基本块内和过程间调用的控制流检测.CFCAF的特点是可以根据可靠性和性能的需求进行灵活配置.对CFCAF及目前有代表性的两个同类算法进行的故障注入实验结果表明,CFCAF算法以平均41.7%的性能代价和平均34%的空间代价,使程序的平均失效率降到了5.2%,在3个同类算法中,CFCAF算法具有较低的时空开销和最高的可靠性.
-
关键词
瞬时故障
控制流错误
虚拟基本块
格式化标签
故障注入
-
Keywords
transient fault
control flow error
abstract basic block
formatted signature
fault injection
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
