blob: 32781134ecc5e19ce5c06e4c62820ec55468b0ca [file] [log] [blame]
Ed Warnickecb9cada2015-12-08 15:45:58 -07001/*
2 * Copyright (c) 2015 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 * rewrite.h: packet rewrite
17 *
18 * Copyright (c) 2008 Eliot Dresselhaus
19 *
20 * Permission is hereby granted, free of charge, to any person obtaining
21 * a copy of this software and associated documentation files (the
22 * "Software"), to deal in the Software without restriction, including
23 * without limitation the rights to use, copy, modify, merge, publish,
24 * distribute, sublicense, and/or sell copies of the Software, and to
25 * permit persons to whom the Software is furnished to do so, subject to
26 * the following conditions:
27 *
28 * The above copyright notice and this permission notice shall be
29 * included in all copies or substantial portions of the Software.
30 *
31 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
32 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
33 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
34 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
35 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
36 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
37 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
38 */
39
40#ifndef included_vnet_rewrite_h
41#define included_vnet_rewrite_h
42
43#include <vlib/vlib.h>
44#include <vnet/l3_types.h>
45
46/* Consider using vector types for speed? */
47typedef uword vnet_rewrite_data_t;
48
Neale Rannsb069a692017-03-15 12:34:25 -040049/**
50 * Flags associated with the rewrite/adjacency
51 */
52typedef enum vnet_rewrite_flags_t_
53{
54 /**
55 * This adjacency/interface has output features configured
56 */
57 VNET_REWRITE_HAS_FEATURES = (1 << 0),
58} __attribute__ ((packed)) vnet_rewrite_flags_t;
59
Dave Barachba868bb2016-08-08 09:51:21 -040060/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -070061typedef CLIB_PACKED (struct {
62 /* Interface to mark re-written packets with. */
63 u32 sw_if_index;
64
Ed Warnickecb9cada2015-12-08 15:45:58 -070065 /* Next node to feed after packet rewrite is done. */
66 u16 next_index;
67
68 /* Number of bytes in rewrite data. */
69 u16 data_bytes;
70
71 /* Max packet size layer 3 (MTU) for output interface.
72 Used for MTU check after packet rewrite. */
73 u16 max_l3_packet_bytes;
74
Neale Ranns2e7fbcc2017-03-15 04:22:25 -070075 /* Data-plane flags on the adjacency/rewrite */
Neale Rannsb069a692017-03-15 12:34:25 -040076 vnet_rewrite_flags_t flags;
77
Neale Ranns32e1c012016-11-22 17:07:28 +000078 /* When dynamically writing a multicast destination L2 addresss
Neale Ranns2e7fbcc2017-03-15 04:22:25 -070079 * this is the offset from the IP address at which to write in the
80 * IP->MAC address translation.
81 */
Neale Ranns32e1c012016-11-22 17:07:28 +000082 u8 dst_mcast_offset;
83
Ed Warnickecb9cada2015-12-08 15:45:58 -070084 /* Rewrite string starting at end and going backwards. */
85 u8 data[0];
86}) vnet_rewrite_header_t;
Dave Barachba868bb2016-08-08 09:51:21 -040087/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -070088
Neale Rannsb069a692017-03-15 12:34:25 -040089/**
90 * At 16 bytes of rewrite herader we have enought space left for a IPv6
91 * (40 bytes) + LISP-GPE (8 bytes) in the cache line
92 */
93STATIC_ASSERT (sizeof (vnet_rewrite_header_t) <= 16,
94 "Rewrite header too big");
95
Ed Warnickecb9cada2015-12-08 15:45:58 -070096/*
97 Helper macro for declaring rewrite string w/ given max-size.
98
99 Typical usage:
100 typedef struct {
Dave Barachba868bb2016-08-08 09:51:21 -0400101 //
Ed Warnickecb9cada2015-12-08 15:45:58 -0700102 int a, b;
103
104 // Total adjacency is 64 bytes.
105 vnet_rewrite_declare(64 - 2*sizeof(int)) rw;
106 } my_adjacency_t;
107*/
108#define vnet_declare_rewrite(total_bytes) \
109struct { \
110 vnet_rewrite_header_t rewrite_header; \
111 \
112 u8 rewrite_data[(total_bytes) - sizeof (vnet_rewrite_header_t)]; \
113}
114
115always_inline void
Neale Rannsb80c5362016-10-08 13:03:40 +0100116vnet_rewrite_clear_data_internal (vnet_rewrite_header_t * rw, int max_size)
117{
Dave Barachb7b92992018-10-17 10:38:51 -0400118 /* Sanity check values carefully for this clib_memset operation */
Neale Rannsb80c5362016-10-08 13:03:40 +0100119 ASSERT ((max_size > 0) && (max_size < VLIB_BUFFER_PRE_DATA_SIZE));
120
121 rw->data_bytes = 0;
Dave Barachb7b92992018-10-17 10:38:51 -0400122 clib_memset (rw->data, 0xfe, max_size);
Neale Rannsb80c5362016-10-08 13:03:40 +0100123}
124
125always_inline void
Ed Warnickecb9cada2015-12-08 15:45:58 -0700126vnet_rewrite_set_data_internal (vnet_rewrite_header_t * rw,
Dave Barachba868bb2016-08-08 09:51:21 -0400127 int max_size, void *data, int data_bytes)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700128{
Dave Barachb7b92992018-10-17 10:38:51 -0400129 /* Sanity check values carefully for this clib_memset operation */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700130 ASSERT ((max_size > 0) && (max_size < VLIB_BUFFER_PRE_DATA_SIZE));
131 ASSERT ((data_bytes >= 0) && (data_bytes < max_size));
132
133 rw->data_bytes = data_bytes;
Dave Barach178cf492018-11-13 16:34:13 -0500134 clib_memcpy_fast (rw->data + max_size - data_bytes, data, data_bytes);
Dave Barachb7b92992018-10-17 10:38:51 -0400135 clib_memset (rw->data, 0xfe, max_size - data_bytes);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700136}
137
138#define vnet_rewrite_set_data(rw,data,data_bytes) \
139 vnet_rewrite_set_data_internal (&((rw).rewrite_header), \
140 sizeof ((rw).rewrite_data), \
141 (data), \
142 (data_bytes))
143
144always_inline void *
145vnet_rewrite_get_data_internal (vnet_rewrite_header_t * rw, int max_size)
146{
147 ASSERT (rw->data_bytes <= max_size);
148 return rw->data + max_size - rw->data_bytes;
149}
150
151#define vnet_rewrite_get_data(rw) \
152 vnet_rewrite_get_data_internal (&((rw).rewrite_header), sizeof ((rw).rewrite_data))
153
154always_inline void
Dave Barachba868bb2016-08-08 09:51:21 -0400155vnet_rewrite_copy_one (vnet_rewrite_data_t * p0, vnet_rewrite_data_t * rw0,
156 int i)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700157{
158 p0[-i] = rw0[-i];
159}
160
161void vnet_rewrite_copy_slow_path (vnet_rewrite_data_t * p0,
162 vnet_rewrite_data_t * rw0,
Dave Barachba868bb2016-08-08 09:51:21 -0400163 word n_left, uword most_likely_size);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700164
Dave Barachba868bb2016-08-08 09:51:21 -0400165/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700166typedef CLIB_PACKED (struct {
167 u64 a;
168 u32 b;
169 u16 c;
170}) eh_copy_t;
Dave Barachba868bb2016-08-08 09:51:21 -0400171/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700172
173always_inline void
174_vnet_rewrite_one_header (vnet_rewrite_header_t * h0,
Dave Barachba868bb2016-08-08 09:51:21 -0400175 void *packet0, int max_size, int most_likely_size)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700176{
Dave Barachba868bb2016-08-08 09:51:21 -0400177 vnet_rewrite_data_t *p0 = packet0;
178 vnet_rewrite_data_t *rw0 = (vnet_rewrite_data_t *) (h0->data + max_size);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700179 word n_left0;
180
181 /* 0xfefe => poisoned adjacency => crash */
182 ASSERT (h0->data_bytes != 0xfefe);
183
184 if (PREDICT_TRUE (h0->data_bytes == sizeof (eh_copy_t)))
185 {
Dave Barachba868bb2016-08-08 09:51:21 -0400186 eh_copy_t *s, *d;
187 s = (eh_copy_t *) (h0->data + max_size - sizeof (eh_copy_t));
188 d = (eh_copy_t *) (((u8 *) packet0) - sizeof (eh_copy_t));
Damjan Marionf1213b82016-03-13 02:22:06 +0100189 clib_memcpy (d, s, sizeof (eh_copy_t));
Ed Warnickecb9cada2015-12-08 15:45:58 -0700190 return;
191 }
Dave Barach974931f2019-03-07 10:06:52 -0500192 /*
193 * Stop now if the data_bytes field is zero, to avoid the cache
194 * miss consequences of spraying [functionally harmless] junk into
195 * un-prefetched rewrite space.
196 */
197 if (PREDICT_FALSE (h0->data_bytes == 0))
198 return;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700199
200#define _(i) \
201 do { \
202 if (most_likely_size > ((i)-1)*sizeof (vnet_rewrite_data_t)) \
203 vnet_rewrite_copy_one (p0, rw0, (i)); \
204 } while (0)
205
Dave Barachba868bb2016-08-08 09:51:21 -0400206 _(4);
207 _(3);
208 _(2);
209 _(1);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700210
211#undef _
Dave Barachba868bb2016-08-08 09:51:21 -0400212
Ed Warnickecb9cada2015-12-08 15:45:58 -0700213 n_left0 = (int)
Dave Barachba868bb2016-08-08 09:51:21 -0400214 (((int) h0->data_bytes - most_likely_size) + (sizeof (rw0[0]) - 1))
215 / (int) sizeof (rw0[0]);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700216 if (PREDICT_FALSE (n_left0 > 0))
217 vnet_rewrite_copy_slow_path (p0, rw0, n_left0, most_likely_size);
218}
219
220always_inline void
221_vnet_rewrite_two_headers (vnet_rewrite_header_t * h0,
222 vnet_rewrite_header_t * h1,
Dave Barachba868bb2016-08-08 09:51:21 -0400223 void *packet0,
224 void *packet1, int max_size, int most_likely_size)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700225{
Dave Barachba868bb2016-08-08 09:51:21 -0400226 vnet_rewrite_data_t *p0 = packet0;
227 vnet_rewrite_data_t *p1 = packet1;
228 vnet_rewrite_data_t *rw0 = (vnet_rewrite_data_t *) (h0->data + max_size);
229 vnet_rewrite_data_t *rw1 = (vnet_rewrite_data_t *) (h1->data + max_size);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700230 word n_left0, n_left1;
231 int slow_path;
232
233 /* 0xfefe => poisoned adjacency => crash */
234 ASSERT (h0->data_bytes != 0xfefe);
235 ASSERT (h1->data_bytes != 0xfefe);
236
237 /* Arithmetic calculation: bytes0 == bytes1 == 14 */
238 slow_path = h0->data_bytes ^ h1->data_bytes;
239 slow_path += h0->data_bytes ^ sizeof (eh_copy_t);
240
241 if (PREDICT_TRUE (slow_path == 0))
242 {
Dave Barachba868bb2016-08-08 09:51:21 -0400243 eh_copy_t *s0, *d0, *s1, *d1;
244 s0 = (eh_copy_t *) (h0->data + max_size - sizeof (eh_copy_t));
245 d0 = (eh_copy_t *) (((u8 *) packet0) - sizeof (eh_copy_t));
Damjan Marionf1213b82016-03-13 02:22:06 +0100246 clib_memcpy (d0, s0, sizeof (eh_copy_t));
Dave Barachba868bb2016-08-08 09:51:21 -0400247 s1 = (eh_copy_t *) (h1->data + max_size - sizeof (eh_copy_t));
248 d1 = (eh_copy_t *) (((u8 *) packet1) - sizeof (eh_copy_t));
Damjan Marionf1213b82016-03-13 02:22:06 +0100249 clib_memcpy (d1, s1, sizeof (eh_copy_t));
Ed Warnickecb9cada2015-12-08 15:45:58 -0700250 return;
251 }
252
Dave Barach974931f2019-03-07 10:06:52 -0500253 /*
254 * Stop now if both rewrite data_bytes fields are zero, to avoid the cache
255 * miss consequences of spraying [functionally harmless] junk into
256 * un-prefetched rewrite space.
257 */
258 if (PREDICT_FALSE (h0->data_bytes + h1->data_bytes == 0))
259 return;
260
Ed Warnickecb9cada2015-12-08 15:45:58 -0700261#define _(i) \
262 do { \
263 if (most_likely_size > ((i)-1)*sizeof (vnet_rewrite_data_t)) \
264 { \
265 vnet_rewrite_copy_one (p0, rw0, (i)); \
266 vnet_rewrite_copy_one (p1, rw1, (i)); \
267 } \
268 } while (0)
269
Dave Barachba868bb2016-08-08 09:51:21 -0400270 _(4);
271 _(3);
272 _(2);
273 _(1);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700274
275#undef _
Dave Barachba868bb2016-08-08 09:51:21 -0400276
Ed Warnickecb9cada2015-12-08 15:45:58 -0700277 n_left0 = (int)
Dave Barachba868bb2016-08-08 09:51:21 -0400278 (((int) h0->data_bytes - most_likely_size) + (sizeof (rw0[0]) - 1))
279 / (int) sizeof (rw0[0]);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700280 n_left1 = (int)
Dave Barachba868bb2016-08-08 09:51:21 -0400281 (((int) h1->data_bytes - most_likely_size) + (sizeof (rw1[0]) - 1))
282 / (int) sizeof (rw1[0]);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700283
284 if (PREDICT_FALSE (n_left0 > 0 || n_left1 > 0))
285 {
286 vnet_rewrite_copy_slow_path (p0, rw0, n_left0, most_likely_size);
287 vnet_rewrite_copy_slow_path (p1, rw1, n_left1, most_likely_size);
288 }
289}
290
291#define vnet_rewrite_one_header(rw0,p0,most_likely_size) \
292 _vnet_rewrite_one_header (&((rw0).rewrite_header), (p0), \
293 sizeof ((rw0).rewrite_data), \
294 (most_likely_size))
295
296#define vnet_rewrite_two_headers(rw0,rw1,p0,p1,most_likely_size) \
297 _vnet_rewrite_two_headers (&((rw0).rewrite_header), &((rw1).rewrite_header), \
298 (p0), (p1), \
299 sizeof ((rw0).rewrite_data), \
300 (most_likely_size))
301
Neale Ranns32e1c012016-11-22 17:07:28 +0000302always_inline void
Neale Ranns889fe942017-06-01 05:43:19 -0400303vnet_ip_mcast_fixup_header (u32 dst_mcast_mask,
304 u32 dst_mcast_offset, u32 * addr, u8 * packet0)
Neale Ranns32e1c012016-11-22 17:07:28 +0000305{
Neale Ranns889fe942017-06-01 05:43:19 -0400306 if (PREDICT_TRUE (0 != dst_mcast_offset))
Neale Ranns2e7fbcc2017-03-15 04:22:25 -0700307 {
308 /* location to write to in the packet */
Neale Ranns889fe942017-06-01 05:43:19 -0400309 u8 *p0 = packet0 - dst_mcast_offset;
Neale Ranns2e7fbcc2017-03-15 04:22:25 -0700310 u32 *p1 = (u32 *) p0;
Neale Ranns32e1c012016-11-22 17:07:28 +0000311
Neale Ranns889fe942017-06-01 05:43:19 -0400312 *p1 |= (*addr & dst_mcast_mask);
Neale Ranns2e7fbcc2017-03-15 04:22:25 -0700313 }
Neale Ranns32e1c012016-11-22 17:07:28 +0000314}
315
Ed Warnickecb9cada2015-12-08 15:45:58 -0700316#define VNET_REWRITE_FOR_SW_INTERFACE_ADDRESS_BROADCAST ((void *) 0)
Neale Rannsb80c5362016-10-08 13:03:40 +0100317/** Deprecated */
Dave Barachba868bb2016-08-08 09:51:21 -0400318void vnet_rewrite_for_sw_interface (struct vnet_main_t *vnm,
Neale Rannsb80c5362016-10-08 13:03:40 +0100319 vnet_link_t packet_type,
Ed Warnickecb9cada2015-12-08 15:45:58 -0700320 u32 sw_if_index,
321 u32 node_index,
Dave Barachba868bb2016-08-08 09:51:21 -0400322 void *dst_address,
Ed Warnickecb9cada2015-12-08 15:45:58 -0700323 vnet_rewrite_header_t * rw,
324 u32 max_rewrite_bytes);
325
Neale Rannsb80c5362016-10-08 13:03:40 +0100326u32 vnet_tx_node_index_for_sw_interface (struct vnet_main_t *vnm,
327 u32 sw_if_index);
328
329void vnet_rewrite_init (struct vnet_main_t *vnm,
330 u32 sw_if_index,
Ole Troand7231612018-06-07 10:17:57 +0200331 vnet_link_t linkt,
Neale Rannsb80c5362016-10-08 13:03:40 +0100332 u32 this_node,
333 u32 next_node, vnet_rewrite_header_t * rw);
334
Neale Rannsffd78d12018-02-09 06:05:16 -0800335void vnet_rewrite_update_mtu (struct vnet_main_t *vnm,
Ole Troand7231612018-06-07 10:17:57 +0200336 vnet_link_t linkt, vnet_rewrite_header_t * rw);
Neale Rannsffd78d12018-02-09 06:05:16 -0800337
Neale Rannsb80c5362016-10-08 13:03:40 +0100338u8 *vnet_build_rewrite_for_sw_interface (struct vnet_main_t *vnm,
339 u32 sw_if_index,
340 vnet_link_t packet_type,
341 const void *dst_address);
342void vnet_update_adjacency_for_sw_interface (struct vnet_main_t *vnm,
343 u32 sw_if_index, u32 ai);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700344
Ed Warnickecb9cada2015-12-08 15:45:58 -0700345format_function_t format_vnet_rewrite;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700346
347serialize_function_t serialize_vnet_rewrite, unserialize_vnet_rewrite;
348
349#endif /* included_vnet_rewrite_h */
Dave Barachba868bb2016-08-08 09:51:21 -0400350
351/*
352 * fd.io coding-style-patch-verification: ON
353 *
354 * Local Variables:
355 * eval: (c-set-style "gnu")
356 * End:
357 */