[發(fā)明專利]一種基于事件流分析的多任務(wù)時序沖突檢測方法

在審

• 申請?zhí)枺?/td>: 202011514108.4
• 申請日: 2020-12-18
• 公開（公告）號: CN112527671A
• 公開（公告）日: 2021-03-19
• 發(fā)明（設(shè)計）人: 胡逸琳;歐陽昭;于清華;魏冬冬;代曉倩
• 申請（專利權(quán)）人: 上海航天計算機(jī)技術(shù)研究所
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 上海漢聲知識產(chǎn)權(quán)代理有限公司 31236
• 代理人: 胡晶

1.一種基于事件流分析的多任務(wù)時序沖突檢測方法，其特征在于，包括以下步驟：

S1：根據(jù)軟件序列和系統(tǒng)環(huán)境，構(gòu)建事件流，并確定所述事件流中各項事件的事件名稱、事件觸發(fā)周期時間及其處理完成時間，以構(gòu)成各項事件處理完成時間的事件時間片集合；

S2：根據(jù)軟件序列中的各軟件架構(gòu)，確定各軟件架構(gòu)中所有任務(wù)及其運(yùn)行時間，以構(gòu)成任務(wù)運(yùn)行時間集合；

S3：根據(jù)各軟件架構(gòu)確定各項事件調(diào)用所述軟件架構(gòu)中任一任務(wù)的關(guān)系，以形成事件-任務(wù)關(guān)系集合；

S4：根據(jù)各項事件的調(diào)用任務(wù)關(guān)系中，對事件-任務(wù)關(guān)系集合中所述事件時間片集合重合的時間段所調(diào)用的任務(wù)，按照先后順序進(jìn)行排序，以形成任務(wù)時間片序列集合；

S5：計算所述任務(wù)時間片序列集合中各項事件處理占用的任務(wù)時間，根據(jù)各項事件處理的最大時間，判斷是否出現(xiàn)超時現(xiàn)象；根據(jù)單次任務(wù)的最大處理時間，判斷是否存在沖突，并輸出出現(xiàn)沖突的事件和任務(wù)；

其中，在所述步驟S1中，所述事件時間片集合的數(shù)據(jù)結(jié)構(gòu)模型為：；

其中，表示事件應(yīng)處理完成時間，表示是否為周期事件；當(dāng)為偶發(fā)事件時，c_i值為0，表示第k個事件，表示事件的優(yōu)先級；

在所述步驟S2中，所述任務(wù)運(yùn)行時間集合的數(shù)據(jù)結(jié)構(gòu)模型為；

其中：表示任務(wù)處理完成時間，表示第k個任務(wù)，表示任務(wù)的優(yōu)先級；

在所述步驟S3中，所述事件-任務(wù)關(guān)系集合的數(shù)據(jù)結(jié)構(gòu)模型為；

其中：表示第k個事件，表示事件對應(yīng)的任務(wù)集合模型，k取值為a、b、c；

在所述步驟S4中，所述任務(wù)時間片序列集合的數(shù)據(jù)結(jié)構(gòu)模型為：；

其中，表示當(dāng)前事件對應(yīng)集合的事件模型。

2.如權(quán)利要求1所述的基于事件流分析的多任務(wù)時序沖突檢測方法，其特征在于，在所述步驟S4中，所述任務(wù)時間片序列集合中的所述事件時間片集合對應(yīng)序列中為單個事件時，記錄該事件對應(yīng)的事件序號、事件優(yōu)先級和事件時間。

3.如權(quán)利要求1所述的基于事件流分析的多任務(wù)時序沖突檢測方法，其特征在于，在所述步驟S4中，當(dāng)所述任務(wù)時間片序列集合中的某個事件包含中的多個任務(wù)時，分別記錄該些任務(wù)在中的任務(wù)運(yùn)行時間和優(yōu)先級。

4.如權(quán)利要求1所述的基于事件流分析的多任務(wù)時序沖突檢測方法，其特征在于，在所述步驟S4中，所述按照先后順序進(jìn)行排序的方法包括：

S41：按照事件優(yōu)先級從高到低依次排序；

S42：同一優(yōu)先級的事件以事件周期進(jìn)行排序；其中，偶發(fā)事件排序在前，周期較短的排序在前；

S43：同一優(yōu)先級且事件周期一致，按序號先后順序依次排序。

5.如權(quán)利要求1所述的基于事件流分析的多任務(wù)時序沖突檢測方法，其特征在于，在所述步驟S5中，包括計算所述任務(wù)時間片序列集合中每個事件占據(jù)的時間段：

所述任務(wù)時間片序列集合中的每個事件的執(zhí)行時間為：獲取所述任務(wù)時間片序列集合中的某個時間點(diǎn)任務(wù)運(yùn)行時間集合中的一個或多個任務(wù)，對所述任務(wù)運(yùn)行時間集合中的一個或多個任務(wù)的執(zhí)行時間進(jìn)行累加。

6.如權(quán)利要求5所述的基于事件流分析的多任務(wù)時序沖突檢測方法，其特征在于，在所述步驟S5中，還包括：計算所述任務(wù)時間片序列集合中每個任務(wù)占據(jù)的時間段：

當(dāng)任務(wù)運(yùn)行時間集合中的某個任務(wù)在事件時間片集合中的單個事件被執(zhí)行時，任務(wù)時間片序列集合中的該任務(wù)的起始時間應(yīng)為單個事件起始時間累加所述事件中該任務(wù)執(zhí)行前所有任務(wù)時間的累加之和；該任務(wù)的結(jié)束時間為單個事件起始時間累加所述事件中，該任務(wù)執(zhí)行前所有任務(wù)時間的累加之和；

當(dāng)任務(wù)運(yùn)行時間集合中的某個任務(wù)在事件時間片集合中的多個事件被執(zhí)行時，分別計算單個事件中任務(wù)的時間段，并疊加事件的周期時間作為起始時間，形成該任務(wù)在該事件中執(zhí)行的時間段，后將多個事件中的該任務(wù)的時間段進(jìn)行疊加。