利用 Parasol 自动优化参数化数据面程序
网络与互联网体系结构
2024-02-20 v1
摘要
可编程数据面允许复杂的应用，赋予运营商定制网络功能的能力。然而，部署这些应用通常需要繁琐且负担沉重的布局和设计优化，程序员必须手动编写、编译和测试实现，调整设计，并重复此过程。在本文中，我们提出了 Parasol，这是一个允许程序员定义通用参数化网络算法并自动优化其各种参数的框架。Parasol 程序的参数可以代表多种多样的实现决策，并可根据程序员定义的任意高级目标进行优化。此外，通过提供代表性的流量样本，优化可针对特定环境进行调整。我们展示了如何实现 Parasol 框架，该框架由用于编写参数化程序的草图语言（sketching language）和用于测试不同参数设置的基于模拟的优化器组成。我们通过实现一套十个数据面应用来评估 Parasol，发现 Parasol 在两小时的时间预算内产生的解决方案，其性能与手工优化的 P4 代码相当。
引用
@article{arxiv.2402.11155,
title = {Automated Optimization of Parameterized Data-Plane Programs with Parasol},
author = {Mary Hogan and Devon Loehr and John Sonchack and Shir Landau Feibish and Jennifer Rexford and David Walker},
journal= {arXiv preprint arXiv:2402.11155},
year = {2024}
}