實時系統(tǒng)必須確保實時任務(wù)在規(guī)定的時間內(nèi)完成,可調(diào)度判定是保證這個要求的形式化驗證.可調(diào)度判定可使用處理器利用率、任務(wù)最壞響應(yīng)時間和需求限制等多種手段,是實時調(diào)度的一個重要研究方向,可應(yīng)用在多核調(diào)度,容錯實時調(diào)度和節(jié)能調(diào)度。多核處理器是處理器的發(fā)展趨勢。傳統(tǒng)的實時任務(wù)使用串行任務(wù)模型,不能充分利用多核處理器并行處理的優(yōu)勢；并行實時任務(wù)周期內(nèi)釋放多個作業(yè),多個作業(yè)可同時運行。針對基于有向無環(huán)圖的實時任務(wù)模型,將任務(wù)釋放的作業(yè)分解成有著優(yōu)先約束的子作業(yè)并分析了子作業(yè)集的可調(diào)度性；根據(jù)結(jié)果給出在簡單條件下全局最早截止期優(yōu)先和單調(diào)時限算法的可調(diào)度性判定的證明,并且采用資源增值界技術(shù)分析了兩種判定條件的性能。實時系統(tǒng)需要保證系統(tǒng)的硬件或軟件出現(xiàn)故障時實時任務(wù)仍可以繼續(xù)運行并在截止期限內(nèi)完成。采用容錯技術(shù)可以有效的避免系統(tǒng)崩潰,某些空間有限的實時系統(tǒng)中,時間冗余是必然的選擇。故障模型的變化對容錯實時系統(tǒng)可調(diào)度性分析有著巨大的影響,這就需要對擴充甚至修改原有的可調(diào)度性分析和相應(yīng)的調(diào)度算法,使其能更好地同時滿足系統(tǒng)的實時性和可靠性。突發(fā)性故障模型描述了有限的時間段內(nèi)系統(tǒng)受到持續(xù)的干擾的現(xiàn)象。針對這種故障... 

【文章來源】：華中科技大學(xué)湖北省 211工程院校 985工程院校 教育部直屬院校

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

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

【文章目錄】：
摘要
Abstract
1 緒論
    1.1 研究背景、目的及意義
    1.2 國內(nèi)外研究概況
    1.3 本文的主要研究工作
2 并行實時任務(wù)調(diào)度判定分析
    2.1 系統(tǒng)模型
    2.2 主要問題
    2.3 可調(diào)度性判定
    2.4 資源增值分析
    2.5 小結(jié)
3 突發(fā)性故障模型下實時容錯任務(wù)的優(yōu)先級變遷策略
    3.1 系統(tǒng)模型
    3.2 問題的提出
    3.3 可調(diào)度性分析
    3.4 優(yōu)先級變遷因子
    3.5 仿真實驗
    3.6 小結(jié)
4 容錯實時系統(tǒng)中檢查點機制的可調(diào)度分析
    4.1 任務(wù)模型
    4.2 研究動機
    4.3 最壞響應(yīng)時間
    4.4 系統(tǒng)容錯性能提高
    4.5 實驗分析
    4.6 小結(jié)
5 單處理機節(jié)能容錯調(diào)度算法
    5.1 系統(tǒng)模型
    5.2 問題的提出
    5.3 任務(wù)響應(yīng)時間
    5.4 能耗分析
    5.5 算法描述
    5.6 實驗分析
    5.7 小結(jié)
6 全文總結(jié)與研究展望
    6.1 全文總結(jié)
    6.2 研究展望
致謝
參考文獻
附錄1 (攻讀學(xué)位期間發(fā)表論文目錄)


【參考文獻】：
期刊論文
[1]回卷恢復(fù)模型下容錯實時系統(tǒng)的可調(diào)度性分析[J]. 郭銳鋒,劉嫻,丁萬夫,李杰,王鴻亮.  小型微型計算機系統(tǒng). 2013(06)
[2]多核系統(tǒng)中基于G1obal EDF的在線節(jié)能實時調(diào)度算法[J]. 張冬松,吳彤,陳芳園,金士堯.  軟件學(xué)報. 2012(04)
[3]面向硬實時系統(tǒng)的容錯調(diào)度算法研究[J]. 丁萬夫,郭銳鋒,彭健鈞,秦承剛,邵志香.  小型微型計算機系統(tǒng). 2010(09)
[4]可擴展的多周期檢查點設(shè)置[J]. 慈軼為,張展,左德承,吳智博,楊孝宗.  軟件學(xué)報. 2010(02)
[5]一種可行的容錯實時系統(tǒng)可調(diào)度性分析[J]. 李俊,陽富民,盧炎生.  軟件學(xué)報. 2005(08)
[6]改進的最小空閑時間優(yōu)先調(diào)度算法[J]. 金宏,王宏安,王強,戴國忠.  軟件學(xué)報. 2004(08)
[7]基于EDF的分布式控制系統(tǒng)容錯調(diào)度算法[J]. 劉懷,費樹岷.  軟件學(xué)報. 2003(08)



本文編號：3290324