本發(fā)明屬于嵌入式實時操作系統(tǒng)領域，特別是一種面向?qū)崟r控制系統(tǒng)的減小任務輸入輸出延遲和采樣延遲的設計方法。

背景技術：

現(xiàn)代的控制系統(tǒng)通常需要在一個處理器平臺上運行多個任務，包括了對延遲敏感的控制任務和對截止期敏感的實時任務。任務的截止期可通過實時調(diào)度算法如固定優(yōu)先級調(diào)度和最早截止期優(yōu)先調(diào)度來做出保證。然而多個任務調(diào)度引起的輸入輸出延遲和采樣延遲在實時控制系統(tǒng)中卻不可忽視，這些參數(shù)在設計階段如果沒有被仔細考慮，會影響控制性能甚至造成控制系統(tǒng)的不穩(wěn)定性。

為解決多個任務調(diào)度造成的延遲、抖動問題，一些實時控制系統(tǒng)的設計方法被提出。Nilsso和Matri等人提出了控制器補償技術來降低系統(tǒng)的延遲和抖動以提升控制性能；Baruah和Shin等人的方法在保證任務集可調(diào)度的情況下來最小化任務的相對截止期，但該方法僅能有效減小部分任務的延遲。Crespo等人將控制任務劃分為采樣、計算、控制輸出三個子任務，并限制采樣和控制輸出在任務開始和結(jié)束的一段時間內(nèi)運行，該方法能夠顯著降低任務的輸入輸出抖動，然而卻以增加輸入輸出延遲為代價。Buttazzo等人在實時控制系統(tǒng)中采用完全不可搶占的任務模型，該方法能夠降低任務的輸入輸出延遲和抖動，然而卻存在任務集資源利用率低等問題。

為了降低任務的運行開銷，提高任務最壞執(zhí)行時間(WCET)的可預測性，多種限制搶占調(diào)度算法被提出，如推遲搶占調(diào)度(DPS)，固定搶占點調(diào)度(FPP)和搶占閾值調(diào)度(PTS)。當使用固定搶占點調(diào)度時，相較于完全搶占的固定優(yōu)先級調(diào)度，任務集的可調(diào)度性能夠提高。但是固定搶占點調(diào)度的優(yōu)點不僅僅局限于此，將該模型應用于控制系統(tǒng)中，特別是當最后不可搶占區(qū)域最大時，任務的輸入輸出延遲可以被減小。但是降低任務輸入輸出延遲的同時，卻給高優(yōu)先級任務帶來更多的阻塞時間，并且一個任務最后一段不可搶占區(qū)域的大小可能會影響該任務的采樣延遲。

技術實現(xiàn)要素：

本發(fā)明針對現(xiàn)有技術的不足，提出了一種面向?qū)崟r控制系統(tǒng)的減小任務輸入輸出延遲和采樣延遲的設計方法，重點考慮了固定優(yōu)先級調(diào)度中最后一段不可搶占區(qū)域?qū)斎胼敵鲅舆t和采樣延遲造成的影響，設計了降低任務輸入輸出延遲和采樣延遲的方法，得到了在何種情形下可利用固定搶占點調(diào)度算法來減小輸入輸出延遲和采樣延遲以提高控制性能。

步驟一：判斷輸入任務集是否在完全可搶占固定優(yōu)先級調(diào)度下可調(diào)度。

在一般情形下，固定優(yōu)先級調(diào)度中最后一段搶占區(qū)域的大小可能會對該任務下一個實例的采樣延遲造成影響，進而影響任務的最大采樣延遲。故需要找到一個特定情形即完全可搶占調(diào)度下可調(diào)度的任務集，在該情形下，最后不可搶占區(qū)域的大小僅能影響該任務的輸入輸出延遲而不影響其采樣延遲。將在步驟四通過采樣延遲的計算給出找到該情形的辦法。任務集是否在完全可搶占調(diào)度下可調(diào)度可通過判斷任務最大響應時間與截止期之間的關系得出。

步驟二：計算任務最大不可搶占區(qū)域大小。

