【摘要】：單粒子翻轉(zhuǎn)會(huì)使系統(tǒng)發(fā)生瞬時(shí)故障,基于控制流的錯(cuò)誤檢測技術(shù),在運(yùn)行時(shí)以基本塊為單位由硬件或軟件進(jìn)行簽名檢驗(yàn),判斷運(yùn)行是否出錯(cuò).該技術(shù)嵌入簽名信息使代碼體積膨脹,系統(tǒng)性能下降,存在較多檢測盲點(diǎn).同時(shí)當(dāng)前研究對(duì)錯(cuò)誤檢測后的系統(tǒng)恢復(fù)技術(shù)尚不成熟.提出一種軟硬件結(jié)合的控制流容錯(cuò)技術(shù).該技術(shù)覆蓋大部分的檢測盲點(diǎn),并引入顆粒度校驗(yàn)?zāi)Ｊ絻?yōu)化代碼密度,提高系統(tǒng)性能,同時(shí)采用硬件輔助的程序恢復(fù)技術(shù)來簡化恢復(fù)流程.本文使用國產(chǎn)嵌入式CK-CPU作為實(shí)驗(yàn)平臺(tái),實(shí)驗(yàn)表明,這種軟硬結(jié)合的容錯(cuò)技術(shù)能以較小的系統(tǒng)開銷提高錯(cuò)誤檢測覆蓋率,并針對(duì)完全校驗(yàn)?zāi)Ｊ綄?shí)現(xiàn)錯(cuò)誤恢復(fù)的功能.
[Abstract]:Single-particle flipping can cause transient fault of the system. Based on the error detection technology of control flow, the system is checked by hardware or software in the unit of basic block at run time to judge whether the operation is wrong or not. By embedding signature information, the code volume is expanded, the system performance is degraded, and there are many blind spots. At the same time, the current research on system recovery after error detection is not mature. This paper presents a fault-tolerant control technique based on the combination of hardware and software. The technology covers most of the detection blind spots, and introduces the granularity check mode to optimize the code density to improve the performance of the system. At the same time, the hardware-assisted program recovery technology is used to simplify the recovery process. In this paper, the embedded CK-CPU made in China is used as the experimental platform. The experiment shows that the soft-hard fault-tolerant technology can improve the error detection coverage with less system overhead, and realize the error recovery function according to the complete check mode.
【作者單位】： 浙江大學(xué)超大規(guī)模集成電路研究所;杭州中天微系統(tǒng)有限公司軟件研發(fā)部;
【基金】：國家“八六三”高技術(shù)研究發(fā)展計(jì)劃項(xiàng)目(2015AA016704c)資助 核高基重大專項(xiàng)項(xiàng)目(2010ZX01030-001-001-002)資助
【分類號(hào)】：TP302.8

【參考文獻(xiàn)】

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

1 丁義剛;;空間輻射環(huán)境單粒子效應(yīng)研究[J];航天器環(huán)境工程;2007年05期

【共引文獻(xiàn)】

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

1 唐士建;張東浩;柴鳳萍;;地球靜止軌道高分辨率相機(jī)系統(tǒng)控制技術(shù)應(yīng)用[J];航天返回與遙感;2016年05期

2 陸榮;游月輝;吳濤;劉任宸;;衛(wèi)星擴(kuò)頻應(yīng)答機(jī)抗單粒子翻轉(zhuǎn)技術(shù)研究[J];航天電子對(duì)抗;2016年04期

3 �？宋�;王海濤;張弓;汪路元;;一種基于FPGA的抗輻射加固星載ASIC設(shè)計(jì)方法[J];航天器工程;2016年04期

4 賈文遠(yuǎn);安軍社;;COTS器件的空間輻射效應(yīng)與對(duì)策分析[J];電子元件與材料;2015年11期

5 周國昌;賴曉玲;朱啟;巨艇;于登云;郭陽明;;一種改進(jìn)的基于時(shí)鐘沿的單粒子翻轉(zhuǎn)自檢糾錯(cuò)方法[J];西北工業(yè)大學(xué)學(xué)報(bào);2015年05期

6 孫洪波;韓學(xué)濤;王玉濤;王超;;SRAM型FPGA單粒子翻轉(zhuǎn)防護(hù)的工程實(shí)現(xiàn)[J];電子科學(xué)技術(shù);2015年02期

7 李沫;孫鵬;宋宇;代剛;張健;;半導(dǎo)體器件輻射電離效應(yīng)的激光模擬方法[J];太赫茲科學(xué)與電子信息學(xué)報(bào);2015年01期

8 王淼;紀(jì)文章;寧金枝;李紅寶;;星載擴(kuò)頻應(yīng)答機(jī)抗SEU方法及驗(yàn)證[J];航天器工程;2014年01期

