paperbot · PL 论文追踪

全部论文 待读 收藏

P2 VESTA: Power Modeling with Language Runtime Events

VESTA:基于语言运行时事件的功耗建模
PLDI 8(PLDI)2024匹配度 1/10 · 论文研究基于语言运行时事件的应用级功耗建模,属于运行时系统与能耗分析方向,与用户关注的静态分析、LLM/Agent 改进静态分析、浮点程序分析或贝叶斯程序分析均无直接交集。虽然涉及语言运行时事件,但目标不是 PL 与 AI 的交叉,也未涉及 LLM/Agent、形式化验证或相关 benchmark。引用 4 inbox
Joseph Raskind, Timur Babakol, Khaled Mahmoud, Yu David Liu
dblp: 2026-09-10crossref: 2026-09-10

AI 速览

一句话:提出仅依赖语言运行时事件的应用级功耗建模方法,精度与可解释性优于基于硬件性能计数器的方案。

功耗建模是能耗优化、能耗分析与能耗感知应用开发的基础。传统方法基于硬件性能计数器(HPC),需要硬件层面信息且可解释性有限。本文提出 VESTA,其核心洞察是:语言运行时事件往往与应用持续处于某一功耗水平相关联。基于该洞察,VESTA 利用语言运行时事件构建功耗模型,其优势在于只需应用范围内的信息,并具备更高的可解释性,同时达到相当甚至更高的预测精度。作者在 Java 虚拟机(JVM)上的 37 个真实应用上进行了实验,结果表明 VESTA 构建的功耗模型预测能耗的平均绝对百分比误差(MAPE)为 1.56%,且运行时事件监控所带来的性能与能耗开销很小。

问题
如何在不依赖硬件性能计数器(HPC)的情况下,以应用范围内的信息高精度、可解释地建模应用的功耗消耗。
方法
基于“语言运行时事件与应用持续功耗水平相关”的洞察,采集语言运行时事件并据此构建功耗预测模型 VESTA。
评估
在 JVM 上的 37 个真实应用中进行实验,测得能耗预测的平均绝对百分比误差为 1.56%,并测量了运行时事件监控带来的性能与能耗开销。
原文摘要(Abstract)

Power modeling is an essential building block for computer systems in support of energy optimization, energy profiling, and energy-aware application development. We introduce Vesta , a novel approach to modeling the power consumption of applications with one key insight: language runtime events are often correlated with a sustained level of power consumption. When compared with the established approach of power modeling based on hardware performance counters (HPCs), Vesta has the benefit of solely requiring application-scoped information and enabling a higher level of explainability, while achieving comparable or even higher precision. Through experiments performed on 37 real-world applications on the Java Virtual Machine (JVM), we find the power model built by Vesta is capable of predicting energy consumption with a mean absolute percentage error of 1.56 % , while the monitoring of language runtime events incurs small performance and energy overhead.

链接与引用

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

BibTeX
@article{RaskindBML24,
  title = {VESTA: Power Modeling with Language Runtime Events},
  author = {Joseph Raskind and Timur Babakol and Khaled Mahmoud and Yu David Liu},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {8},
  number = {PLDI},
  year = {2024},
  doi = {10.1145/3656402}
}