[發(fā)明專(zhuān)利]一種軟件實(shí)時(shí)事務(wù)內(nèi)存的實(shí)現(xiàn)方法

有效

• 申請(qǐng)?zhí)枺?/td>: 201210358174.6
• 申請(qǐng)日: 2012-09-24
• 公開(kāi)（公告）號(hào): CN102929711A
• 公開(kāi)（公告）日: 2013-02-13
• 發(fā)明（設(shè)計(jì)）人: 顧宗華;李紅;王鑄;張勁超;章明;吳朝暉
• 申請(qǐng)（專(zhuān)利權(quán)）人: 浙江大學(xué)
• 主分類(lèi)號(hào): G06F9/48
• 分類(lèi)號(hào): G06F9/48
• 代理公司: 杭州裕陽(yáng)專(zhuān)利事務(wù)所(普通合伙) 33221
• 代理人: 江助菊

1.一種軟件實(shí)時(shí)事務(wù)內(nèi)存的實(shí)現(xiàn)方法，其特征在于，包括如下步驟：

11）根據(jù)任務(wù)之間是否會(huì)產(chǎn)生沖突,產(chǎn)生任務(wù)之間的沖突關(guān)系圖，并且依據(jù)這個(gè)沖突關(guān)系圖將所有任務(wù)劃分為幾個(gè)隊(duì)列，每個(gè)任務(wù)屬于且只能屬于一個(gè)隊(duì)列;

12)增加了一個(gè)常量,所述常量規(guī)定了任務(wù)的最大回滾次數(shù),如果某任務(wù)回滾次數(shù)超出該常量，則將該任務(wù)加入到其所屬于的隊(duì)列中去，在該隊(duì)列的隊(duì)尾進(jìn)行排隊(duì)，并且任務(wù)會(huì)進(jìn)入到休眠狀態(tài),只有當(dāng)該任務(wù)排列到隊(duì)首的時(shí)候，該任務(wù)才會(huì)被喚醒，然后重新執(zhí)行事務(wù)內(nèi)存的代碼;

如果一旦有兩個(gè)任務(wù)發(fā)生沖突，則依據(jù)以下兩種情況處理：

13)當(dāng)其中一個(gè)任務(wù)是排列在隊(duì)首，另外一個(gè)任務(wù)沒(méi)有在隊(duì)列中,那么這時(shí)候就優(yōu)先讓不在隊(duì)列中的任務(wù)回滾，這樣確保隊(duì)首的任務(wù)能夠提交，如果該任務(wù)回滾的次數(shù)達(dá)到了所述常量規(guī)定的次數(shù)時(shí)，那么它就會(huì)進(jìn)入到它所屬的隊(duì)列中進(jìn)行排隊(duì)，并且進(jìn)入到休眠狀態(tài)，等待喚醒;

14)如果兩個(gè)任務(wù)都沒(méi)有在隊(duì)列中，那么根據(jù)哪個(gè)任務(wù)的優(yōu)先級(jí)高，讓優(yōu)先級(jí)高的任務(wù)執(zhí)行，另一個(gè)任務(wù)則回滾，并且如果有任務(wù)的回滾次數(shù)達(dá)到了所述常量規(guī)定的次數(shù)時(shí)，那么這個(gè)任務(wù)就加入到它所屬的隊(duì)列。

2.根據(jù)權(quán)利要求1所述的一種軟件實(shí)時(shí)事務(wù)內(nèi)存的實(shí)現(xiàn)方法，其特征在于，如果在一個(gè)處理器上，當(dāng)一個(gè)低優(yōu)先級(jí)任務(wù)正在執(zhí)行事務(wù)內(nèi)存代碼時(shí)，如果有高優(yōu)先級(jí)任務(wù)到來(lái)，那么該高優(yōu)先級(jí)任務(wù)需要等待低優(yōu)先級(jí)任務(wù)的事務(wù)內(nèi)存提交或者回滾之后才能搶占低優(yōu)先級(jí)任務(wù)。