blob: 9aa8777514f7717c58832b5c542175611079d357 [file] [log] [blame]
Ed Warnickecb9cada2015-12-08 15:45:58 -07001/*---------------------------------------------------------------------------
2 * Copyright (c) 2009-2014 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/*
17 * IPv4 Fragmentation Node
18 *
19 *
20 */
21
22#include "ip_frag.h"
23
24#include <vnet/ip/ip.h>
25
Dave Barachd7cb1b52016-12-09 09:52:16 -050026typedef struct
27{
Ed Warnickecb9cada2015-12-08 15:45:58 -070028 u8 ipv6;
Ed Warnickecb9cada2015-12-08 15:45:58 -070029 u16 mtu;
30 u8 next;
31 u16 n_fragments;
32} ip_frag_trace_t;
33
Dave Barachd7cb1b52016-12-09 09:52:16 -050034static u8 *
35format_ip_frag_trace (u8 * s, va_list * args)
Ed Warnickecb9cada2015-12-08 15:45:58 -070036{
37 CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *);
38 CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *);
Dave Barachd7cb1b52016-12-09 09:52:16 -050039 ip_frag_trace_t *t = va_arg (*args, ip_frag_trace_t *);
Rajesh Goeld6f1c9c2019-10-06 13:17:36 +053040 s = format (s, "IPv%s mtu: %u fragments: %u next: %d",
41 t->ipv6 ? "6" : "4", t->mtu, t->n_fragments, t->next);
Ed Warnickecb9cada2015-12-08 15:45:58 -070042 return s;
43}
44
45static u32 running_fragment_id;
46
Ole Troan282093f2018-09-19 12:38:51 +020047static void
48frag_set_sw_if_index (vlib_buffer_t * to, vlib_buffer_t * from)
49{
50 vnet_buffer (to)->sw_if_index[VLIB_RX] =
51 vnet_buffer (from)->sw_if_index[VLIB_RX];
52 vnet_buffer (to)->sw_if_index[VLIB_TX] =
53 vnet_buffer (from)->sw_if_index[VLIB_TX];
54
55 /* Copy adj_index in case DPO based node is sending for the
56 * fragmentation, the packet would be sent back to the proper
57 * DPO next node and Index
58 */
59 vnet_buffer (to)->ip.adj_index[VLIB_RX] =
60 vnet_buffer (from)->ip.adj_index[VLIB_RX];
61 vnet_buffer (to)->ip.adj_index[VLIB_TX] =
62 vnet_buffer (from)->ip.adj_index[VLIB_TX];
Vijayabhaskar Katamreddy64fb9952018-11-28 12:05:23 -080063
64 /* Copy QoS Bits */
65 if (PREDICT_TRUE (from->flags & VNET_BUFFER_F_QOS_DATA_VALID))
66 {
67 vnet_buffer2 (to)->qos = vnet_buffer2 (from)->qos;
68 to->flags |= VNET_BUFFER_F_QOS_DATA_VALID;
69 }
Ole Troan282093f2018-09-19 12:38:51 +020070}
71
72static vlib_buffer_t *
73frag_buffer_alloc (vlib_buffer_t * org_b, u32 * bi)
74{
75 vlib_main_t *vm = vlib_get_main ();
76 if (vlib_buffer_alloc (vm, bi, 1) != 1)
77 return 0;
78
79 vlib_buffer_t *b = vlib_get_buffer (vm, *bi);
Ole Troan282093f2018-09-19 12:38:51 +020080 VLIB_BUFFER_TRACE_TRAJECTORY_INIT (b);
81 vlib_buffer_copy_trace_flag (vm, org_b, *bi);
82
83 return b;
84}
85
Ole Troan4146c652018-08-08 22:23:19 +020086/*
87 * Limitation: Does follow buffer chains in the packet to fragment,
88 * but does not generate buffer chains. I.e. a fragment is always
89 * contained with in a single buffer and limited to the max buffer
90 * size.
Ole Troaneb284a12019-10-09 13:33:19 +020091 * from_bi: current pointer must point to IPv4 header
Ole Troan4146c652018-08-08 22:23:19 +020092 */
Ole Troaneb284a12019-10-09 13:33:19 +020093ip_frag_error_t
94ip4_frag_do_fragment (vlib_main_t * vm, u32 from_bi, u16 mtu,
95 u16 l2unfragmentablesize, u32 ** buffer)
Ed Warnickecb9cada2015-12-08 15:45:58 -070096{
Ole Troan4146c652018-08-08 22:23:19 +020097 vlib_buffer_t *from_b;
Ed Warnickecb9cada2015-12-08 15:45:58 -070098 ip4_header_t *ip4;
Ole Troaneb284a12019-10-09 13:33:19 +020099 u16 len, max, rem, ip_frag_id, ip_frag_offset;
Ole Troan4146c652018-08-08 22:23:19 +0200100 u8 *org_from_packet, more;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700101
Ole Troan4146c652018-08-08 22:23:19 +0200102 from_b = vlib_get_buffer (vm, from_bi);
Ole Troan4146c652018-08-08 22:23:19 +0200103 org_from_packet = vlib_buffer_get_current (from_b);
Ole Troaneb284a12019-10-09 13:33:19 +0200104 ip4 = vlib_buffer_get_current (from_b) + l2unfragmentablesize;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700105
Ole Troan4146c652018-08-08 22:23:19 +0200106 rem = clib_net_to_host_u16 (ip4->length) - sizeof (ip4_header_t);
Juraj Sloboda68b7cb82018-10-16 12:18:21 +0200107 max =
Damjan Marion8934a042019-02-09 23:29:26 +0100108 (clib_min (mtu, vlib_buffer_get_default_data_size (vm)) -
Damjan Marion5de3fec2019-02-06 14:22:32 +0100109 sizeof (ip4_header_t)) & ~0x7;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700110
Ole Troan4146c652018-08-08 22:23:19 +0200111 if (rem >
Ole Troan282093f2018-09-19 12:38:51 +0200112 (vlib_buffer_length_in_chain (vm, from_b) - sizeof (ip4_header_t)))
Dave Barachd7cb1b52016-12-09 09:52:16 -0500113 {
Ole Troaneb284a12019-10-09 13:33:19 +0200114 return IP_FRAG_ERROR_MALFORMED;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500115 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700116
Ole Troan4146c652018-08-08 22:23:19 +0200117 if (mtu < sizeof (ip4_header_t))
Dave Barachd7cb1b52016-12-09 09:52:16 -0500118 {
Ole Troaneb284a12019-10-09 13:33:19 +0200119 return IP_FRAG_ERROR_CANT_FRAGMENT_HEADER;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500120 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700121
122 if (ip4->flags_and_fragment_offset &
Dave Barachd7cb1b52016-12-09 09:52:16 -0500123 clib_host_to_net_u16 (IP4_HEADER_FLAG_DONT_FRAGMENT))
124 {
Ole Troaneb284a12019-10-09 13:33:19 +0200125 return IP_FRAG_ERROR_DONT_FRAGMENT_SET;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500126 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700127
Dave Barachd7cb1b52016-12-09 09:52:16 -0500128 if (ip4_is_fragment (ip4))
129 {
130 ip_frag_id = ip4->fragment_id;
131 ip_frag_offset = ip4_get_fragment_offset (ip4);
132 more =
Vijayabhaskar Katamreddyce074122017-11-15 13:50:26 -0800133 !(!(ip4->flags_and_fragment_offset &
134 clib_host_to_net_u16 (IP4_HEADER_FLAG_MORE_FRAGMENTS)));
Dave Barachd7cb1b52016-12-09 09:52:16 -0500135 }
136 else
137 {
138 ip_frag_id = (++running_fragment_id);
139 ip_frag_offset = 0;
140 more = 0;
141 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700142
Ole Troan4146c652018-08-08 22:23:19 +0200143 u8 *from_data = (void *) (ip4 + 1);
144 vlib_buffer_t *org_from_b = from_b;
Ole Troan282093f2018-09-19 12:38:51 +0200145 u16 fo = 0;
Ole Troaneb284a12019-10-09 13:33:19 +0200146 u16 left_in_from_buffer =
147 from_b->current_length - (l2unfragmentablesize + sizeof (ip4_header_t));
Ole Troan282093f2018-09-19 12:38:51 +0200148 u16 ptr = 0;
Ole Troan4146c652018-08-08 22:23:19 +0200149
150 /* Do the actual fragmentation */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500151 while (rem)
152 {
Ole Troan4146c652018-08-08 22:23:19 +0200153 u32 to_bi;
154 vlib_buffer_t *to_b;
155 ip4_header_t *to_ip4;
156 u8 *to_data;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700157
Juraj Sloboda68b7cb82018-10-16 12:18:21 +0200158 len = (rem > max ? max : rem);
Ole Troan4146c652018-08-08 22:23:19 +0200159 if (len != rem) /* Last fragment does not need to divisible by 8 */
160 len &= ~0x7;
Ole Troan282093f2018-09-19 12:38:51 +0200161 if ((to_b = frag_buffer_alloc (org_from_b, &to_bi)) == 0)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500162 {
Ole Troaneb284a12019-10-09 13:33:19 +0200163 return IP_FRAG_ERROR_MEMORY;
Ole Troan4146c652018-08-08 22:23:19 +0200164 }
165 vec_add1 (*buffer, to_bi);
Ole Troan282093f2018-09-19 12:38:51 +0200166 frag_set_sw_if_index (to_b, org_from_b);
Ole Troan4146c652018-08-08 22:23:19 +0200167
Ole Troan282093f2018-09-19 12:38:51 +0200168 /* Copy ip4 header */
Ole Troaneb284a12019-10-09 13:33:19 +0200169 to_data = vlib_buffer_get_current (to_b);
170 clib_memcpy_fast (to_data, org_from_packet,
171 l2unfragmentablesize + sizeof (ip4_header_t));
172 to_ip4 = (ip4_header_t *) (to_data + l2unfragmentablesize);
Ole Troan4146c652018-08-08 22:23:19 +0200173 to_data = (void *) (to_ip4 + 1);
Neale Ranns0b6a8572019-10-30 17:34:14 +0000174 vnet_buffer (to_b)->l3_hdr_offset = to_b->current_data;
Ole Troaneb284a12019-10-09 13:33:19 +0200175 vlib_buffer_copy_trace_flag (vm, from_b, to_bi);
Neale Ranns0b6a8572019-10-30 17:34:14 +0000176 to_b->flags |= VNET_BUFFER_F_L3_HDR_OFFSET_VALID;
177
178 if (from_b->flags & VNET_BUFFER_F_L4_HDR_OFFSET_VALID)
179 {
180 vnet_buffer (to_b)->l4_hdr_offset =
181 (vnet_buffer (to_b)->l3_hdr_offset +
182 (vnet_buffer (from_b)->l4_hdr_offset -
183 vnet_buffer (from_b)->l3_hdr_offset));
184 to_b->flags |= VNET_BUFFER_F_L4_HDR_OFFSET_VALID;
185 }
Ole Troan4146c652018-08-08 22:23:19 +0200186
Ole Troan7eb9d962018-08-10 14:39:48 +0200187 /* Spin through from buffers filling up the to buffer */
Ole Troan282093f2018-09-19 12:38:51 +0200188 u16 left_in_to_buffer = len, to_ptr = 0;
Ole Troan7eb9d962018-08-10 14:39:48 +0200189 while (1)
Ole Troan4146c652018-08-08 22:23:19 +0200190 {
Ole Troan282093f2018-09-19 12:38:51 +0200191 u16 bytes_to_copy;
192
Ole Troan7eb9d962018-08-10 14:39:48 +0200193 /* Figure out how many bytes we can safely copy */
194 bytes_to_copy = left_in_to_buffer <= left_in_from_buffer ?
195 left_in_to_buffer : left_in_from_buffer;
Dave Barach178cf492018-11-13 16:34:13 -0500196 clib_memcpy_fast (to_data + to_ptr, from_data + ptr, bytes_to_copy);
Ole Troan7eb9d962018-08-10 14:39:48 +0200197 left_in_to_buffer -= bytes_to_copy;
198 ptr += bytes_to_copy;
199 left_in_from_buffer -= bytes_to_copy;
200 if (left_in_to_buffer == 0)
201 break;
Ole Troan4146c652018-08-08 22:23:19 +0200202
Ole Troan282093f2018-09-19 12:38:51 +0200203 ASSERT (left_in_from_buffer <= 0);
Ole Troan4146c652018-08-08 22:23:19 +0200204 /* Move buffer */
205 if (!(from_b->flags & VLIB_BUFFER_NEXT_PRESENT))
206 {
Ole Troaneb284a12019-10-09 13:33:19 +0200207 return IP_FRAG_ERROR_MALFORMED;
Ole Troan4146c652018-08-08 22:23:19 +0200208 }
209 from_b = vlib_get_buffer (vm, from_b->next_buffer);
210 from_data = (u8 *) vlib_buffer_get_current (from_b);
Ole Troan7eb9d962018-08-10 14:39:48 +0200211 ptr = 0;
212 left_in_from_buffer = from_b->current_length;
213 to_ptr += bytes_to_copy;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500214 }
Ole Troan7eb9d962018-08-10 14:39:48 +0200215
Neale Ranns0b6a8572019-10-30 17:34:14 +0000216 to_b->flags |= VNET_BUFFER_F_IS_IP4;
Ole Troaneb284a12019-10-09 13:33:19 +0200217 to_b->current_length =
218 len + sizeof (ip4_header_t) + l2unfragmentablesize;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500219
Ole Troan4146c652018-08-08 22:23:19 +0200220 to_ip4->fragment_id = ip_frag_id;
221 to_ip4->flags_and_fragment_offset =
222 clib_host_to_net_u16 ((fo >> 3) + ip_frag_offset);
223 to_ip4->flags_and_fragment_offset |=
Dave Barachd7cb1b52016-12-09 09:52:16 -0500224 clib_host_to_net_u16 (((len != rem) || more) << 13);
Ole Troan4146c652018-08-08 22:23:19 +0200225 to_ip4->length = clib_host_to_net_u16 (len + sizeof (ip4_header_t));
226 to_ip4->checksum = ip4_header_checksum (to_ip4);
Dave Barachd7cb1b52016-12-09 09:52:16 -0500227
Neale Ranns0b6a8572019-10-30 17:34:14 +0000228 /* we've just done the IP checksum .. */
229 to_b->flags &= ~VNET_BUFFER_F_OFFLOAD_IP_CKSUM;
230
Dave Barachd7cb1b52016-12-09 09:52:16 -0500231 rem -= len;
Ole Troan4146c652018-08-08 22:23:19 +0200232 fo += len;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700233 }
Ole Troaneb284a12019-10-09 13:33:19 +0200234
235 return IP_FRAG_ERROR_NONE;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700236}
237
Ole Troan9fb87552016-01-13 22:30:43 +0100238void
Ole Troan282093f2018-09-19 12:38:51 +0200239ip_frag_set_vnet_buffer (vlib_buffer_t * b, u16 mtu, u8 next_index, u8 flags)
Ole Troan9fb87552016-01-13 22:30:43 +0100240{
Dave Barachd7cb1b52016-12-09 09:52:16 -0500241 vnet_buffer (b)->ip_frag.mtu = mtu;
242 vnet_buffer (b)->ip_frag.next_index = next_index;
243 vnet_buffer (b)->ip_frag.flags = flags;
Ole Troan9fb87552016-01-13 22:30:43 +0100244}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700245
Ole Troan282093f2018-09-19 12:38:51 +0200246
247static inline uword
248frag_node_inline (vlib_main_t * vm, vlib_node_runtime_t * node,
249 vlib_frame_t * frame, u32 node_index, bool is_ip6)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700250{
251 u32 n_left_from, *from, next_index, *to_next, n_left_to_next;
Ole Troan282093f2018-09-19 12:38:51 +0200252 vlib_node_runtime_t *error_node = vlib_node_get_runtime (vm, node_index);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700253 from = vlib_frame_vector_args (frame);
254 n_left_from = frame->n_vectors;
255 next_index = node->cached_next_index;
256 u32 frag_sent = 0, small_packets = 0;
257 u32 *buffer = 0;
258
Dave Barachd7cb1b52016-12-09 09:52:16 -0500259 while (n_left_from > 0)
260 {
261 vlib_get_next_frame (vm, node, next_index, to_next, n_left_to_next);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700262
Dave Barachd7cb1b52016-12-09 09:52:16 -0500263 while (n_left_from > 0 && n_left_to_next > 0)
264 {
265 u32 pi0, *frag_from, frag_left;
266 vlib_buffer_t *p0;
267 ip_frag_error_t error0;
Ole Troan282093f2018-09-19 12:38:51 +0200268 int next0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700269
Ole Troan282093f2018-09-19 12:38:51 +0200270 /*
271 * Note: The packet is not enqueued now. It is instead put
272 * in a vector where other fragments will be put as well.
273 */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500274 pi0 = from[0];
275 from += 1;
276 n_left_from -= 1;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700277
Dave Barachd7cb1b52016-12-09 09:52:16 -0500278 p0 = vlib_get_buffer (vm, pi0);
Ole Troaneb284a12019-10-09 13:33:19 +0200279 u16 mtu = vnet_buffer (p0)->ip_frag.mtu;
Ole Troan282093f2018-09-19 12:38:51 +0200280 if (is_ip6)
Ole Troaneb284a12019-10-09 13:33:19 +0200281 error0 = ip6_frag_do_fragment (vm, pi0, mtu, 0, &buffer);
Ole Troan282093f2018-09-19 12:38:51 +0200282 else
Ole Troaneb284a12019-10-09 13:33:19 +0200283 error0 = ip4_frag_do_fragment (vm, pi0, mtu, 0, &buffer);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700284
Dave Barachd7cb1b52016-12-09 09:52:16 -0500285 if (PREDICT_FALSE (p0->flags & VLIB_BUFFER_IS_TRACED))
286 {
287 ip_frag_trace_t *tr =
288 vlib_add_trace (vm, node, p0, sizeof (*tr));
Ole Troaneb284a12019-10-09 13:33:19 +0200289 tr->mtu = mtu;
Ole Troan282093f2018-09-19 12:38:51 +0200290 tr->ipv6 = is_ip6 ? 1 : 0;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500291 tr->n_fragments = vec_len (buffer);
292 tr->next = vnet_buffer (p0)->ip_frag.next_index;
293 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700294
Ole Troan282093f2018-09-19 12:38:51 +0200295 if (!is_ip6 && error0 == IP_FRAG_ERROR_DONT_FRAGMENT_SET)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500296 {
297 icmp4_error_set_vnet_buffer (p0, ICMP4_destination_unreachable,
298 ICMP4_destination_unreachable_fragmentation_needed_and_dont_fragment_set,
299 vnet_buffer (p0)->ip_frag.mtu);
Ole Troaneb284a12019-10-09 13:33:19 +0200300 next0 = IP_FRAG_NEXT_ICMP_ERROR;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500301 }
302 else
Vijayabhaskar Katamreddyce074122017-11-15 13:50:26 -0800303 {
Ole Troaneb284a12019-10-09 13:33:19 +0200304 next0 = (error0 == IP_FRAG_ERROR_NONE ?
305 vnet_buffer (p0)->ip_frag.next_index :
306 IP_FRAG_NEXT_DROP);
Vijayabhaskar Katamreddyce074122017-11-15 13:50:26 -0800307 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700308
Dave Barachd7cb1b52016-12-09 09:52:16 -0500309 if (error0 == IP_FRAG_ERROR_NONE)
310 {
Ole Troan7eb9d962018-08-10 14:39:48 +0200311 /* Free original buffer chain */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500312 frag_sent += vec_len (buffer);
313 small_packets += (vec_len (buffer) == 1);
Ole Troan282093f2018-09-19 12:38:51 +0200314 vlib_buffer_free_one (vm, pi0); /* Free original packet */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500315 }
316 else
Ole Troan282093f2018-09-19 12:38:51 +0200317 {
318 vlib_error_count (vm, node_index, error0, 1);
319 vec_add1 (buffer, pi0); /* Get rid of the original buffer */
320 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700321
Ole Troan282093f2018-09-19 12:38:51 +0200322 /* Send fragments that were added in the frame */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500323 frag_from = buffer;
324 frag_left = vec_len (buffer);
325
326 while (frag_left > 0)
327 {
328 while (frag_left > 0 && n_left_to_next > 0)
329 {
330 u32 i;
331 i = to_next[0] = frag_from[0];
332 frag_from += 1;
333 frag_left -= 1;
334 to_next += 1;
335 n_left_to_next -= 1;
336
337 vlib_get_buffer (vm, i)->error = error_node->errors[error0];
338 vlib_validate_buffer_enqueue_x1 (vm, node, next_index,
339 to_next, n_left_to_next, i,
340 next0);
341 }
342 vlib_put_next_frame (vm, node, next_index, n_left_to_next);
343 vlib_get_next_frame (vm, node, next_index, to_next,
344 n_left_to_next);
345 }
346 vec_reset_length (buffer);
347 }
348 vlib_put_next_frame (vm, node, next_index, n_left_to_next);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700349 }
Dave Barachd7cb1b52016-12-09 09:52:16 -0500350 vec_free (buffer);
351
Ole Troan282093f2018-09-19 12:38:51 +0200352 vlib_node_increment_counter (vm, node_index,
Dave Barachd7cb1b52016-12-09 09:52:16 -0500353 IP_FRAG_ERROR_FRAGMENT_SENT, frag_sent);
Ole Troan282093f2018-09-19 12:38:51 +0200354 vlib_node_increment_counter (vm, node_index,
Dave Barachd7cb1b52016-12-09 09:52:16 -0500355 IP_FRAG_ERROR_SMALL_PACKET, small_packets);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700356
357 return frame->n_vectors;
358}
359
Dave Barachd7cb1b52016-12-09 09:52:16 -0500360
Ole Troan282093f2018-09-19 12:38:51 +0200361
362static uword
363ip4_frag (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500364{
Ole Troan282093f2018-09-19 12:38:51 +0200365 return frag_node_inline (vm, node, frame, ip4_frag_node.index,
366 0 /* is_ip6 */ );
Dave Barachd7cb1b52016-12-09 09:52:16 -0500367}
368
369static uword
370ip6_frag (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
371{
Ole Troan282093f2018-09-19 12:38:51 +0200372 return frag_node_inline (vm, node, frame, ip6_frag_node.index,
373 1 /* is_ip6 */ );
374}
Dave Barachd7cb1b52016-12-09 09:52:16 -0500375
Ole Troan282093f2018-09-19 12:38:51 +0200376/*
377 * Fragments the packet given in from_bi. Fragments are returned in the buffer vector.
378 * Caller must ensure the original packet is freed.
Ole Troaneb284a12019-10-09 13:33:19 +0200379 * from_bi: current pointer must point to IPv6 header
Ole Troan282093f2018-09-19 12:38:51 +0200380 */
Ole Troaneb284a12019-10-09 13:33:19 +0200381ip_frag_error_t
382ip6_frag_do_fragment (vlib_main_t * vm, u32 from_bi, u16 mtu,
383 u16 l2unfragmentablesize, u32 ** buffer)
Ole Troan282093f2018-09-19 12:38:51 +0200384{
385 vlib_buffer_t *from_b;
386 ip6_header_t *ip6;
Ole Troaneb284a12019-10-09 13:33:19 +0200387 u16 len, max, rem, ip_frag_id;
388 u8 *org_from_packet;
Ole Troan282093f2018-09-19 12:38:51 +0200389
390 from_b = vlib_get_buffer (vm, from_bi);
Ole Troaneb284a12019-10-09 13:33:19 +0200391 org_from_packet = vlib_buffer_get_current (from_b);
392 ip6 = vlib_buffer_get_current (from_b) + l2unfragmentablesize;
Ole Troan282093f2018-09-19 12:38:51 +0200393
394 rem = clib_net_to_host_u16 (ip6->payload_length);
395 max = (mtu - sizeof (ip6_header_t) - sizeof (ip6_frag_hdr_t)) & ~0x7; // TODO: Is max correct??
396
397 if (rem >
398 (vlib_buffer_length_in_chain (vm, from_b) - sizeof (ip6_header_t)))
Dave Barachd7cb1b52016-12-09 09:52:16 -0500399 {
Ole Troaneb284a12019-10-09 13:33:19 +0200400 return IP_FRAG_ERROR_MALFORMED;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500401 }
Dave Barachd7cb1b52016-12-09 09:52:16 -0500402
Ole Troan282093f2018-09-19 12:38:51 +0200403 /* TODO: Look through header chain for fragmentation header */
404 if (ip6->protocol == IP_PROTOCOL_IPV6_FRAGMENTATION)
405 {
Ole Troaneb284a12019-10-09 13:33:19 +0200406 return IP_FRAG_ERROR_MALFORMED;
Ole Troan282093f2018-09-19 12:38:51 +0200407 }
408
409 u8 *from_data = (void *) (ip6 + 1);
410 vlib_buffer_t *org_from_b = from_b;
411 u16 fo = 0;
Ole Troaneb284a12019-10-09 13:33:19 +0200412 u16 left_in_from_buffer =
413 from_b->current_length - (l2unfragmentablesize + sizeof (ip6_header_t));
Ole Troan282093f2018-09-19 12:38:51 +0200414 u16 ptr = 0;
415
416 ip_frag_id = ++running_fragment_id; // Fix
417
418 /* Do the actual fragmentation */
419 while (rem)
420 {
421 u32 to_bi;
422 vlib_buffer_t *to_b;
423 ip6_header_t *to_ip6;
424 ip6_frag_hdr_t *to_frag_hdr;
425 u8 *to_data;
426
427 len =
428 (rem >
429 (mtu - sizeof (ip6_header_t) - sizeof (ip6_frag_hdr_t)) ? max : rem);
430 if (len != rem) /* Last fragment does not need to divisible by 8 */
431 len &= ~0x7;
432 if ((to_b = frag_buffer_alloc (org_from_b, &to_bi)) == 0)
433 {
Ole Troaneb284a12019-10-09 13:33:19 +0200434 return IP_FRAG_ERROR_MEMORY;
Ole Troan282093f2018-09-19 12:38:51 +0200435 }
436 vec_add1 (*buffer, to_bi);
437 frag_set_sw_if_index (to_b, org_from_b);
438
439 /* Copy ip6 header */
Ole Troaneb284a12019-10-09 13:33:19 +0200440 clib_memcpy_fast (to_b->data, org_from_packet,
441 l2unfragmentablesize + sizeof (ip6_header_t));
Ole Troan282093f2018-09-19 12:38:51 +0200442 to_ip6 = vlib_buffer_get_current (to_b);
443 to_frag_hdr = (ip6_frag_hdr_t *) (to_ip6 + 1);
444 to_data = (void *) (to_frag_hdr + 1);
445
Neale Ranns0b6a8572019-10-30 17:34:14 +0000446 vnet_buffer (to_b)->l3_hdr_offset = to_b->current_data;
447 to_b->flags |= VNET_BUFFER_F_L3_HDR_OFFSET_VALID;
448
449 if (from_b->flags & VNET_BUFFER_F_L4_HDR_OFFSET_VALID)
450 {
451 vnet_buffer (to_b)->l4_hdr_offset =
452 (vnet_buffer (to_b)->l3_hdr_offset +
453 (vnet_buffer (from_b)->l4_hdr_offset -
454 vnet_buffer (from_b)->l3_hdr_offset));
455 to_b->flags |= VNET_BUFFER_F_L4_HDR_OFFSET_VALID;
456 }
457 to_b->flags |= VNET_BUFFER_F_IS_IP6;
458
Ole Troan282093f2018-09-19 12:38:51 +0200459 /* Spin through from buffers filling up the to buffer */
460 u16 left_in_to_buffer = len, to_ptr = 0;
461 while (1)
462 {
463 u16 bytes_to_copy;
464
465 /* Figure out how many bytes we can safely copy */
466 bytes_to_copy = left_in_to_buffer <= left_in_from_buffer ?
467 left_in_to_buffer : left_in_from_buffer;
Dave Barach178cf492018-11-13 16:34:13 -0500468 clib_memcpy_fast (to_data + to_ptr, from_data + ptr, bytes_to_copy);
Ole Troan282093f2018-09-19 12:38:51 +0200469 left_in_to_buffer -= bytes_to_copy;
470 ptr += bytes_to_copy;
471 left_in_from_buffer -= bytes_to_copy;
472 if (left_in_to_buffer == 0)
473 break;
474
475 ASSERT (left_in_from_buffer <= 0);
476 /* Move buffer */
477 if (!(from_b->flags & VLIB_BUFFER_NEXT_PRESENT))
478 {
Ole Troaneb284a12019-10-09 13:33:19 +0200479 return IP_FRAG_ERROR_MALFORMED;
Ole Troan282093f2018-09-19 12:38:51 +0200480 }
481 from_b = vlib_get_buffer (vm, from_b->next_buffer);
482 from_data = (u8 *) vlib_buffer_get_current (from_b);
483 ptr = 0;
484 left_in_from_buffer = from_b->current_length;
485 to_ptr += bytes_to_copy;
486 }
487
488 to_b->current_length =
489 len + sizeof (ip6_header_t) + sizeof (ip6_frag_hdr_t);
490 to_ip6->payload_length =
491 clib_host_to_net_u16 (len + sizeof (ip6_frag_hdr_t));
492 to_ip6->protocol = IP_PROTOCOL_IPV6_FRAGMENTATION;
493 to_frag_hdr->fragment_offset_and_more =
494 ip6_frag_hdr_offset_and_more ((fo >> 3), len != rem);
495 to_frag_hdr->identification = ip_frag_id;
496 to_frag_hdr->next_hdr = ip6->protocol;
497 to_frag_hdr->rsv = 0;
498
499 rem -= len;
500 fo += len;
501 }
Ole Troaneb284a12019-10-09 13:33:19 +0200502
503 return IP_FRAG_ERROR_NONE;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500504}
505
506static char *ip4_frag_error_strings[] = {
Ed Warnickecb9cada2015-12-08 15:45:58 -0700507#define _(sym,string) string,
508 foreach_ip_frag_error
509#undef _
510};
511
Dave Barachd7cb1b52016-12-09 09:52:16 -0500512/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700513VLIB_REGISTER_NODE (ip4_frag_node) = {
514 .function = ip4_frag,
515 .name = IP4_FRAG_NODE_NAME,
516 .vector_size = sizeof (u32),
517 .format_trace = format_ip_frag_trace,
518 .type = VLIB_NODE_TYPE_INTERNAL,
519
520 .n_errors = IP_FRAG_N_ERROR,
521 .error_strings = ip4_frag_error_strings,
522
Ole Troaneb284a12019-10-09 13:33:19 +0200523 .n_next_nodes = IP_FRAG_N_NEXT,
Ed Warnickecb9cada2015-12-08 15:45:58 -0700524 .next_nodes = {
Ole Troaneb284a12019-10-09 13:33:19 +0200525 [IP_FRAG_NEXT_IP_REWRITE] = "ip4-rewrite",
526 [IP_FRAG_NEXT_IP_REWRITE_MIDCHAIN] = "ip4-midchain",
527 [IP_FRAG_NEXT_IP4_LOOKUP] = "ip4-lookup",
528 [IP_FRAG_NEXT_IP6_LOOKUP] = "ip6-lookup",
529 [IP_FRAG_NEXT_ICMP_ERROR] = "ip4-icmp-error",
530 [IP_FRAG_NEXT_DROP] = "ip4-drop"
Ed Warnickecb9cada2015-12-08 15:45:58 -0700531 },
532};
Dave Barachd7cb1b52016-12-09 09:52:16 -0500533/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700534
Dave Barachd7cb1b52016-12-09 09:52:16 -0500535/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700536VLIB_REGISTER_NODE (ip6_frag_node) = {
537 .function = ip6_frag,
538 .name = IP6_FRAG_NODE_NAME,
539 .vector_size = sizeof (u32),
540 .format_trace = format_ip_frag_trace,
541 .type = VLIB_NODE_TYPE_INTERNAL,
542
543 .n_errors = IP_FRAG_N_ERROR,
544 .error_strings = ip4_frag_error_strings,
545
Ole Troaneb284a12019-10-09 13:33:19 +0200546 .n_next_nodes = IP_FRAG_N_NEXT,
Ed Warnickecb9cada2015-12-08 15:45:58 -0700547 .next_nodes = {
Ole Troaneb284a12019-10-09 13:33:19 +0200548 [IP_FRAG_NEXT_IP_REWRITE] = "ip6-rewrite",
549 [IP_FRAG_NEXT_IP_REWRITE_MIDCHAIN] = "ip6-midchain",
550 [IP_FRAG_NEXT_IP4_LOOKUP] = "ip4-lookup",
551 [IP_FRAG_NEXT_IP6_LOOKUP] = "ip6-lookup",
552 [IP_FRAG_NEXT_ICMP_ERROR] = "error-drop",
553 [IP_FRAG_NEXT_DROP] = "ip6-drop"
Ed Warnickecb9cada2015-12-08 15:45:58 -0700554 },
555};
Dave Barachd7cb1b52016-12-09 09:52:16 -0500556/* *INDENT-ON* */
557
558/*
559 * fd.io coding-style-patch-verification: ON
560 *
561 * Local Variables:
562 * eval: (c-set-style "gnu")
563 * End:
564 */