paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Catalyzer

Catalyzer
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 1/10 · 该论文研究 Serverless 沙箱的强隔离与启动延迟优化,属于系统/运行时与安全方向,与用户关注的静态分析、Agentic 程序、LLM 与程序分析交叉、浮点程序分析及贝叶斯程序分析均无直接关联。引用 277 inbox
Dong Du, Tianyi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang Qin, Qixuan Wu, Haibo Chen
crossref: 2026-09-12

AI 速览

一句话:针对 Serverless 沙箱强隔离与低启动延迟的矛盾,指出现有应用无关沙箱优化不足,并提出 Catalyzer。

Serverless 计算承诺为高生产率软件开发带来成本效率与弹性,但其沙箱系统必须同时应对函数实例间的强隔离和低启动延迟两个挑战。基于虚拟化的沙箱可提供强隔离,但沙箱初始化与应用初始化会带来不可忽略的启动开销。传统沙箱系统由于应用无关,只能通过定制 hypervisor 和 guest kernel 来降低沙箱初始化延迟,这种优化并不充分,且无法消除大部分启动开销。Catalyzer 针对该问题提出新的沙箱思路,核心在于突破应用无关性以降低启动延迟;摘要未报告具体机制细节与评估结果。

问题
Serverless 沙箱需在函数实例强隔离与低启动延迟之间取得平衡,而传统基于虚拟化的应用无关沙箱启动开销过高。
方法
摘要未展开 Catalyzer 的具体方法,仅指出传统沙箱因应用无关只能定制 hypervisor 和 guest kernel,优化不充分,需采用新的沙箱设计。
评估
摘要未提供评估方式、实验设置或关键结果。
原文摘要(Abstract)

Serverless computing promises cost-efficiency and elasticity for high-productive software development. To achieve this, the serverless sandbox system must address two challenges: strong isolation between function instances, and low startup latency to ensure user experience. While strong isolation can be provided by virtualization-based sandboxes, the initialization of sandbox and application causes non-negligible startup overhead. Conventional sandbox systems fall short in low-latency startup due to their application-agnostic nature: they can only reduce the latency of sandbox initialization through hypervisor and guest kernel customization, which is inadequate and does not mitigate the majority of startup overhead.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5458,
  title = {Catalyzer},
  author = {Dong Du and Tianyi Yu and Yubin Xia and Binyu Zang and Guanglu Yan and Chenggang Qin and Qixuan Wu and Haibo Chen},
  booktitle = {ASPLOS},
  year = {2020},
  doi = {10.1145/3373376.3378512}
}