paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Domain specific run time optimization for software data planes

面向软件数据平面的领域特定运行时优化
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 3/10 · 论文属于程序语言/编译优化方向,涉及静态代码分析与运行时特异化,并有工业落地案例,但应用领域是软件数据平面与网络包处理,而非用户关注的 ML/Agentic 程序静态分析、LLM 与静态分析交叉、浮点程序分析或贝叶斯程序分析。引用 35 inbox
Sebastiano Miano, Alireza Sanaee, Fulvio Risso, Gábor Rétvári, Gianni Antichi
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出Morpheus,在运行时跟踪控制平面与流量动态,对软件数据平面代码做领域特定优化,吞吐最高提升2倍、99分位延迟减半。

现有软件包处理程序的设计与优化主要依赖静态编译:编译器以转发面语义为输入,输出需适应任意控制面配置或输入流量的二进制,因而无法利用运行时的控制面动作与包级流量动态。本文提出Morpheus,一个与静态编译器协同工作的系统,可对目标网络代码进行持续优化。作者引入静态代码分析、自适应代码插桩等技术,并实现了一套不限于特定数据平面框架或编程语言的领域特定优化工具箱。Morpheus被应用于多个eBPF和DPDK程序,包括Facebook生产级负载均衡器Katran。与最先进的优化框架相比,Morpheus可实现最高2倍的吞吐提升,同时将99分位延迟减半。

问题
静态编译的软件数据平面程序需要适应任意控制面配置和流量,难以在运行时利用实际控制面动作与包级流量动态进行代码特化。
方法
Morpheus与静态编译器协同,通过静态代码分析、自适应代码插桩和领域特定优化工具箱,持续优化eBPF/DPDK等网络程序,且不绑定特定框架或语言。
评估
将Morpheus应用于多个eBPF和DPDK程序(含Katran),并与最先进的优化框架对比,测得最高2倍吞吐提升,99分位延迟减半。
原文摘要(Abstract)

State-of-the-art approaches to design, develop and optimize software packet-processing programs are based on static compilation: the compiler's input is a description of the forwarding plane semantics and the output is a binary that can accommodate any control plane configuration or input traffic. In this paper, we demonstrate that tracking control plane actions and packet-level traffic dynamics at run time opens up new opportunities for code specialization. We present Morpheus, a system working alongside static compilers that continuously optimizes the targeted networking code. We introduce a number of new techniques, from static code analysis to adaptive code instrumentation, and we implement a toolbox of domain specific optimizations that are not restricted to a specific data plane framework or programming language. We apply Morpheus to several eBPF and DPDK programs including Katran, Facebook's production-grade load balancer. We compare Morpheus against state-of-the-art optimization frameworks and show that it can bring up to 2x throughput improvement, while halving the 99th percentile latency.

链接与引用

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

BibTeX
@inproceedings{MianoSRRA22,
  title = {Domain specific run time optimization for software data planes},
  author = {Sebastiano Miano and Alireza Sanaee and Fulvio Risso and Gábor Rétvári and Gianni Antichi},
  booktitle = {ASPLOS},
  year = {2022},
  doi = {10.1145/3503222.3507769}
}