paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Benchmarking, analysis, and optimization of serverless function snapshots

Serverless 函数快照的基准测试、分析与优化
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 1/10 · 该论文研究 serverless 函数快照、冷启动优化与运行时/内存管理,属于系统与云基础设施方向;与用户关注的 PL/AI 交叉、静态分析、Agentic 程序、浮点或贝叶斯程序分析等核心方向几乎无交集。虽然涉及基准测试与工业落地,但主题不匹配。引用 161 inbox
Dmitrii Ustiugov, Plamen Petrov, Marios Kogias, Edouard Bugnion, Boris Grot
crossref: 2026-09-12

AI 速览

一句话:对 serverless 函数快照进行基准测试与性能分析,并优化快照机制以降低冷启动延迟。

Serverless 计算因高可扩展性和按需计费被广泛采用。开发者将服务组织为函数,由点击等事件零星触发;函数调用到达间隔差异很大,促使云厂商在每次调用时启动新实例,造成显著冷启动延迟并损害体验。为降低冷启动延迟,工业界采用快照技术,将已完成启动的函数镜像存入磁盘,使调用比从零启动更快。本文对该机制进行基准测试、性能分析与优化,研究快照恢复路径的开销来源,识别影响延迟的关键因素,并提出优化以缩短函数调用延迟。摘要未给出具体实验数据,但论文系统评估并改进了 serverless 函数快照,为平台缓解冷启动问题提供依据。

问题
Serverless 函数调用到达间隔高度可变,云厂商倾向于每次调用启动新实例,导致显著冷启动延迟并影响用户体验。
方法
论文对 serverless 函数快照进行基准测试、分析与优化,研究将已启动函数的镜像存入磁盘以加速后续调用的机制。
评估
通过基准测试比较快照恢复与从零启动,分析快照恢复路径的开销来源并评估优化效果;摘要未报告具体数值结果。
原文摘要(Abstract)

Serverless computing has seen rapid adoption due to its high scalability and flexible, pay-as-you-go billing model. In serverless, developers structure their services as a collection of functions, sporadically invoked by various events like clicks. High inter-arrival time variability of function invocations motivates the providers to start new function instances upon each invocation, leading to significant cold-start delays that degrade user experience. To reduce cold-start latency, the industry has turned to snapshotting, whereby an image of a fully-booted function is stored on disk, enabling a faster invocation compared to booting a function from scratch.

链接与引用

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

BibTeX
@inproceedings{paperbot6134,
  title = {Benchmarking, analysis, and optimization of serverless function snapshots},
  author = {Dmitrii Ustiugov and Plamen Petrov and Marios Kogias and Edouard Bugnion and Boris Grot},
  booktitle = {ASPLOS},
  year = {2021},
  doi = {10.1145/3445814.3446714}
}