Browse Source

integrate netpfga/p4 generic

master
Nico Schottelius 3 years ago
parent
commit
ff1688e3b2
  1. 1
      netpfga/minip4/src
  2. 1
      netpfga/minip4/src/headers.p4
  3. 689
      netpfga/minip4/src/minip4_solution-nat64.p4
  4. 1
      netpfga/minip4/src/settings.p4
  5. 35
      p4src/actions_controller.p4
  6. 77
      p4src/actions_egress.p4
  7. 113
      p4src/checksum_diff.p4
  8. 28
      p4src/deparser.p4
  9. 0
      p4src/minip4_solution-mirror.p4
  10. 117
      p4src/minip4_solution-nat64.p4
  11. 0
      p4src/minip4_solution-v6zero.p4
  12. 0
      p4src/minip4_solution.p4
  13. 49
      p4src/parsers.p4

1
netpfga/minip4/src

@ -0,0 +1 @@
../../p4src/

1
netpfga/minip4/src/headers.p4

@ -1 +0,0 @@
../../../p4src/headers.p4

689
netpfga/minip4/src/minip4_solution-nat64.p4

@ -1,689 +0,0 @@
#include <core.p4>
#include <sume_switch.p4>
#include "headers.p4"
#include "settings.p4"
/********************************************************************************
* Possible bugs / things to fix:
- Does NoAction exist?
- Aligment of "meta" / replace metadate with our own
- what does sume_metadata contain? ingress port is where?
nico@nsg-System:~$ find . -name sume_switch.p4
./master-thesis/support/semester-thesis-1/project/SSS_example_2_SS/bitsnpices/sume_switch.p4
nico@nsg-System:~$
/******************** INFO ONLY *************************/
// one-hot encoded: {DMA, NF3, DMA, NF2, DMA, NF1, DMA, NF0}
// typedef bit<8> port_t;
/* standard sume switch metadata */
// struct sume_metadata_t {
// bit<16> dma_q_size; // measured in 32-byte words
// bit<16> nf3_q_size; // measured in 32-byte words
// bit<16> nf2_q_size; // measured in 32-byte words
// bit<16> nf1_q_size; // measured in 32-byte words
// bit<16> nf0_q_size; // measured in 32-byte words
// bit<8> send_dig_to_cpu; // send digest_data to CPU
// bit<8> drop;
// port_t dst_port; // one-hot encoded: {DMA, NF3, DMA, NF2, DMA, NF1, DMA, NF0}
// port_t src_port; // one-hot encoded: {DMA, NF3, DMA, NF2, DMA, NF1, DMA, NF0}
// bit<16> pkt_len; // unsigned int
// }
/********************************************************************************
* Header
*/
typedef bit<48> EthAddr_t;
header Ethernet_h {
EthAddr_t dst_addr;
EthAddr_t src_addr;
bit<16> etherType;
}
struct Parsed_packet {
Ethernet_h ethernet;
}
// digest_data, MUST be 256 bits -- what is this used for?
struct digest_data_t {
bit<256> unused;
}
/********************************************************************************
* Parser
*/
@Xilinx_MaxPacketRegion(1024)
parser TopParser(packet_in b,
out Parsed_packet p,
out metadata meta,
out digest_data_t digest_data,
inout sume_metadata_t sume_metadata) {
state start {
/* initaliase metadata */
meta.ingress_port = 0;
meta.task = 0;
meta.switch_task = 0;
meta.chk_icmp6_na_ns = 0;
meta.chk_icmp6 = 0;
meta.chk_icmp = 0;
meta.chk_ipv4 = 0;
meta.chk_udp_v4 = 0;
meta.chk_udp_v6 = 0;
meta.chk_tcp_v4 = 0;
meta.chk_tcp_v6 = 0;
meta.length_without_ip_header = 0;
meta.cast_length = 0;
meta.table_id = 0;
b.extract(p.ethernet);
digest_data.unused = 0;
transition accept;
}
}
/********************************************************************************
* Main
*/
control TopPipe(inout Parsed_packet hdr,
inout metadata meta,
inout digest_data_t digest_data,
inout sume_metadata_t sume_metadata) {
/* FIXME: not sure what to do on netpfga */
action drop() {
#ifndef _SUME_SWITCH_P4_
mark_to_drop();
#endif
}
action set_egress_port (port_t out_port) {
#ifdef _SUME_SWITCH_P4_
sume_metadata.dst_port = out_port;
#else
standard_metadata.egress_spec = out_port;
#endif
}
action set_egress_port_and_mac (port_t out_port, mac_addr_t mac_addr) {
hdr.ethernet.dst_addr = mac_addr;
set_egress_port(out_port);
}
action controller_reply(task_t task) {
meta.task = task;
#ifdef _SUME_SWITCH_P4_
meta.ingress_port = sume_metadata.src_port;
/* FIXME: send to controller somehow -> port? */
#else
meta.ingress_port = standard_metadata.ingress_port;
clone3(CloneType.I2E, 100, meta);
#endif
}
action controller_debug_table_id(table_t table_id) {
meta.table_id = table_id;
controller_reply(TASK_DEBUG);
}
action controller_debug() {
controller_reply(TASK_DEBUG);
}
// /********************** NAT64 / NAT46 ACTIONS GENERIC ***********************************/
// /* changes for icmp6 -> icmp */
// action nat64_icmp6_generic()
// {
// hdr.icmp.setValid();
// hdr.ipv4.protocol = PROTO_ICMP; // overwrite generic same protocol assumption
// /* trigger checksumming */
// meta.switch_task = TASK_CHECKSUM_ICMP;
// meta.chk_icmp = 1;
// hdr.icmp6.setInvalid();
// /* not needed, as we don't translate them (yet/ever) */
// hdr.icmp6_na_ns.setInvalid();
// hdr.icmp6_option_link_layer_addr.setInvalid();
// }
// /* NAT64 protocol unspecific changes */
// action nat64_generic(ipv4_addr_t src, ipv4_addr_t dst) {
// hdr.ipv4.setValid();
// meta.chk_ipv4 = 1; /* need to calculate the hdrchecksum */
// /* Stuff that might need to be fixed */
// hdr.ipv4.version = (bit<4>)4;
// hdr.ipv4.diff_serv = (bit<6>)0; // no ToS
// hdr.ipv4.ecn = (bit<2>)0; // unsupported
// /* 5 is ok as long as we don't use options / padding /
// anything after the destination address */
// hdr.ipv4.ihl = (bit<4>) 5; // internet header length: 4*5 = 20
// hdr.ipv4.totalLen = (bit<16>) hdr.ipv6.payload_length + 20; // ok under above constraints
// hdr.ipv4.identification = (bit<16>) 0; // no support for fragments
// hdr.ipv4.flags = (bit<3>) 0; // DF bit and more fragments
// hdr.ipv4.fragOffset = (bit<13>) 0; // 0 as there are no fragments
// /* Stuff that should be fine */
// hdr.ethernet.ethertype = TYPE_IPV4;
// hdr.ipv4.dst_addr = dst;
// hdr.ipv4.src_addr = src;
// hdr.ipv4.ttl = hdr.ipv6.hop_limit;
// hdr.ipv4.protocol = hdr.ipv6.next_header;
// hdr.ipv6.setInvalid();
// }
// /* nat64_prefix is the same as the matching key, but without the mask */
// action nat64_static(ipv6_addr_t v6_src, ipv4_addr_t v4_dst, ipv6_addr_t nat64_prefix) {
// ipv6_addr_t src_offset = hdr.ipv6.src_addr - v6_src;
// ipv4_addr_t src = v4_dst + (ipv4_addr_t) src_offset;
// ipv4_addr_t dst = (ipv4_addr_t) (hdr.ipv6.dst_addr - nat64_prefix);
// nat64_generic(src, dst);
// }
// /* From https://tools.ietf.org/html/rfc792 (IPv4)
// Echo or Echo Reply Message
// 0 1 2 3
// 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
// | Type | Code | Checksum |
// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
// | Identifier | Sequence Number |
// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
// | Data ...
// +-+-+-+-+-
// From https://tools.ietf.org/html/rfc4443#section-4.1
// 4.1. Echo Request Message
// 0 1 2 3
// 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
// | Type | Code | Checksum |
// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
// | Identifier | Sequence Number |
// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
// | Data ...
// +-+-+-+-+-
// 4.2. Echo Reply Message
// 0 1 2 3
// 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
// | Type | Code | Checksum |
// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
// | Identifier | Sequence Number |
// +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
// | Data ...
// +-+-+-+-+-
// Type / code are different in ICMP4 and ICMP6!
// */
// /* changes for icmp6 -> icmp */
// action nat46_icmp_generic()
// {
// hdr.icmp6.setValid();
// hdr.ipv6.next_header = PROTO_ICMP6;
// meta.chk_icmp6 = 1;
// meta.cast_length = (bit<32>) hdr.ipv6.payload_length;
// hdr.icmp.setInvalid();
// }
// /* NAT46: protocol unspecific changes */
// action nat46_generic(ipv6_addr_t src, ipv6_addr_t dst) {
// hdr.ipv6.setValid();
// hdr.ipv4.setInvalid();
// hdr.ethernet.ethertype = TYPE_IPV6;
// hdr.ipv6.dst_addr = dst;
// hdr.ipv6.src_addr = src;
// hdr.ipv6.version = (bit<4>)6;
// hdr.ipv6.traffic_class = (bit<8>) hdr.ipv4.diff_serv;
// hdr.ipv6.flow_label = (bit<20>) 0;
// hdr.ipv6.payload_length = (bit<16>) hdr.ipv4.totalLen - 20;
// hdr.ipv6.next_header = hdr.ipv4.protocol;
// hdr.ipv6.hop_limit = hdr.ipv4.ttl;
// }
// /* matching key: v4_network specified again */
// action nat46_static(ipv6_addr_t v6_src, ipv4_addr_t v4_dst, ipv6_addr_t nat64_prefix) {
// ipv6_addr_t src = nat64_prefix + (ipv6_addr_t) hdr.ipv4.src_addr;
// ipv4_addr_t dst_offset = hdr.ipv4.dst_addr - v4_dst;
// ipv6_addr_t dst = v6_src + (ipv6_addr_t) dst_offset;
// nat46_generic(src, dst);
// }
// table nat64 {
// key = {
// hdr.ipv6.dst_addr: lpm;
// }
// actions = {
// controller_debug;
// nat64_static;
// controller_debug_table_id;
// NoAction;
// }
// size = NAT64_TABLE_SIZE;
// // default_action = controller_debug_table_id(TABLE_NAT64);
// default_action = NoAction;
// }
// table nat46 {
// key = {
// hdr.ipv4.dst_addr: lpm;
// }
// actions = {
// controller_debug;
// nat46_static;
// controller_debug_table_id;
// NoAction;
// }
// size = NAT64_TABLE_SIZE;
// default_action = controller_debug_table_id(TABLE_NAT46);
// }
// /********************** NAT64 sessions ***********************************/
// /* automatic translations */
// action nat64_tcp_session_translate(
// ipv4_addr_t src_addr,
// bit<16> src_port,
// ipv4_addr_t dst_addr,
// bit<16> dst_port)
// {
// hdr.ipv4.setValid();
// hdr.tcp.src_port = src_port;
// hdr.tcp.dst_port = dst_port;
// nat64_generic(src_addr, dst_addr);
// }
// action nat46_tcp_session_translate(
// ipv6_addr_t src_addr,
// bit<16> src_port,
// ipv6_addr_t dst_addr,
// bit<16> dst_port)
// {
// hdr.ipv6.setValid();
// hdr.tcp.src_port = src_port;
// hdr.tcp.dst_port = dst_port;
// nat46_generic(src_addr, dst_addr);
// }
// /* We are in the right range, need to create a session entry */
// action nat64_tcp_session_create()
// {
// controller_reply(TASK_NAT64_TCP_SESSION);
// }
// /* Used for detecting traffic that should have a session */
// table nat64_session {
// key = {
// hdr.ipv6.dst_addr: lpm;
// }
// actions = {
// controller_debug_table_id;
// NoAction;
// }
// size = NAT64_TABLE_SIZE;
// default_action = controller_debug_table_id(TABLE_NAT64_SESSION);
// }
// table nat64_tcp_session {
// key = {
// hdr.ipv6.src_addr: exact;
// hdr.ipv6.dst_addr: exact;
// hdr.tcp.src_port: exact;
// hdr.tcp.dst_port: exact;
// }
// actions = {
// controller_debug_table_id;
// nat64_tcp_session_create;
// nat64_tcp_session_translate;
// NoAction;
// }
// size = NAT64_TABLE_SIZE;
// default_action = nat64_tcp_session_create;
// }
// table nat46_tcp_session {
// key = {
// hdr.ipv6.src_addr: exact;
// hdr.ipv6.dst_addr: exact;
// hdr.tcp.src_port: exact;
// hdr.tcp.dst_port: exact;
// }
// actions = {
// controller_debug_table_id;
// nat46_tcp_session_translate;
// NoAction;
// }
// size = NAT64_TABLE_SIZE;
// //default_action = controller_debug_table_id(TABLE_NAT64_TCP);
// default_action = NoAction;
// }
/********************** ICMP6 + NDP + ICMP ***********************************/
// /* old/unused action -- is it??*/
// action icmp6_answer() {
// if(hdr.icmp6.isValid()) {
// if(hdr.icmp6.code == ICMP6_ECHO_REQUEST) {
// ipv6_addr_t tmp = hdr.ipv6.src_addr;
// hdr.ipv6.src_addr = hdr.ipv6.dst_addr;
// hdr.ipv6.dst_addr = tmp;
// hdr.icmp6.code = ICMP6_ECHO_REPLY;
// }
// }
// }
// action icmp6_neighbor_solicitation(ipv6_addr_t addr, mac_addr_t mac_addr) {
// /* egress = ingress */
// standard_metadata.egress_spec = standard_metadata.ingress_port;
// /* 1. IPv6 changes */
// hdr.ipv6.dst_addr = hdr.ipv6.src_addr;
// hdr.ipv6.src_addr = addr;
// /* 2. ICMP6 changes */
// hdr.icmp6.type = ICMP6_NA;
// hdr.icmp6.code = 0;
// hdr.icmp6.checksum = 42; // checksum is calculated in deparser - marking with 42 to see whether it is calculated
// /* 3. icmp6/neighbor advertisement: values taken from real world answers */
// hdr.icmp6_na_ns.router = 0;
// hdr.icmp6_na_ns.solicitated = 1;
// hdr.icmp6_na_ns.override = 1;
// hdr.icmp6_na_ns.reserved = 0;
// hdr.icmp6_na_ns.target_addr = addr;
// /* 4. Link layer options */
// hdr.icmp6_option_link_layer_addr.type = ICMP6_NDP_OPT_TARGET_LL;
// hdr.icmp6_option_link_layer_addr.ll_length = 1; /* 1* 64 bit */
// hdr.icmp6_option_link_layer_addr.mac_addr = mac_addr;
// /* 5. Checksum trigger/info */
// meta.chk_icmp6_na_ns = 1;
// meta.cast_length = (bit<32>) hdr.ipv6.payload_length;
// }
// action icmp6_echo_reply() {
// mac_addr_t mac_tmp = hdr.ethernet.dst_addr;
// hdr.ethernet.dst_addr = hdr.ethernet.src_addr;
// hdr.ethernet.src_addr = mac_tmp;
// ipv6_addr_t addr_tmp = hdr.ipv6.dst_addr;
// hdr.ipv6.dst_addr = hdr.ipv6.src_addr;
// hdr.ipv6.src_addr = addr_tmp;
// hdr.icmp6.type = ICMP6_ECHO_REPLY;
// meta.chk_icmp6 = 1;
// meta.cast_length = (bit<32>) hdr.ipv6.payload_length;
// }
// table icmp6 {
// key = {
// hdr.ipv6.dst_addr: lpm;
// hdr.icmp6.type: exact;
// }
// actions = {
// controller_debug;
// icmp6_neighbor_solicitation;
// icmp6_echo_reply;
// controller_debug_table_id;
// NoAction;
// }
// size = ICMP6_TABLE_SIZE;
// default_action = controller_debug_table_id(TABLE_ICMP6);
// }
// action icmp_echo_reply() {
// mac_addr_t mac_tmp = hdr.ethernet.dst_addr;
// ipv4_addr_t ipv4_tmp = hdr.ipv4.src_addr;
// /* swap ethernet addresses */
// hdr.ethernet.dst_addr = hdr.ethernet.src_addr;
// hdr.ethernet.src_addr = mac_tmp;
// /* swap ipv4 addresses */
// hdr.ipv4.src_addr = hdr.ipv4.dst_addr;
// hdr.ipv4.dst_addr = ipv4_tmp;
// /* set correct type */
// hdr.icmp.type = ICMP_ECHO_REPLY;
// meta.chk_icmp = 1;
// }
// table icmp {
// key = {
// hdr.ipv4.dst_addr: lpm;
// hdr.icmp.type: exact;
// }
// actions = {
// icmp_echo_reply;
// controller_debug_table_id;
// NoAction;
// }
// size = ICMP_TABLE_SIZE;
// // default_action = controller_debug_table_id(TABLE_ICMP);
// default_action = NoAction; /* do not clone on miss */
// }
// // /********************** ARP ***********************************/
// action arp_reply(mac_addr_t mac_addr) {
// /* swap */
// ipv4_addr_t ipv4_src = hdr.arp.dst_ipv4_addr;
// ipv4_addr_t ipv4_dst = hdr.arp.src_ipv4_addr;
// /* swap/add */
// mac_addr_t mac_src = mac_addr;
// mac_addr_t mac_dst = hdr.arp.src_mac_addr;
// /* fill the ethernet header */
// hdr.ethernet.dst_addr = mac_dst;
// hdr.ethernet.src_addr = mac_src;
// /* fill the arp header */
// hdr.arp.dst_mac_addr = mac_dst;
// hdr.arp.src_mac_addr = mac_src;
// /* swapping */
// hdr.arp.dst_ipv4_addr = ipv4_dst;
// hdr.arp.src_ipv4_addr = ipv4_src;
// hdr.arp.opcode = ARP_REPLY;
// }
// table v4_arp {
// key = {
// hdr.ethernet.dst_addr: exact;
// hdr.arp.opcode: exact;
// hdr.arp.dst_ipv4_addr: lpm;
// }
// actions = {
// controller_debug_table_id;
// arp_reply;
// NoAction;
// }
// size = ICMP6_TABLE_SIZE;
// default_action = controller_debug_table_id(TABLE_ARP);
// }
// table v4_arp_egress {
// key = {
// hdr.arp.dst_ipv4_addr: lpm;
// }
// actions = {
// controller_debug_table_id;
// set_egress_port;
// NoAction;
// }
// size = ICMP6_TABLE_SIZE;
// default_action = controller_debug_table_id(TABLE_ARP_EGRESS);
// }
// /********************** ROUTING (egress definiton) TABLES ***********************************/
// table v6_networks {
// key = {
// hdr.ipv6.dst_addr: lpm;
// }
// actions = {
// set_egress_port;
// set_egress_port_and_mac;
// controller_debug;
// controller_reply;
// controller_debug_table_id;
// NoAction;
// }
// size = ROUTING_TABLE_SIZE;
// default_action = controller_debug_table_id(TABLE_V6_NETWORKS);
// }
// table v4_networks {
// key = {
// hdr.ipv4.dst_addr: lpm;
// }
// actions = {
// set_egress_port;
// set_egress_port_and_mac;
// controller_debug;
// controller_debug_table_id;
// NoAction;
// }
// size = ROUTING_TABLE_SIZE;
// default_action = controller_debug_table_id(TABLE_V4_NETWORKS);
// }
action swap_eth_addresses() {
EthAddr_t temp = hdr.ethernet.dst_addr;
hdr.ethernet.dst_addr = hdr.ethernet.src_addr;
hdr.ethernet.src_addr = temp;
/* set egress port */
sume_metadata.dst_port = sume_metadata.src_port;
}
action send_to_port1() {
set_egress_port(1);
// sume_metadata.dst_port = 1;
}
// action send_to_all_ports() {
// /* Taken from commands.txt of the "int" project:
// table_cam_add_entry forward set_output_port 0xffffffffffff => 0b01010101
// python convert:
// >>> 0b01010101
// 85
// */
// sume_metadata.dst_port = 85;
// }
action do_nothing() {
EthAddr_t temp = hdr.ethernet.dst_addr;
}
table lookup_table {
key = {
hdr.ethernet.dst_addr: exact;
}
actions = {
swap_eth_addresses;
do_nothing;
send_to_port1;
// send_to_all_ports;
}
size = TEST_TABLE_SIZE;
// default_action = swap_eth_addresses; // test_mirror(): in gen_testdata.py
default_action = send_to_port1; // test_port1()
// default_action = send_to_all_ports; // test_allports():
}
apply {
lookup_table.apply();
}
}
/********************************************************************************
* Deparser
*/
@Xilinx_MaxPacketRegion(1024)
control TopDeparser(packet_out b,
in Parsed_packet hdr,
in metadata meta,
inout digest_data_t digest_data,
inout sume_metadata_t sume_metadata) {
apply {
b.emit(hdr.ethernet);
}
}
/********************************************************************************
* Switch
*/
SimpleSumeSwitch(
TopParser(),
TopPipe(),
TopDeparser()
) main;

