發(fā)布時間：2018-02-11 20:15

  本文關鍵詞： 單粒子翻轉(zhuǎn) 單粒子軟錯誤 SDC脆弱指令 錯誤注入 錯誤傳播　出處：《計算機研究與發(fā)展》2016年09期 　論文類型：期刊論文

【摘要】：單粒子軟錯誤是高輻照空間環(huán)境下影響計算可靠性的主要因素.隨著芯片晶體管數(shù)的快速增長,單粒子軟錯誤的威脅日益嚴重.結果錯誤(silent data corruption,SDC)是單粒子軟錯誤造成的一種故障類型.由于SDC是隱蔽傳播的,SDC的檢測是單粒子軟錯誤防護的難點.尋找SDC脆弱指令是目前檢測SDC的重要途徑.現(xiàn)有方法需要進行巨量的錯誤注入,時間代價巨大.首先根據(jù)數(shù)據(jù)關聯(lián)圖建立了指令的數(shù)據(jù)依賴關系,研究了函數(shù)間和函數(shù)內(nèi)部錯誤傳播過程;進而推導出判定SDC脆弱指令的充分條件,提出了SDC脆弱指令識別方法,該方法在錯誤注入中依據(jù)充分條件推測潛在的SDC脆弱指令.實驗表明,在保證較高準確率和覆蓋率的前提下,時間代價顯著減少.
[Abstract]:Single particle soft error is the main factor that affects the reliability of calculation in high irradiation space. With the rapid increase of the number of transistors in the chip, The threat of single particle soft error is becoming more and more serious. Result silent data fault is a kind of fault caused by single particle soft error. Detection of SDC is a difficult point of single particle soft error prevention. Order is an important way to detect SDC at present. Existing methods require a huge amount of error injection. The time cost is huge. Firstly, the data dependence of instructions is established according to the data association graph, and the error propagation process between and within functions is studied, and then the sufficient conditions for judging SDC fragile instructions are derived. In this paper, a method of SDC fragile instruction recognition is proposed, which infer the potential SDC fragile instruction based on sufficient conditions in error injection. Experiments show that the time cost is significantly reduced on the premise of high accuracy and coverage.
【作者單位】： 東南大學計算機科學與工程學院;計算機網(wǎng)絡和信息集成教育部重點實驗室(東南大學);中國空間技術研究院總體部;
【分類號】：TP302.8

【相似文獻】

相關會議論文 前7條

1 鄭義;趙天磊;唐遇星;竇強;;體系結構模擬器目標指令集擴展技術研究[A];第十六屆計算機工程與工藝年會暨第二屆微處理器技術論壇論文集[C];2012年

2 單磊;趙天磊;唐遇星;徐煒遐;;并行模擬器中原子指令的高效執(zhí)行技術研究[A];第十六屆計算機工程與工藝年會暨第二屆微處理器技術論壇論文集[C];2012年

3 張亮;劉杰;韓文燕;高劍剛;;計算機多媒體加速技術研究[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術論壇論文集（A輯）[C];2011年

4 方紅霞;李華偉;李曉維;;基于指令集的處理器時延測試產(chǎn)生方法[A];第三屆中國測試學術會議論文集[C];2004年

5 王慶林;邢座程;閔銀皮;趙齊;王宏燕;;一款基于Microblaze指令集的64位RISC處理器設計[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術論壇論文集（A輯）[C];2011年

6 辛乃軍;陳旭燦;孫海燕;陽柳;羅杰;淡孝強;王霽;;基于GCC的高性能DSP Matrix向量指令集擴展[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術論壇論文集（B輯）[C];2011年

7 鄒慧蘭;程亞奇;蘭西柱;晉剛;;基于StarCore SC140實現(xiàn)通信中的viterbi解碼[A];第九屆全國青年通信學術會議論文集[C];2004年

相關重要報紙文章 前10條

1 魏俊嶺;CPU指令集大薈萃[N];電腦報;2001年

2 本報記者 霍光;龍芯更需要支持而非質(zhì)疑[N];中國計算機報;2009年

3 土勻;了解“愛妻”[N];電腦報;2008年

4 ;CPU發(fā)展史回顧（四）[N];中國計算機報;2004年

5 重慶 瞌睡蟲;超頻引發(fā)CPU“奇癥”[N];電腦報;2002年

6 廣西 蘇馳;影響CPU性能的三要素[N];電腦報;2003年

7 明月;SIMD指令在MP3編碼中的作用[N];中國計算機報;2002年

8 張耘;64位，AMD來了！[N];中國計算機報;2002年

9 本報記者 李好宇 張曉明;誰敢說龍芯不是國貨[N];電腦報;2009年

10 王立偉 周晰;千臺龍芯電腦下月首批用戶測試[N];第一財經(jīng)日報;2006年

相關博士學位論文 前10條

1 紀金松;基于動態(tài)指令集的自適應處理器的關鍵技術研究[D];中國科學技術大學;2008年

2 張惠臻;可重構指令集處理器設計中的軟件重定向關鍵技術研究[D];中國科學技術大學;2010年

3 呂雅帥;專用指令集處理器定制關鍵技術研究與實現(xiàn)[D];國防科學技術大學;2009年

4 楊君;專用指令集處理器（ASIP）體系結構設計研究[D];中國科學技術大學;2006年

5 李東曉;系統(tǒng)芯片中媒體增強數(shù)字信號處理器核設計研究[D];浙江大學;2004年

6 楊吟冬;面向受限系統(tǒng)的分布式動態(tài)二進制翻譯器的分析與研究[D];上海交通大學;2012年

7 蔡衛(wèi)光;媒體數(shù)字信號處理器IP核微結構優(yōu)化研究[D];浙江大學;2011年

8 李劍慧;動態(tài)翻譯和優(yōu)化若干關鍵技術研究[D];復旦大學;2006年

9 朱二周;基于CPU/GPU平臺的虛擬化技術研究[D];上海交通大學;2012年

10 張延軍;面向特定應用的指令集處理器設計方法研究[D];清華大學;2006年

相關碩士學位論文 前10條

1 夏城;一種兼容MCS-51指令集的高速MCU設計與驗證[D];哈爾濱工業(yè)大學;2014年

2 朱青山;基于指令插入技術的多核處理器調(diào)試系統(tǒng)關鍵技術研究與實現(xiàn)[D];國防科學技術大學;2013年

3 涂先勝;基于GCC的Matrix2 DSP編譯優(yōu)化關鍵技術研究與實現(xiàn)[D];國防科學技術大學;2014年

4 曹玉芳;基于C6000指令集可靠性評估方法的研究[D];西安電子科技大學;2014年

5 郎振;基于自定義指令集的葉片測量儀軟件系統(tǒng)研究[D];哈爾濱工業(yè)大學;2008年

6 麻巍;專用視頻處理器指令集研究與數(shù)據(jù)通路設計[D];浙江大學;2008年

7 趙軍;通用指令集描述語言的設計和實現(xiàn)[D];浙江大學;2006年

8 趙遠;面向二進制代碼分析的指令集模擬技術研究[D];解放軍信息工程大學;2012年

9 曲賀;動態(tài)指令集計算機處理器的自重構系統(tǒng)設計[D];大連理工大學;2009年

10 謝耀濱;虛擬指令翻譯技術研究及翻譯器實現(xiàn)[D];解放軍信息工程大學;2007年

，

本文編號：1503908