近年來,隨著半導(dǎo)體技術(shù)的發(fā)展以及應(yīng)用多樣化的需求,異構(gòu)多核處理器已被廣泛應(yīng)用于高性能嵌入式系統(tǒng)中。這類系統(tǒng)面臨的一個(gè)主要挑戰(zhàn)就是如何在運(yùn)行時(shí)對(duì)系統(tǒng)的可用資源（包括處理核等）進(jìn)行管理分配從而滿足系統(tǒng)及其所運(yùn)行應(yīng)用在性能和功耗等方面的需求。然而,雖然目前一些主流的資源管理技術(shù)在性能和/或功耗優(yōu)化等方面取得了良好表現(xiàn),但卻經(jīng)常對(duì)所設(shè)計(jì)的資源管理部件缺乏嚴(yán)格的可靠性保證,因此提出了一種基于離散控制器合成（DCS）的方法來對(duì)異構(gòu)多核系統(tǒng)的在線資源管理策略進(jìn)行自動(dòng)、可靠的設(shè)計(jì),即將形式化的、能夠自動(dòng)構(gòu)造管理控制部件的DCS應(yīng)用到異構(gòu)多核系統(tǒng)的在線資源管理部件設(shè)計(jì)中。該方法通過采用形式化模型來描述異構(gòu)系統(tǒng)的運(yùn)行行為（例如如何為應(yīng)用分配處理核）,并將在線資源管理問題轉(zhuǎn)換為一個(gè)面向某個(gè)系統(tǒng)管理目標(biāo)（例如最大化應(yīng)用性能）的DCS問題。在此基礎(chǔ)上,通過現(xiàn)有的DCS工具對(duì)提出的方法進(jìn)行了示例演示和驗(yàn)證,并對(duì)所使用DCS方法的可擴(kuò)展性進(jìn)行了評(píng)估。 

【文章頁數(shù)】：9 頁

【文章目錄】：
0 引言
1 相關(guān)工作
2 建模方法和離散控制器合成技術(shù)
    2.1 有限狀態(tài)自動(dòng)機(jī)
    2.2 離散控制器合成
3 基于DCS的異構(gòu)多核系統(tǒng)資源管理方法
    3.1 問題描述
        3.1.1 硬件執(zhí)行平臺(tái)
        3.1.2 系統(tǒng)應(yīng)用及其資源分配
        3.1.3 資源分配目標(biāo)
    3.2 離散控制器合成
        3.2.1 硬件執(zhí)行平臺(tái)
        3.2.2 應(yīng)用行為及其資源分配
        3.2.3 系統(tǒng)全局行為及控制目標(biāo)定義
    3.3 BZR代碼描述和離散控制器合成
        3.3.1 系統(tǒng)行為描述
        3.3.2 控制目標(biāo)描述
4 模擬驗(yàn)證和評(píng)估實(shí)驗(yàn)
    4.1 模擬驗(yàn)證
    4.2 可拓展性評(píng)估
5 結(jié)語



本文編號(hào)：3660117