[论文解读] Programming Protocol-Independent Packet Processors

Pat Bosshart, Dan Daly+8 more|arXiv (Cornell University)|Dec 5, 2013

Software-Defined Networks and 5G参考文献 10被引用 26

一句话总结

本文提出P4，一种用于软件定义网络中编程数据包处理器的高级、协议无关的编程语言。它支持在不同硬件目标上运行时重新配置数据包解析和处理逻辑，通过将P4程序映射到特定交换机架构的编译器，抽象出底层实现细节，从而实现灵活、可扩展且与厂商无关的网络控制。

ABSTRACT

P4 is a high-level language for programming protocol-independent packet processors. P4 works in conjunction with SDN control protocols like OpenFlow. In its current form, OpenFlow explicitly specifies protocol headers on which it operates. This set has grown from 12 to 41 fields in a few years, increasing the complexity of the specification while still not providing the flexibility to add new headers. In this paper we propose P4 as a strawman proposal for how OpenFlow should evolve in the future. We have three goals: (1) Reconfigurability in the field: Programmers should be able to change the way switches process packets once they are deployed. (2) Protocol independence: Switches should not be tied to any specific network protocols. (3) Target independence: Programmers should be able to describe packet-processing functionality independently of the specifics of the underlying hardware. As an example, we describe how to use P4 to configure a switch to add a new hierarchical label.

研究动机与目标

• 解决OpenFlow 1.x的局限性，后者硬编码了报头字段，且在新协议出现时缺乏可扩展性。
• 支持已部署交换机中数据包处理的运行时重新配置，实现动态协议更新。
• 通过引入高级语言实现的目标无关编程，将数据包处理逻辑与底层硬件解耦。
• 提供基于编译器的编译栈，将P4程序映射到多种交换机目标，包括ASIC、软件交换机和NPU。
• 作为OpenFlow 2.0的草案提案，实现未来由控制器定义转发行为，而非受制于固定交换机设计。

提出的方法

• 设计一种高级领域特定语言（P4），以协议无关的方式描述数据包报头、解析器、匹配-动作表和控制流。
• 定义两阶段编译过程：首先，将P4控制程序转换为表依赖图；其次，将该图映射到目标特定的交换机资源。
• 使用有限状态机表示法进行数据包解析，其中状态表根据字段值（例如VLAN ID、EtherType）指定状态转换。
• 支持多种执行模型：根据交换机能力，支持顺序、并行或流水线表。
• 支持目标特定优化，如使用TCAM实现三态匹配、使用RAM实现精确匹配，以及通过元数据传播实现延迟动作处理。
• 允许规则组合，并在需要时将多个P4表映射到更少的物理表，尤其适用于资源受限的交换机。

实验结果

研究问题

• RQ1 如何设计一种网络编程语言，实现在不进行硬件重新设计或协议特定扩展的前提下，对数据包处理进行运行时重新配置？
• RQ2 哪些设计原则能够使单一高级语言独立于底层交换机架构表达数据包处理逻辑？
• RQ3 如何使编译器能够有效将高级P4程序映射到多种目标交换机（包括软件交换机、ASIC和NPU），同时保持正确性和性能？
• RQ4 哪些机制能够实现数据包处理中的协议无关性，从而在不修改控制平面或交换机固件的情况下支持新协议或自定义报头格式？
• RQ5 如何通过语言和编译技术实现控制器逻辑与交换机实现之间的关注点分离？

主要发现

• P4实现了现场全可重新配置性，允许网络管理员在不更换硬件的情况下更新数据包解析和处理逻辑。
• 该语言通过抽象目标特定细节，成功将数据包处理逻辑与硬件解耦，实现了在多种交换机平台间的可移植性。
• 编译器能够将单个P4程序映射到多种目标架构，包括软件交换机、基于TCAM/RAM的硬件交换机以及可重构流水线。
• 两阶段编译流程——先生成表依赖图，再进行目标特定映射——实现了对性能和资源使用的优化。
• 该方法通过规则组合，高效地将多个P4表映射到更少的物理表，尤其在资源受限的交换机中具有显著优势。
• 该模型在使用现代ASIC的情况下，实现了在太比特速率下的协议无关数据包处理，验证了该方法的实用性。