中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 基础软件国家工程研究中心  > 学位论文
题名:
基于基本块的控制流检错方法优化研究
作者: 肖贺
答辩日期: 2009-01-12
授予单位: 中国科学院软件研究所
授予地点: 软件研究所
学位: 博士
关键词: 软错误 ; 控制流检测 ; 基本块规约 ; 性能优化
其他题名: A Study on Control-flow checking performance optimization method based on Basic Blocks reduce
摘要: 系统的高可靠性是研究航空航天领域的一个重要指标. 由于太空环境的特殊性, 辐射和高能粒子会造成计算机系统的出现瞬时性错误, 这种错误被称作软错误, 它对航空航天器件造成了很大的影响, 严重降低系统的可靠性. 检测和防护这种软错误是航空航天系统中的重要研究方向之一. 软错误的检测和防护包括硬件防护与检错, 软硬件混合检错以及纯软件检错等. 随着商用器件的广泛使用, 与之相配合的各种软错误软件检错方法开始得到深入的研究, 在各种软件检错方法中, 控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术, 但是该技术引入的检测指令过多, 导致程序效率低下. 本文从总结控制流检测技术的共同点出发, 分析该技术导致效率低下的原因:由于基本块定义的约束导致程序中基本块过多, 进而在代码注入过程中引入过多的判断及跳转指令, 导致程序效率低下. 本文针对这种情况, 提出了一种基于源代码分析的基本块规约的方法. 该方法通过修改基本块定义的约束, 使在新的基本块定义下每个基本块能够容纳更多的指令, 减少检测指令的注入, 提高效率;并且在新的基本块定义下, 原来的控制流检错方法仍可以不加修改的直接应用于新的基本块定义上. 该方法能在不修改benchmark源代码以及控制流检测方法的基础上, 选择合适的约束量重新划分基本块, 减少引入的检测指令. 本文中使用该方法以ECCA, CFCSS和RSCFC三个控制流检错方法作为验证对象, 使用这3种控制流检错方法, 在不同的约束量作用下, 对8个常见算法的benchmark进行了软错误覆盖率测试和效率测试. 多次实验数据表明, 该方法在提高检错算法效率的同时, 能够保持软错误检错的覆盖率基本不变. 在对控制流检错算法进行优化的同时, 本文还完成了相应的控制流分析工具, 基于模拟器的错误注入和代码片段执行时间检测工具等. 有效的对优化算法进行了评估和测试.
英文摘要: High-Reliablility is an important indicator in aerospace area. As the special nature of the space environment, transient error can be generated by radiation and the high-energy particles, this kind of error is called soft error, they make big influence on computer system, and reduce the reliability of the aero components. Soft error detection and prevention is an important research area in the aerospace area. With the widespread use of commercial devices, many kinds of soft error detection in software methods have been deeply studied. Belong all the methods of soft error detection in software methods, the control flow detection which was used to resist Single Event Upset is one of the effective techniques. The current mainstream methods in this technology called embedded signature, but the methods involved too much detecting instructions, leading to inefficient procedures. This Thesis analysis the reason leading to low efficiency and introduce an new technology to reduce Basic Blocks. By modifying the restriction of the Basic Block, the methods make the new Basic Block bigger to accommodate more instructions, thereby reducing the detected instruction injection, to improve efficiency. This method can choose a suitable re-bound volume of the basic block and reduce the introduction of the test instructions, without modified the source code of the benchmark, so that the original control flow detection methods can still apply to the benchmark. In this thesis, we use the method to ECCA, CFCSS and RSCFC control flow detection methods as a validation, under the soft error coverage testing and efficiency testing of eight algorithm benchmarks. The experimental data show that this method can improve the efficiency of the benchmark with the coverage of the soft error detection rate unchanged.
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/5998
Appears in Collections:基础软件国家工程研究中心_学位论文

Files in This Item:
File Name/ File Size Content Type Version Access License
10001_200528015029068肖贺_paper.pdf(1197KB)----限制开放-- 联系获取全文

Recommended Citation:
肖贺. 基于基本块的控制流检错方法优化研究[D]. 软件研究所. 中国科学院软件研究所. 2009-01-12.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[肖贺]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[肖贺]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace