paperbot · PL 论文追踪

全部论文 待读 收藏

P2 VDom: Fast and Unlimited Virtual Domains on Multiple Architectures

VDom:多架构上快速且无限制的虚拟内存域
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 1/10 · 该论文研究硬件内存域虚拟化与进程内内存隔离(Intel MPK/ARM Memory Domain),属于系统/安全领域,与用户关注的静态分析、Agentic 程序分析、浮点程序分析、贝叶斯程序分析及 LLM 交叉方向均无直接关联。引用 19 inbox
Ziqi Yuan, Siyu Hong, Rui Chang, Yajin Zhou, Wenbo Shen, Kui Ren
crossref: 2026-09-12

AI 速览

一句话:提出 VDom,旨在多种架构上实现快速且数量不受限的虚拟内存域,以解决硬件内存域受限与现有虚拟化高开销问题。

硬件内存域原语(如 Intel MPK 和 ARM Memory Domain)能够高效支持进程内内存隔离,但只能提供有限数量的内存域(16 个),难以满足进程地址空间中需要更多隔离域的场景。现有虚拟化内存域方案存在两难:要么需要修改现有硬件,具有侵入性;要么带来较大的性能开销。针对这些问题,论文提出 VDom,目标是在多种架构上提供快速且数量不受限的虚拟内存域,从而在避免侵入式硬件修改和较大性能开销的同时扩展进程内隔离能力。摘要未给出具体实现机制与定量评估结果;标题表明该工作面向多种体系结构。

问题
硬件内存域原语仅支持有限数量(如 16 个)的内存域,无法满足进程地址空间内更多隔离域的需求;现有虚拟化方案要么侵入式修改硬件,要么性能开销较大。
方法
论文提出 VDom,旨在多种架构上虚拟化内存域,提供快速且无数量限制的虚拟内存域;摘要未展开具体实现机制。
评估
摘要未提供具体评估设置与结果;标题表明该工作面向多种架构。
原文摘要(Abstract)

Hardware memory domain primitives, such as Intel MPK and ARM Memory Domain, have been used for efficient in-process memory isolation. However, they can only provide a limited number of memory domains (16 domains), which cannot satisfy the compelling need for more isolated domains inside the address space of a process. Existing solutions to virtualize memory domains are either intrusive (need the modification to existing hardware), or incur a large performance overhead.

链接与引用

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

BibTeX
@inproceedings{paperbot10012,
  title = {VDom: Fast and Unlimited Virtual Domains on Multiple Architectures},
  author = {Ziqi Yuan and Siyu Hong and Rui Chang and Yajin Zhou and Wenbo Shen and Kui Ren},
  booktitle = {ASPLOS},
  year = {2023},
  doi = {10.1145/3575693.3575735}
}