本文選題：軟錯(cuò)誤 + 故障傳播��； 參考：《計(jì)算機(jī)工程與應(yīng)用》2017年20期

【摘要】：故障注入是研究軟錯(cuò)誤故障傳播的傳統(tǒng)手段,但隨著程序復(fù)雜性不斷增加,采用故障注入對大量軟錯(cuò)誤的故障傳播進(jìn)行研究將花費(fèi)巨大的時(shí)間成本。提出一種基于程序動(dòng)態(tài)指令進(jìn)行分析和建模從而快速獲取軟錯(cuò)誤結(jié)果的方法。將程序轉(zhuǎn)化為動(dòng)態(tài)指令序列,通過體系結(jié)構(gòu)正確執(zhí)行分析將所有可能的軟錯(cuò)誤劃分為對程序運(yùn)行結(jié)果有影響和沒有影響兩部分;基于動(dòng)態(tài)依賴圖建立軟錯(cuò)誤故障傳播分析模型,并建立判斷程序崩潰的標(biāo)準(zhǔn),進(jìn)而提出一個(gè)算法對任意制定的能夠影響程序運(yùn)行結(jié)果的軟錯(cuò)誤進(jìn)行故障傳播分析并重點(diǎn)預(yù)測程序崩潰的發(fā)生。實(shí)驗(yàn)顯示,預(yù)測的漏報(bào)率和分析單個(gè)軟錯(cuò)誤的平均用時(shí)明顯低于現(xiàn)有方法。
[Abstract]:Fault injection is a traditional method to study soft error fault propagation, but with the increasing of program complexity, it will take a lot of time cost to use fault injection to study the fault propagation of a large number of soft errors. In this paper, a method of analyzing and modeling based on program dynamic instruction is proposed to obtain soft error results quickly. The program is transformed into a dynamic instruction sequence, and all possible soft errors are divided into two parts, which have an effect on the running result of the program and have no effect on the program through the analysis of the system structure, and a soft error propagation analysis model is established based on the dynamic dependency graph. A criterion for judging program crash is established, and an algorithm is proposed to analyze the fault propagation of any soft error that can affect the result of program operation and to predict the failure of the program. The experimental results show that the predicted miss rate and the average time taken to analyze a single soft error are obviously lower than the existing methods.
【作者單位】： 哈爾濱工業(yè)大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;
【基金】：國家高技術(shù)研究發(fā)展計(jì)劃(863)(No.2013AA01A215) 國家自然科學(xué)基金(No.61173020)
【分類號】：TP332.11

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 吳珍妮;梁華國;黃正峰;陳秀美;曹源;;一種針對軟錯(cuò)誤的流水線電路加固方案[J];武漢大學(xué)學(xué)報(bào)(理學(xué)版);2010年02期

2 熊磊;譚慶平;;基于軟錯(cuò)誤的動(dòng)態(tài)程序可靠性分析和評估[J];小型微型計(jì)算機(jī)系統(tǒng);2011年11期

3 梁華國;黃正峰;王偉;詹文法;;一種雙�；ユi的容軟錯(cuò)誤靜態(tài)鎖存器[J];宇航學(xué)報(bào);2009年05期

4 龔銳;戴葵;王志英;;片上多核處理器容軟錯(cuò)誤執(zhí)行模型[J];計(jì)算機(jī)學(xué)報(bào);2008年11期

5 孫巖;王永文;張民選;;微處理器體系結(jié)構(gòu)級軟錯(cuò)誤易感性評估[J];計(jì)算機(jī)工程與科學(xué);2010年11期

6 成玉;馬安國;張承義;張民選;;微體系結(jié)構(gòu)軟錯(cuò)誤易感性階段特性研究[J];電子科技大學(xué)學(xué)報(bào);2012年02期

7 龔銳;戴葵;王志英;;基于現(xiàn)場保存與恢復(fù)的雙核冗余執(zhí)行模型[J];計(jì)算機(jī)工程與科學(xué);2009年08期

8 黃正峰;梁華國;陳田;詹文法;孫科;;一種容軟錯(cuò)誤的BIST結(jié)構(gòu)[J];計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào);2009年01期

9 閆國昌;何炎祥;李清安;;降低寄存器軟錯(cuò)誤的靜態(tài)寄存器重分配方法[J];計(jì)算機(jī)應(yīng)用;2014年09期

