采用基本块规约的控制流检测性能优化方法  

Control-flow Checking Performance Optimization Method Based on Basic Block Reduce

作　　者：肖贺[1] 王永吉[1,2] 潘远明[1] 丁丽萍[1] 

机构地区：[1]中国科学院软件研究所基础软件国家工程研究中心,北京100190 [2]中国科学院软件研究所计算机科学国家重点实验室,北京100190

出　　处：《小型微型计算机系统》2009年第12期2378-2382,共5页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60673022)资助;国家"十一五"国防预研项目资助;国家重点实验室基金项目资助

摘　　要：控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术,但是该技术引入的检测指令过多,导致程序效率低下.本文使用基本块规约的技术,在原基本块的基础上,选择合适的约束量重新划分基本块,减少引入的检测指令.与8个常见算法的性能比较表明,该方法在软错误检测覆盖率基本不变的前提下,能有效提高目标程序效率.Control-flow checking is an effective method on resisting single event upset, the mainstream method is embedded signature, but this method involve too many detecting instructions to make program ineffective. In this paper, we introduce a new method which named＇basic block reduced＇to decrease the instruction involved, and inprove the performance of the program, without changing soft error detection rate.

关 键 词：软错误 控制流检测 基本块规约 性能优化 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]