[發(fā)明專利]一種基于離散控制技術(shù)的處理核資源分配器的構(gòu)建方法

在審

• 申請(qǐng)?zhí)枺?/td>: 202010031296.9
• 申請(qǐng)日: 2020-01-13
• 公開(kāi)（公告）號(hào): CN111209117A
• 公開(kāi)（公告）日: 2020-05-29
• 發(fā)明（設(shè)計(jì)）人: 安鑫;夏近偉;楊靜;衛(wèi)圓祺;王沐晗
• 申請(qǐng)（專利權(quán)）人: 安徽安喆科技有限公司
• 主分類號(hào): G06F9/50
• 分類號(hào): G06F9/50
• 代理公司: 安徽省合肥新安專利代理有限責(zé)任公司 34101
• 代理人: 陸麗莉;何梅生

1.一種基于離散控制技術(shù)的處理核資源分配器的構(gòu)建方法，其特征是應(yīng)用于具有M種異構(gòu)結(jié)構(gòu)的N個(gè)片上處理核的異構(gòu)多核處理器上，并按照如下步驟進(jìn)行：

步驟A.初始時(shí)，根據(jù)所述異構(gòu)多核處理器上每種異構(gòu)結(jié)構(gòu)的片上處理核的個(gè)數(shù)和運(yùn)行于所述異構(gòu)多核處理器上的所有應(yīng)用，得到所有應(yīng)用的執(zhí)行程序和初步的處理核分配方案；

步驟B.根據(jù)初步的處理核分配方案，將所有應(yīng)用的執(zhí)行程序分別在相應(yīng)的片上處理核上執(zhí)行，從而得到在不同處理核的種類和數(shù)量分配下的各個(gè)應(yīng)用的執(zhí)行程序的性能指標(biāo)；所述性能指標(biāo)包括：平均IPC和峰值功率；

將所述初步的處理核分配方案和所述性能指標(biāo)進(jìn)行組合，得到初始的數(shù)據(jù)項(xiàng)集合；

步驟C.根據(jù)異構(gòu)多核處理器的IPC性能需求及功率限制，對(duì)所述初始的數(shù)據(jù)項(xiàng)集合進(jìn)行篩選，從而得到一定數(shù)量的有效數(shù)據(jù)項(xiàng)，并作為資源分配數(shù)據(jù)項(xiàng)集合；

步驟D.根據(jù)異構(gòu)多核處理器中片上處理核的架構(gòu)不同，使用形式化模型自動(dòng)機(jī)為所述異構(gòu)多核處理器上所有種類的片上處理核建立處理核資源模型；

步驟E.以所述資源分配數(shù)據(jù)項(xiàng)集合中的有效數(shù)據(jù)項(xiàng)作為參考依據(jù)，采用所述形式化模型自動(dòng)機(jī)為異構(gòu)多核處理器中的每個(gè)應(yīng)用建立應(yīng)用資源分配模型；

步驟F.建立處理核資源分配的總控制目標(biāo)，并將總控制目標(biāo)按照實(shí)現(xiàn)方式的不同分為邏輯控制目標(biāo)和優(yōu)化控制目標(biāo)；

步驟G使用DCS工具和語(yǔ)言對(duì)由所述處理核資源分配模型、應(yīng)用資源分配模型和總控制目標(biāo)所組成的系統(tǒng)進(jìn)行模型代碼描述，從而建立符合DCS語(yǔ)法規(guī)范的離散事件系統(tǒng)模型；

步驟H.使用DCS工具對(duì)所述離散事件系統(tǒng)模型進(jìn)行綜合編譯，自動(dòng)探索模型中的滿足所述總控制目標(biāo)的最優(yōu)解，從而構(gòu)建符合最優(yōu)解的處理核資源分配器。

2.根據(jù)權(quán)利要求1所述的構(gòu)建方法，其特征在于，步驟G中的離散事件系統(tǒng)模型是按如下過(guò)程進(jìn)行構(gòu)建：

步驟G1.使用DCS工具和語(yǔ)言對(duì)所述處理核資源分配模型和應(yīng)用資源分配模型進(jìn)行代碼描述，描述為離散事件系統(tǒng)DES中的各個(gè)節(jié)點(diǎn)node；

步驟G2.將所述總控制目標(biāo)描述為工具語(yǔ)言中的協(xié)議約束contract。