1
netpfga/minip4/src/settings.p4

@ -1 +0,0 @@
../../../p4src/settings.p4

35
p4src/actions_controller.p4

@ -3,19 +3,30 @@
/********************** GENERAL ACTIONS ***********************************/
action controller_reply(task_t task) {
meta.task = task;
meta.ingress_port = standard_metadata.ingress_port;
clone3(CloneType.I2E, 100, meta);
}
#ifndef _SUME_SWITCH_P4_
action controller_reply(task_t task) {
meta.task = task;
meta.ingress_port = sume_metadata.src_port;
clone3(CloneType.I2E, 100, meta);
}
action controller_debug_table_id(table_t table_id) {
meta.table_id = table_id;
controller_reply(TASK_DEBUG);
}
#else
#include "action_egress.p4"
action controller_debug() {
controller_reply(TASK_DEBUG);
}
action controller_reply(task_t task) {
meta.task = task;
meta.ingress_port = standard_metadata.ingress_port;
set_egress_port(4); /* port1 = 1, port2 = 2, port3=4 */
}
#endif /* _SUME_SWITCH_P4_ */
action controller_debug_table_id(table_t table_id) {
meta.table_id = table_id;
controller_reply(TASK_DEBUG);
}
action controller_debug() {
controller_reply(TASK_DEBUG);
}
#endif

