改善多核芯處理器的處理性能的方法和裝置制造方法
【專利摘要】本發(fā)明涉及改善多核芯處理器的處理性能的方法和裝置。用于管理在多核心處理器中的任務(wù)執(zhí)行的方法包括采用自旋鎖來實(shí)現(xiàn)可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束并采用多處理器優(yōu)先權(quán)上限協(xié)議來實(shí)現(xiàn)該可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束來同步在多核心處理器的第一和第二處理核心中執(zhí)行的多個(gè)任務(wù)。
【專利說明】改善多核芯處理器的處理性能的方法和裝置
【技術(shù)領(lǐng)域】
[0001]本公開涉及多核心處理器。
【背景技術(shù)】 [0002]本部分中的陳述僅僅提供與本公開相關(guān)的背景信息。因此，這些陳述不是用于構(gòu)成對(duì)現(xiàn)有技術(shù)的承認(rèn)。
[0003]處理器是電子設(shè)備，其被構(gòu)造成具有執(zhí)行例程以履行任務(wù)的中央處理單元(CPU)和相關(guān)聯(lián)的內(nèi)存和存儲(chǔ)設(shè)備。處理器的性能可通過增加CPU的時(shí)鐘速度來改善，并因此產(chǎn)生了更快的例程執(zhí)行。由于處理器硬件和接口設(shè)備的機(jī)械的、電力的和熱的限制，存在對(duì)時(shí)鐘速度和相關(guān)聯(lián)的處理器性能的上界。
[0004]多核心處理器已經(jīng)被引入以改善在執(zhí)行例程以履行任務(wù)方面的性能。在這種架構(gòu)中，多處理核心的存在能實(shí)現(xiàn)真正的并行任務(wù)執(zhí)行的能力。不過，在不同的核心上同時(shí)執(zhí)行的任務(wù)可能需要同步和/或彼此協(xié)調(diào)，這是由于應(yīng)用水平的要求。

【發(fā)明內(nèi)容】

