多核系統(tǒng)上的調度策略建模與分析.pdf

1、隨著實時系統(tǒng)應用的不斷擴大，對實時系統(tǒng)的研究越來越受到關注。實時系統(tǒng)與一般系統(tǒng)的差別在于，實時系統(tǒng)的運算正確性不僅依賴運算結果的正確，還依賴于運算結束時間。實時系統(tǒng)能夠在指定或者確定的時間內完成系統(tǒng)功能和外部或內部、同步或異步時間做出響應的系統(tǒng)。
　　在傳統(tǒng)概念上，實時系統(tǒng)分為硬實時系統(tǒng)和軟實時系統(tǒng)。在硬實時系統(tǒng)中，若一項操作在截止時間之后才完成，那么運算結果就被認為是無用的，更進一步地說，這項錯過截止時間的操作可能會導致整個系統(tǒng)

2、的失敗。而軟實時系統(tǒng)卻可以容忍這樣的延遲，但是卻會降低服務質量。在可調度性分析中，我們主要關心的是硬實時系統(tǒng)?？烧{度性分析在實時系統(tǒng)的設計中占有重要位置。任務是否可調度決定了該實時系統(tǒng)是否可以應用在實際中。
　　早期的實時系統(tǒng)功能簡單，如單板機、單片機，以及簡單的嵌入式實時系統(tǒng)等，其調度過程也相對簡單。隨著實時系統(tǒng)應用范圍的不斷擴大，系統(tǒng)復雜性不斷提高，實時系統(tǒng)具備了一些新的特點，比如多核處理器的引入。
　　近年來模型檢測的

3、方法成功地應用于可調度分析研究中?；跁r序自動機衍生出的各式自動機具有較強的表達能力，可以很好地刻畫出時間這個在實時系統(tǒng)中最重要的維度。其中任務自動機擴展了時序自動機，引入了由時間事件觸發(fā)的計算任務，適用于為任務發(fā)生時間無規(guī)律的實時系統(tǒng)建模。如果存在一種調度策略使得這個任務自動機所能產生的一系列任務都能調度成功，即它們能在截止時間前完成，則這個任務自動機是能調度的。
　　實時系統(tǒng)上的調度策略可以分為不可搶占式調度與搶占式調度兩種。