master-thesis/p4src/static-mapping.p4

349 lines
10 KiB
Plaintext
Raw Normal View History

/* -*- P4_16 -*- */
#include <core.p4>
#include <v1model.p4>
#include "headers.p4"
#include "parsers.p4"
#include "checksums.p4"
#include "settings.p4"
/*************************************************************************
************** I N G R E S S P R O C E S S I N G *******************
*************************************************************************/
control MyIngress(inout headers hdr,
inout metadata meta,
inout standard_metadata_t standard_metadata) {
2019-02-28 09:56:22 +00:00
/********************** ACTIONS ***********************************/
action drop() {
mark_to_drop();
}
action set_egress_port (port_t out_port) {
standard_metadata.egress_spec = out_port;
}
action controller_debug() {
meta.task = TASK_DEBUG;
2019-03-04 17:10:24 +00:00
meta.ingress_port = standard_metadata.ingress_port;
clone3(CloneType.I2E, 100, meta);
}
action controller_reply(task_t task) {
meta.task = task;
2019-03-04 17:10:24 +00:00
meta.ingress_port = standard_metadata.ingress_port;
clone3(CloneType.I2E, 100, meta);
}
action multicast_pkg(mcast_t mcast_grp) { /* Output PKG on correct ports (plural) */
standard_metadata.mcast_grp = mcast_grp;
}
action icmp6_neighbor_solicitation(ipv6_addr_t addr, mac_addr_t mac_addr) {
2019-02-28 09:56:22 +00:00
/* egress = ingress */
standard_metadata.egress_spec = standard_metadata.ingress_port;
/* 1. IPv6 changes */
2019-02-28 09:56:22 +00:00
hdr.ipv6.dst_addr = hdr.ipv6.src_addr;
hdr.ipv6.src_addr = addr;
/* 2. ICMP6 changes */
2019-02-28 09:56:22 +00:00
hdr.icmp6.type = ICMP6_NA;
hdr.icmp6.code = 0;
// checksum is calculated in deparser
/* 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;
2019-03-23 12:33:25 +00:00
2019-03-23 13:39:56 +00:00
/* version1: rebuilding packet */
/*
2019-03-23 12:33:25 +00:00
truncate((bit<32>)(112 + 320 + 32)/8);
hdr.icmp6_na.setValid();
hdr.icmp6_na.solicitated = 1;
hdr.icmp6_na.override = 1;
*/
2019-03-23 12:33:25 +00:00
/* checksum trigger / content */
meta.task = TASK_CHECKSUM_ICMP6_NA;
meta.cast_length = (bit<32>) hdr.ipv6.payload_length;
2019-02-28 09:56:22 +00:00
}
2019-03-05 21:31:05 +00:00
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.task = TASK_CHECKSUM_ICMP6;
meta.cast_length = (bit<32>) hdr.ipv6.payload_length;
2019-03-05 21:31:05 +00:00
}
2019-03-14 13:39:17 +00:00
/********************** NAT64 / NAT46 ACTIONS ***********************************/
/* NAT64 protocol unspecific changes */
action nat64_generic(ipv4_addr_t src, ipv4_addr_t dst) {
/* 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
hdr.ipv4.ihl = (bit<4>) 5; // internet header length -- needs to be dynamic!
hdr.ipv4.totalLen = (bit<16>) hdr.ipv6.payload_length + 5; // should probably also dynamic
hdr.ipv4.identification = (bit<16>) 0; // no support for fragments
hdr.ipv4.flags = (bit<3>) 0; // DF bit and more fragments, unsupported ATM
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();
hdr.ipv4.setValid();
}
/* NAT46: protocol unspecific changes */
action nat46_generic(ipv6_addr_t src, ipv6_addr_t dst) {
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;
hdr.ipv4.setInvalid();
hdr.ipv6.setValid();
}
2019-03-14 13:39:17 +00:00
/* nat64_prefix is the same as the matching key, but without the mask */
2019-03-14 13:41:28 +00:00
action nat64_static(ipv6_addr_t v6_network, ipv4_addr_t v4_network, ipv6_addr_t nat64_prefix) {
2019-03-14 13:39:17 +00:00
ipv6_addr_t src_offset = hdr.ipv6.src_addr - v6_network;
ipv4_addr_t src = v4_network + (ipv4_addr_t) src_offset;
2019-03-14 13:52:26 +00:00
ipv4_addr_t dst = (ipv4_addr_t) (hdr.ipv6.dst_addr - nat64_prefix);
2019-03-14 13:39:17 +00:00
nat64_generic(src, dst);
}
/* matching key: v4_network specified again */
action nat46_static(ipv6_addr_t v6_network, ipv4_addr_t v4_network, 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_network;
ipv6_addr_t dst = v6_network + (ipv6_addr_t) dst_offset;
nat46_generic(src, dst);
}
2019-02-28 09:56:22 +00:00
/********************** Reply to NDP for US ***********************************/
table ndp_answer {
key = {
hdr.ipv6.dst_addr: exact; /* our multicast embedded mac address */
hdr.icmp6.type: exact;
}
actions = {
controller_debug;
2019-02-28 09:57:00 +00:00
icmp6_neighbor_solicitation;
2019-02-28 09:56:22 +00:00
NoAction;
}
size = NDP_TABLE_SIZE;
default_action = NoAction;
}
/********************** debugging / general support ***********************************/
table port2mcast {
key = {
standard_metadata.ingress_port : exact;
}
actions = {
multicast_pkg;
controller_debug;
2019-02-28 09:56:22 +00:00
NoAction;
}
size = NDP_TABLE_SIZE;
default_action = NoAction;
// default_action = controller_debug;
2019-02-28 09:56:22 +00:00
}
/* Handle multicast registration of NDP */
table addr2mcast {
key = {
hdr.ipv6.dst_addr: exact;
}
actions = {
multicast_pkg;
controller_debug;
2019-02-28 09:56:22 +00:00
NoAction;
}
size = NDP_TABLE_SIZE;
default_action = NoAction;
// default_action = controller_debug;
2019-02-28 09:56:22 +00:00
}
/********************** NDP support ***********************************/
table ndp {
key = {
hdr.ipv6.dst_addr: lpm;
standard_metadata.ingress_port : exact;
}
actions = {
multicast_pkg;
controller_debug;
NoAction;
}
size = NDP_TABLE_SIZE;
default_action = controller_debug;
}
2019-02-23 17:58:04 +00:00
/********************** ADDRESS TABLES ***********************************/
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;
}
}
2019-02-23 17:58:04 +00:00
/* do something:
- change src/dst
- change type
*/
}
/********************** ROUTING (egress definiton) TABLES ***********************************/
2019-02-23 17:58:04 +00:00
table v6_addresses {
key = {
hdr.ipv6.dst_addr: exact;
}
actions = {
controller_debug;
2019-03-03 21:37:58 +00:00
controller_reply;
2019-03-05 21:33:03 +00:00
icmp6_echo_reply;
2019-02-23 17:58:04 +00:00
NoAction;
}
size = ADDRESS_TABLE_SIZE;
default_action = NoAction;
2019-02-23 17:58:04 +00:00
}
table v6_networks {
key = {
hdr.ipv6.dst_addr: lpm;
}
actions = {
set_egress_port;
2019-03-04 13:10:11 +00:00
controller_debug;
controller_reply;
nat64_static;
2019-03-19 22:53:42 +00:00
icmp6_neighbor_solicitation;
NoAction;
}
size = ROUTING_TABLE_SIZE;
// default_action = NoAction;
default_action = controller_debug;
}
2019-03-04 15:38:06 +00:00
table v4_networks {
key = {
hdr.ipv4.dst_addr: lpm;
}
actions = {
set_egress_port;
nat46_static;
NoAction;
}
size = ROUTING_TABLE_SIZE;
default_action = NoAction;
}
2019-02-28 09:56:22 +00:00
/********************** APPLYING TABLES ***********************************/
apply {
if(hdr.ipv6.isValid()) {
2019-02-28 09:56:22 +00:00
/* FIXME: structure / use .hit to do logic */
2019-03-04 13:08:09 +00:00
// ndp_answer.apply();
//ndp.apply(); /* flood or if it is us - answer */
2019-03-05 21:31:05 +00:00
2019-02-23 17:59:46 +00:00
v6_addresses.apply();
2019-03-04 13:08:09 +00:00
v6_networks.apply();
}
if(hdr.ipv4.isValid()) {
2019-03-04 15:38:45 +00:00
v4_networks.apply();
}
}
}
/*************************************************************************
**************** E G R E S S P R O C E S S I N G *******************
*************************************************************************/
control MyEgress(inout headers hdr,
inout metadata meta,
inout standard_metadata_t standard_metadata) {
apply {
// ingress clone
2019-03-04 15:24:37 +00:00
if (standard_metadata.instance_type == 1){
hdr.cpu.setValid();
hdr.cpu.task = meta.task;
2019-03-04 17:05:56 +00:00
hdr.cpu.ethertype = hdr.ethernet.ethertype;
2019-03-19 22:23:54 +00:00
hdr.cpu.ingress_port = (bit<16>) meta.ingress_port;
2019-03-04 17:05:56 +00:00
hdr.ethernet.ethertype = TYPE_CPU;
}
}
}
/*************************************************************************
*********************** S W I T C H *******************************
*************************************************************************/
V1Switch(
MyParser(),
MyVerifyChecksum(),
MyIngress(),
MyEgress(),
MyComputeChecksum(),
MyDeparser()
) main;
// truncate((bit<32>)22); //ether+cpu header