时间：   |   分类：     |   阅读： 2474 字 ~5分钟

文章学习自：P4语言编程详解 由于原文有一点的年份，所以也继续阅读了相关的最新规范。 P4语言规范

基础数据类型

布尔型（bool）

运算符 描述
and 双目运算符，结果为布尔型
or 双目运算符，结果为布尔型
not 单目运算符，结果为布尔型
==，!= 相等或不等，结果为布尔型

无符号整型（bit）

又称之为位串（bit-string），对位串进行数学运算的时候，位串长度必须是8的整数倍。

运算符 描述
＝＝，！＝ 是否相等或不等，运算结果为布尔型。
<，>，<=，>= 无符号数比较，操作数的长度（W）要求相同，运算结果为布尔型。
&，｜，^ 按位运算符（分别是与，或和异或），操作数的长度（W）要求相同，运算结果为无符号整型。
～ 运算结果为操作数的补码。
«，» 左移运算符操作数为无符号整型，右移运算符操作数必须是无符号数或非负整数。此运算符为逻辑位移。
+（单目） 单目加运算，效果同no-op。（无意义）
-（单目） 单目减运算，计算结果为2W减去操作数，W为操作数长度。
+（双目） 二目加运算，操作数的长度（W）要求相同。计算结果为操作数的算术和，且运算结果长度也必须为W，超过则截断。
-（双目） 二目减运算，操作数的长度（W）要求相同。计算结果为操作数的算术差。
* 无符号乘法运算，操作数的长度（W）要求相同，计算结果为无符号数且长度与操作数相等。

有符号整数型（int（W））

大致与无符号整数相同

运算符 描述
-（单目） 单目减运算，运算结果伟有符号整型，长度和操作数相等
+（双目） 二目加运算，操作数数据类型必须相同，运算结果也为同类型。
-（双目） 二目减运算，操作数数据类型必须相同，运算结果也为同类型。
* 有符号乘法运算，操作数的长度（W）要求相同，计算结果为有符号数且长度与操作数相等。

变长位串（varbit）

该数据类型，不支持算术、比较和位运算，也不支持类型转换，该数据类型在定义时会指定一个静态的最大宽度值，解析器会提取变长位串数据并设置一个值作为长度。

无限精度整型（int）

运算符 描述
＝＝，！＝ 是否相等或不等，运算结果为布尔型。
<，>，<=，>= 有符号数比较，运算结果为布尔型。
«，» 右移运算符操作数必须为正整数；左移运算结果和操作数相同。a«b等价于ax2b，a»b等价于a/2b。
+（单目） 单目加运算，效果同no-op。（无意义）
-（单目） 单目减运算，运算结果为整型，且该运算不会导致溢出。
+（双目） 二目加运算，操作数类型都必须是整型，运算结果为整型，且该运算不会导致溢出。
-（双目） 二目减运算，操作数类型都必须是整型，计算结果为整型，且该运算不会导致溢出。
* 无符号乘法运算，操作数必须都是整形，计算结果为整形，该运算不会导致溢出。
／，％ 二目有符号除法和取模运算，操作数必须是正整数，运算结果为正整数。

数据类型转换

可以看出，上述的很多运算都是建立在相同数据类型的前提下，但是对于某些数据类型是不能相互转换的，p4也提供了合法的数据类型转换。

from to 描述
bit<1> bool 0代表false，1代表true（中括号里的1代表的是字节数，不是0和1，下同）
bool bit<1> 同上
bit int 保留所有比特位不变
int bit 同上
bit bit 当w>w1时，保留低位w1位长度的数据，小于时新增位补0
int int 当W>W1时，保留低位W1长度的数字，当W<W1时新增位补符号位.(补符号位？)
int bit 保留低位W位长度数据，溢出需要发出警告并转化为负数。
int intt 保留低位W位长度数据，溢出需要发出警告。
这些属于显式类型转换，p4中同样存在隐式类型转换，在运算中会进行强制转换，这个和大部分语言类似。也容易发生溢出错误。

基础语言组件

之前有学到过，p4程序主要由五个组建构成：header，parser，table，action，和controller

这个类似于固定属性一样的东西，有多个成员字段，Header分为两种，一种是包头（Packet Header），一种是元数据（Metadata）。

包头

ipv4例子 

header ipv4_t{
    fields{
        version:4;
        ihl:4;
        diffserv:8;
        totallen:16;
        identification:16;
        flags:3;
        fragoffset:13;
        ttl:8;
        protocol:8;
        hdrchecksum:16;
        srcaddr:32;
        dstaddr:32;
        option:*;
    }
}

里面的数字都是以bit为单位的，所以其实应该也能写成这样。

header ipv4_t{
    field{
        bit<4> version;
        bit<4> ihl;
        bit<8> diffserv;
        bit<16> totallen;
        bit<16> identification;
        bit<3> flags;
        bit<13> fragoffset;
        bit<8> ttl;
        bit<8> protocol;
        bit<16> hdrchecksum;
        bit<32> srcaddr;
        bit<32> dstaddr;
    }
}

类比写下ipv6的 img

header ipv6_t{
    field{
        bit<4> version;
        bit<8> trafficclass;//这个在ipv6中类似于ipv4的diffserv。
        bit<20> flowlabel;
        bit<20> payloadlen;
        bit<8> nxthdr;
        bit<8> hoplimit;
        bit<128> srcaddr;
        bit<128> dstaddr;
        
    }
}

元数据

元数据是用来携带数据和配置性和西，元数据的申明与包头类似，但在实例化的时候有所不同，而且包头和元数据在字段值的约束上存在一定的差别。元数据分为两种，一种是用来携带P4程序运行过程中产生的数据的用户自定义元数据（User-Defined Metadata），如首部字段的运算结果等。另一种是固有元数据（Intrinsic Metadata），用于携带交换机自身的配置信息，如数据包进入交换机时的端口号等。

struct ingress_metadata_t{

}
metadate ingress_metadata_t ingress_metadata;

有8种固有元数据，这些元数据携带了数据包相关的状态信息。

字段 描述
ingress_port 数据包的入端口，解析之前设置，只读
packet_length 数据包的字节数，当交换机在快速转发模式下，该元数据不能在动作（action）中匹配或引用。只读。
egress_spec 在入端口流水线的匹配-动作过程之后设置，指定数据包出端口，可以是物理端口、逻辑端口或者多播组。
egress_instance 用于区分复制后数据包实例的标识符。只读。
instance_type 数据包实例类型：正常（Normal）、入端口复制（ingress clone）、出端口复制（egress clone）、再循环（recirculated）。
parser_sratus 解析器解析结果，0表示无错误，其实数字代表了对应的错误类型。
parser_error_location 指向P4程序错误发生处。

注意点：

  • 包头类型的长度需要字节对齐，即长度必须是8bit的整数倍。
  • 包头中字段长度可以是可变值，也可以是首部中其他字段值计算后的值。而元数据中的字段长度只能是定值。
  • 只有包头能够实例化成数组，元数据则不行。
  • 实例化时，首部中已定义名称的字段的值会被初始化成程序中的指定值，如果首部中只定义字段名称而未指定值，字段的值将会被初始化成0。

以上内容转载自本链接

0%