基于离散控制器合成的异构多核系统资源管理方法

• 作者: 任福继 夏近伟 安鑫 杨海娇 欧阳一鸣
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 异构多核处理器 资源管理 形式化方法 离散控制器合成 模型检测
• 年，卷（期）: 2020,（6）
• 所属期刊栏目: 先进计算
• 页码范围: 1698-1706
• 页数: 9页
• 分类号: TP302.1
• 字数: 11408字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2019101865

摘要

近年来,随着半导体技术的发展以及应用多样化的需求,异构多核处理器已被广泛应用于高性能嵌入式系统中.这类系统面临的一个主要挑战就是如何在运行时对系统的可用资源(包括处理核等)进行管理分配从而满足系统及其所运行应用在性能和功耗等方面的需求.然而,虽然目前一些主流的资源管理技术在性能和/或功耗优化等方面取得了良好表现,但却经常对所设计的资源管理部件缺乏严格的可靠性保证,因此提出了一种基于离散控制器合成(DCS)的方法来对异构多核系统的在线资源管理策略进行自动、可靠的设计,即将形式化的、能够自动构造管理控制部件的DCS应用到异构多核系统的在线资源管理部件设计中.该方法通过采用形式化模型来描述异构系统的运行行为(例如如何为应用分配处理核),并将在线资源管理问题转换为一个面向某个系统管理目标(例如最大化应用性能)的DCS问题.在此基础上,通过现有的DCS工具对提出的方法进行了示例演示和验证,并对所使用DCS方法的可扩展性进行了评估.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	欧阳一鸣	合肥工业大学计算机与信息学院	109	924	18.0	24.0
2	任福继	合肥工业大学计算机与信息学院	25	106	7.0	9.0