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

• 作者: 徐建军 李建立 谭兰芳 谭庆平
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 瞬时故障 控制流错误 虚拟基本块 格式化标签 故障注入
• 年，卷（期）: 2014,（11）
• 页码范围: 2287-2297
• 页数: 11页
• 分类号: TP311
• 字数: 8196字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2014.02287

摘要

空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些故障的主要影响之一是引发程序控制流错误.文中提出了一种软件实现的控制流检测方法CFCAF.CFCAF基于插入虚拟基本块后的控制流图对基本块分类,并为基本块设计格式化标签,然后在基本块内插装标签更新、比较指令,实现对基本块之间、基本块内和过程间调用的控制流检测.CFCAF的特点是可以根据可靠性和性能的需求进行灵活配置.对CFCAF及目前有代表性的两个同类算法进行的故障注入实验结果表明,CFCAF算法以平均41.7％的性能代价和平均34％的空间代价,使程序的平均失效率降到了5.2％,在3个同类算法中,CFCAF算法具有较低的时空开销和最高的可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谭庆平	国防科技大学计算机学院	50	929	16.0	29.0
2	徐建军	国防科技大学计算机学院	19	189	6.0	13.0
3	谭兰芳	国防科技大学计算机学院	2	12	2.0	2.0
4	李建立	国防科技大学计算机学院	1	8	1.0	1.0