| 采用基本块规约的控制流检测性能优化方法 |
| 其他题名 | control-flow checking performance optimization method based on basic block reduce
|
| 肖贺; 王永吉; 潘远明; 丁丽萍
|
| 2009
|
| 发表期刊 | 小型微型计算机系统
 |
| ISSN | 1000-1220
|
| 卷号 | 30期号:12页码:2378-2382 |
| 摘要 | 控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术, 但是该技术引入的检测指令过多, 导致程序效率低下. 本文使用基本块规约的技术, 在原基本块的基础上, 选择合适的约束量重新划分基本块, 减少引入的检测指令. 与8个常见算法的性能比较表明, 该方法在软错误检测覆盖率基本不变的前提下,能有效提高目标程序效率. |
| 收录类别 | wanfang,cscd
|
| 关键词 | 软错误
控制流检测
基本块规约
性能优化
Softerror
Control-flowchecking
Basicblockreduce
Performaceoptimazation Soft Error
Control-flow Checking
Basic Block Reduce
Performace Optimazation
|
| 部门归属 | 互联网软件技术实验室
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/3308
|
| 专题 | 互联网软件技术实验室
|
推荐引用方式
GB/T 7714 |
肖贺,王永吉,潘远明,等. 采用基本块规约的控制流检测性能优化方法[J]. 小型微型计算机系统,2009,30(12):2378-2382.
|
| APA |
肖贺,王永吉,潘远明,&丁丽萍.(2009).采用基本块规约的控制流检测性能优化方法.小型微型计算机系统,30(12),2378-2382.
|
| MLA |
肖贺,et al."采用基本块规约的控制流检测性能优化方法".小型微型计算机系统 30.12(2009):2378-2382.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论