P4学习(四)实验一:Basic Forwarding

发布时间：2024年01月18日

目录

一.前置知识

  1. Linux基础命令(vim)
  2. V!Model的架构图
  3. P4代码基本结构
  4. P4基本语法
  5. Mininet

二.实验过程记录

1.找到实验文件

在这里插入图片描述

2.拓扑图

在这里插入图片描述

3.明确实验内容

The objective of this exercise is to write a P4 program that implements basic forwarding. To keep things simple, we will just implement forwarding for IPv4.

4.实验初体验

basic.p4初始设置了丢弃所有的数据包，所以一开始会ping不到

  1. 跑起服务
make run

插一个知识点:
"make"是linux的一个工具，通过读取文件makefile来执行操作
所以这里的命令就是：会查找 Makefile 中名为 run 的目标，并执行与之相关的命令。

在这里插入图片描述

  1. 观察数据包传输情况
    在这里插入图片描述
    会发现全部ping不通，也就代表basic.p4中的丢弃所有的包是成功的

  2. 停止服务

make stop
make clean

三. 编写解决方案

1.Parse部分

在这里插入图片描述

Parse采用状态机风格
有三个预定义的状态：start, accept, reject

1.1 Code

在这里插入图片描述

1.2 知识点解析

state xxx{} 定义state "xxxx"
transition xxx; 跳转到state "xxx"

select(){} 和 switch操作一样，不过不需要break；
select(data){
	valA: stateA;
	valB: stateB;
	......
	default: stateDefault;
}

所以本段code的思路是
①先从start这个state开始，直接跳到解析etherHead的部分
②从数据包里提取出Ethernet header
③判断包头中的Type是否为Ipv4
④若是，则跳转到pares_IPv4

2.Ingress部分

Match-Action 的流水线集合

2.1 Code

在这里插入图片描述
在这里插入图片描述在这里插入图片描述

2.2 知识点解析

  1. 定义一个处理IPv4包转发的action，用于更新head的信息
  2. 在表中按照destAddr的lpm进行匹配action
  3. valid是header里的一个隐藏field，isValid可以判断ipv4头是否有效

3.Deparse部分

3.1 Code

在这里插入图片描述

3.2 知识点

①emit 用于将头部字段添加到正在构建的数据包中。
②写与Parse的extract的反逻辑就行

四.实验完成测试

在这里插入图片描述

文章来源:https://blog.csdn.net/qq_51976556/article/details/135669465
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
最新文章