blob: 95e7cb6ba7d952651538068e440fdeffb7a0fed0 [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 <vlib/vlib.h>
17#include <vnet/vnet.h>
18#include <vnet/ip/format.h>
19#include <vnet/ip/ip.h>
20#include <vnet/dpo/drop_dpo.h>
21#include <vnet/dpo/receive_dpo.h>
22#include <vnet/dpo/load_balance_map.h>
23#include <vnet/dpo/lookup_dpo.h>
Neale Ranns43161a82017-08-12 02:12:00 -070024#include <vnet/dpo/interface_rx_dpo.h>
Neale Ranns0f26c5a2017-03-01 15:12:11 -080025#include <vnet/dpo/mpls_disposition.h>
Neale Rannsf068c3e2018-01-03 04:18:48 -080026#include <vnet/dpo/dvr_dpo.h>
Neale Ranns097fa662018-05-01 05:17:55 -070027#include <vnet/dpo/ip_null_dpo.h>
28#include <vnet/dpo/classify_dpo.h>
Neale Ranns1dbcf302019-07-19 11:44:53 +000029#include <vnet/dpo/pw_cw.h>
Neale Ranns0bfe5d82016-08-25 15:29:12 +010030
31#include <vnet/adj/adj.h>
Neale Ranns32e1c012016-11-22 17:07:28 +000032#include <vnet/adj/adj_mcast.h>
Neale Ranns0bfe5d82016-08-25 15:29:12 +010033
Neale Ranns3ee44042016-10-03 13:05:48 +010034#include <vnet/fib/fib_path.h>
35#include <vnet/fib/fib_node.h>
36#include <vnet/fib/fib_table.h>
37#include <vnet/fib/fib_entry.h>
38#include <vnet/fib/fib_path_list.h>
39#include <vnet/fib/fib_internal.h>
40#include <vnet/fib/fib_urpf_list.h>
Neale Rannsa3af3372017-03-28 03:49:52 -070041#include <vnet/fib/mpls_fib.h>
Neale Ranns775f73c2018-12-20 03:01:49 -080042#include <vnet/fib/fib_path_ext.h>
Neale Ranns810086d2017-11-05 16:26:46 -080043#include <vnet/udp/udp_encap.h>
Neale Rannsd792d9c2017-10-21 10:53:20 -070044#include <vnet/bier/bier_fmask.h>
45#include <vnet/bier/bier_table.h>
46#include <vnet/bier/bier_imp.h>
Neale Ranns91286372017-12-05 13:24:04 -080047#include <vnet/bier/bier_disp_table.h>
Neale Ranns0bfe5d82016-08-25 15:29:12 +010048
49/**
50 * Enurmeration of path types
51 */
52typedef enum fib_path_type_t_ {
53 /**
54 * Marker. Add new types after this one.
55 */
56 FIB_PATH_TYPE_FIRST = 0,
57 /**
58 * Attached-nexthop. An interface and a nexthop are known.
59 */
60 FIB_PATH_TYPE_ATTACHED_NEXT_HOP = FIB_PATH_TYPE_FIRST,
61 /**
62 * attached. Only the interface is known.
63 */
64 FIB_PATH_TYPE_ATTACHED,
65 /**
66 * recursive. Only the next-hop is known.
67 */
68 FIB_PATH_TYPE_RECURSIVE,
69 /**
70 * special. nothing is known. so we drop.
71 */
72 FIB_PATH_TYPE_SPECIAL,
73 /**
74 * exclusive. user provided adj.
75 */
76 FIB_PATH_TYPE_EXCLUSIVE,
77 /**
78 * deag. Link to a lookup adj in the next table
79 */
80 FIB_PATH_TYPE_DEAG,
81 /**
Neale Ranns0f26c5a2017-03-01 15:12:11 -080082 * interface receive.
83 */
84 FIB_PATH_TYPE_INTF_RX,
85 /**
Neale Ranns81458422018-03-12 06:59:36 -070086 * Path resolves via a UDP encap object.
Neale Ranns810086d2017-11-05 16:26:46 -080087 */
88 FIB_PATH_TYPE_UDP_ENCAP,
89 /**
Neale Ranns0bfe5d82016-08-25 15:29:12 +010090 * receive. it's for-us.
91 */
92 FIB_PATH_TYPE_RECEIVE,
93 /**
Neale Rannsd792d9c2017-10-21 10:53:20 -070094 * bier-imp. it's via a BIER imposition.
95 */
96 FIB_PATH_TYPE_BIER_IMP,
97 /**
98 * bier-fmask. it's via a BIER ECMP-table.
99 */
100 FIB_PATH_TYPE_BIER_TABLE,
101 /**
102 * bier-fmask. it's via a BIER f-mask.
103 */
104 FIB_PATH_TYPE_BIER_FMASK,
105 /**
Neale Rannsf068c3e2018-01-03 04:18:48 -0800106 * via a DVR.
107 */
108 FIB_PATH_TYPE_DVR,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100109} __attribute__ ((packed)) fib_path_type_t;
110
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100111#define FIB_PATH_TYPES { \
112 [FIB_PATH_TYPE_ATTACHED_NEXT_HOP] = "attached-nexthop", \
113 [FIB_PATH_TYPE_ATTACHED] = "attached", \
114 [FIB_PATH_TYPE_RECURSIVE] = "recursive", \
115 [FIB_PATH_TYPE_SPECIAL] = "special", \
116 [FIB_PATH_TYPE_EXCLUSIVE] = "exclusive", \
117 [FIB_PATH_TYPE_DEAG] = "deag", \
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800118 [FIB_PATH_TYPE_INTF_RX] = "intf-rx", \
Neale Ranns810086d2017-11-05 16:26:46 -0800119 [FIB_PATH_TYPE_UDP_ENCAP] = "udp-encap", \
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100120 [FIB_PATH_TYPE_RECEIVE] = "receive", \
Neale Rannsd792d9c2017-10-21 10:53:20 -0700121 [FIB_PATH_TYPE_BIER_IMP] = "bier-imp", \
122 [FIB_PATH_TYPE_BIER_TABLE] = "bier-table", \
123 [FIB_PATH_TYPE_BIER_FMASK] = "bier-fmask", \
Neale Rannsf068c3e2018-01-03 04:18:48 -0800124 [FIB_PATH_TYPE_DVR] = "dvr", \
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100125}
126
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100127/**
128 * Enurmeration of path operational (i.e. derived) attributes
129 */
130typedef enum fib_path_oper_attribute_t_ {
131 /**
132 * Marker. Add new types after this one.
133 */
134 FIB_PATH_OPER_ATTRIBUTE_FIRST = 0,
135 /**
136 * The path forms part of a recursive loop.
137 */
138 FIB_PATH_OPER_ATTRIBUTE_RECURSIVE_LOOP = FIB_PATH_OPER_ATTRIBUTE_FIRST,
139 /**
140 * The path is resolved
141 */
142 FIB_PATH_OPER_ATTRIBUTE_RESOLVED,
143 /**
144 * The path has become a permanent drop.
145 */
146 FIB_PATH_OPER_ATTRIBUTE_DROP,
147 /**
148 * Marker. Add new types before this one, then update it.
149 */
150 FIB_PATH_OPER_ATTRIBUTE_LAST = FIB_PATH_OPER_ATTRIBUTE_DROP,
151} __attribute__ ((packed)) fib_path_oper_attribute_t;
152
153/**
154 * The maximum number of path operational attributes
155 */
156#define FIB_PATH_OPER_ATTRIBUTE_MAX (FIB_PATH_OPER_ATTRIBUTE_LAST + 1)
157
158#define FIB_PATH_OPER_ATTRIBUTES { \
159 [FIB_PATH_OPER_ATTRIBUTE_RECURSIVE_LOOP] = "recursive-loop", \
160 [FIB_PATH_OPER_ATTRIBUTE_RESOLVED] = "resolved", \
161 [FIB_PATH_OPER_ATTRIBUTE_DROP] = "drop", \
162}
163
164#define FOR_EACH_FIB_PATH_OPER_ATTRIBUTE(_item) \
165 for (_item = FIB_PATH_OPER_ATTRIBUTE_FIRST; \
166 _item <= FIB_PATH_OPER_ATTRIBUTE_LAST; \
167 _item++)
168
169/**
170 * Path flags from the attributes
171 */
172typedef enum fib_path_oper_flags_t_ {
173 FIB_PATH_OPER_FLAG_NONE = 0,
174 FIB_PATH_OPER_FLAG_RECURSIVE_LOOP = (1 << FIB_PATH_OPER_ATTRIBUTE_RECURSIVE_LOOP),
175 FIB_PATH_OPER_FLAG_DROP = (1 << FIB_PATH_OPER_ATTRIBUTE_DROP),
176 FIB_PATH_OPER_FLAG_RESOLVED = (1 << FIB_PATH_OPER_ATTRIBUTE_RESOLVED),
177} __attribute__ ((packed)) fib_path_oper_flags_t;
178
179/**
180 * A FIB path
181 */
182typedef struct fib_path_t_ {
183 /**
184 * A path is a node in the FIB graph.
185 */
186 fib_node_t fp_node;
187
188 /**
189 * The index of the path-list to which this path belongs
190 */
191 u32 fp_pl_index;
192
193 /**
194 * This marks the start of the memory area used to hash
195 * the path
196 */
197 STRUCT_MARK(path_hash_start);
198
199 /**
200 * Configuration Flags
201 */
202 fib_path_cfg_flags_t fp_cfg_flags;
203
204 /**
205 * The type of the path. This is the selector for the union
206 */
207 fib_path_type_t fp_type;
208
209 /**
210 * The protocol of the next-hop, i.e. the address family of the
211 * next-hop's address. We can't derive this from the address itself
212 * since the address can be all zeros
213 */
Neale Rannsda78f952017-05-24 09:15:43 -0700214 dpo_proto_t fp_nh_proto;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100215
216 /**
Neale Ranns57b58602017-07-15 07:37:25 -0700217 * UCMP [unnormalised] weigth
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100218 */
Neale Rannsa0a908f2017-08-01 11:40:03 -0700219 u8 fp_weight;
220
Neale Ranns57b58602017-07-15 07:37:25 -0700221 /**
222 * A path preference. 0 is the best.
223 * Only paths of the best preference, that are 'up', are considered
224 * for forwarding.
225 */
Neale Rannsa0a908f2017-08-01 11:40:03 -0700226 u8 fp_preference;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100227
228 /**
229 * per-type union of the data required to resolve the path
230 */
231 union {
232 struct {
233 /**
234 * The next-hop
235 */
236 ip46_address_t fp_nh;
237 /**
238 * The interface
239 */
240 u32 fp_interface;
241 } attached_next_hop;
242 struct {
243 /**
Neale Rannse2fe0972020-11-26 08:37:27 +0000244 * The Connected local address
245 */
246 fib_prefix_t fp_connected;
247 /**
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100248 * The interface
249 */
250 u32 fp_interface;
251 } attached;
252 struct {
Neale Rannsad422ed2016-11-02 14:20:04 +0000253 union
254 {
255 /**
256 * The next-hop
257 */
258 ip46_address_t fp_ip;
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800259 struct {
260 /**
261 * The local label to resolve through.
262 */
263 mpls_label_t fp_local_label;
264 /**
265 * The EOS bit of the resolving label
266 */
267 mpls_eos_bit_t fp_eos;
268 };
Neale Rannsad422ed2016-11-02 14:20:04 +0000269 } fp_nh;
Neale Rannsa705f712020-12-10 08:51:24 +0000270 /**
271 * The FIB table index in which to find the next-hop.
272 */
273 fib_node_index_t fp_tbl_id;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100274 } recursive;
275 struct {
Neale Rannsd792d9c2017-10-21 10:53:20 -0700276 /**
Neale Ranns91286372017-12-05 13:24:04 -0800277 * BIER FMask ID
Neale Rannsd792d9c2017-10-21 10:53:20 -0700278 */
Neale Ranns91286372017-12-05 13:24:04 -0800279 index_t fp_bier_fmask;
Neale Rannsd792d9c2017-10-21 10:53:20 -0700280 } bier_fmask;
281 struct {
282 /**
283 * The BIER table's ID
284 */
285 bier_table_id_t fp_bier_tbl;
286 } bier_table;
287 struct {
288 /**
289 * The BIER imposition object
290 * this is part of the path's key, since the index_t
291 * of an imposition object is the object's key.
292 */
293 index_t fp_bier_imp;
294 } bier_imp;
295 struct {
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100296 /**
Neale Rannsad422ed2016-11-02 14:20:04 +0000297 * The FIB index in which to perfom the next lookup
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100298 */
299 fib_node_index_t fp_tbl_id;
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800300 /**
301 * The RPF-ID to tag the packets with
302 */
303 fib_rpf_id_t fp_rpf_id;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100304 } deag;
305 struct {
306 } special;
307 struct {
308 /**
309 * The user provided 'exclusive' DPO
310 */
311 dpo_id_t fp_ex_dpo;
312 } exclusive;
313 struct {
314 /**
315 * The interface on which the local address is configured
316 */
317 u32 fp_interface;
318 /**
319 * The next-hop
320 */
321 ip46_address_t fp_addr;
322 } receive;
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800323 struct {
324 /**
325 * The interface on which the packets will be input.
326 */
327 u32 fp_interface;
328 } intf_rx;
Neale Ranns810086d2017-11-05 16:26:46 -0800329 struct {
330 /**
331 * The UDP Encap object this path resolves through
332 */
333 u32 fp_udp_encap_id;
334 } udp_encap;
Neale Rannsf068c3e2018-01-03 04:18:48 -0800335 struct {
336 /**
Neale Ranns097fa662018-05-01 05:17:55 -0700337 * The UDP Encap object this path resolves through
338 */
339 u32 fp_classify_table_id;
340 } classify;
341 struct {
342 /**
Neale Rannsf068c3e2018-01-03 04:18:48 -0800343 * The interface
344 */
345 u32 fp_interface;
346 } dvr;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100347 };
348 STRUCT_MARK(path_hash_end);
349
350 /**
Neale Rannsa705f712020-12-10 08:51:24 +0000351 * Members in this last section represent information that is
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100352 * dervied during resolution. It should not be copied to new paths
353 * nor compared.
354 */
355
356 /**
357 * Operational Flags
358 */
359 fib_path_oper_flags_t fp_oper_flags;
360
Neale Rannsd792d9c2017-10-21 10:53:20 -0700361 union {
362 /**
363 * the resolving via fib. not part of the union, since it it not part
364 * of the path's hash.
365 */
366 fib_node_index_t fp_via_fib;
367 /**
Neale Rannsd792d9c2017-10-21 10:53:20 -0700368 * the resolving bier-table
369 */
370 index_t fp_via_bier_tbl;
Neale Ranns91286372017-12-05 13:24:04 -0800371 /**
372 * the resolving bier-fmask
373 */
374 index_t fp_via_bier_fmask;
Neale Rannsd792d9c2017-10-21 10:53:20 -0700375 };
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100376
377 /**
378 * The Data-path objects through which this path resolves for IP.
379 */
380 dpo_id_t fp_dpo;
381
382 /**
383 * the index of this path in the parent's child list.
384 */
385 u32 fp_sibling;
386} fib_path_t;
387
388/*
389 * Array of strings/names for the path types and attributes
390 */
391static const char *fib_path_type_names[] = FIB_PATH_TYPES;
392static const char *fib_path_oper_attribute_names[] = FIB_PATH_OPER_ATTRIBUTES;
393static const char *fib_path_cfg_attribute_names[] = FIB_PATH_CFG_ATTRIBUTES;
394
395/*
396 * The memory pool from which we allocate all the paths
397 */
398static fib_path_t *fib_path_pool;
399
Neale Ranns710071b2018-09-24 12:36:26 +0000400/**
401 * the logger
402 */
403vlib_log_class_t fib_path_logger;
404
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100405/*
406 * Debug macro
407 */
Neale Ranns710071b2018-09-24 12:36:26 +0000408#define FIB_PATH_DBG(_p, _fmt, _args...) \
409{ \
410 vlib_log_debug (fib_path_logger, \
411 "[%U]: " _fmt, \
412 format_fib_path, fib_path_get_index(_p), 0, \
413 FIB_PATH_FORMAT_FLAGS_ONE_LINE, \
414 ##_args); \
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100415}
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100416
417static fib_path_t *
418fib_path_get (fib_node_index_t index)
419{
420 return (pool_elt_at_index(fib_path_pool, index));
421}
422
423static fib_node_index_t
424fib_path_get_index (fib_path_t *path)
425{
426 return (path - fib_path_pool);
427}
428
429static fib_node_t *
430fib_path_get_node (fib_node_index_t index)
431{
432 return ((fib_node_t*)fib_path_get(index));
433}
434
435static fib_path_t*
436fib_path_from_fib_node (fib_node_t *node)
437{
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100438 ASSERT(FIB_NODE_TYPE_PATH == node->fn_type);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100439 return ((fib_path_t*)node);
440}
441
442u8 *
443format_fib_path (u8 * s, va_list * args)
444{
Neale Ranns91286372017-12-05 13:24:04 -0800445 fib_node_index_t path_index = va_arg (*args, fib_node_index_t);
446 u32 indent = va_arg (*args, u32);
Neale Ranns710071b2018-09-24 12:36:26 +0000447 fib_format_path_flags_t flags = va_arg (*args, fib_format_path_flags_t);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100448 vnet_main_t * vnm = vnet_get_main();
449 fib_path_oper_attribute_t oattr;
450 fib_path_cfg_attribute_t cattr;
Neale Ranns91286372017-12-05 13:24:04 -0800451 fib_path_t *path;
Neale Ranns710071b2018-09-24 12:36:26 +0000452 const char *eol;
453
454 if (flags & FIB_PATH_FORMAT_FLAGS_ONE_LINE)
455 {
456 eol = "";
457 }
458 else
459 {
460 eol = "\n";
461 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100462
Neale Ranns91286372017-12-05 13:24:04 -0800463 path = fib_path_get(path_index);
464
465 s = format (s, "%Upath:[%d] ", format_white_space, indent,
466 fib_path_get_index(path));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100467 s = format (s, "pl-index:%d ", path->fp_pl_index);
Neale Rannsda78f952017-05-24 09:15:43 -0700468 s = format (s, "%U ", format_dpo_proto, path->fp_nh_proto);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100469 s = format (s, "weight=%d ", path->fp_weight);
Neale Ranns57b58602017-07-15 07:37:25 -0700470 s = format (s, "pref=%d ", path->fp_preference);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100471 s = format (s, "%s: ", fib_path_type_names[path->fp_type]);
472 if (FIB_PATH_OPER_FLAG_NONE != path->fp_oper_flags) {
473 s = format(s, " oper-flags:");
474 FOR_EACH_FIB_PATH_OPER_ATTRIBUTE(oattr) {
475 if ((1<<oattr) & path->fp_oper_flags) {
476 s = format (s, "%s,", fib_path_oper_attribute_names[oattr]);
477 }
478 }
479 }
480 if (FIB_PATH_CFG_FLAG_NONE != path->fp_cfg_flags) {
481 s = format(s, " cfg-flags:");
482 FOR_EACH_FIB_PATH_CFG_ATTRIBUTE(cattr) {
483 if ((1<<cattr) & path->fp_cfg_flags) {
484 s = format (s, "%s,", fib_path_cfg_attribute_names[cattr]);
485 }
486 }
487 }
Neale Ranns710071b2018-09-24 12:36:26 +0000488 if (!(flags & FIB_PATH_FORMAT_FLAGS_ONE_LINE))
489 s = format(s, "\n%U", format_white_space, indent+2);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100490
491 switch (path->fp_type)
492 {
493 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
494 s = format (s, "%U", format_ip46_address,
495 &path->attached_next_hop.fp_nh,
496 IP46_TYPE_ANY);
497 if (path->fp_oper_flags & FIB_PATH_OPER_FLAG_DROP)
498 {
499 s = format (s, " if_index:%d", path->attached_next_hop.fp_interface);
500 }
501 else
502 {
503 s = format (s, " %U",
Nathan Skrzypczak535364e2023-12-06 17:34:57 +0100504 format_vnet_sw_if_index_name,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100505 vnm,
Nathan Skrzypczak535364e2023-12-06 17:34:57 +0100506 path->attached_next_hop.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100507 if (vnet_sw_interface_is_p2p(vnet_get_main(),
508 path->attached_next_hop.fp_interface))
509 {
510 s = format (s, " (p2p)");
511 }
512 }
513 if (!dpo_id_is_valid(&path->fp_dpo))
514 {
Neale Ranns710071b2018-09-24 12:36:26 +0000515 s = format(s, "%s%Uunresolved", eol, format_white_space, indent+2);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100516 }
517 else
518 {
Neale Ranns710071b2018-09-24 12:36:26 +0000519 s = format(s, "%s%U%U", eol,
Neale Ranns91286372017-12-05 13:24:04 -0800520 format_white_space, indent,
521 format_dpo_id,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100522 &path->fp_dpo, 13);
523 }
524 break;
525 case FIB_PATH_TYPE_ATTACHED:
526 if (path->fp_oper_flags & FIB_PATH_OPER_FLAG_DROP)
527 {
Neale Ranns91286372017-12-05 13:24:04 -0800528 s = format (s, "if_index:%d", path->attached_next_hop.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100529 }
530 else
531 {
532 s = format (s, " %U",
Vladislav Grishenkofb9d1ac2022-08-04 20:36:45 +0500533 format_vnet_sw_if_index_name,
534 vnm, path->attached.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100535 }
536 break;
537 case FIB_PATH_TYPE_RECURSIVE:
Neale Rannsda78f952017-05-24 09:15:43 -0700538 if (DPO_PROTO_MPLS == path->fp_nh_proto)
Neale Rannsad422ed2016-11-02 14:20:04 +0000539 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800540 s = format (s, "via %U %U",
Neale Rannsad422ed2016-11-02 14:20:04 +0000541 format_mpls_unicast_label,
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800542 path->recursive.fp_nh.fp_local_label,
543 format_mpls_eos_bit,
544 path->recursive.fp_nh.fp_eos);
Neale Rannsad422ed2016-11-02 14:20:04 +0000545 }
546 else
547 {
548 s = format (s, "via %U",
549 format_ip46_address,
550 &path->recursive.fp_nh.fp_ip,
551 IP46_TYPE_ANY);
552 }
553 s = format (s, " in fib:%d",
554 path->recursive.fp_tbl_id,
555 path->fp_via_fib);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100556 s = format (s, " via-fib:%d", path->fp_via_fib);
557 s = format (s, " via-dpo:[%U:%d]",
558 format_dpo_type, path->fp_dpo.dpoi_type,
559 path->fp_dpo.dpoi_index);
560
561 break;
Neale Ranns810086d2017-11-05 16:26:46 -0800562 case FIB_PATH_TYPE_UDP_ENCAP:
Neale Ranns91286372017-12-05 13:24:04 -0800563 s = format (s, "UDP-encap ID:%d", path->udp_encap.fp_udp_encap_id);
Neale Ranns810086d2017-11-05 16:26:46 -0800564 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -0700565 case FIB_PATH_TYPE_BIER_TABLE:
566 s = format (s, "via bier-table:[%U}",
567 format_bier_table_id,
568 &path->bier_table.fp_bier_tbl);
569 s = format (s, " via-dpo:[%U:%d]",
570 format_dpo_type, path->fp_dpo.dpoi_type,
571 path->fp_dpo.dpoi_index);
572 break;
573 case FIB_PATH_TYPE_BIER_FMASK:
Neale Ranns91286372017-12-05 13:24:04 -0800574 s = format (s, "via-fmask:%d", path->bier_fmask.fp_bier_fmask);
Neale Rannsd792d9c2017-10-21 10:53:20 -0700575 s = format (s, " via-dpo:[%U:%d]",
576 format_dpo_type, path->fp_dpo.dpoi_type,
577 path->fp_dpo.dpoi_index);
578 break;
579 case FIB_PATH_TYPE_BIER_IMP:
580 s = format (s, "via %U", format_bier_imp,
581 path->bier_imp.fp_bier_imp, 0, BIER_SHOW_BRIEF);
582 break;
Neale Rannsf068c3e2018-01-03 04:18:48 -0800583 case FIB_PATH_TYPE_DVR:
584 s = format (s, " %U",
Vladislav Grishenkofb9d1ac2022-08-04 20:36:45 +0500585 format_vnet_sw_if_index_name,
586 vnm, path->dvr.fp_interface);
Neale Rannsf068c3e2018-01-03 04:18:48 -0800587 break;
Neale Ranns775f73c2018-12-20 03:01:49 -0800588 case FIB_PATH_TYPE_DEAG:
589 s = format (s, " %sfib-index:%d",
590 (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RPF_ID ? "m" : ""),
591 path->deag.fp_tbl_id);
592 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100593 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800594 case FIB_PATH_TYPE_INTF_RX:
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100595 case FIB_PATH_TYPE_SPECIAL:
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100596 case FIB_PATH_TYPE_EXCLUSIVE:
597 if (dpo_id_is_valid(&path->fp_dpo))
598 {
599 s = format(s, "%U", format_dpo_id,
Neale Ranns91286372017-12-05 13:24:04 -0800600 &path->fp_dpo, indent+2);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100601 }
602 break;
603 }
604 return (s);
605}
606
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100607/*
608 * fib_path_last_lock_gone
609 *
610 * We don't share paths, we share path lists, so the [un]lock functions
611 * are no-ops
612 */
613static void
614fib_path_last_lock_gone (fib_node_t *node)
615{
616 ASSERT(0);
617}
618
Neale Rannsa4349552020-02-18 15:23:29 +0000619static fib_path_t*
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100620fib_path_attached_next_hop_get_adj (fib_path_t *path,
Neale Ranns3fd99042019-12-16 00:53:11 +0000621 vnet_link_t link,
622 dpo_id_t *dpo)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100623{
Neale Rannsa4349552020-02-18 15:23:29 +0000624 fib_node_index_t fib_path_index;
Neale Ranns3fd99042019-12-16 00:53:11 +0000625 fib_protocol_t nh_proto;
626 adj_index_t ai;
627
Neale Rannsa4349552020-02-18 15:23:29 +0000628 fib_path_index = fib_path_get_index(path);
Neale Ranns3fd99042019-12-16 00:53:11 +0000629 nh_proto = dpo_proto_to_fib(path->fp_nh_proto);
630
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100631 if (vnet_sw_interface_is_p2p(vnet_get_main(),
632 path->attached_next_hop.fp_interface))
633 {
634 /*
635 * if the interface is p2p then the adj for the specific
636 * neighbour on that link will never exist. on p2p links
637 * the subnet address (the attached route) links to the
638 * auto-adj (see below), we want that adj here too.
639 */
Neale Ranns3fd99042019-12-16 00:53:11 +0000640 ai = adj_nbr_add_or_lock(nh_proto, link, &zero_addr,
641 path->attached_next_hop.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100642 }
643 else
644 {
Neale Ranns3fd99042019-12-16 00:53:11 +0000645 ai = adj_nbr_add_or_lock(nh_proto, link,
646 &path->attached_next_hop.fp_nh,
647 path->attached_next_hop.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100648 }
Neale Ranns3fd99042019-12-16 00:53:11 +0000649
650 dpo_set(dpo, DPO_ADJACENCY, vnet_link_to_dpo_proto(link), ai);
651 adj_unlock(ai);
Neale Rannsa4349552020-02-18 15:23:29 +0000652
653 return (fib_path_get(fib_path_index));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100654}
655
656static void
657fib_path_attached_next_hop_set (fib_path_t *path)
658{
BenoƮt Gannee9d7b092021-06-08 18:44:37 +0200659 dpo_id_t tmp = DPO_INVALID;
660
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100661 /*
Lijian.Zhang33af8c12019-09-16 16:22:36 +0800662 * resolve directly via the adjacency discribed by the
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100663 * interface and next-hop
664 */
BenoƮt Gannee9d7b092021-06-08 18:44:37 +0200665 dpo_copy (&tmp, &path->fp_dpo);
Neale Rannsa4349552020-02-18 15:23:29 +0000666 path = fib_path_attached_next_hop_get_adj(path,
667 dpo_proto_to_link(path->fp_nh_proto),
BenoƮt Gannee9d7b092021-06-08 18:44:37 +0200668 &tmp);
669 dpo_copy(&path->fp_dpo, &tmp);
670 dpo_reset(&tmp);
Neale Ranns3fd99042019-12-16 00:53:11 +0000671 ASSERT(dpo_is_adj(&path->fp_dpo));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100672
673 /*
674 * become a child of the adjacency so we receive updates
675 * when its rewrite changes
676 */
677 path->fp_sibling = adj_child_add(path->fp_dpo.dpoi_index,
678 FIB_NODE_TYPE_PATH,
679 fib_path_get_index(path));
Neale Ranns88fc83e2017-04-05 08:11:14 -0700680
Neale Ranns3e2e1902019-03-14 09:21:02 -0700681 if (!vnet_sw_interface_is_up(vnet_get_main(),
682 path->attached_next_hop.fp_interface) ||
Neale Ranns88fc83e2017-04-05 08:11:14 -0700683 !adj_is_up(path->fp_dpo.dpoi_index))
684 {
685 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
686 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100687}
688
Neale Ranns3fd99042019-12-16 00:53:11 +0000689static void
Neale Ranns8c4611b2017-05-23 03:43:47 -0700690fib_path_attached_get_adj (fib_path_t *path,
Neale Ranns3fd99042019-12-16 00:53:11 +0000691 vnet_link_t link,
692 dpo_id_t *dpo)
Neale Ranns8c4611b2017-05-23 03:43:47 -0700693{
Neale Ranns3fd99042019-12-16 00:53:11 +0000694 fib_protocol_t nh_proto;
695
696 nh_proto = dpo_proto_to_fib(path->fp_nh_proto);
697
Neale Ranns8c4611b2017-05-23 03:43:47 -0700698 if (vnet_sw_interface_is_p2p(vnet_get_main(),
699 path->attached.fp_interface))
700 {
701 /*
702 * point-2-point interfaces do not require a glean, since
703 * there is nothing to ARP. Install a rewrite/nbr adj instead
704 */
Neale Ranns3fd99042019-12-16 00:53:11 +0000705 adj_index_t ai;
706
707 ai = adj_nbr_add_or_lock(nh_proto, link, &zero_addr,
708 path->attached.fp_interface);
709
710 dpo_set(dpo, DPO_ADJACENCY, vnet_link_to_dpo_proto(link), ai);
711 adj_unlock(ai);
712 }
713 else if (vnet_sw_interface_is_nbma(vnet_get_main(),
714 path->attached.fp_interface))
715 {
716 dpo_copy(dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns8c4611b2017-05-23 03:43:47 -0700717 }
718 else
719 {
Neale Ranns3fd99042019-12-16 00:53:11 +0000720 adj_index_t ai;
721
722 ai = adj_glean_add_or_lock(nh_proto, link,
723 path->attached.fp_interface,
Neale Rannse2fe0972020-11-26 08:37:27 +0000724 &path->attached.fp_connected);
Neale Ranns3fd99042019-12-16 00:53:11 +0000725 dpo_set(dpo, DPO_ADJACENCY_GLEAN, vnet_link_to_dpo_proto(link), ai);
726 adj_unlock(ai);
Neale Ranns8c4611b2017-05-23 03:43:47 -0700727 }
728}
729
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100730/*
731 * create of update the paths recursive adj
732 */
733static void
734fib_path_recursive_adj_update (fib_path_t *path,
735 fib_forward_chain_type_t fct,
736 dpo_id_t *dpo)
737{
Neale Ranns948e00f2016-10-20 13:39:34 +0100738 dpo_id_t via_dpo = DPO_INVALID;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100739
740 /*
741 * get the DPO to resolve through from the via-entry
742 */
743 fib_entry_contribute_forwarding(path->fp_via_fib,
744 fct,
745 &via_dpo);
746
747
748 /*
749 * hope for the best - clear if restrictions apply.
750 */
751 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
752
753 /*
754 * Validate any recursion constraints and over-ride the via
755 * adj if not met
756 */
757 if (path->fp_oper_flags & FIB_PATH_OPER_FLAG_RECURSIVE_LOOP)
758 {
759 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
Neale Rannsda78f952017-05-24 09:15:43 -0700760 dpo_copy(&via_dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100761 }
762 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RESOLVE_HOST)
763 {
764 /*
765 * the via FIB must be a host route.
766 * note the via FIB just added will always be a host route
767 * since it is an RR source added host route. So what we need to
768 * check is whether the route has other sources. If it does then
769 * some other source has added it as a host route. If it doesn't
770 * then it was added only here and inherits forwarding from a cover.
771 * the cover is not a host route.
772 * The RR source is the lowest priority source, so we check if it
773 * is the best. if it is there are no other sources.
774 */
775 if (fib_entry_get_best_source(path->fp_via_fib) >= FIB_SOURCE_RR)
776 {
777 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
Neale Rannsda78f952017-05-24 09:15:43 -0700778 dpo_copy(&via_dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100779
780 /*
781 * PIC edge trigger. let the load-balance maps know
782 */
783 load_balance_map_path_state_change(fib_path_get_index(path));
784 }
785 }
786 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RESOLVE_ATTACHED)
787 {
788 /*
789 * RR source entries inherit the flags from the cover, so
790 * we can check the via directly
791 */
792 if (!(FIB_ENTRY_FLAG_ATTACHED & fib_entry_get_flags(path->fp_via_fib)))
793 {
794 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
Neale Rannsda78f952017-05-24 09:15:43 -0700795 dpo_copy(&via_dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100796
797 /*
798 * PIC edge trigger. let the load-balance maps know
799 */
800 load_balance_map_path_state_change(fib_path_get_index(path));
801 }
802 }
Neale Ranns88fc83e2017-04-05 08:11:14 -0700803 /*
804 * check for over-riding factors on the FIB entry itself
805 */
806 if (!fib_entry_is_resolved(path->fp_via_fib))
807 {
808 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
Neale Rannsda78f952017-05-24 09:15:43 -0700809 dpo_copy(&via_dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns88fc83e2017-04-05 08:11:14 -0700810
811 /*
812 * PIC edge trigger. let the load-balance maps know
813 */
814 load_balance_map_path_state_change(fib_path_get_index(path));
815 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100816
817 /*
Neale Ranns57b58602017-07-15 07:37:25 -0700818 * If this path is contributing a drop, then it's not resolved
819 */
820 if (dpo_is_drop(&via_dpo) || load_balance_is_drop(&via_dpo))
821 {
822 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
823 }
824
825 /*
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100826 * update the path's contributed DPO
827 */
828 dpo_copy(dpo, &via_dpo);
829
Neale Rannsda78f952017-05-24 09:15:43 -0700830 FIB_PATH_DBG(path, "recursive update:");
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100831
832 dpo_reset(&via_dpo);
833}
834
835/*
Neale Rannsd792d9c2017-10-21 10:53:20 -0700836 * re-evaulate the forwarding state for a via fmask path
837 */
838static void
839fib_path_bier_fmask_update (fib_path_t *path,
840 dpo_id_t *dpo)
841{
Neale Ranns91286372017-12-05 13:24:04 -0800842 bier_fmask_contribute_forwarding(path->bier_fmask.fp_bier_fmask, dpo);
Neale Rannsd792d9c2017-10-21 10:53:20 -0700843
844 /*
845 * if we are stakcing on the drop, then the path is not resolved
846 */
847 if (dpo_is_drop(dpo))
848 {
849 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
850 }
851 else
852 {
853 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
854 }
855}
856
857/*
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100858 * fib_path_is_permanent_drop
859 *
860 * Return !0 if the path is configured to permanently drop,
861 * despite other attributes.
862 */
863static int
864fib_path_is_permanent_drop (fib_path_t *path)
865{
866 return ((path->fp_cfg_flags & FIB_PATH_CFG_FLAG_DROP) ||
867 (path->fp_oper_flags & FIB_PATH_OPER_FLAG_DROP));
868}
869
870/*
871 * fib_path_unresolve
872 *
873 * Remove our dependency on the resolution target
874 */
875static void
876fib_path_unresolve (fib_path_t *path)
877{
878 /*
879 * the forced drop path does not need unresolving
880 */
881 if (fib_path_is_permanent_drop(path))
882 {
883 return;
884 }
885
886 switch (path->fp_type)
887 {
888 case FIB_PATH_TYPE_RECURSIVE:
889 if (FIB_NODE_INDEX_INVALID != path->fp_via_fib)
890 {
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100891 fib_entry_child_remove(path->fp_via_fib,
892 path->fp_sibling);
Neale Ranns097fa662018-05-01 05:17:55 -0700893 fib_table_entry_special_remove(path->recursive.fp_tbl_id,
894 fib_entry_get_prefix(path->fp_via_fib),
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100895 FIB_SOURCE_RR);
Neale Ranns6fff24a2018-09-10 19:14:07 -0700896 fib_table_unlock(path->recursive.fp_tbl_id,
897 dpo_proto_to_fib(path->fp_nh_proto),
898 FIB_SOURCE_RR);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100899 path->fp_via_fib = FIB_NODE_INDEX_INVALID;
900 }
901 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -0700902 case FIB_PATH_TYPE_BIER_FMASK:
Neale Ranns91286372017-12-05 13:24:04 -0800903 bier_fmask_child_remove(path->fp_via_bier_fmask,
904 path->fp_sibling);
Neale Rannsd792d9c2017-10-21 10:53:20 -0700905 break;
906 case FIB_PATH_TYPE_BIER_IMP:
907 bier_imp_unlock(path->fp_dpo.dpoi_index);
908 break;
909 case FIB_PATH_TYPE_BIER_TABLE:
910 bier_table_ecmp_unlock(path->fp_via_bier_tbl);
911 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100912 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
Neale Ranns6f631152017-10-03 08:20:21 -0700913 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns3fd99042019-12-16 00:53:11 +0000914 if (dpo_is_adj(&path->fp_dpo))
915 adj_child_remove(path->fp_dpo.dpoi_index,
916 path->fp_sibling);
Neale Ranns6f631152017-10-03 08:20:21 -0700917 break;
Neale Ranns810086d2017-11-05 16:26:46 -0800918 case FIB_PATH_TYPE_UDP_ENCAP:
Neale Ranns9c0a3c42018-09-07 08:57:41 -0700919 udp_encap_unlock(path->fp_dpo.dpoi_index);
Neale Ranns810086d2017-11-05 16:26:46 -0800920 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100921 case FIB_PATH_TYPE_EXCLUSIVE:
922 dpo_reset(&path->exclusive.fp_ex_dpo);
923 break;
924 case FIB_PATH_TYPE_SPECIAL:
925 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800926 case FIB_PATH_TYPE_INTF_RX:
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100927 case FIB_PATH_TYPE_DEAG:
Neale Rannsf068c3e2018-01-03 04:18:48 -0800928 case FIB_PATH_TYPE_DVR:
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100929 /*
930 * these hold only the path's DPO, which is reset below.
931 */
932 break;
933 }
934
935 /*
936 * release the adj we were holding and pick up the
937 * drop just in case.
938 */
939 dpo_reset(&path->fp_dpo);
940 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
941
942 return;
943}
944
945static fib_forward_chain_type_t
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800946fib_path_to_chain_type (const fib_path_t *path)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100947{
Neale Rannsda78f952017-05-24 09:15:43 -0700948 if (DPO_PROTO_MPLS == path->fp_nh_proto)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100949 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800950 if (FIB_PATH_TYPE_RECURSIVE == path->fp_type &&
951 MPLS_EOS == path->recursive.fp_nh.fp_eos)
952 {
953 return (FIB_FORW_CHAIN_TYPE_MPLS_EOS);
954 }
955 else
956 {
Neale Ranns9f171f52017-04-11 08:56:53 -0700957 return (FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS);
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800958 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100959 }
Neale Rannsda78f952017-05-24 09:15:43 -0700960 else
961 {
962 return (fib_forw_chain_type_from_dpo_proto(path->fp_nh_proto));
963 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100964}
965
966/*
967 * fib_path_back_walk_notify
968 *
969 * A back walk has reach this path.
970 */
971static fib_node_back_walk_rc_t
972fib_path_back_walk_notify (fib_node_t *node,
973 fib_node_back_walk_ctx_t *ctx)
974{
975 fib_path_t *path;
976
977 path = fib_path_from_fib_node(node);
978
Neale Ranns710071b2018-09-24 12:36:26 +0000979 FIB_PATH_DBG(path, "bw:%U",
980 format_fib_node_bw_reason, ctx->fnbw_reason);
981
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100982 switch (path->fp_type)
983 {
984 case FIB_PATH_TYPE_RECURSIVE:
985 if (FIB_NODE_BW_REASON_FLAG_EVALUATE & ctx->fnbw_reason)
986 {
987 /*
988 * modify the recursive adjacency to use the new forwarding
989 * of the via-fib.
990 * this update is visible to packets in flight in the DP.
991 */
992 fib_path_recursive_adj_update(
993 path,
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800994 fib_path_to_chain_type(path),
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100995 &path->fp_dpo);
996 }
Neale Rannsad95b5d2016-11-10 20:35:14 +0000997 if ((FIB_NODE_BW_REASON_FLAG_ADJ_UPDATE & ctx->fnbw_reason) ||
Neale Ranns8f5fef22020-12-21 08:29:34 +0000998 (FIB_NODE_BW_REASON_FLAG_ADJ_MTU & ctx->fnbw_reason) ||
Neale Rannsad95b5d2016-11-10 20:35:14 +0000999 (FIB_NODE_BW_REASON_FLAG_ADJ_DOWN & ctx->fnbw_reason))
Neale Rannsb80c5362016-10-08 13:03:40 +01001000 {
1001 /*
1002 * ADJ updates (complete<->incomplete) do not need to propagate to
1003 * recursive entries.
1004 * The only reason its needed as far back as here, is that the adj
1005 * and the incomplete adj are a different DPO type, so the LBs need
1006 * to re-stack.
1007 * If this walk was quashed in the fib_entry, then any non-fib_path
1008 * children (like tunnels that collapse out the LB when they stack)
1009 * would not see the update.
1010 */
1011 return (FIB_NODE_BACK_WALK_CONTINUE);
1012 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001013 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -07001014 case FIB_PATH_TYPE_BIER_FMASK:
1015 if (FIB_NODE_BW_REASON_FLAG_EVALUATE & ctx->fnbw_reason)
1016 {
1017 /*
1018 * update to use the BIER fmask's new forwading
1019 */
1020 fib_path_bier_fmask_update(path, &path->fp_dpo);
1021 }
1022 if ((FIB_NODE_BW_REASON_FLAG_ADJ_UPDATE & ctx->fnbw_reason) ||
1023 (FIB_NODE_BW_REASON_FLAG_ADJ_DOWN & ctx->fnbw_reason))
1024 {
1025 /*
1026 * ADJ updates (complete<->incomplete) do not need to propagate to
1027 * recursive entries.
1028 * The only reason its needed as far back as here, is that the adj
1029 * and the incomplete adj are a different DPO type, so the LBs need
1030 * to re-stack.
1031 * If this walk was quashed in the fib_entry, then any non-fib_path
1032 * children (like tunnels that collapse out the LB when they stack)
1033 * would not see the update.
1034 */
1035 return (FIB_NODE_BACK_WALK_CONTINUE);
1036 }
1037 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001038 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1039 /*
1040FIXME comment
1041 * ADJ_UPDATE backwalk pass silently through here and up to
1042 * the path-list when the multipath adj collapse occurs.
1043 * The reason we do this is that the assumtption is that VPP
1044 * runs in an environment where the Control-Plane is remote
1045 * and hence reacts slowly to link up down. In order to remove
1046 * this down link from the ECMP set quickly, we back-walk.
1047 * VPP also has dedicated CPUs, so we are not stealing resources
1048 * from the CP to do so.
1049 */
1050 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_UP & ctx->fnbw_reason)
1051 {
Neale Ranns8b37b872016-11-21 12:25:22 +00001052 if (path->fp_oper_flags & FIB_PATH_OPER_FLAG_RESOLVED)
1053 {
1054 /*
1055 * alreday resolved. no need to walk back again
1056 */
1057 return (FIB_NODE_BACK_WALK_CONTINUE);
1058 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001059 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1060 }
1061 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_DOWN & ctx->fnbw_reason)
1062 {
Neale Ranns8b37b872016-11-21 12:25:22 +00001063 if (!(path->fp_oper_flags & FIB_PATH_OPER_FLAG_RESOLVED))
1064 {
1065 /*
1066 * alreday unresolved. no need to walk back again
1067 */
1068 return (FIB_NODE_BACK_WALK_CONTINUE);
1069 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001070 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1071 }
1072 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_DELETE & ctx->fnbw_reason)
1073 {
1074 /*
1075 * The interface this path resolves through has been deleted.
1076 * This will leave the path in a permanent drop state. The route
1077 * needs to be removed and readded (and hence the path-list deleted)
1078 * before it can forward again.
1079 */
1080 fib_path_unresolve(path);
1081 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_DROP;
1082 }
1083 if (FIB_NODE_BW_REASON_FLAG_ADJ_UPDATE & ctx->fnbw_reason)
1084 {
1085 /*
1086 * restack the DPO to pick up the correct DPO sub-type
1087 */
BenoƮt Gannee9d7b092021-06-08 18:44:37 +02001088 dpo_id_t tmp = DPO_INVALID;
Neale Ranns8b37b872016-11-21 12:25:22 +00001089 uword if_is_up;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001090
Neale Ranns3e2e1902019-03-14 09:21:02 -07001091 if_is_up = vnet_sw_interface_is_up(
Neale Ranns8b37b872016-11-21 12:25:22 +00001092 vnet_get_main(),
1093 path->attached_next_hop.fp_interface);
1094
BenoƮt Gannee9d7b092021-06-08 18:44:37 +02001095 dpo_copy (&tmp, &path->fp_dpo);
Neale Rannsa4349552020-02-18 15:23:29 +00001096 path = fib_path_attached_next_hop_get_adj(
Neale Ranns3fd99042019-12-16 00:53:11 +00001097 path,
1098 dpo_proto_to_link(path->fp_nh_proto),
BenoƮt Gannee9d7b092021-06-08 18:44:37 +02001099 &tmp);
1100 dpo_copy(&path->fp_dpo, &tmp);
1101 dpo_reset(&tmp);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001102
Neale Ranns88fc83e2017-04-05 08:11:14 -07001103 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
Neale Ranns3fd99042019-12-16 00:53:11 +00001104 if (if_is_up && adj_is_up(path->fp_dpo.dpoi_index))
Neale Ranns88fc83e2017-04-05 08:11:14 -07001105 {
1106 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1107 }
1108
Neale Ranns8b37b872016-11-21 12:25:22 +00001109 if (!if_is_up)
1110 {
1111 /*
1112 * If the interface is not up there is no reason to walk
1113 * back to children. if we did they would only evalute
1114 * that this path is unresolved and hence it would
1115 * not contribute the adjacency - so it would be wasted
1116 * CPU time.
1117 */
1118 return (FIB_NODE_BACK_WALK_CONTINUE);
1119 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001120 }
Neale Rannsad95b5d2016-11-10 20:35:14 +00001121 if (FIB_NODE_BW_REASON_FLAG_ADJ_DOWN & ctx->fnbw_reason)
1122 {
Neale Ranns8b37b872016-11-21 12:25:22 +00001123 if (!(path->fp_oper_flags & FIB_PATH_OPER_FLAG_RESOLVED))
1124 {
1125 /*
1126 * alreday unresolved. no need to walk back again
1127 */
1128 return (FIB_NODE_BACK_WALK_CONTINUE);
1129 }
Neale Rannsad95b5d2016-11-10 20:35:14 +00001130 /*
1131 * the adj has gone down. the path is no longer resolved.
1132 */
1133 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1134 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001135 break;
1136 case FIB_PATH_TYPE_ATTACHED:
Neale Rannsf068c3e2018-01-03 04:18:48 -08001137 case FIB_PATH_TYPE_DVR:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001138 /*
1139 * FIXME; this could schedule a lower priority walk, since attached
1140 * routes are not usually in ECMP configurations so the backwalk to
1141 * the FIB entry does not need to be high priority
1142 */
1143 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_UP & ctx->fnbw_reason)
1144 {
1145 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1146 }
1147 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_DOWN & ctx->fnbw_reason)
1148 {
1149 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1150 }
1151 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_DELETE & ctx->fnbw_reason)
1152 {
1153 fib_path_unresolve(path);
1154 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_DROP;
1155 }
Neale Ranns50bd1d32021-10-08 07:16:12 +00001156 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_BIND & ctx->fnbw_reason)
1157 {
1158 /* bind walks should appear here and pass silently up to
1159 * to the fib_entry */
1160 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001161 break;
Neale Ranns810086d2017-11-05 16:26:46 -08001162 case FIB_PATH_TYPE_UDP_ENCAP:
1163 {
1164 dpo_id_t via_dpo = DPO_INVALID;
1165
1166 /*
1167 * hope for the best - clear if restrictions apply.
1168 */
1169 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1170
1171 udp_encap_contribute_forwarding(path->udp_encap.fp_udp_encap_id,
1172 path->fp_nh_proto,
1173 &via_dpo);
1174 /*
1175 * If this path is contributing a drop, then it's not resolved
1176 */
1177 if (dpo_is_drop(&via_dpo) || load_balance_is_drop(&via_dpo))
1178 {
1179 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1180 }
1181
1182 /*
1183 * update the path's contributed DPO
1184 */
1185 dpo_copy(&path->fp_dpo, &via_dpo);
1186 dpo_reset(&via_dpo);
1187 break;
1188 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001189 case FIB_PATH_TYPE_INTF_RX:
1190 ASSERT(0);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001191 case FIB_PATH_TYPE_DEAG:
1192 /*
1193 * FIXME When VRF delete is allowed this will need a poke.
1194 */
1195 case FIB_PATH_TYPE_SPECIAL:
1196 case FIB_PATH_TYPE_RECEIVE:
1197 case FIB_PATH_TYPE_EXCLUSIVE:
Neale Rannsd792d9c2017-10-21 10:53:20 -07001198 case FIB_PATH_TYPE_BIER_TABLE:
1199 case FIB_PATH_TYPE_BIER_IMP:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001200 /*
1201 * these path types have no parents. so to be
1202 * walked from one is unexpected.
1203 */
1204 ASSERT(0);
1205 break;
1206 }
1207
1208 /*
1209 * propagate the backwalk further to the path-list
1210 */
1211 fib_path_list_back_walk(path->fp_pl_index, ctx);
1212
1213 return (FIB_NODE_BACK_WALK_CONTINUE);
1214}
1215
Neale Ranns6c3ebcc2016-10-02 21:20:15 +01001216static void
1217fib_path_memory_show (void)
1218{
1219 fib_show_memory_usage("Path",
1220 pool_elts(fib_path_pool),
1221 pool_len(fib_path_pool),
1222 sizeof(fib_path_t));
1223}
1224
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001225/*
1226 * The FIB path's graph node virtual function table
1227 */
1228static const fib_node_vft_t fib_path_vft = {
1229 .fnv_get = fib_path_get_node,
1230 .fnv_last_lock = fib_path_last_lock_gone,
1231 .fnv_back_walk = fib_path_back_walk_notify,
Neale Ranns6c3ebcc2016-10-02 21:20:15 +01001232 .fnv_mem_show = fib_path_memory_show,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001233};
1234
1235static fib_path_cfg_flags_t
1236fib_path_route_flags_to_cfg_flags (const fib_route_path_t *rpath)
1237{
Neale Ranns450cd302016-11-09 17:49:42 +00001238 fib_path_cfg_flags_t cfg_flags = FIB_PATH_CFG_FLAG_NONE;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001239
Neale Ranns1dbcf302019-07-19 11:44:53 +00001240 if (rpath->frp_flags & FIB_ROUTE_PATH_POP_PW_CW)
1241 cfg_flags |= FIB_PATH_CFG_FLAG_POP_PW_CW;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001242 if (rpath->frp_flags & FIB_ROUTE_PATH_RESOLVE_VIA_HOST)
1243 cfg_flags |= FIB_PATH_CFG_FLAG_RESOLVE_HOST;
1244 if (rpath->frp_flags & FIB_ROUTE_PATH_RESOLVE_VIA_ATTACHED)
1245 cfg_flags |= FIB_PATH_CFG_FLAG_RESOLVE_ATTACHED;
Neale Ranns32e1c012016-11-22 17:07:28 +00001246 if (rpath->frp_flags & FIB_ROUTE_PATH_LOCAL)
1247 cfg_flags |= FIB_PATH_CFG_FLAG_LOCAL;
Neale Ranns4b919a52017-03-11 05:55:21 -08001248 if (rpath->frp_flags & FIB_ROUTE_PATH_ATTACHED)
1249 cfg_flags |= FIB_PATH_CFG_FLAG_ATTACHED;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001250 if (rpath->frp_flags & FIB_ROUTE_PATH_INTF_RX)
1251 cfg_flags |= FIB_PATH_CFG_FLAG_INTF_RX;
1252 if (rpath->frp_flags & FIB_ROUTE_PATH_RPF_ID)
1253 cfg_flags |= FIB_PATH_CFG_FLAG_RPF_ID;
1254 if (rpath->frp_flags & FIB_ROUTE_PATH_EXCLUSIVE)
1255 cfg_flags |= FIB_PATH_CFG_FLAG_EXCLUSIVE;
1256 if (rpath->frp_flags & FIB_ROUTE_PATH_DROP)
1257 cfg_flags |= FIB_PATH_CFG_FLAG_DROP;
Neale Ranns054c03a2017-10-13 05:15:07 -07001258 if (rpath->frp_flags & FIB_ROUTE_PATH_SOURCE_LOOKUP)
1259 cfg_flags |= FIB_PATH_CFG_FLAG_DEAG_SRC;
Neale Ranns097fa662018-05-01 05:17:55 -07001260 if (rpath->frp_flags & FIB_ROUTE_PATH_ICMP_UNREACH)
1261 cfg_flags |= FIB_PATH_CFG_FLAG_ICMP_UNREACH;
1262 if (rpath->frp_flags & FIB_ROUTE_PATH_ICMP_PROHIBIT)
1263 cfg_flags |= FIB_PATH_CFG_FLAG_ICMP_PROHIBIT;
Neale Rannse2fe0972020-11-26 08:37:27 +00001264 if (rpath->frp_flags & FIB_ROUTE_PATH_GLEAN)
1265 cfg_flags |= FIB_PATH_CFG_FLAG_GLEAN;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001266
1267 return (cfg_flags);
1268}
1269
1270/*
1271 * fib_path_create
1272 *
1273 * Create and initialise a new path object.
1274 * return the index of the path.
1275 */
1276fib_node_index_t
1277fib_path_create (fib_node_index_t pl_index,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001278 const fib_route_path_t *rpath)
1279{
1280 fib_path_t *path;
1281
1282 pool_get(fib_path_pool, path);
Dave Barachb7b92992018-10-17 10:38:51 -04001283 clib_memset(path, 0, sizeof(*path));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001284
1285 fib_node_init(&path->fp_node,
1286 FIB_NODE_TYPE_PATH);
1287
1288 dpo_reset(&path->fp_dpo);
1289 path->fp_pl_index = pl_index;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001290 path->fp_nh_proto = rpath->frp_proto;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001291 path->fp_via_fib = FIB_NODE_INDEX_INVALID;
1292 path->fp_weight = rpath->frp_weight;
Neale Ranns0bd36ea2016-11-16 11:47:44 +00001293 if (0 == path->fp_weight)
1294 {
1295 /*
1296 * a weight of 0 is a meaningless value. We could either reject it, and thus force
1297 * clients to always use 1, or we can accept it and fixup approrpiately.
1298 */
1299 path->fp_weight = 1;
1300 }
Neale Ranns57b58602017-07-15 07:37:25 -07001301 path->fp_preference = rpath->frp_preference;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001302 path->fp_cfg_flags = fib_path_route_flags_to_cfg_flags(rpath);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001303
1304 /*
1305 * deduce the path's tpye from the parementers and save what is needed.
1306 */
Neale Ranns32e1c012016-11-22 17:07:28 +00001307 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_LOCAL)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001308 {
Neale Ranns32e1c012016-11-22 17:07:28 +00001309 path->fp_type = FIB_PATH_TYPE_RECEIVE;
1310 path->receive.fp_interface = rpath->frp_sw_if_index;
1311 path->receive.fp_addr = rpath->frp_addr;
1312 }
Neale Ranns810086d2017-11-05 16:26:46 -08001313 else if (rpath->frp_flags & FIB_ROUTE_PATH_UDP_ENCAP)
1314 {
1315 path->fp_type = FIB_PATH_TYPE_UDP_ENCAP;
1316 path->udp_encap.fp_udp_encap_id = rpath->frp_udp_encap_id;
1317 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001318 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_INTF_RX)
1319 {
1320 path->fp_type = FIB_PATH_TYPE_INTF_RX;
1321 path->intf_rx.fp_interface = rpath->frp_sw_if_index;
1322 }
1323 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RPF_ID)
1324 {
1325 path->fp_type = FIB_PATH_TYPE_DEAG;
1326 path->deag.fp_tbl_id = rpath->frp_fib_index;
1327 path->deag.fp_rpf_id = rpath->frp_rpf_id;
1328 }
Neale Rannsd792d9c2017-10-21 10:53:20 -07001329 else if (rpath->frp_flags & FIB_ROUTE_PATH_BIER_FMASK)
1330 {
1331 path->fp_type = FIB_PATH_TYPE_BIER_FMASK;
Neale Ranns91286372017-12-05 13:24:04 -08001332 path->bier_fmask.fp_bier_fmask = rpath->frp_bier_fmask;
Neale Rannsd792d9c2017-10-21 10:53:20 -07001333 }
1334 else if (rpath->frp_flags & FIB_ROUTE_PATH_BIER_IMP)
1335 {
1336 path->fp_type = FIB_PATH_TYPE_BIER_IMP;
1337 path->bier_imp.fp_bier_imp = rpath->frp_bier_imp;
1338 }
1339 else if (rpath->frp_flags & FIB_ROUTE_PATH_BIER_TABLE)
1340 {
1341 path->fp_type = FIB_PATH_TYPE_BIER_TABLE;
1342 path->bier_table.fp_bier_tbl = rpath->frp_bier_tbl;
1343 }
Florin Coras79ae2d32017-12-16 08:31:06 -08001344 else if (rpath->frp_flags & FIB_ROUTE_PATH_DEAG)
1345 {
1346 path->fp_type = FIB_PATH_TYPE_DEAG;
1347 path->deag.fp_tbl_id = rpath->frp_fib_index;
1348 }
Neale Rannsf068c3e2018-01-03 04:18:48 -08001349 else if (rpath->frp_flags & FIB_ROUTE_PATH_DVR)
1350 {
1351 path->fp_type = FIB_PATH_TYPE_DVR;
1352 path->dvr.fp_interface = rpath->frp_sw_if_index;
1353 }
Vijayabhaskar Katamreddycef5db02018-10-05 11:24:56 -07001354 else if (rpath->frp_flags & FIB_ROUTE_PATH_EXCLUSIVE)
1355 {
1356 path->fp_type = FIB_PATH_TYPE_EXCLUSIVE;
1357 dpo_copy(&path->exclusive.fp_ex_dpo, &rpath->dpo);
1358 }
Neale Ranns097fa662018-05-01 05:17:55 -07001359 else if ((path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_PROHIBIT) ||
Alexander Skorichenko4b086322023-11-24 09:59:42 +01001360 (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_UNREACH) ||
1361 (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_DROP))
Neale Ranns097fa662018-05-01 05:17:55 -07001362 {
1363 path->fp_type = FIB_PATH_TYPE_SPECIAL;
1364 }
1365 else if ((path->fp_cfg_flags & FIB_PATH_CFG_FLAG_CLASSIFY))
1366 {
1367 path->fp_type = FIB_PATH_TYPE_SPECIAL;
1368 path->classify.fp_classify_table_id = rpath->frp_classify_table_id;
1369 }
Neale Rannse2fe0972020-11-26 08:37:27 +00001370 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_GLEAN)
1371 {
1372 path->fp_type = FIB_PATH_TYPE_ATTACHED;
1373 path->attached.fp_interface = rpath->frp_sw_if_index;
1374 path->attached.fp_connected = rpath->frp_connected;
1375 }
Neale Ranns32e1c012016-11-22 17:07:28 +00001376 else if (~0 != rpath->frp_sw_if_index)
1377 {
1378 if (ip46_address_is_zero(&rpath->frp_addr))
1379 {
1380 path->fp_type = FIB_PATH_TYPE_ATTACHED;
1381 path->attached.fp_interface = rpath->frp_sw_if_index;
1382 }
1383 else
1384 {
1385 path->fp_type = FIB_PATH_TYPE_ATTACHED_NEXT_HOP;
1386 path->attached_next_hop.fp_interface = rpath->frp_sw_if_index;
1387 path->attached_next_hop.fp_nh = rpath->frp_addr;
1388 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001389 }
1390 else
1391 {
1392 if (ip46_address_is_zero(&rpath->frp_addr))
1393 {
1394 if (~0 == rpath->frp_fib_index)
1395 {
1396 path->fp_type = FIB_PATH_TYPE_SPECIAL;
1397 }
1398 else
1399 {
1400 path->fp_type = FIB_PATH_TYPE_DEAG;
1401 path->deag.fp_tbl_id = rpath->frp_fib_index;
Neale Ranns31ed7442018-02-23 05:29:09 -08001402 path->deag.fp_rpf_id = ~0;
1403 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001404 }
1405 else
1406 {
1407 path->fp_type = FIB_PATH_TYPE_RECURSIVE;
Neale Rannsda78f952017-05-24 09:15:43 -07001408 if (DPO_PROTO_MPLS == path->fp_nh_proto)
Neale Rannsad422ed2016-11-02 14:20:04 +00001409 {
1410 path->recursive.fp_nh.fp_local_label = rpath->frp_local_label;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001411 path->recursive.fp_nh.fp_eos = rpath->frp_eos;
Neale Rannsad422ed2016-11-02 14:20:04 +00001412 }
1413 else
1414 {
1415 path->recursive.fp_nh.fp_ip = rpath->frp_addr;
1416 }
Neale Rannsd792d9c2017-10-21 10:53:20 -07001417 path->recursive.fp_tbl_id = rpath->frp_fib_index;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001418 }
1419 }
1420
1421 FIB_PATH_DBG(path, "create");
1422
1423 return (fib_path_get_index(path));
1424}
1425
1426/*
1427 * fib_path_create_special
1428 *
1429 * Create and initialise a new path object.
1430 * return the index of the path.
1431 */
1432fib_node_index_t
1433fib_path_create_special (fib_node_index_t pl_index,
Neale Rannsda78f952017-05-24 09:15:43 -07001434 dpo_proto_t nh_proto,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001435 fib_path_cfg_flags_t flags,
1436 const dpo_id_t *dpo)
1437{
1438 fib_path_t *path;
1439
1440 pool_get(fib_path_pool, path);
Dave Barachb7b92992018-10-17 10:38:51 -04001441 clib_memset(path, 0, sizeof(*path));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001442
1443 fib_node_init(&path->fp_node,
1444 FIB_NODE_TYPE_PATH);
1445 dpo_reset(&path->fp_dpo);
1446
1447 path->fp_pl_index = pl_index;
1448 path->fp_weight = 1;
Neale Ranns57b58602017-07-15 07:37:25 -07001449 path->fp_preference = 0;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001450 path->fp_nh_proto = nh_proto;
1451 path->fp_via_fib = FIB_NODE_INDEX_INVALID;
1452 path->fp_cfg_flags = flags;
1453
1454 if (FIB_PATH_CFG_FLAG_DROP & flags)
1455 {
1456 path->fp_type = FIB_PATH_TYPE_SPECIAL;
1457 }
1458 else if (FIB_PATH_CFG_FLAG_LOCAL & flags)
1459 {
1460 path->fp_type = FIB_PATH_TYPE_RECEIVE;
1461 path->attached.fp_interface = FIB_NODE_INDEX_INVALID;
1462 }
1463 else
1464 {
1465 path->fp_type = FIB_PATH_TYPE_EXCLUSIVE;
1466 ASSERT(NULL != dpo);
1467 dpo_copy(&path->exclusive.fp_ex_dpo, dpo);
1468 }
1469
1470 return (fib_path_get_index(path));
1471}
1472
1473/*
1474 * fib_path_copy
1475 *
1476 * Copy a path. return index of new path.
1477 */
1478fib_node_index_t
1479fib_path_copy (fib_node_index_t path_index,
1480 fib_node_index_t path_list_index)
1481{
1482 fib_path_t *path, *orig_path;
1483
1484 pool_get(fib_path_pool, path);
1485
1486 orig_path = fib_path_get(path_index);
1487 ASSERT(NULL != orig_path);
1488
Zhiyong Yangd3d7ef52020-01-09 04:20:57 -05001489 clib_memcpy(path, orig_path, sizeof(*path));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001490
1491 FIB_PATH_DBG(path, "create-copy:%d", path_index);
1492
1493 /*
1494 * reset the dynamic section
1495 */
1496 fib_node_init(&path->fp_node, FIB_NODE_TYPE_PATH);
1497 path->fp_oper_flags = FIB_PATH_OPER_FLAG_NONE;
1498 path->fp_pl_index = path_list_index;
1499 path->fp_via_fib = FIB_NODE_INDEX_INVALID;
Dave Barachb7b92992018-10-17 10:38:51 -04001500 clib_memset(&path->fp_dpo, 0, sizeof(path->fp_dpo));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001501 dpo_reset(&path->fp_dpo);
1502
Damjan Mariona27aa6b2022-09-07 17:54:39 +02001503 if (path->fp_type == FIB_PATH_TYPE_EXCLUSIVE)
1504 {
1505 clib_memset(&path->exclusive.fp_ex_dpo, 0, sizeof(dpo_id_t));
1506 dpo_copy(&path->exclusive.fp_ex_dpo, &orig_path->exclusive.fp_ex_dpo);
1507 }
1508
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001509 return (fib_path_get_index(path));
1510}
1511
1512/*
1513 * fib_path_destroy
1514 *
1515 * destroy a path that is no longer required
1516 */
1517void
1518fib_path_destroy (fib_node_index_t path_index)
1519{
1520 fib_path_t *path;
1521
1522 path = fib_path_get(path_index);
1523
1524 ASSERT(NULL != path);
1525 FIB_PATH_DBG(path, "destroy");
1526
1527 fib_path_unresolve(path);
1528
1529 fib_node_deinit(&path->fp_node);
1530 pool_put(fib_path_pool, path);
1531}
1532
1533/*
1534 * fib_path_destroy
1535 *
1536 * destroy a path that is no longer required
1537 */
1538uword
1539fib_path_hash (fib_node_index_t path_index)
1540{
1541 fib_path_t *path;
1542
1543 path = fib_path_get(path_index);
1544
1545 return (hash_memory(STRUCT_MARK_PTR(path, path_hash_start),
1546 (STRUCT_OFFSET_OF(fib_path_t, path_hash_end) -
1547 STRUCT_OFFSET_OF(fib_path_t, path_hash_start)),
1548 0));
1549}
1550
1551/*
1552 * fib_path_cmp_i
1553 *
1554 * Compare two paths for equivalence.
1555 */
1556static int
1557fib_path_cmp_i (const fib_path_t *path1,
1558 const fib_path_t *path2)
1559{
1560 int res;
1561
1562 res = 1;
1563
1564 /*
1565 * paths of different types and protocol are not equal.
Neale Ranns57b58602017-07-15 07:37:25 -07001566 * different weights and/or preference only are the same path.
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001567 */
1568 if (path1->fp_type != path2->fp_type)
1569 {
1570 res = (path1->fp_type - path2->fp_type);
1571 }
Neale Ranns32e1c012016-11-22 17:07:28 +00001572 else if (path1->fp_nh_proto != path2->fp_nh_proto)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001573 {
1574 res = (path1->fp_nh_proto - path2->fp_nh_proto);
1575 }
1576 else
1577 {
1578 /*
1579 * both paths are of the same type.
1580 * consider each type and its attributes in turn.
1581 */
1582 switch (path1->fp_type)
1583 {
1584 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1585 res = ip46_address_cmp(&path1->attached_next_hop.fp_nh,
1586 &path2->attached_next_hop.fp_nh);
1587 if (0 == res) {
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001588 res = (path1->attached_next_hop.fp_interface -
1589 path2->attached_next_hop.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001590 }
1591 break;
1592 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001593 res = (path1->attached.fp_interface -
1594 path2->attached.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001595 break;
1596 case FIB_PATH_TYPE_RECURSIVE:
Neale Rannscbe25aa2019-09-30 10:53:31 +00001597 res = ip46_address_cmp(&path1->recursive.fp_nh.fp_ip,
1598 &path2->recursive.fp_nh.fp_ip);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001599
1600 if (0 == res)
1601 {
1602 res = (path1->recursive.fp_tbl_id - path2->recursive.fp_tbl_id);
1603 }
1604 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -07001605 case FIB_PATH_TYPE_BIER_FMASK:
Neale Ranns91286372017-12-05 13:24:04 -08001606 res = (path1->bier_fmask.fp_bier_fmask -
1607 path2->bier_fmask.fp_bier_fmask);
Neale Rannsd792d9c2017-10-21 10:53:20 -07001608 break;
1609 case FIB_PATH_TYPE_BIER_IMP:
1610 res = (path1->bier_imp.fp_bier_imp -
1611 path2->bier_imp.fp_bier_imp);
1612 break;
1613 case FIB_PATH_TYPE_BIER_TABLE:
1614 res = bier_table_id_cmp(&path1->bier_table.fp_bier_tbl,
1615 &path2->bier_table.fp_bier_tbl);
1616 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001617 case FIB_PATH_TYPE_DEAG:
1618 res = (path1->deag.fp_tbl_id - path2->deag.fp_tbl_id);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001619 if (0 == res)
1620 {
1621 res = (path1->deag.fp_rpf_id - path2->deag.fp_rpf_id);
1622 }
1623 break;
1624 case FIB_PATH_TYPE_INTF_RX:
1625 res = (path1->intf_rx.fp_interface - path2->intf_rx.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001626 break;
Neale Ranns810086d2017-11-05 16:26:46 -08001627 case FIB_PATH_TYPE_UDP_ENCAP:
1628 res = (path1->udp_encap.fp_udp_encap_id - path2->udp_encap.fp_udp_encap_id);
1629 break;
Neale Rannsf068c3e2018-01-03 04:18:48 -08001630 case FIB_PATH_TYPE_DVR:
1631 res = (path1->dvr.fp_interface - path2->dvr.fp_interface);
1632 break;
Vijayabhaskar Katamreddycef5db02018-10-05 11:24:56 -07001633 case FIB_PATH_TYPE_EXCLUSIVE:
1634 res = dpo_cmp(&path1->exclusive.fp_ex_dpo, &path2->exclusive.fp_ex_dpo);
1635 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001636 case FIB_PATH_TYPE_SPECIAL:
1637 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001638 res = 0;
1639 break;
1640 }
1641 }
1642 return (res);
1643}
1644
1645/*
1646 * fib_path_cmp_for_sort
1647 *
1648 * Compare two paths for equivalence. Used during path sorting.
1649 * As usual 0 means equal.
1650 */
1651int
1652fib_path_cmp_for_sort (void * v1,
1653 void * v2)
1654{
1655 fib_node_index_t *pi1 = v1, *pi2 = v2;
1656 fib_path_t *path1, *path2;
1657
1658 path1 = fib_path_get(*pi1);
1659 path2 = fib_path_get(*pi2);
1660
Neale Ranns57b58602017-07-15 07:37:25 -07001661 /*
1662 * when sorting paths we want the highest preference paths
1663 * first, so that the choices set built is in prefernce order
1664 */
1665 if (path1->fp_preference != path2->fp_preference)
1666 {
1667 return (path1->fp_preference - path2->fp_preference);
1668 }
1669
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001670 return (fib_path_cmp_i(path1, path2));
1671}
1672
1673/*
1674 * fib_path_cmp
1675 *
1676 * Compare two paths for equivalence.
1677 */
1678int
1679fib_path_cmp (fib_node_index_t pi1,
1680 fib_node_index_t pi2)
1681{
1682 fib_path_t *path1, *path2;
1683
1684 path1 = fib_path_get(pi1);
1685 path2 = fib_path_get(pi2);
1686
1687 return (fib_path_cmp_i(path1, path2));
1688}
1689
1690int
1691fib_path_cmp_w_route_path (fib_node_index_t path_index,
1692 const fib_route_path_t *rpath)
1693{
1694 fib_path_t *path;
1695 int res;
1696
1697 path = fib_path_get(path_index);
1698
1699 res = 1;
1700
1701 if (path->fp_weight != rpath->frp_weight)
1702 {
1703 res = (path->fp_weight - rpath->frp_weight);
1704 }
1705 else
1706 {
1707 /*
1708 * both paths are of the same type.
1709 * consider each type and its attributes in turn.
1710 */
1711 switch (path->fp_type)
1712 {
1713 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1714 res = ip46_address_cmp(&path->attached_next_hop.fp_nh,
1715 &rpath->frp_addr);
1716 if (0 == res)
1717 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001718 res = (path->attached_next_hop.fp_interface -
1719 rpath->frp_sw_if_index);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001720 }
1721 break;
1722 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001723 res = (path->attached.fp_interface - rpath->frp_sw_if_index);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001724 break;
1725 case FIB_PATH_TYPE_RECURSIVE:
Neale Rannsda78f952017-05-24 09:15:43 -07001726 if (DPO_PROTO_MPLS == path->fp_nh_proto)
Neale Rannsad422ed2016-11-02 14:20:04 +00001727 {
1728 res = path->recursive.fp_nh.fp_local_label - rpath->frp_local_label;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001729
1730 if (res == 0)
1731 {
1732 res = path->recursive.fp_nh.fp_eos - rpath->frp_eos;
1733 }
Neale Rannsad422ed2016-11-02 14:20:04 +00001734 }
1735 else
1736 {
1737 res = ip46_address_cmp(&path->recursive.fp_nh.fp_ip,
1738 &rpath->frp_addr);
1739 }
1740
1741 if (0 == res)
1742 {
1743 res = (path->recursive.fp_tbl_id - rpath->frp_fib_index);
1744 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001745 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -07001746 case FIB_PATH_TYPE_BIER_FMASK:
Neale Ranns91286372017-12-05 13:24:04 -08001747 res = (path->bier_fmask.fp_bier_fmask - rpath->frp_bier_fmask);
Neale Rannsd792d9c2017-10-21 10:53:20 -07001748 break;
1749 case FIB_PATH_TYPE_BIER_IMP:
1750 res = (path->bier_imp.fp_bier_imp - rpath->frp_bier_imp);
1751 break;
1752 case FIB_PATH_TYPE_BIER_TABLE:
1753 res = bier_table_id_cmp(&path->bier_table.fp_bier_tbl,
1754 &rpath->frp_bier_tbl);
1755 break;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001756 case FIB_PATH_TYPE_INTF_RX:
1757 res = (path->intf_rx.fp_interface - rpath->frp_sw_if_index);
1758 break;
Neale Ranns810086d2017-11-05 16:26:46 -08001759 case FIB_PATH_TYPE_UDP_ENCAP:
1760 res = (path->udp_encap.fp_udp_encap_id - rpath->frp_udp_encap_id);
1761 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001762 case FIB_PATH_TYPE_DEAG:
1763 res = (path->deag.fp_tbl_id - rpath->frp_fib_index);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001764 if (0 == res)
1765 {
1766 res = (path->deag.fp_rpf_id - rpath->frp_rpf_id);
1767 }
1768 break;
Neale Rannsf068c3e2018-01-03 04:18:48 -08001769 case FIB_PATH_TYPE_DVR:
1770 res = (path->dvr.fp_interface - rpath->frp_sw_if_index);
1771 break;
Vijayabhaskar Katamreddycef5db02018-10-05 11:24:56 -07001772 case FIB_PATH_TYPE_EXCLUSIVE:
1773 res = dpo_cmp(&path->exclusive.fp_ex_dpo, &rpath->dpo);
1774 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001775 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns097fa662018-05-01 05:17:55 -07001776 if (rpath->frp_flags & FIB_ROUTE_PATH_LOCAL)
1777 {
1778 res = 0;
1779 }
1780 else
1781 {
1782 res = 1;
1783 }
1784 break;
1785 case FIB_PATH_TYPE_SPECIAL:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001786 res = 0;
1787 break;
1788 }
1789 }
1790 return (res);
1791}
1792
1793/*
1794 * fib_path_recursive_loop_detect
1795 *
1796 * A forward walk of the FIB object graph to detect for a cycle/loop. This
1797 * walk is initiated when an entry is linking to a new path list or from an old.
1798 * The entry vector passed contains all the FIB entrys that are children of this
1799 * path (it is all the entries encountered on the walk so far). If this vector
1800 * contains the entry this path resolve via, then a loop is about to form.
1801 * The loop must be allowed to form, since we need the dependencies in place
1802 * so that we can track when the loop breaks.
1803 * However, we MUST not produce a loop in the forwarding graph (else packets
1804 * would loop around the switch path until the loop breaks), so we mark recursive
1805 * paths as looped so that they do not contribute forwarding information.
1806 * By marking the path as looped, an etry such as;
1807 * X/Y
1808 * via a.a.a.a (looped)
1809 * via b.b.b.b (not looped)
1810 * can still forward using the info provided by b.b.b.b only
1811 */
1812int
1813fib_path_recursive_loop_detect (fib_node_index_t path_index,
1814 fib_node_index_t **entry_indicies)
1815{
1816 fib_path_t *path;
1817
1818 path = fib_path_get(path_index);
1819
1820 /*
1821 * the forced drop path is never looped, cos it is never resolved.
1822 */
1823 if (fib_path_is_permanent_drop(path))
1824 {
1825 return (0);
1826 }
1827
1828 switch (path->fp_type)
1829 {
1830 case FIB_PATH_TYPE_RECURSIVE:
1831 {
1832 fib_node_index_t *entry_index, *entries;
1833 int looped = 0;
1834 entries = *entry_indicies;
1835
1836 vec_foreach(entry_index, entries) {
1837 if (*entry_index == path->fp_via_fib)
1838 {
1839 /*
1840 * the entry that is about to link to this path-list (or
1841 * one of this path-list's children) is the same entry that
1842 * this recursive path resolves through. this is a cycle.
1843 * abort the walk.
1844 */
1845 looped = 1;
1846 break;
1847 }
1848 }
1849
1850 if (looped)
1851 {
1852 FIB_PATH_DBG(path, "recursive loop formed");
1853 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1854
Neale Rannsda78f952017-05-24 09:15:43 -07001855 dpo_copy(&path->fp_dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001856 }
1857 else
1858 {
1859 /*
1860 * no loop here yet. keep forward walking the graph.
Neale Ranns521a8d72018-12-06 13:46:49 +00001861 */
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001862 if (fib_entry_recursive_loop_detect(path->fp_via_fib, entry_indicies))
1863 {
1864 FIB_PATH_DBG(path, "recursive loop formed");
1865 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1866 }
1867 else
1868 {
1869 FIB_PATH_DBG(path, "recursive loop cleared");
1870 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1871 }
1872 }
1873 break;
1874 }
1875 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1876 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns14053c92019-12-29 23:55:18 +00001877 if (dpo_is_adj(&path->fp_dpo) &&
1878 adj_recursive_loop_detect(path->fp_dpo.dpoi_index,
Neale Ranns521a8d72018-12-06 13:46:49 +00001879 entry_indicies))
1880 {
1881 FIB_PATH_DBG(path, "recursive loop formed");
1882 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1883 }
1884 else
1885 {
1886 FIB_PATH_DBG(path, "recursive loop cleared");
1887 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1888 }
1889 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001890 case FIB_PATH_TYPE_SPECIAL:
1891 case FIB_PATH_TYPE_DEAG:
Neale Rannsf068c3e2018-01-03 04:18:48 -08001892 case FIB_PATH_TYPE_DVR:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001893 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001894 case FIB_PATH_TYPE_INTF_RX:
Neale Ranns810086d2017-11-05 16:26:46 -08001895 case FIB_PATH_TYPE_UDP_ENCAP:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001896 case FIB_PATH_TYPE_EXCLUSIVE:
Neale Rannsd792d9c2017-10-21 10:53:20 -07001897 case FIB_PATH_TYPE_BIER_FMASK:
1898 case FIB_PATH_TYPE_BIER_TABLE:
1899 case FIB_PATH_TYPE_BIER_IMP:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001900 /*
1901 * these path types cannot be part of a loop, since they are the leaves
1902 * of the graph.
1903 */
1904 break;
1905 }
1906
1907 return (fib_path_is_looped(path_index));
1908}
1909
1910int
1911fib_path_resolve (fib_node_index_t path_index)
1912{
1913 fib_path_t *path;
1914
1915 path = fib_path_get(path_index);
1916
1917 /*
1918 * hope for the best.
1919 */
1920 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1921
1922 /*
1923 * the forced drop path resolves via the drop adj
1924 */
1925 if (fib_path_is_permanent_drop(path))
1926 {
Neale Rannsda78f952017-05-24 09:15:43 -07001927 dpo_copy(&path->fp_dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001928 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1929 return (fib_path_is_resolved(path_index));
1930 }
1931
1932 switch (path->fp_type)
1933 {
1934 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1935 fib_path_attached_next_hop_set(path);
1936 break;
1937 case FIB_PATH_TYPE_ATTACHED:
Neale Rannsd35abc42019-04-18 09:42:20 +00001938 {
1939 dpo_id_t tmp = DPO_INVALID;
1940
Neale Rannsf068c3e2018-01-03 04:18:48 -08001941 /*
1942 * path->attached.fp_interface
1943 */
Neale Ranns3e2e1902019-03-14 09:21:02 -07001944 if (!vnet_sw_interface_is_up(vnet_get_main(),
1945 path->attached.fp_interface))
Neale Ranns6f631152017-10-03 08:20:21 -07001946 {
Neale Rannsf068c3e2018-01-03 04:18:48 -08001947 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
Neale Ranns6f631152017-10-03 08:20:21 -07001948 }
Neale Ranns3fd99042019-12-16 00:53:11 +00001949 fib_path_attached_get_adj(path,
1950 dpo_proto_to_link(path->fp_nh_proto),
1951 &tmp);
Neale Ranns8c4611b2017-05-23 03:43:47 -07001952
Neale Rannsf068c3e2018-01-03 04:18:48 -08001953 /*
Neale Rannsd35abc42019-04-18 09:42:20 +00001954 * re-fetch after possible mem realloc
1955 */
1956 path = fib_path_get(path_index);
1957 dpo_copy(&path->fp_dpo, &tmp);
1958
1959 /*
Neale Rannsf068c3e2018-01-03 04:18:48 -08001960 * become a child of the adjacency so we receive updates
1961 * when the interface state changes
1962 */
Neale Ranns3fd99042019-12-16 00:53:11 +00001963 if (dpo_is_adj(&path->fp_dpo))
1964 {
1965 path->fp_sibling = adj_child_add(path->fp_dpo.dpoi_index,
1966 FIB_NODE_TYPE_PATH,
1967 fib_path_get_index(path));
1968 }
Neale Rannsd35abc42019-04-18 09:42:20 +00001969 dpo_reset(&tmp);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001970 break;
Neale Rannsd35abc42019-04-18 09:42:20 +00001971 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001972 case FIB_PATH_TYPE_RECURSIVE:
1973 {
1974 /*
1975 * Create a RR source entry in the table for the address
1976 * that this path recurses through.
1977 * This resolve action is recursive, hence we may create
1978 * more paths in the process. more creates mean maybe realloc
1979 * of this path.
1980 */
1981 fib_node_index_t fei;
1982 fib_prefix_t pfx;
1983
1984 ASSERT(FIB_NODE_INDEX_INVALID == path->fp_via_fib);
1985
Neale Rannsda78f952017-05-24 09:15:43 -07001986 if (DPO_PROTO_MPLS == path->fp_nh_proto)
Neale Rannsad422ed2016-11-02 14:20:04 +00001987 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001988 fib_prefix_from_mpls_label(path->recursive.fp_nh.fp_local_label,
1989 path->recursive.fp_nh.fp_eos,
1990 &pfx);
Neale Rannsad422ed2016-11-02 14:20:04 +00001991 }
1992 else
1993 {
Huawei LI06923b32022-09-29 11:28:12 +08001994 ASSERT(!ip46_address_is_zero(&path->recursive.fp_nh.fp_ip));
1995
1996 fib_protocol_t fp = (ip46_address_is_ip4(&path->recursive.fp_nh.fp_ip) ?
1997 FIB_PROTOCOL_IP4 : FIB_PROTOCOL_IP6);
1998 fib_prefix_from_ip46_addr(fp, &path->recursive.fp_nh.fp_ip, &pfx);
Neale Rannsad422ed2016-11-02 14:20:04 +00001999 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002000
Neale Ranns6fff24a2018-09-10 19:14:07 -07002001 fib_table_lock(path->recursive.fp_tbl_id,
2002 dpo_proto_to_fib(path->fp_nh_proto),
2003 FIB_SOURCE_RR);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002004 fei = fib_table_entry_special_add(path->recursive.fp_tbl_id,
2005 &pfx,
2006 FIB_SOURCE_RR,
Neale Rannsa0558302017-04-13 00:44:52 -07002007 FIB_ENTRY_FLAG_NONE);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002008
2009 path = fib_path_get(path_index);
2010 path->fp_via_fib = fei;
2011
2012 /*
2013 * become a dependent child of the entry so the path is
2014 * informed when the forwarding for the entry changes.
2015 */
2016 path->fp_sibling = fib_entry_child_add(path->fp_via_fib,
2017 FIB_NODE_TYPE_PATH,
2018 fib_path_get_index(path));
2019
2020 /*
2021 * create and configure the IP DPO
2022 */
2023 fib_path_recursive_adj_update(
2024 path,
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002025 fib_path_to_chain_type(path),
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002026 &path->fp_dpo);
2027
2028 break;
2029 }
Neale Rannsd792d9c2017-10-21 10:53:20 -07002030 case FIB_PATH_TYPE_BIER_FMASK:
2031 {
2032 /*
Neale Rannsd792d9c2017-10-21 10:53:20 -07002033 * become a dependent child of the entry so the path is
2034 * informed when the forwarding for the entry changes.
2035 */
Neale Ranns91286372017-12-05 13:24:04 -08002036 path->fp_sibling = bier_fmask_child_add(path->bier_fmask.fp_bier_fmask,
Neale Rannsd792d9c2017-10-21 10:53:20 -07002037 FIB_NODE_TYPE_PATH,
2038 fib_path_get_index(path));
2039
Neale Ranns91286372017-12-05 13:24:04 -08002040 path->fp_via_bier_fmask = path->bier_fmask.fp_bier_fmask;
Neale Rannsd792d9c2017-10-21 10:53:20 -07002041 fib_path_bier_fmask_update(path, &path->fp_dpo);
2042
2043 break;
2044 }
2045 case FIB_PATH_TYPE_BIER_IMP:
2046 bier_imp_lock(path->bier_imp.fp_bier_imp);
2047 bier_imp_contribute_forwarding(path->bier_imp.fp_bier_imp,
2048 DPO_PROTO_IP4,
2049 &path->fp_dpo);
2050 break;
2051 case FIB_PATH_TYPE_BIER_TABLE:
2052 {
2053 /*
2054 * Find/create the BIER table to link to
2055 */
2056 ASSERT(FIB_NODE_INDEX_INVALID == path->fp_via_bier_tbl);
2057
2058 path->fp_via_bier_tbl =
2059 bier_table_ecmp_create_and_lock(&path->bier_table.fp_bier_tbl);
2060
2061 bier_table_contribute_forwarding(path->fp_via_bier_tbl,
2062 &path->fp_dpo);
2063 break;
2064 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002065 case FIB_PATH_TYPE_SPECIAL:
Neale Ranns097fa662018-05-01 05:17:55 -07002066 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_PROHIBIT)
2067 {
2068 ip_null_dpo_add_and_lock (path->fp_nh_proto,
2069 IP_NULL_ACTION_SEND_ICMP_PROHIBIT,
2070 &path->fp_dpo);
2071 }
2072 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_UNREACH)
2073 {
2074 ip_null_dpo_add_and_lock (path->fp_nh_proto,
2075 IP_NULL_ACTION_SEND_ICMP_UNREACH,
2076 &path->fp_dpo);
2077 }
2078 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_CLASSIFY)
2079 {
2080 dpo_set (&path->fp_dpo, DPO_CLASSIFY,
2081 path->fp_nh_proto,
2082 classify_dpo_create (path->fp_nh_proto,
2083 path->classify.fp_classify_table_id));
2084 }
2085 else
2086 {
2087 /*
2088 * Resolve via the drop
2089 */
2090 dpo_copy(&path->fp_dpo, drop_dpo_get(path->fp_nh_proto));
2091 }
2092 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002093 case FIB_PATH_TYPE_DEAG:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002094 {
Neale Ranns91286372017-12-05 13:24:04 -08002095 if (DPO_PROTO_BIER == path->fp_nh_proto)
2096 {
2097 bier_disp_table_contribute_forwarding(path->deag.fp_tbl_id,
2098 &path->fp_dpo);
2099 }
2100 else
2101 {
2102 /*
2103 * Resolve via a lookup DPO.
2104 * FIXME. control plane should add routes with a table ID
2105 */
2106 lookup_input_t input;
2107 lookup_cast_t cast;
Neale Ranns054c03a2017-10-13 05:15:07 -07002108
Neale Ranns91286372017-12-05 13:24:04 -08002109 cast = (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RPF_ID ?
2110 LOOKUP_MULTICAST :
2111 LOOKUP_UNICAST);
2112 input = (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_DEAG_SRC ?
2113 LOOKUP_INPUT_SRC_ADDR :
2114 LOOKUP_INPUT_DST_ADDR);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002115
Neale Ranns91286372017-12-05 13:24:04 -08002116 lookup_dpo_add_or_lock_w_fib_index(path->deag.fp_tbl_id,
2117 path->fp_nh_proto,
2118 cast,
2119 input,
2120 LOOKUP_TABLE_FROM_CONFIG,
2121 &path->fp_dpo);
2122 }
2123 break;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002124 }
Neale Rannsf068c3e2018-01-03 04:18:48 -08002125 case FIB_PATH_TYPE_DVR:
Neale Rannse2fe0972020-11-26 08:37:27 +00002126 dvr_dpo_add_or_lock(path->dvr.fp_interface,
Neale Rannsf068c3e2018-01-03 04:18:48 -08002127 path->fp_nh_proto,
2128 &path->fp_dpo);
2129 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002130 case FIB_PATH_TYPE_RECEIVE:
2131 /*
2132 * Resolve via a receive DPO.
2133 */
Neale Rannsda78f952017-05-24 09:15:43 -07002134 receive_dpo_add_or_lock(path->fp_nh_proto,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002135 path->receive.fp_interface,
2136 &path->receive.fp_addr,
2137 &path->fp_dpo);
2138 break;
Neale Ranns810086d2017-11-05 16:26:46 -08002139 case FIB_PATH_TYPE_UDP_ENCAP:
2140 udp_encap_lock(path->udp_encap.fp_udp_encap_id);
2141 udp_encap_contribute_forwarding(path->udp_encap.fp_udp_encap_id,
2142 path->fp_nh_proto,
2143 &path->fp_dpo);
2144 break;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002145 case FIB_PATH_TYPE_INTF_RX: {
2146 /*
2147 * Resolve via a receive DPO.
2148 */
Neale Ranns43161a82017-08-12 02:12:00 -07002149 interface_rx_dpo_add_or_lock(path->fp_nh_proto,
2150 path->intf_rx.fp_interface,
2151 &path->fp_dpo);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002152 break;
2153 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002154 case FIB_PATH_TYPE_EXCLUSIVE:
2155 /*
2156 * Resolve via the user provided DPO
2157 */
2158 dpo_copy(&path->fp_dpo, &path->exclusive.fp_ex_dpo);
2159 break;
2160 }
2161
2162 return (fib_path_is_resolved(path_index));
2163}
2164
2165u32
2166fib_path_get_resolving_interface (fib_node_index_t path_index)
2167{
2168 fib_path_t *path;
2169
2170 path = fib_path_get(path_index);
2171
2172 switch (path->fp_type)
2173 {
2174 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2175 return (path->attached_next_hop.fp_interface);
2176 case FIB_PATH_TYPE_ATTACHED:
2177 return (path->attached.fp_interface);
2178 case FIB_PATH_TYPE_RECEIVE:
2179 return (path->receive.fp_interface);
2180 case FIB_PATH_TYPE_RECURSIVE:
Neale Ranns08b16482017-05-13 05:52:58 -07002181 if (fib_path_is_resolved(path_index))
2182 {
2183 return (fib_entry_get_resolving_interface(path->fp_via_fib));
2184 }
2185 break;
Neale Rannsf068c3e2018-01-03 04:18:48 -08002186 case FIB_PATH_TYPE_DVR:
2187 return (path->dvr.fp_interface);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002188 case FIB_PATH_TYPE_INTF_RX:
Neale Ranns810086d2017-11-05 16:26:46 -08002189 case FIB_PATH_TYPE_UDP_ENCAP:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002190 case FIB_PATH_TYPE_SPECIAL:
2191 case FIB_PATH_TYPE_DEAG:
2192 case FIB_PATH_TYPE_EXCLUSIVE:
Neale Rannsd792d9c2017-10-21 10:53:20 -07002193 case FIB_PATH_TYPE_BIER_FMASK:
2194 case FIB_PATH_TYPE_BIER_TABLE:
2195 case FIB_PATH_TYPE_BIER_IMP:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002196 break;
2197 }
Neale Ranns4a6d0232018-04-24 07:45:33 -07002198 return (dpo_get_urpf(&path->fp_dpo));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002199}
2200
Neale Rannsd792d9c2017-10-21 10:53:20 -07002201index_t
2202fib_path_get_resolving_index (fib_node_index_t path_index)
2203{
2204 fib_path_t *path;
2205
2206 path = fib_path_get(path_index);
2207
2208 switch (path->fp_type)
2209 {
2210 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2211 case FIB_PATH_TYPE_ATTACHED:
2212 case FIB_PATH_TYPE_RECEIVE:
2213 case FIB_PATH_TYPE_INTF_RX:
2214 case FIB_PATH_TYPE_SPECIAL:
2215 case FIB_PATH_TYPE_DEAG:
Neale Rannsf068c3e2018-01-03 04:18:48 -08002216 case FIB_PATH_TYPE_DVR:
Neale Rannsd792d9c2017-10-21 10:53:20 -07002217 case FIB_PATH_TYPE_EXCLUSIVE:
2218 break;
2219 case FIB_PATH_TYPE_UDP_ENCAP:
2220 return (path->udp_encap.fp_udp_encap_id);
2221 case FIB_PATH_TYPE_RECURSIVE:
2222 return (path->fp_via_fib);
2223 case FIB_PATH_TYPE_BIER_FMASK:
Neale Ranns91286372017-12-05 13:24:04 -08002224 return (path->bier_fmask.fp_bier_fmask);
Neale Rannsd792d9c2017-10-21 10:53:20 -07002225 case FIB_PATH_TYPE_BIER_TABLE:
2226 return (path->fp_via_bier_tbl);
2227 case FIB_PATH_TYPE_BIER_IMP:
2228 return (path->bier_imp.fp_bier_imp);
2229 }
2230 return (~0);
2231}
2232
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002233adj_index_t
2234fib_path_get_adj (fib_node_index_t path_index)
2235{
2236 fib_path_t *path;
2237
2238 path = fib_path_get(path_index);
2239
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002240 if (dpo_is_adj(&path->fp_dpo))
2241 {
2242 return (path->fp_dpo.dpoi_index);
2243 }
2244 return (ADJ_INDEX_INVALID);
2245}
2246
Neale Ranns57b58602017-07-15 07:37:25 -07002247u16
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002248fib_path_get_weight (fib_node_index_t path_index)
2249{
2250 fib_path_t *path;
2251
2252 path = fib_path_get(path_index);
2253
2254 ASSERT(path);
2255
2256 return (path->fp_weight);
2257}
2258
Neale Ranns57b58602017-07-15 07:37:25 -07002259u16
2260fib_path_get_preference (fib_node_index_t path_index)
2261{
2262 fib_path_t *path;
2263
2264 path = fib_path_get(path_index);
2265
2266 ASSERT(path);
2267
2268 return (path->fp_preference);
2269}
2270
Neale Rannsd792d9c2017-10-21 10:53:20 -07002271u32
2272fib_path_get_rpf_id (fib_node_index_t path_index)
2273{
2274 fib_path_t *path;
2275
2276 path = fib_path_get(path_index);
2277
2278 ASSERT(path);
2279
2280 if (FIB_PATH_CFG_FLAG_RPF_ID & path->fp_cfg_flags)
2281 {
2282 return (path->deag.fp_rpf_id);
2283 }
2284
2285 return (~0);
2286}
2287
Neale Ranns3ee44042016-10-03 13:05:48 +01002288/**
2289 * @brief Contribute the path's adjacency to the list passed.
2290 * By calling this function over all paths, recursively, a child
2291 * can construct its full set of forwarding adjacencies, and hence its
2292 * uRPF list.
2293 */
2294void
2295fib_path_contribute_urpf (fib_node_index_t path_index,
2296 index_t urpf)
2297{
2298 fib_path_t *path;
2299
Neale Ranns3ee44042016-10-03 13:05:48 +01002300 path = fib_path_get(path_index);
2301
Neale Ranns88fc83e2017-04-05 08:11:14 -07002302 /*
2303 * resolved and unresolved paths contribute to the RPF list.
2304 */
Neale Ranns3ee44042016-10-03 13:05:48 +01002305 switch (path->fp_type)
2306 {
2307 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2308 fib_urpf_list_append(urpf, path->attached_next_hop.fp_interface);
2309 break;
2310
2311 case FIB_PATH_TYPE_ATTACHED:
2312 fib_urpf_list_append(urpf, path->attached.fp_interface);
2313 break;
2314
2315 case FIB_PATH_TYPE_RECURSIVE:
Neale Ranns08b16482017-05-13 05:52:58 -07002316 if (FIB_NODE_INDEX_INVALID != path->fp_via_fib &&
2317 !fib_path_is_looped(path_index))
Neale Ranns88fc83e2017-04-05 08:11:14 -07002318 {
2319 /*
2320 * there's unresolved due to constraints, and there's unresolved
Neale Ranns08b16482017-05-13 05:52:58 -07002321 * due to ain't got no via. can't do nowt w'out via.
Neale Ranns88fc83e2017-04-05 08:11:14 -07002322 */
2323 fib_entry_contribute_urpf(path->fp_via_fib, urpf);
2324 }
Neale Ranns3ee44042016-10-03 13:05:48 +01002325 break;
2326
2327 case FIB_PATH_TYPE_EXCLUSIVE:
2328 case FIB_PATH_TYPE_SPECIAL:
Andrew Yourtchenko5f3fcb92017-10-25 05:50:37 -07002329 {
2330 /*
Neale Ranns3ee44042016-10-03 13:05:48 +01002331 * these path types may link to an adj, if that's what
2332 * the clinet gave
2333 */
Andrew Yourtchenko5f3fcb92017-10-25 05:50:37 -07002334 u32 rpf_sw_if_index;
2335
2336 rpf_sw_if_index = dpo_get_urpf(&path->fp_dpo);
2337
2338 if (~0 != rpf_sw_if_index)
Neale Ranns3ee44042016-10-03 13:05:48 +01002339 {
Andrew Yourtchenko5f3fcb92017-10-25 05:50:37 -07002340 fib_urpf_list_append(urpf, rpf_sw_if_index);
Neale Ranns3ee44042016-10-03 13:05:48 +01002341 }
2342 break;
Andrew Yourtchenko5f3fcb92017-10-25 05:50:37 -07002343 }
Neale Rannsf068c3e2018-01-03 04:18:48 -08002344 case FIB_PATH_TYPE_DVR:
2345 fib_urpf_list_append(urpf, path->dvr.fp_interface);
2346 break;
Arthur de Kerhor8a6f5d32021-05-20 11:48:00 +02002347 case FIB_PATH_TYPE_UDP_ENCAP:
2348 fib_urpf_list_append(urpf, path->udp_encap.fp_udp_encap_id);
2349 break;
Neale Ranns3ee44042016-10-03 13:05:48 +01002350 case FIB_PATH_TYPE_DEAG:
2351 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002352 case FIB_PATH_TYPE_INTF_RX:
Neale Rannsd792d9c2017-10-21 10:53:20 -07002353 case FIB_PATH_TYPE_BIER_FMASK:
2354 case FIB_PATH_TYPE_BIER_TABLE:
2355 case FIB_PATH_TYPE_BIER_IMP:
Neale Ranns3ee44042016-10-03 13:05:48 +01002356 /*
2357 * these path types don't link to an adj
2358 */
2359 break;
2360 }
2361}
2362
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002363void
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002364fib_path_stack_mpls_disp (fib_node_index_t path_index,
2365 dpo_proto_t payload_proto,
Neale Ranns31ed7442018-02-23 05:29:09 -08002366 fib_mpls_lsp_mode_t mode,
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002367 dpo_id_t *dpo)
2368{
2369 fib_path_t *path;
2370
2371 path = fib_path_get(path_index);
2372
2373 ASSERT(path);
2374
2375 switch (path->fp_type)
2376 {
Neale Ranns62fe07c2017-10-31 12:28:22 -07002377 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2378 {
2379 dpo_id_t tmp = DPO_INVALID;
2380
2381 dpo_copy(&tmp, dpo);
Neale Ranns31ed7442018-02-23 05:29:09 -08002382
2383 mpls_disp_dpo_create(payload_proto, ~0, mode, &tmp, dpo);
Neale Ranns62fe07c2017-10-31 12:28:22 -07002384 dpo_reset(&tmp);
2385 break;
2386 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002387 case FIB_PATH_TYPE_DEAG:
2388 {
2389 dpo_id_t tmp = DPO_INVALID;
2390
2391 dpo_copy(&tmp, dpo);
Neale Ranns31ed7442018-02-23 05:29:09 -08002392
2393 mpls_disp_dpo_create(payload_proto,
2394 path->deag.fp_rpf_id,
2395 mode, &tmp, dpo);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002396 dpo_reset(&tmp);
2397 break;
Neale Ranns810086d2017-11-05 16:26:46 -08002398 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002399 case FIB_PATH_TYPE_RECEIVE:
2400 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002401 case FIB_PATH_TYPE_RECURSIVE:
2402 case FIB_PATH_TYPE_INTF_RX:
Neale Ranns810086d2017-11-05 16:26:46 -08002403 case FIB_PATH_TYPE_UDP_ENCAP:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002404 case FIB_PATH_TYPE_EXCLUSIVE:
2405 case FIB_PATH_TYPE_SPECIAL:
Neale Rannsd792d9c2017-10-21 10:53:20 -07002406 case FIB_PATH_TYPE_BIER_FMASK:
2407 case FIB_PATH_TYPE_BIER_TABLE:
2408 case FIB_PATH_TYPE_BIER_IMP:
Neale Rannsf068c3e2018-01-03 04:18:48 -08002409 case FIB_PATH_TYPE_DVR:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002410 break;
2411 }
Neale Ranns1dbcf302019-07-19 11:44:53 +00002412
2413 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_POP_PW_CW)
2414 {
2415 dpo_id_t tmp = DPO_INVALID;
2416
2417 dpo_copy(&tmp, dpo);
2418
2419 pw_cw_dpo_create(&tmp, dpo);
2420 dpo_reset(&tmp);
2421 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002422}
2423
2424void
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002425fib_path_contribute_forwarding (fib_node_index_t path_index,
2426 fib_forward_chain_type_t fct,
Neale Ranns53962fb2021-12-20 18:18:42 +00002427 dpo_proto_t payload_proto,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002428 dpo_id_t *dpo)
2429{
2430 fib_path_t *path;
2431
2432 path = fib_path_get(path_index);
2433
2434 ASSERT(path);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002435
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002436 /*
2437 * The DPO stored in the path was created when the path was resolved.
2438 * This then represents the path's 'native' protocol; IP.
2439 * For all others will need to go find something else.
2440 */
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002441 if (fib_path_to_chain_type(path) == fct)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002442 {
2443 dpo_copy(dpo, &path->fp_dpo);
2444 }
Neale Ranns5e575b12016-10-03 09:40:25 +01002445 else
2446 {
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002447 switch (path->fp_type)
2448 {
2449 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2450 switch (fct)
2451 {
Neale Ranns53962fb2021-12-20 18:18:42 +00002452 case FIB_FORW_CHAIN_TYPE_MPLS_EOS: {
2453 dpo_id_t tmp = DPO_INVALID;
2454 dpo_copy (&tmp, dpo);
2455 path = fib_path_attached_next_hop_get_adj(
2456 path,
2457 dpo_proto_to_link(payload_proto),
2458 &tmp);
2459 dpo_copy (dpo, &tmp);
2460 dpo_reset(&tmp);
2461 break;
2462 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002463 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2464 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002465 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
Neale Ranns5e575b12016-10-03 09:40:25 +01002466 case FIB_FORW_CHAIN_TYPE_ETHERNET:
Florin Corasce1b4c72017-01-26 14:25:34 -08002467 case FIB_FORW_CHAIN_TYPE_NSH:
Neale Rannse821ab12017-06-01 07:45:05 -07002468 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2469 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
BenoƮt Gannee9d7b092021-06-08 18:44:37 +02002470 {
2471 dpo_id_t tmp = DPO_INVALID;
2472 dpo_copy (&tmp, dpo);
2473 path = fib_path_attached_next_hop_get_adj(
2474 path,
2475 fib_forw_chain_type_to_link_type(fct),
2476 &tmp);
2477 dpo_copy (dpo, &tmp);
2478 dpo_reset(&tmp);
2479 break;
2480 }
Neale Rannsd792d9c2017-10-21 10:53:20 -07002481 case FIB_FORW_CHAIN_TYPE_BIER:
2482 break;
2483 }
Neale Ranns32e1c012016-11-22 17:07:28 +00002484 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002485 case FIB_PATH_TYPE_RECURSIVE:
2486 switch (fct)
2487 {
2488 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2489 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2490 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002491 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
Neale Ranns32e1c012016-11-22 17:07:28 +00002492 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2493 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
Neale Rannsd792d9c2017-10-21 10:53:20 -07002494 case FIB_FORW_CHAIN_TYPE_BIER:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002495 fib_path_recursive_adj_update(path, fct, dpo);
2496 break;
Neale Ranns5e575b12016-10-03 09:40:25 +01002497 case FIB_FORW_CHAIN_TYPE_ETHERNET:
Florin Corasce1b4c72017-01-26 14:25:34 -08002498 case FIB_FORW_CHAIN_TYPE_NSH:
Neale Ranns5e575b12016-10-03 09:40:25 +01002499 ASSERT(0);
2500 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002501 }
2502 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -07002503 case FIB_PATH_TYPE_BIER_TABLE:
2504 switch (fct)
2505 {
2506 case FIB_FORW_CHAIN_TYPE_BIER:
2507 bier_table_contribute_forwarding(path->fp_via_bier_tbl, dpo);
2508 break;
2509 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2510 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2511 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
2512 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2513 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2514 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
2515 case FIB_FORW_CHAIN_TYPE_ETHERNET:
2516 case FIB_FORW_CHAIN_TYPE_NSH:
2517 ASSERT(0);
2518 break;
2519 }
2520 break;
2521 case FIB_PATH_TYPE_BIER_FMASK:
2522 switch (fct)
2523 {
2524 case FIB_FORW_CHAIN_TYPE_BIER:
2525 fib_path_bier_fmask_update(path, dpo);
2526 break;
2527 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2528 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2529 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
2530 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2531 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2532 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
2533 case FIB_FORW_CHAIN_TYPE_ETHERNET:
2534 case FIB_FORW_CHAIN_TYPE_NSH:
2535 ASSERT(0);
2536 break;
2537 }
2538 break;
2539 case FIB_PATH_TYPE_BIER_IMP:
2540 bier_imp_contribute_forwarding(path->bier_imp.fp_bier_imp,
2541 fib_forw_chain_type_to_dpo_proto(fct),
2542 dpo);
2543 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002544 case FIB_PATH_TYPE_DEAG:
Neale Ranns32e1c012016-11-22 17:07:28 +00002545 switch (fct)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002546 {
2547 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2548 lookup_dpo_add_or_lock_w_table_id(MPLS_FIB_DEFAULT_TABLE_ID,
2549 DPO_PROTO_MPLS,
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002550 LOOKUP_UNICAST,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002551 LOOKUP_INPUT_DST_ADDR,
2552 LOOKUP_TABLE_FROM_CONFIG,
2553 dpo);
2554 break;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002555 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002556 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2557 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
Neale Ranns32e1c012016-11-22 17:07:28 +00002558 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2559 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
Neale Ranns097fa662018-05-01 05:17:55 -07002560 dpo_copy(dpo, &path->fp_dpo);
2561 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -07002562 case FIB_FORW_CHAIN_TYPE_BIER:
2563 break;
Neale Ranns5e575b12016-10-03 09:40:25 +01002564 case FIB_FORW_CHAIN_TYPE_ETHERNET:
Florin Corasce1b4c72017-01-26 14:25:34 -08002565 case FIB_FORW_CHAIN_TYPE_NSH:
Neale Ranns5e575b12016-10-03 09:40:25 +01002566 ASSERT(0);
2567 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002568 }
2569 break;
2570 case FIB_PATH_TYPE_EXCLUSIVE:
2571 dpo_copy(dpo, &path->exclusive.fp_ex_dpo);
2572 break;
2573 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns32e1c012016-11-22 17:07:28 +00002574 switch (fct)
2575 {
Neale Ranns53962fb2021-12-20 18:18:42 +00002576 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2577 /*
2578 * End of stack traffic via an attacehd path (a glean)
2579 * must forace an IP lookup so that the IP packet can
2580 * match against any installed adj-fibs
2581 */
2582 lookup_dpo_add_or_lock_w_fib_index(
2583 fib_table_get_index_for_sw_if_index(
2584 dpo_proto_to_fib(payload_proto),
2585 path->attached.fp_interface),
2586 payload_proto,
2587 LOOKUP_UNICAST,
2588 LOOKUP_INPUT_DST_ADDR,
2589 LOOKUP_TABLE_FROM_CONFIG,
2590 dpo);
2591 break;
Neale Ranns32e1c012016-11-22 17:07:28 +00002592 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2593 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2594 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
Neale Ranns32e1c012016-11-22 17:07:28 +00002595 case FIB_FORW_CHAIN_TYPE_ETHERNET:
Florin Corasce1b4c72017-01-26 14:25:34 -08002596 case FIB_FORW_CHAIN_TYPE_NSH:
Neale Rannsd792d9c2017-10-21 10:53:20 -07002597 case FIB_FORW_CHAIN_TYPE_BIER:
Neale Ranns3fd99042019-12-16 00:53:11 +00002598 fib_path_attached_get_adj(path,
2599 fib_forw_chain_type_to_link_type(fct),
2600 dpo);
2601 break;
Neale Ranns32e1c012016-11-22 17:07:28 +00002602 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2603 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
2604 {
2605 adj_index_t ai;
2606
2607 /*
2608 * Create the adj needed for sending IP multicast traffic
2609 */
Neale Rannsda0e7492019-10-07 22:44:54 -07002610 if (vnet_sw_interface_is_p2p(vnet_get_main(),
2611 path->attached.fp_interface))
2612 {
2613 /*
2614 * point-2-point interfaces do not require a glean, since
2615 * there is nothing to ARP. Install a rewrite/nbr adj instead
2616 */
2617 ai = adj_nbr_add_or_lock(dpo_proto_to_fib(path->fp_nh_proto),
2618 fib_forw_chain_type_to_link_type(fct),
2619 &zero_addr,
2620 path->attached.fp_interface);
2621 }
2622 else
2623 {
2624 ai = adj_mcast_add_or_lock(dpo_proto_to_fib(path->fp_nh_proto),
2625 fib_forw_chain_type_to_link_type(fct),
2626 path->attached.fp_interface);
2627 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002628 dpo_set(dpo, DPO_ADJACENCY,
Neale Ranns32e1c012016-11-22 17:07:28 +00002629 fib_forw_chain_type_to_dpo_proto(fct),
2630 ai);
2631 adj_unlock(ai);
2632 }
2633 break;
2634 }
2635 break;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002636 case FIB_PATH_TYPE_INTF_RX:
2637 /*
2638 * Create the adj needed for sending IP multicast traffic
2639 */
Neale Ranns53962fb2021-12-20 18:18:42 +00002640 interface_rx_dpo_add_or_lock(payload_proto,
2641 path->intf_rx.fp_interface,
Neale Ranns43161a82017-08-12 02:12:00 -07002642 dpo);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002643 break;
Neale Ranns810086d2017-11-05 16:26:46 -08002644 case FIB_PATH_TYPE_UDP_ENCAP:
2645 udp_encap_contribute_forwarding(path->udp_encap.fp_udp_encap_id,
2646 path->fp_nh_proto,
2647 dpo);
2648 break;
Neale Ranns32e1c012016-11-22 17:07:28 +00002649 case FIB_PATH_TYPE_RECEIVE:
2650 case FIB_PATH_TYPE_SPECIAL:
Neale Rannsf068c3e2018-01-03 04:18:48 -08002651 case FIB_PATH_TYPE_DVR:
Neale Ranns32e1c012016-11-22 17:07:28 +00002652 dpo_copy(dpo, &path->fp_dpo);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002653 break;
2654 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002655 }
2656}
2657
2658load_balance_path_t *
2659fib_path_append_nh_for_multipath_hash (fib_node_index_t path_index,
2660 fib_forward_chain_type_t fct,
Neale Ranns53962fb2021-12-20 18:18:42 +00002661 dpo_proto_t payload_proto,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002662 load_balance_path_t *hash_key)
2663{
2664 load_balance_path_t *mnh;
2665 fib_path_t *path;
2666
2667 path = fib_path_get(path_index);
2668
2669 ASSERT(path);
2670
Neale Rannsac64b712018-10-08 14:51:11 +00002671 vec_add2(hash_key, mnh, 1);
2672
2673 mnh->path_weight = path->fp_weight;
2674 mnh->path_index = path_index;
2675
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002676 if (fib_path_is_resolved(path_index))
2677 {
Neale Ranns53962fb2021-12-20 18:18:42 +00002678 fib_path_contribute_forwarding(path_index, fct, payload_proto, &mnh->path_dpo);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002679 }
Neale Rannsac64b712018-10-08 14:51:11 +00002680 else
2681 {
2682 dpo_copy(&mnh->path_dpo,
2683 drop_dpo_get(fib_forw_chain_type_to_dpo_proto(fct)));
2684 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002685 return (hash_key);
2686}
2687
2688int
Neale Rannsf12a83f2017-04-18 09:09:40 -07002689fib_path_is_recursive_constrained (fib_node_index_t path_index)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002690{
2691 fib_path_t *path;
2692
2693 path = fib_path_get(path_index);
2694
Neale Rannsf12a83f2017-04-18 09:09:40 -07002695 return ((FIB_PATH_TYPE_RECURSIVE == path->fp_type) &&
2696 ((path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RESOLVE_ATTACHED) ||
2697 (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RESOLVE_HOST)));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002698}
2699
2700int
2701fib_path_is_exclusive (fib_node_index_t path_index)
2702{
2703 fib_path_t *path;
2704
2705 path = fib_path_get(path_index);
2706
2707 return (FIB_PATH_TYPE_EXCLUSIVE == path->fp_type);
2708}
2709
2710int
2711fib_path_is_deag (fib_node_index_t path_index)
2712{
2713 fib_path_t *path;
2714
2715 path = fib_path_get(path_index);
2716
2717 return (FIB_PATH_TYPE_DEAG == path->fp_type);
2718}
2719
2720int
2721fib_path_is_resolved (fib_node_index_t path_index)
2722{
2723 fib_path_t *path;
2724
2725 path = fib_path_get(path_index);
2726
2727 return (dpo_id_is_valid(&path->fp_dpo) &&
2728 (path->fp_oper_flags & FIB_PATH_OPER_FLAG_RESOLVED) &&
2729 !fib_path_is_looped(path_index) &&
2730 !fib_path_is_permanent_drop(path));
2731}
2732
2733int
2734fib_path_is_looped (fib_node_index_t path_index)
2735{
2736 fib_path_t *path;
2737
2738 path = fib_path_get(path_index);
2739
2740 return (path->fp_oper_flags & FIB_PATH_OPER_FLAG_RECURSIVE_LOOP);
2741}
2742
Neale Ranns81424992017-05-18 03:03:22 -07002743fib_path_list_walk_rc_t
Steven01b07122016-11-02 10:40:09 -07002744fib_path_encode (fib_node_index_t path_list_index,
Neale Ranns775f73c2018-12-20 03:01:49 -08002745 fib_node_index_t path_index,
2746 const fib_path_ext_t *path_ext,
Neale Ranns097fa662018-05-01 05:17:55 -07002747 void *args)
Steven01b07122016-11-02 10:40:09 -07002748{
Neale Ranns097fa662018-05-01 05:17:55 -07002749 fib_path_encode_ctx_t *ctx = args;
2750 fib_route_path_t *rpath;
Steven01b07122016-11-02 10:40:09 -07002751 fib_path_t *path;
2752
2753 path = fib_path_get(path_index);
2754 if (!path)
Neale Ranns81424992017-05-18 03:03:22 -07002755 return (FIB_PATH_LIST_WALK_CONTINUE);
Neale Ranns097fa662018-05-01 05:17:55 -07002756
2757 vec_add2(ctx->rpaths, rpath, 1);
2758 rpath->frp_weight = path->fp_weight;
2759 rpath->frp_preference = path->fp_preference;
2760 rpath->frp_proto = path->fp_nh_proto;
2761 rpath->frp_sw_if_index = ~0;
2762 rpath->frp_fib_index = 0;
Neale Rannsa161a6d2017-11-14 08:10:41 -08002763
Steven01b07122016-11-02 10:40:09 -07002764 switch (path->fp_type)
Neale Ranns775f73c2018-12-20 03:01:49 -08002765 {
Steven01b07122016-11-02 10:40:09 -07002766 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns097fa662018-05-01 05:17:55 -07002767 rpath->frp_addr = path->receive.fp_addr;
2768 rpath->frp_sw_if_index = path->receive.fp_interface;
2769 rpath->frp_flags |= FIB_ROUTE_PATH_LOCAL;
Steven01b07122016-11-02 10:40:09 -07002770 break;
2771 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns097fa662018-05-01 05:17:55 -07002772 rpath->frp_sw_if_index = path->attached.fp_interface;
Steven01b07122016-11-02 10:40:09 -07002773 break;
2774 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
Neale Ranns097fa662018-05-01 05:17:55 -07002775 rpath->frp_sw_if_index = path->attached_next_hop.fp_interface;
2776 rpath->frp_addr = path->attached_next_hop.fp_nh;
Steven01b07122016-11-02 10:40:09 -07002777 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -07002778 case FIB_PATH_TYPE_BIER_FMASK:
Neale Ranns097fa662018-05-01 05:17:55 -07002779 rpath->frp_bier_fmask = path->bier_fmask.fp_bier_fmask;
Neale Rannsd792d9c2017-10-21 10:53:20 -07002780 break;
Steven01b07122016-11-02 10:40:09 -07002781 case FIB_PATH_TYPE_SPECIAL:
2782 break;
2783 case FIB_PATH_TYPE_DEAG:
Neale Ranns097fa662018-05-01 05:17:55 -07002784 rpath->frp_fib_index = path->deag.fp_tbl_id;
Neale Ranns775f73c2018-12-20 03:01:49 -08002785 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RPF_ID)
2786 {
Neale Ranns097fa662018-05-01 05:17:55 -07002787 rpath->frp_flags |= FIB_ROUTE_PATH_RPF_ID;
Neale Ranns775f73c2018-12-20 03:01:49 -08002788 }
Steven01b07122016-11-02 10:40:09 -07002789 break;
2790 case FIB_PATH_TYPE_RECURSIVE:
Neale Ranns097fa662018-05-01 05:17:55 -07002791 rpath->frp_addr = path->recursive.fp_nh.fp_ip;
2792 rpath->frp_fib_index = path->recursive.fp_tbl_id;
Steven01b07122016-11-02 10:40:09 -07002793 break;
Neale Ranns81458422018-03-12 06:59:36 -07002794 case FIB_PATH_TYPE_DVR:
Neale Ranns097fa662018-05-01 05:17:55 -07002795 rpath->frp_sw_if_index = path->dvr.fp_interface;
2796 rpath->frp_flags |= FIB_ROUTE_PATH_DVR;
Neale Ranns81458422018-03-12 06:59:36 -07002797 break;
2798 case FIB_PATH_TYPE_UDP_ENCAP:
Neale Ranns097fa662018-05-01 05:17:55 -07002799 rpath->frp_udp_encap_id = path->udp_encap.fp_udp_encap_id;
2800 rpath->frp_flags |= FIB_ROUTE_PATH_UDP_ENCAP;
Neale Ranns81458422018-03-12 06:59:36 -07002801 break;
Neale Ranns775f73c2018-12-20 03:01:49 -08002802 case FIB_PATH_TYPE_INTF_RX:
Neale Ranns097fa662018-05-01 05:17:55 -07002803 rpath->frp_sw_if_index = path->receive.fp_interface;
2804 rpath->frp_flags |= FIB_ROUTE_PATH_INTF_RX;
Neale Ranns775f73c2018-12-20 03:01:49 -08002805 break;
Neale Ranns097fa662018-05-01 05:17:55 -07002806 case FIB_PATH_TYPE_EXCLUSIVE:
2807 rpath->frp_flags |= FIB_ROUTE_PATH_EXCLUSIVE;
Steven01b07122016-11-02 10:40:09 -07002808 default:
2809 break;
Neale Ranns775f73c2018-12-20 03:01:49 -08002810 }
2811
2812 if (path_ext && path_ext->fpe_type == FIB_PATH_EXT_MPLS)
2813 {
Neale Ranns097fa662018-05-01 05:17:55 -07002814 rpath->frp_label_stack = path_ext->fpe_path.frp_label_stack;
Neale Ranns775f73c2018-12-20 03:01:49 -08002815 }
Neale Rannsa161a6d2017-11-14 08:10:41 -08002816
Neale Ranns097fa662018-05-01 05:17:55 -07002817 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_DROP)
2818 rpath->frp_flags |= FIB_ROUTE_PATH_DROP;
2819 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_UNREACH)
2820 rpath->frp_flags |= FIB_ROUTE_PATH_ICMP_UNREACH;
2821 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_PROHIBIT)
2822 rpath->frp_flags |= FIB_ROUTE_PATH_ICMP_PROHIBIT;
2823
Neale Ranns81424992017-05-18 03:03:22 -07002824 return (FIB_PATH_LIST_WALK_CONTINUE);
Steven01b07122016-11-02 10:40:09 -07002825}
2826
Neale Rannsda78f952017-05-24 09:15:43 -07002827dpo_proto_t
Neale Rannsad422ed2016-11-02 14:20:04 +00002828fib_path_get_proto (fib_node_index_t path_index)
2829{
2830 fib_path_t *path;
2831
2832 path = fib_path_get(path_index);
2833
2834 return (path->fp_nh_proto);
2835}
2836
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002837void
2838fib_path_module_init (void)
2839{
2840 fib_node_register_type (FIB_NODE_TYPE_PATH, &fib_path_vft);
Neale Ranns710071b2018-09-24 12:36:26 +00002841 fib_path_logger = vlib_log_register_class ("fib", "path");
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002842}
2843
2844static clib_error_t *
2845show_fib_path_command (vlib_main_t * vm,
2846 unformat_input_t * input,
2847 vlib_cli_command_t * cmd)
2848{
Neale Ranns33a7dd52016-10-07 15:14:33 +01002849 fib_node_index_t pi;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002850 fib_path_t *path;
2851
Neale Ranns33a7dd52016-10-07 15:14:33 +01002852 if (unformat (input, "%d", &pi))
2853 {
2854 /*
2855 * show one in detail
2856 */
2857 if (!pool_is_free_index(fib_path_pool, pi))
2858 {
2859 path = fib_path_get(pi);
Neale Ranns710071b2018-09-24 12:36:26 +00002860 u8 *s = format(NULL, "%U", format_fib_path, pi, 1,
2861 FIB_PATH_FORMAT_FLAGS_NONE);
Neale Ranns521a8d72018-12-06 13:46:49 +00002862 s = format(s, "\n children:");
Neale Ranns33a7dd52016-10-07 15:14:33 +01002863 s = fib_node_children_format(path->fp_node.fn_children, s);
BenoƮt Ganne84382ae2020-02-04 16:45:09 +01002864 vlib_cli_output (vm, "%v", s);
Neale Ranns33a7dd52016-10-07 15:14:33 +01002865 vec_free(s);
2866 }
2867 else
2868 {
2869 vlib_cli_output (vm, "path %d invalid", pi);
2870 }
2871 }
2872 else
2873 {
2874 vlib_cli_output (vm, "FIB Paths");
Damjan Marionb2c31b62020-12-13 21:47:40 +01002875 pool_foreach_index (pi, fib_path_pool)
2876 {
Neale Ranns710071b2018-09-24 12:36:26 +00002877 vlib_cli_output (vm, "%U", format_fib_path, pi, 0,
2878 FIB_PATH_FORMAT_FLAGS_NONE);
Damjan Marionb2c31b62020-12-13 21:47:40 +01002879 }
Neale Ranns33a7dd52016-10-07 15:14:33 +01002880 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002881
2882 return (NULL);
2883}
2884
2885VLIB_CLI_COMMAND (show_fib_path, static) = {
2886 .path = "show fib paths",
2887 .function = show_fib_path_command,
2888 .short_help = "show fib paths",
2889};