對于實時控制系統(tǒng)不僅要降低控制任務的輸入輸出延遲和采樣延遲，還需要保證任務的可調(diào)度性。而不可搶占區(qū)域的大小會對任務的可調(diào)度性造成影響，因而需要計算在保證任務可調(diào)度性基礎上最大不可搶占區(qū)域的大小。不同于劉錚等人、Chi Young Song等人計算最大不可搶占區(qū)域的方法，只有對于在完全可搶占固定優(yōu)先級調(diào)度下可調(diào)度的任務集，才可通過計算臨界時刻后第一個實例的最大響應時間來計算任務最大不可搶占區(qū)域大小。

步驟三：將控制任務最后一段設置為最大的不可搶占區(qū)域。

根據(jù)對任務的輸入輸出延遲的分析，固定優(yōu)先級調(diào)度中最后一段不可搶占區(qū)域越大對應著越小的輸入輸出延遲。可將控制任務的最后一段不可搶占區(qū)域設置為最大，該模型為FP-LNPR模型。

步驟四：將非控制任務設置為完全可搶占。

根據(jù)對任務的采樣延遲的分析，固定優(yōu)先級調(diào)度中阻塞時間越大對應著越大的采樣延遲。當對非控制任務設置為完全可搶占時，控制任務的采樣延遲將降到最低。

本發(fā)明的有益效果：本發(fā)明重點考慮了最后一段不可搶占區(qū)域?qū)斎胼敵鲅舆t和采樣延遲造成的影響，設計了降低任務輸入輸出延遲和采樣延遲的方法，得到了在何種情形下可利用固定搶占點調(diào)度算法來減小輸入輸出延遲和采樣延遲以提高控制系統(tǒng)的控制性能。

附圖說明

圖1：本發(fā)明的流程圖；

圖2：不同任務模型的輸入輸出延遲比較；

圖3：不同任務模型的采樣延遲比較；

圖4：不同任務模型的控制性能比較。

具體實施方式

以下結(jié)合附圖1對本發(fā)明作進一步說明。

步驟一：判斷輸入任務集是否在完全可搶占調(diào)度下可調(diào)度。

輸入的任務集中有n個任務，其中第i個任務由以下參數(shù)構(gòu)成(C_i,D_i,T_i)，分別代表任務的最壞執(zhí)行時間、截止期和周期。首先需要計算固定優(yōu)先級調(diào)度下第i個任務的響應時間R_i，可通過如下的表達式給出：

由于上述方程的左右兩邊都含有R_i參數(shù)，故需要采用以下的迭代方程進行求解:

若該方程收斂，收斂的值即對應著該任務的響應時間R_i。若存在著R_i≤D_i，則該任務為完全可搶占下可調(diào)度的任務。對所有的n個任務重復同樣步驟，可判斷該任務集是否是完全可搶占調(diào)度下可調(diào)度的任務集。

步驟二：計算任務最大不可搶占區(qū)域大小

對于一個完全可搶占下可調(diào)度的第i個任務來說，采用固定搶占點調(diào)度需要滿足以下的條件：

存在著滿足以下的方程：

W_i(t)+α_i≤t(1)

其中為第i個任務最后一段不可搶占區(qū)域大小，W_i(t)長為的時間內(nèi)，第i個任務以及所有高優(yōu)先級任務所需要運行的時間，可表示為：

公式(1)中的α_i為第i個任務的阻塞時間。

對于方程(1)來說，不需要檢查中的每一個點，僅需要檢查該區(qū)間內(nèi)不可連續(xù)的點，如

根據(jù)方程(1)，可以得到第i個任務的最大容忍時間β_i，表示為：

β_i＝max{t-W_i(t)}

根據(jù)以上可得出第i個任務最大的不可搶占區(qū)域大小的計算：

步驟三：將控制任務最后一段設置為最大的不可搶占區(qū)域。

基于固定搶占點模型，找出造成最大輸入輸出延遲的時刻并找出最大輸入輸出延遲的計算方法，見圖2。找出最后一段不可搶占區(qū)域與輸入輸出延遲的關系，將控制任務最后一段不可搶占區(qū)域設置為最大?？煞譃橐韵聨讉€步驟：

