From 809110edc71a4edfec48814ac389fa1d5b453b30 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Tue, 19 Mar 2019 21:03:10 +0100
Subject: [PATCH] Debug print to controller by default, not dropping

---
 doc/plan.org            | 40 +++++++++++++++++++++++++++++++++++++++-
 p4src/static-mapping.p4 |  3 ++-
 2 files changed, 41 insertions(+), 2 deletions(-)

diff --git a/doc/plan.org b/doc/plan.org
index 99321f8..1074833 100644
--- a/doc/plan.org
+++ b/doc/plan.org
@@ -725,11 +725,49 @@ p4@ubuntu:~/master-thesis$
 **** TODO Translate ipv6 --> ipv4 with a (freely programmable) prefix
 ***** DONE Insert prefix into switch: v6_networks
 ***** TODO Support multiple ipv6 source networks: need new table w/ 2 keys! -> later
-***** TODO Write test.py to generate correct destination packets
+***** DONE Write test.py to generate correct destination packets
 >>> a = ipaddress.ip_network("2001:db8::/32")
 >>> b = ipaddress.ip_address("10.0.0.1")
 >>> a[int(b)]
 IPv6Address('2001:db8::a00:1')
+***** Using test.py, new NDP packets been seen, bur zero icmp on the outgoing side
+p4@ubuntu:~/master-thesis/p4app$ python test.py  --method v6_static_mapping --debug
+INFO:main:Trying to reach 10.0.0.1 (64:ff9b::a00:1) from h1
+sudo: unable to resolve host ubuntu
+PING 64:ff9b::a00:1(64:ff9b::a00:1) 56 data bytes
+
+--- 64:ff9b::a00:1 ping statistics ---
+1 packets transmitted, 0 received, 100% packet loss, time 0ms
+
+p4@ubuntu:~/master-thesis/p4app$
+\x00\x00\x00 :\xff\xfe\x80\x00\x00\x00\x00\x00\x00\x02\x00\n\xff\xfe\x00\x00\x01 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x87\x00\x08+\x00\x00\x00\x00 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x01\x01\x00\x00\n\x00\x00\x01' |>>
+DEBUG:main:cpu = <CpuHeader  task=ICMP6_GENERAL ingress_port=1 type=0x86dd |<Raw  load='`\x00\x00\x00\x00 :\xff\xfe\x80\x00\x00\x00\x00\x00\x00\x02\x00\n\xff\xfe\x00\x00\x01 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x87\x00\x08+\x00\x00\x00\x00 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x01\x01\x00\x00\n\x00\x00\x01' |>>
+DEBUG:main:reassambled=<Ether  dst=00:00:0a:00:00:42 src=00:00:0a:00:00:01 type=0x86dd |<IPv6  version=6 tc=0 fl=0 plen=32 nh=ICMPv6 hlim=255 src=fe80::200:aff:fe00:1 dst=2001:db8::42 |<ICMPv6ND_NS  type=Neighbor Solicitation code=0 cksum=0x82b res=0 tgt=2001:db8::42 |<ICMPv6NDOptSrcLLAddr  type=1 len=1 lladdr=00:00:0a:00:00:01 |>>>>
+DEBUG:main:INCOMING: <Ether  dst=00:00:0a:00:00:42 src=00:00:0a:00:00:01 type=0x4242 |<Raw  load='\x00\x02\x00\x01\x86\xdd`\x00\x00\x00\x00 :\xff\xfe\x80\x00\x00\x00\x00\x00\x00\x02\x00\n\xff\xfe\x00\x00\x01 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x87\x00\x08+\x00\x00\x00\x00 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x01\x01\x00\x00\n\x00\x00\x01' |>>
+DEBUG:main:cpu = <CpuHeader  task=ICMP6_GENERAL ingress_port=1 type=0x86dd |<Raw  load='`\x00\x00\x00\x00 :\xff\xfe\x80\x00\x00\x00\x00\x00\x00\x02\x00\n\xff\xfe\x00\x00\x01 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x87\x00\x08+\x00\x00\x00\x00 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x01\x01\x00\x00\n\x00\x00\x01' |>>
+DEBUG:main:reassambled=<Ether  dst=00:00:0a:00:00:42 src=00:00:0a:00:00:01 type=0x86dd |<IPv6  version=6 tc=0 fl=0 plen=32 nh=ICMPv6 hlim=255 src=fe80::200:aff:fe00:1 dst=2001:db8::42 |<ICMPv6ND_NS  type=Neighbor Solicitation code=0 cksum=0x82b res=0 tgt=2001:db8::42 |<ICMPv6NDOptSrcLLAddr  type=1 len=1 lladdr=00:00:0a:00:00:01 |>>>>
+DEBUG:main:INCOMING: <Ether  dst=00:00:0a:00:00:42 src=00:00:0a:00:00:01 type=0x4242 |<Raw  load='\x00\x02\x00\x01\x86\xdd`\x00\x00\x00\x00 :\xff\xfe\x80\x00\x00\x00\x00\x00\x00\x02\x00\n\xff\xfe\x00\x00\x01 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x87\x00\x08+\x00\x00\x00\x00 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x01\x01\x00\x00\n\x00\x00\x01' |>>
+DEBUG:main:cpu = <CpuHeader  task=ICMP6_GENERAL ingress_port=1 type=0x86dd |<Raw  load='`\x00\x00\x00\x00 :\xff\xfe\x80\x00\x00\x00\x00\x00\x00\x02\x00\n\xff\xfe\x00\x00\x01 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x87\x00\x08+\x00\x00\x00\x00 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x01\x01\x00\x00\n\x00\x00\x01' |>>
+DEBUG:main:reassambled=<Ether  dst=00:00:0a:00:00:42 src=00:00:0a:00:00:01 type=0x86dd |<IPv6  version=6 tc=0 fl=0 plen=32 nh=ICMPv6 hlim=255 src=fe80::200:aff:fe00:1 dst=2001:db8::42 |<ICMPv6ND_NS  type=Neighbor Solicitation code=0 cksum=0x82b res=0 tgt=2001:db8::42 |<ICMPv6NDOptSrcLLAddr  type=1 len=1 lladdr=00:00:0a:00:00:01 |>>>>
+
+***** TODO Debug why neighbor discover does not work anymore
+p4@ubuntu:~$ mx h1 tcpdump -lni any
+sudo: unable to resolve host ubuntu
+tcpdump: verbose output suppressed, use -v or -vv for full protocol decode
+listening on any, link-type LINUX_SLL (Linux cooked), capture size 262144 bytes
+
+19:57:53.258805 IP6 fe80::200:aff:fe00:1 > ff02::1:ff00:42: ICMP6, neighbor solicitation, who has 2001:db8::42, length 32
+19:57:54.256924 IP6 2001:db8::1 > 2001:db8::1: ICMP6, destination unreachable, unreachable address 64:ff9b::a00:1, length 112
+
+EBUG:main:INCOMING: <Ether  dst=33:33:ff:00:00:42 src=00:00:0a:00:00:01 type=0x4242 |<Raw  load='\x00\x01\x00\x01\x86\xdd`\x00\x00\x00\x00 :\xff\xfe\x80\x00\x00\x00\x00\x00\x00\x02\x00\n\xff\xfe\x00\x00\x01\xff\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\xff\x00\x00B\x87\x007\xdf\x00\x00\x00\x00 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x01\x01\x00\x00\n\x00\x00\x01' |>>
+DEBUG:main:cpu = <CpuHeader  task=ICMP6_NS ingress_port=1 type=0x86dd |<Raw  load='`\x00\x00\x00\x00 :\xff\xfe\x80\x00\x00\x00\x00\x00\x00\x02\x00\n\xff\xfe\x00\x00\x01\xff\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\xff\x00\x00B\x87\x007\xdf\x00\x00\x00\x00 \x01\r\xb8\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00B\x01\x01\x00\x00\n\x00\x00\x01' |>>
+DEBUG:main:reassambled=<Ether  dst=33:33:ff:00:00:42 src=00:00:0a:00:00:01 type=0x86dd |<IPv6  version=6 tc=0 fl=0 plen=32 nh=ICMPv6 hlim=255 src=fe80::200:aff:fe00:1 dst=ff02::1:ff00:42 |<ICMPv6ND_NS  type=Neighbor Solicitation code=0 cksum=0x37df res=0 tgt=2001:db8::42 |<ICMPv6NDOptSrcLLAddr  type=1 len=1 lladdr=00:00:0a:00:00:01 |>>>>
+INFO:main:Doing neighbor solicitation
+DEBUG:main:OUTGOING: <Ether  dst=00:00:0a:00:00:01 src=00:00:0a:00:00:42 type=0x86dd |<IPv6  nh=ICMPv6 hlim=255 src=2001:db8::42 dst=fe80::200:aff:fe00:1 |<ICMPv6ND_NA  cksum=None R=0 S=1 tgt=2001:db8::42 |<ICMPv6NDOptDstLLAddr  lladdr=00:00:0a:00:00:42 |>>>>
+DEBUG:main:INCOMING: <Ether  dst=00:00:0a:00:00:01 src=00:00:0a:00:00:42 type=0x86dd |<IPv6  version=6 tc=0 fl=0 plen=32 nh=ICMPv6 hlim=255 src=2001:db8::42 dst=fe80::200:aff:fe00:1 |<ICMPv6ND_NA  type=Neighbor Advertisement code=0 cksum=0xa5e9 R=0 S=1 O=1 res=0x0 tgt=2001:db8::42 |<ICMPv6NDOptDstLLAddr  type=2 len=1 lladdr=00:00:0a:00:00:42 |>>>>
+****** Do we have a routing for fe80::/10? Probably not. Shouldn't we see it in the controller then?
+****** TODO Implement address learning?
+
 
 ***** TODO Implement the calculation
 ***** TODO Sketch the flow for session handling for icmp6 w/o packet loss
diff --git a/p4src/static-mapping.p4 b/p4src/static-mapping.p4
index 26eb6c9..d3556ef 100644
--- a/p4src/static-mapping.p4
+++ b/p4src/static-mapping.p4
@@ -249,7 +249,8 @@ control MyIngress(inout headers hdr,
             NoAction;
         }
         size = ROUTING_TABLE_SIZE;
-        default_action = NoAction;
+//        default_action = NoAction;
+        default_action = controller_debug;
     }
 
     table v4_networks {