本文選題：處理器　切入點(diǎn)：故障　出處：《計(jì)算機(jī)應(yīng)用研究》2015年08期 　論文類型：期刊論文

【摘要】：運(yùn)行于處理器上的進(jìn)程如果在運(yùn)行期間發(fā)生暫態(tài)故障,有可能導(dǎo)致嚴(yán)重的系統(tǒng)故障或安全漏洞。因此,必須在對(duì)系統(tǒng)造成損害前檢測(cè)并盡量糾正這些差錯(cuò)�，F(xiàn)有的差錯(cuò)檢測(cè)方法雖然潛在性能優(yōu)異,但是成本極高,因此無(wú)法在實(shí)踐中部署。為了解決這一問(wèn)題,提出了一種基于硬件的控制流監(jiān)控技術(shù)。該技術(shù)首先從程序二進(jìn)制接口提取出程序的合法控制流圖,計(jì)算出CRC簽名,對(duì)合法的控制流圖進(jìn)行編碼;然后,當(dāng)程序在處理器上運(yùn)行時(shí),使用預(yù)先計(jì)算好的簽名來(lái)檢驗(yàn)程序的運(yùn)行期間控制流。該技術(shù)的控制流差錯(cuò)檢測(cè)覆蓋率可達(dá)99.98%,且可快速糾正差錯(cuò),提高了控制流暫態(tài)差錯(cuò)的容錯(cuò)性。它對(duì)主處理器的性能開(kāi)銷極低(1%左右),面積成本也比較小(6%)。給出的控制流運(yùn)行期間監(jiān)控技術(shù)經(jīng)過(guò)擴(kuò)展后,可以高效地監(jiān)控并檢測(cè)出處理器上正在運(yùn)行的指令的各種暫態(tài)差錯(cuò)。
[Abstract]:Running on the processor process if the transient fault occurred during operation may lead to serious system failure or breach of security. Therefore, the damage to the system must be detected before and try to correct these errors and the existing detection methods although the potential performance is excellent, but the cost is very high, so it cannot be deployed in practice in order to solve the problem. This issue presents a flow monitoring technology. The hardware based control technology from the first program to extract the legitimate binary interface control program flow diagram, calculate the CRC signature for the legitimate control flow graph encoding; then, when the program running on the processor, using the precomputed signatures during program control flow test. The detection coverage rate of up to 99.98% error control of the technology flow, and can quickly correct the error, improves the fault tolerance control of transient errors. On it The performance cost of the main processor is very low (about 1%), and the area cost is relatively small (6%). During the operation of the control flow, the monitoring technology is extended, and it can monitor and detect all kinds of transient errors of the instructions running on the processor efficiently.

【作者單位】： 廊坊師范學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院;北京大學(xué)信息科學(xué)技術(shù)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金重點(diǎn)資助項(xiàng)目(61321001/F01)
【分類號(hào)】：TP332

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前2條

1 王真;江建慧;;基于概率轉(zhuǎn)移矩陣的串行電路可靠度計(jì)算方法[J];電子學(xué)報(bào);2009年02期

2 嚴(yán)魯明;梁華國(guó);黃正峰;;基于時(shí)-空冗余的集成電路老化失效防護(hù)方法[J];電子測(cè)量與儀器學(xué)報(bào);2013年01期

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 朱旭光;;超大規(guī)模集成電路可靠性評(píng)估綜述[J];電腦知識(shí)與技術(shù);2012年01期

2 肖杰;江建慧;;結(jié)合版圖結(jié)構(gòu)信息的基本門電路故障概率估計(jì)[J];電子學(xué)報(bào);2012年02期

3 朱文興;程泓;;VLSI電路劃分問(wèn)題的分散搜索算法[J];電子學(xué)報(bào);2012年06期

4 歐陽(yáng)城添;江建慧;;基于概率轉(zhuǎn)移矩陣的時(shí)序電路可靠度估計(jì)方法[J];電子學(xué)報(bào);2013年01期

5 蔡爍;鄺繼順;劉鐵橋;周穎波;;一種高效的門級(jí)電路可靠度估算方法[J];電子與信息學(xué)報(bào);2013年05期

6 肖杰;江建慧;;考慮時(shí)間因素的不同基本門故障概率計(jì)算[J];電子學(xué)報(bào);2013年04期

7 鄧昌建;陳東義;張衡;胡紅陽(yáng);凌建中;;核電設(shè)備無(wú)線振動(dòng)測(cè)量冗余濾波算法研究[J];電子測(cè)量與儀器學(xué)報(bào);2013年05期

8 肖杰;江建慧;楊旭華;梁家榮;;一個(gè)面向缺陷分析的電路成品率與可靠性的關(guān)系模型[J];電子學(xué)報(bào);2014年04期

9 王懷軍;房鼎益;董浩;陳曉江;湯戰(zhàn)勇;;白盒環(huán)境中防動(dòng)態(tài)攻擊的軟件保護(hù)方法研究[J];電子學(xué)報(bào);2014年03期

10 汪金林;王友仁;張砦;;面向數(shù)字信號(hào)處理的自修復(fù)可重構(gòu)陣列設(shè)計(jì)[J];電子測(cè)量與儀器學(xué)報(bào);2014年08期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 錢振江;安全操作系統(tǒng)形式化設(shè)計(jì)與驗(yàn)證方法研究[D];南京大學(xué);2013年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前3條

