paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Litmus: Fair Pricing for Serverless Computing

Litmus:面向Serverless计算的公平定价
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 42024匹配度 0/10 · 该论文关注 Serverless 计算定价与系统拥塞补偿,属于云系统/资源管理方向,与用户画像中的静态分析、LLM/Agent、浮点程序分析和贝叶斯程序分析均无直接交集。尽管标签涉及运行时与内存管理,但研究问题与方法不匹配。引用 5 inbox
Qi Pei, Yipeng Wang, Seunghee Shin
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出基于机器状态与Litmus测试的Serverless定价模型,在系统拥塞时为租户提供接近理想的折扣补偿。

论文关注Serverless平台中共置运行大量短生命周期函数造成的系统拥塞与计费不公:平台按执行时间收费,拥塞引发的减速反而让租户支付更多费用。作者主张云提供商应补偿租户在系统过度供给时的损失,但缺少函数预剖析信息时估计损失困难且开销大。为此,论文提出Litmus定价模型,不依赖预剖析,而是根据机器状态推断租户损失并给予折扣;它频繁运行轻量级Litmus测试以准确监测系统拥塞。实验表明,Litmus定价能准确衡量拥塞影响,在重度拥塞系统中给出近乎理想的价格,平均价格差异仅0.2%。

问题
Serverless平台共置大量短生命周期函数,系统拥塞导致函数减速;由于按执行时间计费,租户在减速时反而支付更高成本。
方法
提出Litmus定价模型,无需函数预剖析,根据机器状态推断租户损失并给予折扣;通过频繁运行轻量级Litmus测试来准确监测系统拥塞。
评估
在重度拥塞系统中评估,Litmus定价能准确衡量拥塞影响,给出接近理想的价格,平均价格差异仅0.2%。
原文摘要(Abstract)

Serverless computing has emerged as a market-dominant paradigm in modern cloud computing, benefiting both cloud providers and tenants. While service providers can optimize their machine utilization, tenants only need to pay for the resources they use. To maximize resource utilization, these serverless systems co-run numerous short-lived functions, bearing frequent system condition shifts. When the system gets overcrowded, a tenant's function may suffer from disturbing slowdowns. Ironically, tenants also incur higher costs during these slowdowns, as commercial serverless platforms determine costs proportional to their execution times. This paper argues that cloud providers should compensate tenants for losses incurred when the server is over-provisioned. However, estimating tenants' losses is challenging without pre-profiled information about their functions. Prior studies have indicated that assessing tenant losses leads to heavy overheads. As a solution, this paper introduces a new pricing model that offers discounts based on the machine's state while presuming the tenant's loss under that state. To monitor the machine state accurately, Litmus pricing frequently conducts Litmus tests, an effective and lightweight solution for measuring system congestion. Our experiments show that Litmus pricing can accurately gauge the impact of system congestion and offer nearly ideal prices, with only a 0.2% price difference on average, in a heavily congested system.

链接与引用

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

BibTeX
@inproceedings{Pei0S24,
  title = {Litmus: Fair Pricing for Serverless Computing},
  author = {Qi Pei and Yipeng Wang and Seunghee Shin},
  booktitle = {ASPLOS},
  year = {2024},
  doi = {10.1145/3622781.3674181}
}