[论文解读] A Survey on Data Plane Programming with P4: Fundamentals, Advances, and Applied Research

Frederik Hauser, Marco Häberle+6 more|arXiv (Cornell University)|Jan 26, 2021

Software-Defined Networks and 5G被引用 6

一句话总结

本综述全面介绍了可编程数据平面的P4编程教程，涵盖其基础、进展及应用研究。通过对245篇P4相关研究论文的分析，展示了P4的核心特性如何在数据中心、5G和网络功能虚拟化中实现灵活且高性能的网络定制。

ABSTRACT

Programmable data planes allow users to define their own data plane algorithms for network devices including appropriate data plane application programming interfaces (APIs) which may be leveraged by user-defined software-defined networking (SDN) control. This offers great flexibility for network customization, be it for specialized, commercial appliances, e.g., in 5G or data center networks, or for rapid prototyping in industrial and academic research. Programming protocol-independent packet processors (P4) has emerged as the currently most widespread abstraction, programming language, and concept for data plane programming. It is developed and standardized by an open community, and it is supported by various software and hardware platforms. In the first part of this paper we give a tutorial of data plane programming models, the P4 programming language, architectures, compilers, targets, and data plane APIs. We also consider research efforts to advance P4 technology. In the second part, we categorize a large body of literature of P4-based applied research into different research domains, summarize the contributions of these papers, and extract prototypes, target platforms, and source code availability. For each research domain, we analyze how the reviewed works benefit from P4's core features. Finally, we discuss potential next steps based on our findings.

研究动机与目标

• 提供P4编程的详细教程，包括其语言、架构、编译器及数据平面API。
• 系统调查并分类截至2021年发表的245篇P4应用研究论文，覆盖多种网络领域。
• 分析P4的核心特性（如协议无关性与用户自定义数据包处理）如何推动网络定制化创新。
• 识别P4开发中的研究空白与未来方向，特别是在硬件支持、调试及控制平面集成方面。
• 评估P4在实现网络功能解耦、减少厂商锁定以及加速学术界与工业界原型开发中的作用。

提出的方法

• 对截至2020年底及部分2021年发表的期刊、会议、研讨会、标准文档及源代码仓库中的P4相关研究论文进行系统性文献综述。
• 将245篇论文归类至10个研究领域（包括数据中心、5G、网络功能与安全等），并分析其原型实现、目标平台及源代码可用性。
• 评估P4的核心特性（如协议无关性、可扩展头文件解析与extern函数）在各领域中的作用，以确定其在实现中的推动作用。
• 调查P4工具链（包括编译器、bmv2软件交换机及Tofino ASIC目标平台）以评估其部署与可移植性权衡。
• 分析P4开发的最新进展，包括测试、调试及控制平面操作的优化，以提升P4系统性能。
• 将P4与其它数据平面编程模型（如Click、VPP、NPL）进行比较，以定位其在研究与工业界中的主导地位。

实验结果

研究问题

• RQ1 P4如何随SDN及其他数据平面编程模型发展？其为何成为当今主导的抽象模型？
• RQ2 P4的核心特性（如协议无关性、用户自定义头文件与extern函数）中，哪些最显著地推动了应用研究的创新？
• RQ3 P4研究最常见的应用领域是什么？它们在目标平台选择与原型部署方面如何利用P4的能力？
• RQ4 P4原型在多大程度上依赖软件仿真器（如bmv2）而非硬件平台（如Tofino）？当前硬件支持存在哪些局限？
• RQ5 在控制平面集成、测试与硬件可移植性方面，P4技术发展的主要挑战与机遇是什么？

主要发现

• 2018至2021年间，P4在学术界与工业界的研究呈显著增长，共调研245篇P4相关研究论文，表明其在快速原型开发中获得广泛采用。
• bmv2软件交换机是使用最广泛的平台，多数P4原型基于软件实现，主要因硬件复杂性及当前硬件对extern函数支持不足。
• Tofino ASIC是高吞吐量、生产级P4部署的领先硬件平台，尤其在数据中心与广域网中应用广泛。
• extern函数（如加密、浮点运算与自定义哈希）对扩展P4能力至标准数据包处理之外至关重要，但会降低可移植性。
• P4显著推动了网络功能解耦，使组织能够避免厂商锁定，并利用现成的可编程组件构建定制化、成本效益高的设备。
• 本综述识别出对更优调试、测试与控制平面集成工具的迫切需求，以进一步加速P4从原型阶段迈向实际部署。