收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于汇编语言的控制流错误检测算法研究

吴艳霞  
【摘要】: 随着集成电路的特征尺寸、供电电压和阈值电压的减少,处理器对串扰、电磁干扰以及粒子辐射等各种噪声干扰变得更加敏感,硬件瞬时故障导致的计算机系统可靠性问题日显突出。尤其在辐射环境下,因粒子辐射产生的硬件瞬时故障成为影响计算机系统可靠性的重要因素。采用抗辐照器件可以防止辐射环境中的硬件瞬时故障,但由于其性能低、价格高、功耗高的特点不适合应用于高性能计算领域。因此,开始尝试在辐射环境中采用高性能、低价格、低功耗的COTS器件,在其上通过软件、硬件技术容忍硬件瞬时故障,提高系统可靠性。在硬件瞬时故障中,危害最大的是控制流错误跳转造成的故障,为了降低此类故障对计算机系统可靠性的影响,本文对检测控制流错误跳转的算法及其评估方法进行了研究。 控制流错误检测算法的研究对象主要分为高级语言和汇编语言,由于基于汇编语言的控制流错误检测算法实现简单,比基于高级语言的控制流错误检测算法具有更低的系统性能负载和未检测出的错误率,本文主要研究基于汇编语言的控制流错误检测算法。此类算法主要采用签名检测技术,主要解决四个方面的问题:检测的粒度、签名信息的表示方法、检测指令的插入位置及签名检测方法。本文围绕着这些问题开展研究,提出改进的基于汇编语言的控制流错误检测算法。为了从理论上更准确的分析控制流错误检测算法的检测能力,本文进一步完善原有的控制流错误检测能力验证模型。同时,大部分控制流错误检测算法不具备故障恢复能力,如何结合微处理器体系结构的特点完成容控制流错误的功能也是一个值得研究的问题。 针对上述问题,本文主要研究以下内容: (1)由于传统的验证控制流错误检测算法检测能力的模型很少考虑新增的检测指令对算法检测能力的影响,为了从理论上更准确的分析算法的检测能力,本文开展了对控制流错误检测算法检测能力的验证模型的研究; (2)由于基于汇编语言的CFCSS算法实用性较强,本文对其中存在的检测混淆和检测错误的问题展开研究;同时,为了降低系统功耗,减少检测点,本文尝试修改检测粒度,在不影响控制流错误检测能力的基础上,提出低功耗的控制流错误检测算法;为了提高控制流错误检测能力,消除基本块间冗余的依赖关系,本文对签名表示方法和签名检测方法进行研究,提出基于汇编语言的DPNCFC算法; (3)基于签名的控制流错误检测算法在编译时就确定检测位置,导致延迟发现故障,降低了系统的可靠性;同时,这类算法是以基本块作为检测的基本单位,在不增加冗余检测指令时无法检测基本块内的控制流错误跳转。为了解决这两个问题,本文从软硬结合的角度对控制流错误检测算法展开研究; (4)由于大部分控制流检测算法不具备容错能力,为了使控制流错误检测算法和故障恢复技术结合的更紧密,本文基于R80515体系结构,采用软硬结合的方法,对容控制流错误的方法展开研究。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 Todd Borkowski;;MEMS麦克风可增强音频系统的质量和可靠性[J];电子产品世界;2011年11期
2 王喜文;程郁离;罗雅丽;;诊断试验可靠性评价SAS程序实现[J];中国卫生统计;2011年05期
3 何玉娟;罗宏伟;恩云飞;;偏压条件对光耦合器总剂量辐照效应的影响[J];电子器件;2011年05期
4 郭御风;郭诵忻;龚锐;;一种面向多核处理器I/O系统软错误容错方法[J];计算机工程与科学;2011年10期
5 高国威;任宝胜;;工作台控制器的测试系统设计与应用[J];吉林化工学院学报;2011年09期
6 张军涛;;网络电子交易系统需求分析与实现[J];苏州市职业大学学报;2011年03期
7 王勇;;信息的多重不确定性及其在信息安全中的应用研究[J];信息网络安全;2011年10期
8 杨琼;崔西宁;周波;;事务型文件系统存储管理机制的研究与实现[J];航空计算技术;2011年05期
9 何沛霖;黄国勤;于今;;智能液压容错控制技术在钻机的应用[J];兵工自动化;2011年11期
10 蒋湘君;陈平;;对于提高ESD可靠性的几点看法[J];石油化工自动化;2011年05期
11 安辉耀;卢锡城;彭伟;龚正虎;;MANET中基于簇的多路径动态源路由(CMDSR)[J];计算机研究与发展;2006年03期
12 江清明;罗宏伟;周继承;;SCR器件在深亚微米CMOS静电保护电路中的应用[J];电子工艺技术;2006年05期
13 郭大琪;黄强;;倒装芯片下填充工艺的新进展(一)[J];电子与封装;2008年01期
14 张定华;程云勇;卜昆;张顺利;;考虑弯扭变形的叶片模型配准方法[J];航空学报;2009年12期
15 吴艳霞;顾国昌;戴葵;沈晶;刘海波;;基于签名的控制流错误检测算法检测能力的验证模型[J];宇航学报;2010年12期
16 杜银波;凌学民;;微波组件生产中多余物的来源与预防措施[J];半导体技术;2011年03期
17 张兴;王品红;但伟;曹飞;陈春霞;邹泽亚;李祖安;;光电探测器组件辐照后性能退化的噪声表征[J];半导体光电;2011年05期
18 郭斌;;双绞线在图像传输系统中的应用探讨[J];信息通信;2011年05期
19 风雷;;美帝将在坦克上使用电子计算机和激光器[J];微纳电子技术;1971年04期
20 胡鹏程;MSZ-2数字测速仪简介[J];工程机械;1978年03期
中国重要会议论文全文数据库 前10条
1 马浩云;;力求提高单缸柴油机产品活力的途径[A];2009海峡两岸机械科技论坛论文集[C];2009年
2 周真;马德仲;于晓洋;秦勇;张丽娜;;基于故障数据统计的电磁流量计失效模式分析[A];2009中国仪器仪表与测控技术大会论文集[C];2009年
3 包亦望;刘小根;邱岩;王秀芳;;真空玻璃结构功能一体化[A];2010全国玻璃技术交流研讨会论文集[C];2010年
4 田玲;申永革;;尿液化验制片机的反求研制[A];第一届全国流体动力及控制工程学术会议论文集(第二卷)[C];2000年
5 文礼;;动车组可靠性技术与维修[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年
6 刘显鹏;;浅谈广播设备全寿命管理[A];2006全国广播电视发射技术论文集(1)[C];2006年
7 李铎;陈皓;杨科;;晶体振荡器的抗振设计[A];中国电子学会第十四届电子元件学术年会论文集[C];2006年
8 冯彦君;华更新;杨桦;周新发;范立明;;国外星载容错计算机技术及最新进展(综述)[A];全国第十二届空间及运动体控制技术学术会议论文集[C];2006年
9 ;中国电子学会可靠性分会[A];2007'第十二届全国可靠性物理学术讨论会论文集[C];2007年
10 廖超;来萍;李斌;崔晓英;路香香;;硅脉冲微波功率器件增益退化机理研究[A];2007'第十二届全国可靠性物理学术讨论会论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 吴艳霞;基于汇编语言的控制流错误检测算法研究[D];哈尔滨工程大学;2008年
2 王金凤;煤矿生产物流系统研究[D];天津大学;2005年
3 金海松;轿车信息集中控制系统的关键技术研究[D];武汉理工大学;2005年
4 赵儆;电力市场中的可靠性理论研究[D];清华大学;2005年
5 万武南;分布式安全存储系统纠删码技术的研究[D];中国科学院研究生院(成都计算机应用研究所);2006年
6 唐连生;突发事件下的车辆路径问题研究[D];西南交通大学;2008年
7 薛玉霞;数控机床可用性关键技术研究[D];吉林大学;2009年
8 吕晓东;集中式HID电子镇流器及其供电系统的研究[D];浙江大学;2005年
9 冯巨恩;金属矿深井充填系统的安全评价与失效控制方法研究[D];中南大学;2005年
10 姚剑波;基于句法分析的安全信息流[D];贵州大学;2006年
中国硕士学位论文全文数据库 前10条
1 马欣;现役长输管道风险分析技术研究[D];兰州理工大学;2005年
2 纪德洲;131.50.3550型三排滚柱式回转支承的研究与开发[D];中国农业大学;2005年
3 王明新;铁道车辆车轴可靠性与安全性分析系统[D];西南交通大学;2005年
4 胡敬朋;综采工作面人-机-环境系统可靠性研究[D];安徽理工大学;2005年
5 张丹;配电网络优化规划和综合评估方法的研究[D];郑州大学;2005年
6 郑志品;定距桨变频型交流轴带发电机的研究[D];上海海事大学;2004年
7 郭云志;基于极限状态法的起重机金属结构设计研究[D];大连理工大学;2006年
8 王吉平;城市道路网络系统可靠性研究[D];长安大学;2005年
9 王婷;混凝土重力坝的可靠性分析[D];辽宁工程技术大学;2005年
10 刘炜烨;基于DSP的电动执行器数字控制系统研究与设计[D];大连海事大学;2006年
中国重要报纸全文数据库 前10条
1 本报记者 陈彬 向杰;高可靠 易维修 好保障[N];科技日报;2009年
2 本报记者 桑雪骐;未来 保修期将变保证期[N];中国消费者报;2010年
3 桑雪骐;家电可靠性开始标准化进程[N];经理日报;2010年
4 科信;可靠性保障工程建设持续推进[N];中国航天报;2009年
5 李铭;新车可靠性明显提升[N];中国交通报;2010年
6 本报记者 贾鹏雷;联想借“可靠性”撬动市场[N];计算机世界;2004年
7 记者 索阿娣 实习记者 王娟;切实提高核心部件可靠性安全性[N];中国航天报;2009年
8 ;提升便携式产品电源管理方案可靠性[N];中国电子报;2009年
9 记者 刘霞;聚焦可靠性 质量上台阶[N];中国质量报;2009年
10 高岚;可靠性第一 稳定性第一[N];中国计算机报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978