束I的3個(gè)部分矛盾進(jìn)程[c2 | d]0到[c2 I d]2o進(jìn)程c2 I d的初始資源需求max(c2, d)在權(quán)重為使p0+pl+p2 = I的p0，pl和p2的三個(gè)部分進(jìn)程之間分配。
[0084]至于圖5A的中間節(jié)點(diǎn)3b，中間節(jié)點(diǎn)4a和4b變成從中監(jiān)視器監(jiān)測(cè)進(jìn)程的執(zhí)行時(shí)間的同步點(diǎn)。為了避免在實(shí)際上拆分進(jìn)程c2 I d，優(yōu)選使用像標(biāo)記B的標(biāo)記S，該標(biāo)記S指示如果進(jìn)程超過它的資源需求，則監(jiān)視器忽略報(bào)告故障。從進(jìn)程c2 |d的始端(所以基本上從進(jìn)程c和d中任意進(jìn)程的始端)無條件地設(shè)定標(biāo)記S，并且然后在最后的中間同步點(diǎn)(4b)清除。
[0085]這個(gè)技術(shù)因此將時(shí)隙的持續(xù)時(shí)間歸一化，這是簡(jiǎn)化驗(yàn)證測(cè)試的第一種改進(jìn)。
[0086]圖7B說明地示出縮短圖7A的標(biāo)準(zhǔn)化執(zhí)行模板的步驟。模板的第二半段與其第一半段重疊，從而節(jié)點(diǎn)4a，4b和4相應(yīng)地與節(jié)點(diǎn)1，2和3_3b合并。因此僅保留持續(xù)時(shí)間為I的三個(gè)時(shí)隙。在第一時(shí)隙，可執(zhí)行進(jìn)程a和[c2 |d] I中的任意進(jìn)程，因此事實(shí)上當(dāng)使用標(biāo)記B和S時(shí)，是進(jìn)程a，c和d中的任意進(jìn)程。在第二時(shí)隙，可執(zhí)行進(jìn)程b，Cl和[c2|d]2中的任意進(jìn)程，因此在事實(shí)上是進(jìn)程b，c和d中的任意進(jìn)程。在最后的時(shí)隙中，可執(zhí)彳丁進(jìn)程e和[c2 I d] O中的任意進(jìn)程，因此事實(shí)上是進(jìn)程e，c和d中的任意進(jìn)程。
[0087]這些時(shí)隙的資源需求遵循與備選進(jìn)程相同的確定規(guī)則。它們相應(yīng)地等于max {a, pi.max (c2, d)}，max {b, cl, p2.max (c2, d)}和 max {e, p0.max (c2, d)}。
[0088]針對(duì)所考慮的示例模板，其是采用偶數(shù)間隙完全循環(huán)的，該模板的尺寸可被減半。在任何情況下，模板包括由可包括奇數(shù)間隙的循環(huán)部分(圖3B，3C)跟隨的線性部分。重疊方法應(yīng)用于標(biāo)準(zhǔn)化的循環(huán)部分。即使歸一化的循環(huán)部分具有奇數(shù)個(gè)間隙時(shí)仍可適用，實(shí)際上重疊可以是局部的，其稍微犧牲模板的尺寸簡(jiǎn)化。
【主權(quán)項(xiàng)】
1.一種方法，用于形成符合實(shí)時(shí)多任務(wù)系統(tǒng)的靈活性模型的任務(wù)的離線調(diào)度進(jìn)程，所述方法包括由用于編譯定義所述任務(wù)的源代碼的工具鏈執(zhí)行的下列步驟: a)為每個(gè)進(jìn)程指派硬件資源需求和時(shí)間約束； b)為每個(gè)進(jìn)程分配具有對(duì)應(yīng)于所述進(jìn)程的時(shí)間約束的持續(xù)時(shí)間的時(shí)隙； c)識(shí)別在該處決定兩個(gè)備選進(jìn)程(a，b)中的一個(gè)或另一個(gè)進(jìn)程的執(zhí)行的分支點(diǎn)； d)為所述兩個(gè)備選進(jìn)程分配公共時(shí)隙(+2); e)為所述公共時(shí)隙指派等于所述兩個(gè)備選進(jìn)程中的所述資源需求的較大者的資源需求(max (a, b))； f)針對(duì)每一個(gè)分支點(diǎn)迭代步驟c); g)組合在與所述任務(wù)相關(guān)聯(lián)的執(zhí)行模板中生成的時(shí)隙；以及 h)從所述執(zhí)行模板中產(chǎn)生所述多任務(wù)系統(tǒng)的靜態(tài)調(diào)度參數(shù)。2.如權(quán)利要求1所述的方法，其中所述源代碼以定義由轉(zhuǎn)換節(jié)點(diǎn)連接的一組進(jìn)程的圖的形式來表示所述任務(wù)，其中每個(gè)轉(zhuǎn)換節(jié)點(diǎn)在所述任務(wù)在所述多任務(wù)系統(tǒng)上的執(zhí)行期間根據(jù)時(shí)基定義同步點(diǎn)，所述方法包括以下步驟: ?從所述進(jìn)程的源轉(zhuǎn)換節(jié)點(diǎn)和目的地轉(zhuǎn)換節(jié)點(diǎn)中，定義向每一個(gè)進(jìn)程分配的時(shí)隙的極限； ?對(duì)于具有公共源節(jié)點(diǎn)(I)和兩個(gè)相應(yīng)目標(biāo)節(jié)點(diǎn)(2，3)的兩個(gè)備選進(jìn)程，合并所述兩個(gè)目標(biāo)節(jié)點(diǎn)為合并的目標(biāo)節(jié)點(diǎn)(2_3);以及 ?由所述公共源節(jié)點(diǎn)和所述合并的目標(biāo)節(jié)點(diǎn)(2_3)，定義備選進(jìn)程兩者的公共時(shí)隙。3.如權(quán)利要求2所述的方法，針對(duì)在步驟c)具有不同的時(shí)間約束的兩個(gè)備選進(jìn)程(b+l，c+4)，包括以下步驟: ?在具有所述最長(zhǎng)時(shí)間約束的所述兩個(gè)備選進(jìn)程(c+4)中的第一(c)中生成中間轉(zhuǎn)換節(jié)點(diǎn)(3b)，產(chǎn)生在所述源節(jié)點(diǎn)與所述中間節(jié)點(diǎn)之間的第一部分備選進(jìn)程(Cl)，和在所述中間節(jié)點(diǎn)與所述第一備選進(jìn)程的所述目標(biāo)節(jié)點(diǎn)之間的第二部分進(jìn)程(c2); ?為所述第一部分備選進(jìn)程指派第一資源需求(Cl)和等于所述第二備選進(jìn)程的所述時(shí)間約束的時(shí)間約束(I)； ?為所述第二部分進(jìn)程指派第二資源需求(c2)和等于所述兩個(gè)備選進(jìn)程的所述時(shí)間約束的差的時(shí)間約束(c2)，其中所述第二資源需求使所述第一和第二資源需求之和等于所述第一備選進(jìn)程(c)的所述資源需求；以及 ?根據(jù)步驟d)進(jìn)行所述第一部分備選進(jìn)程(cl+1)和所述第二備選進(jìn)程(b+1)。4.如權(quán)利要求3所述的執(zhí)行所調(diào)度的任務(wù)的方法，包括在所述多任務(wù)系統(tǒng)中執(zhí)行的以下步驟: ?在每個(gè)時(shí)隙，通過監(jiān)視器檢查正在進(jìn)行的進(jìn)程的執(zhí)行遵守向所述時(shí)隙指派的所述資源需求；以及 ?如果所述正在進(jìn)行的進(jìn)程的執(zhí)行超過所述資源需求并且所述進(jìn)行中的進(jìn)程是所述第一部分備選進(jìn)程(Cl)，則忽略通過所述監(jiān)視器發(fā)出故障信號(hào)。5.如權(quán)利要求4所述的方法，包括步驟: ?根據(jù)所述第一部分備選進(jìn)程(Cl)的執(zhí)行，設(shè)定狀態(tài)變量(B = I); ?如果所述正在進(jìn)行的進(jìn)程的執(zhí)行超過所述資源需求并且設(shè)定了狀態(tài)變量，則忽略通過所述監(jiān)視器發(fā)出故障信號(hào)；以及 ?在對(duì)應(yīng)于合并的目標(biāo)節(jié)點(diǎn)(2_3)的同步點(diǎn)清除所述狀態(tài)變量。6.如權(quán)利要求3所述的方法，包括針對(duì)所述圖的循環(huán)部分的下列步驟: ?將每個(gè)具有更長(zhǎng)時(shí)間約束的進(jìn)程(c2|d)分成一組具有更短時(shí)間約束的部分進(jìn)程，所述更短時(shí)間約束為所述循環(huán)部分中所述時(shí)間約束的最大公約數(shù)，從而將所述圖的循環(huán)部分轉(zhuǎn)變成為歸一化的子圖，所述子圖定義一系列全部具有相同歸一化時(shí)間約束的完整或部分進(jìn)程；以及 ?在所述對(duì)應(yīng)的部分進(jìn)程之間為每個(gè)具有更長(zhǎng)時(shí)間約束的進(jìn)程分配資源需求，從而所述部分進(jìn)程的所述資源需求之和等于具有所述更長(zhǎng)時(shí)間約束的所述進(jìn)程的資源需求。7.如權(quán)利要求6所述的方法，包括步驟: ?將所述子圖的第一部分的末端與所述子圖的第二部分的始端重疊，使得所述子圖(1，.2，3_3b)的所述第一部分的所述末端的所述轉(zhuǎn)換節(jié)點(diǎn)與所述子圖的所述第二部分的始端的相應(yīng)的節(jié)點(diǎn)(4a，4b，4)重合，從而通過兩對(duì)連續(xù)的重合節(jié)點(diǎn)定義與具有所述第一對(duì)的所述兩個(gè)節(jié)點(diǎn)作為相應(yīng)起源的所述進(jìn)程共用的時(shí)隙；以及 ?指派所述公共時(shí)隙，因此限定資源需求等于與所述第一對(duì)節(jié)點(diǎn)相關(guān)的所述進(jìn)程中最大的所述資源需求，并且時(shí)間約束等于所述歸一化的時(shí)間約束。
【專利摘要】本發(fā)明涉及用于執(zhí)行由一組連續(xù)并備選的處理操作組成的任務(wù)的方法。方法包括以下步驟：a)為每個(gè)處理操作分配硬件資源需求和時(shí)間約束；b)將時(shí)隙與每個(gè)具有對(duì)應(yīng)于處理操作的時(shí)間約束的持續(xù)時(shí)間的處理操作相關(guān)聯(lián)；c)識(shí)別在該處決定兩個(gè)備選處理操作(a，b)中的一個(gè)或另一個(gè)處理操作的執(zhí)行的分支點(diǎn)；d)將公共時(shí)隙(+2)與兩個(gè)備選處理操作相關(guān)聯(lián)；e)為公共時(shí)隙分配等于兩個(gè)備選處理操作中的需求的較大者的需求(max(a,b))；f)針對(duì)每一個(gè)分支點(diǎn)重復(fù)步驟c)；g)組合所生成的時(shí)隙到與任務(wù)相關(guān)聯(lián)的執(zhí)行模板中；以及h)基于向執(zhí)行模板的時(shí)隙分配的需求，配置實(shí)時(shí)多任務(wù)系統(tǒng)以便約束任務(wù)的執(zhí)行。
【IPC分類】G06F9/50, G06F9/48
【公開號(hào)】CN105144104
【申請(qǐng)?zhí)枴緾N201480019979
【發(fā)明人】V·大衛(wèi)
【申請(qǐng)人】克羅諾安全公司
【公開日】2015年12月9日
【申請(qǐng)日】2014年3月17日
【公告號(hào)】CA2907808A1, WO2014167197A1, WO2014167197A9