-
Notifications
You must be signed in to change notification settings - Fork 444
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Support ebpf Hash and Checksum (#4378)
* Generate EBPF checksum functions * Add EBPF Hash implementation * Add checksum error scenario * Update testcase output files.
- Loading branch information
Showing
93 changed files
with
4,561 additions
and
258 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,146 @@ | ||
| /* -*- P4_16 -*- */ | ||
|
|
||
| #include <core.p4> | ||
| #include <tc/pna.p4> | ||
|
|
||
| #define PORT_TABLE_SIZE 262144 | ||
|
|
||
| /* | ||
| * Standard ethernet header | ||
| */ | ||
| header ethernet_t { | ||
| @tc_type ("macaddr") bit<48> dstAddr; | ||
| @tc_type ("macaddr") bit<48> srcAddr; | ||
| bit<16> etherType; | ||
| } | ||
|
|
||
| header ipv4_t { | ||
| 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; | ||
| @tc_type ("ipv4") bit<32> srcAddr; | ||
| @tc_type ("ipv4") bit<32> dstAddr; | ||
| } | ||
|
|
||
| struct my_ingress_headers_t { | ||
| ethernet_t ethernet; | ||
| ipv4_t ipv4; | ||
| } | ||
|
|
||
| /****** G L O B A L I N G R E S S M E T A D A T A *********/ | ||
|
|
||
| struct my_ingress_metadata_t { | ||
| bit<16> checksum; | ||
| bit<16> state; | ||
| } | ||
|
|
||
| struct empty_metadata_t { | ||
| } | ||
|
|
||
| error { | ||
| BadIPv4HeaderChecksum | ||
| } | ||
|
|
||
| /*********************** P A R S E R **************************/ | ||
|
|
||
| parser Ingress_Parser( | ||
| packet_in pkt, | ||
| out my_ingress_headers_t hdr, | ||
| inout my_ingress_metadata_t meta, | ||
| in pna_main_parser_input_metadata_t istd) | ||
| { | ||
| InternetChecksum() ck; | ||
| const bit<16> ETHERTYPE_IPV4 = 0x0800; | ||
|
|
||
| state start { | ||
| transition parse_ethernet; | ||
| } | ||
| state parse_ethernet { | ||
| pkt.extract(hdr.ethernet); | ||
| transition select(hdr.ethernet.etherType) { | ||
| ETHERTYPE_IPV4 : parse_ipv4; | ||
| default : reject; | ||
| } | ||
| } | ||
| state parse_ipv4 { | ||
| pkt.extract(hdr.ipv4); | ||
| ck.clear(); | ||
| ck.add({ | ||
| /* 16-bit word 0 */ hdr.ipv4.version, hdr.ipv4.ihl, hdr.ipv4.diffserv, | ||
| /* 16-bit word 1 */ hdr.ipv4.totalLen, | ||
| /* 16-bit word 2 */ hdr.ipv4.identification, | ||
| /* 16-bit word 3 */ hdr.ipv4.flags, hdr.ipv4.fragOffset, | ||
| /* 16-bit word 4 */ hdr.ipv4.ttl, hdr.ipv4.protocol, | ||
| /* 16-bit word 5 skip hdr.ipv4.hdrChecksum, */ | ||
| /* 16-bit words 6-7 */ hdr.ipv4.srcAddr, | ||
| /* 16-bit words 8-9 */ hdr.ipv4.dstAddr | ||
| }); | ||
| verify(hdr.ipv4.hdrChecksum == ck.get(), error.BadIPv4HeaderChecksum); | ||
| hdr.ipv4.hdrChecksum = ck.get_state(); | ||
| transition accept; | ||
| } | ||
| } | ||
|
|
||
| /***************** M A T C H - A C T I O N *********************/ | ||
|
|
||
| control ingress( | ||
| inout my_ingress_headers_t hdr, | ||
| inout my_ingress_metadata_t meta, | ||
| in pna_main_input_metadata_t istd, | ||
| inout pna_main_output_metadata_t ostd | ||
| ) | ||
| { | ||
| action send_nh(@tc_type("dev") PortId_t port_id, @tc_type("macaddr") bit<48> dmac, @tc_type("macaddr") bit<48> smac) { | ||
| hdr.ethernet.srcAddr = smac; | ||
| hdr.ethernet.dstAddr = dmac; | ||
| send_to_port(port_id); | ||
| } | ||
| action drop() { | ||
| drop_packet(); | ||
| } | ||
|
|
||
| table nh_table { | ||
| key = { | ||
| hdr.ipv4.srcAddr : exact; | ||
| } | ||
| actions = { | ||
| send_nh; | ||
| drop; | ||
| } | ||
| size = PORT_TABLE_SIZE; | ||
| const default_action = drop; | ||
| } | ||
|
|
||
| apply { | ||
| nh_table.apply(); | ||
| } | ||
| } | ||
|
|
||
| /********************* D E P A R S E R ************************/ | ||
|
|
||
| control Ingress_Deparser( | ||
| packet_out pkt, | ||
| inout my_ingress_headers_t hdr, | ||
| in my_ingress_metadata_t meta, | ||
| in pna_main_output_metadata_t ostd) | ||
| { | ||
| apply { | ||
| pkt.emit(hdr.ethernet); | ||
| pkt.emit(hdr.ipv4); | ||
| } | ||
| } | ||
|
|
||
| /************ F I N A L P A C K A G E ******************************/ | ||
|
|
||
| PNA_NIC( | ||
| Ingress_Parser(), | ||
| ingress(), | ||
| Ingress_Deparser() | ||
| ) main; |
Oops, something went wrong.