實(shí)時(shí)系統(tǒng)任務(wù)調(diào)度若干關(guān)鍵技術(shù)的研究.pdf

1、隨著實(shí)時(shí)系統(tǒng)在各領(lǐng)域的廣泛應(yīng)用，任務(wù)調(diào)度技術(shù)在實(shí)時(shí)系統(tǒng)中扮演的角色越來(lái)越關(guān)鍵。針對(duì)實(shí)時(shí)系統(tǒng)多任務(wù)、多處理器和具有復(fù)雜優(yōu)先約束等特點(diǎn)，論文在傳統(tǒng)任務(wù)調(diào)度理論的基礎(chǔ)上，重點(diǎn)研究了當(dāng)代任務(wù)調(diào)度技術(shù)的新理論和新方法，特別是對(duì)不同環(huán)境和條件下的任務(wù)系統(tǒng)可調(diào)度性分析方法和調(diào)度算法進(jìn)行了深入研究。本文研究工作主要集中在以下幾個(gè)方面：針對(duì)速率單調(diào)分析技術(shù)在系統(tǒng)設(shè)計(jì)建模階段缺乏對(duì)任務(wù)間優(yōu)先約束關(guān)系及多處理器環(huán)境的考慮，提出基于可搶占時(shí)間Petri網(wǎng)的任務(wù)

2、建模與檢測(cè)方法。通過(guò)狀態(tài)空間枚舉和暫停變遷的概念，對(duì)具有優(yōu)先約束的任務(wù)集在多處理器環(huán)境下進(jìn)行建模與檢測(cè)，并用仿真實(shí)例說(shuō)明該方法在多處理器可搶占條件下，能夠快速量化分析具有復(fù)雜屬性的實(shí)時(shí)任務(wù)集合。針對(duì)周期任務(wù)的可調(diào)度性判定問(wèn)題，提出基于累積時(shí)間需求的任務(wù)可調(diào)度性分析方法和一種改進(jìn)的搶占閾值任務(wù)響應(yīng)時(shí)間分析方法。在對(duì)任務(wù)繁忙區(qū)的分析中，加入對(duì)任務(wù)釋放抖動(dòng)所需的額外響應(yīng)時(shí)間的計(jì)算，提高了周期任務(wù)可調(diào)度性測(cè)試的精確性，解決了周期任務(wù)缺少通用可調(diào)

3、度性分析方法的問(wèn)題。針對(duì)優(yōu)先級(jí)驅(qū)動(dòng)的任務(wù)調(diào)度過(guò)程中可能出現(xiàn)的非受控優(yōu)先級(jí)逆轉(zhuǎn)問(wèn)題，提出一種基于搶占閾值理論的新型防范方法。在搶占閾值下重新定義了優(yōu)先級(jí)逆轉(zhuǎn)問(wèn)題以及優(yōu)先級(jí)繼承協(xié)議和優(yōu)先級(jí)限頂協(xié)議，通過(guò)加入有效優(yōu)先級(jí)等概念，有效減少了任務(wù)搶占，避免發(fā)生優(yōu)先級(jí)逆轉(zhuǎn)現(xiàn)象。針對(duì)任務(wù)具有優(yōu)先約束的情況，研究了與或優(yōu)先約束任務(wù)的調(diào)度算法?；诜蔷_模型強(qiáng)制任務(wù)概念，提出一種改進(jìn)的頂點(diǎn)刪除算法，解決了此類任務(wù)調(diào)度完成時(shí)間最小化問(wèn)題。同時(shí)還提出一種與或優(yōu)