采用基本块规约的控制流检测性能优化方法
| Data(s) |
2009
|
|---|---|
| Resumo |
控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术, 但是该技术引入的检测指令过多, 导致程序效率低下. 本文使用基本块规约的技术, 在原基本块的基础上, 选择合适的约束量重新划分基本块, 减少引入的检测指令. 与8个常见算法的性能比较表明, 该方法在软错误检测覆盖率基本不变的前提下,能有效提高目标程序效率. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
肖贺; 王永吉; 潘远明; 丁丽萍.采用基本块规约的控制流检测性能优化方法,小型微型计算机系统,2009,30(12):2378-2382 |
| Palavras-Chave | #软错误 #控制流检测 #基本块规约 #性能优化 #softerror #control-flowchecking #basicblockreduce #performaceoptimazation soft error #control-flow checking #basic block reduce #performace optimazation |
| Tipo |
期刊论文 |
