具有容錯能力的硬實時系統(tǒng)要求在系統(tǒng)發(fā)生局部故障情況下所有任務(wù)仍然能在截止期限之前正確完成,否則會導(dǎo)致災(zāi)難性的后果,被廣泛地應(yīng)用到航天、軍事等關(guān)鍵領(lǐng)域。硬實時容錯調(diào)度算法通過軟件方法構(gòu)造任務(wù)調(diào)度秩序并從理論上證明該秩序的實時性和可靠性,屬于實時系統(tǒng)的重要研究領(lǐng)域。硬實時系統(tǒng)種類繁多,新的應(yīng)用需求層出不窮,對原有的硬實時容錯調(diào)度理論提出了新的挑戰(zhàn)。因此,需要對現(xiàn)有的硬實時容錯調(diào)度算法進行擴充以適應(yīng)新的需求。 主/副版本技術(shù)是分布式硬實時系統(tǒng)中重要的容錯機制。在該機制中,每個任務(wù)的主副版本分別分配到不同的處理機上。FTRMFF （Fault-Tolerant Rate-Monotonic First-Fit）算法利用主/副版本技術(shù)作為容錯手段,通過首次適應(yīng)方式按照RMS（Rate-Monotonic Scheduling）優(yōu)先級依次將任務(wù)分配到能同時滿足實時性和可靠性的處理機上,是一種經(jīng)典的分布式容錯調(diào)度算法。然而,以首次適應(yīng)方式來分配處理機很難充分挖掘處理機的負載能力。針對這種情況,首先定義空閑因子來量化處理機中空閑資源。然后提出緊湊因子的概念來反映分配到同一個處理機上的任務(wù)之間的... 

【文章頁數(shù)】：116 頁

【學(xué)位級別】：博士

【文章目錄】：
摘要
Abstract
1 緒論
    1.1 研究背景、目的及意義
    1.2 國內(nèi)外研究概況
    1.3 研究內(nèi)容
2 基于緊湊因子的分布式調(diào)度算法
    2.1 調(diào)度模型與假設(shè)
    2.2 問題的提出
    2.3 可調(diào)度性分析
    2.4 算法描述
    2.5 模擬實驗
    2.6 小結(jié)
3 基于被動副版本優(yōu)先級提高策略的分布式調(diào)度算法
    3.1 問題的提出
    3.2 可調(diào)度性分析
    3.3 算法描述
    3.4 性能分析
    3.5 模擬實驗
    3.6 小結(jié)
4 基于非緊迫周期延遲策略的分布式調(diào)度算法
    4.1 問題的提出
    4.2 可調(diào)度性分析
    4.3 算法描述
    4.4 實例分析
    4.5 模擬實驗
    4.6 小結(jié)
5 基于單處理機的節(jié)能調(diào)度算法
    5.1 調(diào)度模型
    5.2 問題的提出
    5.3 可調(diào)度性分析
    5.4 算法描述
    5.5 模擬實驗
    5.6 小結(jié)
6 基于多處理機的節(jié)能調(diào)度算法
    6.1 問題的提出
    6.2 可調(diào)度性分析
    6.3 算法描述
    6.4 模擬實驗
    6.5 小結(jié)
7 全文總結(jié)與研究展望
    7.1 全文總結(jié)
    7.2 研究展望
致謝
參考文獻
附錄 攻讀博士學(xué)位期間發(fā)表及錄用的論文目錄


【參考文獻】：
期刊論文
[1]容錯多處理機中一種高效的實時調(diào)度算法(英文)[J]. 王健,孫建伶,王新宇,楊小虎,王申康,陳俊波.  軟件學(xué)報. 2009(10)
[2]嵌入式高可靠性異構(gòu)雙機冗余系統(tǒng)的設(shè)計[J]. 滿夢華,原亮,丁國良,巨政權(quán),宋亮.  計算機應(yīng)用. 2009(08)
[3]軟件容錯模型中反向與正向調(diào)度算法研究[J]. 劉東,張春元.  計算機工程與科學(xué). 2007(09)
[4]基于延遲主動副版本的分布式實時容錯調(diào)度算法[J]. 羅威,陽富民,龐麗萍,李俊.  計算機研究與發(fā)展. 2007(03)
[5]一種可行的容錯實時系統(tǒng)可調(diào)度性分析[J]. 李俊,陽富民,盧炎生.  軟件學(xué)報. 2005(08)
[6]基于軟件容錯的動態(tài)實時調(diào)度算法[J]. 韓建軍,李慶華,Abbas A.Essa.  計算機研究與發(fā)展. 2005(02)
[7]硬實時系統(tǒng)中基于軟件容錯的動態(tài)調(diào)度算法[J]. 李慶華,韓建軍,Abbas A Essa,張薇.  軟件學(xué)報. 2005(01)
[8]改進的最小空閑時間優(yōu)先調(diào)度算法[J]. 金宏,王宏安,王強,戴國忠.  軟件學(xué)報. 2004(08)
[9]單調(diào)速率及其擴展算法的可調(diào)度性判定[J]. 王永吉,陳秋萍.  軟件學(xué)報. 2004(06)
[10]分布式實時系統(tǒng)的容錯調(diào)度算法[J]. 劉懷.  南京師范大學(xué)學(xué)報(工程技術(shù)版). 2004(02)

博士論文
[1]分布式測控系統(tǒng)容錯關(guān)鍵技術(shù)研究[D]. 鄒見效.電子科技大學(xué) 2009



本文編號：3733456