9 羅磊;張磊;祝名;于慶奎;唐民;;一種串并轉(zhuǎn)換器件單粒子效應(yīng)試驗(yàn)研究[J];航天器環(huán)境工程;2013年05期

10 辛寧;邱樂德;張立華;張宏飛;;一種星載計(jì)算機(jī)操作系統(tǒng)容錯(cuò)引導(dǎo)算法研究[J];宇航學(xué)報(bào);2013年06期

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

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

1 賀朝會(huì),耿斌,王燕萍,楊海亮,張正選,陳曉華,李國政,路秀琴,符長波,趙葵,郭繼宇,張新;靜態(tài)隨機(jī)存取存儲(chǔ)器重離子單粒子翻轉(zhuǎn)效應(yīng)實(shí)驗(yàn)研究[J];核電子學(xué)與探測技術(shù);2002年02期

2 陳曉華,賀朝會(huì),王燕平;80C86單粒子效應(yīng)實(shí)驗(yàn)研究[J];原子能科學(xué)技術(shù);2000年04期

【相似文獻(xiàn)】

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

1 ;未雨綢繆話容錯(cuò)技術(shù)[J];計(jì)算機(jī)與網(wǎng)絡(luò);2004年06期

2 夏祖德;雷鏡湖;;硬件容錯(cuò)技術(shù)[J];電子技術(shù);1987年10期

3 周修廉;陳是榮;;分布式計(jì)算機(jī)系統(tǒng)容錯(cuò)技術(shù)[J];哈爾濱科學(xué)技術(shù)大學(xué)學(xué)報(bào);1987年03期

4 梁思禮;容錯(cuò)技術(shù)在航天領(lǐng)域中的應(yīng)用[J];系統(tǒng)工程與電子技術(shù);1993年12期

5 陳萬福;查新檢索工作中的容錯(cuò)理論與容錯(cuò)技術(shù)[J];醫(yī)學(xué)情報(bào)工作;2001年05期

6 鄭平;;容錯(cuò)技術(shù)在數(shù)據(jù)集中系統(tǒng)中的應(yīng)用[J];金融電子化;2001年11期

7 蒙建波,吳銀成,楊俊永;容錯(cuò)技術(shù)與儀表的發(fā)展[J];儀器儀表學(xué)報(bào);2002年S3期

8 黎珊珊;實(shí)時(shí)分布式計(jì)算機(jī)系統(tǒng)的容錯(cuò)技術(shù)研究[J];計(jì)算機(jī)與數(shù)字工程;2002年06期

9 張郭軍,王榮;網(wǎng)絡(luò)服務(wù)器的容錯(cuò)技術(shù)[J];渭南師范學(xué)院學(xué)報(bào);2002年05期

10 ;揭密容錯(cuò)技術(shù)的前世今生[J];計(jì)算機(jī)與網(wǎng)絡(luò);2004年16期

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

1 蒙建波;吳銀成;楊俊永;;容錯(cuò)技術(shù)與儀表的發(fā)展[A];第三次全國會(huì)員代表大會(huì)暨學(xué)術(shù)會(huì)議論文集[C];2002年

2 王東盛;;容錯(cuò)技術(shù)在衛(wèi)星控制系統(tǒng)中的應(yīng)用[A];第十屆全國容錯(cuò)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2003年

3 李衛(wèi)東;;容錯(cuò)技術(shù)在梅鋼的應(yīng)用[A];全國冶金自動(dòng)化信息網(wǎng)2012年年會(huì)論文集[C];2012年

4 龐海洋;李新明;;軟件容錯(cuò)[A];第十屆全國容錯(cuò)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2003年

5 閔應(yīng)驊;;網(wǎng)絡(luò)容錯(cuò)與安全研究述評(píng)[A];第十屆全國容錯(cuò)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2003年

6 于洪濤;黃文軒;王和;;一種雙機(jī)容錯(cuò)方案及其應(yīng)用[A];開創(chuàng)新世紀(jì)的通信技術(shù)——第七屆全國青年通信學(xué)術(shù)會(huì)議論文集[C];2001年

7 龔健;楊孟飛;;硬件進(jìn)化系統(tǒng)的容錯(cuò)性研究[A];第十四屆全國容錯(cuò)計(jì)算學(xué)術(shù)會(huì)議(CFTC'2011)論文集[C];2011年

8 歐陽一鳴;余雅瓊;郭凱;;基于同構(gòu)片上網(wǎng)絡(luò)拓?fù)淇芍貥?gòu)的容錯(cuò)硬件結(jié)構(gòu)[A];第六屆中國測試學(xué)術(shù)會(huì)議論文集[C];2010年

9 羅宏;宿紅毅;戰(zhàn)守義;;無線傳感器網(wǎng)絡(luò)故障診斷與容錯(cuò)技術(shù)研究進(jìn)展[A];第八屆全國信息獲取與處理學(xué)術(shù)會(huì)議論文集[C];2010年

