P4语法（2） Parser

这里参考学习了：

P4语言规范

P4台湾社群

---

Parser

关于parser

在P4程序中，有着大量的首部（header）和首部实例，但每次只有部分首部实例会对数据包进行操作，而parser会用于生成描述数据包进行哪些匹配动作操作的中间表示（Intermediate Representation），这些解析后表示规定了对数据包生效的实例，可以认为是一组对数据包生效的实例的集合。

p416中的parser

不同于p414，不需要定义多个parser，并在多个parser间切换，只需要定义一个parser，并在parser中写不同的状态（state），通过accept（接受）和reject（拒绝）决定parser是否成功解析一个包。

类型声明

参数中至少有一个参数packet_in，表示处理的接受数据包。输出内容可以是struct或者一般的封包参照。

 parser parsername（packet_in pkt,out ...）

其起始方式依然以start开始：

 parser parsername（packet_in pkt,out ...）{

     state start{
         ...
     }

     state state_name{
         ...
     }
 }

对于其中常用的关键字语法：

• extract：将目前的packet以特定的header取出来，取出来的各部分长度以header定义的为主。
• select：类似于c中的switch case语法，取决于参数通过transition关键字决定接下来的跳转方向，另一个parser state 或 control function。
• transition：在不同的state之间切换。

这里给出一个以太网ipv4的parser例子：

 parser parser_ipv4(packet_in pkt,out eth,out ipv4){

     state start{
         transition eth;//先转至以太网部分处理。
     }

     state eth{
         pkt.extract(eth);
         //根据以太网首部类型判断，除了ipv4以外的都抛出。
         transition select(eth.ethType){
             0x0800:i4;
             _:reject;//其余情况拒绝抛出。
         }
     }

     state i4{
         pkt.extract(ipv4);
         transition accept;//接受
     }
 }

对于ipv6也是一个类似的逻辑：

 parser parser_ipv6(packet_in pkt,out eth,out ipv4){

     state start{
         transition eth;
     }

     state eth{
         pkt.extract(eth);
         transition select(eth.ethType){
             0x86DD:i6;
             _:reject;//其余情况拒绝抛出。
         }
     }

     state i6{
         pkt.extract(ipv6);
         transition accept;//接受
     }
 }