blob: cd4e4703938a8172d6ea24199d41b94d0b27b2d1 [file] [log] [blame]
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001/*
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/adj/adj.h>
17#include <vnet/dpo/load_balance.h>
18#include <vnet/dpo/mpls_label_dpo.h>
19#include <vnet/dpo/drop_dpo.h>
Neale Ranns0f26c5a2017-03-01 15:12:11 -080020#include <vnet/dpo/replicate_dpo.h>
Neale Ranns0bfe5d82016-08-25 15:29:12 +010021
Neale Ranns3ee44042016-10-03 13:05:48 +010022#include <vnet/fib/fib_entry_src.h>
23#include <vnet/fib/fib_table.h>
24#include <vnet/fib/fib_path_ext.h>
25#include <vnet/fib/fib_urpf_list.h>
Neale Ranns0bfe5d82016-08-25 15:29:12 +010026
27/*
28 * per-source type vft
29 */
30static fib_entry_src_vft_t fib_entry_src_vft[FIB_SOURCE_MAX];
31
Neale Ranns2303cb12018-02-21 04:57:17 -080032/**
33 * Get the VFT for a given source. This is a combination of the source
34 * enum and the interposer flags
35 */
36const fib_entry_src_vft_t*
37fib_entry_src_get_vft (const fib_entry_src_t *esrc)
38{
39 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_INTERPOSE)
40 {
41 return (&fib_entry_src_vft[FIB_SOURCE_INTERPOSE]);
42 }
43
44 return (&fib_entry_src_vft[esrc->fes_src]);
45}
46
47static void
48fib_entry_src_copy_default (const fib_entry_src_t *orig_src,
49 const fib_entry_t *fib_entry,
50 fib_entry_src_t *copy_src)
51{
52 clib_memcpy(&copy_src->u, &orig_src->u, sizeof(copy_src->u));
53}
54
Neale Ranns0bfe5d82016-08-25 15:29:12 +010055void
56fib_entry_src_register (fib_source_t source,
57 const fib_entry_src_vft_t *vft)
58{
59 fib_entry_src_vft[source] = *vft;
Neale Ranns2303cb12018-02-21 04:57:17 -080060
61 if (NULL == fib_entry_src_vft[source].fesv_copy)
62 {
63 fib_entry_src_vft[source].fesv_copy = fib_entry_src_copy_default;
64 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +010065}
66
67static int
68fib_entry_src_cmp_for_sort (void * v1,
69 void * v2)
70{
71 fib_entry_src_t *esrc1 = v1, *esrc2 = v2;
72
73 return (esrc1->fes_src - esrc2->fes_src);
74}
75
Neale Ranns2303cb12018-02-21 04:57:17 -080076static void
Neale Ranns0bfe5d82016-08-25 15:29:12 +010077fib_entry_src_action_init (fib_entry_t *fib_entry,
Neale Ranns2303cb12018-02-21 04:57:17 -080078 fib_source_t source,
79 fib_entry_flag_t flags)
Neale Ranns0bfe5d82016-08-25 15:29:12 +010080{
81 fib_entry_src_t esrc = {
82 .fes_pl = FIB_NODE_INDEX_INVALID,
83 .fes_flags = FIB_ENTRY_SRC_FLAG_NONE,
84 .fes_src = source,
Neale Ranns2303cb12018-02-21 04:57:17 -080085 .fes_entry_flags = flags,
Neale Ranns0bfe5d82016-08-25 15:29:12 +010086 };
87
Neale Ranns2303cb12018-02-21 04:57:17 -080088 FIB_ENTRY_SRC_VFT_INVOKE(&esrc, fesv_init, (&esrc));
Neale Ranns0bfe5d82016-08-25 15:29:12 +010089
Neale Rannsa4e77662017-12-04 20:00:30 +000090 vec_add1(fib_entry->fe_srcs, esrc);
91 vec_sort_with_function(fib_entry->fe_srcs,
92 fib_entry_src_cmp_for_sort);
Neale Ranns0bfe5d82016-08-25 15:29:12 +010093}
94
95static fib_entry_src_t *
Neale Ranns2303cb12018-02-21 04:57:17 -080096fib_entry_src_find_i (const fib_entry_t *fib_entry,
97 fib_source_t source,
98 u32 *index)
Neale Ranns0bfe5d82016-08-25 15:29:12 +010099
100{
101 fib_entry_src_t *esrc;
102 int ii;
103
104 ii = 0;
Neale Rannsa4e77662017-12-04 20:00:30 +0000105 vec_foreach(esrc, fib_entry->fe_srcs)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100106 {
Neale Rannsa4e77662017-12-04 20:00:30 +0000107 if (esrc->fes_src == source)
108 {
109 if (NULL != index)
110 {
111 *index = ii;
112 }
113 return (esrc);
114 }
115 else
116 {
117 ii++;
118 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100119 }
120
121 return (NULL);
122}
123
Neale Ranns2303cb12018-02-21 04:57:17 -0800124static fib_entry_src_t *
125fib_entry_src_find (const fib_entry_t *fib_entry,
126 fib_source_t source)
127
128{
129 return (fib_entry_src_find_i(fib_entry, source, NULL));
130}
131
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100132int
133fib_entry_is_sourced (fib_node_index_t fib_entry_index,
134 fib_source_t source)
135{
136 fib_entry_t *fib_entry;
137
138 fib_entry = fib_entry_get(fib_entry_index);
139
Neale Ranns2303cb12018-02-21 04:57:17 -0800140 return (NULL != fib_entry_src_find(fib_entry, source));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100141}
142
143static fib_entry_src_t *
144fib_entry_src_find_or_create (fib_entry_t *fib_entry,
Neale Ranns2303cb12018-02-21 04:57:17 -0800145 fib_source_t source,
146 fib_entry_flag_t flags)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100147{
148 fib_entry_src_t *esrc;
149
Neale Ranns2303cb12018-02-21 04:57:17 -0800150 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100151
152 if (NULL == esrc)
153 {
Neale Ranns2303cb12018-02-21 04:57:17 -0800154 fib_entry_src_action_init(fib_entry, source, flags);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100155 }
156
Neale Ranns2303cb12018-02-21 04:57:17 -0800157 return (fib_entry_src_find(fib_entry, source));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100158}
159
Neale Ranns2303cb12018-02-21 04:57:17 -0800160static void
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100161fib_entry_src_action_deinit (fib_entry_t *fib_entry,
162 fib_source_t source)
163
164{
165 fib_entry_src_t *esrc;
166 u32 index = ~0;
167
Neale Ranns2303cb12018-02-21 04:57:17 -0800168 esrc = fib_entry_src_find_i(fib_entry, source, &index);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100169
170 ASSERT(NULL != esrc);
171
Neale Ranns2303cb12018-02-21 04:57:17 -0800172 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_deinit, (esrc));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100173
Neale Ranns81424992017-05-18 03:03:22 -0700174 fib_path_ext_list_flush(&esrc->fes_path_exts);
Neale Rannsa4e77662017-12-04 20:00:30 +0000175 vec_del1(fib_entry->fe_srcs, index);
Neale Ranns75b39f82018-10-26 04:17:54 -0700176 vec_sort_with_function(fib_entry->fe_srcs,
177 fib_entry_src_cmp_for_sort);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100178}
179
180fib_entry_src_cover_res_t
181fib_entry_src_action_cover_change (fib_entry_t *fib_entry,
Neale Ranns2303cb12018-02-21 04:57:17 -0800182 fib_entry_src_t *esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100183{
Neale Ranns2303cb12018-02-21 04:57:17 -0800184 FIB_ENTRY_SRC_VFT_INVOKE_AND_RETURN(esrc, fesv_cover_change,
185 (esrc, fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100186
187 fib_entry_src_cover_res_t res = {
188 .install = !0,
189 .bw_reason = FIB_NODE_BW_REASON_FLAG_NONE,
190 };
191 return (res);
192}
193
194fib_entry_src_cover_res_t
195fib_entry_src_action_cover_update (fib_entry_t *fib_entry,
Neale Ranns2303cb12018-02-21 04:57:17 -0800196 fib_entry_src_t *esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100197{
Neale Ranns2303cb12018-02-21 04:57:17 -0800198 FIB_ENTRY_SRC_VFT_INVOKE_AND_RETURN(esrc, fesv_cover_update,
199 (esrc, fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100200
201 fib_entry_src_cover_res_t res = {
202 .install = !0,
203 .bw_reason = FIB_NODE_BW_REASON_FLAG_NONE,
204 };
205 return (res);
206}
207
208typedef struct fib_entry_src_collect_forwarding_ctx_t_
209{
Neale Ranns81424992017-05-18 03:03:22 -0700210 load_balance_path_t *next_hops;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100211 const fib_entry_t *fib_entry;
212 const fib_entry_src_t *esrc;
213 fib_forward_chain_type_t fct;
Neale Rannsf12a83f2017-04-18 09:09:40 -0700214 int n_recursive_constrained;
Neale Ranns57b58602017-07-15 07:37:25 -0700215 u16 preference;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100216} fib_entry_src_collect_forwarding_ctx_t;
217
218/**
219 * @brief Determine whether this FIB entry should use a load-balance MAP
220 * to support PIC edge fast convergence
221 */
222load_balance_flags_t
223fib_entry_calc_lb_flags (fib_entry_src_collect_forwarding_ctx_t *ctx)
224{
225 /**
Neale Rannsf12a83f2017-04-18 09:09:40 -0700226 * We'll use a LB map if the path-list has multiple recursive paths.
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100227 * recursive paths implies BGP, and hence scale.
228 */
Neale Rannsf12a83f2017-04-18 09:09:40 -0700229 if (ctx->n_recursive_constrained > 1 &&
230 fib_path_list_is_popular(ctx->esrc->fes_pl))
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100231 {
232 return (LOAD_BALANCE_FLAG_USES_MAP);
233 }
234 return (LOAD_BALANCE_FLAG_NONE);
235}
236
237static int
238fib_entry_src_valid_out_label (mpls_label_t label)
239{
240 return ((MPLS_LABEL_IS_REAL(label) ||
Neale Ranns31ed7442018-02-23 05:29:09 -0800241 MPLS_LABEL_POP == label ||
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100242 MPLS_IETF_IPV4_EXPLICIT_NULL_LABEL == label ||
243 MPLS_IETF_IPV6_EXPLICIT_NULL_LABEL == label ||
244 MPLS_IETF_IMPLICIT_NULL_LABEL == label));
245}
246
Neale Rannsad422ed2016-11-02 14:20:04 +0000247/**
248 * @brief Turn the chain type requested by the client into the one they
249 * really wanted
250 */
251fib_forward_chain_type_t
252fib_entry_chain_type_fixup (const fib_entry_t *entry,
253 fib_forward_chain_type_t fct)
254{
Neale Rannsad422ed2016-11-02 14:20:04 +0000255 /*
256 * The EOS chain is a tricky since one cannot know the adjacency
257 * to link to without knowing what the packets payload protocol
258 * will be once the label is popped.
259 */
260 fib_forward_chain_type_t dfct;
261
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800262 if (FIB_FORW_CHAIN_TYPE_MPLS_EOS != fct)
263 {
264 return (fct);
265 }
266
Neale Rannsad422ed2016-11-02 14:20:04 +0000267 dfct = fib_entry_get_default_chain_type(entry);
268
269 if (FIB_FORW_CHAIN_TYPE_MPLS_EOS == dfct)
270 {
271 /*
272 * If the entry being asked is a eos-MPLS label entry,
273 * then use the payload-protocol field, that we stashed there
274 * for just this purpose
275 */
276 return (fib_forw_chain_type_from_dpo_proto(
277 entry->fe_prefix.fp_payload_proto));
278 }
279 /*
280 * else give them what this entry would be by default. i.e. if it's a v6
281 * entry, then the label its local labelled should be carrying v6 traffic.
282 * If it's a non-EOS label entry, then there are more labels and we want
283 * a non-eos chain.
284 */
285 return (dfct);
286}
287
Neale Ranns62fe07c2017-10-31 12:28:22 -0700288static dpo_proto_t
289fib_prefix_get_payload_proto (const fib_prefix_t *pfx)
290{
291 switch (pfx->fp_proto)
292 {
293 case FIB_PROTOCOL_IP4:
294 return (DPO_PROTO_IP4);
295 case FIB_PROTOCOL_IP6:
296 return (DPO_PROTO_IP6);
297 case FIB_PROTOCOL_MPLS:
298 return (pfx->fp_payload_proto);
299 }
300
301 ASSERT(0);
302 return (DPO_PROTO_IP4);
303}
304
Neale Ranns81424992017-05-18 03:03:22 -0700305static void
306fib_entry_src_get_path_forwarding (fib_node_index_t path_index,
307 fib_entry_src_collect_forwarding_ctx_t *ctx)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100308{
Neale Ranns81424992017-05-18 03:03:22 -0700309 load_balance_path_t *nh;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100310
311 /*
Neale Ranns81424992017-05-18 03:03:22 -0700312 * no extension => no out-going label for this path. that's OK
313 * in the case of an IP or EOS chain, but not for non-EOS
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100314 */
Neale Ranns81424992017-05-18 03:03:22 -0700315 switch (ctx->fct)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100316 {
Neale Ranns81424992017-05-18 03:03:22 -0700317 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
318 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
319 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
320 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
Neale Rannsd792d9c2017-10-21 10:53:20 -0700321 case FIB_FORW_CHAIN_TYPE_BIER:
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100322 /*
Neale Ranns81424992017-05-18 03:03:22 -0700323 * EOS traffic with no label to stack, we need the IP Adj
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100324 */
Neale Ranns81424992017-05-18 03:03:22 -0700325 vec_add2(ctx->next_hops, nh, 1);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100326
Neale Ranns81424992017-05-18 03:03:22 -0700327 nh->path_index = path_index;
328 nh->path_weight = fib_path_get_weight(path_index);
329 fib_path_contribute_forwarding(path_index, ctx->fct, &nh->path_dpo);
330
331 break;
332 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
333 if (fib_path_is_exclusive(path_index) ||
334 fib_path_is_deag(path_index))
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100335 {
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100336 vec_add2(ctx->next_hops, nh, 1);
337
338 nh->path_index = path_index;
339 nh->path_weight = fib_path_get_weight(path_index);
Neale Ranns81424992017-05-18 03:03:22 -0700340 fib_path_contribute_forwarding(path_index,
341 FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS,
342 &nh->path_dpo);
343 }
344 break;
345 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
Neale Rannsad422ed2016-11-02 14:20:04 +0000346 {
347 /*
348 * no label. we need a chain based on the payload. fixup.
349 */
350 vec_add2(ctx->next_hops, nh, 1);
351
352 nh->path_index = path_index;
353 nh->path_weight = fib_path_get_weight(path_index);
354 fib_path_contribute_forwarding(path_index,
355 fib_entry_chain_type_fixup(ctx->fib_entry,
356 ctx->fct),
357 &nh->path_dpo);
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800358 fib_path_stack_mpls_disp(path_index,
Neale Ranns62fe07c2017-10-31 12:28:22 -0700359 fib_prefix_get_payload_proto(&ctx->fib_entry->fe_prefix),
Neale Ranns31ed7442018-02-23 05:29:09 -0800360 FIB_MPLS_LSP_MODE_PIPE,
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800361 &nh->path_dpo);
Neale Rannsad422ed2016-11-02 14:20:04 +0000362
363 break;
364 }
Neale Ranns81424992017-05-18 03:03:22 -0700365 case FIB_FORW_CHAIN_TYPE_ETHERNET:
366 case FIB_FORW_CHAIN_TYPE_NSH:
367 ASSERT(0);
368 break;
369 }
370}
371
372static fib_path_list_walk_rc_t
373fib_entry_src_collect_forwarding (fib_node_index_t pl_index,
374 fib_node_index_t path_index,
375 void *arg)
376{
377 fib_entry_src_collect_forwarding_ctx_t *ctx;
378 fib_path_ext_t *path_ext;
Neale Ranns2303cb12018-02-21 04:57:17 -0800379 u32 n_nhs;
Neale Ranns81424992017-05-18 03:03:22 -0700380
381 ctx = arg;
Neale Ranns2303cb12018-02-21 04:57:17 -0800382 n_nhs = vec_len(ctx->next_hops);
Neale Ranns81424992017-05-18 03:03:22 -0700383
384 /*
385 * if the path is not resolved, don't include it.
386 */
387 if (!fib_path_is_resolved(path_index))
388 {
389 return (FIB_PATH_LIST_WALK_CONTINUE);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100390 }
391
Neale Ranns81424992017-05-18 03:03:22 -0700392 if (fib_path_is_recursive_constrained(path_index))
393 {
394 ctx->n_recursive_constrained += 1;
395 }
Neale Ranns57b58602017-07-15 07:37:25 -0700396 if (0xffff == ctx->preference)
397 {
398 /*
399 * not set a preference yet, so the first path we encounter
400 * sets the preference we are collecting.
401 */
402 ctx->preference = fib_path_get_preference(path_index);
403 }
404 else if (ctx->preference != fib_path_get_preference(path_index))
405 {
406 /*
407 * this path does not belong to the same preference as the
408 * previous paths encountered. we are done now.
409 */
410 return (FIB_PATH_LIST_WALK_STOP);
411 }
Neale Ranns81424992017-05-18 03:03:22 -0700412
413 /*
414 * get the matching path-extension for the path being visited.
415 */
416 path_ext = fib_path_ext_list_find_by_path_index(&ctx->esrc->fes_path_exts,
417 path_index);
418
419 if (NULL != path_ext)
420 {
421 switch (path_ext->fpe_type)
422 {
423 case FIB_PATH_EXT_MPLS:
Neale Ranns31ed7442018-02-23 05:29:09 -0800424 if (fib_entry_src_valid_out_label(path_ext->fpe_label_stack[0].fml_value))
Neale Ranns81424992017-05-18 03:03:22 -0700425 {
426 /*
427 * found a matching extension. stack it to obtain the forwarding
428 * info for this path.
429 */
430 ctx->next_hops =
431 fib_path_ext_stack(path_ext,
432 ctx->fct,
433 fib_entry_chain_type_fixup(ctx->fib_entry,
434 ctx->fct),
435 ctx->next_hops);
436 }
437 else
438 {
439 fib_entry_src_get_path_forwarding(path_index, ctx);
440 }
441 break;
442 case FIB_PATH_EXT_ADJ:
443 if (FIB_PATH_EXT_ADJ_FLAG_REFINES_COVER & path_ext->fpe_adj_flags)
444 {
445 fib_entry_src_get_path_forwarding(path_index, ctx);
446 }
447 /*
448 * else
449 * the path does not refine the cover, meaning that
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700450 * the adjacency does/does not match the sub-net on the link.
Neale Ranns81424992017-05-18 03:03:22 -0700451 * So this path does not contribute forwarding.
452 */
453 break;
454 }
455 }
456 else
457 {
458 fib_entry_src_get_path_forwarding(path_index, ctx);
459 }
460
Neale Ranns2303cb12018-02-21 04:57:17 -0800461 /*
462 * a this point 'ctx' has the DPO the path contributed, plus
463 * any labels from path extensions.
464 * check if there are any interpose sources that want to contribute
465 */
466 if (n_nhs < vec_len(ctx->next_hops))
467 {
468 /*
469 * the path contributed a new choice.
470 */
471 const fib_entry_src_vft_t *vft;
472
473 vft = fib_entry_src_get_vft(ctx->esrc);
474
475 if (NULL != vft->fesv_contribute_interpose)
476 {
477 const dpo_id_t *interposer;
478
479 interposer = vft->fesv_contribute_interpose(ctx->esrc,
480 ctx->fib_entry);
481
482 if (NULL != interposer)
483 {
484 dpo_id_t clone = DPO_INVALID;
485
486 dpo_mk_interpose(interposer,
487 &ctx->next_hops[n_nhs].path_dpo,
488 &clone);
489
490 dpo_copy(&ctx->next_hops[n_nhs].path_dpo, &clone);
491 dpo_reset(&clone);
492 }
493 }
494 }
495
Neale Ranns81424992017-05-18 03:03:22 -0700496 return (FIB_PATH_LIST_WALK_CONTINUE);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100497}
498
499void
500fib_entry_src_mk_lb (fib_entry_t *fib_entry,
501 const fib_entry_src_t *esrc,
502 fib_forward_chain_type_t fct,
503 dpo_id_t *dpo_lb)
504{
505 dpo_proto_t lb_proto;
506
507 /*
508 * If the entry has path extensions then we construct a load-balance
509 * by stacking the extensions on the forwarding chains of the paths.
510 * Otherwise we use the load-balance of the path-list
511 */
512 fib_entry_src_collect_forwarding_ctx_t ctx = {
513 .esrc = esrc,
514 .fib_entry = fib_entry,
515 .next_hops = NULL,
Neale Rannsf12a83f2017-04-18 09:09:40 -0700516 .n_recursive_constrained = 0,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100517 .fct = fct,
Neale Ranns57b58602017-07-15 07:37:25 -0700518 .preference = 0xffff,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100519 };
520
Neale Rannsc0790cf2017-01-05 01:01:47 -0800521 /*
522 * As an optimisation we allocate the vector of next-hops to be sized
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700523 * equal to the maximum number of paths we will need, which is also the
Neale Rannsc0790cf2017-01-05 01:01:47 -0800524 * most likely number we will need, since in most cases the paths are 'up'.
525 */
526 vec_validate(ctx.next_hops, fib_path_list_get_n_paths(esrc->fes_pl));
527 vec_reset_length(ctx.next_hops);
528
Neale Rannsf12a83f2017-04-18 09:09:40 -0700529 lb_proto = fib_forw_chain_type_to_dpo_proto(fct);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100530
531 fib_path_list_walk(esrc->fes_pl,
532 fib_entry_src_collect_forwarding,
533 &ctx);
534
535 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_EXCLUSIVE)
536 {
537 /*
538 * the client provided the DPO that the entry should link to.
539 * all entries must link to a LB, so if it is an LB already
540 * then we can use it.
541 */
542 if ((1 == vec_len(ctx.next_hops)) &&
543 (DPO_LOAD_BALANCE == ctx.next_hops[0].path_dpo.dpoi_type))
544 {
545 dpo_copy(dpo_lb, &ctx.next_hops[0].path_dpo);
546 dpo_reset(&ctx.next_hops[0].path_dpo);
547 return;
548 }
549 }
550
551 if (!dpo_id_is_valid(dpo_lb))
552 {
553 /*
554 * first time create
555 */
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800556 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_MULTICAST)
557 {
558 dpo_set(dpo_lb,
559 DPO_REPLICATE,
560 lb_proto,
561 MPLS_IS_REPLICATE | replicate_create(0, lb_proto));
562 }
563 else
564 {
Neale Rannsd792d9c2017-10-21 10:53:20 -0700565 fib_protocol_t flow_hash_proto;
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800566 flow_hash_config_t fhc;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100567
Neale Ranns41da54f2017-05-02 10:15:19 -0700568 /*
569 * if the protocol for the LB we are building does not match that
570 * of the fib_entry (i.e. we are build the [n]EOS LB for an IPv[46]
571 * then the fib_index is not an index that relates to the table
572 * type we need. So get the default flow-hash config instead.
573 */
Neale Rannsd792d9c2017-10-21 10:53:20 -0700574 flow_hash_proto = dpo_proto_to_fib(lb_proto);
575 if (fib_entry->fe_prefix.fp_proto != flow_hash_proto)
Neale Ranns41da54f2017-05-02 10:15:19 -0700576 {
Neale Rannsd792d9c2017-10-21 10:53:20 -0700577 fhc = fib_table_get_default_flow_hash_config(flow_hash_proto);
Neale Ranns41da54f2017-05-02 10:15:19 -0700578 }
579 else
580 {
Neale Rannsd792d9c2017-10-21 10:53:20 -0700581 fhc = fib_table_get_flow_hash_config(fib_entry->fe_fib_index,
582 flow_hash_proto);
Neale Ranns41da54f2017-05-02 10:15:19 -0700583 }
Neale Rannsd792d9c2017-10-21 10:53:20 -0700584
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800585 dpo_set(dpo_lb,
586 DPO_LOAD_BALANCE,
587 lb_proto,
588 load_balance_create(0, lb_proto, fhc));
589 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100590 }
591
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800592 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_MULTICAST)
Neale Ranns3ee44042016-10-03 13:05:48 +0100593 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800594 /*
595 * MPLS multicast
596 */
597 replicate_multipath_update(dpo_lb, ctx.next_hops);
Neale Ranns3ee44042016-10-03 13:05:48 +0100598 }
599 else
600 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800601 load_balance_multipath_update(dpo_lb,
602 ctx.next_hops,
603 fib_entry_calc_lb_flags(&ctx));
604 vec_free(ctx.next_hops);
605
606 /*
607 * if this entry is sourced by the uRPF-exempt source then we
608 * append the always present local0 interface (index 0) to the
609 * uRPF list so it is not empty. that way packets pass the loose check.
610 */
611 index_t ui = fib_path_list_get_urpf(esrc->fes_pl);
612
613 if ((fib_entry_is_sourced(fib_entry_get_index(fib_entry),
614 FIB_SOURCE_URPF_EXEMPT) ||
615 (esrc->fes_entry_flags & FIB_ENTRY_FLAG_LOOSE_URPF_EXEMPT))&&
616 (0 == fib_urpf_check_size(ui)))
617 {
618 /*
619 * The uRPF list we get from the path-list is shared by all
620 * other users of the list, but the uRPF exemption applies
621 * only to this prefix. So we need our own list.
622 */
623 ui = fib_urpf_list_alloc_and_lock();
624 fib_urpf_list_append(ui, 0);
625 fib_urpf_list_bake(ui);
626 load_balance_set_urpf(dpo_lb->dpoi_index, ui);
627 fib_urpf_list_unlock(ui);
628 }
629 else
630 {
631 load_balance_set_urpf(dpo_lb->dpoi_index, ui);
632 }
633 load_balance_set_fib_entry_flags(dpo_lb->dpoi_index,
634 fib_entry_get_flags_i(fib_entry));
Neale Ranns3ee44042016-10-03 13:05:48 +0100635 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100636}
637
638void
639fib_entry_src_action_install (fib_entry_t *fib_entry,
640 fib_source_t source)
641{
642 /*
643 * Install the forwarding chain for the given source into the forwarding
644 * tables
645 */
646 fib_forward_chain_type_t fct;
647 fib_entry_src_t *esrc;
Neale Ranns33a7dd52016-10-07 15:14:33 +0100648 int insert;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100649
650 fct = fib_entry_get_default_chain_type(fib_entry);
Neale Ranns2303cb12018-02-21 04:57:17 -0800651 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100652
Neale Ranns33a7dd52016-10-07 15:14:33 +0100653 /*
654 * Every entry has its own load-balance object. All changes to the entry's
655 * forwarding result in an inplace modify of the load-balance. This means
656 * the load-balance object only needs to be added to the forwarding
657 * DB once, when it is created.
658 */
Neale Rannsad422ed2016-11-02 14:20:04 +0000659 insert = !dpo_id_is_valid(&fib_entry->fe_lb);
Neale Ranns33a7dd52016-10-07 15:14:33 +0100660
Neale Rannsad422ed2016-11-02 14:20:04 +0000661 fib_entry_src_mk_lb(fib_entry, esrc, fct, &fib_entry->fe_lb);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100662
Neale Rannsad422ed2016-11-02 14:20:04 +0000663 ASSERT(dpo_id_is_valid(&fib_entry->fe_lb));
664 FIB_ENTRY_DBG(fib_entry, "install: %d", fib_entry->fe_lb);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100665
666 /*
667 * insert the adj into the data-plane forwarding trie
668 */
Neale Ranns33a7dd52016-10-07 15:14:33 +0100669 if (insert)
670 {
671 fib_table_fwding_dpo_update(fib_entry->fe_fib_index,
672 &fib_entry->fe_prefix,
Neale Rannsad422ed2016-11-02 14:20:04 +0000673 &fib_entry->fe_lb);
Neale Ranns33a7dd52016-10-07 15:14:33 +0100674 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100675
Neale Rannsad422ed2016-11-02 14:20:04 +0000676 /*
677 * if any of the other chain types are already created they will need
678 * updating too
679 */
680 fib_entry_delegate_type_t fdt;
681 fib_entry_delegate_t *fed;
682
683 FOR_EACH_DELEGATE_CHAIN(fib_entry, fdt, fed,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100684 {
Neale Rannsad422ed2016-11-02 14:20:04 +0000685 fib_entry_src_mk_lb(fib_entry, esrc,
686 fib_entry_delegate_type_to_chain_type(fdt),
687 &fed->fd_dpo);
688 });
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100689}
690
691void
692fib_entry_src_action_uninstall (fib_entry_t *fib_entry)
693{
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100694 /*
Neale Ranns3ee44042016-10-03 13:05:48 +0100695 * uninstall the forwarding chain from the forwarding tables
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100696 */
Neale Ranns710071b2018-09-24 12:36:26 +0000697 FIB_ENTRY_DBG(fib_entry, "uninstall");
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100698
Neale Rannsad422ed2016-11-02 14:20:04 +0000699 if (dpo_id_is_valid(&fib_entry->fe_lb))
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100700 {
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100701 fib_table_fwding_dpo_remove(
702 fib_entry->fe_fib_index,
703 &fib_entry->fe_prefix,
Neale Rannsad422ed2016-11-02 14:20:04 +0000704 &fib_entry->fe_lb);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100705
Neale Rannsad422ed2016-11-02 14:20:04 +0000706 dpo_reset(&fib_entry->fe_lb);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100707 }
708}
709
710static void
711fib_entry_recursive_loop_detect_i (fib_node_index_t path_list_index)
712{
713 fib_node_index_t *entries = NULL;
714
715 fib_path_list_recursive_loop_detect(path_list_index, &entries);
716
717 vec_free(entries);
718}
719
Neale Ranns89541992017-04-06 04:41:02 -0700720/*
721 * fib_entry_src_action_copy
722 *
723 * copy a source data from another entry to this one
724 */
Neale Ranns2303cb12018-02-21 04:57:17 -0800725static fib_entry_t *
Neale Ranns89541992017-04-06 04:41:02 -0700726fib_entry_src_action_copy (fib_entry_t *fib_entry,
727 const fib_entry_src_t *orig_src)
728{
729 fib_entry_src_t *esrc;
730
Neale Ranns2303cb12018-02-21 04:57:17 -0800731 esrc = fib_entry_src_find_or_create(fib_entry,
732 orig_src->fes_src,
733 orig_src->fes_entry_flags);
Neale Ranns89541992017-04-06 04:41:02 -0700734
Neale Ranns2303cb12018-02-21 04:57:17 -0800735 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_copy,
736 (orig_src, fib_entry, esrc));
737
738 fib_path_list_unlock(esrc->fes_pl);
739
740 /*
741 * copy over all the data ...
742 */
743 esrc->fes_flags = orig_src->fes_flags;
744 esrc->fes_pl = orig_src->fes_pl;
745
746 /*
747 * ... then update
748 */
Neale Ranns89541992017-04-06 04:41:02 -0700749 esrc->fes_ref_count = 1;
750 esrc->fes_flags |= FIB_ENTRY_SRC_FLAG_INHERITED;
Neale Ranns2303cb12018-02-21 04:57:17 -0800751 esrc->fes_flags &= ~(FIB_ENTRY_SRC_FLAG_ACTIVE |
752 FIB_ENTRY_SRC_FLAG_CONTRIBUTING);
Neale Ranns89541992017-04-06 04:41:02 -0700753 esrc->fes_entry_flags &= ~FIB_ENTRY_FLAG_COVERED_INHERIT;
754
755 /*
756 * the source owns a lock on the entry
757 */
758 fib_path_list_lock(esrc->fes_pl);
759 fib_entry_lock(fib_entry_get_index(fib_entry));
760
761 return (fib_entry);
762}
763
764/*
765 * fib_entry_src_action_update
766 *
767 * copy a source data from another entry to this one
768 */
769static fib_entry_src_t *
770fib_entry_src_action_update_from_cover (fib_entry_t *fib_entry,
771 const fib_entry_src_t *orig_src)
772{
773 fib_entry_src_t *esrc;
774
Neale Ranns2303cb12018-02-21 04:57:17 -0800775 esrc = fib_entry_src_find_or_create(fib_entry,
776 orig_src->fes_src,
777 orig_src->fes_entry_flags);
Neale Ranns89541992017-04-06 04:41:02 -0700778
779 /*
780 * the source owns a lock on the entry
781 */
782 fib_path_list_unlock(esrc->fes_pl);
783 esrc->fes_pl = orig_src->fes_pl;
784 fib_path_list_lock(esrc->fes_pl);
785
786 return (esrc);
787}
788
789static fib_table_walk_rc_t
790fib_entry_src_covered_inherit_add_i (fib_entry_t *fib_entry,
791 const fib_entry_src_t *cover_src)
792{
793 fib_entry_src_t *esrc;
794
Neale Ranns2303cb12018-02-21 04:57:17 -0800795 esrc = fib_entry_src_find(fib_entry, cover_src->fes_src);
Neale Ranns89541992017-04-06 04:41:02 -0700796
797 if (cover_src == esrc)
798 {
799 return (FIB_TABLE_WALK_CONTINUE);
800 }
801
802 if (NULL != esrc)
803 {
804 /*
805 * the covered entry already has this source.
806 */
807 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT)
808 {
809 /*
810 * the covered source is itself a COVERED_INHERIT, i.e.
811 * it also pushes this source down the sub-tree.
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700812 * We consider this more specific covered to be the owner
Neale Ranns89541992017-04-06 04:41:02 -0700813 * of the sub-tree from this point down.
814 */
815 return (FIB_TABLE_WALK_SUB_TREE_STOP);
816 }
817 if (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED)
818 {
819 /*
820 * The covered's source data has been inherited, presumably
821 * from this cover, i.e. this is a modify.
822 */
823 esrc = fib_entry_src_action_update_from_cover(fib_entry, cover_src);
824 fib_entry_source_change(fib_entry, esrc->fes_src, esrc->fes_src);
825 }
826 else
827 {
828 /*
829 * The covered's source was not inherited and it is also
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700830 * not inheriting. Nevertheless, it still owns the sub-tree from
Neale Ranns89541992017-04-06 04:41:02 -0700831 * this point down.
832 */
833 return (FIB_TABLE_WALK_SUB_TREE_STOP);
834 }
835 }
836 else
837 {
838 /*
839 * The covered does not have this source - add it.
840 */
841 fib_source_t best_source;
842
843 best_source = fib_entry_get_best_source(
844 fib_entry_get_index(fib_entry));
845
846 fib_entry_src_action_copy(fib_entry, cover_src);
847 fib_entry_source_change(fib_entry, best_source, cover_src->fes_src);
848
849 }
850 return (FIB_TABLE_WALK_CONTINUE);
851}
852
853static fib_table_walk_rc_t
854fib_entry_src_covered_inherit_walk_add (fib_node_index_t fei,
855 void *ctx)
856{
857 return (fib_entry_src_covered_inherit_add_i(fib_entry_get(fei), ctx));
858}
859
860static fib_table_walk_rc_t
861fib_entry_src_covered_inherit_walk_remove (fib_node_index_t fei,
862 void *ctx)
863{
864 fib_entry_src_t *cover_src, *esrc;
865 fib_entry_t *fib_entry;
866
867 fib_entry = fib_entry_get(fei);
868
869 cover_src = ctx;
Neale Ranns2303cb12018-02-21 04:57:17 -0800870 esrc = fib_entry_src_find(fib_entry, cover_src->fes_src);
Neale Ranns89541992017-04-06 04:41:02 -0700871
872 if (cover_src == esrc)
873 {
874 return (FIB_TABLE_WALK_CONTINUE);
875 }
876
877 if (NULL != esrc)
878 {
879 /*
880 * the covered entry already has this source.
881 */
882 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT)
883 {
884 /*
885 * the covered source is itself a COVERED_INHERIT, i.e.
886 * it also pushes this source down the sub-tree.
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700887 * We consider this more specific covered to be the owner
Neale Ranns89541992017-04-06 04:41:02 -0700888 * of the sub-tree from this point down.
889 */
890 return (FIB_TABLE_WALK_SUB_TREE_STOP);
891 }
892 if (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED)
893 {
894 /*
895 * The covered's source data has been inherited, presumably
896 * from this cover
897 */
898 fib_entry_src_flag_t remaining;
899
900 remaining = fib_entry_special_remove(fei, cover_src->fes_src);
901
902 ASSERT(FIB_ENTRY_SRC_FLAG_ADDED == remaining);
903 }
904 else
905 {
906 /*
907 * The covered's source was not inherited and it is also
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700908 * not inheriting. Nevertheless, it still owns the sub-tree from
Neale Ranns89541992017-04-06 04:41:02 -0700909 * this point down.
910 */
911 return (FIB_TABLE_WALK_SUB_TREE_STOP);
912 }
913 }
914 else
915 {
916 /*
917 * The covered does not have this source - that's an error,
918 * since it should have inherited, but there is nothing we can do
919 * about it now.
920 */
921 }
922 return (FIB_TABLE_WALK_CONTINUE);
923}
924
925void
926fib_entry_src_inherit (const fib_entry_t *cover,
927 fib_entry_t *covered)
928{
929 CLIB_UNUSED(fib_source_t source);
930 const fib_entry_src_t *src;
931
932 FOR_EACH_SRC_ADDED(cover, src, source,
933 ({
934 if ((src->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT) ||
935 (src->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED))
936 {
937 fib_entry_src_covered_inherit_add_i(covered, src);
938 }
939 }))
940}
941
942static void
943fib_entry_src_covered_inherit_add (fib_entry_t *fib_entry,
944 fib_source_t source)
945
946{
947 fib_entry_src_t *esrc;
948
Neale Ranns2303cb12018-02-21 04:57:17 -0800949 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns89541992017-04-06 04:41:02 -0700950
951 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE);
952
953 if ((esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT) ||
954 (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED))
955 {
956 fib_table_sub_tree_walk(fib_entry->fe_fib_index,
957 fib_entry->fe_prefix.fp_proto,
958 &fib_entry->fe_prefix,
959 fib_entry_src_covered_inherit_walk_add,
960 esrc);
961 }
962}
963
964static void
965fib_entry_src_covered_inherit_remove (fib_entry_t *fib_entry,
966 fib_entry_src_t *esrc)
967
968{
969 ASSERT(!(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE));
970
971 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT)
972 {
973 fib_table_sub_tree_walk(fib_entry->fe_fib_index,
974 fib_entry->fe_prefix.fp_proto,
975 &fib_entry->fe_prefix,
976 fib_entry_src_covered_inherit_walk_remove,
977 esrc);
978 }
979}
980
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100981void
982fib_entry_src_action_activate (fib_entry_t *fib_entry,
983 fib_source_t source)
984
985{
986 int houston_we_are_go_for_install;
Neale Ranns2303cb12018-02-21 04:57:17 -0800987 const fib_entry_src_vft_t *vft;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100988 fib_entry_src_t *esrc;
989
Neale Ranns2303cb12018-02-21 04:57:17 -0800990 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100991
992 ASSERT(!(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE));
993 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ADDED);
994
Neale Ranns2303cb12018-02-21 04:57:17 -0800995 esrc->fes_flags |= (FIB_ENTRY_SRC_FLAG_ACTIVE |
996 FIB_ENTRY_SRC_FLAG_CONTRIBUTING);
997 vft = fib_entry_src_get_vft(esrc);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100998
Neale Ranns2303cb12018-02-21 04:57:17 -0800999 if (NULL != vft->fesv_activate)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001000 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001001 houston_we_are_go_for_install = vft->fesv_activate(esrc, fib_entry);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001002 }
1003 else
1004 {
1005 /*
1006 * the source is not providing an activate function, we'll assume
1007 * therefore it has no objection to installing the entry
1008 */
1009 houston_we_are_go_for_install = !0;
1010 }
1011
1012 /*
1013 * link to the path-list provided by the source, and go check
1014 * if that forms any loops in the graph.
1015 */
1016 fib_entry->fe_parent = esrc->fes_pl;
1017 fib_entry->fe_sibling =
1018 fib_path_list_child_add(fib_entry->fe_parent,
1019 FIB_NODE_TYPE_ENTRY,
1020 fib_entry_get_index(fib_entry));
1021
1022 fib_entry_recursive_loop_detect_i(fib_entry->fe_parent);
1023
1024 FIB_ENTRY_DBG(fib_entry, "activate: %d",
1025 fib_entry->fe_parent);
1026
Neale Ranns89541992017-04-06 04:41:02 -07001027 /*
1028 * If this source should push its state to covered prefixs, do that now.
1029 */
1030 fib_entry_src_covered_inherit_add(fib_entry, source);
1031
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001032 if (0 != houston_we_are_go_for_install)
1033 {
1034 fib_entry_src_action_install(fib_entry, source);
1035 }
1036 else
1037 {
1038 fib_entry_src_action_uninstall(fib_entry);
1039 }
1040}
1041
1042void
1043fib_entry_src_action_deactivate (fib_entry_t *fib_entry,
1044 fib_source_t source)
1045
1046{
1047 fib_node_index_t path_list_index;
1048 fib_entry_src_t *esrc;
1049
Neale Ranns2303cb12018-02-21 04:57:17 -08001050 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001051
1052 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE);
1053
Neale Ranns2303cb12018-02-21 04:57:17 -08001054 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_deactivate,
1055 (esrc, fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001056
Neale Ranns2303cb12018-02-21 04:57:17 -08001057 esrc->fes_flags &= ~(FIB_ENTRY_SRC_FLAG_ACTIVE |
1058 FIB_ENTRY_SRC_FLAG_CONTRIBUTING);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001059
1060 FIB_ENTRY_DBG(fib_entry, "deactivate: %d", fib_entry->fe_parent);
1061
1062 /*
Neale Ranns89541992017-04-06 04:41:02 -07001063 * If this source should pull its state from covered prefixs, do that now.
1064 * If this source also has the INHERITED flag set then it has a cover
1065 * that wants to push down forwarding. We only want the covereds to see
1066 * one update.
1067 */
1068 fib_entry_src_covered_inherit_remove(fib_entry, esrc);
1069
1070 /*
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001071 * un-link from an old path-list. Check for any loops this will clear
1072 */
1073 path_list_index = fib_entry->fe_parent;
1074 fib_entry->fe_parent = FIB_NODE_INDEX_INVALID;
1075
1076 fib_entry_recursive_loop_detect_i(path_list_index);
1077
1078 /*
1079 * this will unlock the path-list, so it may be invalid thereafter.
1080 */
1081 fib_path_list_child_remove(path_list_index, fib_entry->fe_sibling);
1082 fib_entry->fe_sibling = FIB_NODE_INDEX_INVALID;
1083}
1084
Neale Rannsa4e77662017-12-04 20:00:30 +00001085static void
1086fib_entry_src_action_fwd_update (const fib_entry_t *fib_entry,
1087 fib_source_t source)
1088{
1089 fib_entry_src_t *esrc;
1090
1091 vec_foreach(esrc, fib_entry->fe_srcs)
1092 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001093 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_fwd_update,
1094 (esrc, fib_entry, source));
Neale Rannsa4e77662017-12-04 20:00:30 +00001095 }
1096}
1097
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001098void
1099fib_entry_src_action_reactivate (fib_entry_t *fib_entry,
1100 fib_source_t source)
1101{
1102 fib_node_index_t path_list_index;
Neale Ranns2303cb12018-02-21 04:57:17 -08001103 const fib_entry_src_vft_t *vft;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001104 fib_entry_src_t *esrc;
Neale Ranns2303cb12018-02-21 04:57:17 -08001105 int remain_installed;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001106
Neale Ranns2303cb12018-02-21 04:57:17 -08001107 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001108
1109 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE);
1110
1111 FIB_ENTRY_DBG(fib_entry, "reactivate: %d to %d",
1112 fib_entry->fe_parent,
1113 esrc->fes_pl);
1114
Neale Ranns2303cb12018-02-21 04:57:17 -08001115 /*
1116 * call the source to reactive and get the go/no-go to remain installed
1117 */
1118 vft = fib_entry_src_get_vft(esrc);
1119
1120 if (NULL != vft->fesv_reactivate)
1121 {
1122 remain_installed = vft->fesv_reactivate(esrc, fib_entry);
1123 }
1124 else
1125 {
1126 remain_installed = 1;
1127 }
1128
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001129 if (fib_entry->fe_parent != esrc->fes_pl)
1130 {
1131 /*
1132 * un-link from an old path-list. Check for any loops this will clear
1133 */
1134 path_list_index = fib_entry->fe_parent;
1135 fib_entry->fe_parent = FIB_NODE_INDEX_INVALID;
1136
1137 /*
1138 * temporary lock so it doesn't get deleted when this entry is no
1139 * longer a child.
1140 */
1141 fib_path_list_lock(path_list_index);
1142
1143 /*
1144 * this entry is no longer a child. after unlinking check if any loops
1145 * were broken
1146 */
1147 fib_path_list_child_remove(path_list_index,
1148 fib_entry->fe_sibling);
1149
1150 fib_entry_recursive_loop_detect_i(path_list_index);
1151
1152 /*
1153 * link to the path-list provided by the source, and go check
1154 * if that forms any loops in the graph.
1155 */
1156 fib_entry->fe_parent = esrc->fes_pl;
1157 fib_entry->fe_sibling =
1158 fib_path_list_child_add(fib_entry->fe_parent,
1159 FIB_NODE_TYPE_ENTRY,
1160 fib_entry_get_index(fib_entry));
1161
1162 fib_entry_recursive_loop_detect_i(fib_entry->fe_parent);
1163 fib_path_list_unlock(path_list_index);
Neale Ranns89541992017-04-06 04:41:02 -07001164
1165 /*
Neale Ranns89541992017-04-06 04:41:02 -07001166 * If this source should push its state to covered prefixs, do that now.
1167 */
1168 fib_entry_src_covered_inherit_add(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001169 }
Neale Ranns2303cb12018-02-21 04:57:17 -08001170
1171 if (!remain_installed)
1172 {
1173 fib_entry_src_action_uninstall(fib_entry);
1174 }
1175 else
1176 {
1177 fib_entry_src_action_install(fib_entry, source);
1178 }
Neale Rannsa4e77662017-12-04 20:00:30 +00001179 fib_entry_src_action_fwd_update(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001180}
1181
1182void
Neale Rannsa4e77662017-12-04 20:00:30 +00001183fib_entry_src_action_installed (const fib_entry_t *fib_entry,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001184 fib_source_t source)
1185{
1186 fib_entry_src_t *esrc;
1187
Neale Ranns2303cb12018-02-21 04:57:17 -08001188 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001189
Neale Ranns2303cb12018-02-21 04:57:17 -08001190 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_installed,
1191 (esrc, fib_entry));
Neale Rannsa4e77662017-12-04 20:00:30 +00001192
1193 fib_entry_src_action_fwd_update(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001194}
1195
1196/*
1197 * fib_entry_src_action_add
1198 *
1199 * Adding a source can result in a new fib_entry being created, which
1200 * can inturn mean the pool is realloc'd and thus the entry passed as
1201 * an argument it also realloc'd
1202 * @return the original entry
1203 */
1204fib_entry_t *
1205fib_entry_src_action_add (fib_entry_t *fib_entry,
1206 fib_source_t source,
1207 fib_entry_flag_t flags,
1208 const dpo_id_t *dpo)
1209{
1210 fib_node_index_t fib_entry_index;
1211 fib_entry_src_t *esrc;
1212
Neale Ranns2303cb12018-02-21 04:57:17 -08001213 esrc = fib_entry_src_find_or_create(fib_entry, source, flags);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001214
Neale Ranns2303cb12018-02-21 04:57:17 -08001215 ASSERT(esrc->fes_ref_count < 255);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001216 esrc->fes_ref_count++;
1217
Neale Ranns2303cb12018-02-21 04:57:17 -08001218 if (flags != esrc->fes_entry_flags)
1219 {
1220 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_flags_change,
1221 (esrc, fib_entry, flags));
1222 }
1223 esrc->fes_entry_flags = flags;
1224
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001225 if (1 != esrc->fes_ref_count)
1226 {
1227 /*
1228 * we only want to add the source on the 0->1 transition
1229 */
1230 return (fib_entry);
1231 }
1232
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001233 /*
1234 * save variable so we can recover from a fib_entry realloc.
1235 */
1236 fib_entry_index = fib_entry_get_index(fib_entry);
1237
Neale Ranns2303cb12018-02-21 04:57:17 -08001238 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_add,
1239 (esrc,
1240 fib_entry,
1241 flags,
1242 fib_entry_get_dpo_proto(fib_entry),
1243 dpo));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001244
1245 fib_entry = fib_entry_get(fib_entry_index);
1246
1247 esrc->fes_flags |= FIB_ENTRY_SRC_FLAG_ADDED;
1248
1249 fib_path_list_lock(esrc->fes_pl);
1250
1251 /*
1252 * the source owns a lock on the entry
1253 */
1254 fib_entry_lock(fib_entry_get_index(fib_entry));
1255
1256 return (fib_entry);
1257}
1258
Neale Ranns948e00f2016-10-20 13:39:34 +01001259/*
1260 * fib_entry_src_action_update
1261 *
1262 * Adding a source can result in a new fib_entry being created, which
1263 * can inturn mean the pool is realloc'd and thus the entry passed as
1264 * an argument it also realloc'd
1265 * @return the original entry
1266 */
1267fib_entry_t *
1268fib_entry_src_action_update (fib_entry_t *fib_entry,
1269 fib_source_t source,
1270 fib_entry_flag_t flags,
1271 const dpo_id_t *dpo)
1272{
1273 fib_node_index_t fib_entry_index, old_path_list_index;
1274 fib_entry_src_t *esrc;
1275
Neale Ranns2303cb12018-02-21 04:57:17 -08001276 esrc = fib_entry_src_find_or_create(fib_entry, source, flags);
Neale Ranns948e00f2016-10-20 13:39:34 +01001277
1278 if (NULL == esrc)
Neale Ranns89541992017-04-06 04:41:02 -07001279 {
Neale Ranns948e00f2016-10-20 13:39:34 +01001280 return (fib_entry_src_action_add(fib_entry, source, flags, dpo));
Neale Ranns89541992017-04-06 04:41:02 -07001281 }
Neale Ranns948e00f2016-10-20 13:39:34 +01001282
1283 old_path_list_index = esrc->fes_pl;
1284 esrc->fes_entry_flags = flags;
1285
1286 /*
1287 * save variable so we can recover from a fib_entry realloc.
1288 */
1289 fib_entry_index = fib_entry_get_index(fib_entry);
1290
Neale Ranns2303cb12018-02-21 04:57:17 -08001291 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_add,
1292 (esrc,
1293 fib_entry,
1294 flags,
1295 fib_entry_get_dpo_proto(fib_entry),
1296 dpo));
Neale Ranns948e00f2016-10-20 13:39:34 +01001297
1298 fib_entry = fib_entry_get(fib_entry_index);
1299
1300 esrc->fes_flags |= FIB_ENTRY_SRC_FLAG_ADDED;
1301
1302 fib_path_list_lock(esrc->fes_pl);
1303 fib_path_list_unlock(old_path_list_index);
1304
1305 return (fib_entry);
1306}
1307
Neale Ranns89541992017-04-06 04:41:02 -07001308fib_entry_src_flag_t
1309fib_entry_src_action_remove_or_update_inherit (fib_entry_t *fib_entry,
1310 fib_source_t source)
1311{
1312 fib_entry_src_t *esrc;
1313
Neale Ranns2303cb12018-02-21 04:57:17 -08001314 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns89541992017-04-06 04:41:02 -07001315
1316 if (NULL == esrc)
1317 return (FIB_ENTRY_SRC_FLAG_ACTIVE);
1318
1319 if ((esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT) &&
1320 (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED))
1321 {
1322 fib_entry_src_t *cover_src;
1323 fib_node_index_t coveri;
1324 fib_entry_t *cover;
1325
1326 /*
1327 * this source was pushing inherited state, but so is its
1328 * cover. Now that this source is going away, we need to
1329 * pull the covers forwarding and use it to update the covereds.
1330 * Go grab the path-list from the cover, rather than start a walk from
1331 * the cover, so we don't recursively update this entry.
1332 */
1333 coveri = fib_table_get_less_specific(fib_entry->fe_fib_index,
1334 &fib_entry->fe_prefix);
1335
1336 /*
1337 * only the default route has itself as its own cover, but the
1338 * default route cannot have inherited from something else.
1339 */
1340 ASSERT(coveri != fib_entry_get_index(fib_entry));
1341
1342 cover = fib_entry_get(coveri);
Neale Ranns2303cb12018-02-21 04:57:17 -08001343 cover_src = fib_entry_src_find(cover, source);
Neale Ranns89541992017-04-06 04:41:02 -07001344
1345 ASSERT(NULL != cover_src);
1346
1347 esrc = fib_entry_src_action_update_from_cover(fib_entry, cover_src);
1348 esrc->fes_entry_flags &= ~FIB_ENTRY_FLAG_COVERED_INHERIT;
1349
1350 /*
1351 * Now push the new state from the cover down to the covereds
1352 */
1353 fib_entry_src_covered_inherit_add(fib_entry, source);
1354
1355 return (esrc->fes_flags);
1356 }
1357 else
1358 {
1359 return (fib_entry_src_action_remove(fib_entry, source));
1360 }
1361}
Neale Ranns948e00f2016-10-20 13:39:34 +01001362
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001363fib_entry_src_flag_t
1364fib_entry_src_action_remove (fib_entry_t *fib_entry,
1365 fib_source_t source)
1366
1367{
1368 fib_node_index_t old_path_list;
1369 fib_entry_src_flag_t sflags;
1370 fib_entry_src_t *esrc;
1371
Neale Ranns2303cb12018-02-21 04:57:17 -08001372 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001373
1374 if (NULL == esrc)
1375 return (FIB_ENTRY_SRC_FLAG_ACTIVE);
1376
1377 esrc->fes_ref_count--;
1378 sflags = esrc->fes_flags;
1379
1380 if (0 != esrc->fes_ref_count)
1381 {
1382 /*
1383 * only remove the source on the 1->0 transisition
1384 */
1385 return (sflags);
1386 }
1387
1388 if (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE)
1389 {
Neale Ranns89541992017-04-06 04:41:02 -07001390 fib_entry_src_action_deactivate(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001391 }
Neale Ranns2303cb12018-02-21 04:57:17 -08001392 else if (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_CONTRIBUTING)
1393 {
1394 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_deactivate,
1395 (esrc, fib_entry));
1396 esrc->fes_flags &= ~FIB_ENTRY_SRC_FLAG_CONTRIBUTING;
1397 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001398
1399 old_path_list = esrc->fes_pl;
1400
Neale Ranns2303cb12018-02-21 04:57:17 -08001401 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_remove, (esrc));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001402
1403 fib_path_list_unlock(old_path_list);
1404 fib_entry_unlock(fib_entry_get_index(fib_entry));
1405
1406 sflags &= ~FIB_ENTRY_SRC_FLAG_ADDED;
1407 fib_entry_src_action_deinit(fib_entry, source);
1408
1409 return (sflags);
1410}
1411
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001412/*
1413 * fib_route_attached_cross_table
1414 *
1415 * Return true the the route is attached via an interface that
1416 * is not in the same table as the route
1417 */
1418static inline int
1419fib_route_attached_cross_table (const fib_entry_t *fib_entry,
1420 const fib_route_path_t *rpath)
1421{
1422 /*
1423 * - All zeros next-hop
1424 * - a valid interface
1425 * - entry's fib index not equeal to interface's index
1426 */
1427 if (ip46_address_is_zero(&rpath->frp_addr) &&
1428 (~0 != rpath->frp_sw_if_index) &&
Neale Rannseca834e2018-03-13 07:51:50 -07001429 !(rpath->frp_flags & FIB_ROUTE_PATH_DVR) &&
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001430 (fib_entry->fe_fib_index !=
1431 fib_table_get_index_for_sw_if_index(fib_entry_get_proto(fib_entry),
1432 rpath->frp_sw_if_index)))
1433 {
1434 return (!0);
1435 }
1436 return (0);
1437}
1438
1439/*
Neale Ranns53da2212018-02-24 02:11:19 -08001440 * Return true if the path is attached
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001441 */
1442static inline int
1443fib_path_is_attached (const fib_route_path_t *rpath)
1444{
1445 /*
Neale Rannseca834e2018-03-13 07:51:50 -07001446 * DVR paths are not attached, since we are not playing the
1447 * L3 game with these
1448 */
1449 if (rpath->frp_flags & FIB_ROUTE_PATH_DVR)
1450 {
1451 return (0);
1452 }
1453
1454 /*
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001455 * - All zeros next-hop
1456 * - a valid interface
1457 */
1458 if (ip46_address_is_zero(&rpath->frp_addr) &&
1459 (~0 != rpath->frp_sw_if_index))
1460 {
1461 return (!0);
1462 }
Neale Ranns4b919a52017-03-11 05:55:21 -08001463 else if (rpath->frp_flags & FIB_ROUTE_PATH_ATTACHED)
1464 {
1465 return (!0);
1466 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001467 return (0);
1468}
1469
1470fib_path_list_flags_t
1471fib_entry_src_flags_2_path_list_flags (fib_entry_flag_t eflags)
1472{
1473 fib_path_list_flags_t plf = FIB_PATH_LIST_FLAG_NONE;
1474
1475 if (eflags & FIB_ENTRY_FLAG_DROP)
1476 {
1477 plf |= FIB_PATH_LIST_FLAG_DROP;
1478 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001479 if (eflags & FIB_ENTRY_FLAG_EXCLUSIVE)
1480 {
1481 plf |= FIB_PATH_LIST_FLAG_EXCLUSIVE;
1482 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001483 if (eflags & FIB_ENTRY_FLAG_LOCAL)
1484 {
1485 plf |= FIB_PATH_LIST_FLAG_LOCAL;
1486 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001487
1488 return (plf);
1489}
1490
1491static void
1492fib_entry_flags_update (const fib_entry_t *fib_entry,
Neale Ranns097fa662018-05-01 05:17:55 -07001493 const fib_route_path_t *rpaths,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001494 fib_path_list_flags_t *pl_flags,
1495 fib_entry_src_t *esrc)
1496{
Neale Ranns097fa662018-05-01 05:17:55 -07001497 const fib_route_path_t *rpath;
1498
1499 vec_foreach(rpath, rpaths)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001500 {
Neale Ranns097fa662018-05-01 05:17:55 -07001501 if ((esrc->fes_src == FIB_SOURCE_API) ||
1502 (esrc->fes_src == FIB_SOURCE_CLI))
1503 {
1504 if (fib_path_is_attached(rpath))
1505 {
1506 esrc->fes_entry_flags |= FIB_ENTRY_FLAG_ATTACHED;
1507 }
1508 else
1509 {
1510 esrc->fes_entry_flags &= ~FIB_ENTRY_FLAG_ATTACHED;
1511 }
1512 if (rpath->frp_flags & FIB_ROUTE_PATH_DEAG)
1513 {
1514 esrc->fes_entry_flags |= FIB_ENTRY_FLAG_LOOSE_URPF_EXEMPT;
1515 }
1516 }
1517 if (fib_route_attached_cross_table(fib_entry, rpath) &&
1518 !(esrc->fes_entry_flags & FIB_ENTRY_FLAG_NO_ATTACHED_EXPORT))
1519 {
1520 esrc->fes_entry_flags |= FIB_ENTRY_FLAG_IMPORT;
1521 }
1522 else
1523 {
1524 esrc->fes_entry_flags &= ~FIB_ENTRY_FLAG_IMPORT;
1525 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001526 }
1527}
1528
1529/*
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001530 * fib_entry_src_action_add
1531 *
1532 * Adding a source can result in a new fib_entry being created, which
1533 * can inturn mean the pool is realloc'd and thus the entry passed as
1534 * an argument it also realloc'd
1535 * @return the entry
1536 */
1537fib_entry_t*
1538fib_entry_src_action_path_add (fib_entry_t *fib_entry,
1539 fib_source_t source,
1540 fib_entry_flag_t flags,
Neale Ranns097fa662018-05-01 05:17:55 -07001541 const fib_route_path_t *rpaths)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001542{
1543 fib_node_index_t old_path_list, fib_entry_index;
1544 fib_path_list_flags_t pl_flags;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001545 fib_entry_src_t *esrc;
1546
1547 /*
1548 * save variable so we can recover from a fib_entry realloc.
1549 */
1550 fib_entry_index = fib_entry_get_index(fib_entry);
1551
Neale Ranns2303cb12018-02-21 04:57:17 -08001552 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001553 if (NULL == esrc)
1554 {
Vijayabhaskar Katamreddy0c2319f2018-10-25 13:28:12 -07001555 const dpo_id_t *dpo;
1556
1557 if (flags == FIB_ENTRY_FLAG_EXCLUSIVE) {
Neale Ranns097fa662018-05-01 05:17:55 -07001558 dpo = &rpaths->dpo;
Vijayabhaskar Katamreddy0c2319f2018-10-25 13:28:12 -07001559 } else {
1560 dpo = drop_dpo_get(fib_entry_get_dpo_proto(fib_entry));
1561 }
1562
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001563 fib_entry =
1564 fib_entry_src_action_add(fib_entry,
1565 source,
1566 flags,
Vijayabhaskar Katamreddy0c2319f2018-10-25 13:28:12 -07001567 dpo);
Neale Ranns2303cb12018-02-21 04:57:17 -08001568 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001569 }
1570
1571 /*
1572 * we are no doubt modifying a path-list. If the path-list
1573 * is shared, and hence not modifiable, then the index returned
1574 * will be for a different path-list. This FIB entry to needs
1575 * to maintain its lock appropriately.
1576 */
1577 old_path_list = esrc->fes_pl;
1578
Neale Ranns2303cb12018-02-21 04:57:17 -08001579 ASSERT(FIB_ENTRY_SRC_VFT_EXISTS(esrc, fesv_path_add));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001580
1581 pl_flags = fib_entry_src_flags_2_path_list_flags(fib_entry_get_flags_i(fib_entry));
Neale Ranns097fa662018-05-01 05:17:55 -07001582 fib_entry_flags_update(fib_entry, rpaths, &pl_flags, esrc);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001583
Neale Ranns2303cb12018-02-21 04:57:17 -08001584 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_path_add,
Neale Ranns097fa662018-05-01 05:17:55 -07001585 (esrc, fib_entry, pl_flags, rpaths));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001586 fib_entry = fib_entry_get(fib_entry_index);
1587
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001588 fib_path_list_lock(esrc->fes_pl);
1589 fib_path_list_unlock(old_path_list);
1590
1591 return (fib_entry);
1592}
1593
1594/*
1595 * fib_entry_src_action_swap
1596 *
1597 * The source is providing new paths to replace the old ones.
1598 * Adding a source can result in a new fib_entry being created, which
1599 * can inturn mean the pool is realloc'd and thus the entry passed as
1600 * an argument it also realloc'd
1601 * @return the entry
1602 */
1603fib_entry_t*
1604fib_entry_src_action_path_swap (fib_entry_t *fib_entry,
1605 fib_source_t source,
Neale Ranns2303cb12018-02-21 04:57:17 -08001606 fib_entry_flag_t flags,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001607 const fib_route_path_t *rpaths)
1608{
1609 fib_node_index_t old_path_list, fib_entry_index;
1610 fib_path_list_flags_t pl_flags;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001611 fib_entry_src_t *esrc;
1612
Neale Ranns2303cb12018-02-21 04:57:17 -08001613 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001614
1615 /*
1616 * save variable so we can recover from a fib_entry realloc.
1617 */
1618 fib_entry_index = fib_entry_get_index(fib_entry);
1619
1620 if (NULL == esrc)
1621 {
Vijayabhaskar Katamreddy0c2319f2018-10-25 13:28:12 -07001622 const dpo_id_t *dpo;
1623
1624 if (flags == FIB_ENTRY_FLAG_EXCLUSIVE) {
1625 dpo = &rpaths->dpo;
1626 } else {
1627 dpo = drop_dpo_get(fib_entry_get_dpo_proto(fib_entry));
1628 }
1629
Neale Ranns2303cb12018-02-21 04:57:17 -08001630 fib_entry = fib_entry_src_action_add(fib_entry,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001631 source,
1632 flags,
Vijayabhaskar Katamreddy0c2319f2018-10-25 13:28:12 -07001633 dpo);
Neale Ranns2303cb12018-02-21 04:57:17 -08001634 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001635 }
Neale Ranns89541992017-04-06 04:41:02 -07001636 else
1637 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001638 if (flags != esrc->fes_entry_flags)
1639 {
1640 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_flags_change,
1641 (esrc, fib_entry, flags));
1642 }
Neale Ranns89541992017-04-06 04:41:02 -07001643 esrc->fes_entry_flags = flags;
1644 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001645
1646 /*
1647 * swapping paths may create a new path-list (or may use an existing shared)
1648 * but we are certainly getting a different one. This FIB entry to needs
1649 * to maintain its lock appropriately.
1650 */
1651 old_path_list = esrc->fes_pl;
1652
Neale Ranns2303cb12018-02-21 04:57:17 -08001653 ASSERT(FIB_ENTRY_SRC_VFT_EXISTS(esrc, fesv_path_swap));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001654
Neale Rannsdf089a82016-10-02 16:39:06 +01001655 pl_flags = fib_entry_src_flags_2_path_list_flags(flags);
1656
Neale Rannsb5d61a92019-07-09 14:29:35 +00001657 fib_entry_flags_update(fib_entry, rpaths, &pl_flags, esrc);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001658
Neale Ranns2303cb12018-02-21 04:57:17 -08001659 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_path_swap,
1660 (esrc, fib_entry,
1661 pl_flags, rpaths));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001662
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001663 fib_entry = fib_entry_get(fib_entry_index);
1664
1665 fib_path_list_lock(esrc->fes_pl);
1666 fib_path_list_unlock(old_path_list);
1667
1668 return (fib_entry);
1669}
1670
1671fib_entry_src_flag_t
1672fib_entry_src_action_path_remove (fib_entry_t *fib_entry,
1673 fib_source_t source,
Neale Ranns097fa662018-05-01 05:17:55 -07001674 const fib_route_path_t *rpaths)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001675{
1676 fib_path_list_flags_t pl_flags;
1677 fib_node_index_t old_path_list;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001678 fib_entry_src_t *esrc;
1679
Neale Ranns2303cb12018-02-21 04:57:17 -08001680 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001681
1682 ASSERT(NULL != esrc);
1683 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ADDED);
1684
1685 /*
1686 * we no doubt modifying a path-list. If the path-list
1687 * is shared, and hence not modifiable, then the index returned
1688 * will be for a different path-list. This FIB entry to needs
1689 * to maintain its lock appropriately.
1690 */
1691 old_path_list = esrc->fes_pl;
1692
Neale Ranns2303cb12018-02-21 04:57:17 -08001693 ASSERT(FIB_ENTRY_SRC_VFT_EXISTS(esrc, fesv_path_remove));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001694
1695 pl_flags = fib_entry_src_flags_2_path_list_flags(fib_entry_get_flags_i(fib_entry));
Neale Ranns097fa662018-05-01 05:17:55 -07001696 fib_entry_flags_update(fib_entry, rpaths, &pl_flags, esrc);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001697
Neale Ranns2303cb12018-02-21 04:57:17 -08001698 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_path_remove,
Neale Ranns097fa662018-05-01 05:17:55 -07001699 (esrc, pl_flags, rpaths));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001700
1701 /*
1702 * lock the new path-list, unlock the old if it had one
1703 */
1704 fib_path_list_unlock(old_path_list);
1705
1706 if (FIB_NODE_INDEX_INVALID != esrc->fes_pl) {
1707 fib_path_list_lock(esrc->fes_pl);
1708 return (FIB_ENTRY_SRC_FLAG_ADDED);
1709 }
1710 else
1711 {
1712 /*
1713 * no more paths left from this source
1714 */
Neale Ranns89541992017-04-06 04:41:02 -07001715 fib_entry_src_action_remove_or_update_inherit(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001716 return (FIB_ENTRY_SRC_FLAG_NONE);
1717 }
1718}
1719
1720u8*
1721fib_entry_src_format (fib_entry_t *fib_entry,
1722 fib_source_t source,
1723 u8* s)
1724{
1725 fib_entry_src_t *esrc;
1726
Neale Ranns2303cb12018-02-21 04:57:17 -08001727 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001728
Neale Ranns2303cb12018-02-21 04:57:17 -08001729 FIB_ENTRY_SRC_VFT_INVOKE_AND_RETURN(esrc, fesv_format, (esrc, s));
1730
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001731 return (s);
1732}
1733
1734adj_index_t
1735fib_entry_get_adj_for_source (fib_node_index_t fib_entry_index,
1736 fib_source_t source)
1737{
1738 fib_entry_t *fib_entry;
1739 fib_entry_src_t *esrc;
1740
1741 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
1742 return (ADJ_INDEX_INVALID);
1743
1744 fib_entry = fib_entry_get(fib_entry_index);
Neale Ranns2303cb12018-02-21 04:57:17 -08001745 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001746
1747 if (NULL != esrc)
1748 {
1749 if (FIB_NODE_INDEX_INVALID != esrc->fes_pl)
1750 {
1751 return (fib_path_list_get_adj(
1752 esrc->fes_pl,
1753 fib_entry_get_default_chain_type(fib_entry)));
1754 }
1755 }
1756 return (ADJ_INDEX_INVALID);
1757}
1758
1759const int
1760fib_entry_get_dpo_for_source (fib_node_index_t fib_entry_index,
1761 fib_source_t source,
1762 dpo_id_t *dpo)
1763{
1764 fib_entry_t *fib_entry;
1765 fib_entry_src_t *esrc;
1766
1767 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
1768 return (0);
1769
1770 fib_entry = fib_entry_get(fib_entry_index);
Neale Ranns2303cb12018-02-21 04:57:17 -08001771 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001772
1773 if (NULL != esrc)
1774 {
1775 if (FIB_NODE_INDEX_INVALID != esrc->fes_pl)
1776 {
1777 fib_path_list_contribute_forwarding(
1778 esrc->fes_pl,
1779 fib_entry_get_default_chain_type(fib_entry),
Neale Ranns91286372017-12-05 13:24:04 -08001780 FIB_PATH_LIST_FWD_FLAG_NONE,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001781 dpo);
1782
1783 return (dpo_id_is_valid(dpo));
1784 }
1785 }
1786 return (0);
1787}
1788
Neale Rannsdf089a82016-10-02 16:39:06 +01001789u32
1790fib_entry_get_resolving_interface_for_source (fib_node_index_t entry_index,
1791 fib_source_t source)
1792{
1793 fib_entry_t *fib_entry;
1794 fib_entry_src_t *esrc;
1795
1796 fib_entry = fib_entry_get(entry_index);
1797
Neale Ranns2303cb12018-02-21 04:57:17 -08001798 esrc = fib_entry_src_find(fib_entry, source);
Neale Rannsdf089a82016-10-02 16:39:06 +01001799
1800 if (NULL != esrc)
1801 {
1802 if (FIB_NODE_INDEX_INVALID != esrc->fes_pl)
1803 {
1804 return (fib_path_list_get_resolving_interface(esrc->fes_pl));
1805 }
1806 }
1807 return (~0);
1808}
1809
1810fib_entry_flag_t
1811fib_entry_get_flags_for_source (fib_node_index_t entry_index,
1812 fib_source_t source)
1813{
1814 fib_entry_t *fib_entry;
1815 fib_entry_src_t *esrc;
1816
1817 fib_entry = fib_entry_get(entry_index);
1818
Neale Ranns2303cb12018-02-21 04:57:17 -08001819 esrc = fib_entry_src_find(fib_entry, source);
Neale Rannsdf089a82016-10-02 16:39:06 +01001820
1821 if (NULL != esrc)
1822 {
1823 return (esrc->fes_entry_flags);
1824 }
1825
1826 return (FIB_ENTRY_FLAG_NONE);
1827}
1828
Neale Rannsa4e77662017-12-04 20:00:30 +00001829fib_entry_flag_t
1830fib_entry_get_flags_i (const fib_entry_t *fib_entry)
1831{
1832 fib_entry_flag_t flags;
1833
1834 /*
1835 * the vector of sources is deliberately arranged in priority order
1836 */
1837 if (0 == vec_len(fib_entry->fe_srcs))
1838 {
1839 flags = FIB_ENTRY_FLAG_NONE;
1840 }
1841 else
1842 {
1843 fib_entry_src_t *esrc;
1844
1845 esrc = vec_elt_at_index(fib_entry->fe_srcs, 0);
1846 flags = esrc->fes_entry_flags;
1847 }
1848
1849 return (flags);
1850}
1851
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001852void
1853fib_entry_set_source_data (fib_node_index_t fib_entry_index,
1854 fib_source_t source,
1855 const void *data)
1856{
1857 fib_entry_t *fib_entry;
1858 fib_entry_src_t *esrc;
1859
1860 fib_entry = fib_entry_get(fib_entry_index);
Neale Ranns2303cb12018-02-21 04:57:17 -08001861 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001862
Neale Ranns2303cb12018-02-21 04:57:17 -08001863 if (NULL != esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001864 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001865 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_set_data,
1866 (esrc, fib_entry, data));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001867 }
1868}
1869
1870const void*
1871fib_entry_get_source_data (fib_node_index_t fib_entry_index,
1872 fib_source_t source)
1873{
1874 fib_entry_t *fib_entry;
1875 fib_entry_src_t *esrc;
1876
1877 fib_entry = fib_entry_get(fib_entry_index);
Neale Ranns2303cb12018-02-21 04:57:17 -08001878 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001879
Neale Ranns2303cb12018-02-21 04:57:17 -08001880 if (NULL != esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001881 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001882 FIB_ENTRY_SRC_VFT_INVOKE_AND_RETURN(esrc, fesv_get_data,
1883 (esrc, fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001884 }
1885 return (NULL);
1886}
1887
1888void
1889fib_entry_src_module_init (void)
1890{
1891 fib_entry_src_rr_register();
1892 fib_entry_src_interface_register();
Neale Ranns2303cb12018-02-21 04:57:17 -08001893 fib_entry_src_interpose_register();
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001894 fib_entry_src_default_route_register();
1895 fib_entry_src_special_register();
1896 fib_entry_src_api_register();
1897 fib_entry_src_adj_register();
1898 fib_entry_src_mpls_register();
1899 fib_entry_src_lisp_register();
1900}