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

	采用基本块规约的控制流检测性能优化方法
	肖贺 ; 王永吉 ; 潘远明 ; 丁丽萍
刊名	小型微型计算机系统
	2009
卷号	30 期号:12 页码:2378-2382
关键词	软错误控制流检测基本块规约性能优化 softerror control-flowchecking basicblockreduce performaceoptimazation soft error control-flow checking basic block reduce performace optimazation
ISSN号	1000-1220
其他题名	control-flow checking performance optimization method based on basic block reduce
中文摘要	控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术, 但是该技术引入的检测指令过多, 导致程序效率低下. 本文使用基本块规约的技术, 在原基本块的基础上, 选择合适的约束量重新划分基本块, 减少引入的检测指令. 与8个常见算法的性能比较表明, 该方法在软错误检测覆盖率基本不变的前提下,能有效提高目标程序效率.
收录类别	wanfang,cscd
语种	中文
公开日期	2010-08-17
附注	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.
内容类型	期刊论文
源URL	[http://124.16.136.157/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.