计算机应用

作者：安鑫, 夏近伟, 杨海娇, 欧阳一鸣, 任福继

单位：1.合肥工业大学 计算机与信息学院，合肥 230601；2.情感计算与先进智能机器安徽省重点实验室(合肥工业大学)， 合肥 230601

关键词：异构多核处理器,资源管理,形式化方法,离散控制器合成,模型检测

基金：国家自然科学基金青年基金资助项目(61502140)；国家自然科学基金联合基金资助项目（U1613217）；中央高校基本科研业务费专项资金资助项目(JZ2020YYPY0092)。

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

来源：2020年第6期

《计算机应用》期刊编辑部

查看计算机应用杂志2020年第6期