blob: 1b2d71610607c78a90c12b6aa7b02a3903622efd [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 Ranns0bfe5d82016-08-25 15:29:12 +0100176}
177
178fib_entry_src_cover_res_t
179fib_entry_src_action_cover_change (fib_entry_t *fib_entry,
Neale Ranns2303cb12018-02-21 04:57:17 -0800180 fib_entry_src_t *esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100181{
Neale Ranns2303cb12018-02-21 04:57:17 -0800182 FIB_ENTRY_SRC_VFT_INVOKE_AND_RETURN(esrc, fesv_cover_change,
183 (esrc, fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100184
185 fib_entry_src_cover_res_t res = {
186 .install = !0,
187 .bw_reason = FIB_NODE_BW_REASON_FLAG_NONE,
188 };
189 return (res);
190}
191
192fib_entry_src_cover_res_t
193fib_entry_src_action_cover_update (fib_entry_t *fib_entry,
Neale Ranns2303cb12018-02-21 04:57:17 -0800194 fib_entry_src_t *esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100195{
Neale Ranns2303cb12018-02-21 04:57:17 -0800196 FIB_ENTRY_SRC_VFT_INVOKE_AND_RETURN(esrc, fesv_cover_update,
197 (esrc, fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100198
199 fib_entry_src_cover_res_t res = {
200 .install = !0,
201 .bw_reason = FIB_NODE_BW_REASON_FLAG_NONE,
202 };
203 return (res);
204}
205
206typedef struct fib_entry_src_collect_forwarding_ctx_t_
207{
Neale Ranns81424992017-05-18 03:03:22 -0700208 load_balance_path_t *next_hops;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100209 const fib_entry_t *fib_entry;
210 const fib_entry_src_t *esrc;
211 fib_forward_chain_type_t fct;
Neale Rannsf12a83f2017-04-18 09:09:40 -0700212 int n_recursive_constrained;
Neale Ranns57b58602017-07-15 07:37:25 -0700213 u16 preference;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100214} fib_entry_src_collect_forwarding_ctx_t;
215
216/**
217 * @brief Determine whether this FIB entry should use a load-balance MAP
218 * to support PIC edge fast convergence
219 */
220load_balance_flags_t
221fib_entry_calc_lb_flags (fib_entry_src_collect_forwarding_ctx_t *ctx)
222{
223 /**
Neale Rannsf12a83f2017-04-18 09:09:40 -0700224 * We'll use a LB map if the path-list has multiple recursive paths.
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100225 * recursive paths implies BGP, and hence scale.
226 */
Neale Rannsf12a83f2017-04-18 09:09:40 -0700227 if (ctx->n_recursive_constrained > 1 &&
228 fib_path_list_is_popular(ctx->esrc->fes_pl))
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100229 {
230 return (LOAD_BALANCE_FLAG_USES_MAP);
231 }
232 return (LOAD_BALANCE_FLAG_NONE);
233}
234
235static int
236fib_entry_src_valid_out_label (mpls_label_t label)
237{
238 return ((MPLS_LABEL_IS_REAL(label) ||
Neale Ranns31ed7442018-02-23 05:29:09 -0800239 MPLS_LABEL_POP == label ||
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100240 MPLS_IETF_IPV4_EXPLICIT_NULL_LABEL == label ||
241 MPLS_IETF_IPV6_EXPLICIT_NULL_LABEL == label ||
242 MPLS_IETF_IMPLICIT_NULL_LABEL == label));
243}
244
Neale Rannsad422ed2016-11-02 14:20:04 +0000245/**
246 * @brief Turn the chain type requested by the client into the one they
247 * really wanted
248 */
249fib_forward_chain_type_t
250fib_entry_chain_type_fixup (const fib_entry_t *entry,
251 fib_forward_chain_type_t fct)
252{
Neale Rannsad422ed2016-11-02 14:20:04 +0000253 /*
254 * The EOS chain is a tricky since one cannot know the adjacency
255 * to link to without knowing what the packets payload protocol
256 * will be once the label is popped.
257 */
258 fib_forward_chain_type_t dfct;
259
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800260 if (FIB_FORW_CHAIN_TYPE_MPLS_EOS != fct)
261 {
262 return (fct);
263 }
264
Neale Rannsad422ed2016-11-02 14:20:04 +0000265 dfct = fib_entry_get_default_chain_type(entry);
266
267 if (FIB_FORW_CHAIN_TYPE_MPLS_EOS == dfct)
268 {
269 /*
270 * If the entry being asked is a eos-MPLS label entry,
271 * then use the payload-protocol field, that we stashed there
272 * for just this purpose
273 */
274 return (fib_forw_chain_type_from_dpo_proto(
275 entry->fe_prefix.fp_payload_proto));
276 }
277 /*
278 * else give them what this entry would be by default. i.e. if it's a v6
279 * entry, then the label its local labelled should be carrying v6 traffic.
280 * If it's a non-EOS label entry, then there are more labels and we want
281 * a non-eos chain.
282 */
283 return (dfct);
284}
285
Neale Ranns62fe07c2017-10-31 12:28:22 -0700286static dpo_proto_t
287fib_prefix_get_payload_proto (const fib_prefix_t *pfx)
288{
289 switch (pfx->fp_proto)
290 {
291 case FIB_PROTOCOL_IP4:
292 return (DPO_PROTO_IP4);
293 case FIB_PROTOCOL_IP6:
294 return (DPO_PROTO_IP6);
295 case FIB_PROTOCOL_MPLS:
296 return (pfx->fp_payload_proto);
297 }
298
299 ASSERT(0);
300 return (DPO_PROTO_IP4);
301}
302
Neale Ranns81424992017-05-18 03:03:22 -0700303static void
304fib_entry_src_get_path_forwarding (fib_node_index_t path_index,
305 fib_entry_src_collect_forwarding_ctx_t *ctx)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100306{
Neale Ranns81424992017-05-18 03:03:22 -0700307 load_balance_path_t *nh;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100308
309 /*
Neale Ranns81424992017-05-18 03:03:22 -0700310 * no extension => no out-going label for this path. that's OK
311 * in the case of an IP or EOS chain, but not for non-EOS
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100312 */
Neale Ranns81424992017-05-18 03:03:22 -0700313 switch (ctx->fct)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100314 {
Neale Ranns81424992017-05-18 03:03:22 -0700315 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
316 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
317 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
318 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
Neale Rannsd792d9c2017-10-21 10:53:20 -0700319 case FIB_FORW_CHAIN_TYPE_BIER:
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100320 /*
Neale Ranns81424992017-05-18 03:03:22 -0700321 * EOS traffic with no label to stack, we need the IP Adj
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100322 */
Neale Ranns81424992017-05-18 03:03:22 -0700323 vec_add2(ctx->next_hops, nh, 1);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100324
Neale Ranns81424992017-05-18 03:03:22 -0700325 nh->path_index = path_index;
326 nh->path_weight = fib_path_get_weight(path_index);
327 fib_path_contribute_forwarding(path_index, ctx->fct, &nh->path_dpo);
328
329 break;
330 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
331 if (fib_path_is_exclusive(path_index) ||
332 fib_path_is_deag(path_index))
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100333 {
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100334 vec_add2(ctx->next_hops, nh, 1);
335
336 nh->path_index = path_index;
337 nh->path_weight = fib_path_get_weight(path_index);
Neale Ranns81424992017-05-18 03:03:22 -0700338 fib_path_contribute_forwarding(path_index,
339 FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS,
340 &nh->path_dpo);
341 }
342 break;
343 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
Neale Rannsad422ed2016-11-02 14:20:04 +0000344 {
345 /*
346 * no label. we need a chain based on the payload. fixup.
347 */
348 vec_add2(ctx->next_hops, nh, 1);
349
350 nh->path_index = path_index;
351 nh->path_weight = fib_path_get_weight(path_index);
352 fib_path_contribute_forwarding(path_index,
353 fib_entry_chain_type_fixup(ctx->fib_entry,
354 ctx->fct),
355 &nh->path_dpo);
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800356 fib_path_stack_mpls_disp(path_index,
Neale Ranns62fe07c2017-10-31 12:28:22 -0700357 fib_prefix_get_payload_proto(&ctx->fib_entry->fe_prefix),
Neale Ranns31ed7442018-02-23 05:29:09 -0800358 FIB_MPLS_LSP_MODE_PIPE,
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800359 &nh->path_dpo);
Neale Rannsad422ed2016-11-02 14:20:04 +0000360
361 break;
362 }
Neale Ranns81424992017-05-18 03:03:22 -0700363 case FIB_FORW_CHAIN_TYPE_ETHERNET:
364 case FIB_FORW_CHAIN_TYPE_NSH:
365 ASSERT(0);
366 break;
367 }
368}
369
370static fib_path_list_walk_rc_t
371fib_entry_src_collect_forwarding (fib_node_index_t pl_index,
372 fib_node_index_t path_index,
373 void *arg)
374{
375 fib_entry_src_collect_forwarding_ctx_t *ctx;
376 fib_path_ext_t *path_ext;
Neale Ranns2303cb12018-02-21 04:57:17 -0800377 u32 n_nhs;
Neale Ranns81424992017-05-18 03:03:22 -0700378
379 ctx = arg;
Neale Ranns2303cb12018-02-21 04:57:17 -0800380 n_nhs = vec_len(ctx->next_hops);
Neale Ranns81424992017-05-18 03:03:22 -0700381
382 /*
383 * if the path is not resolved, don't include it.
384 */
385 if (!fib_path_is_resolved(path_index))
386 {
387 return (FIB_PATH_LIST_WALK_CONTINUE);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100388 }
389
Neale Ranns81424992017-05-18 03:03:22 -0700390 if (fib_path_is_recursive_constrained(path_index))
391 {
392 ctx->n_recursive_constrained += 1;
393 }
Neale Ranns57b58602017-07-15 07:37:25 -0700394 if (0xffff == ctx->preference)
395 {
396 /*
397 * not set a preference yet, so the first path we encounter
398 * sets the preference we are collecting.
399 */
400 ctx->preference = fib_path_get_preference(path_index);
401 }
402 else if (ctx->preference != fib_path_get_preference(path_index))
403 {
404 /*
405 * this path does not belong to the same preference as the
406 * previous paths encountered. we are done now.
407 */
408 return (FIB_PATH_LIST_WALK_STOP);
409 }
Neale Ranns81424992017-05-18 03:03:22 -0700410
411 /*
412 * get the matching path-extension for the path being visited.
413 */
414 path_ext = fib_path_ext_list_find_by_path_index(&ctx->esrc->fes_path_exts,
415 path_index);
416
417 if (NULL != path_ext)
418 {
419 switch (path_ext->fpe_type)
420 {
421 case FIB_PATH_EXT_MPLS:
Neale Ranns31ed7442018-02-23 05:29:09 -0800422 if (fib_entry_src_valid_out_label(path_ext->fpe_label_stack[0].fml_value))
Neale Ranns81424992017-05-18 03:03:22 -0700423 {
424 /*
425 * found a matching extension. stack it to obtain the forwarding
426 * info for this path.
427 */
428 ctx->next_hops =
429 fib_path_ext_stack(path_ext,
430 ctx->fct,
431 fib_entry_chain_type_fixup(ctx->fib_entry,
432 ctx->fct),
433 ctx->next_hops);
434 }
435 else
436 {
437 fib_entry_src_get_path_forwarding(path_index, ctx);
438 }
439 break;
440 case FIB_PATH_EXT_ADJ:
441 if (FIB_PATH_EXT_ADJ_FLAG_REFINES_COVER & path_ext->fpe_adj_flags)
442 {
443 fib_entry_src_get_path_forwarding(path_index, ctx);
444 }
445 /*
446 * else
447 * the path does not refine the cover, meaning that
448 * the adjacency doesdoes not match the sub-net on the link.
449 * So this path does not contribute forwarding.
450 */
451 break;
452 }
453 }
454 else
455 {
456 fib_entry_src_get_path_forwarding(path_index, ctx);
457 }
458
Neale Ranns2303cb12018-02-21 04:57:17 -0800459 /*
460 * a this point 'ctx' has the DPO the path contributed, plus
461 * any labels from path extensions.
462 * check if there are any interpose sources that want to contribute
463 */
464 if (n_nhs < vec_len(ctx->next_hops))
465 {
466 /*
467 * the path contributed a new choice.
468 */
469 const fib_entry_src_vft_t *vft;
470
471 vft = fib_entry_src_get_vft(ctx->esrc);
472
473 if (NULL != vft->fesv_contribute_interpose)
474 {
475 const dpo_id_t *interposer;
476
477 interposer = vft->fesv_contribute_interpose(ctx->esrc,
478 ctx->fib_entry);
479
480 if (NULL != interposer)
481 {
482 dpo_id_t clone = DPO_INVALID;
483
484 dpo_mk_interpose(interposer,
485 &ctx->next_hops[n_nhs].path_dpo,
486 &clone);
487
488 dpo_copy(&ctx->next_hops[n_nhs].path_dpo, &clone);
489 dpo_reset(&clone);
490 }
491 }
492 }
493
Neale Ranns81424992017-05-18 03:03:22 -0700494 return (FIB_PATH_LIST_WALK_CONTINUE);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100495}
496
497void
498fib_entry_src_mk_lb (fib_entry_t *fib_entry,
499 const fib_entry_src_t *esrc,
500 fib_forward_chain_type_t fct,
501 dpo_id_t *dpo_lb)
502{
503 dpo_proto_t lb_proto;
504
505 /*
506 * If the entry has path extensions then we construct a load-balance
507 * by stacking the extensions on the forwarding chains of the paths.
508 * Otherwise we use the load-balance of the path-list
509 */
510 fib_entry_src_collect_forwarding_ctx_t ctx = {
511 .esrc = esrc,
512 .fib_entry = fib_entry,
513 .next_hops = NULL,
Neale Rannsf12a83f2017-04-18 09:09:40 -0700514 .n_recursive_constrained = 0,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100515 .fct = fct,
Neale Ranns57b58602017-07-15 07:37:25 -0700516 .preference = 0xffff,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100517 };
518
Neale Rannsc0790cf2017-01-05 01:01:47 -0800519 /*
520 * As an optimisation we allocate the vector of next-hops to be sized
521 * equal to the maximum nuber of paths we will need, which is also the
522 * most likely number we will need, since in most cases the paths are 'up'.
523 */
524 vec_validate(ctx.next_hops, fib_path_list_get_n_paths(esrc->fes_pl));
525 vec_reset_length(ctx.next_hops);
526
Neale Rannsf12a83f2017-04-18 09:09:40 -0700527 lb_proto = fib_forw_chain_type_to_dpo_proto(fct);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100528
529 fib_path_list_walk(esrc->fes_pl,
530 fib_entry_src_collect_forwarding,
531 &ctx);
532
533 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_EXCLUSIVE)
534 {
535 /*
536 * the client provided the DPO that the entry should link to.
537 * all entries must link to a LB, so if it is an LB already
538 * then we can use it.
539 */
540 if ((1 == vec_len(ctx.next_hops)) &&
541 (DPO_LOAD_BALANCE == ctx.next_hops[0].path_dpo.dpoi_type))
542 {
543 dpo_copy(dpo_lb, &ctx.next_hops[0].path_dpo);
544 dpo_reset(&ctx.next_hops[0].path_dpo);
545 return;
546 }
547 }
548
549 if (!dpo_id_is_valid(dpo_lb))
550 {
551 /*
552 * first time create
553 */
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800554 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_MULTICAST)
555 {
556 dpo_set(dpo_lb,
557 DPO_REPLICATE,
558 lb_proto,
559 MPLS_IS_REPLICATE | replicate_create(0, lb_proto));
560 }
561 else
562 {
Neale Rannsd792d9c2017-10-21 10:53:20 -0700563 fib_protocol_t flow_hash_proto;
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800564 flow_hash_config_t fhc;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100565
Neale Ranns41da54f2017-05-02 10:15:19 -0700566 /*
567 * if the protocol for the LB we are building does not match that
568 * of the fib_entry (i.e. we are build the [n]EOS LB for an IPv[46]
569 * then the fib_index is not an index that relates to the table
570 * type we need. So get the default flow-hash config instead.
571 */
Neale Rannsd792d9c2017-10-21 10:53:20 -0700572 flow_hash_proto = dpo_proto_to_fib(lb_proto);
573 if (fib_entry->fe_prefix.fp_proto != flow_hash_proto)
Neale Ranns41da54f2017-05-02 10:15:19 -0700574 {
Neale Rannsd792d9c2017-10-21 10:53:20 -0700575 fhc = fib_table_get_default_flow_hash_config(flow_hash_proto);
Neale Ranns41da54f2017-05-02 10:15:19 -0700576 }
577 else
578 {
Neale Rannsd792d9c2017-10-21 10:53:20 -0700579 fhc = fib_table_get_flow_hash_config(fib_entry->fe_fib_index,
580 flow_hash_proto);
Neale Ranns41da54f2017-05-02 10:15:19 -0700581 }
Neale Rannsd792d9c2017-10-21 10:53:20 -0700582
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800583 dpo_set(dpo_lb,
584 DPO_LOAD_BALANCE,
585 lb_proto,
586 load_balance_create(0, lb_proto, fhc));
587 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100588 }
589
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800590 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_MULTICAST)
Neale Ranns3ee44042016-10-03 13:05:48 +0100591 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800592 /*
593 * MPLS multicast
594 */
595 replicate_multipath_update(dpo_lb, ctx.next_hops);
Neale Ranns3ee44042016-10-03 13:05:48 +0100596 }
597 else
598 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800599 load_balance_multipath_update(dpo_lb,
600 ctx.next_hops,
601 fib_entry_calc_lb_flags(&ctx));
602 vec_free(ctx.next_hops);
603
604 /*
605 * if this entry is sourced by the uRPF-exempt source then we
606 * append the always present local0 interface (index 0) to the
607 * uRPF list so it is not empty. that way packets pass the loose check.
608 */
609 index_t ui = fib_path_list_get_urpf(esrc->fes_pl);
610
611 if ((fib_entry_is_sourced(fib_entry_get_index(fib_entry),
612 FIB_SOURCE_URPF_EXEMPT) ||
613 (esrc->fes_entry_flags & FIB_ENTRY_FLAG_LOOSE_URPF_EXEMPT))&&
614 (0 == fib_urpf_check_size(ui)))
615 {
616 /*
617 * The uRPF list we get from the path-list is shared by all
618 * other users of the list, but the uRPF exemption applies
619 * only to this prefix. So we need our own list.
620 */
621 ui = fib_urpf_list_alloc_and_lock();
622 fib_urpf_list_append(ui, 0);
623 fib_urpf_list_bake(ui);
624 load_balance_set_urpf(dpo_lb->dpoi_index, ui);
625 fib_urpf_list_unlock(ui);
626 }
627 else
628 {
629 load_balance_set_urpf(dpo_lb->dpoi_index, ui);
630 }
631 load_balance_set_fib_entry_flags(dpo_lb->dpoi_index,
632 fib_entry_get_flags_i(fib_entry));
Neale Ranns3ee44042016-10-03 13:05:48 +0100633 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100634}
635
636void
637fib_entry_src_action_install (fib_entry_t *fib_entry,
638 fib_source_t source)
639{
640 /*
641 * Install the forwarding chain for the given source into the forwarding
642 * tables
643 */
644 fib_forward_chain_type_t fct;
645 fib_entry_src_t *esrc;
Neale Ranns33a7dd52016-10-07 15:14:33 +0100646 int insert;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100647
648 fct = fib_entry_get_default_chain_type(fib_entry);
Neale Ranns2303cb12018-02-21 04:57:17 -0800649 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100650
Neale Ranns33a7dd52016-10-07 15:14:33 +0100651 /*
652 * Every entry has its own load-balance object. All changes to the entry's
653 * forwarding result in an inplace modify of the load-balance. This means
654 * the load-balance object only needs to be added to the forwarding
655 * DB once, when it is created.
656 */
Neale Rannsad422ed2016-11-02 14:20:04 +0000657 insert = !dpo_id_is_valid(&fib_entry->fe_lb);
Neale Ranns33a7dd52016-10-07 15:14:33 +0100658
Neale Rannsad422ed2016-11-02 14:20:04 +0000659 fib_entry_src_mk_lb(fib_entry, esrc, fct, &fib_entry->fe_lb);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100660
Neale Rannsad422ed2016-11-02 14:20:04 +0000661 ASSERT(dpo_id_is_valid(&fib_entry->fe_lb));
662 FIB_ENTRY_DBG(fib_entry, "install: %d", fib_entry->fe_lb);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100663
664 /*
665 * insert the adj into the data-plane forwarding trie
666 */
Neale Ranns33a7dd52016-10-07 15:14:33 +0100667 if (insert)
668 {
669 fib_table_fwding_dpo_update(fib_entry->fe_fib_index,
670 &fib_entry->fe_prefix,
Neale Rannsad422ed2016-11-02 14:20:04 +0000671 &fib_entry->fe_lb);
Neale Ranns33a7dd52016-10-07 15:14:33 +0100672 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100673
Neale Rannsad422ed2016-11-02 14:20:04 +0000674 /*
675 * if any of the other chain types are already created they will need
676 * updating too
677 */
678 fib_entry_delegate_type_t fdt;
679 fib_entry_delegate_t *fed;
680
681 FOR_EACH_DELEGATE_CHAIN(fib_entry, fdt, fed,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100682 {
Neale Rannsad422ed2016-11-02 14:20:04 +0000683 fib_entry_src_mk_lb(fib_entry, esrc,
684 fib_entry_delegate_type_to_chain_type(fdt),
685 &fed->fd_dpo);
686 });
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100687}
688
689void
690fib_entry_src_action_uninstall (fib_entry_t *fib_entry)
691{
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100692 /*
Neale Ranns3ee44042016-10-03 13:05:48 +0100693 * uninstall the forwarding chain from the forwarding tables
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100694 */
695 FIB_ENTRY_DBG(fib_entry, "uninstall: %d",
696 fib_entry->fe_adj_index);
697
Neale Rannsad422ed2016-11-02 14:20:04 +0000698 if (dpo_id_is_valid(&fib_entry->fe_lb))
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100699 {
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100700 fib_table_fwding_dpo_remove(
701 fib_entry->fe_fib_index,
702 &fib_entry->fe_prefix,
Neale Rannsad422ed2016-11-02 14:20:04 +0000703 &fib_entry->fe_lb);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100704
Neale Rannsad422ed2016-11-02 14:20:04 +0000705 dpo_reset(&fib_entry->fe_lb);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100706 }
707}
708
709static void
710fib_entry_recursive_loop_detect_i (fib_node_index_t path_list_index)
711{
712 fib_node_index_t *entries = NULL;
713
714 fib_path_list_recursive_loop_detect(path_list_index, &entries);
715
716 vec_free(entries);
717}
718
Neale Ranns89541992017-04-06 04:41:02 -0700719/*
720 * fib_entry_src_action_copy
721 *
722 * copy a source data from another entry to this one
723 */
Neale Ranns2303cb12018-02-21 04:57:17 -0800724static fib_entry_t *
Neale Ranns89541992017-04-06 04:41:02 -0700725fib_entry_src_action_copy (fib_entry_t *fib_entry,
726 const fib_entry_src_t *orig_src)
727{
728 fib_entry_src_t *esrc;
729
Neale Ranns2303cb12018-02-21 04:57:17 -0800730 esrc = fib_entry_src_find_or_create(fib_entry,
731 orig_src->fes_src,
732 orig_src->fes_entry_flags);
Neale Ranns89541992017-04-06 04:41:02 -0700733
Neale Ranns2303cb12018-02-21 04:57:17 -0800734 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_copy,
735 (orig_src, fib_entry, esrc));
736
737 fib_path_list_unlock(esrc->fes_pl);
738
739 /*
740 * copy over all the data ...
741 */
742 esrc->fes_flags = orig_src->fes_flags;
743 esrc->fes_pl = orig_src->fes_pl;
744
745 /*
746 * ... then update
747 */
Neale Ranns89541992017-04-06 04:41:02 -0700748 esrc->fes_ref_count = 1;
749 esrc->fes_flags |= FIB_ENTRY_SRC_FLAG_INHERITED;
Neale Ranns2303cb12018-02-21 04:57:17 -0800750 esrc->fes_flags &= ~(FIB_ENTRY_SRC_FLAG_ACTIVE |
751 FIB_ENTRY_SRC_FLAG_CONTRIBUTING);
Neale Ranns89541992017-04-06 04:41:02 -0700752 esrc->fes_entry_flags &= ~FIB_ENTRY_FLAG_COVERED_INHERIT;
753
754 /*
755 * the source owns a lock on the entry
756 */
757 fib_path_list_lock(esrc->fes_pl);
758 fib_entry_lock(fib_entry_get_index(fib_entry));
759
760 return (fib_entry);
761}
762
763/*
764 * fib_entry_src_action_update
765 *
766 * copy a source data from another entry to this one
767 */
768static fib_entry_src_t *
769fib_entry_src_action_update_from_cover (fib_entry_t *fib_entry,
770 const fib_entry_src_t *orig_src)
771{
772 fib_entry_src_t *esrc;
773
Neale Ranns2303cb12018-02-21 04:57:17 -0800774 esrc = fib_entry_src_find_or_create(fib_entry,
775 orig_src->fes_src,
776 orig_src->fes_entry_flags);
Neale Ranns89541992017-04-06 04:41:02 -0700777
778 /*
779 * the source owns a lock on the entry
780 */
781 fib_path_list_unlock(esrc->fes_pl);
782 esrc->fes_pl = orig_src->fes_pl;
783 fib_path_list_lock(esrc->fes_pl);
784
785 return (esrc);
786}
787
788static fib_table_walk_rc_t
789fib_entry_src_covered_inherit_add_i (fib_entry_t *fib_entry,
790 const fib_entry_src_t *cover_src)
791{
792 fib_entry_src_t *esrc;
793
Neale Ranns2303cb12018-02-21 04:57:17 -0800794 esrc = fib_entry_src_find(fib_entry, cover_src->fes_src);
Neale Ranns89541992017-04-06 04:41:02 -0700795
796 if (cover_src == esrc)
797 {
798 return (FIB_TABLE_WALK_CONTINUE);
799 }
800
801 if (NULL != esrc)
802 {
803 /*
804 * the covered entry already has this source.
805 */
806 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT)
807 {
808 /*
809 * the covered source is itself a COVERED_INHERIT, i.e.
810 * it also pushes this source down the sub-tree.
811 * We consider this more specfic covered to be the owner
812 * of the sub-tree from this point down.
813 */
814 return (FIB_TABLE_WALK_SUB_TREE_STOP);
815 }
816 if (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED)
817 {
818 /*
819 * The covered's source data has been inherited, presumably
820 * from this cover, i.e. this is a modify.
821 */
822 esrc = fib_entry_src_action_update_from_cover(fib_entry, cover_src);
823 fib_entry_source_change(fib_entry, esrc->fes_src, esrc->fes_src);
824 }
825 else
826 {
827 /*
828 * The covered's source was not inherited and it is also
829 * not inherting. Nevertheless, it still owns the sub-tree from
830 * this point down.
831 */
832 return (FIB_TABLE_WALK_SUB_TREE_STOP);
833 }
834 }
835 else
836 {
837 /*
838 * The covered does not have this source - add it.
839 */
840 fib_source_t best_source;
841
842 best_source = fib_entry_get_best_source(
843 fib_entry_get_index(fib_entry));
844
845 fib_entry_src_action_copy(fib_entry, cover_src);
846 fib_entry_source_change(fib_entry, best_source, cover_src->fes_src);
847
848 }
849 return (FIB_TABLE_WALK_CONTINUE);
850}
851
852static fib_table_walk_rc_t
853fib_entry_src_covered_inherit_walk_add (fib_node_index_t fei,
854 void *ctx)
855{
856 return (fib_entry_src_covered_inherit_add_i(fib_entry_get(fei), ctx));
857}
858
859static fib_table_walk_rc_t
860fib_entry_src_covered_inherit_walk_remove (fib_node_index_t fei,
861 void *ctx)
862{
863 fib_entry_src_t *cover_src, *esrc;
864 fib_entry_t *fib_entry;
865
866 fib_entry = fib_entry_get(fei);
867
868 cover_src = ctx;
Neale Ranns2303cb12018-02-21 04:57:17 -0800869 esrc = fib_entry_src_find(fib_entry, cover_src->fes_src);
Neale Ranns89541992017-04-06 04:41:02 -0700870
871 if (cover_src == esrc)
872 {
873 return (FIB_TABLE_WALK_CONTINUE);
874 }
875
876 if (NULL != esrc)
877 {
878 /*
879 * the covered entry already has this source.
880 */
881 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT)
882 {
883 /*
884 * the covered source is itself a COVERED_INHERIT, i.e.
885 * it also pushes this source down the sub-tree.
886 * We consider this more specfic covered to be the owner
887 * of the sub-tree from this point down.
888 */
889 return (FIB_TABLE_WALK_SUB_TREE_STOP);
890 }
891 if (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED)
892 {
893 /*
894 * The covered's source data has been inherited, presumably
895 * from this cover
896 */
897 fib_entry_src_flag_t remaining;
898
899 remaining = fib_entry_special_remove(fei, cover_src->fes_src);
900
901 ASSERT(FIB_ENTRY_SRC_FLAG_ADDED == remaining);
902 }
903 else
904 {
905 /*
906 * The covered's source was not inherited and it is also
907 * not inherting. Nevertheless, it still owns the sub-tree from
908 * this point down.
909 */
910 return (FIB_TABLE_WALK_SUB_TREE_STOP);
911 }
912 }
913 else
914 {
915 /*
916 * The covered does not have this source - that's an error,
917 * since it should have inherited, but there is nothing we can do
918 * about it now.
919 */
920 }
921 return (FIB_TABLE_WALK_CONTINUE);
922}
923
924void
925fib_entry_src_inherit (const fib_entry_t *cover,
926 fib_entry_t *covered)
927{
928 CLIB_UNUSED(fib_source_t source);
929 const fib_entry_src_t *src;
930
931 FOR_EACH_SRC_ADDED(cover, src, source,
932 ({
933 if ((src->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT) ||
934 (src->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED))
935 {
936 fib_entry_src_covered_inherit_add_i(covered, src);
937 }
938 }))
939}
940
941static void
942fib_entry_src_covered_inherit_add (fib_entry_t *fib_entry,
943 fib_source_t source)
944
945{
946 fib_entry_src_t *esrc;
947
Neale Ranns2303cb12018-02-21 04:57:17 -0800948 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns89541992017-04-06 04:41:02 -0700949
950 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE);
951
952 if ((esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT) ||
953 (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED))
954 {
955 fib_table_sub_tree_walk(fib_entry->fe_fib_index,
956 fib_entry->fe_prefix.fp_proto,
957 &fib_entry->fe_prefix,
958 fib_entry_src_covered_inherit_walk_add,
959 esrc);
960 }
961}
962
963static void
964fib_entry_src_covered_inherit_remove (fib_entry_t *fib_entry,
965 fib_entry_src_t *esrc)
966
967{
968 ASSERT(!(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE));
969
970 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT)
971 {
972 fib_table_sub_tree_walk(fib_entry->fe_fib_index,
973 fib_entry->fe_prefix.fp_proto,
974 &fib_entry->fe_prefix,
975 fib_entry_src_covered_inherit_walk_remove,
976 esrc);
977 }
978}
979
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100980void
981fib_entry_src_action_activate (fib_entry_t *fib_entry,
982 fib_source_t source)
983
984{
985 int houston_we_are_go_for_install;
Neale Ranns2303cb12018-02-21 04:57:17 -0800986 const fib_entry_src_vft_t *vft;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100987 fib_entry_src_t *esrc;
988
Neale Ranns2303cb12018-02-21 04:57:17 -0800989 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100990
991 ASSERT(!(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE));
992 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ADDED);
993
Neale Ranns2303cb12018-02-21 04:57:17 -0800994 esrc->fes_flags |= (FIB_ENTRY_SRC_FLAG_ACTIVE |
995 FIB_ENTRY_SRC_FLAG_CONTRIBUTING);
996 vft = fib_entry_src_get_vft(esrc);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100997
Neale Ranns2303cb12018-02-21 04:57:17 -0800998 if (NULL != vft->fesv_activate)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100999 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001000 houston_we_are_go_for_install = vft->fesv_activate(esrc, fib_entry);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001001 }
1002 else
1003 {
1004 /*
1005 * the source is not providing an activate function, we'll assume
1006 * therefore it has no objection to installing the entry
1007 */
1008 houston_we_are_go_for_install = !0;
1009 }
1010
1011 /*
1012 * link to the path-list provided by the source, and go check
1013 * if that forms any loops in the graph.
1014 */
1015 fib_entry->fe_parent = esrc->fes_pl;
1016 fib_entry->fe_sibling =
1017 fib_path_list_child_add(fib_entry->fe_parent,
1018 FIB_NODE_TYPE_ENTRY,
1019 fib_entry_get_index(fib_entry));
1020
1021 fib_entry_recursive_loop_detect_i(fib_entry->fe_parent);
1022
1023 FIB_ENTRY_DBG(fib_entry, "activate: %d",
1024 fib_entry->fe_parent);
1025
Neale Ranns89541992017-04-06 04:41:02 -07001026 /*
1027 * If this source should push its state to covered prefixs, do that now.
1028 */
1029 fib_entry_src_covered_inherit_add(fib_entry, source);
1030
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001031 if (0 != houston_we_are_go_for_install)
1032 {
1033 fib_entry_src_action_install(fib_entry, source);
1034 }
1035 else
1036 {
1037 fib_entry_src_action_uninstall(fib_entry);
1038 }
1039}
1040
1041void
1042fib_entry_src_action_deactivate (fib_entry_t *fib_entry,
1043 fib_source_t source)
1044
1045{
1046 fib_node_index_t path_list_index;
1047 fib_entry_src_t *esrc;
1048
Neale Ranns2303cb12018-02-21 04:57:17 -08001049 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001050
1051 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE);
1052
Neale Ranns2303cb12018-02-21 04:57:17 -08001053 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_deactivate,
1054 (esrc, fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001055
Neale Ranns2303cb12018-02-21 04:57:17 -08001056 esrc->fes_flags &= ~(FIB_ENTRY_SRC_FLAG_ACTIVE |
1057 FIB_ENTRY_SRC_FLAG_CONTRIBUTING);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001058
1059 FIB_ENTRY_DBG(fib_entry, "deactivate: %d", fib_entry->fe_parent);
1060
1061 /*
Neale Ranns89541992017-04-06 04:41:02 -07001062 * If this source should pull its state from covered prefixs, do that now.
1063 * If this source also has the INHERITED flag set then it has a cover
1064 * that wants to push down forwarding. We only want the covereds to see
1065 * one update.
1066 */
1067 fib_entry_src_covered_inherit_remove(fib_entry, esrc);
1068
1069 /*
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001070 * un-link from an old path-list. Check for any loops this will clear
1071 */
1072 path_list_index = fib_entry->fe_parent;
1073 fib_entry->fe_parent = FIB_NODE_INDEX_INVALID;
1074
1075 fib_entry_recursive_loop_detect_i(path_list_index);
1076
1077 /*
1078 * this will unlock the path-list, so it may be invalid thereafter.
1079 */
1080 fib_path_list_child_remove(path_list_index, fib_entry->fe_sibling);
1081 fib_entry->fe_sibling = FIB_NODE_INDEX_INVALID;
1082}
1083
Neale Rannsa4e77662017-12-04 20:00:30 +00001084static void
1085fib_entry_src_action_fwd_update (const fib_entry_t *fib_entry,
1086 fib_source_t source)
1087{
1088 fib_entry_src_t *esrc;
1089
1090 vec_foreach(esrc, fib_entry->fe_srcs)
1091 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001092 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_fwd_update,
1093 (esrc, fib_entry, source));
Neale Rannsa4e77662017-12-04 20:00:30 +00001094 }
1095}
1096
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001097void
1098fib_entry_src_action_reactivate (fib_entry_t *fib_entry,
1099 fib_source_t source)
1100{
1101 fib_node_index_t path_list_index;
Neale Ranns2303cb12018-02-21 04:57:17 -08001102 const fib_entry_src_vft_t *vft;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001103 fib_entry_src_t *esrc;
Neale Ranns2303cb12018-02-21 04:57:17 -08001104 int remain_installed;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001105
Neale Ranns2303cb12018-02-21 04:57:17 -08001106 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001107
1108 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE);
1109
1110 FIB_ENTRY_DBG(fib_entry, "reactivate: %d to %d",
1111 fib_entry->fe_parent,
1112 esrc->fes_pl);
1113
Neale Ranns2303cb12018-02-21 04:57:17 -08001114 /*
1115 * call the source to reactive and get the go/no-go to remain installed
1116 */
1117 vft = fib_entry_src_get_vft(esrc);
1118
1119 if (NULL != vft->fesv_reactivate)
1120 {
1121 remain_installed = vft->fesv_reactivate(esrc, fib_entry);
1122 }
1123 else
1124 {
1125 remain_installed = 1;
1126 }
1127
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001128 if (fib_entry->fe_parent != esrc->fes_pl)
1129 {
1130 /*
1131 * un-link from an old path-list. Check for any loops this will clear
1132 */
1133 path_list_index = fib_entry->fe_parent;
1134 fib_entry->fe_parent = FIB_NODE_INDEX_INVALID;
1135
1136 /*
1137 * temporary lock so it doesn't get deleted when this entry is no
1138 * longer a child.
1139 */
1140 fib_path_list_lock(path_list_index);
1141
1142 /*
1143 * this entry is no longer a child. after unlinking check if any loops
1144 * were broken
1145 */
1146 fib_path_list_child_remove(path_list_index,
1147 fib_entry->fe_sibling);
1148
1149 fib_entry_recursive_loop_detect_i(path_list_index);
1150
1151 /*
1152 * link to the path-list provided by the source, and go check
1153 * if that forms any loops in the graph.
1154 */
1155 fib_entry->fe_parent = esrc->fes_pl;
1156 fib_entry->fe_sibling =
1157 fib_path_list_child_add(fib_entry->fe_parent,
1158 FIB_NODE_TYPE_ENTRY,
1159 fib_entry_get_index(fib_entry));
1160
1161 fib_entry_recursive_loop_detect_i(fib_entry->fe_parent);
1162 fib_path_list_unlock(path_list_index);
Neale Ranns89541992017-04-06 04:41:02 -07001163
1164 /*
Neale Ranns89541992017-04-06 04:41:02 -07001165 * If this source should push its state to covered prefixs, do that now.
1166 */
1167 fib_entry_src_covered_inherit_add(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001168 }
Neale Ranns2303cb12018-02-21 04:57:17 -08001169
1170 if (!remain_installed)
1171 {
1172 fib_entry_src_action_uninstall(fib_entry);
1173 }
1174 else
1175 {
1176 fib_entry_src_action_install(fib_entry, source);
1177 }
Neale Rannsa4e77662017-12-04 20:00:30 +00001178 fib_entry_src_action_fwd_update(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001179}
1180
1181void
Neale Rannsa4e77662017-12-04 20:00:30 +00001182fib_entry_src_action_installed (const fib_entry_t *fib_entry,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001183 fib_source_t source)
1184{
1185 fib_entry_src_t *esrc;
1186
Neale Ranns2303cb12018-02-21 04:57:17 -08001187 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001188
Neale Ranns2303cb12018-02-21 04:57:17 -08001189 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_installed,
1190 (esrc, fib_entry));
Neale Rannsa4e77662017-12-04 20:00:30 +00001191
1192 fib_entry_src_action_fwd_update(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001193}
1194
1195/*
1196 * fib_entry_src_action_add
1197 *
1198 * Adding a source can result in a new fib_entry being created, which
1199 * can inturn mean the pool is realloc'd and thus the entry passed as
1200 * an argument it also realloc'd
1201 * @return the original entry
1202 */
1203fib_entry_t *
1204fib_entry_src_action_add (fib_entry_t *fib_entry,
1205 fib_source_t source,
1206 fib_entry_flag_t flags,
1207 const dpo_id_t *dpo)
1208{
1209 fib_node_index_t fib_entry_index;
1210 fib_entry_src_t *esrc;
1211
Neale Ranns2303cb12018-02-21 04:57:17 -08001212 esrc = fib_entry_src_find_or_create(fib_entry, source, flags);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001213
Neale Ranns2303cb12018-02-21 04:57:17 -08001214 ASSERT(esrc->fes_ref_count < 255);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001215 esrc->fes_ref_count++;
1216
Neale Ranns2303cb12018-02-21 04:57:17 -08001217 if (flags != esrc->fes_entry_flags)
1218 {
1219 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_flags_change,
1220 (esrc, fib_entry, flags));
1221 }
1222 esrc->fes_entry_flags = flags;
1223
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001224 if (1 != esrc->fes_ref_count)
1225 {
1226 /*
1227 * we only want to add the source on the 0->1 transition
1228 */
1229 return (fib_entry);
1230 }
1231
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001232 /*
1233 * save variable so we can recover from a fib_entry realloc.
1234 */
1235 fib_entry_index = fib_entry_get_index(fib_entry);
1236
Neale Ranns2303cb12018-02-21 04:57:17 -08001237 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_add,
1238 (esrc,
1239 fib_entry,
1240 flags,
1241 fib_entry_get_dpo_proto(fib_entry),
1242 dpo));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001243
1244 fib_entry = fib_entry_get(fib_entry_index);
1245
1246 esrc->fes_flags |= FIB_ENTRY_SRC_FLAG_ADDED;
1247
1248 fib_path_list_lock(esrc->fes_pl);
1249
1250 /*
1251 * the source owns a lock on the entry
1252 */
1253 fib_entry_lock(fib_entry_get_index(fib_entry));
1254
1255 return (fib_entry);
1256}
1257
Neale Ranns948e00f2016-10-20 13:39:34 +01001258/*
1259 * fib_entry_src_action_update
1260 *
1261 * Adding a source can result in a new fib_entry being created, which
1262 * can inturn mean the pool is realloc'd and thus the entry passed as
1263 * an argument it also realloc'd
1264 * @return the original entry
1265 */
1266fib_entry_t *
1267fib_entry_src_action_update (fib_entry_t *fib_entry,
1268 fib_source_t source,
1269 fib_entry_flag_t flags,
1270 const dpo_id_t *dpo)
1271{
1272 fib_node_index_t fib_entry_index, old_path_list_index;
1273 fib_entry_src_t *esrc;
1274
Neale Ranns2303cb12018-02-21 04:57:17 -08001275 esrc = fib_entry_src_find_or_create(fib_entry, source, flags);
Neale Ranns948e00f2016-10-20 13:39:34 +01001276
1277 if (NULL == esrc)
Neale Ranns89541992017-04-06 04:41:02 -07001278 {
Neale Ranns948e00f2016-10-20 13:39:34 +01001279 return (fib_entry_src_action_add(fib_entry, source, flags, dpo));
Neale Ranns89541992017-04-06 04:41:02 -07001280 }
Neale Ranns948e00f2016-10-20 13:39:34 +01001281
1282 old_path_list_index = esrc->fes_pl;
1283 esrc->fes_entry_flags = flags;
1284
1285 /*
1286 * save variable so we can recover from a fib_entry realloc.
1287 */
1288 fib_entry_index = fib_entry_get_index(fib_entry);
1289
Neale Ranns2303cb12018-02-21 04:57:17 -08001290 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_add,
1291 (esrc,
1292 fib_entry,
1293 flags,
1294 fib_entry_get_dpo_proto(fib_entry),
1295 dpo));
Neale Ranns948e00f2016-10-20 13:39:34 +01001296
1297 fib_entry = fib_entry_get(fib_entry_index);
1298
1299 esrc->fes_flags |= FIB_ENTRY_SRC_FLAG_ADDED;
1300
1301 fib_path_list_lock(esrc->fes_pl);
1302 fib_path_list_unlock(old_path_list_index);
1303
1304 return (fib_entry);
1305}
1306
Neale Ranns89541992017-04-06 04:41:02 -07001307fib_entry_src_flag_t
1308fib_entry_src_action_remove_or_update_inherit (fib_entry_t *fib_entry,
1309 fib_source_t source)
1310{
1311 fib_entry_src_t *esrc;
1312
Neale Ranns2303cb12018-02-21 04:57:17 -08001313 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns89541992017-04-06 04:41:02 -07001314
1315 if (NULL == esrc)
1316 return (FIB_ENTRY_SRC_FLAG_ACTIVE);
1317
1318 if ((esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT) &&
1319 (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED))
1320 {
1321 fib_entry_src_t *cover_src;
1322 fib_node_index_t coveri;
1323 fib_entry_t *cover;
1324
1325 /*
1326 * this source was pushing inherited state, but so is its
1327 * cover. Now that this source is going away, we need to
1328 * pull the covers forwarding and use it to update the covereds.
1329 * Go grab the path-list from the cover, rather than start a walk from
1330 * the cover, so we don't recursively update this entry.
1331 */
1332 coveri = fib_table_get_less_specific(fib_entry->fe_fib_index,
1333 &fib_entry->fe_prefix);
1334
1335 /*
1336 * only the default route has itself as its own cover, but the
1337 * default route cannot have inherited from something else.
1338 */
1339 ASSERT(coveri != fib_entry_get_index(fib_entry));
1340
1341 cover = fib_entry_get(coveri);
Neale Ranns2303cb12018-02-21 04:57:17 -08001342 cover_src = fib_entry_src_find(cover, source);
Neale Ranns89541992017-04-06 04:41:02 -07001343
1344 ASSERT(NULL != cover_src);
1345
1346 esrc = fib_entry_src_action_update_from_cover(fib_entry, cover_src);
1347 esrc->fes_entry_flags &= ~FIB_ENTRY_FLAG_COVERED_INHERIT;
1348
1349 /*
1350 * Now push the new state from the cover down to the covereds
1351 */
1352 fib_entry_src_covered_inherit_add(fib_entry, source);
1353
1354 return (esrc->fes_flags);
1355 }
1356 else
1357 {
1358 return (fib_entry_src_action_remove(fib_entry, source));
1359 }
1360}
Neale Ranns948e00f2016-10-20 13:39:34 +01001361
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001362fib_entry_src_flag_t
1363fib_entry_src_action_remove (fib_entry_t *fib_entry,
1364 fib_source_t source)
1365
1366{
1367 fib_node_index_t old_path_list;
1368 fib_entry_src_flag_t sflags;
1369 fib_entry_src_t *esrc;
1370
Neale Ranns2303cb12018-02-21 04:57:17 -08001371 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001372
1373 if (NULL == esrc)
1374 return (FIB_ENTRY_SRC_FLAG_ACTIVE);
1375
1376 esrc->fes_ref_count--;
1377 sflags = esrc->fes_flags;
1378
1379 if (0 != esrc->fes_ref_count)
1380 {
1381 /*
1382 * only remove the source on the 1->0 transisition
1383 */
1384 return (sflags);
1385 }
1386
1387 if (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE)
1388 {
Neale Ranns89541992017-04-06 04:41:02 -07001389 fib_entry_src_action_deactivate(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001390 }
Neale Ranns2303cb12018-02-21 04:57:17 -08001391 else if (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_CONTRIBUTING)
1392 {
1393 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_deactivate,
1394 (esrc, fib_entry));
1395 esrc->fes_flags &= ~FIB_ENTRY_SRC_FLAG_CONTRIBUTING;
1396 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001397
1398 old_path_list = esrc->fes_pl;
1399
Neale Ranns2303cb12018-02-21 04:57:17 -08001400 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_remove, (esrc));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001401
1402 fib_path_list_unlock(old_path_list);
1403 fib_entry_unlock(fib_entry_get_index(fib_entry));
1404
1405 sflags &= ~FIB_ENTRY_SRC_FLAG_ADDED;
1406 fib_entry_src_action_deinit(fib_entry, source);
1407
1408 return (sflags);
1409}
1410
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001411/*
1412 * fib_route_attached_cross_table
1413 *
1414 * Return true the the route is attached via an interface that
1415 * is not in the same table as the route
1416 */
1417static inline int
1418fib_route_attached_cross_table (const fib_entry_t *fib_entry,
1419 const fib_route_path_t *rpath)
1420{
1421 /*
1422 * - All zeros next-hop
1423 * - a valid interface
1424 * - entry's fib index not equeal to interface's index
1425 */
1426 if (ip46_address_is_zero(&rpath->frp_addr) &&
1427 (~0 != rpath->frp_sw_if_index) &&
Neale Rannseca834e2018-03-13 07:51:50 -07001428 !(rpath->frp_flags & FIB_ROUTE_PATH_DVR) &&
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001429 (fib_entry->fe_fib_index !=
1430 fib_table_get_index_for_sw_if_index(fib_entry_get_proto(fib_entry),
1431 rpath->frp_sw_if_index)))
1432 {
1433 return (!0);
1434 }
1435 return (0);
1436}
1437
1438/*
Neale Ranns53da2212018-02-24 02:11:19 -08001439 * Return true if the path is attached
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001440 */
1441static inline int
1442fib_path_is_attached (const fib_route_path_t *rpath)
1443{
1444 /*
Neale Rannseca834e2018-03-13 07:51:50 -07001445 * DVR paths are not attached, since we are not playing the
1446 * L3 game with these
1447 */
1448 if (rpath->frp_flags & FIB_ROUTE_PATH_DVR)
1449 {
1450 return (0);
1451 }
1452
1453 /*
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001454 * - All zeros next-hop
1455 * - a valid interface
1456 */
1457 if (ip46_address_is_zero(&rpath->frp_addr) &&
1458 (~0 != rpath->frp_sw_if_index))
1459 {
1460 return (!0);
1461 }
Neale Ranns4b919a52017-03-11 05:55:21 -08001462 else if (rpath->frp_flags & FIB_ROUTE_PATH_ATTACHED)
1463 {
1464 return (!0);
1465 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001466 return (0);
1467}
1468
1469fib_path_list_flags_t
1470fib_entry_src_flags_2_path_list_flags (fib_entry_flag_t eflags)
1471{
1472 fib_path_list_flags_t plf = FIB_PATH_LIST_FLAG_NONE;
1473
1474 if (eflags & FIB_ENTRY_FLAG_DROP)
1475 {
1476 plf |= FIB_PATH_LIST_FLAG_DROP;
1477 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001478 if (eflags & FIB_ENTRY_FLAG_EXCLUSIVE)
1479 {
1480 plf |= FIB_PATH_LIST_FLAG_EXCLUSIVE;
1481 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001482 if (eflags & FIB_ENTRY_FLAG_LOCAL)
1483 {
1484 plf |= FIB_PATH_LIST_FLAG_LOCAL;
1485 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001486
1487 return (plf);
1488}
1489
1490static void
1491fib_entry_flags_update (const fib_entry_t *fib_entry,
1492 const fib_route_path_t *rpath,
1493 fib_path_list_flags_t *pl_flags,
1494 fib_entry_src_t *esrc)
1495{
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001496 if ((esrc->fes_src == FIB_SOURCE_API) ||
1497 (esrc->fes_src == FIB_SOURCE_CLI))
1498 {
1499 if (fib_path_is_attached(rpath))
1500 {
1501 esrc->fes_entry_flags |= FIB_ENTRY_FLAG_ATTACHED;
1502 }
1503 else
1504 {
1505 esrc->fes_entry_flags &= ~FIB_ENTRY_FLAG_ATTACHED;
1506 }
Florin Coras79ae2d32017-12-16 08:31:06 -08001507 if (rpath->frp_flags & FIB_ROUTE_PATH_DEAG)
1508 {
1509 esrc->fes_entry_flags |= FIB_ENTRY_FLAG_LOOSE_URPF_EXEMPT;
1510 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001511 }
Neale Ranns53da2212018-02-24 02:11:19 -08001512 if (fib_route_attached_cross_table(fib_entry, rpath) &&
1513 !(esrc->fes_entry_flags & FIB_ENTRY_FLAG_NO_ATTACHED_EXPORT))
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001514 {
1515 esrc->fes_entry_flags |= FIB_ENTRY_FLAG_IMPORT;
1516 }
1517 else
1518 {
1519 esrc->fes_entry_flags &= ~FIB_ENTRY_FLAG_IMPORT;
1520 }
1521}
1522
1523/*
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001524 * fib_entry_src_action_add
1525 *
1526 * Adding a source can result in a new fib_entry being created, which
1527 * can inturn mean the pool is realloc'd and thus the entry passed as
1528 * an argument it also realloc'd
1529 * @return the entry
1530 */
1531fib_entry_t*
1532fib_entry_src_action_path_add (fib_entry_t *fib_entry,
1533 fib_source_t source,
1534 fib_entry_flag_t flags,
1535 const fib_route_path_t *rpath)
1536{
1537 fib_node_index_t old_path_list, fib_entry_index;
1538 fib_path_list_flags_t pl_flags;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001539 fib_entry_src_t *esrc;
1540
1541 /*
1542 * save variable so we can recover from a fib_entry realloc.
1543 */
1544 fib_entry_index = fib_entry_get_index(fib_entry);
1545
Neale Ranns2303cb12018-02-21 04:57:17 -08001546 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001547 if (NULL == esrc)
1548 {
1549 fib_entry =
1550 fib_entry_src_action_add(fib_entry,
1551 source,
1552 flags,
1553 drop_dpo_get(
Neale Rannsda78f952017-05-24 09:15:43 -07001554 fib_entry_get_dpo_proto(fib_entry)));
Neale Ranns2303cb12018-02-21 04:57:17 -08001555 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001556 }
1557
1558 /*
1559 * we are no doubt modifying a path-list. If the path-list
1560 * is shared, and hence not modifiable, then the index returned
1561 * will be for a different path-list. This FIB entry to needs
1562 * to maintain its lock appropriately.
1563 */
1564 old_path_list = esrc->fes_pl;
1565
Neale Ranns2303cb12018-02-21 04:57:17 -08001566 ASSERT(FIB_ENTRY_SRC_VFT_EXISTS(esrc, fesv_path_add));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001567
1568 pl_flags = fib_entry_src_flags_2_path_list_flags(fib_entry_get_flags_i(fib_entry));
1569 fib_entry_flags_update(fib_entry, rpath, &pl_flags, esrc);
1570
Neale Ranns2303cb12018-02-21 04:57:17 -08001571 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_path_add,
1572 (esrc, fib_entry, pl_flags, rpath));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001573 fib_entry = fib_entry_get(fib_entry_index);
1574
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001575 fib_path_list_lock(esrc->fes_pl);
1576 fib_path_list_unlock(old_path_list);
1577
1578 return (fib_entry);
1579}
1580
1581/*
1582 * fib_entry_src_action_swap
1583 *
1584 * The source is providing new paths to replace the old ones.
1585 * Adding a source can result in a new fib_entry being created, which
1586 * can inturn mean the pool is realloc'd and thus the entry passed as
1587 * an argument it also realloc'd
1588 * @return the entry
1589 */
1590fib_entry_t*
1591fib_entry_src_action_path_swap (fib_entry_t *fib_entry,
1592 fib_source_t source,
Neale Ranns2303cb12018-02-21 04:57:17 -08001593 fib_entry_flag_t flags,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001594 const fib_route_path_t *rpaths)
1595{
1596 fib_node_index_t old_path_list, fib_entry_index;
1597 fib_path_list_flags_t pl_flags;
1598 const fib_route_path_t *rpath;
1599 fib_entry_src_t *esrc;
1600
Neale Ranns2303cb12018-02-21 04:57:17 -08001601 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001602
1603 /*
1604 * save variable so we can recover from a fib_entry realloc.
1605 */
1606 fib_entry_index = fib_entry_get_index(fib_entry);
1607
1608 if (NULL == esrc)
1609 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001610 fib_entry = fib_entry_src_action_add(fib_entry,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001611 source,
1612 flags,
1613 drop_dpo_get(
Neale Rannsda78f952017-05-24 09:15:43 -07001614 fib_entry_get_dpo_proto(fib_entry)));
Neale Ranns2303cb12018-02-21 04:57:17 -08001615 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001616 }
Neale Ranns89541992017-04-06 04:41:02 -07001617 else
1618 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001619 if (flags != esrc->fes_entry_flags)
1620 {
1621 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_flags_change,
1622 (esrc, fib_entry, flags));
1623 }
Neale Ranns89541992017-04-06 04:41:02 -07001624 esrc->fes_entry_flags = flags;
1625 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001626
1627 /*
1628 * swapping paths may create a new path-list (or may use an existing shared)
1629 * but we are certainly getting a different one. This FIB entry to needs
1630 * to maintain its lock appropriately.
1631 */
1632 old_path_list = esrc->fes_pl;
1633
Neale Ranns2303cb12018-02-21 04:57:17 -08001634 ASSERT(FIB_ENTRY_SRC_VFT_EXISTS(esrc, fesv_path_swap));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001635
Neale Rannsdf089a82016-10-02 16:39:06 +01001636 pl_flags = fib_entry_src_flags_2_path_list_flags(flags);
1637
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001638 vec_foreach(rpath, rpaths)
1639 {
1640 fib_entry_flags_update(fib_entry, rpath, &pl_flags, esrc);
1641 }
1642
Neale Ranns2303cb12018-02-21 04:57:17 -08001643 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_path_swap,
1644 (esrc, fib_entry,
1645 pl_flags, rpaths));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001646
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001647 fib_entry = fib_entry_get(fib_entry_index);
1648
1649 fib_path_list_lock(esrc->fes_pl);
1650 fib_path_list_unlock(old_path_list);
1651
1652 return (fib_entry);
1653}
1654
1655fib_entry_src_flag_t
1656fib_entry_src_action_path_remove (fib_entry_t *fib_entry,
1657 fib_source_t source,
1658 const fib_route_path_t *rpath)
1659{
1660 fib_path_list_flags_t pl_flags;
1661 fib_node_index_t old_path_list;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001662 fib_entry_src_t *esrc;
1663
Neale Ranns2303cb12018-02-21 04:57:17 -08001664 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001665
1666 ASSERT(NULL != esrc);
1667 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ADDED);
1668
1669 /*
1670 * we no doubt modifying a path-list. If the path-list
1671 * is shared, and hence not modifiable, then the index returned
1672 * will be for a different path-list. This FIB entry to needs
1673 * to maintain its lock appropriately.
1674 */
1675 old_path_list = esrc->fes_pl;
1676
Neale Ranns2303cb12018-02-21 04:57:17 -08001677 ASSERT(FIB_ENTRY_SRC_VFT_EXISTS(esrc, fesv_path_remove));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001678
1679 pl_flags = fib_entry_src_flags_2_path_list_flags(fib_entry_get_flags_i(fib_entry));
1680 fib_entry_flags_update(fib_entry, rpath, &pl_flags, esrc);
1681
Neale Ranns2303cb12018-02-21 04:57:17 -08001682 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_path_remove,
1683 (esrc, pl_flags, rpath));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001684
1685 /*
1686 * lock the new path-list, unlock the old if it had one
1687 */
1688 fib_path_list_unlock(old_path_list);
1689
1690 if (FIB_NODE_INDEX_INVALID != esrc->fes_pl) {
1691 fib_path_list_lock(esrc->fes_pl);
1692 return (FIB_ENTRY_SRC_FLAG_ADDED);
1693 }
1694 else
1695 {
1696 /*
1697 * no more paths left from this source
1698 */
Neale Ranns89541992017-04-06 04:41:02 -07001699 fib_entry_src_action_remove_or_update_inherit(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001700 return (FIB_ENTRY_SRC_FLAG_NONE);
1701 }
1702}
1703
1704u8*
1705fib_entry_src_format (fib_entry_t *fib_entry,
1706 fib_source_t source,
1707 u8* s)
1708{
1709 fib_entry_src_t *esrc;
1710
Neale Ranns2303cb12018-02-21 04:57:17 -08001711 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001712
Neale Ranns2303cb12018-02-21 04:57:17 -08001713 FIB_ENTRY_SRC_VFT_INVOKE_AND_RETURN(esrc, fesv_format, (esrc, s));
1714
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001715 return (s);
1716}
1717
1718adj_index_t
1719fib_entry_get_adj_for_source (fib_node_index_t fib_entry_index,
1720 fib_source_t source)
1721{
1722 fib_entry_t *fib_entry;
1723 fib_entry_src_t *esrc;
1724
1725 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
1726 return (ADJ_INDEX_INVALID);
1727
1728 fib_entry = fib_entry_get(fib_entry_index);
Neale Ranns2303cb12018-02-21 04:57:17 -08001729 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001730
1731 if (NULL != esrc)
1732 {
1733 if (FIB_NODE_INDEX_INVALID != esrc->fes_pl)
1734 {
1735 return (fib_path_list_get_adj(
1736 esrc->fes_pl,
1737 fib_entry_get_default_chain_type(fib_entry)));
1738 }
1739 }
1740 return (ADJ_INDEX_INVALID);
1741}
1742
1743const int
1744fib_entry_get_dpo_for_source (fib_node_index_t fib_entry_index,
1745 fib_source_t source,
1746 dpo_id_t *dpo)
1747{
1748 fib_entry_t *fib_entry;
1749 fib_entry_src_t *esrc;
1750
1751 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
1752 return (0);
1753
1754 fib_entry = fib_entry_get(fib_entry_index);
Neale Ranns2303cb12018-02-21 04:57:17 -08001755 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001756
1757 if (NULL != esrc)
1758 {
1759 if (FIB_NODE_INDEX_INVALID != esrc->fes_pl)
1760 {
1761 fib_path_list_contribute_forwarding(
1762 esrc->fes_pl,
1763 fib_entry_get_default_chain_type(fib_entry),
Neale Ranns91286372017-12-05 13:24:04 -08001764 FIB_PATH_LIST_FWD_FLAG_NONE,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001765 dpo);
1766
1767 return (dpo_id_is_valid(dpo));
1768 }
1769 }
1770 return (0);
1771}
1772
Neale Rannsdf089a82016-10-02 16:39:06 +01001773u32
1774fib_entry_get_resolving_interface_for_source (fib_node_index_t entry_index,
1775 fib_source_t source)
1776{
1777 fib_entry_t *fib_entry;
1778 fib_entry_src_t *esrc;
1779
1780 fib_entry = fib_entry_get(entry_index);
1781
Neale Ranns2303cb12018-02-21 04:57:17 -08001782 esrc = fib_entry_src_find(fib_entry, source);
Neale Rannsdf089a82016-10-02 16:39:06 +01001783
1784 if (NULL != esrc)
1785 {
1786 if (FIB_NODE_INDEX_INVALID != esrc->fes_pl)
1787 {
1788 return (fib_path_list_get_resolving_interface(esrc->fes_pl));
1789 }
1790 }
1791 return (~0);
1792}
1793
1794fib_entry_flag_t
1795fib_entry_get_flags_for_source (fib_node_index_t entry_index,
1796 fib_source_t source)
1797{
1798 fib_entry_t *fib_entry;
1799 fib_entry_src_t *esrc;
1800
1801 fib_entry = fib_entry_get(entry_index);
1802
Neale Ranns2303cb12018-02-21 04:57:17 -08001803 esrc = fib_entry_src_find(fib_entry, source);
Neale Rannsdf089a82016-10-02 16:39:06 +01001804
1805 if (NULL != esrc)
1806 {
1807 return (esrc->fes_entry_flags);
1808 }
1809
1810 return (FIB_ENTRY_FLAG_NONE);
1811}
1812
Neale Rannsa4e77662017-12-04 20:00:30 +00001813fib_entry_flag_t
1814fib_entry_get_flags_i (const fib_entry_t *fib_entry)
1815{
1816 fib_entry_flag_t flags;
1817
1818 /*
1819 * the vector of sources is deliberately arranged in priority order
1820 */
1821 if (0 == vec_len(fib_entry->fe_srcs))
1822 {
1823 flags = FIB_ENTRY_FLAG_NONE;
1824 }
1825 else
1826 {
1827 fib_entry_src_t *esrc;
1828
1829 esrc = vec_elt_at_index(fib_entry->fe_srcs, 0);
1830 flags = esrc->fes_entry_flags;
1831 }
1832
1833 return (flags);
1834}
1835
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001836void
1837fib_entry_set_source_data (fib_node_index_t fib_entry_index,
1838 fib_source_t source,
1839 const void *data)
1840{
1841 fib_entry_t *fib_entry;
1842 fib_entry_src_t *esrc;
1843
1844 fib_entry = fib_entry_get(fib_entry_index);
Neale Ranns2303cb12018-02-21 04:57:17 -08001845 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001846
Neale Ranns2303cb12018-02-21 04:57:17 -08001847 if (NULL != esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001848 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001849 FIB_ENTRY_SRC_VFT_INVOKE(esrc, fesv_set_data,
1850 (esrc, fib_entry, data));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001851 }
1852}
1853
1854const void*
1855fib_entry_get_source_data (fib_node_index_t fib_entry_index,
1856 fib_source_t source)
1857{
1858 fib_entry_t *fib_entry;
1859 fib_entry_src_t *esrc;
1860
1861 fib_entry = fib_entry_get(fib_entry_index);
Neale Ranns2303cb12018-02-21 04:57:17 -08001862 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001863
Neale Ranns2303cb12018-02-21 04:57:17 -08001864 if (NULL != esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001865 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001866 FIB_ENTRY_SRC_VFT_INVOKE_AND_RETURN(esrc, fesv_get_data,
1867 (esrc, fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001868 }
1869 return (NULL);
1870}
1871
1872void
1873fib_entry_src_module_init (void)
1874{
1875 fib_entry_src_rr_register();
1876 fib_entry_src_interface_register();
Neale Ranns2303cb12018-02-21 04:57:17 -08001877 fib_entry_src_interpose_register();
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001878 fib_entry_src_default_route_register();
1879 fib_entry_src_special_register();
1880 fib_entry_src_api_register();
1881 fib_entry_src_adj_register();
1882 fib_entry_src_mpls_register();
1883 fib_entry_src_lisp_register();
1884}