kathara/p4

P4可编程交换机镜像（含bmv2）

镜像概述

该Docker镜像基于基础镜像扩展，集成了bmv2（Behavioral Model v2）工具链，专门用于编译和运行符合P4语言标准的可编程交换机。bmv2是P4可编程数据平面的参考实现，提供了灵活的交换机行为模拟能力，适用于网络开发与实验场景。

核心功能与特性

• bmv2工具链集成：包含完整的bmv2工具集，支持P4程序的编译、加载与执行
• P4标准兼容：遵循P4语言规范，支持P4_14/P4_16等主流版本
• 交换机模拟能力：提供可编程交换机的数据平面行为模拟，支持自定义转发逻辑
• 轻量级环境：在基础镜像上最小化扩展，保持容器体积精简

使用场景

• P4语言程序的开发、调试与验证
• 软件定义网络（SDN）中可编程数据平面的实验
• 网络协议创新与自定义转发逻辑的原型验证
• 网络教学与培训中的可编程交换机实践环境

使用方法与配置说明

基本运行方式

通过以下命令启动容器并查看bmv2工具帮助：

bash
docker run -it --rm [镜像名称] bmv2-simple-switch --help

编译与运行P4程序

1. 挂载P4源代码目录
   将本地P4源代码目录挂载到容器内，便于编译：

   bash
   docker run -it --rm -v /本地/p4代码目录:/p4src [镜像名称]
   

2. 编译P4程序
   使用p4c编译器将P4代码编译为bmv2可执行的JSON配置：

   bash
   p4c --target bmv2 --arch v1model /p4src/your_program.p4 -o /p4src/
   

   说明：--arch v1model指定目标架构为P4.org定义的v1模型

3. 启动可编程交换机
   运行编译生成的JSON配置文件，启动bmv2交换机实例：

   bash
   simple_switch --thrift-port 9090 /p4src/your_program.json
   

   参数说明：--thrift-port指定Thrift控制端口，用于后续通过控制器配置交换机

高级配置（docker-compose示例）

创建docker-compose.yml文件实现持久化开发环境：

yaml
version: '3'
services:
  p4-switch:
    image: docker.xuanyuan.run/[镜像名称]
    volumes:
      - ./p4src:/p4src
      - ./logs:/var/log/bmv2
    ports:
      - "9090:9090"  # Thrift控制端口
      - "50001:50001" # 可选：交换机数据端口
    command: simple_switch --thrift-port 9090 /p4src/main.json

启动命令：docker-compose up -d

注意事项

• 确保本地P4源代码目录具有读写权限，避免容器内编译失败
• 不同P4程序可能需要特定的bmv2版本，建议根据需求选择匹配的镜像标签
• 如需与控制器（如ONOS、RYU）通信，需确保容器网络与控制器网络互通