1 毛琨;定制數(shù)據(jù)安全交換模型及其關(guān)鍵技術(shù)研究[D];解放軍信息工程大學(xué);2013年

2 黃志軍;針對(duì)ROP攻擊的程序安全性檢測(cè)與防御技術(shù)的研究[D];南京大學(xué);2013年

3 胡沙沙;基于防篡改機(jī)制的軟件保護(hù)方法研究[D];中北大學(xué);2015年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前5條

1 歐陽(yáng)一鳴;張俊威;梁華國(guó);謝濤;;基于關(guān)鍵IP核加固的片上網(wǎng)絡(luò)容錯(cuò)機(jī)制[J];電子測(cè)量與儀器學(xué)報(bào);2011年10期

2 陳秀美;梁華國(guó);黃正峰;吳珍妮;曹源;;一種交替互補(bǔ)的雙狀態(tài)機(jī)自恢復(fù)方案[J];計(jì)算機(jī)研究與發(fā)展;2012年01期

3 靳松;韓銀和;李華偉;李曉維;;考慮工作負(fù)載影響的電路老化預(yù)測(cè)方法[J];計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào);2010年12期

4 肖欣;張和生;楊軍;潘成;孫偉;;一種交通信息采集傳感器網(wǎng)絡(luò)任務(wù)分配方法[J];儀器儀表學(xué)報(bào);2012年11期

5 石懷濤;劉建昌;張羽;李龍;;基于相對(duì)變換PLS的故障檢測(cè)方法[J];儀器儀表學(xué)報(bào);2012年04期

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 孫書韜,何新華,宮云戰(zhàn),王維鋒;基于自由邊控制流圖的路徑覆蓋分析實(shí)現(xiàn)方法[J];裝甲兵工程學(xué)院學(xué)報(bào);1996年03期

2 陳衛(wèi)東,楊建軍,葉澄清,潘云鶴;基于塊的流圖模型及其控制流圖[J];浙江大學(xué)學(xué)報(bào)(工學(xué)版);2003年02期

3 蘆運(yùn)照,張兆慶;控制流路徑敏感的深層代碼優(yōu)化技術(shù)[J];計(jì)算機(jī)工程;2004年10期

4 汪淼;趙榮彩;蔡國(guó)明;丁志芳;;軟件流水中隱式控制流恢復(fù)技術(shù)[J];計(jì)算機(jī)科學(xué);2008年10期

5 龔銳;陳微;劉芳;戴葵;王志英;;一種軟硬件結(jié)合的控制流檢測(cè)與恢復(fù)方法[J];計(jì)算機(jī)研究與發(fā)展;2009年02期

6 張雁;林英;;程序控制流圖自動(dòng)生成的算法[J];計(jì)算機(jī)與數(shù)字工程;2010年02期

7 杜子德;程序控制流圖：一種可觀化的程序設(shè)計(jì)工具[J];計(jì)算機(jī)研究與發(fā)展;1995年12期

8 李愛(ài)國(guó);洪炳昒;王司;;軟件實(shí)現(xiàn)的程序控制流校驗(yàn)方法研究進(jìn)展[J];哈爾濱工業(yè)大學(xué)學(xué)報(bào);2008年03期

9 胡剛;張平;李清寶;張翠艷;;基于靜態(tài)模擬的二進(jìn)制控制流恢復(fù)算法[J];計(jì)算機(jī)工程;2011年05期

10 陳新;;基于程序控制流圖源代碼相似程度分析系統(tǒng)[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2013年03期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前1條

1 夏玉輝;張威;萬(wàn)琳;王洪艷;;一種基于控制流圖的靜態(tài)測(cè)試方法[A];第三屆全國(guó)軟件測(cè)試會(huì)議與移動(dòng)計(jì)算、柵格、智能化高級(jí)論壇論文集[C];2009年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 王偉;使用顯式控制流語(yǔ)言驗(yàn)證匯編程序的方法[D];中國(guó)科學(xué)技術(shù)大學(xué);2011年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 崔晨;固件代碼控制流圖恢復(fù)技術(shù)研究[D];解放軍信息工程大學(xué);2012年

2 馮斌;靜態(tài)構(gòu)造面向方面程序的控制流圖[D];上海交通大學(xué);2007年

3 楊廣;控制流提取模型及軟件可靠性評(píng)價(jià)應(yīng)用研究[D];大連理工大學(xué);2013年

4 周希;基于靜態(tài)分析的程序控制流圖生成工具的設(shè)計(jì)與實(shí)現(xiàn)[D];中山大學(xué);2013年

5 李劍明;面向星載計(jì)算機(jī)瞬時(shí)故障的軟件控制流錯(cuò)誤檢測(cè)技術(shù)[D];國(guó)防科學(xué)技術(shù)大學(xué);2009年

6 韓紅軍;基于控制流圖的Java語(yǔ)言動(dòng)態(tài)例化的研究[D];北京工業(yè)大學(xué);2002年

7 任浩;基于靜態(tài)分析的C程序控制流圖構(gòu)造方法研究[D];內(nèi)蒙古師范大學(xué);2013年

8 熊利平;基于控制流與數(shù)據(jù)流的面向方面測(cè)試方法研究[D];湖南大學(xué);2013年

9 蘇振;類C語(yǔ)言程序分片系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];吉林大學(xué);2006年

10 文家朝;基于多樣化對(duì)象所有權(quán)的軟件可信性質(zhì)研究[D];南京理工大學(xué);2012年

，

本文編號(hào)：1625401