p4lang/p4c

p4c

镜像概述和主要用途

p4c是P4编程语言的参考编译器，支持P4-14和P4-16两个版本。P4是一种用于定义数据平面行为的编程语言，更多信息可参考P4官方网站及语言规范。p4c的前端、中端代码及p4c-graphs后端已被用作至少一种商业支持的P4编译器基础，体现了其代码质量和完整性。

p4c采用模块化设计，提供标准的前端和中端，可与特定目标后端结合形成完整编译器，旨在简化新后端的添加过程。

核心功能和特性

支持的P4版本

• 完全支持P4-16规范
• 兼容P4-14规范，可进行版本转换

模块化架构

• 标准前端：负责语法解析和语义分析
• 标准中端：提供中间表示(IR)和优化
• 可扩展后端：支持多种目标环境，易于添加新后端

内置后端

• p4c-bm2-ss：目标为基于BMv2行为模型的simple_switch（https://github.com/p4lang/behavioral-model%EF%BC%89
• p4c-dpdk：目标为DPDK软件交换机(SXS)流水线（DPDK文档）
• p4c-ebpf：生成可编译为eBPF的C代码，用于Linux内核 packet过滤（eBPF介绍）
• p4test：源到源P4转换器，用于测试、学习编译器内部原理和调试
• p4c-graphs：生成P4程序的可视化表示，目前支持生成顶级控制流图
• p4c-ubfp：生成用户空间eBPF代码

使用场景和适用范围

• P4程序编译：将P4-14/P4-16代码编译为目标交换机/设备可执行格式
• 控制平面API生成：生成P4Info文件，描述P4程序中的表和对象，用于控制平面交互
• P4版本转换：将P4-14代码自动转换为P4-16代码
• 代码验证：检查P4代码语法正确性，独立于特定后端限制
• 程序可视化：生成P4程序解析器和控制流的GraphViz图表
• 网络数据平面开发：用于开发基于P4的自定义数据平面处理逻辑

使用方法和配置说明

基本编译命令

编译P4-16/P4-14程序到BMv2目标

成功编译后将生成：

• .p4i文件：预处理输出
• .json文件：BMv2行为模型simple_switch所需的JSON格式文件

bash
# 编译P4-16程序
p4c --target bmv2 --arch v1model my-p4-16-prog.p4

# 编译P4-14程序（需指定--std p4-14）
p4c --target bmv2 --arch v1model --std p4-14 my-p4-14-prog.p4

生成P4Info文件

添加--p4runtime-files选项可生成P4Info文本文件，描述控制平面API：

bash
# 为P4-16程序生成P4Info
p4c --target bmv2 --arch v1model --p4runtime-files my-p4-16-prog.p4info.txt my-p4-16-prog.p4

# 为P4-14程序生成P4Info
p4c --target bmv2 --arch v1model --p4runtime-files my-p4-14-prog.p4info.txt --std p4-14 my-p4-14-prog.p4

查看帮助信息

bash
# 查看所有命令行选项
p4c --help

# 查看支持的"target, arch"组合
p4c --target-help

P4版本转换

将P4-14代码自动转换为P4-16代码：

bash
p4test --std p4-14 my-p4-14-prog.p4 --pp auto-translated-p4-16-prog.p4

语法检查

检查P4代码语法正确性，无输出（仅错误/警告信息）：

bash
# 检查P4-16代码
p4test my-p4-16-prog.p4

# 检查P4-14代码
p4test --std p4-14 my-p4-14-prog.p4

生成可视化图表

生成P4程序解析器和控制流的GraphViz .dot文件：

bash
# 为P4-16程序生成图表
p4c-graphs my-p4-16-prog.p4

# 为P4-14程序生成图表
p4c-graphs --std p4-14 my-p4-14-prog.p4

将.dot文件转换为PDF（需安装GraphViz）：

bash
dot -Tpdf ParserImpl.dot > ParserImpl.pdf

Docker部署

构建镜像

通过Dockerfile生成包含p4c的镜像：

bash
docker build -t p4c .

注意事项

• 内存限制：部分平台（如macOS）Docker默认内存限制为2GB，不足以构建p4c，需通过Docker偏好设置增加到至少4GB，否则可能导致gcc"内部编译器错误"。

构建配置选项

从源码构建时，可通过cmake命令的可选参数自定义构建：

Bazel构建

项目也可通过Bazel构建：

bash
bazel build //...

提供p4_library规则用于第三方Bazel项目中调用p4c，示例见bazel/example。

已知问题

前端限制

• P4_14特性在P4_16中的支持问题：extern/blackbox属性在IR中支持，但输出P4_16代码时会丢失；部分P4_14非标准扩展原语（如Execute_meter额外参数、Recirculate/clone/resubmit变体等）不支持；不支持P4_14解析器异常。

后端限制

• BMv2后端不支持多次调用apply的表。

更多问题可在https://github.com/p4lang/p4c/issues%E6%9F%A5%E7%9C%8B%E6%88%96%E6%8F%90%E4%BA%A4%E3%80%82