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

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

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

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

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


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



本文編號(hào)：3290324