|
|
|
@ -2,39 +2,56 @@
|
|
|
|
|
#define NICO_DELTA_CHECKSUM
|
|
|
|
|
|
|
|
|
|
action v4sum() {
|
|
|
|
|
meta.v4sum = 0;
|
|
|
|
|
bit<32> tmp = 0;
|
|
|
|
|
bit<32> carryover = 0;
|
|
|
|
|
|
|
|
|
|
meta.v4sum = meta.v4sum + hdr.ipv4.src_addr[15:0]; // 16 bit
|
|
|
|
|
meta.v4sum = meta.v4sum + hdr.ipv4.src_addr[31:16]; // 16 bit
|
|
|
|
|
meta.v4sum = meta.v4sum + hdr.ipv4.dst_addr[15:0]; // 16 bit
|
|
|
|
|
meta.v4sum = meta.v4sum + hdr.ipv4.dst_addr[31:16]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv4.src_addr[15:0]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv4.src_addr[31:16]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv4.dst_addr[15:0]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv4.dst_addr[31:16]; // 16 bit
|
|
|
|
|
|
|
|
|
|
meta.v4sum = meta.v4sum + hdr.ipv4.totalLen -20; // 16 bit
|
|
|
|
|
meta.v4sum = meta.v4sum + (bit<16>) hdr.ipv4.protocol; // 8 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv4.totalLen -20; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv4.protocol; // 8 bit
|
|
|
|
|
|
|
|
|
|
carryover = tmp >> 16; /* maximum is 6*(2**16) >> 16 == 6 */
|
|
|
|
|
tmp = (tmp & 0xffff) + carryover; /* Now tmp contains at maximum 65541 */
|
|
|
|
|
carryover = tmp >> 16; /* Now carryover contains at maximum 1 */
|
|
|
|
|
tmp = (tmp & 0xffff) + carryover; /* No overrun possible anymore */
|
|
|
|
|
|
|
|
|
|
meta.v4sum = (bit<16>) tmp;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
action v6sum() {
|
|
|
|
|
meta.v6sum = 0;
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.src_addr[15:0]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.src_addr[31:16]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.src_addr[47:32]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.src_addr[63:48]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.src_addr[79:64]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.src_addr[95:80]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.src_addr[111:96]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.src_addr[127:112]; // 16 bit
|
|
|
|
|
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.dst_addr[15:0]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.dst_addr[31:16]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.dst_addr[47:32]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.dst_addr[63:48]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.dst_addr[79:64]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.dst_addr[95:80]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.dst_addr[111:96]; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.dst_addr[127:112]; // 16 bit
|
|
|
|
|
|
|
|
|
|
meta.v6sum = meta.v6sum + hdr.ipv6.payload_length; // 16 bit
|
|
|
|
|
meta.v6sum = meta.v6sum + (bit<16>) hdr.ipv6.next_header; // 8 bit
|
|
|
|
|
bit<32> tmp = 0;
|
|
|
|
|
bit<32> carryover = 0;
|
|
|
|
|
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.src_addr[15:0]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.src_addr[31:16]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.src_addr[47:32]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.src_addr[63:48]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.src_addr[79:64]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.src_addr[95:80]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.src_addr[111:96]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.src_addr[127:112]; // 16 bit
|
|
|
|
|
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.dst_addr[15:0]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.dst_addr[31:16]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.dst_addr[47:32]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.dst_addr[63:48]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.dst_addr[79:64]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.dst_addr[95:80]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.dst_addr[111:96]; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.dst_addr[127:112]; // 16 bit
|
|
|
|
|
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.payload_length; // 16 bit
|
|
|
|
|
tmp = tmp + (bit<32>) hdr.ipv6.next_header; // 8 bit
|
|
|
|
|
|
|
|
|
|
carryover = tmp >> 16; /* maximum is 18*(2**16) >> 16 == 18 */
|
|
|
|
|
tmp = (tmp & 0xffff) + carryover; /* Now tmp contains at maximum 65554*/
|
|
|
|
|
carryover = tmp >> 16; /* Now carryover contains at maximum 1 */
|
|
|
|
|
tmp = (tmp & 0xffff) + carryover; /* No overrun possible anymore */
|
|
|
|
|
|
|
|
|
|
meta.v6sum = (bit<16>) tmp;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
action delta_prepare()
|
|
|
|
|