[0005]用于管理在多核心處理器中的任務(wù)執(zhí)行的方法包括采用自旋鎖來實(shí)現(xiàn)可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束并采用多處理器優(yōu)先權(quán)上限協(xié)議來實(shí)現(xiàn)該可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束來同步在多核心處理器的第一和第二處理核心中執(zhí)行的多個(gè)任務(wù)。
[0006]本申請(qǐng)還提供了如下方案:
方案1.一種用于管理在多核心處理器中的任務(wù)執(zhí)行的方法，包括采用自旋鎖來實(shí)現(xiàn)可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束并采用多處理器優(yōu)先權(quán)上限協(xié)議來實(shí)現(xiàn)該可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束來同步在多核心處理器的第一和第二處理核心中執(zhí)行的多個(gè)任務(wù)。
[0007]方案2.如方案I所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議包括采用全局優(yōu)先權(quán)上限以通過具有帶有更高遠(yuǎn)程優(yōu)先權(quán)上限的相互排斥約束的任務(wù)搶先具有所選的相互排斥約束的任務(wù)。
[0008]方案3.如方案2所述的方法，其中，采用全局優(yōu)先權(quán)上限來通過具有帶有更高遠(yuǎn)程優(yōu)先權(quán)上限的相互排斥約束的任務(wù)搶先具有所選的相互排斥約束的任務(wù)包括當(dāng)任務(wù)T以根據(jù)如下關(guān)系設(shè)定的優(yōu)先權(quán)獲得全局互斥元I時(shí)執(zhí)行對(duì)應(yīng)該全局互斥元Mtj的全局臨界段:
P(Mg) = p (G) +p (TO)
其中P(Mtj)是全局互斥元Mtj的優(yōu)先權(quán)上限，
P(G)是基礎(chǔ)優(yōu)先權(quán)水平，其大于在該系統(tǒng)中的另一執(zhí)行任務(wù)，以及 P(TO)是最高優(yōu)先權(quán)任務(wù)TO的優(yōu)先權(quán)，其可鎖定全局互斥元％。
[0009]方案4.如方案3所述的方法，其中，全局互斥元Mtj是由在多核心處理器的第一和第二處理核心的不同核心中展開的任務(wù)所共享的互斥元。
[0010]方案5.—種用于管理在多核心處理器中的任務(wù)執(zhí)行的方法,包括:在多核心處理器的第一處理核心中執(zhí)行任務(wù)的可運(yùn)行物，包括引入用于在多核心處理器的第二處理核心中執(zhí)行的任務(wù)的另一可運(yùn)行物的靜態(tài)補(bǔ)償，從而實(shí)現(xiàn)在所述可運(yùn)行物間的靜態(tài)定義的相互排斥約束；
采用自旋鎖來實(shí)現(xiàn)可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束并采用多處理器優(yōu)先權(quán)上限協(xié)議來實(shí)現(xiàn)該可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束來同步在多核心處理器的第一和第二處理核心中執(zhí)行的多個(gè)任務(wù)。
[0011]方案6.如方案5所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議來實(shí)現(xiàn)可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束包括采用全局優(yōu)先權(quán)上限，其允許具有所選相互排斥約束的任務(wù)被帶有更高遠(yuǎn)程優(yōu)先權(quán)上限的相互排斥約束搶先。
[0012]方案7.—種用于管理在多核心處理器中的任務(wù)執(zhí)行的方法,包括:
在第一處理核心中執(zhí)行任務(wù)的可運(yùn)行物，包括引入用于在第二處理核心中執(zhí)行的任務(wù)的另一可運(yùn)行物的靜態(tài)補(bǔ)償，從而實(shí)現(xiàn)在所述可運(yùn)行物間的靜態(tài)定義的相互排斥約束；以及
選擇性地采用自旋鎖、設(shè)置/等待事件、和多處理器優(yōu)先權(quán)上限協(xié)議以實(shí)現(xiàn)相互排斥約束從而同步在第一和第二處理核心中執(zhí)行的多個(gè)任務(wù)。
[0013]方案8.如方案7所述的方法，其中，采用設(shè)置/等待事件靜態(tài)地強(qiáng)制執(zhí)行相互排斥約束。
[0014]方案9.如方案7所述的方法，其中，采用自旋鎖和多處理器優(yōu)先權(quán)上限協(xié)議動(dòng)態(tài)地強(qiáng)制執(zhí)行相互排斥約束。
[0015]方案10.如方案7所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議包括采用全局優(yōu)先權(quán)上限以通過具有帶有更高遠(yuǎn)程優(yōu)先權(quán)上限的相互排斥約束的任務(wù)搶先具有所選的相互排斥約束的任務(wù)。
[0016]方案11.如方案10所述的方法，其中，采用全局優(yōu)先權(quán)上限以搶先具有所選的相互排斥約束的任務(wù)包括在任務(wù)T以根據(jù)如下關(guān)系設(shè)定的優(yōu)先權(quán)獲得全局互斥元Mg時(shí)執(zhí)行對(duì)應(yīng)該全局互斥元Mtj的全局臨界段:
P(Mg) = p (G) +p (TO)
其中P(Mtj)是全局互斥元Mtj的優(yōu)先權(quán)上限，
P(G)是基礎(chǔ)優(yōu)先權(quán)水平，其大于在該系統(tǒng)中的另一執(zhí)行任務(wù)，以及 P(TO)是最高優(yōu)先權(quán)任務(wù)TO的優(yōu)先權(quán)，其可鎖定全局互斥元％。
[0017]方案12.如方案11所述的方法，其中，全局互斥元Mtj是由在多核心處理器的第一和第二處理核心的每一核心中展開的任務(wù)所共享的互斥元。
[0018]方案13.如方案7所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議包括分配優(yōu)先權(quán)給全局臨界段內(nèi)的任務(wù)，該全局臨界段由帶有該全局臨界段的優(yōu)先權(quán)的全局互斥元防護(hù)。
[0019]方案14.如方案13所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議還包括允許在全局臨界段內(nèi)的第一任務(wù)在該第一任務(wù)的優(yōu)先權(quán)大于第二任務(wù)的優(yōu)先權(quán)時(shí)搶先在該全局臨界段內(nèi)的第二任務(wù)。
[0020]方案15.如方案14所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議還包括在全局互斥元不被另一任務(wù)保持時(shí)使用多核心處理器的共享存儲(chǔ)器內(nèi)的原子事務(wù)將全局互斥元授予給任務(wù)。
[0021]方案16.如方案15所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議還包括在對(duì)全局互斥元的請(qǐng)求不能被準(zhǔn)予時(shí)在搶先任務(wù)之前將該任務(wù)添加到在全局互斥元上的優(yōu)先權(quán)隊(duì)列，其中被添加到優(yōu)先權(quán)隊(duì)列的任務(wù)的優(yōu)先權(quán)是預(yù)先分配的。
[0022]方案17.如方案16所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議還包括當(dāng)任務(wù)試圖釋放該全局互斥元時(shí)使最高優(yōu)先權(quán)任務(wù)有資格在用于該最高優(yōu)先權(quán)任務(wù)的主處理核心中以該最高優(yōu)先權(quán)任務(wù)的全局臨界段優(yōu)先權(quán)執(zhí)行。
[0023]方案18.如方案17所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議還包括預(yù)分配優(yōu)先權(quán)給全局臨界段之外的任務(wù)。
[0024]方案19.如方案18所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議還包括對(duì)到達(dá)局部互斥元的請(qǐng)求采用單個(gè)處理器優(yōu)先權(quán)上限協(xié)議。
【專利附圖】

