Data plane 中有三个重要的部分:
- Parser
- Tables (Match + Action)
- Control program
本篇主要介绍Match-Action tables,它是P4程序员用于规定包处理的主要部分。
Action
Action是一个包含按顺序执行命令块的过程。例如,以下声明将数据包的出端口设置为参数提供的值。
actions包含code和data。code在P4程序中,而data在table entries中提供,通常在控制平面填充。虽然table entries通常由控制平面提供,但也可以在编译时使用一组条目初始化table。其他参数受数据平面的约束。
actions包含的data 可以由控制平面写入和通过数据平面读取。actions是控制平面可以动态影响数据平面行为的主要构造。
Table
如下图示,Match-Action 数据流程
- 规定key结构
- loopback table中的key查找(“匹配”步骤)。key查找的结果是一个“action”。
- 对输入数据执行action(“操作步骤”),导致数据改变。
如下代码,table中规定应该匹配的key、如何匹配这些key,以及可应用于匹配数据包的action,进而实现基于IPv4目标地址转发:
在这里,key声明使用最长前缀匹配(lpm)在表中匹配IPv4目标地址。actions声明用于处理匹配规则的数据包的操作集。可选的default指定用于不匹配任何规则的数据包的操作。
请注意,规则本身由控制平面填充,这在P4中没有定义。
许多P4 target提供了其他形式的数据包处理功能——既有哈希函数之类的内置原语,也有registers之类的有状态对象。例如,计数器等。