【摘 要】
:
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响系统可靠性的关键因素之一.基于程
【机 构】
:
国防科学技术大学计算机学院,长沙,410073
论文部分内容阅读
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响系统可靠性的关键因素之一.基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方法.首先通过数据流分析技术提取出可能影响程序执行的寄存器活跃区间,然后基于构成活跃区间的基本块集合计算其有效体系结构易感位数,在此基础上可定量计算寄存器软错误影响下的程序可靠性.基于MiBench基准程序的实验表明,该方法的分析结果与AVF分析法保持一致,同时还指出了寄存器相关活跃区间的关键程度,这为实现针对寄存器软错误的高效容错方法提供了依据.
其他文献
通过对10余所沈阳高校大学生价值观取向的调查,理清现阶段90后大学生价值观的现状,积极探究高校价值观教育策略.使90后大学生能理性的分析和对待社会发展出现的新问题、新情
随着建筑市场竞争不断加大,各类建筑工程企业更加重视追求经济效益.因此,要提高工程建设的经济效益,就需要加强工程技术经济分析.本文主要对实施工程技术经济分析的必要性,工
建筑材料中,部分材料较容易燃烧,加强防火十分必要.本文以GB8624-2006新分级体系为例,对其分级标准、分级场景以及火灾参数问题进行了详细的阐述.在此基础上,从燃烧性能等角
本文对紧缺物资、瓶颈设备、材料(简称“瓶颈产品”)市场供需现况及未来形势进行了详细的分析与预测,对现有的采购策略提出了实用改进方案.
4月中旬,8两以上加州鲈塘头价与上月同期相比没有太大波动,约9.5元/斤,5-8两的规格也有所上涨,约7.5元/斤。
近年来,全世界罗非鱼消费需求的数量和质量有逐年上升之势,一个庞大的罗非鱼国际性消费市场正在崛起,我国罗非鱼产业遇到了前所未有的机遇,但同时也存在不少隐忧.
在我国温和地区,明设给水及消防管道的防冻措施一直被广大工程设计及技术管理人员所关注.本文结合热工原理中关于明设给水管道静止冷却时间的计算,对贵阳市某下穿通道明设消