blob: d9cf82343c53f7f1e7bfc1c8c2c996eb6d6ad548 [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 Ranns1f50bf82019-07-16 15:28:52 +000026#include <vnet/fib/fib_entry_delegate.h>
Neale Ranns0bfe5d82016-08-25 15:29:12 +010027
28/*
29 * per-source type vft
30 */
Neale Ranns3bab8f92019-12-04 06:11:00 +000031static fib_entry_src_vft_t fib_entry_src_bh_vft[FIB_SOURCE_BH_MAX];
Neale Ranns0bfe5d82016-08-25 15:29:12 +010032
Neale Ranns2303cb12018-02-21 04:57:17 -080033/**
34 * Get the VFT for a given source. This is a combination of the source
35 * enum and the interposer flags
36 */
37const fib_entry_src_vft_t*
38fib_entry_src_get_vft (const fib_entry_src_t *esrc)
39{
Neale Ranns3bab8f92019-12-04 06:11:00 +000040 fib_source_behaviour_t bh;
41
42 bh = fib_source_get_behaviour(esrc->fes_src);
43
Neale Ranns2303cb12018-02-21 04:57:17 -080044 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_INTERPOSE)
45 {
Neale Ranns3bab8f92019-12-04 06:11:00 +000046 return (&fib_entry_src_bh_vft[FIB_SOURCE_BH_INTERPOSE]);
Neale Ranns2303cb12018-02-21 04:57:17 -080047 }
48
Andrew Yourtchenkod2acfbc2022-08-23 17:29:00 +000049 ASSERT(bh < FIB_SOURCE_BH_MAX);
Neale Ranns3bab8f92019-12-04 06:11:00 +000050 return (&fib_entry_src_bh_vft[bh]);
Neale Ranns2303cb12018-02-21 04:57:17 -080051}
52
53static void
54fib_entry_src_copy_default (const fib_entry_src_t *orig_src,
55 const fib_entry_t *fib_entry,
56 fib_entry_src_t *copy_src)
57{
58 clib_memcpy(&copy_src->u, &orig_src->u, sizeof(copy_src->u));
59}
60
Neale Ranns0bfe5d82016-08-25 15:29:12 +010061void
Neale Ranns3bab8f92019-12-04 06:11:00 +000062fib_entry_src_behaviour_register (fib_source_behaviour_t bh,
63 const fib_entry_src_vft_t *vft)
Neale Ranns0bfe5d82016-08-25 15:29:12 +010064{
Neale Ranns3bab8f92019-12-04 06:11:00 +000065 fib_entry_src_bh_vft[bh] = *vft;
Neale Ranns2303cb12018-02-21 04:57:17 -080066
Neale Ranns3bab8f92019-12-04 06:11:00 +000067 if (NULL == fib_entry_src_bh_vft[bh].fesv_copy)
Neale Ranns2303cb12018-02-21 04:57:17 -080068 {
Neale Ranns3bab8f92019-12-04 06:11:00 +000069 fib_entry_src_bh_vft[bh].fesv_copy = fib_entry_src_copy_default;
Neale Ranns2303cb12018-02-21 04:57:17 -080070 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +010071}
72
73static int
74fib_entry_src_cmp_for_sort (void * v1,
75 void * v2)
76{
77 fib_entry_src_t *esrc1 = v1, *esrc2 = v2;
78
Neale Ranns3bab8f92019-12-04 06:11:00 +000079 return (fib_source_get_prio(esrc1->fes_src) -
80 fib_source_get_prio(esrc2->fes_src));
Neale Ranns0bfe5d82016-08-25 15:29:12 +010081}
82
Neale Ranns2303cb12018-02-21 04:57:17 -080083static void
Neale Ranns0bfe5d82016-08-25 15:29:12 +010084fib_entry_src_action_init (fib_entry_t *fib_entry,
Neale Ranns2303cb12018-02-21 04:57:17 -080085 fib_source_t source,
86 fib_entry_flag_t flags)
Neale Ranns0bfe5d82016-08-25 15:29:12 +010087{
88 fib_entry_src_t esrc = {
89 .fes_pl = FIB_NODE_INDEX_INVALID,
90 .fes_flags = FIB_ENTRY_SRC_FLAG_NONE,
91 .fes_src = source,
Neale Ranns2303cb12018-02-21 04:57:17 -080092 .fes_entry_flags = flags,
Neale Ranns0bfe5d82016-08-25 15:29:12 +010093 };
94
Neale Ranns6ede5702020-02-13 09:12:36 +000095 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, &esrc, fesv_init, (&esrc));
Neale Ranns0bfe5d82016-08-25 15:29:12 +010096
Neale Rannsa4e77662017-12-04 20:00:30 +000097 vec_add1(fib_entry->fe_srcs, esrc);
98 vec_sort_with_function(fib_entry->fe_srcs,
99 fib_entry_src_cmp_for_sort);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100100}
101
102static fib_entry_src_t *
Neale Ranns2303cb12018-02-21 04:57:17 -0800103fib_entry_src_find_i (const fib_entry_t *fib_entry,
104 fib_source_t source,
105 u32 *index)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100106
107{
108 fib_entry_src_t *esrc;
109 int ii;
110
111 ii = 0;
Neale Rannsa4e77662017-12-04 20:00:30 +0000112 vec_foreach(esrc, fib_entry->fe_srcs)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100113 {
Neale Rannsa4e77662017-12-04 20:00:30 +0000114 if (esrc->fes_src == source)
115 {
116 if (NULL != index)
117 {
118 *index = ii;
119 }
120 return (esrc);
121 }
122 else
123 {
124 ii++;
125 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100126 }
127
128 return (NULL);
129}
130
Neale Rannse2fe0972020-11-26 08:37:27 +0000131fib_entry_src_t *
Neale Ranns2303cb12018-02-21 04:57:17 -0800132fib_entry_src_find (const fib_entry_t *fib_entry,
133 fib_source_t source)
134
135{
136 return (fib_entry_src_find_i(fib_entry, source, NULL));
137}
138
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100139int
140fib_entry_is_sourced (fib_node_index_t fib_entry_index,
141 fib_source_t source)
142{
143 fib_entry_t *fib_entry;
144
145 fib_entry = fib_entry_get(fib_entry_index);
146
Neale Ranns2303cb12018-02-21 04:57:17 -0800147 return (NULL != fib_entry_src_find(fib_entry, source));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100148}
149
Neale Ranns9db6ada2019-11-08 12:42:31 +0000150int
151fib_entry_is_marked (fib_node_index_t fib_entry_index,
152 fib_source_t source)
153{
154 fib_entry_t *fib_entry;
155 fib_entry_src_t *esrc;
156
157 fib_entry = fib_entry_get(fib_entry_index);
158
159 esrc = fib_entry_src_find(fib_entry, source);
160
161 if (NULL == esrc)
162 {
163 return (0);
164 }
165 else
166 {
167 return (!!(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_STALE));
168 }
169}
170
171void
172fib_entry_mark (fib_node_index_t fib_entry_index,
173 fib_source_t source)
174{
175 fib_entry_t *fib_entry;
176 fib_entry_src_t *esrc;
177
178 fib_entry = fib_entry_get(fib_entry_index);
179
180 esrc = fib_entry_src_find(fib_entry, source);
181
182 if (NULL != esrc)
183 {
184 esrc->fes_flags |= FIB_ENTRY_SRC_FLAG_STALE;
185 }
186}
187
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100188static fib_entry_src_t *
189fib_entry_src_find_or_create (fib_entry_t *fib_entry,
Neale Ranns2303cb12018-02-21 04:57:17 -0800190 fib_source_t source,
191 fib_entry_flag_t flags)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100192{
193 fib_entry_src_t *esrc;
194
Neale Ranns2303cb12018-02-21 04:57:17 -0800195 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100196
197 if (NULL == esrc)
198 {
Neale Ranns2303cb12018-02-21 04:57:17 -0800199 fib_entry_src_action_init(fib_entry, source, flags);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100200 }
201
Neale Ranns2303cb12018-02-21 04:57:17 -0800202 return (fib_entry_src_find(fib_entry, source));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100203}
204
Neale Ranns2303cb12018-02-21 04:57:17 -0800205static void
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100206fib_entry_src_action_deinit (fib_entry_t *fib_entry,
207 fib_source_t source)
208
209{
210 fib_entry_src_t *esrc;
211 u32 index = ~0;
212
Neale Ranns2303cb12018-02-21 04:57:17 -0800213 esrc = fib_entry_src_find_i(fib_entry, source, &index);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100214
215 ASSERT(NULL != esrc);
216
Neale Ranns6ede5702020-02-13 09:12:36 +0000217 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_deinit, (esrc));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100218
Neale Ranns81424992017-05-18 03:03:22 -0700219 fib_path_ext_list_flush(&esrc->fes_path_exts);
Neale Rannsa4e77662017-12-04 20:00:30 +0000220 vec_del1(fib_entry->fe_srcs, index);
Neale Ranns75b39f82018-10-26 04:17:54 -0700221 vec_sort_with_function(fib_entry->fe_srcs,
222 fib_entry_src_cmp_for_sort);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100223}
224
225fib_entry_src_cover_res_t
226fib_entry_src_action_cover_change (fib_entry_t *fib_entry,
Neale Ranns2303cb12018-02-21 04:57:17 -0800227 fib_entry_src_t *esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100228{
Neale Ranns2303cb12018-02-21 04:57:17 -0800229 FIB_ENTRY_SRC_VFT_INVOKE_AND_RETURN(esrc, fesv_cover_change,
230 (esrc, fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100231
232 fib_entry_src_cover_res_t res = {
233 .install = !0,
234 .bw_reason = FIB_NODE_BW_REASON_FLAG_NONE,
235 };
236 return (res);
237}
238
239fib_entry_src_cover_res_t
240fib_entry_src_action_cover_update (fib_entry_t *fib_entry,
Neale Ranns2303cb12018-02-21 04:57:17 -0800241 fib_entry_src_t *esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100242{
Neale Ranns2303cb12018-02-21 04:57:17 -0800243 FIB_ENTRY_SRC_VFT_INVOKE_AND_RETURN(esrc, fesv_cover_update,
244 (esrc, fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100245
246 fib_entry_src_cover_res_t res = {
247 .install = !0,
248 .bw_reason = FIB_NODE_BW_REASON_FLAG_NONE,
249 };
250 return (res);
251}
252
253typedef struct fib_entry_src_collect_forwarding_ctx_t_
254{
Neale Ranns81424992017-05-18 03:03:22 -0700255 load_balance_path_t *next_hops;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100256 const fib_entry_t *fib_entry;
Neale Ranns1c59df72021-01-26 12:08:25 +0000257 i32 start_source_index, end_source_index;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100258 fib_forward_chain_type_t fct;
Neale Rannsf12a83f2017-04-18 09:09:40 -0700259 int n_recursive_constrained;
Neale Ranns57b58602017-07-15 07:37:25 -0700260 u16 preference;
Neale Ranns53962fb2021-12-20 18:18:42 +0000261 dpo_proto_t payload_proto;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100262} fib_entry_src_collect_forwarding_ctx_t;
263
264/**
265 * @brief Determine whether this FIB entry should use a load-balance MAP
266 * to support PIC edge fast convergence
267 */
Neale Ranns1c59df72021-01-26 12:08:25 +0000268static load_balance_flags_t
269fib_entry_calc_lb_flags (fib_entry_src_collect_forwarding_ctx_t *ctx,
270 const fib_entry_src_t *esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100271{
272 /**
Neale Rannsf12a83f2017-04-18 09:09:40 -0700273 * We'll use a LB map if the path-list has multiple recursive paths.
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100274 * recursive paths implies BGP, and hence scale.
275 */
Neale Rannsf12a83f2017-04-18 09:09:40 -0700276 if (ctx->n_recursive_constrained > 1 &&
Neale Ranns1c59df72021-01-26 12:08:25 +0000277 fib_path_list_is_popular(esrc->fes_pl))
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100278 {
279 return (LOAD_BALANCE_FLAG_USES_MAP);
280 }
281 return (LOAD_BALANCE_FLAG_NONE);
282}
283
284static int
285fib_entry_src_valid_out_label (mpls_label_t label)
286{
287 return ((MPLS_LABEL_IS_REAL(label) ||
Neale Ranns31ed7442018-02-23 05:29:09 -0800288 MPLS_LABEL_POP == label ||
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100289 MPLS_IETF_IPV4_EXPLICIT_NULL_LABEL == label ||
290 MPLS_IETF_IPV6_EXPLICIT_NULL_LABEL == label ||
291 MPLS_IETF_IMPLICIT_NULL_LABEL == label));
292}
293
Neale Ranns62fe07c2017-10-31 12:28:22 -0700294static dpo_proto_t
295fib_prefix_get_payload_proto (const fib_prefix_t *pfx)
296{
297 switch (pfx->fp_proto)
298 {
299 case FIB_PROTOCOL_IP4:
300 return (DPO_PROTO_IP4);
301 case FIB_PROTOCOL_IP6:
302 return (DPO_PROTO_IP6);
303 case FIB_PROTOCOL_MPLS:
304 return (pfx->fp_payload_proto);
305 }
306
307 ASSERT(0);
308 return (DPO_PROTO_IP4);
309}
310
Neale Ranns81424992017-05-18 03:03:22 -0700311static void
312fib_entry_src_get_path_forwarding (fib_node_index_t path_index,
313 fib_entry_src_collect_forwarding_ctx_t *ctx)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100314{
Neale Ranns81424992017-05-18 03:03:22 -0700315 load_balance_path_t *nh;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100316
317 /*
Neale Ranns81424992017-05-18 03:03:22 -0700318 * no extension => no out-going label for this path. that's OK
319 * in the case of an IP or EOS chain, but not for non-EOS
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100320 */
Neale Ranns81424992017-05-18 03:03:22 -0700321 switch (ctx->fct)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100322 {
Neale Ranns81424992017-05-18 03:03:22 -0700323 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
324 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
325 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
326 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
Neale Rannsd792d9c2017-10-21 10:53:20 -0700327 case FIB_FORW_CHAIN_TYPE_BIER:
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100328 /*
Neale Ranns81424992017-05-18 03:03:22 -0700329 * EOS traffic with no label to stack, we need the IP Adj
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100330 */
Neale Ranns81424992017-05-18 03:03:22 -0700331 vec_add2(ctx->next_hops, nh, 1);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100332
Neale Ranns81424992017-05-18 03:03:22 -0700333 nh->path_index = path_index;
334 nh->path_weight = fib_path_get_weight(path_index);
Neale Ranns53962fb2021-12-20 18:18:42 +0000335 fib_path_contribute_forwarding(path_index, ctx->fct,
336 ctx->payload_proto, &nh->path_dpo);
Neale Ranns81424992017-05-18 03:03:22 -0700337
338 break;
339 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
340 if (fib_path_is_exclusive(path_index) ||
341 fib_path_is_deag(path_index))
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100342 {
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100343 vec_add2(ctx->next_hops, nh, 1);
344
345 nh->path_index = path_index;
346 nh->path_weight = fib_path_get_weight(path_index);
Neale Ranns81424992017-05-18 03:03:22 -0700347 fib_path_contribute_forwarding(path_index,
348 FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS,
Neale Ranns53962fb2021-12-20 18:18:42 +0000349 ctx->payload_proto,
Neale Ranns81424992017-05-18 03:03:22 -0700350 &nh->path_dpo);
351 }
352 break;
353 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
Neale Rannsad422ed2016-11-02 14:20:04 +0000354 {
355 /*
356 * no label. we need a chain based on the payload. fixup.
357 */
358 vec_add2(ctx->next_hops, nh, 1);
359
360 nh->path_index = path_index;
361 nh->path_weight = fib_path_get_weight(path_index);
362 fib_path_contribute_forwarding(path_index,
Neale Ranns53962fb2021-12-20 18:18:42 +0000363 ctx->fct,
364 ctx->payload_proto,
Neale Rannsad422ed2016-11-02 14:20:04 +0000365 &nh->path_dpo);
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800366 fib_path_stack_mpls_disp(path_index,
Neale Ranns53962fb2021-12-20 18:18:42 +0000367 ctx->payload_proto,
Neale Ranns31ed7442018-02-23 05:29:09 -0800368 FIB_MPLS_LSP_MODE_PIPE,
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800369 &nh->path_dpo);
Neale Rannsad422ed2016-11-02 14:20:04 +0000370
371 break;
372 }
Neale Ranns81424992017-05-18 03:03:22 -0700373 case FIB_FORW_CHAIN_TYPE_ETHERNET:
374 case FIB_FORW_CHAIN_TYPE_NSH:
375 ASSERT(0);
376 break;
377 }
378}
379
380static fib_path_list_walk_rc_t
381fib_entry_src_collect_forwarding (fib_node_index_t pl_index,
382 fib_node_index_t path_index,
383 void *arg)
384{
385 fib_entry_src_collect_forwarding_ctx_t *ctx;
Neale Ranns1c59df72021-01-26 12:08:25 +0000386 const fib_entry_src_t *esrc;
Neale Ranns81424992017-05-18 03:03:22 -0700387 fib_path_ext_t *path_ext;
Neale Ranns2303cb12018-02-21 04:57:17 -0800388 u32 n_nhs;
Neale Ranns81424992017-05-18 03:03:22 -0700389
390 ctx = arg;
Neale Ranns2303cb12018-02-21 04:57:17 -0800391 n_nhs = vec_len(ctx->next_hops);
Neale Ranns81424992017-05-18 03:03:22 -0700392
393 /*
Neale Ranns1c59df72021-01-26 12:08:25 +0000394 * walk the paths and extension of the best non-interpose source
395 */
396 esrc = &ctx->fib_entry->fe_srcs[ctx->end_source_index];
397
398 /*
Neale Ranns81424992017-05-18 03:03:22 -0700399 * if the path is not resolved, don't include it.
400 */
401 if (!fib_path_is_resolved(path_index))
402 {
403 return (FIB_PATH_LIST_WALK_CONTINUE);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100404 }
405
Neale Ranns81424992017-05-18 03:03:22 -0700406 if (fib_path_is_recursive_constrained(path_index))
407 {
408 ctx->n_recursive_constrained += 1;
409 }
Neale Ranns57b58602017-07-15 07:37:25 -0700410 if (0xffff == ctx->preference)
411 {
412 /*
413 * not set a preference yet, so the first path we encounter
414 * sets the preference we are collecting.
415 */
416 ctx->preference = fib_path_get_preference(path_index);
417 }
418 else if (ctx->preference != fib_path_get_preference(path_index))
419 {
420 /*
421 * this path does not belong to the same preference as the
422 * previous paths encountered. we are done now.
423 */
424 return (FIB_PATH_LIST_WALK_STOP);
425 }
Neale Ranns81424992017-05-18 03:03:22 -0700426
427 /*
428 * get the matching path-extension for the path being visited.
429 */
Neale Ranns1c59df72021-01-26 12:08:25 +0000430 path_ext = fib_path_ext_list_find_by_path_index(&esrc->fes_path_exts,
Neale Ranns81424992017-05-18 03:03:22 -0700431 path_index);
432
433 if (NULL != path_ext)
434 {
435 switch (path_ext->fpe_type)
436 {
437 case FIB_PATH_EXT_MPLS:
Neale Ranns31ed7442018-02-23 05:29:09 -0800438 if (fib_entry_src_valid_out_label(path_ext->fpe_label_stack[0].fml_value))
Neale Ranns81424992017-05-18 03:03:22 -0700439 {
440 /*
441 * found a matching extension. stack it to obtain the forwarding
442 * info for this path.
443 */
444 ctx->next_hops =
445 fib_path_ext_stack(path_ext,
Neale Ranns53962fb2021-12-20 18:18:42 +0000446 ctx->payload_proto,
Neale Ranns81424992017-05-18 03:03:22 -0700447 ctx->fct,
Neale Ranns81424992017-05-18 03:03:22 -0700448 ctx->next_hops);
449 }
450 else
451 {
452 fib_entry_src_get_path_forwarding(path_index, ctx);
453 }
454 break;
455 case FIB_PATH_EXT_ADJ:
456 if (FIB_PATH_EXT_ADJ_FLAG_REFINES_COVER & path_ext->fpe_adj_flags)
457 {
458 fib_entry_src_get_path_forwarding(path_index, ctx);
459 }
460 /*
461 * else
462 * the path does not refine the cover, meaning that
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700463 * the adjacency does/does not match the sub-net on the link.
Neale Ranns81424992017-05-18 03:03:22 -0700464 * So this path does not contribute forwarding.
465 */
466 break;
467 }
468 }
469 else
470 {
471 fib_entry_src_get_path_forwarding(path_index, ctx);
472 }
473
Neale Ranns2303cb12018-02-21 04:57:17 -0800474 /*
475 * a this point 'ctx' has the DPO the path contributed, plus
476 * any labels from path extensions.
477 * check if there are any interpose sources that want to contribute
478 */
479 if (n_nhs < vec_len(ctx->next_hops))
480 {
481 /*
482 * the path contributed a new choice.
483 */
484 const fib_entry_src_vft_t *vft;
485
Neale Ranns1c59df72021-01-26 12:08:25 +0000486 /*
487 * roll up the sources that are interposes
488 */
489 i32 index;
Neale Ranns2303cb12018-02-21 04:57:17 -0800490
Neale Ranns1c59df72021-01-26 12:08:25 +0000491 for (index = ctx->end_source_index;
492 index >= ctx->start_source_index;
493 index--)
Neale Ranns2303cb12018-02-21 04:57:17 -0800494 {
495 const dpo_id_t *interposer;
496
Neale Ranns1c59df72021-01-26 12:08:25 +0000497 esrc = &ctx->fib_entry->fe_srcs[index];
498 vft = fib_entry_src_get_vft(esrc);
499
500 if (!(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_CONTRIBUTING) ||
501 !(esrc->fes_entry_flags & FIB_ENTRY_FLAG_INTERPOSE))
502 continue;
503
504 ASSERT(vft->fesv_contribute_interpose);
505 interposer = vft->fesv_contribute_interpose(esrc, ctx->fib_entry);
Neale Ranns2303cb12018-02-21 04:57:17 -0800506
507 if (NULL != interposer)
508 {
509 dpo_id_t clone = DPO_INVALID;
510
511 dpo_mk_interpose(interposer,
512 &ctx->next_hops[n_nhs].path_dpo,
513 &clone);
514
515 dpo_copy(&ctx->next_hops[n_nhs].path_dpo, &clone);
516 dpo_reset(&clone);
517 }
518 }
519 }
520
Neale Ranns81424992017-05-18 03:03:22 -0700521 return (FIB_PATH_LIST_WALK_CONTINUE);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100522}
523
524void
525fib_entry_src_mk_lb (fib_entry_t *fib_entry,
Neale Ranns1c59df72021-01-26 12:08:25 +0000526 fib_source_t source,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100527 fib_forward_chain_type_t fct,
528 dpo_id_t *dpo_lb)
529{
Neale Ranns1c59df72021-01-26 12:08:25 +0000530 const fib_entry_src_t *esrc;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100531 dpo_proto_t lb_proto;
Neale Ranns1c59df72021-01-26 12:08:25 +0000532 u32 start, end;
533
534 /*
535 * The source passed here is the 'best', i.e. the one the client
536 * wants. however, if it's an interpose then it does not contribute
537 * the forwarding, the next best source that is not an interpose does.
538 * So roll down the sources, to find the best non-interpose
539 */
540 vec_foreach_index (start, fib_entry->fe_srcs)
541 {
542 if (source == fib_entry->fe_srcs[start].fes_src)
543 break;
544 }
545 for (end = start; end < vec_len (fib_entry->fe_srcs); end++)
546 {
547 if (!(fib_entry->fe_srcs[end].fes_entry_flags &
548 FIB_ENTRY_FLAG_INTERPOSE) &&
549 (fib_entry->fe_srcs[end].fes_flags &
550 FIB_ENTRY_SRC_FLAG_CONTRIBUTING))
551 break;
552 }
553 if (end == vec_len(fib_entry->fe_srcs))
554 {
555 /* didn't find any contributing non-interpose sources */
556 end = start;
557 }
558
559 esrc = &fib_entry->fe_srcs[end];
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100560
561 /*
562 * If the entry has path extensions then we construct a load-balance
563 * by stacking the extensions on the forwarding chains of the paths.
564 * Otherwise we use the load-balance of the path-list
565 */
566 fib_entry_src_collect_forwarding_ctx_t ctx = {
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100567 .fib_entry = fib_entry,
568 .next_hops = NULL,
Neale Rannsf12a83f2017-04-18 09:09:40 -0700569 .n_recursive_constrained = 0,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100570 .fct = fct,
Neale Ranns57b58602017-07-15 07:37:25 -0700571 .preference = 0xffff,
Neale Ranns1c59df72021-01-26 12:08:25 +0000572 .start_source_index = start,
573 .end_source_index = end,
Neale Ranns53962fb2021-12-20 18:18:42 +0000574 .payload_proto = fib_prefix_get_payload_proto(&fib_entry->fe_prefix),
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100575 };
576
Neale Rannsc0790cf2017-01-05 01:01:47 -0800577 /*
578 * As an optimisation we allocate the vector of next-hops to be sized
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700579 * equal to the maximum number of paths we will need, which is also the
Neale Rannsc0790cf2017-01-05 01:01:47 -0800580 * most likely number we will need, since in most cases the paths are 'up'.
581 */
582 vec_validate(ctx.next_hops, fib_path_list_get_n_paths(esrc->fes_pl));
583 vec_reset_length(ctx.next_hops);
584
Neale Rannsf12a83f2017-04-18 09:09:40 -0700585 lb_proto = fib_forw_chain_type_to_dpo_proto(fct);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100586
587 fib_path_list_walk(esrc->fes_pl,
588 fib_entry_src_collect_forwarding,
589 &ctx);
590
591 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_EXCLUSIVE)
592 {
593 /*
594 * the client provided the DPO that the entry should link to.
595 * all entries must link to a LB, so if it is an LB already
596 * then we can use it.
597 */
598 if ((1 == vec_len(ctx.next_hops)) &&
599 (DPO_LOAD_BALANCE == ctx.next_hops[0].path_dpo.dpoi_type))
600 {
601 dpo_copy(dpo_lb, &ctx.next_hops[0].path_dpo);
602 dpo_reset(&ctx.next_hops[0].path_dpo);
603 return;
604 }
605 }
606
607 if (!dpo_id_is_valid(dpo_lb))
608 {
609 /*
610 * first time create
611 */
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800612 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_MULTICAST)
613 {
614 dpo_set(dpo_lb,
615 DPO_REPLICATE,
616 lb_proto,
617 MPLS_IS_REPLICATE | replicate_create(0, lb_proto));
618 }
619 else
620 {
Neale Rannsd792d9c2017-10-21 10:53:20 -0700621 fib_protocol_t flow_hash_proto;
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800622 flow_hash_config_t fhc;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100623
Neale Ranns41da54f2017-05-02 10:15:19 -0700624 /*
625 * if the protocol for the LB we are building does not match that
626 * of the fib_entry (i.e. we are build the [n]EOS LB for an IPv[46]
627 * then the fib_index is not an index that relates to the table
628 * type we need. So get the default flow-hash config instead.
629 */
Neale Rannsd792d9c2017-10-21 10:53:20 -0700630 flow_hash_proto = dpo_proto_to_fib(lb_proto);
631 if (fib_entry->fe_prefix.fp_proto != flow_hash_proto)
Neale Ranns41da54f2017-05-02 10:15:19 -0700632 {
Neale Rannsd792d9c2017-10-21 10:53:20 -0700633 fhc = fib_table_get_default_flow_hash_config(flow_hash_proto);
Neale Ranns41da54f2017-05-02 10:15:19 -0700634 }
635 else
636 {
Neale Rannsd792d9c2017-10-21 10:53:20 -0700637 fhc = fib_table_get_flow_hash_config(fib_entry->fe_fib_index,
638 flow_hash_proto);
Neale Ranns41da54f2017-05-02 10:15:19 -0700639 }
Neale Rannsd792d9c2017-10-21 10:53:20 -0700640
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800641 dpo_set(dpo_lb,
642 DPO_LOAD_BALANCE,
643 lb_proto,
644 load_balance_create(0, lb_proto, fhc));
645 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100646 }
647
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800648 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_MULTICAST)
Neale Ranns3ee44042016-10-03 13:05:48 +0100649 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800650 /*
651 * MPLS multicast
652 */
653 replicate_multipath_update(dpo_lb, ctx.next_hops);
Neale Ranns3ee44042016-10-03 13:05:48 +0100654 }
655 else
656 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800657 load_balance_multipath_update(dpo_lb,
658 ctx.next_hops,
Neale Ranns1c59df72021-01-26 12:08:25 +0000659 fib_entry_calc_lb_flags(&ctx, esrc));
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800660 vec_free(ctx.next_hops);
661
662 /*
663 * if this entry is sourced by the uRPF-exempt source then we
664 * append the always present local0 interface (index 0) to the
665 * uRPF list so it is not empty. that way packets pass the loose check.
666 */
667 index_t ui = fib_path_list_get_urpf(esrc->fes_pl);
668
669 if ((fib_entry_is_sourced(fib_entry_get_index(fib_entry),
670 FIB_SOURCE_URPF_EXEMPT) ||
671 (esrc->fes_entry_flags & FIB_ENTRY_FLAG_LOOSE_URPF_EXEMPT))&&
672 (0 == fib_urpf_check_size(ui)))
673 {
674 /*
675 * The uRPF list we get from the path-list is shared by all
676 * other users of the list, but the uRPF exemption applies
677 * only to this prefix. So we need our own list.
678 */
679 ui = fib_urpf_list_alloc_and_lock();
680 fib_urpf_list_append(ui, 0);
681 fib_urpf_list_bake(ui);
682 load_balance_set_urpf(dpo_lb->dpoi_index, ui);
683 fib_urpf_list_unlock(ui);
684 }
685 else
686 {
687 load_balance_set_urpf(dpo_lb->dpoi_index, ui);
688 }
689 load_balance_set_fib_entry_flags(dpo_lb->dpoi_index,
690 fib_entry_get_flags_i(fib_entry));
Neale Ranns3ee44042016-10-03 13:05:48 +0100691 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100692}
693
694void
695fib_entry_src_action_install (fib_entry_t *fib_entry,
696 fib_source_t source)
697{
698 /*
699 * Install the forwarding chain for the given source into the forwarding
700 * tables
701 */
702 fib_forward_chain_type_t fct;
Neale Ranns33a7dd52016-10-07 15:14:33 +0100703 int insert;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100704
705 fct = fib_entry_get_default_chain_type(fib_entry);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100706
Neale Ranns33a7dd52016-10-07 15:14:33 +0100707 /*
708 * Every entry has its own load-balance object. All changes to the entry's
709 * forwarding result in an inplace modify of the load-balance. This means
710 * the load-balance object only needs to be added to the forwarding
711 * DB once, when it is created.
712 */
Neale Rannsad422ed2016-11-02 14:20:04 +0000713 insert = !dpo_id_is_valid(&fib_entry->fe_lb);
Neale Ranns33a7dd52016-10-07 15:14:33 +0100714
Neale Ranns1c59df72021-01-26 12:08:25 +0000715 fib_entry_src_mk_lb(fib_entry, source, fct, &fib_entry->fe_lb);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100716
Neale Rannsad422ed2016-11-02 14:20:04 +0000717 ASSERT(dpo_id_is_valid(&fib_entry->fe_lb));
718 FIB_ENTRY_DBG(fib_entry, "install: %d", fib_entry->fe_lb);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100719
720 /*
721 * insert the adj into the data-plane forwarding trie
722 */
Neale Ranns33a7dd52016-10-07 15:14:33 +0100723 if (insert)
724 {
725 fib_table_fwding_dpo_update(fib_entry->fe_fib_index,
726 &fib_entry->fe_prefix,
Neale Rannsad422ed2016-11-02 14:20:04 +0000727 &fib_entry->fe_lb);
Neale Ranns33a7dd52016-10-07 15:14:33 +0100728 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100729
Neale Rannsad422ed2016-11-02 14:20:04 +0000730 /*
731 * if any of the other chain types are already created they will need
732 * updating too
733 */
734 fib_entry_delegate_type_t fdt;
735 fib_entry_delegate_t *fed;
736
737 FOR_EACH_DELEGATE_CHAIN(fib_entry, fdt, fed,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100738 {
Neale Ranns1c59df72021-01-26 12:08:25 +0000739 fib_entry_src_mk_lb(fib_entry, source,
Neale Rannsad422ed2016-11-02 14:20:04 +0000740 fib_entry_delegate_type_to_chain_type(fdt),
741 &fed->fd_dpo);
742 });
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100743}
744
745void
746fib_entry_src_action_uninstall (fib_entry_t *fib_entry)
747{
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100748 /*
Neale Ranns3ee44042016-10-03 13:05:48 +0100749 * uninstall the forwarding chain from the forwarding tables
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100750 */
Neale Ranns710071b2018-09-24 12:36:26 +0000751 FIB_ENTRY_DBG(fib_entry, "uninstall");
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100752
Neale Rannsad422ed2016-11-02 14:20:04 +0000753 if (dpo_id_is_valid(&fib_entry->fe_lb))
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100754 {
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100755 fib_table_fwding_dpo_remove(
756 fib_entry->fe_fib_index,
757 &fib_entry->fe_prefix,
Neale Rannsad422ed2016-11-02 14:20:04 +0000758 &fib_entry->fe_lb);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100759
Steven Luong58f37b22024-02-12 16:47:22 -0800760 vlib_worker_wait_one_loop();
Neale Rannsad422ed2016-11-02 14:20:04 +0000761 dpo_reset(&fib_entry->fe_lb);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100762 }
763}
764
765static void
766fib_entry_recursive_loop_detect_i (fib_node_index_t path_list_index)
767{
768 fib_node_index_t *entries = NULL;
769
770 fib_path_list_recursive_loop_detect(path_list_index, &entries);
771
772 vec_free(entries);
773}
774
Neale Ranns89541992017-04-06 04:41:02 -0700775/*
776 * fib_entry_src_action_copy
777 *
778 * copy a source data from another entry to this one
779 */
Neale Ranns2303cb12018-02-21 04:57:17 -0800780static fib_entry_t *
Neale Ranns89541992017-04-06 04:41:02 -0700781fib_entry_src_action_copy (fib_entry_t *fib_entry,
782 const fib_entry_src_t *orig_src)
783{
784 fib_entry_src_t *esrc;
785
Neale Ranns2303cb12018-02-21 04:57:17 -0800786 esrc = fib_entry_src_find_or_create(fib_entry,
787 orig_src->fes_src,
788 orig_src->fes_entry_flags);
Neale Ranns89541992017-04-06 04:41:02 -0700789
Neale Ranns6ede5702020-02-13 09:12:36 +0000790 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_copy,
Neale Ranns2303cb12018-02-21 04:57:17 -0800791 (orig_src, fib_entry, esrc));
792
793 fib_path_list_unlock(esrc->fes_pl);
794
795 /*
796 * copy over all the data ...
797 */
798 esrc->fes_flags = orig_src->fes_flags;
799 esrc->fes_pl = orig_src->fes_pl;
800
801 /*
802 * ... then update
803 */
Neale Ranns89541992017-04-06 04:41:02 -0700804 esrc->fes_ref_count = 1;
805 esrc->fes_flags |= FIB_ENTRY_SRC_FLAG_INHERITED;
Neale Ranns2303cb12018-02-21 04:57:17 -0800806 esrc->fes_flags &= ~(FIB_ENTRY_SRC_FLAG_ACTIVE |
807 FIB_ENTRY_SRC_FLAG_CONTRIBUTING);
Neale Ranns89541992017-04-06 04:41:02 -0700808 esrc->fes_entry_flags &= ~FIB_ENTRY_FLAG_COVERED_INHERIT;
809
810 /*
811 * the source owns a lock on the entry
812 */
813 fib_path_list_lock(esrc->fes_pl);
814 fib_entry_lock(fib_entry_get_index(fib_entry));
815
816 return (fib_entry);
817}
818
819/*
820 * fib_entry_src_action_update
821 *
822 * copy a source data from another entry to this one
823 */
824static fib_entry_src_t *
825fib_entry_src_action_update_from_cover (fib_entry_t *fib_entry,
826 const fib_entry_src_t *orig_src)
827{
828 fib_entry_src_t *esrc;
829
Neale Ranns2303cb12018-02-21 04:57:17 -0800830 esrc = fib_entry_src_find_or_create(fib_entry,
831 orig_src->fes_src,
832 orig_src->fes_entry_flags);
Neale Ranns89541992017-04-06 04:41:02 -0700833
834 /*
835 * the source owns a lock on the entry
836 */
837 fib_path_list_unlock(esrc->fes_pl);
838 esrc->fes_pl = orig_src->fes_pl;
839 fib_path_list_lock(esrc->fes_pl);
840
841 return (esrc);
842}
843
844static fib_table_walk_rc_t
845fib_entry_src_covered_inherit_add_i (fib_entry_t *fib_entry,
846 const fib_entry_src_t *cover_src)
847{
848 fib_entry_src_t *esrc;
849
Neale Ranns2303cb12018-02-21 04:57:17 -0800850 esrc = fib_entry_src_find(fib_entry, cover_src->fes_src);
Neale Ranns89541992017-04-06 04:41:02 -0700851
852 if (cover_src == esrc)
853 {
854 return (FIB_TABLE_WALK_CONTINUE);
855 }
856
857 if (NULL != esrc)
858 {
859 /*
860 * the covered entry already has this source.
861 */
862 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT)
863 {
864 /*
865 * the covered source is itself a COVERED_INHERIT, i.e.
866 * it also pushes this source down the sub-tree.
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700867 * We consider this more specific covered to be the owner
Neale Ranns89541992017-04-06 04:41:02 -0700868 * of the sub-tree from this point down.
869 */
870 return (FIB_TABLE_WALK_SUB_TREE_STOP);
871 }
872 if (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED)
873 {
874 /*
875 * The covered's source data has been inherited, presumably
876 * from this cover, i.e. this is a modify.
877 */
Maxime Peim6eac5ba2024-02-20 12:27:38 +0100878 fib_source_t best_source;
879
880 best_source = fib_entry_get_best_source(
881 fib_entry_get_index(fib_entry));
882 fib_entry_src_action_update_from_cover(fib_entry, cover_src);
883 fib_entry_source_change(fib_entry, best_source, cover_src->fes_src);
Neale Ranns89541992017-04-06 04:41:02 -0700884 }
885 else
886 {
887 /*
888 * The covered's source was not inherited and it is also
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700889 * not inheriting. Nevertheless, it still owns the sub-tree from
Neale Ranns89541992017-04-06 04:41:02 -0700890 * this point down.
891 */
892 return (FIB_TABLE_WALK_SUB_TREE_STOP);
893 }
894 }
895 else
896 {
897 /*
898 * The covered does not have this source - add it.
899 */
900 fib_source_t best_source;
901
902 best_source = fib_entry_get_best_source(
903 fib_entry_get_index(fib_entry));
904
905 fib_entry_src_action_copy(fib_entry, cover_src);
906 fib_entry_source_change(fib_entry, best_source, cover_src->fes_src);
907
908 }
909 return (FIB_TABLE_WALK_CONTINUE);
910}
911
912static fib_table_walk_rc_t
913fib_entry_src_covered_inherit_walk_add (fib_node_index_t fei,
914 void *ctx)
915{
916 return (fib_entry_src_covered_inherit_add_i(fib_entry_get(fei), ctx));
917}
918
919static fib_table_walk_rc_t
920fib_entry_src_covered_inherit_walk_remove (fib_node_index_t fei,
921 void *ctx)
922{
923 fib_entry_src_t *cover_src, *esrc;
924 fib_entry_t *fib_entry;
925
926 fib_entry = fib_entry_get(fei);
927
928 cover_src = ctx;
Neale Ranns2303cb12018-02-21 04:57:17 -0800929 esrc = fib_entry_src_find(fib_entry, cover_src->fes_src);
Neale Ranns89541992017-04-06 04:41:02 -0700930
931 if (cover_src == esrc)
932 {
933 return (FIB_TABLE_WALK_CONTINUE);
934 }
935
936 if (NULL != esrc)
937 {
938 /*
939 * the covered entry already has this source.
940 */
941 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT)
942 {
943 /*
944 * the covered source is itself a COVERED_INHERIT, i.e.
945 * it also pushes this source down the sub-tree.
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700946 * We consider this more specific covered to be the owner
Neale Ranns89541992017-04-06 04:41:02 -0700947 * of the sub-tree from this point down.
948 */
949 return (FIB_TABLE_WALK_SUB_TREE_STOP);
950 }
951 if (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED)
952 {
953 /*
954 * The covered's source data has been inherited, presumably
955 * from this cover
956 */
957 fib_entry_src_flag_t remaining;
958
959 remaining = fib_entry_special_remove(fei, cover_src->fes_src);
960
961 ASSERT(FIB_ENTRY_SRC_FLAG_ADDED == remaining);
962 }
963 else
964 {
965 /*
966 * The covered's source was not inherited and it is also
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700967 * not inheriting. Nevertheless, it still owns the sub-tree from
Neale Ranns89541992017-04-06 04:41:02 -0700968 * this point down.
969 */
970 return (FIB_TABLE_WALK_SUB_TREE_STOP);
971 }
972 }
973 else
974 {
975 /*
976 * The covered does not have this source - that's an error,
977 * since it should have inherited, but there is nothing we can do
978 * about it now.
979 */
980 }
981 return (FIB_TABLE_WALK_CONTINUE);
982}
983
984void
985fib_entry_src_inherit (const fib_entry_t *cover,
986 fib_entry_t *covered)
987{
988 CLIB_UNUSED(fib_source_t source);
989 const fib_entry_src_t *src;
990
991 FOR_EACH_SRC_ADDED(cover, src, source,
992 ({
993 if ((src->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT) ||
994 (src->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED))
995 {
996 fib_entry_src_covered_inherit_add_i(covered, src);
997 }
998 }))
999}
1000
1001static void
1002fib_entry_src_covered_inherit_add (fib_entry_t *fib_entry,
1003 fib_source_t source)
1004
1005{
1006 fib_entry_src_t *esrc;
1007
Neale Ranns2303cb12018-02-21 04:57:17 -08001008 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns89541992017-04-06 04:41:02 -07001009
1010 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE);
1011
1012 if ((esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT) ||
1013 (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED))
1014 {
1015 fib_table_sub_tree_walk(fib_entry->fe_fib_index,
1016 fib_entry->fe_prefix.fp_proto,
1017 &fib_entry->fe_prefix,
1018 fib_entry_src_covered_inherit_walk_add,
1019 esrc);
1020 }
1021}
1022
1023static void
1024fib_entry_src_covered_inherit_remove (fib_entry_t *fib_entry,
1025 fib_entry_src_t *esrc)
1026
1027{
1028 ASSERT(!(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE));
1029
1030 if (esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT)
1031 {
1032 fib_table_sub_tree_walk(fib_entry->fe_fib_index,
1033 fib_entry->fe_prefix.fp_proto,
1034 &fib_entry->fe_prefix,
1035 fib_entry_src_covered_inherit_walk_remove,
1036 esrc);
1037 }
1038}
1039
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001040void
1041fib_entry_src_action_activate (fib_entry_t *fib_entry,
1042 fib_source_t source)
1043
1044{
1045 int houston_we_are_go_for_install;
Neale Ranns2303cb12018-02-21 04:57:17 -08001046 const fib_entry_src_vft_t *vft;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001047 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 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ADDED);
1053
Neale Ranns2303cb12018-02-21 04:57:17 -08001054 esrc->fes_flags |= (FIB_ENTRY_SRC_FLAG_ACTIVE |
1055 FIB_ENTRY_SRC_FLAG_CONTRIBUTING);
1056 vft = fib_entry_src_get_vft(esrc);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001057
Neale Ranns2303cb12018-02-21 04:57:17 -08001058 if (NULL != vft->fesv_activate)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001059 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001060 houston_we_are_go_for_install = vft->fesv_activate(esrc, fib_entry);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001061 }
1062 else
1063 {
1064 /*
1065 * the source is not providing an activate function, we'll assume
1066 * therefore it has no objection to installing the entry
1067 */
1068 houston_we_are_go_for_install = !0;
1069 }
1070
1071 /*
1072 * link to the path-list provided by the source, and go check
1073 * if that forms any loops in the graph.
1074 */
1075 fib_entry->fe_parent = esrc->fes_pl;
1076 fib_entry->fe_sibling =
1077 fib_path_list_child_add(fib_entry->fe_parent,
1078 FIB_NODE_TYPE_ENTRY,
1079 fib_entry_get_index(fib_entry));
1080
1081 fib_entry_recursive_loop_detect_i(fib_entry->fe_parent);
1082
1083 FIB_ENTRY_DBG(fib_entry, "activate: %d",
1084 fib_entry->fe_parent);
1085
Neale Ranns89541992017-04-06 04:41:02 -07001086 /*
1087 * If this source should push its state to covered prefixs, do that now.
1088 */
1089 fib_entry_src_covered_inherit_add(fib_entry, source);
1090
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001091 if (0 != houston_we_are_go_for_install)
1092 {
1093 fib_entry_src_action_install(fib_entry, source);
1094 }
1095 else
1096 {
1097 fib_entry_src_action_uninstall(fib_entry);
1098 }
1099}
1100
1101void
1102fib_entry_src_action_deactivate (fib_entry_t *fib_entry,
1103 fib_source_t source)
1104
1105{
1106 fib_node_index_t path_list_index;
1107 fib_entry_src_t *esrc;
1108
Neale Ranns2303cb12018-02-21 04:57:17 -08001109 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001110
1111 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE);
1112
Neale Ranns6ede5702020-02-13 09:12:36 +00001113 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_deactivate,
Neale Ranns2303cb12018-02-21 04:57:17 -08001114 (esrc, fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001115
Neale Ranns2303cb12018-02-21 04:57:17 -08001116 esrc->fes_flags &= ~(FIB_ENTRY_SRC_FLAG_ACTIVE |
1117 FIB_ENTRY_SRC_FLAG_CONTRIBUTING);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001118
1119 FIB_ENTRY_DBG(fib_entry, "deactivate: %d", fib_entry->fe_parent);
1120
1121 /*
Neale Ranns89541992017-04-06 04:41:02 -07001122 * If this source should pull its state from covered prefixs, do that now.
1123 * If this source also has the INHERITED flag set then it has a cover
1124 * that wants to push down forwarding. We only want the covereds to see
1125 * one update.
1126 */
1127 fib_entry_src_covered_inherit_remove(fib_entry, esrc);
1128
1129 /*
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001130 * un-link from an old path-list. Check for any loops this will clear
1131 */
1132 path_list_index = fib_entry->fe_parent;
1133 fib_entry->fe_parent = FIB_NODE_INDEX_INVALID;
1134
1135 fib_entry_recursive_loop_detect_i(path_list_index);
1136
1137 /*
1138 * this will unlock the path-list, so it may be invalid thereafter.
1139 */
1140 fib_path_list_child_remove(path_list_index, fib_entry->fe_sibling);
1141 fib_entry->fe_sibling = FIB_NODE_INDEX_INVALID;
1142}
1143
Neale Rannsa4e77662017-12-04 20:00:30 +00001144static void
1145fib_entry_src_action_fwd_update (const fib_entry_t *fib_entry,
1146 fib_source_t source)
1147{
1148 fib_entry_src_t *esrc;
1149
1150 vec_foreach(esrc, fib_entry->fe_srcs)
1151 {
Neale Ranns6ede5702020-02-13 09:12:36 +00001152 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_fwd_update,
Neale Ranns2303cb12018-02-21 04:57:17 -08001153 (esrc, fib_entry, source));
Neale Rannsa4e77662017-12-04 20:00:30 +00001154 }
1155}
1156
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001157void
1158fib_entry_src_action_reactivate (fib_entry_t *fib_entry,
1159 fib_source_t source)
1160{
1161 fib_node_index_t path_list_index;
Neale Ranns2303cb12018-02-21 04:57:17 -08001162 const fib_entry_src_vft_t *vft;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001163 fib_entry_src_t *esrc;
Neale Ranns2303cb12018-02-21 04:57:17 -08001164 int remain_installed;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001165
Neale Ranns2303cb12018-02-21 04:57:17 -08001166 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001167
1168 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE);
1169
1170 FIB_ENTRY_DBG(fib_entry, "reactivate: %d to %d",
1171 fib_entry->fe_parent,
1172 esrc->fes_pl);
1173
Neale Ranns2303cb12018-02-21 04:57:17 -08001174 /*
1175 * call the source to reactive and get the go/no-go to remain installed
1176 */
1177 vft = fib_entry_src_get_vft(esrc);
1178
1179 if (NULL != vft->fesv_reactivate)
1180 {
1181 remain_installed = vft->fesv_reactivate(esrc, fib_entry);
1182 }
1183 else
1184 {
1185 remain_installed = 1;
1186 }
1187
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001188 if (fib_entry->fe_parent != esrc->fes_pl)
1189 {
1190 /*
1191 * un-link from an old path-list. Check for any loops this will clear
1192 */
1193 path_list_index = fib_entry->fe_parent;
1194 fib_entry->fe_parent = FIB_NODE_INDEX_INVALID;
1195
1196 /*
1197 * temporary lock so it doesn't get deleted when this entry is no
1198 * longer a child.
1199 */
1200 fib_path_list_lock(path_list_index);
1201
1202 /*
1203 * this entry is no longer a child. after unlinking check if any loops
1204 * were broken
1205 */
1206 fib_path_list_child_remove(path_list_index,
1207 fib_entry->fe_sibling);
1208
1209 fib_entry_recursive_loop_detect_i(path_list_index);
1210
1211 /*
1212 * link to the path-list provided by the source, and go check
1213 * if that forms any loops in the graph.
1214 */
1215 fib_entry->fe_parent = esrc->fes_pl;
1216 fib_entry->fe_sibling =
1217 fib_path_list_child_add(fib_entry->fe_parent,
1218 FIB_NODE_TYPE_ENTRY,
1219 fib_entry_get_index(fib_entry));
1220
1221 fib_entry_recursive_loop_detect_i(fib_entry->fe_parent);
1222 fib_path_list_unlock(path_list_index);
Neale Ranns89541992017-04-06 04:41:02 -07001223
1224 /*
Neale Ranns89541992017-04-06 04:41:02 -07001225 * If this source should push its state to covered prefixs, do that now.
1226 */
1227 fib_entry_src_covered_inherit_add(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001228 }
Neale Ranns2303cb12018-02-21 04:57:17 -08001229
1230 if (!remain_installed)
1231 {
1232 fib_entry_src_action_uninstall(fib_entry);
1233 }
1234 else
1235 {
1236 fib_entry_src_action_install(fib_entry, source);
1237 }
Neale Rannsa4e77662017-12-04 20:00:30 +00001238 fib_entry_src_action_fwd_update(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001239}
1240
Neale Ranns6ede5702020-02-13 09:12:36 +00001241fib_entry_t *
1242fib_entry_src_action_installed (fib_entry_t *fib_entry,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001243 fib_source_t source)
1244{
1245 fib_entry_src_t *esrc;
1246
Neale Ranns2303cb12018-02-21 04:57:17 -08001247 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001248
Neale Ranns6ede5702020-02-13 09:12:36 +00001249 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_installed,
Neale Ranns2303cb12018-02-21 04:57:17 -08001250 (esrc, fib_entry));
Neale Rannsa4e77662017-12-04 20:00:30 +00001251
1252 fib_entry_src_action_fwd_update(fib_entry, source);
Neale Ranns6ede5702020-02-13 09:12:36 +00001253
1254 return (fib_entry);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001255}
1256
1257/*
1258 * fib_entry_src_action_add
1259 *
1260 * Adding a source can result in a new fib_entry being created, which
1261 * can inturn mean the pool is realloc'd and thus the entry passed as
1262 * an argument it also realloc'd
1263 * @return the original entry
1264 */
1265fib_entry_t *
1266fib_entry_src_action_add (fib_entry_t *fib_entry,
1267 fib_source_t source,
1268 fib_entry_flag_t flags,
1269 const dpo_id_t *dpo)
1270{
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001271 fib_entry_src_t *esrc;
1272
Neale Ranns2303cb12018-02-21 04:57:17 -08001273 esrc = fib_entry_src_find_or_create(fib_entry, source, flags);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001274
Neale Ranns2303cb12018-02-21 04:57:17 -08001275 ASSERT(esrc->fes_ref_count < 255);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001276 esrc->fes_ref_count++;
1277
Neale Ranns2303cb12018-02-21 04:57:17 -08001278 if (flags != esrc->fes_entry_flags)
1279 {
Neale Ranns6ede5702020-02-13 09:12:36 +00001280 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_flags_change,
Neale Ranns2303cb12018-02-21 04:57:17 -08001281 (esrc, fib_entry, flags));
1282 }
1283 esrc->fes_entry_flags = flags;
1284
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001285 if (1 != esrc->fes_ref_count)
1286 {
1287 /*
1288 * we only want to add the source on the 0->1 transition
1289 */
1290 return (fib_entry);
1291 }
1292
Neale Ranns6ede5702020-02-13 09:12:36 +00001293 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_add,
Neale Ranns2303cb12018-02-21 04:57:17 -08001294 (esrc,
1295 fib_entry,
1296 flags,
1297 fib_entry_get_dpo_proto(fib_entry),
1298 dpo));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001299
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001300 esrc->fes_flags |= FIB_ENTRY_SRC_FLAG_ADDED;
1301
1302 fib_path_list_lock(esrc->fes_pl);
1303
1304 /*
1305 * the source owns a lock on the entry
1306 */
1307 fib_entry_lock(fib_entry_get_index(fib_entry));
1308
1309 return (fib_entry);
1310}
1311
Neale Ranns948e00f2016-10-20 13:39:34 +01001312/*
1313 * fib_entry_src_action_update
1314 *
1315 * Adding a source can result in a new fib_entry being created, which
1316 * can inturn mean the pool is realloc'd and thus the entry passed as
1317 * an argument it also realloc'd
1318 * @return the original entry
1319 */
1320fib_entry_t *
1321fib_entry_src_action_update (fib_entry_t *fib_entry,
1322 fib_source_t source,
1323 fib_entry_flag_t flags,
1324 const dpo_id_t *dpo)
1325{
Neale Ranns6ede5702020-02-13 09:12:36 +00001326 fib_node_index_t old_path_list_index;
Neale Ranns948e00f2016-10-20 13:39:34 +01001327 fib_entry_src_t *esrc;
1328
Neale Ranns2303cb12018-02-21 04:57:17 -08001329 esrc = fib_entry_src_find_or_create(fib_entry, source, flags);
Neale Ranns948e00f2016-10-20 13:39:34 +01001330
1331 if (NULL == esrc)
Neale Ranns89541992017-04-06 04:41:02 -07001332 {
Neale Ranns948e00f2016-10-20 13:39:34 +01001333 return (fib_entry_src_action_add(fib_entry, source, flags, dpo));
Neale Ranns89541992017-04-06 04:41:02 -07001334 }
Neale Ranns948e00f2016-10-20 13:39:34 +01001335
1336 old_path_list_index = esrc->fes_pl;
1337 esrc->fes_entry_flags = flags;
1338
Neale Ranns6ede5702020-02-13 09:12:36 +00001339 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_add,
Neale Ranns2303cb12018-02-21 04:57:17 -08001340 (esrc,
1341 fib_entry,
1342 flags,
1343 fib_entry_get_dpo_proto(fib_entry),
1344 dpo));
Neale Ranns948e00f2016-10-20 13:39:34 +01001345
Neale Ranns948e00f2016-10-20 13:39:34 +01001346 esrc->fes_flags |= FIB_ENTRY_SRC_FLAG_ADDED;
1347
1348 fib_path_list_lock(esrc->fes_pl);
1349 fib_path_list_unlock(old_path_list_index);
1350
1351 return (fib_entry);
1352}
1353
Neale Ranns89541992017-04-06 04:41:02 -07001354fib_entry_src_flag_t
1355fib_entry_src_action_remove_or_update_inherit (fib_entry_t *fib_entry,
1356 fib_source_t source)
1357{
1358 fib_entry_src_t *esrc;
1359
Neale Ranns2303cb12018-02-21 04:57:17 -08001360 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns89541992017-04-06 04:41:02 -07001361
1362 if (NULL == esrc)
1363 return (FIB_ENTRY_SRC_FLAG_ACTIVE);
1364
1365 if ((esrc->fes_entry_flags & FIB_ENTRY_FLAG_COVERED_INHERIT) &&
1366 (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_INHERITED))
1367 {
1368 fib_entry_src_t *cover_src;
1369 fib_node_index_t coveri;
1370 fib_entry_t *cover;
1371
1372 /*
1373 * this source was pushing inherited state, but so is its
1374 * cover. Now that this source is going away, we need to
1375 * pull the covers forwarding and use it to update the covereds.
1376 * Go grab the path-list from the cover, rather than start a walk from
1377 * the cover, so we don't recursively update this entry.
1378 */
1379 coveri = fib_table_get_less_specific(fib_entry->fe_fib_index,
1380 &fib_entry->fe_prefix);
1381
1382 /*
1383 * only the default route has itself as its own cover, but the
1384 * default route cannot have inherited from something else.
1385 */
1386 ASSERT(coveri != fib_entry_get_index(fib_entry));
1387
1388 cover = fib_entry_get(coveri);
Neale Ranns2303cb12018-02-21 04:57:17 -08001389 cover_src = fib_entry_src_find(cover, source);
Neale Ranns89541992017-04-06 04:41:02 -07001390
1391 ASSERT(NULL != cover_src);
1392
1393 esrc = fib_entry_src_action_update_from_cover(fib_entry, cover_src);
1394 esrc->fes_entry_flags &= ~FIB_ENTRY_FLAG_COVERED_INHERIT;
1395
1396 /*
1397 * Now push the new state from the cover down to the covereds
1398 */
1399 fib_entry_src_covered_inherit_add(fib_entry, source);
1400
1401 return (esrc->fes_flags);
1402 }
1403 else
1404 {
1405 return (fib_entry_src_action_remove(fib_entry, source));
1406 }
1407}
Neale Ranns948e00f2016-10-20 13:39:34 +01001408
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001409fib_entry_src_flag_t
1410fib_entry_src_action_remove (fib_entry_t *fib_entry,
1411 fib_source_t source)
1412
1413{
1414 fib_node_index_t old_path_list;
1415 fib_entry_src_flag_t sflags;
1416 fib_entry_src_t *esrc;
1417
Neale Ranns2303cb12018-02-21 04:57:17 -08001418 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001419
1420 if (NULL == esrc)
1421 return (FIB_ENTRY_SRC_FLAG_ACTIVE);
1422
1423 esrc->fes_ref_count--;
1424 sflags = esrc->fes_flags;
1425
1426 if (0 != esrc->fes_ref_count)
1427 {
1428 /*
1429 * only remove the source on the 1->0 transisition
1430 */
1431 return (sflags);
1432 }
1433
1434 if (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ACTIVE)
1435 {
Neale Ranns89541992017-04-06 04:41:02 -07001436 fib_entry_src_action_deactivate(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001437 }
Neale Ranns2303cb12018-02-21 04:57:17 -08001438 else if (esrc->fes_flags & FIB_ENTRY_SRC_FLAG_CONTRIBUTING)
1439 {
Neale Ranns6ede5702020-02-13 09:12:36 +00001440 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_deactivate,
Neale Ranns2303cb12018-02-21 04:57:17 -08001441 (esrc, fib_entry));
1442 esrc->fes_flags &= ~FIB_ENTRY_SRC_FLAG_CONTRIBUTING;
1443 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001444
1445 old_path_list = esrc->fes_pl;
1446
Neale Ranns6ede5702020-02-13 09:12:36 +00001447 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_remove, (esrc));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001448
1449 fib_path_list_unlock(old_path_list);
1450 fib_entry_unlock(fib_entry_get_index(fib_entry));
1451
1452 sflags &= ~FIB_ENTRY_SRC_FLAG_ADDED;
1453 fib_entry_src_action_deinit(fib_entry, source);
1454
1455 return (sflags);
1456}
1457
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001458/*
1459 * fib_route_attached_cross_table
1460 *
1461 * Return true the the route is attached via an interface that
1462 * is not in the same table as the route
1463 */
Neale Ranns50bd1d32021-10-08 07:16:12 +00001464static int
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001465fib_route_attached_cross_table (const fib_entry_t *fib_entry,
1466 const fib_route_path_t *rpath)
1467{
Neale Ranns66edaf22021-07-09 13:03:52 +00001468 const fib_prefix_t *pfx = &fib_entry->fe_prefix;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001469
Neale Ranns66edaf22021-07-09 13:03:52 +00001470 switch (pfx->fp_proto)
Neale Rannseca834e2018-03-13 07:51:50 -07001471 {
Neale Ranns66edaf22021-07-09 13:03:52 +00001472 case FIB_PROTOCOL_MPLS:
1473 /* MPLS routes are never imported/exported */
1474 return (0);
1475 case FIB_PROTOCOL_IP6:
1476 /* Ignore link local addresses these also can't be imported/exported */
1477 if (ip6_address_is_link_local_unicast (&pfx->fp_addr.ip6))
1478 {
Neale Rannse3241f02021-12-19 15:10:20 +00001479 return (0);
Neale Ranns66edaf22021-07-09 13:03:52 +00001480 }
1481 break;
1482 case FIB_PROTOCOL_IP4:
1483 break;
Neale Rannseca834e2018-03-13 07:51:50 -07001484 }
1485
1486 /*
Neale Ranns66edaf22021-07-09 13:03:52 +00001487 * an attached path and entry's fib index not equal to interface's index
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001488 */
Neale Ranns66edaf22021-07-09 13:03:52 +00001489 if (fib_route_path_is_attached(rpath) &&
1490 fib_entry->fe_fib_index !=
1491 fib_table_get_index_for_sw_if_index(fib_entry_get_proto(fib_entry),
1492 rpath->frp_sw_if_index))
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001493 {
1494 return (!0);
1495 }
1496 return (0);
1497}
1498
1499fib_path_list_flags_t
1500fib_entry_src_flags_2_path_list_flags (fib_entry_flag_t eflags)
1501{
1502 fib_path_list_flags_t plf = FIB_PATH_LIST_FLAG_NONE;
1503
1504 if (eflags & FIB_ENTRY_FLAG_DROP)
1505 {
1506 plf |= FIB_PATH_LIST_FLAG_DROP;
1507 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001508 if (eflags & FIB_ENTRY_FLAG_EXCLUSIVE)
1509 {
1510 plf |= FIB_PATH_LIST_FLAG_EXCLUSIVE;
1511 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001512 if (eflags & FIB_ENTRY_FLAG_LOCAL)
1513 {
1514 plf |= FIB_PATH_LIST_FLAG_LOCAL;
1515 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001516
1517 return (plf);
1518}
1519
1520static void
1521fib_entry_flags_update (const fib_entry_t *fib_entry,
Neale Ranns097fa662018-05-01 05:17:55 -07001522 const fib_route_path_t *rpaths,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001523 fib_path_list_flags_t *pl_flags,
1524 fib_entry_src_t *esrc)
1525{
Neale Ranns097fa662018-05-01 05:17:55 -07001526 const fib_route_path_t *rpath;
1527
1528 vec_foreach(rpath, rpaths)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001529 {
Neale Ranns097fa662018-05-01 05:17:55 -07001530 if ((esrc->fes_src == FIB_SOURCE_API) ||
1531 (esrc->fes_src == FIB_SOURCE_CLI))
1532 {
Neale Ranns66edaf22021-07-09 13:03:52 +00001533 if (fib_route_path_is_attached(rpath))
Neale Ranns097fa662018-05-01 05:17:55 -07001534 {
1535 esrc->fes_entry_flags |= FIB_ENTRY_FLAG_ATTACHED;
1536 }
1537 else
1538 {
1539 esrc->fes_entry_flags &= ~FIB_ENTRY_FLAG_ATTACHED;
1540 }
1541 if (rpath->frp_flags & FIB_ROUTE_PATH_DEAG)
1542 {
1543 esrc->fes_entry_flags |= FIB_ENTRY_FLAG_LOOSE_URPF_EXEMPT;
1544 }
Dmitry Valtere95687b2023-12-20 10:47:35 +00001545 if (rpath->frp_flags & FIB_ROUTE_PATH_DROP)
1546 {
1547 esrc->fes_entry_flags |= FIB_ENTRY_FLAG_NO_ATTACHED_EXPORT;
1548 }
Neale Ranns097fa662018-05-01 05:17:55 -07001549 }
1550 if (fib_route_attached_cross_table(fib_entry, rpath) &&
1551 !(esrc->fes_entry_flags & FIB_ENTRY_FLAG_NO_ATTACHED_EXPORT))
1552 {
1553 esrc->fes_entry_flags |= FIB_ENTRY_FLAG_IMPORT;
1554 }
1555 else
1556 {
1557 esrc->fes_entry_flags &= ~FIB_ENTRY_FLAG_IMPORT;
1558 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001559 }
1560}
1561
1562/*
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001563 * fib_entry_src_action_add
1564 *
1565 * Adding a source can result in a new fib_entry being created, which
1566 * can inturn mean the pool is realloc'd and thus the entry passed as
1567 * an argument it also realloc'd
1568 * @return the entry
1569 */
1570fib_entry_t*
1571fib_entry_src_action_path_add (fib_entry_t *fib_entry,
1572 fib_source_t source,
1573 fib_entry_flag_t flags,
Neale Ranns097fa662018-05-01 05:17:55 -07001574 const fib_route_path_t *rpaths)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001575{
Neale Ranns6ede5702020-02-13 09:12:36 +00001576 fib_node_index_t old_path_list;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001577 fib_path_list_flags_t pl_flags;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001578 fib_entry_src_t *esrc;
1579
Neale Ranns2303cb12018-02-21 04:57:17 -08001580 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001581 if (NULL == esrc)
1582 {
Vijayabhaskar Katamreddy0c2319f2018-10-25 13:28:12 -07001583 const dpo_id_t *dpo;
1584
1585 if (flags == FIB_ENTRY_FLAG_EXCLUSIVE) {
Neale Ranns097fa662018-05-01 05:17:55 -07001586 dpo = &rpaths->dpo;
Vijayabhaskar Katamreddy0c2319f2018-10-25 13:28:12 -07001587 } else {
1588 dpo = drop_dpo_get(fib_entry_get_dpo_proto(fib_entry));
1589 }
1590
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001591 fib_entry =
1592 fib_entry_src_action_add(fib_entry,
1593 source,
1594 flags,
Vijayabhaskar Katamreddy0c2319f2018-10-25 13:28:12 -07001595 dpo);
Neale Ranns2303cb12018-02-21 04:57:17 -08001596 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001597 }
1598
1599 /*
1600 * we are no doubt modifying a path-list. If the path-list
1601 * is shared, and hence not modifiable, then the index returned
1602 * will be for a different path-list. This FIB entry to needs
1603 * to maintain its lock appropriately.
1604 */
1605 old_path_list = esrc->fes_pl;
1606
Neale Ranns2303cb12018-02-21 04:57:17 -08001607 ASSERT(FIB_ENTRY_SRC_VFT_EXISTS(esrc, fesv_path_add));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001608
1609 pl_flags = fib_entry_src_flags_2_path_list_flags(fib_entry_get_flags_i(fib_entry));
Neale Ranns097fa662018-05-01 05:17:55 -07001610 fib_entry_flags_update(fib_entry, rpaths, &pl_flags, esrc);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001611
Neale Ranns6ede5702020-02-13 09:12:36 +00001612 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_path_add,
Neale Ranns097fa662018-05-01 05:17:55 -07001613 (esrc, fib_entry, pl_flags, rpaths));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001614
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001615 fib_path_list_lock(esrc->fes_pl);
1616 fib_path_list_unlock(old_path_list);
1617
1618 return (fib_entry);
1619}
1620
1621/*
1622 * fib_entry_src_action_swap
1623 *
1624 * The source is providing new paths to replace the old ones.
1625 * Adding a source can result in a new fib_entry being created, which
1626 * can inturn mean the pool is realloc'd and thus the entry passed as
1627 * an argument it also realloc'd
1628 * @return the entry
1629 */
1630fib_entry_t*
1631fib_entry_src_action_path_swap (fib_entry_t *fib_entry,
1632 fib_source_t source,
Neale Ranns2303cb12018-02-21 04:57:17 -08001633 fib_entry_flag_t flags,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001634 const fib_route_path_t *rpaths)
1635{
Neale Ranns6ede5702020-02-13 09:12:36 +00001636 fib_node_index_t old_path_list;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001637 fib_path_list_flags_t pl_flags;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001638 fib_entry_src_t *esrc;
1639
Neale Ranns2303cb12018-02-21 04:57:17 -08001640 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001641
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001642 if (NULL == esrc)
1643 {
Vijayabhaskar Katamreddy0c2319f2018-10-25 13:28:12 -07001644 const dpo_id_t *dpo;
1645
1646 if (flags == FIB_ENTRY_FLAG_EXCLUSIVE) {
1647 dpo = &rpaths->dpo;
1648 } else {
1649 dpo = drop_dpo_get(fib_entry_get_dpo_proto(fib_entry));
1650 }
1651
Neale Ranns2303cb12018-02-21 04:57:17 -08001652 fib_entry = fib_entry_src_action_add(fib_entry,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001653 source,
1654 flags,
Vijayabhaskar Katamreddy0c2319f2018-10-25 13:28:12 -07001655 dpo);
Neale Ranns2303cb12018-02-21 04:57:17 -08001656 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001657 }
Neale Ranns89541992017-04-06 04:41:02 -07001658 else
1659 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001660 if (flags != esrc->fes_entry_flags)
1661 {
Neale Ranns6ede5702020-02-13 09:12:36 +00001662 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_flags_change,
Neale Ranns2303cb12018-02-21 04:57:17 -08001663 (esrc, fib_entry, flags));
1664 }
Neale Ranns89541992017-04-06 04:41:02 -07001665 esrc->fes_entry_flags = flags;
1666 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001667
1668 /*
1669 * swapping paths may create a new path-list (or may use an existing shared)
1670 * but we are certainly getting a different one. This FIB entry to needs
1671 * to maintain its lock appropriately.
1672 */
1673 old_path_list = esrc->fes_pl;
1674
Neale Ranns2303cb12018-02-21 04:57:17 -08001675 ASSERT(FIB_ENTRY_SRC_VFT_EXISTS(esrc, fesv_path_swap));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001676
Neale Rannsdf089a82016-10-02 16:39:06 +01001677 pl_flags = fib_entry_src_flags_2_path_list_flags(flags);
1678
Neale Rannsb5d61a92019-07-09 14:29:35 +00001679 fib_entry_flags_update(fib_entry, rpaths, &pl_flags, esrc);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001680
Neale Ranns6ede5702020-02-13 09:12:36 +00001681 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_path_swap,
Neale Ranns2303cb12018-02-21 04:57:17 -08001682 (esrc, fib_entry,
1683 pl_flags, rpaths));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001684
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001685 fib_path_list_lock(esrc->fes_pl);
1686 fib_path_list_unlock(old_path_list);
1687
1688 return (fib_entry);
1689}
1690
1691fib_entry_src_flag_t
1692fib_entry_src_action_path_remove (fib_entry_t *fib_entry,
1693 fib_source_t source,
Neale Ranns097fa662018-05-01 05:17:55 -07001694 const fib_route_path_t *rpaths)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001695{
1696 fib_path_list_flags_t pl_flags;
1697 fib_node_index_t old_path_list;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001698 fib_entry_src_t *esrc;
1699
Neale Ranns2303cb12018-02-21 04:57:17 -08001700 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001701
1702 ASSERT(NULL != esrc);
1703 ASSERT(esrc->fes_flags & FIB_ENTRY_SRC_FLAG_ADDED);
1704
1705 /*
1706 * we no doubt modifying a path-list. If the path-list
1707 * is shared, and hence not modifiable, then the index returned
1708 * will be for a different path-list. This FIB entry to needs
1709 * to maintain its lock appropriately.
1710 */
1711 old_path_list = esrc->fes_pl;
1712
Neale Ranns2303cb12018-02-21 04:57:17 -08001713 ASSERT(FIB_ENTRY_SRC_VFT_EXISTS(esrc, fesv_path_remove));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001714
1715 pl_flags = fib_entry_src_flags_2_path_list_flags(fib_entry_get_flags_i(fib_entry));
Neale Ranns097fa662018-05-01 05:17:55 -07001716 fib_entry_flags_update(fib_entry, rpaths, &pl_flags, esrc);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001717
Neale Ranns6ede5702020-02-13 09:12:36 +00001718 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_path_remove,
Neale Ranns097fa662018-05-01 05:17:55 -07001719 (esrc, pl_flags, rpaths));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001720
1721 /*
1722 * lock the new path-list, unlock the old if it had one
1723 */
1724 fib_path_list_unlock(old_path_list);
1725
1726 if (FIB_NODE_INDEX_INVALID != esrc->fes_pl) {
1727 fib_path_list_lock(esrc->fes_pl);
1728 return (FIB_ENTRY_SRC_FLAG_ADDED);
1729 }
1730 else
1731 {
1732 /*
1733 * no more paths left from this source
1734 */
Neale Ranns89541992017-04-06 04:41:02 -07001735 fib_entry_src_action_remove_or_update_inherit(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001736 return (FIB_ENTRY_SRC_FLAG_NONE);
1737 }
1738}
1739
1740u8*
1741fib_entry_src_format (fib_entry_t *fib_entry,
1742 fib_source_t source,
1743 u8* s)
1744{
1745 fib_entry_src_t *esrc;
1746
Neale Ranns2303cb12018-02-21 04:57:17 -08001747 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001748
Neale Ranns2303cb12018-02-21 04:57:17 -08001749 FIB_ENTRY_SRC_VFT_INVOKE_AND_RETURN(esrc, fesv_format, (esrc, s));
1750
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001751 return (s);
1752}
1753
1754adj_index_t
1755fib_entry_get_adj_for_source (fib_node_index_t fib_entry_index,
1756 fib_source_t source)
1757{
1758 fib_entry_t *fib_entry;
1759 fib_entry_src_t *esrc;
1760
1761 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
1762 return (ADJ_INDEX_INVALID);
1763
1764 fib_entry = fib_entry_get(fib_entry_index);
Neale Ranns2303cb12018-02-21 04:57:17 -08001765 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001766
1767 if (NULL != esrc)
1768 {
1769 if (FIB_NODE_INDEX_INVALID != esrc->fes_pl)
1770 {
1771 return (fib_path_list_get_adj(
1772 esrc->fes_pl,
1773 fib_entry_get_default_chain_type(fib_entry)));
1774 }
1775 }
1776 return (ADJ_INDEX_INVALID);
1777}
1778
1779const int
1780fib_entry_get_dpo_for_source (fib_node_index_t fib_entry_index,
1781 fib_source_t source,
1782 dpo_id_t *dpo)
1783{
1784 fib_entry_t *fib_entry;
1785 fib_entry_src_t *esrc;
1786
1787 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
1788 return (0);
1789
1790 fib_entry = fib_entry_get(fib_entry_index);
Neale Ranns2303cb12018-02-21 04:57:17 -08001791 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001792
1793 if (NULL != esrc)
1794 {
1795 if (FIB_NODE_INDEX_INVALID != esrc->fes_pl)
1796 {
1797 fib_path_list_contribute_forwarding(
1798 esrc->fes_pl,
1799 fib_entry_get_default_chain_type(fib_entry),
Neale Ranns91286372017-12-05 13:24:04 -08001800 FIB_PATH_LIST_FWD_FLAG_NONE,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001801 dpo);
1802
1803 return (dpo_id_is_valid(dpo));
1804 }
1805 }
1806 return (0);
1807}
1808
Damjan Marion9260b882022-10-04 18:08:51 +02001809fib_node_index_t
1810fib_entry_get_path_list_for_source (fib_node_index_t fib_entry_index,
1811 fib_source_t source)
1812{
1813 fib_entry_t *fib_entry;
1814 fib_entry_src_t *esrc;
1815
1816 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
1817 return FIB_NODE_INDEX_INVALID;
1818
1819 fib_entry = fib_entry_get(fib_entry_index);
1820 esrc = fib_entry_src_find(fib_entry, source);
1821
1822 if (esrc)
1823 return esrc->fes_pl;
1824
1825 return FIB_NODE_INDEX_INVALID;
1826}
1827
Neale Rannsdf089a82016-10-02 16:39:06 +01001828u32
1829fib_entry_get_resolving_interface_for_source (fib_node_index_t entry_index,
1830 fib_source_t source)
1831{
1832 fib_entry_t *fib_entry;
1833 fib_entry_src_t *esrc;
1834
1835 fib_entry = fib_entry_get(entry_index);
1836
Neale Ranns2303cb12018-02-21 04:57:17 -08001837 esrc = fib_entry_src_find(fib_entry, source);
Neale Rannsdf089a82016-10-02 16:39:06 +01001838
1839 if (NULL != esrc)
1840 {
1841 if (FIB_NODE_INDEX_INVALID != esrc->fes_pl)
1842 {
1843 return (fib_path_list_get_resolving_interface(esrc->fes_pl));
1844 }
1845 }
1846 return (~0);
1847}
1848
1849fib_entry_flag_t
1850fib_entry_get_flags_for_source (fib_node_index_t entry_index,
1851 fib_source_t source)
1852{
1853 fib_entry_t *fib_entry;
1854 fib_entry_src_t *esrc;
1855
1856 fib_entry = fib_entry_get(entry_index);
1857
Neale Ranns2303cb12018-02-21 04:57:17 -08001858 esrc = fib_entry_src_find(fib_entry, source);
Neale Rannsdf089a82016-10-02 16:39:06 +01001859
1860 if (NULL != esrc)
1861 {
1862 return (esrc->fes_entry_flags);
1863 }
1864
1865 return (FIB_ENTRY_FLAG_NONE);
1866}
1867
Benoît Ganne99c358d2019-07-17 14:47:23 +02001868fib_source_t
1869fib_entry_get_source_i (const fib_entry_t *fib_entry)
1870{
1871 /* the vector of sources is deliberately arranged in priority order */
1872 if (0 == vec_len(fib_entry->fe_srcs))
1873 return (FIB_SOURCE_INVALID);
1874 return (vec_elt(fib_entry->fe_srcs, 0).fes_src);
1875}
1876
Neale Rannsa4e77662017-12-04 20:00:30 +00001877fib_entry_flag_t
1878fib_entry_get_flags_i (const fib_entry_t *fib_entry)
1879{
Benoît Ganne99c358d2019-07-17 14:47:23 +02001880 /* the vector of sources is deliberately arranged in priority order */
Neale Rannsa4e77662017-12-04 20:00:30 +00001881 if (0 == vec_len(fib_entry->fe_srcs))
Benoît Ganne99c358d2019-07-17 14:47:23 +02001882 return (FIB_ENTRY_FLAG_NONE);
1883 return (vec_elt(fib_entry->fe_srcs, 0).fes_entry_flags);
Neale Rannsa4e77662017-12-04 20:00:30 +00001884}
1885
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001886void
1887fib_entry_set_source_data (fib_node_index_t fib_entry_index,
1888 fib_source_t source,
1889 const void *data)
1890{
1891 fib_entry_t *fib_entry;
1892 fib_entry_src_t *esrc;
1893
1894 fib_entry = fib_entry_get(fib_entry_index);
Neale Ranns2303cb12018-02-21 04:57:17 -08001895 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001896
Neale Ranns2303cb12018-02-21 04:57:17 -08001897 if (NULL != esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001898 {
Neale Ranns6ede5702020-02-13 09:12:36 +00001899 FIB_ENTRY_SRC_VFT_INVOKE(fib_entry, esrc, fesv_set_data,
Neale Ranns2303cb12018-02-21 04:57:17 -08001900 (esrc, fib_entry, data));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001901 }
1902}
1903
1904const void*
1905fib_entry_get_source_data (fib_node_index_t fib_entry_index,
1906 fib_source_t source)
1907{
1908 fib_entry_t *fib_entry;
1909 fib_entry_src_t *esrc;
1910
1911 fib_entry = fib_entry_get(fib_entry_index);
Neale Ranns2303cb12018-02-21 04:57:17 -08001912 esrc = fib_entry_src_find(fib_entry, source);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001913
Neale Ranns2303cb12018-02-21 04:57:17 -08001914 if (NULL != esrc)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001915 {
Neale Ranns2303cb12018-02-21 04:57:17 -08001916 FIB_ENTRY_SRC_VFT_INVOKE_AND_RETURN(esrc, fesv_get_data,
1917 (esrc, fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001918 }
1919 return (NULL);
1920}
1921
1922void
1923fib_entry_src_module_init (void)
1924{
1925 fib_entry_src_rr_register();
1926 fib_entry_src_interface_register();
Neale Ranns2303cb12018-02-21 04:57:17 -08001927 fib_entry_src_interpose_register();
Neale Ranns3bab8f92019-12-04 06:11:00 +00001928 fib_entry_src_drop_register();
1929 fib_entry_src_simple_register();
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001930 fib_entry_src_api_register();
1931 fib_entry_src_adj_register();
1932 fib_entry_src_mpls_register();
1933 fib_entry_src_lisp_register();
1934}