|
|
题名: | 采用基本块规约的控制流检测性能优化方法 |
其他题名: | control-flow checking performance optimization method based on basic block reduce
|
作者: | 肖贺
; 王永吉
; 潘远明
; 丁丽萍
|
关键词: | 软错误
; 控制流检测
; 基本块规约
; 性能优化
; softerror
; control-flowchecking
; basicblockreduce
; performaceoptimazation soft error
; control-flow checking
; basic block reduce
; performace optimazation
|
刊名: | 小型微型计算机系统
|
发表日期: | 2009
|
卷: | 30, 期:12, 页:2378-2382 | 收录类别: | wanfang,cscd
|
部门归属: | 互联网软件技术实验室
|
摘要: | 控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术, 但是该技术引入的检测指令过多, 导致程序效率低下. 本文使用基本块规约的技术, 在原基本块的基础上, 选择合适的约束量重新划分基本块, 减少引入的检测指令. 与8个常见算法的性能比较表明, 该方法在软错误检测覆盖率基本不变的前提下,能有效提高目标程序效率. |
语种: | 中文
|
内容类型: | 期刊论文
|
URI标识: | http://ir.iscas.ac.cn/handle/311060/3308
|
Appears in Collections: | 互联网软件技术实验室 _期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
39.pdf(541KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
肖贺,王永吉,潘远明,等. 采用基本块规约的控制流检测性能优化方法[J]. 小型微型计算机系统,2009-01-01,30(12):2378-2382.
|
|
|
|
|
Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated. |
|