實時系統(tǒng)任務調度若干關鍵技術的研究.pdf

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

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

3、度性分析方法的問題。針對優(yōu)先級驅動的任務調度過程中可能出現的非受控優(yōu)先級逆轉問題，提出一種基于搶占閾值理論的新型防范方法。在搶占閾值下重新定義了優(yōu)先級逆轉問題以及優(yōu)先級繼承協(xié)議和優(yōu)先級限頂協(xié)議，通過加入有效優(yōu)先級等概念，有效減少了任務搶占，避免發(fā)生優(yōu)先級逆轉現象。針對任務具有優(yōu)先約束的情況，研究了與或優(yōu)先約束任務的調度算法。基于非精確模型強制任務概念，提出一種改進的頂點刪除算法，解決了此類任務調度完成時間最小化問題。同時還提出一種與或優(yōu)