【摘要】：硬件容錯加固技術,具有能耗、面積及復雜性線路等方面的開銷,因此對于星載應用,硬件容錯代價高昂。軟件容錯技術應運而生,其良好的靈活性、可配置性及較高的錯誤覆蓋率,很好滿足了星載軟件的發(fā)展需要。軟件容錯由于無需修改硬件,而被用于可靠性加固。隨著軟件容錯技術地不斷發(fā)展,出現了大量性能良好的容錯算法——無論在控制流或數據流方面,都形成了許多思路方法巧妙且檢錯能力強的算法。然而,算法也產生了運算開銷與加固強度的折衷選擇問題。因此,針對特定算法特點ABFT(Algorithm Based Fault Tolerance),且作可配置軟件加固CBFT(Configurable Based Fault Tolerance)技術,受到了特別青睞。本文在借鑒軟加固經典算法的同時,針對RDA算法特點,提出了一種針對運算特征、簡單而又滿足運算性能需求的多層次軟加固技術。對此,我們作了幾個方面的討論:1.針對RDA成像核心部件——FFT運算,文章提出基于數據加權且校驗和的容錯算法WCFT。文章并分析了算法的錯誤檢測能力、性能開銷,算法設計的特點及優(yōu)點。2.文章提出針對RDA程序特點的ABFT算法,整合校驗和方法及WCFT算法的特點,給出一種有效的錯誤檢測恢復機制。針對運算精度要求,權衡性能開銷,提出雙精度運算及三角函數置表方法;針對FFT中錯誤高發(fā)部分——倒序運算,提出倒序置表方法;提出針對算法增量運算的錯誤檢測方法,及針對全局變量的冗余檢測方法。3.針對多處理器條件下的并行運算,文章分析了冗余多線程執(zhí)行問題及內存訪問競爭問題。文章并對增量因子錯誤問題作了分析,針對這些問題提出相關技術改進方法。4.采用同時輸入多行/列數據的FFT運算——SIMD(Single Intruction Multiple Data)[53]設計,使性能得到近一倍提升,并基于此提出針對性的錯誤檢測恢復機制。同時該方法,節(jié)省了四次矩陣轉置操作,減少了內存數據遷移及數據校驗開銷。5.根據不同的應用需求級別,提出針對SAR程序的CBFT算法:作了兩種級別的加固。文章并使用冗余算法作了錯誤檢測恢復實現。
[Abstract]:Hardware fault-tolerant reinforcement technology has the cost of energy consumption, area and complex circuits, so hardware fault tolerance is very expensive for space-borne applications. Software fault-tolerant technology emerges as the times require, it has good flexibility, configurable and high error coverage, which can meet the development needs of space-borne software. Software fault tolerance is used for reliability reinforcement because there is no need to modify hardware. With the continuous development of software fault-tolerant technology, a large number of fault-tolerant algorithms with good performance have emerged. In both control flow and data flow, many algorithms with clever thinking methods and strong error detection ability have been formed. However, the algorithm also produces a trade-off between computational overhead and reinforcement strength. Therefore, CBFT (Configurable Based Fault Tolerance) technology based on ABFT (Algorithm Based Fault Tolerance), and configurable software is very popular. According to the characteristics of RDA algorithm, this paper presents a multi-level soft reinforcement technique which is simple and meets the requirement of operation performance. In this regard, we made several aspects of the discussion: 1. In this paper, a fault tolerant algorithm based on data weighted and checksum is proposed for the RDA imaging core component. This paper also analyzes the error detection ability, performance overhead, the characteristics and advantages of the algorithm design. This paper presents an effective error detection and recovery mechanism based on the characteristics of ABFT algorithm, integrated checksum method and WCFT algorithm, which is based on the characteristics of RDA program. According to the requirement of operation precision and weighing the performance overhead, this paper puts forward the double precision operation and trigonometric function table setting method; for the high error occurrence part-inversion operation in FFT, the inverted table method is put forward; and the error detection method for incremental algorithm operation is put forward. And the redundancy detection method for global variables. 3. In this paper, the problem of redundant multithread execution and memory access competition is analyzed for parallel operations under multiprocessor conditions. In this paper, the error problem of increment factor is analyzed, and the relative technical improvement method is put forward. 4. SIMD (Single Intruction Multiple Data) [53] is designed by using FFT operation which inputs multi-row / column data at the same time, and the performance is nearly doubled. Based on this, a targeted error detection and recovery mechanism is proposed. At the same time, this method saves the fourth order matrix transpose operation, reduces the memory data migration and data check cost. According to different application requirement levels, a CBFT algorithm for SAR programs is proposed: two levels of reinforcement are made. In this paper, the redundant algorithm is used to implement the error detection and recovery.
【學位授予單位】：國防科學技術大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TN957.52

【參考文獻】

相關期刊論文 前10條

1 眭俊華;劉慧娜;王建鑫;秦慶旺;;多核多線程技術綜述[J];計算機應用;2013年S1期

2 林桐;謝宜壯;劉偉;;實時SAR成像系統(tǒng)矩陣原位轉置的實現[J];計算機工程;2013年06期

3 洪文;;圓跡SAR成像技術研究進展[J];雷達學報;2012年02期

4 王剛強;鐘誠;柯琦;;多核計算機上的快速傅里葉變換并行算法[J];計算機工程;2011年16期

5 袁泉;郭子祺;姚謙;柳彩霞;;基于并行處理的FFT快速算法[J];科學技術與工程;2008年16期

6 王潤澤;王穎;楊棟毅;;大規(guī)模FFT并行計算中二維SRAM的設計[J];中國科學院研究生院學報;2008年01期

7 孫佳;;國外合成孔徑雷達衛(wèi)星發(fā)展趨勢分析[J];裝備指揮技術學院學報;2007年01期

8 李亮;苗俊剛;江月松;;基于Stolt插值的近場三維雷達合成孔徑成像[J];北京航空航天大學學報;2006年07期

9 顧毅;李春升;陳杰;周蔭清;;高分辨率星載聚束式SAR成像處理實現方法[J];宇航學報;2005年S1期

10 陳艷玲;;星載合成孔徑雷達成像處理[J];中國科學院上海天文臺年刊;2005年00期

相關博士學位論文 前1條

1 熊磊;面向程序級的軟錯誤容錯研究[D];國防科學技術大學;2012年

，

本文編號：2176813