【摘要】：高性能數(shù)字信號處理器(Digital Signal Processor，DSP)越來越多地應(yīng)用于星載信號處理平臺。然而宇宙射線輻照引發(fā)的系統(tǒng)可靠性問題，使得高性能DSP在我國星載信號處理中的應(yīng)用受到制約。而我國目前在抗輻照DSP研制方面基礎(chǔ)薄弱，制約了DSP在我國航天領(lǐng)域中的應(yīng)用。相比較抗輻照DSP，商用(Commercial Off-The-Shelf, COTS) DSP在性能、價格、功耗、體積和重量方面都擁有巨大的優(yōu)勢。本項(xiàng)目基于COTS DSP平臺，利用軟件容錯技術(shù)來解決可靠性問題，最終實(shí)現(xiàn)兼顧可靠性和性能的星載數(shù)字信號處理平臺，對提升我國航天器的在軌處理能力，具有重要的理論意義和應(yīng)用價值。 本文在分析已有軟件容錯技術(shù)的基礎(chǔ)上，圍繞DSP的軟件加固技術(shù)，開展了以下幾方面的研究： 1.提出了一種基于線性匯編的DSP程序軟加固算法。首先分析C6000系列DSP的體系結(jié)構(gòu)、功能部件、并行執(zhí)行等特點(diǎn)以及軟錯誤的傳播規(guī)律，提出基于線性匯編的DSP程序容錯加固算法。該算法結(jié)合了控制流檢測和數(shù)據(jù)流檢測，使得加固后的程序能夠檢測出寄存器、指令存儲空間中的軟錯誤。 2.提出了基于軟加固算法的性能優(yōu)化技術(shù)。首先對本文提出的軟加固算法進(jìn)行分析，發(fā)掘數(shù)據(jù)流檢測方法與控制流檢測方法重復(fù)檢測的部分，提出分支檢測優(yōu)化；基于檢查點(diǎn)優(yōu)化的思想，提出控制流檢測優(yōu)化，以增加一定的錯誤延遲為代價，不降低錯誤覆蓋率的同時，降低算法的性能開銷。然后在分析軟加固前后程序的執(zhí)行時鐘周期數(shù)的基礎(chǔ)上，根據(jù)加固后程序流水線編排失效的原因，對加固后的程序循環(huán)體進(jìn)行優(yōu)化，提出循環(huán)優(yōu)化算法，，在不降低錯誤檢測率的同時，以一定的錯誤處理延遲為代價，降低了軟加固后程序的執(zhí)行時鐘周期數(shù)。 3.設(shè)計實(shí)現(xiàn)了線性匯編到線性匯編的容錯轉(zhuǎn)換工具，可對程序進(jìn)行不同容錯算法的加固，具有良好的可擴(kuò)展性。然后設(shè)計實(shí)現(xiàn)了線性匯編的故障注入工具，可向程序隨機(jī)注入數(shù)據(jù)流錯誤和控制流錯誤。在此基礎(chǔ)上，對DSP容錯加固算法和循環(huán)優(yōu)化后的DSP容錯加固算法加固后的典型程序進(jìn)行故障注入實(shí)驗(yàn)，驗(yàn)證容錯算法的有效性。
[Abstract]:High performance digital signal processor (Digital Signal Processor,DSP) is more and more used in spaceborne signal processing platform. However, the application of high performance DSP in spaceborne signal processing in China is restricted due to the reliability of the system induced by cosmic ray irradiation. However, our country has a weak foundation in the development of radiation resistant DSP at present, which restricts the application of DSP in the field of spaceflight in our country. Compared with irradiated DSP, commercial (Commercial Off-The-Shelf, COTS) DSP) has great advantages in performance, price, power consumption, volume and weight. This project is based on COTS DSP platform, using software fault-tolerant technology to solve the reliability problem, and finally realizes the spaceborne digital signal processing platform, which takes into account both reliability and performance, and improves the in-orbit processing capability of Chinese spacecraft. It has important theoretical significance and application value. Based on the analysis of the existing software fault-tolerant technology, this paper studies the following aspects around the software reinforcement technology of DSP: 1. A soft reinforcement algorithm for DSP programs based on linear assembly is proposed. Firstly, the architecture, functional components, parallel execution of C6000 series DSP and the propagation rule of soft errors are analyzed, and a fault-tolerant reinforcement algorithm for DSP programs based on linear assembly is proposed. The algorithm combines control flow detection with data flow detection, which enables the strengthened program to detect soft errors in the register and instruction storage space. 2. A performance optimization technique based on soft reinforcement algorithm is proposed. Firstly, the soft reinforcement algorithm proposed in this paper is analyzed, and the repeated detection part of data flow detection method and control flow detection method is excavated, and the branch detection optimization is proposed. Based on the idea of checkpoint optimization, the control flow detection optimization is proposed, which increases the error delay at the cost of not reducing the error coverage and reducing the performance overhead of the algorithm. Then on the basis of analyzing the number of executing clock cycles of the program before and after the soft reinforcement, according to the reasons of the failure of the program pipeline arrangement after the reinforcement, the loop body of the strengthened program is optimized, and the circulatory optimization algorithm is put forward. At the same time, at the cost of a certain error processing delay, the number of execution clock cycles of the soft strengthened program is reduced. 3. A fault-tolerant conversion tool from linear assembly to linear assembly is designed and implemented. It can reinforce different fault-tolerant algorithms of programs and has good extensibility. Then, a linear assembly fault injection tool is designed and implemented, which can randomly inject data flow errors and control flow errors into programs. On this basis, fault injection experiments are carried out on typical programs of DSP fault-tolerant reinforcement algorithm and cyclic optimized DSP fault-tolerant reinforcement algorithm to verify the effectiveness of the fault-tolerant algorithm.
【學(xué)位授予單位】：國防科學(xué)技術(shù)大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2012
【分類號】：TP332;V446

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前4條

1 邢克飛;王躍科;扈嘯;;銀河飛騰DSP芯片總劑量輻照試驗(yàn)研究[J];半導(dǎo)體技術(shù);2006年07期

2 邢克飛;楊俊;周永彬;季金明;;星載高性能DSP加固設(shè)計方法研究[J];電子器件;2007年01期

3 傅忠傳;陳紅松;崔剛;楊孝宗;;處理器容錯技術(shù)研究與展望[J];計算機(jī)研究與發(fā)展;2007年01期

4 賀興華;肖山竹;張路;張開鋒;陶華敏;盧煥章;;空間DSP信息處理系統(tǒng)存儲器SEU加固技術(shù)研究[J];宇航學(xué)報;2010年02期

本文編號：2331844