paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Copper and Wire: Bridging Expressiveness and Performance for Service Mesh Policies

Copper 与 Wire:为服务网格策略桥接表达力与性能
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10 · 论文关注服务网格策略语言、控制平面与性能优化,属于分布式系统和领域特定语言方向,虽含形式化语义与工程实现,但与用户画像的核心方向(PL与AI/Agent交叉、浮点程序分析、贝叶斯程序分析)基本无关。引用 7 inbox
Divyanshu Saxena, William Zhang, Shankara Pailoor, Isil Dillig, Aditya Akella
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出新服务网格架构、策略语言与控制平面,在提升策略表达力的同时降低延迟和资源开销。

当前服务网格框架难以使用:开发者实现简单通信策略也负担沉重,难以兼容多样数据平面,并带来性能与资源开销。论文定位这些缺陷的根因,从头设计新网格架构,提出面向网格通信的新抽象、以这些抽象为核心的新策略语言,以及能用最少数据平面资源执行策略的新控制平面;作者给出语言抽象的精确语义,并说明控制平面如何正确且最优地执行策略。原型在真实工作负载、策略和生产 trace 上评估,复杂策略代码行数最多减少 6.75 倍,尾部延迟最多降低 2.6 倍,CPU 资源最多减少 39%。

问题
现有服务网格框架难以使用,策略表达力不足且兼容性和性能/资源开销差。
方法
提出新网格架构、通信抽象、策略语言及最小化数据平面资源的控制平面,并定义语言抽象语义。
评估
在真实工作负载、策略与开源生产 trace 上评估原型,相比现有方案减少代码行数、尾延迟与 CPU 资源。
原文摘要(Abstract)

Distributed microservice applications require a convenient means of controlling L7 communication between services. Service meshes have emerged as a popular approach to achieving this. However, current service mesh frameworks are difficult to use -- they burden developers in realizing even simple communication policies, lack compatibility with diverse dataplanes, and introduce performance and resource overheads. We identify the root causes of these drawbacks and propose a ground-up new mesh architecture that overcomes them. We develop novel abstractions for mesh communication, a new mesh policy language centered on these abstractions to enable expressive policies, and a novel control plane that enables using minimal dataplane resources for policy enforcement. We develop the precise semantics of our language abstractions and demonstrate how our control plane can use them to execute policies correctly and optimally. We build and evaluate a prototype on realistic workloads and policies and open-source production traces. Our results show that complex policies can be specified in up to 6.75× fewer lines, enforced with up to 2.6× smaller tail latencies and up to 39% fewer CPU resources than today.

链接与引用

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

BibTeX
@inproceedings{SaxenaZPDA25,
  title = {Copper and Wire: Bridging Expressiveness and Performance for Service Mesh Policies},
  author = {Divyanshu Saxena and William Zhang and Shankara Pailoor and Isil Dillig and Aditya Akella},
  booktitle = {ASPLOS},
  year = {2025},
  doi = {10.1145/3669940.3707257}
}