examples/pipeline/examples/learner.spec

   1 ; SPDX-License-Identifier: BSD-3-Clause
   2 ; Copyright(c) 2020 Intel Corporation
   3
   4 ; The learner tables are very useful for learning and connection tracking.
   5 ;
   6 ; As opposed to regular tables, which are read-only for the data plane, the learner tables can be
   7 ; updated by the data plane without any control plane intervention. The "learning" process typically
   8 ; takes place by having the default action (i.e. the table action which is executed on lookup miss)
   9 ; explicitly add to the table with a specific action the key that just missed the lookup operation.
  10 ; Each table key expires automatically after a configurable timeout period if not hit during this
  11 ; interval.
  12 ;
  13 ; This example demonstrates a simple connection tracking setup, where the connections are identified
  14 ; by the IPv4 destination address. The forwarding action assigned to each new connection gets the
  15 ; output port as argument, with the output port of each connection generated by a counter that is
  16 ; persistent between packets. On top of the usual table stats, the learner table stats include the
  17 ; number of packets with learning related events.
  18
  19 //
  20 // Headers
  21 //
  22 struct ethernet_h {
  23         bit<48> dst_addr
  24         bit<48> src_addr
  25         bit<16> ethertype
  26 }
  27
  28 struct ipv4_h {
  29         bit<8> ver_ihl
  30         bit<8> diffserv
  31         bit<16> total_len
  32         bit<16> identification
  33         bit<16> flags_offset
  34         bit<8> ttl
  35         bit<8> protocol
  36         bit<16> hdr_checksum
  37         bit<32> src_addr
  38         bit<32> dst_addr
  39 }
  40
  41 header ethernet instanceof ethernet_h
  42 header ipv4 instanceof ipv4_h
  43
  44 //
  45 // Meta-data
  46 //
  47 struct metadata_t {
  48         bit<32> port_in
  49         bit<32> port_out
  50
  51         // Arguments for the "fwd_action" action.
  52         bit<32> fwd_action_arg_port_out
  53 }
  54
  55 metadata instanceof metadata_t
  56
  57 //
  58 // Registers.
  59 //
  60 regarray counter size 1 initval 0
  61
  62 //
  63 // Actions
  64 //
  65 struct fwd_action_args_t {
  66         bit<32> port_out
  67 }
  68
  69 action fwd_action args instanceof fwd_action_args_t {
  70         mov m.port_out t.port_out
  71         return
  72 }
  73
  74 action learn_action args none {
  75         // Read current counter value into m.fwd_action_arg_port_out.
  76         regrd m.fwd_action_arg_port_out counter 0
  77
  78         // Increment the counter.
  79         regadd counter 0 1
  80
  81         // Limit the output port values to 0 .. 3.
  82         and m.fwd_action_arg_port_out 3
  83
  84         // Add the current lookup key to the table with fwd_action as the key action. The action
  85         // arguments are read from the packet meta-data (the m.fwd_action_arg_port_out field). These
  86         // packet meta-data fields have to be written before the "learn" instruction is invoked.
  87         learn fwd_action m.fwd_action_arg_port_out
  88
  89         // Send the current packet to the same output port.
  90         mov m.port_out m.fwd_action_arg_port_out
  91
  92         return
  93 }
  94
  95 //
  96 // Tables.
  97 //
  98 learner fwd_table {
  99         key {
 100                 h.ipv4.dst_addr
 101         }
 102
 103         actions {
 104                 fwd_action
 105
 106                 learn_action
 107         }
 108
 109         default_action learn_action args none
 110
 111         size 1048576
 112
 113         timeout 120
 114 }
 115
 116 //
 117 // Pipeline.
 118 //
 119 apply {
 120         rx m.port_in
 121         extract h.ethernet
 122         extract h.ipv4
 123         table fwd_table
 124         emit h.ethernet
 125         emit h.ipv4
 126         tx m.port_out
 127 }