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

来源 :哈尔滨工程大学 | 被引量 : 0次 | 上传用户:hello0306
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着集成电路的特征尺寸、供电电压和阈值电压的减少,处理器对串扰、电磁干扰以及粒子辐射等各种噪声干扰变得更加敏感,硬件瞬时故障导致的计算机系统可靠性问题日显突出。尤其在辐射环境下,因粒子辐射产生的硬件瞬时故障成为影响计算机系统可靠性的重要因素。采用抗辐照器件可以防止辐射环境中的硬件瞬时故障,但由于其性能低、价格高、功耗高的特点不适合应用于高性能计算领域。因此,开始尝试在辐射环境中采用高性能、低价格、低功耗的COTS器件,在其上通过软件、硬件技术容忍硬件瞬时故障,提高系统可靠性。在硬件瞬时故障中,危害最大的是控制流错误跳转造成的故障,为了降低此类故障对计算机系统可靠性的影响,本文对检测控制流错误跳转的算法及其评估方法进行了研究。控制流错误检测算法的研究对象主要分为高级语言和汇编语言,由于基于汇编语言的控制流错误检测算法实现简单,比基于高级语言的控制流错误检测算法具有更低的系统性能负载和未检测出的错误率,本文主要研究基于汇编语言的控制流错误检测算法。此类算法主要采用签名检测技术,主要解决四个方面的问题:检测的粒度、签名信息的表示方法、检测指令的插入位置及签名检测方法。本文围绕着这些问题开展研究,提出改进的基于汇编语言的控制流错误检测算法。为了从理论上更准确的分析控制流错误检测算法的检测能力,本文进一步完善原有的控制流错误检测能力验证模型。同时,大部分控制流错误检测算法不具备故障恢复能力,如何结合微处理器体系结构的特点完成容控制流错误的功能也是一个值得研究的问题。针对上述问题,本文主要研究以下内容:(1)由于传统的验证控制流错误检测算法检测能力的模型很少考虑新增的检测指令对算法检测能力的影响,为了从理论上更准确的分析算法的检测能力,本文开展了对控制流错误检测算法检测能力的验证模型的研究;(2)由于基于汇编语言的CFCSS算法实用性较强,本文对其中存在的检测混淆和检测错误的问题展开研究;同时,为了降低系统功耗,减少检测点,本文尝试修改检测粒度,在不影响控制流错误检测能力的基础上,提出低功耗的控制流错误检测算法;为了提高控制流错误检测能力,消除基本块间冗余的依赖关系,本文对签名表示方法和签名检测方法进行研究,提出基于汇编语言的DPNCFC算法;(3)基于签名的控制流错误检测算法在编译时就确定检测位置,导致延迟发现故障,降低了系统的可靠性;同时,这类算法是以基本块作为检测的基本单位,在不增加冗余检测指令时无法检测基本块内的控制流错误跳转。为了解决这两个问题,本文从软硬结合的角度对控制流错误检测算法展开研究;(4)由于大部分控制流检测算法不具备容错能力,为了使控制流错误检测算法和故障恢复技术结合的更紧密,本文基于R80515体系结构,采用软硬结合的方法,对容控制流错误的方法展开研究。
其他文献
南瓜新品种——四季绿,属杂交南瓜,表现为早熟、蔓短、结瓜多;瓜圆形、皮青绿、品质优、产童高、抗性好,可一年四季种植,是蔬莱高效设施栽培和夏李补淡的理想品种。其主要裁培要点
采用文献资料法、逻辑分析法等方法从交谊舞慢三与国标华尔兹的起源、发展入手,对慢三舞与华尔兹音乐特点、舞蹈动作、服饰、适合人群、运动价值等几个方面的差异性进行分析,
目的评价音乐对父母陪伴下小儿麻醉诱导的影响。方法以父母和小儿术前焦虑程度为首要研究目标,父母满意程度为次要研究目标。将100例ASAⅠ或Ⅱ级的择期手术患儿,年龄2~10岁,随
目的:探讨使用FTIR指纹图谱研究鉴别中药材黄芪的方法。方法:采用傅立叶变换红外光谱法(FTIR)联合二阶导数及相似性对比软件,对图谱进行分析处理。结果:鉴别不同产地的黄芪品
为了完善轻型可移动房屋结构的设计理论与方法,通过灾后恢复重建实际调查及野营房屋的使用情况调查,划分了轻型可移动房屋的设计使用年限。基于可靠度设计方法,依据概率理论
农林经济管理专业正处于转型发展的关键时期,无论是发挥出办学特色优势,还是提高人才培养竞争力,都需要抓住课堂教学这个中心环节。本文结合大连海洋大学的实践,分析了农林经
溃疡性结肠炎属中医学"痢疾"范畴。中医认为,溃疡性结肠炎的发生与肝、脾、肾三脏密切相关,受寒、湿、热等病理因素的影响,治疗应立足整体,详察病机,按照补虚泻实的原则,以清
从血管内皮细胞的功能、血管内皮细胞损伤模型及其损伤后所致疾病方面,综述血管内皮细胞损伤的机制,分析中药及复方对血管内皮细胞保护作用。
超短超强激光技术的迅速发展为激光与物质相互作用领域的研究提供了前所未有的全新实验手段与极端物理条件,极大地推动了本领域基础研究和应用研究的深入开展。超短超强激光
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield