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

• 作 者: 肖贺 王永吉 潘远明 丁丽萍
• 机 构: 中国科学院软件研究所基础软件国家工程研究中心,中国科学院软件研究所计算机科学国家重点实验室
• 出 处: 小型微型计算机系统
• 发表日期: 2009年12期
• 关键词: 软错误 控制流检测 基本块规约 性能优化 soft error control-flow checking basic block reduce perform
• 基金项目: 国家自然科学基金项目（60673022）资助,国家“十一五”国防预研项目资助,国家重点实验室基金项目资助.

控制流检测是抵御单粒子事件的有效手段之一．目前的主流方法是采用嵌入式签名技术，但是该技术引入的检测指令过多，导致程序效率低下．本文使用基本块规约的技术，在原基本块的基础上，选择合适的约束量重新划分基本块，减少引入的检测指令．与8个常见算法的性能比较表明，该方法在软错误检测覆盖率基本不变的前提下，能有效提高目标程序效率．