10 高航;羅宇;;RTEMS上基于軟件重算的容錯(cuò)支撐設(shè)計(jì)研究[A];2008年全國開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集(下冊(cè))[C];2008年

相關(guān)重要報(bào)紙文章 前10條

1 艾先;容錯(cuò)技術(shù)掃描[N];中國貿(mào)易報(bào);2004年

2 ;容錯(cuò)技術(shù)的發(fā)展與應(yīng)用展望[N];計(jì)算機(jī)世界;2001年

3 劉雨;讓容錯(cuò)服務(wù)器“平民化”[N];中國計(jì)算機(jī)報(bào);2007年

4 常文杰;新容錯(cuò)浪潮[N];網(wǎng)絡(luò)世界;2004年

5 胡志敏;“雙核”容錯(cuò)服務(wù)器來了[N];政府采購信息報(bào);2007年

6 ;容錯(cuò)技術(shù)應(yīng)用前景[N];中國高新技術(shù)產(chǎn)業(yè)導(dǎo)報(bào);2004年

7 孔令男;容錯(cuò)技術(shù)高端商用領(lǐng)域的核心[N];中國國門時(shí)報(bào);2004年

8 遼河石油勘探局物資公司 趙雁　林斌;存儲(chǔ)容錯(cuò)：魚與熊掌可以兼得[N];中國計(jì)算機(jī)報(bào);2010年

9 記者劉雨;Stratus 加大中國行業(yè)市場拓展[N];中國計(jì)算機(jī)報(bào);2003年

10 樊強(qiáng);容錯(cuò)服務(wù)器 服務(wù)未來[N];中國電腦教育報(bào);2004年

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

1 黃達(dá);基于憶阻器的自治容錯(cuò)技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2014年

2 孫欽瑩;大規(guī)模自然災(zāi)害應(yīng)急準(zhǔn)備的容錯(cuò)規(guī)劃[D];哈爾濱工業(yè)大學(xué);2016年

3 李旭;基于非易失內(nèi)存的高性能計(jì)算容錯(cuò)技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2013年

4 劉玲霞;Web服務(wù)容錯(cuò)關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2006年

5 林勇;基于進(jìn)化型硬件的容錯(cuò)方法研究[D];中國科學(xué)技術(shù)大學(xué);2007年

6 孫曉星;面向方面的軟件容錯(cuò)模型設(shè)計(jì)與分析技術(shù)[D];華東理工大學(xué);2012年

7 李海山;面向恢復(fù)的容錯(cuò)計(jì)算技術(shù)研究[D];哈爾濱工程大學(xué);2007年

8 肖勇;面向航天的多源信息流系統(tǒng)綜合診斷與容錯(cuò)研究[D];東華大學(xué);2010年

9 趙天緒;集成電路缺陷分布模型和容錯(cuò)技術(shù)研究[D];西安電子科技大學(xué);1999年

10 朱萍;硬實(shí)時(shí)容錯(cuò)調(diào)度算法研究[D];華中科技大學(xué);2011年

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

1 鄭福真;高擴(kuò)展高容錯(cuò)流式處理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];浙江大學(xué);2015年

2 吳方軍;MPI環(huán)境下多副本容錯(cuò)技術(shù)研究[D];東南大學(xué);2015年

3 梁賀斌;基于可信度的DSP軟件冗余容錯(cuò)表決方法研究[D];中國科學(xué)院國家空間科學(xué)中心;2016年

4 孟沖;小型無人機(jī)負(fù)荷分擔(dān)式容錯(cuò)飛行控制軟件設(shè)計(jì)[D];南京航空航天大學(xué);2015年

5 關(guān)國棟;Hadoop容錯(cuò)調(diào)度技術(shù)研究[D];西南交通大學(xué);2016年

6 楊爽;基于FPGA的CAN接口抗SEU容錯(cuò)方法研究[D];哈爾濱工業(yè)大學(xué);2016年

7 曹舒婷;基于TSV的3D NoC容錯(cuò)及熱優(yōu)化設(shè)計(jì)技術(shù)研究[D];合肥工業(yè)大學(xué);2016年

8 張林偉;級(jí)聯(lián)多電平有源電力濾波器及其容錯(cuò)技術(shù)的研究[D];遼寧工程技術(shù)大學(xué);2014年

9 吳慶民;大數(shù)據(jù)環(huán)境下數(shù)據(jù)容錯(cuò)技術(shù)研究與實(shí)現(xiàn)[D];中國科學(xué)院大學(xué)(工程管理與信息技術(shù)學(xué)院);2016年

10 王吉;虛擬化云環(huán)境下面向容錯(cuò)的任務(wù)調(diào)度與資源優(yōu)化方法研究[D];國防科學(xué)技術(shù)大學(xué);2014年

，

本文編號(hào)：2470619