面向COTS DSP軟錯誤的故障恢復(fù)技術(shù)研究.pdf

1、數(shù)字信號處理器（Digital Signal Processor，DSP）在航天領(lǐng)域尤其是星載處理器中有著廣泛應(yīng)用，然而空間高能粒子輻照導致的瞬態(tài)故障會嚴重影響DSP的可靠性。雖然抗輻照器件能夠有效抵御空間粒子輻照影響，但同時會在功耗、性能等方面引入巨大開銷。相較于硬件抗輻照器件，利用軟件容錯技術(shù)提高商用（Commercial Off-The-Shelf，COTS）DSP的可靠性在性能、功耗、成本和開發(fā)效率等方面都具有明顯優(yōu)勢。因此研究

2、基于COTS DSP平臺的軟加固技術(shù)，對于促進我國航天事業(yè)的發(fā)展具有重要意義。
　　本文在分析現(xiàn)有軟加固技術(shù)的基礎(chǔ)上，研究針對COTS DSP線性匯編程序的錯誤恢復(fù)技術(shù)，主要工作如下：
　　1)提出了一種針對線性匯編程序的高效控制流恢復(fù)方法DCCLA。DCCLA基于線性匯編程序的特點，提出了循環(huán)體塊和非循環(huán)體塊的概念，并以之為基本加固單元實現(xiàn)控制流錯誤的檢測和恢復(fù)。DCCLA利用指令計數(shù)和標簽分配機制，實現(xiàn)對基本塊內(nèi)部、基本

3、塊之間以及過程間的控制流錯誤的檢測。在此基礎(chǔ)上DCCLA采用分層處理機制實現(xiàn)錯誤恢復(fù)。此外，DCCLA還提出了針對不同性能和可靠性約束的三種優(yōu)化策略。
　　2)提出了一種基于程序冪等性分析的細粒度錯誤恢復(fù)方法FFRBI。FFRBI基于程序冪等性分析識別冪等域，并利用指令復(fù)算機制實現(xiàn)數(shù)據(jù)流錯誤檢測，最后采用重新執(zhí)行冪等域的策略恢復(fù)數(shù)據(jù)流錯誤。FFRBI的優(yōu)勢在于檢測到錯誤后能夠以較低的時空開銷實現(xiàn)數(shù)據(jù)流錯誤恢復(fù)。此外，F(xiàn)FRBI能夠