[發(fā)明專利]一種適用于數(shù)控系統(tǒng)容錯調(diào)度的方法

有效

• 申請?zhí)枺?/td>: 201210445612.2
• 申請日: 2012-11-09
• 公開（公告）號: CN103810025A
• 公開（公告）日: 2014-05-21
• 發(fā)明（設(shè)計）人: 郭銳鋒;劉嫻;王鴻亮;張憶文
• 申請（專利權(quán)）人: 中國科學院沈陽計算技術(shù)研究所有限公司
• 主分類號: G06F9/46
• 分類號: G06F9/46;G06F11/07
• 代理公司: 沈陽科苑專利商標代理有限公司 21002
• 代理人: 許宗富

1.一種適用于數(shù)控系統(tǒng)容錯調(diào)度的方法，其特征在于，包括以下步驟

步驟1）為數(shù)控系統(tǒng)中每個實時任務(wù)的功能定義兩種實現(xiàn)：主版本和替代版本；

步驟2）按照固定優(yōu)先級調(diào)度算法確定數(shù)控系統(tǒng)的實時任務(wù)集的運行時優(yōu)先級序列；

步驟3）按照與實時任務(wù)集運行時優(yōu)先級序列相反的次序，離線生成任務(wù)集替代版本的反向調(diào)度序列；

步驟4）數(shù)控系統(tǒng)運行時，正向調(diào)度任務(wù)集中各實時任務(wù)的主版本，當主版本在其替代版本的最晚啟動時刻之前正確完成，則釋放期替代版本的預留執(zhí)行時間；否則撤銷主版本的執(zhí)行，并在最晚啟動時刻開始執(zhí)行替代版本，替代版本啟動后具有最高執(zhí)行優(yōu)先級，能夠搶占任意主版本執(zhí)行。

2.根據(jù)權(quán)利要求1所述的一種適用于數(shù)控系統(tǒng)容錯調(diào)度的方法，其特征在于，所述主版本實現(xiàn)任務(wù)的全部功能。

3.根據(jù)權(quán)利要求1所述的一種適用于數(shù)控系統(tǒng)容錯調(diào)度的方法，其特征在于，所述替代版本為主版本的精簡，只實現(xiàn)系統(tǒng)可接受的任務(wù)的基本功能。

4.根據(jù)權(quán)利要求1所述的一種適用于數(shù)控系統(tǒng)容錯調(diào)度的方法，其特征在于，所述替代版本在反向調(diào)度過程中，占用的時間間隔為運行時為其預留的執(zhí)行時間，結(jié)束時刻即為其在運行時的最晚啟動時刻。

5.根據(jù)權(quán)利要求1所述的一種適用于數(shù)控系統(tǒng)容錯調(diào)度的方法，其特征在于，所述所有替代版本之間在一個T內(nèi)的時間沖突表示為集合：

TC={(ix,ky)|i∈{1,2,..n},k∈{1,2,..n}prio_i>prio_k，

{xT_i-a_i<yT_k≤xT_i||yT_k-a_k<xT_i<yT_k}}

其中，T為計劃周期，即任務(wù)集中任務(wù)周期的最小公倍數(shù)；i,k為任務(wù)序號；n為任務(wù)個數(shù)；x,y為作業(yè)序號；a_i和a_k分別為第i,k個任務(wù)的替代版本的執(zhí)行時間，prio表示任務(wù)的運行時優(yōu)先級。