paperbot · PL 论文追踪

全部论文 待读 收藏

P2 CALOREE

CALOREE:学习控制参数的资源管理器
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 1/10 · 该论文研究运行时资源管理与能耗/延迟优化,结合机器学习与控制理论,但未涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等用户核心方向。其机器学习仅用于系统资源控制,与用户关注的 PL 与 AI 交叉领域基本无关。引用 80 inbox
Nikita Mishra, Connor Imes, John D. Lafferty, Henry Hoffmann
crossref: 2026-09-12

AI 速览

一句话:提出 CALOREE,结合机器学习与控制理论,在复杂动态环境中以最小能耗满足延迟要求。

许多现代计算系统需要在最小能耗下提供可靠延迟。资源分配面临两大挑战:现代硬件资源多样且交互复杂,以及运行环境或输入变化导致延迟动态波动。已有机器学习能建模复杂资源交互下的延迟,却难以应对动态性;控制理论能适应动态变化,却难以处理复杂资源交互。CALOREE 将资源分配分解为学习交互资源如何影响加速比,以及控制加速比以最小能耗满足延迟要求;它用学习框架定制通用控制系统参数,同时保持控制论的形式化保证。作者在异构 ARM big.LITTLE 架构上评估单应用与多应用场景,相比最佳先前学习与控制方案,截止期错失减少 60%,能耗降低 13%。

问题
在复杂硬件资源交互和动态运行环境下,如何以最小能耗满足延迟要求,并避免截止期错失。
方法
提出 CALOREE,将资源分配分解为学习资源交互对加速比影响和控制加速比两部分,用学习框架定制控制参数并保留控制论保证。
评估
在异构 ARM big.LITTLE 上单应用与多应用场景评估,与最佳先前学习及控制方案对比,截止期错失减少 60%,能耗降低 13%。
原文摘要(Abstract)

Many modern computing systems must provide reliable latency with minimal energy. Two central challenges arise when allocating system resources to meet these conflicting goals: (1) complexity modern hardware exposes diverse resources with complicated interactions and (2) dynamics latency must be maintained despite unpredictable changes in operating environment or input. Machine learning accurately models the latency of complex, interacting resources, but does not address system dynamics; control theory adjusts to dynamic changes, but struggles with complex resource interaction. We therefore propose CALOREE, a resource manager that learns key control parameters to meet latency requirements with minimal energy in complex, dynamic en- vironments. CALOREE breaks resource allocation into two sub-tasks: learning how interacting resources affect speedup, and controlling speedup to meet latency requirements with minimal energy. CALOREE deines a general control system whose parameters are customized by a learning framework while maintaining control-theoretic formal guarantees that the latency goal will be met. We test CALOREE's ability to deliver reliable latency on heterogeneous ARM big.LITTLE architectures in both single and multi-application scenarios. Compared to the best prior learning and control solutions, CALOREE reduces deadline misses by 60% and energy consumption by 13%.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot4246,
  title = {CALOREE},
  author = {Nikita Mishra and Connor Imes and John D. Lafferty and Henry Hoffmann},
  booktitle = {ASPLOS},
  year = {2018},
  doi = {10.1145/3173162.3173184}
}