SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management
SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management
复制标题
DOI：
10.1145/3173162.3173199
复制
发表时间：
2018-03
期刊：
影响因子：
--
通讯作者：
A. Rahmani;Bryan Donyanavard;T. Mück;Kasra Moazzemi;A. Jantsch;O. Mutlu;N. Dutt
中科院分区：
文献类型：
--
作者：
A. Rahmani;Bryan Donyanavard;T. Mück;Kasra Moazzemi;A. Jantsch;O. Mutlu;N. Dutt
众核系统的资源管理策略需要能够共享资源，例如功率、处理核心和存储器带宽，同时以可扩展和鲁棒的方式在运行时协调系统和应用级目标的优先级和重要性。最先进的方法使用机器学习或机器学习来进行资源管理，但不幸的是，在提供针对意外情况的鲁棒性方面缺乏形式主义。虽然最近的努力部署经典的控制理论的方法与一些保证和形式主义，他们缺乏可扩展性和自主性，以满足不断变化的运行时目标。我们提出了SPECTR，一种新的资源管理方法的众核系统，利用正式的监督控制理论（SCT），联合收割机的经典控制理论的优势，国家的最先进的启发式方法，以有效地满足不断变化的运行时目标。SPECTR是一种可扩展的、鲁棒的控制架构，也是一种用于众核系统分层控制的系统化设计流程。SPECTR利用SCT技术，如增益调度，允许各个控制器的自主权。它便于高级监控器的自动综合及其性能验证。我们在一个包含ARM的基于大.小的异构多处理器（HMP）的Exynos平台上实现了SPECTR，并证明了SPECTR对SCT的使用是管理多个交互资源（例如，芯片功率和处理核心）在存在竞争目标的情况下（例如，满足QoS对功率封顶）。SPECTR的原理很容易适用于任何资源类型和目标，只要管理问题可以使用动态系统理论建模（例如，差分方程）、离散事件动态系统或模糊动态。
Resource management strategies for many-core systems need to enable sharing of resources such as power, processing cores, and memory bandwidth while coordinating the priority and significance of system- and application-level objectives at runtime in a scalable and robust manner. State-of-the-art approaches use heuristics or machine learning for resource management, but unfortunately lack formalism in providing robustness against unexpected corner cases. While recent efforts deploy classical control-theoretic approaches with some guarantees and formalism, they lack scalability and autonomy to meet changing runtime goals. We present SPECTR, a new resource management approach for many-core systems that leverages formal supervisory control theory (SCT) to combine the strengths of classical control theory with state-of-the-art heuristic approaches to efficiently meet changing runtime goals. SPECTR is a scalable and robust control architecture and a systematic design flow for hierarchical control of many-core systems. SPECTR leverages SCT techniques such as gain scheduling to allow autonomy for individual controllers. It facilitates automatic synthesis of the high-level supervisory controller and its property verification. We implement SPECTR on an Exynos platform containing ARM»s big.LITTLE-based heterogeneous multi-processor (HMP) and demonstrate that SPECTR»s use of SCT is key to managing multiple interacting resources (e.g., chip power and processing cores) in the presence of competing objectives (e.g., satisfying QoS vs. power capping). The principles of SPECTR are easily applicable to any resource type and objective as long as the management problem can be modeled using dynamical systems theory (e.g., difference equations), discrete-event dynamic systems, or fuzzy dynamics.