10 金作霖;張民選;孫巖;石文強(qiáng);;柵氧退化效應(yīng)下納米級SRAM單元臨界電荷分析[J];計(jì)算機(jī)工程與科學(xué);2013年08期

相關(guān)會(huì)議論文 前5條

1 吳珍妮;梁華國;黃正峰;王俊;陳秀美;曹源;;容軟錯(cuò)誤的電路選擇性加固技術(shù)[A];第六屆中國測試學(xué)術(shù)會(huì)議論文集[C];2010年

2 熊蔭喬;譚慶平;徐建軍;;基于軟件標(biāo)簽的軟錯(cuò)誤校驗(yàn)和恢復(fù)技術(shù)[A];中國通信學(xué)會(huì)第六屆學(xué)術(shù)年會(huì)論文集（上）[C];2009年

3 成玉;張承義;張民選;;微體系結(jié)構(gòu)的軟錯(cuò)誤易感性評估及其階段特性研究[A];第十五屆計(jì)算機(jī)工程與工藝年會(huì)暨第一屆微處理器技術(shù)論壇論文集（B輯）[C];2011年

4 金作霖;張民選;孫巖;石文強(qiáng);;柵氧退化效應(yīng)下納米級SRAM單元臨界電荷分析[A];第十五屆計(jì)算機(jī)工程與工藝年會(huì)暨第一屆微處理器技術(shù)論壇論文集（B輯）[C];2011年

5 郭御風(fēng);郭誦忻;龔銳;鄧宇;張明;;一種面向多核處理器I/O系統(tǒng)軟錯(cuò)誤容錯(cuò)方法[A];第十五屆計(jì)算機(jī)工程與工藝年會(huì)暨第一屆微處理器技術(shù)論壇論文集（B輯）[C];2011年

相關(guān)博士學(xué)位論文 前5條

1 焦佳佳;處理器中分析模型驅(qū)動(dòng)的高效軟錯(cuò)誤量化方法研究[D];上海交通大學(xué);2014年

2 唐柳;微處理器軟錯(cuò)誤脆弱性建模及緩解技術(shù)研究[D];北京工業(yè)大學(xué);2016年

3 李鵬;納米級SRAM單粒子翻轉(zhuǎn)效應(yīng)及其誘導(dǎo)的軟錯(cuò)誤研究[D];國防科學(xué)技術(shù)大學(xué);2016年

4 成玉;高性能微處理器動(dòng)態(tài)容軟錯(cuò)誤設(shè)計(jì)關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2012年

5 龔銳;多核微處理器容軟錯(cuò)誤設(shè)計(jì)關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2008年

相關(guān)碩士學(xué)位論文 前10條

1 潘阿成;一種低功耗抗輻射的TCAM系統(tǒng)設(shè)計(jì)[D];大連理工大學(xué);2015年

2 劉天成;基于ACE位分析法的DSP可靠性評估[D];西安電子科技大學(xué);2015年

3 楊曉;基于合成的多核CPU軟錯(cuò)誤測試加速研究[D];華中科技大學(xué);2012年

4 金作霖;柵氧退化效應(yīng)下SRAM軟錯(cuò)誤分析與加固技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2011年

5 曹源;有限狀態(tài)機(jī)的容軟錯(cuò)誤及低功耗設(shè)計(jì)[D];合肥工業(yè)大學(xué);2010年

6 呂文歡;高速CAM抗軟錯(cuò)誤設(shè)計(jì)與實(shí)現(xiàn)[D];大連理工大學(xué);2014年

7 孟超;嵌入式增益單元存儲(chǔ)器針對數(shù)據(jù)可訪問率和抗軟錯(cuò)誤能力的設(shè)計(jì)研究[D];復(fù)旦大學(xué);2011年

8 梁寬濤;對稱陣列結(jié)構(gòu)容錯(cuò)CAM設(shè)計(jì)[D];哈爾濱工業(yè)大學(xué);2009年

9 邵則銘;基于COTS DSP的軟件抗輻照技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2012年

10 張艷晶;LDPC碼在SRAM加固中的應(yīng)用研究[D];哈爾濱工業(yè)大學(xué);2010年

，

本文編號：2083362