FD.io VPP  v18.01-8-g0eacf49
Vector Packet Processing
bier_lookup.c
Go to the documentation of this file.
1 /*
2  * Copyright (c) 2016 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/buffer.h>
17 #include <vnet/vnet.h>
18 
19 #include <vnet/bier/bier_fmask.h>
21 #include <vnet/bier/bier_table.h>
22 #include <vnet/bier/bier_fmask.h>
23 
24 /**
25  * Struct maintining the per-worker thread data for BIER lookups
26  */
27 typedef struct bier_lookup_main_t_
28 {
29  /* per-cpu vector of cloned packets */
31  /* per-cpu vector of BIER fmasks */
34 
35 /**
36  * Single instance of the lookup main
37  */
39 
40 static char * bier_lookup_error_strings[] = {
41 #define bier_error(n,s) s,
43 #undef bier_error
44 };
45 
46 /*
47  * Keep these values sematically the same as BIER lookup
48  */
49 #define foreach_bier_lookup_next \
50  _(DROP, "bier-drop") \
51  _(OUTPUT, "bier-output")
52 
53 typedef enum {
54 #define _(s,n) BIER_LOOKUP_NEXT_##s,
56 #undef _
59 
60 typedef enum {
61 #define bier_error(n,s) BIER_LOOKUP_ERROR_##n,
63 #undef bier_error
66 
68 
69 /**
70  * @brief Packet trace recoed for a BIER lookup
71  */
72 typedef struct bier_lookup_trace_t_
73 {
78 
79 static uword
81  vlib_node_runtime_t * node,
82  vlib_frame_t * from_frame)
83 {
84  u32 n_left_from, next_index, * from, * to_next;
86  u32 thread_index = vlib_get_thread_index();
87 
88  from = vlib_frame_vector_args (from_frame);
89  n_left_from = from_frame->n_vectors;
90  next_index = BIER_LOOKUP_NEXT_DROP;
91 
92  while (n_left_from > 0)
93  {
94  u32 n_left_to_next;
95 
96  vlib_get_next_frame (vm, node, next_index,
97  to_next, n_left_to_next);
98 
99  while (n_left_from > 0 && n_left_to_next > 0)
100  {
102  u32 next0, bi0, n_bytes, bti0, bfmi0;
103  const bier_fmask_t *bfm0;
104  const bier_table_t *bt0;
105  u16 index, num_buckets;
106  const bier_hdr_t *bh0;
107  bier_bit_string_t bbs;
108  vlib_buffer_t *b0;
109  bier_bp_t fbs;
110  int bucket;
111 
112  bi0 = from[0];
113  from += 1;
114  n_left_from -= 1;
115 
116  b0 = vlib_get_buffer (vm, bi0);
117  bh0 = vlib_buffer_get_current (b0);
118  bti0 = vnet_buffer(b0)->ip.adj_index[VLIB_TX];
119 
120  /*
121  * default to drop so that if no bits are matched then
122  * that is where we go - DROP.
123  */
124  next0 = BIER_LOOKUP_NEXT_DROP;
125 
126  /*
127  * At the imposition or input node,
128  * we stored the BIER Table index in the TX adjacency
129  */
130  bt0 = bier_table_get(vnet_buffer(b0)->ip.adj_index[VLIB_TX]);
131 
132  /*
133  * we should only forward via one for the ECMP tables
134  */
135  ASSERT(!bier_table_is_main(bt0));
136 
137  /*
138  * number of integer sized buckets
139  */
141  vnet_buffer(b0)->mpls.bier.n_bytes = n_bytes;
142  vnet_buffer(b0)->sw_if_index[VLIB_TX] = ~0;
143  num_buckets = n_bytes / sizeof(int);
145  bt0->bt_id.bti_hdr_len,
146  buckets_copy);
147  memcpy(bbs.bbs_buckets, bh0->bh_bit_string, bbs.bbs_len);
148 
149  /*
150  * reset the fmask and clone storage vectors
151  */
152  vec_reset_length (blm->blm_fmasks[thread_index]);
153  vec_reset_length (blm->blm_clones[thread_index]);
154 
155  /*
156  * Loop through the buckets in the header
157  */
158  for (index = 0; index < num_buckets; index++) {
159  /*
160  * loop through each bit in the bucket
161  */
162  bucket = ((int*)bbs.bbs_buckets)[index];
163 
164  while (bucket) {
165  fbs = bier_find_first_bit_string_set(bucket);
166  fbs += (((num_buckets - 1) - index) *
168 
169  bfmi0 = bier_table_fwd_lookup(bt0, fbs);
170 
171  /*
172  * whatever happens, the bit we just looked for
173  * MUST be cleared from the packet
174  * otherwise we could be in this loop a while ...
175  */
176  bier_bit_string_clear_bit(&bbs, fbs);
177 
178  if (PREDICT_TRUE(INDEX_INVALID != bfmi0))
179  {
180  bfm0 = bier_fmask_get(bfmi0);
181 
182  /*
183  * use the bit-string on the fmask to reset
184  * the bits in the header we are walking
185  */
188  &bbs);
189  bucket = ((int*)bbs.bbs_buckets)[index];
190 
191  /*
192  * the fmask is resolved so replicate a
193  * packet its way
194  */
195  next0 = BIER_LOOKUP_NEXT_OUTPUT;
196 
197  vec_add1 (blm->blm_fmasks[thread_index], bfmi0);
198  } else {
199  /*
200  * go to the next bit-position set
201  */
202  bucket = ((int*)bbs.bbs_buckets)[index];
203  continue;
204  }
205  }
206  }
207 
208  /*
209  * Full mask now processed.
210  * Create the number of clones we need based on the number
211  * of fmasks we are sending to.
212  */
213  u8 num_cloned, clone;
214  u32 n_clones;
215 
216  n_clones = vec_len(blm->blm_fmasks[thread_index]);
217 
218  if (PREDICT_TRUE(0 != n_clones))
219  {
220  ASSERT(n_clones < 256);
221  num_cloned = vlib_buffer_clone(vm, bi0,
222  blm->blm_clones[thread_index],
223  n_clones, 128);
224 
225  if (num_cloned != n_clones)
226  {
228  (vm, node->node_index,
229  BIER_LOOKUP_ERROR_BUFFER_ALLOCATION_FAILURE, 1);
230  }
231 
232  for (clone = 0; clone < num_cloned; clone++)
233  {
234  vlib_buffer_t *c0;
235  u32 ci0;
236 
237  ci0 = blm->blm_clones[thread_index][clone];
238  c0 = vlib_get_buffer(vm, ci0);
239  vnet_buffer(c0)->ip.adj_index[VLIB_TX] =
240  blm->blm_fmasks[thread_index][clone];
241 
242  to_next[0] = ci0;
243  to_next += 1;
244  n_left_to_next -= 1;
245 
247  {
249 
250  vlib_trace_buffer (vm, node, next0, c0, 0);
251  tr = vlib_add_trace (vm, node, c0, sizeof (*tr));
252  tr->bt_index = bti0;
253  tr->bfm_index = blm->blm_fmasks[thread_index][clone];
254 
256  }
257 
258  vlib_validate_buffer_enqueue_x1(vm, node, next_index,
259  to_next, n_left_to_next,
260  ci0, next0);
261 
262  /*
263  * After the enqueue it is possible that we over-flow the
264  * frame of the to-next node. When this happens we need to
265  * 'put' that full frame to the node and get a fresh empty
266  * one. Note that these are macros with side effects that
267  * change to_next & n_left_to_next
268  */
269  if (PREDICT_FALSE(0 == n_left_to_next))
270  {
271  vlib_put_next_frame (vm, node, next_index,
272  n_left_to_next);
273  vlib_get_next_frame (vm, node, next_index,
274  to_next, n_left_to_next);
275  }
276  }
277  }
278  else
279  {
280  /*
281  * no clones/replications required. drop this packet
282  */
283  next0 = BIER_LOOKUP_NEXT_DROP;
284  to_next[0] = bi0;
285  to_next += 1;
286  n_left_to_next -= 1;
287 
289  {
291 
292  tr = vlib_add_trace (vm, node, b0, sizeof (*tr));
293 
294  tr->bt_index = bti0;
295  tr->bfm_index = ~0;
296  }
297 
298  vlib_validate_buffer_enqueue_x1(vm, node, next_index,
299  to_next, n_left_to_next,
300  bi0, next0);
301  }
302  }
303 
304  vlib_put_next_frame (vm, node, next_index, n_left_to_next);
305  }
306 
308  BIER_LOOKUP_ERROR_NONE,
309  from_frame->n_vectors);
310  return (from_frame->n_vectors);
311 }
312 
313 static u8 *
314 format_bier_lookup_trace (u8 * s, va_list * args)
315 {
316  CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *);
317  CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *);
318  bier_lookup_trace_t * t = va_arg (*args, bier_lookup_trace_t *);
319 
320  s = format (s, "BIER: next [%d], tbl:%d BFM:%d",
321  t->next_index,
322  t->bt_index,
323  t->bfm_index);
324  return s;
325 }
326 
328  .function = bier_lookup,
329  .name = "bier-lookup",
330  /* Takes a vector of packets. */
331  .vector_size = sizeof (u32),
332 
333  .n_errors = BIER_LOOKUP_N_ERROR,
334  .error_strings = bier_lookup_error_strings,
335 
336  .format_trace = format_bier_lookup_trace,
337  .n_next_nodes = BIER_LOOKUP_N_NEXT,
338  .next_nodes = {
339  [BIER_LOOKUP_NEXT_DROP] = "bier-drop",
340  [BIER_LOOKUP_NEXT_OUTPUT] = "bier-output",
341  },
342 };
343 
344 clib_error_t *
346 {
348  u32 thread_index;
349 
352 
353  for (thread_index = 0;
354  thread_index <= vlib_num_workers();
355  thread_index++)
356  {
357  /*
358  * 4096 is the most we will ever need to support
359  * a Bit-Mask length of 4096
360  */
361  vec_validate(blm->blm_fmasks[thread_index], 4095);
362  vec_validate(blm->blm_clones[thread_index], 4095);
363  }
364 
365  return 0;
366 }
367 
#define vec_validate(V, I)
Make sure vector is long enough for given index (no header, unspecified alignment) ...
Definition: vec.h:432
vlib_node_registration_t bier_lookup_node
(constructor) VLIB_REGISTER_NODE (bier_lookup_node)
Definition: bier_lookup.c:67
#define CLIB_UNUSED(x)
Definition: clib.h:79
struct bier_lookup_trace_t_ bier_lookup_trace_t
Packet trace recoed for a BIER lookup.
#define PREDICT_TRUE(x)
Definition: clib.h:106
bier_lookup_error_t
Definition: bier_lookup.c:60
static bier_fmask_t * bier_fmask_get(u32 index)
Definition: bier_fmask.h:168
u32 index_t
A Data-Path Object is an object that represents actions that are applied to packets are they are swit...
Definition: dpo.h:41
#define vec_add1(V, E)
Add 1 element to end of vector (unspecified alignment).
Definition: vec.h:518
struct _vlib_node_registration vlib_node_registration_t
static void bier_bit_string_clear_string(const bier_bit_string_t *src, bier_bit_string_t *dest)
static bier_lookup_main_t bier_lookup_main
Single instance of the lookup main.
Definition: bier_lookup.c:38
u8 * format(u8 *s, const char *fmt,...)
Definition: format.c:419
static bier_table_t * bier_table_get(index_t bti)
Definition: bier_table.h:153
static u8 vlib_buffer_clone(vlib_main_t *vm, u32 src_buffer, u32 *buffers, u8 n_buffers, u16 head_end_offset)
Create multiple clones of buffer and store them in the supplied array.
Definition: buffer_funcs.h:572
bier_fmask_bits_t bfm_bits
The bits, and their ref counts, that are set on this mask This mask changes as BIER entries link to a...
Definition: bier_fmask.h:114
#define vec_reset_length(v)
Reset vector length to zero NULL-pointer tolerant.
u16 bbs_len
The length of the string in BYTES.
Definition: bier_types.h:327
static void vlib_trace_buffer(vlib_main_t *vm, vlib_node_runtime_t *r, u32 next_index, vlib_buffer_t *b, int follow_chain)
Definition: trace_funcs.h:104
static int bier_find_first_bit_string_set(int mask)
A Variable length BitString.
Definition: bier_types.h:323
#define VLIB_INIT_FUNCTION(x)
Definition: init.h:111
int bier_table_is_main(const bier_table_t *bt)
Definition: bier_table.c:53
u32 bier_bp_t
A bit positon as assigned to egress PEs.
Definition: bier_types.h:346
bier_hdr_len_id_t bti_hdr_len
The size of the bit string processed by this table.
Definition: bier_types.h:471
static void * vlib_buffer_get_current(vlib_buffer_t *b)
Get pointer to current data to process.
Definition: buffer.h:195
static const index_t bier_table_fwd_lookup(const bier_table_t *bt, bier_bp_t bp)
Definition: bier_table.h:166
void bier_bit_string_clear_bit(bier_bit_string_t *bit_string, bier_bp_t bp)
#define PREDICT_FALSE(x)
Definition: clib.h:105
u32 node_index
Node index.
Definition: node.h:437
#define vlib_validate_buffer_enqueue_x1(vm, node, next_index, to_next, n_left_to_next, bi0, next0)
Finish enqueueing one buffer forward in the graph.
Definition: buffer_node.h:218
#define vlib_get_next_frame(vm, node, next_index, vectors, n_vectors_left)
Get pointer to next frame vector data by (vlib_node_runtime_t, next_index).
Definition: node_funcs.h:364
An outgoing BIER mask.
Definition: bier_fmask.h:99
Struct maintining the per-worker thread data for BIER lookups.
Definition: bier_lookup.c:27
#define foreach_bier_lookup_next
Definition: bier_lookup.c:49
static uword bier_lookup(vlib_main_t *vm, vlib_node_runtime_t *node, vlib_frame_t *from_frame)
Definition: bier_lookup.c:80
static void vlib_node_increment_counter(vlib_main_t *vm, u32 node_index, u32 counter_index, u64 increment)
Definition: node_funcs.h:1158
u16 n_vectors
Definition: node.h:344
static_always_inline uword vlib_get_thread_index(void)
Definition: threads.h:221
vlib_main_t * vm
Definition: buffer.c:283
#define BIER_BIT_MASK_BITS_PER_INT
#define VLIB_BUFFER_IS_TRACED
Definition: buffer.h:93
u32 bier_hdr_len_id_to_num_buckets(bier_hdr_len_id_t id)
Conversion functions for the enumerated bit-string length values, to bit and bytes.
Definition: bier_types.c:60
void vlib_put_next_frame(vlib_main_t *vm, vlib_node_runtime_t *r, u32 next_index, u32 n_vectors_left)
Release pointer to next frame vector data.
Definition: main.c:454
static void bier_bit_string_init(bier_bit_string_t *bbs, bier_hdr_len_id_t len, bier_bit_mask_bucket_t *buckets)
Packet trace recoed for a BIER lookup.
Definition: bier_lookup.c:72
static u8 * format_bier_lookup_trace(u8 *s, va_list *args)
Definition: bier_lookup.c:314
#define ASSERT(truth)
unsigned int u32
Definition: types.h:88
bier_bit_mask_bucket_t * bbs_buckets
The buckets in the string.
Definition: bier_types.h:332
struct bier_lookup_main_t_ bier_lookup_main_t
Struct maintining the per-worker thread data for BIER lookups.
bier_bit_mask_bucket_t bh_bit_string[0]
The variable length bit-string.
Definition: bier_types.h:411
u64 uword
Definition: types.h:112
static void * vlib_add_trace(vlib_main_t *vm, vlib_node_runtime_t *r, vlib_buffer_t *b, u32 n_data_bytes)
Definition: trace_funcs.h:55
bier_table_id_t bt_id
The identity/key or the table.
Definition: bier_table.h:75
Definition: defs.h:47
unsigned short u16
Definition: types.h:57
A BIER header of variable length The encoding follows: https://tools.ietf.org/html/draft-ietf-bier-mp...
Definition: bier_types.h:373
#define vec_len(v)
Number of elements in vector (rvalue-only, NULL tolerant)
unsigned char u8
Definition: types.h:56
#define INDEX_INVALID
Invalid index - used when no index is known blazoned capitals INVALID speak volumes where ~0 does not...
Definition: dpo.h:47
A BIER Table is the bit-indexed forwarding table.
Definition: bier_table.h:38
static void * vlib_frame_vector_args(vlib_frame_t *f)
Get pointer to frame vector data.
Definition: node_funcs.h:267
bier_bit_string_t bfmb_input_reset_string
each bit in the mask needs to be reference counted and set/cleared on the 0->1 and 1->0 transitions...
Definition: bier_fmask.h:50
#define vnet_buffer(b)
Definition: buffer.h:326
#define VLIB_REGISTER_NODE(x,...)
Definition: node.h:143
static u32 vlib_num_workers()
Definition: threads.h:368
clib_error_t * bier_lookup_module_init(vlib_main_t *vm)
Definition: bier_lookup.c:345
u32 flags
buffer flags: VLIB_BUFFER_FREE_LIST_INDEX_MASK: bits used to store free list index, VLIB_BUFFER_IS_TRACED: trace this buffer.
Definition: buffer.h:75
u8 bier_bit_mask_bucket_t
A bucket is a byte.
Definition: bier_types.h:252
static char * bier_lookup_error_strings[]
Definition: bier_lookup.c:40
static vlib_buffer_t * vlib_get_buffer(vlib_main_t *vm, u32 buffer_index)
Translate buffer index into buffer pointer.
Definition: buffer_funcs.h:57
bier_lookup_next_t
Definition: bier_lookup.c:53