【附圖說明】
[0025]現(xiàn)在將參照附圖通過舉例方式描述一個(gè)或多個(gè)實(shí)施例，附圖中:
圖1-1和1-2示意地示出了根據(jù)本公開的示例性多核心處理系統(tǒng)的實(shí)施例，該系統(tǒng)包括第一和第二處理核心；
圖2-1示意性地示出了根據(jù)本公開的用于在多核心處理系統(tǒng)中執(zhí)行多個(gè)任務(wù)的任務(wù)執(zhí)行簡圖；
圖2-2用曲線圖示出了根據(jù)本公開的與任務(wù)處理相關(guān)聯(lián)的第一正時(shí)曲線和消逝的時(shí)間步長之間的關(guān)系；
圖2-3用曲線圖示出了根據(jù)本公開的與采用靜態(tài)補(bǔ)償?shù)娜蝿?wù)處理相關(guān)聯(lián)的第二正時(shí)曲線和消逝的時(shí)間步長之間的關(guān)系；
圖3用曲線圖示出了根據(jù)本公開繪制的與內(nèi)燃發(fā)動(dòng)機(jī)速度有關(guān)的用于基線利用和最大限度利用的設(shè)置/等待事件的敏感性評(píng)估；
圖4示意地示出了根據(jù)本公開的用于分析自旋鎖的正時(shí)的過程，包括第一和第二處理核心和共享軟件資源，該共享軟件資源或是被獲取以進(jìn)行執(zhí)行或是處于自旋；
圖5用曲線圖示出了根據(jù)本公開的與采用自旋鎖的任務(wù)處理相關(guān)聯(lián)的正時(shí)曲線和消逝的時(shí)間步長之間的關(guān)系；
圖6用曲線圖示出了根據(jù)本公開繪制的與內(nèi)燃發(fā)動(dòng)機(jī)速度有關(guān)的用于基線利用和最大限度利用的自旋鎖的敏感性評(píng)估；
圖7示意性地示出了根據(jù)本公開的多處理器優(yōu)先權(quán)上限協(xié)議的實(shí)施方式，包括第一和第二處理核心和對(duì)應(yīng)的第一和第二優(yōu)先權(quán)隊(duì)列，該隊(duì)列弓I起共享優(yōu)先權(quán)隊(duì)列，該共享優(yōu)先權(quán)隊(duì)列由共享軟件資源執(zhí)行；以及
圖8用曲線圖示出了根據(jù)本公開的與多處理器優(yōu)先權(quán)上限協(xié)議的執(zhí)行相關(guān)聯(lián)的正時(shí)曲線。
【具體實(shí)施方式】
[0026]現(xiàn)在參照附圖，其中所示出的是僅用于說明某些示例性實(shí)施例并不是用于限制這些實(shí)施例的目的，圖1-1和1-2示意性地說明了多核心處理系統(tǒng)的實(shí)施例，該多核心處理系統(tǒng)包括第一和第二處理核心。本文描述的包括第一和第二處理核心多核心處理系統(tǒng)是說明性的而不是限制性的。而且，術(shù)語“第一”和“第二”被用于確認(rèn)并區(qū)分具體的處理核心，而不是用來指示先后順序或優(yōu)先順序。多核心處理系統(tǒng)優(yōu)選地是均質(zhì)多核心處理器，但本公開不限于此。本文描述的概念適用于采用兩個(gè)或多個(gè)處理核心的任何多核心處理系統(tǒng)。
[0027]圖1-1示出了均質(zhì)多核心處理器10的第一實(shí)施例，其優(yōu)選是單芯片元件，其包括第一和第二處理核心12和22、第一和第二架構(gòu)狀態(tài)13和23，以及單獨(dú)的第一和第二片載LI存儲(chǔ)器超高速緩存14和24。其它的特征包括熱控制器30、可編程中斷控制器(APIC)32、和功率管理邏輯34。第二共享存儲(chǔ)器超高速緩存36和總線接口 38被采用以與外部總線40通信。
[0028]圖1-2示出了均質(zhì)多核心處理器50的第二實(shí)施例，其優(yōu)選是單芯片元件，其包括第一和第二處理核心52和62、以及單獨(dú)的第一和第二片載LI存儲(chǔ)器超高速緩存54和64。其它的特征包括系統(tǒng)請(qǐng)求接口 66、橫桿開關(guān)67、和第一和第二內(nèi)存控制器58和68，這些被用來管理與外部設(shè)備的通信，在一個(gè)實(shí)施例包括通過外部總線40的通信。均質(zhì)多核心處理器10和50的第一和第二實(shí)施例是說明性的。
[0029]多個(gè)任務(wù)中的每一個(gè)任務(wù)Ti包括一系列可運(yùn)行物(runnable)，其中m (i)指示屬于任務(wù)Ti的運(yùn)行的數(shù)量。單獨(dú)的可運(yùn)行物被指示為Rm到Ri,⑴。每個(gè)可運(yùn)行物Ru的最壞情況執(zhí)行時(shí)間被假設(shè)為已知并被表示為Cu。任務(wù)Ti的累積最壞情況執(zhí)行時(shí)間是所有的組成可運(yùn)行物的執(zhí)行時(shí)間之和，其被表示為Ci ( 即，Ci = Ci；1 + Ci；2 +…+ Ci^i))。術(shù)語P(Ti)表示任務(wù)Ti被分配到的處理核心。任一任務(wù)Ti的第一可運(yùn)行物Rm被假設(shè)為或者每個(gè)Ti都被周期地觸發(fā)或者由具有周期Ti的另一任務(wù)所設(shè)置的事件Em觸發(fā)。所有的后續(xù)可運(yùn)行物Ru (j > I)都被 假設(shè)為或者由先前的可運(yùn)行物RiI1的完成觸發(fā)或者由外部事件Eu觸發(fā)。每個(gè)可運(yùn)行物Ru也被給予補(bǔ)償Ou ^ 0，使得該可運(yùn)行物具備條件以僅在自Rm的對(duì)應(yīng)釋放以來已經(jīng)消逝了 Ou時(shí)間單位后執(zhí)行。
[0030]觸發(fā)或設(shè)置事件Eu的可運(yùn)行物由表示。在可運(yùn)行物Ru (j > I)由先前的可運(yùn)行物RiI1觸發(fā)的情形下，此時(shí)Eu由= Ri^1設(shè)置。為了方便起見，對(duì)于假設(shè)為每個(gè)Ti周期地被觸發(fā)的可運(yùn)行物Ru來說，= O。每個(gè)任務(wù)具有等于其周期Ti的絕限。這種假設(shè)源自如下事實(shí):如果Ti在Ti時(shí)間單位中沒有完成，那么任務(wù)Ti的另一迭代將開始。優(yōu)先權(quán)分配被假設(shè)為遵循速率單調(diào)調(diào)度。具有越短周期的任務(wù)被分配更高的調(diào)度優(yōu)先權(quán)。不失一般性，任務(wù)組是以周期的非遞減順序且優(yōu)先權(quán)的遞增順序給出的。術(shù)語hp(Ti)被采用來表示具有比Ti更高優(yōu)先權(quán)的一組任務(wù)，并且Ip (Ti)被采用來表示具有比Ti更低優(yōu)先權(quán)的一組任務(wù)。術(shù)語P (Ti)被采用來表示任務(wù)Ti的優(yōu)先權(quán)。對(duì)于保護(hù)相互排斥共享資源的任何鎖M來說，術(shù)語I (M)被采用來表示訪問鎖M的任務(wù)的數(shù)量，并且Cm被采用來代表M可被保持的最大持續(xù)時(shí)間。
[0031]同步化結(jié)構(gòu)例如優(yōu)先約束可使用多核心優(yōu)先約束的事件來實(shí)現(xiàn)。通過舉例，考慮兩個(gè)任務(wù)，包括在處理核心Pl上執(zhí)行的任務(wù)Tl和在處理核心P2上執(zhí)行的任務(wù)T2。這種應(yīng)用要求任務(wù)T2的可運(yùn)行物R2，d在任務(wù)Tl的可運(yùn)行物Ru的完成之后開始執(zhí)行。在這種情形下，在事件E2，d時(shí)可使P2上的可運(yùn)行物R2，d暫停/等待，其可進(jìn)而由Pl上的可運(yùn)行物R1,,的完成來設(shè)置。設(shè)置/等待事件被采用來通過強(qiáng)制執(zhí)行在同一核心上運(yùn)行的不同任務(wù)中的可運(yùn)行物之間的優(yōu)先約束來靜態(tài)地強(qiáng)制執(zhí)行相互排斥約束，并且這些事件被推及到多核心處理器的上下文中。
[0032]對(duì)帶有設(shè)置/等待事件的任務(wù)的分析包括開發(fā)這些任務(wù)的響應(yīng)-時(shí)間分析。舉例來說，評(píng)估在處理核心P上的使用設(shè)置/等待事件的帶有可運(yùn)行物Ru到Ri^i)的任務(wù)Tl。在P上的更高優(yōu)先權(quán)任務(wù)Th (B卩，比Ti更高的優(yōu)先權(quán))中沒有一個(gè)使用設(shè)置/等待事件來與其它任務(wù)同步時(shí)，即，V77t € /ψ0-?)且V* > I的一個(gè)情形中,JIhjk = Rh,H。在這個(gè)情形中，可如下地導(dǎo)出任務(wù)Ti的最壞情況響應(yīng)時(shí)間的界限。讓F(Ru)表示在可運(yùn)行物Ru的完成時(shí)間上的上界。為了計(jì)算F(Riij),采用了在Ru之前的Ti的最后可運(yùn)行物Ry其由外部事件觸發(fā)，即，e < j是最大值，使得e = I或者Jiie古Rie。這個(gè)外部事件被設(shè)置時(shí)的瞬時(shí)時(shí)間可被表示為Si,如果Wi, {e...J}表示包括可運(yùn)行物R1-到Ru的的Ti片段的最壞情況響應(yīng)時(shí)間，那么F(U被如下確定。
[0033]
【權(quán)利要求】
1.一種用于管理在多核心處理器中的任務(wù)執(zhí)行的方法，包括采用自旋鎖來實(shí)現(xiàn)可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束并采用多處理器優(yōu)先權(quán)上限協(xié)議來實(shí)現(xiàn)該可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束來同步在多核心處理器的第一和第二處理核心中執(zhí)行的多個(gè)任務(wù)。
2.如權(quán)利要求1所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議包括采用全局優(yōu)先權(quán)上限以通過具有帶有更高遠(yuǎn)程優(yōu)先權(quán)上限的相互排斥約束的任務(wù)搶先具有所選的相互排斥約束的任務(wù)。
3.如權(quán)利要求2所述的方法，其中，采用全局優(yōu)先權(quán)上限來通過具有帶有更高遠(yuǎn)程優(yōu)先權(quán)上限的相互排斥約束的任務(wù)搶先具有所選的相互排斥約束的任務(wù)包括當(dāng)任務(wù)T以根據(jù)如下關(guān)系設(shè)定的優(yōu)先權(quán)獲得全局互斥元Me時(shí)執(zhí)行對(duì)應(yīng)該全局互斥元Me的全局臨界段:
P(Mg) = ρ (G) +p (TO) 其中P(Me)是全局互斥元Me的優(yōu)先權(quán)上限， P(G)是基礎(chǔ)優(yōu)先權(quán)水平，其大于在該系統(tǒng)中的另一執(zhí)行任務(wù)，以及 P(TO)是最高優(yōu)先權(quán)任務(wù)TO的優(yōu)先權(quán)，其可鎖定全局互斥元Me。
4.如權(quán)利要求3所述的方法，其中，全局互斥元Me是由在多核心處理器的第一和第二處理核心的不同核心中展開的任務(wù)所共享的互斥元。
5.一種用于管理在多核心處理器中的任務(wù)執(zhí)行的方法，包括: 在多核心處理器的第一處理核心中執(zhí)行任務(wù)的可運(yùn)行物，包括引入用于在多核心處理器的第二處理核心中執(zhí)行的任務(wù)的另一可運(yùn)行物的靜態(tài)補(bǔ)償，從而實(shí)現(xiàn)在所述可運(yùn)行物間的靜態(tài)定義的相互排斥約束； 采用自旋鎖來實(shí)現(xiàn)可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束并采用多處理器優(yōu)先權(quán)上限協(xié)議來實(shí)現(xiàn)該可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束來同步在多核心處理器的第一和第二處理核心中執(zhí)行的多個(gè)任務(wù)。
6.如權(quán)利要求5所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議來實(shí)現(xiàn)可動(dòng)態(tài)地強(qiáng)制執(zhí)行的相互排斥約束包括采用全局優(yōu)先權(quán)上限，其允許具有所選相互排斥約束的任務(wù)被帶有更高遠(yuǎn)程優(yōu)先權(quán)上限的相互排斥約束搶先。
7.一種用于管理在多核心處理器中的任務(wù)執(zhí)行的方法，包括: 在第一處理核心中執(zhí)行任務(wù)的可運(yùn)行物，包括引入用于在第二處理核心中執(zhí)行的任務(wù)的另一可運(yùn)行物的靜態(tài)補(bǔ)償，從而實(shí)現(xiàn)在所述可運(yùn)行物間的靜態(tài)定義的相互排斥約束；以及 選擇性地采用自旋鎖、設(shè)置/等待事件、和多處理器優(yōu)先權(quán)上限協(xié)議以實(shí)現(xiàn)相互排斥約束從而同步在第一和第二處理核心中執(zhí)行的多個(gè)任務(wù)。
8.如權(quán)利要求7所述的方法，其 中，采用設(shè)置/等待事件靜態(tài)地強(qiáng)制執(zhí)行相互排斥約束。
9.如權(quán)利要求7所述的方法，其中，采用自旋鎖和多處理器優(yōu)先權(quán)上限協(xié)議動(dòng)態(tài)地強(qiáng)制執(zhí)行相互排斥約束。
10.如權(quán)利要求7所述的方法，其中，采用多處理器優(yōu)先權(quán)上限協(xié)議包括采用全局優(yōu)先權(quán)上限以通過具有帶有更高遠(yuǎn)程優(yōu)先權(quán)上限的相互排斥約束的任務(wù)搶先具有所選的相互排斥約束的任務(wù)。
【文檔編號(hào)】G06F9/46GK103577376SQ201310334003
【公開日】2014年2月12日 申請(qǐng)日期:2013年8月2日 優(yōu)先權(quán)日:2012年8月2日
【發(fā)明者】P.朱斯托, K.拉克什馬南, R.拉庫馬 申請(qǐng)人:通用汽車環(huán)球科技運(yùn)作有限責(zé)任公司, 卡內(nèi)基梅隆大學(xué)