master-thesis/p4debug/bug1-bool
Your Name b089e37515 +pcap 2019-07-10 12:25:15 +00:00
..
README Add readmes, add .json extension 2019-03-06 19:55:04 +01:00
checksums.p4 Try to reproduce casting bug 2019-03-06 19:47:59 +01:00
headers.p4 Try to reproduce casting bug 2019-03-06 19:47:59 +01:00
parsers.p4 Try to reproduce casting bug 2019-03-06 19:47:59 +01:00
settings.p4 Try to reproduce casting bug 2019-03-06 19:47:59 +01:00
static-mapping.json +pcap 2019-07-10 12:25:15 +00:00
static-mapping.p4 Try to reproduce casting bug 2019-03-06 19:47:59 +01:00
static-mapping.p4i +pcap 2019-07-10 12:25:15 +00:00

README

How to reproduce:

cd master-thesis/p4app
sudo p4run --config bug1-bool.json


Result:

p4@ubuntu:~/master-thesis/p4app$ sudo p4run --config bug1-bool.json
...
*** Creating network
*** Adding hosts:
h1 h2 h3 h4
*** Adding switches:
s1 Warning: Linux bridge may not work with net.bridge.bridge-nf-call-arptables = 1
Warning: Linux bridge may not work with net.bridge.bridge-nf-call-iptables = 1
Warning: Linux bridge may not work with net.bridge.bridge-nf-call-ip6tables = 1
sw-cpu
*** Adding links:
(0ms delay) (0ms delay) (h1, s1) (0ms delay) (0ms delay) (h2, s1) (0ms delay) (0ms delay) (h3, s1) (0ms delay) (0ms delay) (h4,
 s1) (s1, sw-cpu)
*** Configuring hosts
h1 h2 h3 h4
*** Starting controller

*** Starting 2 switches
s1 Starting P4 switch s1.
simple_switch -i 1@s1-eth1 -i 2@s1-eth2 -i 3@s1-eth3 -i 4@s1-eth4 -i 5@s1-cpu-eth0 --pcap=/home/p4/master-thesis/p4app/pcap --t
hrift-port 9090 --nanolog ipc:///tmp/bm-1-log.ipc --device-id 1 ../bug1-bool/static-mapping.json --log-console >/home/p4/master
-thesis/p4app/log/s1.log
P4 switch s1 did not start correctly. Check the switch log file.

Checking out the log file:

p4@ubuntu:~/master-thesis/p4app$ cat /home/p4/master-thesis/p4app/log/s1.log
Warning: you requested the nanomsg event logger, but bmv2 was compiled without -DBMELOG, and the event logger cannot be activated
Calling target program-options parser
[18:45:55.972] [bmv2] [D] [thread 29651] Set default default entry for table 'MyIngress.v6_addresses': NoAction -
[18:45:55.972] [bmv2] [D] [thread 29651] Set default default entry for table 'MyIngress.v6_networks': NoAction -
[18:45:55.972] [bmv2] [D] [thread 29651] Set default default entry for table 'MyIngress.v4_networks': NoAction -
[18:45:55.972] [bmv2] [D] [thread 29651] Set default default entry for table 'tbl_act': act -
Invalid entry type 'expression' in field list
bad json:
{
   "type" : "expression",
   "value" : {
      "type" : "expression",
      "value" : {
         "left" : null,
         "op" : "d2b",
         "right" : {
            "type" : "field",
            "value" : [ "scalars", "metadata.do_cksum" ]
         }
      }
   }
}