77
p4src/actions_egress.p4

@ -4,45 +4,48 @@
/********************** ROUTING (egress definiton) TABLES ***********************************/
action set_egress_port (port_t out_port) {
standard_metadata.egress_spec = out_port;
}
action set_egress_port_and_mac (port_t out_port, mac_addr_t mac_addr) {
hdr.ethernet.dst_addr = mac_addr;
standard_metadata.egress_spec = out_port;
}
table v6_networks {
key = {
hdr.ipv6.dst_addr: lpm;
}
actions = {
set_egress_port;
set_egress_port_and_mac;
controller_debug;
controller_reply;
controller_debug_table_id;
NoAction;
}
size = ROUTING_TABLE_SIZE;
default_action = controller_debug_table_id(TABLE_V6_NETWORKS);
action set_egress_port (port_t out_port) {
#ifndef _SUME_SWITCH_P4_
standard_metadata.egress_spec = out_port;
#else
sume_metadata.dst_port = out_port;
#endif
}
action set_egress_port_and_mac (port_t out_port, mac_addr_t mac_addr) {
hdr.ethernet.dst_addr = mac_addr;
set_egress_port(out_port);
}
table v6_networks {
key = {
hdr.ipv6.dst_addr: lpm;
}
actions = {
set_egress_port;
set_egress_port_and_mac;
controller_debug;
controller_reply;
controller_debug_table_id;
NoAction;
}
size = ROUTING_TABLE_SIZE;
table v4_networks {
key = {
hdr.ipv4.dst_addr: lpm;
}
actions = {
set_egress_port;
set_egress_port_and_mac;
controller_debug;
controller_debug_table_id;
NoAction;
default_action = controller_debug_table_id(TABLE_V6_NETWORKS);
}
table v4_networks {
key = {
hdr.ipv4.dst_addr: lpm;
}
size = ROUTING_TABLE_SIZE;
default_action = controller_debug_table_id(TABLE_V4_NETWORKS);
actions = {
set_egress_port;
set_egress_port_and_mac;
controller_debug;
controller_debug_table_id;
NoAction;
}
size = ROUTING_TABLE_SIZE;
default_action = controller_debug_table_id(TABLE_V4_NETWORKS);
}
#endif

113
p4src/checksum_diff.p4

@ -15,120 +15,11 @@ parser MyParser(packet_in packet,
inout metadata meta,
inout standard_metadata_t standard_metadata) {
state start {
meta.chk_icmp = 0;
meta.chk_icmp6 = 0;
meta.chk_icmp6_na_ns = 0;
meta.chk_ipv4 = 0;
meta.chk_udp_v6 = 0;
meta.chk_udp_v4 = 0;
meta.chk_tcp_v6 = 0;
meta.chk_tcp_v4 = 0;
meta.v4sum = 0;
meta.v6sum = 0;
packet.extract(hdr.ethernet);
transition select(hdr.ethernet.ethertype){
TYPE_IPV4: ipv4;
TYPE_IPV6: ipv6;
TYPE_ARP: arp;
default: accept;
}
}
state ipv4 {
packet.extract(hdr.ipv4);
meta.length_without_ip_header = hdr.ipv4.totalLen - 16w20;
transition select(hdr.ipv4.protocol){
PROTO_TCP: tcp;
PROTO_UDP: udp;
PROTO_ICMP: icmp;
default: accept;
}
}
state ipv6 {
packet.extract(hdr.ipv6);
meta.length_without_ip_header = hdr.ipv6.payload_length;
transition select(hdr.ipv6.next_header){
PROTO_TCP: tcp;
PROTO_UDP: udp;
PROTO_ICMP6: icmp6;
default: accept;
}
}
state icmp6 {
packet.extract(hdr.icmp6);
transition select(hdr.icmp6.type) {
ICMP6_NS: icmp6_neighbor_solicitation;
default: accept;
}
}
state icmp6_neighbor_solicitation {
packet.extract(hdr.icmp6_na_ns);
/* BUG: This MIGHT fail */
packet.extract(hdr.icmp6_option_link_layer_addr);
transition accept;
}
/* Leaf */
state tcp {
packet.extract(hdr.tcp);
transition accept;
}
state udp {
packet.extract(hdr.udp);
transition accept;
}
state icmp {
packet.extract(hdr.icmp);
transition accept;
}
state arp {
packet.extract(hdr.arp);
transition accept;
}
#include "parsers.p4"
}
/*************************************************************************
************************ D E P A R S E R *******************************
*************************************************************************/
control MyDeparser(packet_out packet, in headers hdr) {
apply {
/* always */
packet.emit(hdr.ethernet);
/* only if information is sent to the controller */
packet.emit(hdr.cpu);
/* either */
packet.emit(hdr.ipv4);
packet.emit(hdr.ipv6);
packet.emit(hdr.arp);
/* either */
packet.emit(hdr.tcp);
packet.emit(hdr.udp);
packet.emit(hdr.icmp);
/* might be more than one subtype */
packet.emit(hdr.icmp6);
packet.emit(hdr.icmp6_na_ns);
packet.emit(hdr.icmp6_option_link_layer_addr);
}
#include "deparser.p4"
}
// OK-UNTIL-HERE

28
p4src/deparser.p4

@ -0,0 +1,28 @@
/* -*- P4_16 -*- */
#ifndef DEPARSERS_P4
#define DEPARSERS_P4
apply {
/* always */
packet.emit(hdr.ethernet);
/* only if information is sent to the controller */
packet.emit(hdr.cpu);
/* either */
packet.emit(hdr.ipv4);
packet.emit(hdr.ipv6);
packet.emit(hdr.arp);
/* either */
packet.emit(hdr.tcp);
packet.emit(hdr.udp);
packet.emit(hdr.icmp);
/* might be more than one subtype */
packet.emit(hdr.icmp6);
packet.emit(hdr.icmp6_na_ns);
packet.emit(hdr.icmp6_option_link_layer_addr);
}
#endif

0
netpfga/minip4/src/minip4_solution-mirror.p4 → p4src/minip4_solution-mirror.p4

117
p4src/minip4_solution-nat64.p4

@ -0,0 +1,117 @@
#include <core.p4>
#include <sume_switch.p4>
#include "headers.p4"
#include "settings.p4"
/********************************************************************************
* Possible bugs / things to fix:
- Does NoAction exist?
- Aligment of "meta" / replace metadate with our own
- what does sume_metadata contain? ingress port is where?
nico@nsg-System:~$ find . -name sume_switch.p4
./master-thesis/support/semester-thesis-1/project/SSS_example_2_SS/bitsnpices/sume_switch.p4
nico@nsg-System:~$
/******************** INFO ONLY *************************/
// one-hot encoded: {DMA, NF3, DMA, NF2, DMA, NF1, DMA, NF0}
// typedef bit<8> port_t;
/* standard sume switch metadata */
// struct sume_metadata_t {
// bit<16> dma_q_size; // measured in 32-byte words
// bit<16> nf3_q_size; // measured in 32-byte words
// bit<16> nf2_q_size; // measured in 32-byte words
// bit<16> nf1_q_size; // measured in 32-byte words
// bit<16> nf0_q_size; // measured in 32-byte words
// bit<8> send_dig_to_cpu; // send digest_data to CPU
// bit<8> drop;
// port_t dst_port; // one-hot encoded: {DMA, NF3, DMA, NF2, DMA, NF1, DMA, NF0}
// port_t src_port; // one-hot encoded: {DMA, NF3, DMA, NF2, DMA, NF1, DMA, NF0}
// bit<16> pkt_len; // unsigned int
// }
/********************************************************************************
* Header
*/
// digest_data, MUST be 256 bits -- not used by us
struct digest_data_t {
bit<256> unused;
}
@Xilinx_MaxPacketRegion(1024)
parser TopParser(packet_in packet,
out headers hdr,
out metadata meta,
out digest_data_t digest_data,
inout sume_metadata_t standard_metadata) {
#include "parsers.p4"
}
/********************************************************************************
* Main
*/
control TopPipe(inout Parsed_packet hdr,
inout metadata meta,
inout digest_data_t digest_data,
inout sume_metadata_t sume_metadata) {
/* FIXME: not sure what to do on netpfga */
action drop() {
#ifndef _SUME_SWITCH_P4_
mark_to_drop();
#endif
}
table dummy_table_for_netpfga {
key = {
hdr.ethernet.dst_addr: exact;
}
actions = {
swap_eth_addresses;
do_nothing;
send_to_port1;
// send_to_all_ports;
}
size = TEST_TABLE_SIZE;
// default_action = swap_eth_addresses; // test_mirror(): in gen_testdata.py
default_action = send_to_port1; // test_port1()
// default_action = send_to_all_ports; // test_allports():
}
apply {
lookup_table.apply();
}
}
/********************************************************************************
* Deparser
*/
@Xilinx_MaxPacketRegion(1024)
control TopDeparser(packet_out packet,
in headers hdr,
in metadata meta,
inout digest_data_t digest_data,
inout sume_metadata_t sume_metadata) {
#include "deparser.p4"
}
/********************************************************************************
* Switch
*/
SimpleSumeSwitch(
TopParser(),
TopPipe(),
TopDeparser()
) main;

0
netpfga/minip4/src/minip4_solution-v6zero.p4 → p4src/minip4_solution-v6zero.p4

0
netpfga/minip4/src/minip4_solution.p4 → p4src/minip4_solution.p4

49
p4src/parsers.p4

@ -2,15 +2,7 @@
#ifndef PARSERS_P4
#define PARSERS_P4
#include <core.p4>
#include <v1model.p4>
#include "headers.p4"
parser MyParser(packet_in packet,
out headers hdr,
inout metadata meta,
inout standard_metadata_t standard_metadata) {
/* to be included into the parser block */
state start {
meta.chk_icmp = 0;
@ -21,6 +13,8 @@ parser MyParser(packet_in packet,
meta.chk_udp_v4 = 0;
meta.chk_tcp_v6 = 0;
meta.chk_tcp_v4 = 0;
meta.v4sum = 0;
meta.v6sum = 0;
packet.extract(hdr.ethernet);
transition select(hdr.ethernet.ethertype){
@ -74,7 +68,6 @@ parser MyParser(packet_in packet,
transition accept;
}
/* Leaf */
state tcp {
packet.extract(hdr.tcp);
@ -86,11 +79,6 @@ parser MyParser(packet_in packet,
transition accept;
}
// state icmp6 {
// packet.extract(hdr.icmp6);
// transition accept;
// }
state icmp {
packet.extract(hdr.icmp);
transition accept;
@ -101,36 +89,5 @@ parser MyParser(packet_in packet,
transition accept;
}
}
/*************************************************************************
************************ D E P A R S E R *******************************
*************************************************************************/
control MyDeparser(packet_out packet, in headers hdr) {
apply {
/* always */
packet.emit(hdr.ethernet);
/* only if information is sent to the controller */
packet.emit(hdr.cpu);
/* either */
packet.emit(hdr.ipv4);
packet.emit(hdr.ipv6);
packet.emit(hdr.arp);
/* either */
packet.emit(hdr.tcp);
packet.emit(hdr.udp);
packet.emit(hdr.icmp);
/* might be more than one subtype */
packet.emit(hdr.icmp6);
packet.emit(hdr.icmp6_na_ns);
packet.emit(hdr.icmp6_option_link_layer_addr);
}
}
#endif

Loading…
Cancel
Save