c11 safe string handling support
[vpp.git] / src / plugins / dpdk / device / flow.c
1 /*
2  * Copyright (c) 2019 Cisco and/or its affiliates.
3  * Licensed under the Apache License, Version 2.0 (the "License");
4  * you may not use this file except in compliance with the License.
5  * You may obtain a copy of the License at:
6  *
7  *     http://www.apache.org/licenses/LICENSE-2.0
8  *
9  * Unless required by applicable law or agreed to in writing, software
10  * distributed under the License is distributed on an "AS IS" BASIS,
11  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12  * See the License for the specific language governing permissions and
13  * limitations under the License.
14  */
15
16 #include <vnet/vnet.h>
17 #include <vppinfra/vec.h>
18 #include <vppinfra/format.h>
19 #include <vlib/unix/cj.h>
20 #include <assert.h>
21
22 #include <vnet/ip/ip.h>
23 #include <vnet/ethernet/ethernet.h>
24 #include <vnet/ethernet/arp_packet.h>
25 #include <vnet/vxlan/vxlan.h>
26 #include <dpdk/device/dpdk.h>
27
28 #include <dpdk/device/dpdk_priv.h>
29 #include <vppinfra/error.h>
30
31 /* constant structs */
32 static const struct rte_flow_attr ingress = {.ingress = 1 };
33 static const struct rte_flow_item_eth any_eth[2] = { };
34 static const struct rte_flow_item_vlan any_vlan[2] = { };
35
36 static int
37 dpdk_flow_add (dpdk_device_t * xd, vnet_flow_t * f, dpdk_flow_entry_t * fe)
38 {
39   struct rte_flow_item_ipv4 ip4[2] = { };
40   struct rte_flow_item_ipv6 ip6[2] = { };
41   struct rte_flow_item_udp udp[2] = { };
42   struct rte_flow_item_tcp tcp[2] = { };
43   struct rte_flow_action_mark mark = { 0 };
44   struct rte_flow_item *item, *items = 0;
45   struct rte_flow_action *action, *actions = 0;
46
47   enum
48   {
49     vxlan_hdr_sz = sizeof (vxlan_header_t),
50     raw_sz = sizeof (struct rte_flow_item_raw)
51   };
52
53   union
54   {
55     struct rte_flow_item_raw item;
56     u8 val[raw_sz + vxlan_hdr_sz];
57   } raw[2];
58
59   u16 src_port, dst_port, src_port_mask, dst_port_mask;
60   u8 protocol;
61   int rv = 0;
62
63   if (f->actions & (~xd->supported_flow_actions))
64     return VNET_FLOW_ERROR_NOT_SUPPORTED;
65
66   /* Match items */
67   /* Ethernet */
68   vec_add2 (items, item, 1);
69   item->type = RTE_FLOW_ITEM_TYPE_ETH;
70   item->spec = any_eth;
71   item->mask = any_eth + 1;
72
73   /* VLAN */
74   if (f->type != VNET_FLOW_TYPE_IP4_VXLAN)
75     {
76       vec_add2 (items, item, 1);
77       item->type = RTE_FLOW_ITEM_TYPE_VLAN;
78       item->spec = any_vlan;
79       item->mask = any_vlan + 1;
80     }
81
82   /* IP */
83   vec_add2 (items, item, 1);
84   if (f->type == VNET_FLOW_TYPE_IP6_N_TUPLE)
85     {
86       vnet_flow_ip6_n_tuple_t *t6 = &f->ip6_n_tuple;
87       clib_memcpy (ip6[0].hdr.src_addr, &t6->src_addr.addr, 16);
88       clib_memcpy (ip6[1].hdr.src_addr, &t6->src_addr.mask, 16);
89       clib_memcpy (ip6[0].hdr.dst_addr, &t6->dst_addr.addr, 16);
90       clib_memcpy (ip6[1].hdr.dst_addr, &t6->dst_addr.mask, 16);
91       item->type = RTE_FLOW_ITEM_TYPE_IPV6;
92       item->spec = ip6;
93       item->mask = ip6 + 1;
94
95       src_port = t6->src_port.port;
96       dst_port = t6->dst_port.port;
97       src_port_mask = t6->src_port.mask;
98       dst_port_mask = t6->dst_port.mask;
99       protocol = t6->protocol;
100     }
101   else if (f->type == VNET_FLOW_TYPE_IP4_N_TUPLE)
102     {
103       vnet_flow_ip4_n_tuple_t *t4 = &f->ip4_n_tuple;
104       ip4[0].hdr.src_addr = t4->src_addr.addr.as_u32;
105       ip4[1].hdr.src_addr = t4->src_addr.mask.as_u32;
106       ip4[0].hdr.dst_addr = t4->dst_addr.addr.as_u32;
107       ip4[1].hdr.dst_addr = t4->dst_addr.mask.as_u32;
108       item->type = RTE_FLOW_ITEM_TYPE_IPV4;
109       item->spec = ip4;
110       item->mask = ip4 + 1;
111
112       src_port = t4->src_port.port;
113       dst_port = t4->dst_port.port;
114       src_port_mask = t4->src_port.mask;
115       dst_port_mask = t4->dst_port.mask;
116       protocol = t4->protocol;
117     }
118   else if (f->type == VNET_FLOW_TYPE_IP4_VXLAN)
119     {
120       vnet_flow_ip4_vxlan_t *v4 = &f->ip4_vxlan;
121       ip4[0].hdr.src_addr = v4->src_addr.as_u32;
122       ip4[1].hdr.src_addr = -1;
123       ip4[0].hdr.dst_addr = v4->dst_addr.as_u32;
124       ip4[1].hdr.dst_addr = -1;
125       item->type = RTE_FLOW_ITEM_TYPE_IPV4;
126       item->spec = ip4;
127       item->mask = ip4 + 1;
128
129       dst_port = v4->dst_port;
130       dst_port_mask = -1;
131       src_port = 0;
132       src_port_mask = 0;
133       protocol = IP_PROTOCOL_UDP;
134     }
135   else
136     {
137       rv = VNET_FLOW_ERROR_NOT_SUPPORTED;
138       goto done;
139     }
140
141   /* Layer 4 */
142   vec_add2 (items, item, 1);
143   if (protocol == IP_PROTOCOL_UDP)
144     {
145       udp[0].hdr.src_port = clib_host_to_net_u16 (src_port);
146       udp[1].hdr.src_port = clib_host_to_net_u16 (src_port_mask);
147       udp[0].hdr.dst_port = clib_host_to_net_u16 (dst_port);
148       udp[1].hdr.dst_port = clib_host_to_net_u16 (dst_port_mask);
149       item->type = RTE_FLOW_ITEM_TYPE_UDP;
150       item->spec = udp;
151       item->mask = udp + 1;
152     }
153   else if (protocol == IP_PROTOCOL_TCP)
154     {
155       tcp[0].hdr.src_port = clib_host_to_net_u16 (src_port);
156       tcp[1].hdr.src_port = clib_host_to_net_u16 (src_port_mask);
157       tcp[0].hdr.dst_port = clib_host_to_net_u16 (dst_port);
158       tcp[1].hdr.dst_port = clib_host_to_net_u16 (dst_port_mask);
159       item->type = RTE_FLOW_ITEM_TYPE_TCP;
160       item->spec = tcp;
161       item->mask = tcp + 1;
162     }
163   else
164     {
165       rv = VNET_FLOW_ERROR_NOT_SUPPORTED;
166       goto done;
167     }
168
169   /* Tunnel header match */
170   if (f->type == VNET_FLOW_TYPE_IP4_VXLAN)
171     {
172       u32 vni = f->ip4_vxlan.vni;
173       vxlan_header_t spec_hdr = {
174         .flags = VXLAN_FLAGS_I,
175         .vni_reserved = clib_host_to_net_u32 (vni << 8)
176       };
177       vxlan_header_t mask_hdr = {
178         .flags = 0xff,
179         .vni_reserved = clib_host_to_net_u32 (((u32) - 1) << 8)
180       };
181
182       clib_memset (raw, 0, sizeof raw);
183       raw[0].item.relative = 1;
184       raw[0].item.length = vxlan_hdr_sz;
185
186       clib_memcpy (raw[0].val + raw_sz, &spec_hdr, vxlan_hdr_sz);
187       raw[0].item.pattern = raw[0].val + raw_sz;
188       clib_memcpy (raw[1].val + raw_sz, &mask_hdr, vxlan_hdr_sz);
189       raw[1].item.pattern = raw[1].val + raw_sz;
190
191       vec_add2 (items, item, 1);
192       item->type = RTE_FLOW_ITEM_TYPE_RAW;
193       item->spec = raw;
194       item->mask = raw + 1;
195     }
196
197   vec_add2 (items, item, 1);
198   item->type = RTE_FLOW_ITEM_TYPE_END;
199
200   /* Actions */
201   vec_add2 (actions, action, 1);
202   action->type = RTE_FLOW_ACTION_TYPE_PASSTHRU;
203
204   vec_add2 (actions, action, 1);
205   mark.id = fe->mark;
206   action->type = RTE_FLOW_ACTION_TYPE_MARK;
207   action->conf = &mark;
208
209   vec_add2 (actions, action, 1);
210   action->type = RTE_FLOW_ACTION_TYPE_END;
211
212   fe->handle = rte_flow_create (xd->device_index, &ingress, items, actions,
213                                 &xd->last_flow_error);
214
215   if (!fe->handle)
216     rv = VNET_FLOW_ERROR_NOT_SUPPORTED;
217
218 done:
219   vec_free (items);
220   vec_free (actions);
221   return rv;
222 }
223
224 int
225 dpdk_flow_ops_fn (vnet_main_t * vnm, vnet_flow_dev_op_t op, u32 dev_instance,
226                   u32 flow_index, uword * private_data)
227 {
228   dpdk_main_t *dm = &dpdk_main;
229   vnet_flow_t *flow = vnet_get_flow (flow_index);
230   dpdk_device_t *xd = vec_elt_at_index (dm->devices, dev_instance);
231   dpdk_flow_entry_t *fe;
232   dpdk_flow_lookup_entry_t *fle = 0;
233   int rv;
234
235   /* recycle old flow lookup entries only after the main loop counter
236      increases - i.e. previously DMA'ed packets were handled */
237   if (vec_len (xd->parked_lookup_indexes) > 0 &&
238       xd->parked_loop_count != dm->vlib_main->main_loop_count)
239     {
240       u32 *fl_index;
241
242       vec_foreach (fl_index, xd->parked_lookup_indexes)
243         pool_put_index (xd->flow_lookup_entries, *fl_index);
244       vec_reset_length (xd->flow_lookup_entries);
245     }
246
247   if (op == VNET_FLOW_DEV_OP_DEL_FLOW)
248     {
249       ASSERT (*private_data >= vec_len (xd->flow_entries));
250
251       fe = vec_elt_at_index (xd->flow_entries, *private_data);
252
253       if ((rv = rte_flow_destroy (xd->device_index, fe->handle,
254                                   &xd->last_flow_error)))
255         return VNET_FLOW_ERROR_INTERNAL;
256
257       if (fe->mark)
258         {
259           /* make sure no action is taken for in-flight (marked) packets */
260           fle = pool_elt_at_index (xd->flow_lookup_entries, fe->mark);
261           clib_memset (fle, -1, sizeof (*fle));
262           vec_add1 (xd->parked_lookup_indexes, fe->mark);
263           xd->parked_loop_count = dm->vlib_main->main_loop_count;
264         }
265
266       clib_memset (fe, 0, sizeof (*fe));
267       pool_put (xd->flow_entries, fe);
268
269       goto disable_rx_offload;
270     }
271
272   if (op != VNET_FLOW_DEV_OP_ADD_FLOW)
273     return VNET_FLOW_ERROR_NOT_SUPPORTED;
274
275   pool_get (xd->flow_entries, fe);
276   fe->flow_index = flow->index;
277
278   if (flow->actions == 0)
279     {
280       rv = VNET_FLOW_ERROR_NOT_SUPPORTED;
281       goto done;
282     }
283
284   /* if we need to mark packets, assign one mark */
285   if (flow->actions & (VNET_FLOW_ACTION_MARK |
286                        VNET_FLOW_ACTION_REDIRECT_TO_NODE |
287                        VNET_FLOW_ACTION_BUFFER_ADVANCE))
288     {
289       /* reserve slot 0 */
290       if (xd->flow_lookup_entries == 0)
291         pool_get_aligned (xd->flow_lookup_entries, fle,
292                           CLIB_CACHE_LINE_BYTES);
293       pool_get_aligned (xd->flow_lookup_entries, fle, CLIB_CACHE_LINE_BYTES);
294       fe->mark = fle - xd->flow_lookup_entries;
295
296       /* install entry in the lookup table */
297       clib_memset (fle, -1, sizeof (*fle));
298       if (flow->actions & VNET_FLOW_ACTION_MARK)
299         fle->flow_id = flow->mark_flow_id;
300       if (flow->actions & VNET_FLOW_ACTION_REDIRECT_TO_NODE)
301         fle->next_index = flow->redirect_device_input_next_index;
302       if (flow->actions & VNET_FLOW_ACTION_BUFFER_ADVANCE)
303         fle->buffer_advance = flow->buffer_advance;
304     }
305   else
306     fe->mark = 0;
307
308   if ((xd->flags & DPDK_DEVICE_FLAG_RX_FLOW_OFFLOAD) == 0)
309     {
310       xd->flags |= DPDK_DEVICE_FLAG_RX_FLOW_OFFLOAD;
311       dpdk_device_setup (xd);
312     }
313
314   switch (flow->type)
315     {
316     case VNET_FLOW_TYPE_IP4_N_TUPLE:
317     case VNET_FLOW_TYPE_IP6_N_TUPLE:
318     case VNET_FLOW_TYPE_IP4_VXLAN:
319       if ((rv = dpdk_flow_add (xd, flow, fe)))
320         goto done;
321       break;
322     default:
323       rv = VNET_FLOW_ERROR_NOT_SUPPORTED;
324       goto done;
325     }
326
327   *private_data = fe - xd->flow_entries;
328
329 done:
330   if (rv)
331     {
332       clib_memset (fe, 0, sizeof (*fe));
333       pool_put (xd->flow_entries, fe);
334       if (fle)
335         {
336           clib_memset (fle, -1, sizeof (*fle));
337           pool_put (xd->flow_lookup_entries, fle);
338         }
339     }
340 disable_rx_offload:
341   if ((xd->flags & DPDK_DEVICE_FLAG_RX_FLOW_OFFLOAD) != 0
342       && pool_elts (xd->flow_entries) == 0)
343     {
344       xd->flags &= ~DPDK_DEVICE_FLAG_RX_FLOW_OFFLOAD;
345       dpdk_device_setup (xd);
346     }
347
348   return rv;
349 }
350
351 u8 *
352 format_dpdk_flow (u8 * s, va_list * args)
353 {
354   u32 dev_instance = va_arg (*args, u32);
355   u32 flow_index = va_arg (*args, u32);
356   uword private_data = va_arg (*args, uword);
357   dpdk_main_t *dm = &dpdk_main;
358   dpdk_device_t *xd = vec_elt_at_index (dm->devices, dev_instance);
359   dpdk_flow_entry_t *fe;
360
361   if (flow_index == ~0)
362     {
363       s = format (s, "%-25s: %U\n", "supported flow actions",
364                   format_flow_actions, xd->supported_flow_actions);
365       s = format (s, "%-25s: %d\n", "last DPDK error type",
366                   xd->last_flow_error.type);
367       s = format (s, "%-25s: %s\n", "last DPDK error message",
368                   xd->last_flow_error.message ? xd->last_flow_error.message :
369                   "n/a");
370       return s;
371     }
372
373   if (private_data >= vec_len (xd->flow_entries))
374     return format (s, "unknown flow");
375
376   fe = vec_elt_at_index (xd->flow_entries, private_data);
377   s = format (s, "mark %u", fe->mark);
378   return s;
379 }
380
381 /*
382  * fd.io coding-style-patch-verification: ON
383  *
384  * Local Variables:
385  * eval: (c-set-style "gnu")
386  * End:
387  */