(1)計算造成最大輸入輸出延遲時刻。該時刻對應于所有高優(yōu)先級任務的同步釋放，且該時刻距該任務開始執(zhí)行僅有一段極小的時間。

(2)計算最大輸入輸出延遲的方法。將最大輸入輸出延遲的計算分為三個部分，即該任務開始運行到造成最大輸入輸出延遲時刻之間的一段極小的時間ε，除最后一段不可搶占區(qū)域的所有高優(yōu)先級任務的響應時間以及最后一段不可搶占區(qū)域那么最大輸入輸出延遲可表示為：

其中表示在完全可搶占調(diào)度中長為時間內(nèi)第i個任務的最大占據(jù)時間，即任務從開始運行長為的時間到任務重新開始運行一小段時間之間的間隔。

根據(jù)最大響應時間與最大占據(jù)時間之間的關系式：

可將最大輸入輸出延遲前面兩項簡化為：

則最大輸入輸出延遲表示為：

(3)最大輸入輸出延遲與最后一段不可搶占區(qū)域關系。通過比較一個較大的不可搶占區(qū)域和一個稍短的不可搶占區(qū)域之間的輸入輸出延遲的關系，找到了最后一段不可搶占區(qū)域與輸入輸出延遲的關系，即當最后一段不可搶占區(qū)域最大時對應著最小的輸入輸出延遲?？赏ㄟ^歸納法給出證明。步驟如下：

a.初始迭代中，一個稍大的不可搶占區(qū)域與稍短的不可搶占區(qū)域之間的輸入輸出延遲比較。

b.假設第n次迭代，一個稍大的不可搶占區(qū)域的輸入輸出延遲要比稍短的不可搶占區(qū)域來的小。

c.計算第n+1次迭代，一個稍大的不可搶占區(qū)域的輸入輸出延遲與稍短的不可搶占區(qū)域的輸入輸出延遲關系。

(4)根據(jù)以上最后一段不可搶占區(qū)域大小與輸入輸出延遲的關系，可將固定優(yōu)先級調(diào)度的控制任務的最后一段不可搶占區(qū)域設置為最大，該模型為FP-LNPR模型。

步驟四：將非控制任務設置為完全可搶占。

基于固定搶占點模型，計算造成最大采樣延遲的時刻，計算在何種情形下采樣延遲不受該任務最后一段不可搶占區(qū)域的影響，最后根據(jù)采樣延遲與最后不可搶占區(qū)域大小的關系，將非控制任務設置為完全可搶占，見圖3。具體步驟如下：

計算何時不存在采樣延遲自推現(xiàn)象，即釋放在上一個實例最后不可搶占區(qū)域的高優(yōu)先級任務不會對該實例的采樣延遲造成影響。通過反證法來證明一個在完全可搶占調(diào)度下可調(diào)度的任務集不會產(chǎn)生該現(xiàn)象。

計算不存在著采樣延遲自推現(xiàn)象的任務，何種時刻該任務存在著最大的采樣延遲。對于第i個任務，其在第i個任務的臨界時刻后的第一個實例中可找到最大采樣延遲。

對于不存在采樣延遲自推現(xiàn)象的任務集計算最大采樣延遲?？蓪ψ枞麜r間B_i＝0和阻塞時間B_i>0分別討論：

根據(jù)以上計算采樣延遲的方法，對于不存在采樣延遲自推現(xiàn)象的任務集計算阻塞時間與最大采樣延遲的關系，最后不可搶占區(qū)域與最大采樣延遲的關系。在固定優(yōu)先級調(diào)度中越長的阻塞時間對應越大的采樣延遲，而不可搶占區(qū)域大小不影響該任務的采樣延遲大小，這也是步驟一中篩選掉完全可搶占調(diào)度中不可調(diào)度任務集的理由。

根據(jù)以上采樣延遲和最后一段不可搶占區(qū)域關系，將非控制任務設置為完全可搶占，該任務模型為FP-LNPR^*模型，圖4給出了不同任務模型的控制性能比較。