paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Towards a Machine Learning-Assisted Kernel with LAKE

迈向基于 LAKE 的机器学习辅助内核
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 1/10 · 论文关注在内核空间中引入ML决策与硬件加速器支持,属于操作系统/ML系统方向;与用户画像中的静态分析、Agentic程序、浮点程序分析、贝叶斯程序分析及形式化验证等核心方向没有直接交集。引用 18 inbox
Henrique Fingler, Isha Tarte, Hangchen Yu, Ariel Szekely, Bodun Hu, Aditya Akella, Christopher J. Rossbach
crossref: 2026-09-12

AI 速览

一句话:构建 LAKE 系统,为内核空间引入 ML 决策与加速器支持,并验证可显著降低推理开销。

现代操作系统内核日益复杂、硬件快速多样化且机器学习持续演进,作者探索用 ML 改进内核决策。论文在内存管理、进程与 I/O 调度等五个依赖手工启发式的子系统中尝试 ML 驱动决策,并分析其对内核设计、共享组件和硬件加速访问的影响。研究发现,GPU 等专用硬件对承担 ML 额外负载至关重要,但内核空间加速器可访问性不足;收益依赖子系统、工作负载和硬件。为此作者构建 LAKE,提供跨抽象层与模块边界的特征收集管理 API、管理加速收益波动的机制,以及缓解用户态与内核态资源竞争的接口。评估显示,ML 支持的 I/O 延迟预测器在加速后推理时间最多降低 96%。

问题
内核子系统多依赖手工启发式,面对现代 OS 复杂性与硬件多样化,如何用 ML 改进决策并处理内核空间加速器访问与资源竞争。
方法
在五个内核子系统探索 ML 决策,识别障碍与权衡,并构建 LAKE 系统提供特征收集/管理 API、加速收益管理及用户/内核资源竞争缓解机制。
评估
通过内核子系统实验和案例(ML-backed I/O 延迟预测器)评估可行性,显示加速可使推理时间最多降低 96%。
原文摘要(Abstract)

The complexity of modern operating systems (OSes), rapid diversification of hardware, and steady evolution of machine learning (ML) motivate us to explore the potential of ML to improve decision-making in OS kernels. We conjecture that ML can better manage tradeoff spaces for subsystems such as memory management and process and I/O scheduling that currently rely on hand-tuned heuristics to provide reasonable average-case performance. We explore the replacement of heuristics with ML-driven decision-making in five kernel subsystems, consider the implications for kernel design, shared OS-level components, and access to hardware acceleration. We identify obstacles, address challenges and characterize tradeoffs for the benefits ML can provide that arise in kernel-space. We find that use of specialized hardware such as GPUs is critical to absorbing the additional computational load required by ML decisioning, but that poor accessibility of accelerators in kernel space is a barrier to adoption. We also find that the benefits of ML and acceleration for OSes is subsystem-, workload- and hardware-dependent, suggesting that using ML in kernels will require frameworks to help kernel developers navigate new tradeoff spaces. We address these challenge by building a system called LAKE for supporting ML and exposing accelerators in kernel space. LAKE includes APIs for feature collection and management across abstraction layers and module boundaries. LAKE provides mechanisms for managing the variable profitability of acceleration, and interfaces for mitigating contention for resources between user and kernel space. We show that an ML-backed I/O latency predictor can have its inference time reduced by up to 96% with acceleration.

链接与引用

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

BibTeX
@inproceedings{paperbot10039,
  title = {Towards a Machine Learning-Assisted Kernel with LAKE},
  author = {Henrique Fingler and Isha Tarte and Hangchen Yu and Ariel Szekely and Bodun Hu and Aditya Akella and Christopher J. Rossbach},
  booktitle = {ASPLOS},
  year = {2023},
  doi = {10.1145/3575693.3575697}
}