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

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

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



本文編號：3660117