blob: db78587fb27012023dfd882c454db87ebde8f663 [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",
504 format_vnet_sw_interface_name,
505 vnm,
506 vnet_get_sw_interface(
507 vnm,
508 path->attached_next_hop.fp_interface));
509 if (vnet_sw_interface_is_p2p(vnet_get_main(),
510 path->attached_next_hop.fp_interface))
511 {
512 s = format (s, " (p2p)");
513 }
514 }
515 if (!dpo_id_is_valid(&path->fp_dpo))
516 {
Neale Ranns710071b2018-09-24 12:36:26 +0000517 s = format(s, "%s%Uunresolved", eol, format_white_space, indent+2);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100518 }
519 else
520 {
Neale Ranns710071b2018-09-24 12:36:26 +0000521 s = format(s, "%s%U%U", eol,
Neale Ranns91286372017-12-05 13:24:04 -0800522 format_white_space, indent,
523 format_dpo_id,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100524 &path->fp_dpo, 13);
525 }
526 break;
527 case FIB_PATH_TYPE_ATTACHED:
528 if (path->fp_oper_flags & FIB_PATH_OPER_FLAG_DROP)
529 {
Neale Ranns91286372017-12-05 13:24:04 -0800530 s = format (s, "if_index:%d", path->attached_next_hop.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100531 }
532 else
533 {
534 s = format (s, " %U",
535 format_vnet_sw_interface_name,
536 vnm,
537 vnet_get_sw_interface(
538 vnm,
539 path->attached.fp_interface));
540 }
541 break;
542 case FIB_PATH_TYPE_RECURSIVE:
Neale Rannsda78f952017-05-24 09:15:43 -0700543 if (DPO_PROTO_MPLS == path->fp_nh_proto)
Neale Rannsad422ed2016-11-02 14:20:04 +0000544 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800545 s = format (s, "via %U %U",
Neale Rannsad422ed2016-11-02 14:20:04 +0000546 format_mpls_unicast_label,
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800547 path->recursive.fp_nh.fp_local_label,
548 format_mpls_eos_bit,
549 path->recursive.fp_nh.fp_eos);
Neale Rannsad422ed2016-11-02 14:20:04 +0000550 }
551 else
552 {
553 s = format (s, "via %U",
554 format_ip46_address,
555 &path->recursive.fp_nh.fp_ip,
556 IP46_TYPE_ANY);
557 }
558 s = format (s, " in fib:%d",
559 path->recursive.fp_tbl_id,
560 path->fp_via_fib);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100561 s = format (s, " via-fib:%d", path->fp_via_fib);
562 s = format (s, " via-dpo:[%U:%d]",
563 format_dpo_type, path->fp_dpo.dpoi_type,
564 path->fp_dpo.dpoi_index);
565
566 break;
Neale Ranns810086d2017-11-05 16:26:46 -0800567 case FIB_PATH_TYPE_UDP_ENCAP:
Neale Ranns91286372017-12-05 13:24:04 -0800568 s = format (s, "UDP-encap ID:%d", path->udp_encap.fp_udp_encap_id);
Neale Ranns810086d2017-11-05 16:26:46 -0800569 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -0700570 case FIB_PATH_TYPE_BIER_TABLE:
571 s = format (s, "via bier-table:[%U}",
572 format_bier_table_id,
573 &path->bier_table.fp_bier_tbl);
574 s = format (s, " via-dpo:[%U:%d]",
575 format_dpo_type, path->fp_dpo.dpoi_type,
576 path->fp_dpo.dpoi_index);
577 break;
578 case FIB_PATH_TYPE_BIER_FMASK:
Neale Ranns91286372017-12-05 13:24:04 -0800579 s = format (s, "via-fmask:%d", path->bier_fmask.fp_bier_fmask);
Neale Rannsd792d9c2017-10-21 10:53:20 -0700580 s = format (s, " via-dpo:[%U:%d]",
581 format_dpo_type, path->fp_dpo.dpoi_type,
582 path->fp_dpo.dpoi_index);
583 break;
584 case FIB_PATH_TYPE_BIER_IMP:
585 s = format (s, "via %U", format_bier_imp,
586 path->bier_imp.fp_bier_imp, 0, BIER_SHOW_BRIEF);
587 break;
Neale Rannsf068c3e2018-01-03 04:18:48 -0800588 case FIB_PATH_TYPE_DVR:
589 s = format (s, " %U",
590 format_vnet_sw_interface_name,
591 vnm,
592 vnet_get_sw_interface(
593 vnm,
594 path->dvr.fp_interface));
595 break;
Neale Ranns775f73c2018-12-20 03:01:49 -0800596 case FIB_PATH_TYPE_DEAG:
597 s = format (s, " %sfib-index:%d",
598 (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RPF_ID ? "m" : ""),
599 path->deag.fp_tbl_id);
600 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100601 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800602 case FIB_PATH_TYPE_INTF_RX:
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100603 case FIB_PATH_TYPE_SPECIAL:
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100604 case FIB_PATH_TYPE_EXCLUSIVE:
605 if (dpo_id_is_valid(&path->fp_dpo))
606 {
607 s = format(s, "%U", format_dpo_id,
Neale Ranns91286372017-12-05 13:24:04 -0800608 &path->fp_dpo, indent+2);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100609 }
610 break;
611 }
612 return (s);
613}
614
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100615/*
616 * fib_path_last_lock_gone
617 *
618 * We don't share paths, we share path lists, so the [un]lock functions
619 * are no-ops
620 */
621static void
622fib_path_last_lock_gone (fib_node_t *node)
623{
624 ASSERT(0);
625}
626
Neale Rannsa4349552020-02-18 15:23:29 +0000627static fib_path_t*
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100628fib_path_attached_next_hop_get_adj (fib_path_t *path,
Neale Ranns3fd99042019-12-16 00:53:11 +0000629 vnet_link_t link,
630 dpo_id_t *dpo)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100631{
Neale Rannsa4349552020-02-18 15:23:29 +0000632 fib_node_index_t fib_path_index;
Neale Ranns3fd99042019-12-16 00:53:11 +0000633 fib_protocol_t nh_proto;
634 adj_index_t ai;
635
Neale Rannsa4349552020-02-18 15:23:29 +0000636 fib_path_index = fib_path_get_index(path);
Neale Ranns3fd99042019-12-16 00:53:11 +0000637 nh_proto = dpo_proto_to_fib(path->fp_nh_proto);
638
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100639 if (vnet_sw_interface_is_p2p(vnet_get_main(),
640 path->attached_next_hop.fp_interface))
641 {
642 /*
643 * if the interface is p2p then the adj for the specific
644 * neighbour on that link will never exist. on p2p links
645 * the subnet address (the attached route) links to the
646 * auto-adj (see below), we want that adj here too.
647 */
Neale Ranns3fd99042019-12-16 00:53:11 +0000648 ai = adj_nbr_add_or_lock(nh_proto, link, &zero_addr,
649 path->attached_next_hop.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100650 }
651 else
652 {
Neale Ranns3fd99042019-12-16 00:53:11 +0000653 ai = adj_nbr_add_or_lock(nh_proto, link,
654 &path->attached_next_hop.fp_nh,
655 path->attached_next_hop.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100656 }
Neale Ranns3fd99042019-12-16 00:53:11 +0000657
658 dpo_set(dpo, DPO_ADJACENCY, vnet_link_to_dpo_proto(link), ai);
659 adj_unlock(ai);
Neale Rannsa4349552020-02-18 15:23:29 +0000660
661 return (fib_path_get(fib_path_index));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100662}
663
664static void
665fib_path_attached_next_hop_set (fib_path_t *path)
666{
BenoƮt Gannee9d7b092021-06-08 18:44:37 +0200667 dpo_id_t tmp = DPO_INVALID;
668
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100669 /*
Lijian.Zhang33af8c12019-09-16 16:22:36 +0800670 * resolve directly via the adjacency discribed by the
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100671 * interface and next-hop
672 */
BenoƮt Gannee9d7b092021-06-08 18:44:37 +0200673 dpo_copy (&tmp, &path->fp_dpo);
Neale Rannsa4349552020-02-18 15:23:29 +0000674 path = fib_path_attached_next_hop_get_adj(path,
675 dpo_proto_to_link(path->fp_nh_proto),
BenoƮt Gannee9d7b092021-06-08 18:44:37 +0200676 &tmp);
677 dpo_copy(&path->fp_dpo, &tmp);
678 dpo_reset(&tmp);
Neale Ranns3fd99042019-12-16 00:53:11 +0000679 ASSERT(dpo_is_adj(&path->fp_dpo));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100680
681 /*
682 * become a child of the adjacency so we receive updates
683 * when its rewrite changes
684 */
685 path->fp_sibling = adj_child_add(path->fp_dpo.dpoi_index,
686 FIB_NODE_TYPE_PATH,
687 fib_path_get_index(path));
Neale Ranns88fc83e2017-04-05 08:11:14 -0700688
Neale Ranns3e2e1902019-03-14 09:21:02 -0700689 if (!vnet_sw_interface_is_up(vnet_get_main(),
690 path->attached_next_hop.fp_interface) ||
Neale Ranns88fc83e2017-04-05 08:11:14 -0700691 !adj_is_up(path->fp_dpo.dpoi_index))
692 {
693 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
694 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100695}
696
Neale Ranns3fd99042019-12-16 00:53:11 +0000697static void
Neale Ranns8c4611b2017-05-23 03:43:47 -0700698fib_path_attached_get_adj (fib_path_t *path,
Neale Ranns3fd99042019-12-16 00:53:11 +0000699 vnet_link_t link,
700 dpo_id_t *dpo)
Neale Ranns8c4611b2017-05-23 03:43:47 -0700701{
Neale Ranns3fd99042019-12-16 00:53:11 +0000702 fib_protocol_t nh_proto;
703
704 nh_proto = dpo_proto_to_fib(path->fp_nh_proto);
705
Neale Ranns8c4611b2017-05-23 03:43:47 -0700706 if (vnet_sw_interface_is_p2p(vnet_get_main(),
707 path->attached.fp_interface))
708 {
709 /*
710 * point-2-point interfaces do not require a glean, since
711 * there is nothing to ARP. Install a rewrite/nbr adj instead
712 */
Neale Ranns3fd99042019-12-16 00:53:11 +0000713 adj_index_t ai;
714
715 ai = adj_nbr_add_or_lock(nh_proto, link, &zero_addr,
716 path->attached.fp_interface);
717
718 dpo_set(dpo, DPO_ADJACENCY, vnet_link_to_dpo_proto(link), ai);
719 adj_unlock(ai);
720 }
721 else if (vnet_sw_interface_is_nbma(vnet_get_main(),
722 path->attached.fp_interface))
723 {
724 dpo_copy(dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns8c4611b2017-05-23 03:43:47 -0700725 }
726 else
727 {
Neale Ranns3fd99042019-12-16 00:53:11 +0000728 adj_index_t ai;
729
730 ai = adj_glean_add_or_lock(nh_proto, link,
731 path->attached.fp_interface,
Neale Rannse2fe0972020-11-26 08:37:27 +0000732 &path->attached.fp_connected);
Neale Ranns3fd99042019-12-16 00:53:11 +0000733 dpo_set(dpo, DPO_ADJACENCY_GLEAN, vnet_link_to_dpo_proto(link), ai);
734 adj_unlock(ai);
Neale Ranns8c4611b2017-05-23 03:43:47 -0700735 }
736}
737
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100738/*
739 * create of update the paths recursive adj
740 */
741static void
742fib_path_recursive_adj_update (fib_path_t *path,
743 fib_forward_chain_type_t fct,
744 dpo_id_t *dpo)
745{
Neale Ranns948e00f2016-10-20 13:39:34 +0100746 dpo_id_t via_dpo = DPO_INVALID;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100747
748 /*
749 * get the DPO to resolve through from the via-entry
750 */
751 fib_entry_contribute_forwarding(path->fp_via_fib,
752 fct,
753 &via_dpo);
754
755
756 /*
757 * hope for the best - clear if restrictions apply.
758 */
759 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
760
761 /*
762 * Validate any recursion constraints and over-ride the via
763 * adj if not met
764 */
765 if (path->fp_oper_flags & FIB_PATH_OPER_FLAG_RECURSIVE_LOOP)
766 {
767 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
Neale Rannsda78f952017-05-24 09:15:43 -0700768 dpo_copy(&via_dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100769 }
770 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RESOLVE_HOST)
771 {
772 /*
773 * the via FIB must be a host route.
774 * note the via FIB just added will always be a host route
775 * since it is an RR source added host route. So what we need to
776 * check is whether the route has other sources. If it does then
777 * some other source has added it as a host route. If it doesn't
778 * then it was added only here and inherits forwarding from a cover.
779 * the cover is not a host route.
780 * The RR source is the lowest priority source, so we check if it
781 * is the best. if it is there are no other sources.
782 */
783 if (fib_entry_get_best_source(path->fp_via_fib) >= FIB_SOURCE_RR)
784 {
785 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
Neale Rannsda78f952017-05-24 09:15:43 -0700786 dpo_copy(&via_dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100787
788 /*
789 * PIC edge trigger. let the load-balance maps know
790 */
791 load_balance_map_path_state_change(fib_path_get_index(path));
792 }
793 }
794 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RESOLVE_ATTACHED)
795 {
796 /*
797 * RR source entries inherit the flags from the cover, so
798 * we can check the via directly
799 */
800 if (!(FIB_ENTRY_FLAG_ATTACHED & fib_entry_get_flags(path->fp_via_fib)))
801 {
802 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
Neale Rannsda78f952017-05-24 09:15:43 -0700803 dpo_copy(&via_dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100804
805 /*
806 * PIC edge trigger. let the load-balance maps know
807 */
808 load_balance_map_path_state_change(fib_path_get_index(path));
809 }
810 }
Neale Ranns88fc83e2017-04-05 08:11:14 -0700811 /*
812 * check for over-riding factors on the FIB entry itself
813 */
814 if (!fib_entry_is_resolved(path->fp_via_fib))
815 {
816 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
Neale Rannsda78f952017-05-24 09:15:43 -0700817 dpo_copy(&via_dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns88fc83e2017-04-05 08:11:14 -0700818
819 /*
820 * PIC edge trigger. let the load-balance maps know
821 */
822 load_balance_map_path_state_change(fib_path_get_index(path));
823 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100824
825 /*
Neale Ranns57b58602017-07-15 07:37:25 -0700826 * If this path is contributing a drop, then it's not resolved
827 */
828 if (dpo_is_drop(&via_dpo) || load_balance_is_drop(&via_dpo))
829 {
830 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
831 }
832
833 /*
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100834 * update the path's contributed DPO
835 */
836 dpo_copy(dpo, &via_dpo);
837
Neale Rannsda78f952017-05-24 09:15:43 -0700838 FIB_PATH_DBG(path, "recursive update:");
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100839
840 dpo_reset(&via_dpo);
841}
842
843/*
Neale Rannsd792d9c2017-10-21 10:53:20 -0700844 * re-evaulate the forwarding state for a via fmask path
845 */
846static void
847fib_path_bier_fmask_update (fib_path_t *path,
848 dpo_id_t *dpo)
849{
Neale Ranns91286372017-12-05 13:24:04 -0800850 bier_fmask_contribute_forwarding(path->bier_fmask.fp_bier_fmask, dpo);
Neale Rannsd792d9c2017-10-21 10:53:20 -0700851
852 /*
853 * if we are stakcing on the drop, then the path is not resolved
854 */
855 if (dpo_is_drop(dpo))
856 {
857 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
858 }
859 else
860 {
861 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
862 }
863}
864
865/*
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100866 * fib_path_is_permanent_drop
867 *
868 * Return !0 if the path is configured to permanently drop,
869 * despite other attributes.
870 */
871static int
872fib_path_is_permanent_drop (fib_path_t *path)
873{
874 return ((path->fp_cfg_flags & FIB_PATH_CFG_FLAG_DROP) ||
875 (path->fp_oper_flags & FIB_PATH_OPER_FLAG_DROP));
876}
877
878/*
879 * fib_path_unresolve
880 *
881 * Remove our dependency on the resolution target
882 */
883static void
884fib_path_unresolve (fib_path_t *path)
885{
886 /*
887 * the forced drop path does not need unresolving
888 */
889 if (fib_path_is_permanent_drop(path))
890 {
891 return;
892 }
893
894 switch (path->fp_type)
895 {
896 case FIB_PATH_TYPE_RECURSIVE:
897 if (FIB_NODE_INDEX_INVALID != path->fp_via_fib)
898 {
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100899 fib_entry_child_remove(path->fp_via_fib,
900 path->fp_sibling);
Neale Ranns097fa662018-05-01 05:17:55 -0700901 fib_table_entry_special_remove(path->recursive.fp_tbl_id,
902 fib_entry_get_prefix(path->fp_via_fib),
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100903 FIB_SOURCE_RR);
Neale Ranns6fff24a2018-09-10 19:14:07 -0700904 fib_table_unlock(path->recursive.fp_tbl_id,
905 dpo_proto_to_fib(path->fp_nh_proto),
906 FIB_SOURCE_RR);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100907 path->fp_via_fib = FIB_NODE_INDEX_INVALID;
908 }
909 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -0700910 case FIB_PATH_TYPE_BIER_FMASK:
Neale Ranns91286372017-12-05 13:24:04 -0800911 bier_fmask_child_remove(path->fp_via_bier_fmask,
912 path->fp_sibling);
Neale Rannsd792d9c2017-10-21 10:53:20 -0700913 break;
914 case FIB_PATH_TYPE_BIER_IMP:
915 bier_imp_unlock(path->fp_dpo.dpoi_index);
916 break;
917 case FIB_PATH_TYPE_BIER_TABLE:
918 bier_table_ecmp_unlock(path->fp_via_bier_tbl);
919 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100920 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
Neale Ranns6f631152017-10-03 08:20:21 -0700921 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns3fd99042019-12-16 00:53:11 +0000922 if (dpo_is_adj(&path->fp_dpo))
923 adj_child_remove(path->fp_dpo.dpoi_index,
924 path->fp_sibling);
Neale Ranns6f631152017-10-03 08:20:21 -0700925 break;
Neale Ranns810086d2017-11-05 16:26:46 -0800926 case FIB_PATH_TYPE_UDP_ENCAP:
Neale Ranns9c0a3c42018-09-07 08:57:41 -0700927 udp_encap_unlock(path->fp_dpo.dpoi_index);
Neale Ranns810086d2017-11-05 16:26:46 -0800928 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100929 case FIB_PATH_TYPE_EXCLUSIVE:
930 dpo_reset(&path->exclusive.fp_ex_dpo);
931 break;
932 case FIB_PATH_TYPE_SPECIAL:
933 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800934 case FIB_PATH_TYPE_INTF_RX:
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100935 case FIB_PATH_TYPE_DEAG:
Neale Rannsf068c3e2018-01-03 04:18:48 -0800936 case FIB_PATH_TYPE_DVR:
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100937 /*
938 * these hold only the path's DPO, which is reset below.
939 */
940 break;
941 }
942
943 /*
944 * release the adj we were holding and pick up the
945 * drop just in case.
946 */
947 dpo_reset(&path->fp_dpo);
948 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
949
950 return;
951}
952
953static fib_forward_chain_type_t
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800954fib_path_to_chain_type (const fib_path_t *path)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100955{
Neale Rannsda78f952017-05-24 09:15:43 -0700956 if (DPO_PROTO_MPLS == path->fp_nh_proto)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100957 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800958 if (FIB_PATH_TYPE_RECURSIVE == path->fp_type &&
959 MPLS_EOS == path->recursive.fp_nh.fp_eos)
960 {
961 return (FIB_FORW_CHAIN_TYPE_MPLS_EOS);
962 }
963 else
964 {
Neale Ranns9f171f52017-04-11 08:56:53 -0700965 return (FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS);
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800966 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100967 }
Neale Rannsda78f952017-05-24 09:15:43 -0700968 else
969 {
970 return (fib_forw_chain_type_from_dpo_proto(path->fp_nh_proto));
971 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100972}
973
974/*
975 * fib_path_back_walk_notify
976 *
977 * A back walk has reach this path.
978 */
979static fib_node_back_walk_rc_t
980fib_path_back_walk_notify (fib_node_t *node,
981 fib_node_back_walk_ctx_t *ctx)
982{
983 fib_path_t *path;
984
985 path = fib_path_from_fib_node(node);
986
Neale Ranns710071b2018-09-24 12:36:26 +0000987 FIB_PATH_DBG(path, "bw:%U",
988 format_fib_node_bw_reason, ctx->fnbw_reason);
989
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100990 switch (path->fp_type)
991 {
992 case FIB_PATH_TYPE_RECURSIVE:
993 if (FIB_NODE_BW_REASON_FLAG_EVALUATE & ctx->fnbw_reason)
994 {
995 /*
996 * modify the recursive adjacency to use the new forwarding
997 * of the via-fib.
998 * this update is visible to packets in flight in the DP.
999 */
1000 fib_path_recursive_adj_update(
1001 path,
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001002 fib_path_to_chain_type(path),
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001003 &path->fp_dpo);
1004 }
Neale Rannsad95b5d2016-11-10 20:35:14 +00001005 if ((FIB_NODE_BW_REASON_FLAG_ADJ_UPDATE & ctx->fnbw_reason) ||
Neale Ranns8f5fef22020-12-21 08:29:34 +00001006 (FIB_NODE_BW_REASON_FLAG_ADJ_MTU & ctx->fnbw_reason) ||
Neale Rannsad95b5d2016-11-10 20:35:14 +00001007 (FIB_NODE_BW_REASON_FLAG_ADJ_DOWN & ctx->fnbw_reason))
Neale Rannsb80c5362016-10-08 13:03:40 +01001008 {
1009 /*
1010 * ADJ updates (complete<->incomplete) do not need to propagate to
1011 * recursive entries.
1012 * The only reason its needed as far back as here, is that the adj
1013 * and the incomplete adj are a different DPO type, so the LBs need
1014 * to re-stack.
1015 * If this walk was quashed in the fib_entry, then any non-fib_path
1016 * children (like tunnels that collapse out the LB when they stack)
1017 * would not see the update.
1018 */
1019 return (FIB_NODE_BACK_WALK_CONTINUE);
1020 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001021 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -07001022 case FIB_PATH_TYPE_BIER_FMASK:
1023 if (FIB_NODE_BW_REASON_FLAG_EVALUATE & ctx->fnbw_reason)
1024 {
1025 /*
1026 * update to use the BIER fmask's new forwading
1027 */
1028 fib_path_bier_fmask_update(path, &path->fp_dpo);
1029 }
1030 if ((FIB_NODE_BW_REASON_FLAG_ADJ_UPDATE & ctx->fnbw_reason) ||
1031 (FIB_NODE_BW_REASON_FLAG_ADJ_DOWN & ctx->fnbw_reason))
1032 {
1033 /*
1034 * ADJ updates (complete<->incomplete) do not need to propagate to
1035 * recursive entries.
1036 * The only reason its needed as far back as here, is that the adj
1037 * and the incomplete adj are a different DPO type, so the LBs need
1038 * to re-stack.
1039 * If this walk was quashed in the fib_entry, then any non-fib_path
1040 * children (like tunnels that collapse out the LB when they stack)
1041 * would not see the update.
1042 */
1043 return (FIB_NODE_BACK_WALK_CONTINUE);
1044 }
1045 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001046 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1047 /*
1048FIXME comment
1049 * ADJ_UPDATE backwalk pass silently through here and up to
1050 * the path-list when the multipath adj collapse occurs.
1051 * The reason we do this is that the assumtption is that VPP
1052 * runs in an environment where the Control-Plane is remote
1053 * and hence reacts slowly to link up down. In order to remove
1054 * this down link from the ECMP set quickly, we back-walk.
1055 * VPP also has dedicated CPUs, so we are not stealing resources
1056 * from the CP to do so.
1057 */
1058 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_UP & ctx->fnbw_reason)
1059 {
Neale Ranns8b37b872016-11-21 12:25:22 +00001060 if (path->fp_oper_flags & FIB_PATH_OPER_FLAG_RESOLVED)
1061 {
1062 /*
1063 * alreday resolved. no need to walk back again
1064 */
1065 return (FIB_NODE_BACK_WALK_CONTINUE);
1066 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001067 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1068 }
1069 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_DOWN & ctx->fnbw_reason)
1070 {
Neale Ranns8b37b872016-11-21 12:25:22 +00001071 if (!(path->fp_oper_flags & FIB_PATH_OPER_FLAG_RESOLVED))
1072 {
1073 /*
1074 * alreday unresolved. no need to walk back again
1075 */
1076 return (FIB_NODE_BACK_WALK_CONTINUE);
1077 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001078 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1079 }
1080 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_DELETE & ctx->fnbw_reason)
1081 {
1082 /*
1083 * The interface this path resolves through has been deleted.
1084 * This will leave the path in a permanent drop state. The route
1085 * needs to be removed and readded (and hence the path-list deleted)
1086 * before it can forward again.
1087 */
1088 fib_path_unresolve(path);
1089 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_DROP;
1090 }
1091 if (FIB_NODE_BW_REASON_FLAG_ADJ_UPDATE & ctx->fnbw_reason)
1092 {
1093 /*
1094 * restack the DPO to pick up the correct DPO sub-type
1095 */
BenoƮt Gannee9d7b092021-06-08 18:44:37 +02001096 dpo_id_t tmp = DPO_INVALID;
Neale Ranns8b37b872016-11-21 12:25:22 +00001097 uword if_is_up;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001098
Neale Ranns3e2e1902019-03-14 09:21:02 -07001099 if_is_up = vnet_sw_interface_is_up(
Neale Ranns8b37b872016-11-21 12:25:22 +00001100 vnet_get_main(),
1101 path->attached_next_hop.fp_interface);
1102
BenoƮt Gannee9d7b092021-06-08 18:44:37 +02001103 dpo_copy (&tmp, &path->fp_dpo);
Neale Rannsa4349552020-02-18 15:23:29 +00001104 path = fib_path_attached_next_hop_get_adj(
Neale Ranns3fd99042019-12-16 00:53:11 +00001105 path,
1106 dpo_proto_to_link(path->fp_nh_proto),
BenoƮt Gannee9d7b092021-06-08 18:44:37 +02001107 &tmp);
1108 dpo_copy(&path->fp_dpo, &tmp);
1109 dpo_reset(&tmp);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001110
Neale Ranns88fc83e2017-04-05 08:11:14 -07001111 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
Neale Ranns3fd99042019-12-16 00:53:11 +00001112 if (if_is_up && adj_is_up(path->fp_dpo.dpoi_index))
Neale Ranns88fc83e2017-04-05 08:11:14 -07001113 {
1114 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1115 }
1116
Neale Ranns8b37b872016-11-21 12:25:22 +00001117 if (!if_is_up)
1118 {
1119 /*
1120 * If the interface is not up there is no reason to walk
1121 * back to children. if we did they would only evalute
1122 * that this path is unresolved and hence it would
1123 * not contribute the adjacency - so it would be wasted
1124 * CPU time.
1125 */
1126 return (FIB_NODE_BACK_WALK_CONTINUE);
1127 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001128 }
Neale Rannsad95b5d2016-11-10 20:35:14 +00001129 if (FIB_NODE_BW_REASON_FLAG_ADJ_DOWN & ctx->fnbw_reason)
1130 {
Neale Ranns8b37b872016-11-21 12:25:22 +00001131 if (!(path->fp_oper_flags & FIB_PATH_OPER_FLAG_RESOLVED))
1132 {
1133 /*
1134 * alreday unresolved. no need to walk back again
1135 */
1136 return (FIB_NODE_BACK_WALK_CONTINUE);
1137 }
Neale Rannsad95b5d2016-11-10 20:35:14 +00001138 /*
1139 * the adj has gone down. the path is no longer resolved.
1140 */
1141 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1142 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001143 break;
1144 case FIB_PATH_TYPE_ATTACHED:
Neale Rannsf068c3e2018-01-03 04:18:48 -08001145 case FIB_PATH_TYPE_DVR:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001146 /*
1147 * FIXME; this could schedule a lower priority walk, since attached
1148 * routes are not usually in ECMP configurations so the backwalk to
1149 * the FIB entry does not need to be high priority
1150 */
1151 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_UP & ctx->fnbw_reason)
1152 {
1153 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1154 }
1155 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_DOWN & ctx->fnbw_reason)
1156 {
1157 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1158 }
1159 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_DELETE & ctx->fnbw_reason)
1160 {
1161 fib_path_unresolve(path);
1162 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_DROP;
1163 }
Neale Ranns50bd1d32021-10-08 07:16:12 +00001164 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_BIND & ctx->fnbw_reason)
1165 {
1166 /* bind walks should appear here and pass silently up to
1167 * to the fib_entry */
1168 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001169 break;
Neale Ranns810086d2017-11-05 16:26:46 -08001170 case FIB_PATH_TYPE_UDP_ENCAP:
1171 {
1172 dpo_id_t via_dpo = DPO_INVALID;
1173
1174 /*
1175 * hope for the best - clear if restrictions apply.
1176 */
1177 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1178
1179 udp_encap_contribute_forwarding(path->udp_encap.fp_udp_encap_id,
1180 path->fp_nh_proto,
1181 &via_dpo);
1182 /*
1183 * If this path is contributing a drop, then it's not resolved
1184 */
1185 if (dpo_is_drop(&via_dpo) || load_balance_is_drop(&via_dpo))
1186 {
1187 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1188 }
1189
1190 /*
1191 * update the path's contributed DPO
1192 */
1193 dpo_copy(&path->fp_dpo, &via_dpo);
1194 dpo_reset(&via_dpo);
1195 break;
1196 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001197 case FIB_PATH_TYPE_INTF_RX:
1198 ASSERT(0);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001199 case FIB_PATH_TYPE_DEAG:
1200 /*
1201 * FIXME When VRF delete is allowed this will need a poke.
1202 */
1203 case FIB_PATH_TYPE_SPECIAL:
1204 case FIB_PATH_TYPE_RECEIVE:
1205 case FIB_PATH_TYPE_EXCLUSIVE:
Neale Rannsd792d9c2017-10-21 10:53:20 -07001206 case FIB_PATH_TYPE_BIER_TABLE:
1207 case FIB_PATH_TYPE_BIER_IMP:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001208 /*
1209 * these path types have no parents. so to be
1210 * walked from one is unexpected.
1211 */
1212 ASSERT(0);
1213 break;
1214 }
1215
1216 /*
1217 * propagate the backwalk further to the path-list
1218 */
1219 fib_path_list_back_walk(path->fp_pl_index, ctx);
1220
1221 return (FIB_NODE_BACK_WALK_CONTINUE);
1222}
1223
Neale Ranns6c3ebcc2016-10-02 21:20:15 +01001224static void
1225fib_path_memory_show (void)
1226{
1227 fib_show_memory_usage("Path",
1228 pool_elts(fib_path_pool),
1229 pool_len(fib_path_pool),
1230 sizeof(fib_path_t));
1231}
1232
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001233/*
1234 * The FIB path's graph node virtual function table
1235 */
1236static const fib_node_vft_t fib_path_vft = {
1237 .fnv_get = fib_path_get_node,
1238 .fnv_last_lock = fib_path_last_lock_gone,
1239 .fnv_back_walk = fib_path_back_walk_notify,
Neale Ranns6c3ebcc2016-10-02 21:20:15 +01001240 .fnv_mem_show = fib_path_memory_show,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001241};
1242
1243static fib_path_cfg_flags_t
1244fib_path_route_flags_to_cfg_flags (const fib_route_path_t *rpath)
1245{
Neale Ranns450cd302016-11-09 17:49:42 +00001246 fib_path_cfg_flags_t cfg_flags = FIB_PATH_CFG_FLAG_NONE;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001247
Neale Ranns1dbcf302019-07-19 11:44:53 +00001248 if (rpath->frp_flags & FIB_ROUTE_PATH_POP_PW_CW)
1249 cfg_flags |= FIB_PATH_CFG_FLAG_POP_PW_CW;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001250 if (rpath->frp_flags & FIB_ROUTE_PATH_RESOLVE_VIA_HOST)
1251 cfg_flags |= FIB_PATH_CFG_FLAG_RESOLVE_HOST;
1252 if (rpath->frp_flags & FIB_ROUTE_PATH_RESOLVE_VIA_ATTACHED)
1253 cfg_flags |= FIB_PATH_CFG_FLAG_RESOLVE_ATTACHED;
Neale Ranns32e1c012016-11-22 17:07:28 +00001254 if (rpath->frp_flags & FIB_ROUTE_PATH_LOCAL)
1255 cfg_flags |= FIB_PATH_CFG_FLAG_LOCAL;
Neale Ranns4b919a52017-03-11 05:55:21 -08001256 if (rpath->frp_flags & FIB_ROUTE_PATH_ATTACHED)
1257 cfg_flags |= FIB_PATH_CFG_FLAG_ATTACHED;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001258 if (rpath->frp_flags & FIB_ROUTE_PATH_INTF_RX)
1259 cfg_flags |= FIB_PATH_CFG_FLAG_INTF_RX;
1260 if (rpath->frp_flags & FIB_ROUTE_PATH_RPF_ID)
1261 cfg_flags |= FIB_PATH_CFG_FLAG_RPF_ID;
1262 if (rpath->frp_flags & FIB_ROUTE_PATH_EXCLUSIVE)
1263 cfg_flags |= FIB_PATH_CFG_FLAG_EXCLUSIVE;
1264 if (rpath->frp_flags & FIB_ROUTE_PATH_DROP)
1265 cfg_flags |= FIB_PATH_CFG_FLAG_DROP;
Neale Ranns054c03a2017-10-13 05:15:07 -07001266 if (rpath->frp_flags & FIB_ROUTE_PATH_SOURCE_LOOKUP)
1267 cfg_flags |= FIB_PATH_CFG_FLAG_DEAG_SRC;
Neale Ranns097fa662018-05-01 05:17:55 -07001268 if (rpath->frp_flags & FIB_ROUTE_PATH_ICMP_UNREACH)
1269 cfg_flags |= FIB_PATH_CFG_FLAG_ICMP_UNREACH;
1270 if (rpath->frp_flags & FIB_ROUTE_PATH_ICMP_PROHIBIT)
1271 cfg_flags |= FIB_PATH_CFG_FLAG_ICMP_PROHIBIT;
Neale Rannse2fe0972020-11-26 08:37:27 +00001272 if (rpath->frp_flags & FIB_ROUTE_PATH_GLEAN)
1273 cfg_flags |= FIB_PATH_CFG_FLAG_GLEAN;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001274
1275 return (cfg_flags);
1276}
1277
1278/*
1279 * fib_path_create
1280 *
1281 * Create and initialise a new path object.
1282 * return the index of the path.
1283 */
1284fib_node_index_t
1285fib_path_create (fib_node_index_t pl_index,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001286 const fib_route_path_t *rpath)
1287{
1288 fib_path_t *path;
1289
1290 pool_get(fib_path_pool, path);
Dave Barachb7b92992018-10-17 10:38:51 -04001291 clib_memset(path, 0, sizeof(*path));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001292
1293 fib_node_init(&path->fp_node,
1294 FIB_NODE_TYPE_PATH);
1295
1296 dpo_reset(&path->fp_dpo);
1297 path->fp_pl_index = pl_index;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001298 path->fp_nh_proto = rpath->frp_proto;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001299 path->fp_via_fib = FIB_NODE_INDEX_INVALID;
1300 path->fp_weight = rpath->frp_weight;
Neale Ranns0bd36ea2016-11-16 11:47:44 +00001301 if (0 == path->fp_weight)
1302 {
1303 /*
1304 * a weight of 0 is a meaningless value. We could either reject it, and thus force
1305 * clients to always use 1, or we can accept it and fixup approrpiately.
1306 */
1307 path->fp_weight = 1;
1308 }
Neale Ranns57b58602017-07-15 07:37:25 -07001309 path->fp_preference = rpath->frp_preference;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001310 path->fp_cfg_flags = fib_path_route_flags_to_cfg_flags(rpath);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001311
1312 /*
1313 * deduce the path's tpye from the parementers and save what is needed.
1314 */
Neale Ranns32e1c012016-11-22 17:07:28 +00001315 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_LOCAL)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001316 {
Neale Ranns32e1c012016-11-22 17:07:28 +00001317 path->fp_type = FIB_PATH_TYPE_RECEIVE;
1318 path->receive.fp_interface = rpath->frp_sw_if_index;
1319 path->receive.fp_addr = rpath->frp_addr;
1320 }
Neale Ranns810086d2017-11-05 16:26:46 -08001321 else if (rpath->frp_flags & FIB_ROUTE_PATH_UDP_ENCAP)
1322 {
1323 path->fp_type = FIB_PATH_TYPE_UDP_ENCAP;
1324 path->udp_encap.fp_udp_encap_id = rpath->frp_udp_encap_id;
1325 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001326 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_INTF_RX)
1327 {
1328 path->fp_type = FIB_PATH_TYPE_INTF_RX;
1329 path->intf_rx.fp_interface = rpath->frp_sw_if_index;
1330 }
1331 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RPF_ID)
1332 {
1333 path->fp_type = FIB_PATH_TYPE_DEAG;
1334 path->deag.fp_tbl_id = rpath->frp_fib_index;
1335 path->deag.fp_rpf_id = rpath->frp_rpf_id;
1336 }
Neale Rannsd792d9c2017-10-21 10:53:20 -07001337 else if (rpath->frp_flags & FIB_ROUTE_PATH_BIER_FMASK)
1338 {
1339 path->fp_type = FIB_PATH_TYPE_BIER_FMASK;
Neale Ranns91286372017-12-05 13:24:04 -08001340 path->bier_fmask.fp_bier_fmask = rpath->frp_bier_fmask;
Neale Rannsd792d9c2017-10-21 10:53:20 -07001341 }
1342 else if (rpath->frp_flags & FIB_ROUTE_PATH_BIER_IMP)
1343 {
1344 path->fp_type = FIB_PATH_TYPE_BIER_IMP;
1345 path->bier_imp.fp_bier_imp = rpath->frp_bier_imp;
1346 }
1347 else if (rpath->frp_flags & FIB_ROUTE_PATH_BIER_TABLE)
1348 {
1349 path->fp_type = FIB_PATH_TYPE_BIER_TABLE;
1350 path->bier_table.fp_bier_tbl = rpath->frp_bier_tbl;
1351 }
Florin Coras79ae2d32017-12-16 08:31:06 -08001352 else if (rpath->frp_flags & FIB_ROUTE_PATH_DEAG)
1353 {
1354 path->fp_type = FIB_PATH_TYPE_DEAG;
1355 path->deag.fp_tbl_id = rpath->frp_fib_index;
1356 }
Neale Rannsf068c3e2018-01-03 04:18:48 -08001357 else if (rpath->frp_flags & FIB_ROUTE_PATH_DVR)
1358 {
1359 path->fp_type = FIB_PATH_TYPE_DVR;
1360 path->dvr.fp_interface = rpath->frp_sw_if_index;
1361 }
Vijayabhaskar Katamreddycef5db02018-10-05 11:24:56 -07001362 else if (rpath->frp_flags & FIB_ROUTE_PATH_EXCLUSIVE)
1363 {
1364 path->fp_type = FIB_PATH_TYPE_EXCLUSIVE;
1365 dpo_copy(&path->exclusive.fp_ex_dpo, &rpath->dpo);
1366 }
Neale Ranns097fa662018-05-01 05:17:55 -07001367 else if ((path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_PROHIBIT) ||
1368 (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_UNREACH))
1369 {
1370 path->fp_type = FIB_PATH_TYPE_SPECIAL;
1371 }
1372 else if ((path->fp_cfg_flags & FIB_PATH_CFG_FLAG_CLASSIFY))
1373 {
1374 path->fp_type = FIB_PATH_TYPE_SPECIAL;
1375 path->classify.fp_classify_table_id = rpath->frp_classify_table_id;
1376 }
Neale Rannse2fe0972020-11-26 08:37:27 +00001377 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_GLEAN)
1378 {
1379 path->fp_type = FIB_PATH_TYPE_ATTACHED;
1380 path->attached.fp_interface = rpath->frp_sw_if_index;
1381 path->attached.fp_connected = rpath->frp_connected;
1382 }
Neale Ranns32e1c012016-11-22 17:07:28 +00001383 else if (~0 != rpath->frp_sw_if_index)
1384 {
1385 if (ip46_address_is_zero(&rpath->frp_addr))
1386 {
1387 path->fp_type = FIB_PATH_TYPE_ATTACHED;
1388 path->attached.fp_interface = rpath->frp_sw_if_index;
1389 }
1390 else
1391 {
1392 path->fp_type = FIB_PATH_TYPE_ATTACHED_NEXT_HOP;
1393 path->attached_next_hop.fp_interface = rpath->frp_sw_if_index;
1394 path->attached_next_hop.fp_nh = rpath->frp_addr;
1395 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001396 }
1397 else
1398 {
1399 if (ip46_address_is_zero(&rpath->frp_addr))
1400 {
1401 if (~0 == rpath->frp_fib_index)
1402 {
1403 path->fp_type = FIB_PATH_TYPE_SPECIAL;
1404 }
1405 else
1406 {
1407 path->fp_type = FIB_PATH_TYPE_DEAG;
1408 path->deag.fp_tbl_id = rpath->frp_fib_index;
Neale Ranns31ed7442018-02-23 05:29:09 -08001409 path->deag.fp_rpf_id = ~0;
1410 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001411 }
1412 else
1413 {
1414 path->fp_type = FIB_PATH_TYPE_RECURSIVE;
Neale Rannsda78f952017-05-24 09:15:43 -07001415 if (DPO_PROTO_MPLS == path->fp_nh_proto)
Neale Rannsad422ed2016-11-02 14:20:04 +00001416 {
1417 path->recursive.fp_nh.fp_local_label = rpath->frp_local_label;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001418 path->recursive.fp_nh.fp_eos = rpath->frp_eos;
Neale Rannsad422ed2016-11-02 14:20:04 +00001419 }
1420 else
1421 {
1422 path->recursive.fp_nh.fp_ip = rpath->frp_addr;
1423 }
Neale Rannsd792d9c2017-10-21 10:53:20 -07001424 path->recursive.fp_tbl_id = rpath->frp_fib_index;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001425 }
1426 }
1427
1428 FIB_PATH_DBG(path, "create");
1429
1430 return (fib_path_get_index(path));
1431}
1432
1433/*
1434 * fib_path_create_special
1435 *
1436 * Create and initialise a new path object.
1437 * return the index of the path.
1438 */
1439fib_node_index_t
1440fib_path_create_special (fib_node_index_t pl_index,
Neale Rannsda78f952017-05-24 09:15:43 -07001441 dpo_proto_t nh_proto,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001442 fib_path_cfg_flags_t flags,
1443 const dpo_id_t *dpo)
1444{
1445 fib_path_t *path;
1446
1447 pool_get(fib_path_pool, path);
Dave Barachb7b92992018-10-17 10:38:51 -04001448 clib_memset(path, 0, sizeof(*path));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001449
1450 fib_node_init(&path->fp_node,
1451 FIB_NODE_TYPE_PATH);
1452 dpo_reset(&path->fp_dpo);
1453
1454 path->fp_pl_index = pl_index;
1455 path->fp_weight = 1;
Neale Ranns57b58602017-07-15 07:37:25 -07001456 path->fp_preference = 0;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001457 path->fp_nh_proto = nh_proto;
1458 path->fp_via_fib = FIB_NODE_INDEX_INVALID;
1459 path->fp_cfg_flags = flags;
1460
1461 if (FIB_PATH_CFG_FLAG_DROP & flags)
1462 {
1463 path->fp_type = FIB_PATH_TYPE_SPECIAL;
1464 }
1465 else if (FIB_PATH_CFG_FLAG_LOCAL & flags)
1466 {
1467 path->fp_type = FIB_PATH_TYPE_RECEIVE;
1468 path->attached.fp_interface = FIB_NODE_INDEX_INVALID;
1469 }
1470 else
1471 {
1472 path->fp_type = FIB_PATH_TYPE_EXCLUSIVE;
1473 ASSERT(NULL != dpo);
1474 dpo_copy(&path->exclusive.fp_ex_dpo, dpo);
1475 }
1476
1477 return (fib_path_get_index(path));
1478}
1479
1480/*
1481 * fib_path_copy
1482 *
1483 * Copy a path. return index of new path.
1484 */
1485fib_node_index_t
1486fib_path_copy (fib_node_index_t path_index,
1487 fib_node_index_t path_list_index)
1488{
1489 fib_path_t *path, *orig_path;
1490
1491 pool_get(fib_path_pool, path);
1492
1493 orig_path = fib_path_get(path_index);
1494 ASSERT(NULL != orig_path);
1495
Zhiyong Yangd3d7ef52020-01-09 04:20:57 -05001496 clib_memcpy(path, orig_path, sizeof(*path));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001497
1498 FIB_PATH_DBG(path, "create-copy:%d", path_index);
1499
1500 /*
1501 * reset the dynamic section
1502 */
1503 fib_node_init(&path->fp_node, FIB_NODE_TYPE_PATH);
1504 path->fp_oper_flags = FIB_PATH_OPER_FLAG_NONE;
1505 path->fp_pl_index = path_list_index;
1506 path->fp_via_fib = FIB_NODE_INDEX_INVALID;
Dave Barachb7b92992018-10-17 10:38:51 -04001507 clib_memset(&path->fp_dpo, 0, sizeof(path->fp_dpo));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001508 dpo_reset(&path->fp_dpo);
1509
Damjan Mariona27aa6b2022-09-07 17:54:39 +02001510 if (path->fp_type == FIB_PATH_TYPE_EXCLUSIVE)
1511 {
1512 clib_memset(&path->exclusive.fp_ex_dpo, 0, sizeof(dpo_id_t));
1513 dpo_copy(&path->exclusive.fp_ex_dpo, &orig_path->exclusive.fp_ex_dpo);
1514 }
1515
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001516 return (fib_path_get_index(path));
1517}
1518
1519/*
1520 * fib_path_destroy
1521 *
1522 * destroy a path that is no longer required
1523 */
1524void
1525fib_path_destroy (fib_node_index_t path_index)
1526{
1527 fib_path_t *path;
1528
1529 path = fib_path_get(path_index);
1530
1531 ASSERT(NULL != path);
1532 FIB_PATH_DBG(path, "destroy");
1533
1534 fib_path_unresolve(path);
1535
1536 fib_node_deinit(&path->fp_node);
1537 pool_put(fib_path_pool, path);
1538}
1539
1540/*
1541 * fib_path_destroy
1542 *
1543 * destroy a path that is no longer required
1544 */
1545uword
1546fib_path_hash (fib_node_index_t path_index)
1547{
1548 fib_path_t *path;
1549
1550 path = fib_path_get(path_index);
1551
1552 return (hash_memory(STRUCT_MARK_PTR(path, path_hash_start),
1553 (STRUCT_OFFSET_OF(fib_path_t, path_hash_end) -
1554 STRUCT_OFFSET_OF(fib_path_t, path_hash_start)),
1555 0));
1556}
1557
1558/*
1559 * fib_path_cmp_i
1560 *
1561 * Compare two paths for equivalence.
1562 */
1563static int
1564fib_path_cmp_i (const fib_path_t *path1,
1565 const fib_path_t *path2)
1566{
1567 int res;
1568
1569 res = 1;
1570
1571 /*
1572 * paths of different types and protocol are not equal.
Neale Ranns57b58602017-07-15 07:37:25 -07001573 * different weights and/or preference only are the same path.
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001574 */
1575 if (path1->fp_type != path2->fp_type)
1576 {
1577 res = (path1->fp_type - path2->fp_type);
1578 }
Neale Ranns32e1c012016-11-22 17:07:28 +00001579 else if (path1->fp_nh_proto != path2->fp_nh_proto)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001580 {
1581 res = (path1->fp_nh_proto - path2->fp_nh_proto);
1582 }
1583 else
1584 {
1585 /*
1586 * both paths are of the same type.
1587 * consider each type and its attributes in turn.
1588 */
1589 switch (path1->fp_type)
1590 {
1591 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1592 res = ip46_address_cmp(&path1->attached_next_hop.fp_nh,
1593 &path2->attached_next_hop.fp_nh);
1594 if (0 == res) {
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001595 res = (path1->attached_next_hop.fp_interface -
1596 path2->attached_next_hop.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001597 }
1598 break;
1599 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001600 res = (path1->attached.fp_interface -
1601 path2->attached.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001602 break;
1603 case FIB_PATH_TYPE_RECURSIVE:
Neale Rannscbe25aa2019-09-30 10:53:31 +00001604 res = ip46_address_cmp(&path1->recursive.fp_nh.fp_ip,
1605 &path2->recursive.fp_nh.fp_ip);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001606
1607 if (0 == res)
1608 {
1609 res = (path1->recursive.fp_tbl_id - path2->recursive.fp_tbl_id);
1610 }
1611 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -07001612 case FIB_PATH_TYPE_BIER_FMASK:
Neale Ranns91286372017-12-05 13:24:04 -08001613 res = (path1->bier_fmask.fp_bier_fmask -
1614 path2->bier_fmask.fp_bier_fmask);
Neale Rannsd792d9c2017-10-21 10:53:20 -07001615 break;
1616 case FIB_PATH_TYPE_BIER_IMP:
1617 res = (path1->bier_imp.fp_bier_imp -
1618 path2->bier_imp.fp_bier_imp);
1619 break;
1620 case FIB_PATH_TYPE_BIER_TABLE:
1621 res = bier_table_id_cmp(&path1->bier_table.fp_bier_tbl,
1622 &path2->bier_table.fp_bier_tbl);
1623 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001624 case FIB_PATH_TYPE_DEAG:
1625 res = (path1->deag.fp_tbl_id - path2->deag.fp_tbl_id);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001626 if (0 == res)
1627 {
1628 res = (path1->deag.fp_rpf_id - path2->deag.fp_rpf_id);
1629 }
1630 break;
1631 case FIB_PATH_TYPE_INTF_RX:
1632 res = (path1->intf_rx.fp_interface - path2->intf_rx.fp_interface);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001633 break;
Neale Ranns810086d2017-11-05 16:26:46 -08001634 case FIB_PATH_TYPE_UDP_ENCAP:
1635 res = (path1->udp_encap.fp_udp_encap_id - path2->udp_encap.fp_udp_encap_id);
1636 break;
Neale Rannsf068c3e2018-01-03 04:18:48 -08001637 case FIB_PATH_TYPE_DVR:
1638 res = (path1->dvr.fp_interface - path2->dvr.fp_interface);
1639 break;
Vijayabhaskar Katamreddycef5db02018-10-05 11:24:56 -07001640 case FIB_PATH_TYPE_EXCLUSIVE:
1641 res = dpo_cmp(&path1->exclusive.fp_ex_dpo, &path2->exclusive.fp_ex_dpo);
1642 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001643 case FIB_PATH_TYPE_SPECIAL:
1644 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001645 res = 0;
1646 break;
1647 }
1648 }
1649 return (res);
1650}
1651
1652/*
1653 * fib_path_cmp_for_sort
1654 *
1655 * Compare two paths for equivalence. Used during path sorting.
1656 * As usual 0 means equal.
1657 */
1658int
1659fib_path_cmp_for_sort (void * v1,
1660 void * v2)
1661{
1662 fib_node_index_t *pi1 = v1, *pi2 = v2;
1663 fib_path_t *path1, *path2;
1664
1665 path1 = fib_path_get(*pi1);
1666 path2 = fib_path_get(*pi2);
1667
Neale Ranns57b58602017-07-15 07:37:25 -07001668 /*
1669 * when sorting paths we want the highest preference paths
1670 * first, so that the choices set built is in prefernce order
1671 */
1672 if (path1->fp_preference != path2->fp_preference)
1673 {
1674 return (path1->fp_preference - path2->fp_preference);
1675 }
1676
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001677 return (fib_path_cmp_i(path1, path2));
1678}
1679
1680/*
1681 * fib_path_cmp
1682 *
1683 * Compare two paths for equivalence.
1684 */
1685int
1686fib_path_cmp (fib_node_index_t pi1,
1687 fib_node_index_t pi2)
1688{
1689 fib_path_t *path1, *path2;
1690
1691 path1 = fib_path_get(pi1);
1692 path2 = fib_path_get(pi2);
1693
1694 return (fib_path_cmp_i(path1, path2));
1695}
1696
1697int
1698fib_path_cmp_w_route_path (fib_node_index_t path_index,
1699 const fib_route_path_t *rpath)
1700{
1701 fib_path_t *path;
1702 int res;
1703
1704 path = fib_path_get(path_index);
1705
1706 res = 1;
1707
1708 if (path->fp_weight != rpath->frp_weight)
1709 {
1710 res = (path->fp_weight - rpath->frp_weight);
1711 }
1712 else
1713 {
1714 /*
1715 * both paths are of the same type.
1716 * consider each type and its attributes in turn.
1717 */
1718 switch (path->fp_type)
1719 {
1720 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1721 res = ip46_address_cmp(&path->attached_next_hop.fp_nh,
1722 &rpath->frp_addr);
1723 if (0 == res)
1724 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001725 res = (path->attached_next_hop.fp_interface -
1726 rpath->frp_sw_if_index);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001727 }
1728 break;
1729 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001730 res = (path->attached.fp_interface - rpath->frp_sw_if_index);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001731 break;
1732 case FIB_PATH_TYPE_RECURSIVE:
Neale Rannsda78f952017-05-24 09:15:43 -07001733 if (DPO_PROTO_MPLS == path->fp_nh_proto)
Neale Rannsad422ed2016-11-02 14:20:04 +00001734 {
1735 res = path->recursive.fp_nh.fp_local_label - rpath->frp_local_label;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001736
1737 if (res == 0)
1738 {
1739 res = path->recursive.fp_nh.fp_eos - rpath->frp_eos;
1740 }
Neale Rannsad422ed2016-11-02 14:20:04 +00001741 }
1742 else
1743 {
1744 res = ip46_address_cmp(&path->recursive.fp_nh.fp_ip,
1745 &rpath->frp_addr);
1746 }
1747
1748 if (0 == res)
1749 {
1750 res = (path->recursive.fp_tbl_id - rpath->frp_fib_index);
1751 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001752 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -07001753 case FIB_PATH_TYPE_BIER_FMASK:
Neale Ranns91286372017-12-05 13:24:04 -08001754 res = (path->bier_fmask.fp_bier_fmask - rpath->frp_bier_fmask);
Neale Rannsd792d9c2017-10-21 10:53:20 -07001755 break;
1756 case FIB_PATH_TYPE_BIER_IMP:
1757 res = (path->bier_imp.fp_bier_imp - rpath->frp_bier_imp);
1758 break;
1759 case FIB_PATH_TYPE_BIER_TABLE:
1760 res = bier_table_id_cmp(&path->bier_table.fp_bier_tbl,
1761 &rpath->frp_bier_tbl);
1762 break;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001763 case FIB_PATH_TYPE_INTF_RX:
1764 res = (path->intf_rx.fp_interface - rpath->frp_sw_if_index);
1765 break;
Neale Ranns810086d2017-11-05 16:26:46 -08001766 case FIB_PATH_TYPE_UDP_ENCAP:
1767 res = (path->udp_encap.fp_udp_encap_id - rpath->frp_udp_encap_id);
1768 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001769 case FIB_PATH_TYPE_DEAG:
1770 res = (path->deag.fp_tbl_id - rpath->frp_fib_index);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001771 if (0 == res)
1772 {
1773 res = (path->deag.fp_rpf_id - rpath->frp_rpf_id);
1774 }
1775 break;
Neale Rannsf068c3e2018-01-03 04:18:48 -08001776 case FIB_PATH_TYPE_DVR:
1777 res = (path->dvr.fp_interface - rpath->frp_sw_if_index);
1778 break;
Vijayabhaskar Katamreddycef5db02018-10-05 11:24:56 -07001779 case FIB_PATH_TYPE_EXCLUSIVE:
1780 res = dpo_cmp(&path->exclusive.fp_ex_dpo, &rpath->dpo);
1781 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001782 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns097fa662018-05-01 05:17:55 -07001783 if (rpath->frp_flags & FIB_ROUTE_PATH_LOCAL)
1784 {
1785 res = 0;
1786 }
1787 else
1788 {
1789 res = 1;
1790 }
1791 break;
1792 case FIB_PATH_TYPE_SPECIAL:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001793 res = 0;
1794 break;
1795 }
1796 }
1797 return (res);
1798}
1799
1800/*
1801 * fib_path_recursive_loop_detect
1802 *
1803 * A forward walk of the FIB object graph to detect for a cycle/loop. This
1804 * walk is initiated when an entry is linking to a new path list or from an old.
1805 * The entry vector passed contains all the FIB entrys that are children of this
1806 * path (it is all the entries encountered on the walk so far). If this vector
1807 * contains the entry this path resolve via, then a loop is about to form.
1808 * The loop must be allowed to form, since we need the dependencies in place
1809 * so that we can track when the loop breaks.
1810 * However, we MUST not produce a loop in the forwarding graph (else packets
1811 * would loop around the switch path until the loop breaks), so we mark recursive
1812 * paths as looped so that they do not contribute forwarding information.
1813 * By marking the path as looped, an etry such as;
1814 * X/Y
1815 * via a.a.a.a (looped)
1816 * via b.b.b.b (not looped)
1817 * can still forward using the info provided by b.b.b.b only
1818 */
1819int
1820fib_path_recursive_loop_detect (fib_node_index_t path_index,
1821 fib_node_index_t **entry_indicies)
1822{
1823 fib_path_t *path;
1824
1825 path = fib_path_get(path_index);
1826
1827 /*
1828 * the forced drop path is never looped, cos it is never resolved.
1829 */
1830 if (fib_path_is_permanent_drop(path))
1831 {
1832 return (0);
1833 }
1834
1835 switch (path->fp_type)
1836 {
1837 case FIB_PATH_TYPE_RECURSIVE:
1838 {
1839 fib_node_index_t *entry_index, *entries;
1840 int looped = 0;
1841 entries = *entry_indicies;
1842
1843 vec_foreach(entry_index, entries) {
1844 if (*entry_index == path->fp_via_fib)
1845 {
1846 /*
1847 * the entry that is about to link to this path-list (or
1848 * one of this path-list's children) is the same entry that
1849 * this recursive path resolves through. this is a cycle.
1850 * abort the walk.
1851 */
1852 looped = 1;
1853 break;
1854 }
1855 }
1856
1857 if (looped)
1858 {
1859 FIB_PATH_DBG(path, "recursive loop formed");
1860 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1861
Neale Rannsda78f952017-05-24 09:15:43 -07001862 dpo_copy(&path->fp_dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001863 }
1864 else
1865 {
1866 /*
1867 * no loop here yet. keep forward walking the graph.
Neale Ranns521a8d72018-12-06 13:46:49 +00001868 */
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001869 if (fib_entry_recursive_loop_detect(path->fp_via_fib, entry_indicies))
1870 {
1871 FIB_PATH_DBG(path, "recursive loop formed");
1872 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1873 }
1874 else
1875 {
1876 FIB_PATH_DBG(path, "recursive loop cleared");
1877 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1878 }
1879 }
1880 break;
1881 }
1882 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1883 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns14053c92019-12-29 23:55:18 +00001884 if (dpo_is_adj(&path->fp_dpo) &&
1885 adj_recursive_loop_detect(path->fp_dpo.dpoi_index,
Neale Ranns521a8d72018-12-06 13:46:49 +00001886 entry_indicies))
1887 {
1888 FIB_PATH_DBG(path, "recursive loop formed");
1889 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1890 }
1891 else
1892 {
1893 FIB_PATH_DBG(path, "recursive loop cleared");
1894 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1895 }
1896 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001897 case FIB_PATH_TYPE_SPECIAL:
1898 case FIB_PATH_TYPE_DEAG:
Neale Rannsf068c3e2018-01-03 04:18:48 -08001899 case FIB_PATH_TYPE_DVR:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001900 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001901 case FIB_PATH_TYPE_INTF_RX:
Neale Ranns810086d2017-11-05 16:26:46 -08001902 case FIB_PATH_TYPE_UDP_ENCAP:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001903 case FIB_PATH_TYPE_EXCLUSIVE:
Neale Rannsd792d9c2017-10-21 10:53:20 -07001904 case FIB_PATH_TYPE_BIER_FMASK:
1905 case FIB_PATH_TYPE_BIER_TABLE:
1906 case FIB_PATH_TYPE_BIER_IMP:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001907 /*
1908 * these path types cannot be part of a loop, since they are the leaves
1909 * of the graph.
1910 */
1911 break;
1912 }
1913
1914 return (fib_path_is_looped(path_index));
1915}
1916
1917int
1918fib_path_resolve (fib_node_index_t path_index)
1919{
1920 fib_path_t *path;
1921
1922 path = fib_path_get(path_index);
1923
1924 /*
1925 * hope for the best.
1926 */
1927 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1928
1929 /*
1930 * the forced drop path resolves via the drop adj
1931 */
1932 if (fib_path_is_permanent_drop(path))
1933 {
Neale Rannsda78f952017-05-24 09:15:43 -07001934 dpo_copy(&path->fp_dpo, drop_dpo_get(path->fp_nh_proto));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001935 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1936 return (fib_path_is_resolved(path_index));
1937 }
1938
1939 switch (path->fp_type)
1940 {
1941 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1942 fib_path_attached_next_hop_set(path);
1943 break;
1944 case FIB_PATH_TYPE_ATTACHED:
Neale Rannsd35abc42019-04-18 09:42:20 +00001945 {
1946 dpo_id_t tmp = DPO_INVALID;
1947
Neale Rannsf068c3e2018-01-03 04:18:48 -08001948 /*
1949 * path->attached.fp_interface
1950 */
Neale Ranns3e2e1902019-03-14 09:21:02 -07001951 if (!vnet_sw_interface_is_up(vnet_get_main(),
1952 path->attached.fp_interface))
Neale Ranns6f631152017-10-03 08:20:21 -07001953 {
Neale Rannsf068c3e2018-01-03 04:18:48 -08001954 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
Neale Ranns6f631152017-10-03 08:20:21 -07001955 }
Neale Ranns3fd99042019-12-16 00:53:11 +00001956 fib_path_attached_get_adj(path,
1957 dpo_proto_to_link(path->fp_nh_proto),
1958 &tmp);
Neale Ranns8c4611b2017-05-23 03:43:47 -07001959
Neale Rannsf068c3e2018-01-03 04:18:48 -08001960 /*
Neale Rannsd35abc42019-04-18 09:42:20 +00001961 * re-fetch after possible mem realloc
1962 */
1963 path = fib_path_get(path_index);
1964 dpo_copy(&path->fp_dpo, &tmp);
1965
1966 /*
Neale Rannsf068c3e2018-01-03 04:18:48 -08001967 * become a child of the adjacency so we receive updates
1968 * when the interface state changes
1969 */
Neale Ranns3fd99042019-12-16 00:53:11 +00001970 if (dpo_is_adj(&path->fp_dpo))
1971 {
1972 path->fp_sibling = adj_child_add(path->fp_dpo.dpoi_index,
1973 FIB_NODE_TYPE_PATH,
1974 fib_path_get_index(path));
1975 }
Neale Rannsd35abc42019-04-18 09:42:20 +00001976 dpo_reset(&tmp);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001977 break;
Neale Rannsd35abc42019-04-18 09:42:20 +00001978 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001979 case FIB_PATH_TYPE_RECURSIVE:
1980 {
1981 /*
1982 * Create a RR source entry in the table for the address
1983 * that this path recurses through.
1984 * This resolve action is recursive, hence we may create
1985 * more paths in the process. more creates mean maybe realloc
1986 * of this path.
1987 */
1988 fib_node_index_t fei;
1989 fib_prefix_t pfx;
1990
1991 ASSERT(FIB_NODE_INDEX_INVALID == path->fp_via_fib);
1992
Neale Rannsda78f952017-05-24 09:15:43 -07001993 if (DPO_PROTO_MPLS == path->fp_nh_proto)
Neale Rannsad422ed2016-11-02 14:20:04 +00001994 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -08001995 fib_prefix_from_mpls_label(path->recursive.fp_nh.fp_local_label,
1996 path->recursive.fp_nh.fp_eos,
1997 &pfx);
Neale Rannsad422ed2016-11-02 14:20:04 +00001998 }
1999 else
2000 {
2001 fib_prefix_from_ip46_addr(&path->recursive.fp_nh.fp_ip, &pfx);
2002 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002003
Neale Ranns6fff24a2018-09-10 19:14:07 -07002004 fib_table_lock(path->recursive.fp_tbl_id,
2005 dpo_proto_to_fib(path->fp_nh_proto),
2006 FIB_SOURCE_RR);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002007 fei = fib_table_entry_special_add(path->recursive.fp_tbl_id,
2008 &pfx,
2009 FIB_SOURCE_RR,
Neale Rannsa0558302017-04-13 00:44:52 -07002010 FIB_ENTRY_FLAG_NONE);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002011
2012 path = fib_path_get(path_index);
2013 path->fp_via_fib = fei;
2014
2015 /*
2016 * become a dependent child of the entry so the path is
2017 * informed when the forwarding for the entry changes.
2018 */
2019 path->fp_sibling = fib_entry_child_add(path->fp_via_fib,
2020 FIB_NODE_TYPE_PATH,
2021 fib_path_get_index(path));
2022
2023 /*
2024 * create and configure the IP DPO
2025 */
2026 fib_path_recursive_adj_update(
2027 path,
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002028 fib_path_to_chain_type(path),
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002029 &path->fp_dpo);
2030
2031 break;
2032 }
Neale Rannsd792d9c2017-10-21 10:53:20 -07002033 case FIB_PATH_TYPE_BIER_FMASK:
2034 {
2035 /*
Neale Rannsd792d9c2017-10-21 10:53:20 -07002036 * become a dependent child of the entry so the path is
2037 * informed when the forwarding for the entry changes.
2038 */
Neale Ranns91286372017-12-05 13:24:04 -08002039 path->fp_sibling = bier_fmask_child_add(path->bier_fmask.fp_bier_fmask,
Neale Rannsd792d9c2017-10-21 10:53:20 -07002040 FIB_NODE_TYPE_PATH,
2041 fib_path_get_index(path));
2042
Neale Ranns91286372017-12-05 13:24:04 -08002043 path->fp_via_bier_fmask = path->bier_fmask.fp_bier_fmask;
Neale Rannsd792d9c2017-10-21 10:53:20 -07002044 fib_path_bier_fmask_update(path, &path->fp_dpo);
2045
2046 break;
2047 }
2048 case FIB_PATH_TYPE_BIER_IMP:
2049 bier_imp_lock(path->bier_imp.fp_bier_imp);
2050 bier_imp_contribute_forwarding(path->bier_imp.fp_bier_imp,
2051 DPO_PROTO_IP4,
2052 &path->fp_dpo);
2053 break;
2054 case FIB_PATH_TYPE_BIER_TABLE:
2055 {
2056 /*
2057 * Find/create the BIER table to link to
2058 */
2059 ASSERT(FIB_NODE_INDEX_INVALID == path->fp_via_bier_tbl);
2060
2061 path->fp_via_bier_tbl =
2062 bier_table_ecmp_create_and_lock(&path->bier_table.fp_bier_tbl);
2063
2064 bier_table_contribute_forwarding(path->fp_via_bier_tbl,
2065 &path->fp_dpo);
2066 break;
2067 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002068 case FIB_PATH_TYPE_SPECIAL:
Neale Ranns097fa662018-05-01 05:17:55 -07002069 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_PROHIBIT)
2070 {
2071 ip_null_dpo_add_and_lock (path->fp_nh_proto,
2072 IP_NULL_ACTION_SEND_ICMP_PROHIBIT,
2073 &path->fp_dpo);
2074 }
2075 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_UNREACH)
2076 {
2077 ip_null_dpo_add_and_lock (path->fp_nh_proto,
2078 IP_NULL_ACTION_SEND_ICMP_UNREACH,
2079 &path->fp_dpo);
2080 }
2081 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_CLASSIFY)
2082 {
2083 dpo_set (&path->fp_dpo, DPO_CLASSIFY,
2084 path->fp_nh_proto,
2085 classify_dpo_create (path->fp_nh_proto,
2086 path->classify.fp_classify_table_id));
2087 }
2088 else
2089 {
2090 /*
2091 * Resolve via the drop
2092 */
2093 dpo_copy(&path->fp_dpo, drop_dpo_get(path->fp_nh_proto));
2094 }
2095 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002096 case FIB_PATH_TYPE_DEAG:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002097 {
Neale Ranns91286372017-12-05 13:24:04 -08002098 if (DPO_PROTO_BIER == path->fp_nh_proto)
2099 {
2100 bier_disp_table_contribute_forwarding(path->deag.fp_tbl_id,
2101 &path->fp_dpo);
2102 }
2103 else
2104 {
2105 /*
2106 * Resolve via a lookup DPO.
2107 * FIXME. control plane should add routes with a table ID
2108 */
2109 lookup_input_t input;
2110 lookup_cast_t cast;
Neale Ranns054c03a2017-10-13 05:15:07 -07002111
Neale Ranns91286372017-12-05 13:24:04 -08002112 cast = (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RPF_ID ?
2113 LOOKUP_MULTICAST :
2114 LOOKUP_UNICAST);
2115 input = (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_DEAG_SRC ?
2116 LOOKUP_INPUT_SRC_ADDR :
2117 LOOKUP_INPUT_DST_ADDR);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002118
Neale Ranns91286372017-12-05 13:24:04 -08002119 lookup_dpo_add_or_lock_w_fib_index(path->deag.fp_tbl_id,
2120 path->fp_nh_proto,
2121 cast,
2122 input,
2123 LOOKUP_TABLE_FROM_CONFIG,
2124 &path->fp_dpo);
2125 }
2126 break;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002127 }
Neale Rannsf068c3e2018-01-03 04:18:48 -08002128 case FIB_PATH_TYPE_DVR:
Neale Rannse2fe0972020-11-26 08:37:27 +00002129 dvr_dpo_add_or_lock(path->dvr.fp_interface,
Neale Rannsf068c3e2018-01-03 04:18:48 -08002130 path->fp_nh_proto,
2131 &path->fp_dpo);
2132 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002133 case FIB_PATH_TYPE_RECEIVE:
2134 /*
2135 * Resolve via a receive DPO.
2136 */
Neale Rannsda78f952017-05-24 09:15:43 -07002137 receive_dpo_add_or_lock(path->fp_nh_proto,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002138 path->receive.fp_interface,
2139 &path->receive.fp_addr,
2140 &path->fp_dpo);
2141 break;
Neale Ranns810086d2017-11-05 16:26:46 -08002142 case FIB_PATH_TYPE_UDP_ENCAP:
2143 udp_encap_lock(path->udp_encap.fp_udp_encap_id);
2144 udp_encap_contribute_forwarding(path->udp_encap.fp_udp_encap_id,
2145 path->fp_nh_proto,
2146 &path->fp_dpo);
2147 break;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002148 case FIB_PATH_TYPE_INTF_RX: {
2149 /*
2150 * Resolve via a receive DPO.
2151 */
Neale Ranns43161a82017-08-12 02:12:00 -07002152 interface_rx_dpo_add_or_lock(path->fp_nh_proto,
2153 path->intf_rx.fp_interface,
2154 &path->fp_dpo);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002155 break;
2156 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002157 case FIB_PATH_TYPE_EXCLUSIVE:
2158 /*
2159 * Resolve via the user provided DPO
2160 */
2161 dpo_copy(&path->fp_dpo, &path->exclusive.fp_ex_dpo);
2162 break;
2163 }
2164
2165 return (fib_path_is_resolved(path_index));
2166}
2167
2168u32
2169fib_path_get_resolving_interface (fib_node_index_t path_index)
2170{
2171 fib_path_t *path;
2172
2173 path = fib_path_get(path_index);
2174
2175 switch (path->fp_type)
2176 {
2177 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2178 return (path->attached_next_hop.fp_interface);
2179 case FIB_PATH_TYPE_ATTACHED:
2180 return (path->attached.fp_interface);
2181 case FIB_PATH_TYPE_RECEIVE:
2182 return (path->receive.fp_interface);
2183 case FIB_PATH_TYPE_RECURSIVE:
Neale Ranns08b16482017-05-13 05:52:58 -07002184 if (fib_path_is_resolved(path_index))
2185 {
2186 return (fib_entry_get_resolving_interface(path->fp_via_fib));
2187 }
2188 break;
Neale Rannsf068c3e2018-01-03 04:18:48 -08002189 case FIB_PATH_TYPE_DVR:
2190 return (path->dvr.fp_interface);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002191 case FIB_PATH_TYPE_INTF_RX:
Neale Ranns810086d2017-11-05 16:26:46 -08002192 case FIB_PATH_TYPE_UDP_ENCAP:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002193 case FIB_PATH_TYPE_SPECIAL:
2194 case FIB_PATH_TYPE_DEAG:
2195 case FIB_PATH_TYPE_EXCLUSIVE:
Neale Rannsd792d9c2017-10-21 10:53:20 -07002196 case FIB_PATH_TYPE_BIER_FMASK:
2197 case FIB_PATH_TYPE_BIER_TABLE:
2198 case FIB_PATH_TYPE_BIER_IMP:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002199 break;
2200 }
Neale Ranns4a6d0232018-04-24 07:45:33 -07002201 return (dpo_get_urpf(&path->fp_dpo));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002202}
2203
Neale Rannsd792d9c2017-10-21 10:53:20 -07002204index_t
2205fib_path_get_resolving_index (fib_node_index_t path_index)
2206{
2207 fib_path_t *path;
2208
2209 path = fib_path_get(path_index);
2210
2211 switch (path->fp_type)
2212 {
2213 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2214 case FIB_PATH_TYPE_ATTACHED:
2215 case FIB_PATH_TYPE_RECEIVE:
2216 case FIB_PATH_TYPE_INTF_RX:
2217 case FIB_PATH_TYPE_SPECIAL:
2218 case FIB_PATH_TYPE_DEAG:
Neale Rannsf068c3e2018-01-03 04:18:48 -08002219 case FIB_PATH_TYPE_DVR:
Neale Rannsd792d9c2017-10-21 10:53:20 -07002220 case FIB_PATH_TYPE_EXCLUSIVE:
2221 break;
2222 case FIB_PATH_TYPE_UDP_ENCAP:
2223 return (path->udp_encap.fp_udp_encap_id);
2224 case FIB_PATH_TYPE_RECURSIVE:
2225 return (path->fp_via_fib);
2226 case FIB_PATH_TYPE_BIER_FMASK:
Neale Ranns91286372017-12-05 13:24:04 -08002227 return (path->bier_fmask.fp_bier_fmask);
Neale Rannsd792d9c2017-10-21 10:53:20 -07002228 case FIB_PATH_TYPE_BIER_TABLE:
2229 return (path->fp_via_bier_tbl);
2230 case FIB_PATH_TYPE_BIER_IMP:
2231 return (path->bier_imp.fp_bier_imp);
2232 }
2233 return (~0);
2234}
2235
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002236adj_index_t
2237fib_path_get_adj (fib_node_index_t path_index)
2238{
2239 fib_path_t *path;
2240
2241 path = fib_path_get(path_index);
2242
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002243 if (dpo_is_adj(&path->fp_dpo))
2244 {
2245 return (path->fp_dpo.dpoi_index);
2246 }
2247 return (ADJ_INDEX_INVALID);
2248}
2249
Neale Ranns57b58602017-07-15 07:37:25 -07002250u16
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002251fib_path_get_weight (fib_node_index_t path_index)
2252{
2253 fib_path_t *path;
2254
2255 path = fib_path_get(path_index);
2256
2257 ASSERT(path);
2258
2259 return (path->fp_weight);
2260}
2261
Neale Ranns57b58602017-07-15 07:37:25 -07002262u16
2263fib_path_get_preference (fib_node_index_t path_index)
2264{
2265 fib_path_t *path;
2266
2267 path = fib_path_get(path_index);
2268
2269 ASSERT(path);
2270
2271 return (path->fp_preference);
2272}
2273
Neale Rannsd792d9c2017-10-21 10:53:20 -07002274u32
2275fib_path_get_rpf_id (fib_node_index_t path_index)
2276{
2277 fib_path_t *path;
2278
2279 path = fib_path_get(path_index);
2280
2281 ASSERT(path);
2282
2283 if (FIB_PATH_CFG_FLAG_RPF_ID & path->fp_cfg_flags)
2284 {
2285 return (path->deag.fp_rpf_id);
2286 }
2287
2288 return (~0);
2289}
2290
Neale Ranns3ee44042016-10-03 13:05:48 +01002291/**
2292 * @brief Contribute the path's adjacency to the list passed.
2293 * By calling this function over all paths, recursively, a child
2294 * can construct its full set of forwarding adjacencies, and hence its
2295 * uRPF list.
2296 */
2297void
2298fib_path_contribute_urpf (fib_node_index_t path_index,
2299 index_t urpf)
2300{
2301 fib_path_t *path;
2302
Neale Ranns3ee44042016-10-03 13:05:48 +01002303 path = fib_path_get(path_index);
2304
Neale Ranns88fc83e2017-04-05 08:11:14 -07002305 /*
2306 * resolved and unresolved paths contribute to the RPF list.
2307 */
Neale Ranns3ee44042016-10-03 13:05:48 +01002308 switch (path->fp_type)
2309 {
2310 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2311 fib_urpf_list_append(urpf, path->attached_next_hop.fp_interface);
2312 break;
2313
2314 case FIB_PATH_TYPE_ATTACHED:
2315 fib_urpf_list_append(urpf, path->attached.fp_interface);
2316 break;
2317
2318 case FIB_PATH_TYPE_RECURSIVE:
Neale Ranns08b16482017-05-13 05:52:58 -07002319 if (FIB_NODE_INDEX_INVALID != path->fp_via_fib &&
2320 !fib_path_is_looped(path_index))
Neale Ranns88fc83e2017-04-05 08:11:14 -07002321 {
2322 /*
2323 * there's unresolved due to constraints, and there's unresolved
Neale Ranns08b16482017-05-13 05:52:58 -07002324 * due to ain't got no via. can't do nowt w'out via.
Neale Ranns88fc83e2017-04-05 08:11:14 -07002325 */
2326 fib_entry_contribute_urpf(path->fp_via_fib, urpf);
2327 }
Neale Ranns3ee44042016-10-03 13:05:48 +01002328 break;
2329
2330 case FIB_PATH_TYPE_EXCLUSIVE:
2331 case FIB_PATH_TYPE_SPECIAL:
Andrew Yourtchenko5f3fcb92017-10-25 05:50:37 -07002332 {
2333 /*
Neale Ranns3ee44042016-10-03 13:05:48 +01002334 * these path types may link to an adj, if that's what
2335 * the clinet gave
2336 */
Andrew Yourtchenko5f3fcb92017-10-25 05:50:37 -07002337 u32 rpf_sw_if_index;
2338
2339 rpf_sw_if_index = dpo_get_urpf(&path->fp_dpo);
2340
2341 if (~0 != rpf_sw_if_index)
Neale Ranns3ee44042016-10-03 13:05:48 +01002342 {
Andrew Yourtchenko5f3fcb92017-10-25 05:50:37 -07002343 fib_urpf_list_append(urpf, rpf_sw_if_index);
Neale Ranns3ee44042016-10-03 13:05:48 +01002344 }
2345 break;
Andrew Yourtchenko5f3fcb92017-10-25 05:50:37 -07002346 }
Neale Rannsf068c3e2018-01-03 04:18:48 -08002347 case FIB_PATH_TYPE_DVR:
2348 fib_urpf_list_append(urpf, path->dvr.fp_interface);
2349 break;
Arthur de Kerhor8a6f5d32021-05-20 11:48:00 +02002350 case FIB_PATH_TYPE_UDP_ENCAP:
2351 fib_urpf_list_append(urpf, path->udp_encap.fp_udp_encap_id);
2352 break;
Neale Ranns3ee44042016-10-03 13:05:48 +01002353 case FIB_PATH_TYPE_DEAG:
2354 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002355 case FIB_PATH_TYPE_INTF_RX:
Neale Rannsd792d9c2017-10-21 10:53:20 -07002356 case FIB_PATH_TYPE_BIER_FMASK:
2357 case FIB_PATH_TYPE_BIER_TABLE:
2358 case FIB_PATH_TYPE_BIER_IMP:
Neale Ranns3ee44042016-10-03 13:05:48 +01002359 /*
2360 * these path types don't link to an adj
2361 */
2362 break;
2363 }
2364}
2365
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002366void
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002367fib_path_stack_mpls_disp (fib_node_index_t path_index,
2368 dpo_proto_t payload_proto,
Neale Ranns31ed7442018-02-23 05:29:09 -08002369 fib_mpls_lsp_mode_t mode,
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002370 dpo_id_t *dpo)
2371{
2372 fib_path_t *path;
2373
2374 path = fib_path_get(path_index);
2375
2376 ASSERT(path);
2377
2378 switch (path->fp_type)
2379 {
Neale Ranns62fe07c2017-10-31 12:28:22 -07002380 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2381 {
2382 dpo_id_t tmp = DPO_INVALID;
2383
2384 dpo_copy(&tmp, dpo);
Neale Ranns31ed7442018-02-23 05:29:09 -08002385
2386 mpls_disp_dpo_create(payload_proto, ~0, mode, &tmp, dpo);
Neale Ranns62fe07c2017-10-31 12:28:22 -07002387 dpo_reset(&tmp);
2388 break;
2389 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002390 case FIB_PATH_TYPE_DEAG:
2391 {
2392 dpo_id_t tmp = DPO_INVALID;
2393
2394 dpo_copy(&tmp, dpo);
Neale Ranns31ed7442018-02-23 05:29:09 -08002395
2396 mpls_disp_dpo_create(payload_proto,
2397 path->deag.fp_rpf_id,
2398 mode, &tmp, dpo);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002399 dpo_reset(&tmp);
2400 break;
Neale Ranns810086d2017-11-05 16:26:46 -08002401 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002402 case FIB_PATH_TYPE_RECEIVE:
2403 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002404 case FIB_PATH_TYPE_RECURSIVE:
2405 case FIB_PATH_TYPE_INTF_RX:
Neale Ranns810086d2017-11-05 16:26:46 -08002406 case FIB_PATH_TYPE_UDP_ENCAP:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002407 case FIB_PATH_TYPE_EXCLUSIVE:
2408 case FIB_PATH_TYPE_SPECIAL:
Neale Rannsd792d9c2017-10-21 10:53:20 -07002409 case FIB_PATH_TYPE_BIER_FMASK:
2410 case FIB_PATH_TYPE_BIER_TABLE:
2411 case FIB_PATH_TYPE_BIER_IMP:
Neale Rannsf068c3e2018-01-03 04:18:48 -08002412 case FIB_PATH_TYPE_DVR:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002413 break;
2414 }
Neale Ranns1dbcf302019-07-19 11:44:53 +00002415
2416 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_POP_PW_CW)
2417 {
2418 dpo_id_t tmp = DPO_INVALID;
2419
2420 dpo_copy(&tmp, dpo);
2421
2422 pw_cw_dpo_create(&tmp, dpo);
2423 dpo_reset(&tmp);
2424 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002425}
2426
2427void
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002428fib_path_contribute_forwarding (fib_node_index_t path_index,
2429 fib_forward_chain_type_t fct,
Neale Ranns53962fb2021-12-20 18:18:42 +00002430 dpo_proto_t payload_proto,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002431 dpo_id_t *dpo)
2432{
2433 fib_path_t *path;
2434
2435 path = fib_path_get(path_index);
2436
2437 ASSERT(path);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002438
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002439 /*
2440 * The DPO stored in the path was created when the path was resolved.
2441 * This then represents the path's 'native' protocol; IP.
2442 * For all others will need to go find something else.
2443 */
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002444 if (fib_path_to_chain_type(path) == fct)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002445 {
2446 dpo_copy(dpo, &path->fp_dpo);
2447 }
Neale Ranns5e575b12016-10-03 09:40:25 +01002448 else
2449 {
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002450 switch (path->fp_type)
2451 {
2452 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2453 switch (fct)
2454 {
Neale Ranns53962fb2021-12-20 18:18:42 +00002455 case FIB_FORW_CHAIN_TYPE_MPLS_EOS: {
2456 dpo_id_t tmp = DPO_INVALID;
2457 dpo_copy (&tmp, dpo);
2458 path = fib_path_attached_next_hop_get_adj(
2459 path,
2460 dpo_proto_to_link(payload_proto),
2461 &tmp);
2462 dpo_copy (dpo, &tmp);
2463 dpo_reset(&tmp);
2464 break;
2465 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002466 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2467 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002468 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
Neale Ranns5e575b12016-10-03 09:40:25 +01002469 case FIB_FORW_CHAIN_TYPE_ETHERNET:
Florin Corasce1b4c72017-01-26 14:25:34 -08002470 case FIB_FORW_CHAIN_TYPE_NSH:
Neale Rannse821ab12017-06-01 07:45:05 -07002471 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2472 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
BenoƮt Gannee9d7b092021-06-08 18:44:37 +02002473 {
2474 dpo_id_t tmp = DPO_INVALID;
2475 dpo_copy (&tmp, dpo);
2476 path = fib_path_attached_next_hop_get_adj(
2477 path,
2478 fib_forw_chain_type_to_link_type(fct),
2479 &tmp);
2480 dpo_copy (dpo, &tmp);
2481 dpo_reset(&tmp);
2482 break;
2483 }
Neale Rannsd792d9c2017-10-21 10:53:20 -07002484 case FIB_FORW_CHAIN_TYPE_BIER:
2485 break;
2486 }
Neale Ranns32e1c012016-11-22 17:07:28 +00002487 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002488 case FIB_PATH_TYPE_RECURSIVE:
2489 switch (fct)
2490 {
2491 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2492 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2493 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002494 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
Neale Ranns32e1c012016-11-22 17:07:28 +00002495 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2496 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
Neale Rannsd792d9c2017-10-21 10:53:20 -07002497 case FIB_FORW_CHAIN_TYPE_BIER:
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002498 fib_path_recursive_adj_update(path, fct, dpo);
2499 break;
Neale Ranns5e575b12016-10-03 09:40:25 +01002500 case FIB_FORW_CHAIN_TYPE_ETHERNET:
Florin Corasce1b4c72017-01-26 14:25:34 -08002501 case FIB_FORW_CHAIN_TYPE_NSH:
Neale Ranns5e575b12016-10-03 09:40:25 +01002502 ASSERT(0);
2503 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002504 }
2505 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -07002506 case FIB_PATH_TYPE_BIER_TABLE:
2507 switch (fct)
2508 {
2509 case FIB_FORW_CHAIN_TYPE_BIER:
2510 bier_table_contribute_forwarding(path->fp_via_bier_tbl, dpo);
2511 break;
2512 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2513 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2514 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
2515 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2516 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2517 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
2518 case FIB_FORW_CHAIN_TYPE_ETHERNET:
2519 case FIB_FORW_CHAIN_TYPE_NSH:
2520 ASSERT(0);
2521 break;
2522 }
2523 break;
2524 case FIB_PATH_TYPE_BIER_FMASK:
2525 switch (fct)
2526 {
2527 case FIB_FORW_CHAIN_TYPE_BIER:
2528 fib_path_bier_fmask_update(path, dpo);
2529 break;
2530 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2531 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2532 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
2533 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2534 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2535 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
2536 case FIB_FORW_CHAIN_TYPE_ETHERNET:
2537 case FIB_FORW_CHAIN_TYPE_NSH:
2538 ASSERT(0);
2539 break;
2540 }
2541 break;
2542 case FIB_PATH_TYPE_BIER_IMP:
2543 bier_imp_contribute_forwarding(path->bier_imp.fp_bier_imp,
2544 fib_forw_chain_type_to_dpo_proto(fct),
2545 dpo);
2546 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002547 case FIB_PATH_TYPE_DEAG:
Neale Ranns32e1c012016-11-22 17:07:28 +00002548 switch (fct)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002549 {
2550 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2551 lookup_dpo_add_or_lock_w_table_id(MPLS_FIB_DEFAULT_TABLE_ID,
2552 DPO_PROTO_MPLS,
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002553 LOOKUP_UNICAST,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002554 LOOKUP_INPUT_DST_ADDR,
2555 LOOKUP_TABLE_FROM_CONFIG,
2556 dpo);
2557 break;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002558 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002559 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2560 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
Neale Ranns32e1c012016-11-22 17:07:28 +00002561 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2562 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
Neale Ranns097fa662018-05-01 05:17:55 -07002563 dpo_copy(dpo, &path->fp_dpo);
2564 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -07002565 case FIB_FORW_CHAIN_TYPE_BIER:
2566 break;
Neale Ranns5e575b12016-10-03 09:40:25 +01002567 case FIB_FORW_CHAIN_TYPE_ETHERNET:
Florin Corasce1b4c72017-01-26 14:25:34 -08002568 case FIB_FORW_CHAIN_TYPE_NSH:
Neale Ranns5e575b12016-10-03 09:40:25 +01002569 ASSERT(0);
2570 break;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002571 }
2572 break;
2573 case FIB_PATH_TYPE_EXCLUSIVE:
2574 dpo_copy(dpo, &path->exclusive.fp_ex_dpo);
2575 break;
2576 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns32e1c012016-11-22 17:07:28 +00002577 switch (fct)
2578 {
Neale Ranns53962fb2021-12-20 18:18:42 +00002579 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2580 /*
2581 * End of stack traffic via an attacehd path (a glean)
2582 * must forace an IP lookup so that the IP packet can
2583 * match against any installed adj-fibs
2584 */
2585 lookup_dpo_add_or_lock_w_fib_index(
2586 fib_table_get_index_for_sw_if_index(
2587 dpo_proto_to_fib(payload_proto),
2588 path->attached.fp_interface),
2589 payload_proto,
2590 LOOKUP_UNICAST,
2591 LOOKUP_INPUT_DST_ADDR,
2592 LOOKUP_TABLE_FROM_CONFIG,
2593 dpo);
2594 break;
Neale Ranns32e1c012016-11-22 17:07:28 +00002595 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2596 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2597 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
Neale Ranns32e1c012016-11-22 17:07:28 +00002598 case FIB_FORW_CHAIN_TYPE_ETHERNET:
Florin Corasce1b4c72017-01-26 14:25:34 -08002599 case FIB_FORW_CHAIN_TYPE_NSH:
Neale Rannsd792d9c2017-10-21 10:53:20 -07002600 case FIB_FORW_CHAIN_TYPE_BIER:
Neale Ranns3fd99042019-12-16 00:53:11 +00002601 fib_path_attached_get_adj(path,
2602 fib_forw_chain_type_to_link_type(fct),
2603 dpo);
2604 break;
Neale Ranns32e1c012016-11-22 17:07:28 +00002605 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2606 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
2607 {
2608 adj_index_t ai;
2609
2610 /*
2611 * Create the adj needed for sending IP multicast traffic
2612 */
Neale Rannsda0e7492019-10-07 22:44:54 -07002613 if (vnet_sw_interface_is_p2p(vnet_get_main(),
2614 path->attached.fp_interface))
2615 {
2616 /*
2617 * point-2-point interfaces do not require a glean, since
2618 * there is nothing to ARP. Install a rewrite/nbr adj instead
2619 */
2620 ai = adj_nbr_add_or_lock(dpo_proto_to_fib(path->fp_nh_proto),
2621 fib_forw_chain_type_to_link_type(fct),
2622 &zero_addr,
2623 path->attached.fp_interface);
2624 }
2625 else
2626 {
2627 ai = adj_mcast_add_or_lock(dpo_proto_to_fib(path->fp_nh_proto),
2628 fib_forw_chain_type_to_link_type(fct),
2629 path->attached.fp_interface);
2630 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002631 dpo_set(dpo, DPO_ADJACENCY,
Neale Ranns32e1c012016-11-22 17:07:28 +00002632 fib_forw_chain_type_to_dpo_proto(fct),
2633 ai);
2634 adj_unlock(ai);
2635 }
2636 break;
2637 }
2638 break;
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002639 case FIB_PATH_TYPE_INTF_RX:
2640 /*
2641 * Create the adj needed for sending IP multicast traffic
2642 */
Neale Ranns53962fb2021-12-20 18:18:42 +00002643 interface_rx_dpo_add_or_lock(payload_proto,
2644 path->intf_rx.fp_interface,
Neale Ranns43161a82017-08-12 02:12:00 -07002645 dpo);
Neale Ranns0f26c5a2017-03-01 15:12:11 -08002646 break;
Neale Ranns810086d2017-11-05 16:26:46 -08002647 case FIB_PATH_TYPE_UDP_ENCAP:
2648 udp_encap_contribute_forwarding(path->udp_encap.fp_udp_encap_id,
2649 path->fp_nh_proto,
2650 dpo);
2651 break;
Neale Ranns32e1c012016-11-22 17:07:28 +00002652 case FIB_PATH_TYPE_RECEIVE:
2653 case FIB_PATH_TYPE_SPECIAL:
Neale Rannsf068c3e2018-01-03 04:18:48 -08002654 case FIB_PATH_TYPE_DVR:
Neale Ranns32e1c012016-11-22 17:07:28 +00002655 dpo_copy(dpo, &path->fp_dpo);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002656 break;
2657 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002658 }
2659}
2660
2661load_balance_path_t *
2662fib_path_append_nh_for_multipath_hash (fib_node_index_t path_index,
2663 fib_forward_chain_type_t fct,
Neale Ranns53962fb2021-12-20 18:18:42 +00002664 dpo_proto_t payload_proto,
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002665 load_balance_path_t *hash_key)
2666{
2667 load_balance_path_t *mnh;
2668 fib_path_t *path;
2669
2670 path = fib_path_get(path_index);
2671
2672 ASSERT(path);
2673
Neale Rannsac64b712018-10-08 14:51:11 +00002674 vec_add2(hash_key, mnh, 1);
2675
2676 mnh->path_weight = path->fp_weight;
2677 mnh->path_index = path_index;
2678
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002679 if (fib_path_is_resolved(path_index))
2680 {
Neale Ranns53962fb2021-12-20 18:18:42 +00002681 fib_path_contribute_forwarding(path_index, fct, payload_proto, &mnh->path_dpo);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002682 }
Neale Rannsac64b712018-10-08 14:51:11 +00002683 else
2684 {
2685 dpo_copy(&mnh->path_dpo,
2686 drop_dpo_get(fib_forw_chain_type_to_dpo_proto(fct)));
2687 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002688 return (hash_key);
2689}
2690
2691int
Neale Rannsf12a83f2017-04-18 09:09:40 -07002692fib_path_is_recursive_constrained (fib_node_index_t path_index)
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002693{
2694 fib_path_t *path;
2695
2696 path = fib_path_get(path_index);
2697
Neale Rannsf12a83f2017-04-18 09:09:40 -07002698 return ((FIB_PATH_TYPE_RECURSIVE == path->fp_type) &&
2699 ((path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RESOLVE_ATTACHED) ||
2700 (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RESOLVE_HOST)));
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002701}
2702
2703int
2704fib_path_is_exclusive (fib_node_index_t path_index)
2705{
2706 fib_path_t *path;
2707
2708 path = fib_path_get(path_index);
2709
2710 return (FIB_PATH_TYPE_EXCLUSIVE == path->fp_type);
2711}
2712
2713int
2714fib_path_is_deag (fib_node_index_t path_index)
2715{
2716 fib_path_t *path;
2717
2718 path = fib_path_get(path_index);
2719
2720 return (FIB_PATH_TYPE_DEAG == path->fp_type);
2721}
2722
2723int
2724fib_path_is_resolved (fib_node_index_t path_index)
2725{
2726 fib_path_t *path;
2727
2728 path = fib_path_get(path_index);
2729
2730 return (dpo_id_is_valid(&path->fp_dpo) &&
2731 (path->fp_oper_flags & FIB_PATH_OPER_FLAG_RESOLVED) &&
2732 !fib_path_is_looped(path_index) &&
2733 !fib_path_is_permanent_drop(path));
2734}
2735
2736int
2737fib_path_is_looped (fib_node_index_t path_index)
2738{
2739 fib_path_t *path;
2740
2741 path = fib_path_get(path_index);
2742
2743 return (path->fp_oper_flags & FIB_PATH_OPER_FLAG_RECURSIVE_LOOP);
2744}
2745
Neale Ranns81424992017-05-18 03:03:22 -07002746fib_path_list_walk_rc_t
Steven01b07122016-11-02 10:40:09 -07002747fib_path_encode (fib_node_index_t path_list_index,
Neale Ranns775f73c2018-12-20 03:01:49 -08002748 fib_node_index_t path_index,
2749 const fib_path_ext_t *path_ext,
Neale Ranns097fa662018-05-01 05:17:55 -07002750 void *args)
Steven01b07122016-11-02 10:40:09 -07002751{
Neale Ranns097fa662018-05-01 05:17:55 -07002752 fib_path_encode_ctx_t *ctx = args;
2753 fib_route_path_t *rpath;
Steven01b07122016-11-02 10:40:09 -07002754 fib_path_t *path;
2755
2756 path = fib_path_get(path_index);
2757 if (!path)
Neale Ranns81424992017-05-18 03:03:22 -07002758 return (FIB_PATH_LIST_WALK_CONTINUE);
Neale Ranns097fa662018-05-01 05:17:55 -07002759
2760 vec_add2(ctx->rpaths, rpath, 1);
2761 rpath->frp_weight = path->fp_weight;
2762 rpath->frp_preference = path->fp_preference;
2763 rpath->frp_proto = path->fp_nh_proto;
2764 rpath->frp_sw_if_index = ~0;
2765 rpath->frp_fib_index = 0;
Neale Rannsa161a6d2017-11-14 08:10:41 -08002766
Steven01b07122016-11-02 10:40:09 -07002767 switch (path->fp_type)
Neale Ranns775f73c2018-12-20 03:01:49 -08002768 {
Steven01b07122016-11-02 10:40:09 -07002769 case FIB_PATH_TYPE_RECEIVE:
Neale Ranns097fa662018-05-01 05:17:55 -07002770 rpath->frp_addr = path->receive.fp_addr;
2771 rpath->frp_sw_if_index = path->receive.fp_interface;
2772 rpath->frp_flags |= FIB_ROUTE_PATH_LOCAL;
Steven01b07122016-11-02 10:40:09 -07002773 break;
2774 case FIB_PATH_TYPE_ATTACHED:
Neale Ranns097fa662018-05-01 05:17:55 -07002775 rpath->frp_sw_if_index = path->attached.fp_interface;
Steven01b07122016-11-02 10:40:09 -07002776 break;
2777 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
Neale Ranns097fa662018-05-01 05:17:55 -07002778 rpath->frp_sw_if_index = path->attached_next_hop.fp_interface;
2779 rpath->frp_addr = path->attached_next_hop.fp_nh;
Steven01b07122016-11-02 10:40:09 -07002780 break;
Neale Rannsd792d9c2017-10-21 10:53:20 -07002781 case FIB_PATH_TYPE_BIER_FMASK:
Neale Ranns097fa662018-05-01 05:17:55 -07002782 rpath->frp_bier_fmask = path->bier_fmask.fp_bier_fmask;
Neale Rannsd792d9c2017-10-21 10:53:20 -07002783 break;
Steven01b07122016-11-02 10:40:09 -07002784 case FIB_PATH_TYPE_SPECIAL:
2785 break;
2786 case FIB_PATH_TYPE_DEAG:
Neale Ranns097fa662018-05-01 05:17:55 -07002787 rpath->frp_fib_index = path->deag.fp_tbl_id;
Neale Ranns775f73c2018-12-20 03:01:49 -08002788 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RPF_ID)
2789 {
Neale Ranns097fa662018-05-01 05:17:55 -07002790 rpath->frp_flags |= FIB_ROUTE_PATH_RPF_ID;
Neale Ranns775f73c2018-12-20 03:01:49 -08002791 }
Steven01b07122016-11-02 10:40:09 -07002792 break;
2793 case FIB_PATH_TYPE_RECURSIVE:
Neale Ranns097fa662018-05-01 05:17:55 -07002794 rpath->frp_addr = path->recursive.fp_nh.fp_ip;
2795 rpath->frp_fib_index = path->recursive.fp_tbl_id;
Steven01b07122016-11-02 10:40:09 -07002796 break;
Neale Ranns81458422018-03-12 06:59:36 -07002797 case FIB_PATH_TYPE_DVR:
Neale Ranns097fa662018-05-01 05:17:55 -07002798 rpath->frp_sw_if_index = path->dvr.fp_interface;
2799 rpath->frp_flags |= FIB_ROUTE_PATH_DVR;
Neale Ranns81458422018-03-12 06:59:36 -07002800 break;
2801 case FIB_PATH_TYPE_UDP_ENCAP:
Neale Ranns097fa662018-05-01 05:17:55 -07002802 rpath->frp_udp_encap_id = path->udp_encap.fp_udp_encap_id;
2803 rpath->frp_flags |= FIB_ROUTE_PATH_UDP_ENCAP;
Neale Ranns81458422018-03-12 06:59:36 -07002804 break;
Neale Ranns775f73c2018-12-20 03:01:49 -08002805 case FIB_PATH_TYPE_INTF_RX:
Neale Ranns097fa662018-05-01 05:17:55 -07002806 rpath->frp_sw_if_index = path->receive.fp_interface;
2807 rpath->frp_flags |= FIB_ROUTE_PATH_INTF_RX;
Neale Ranns775f73c2018-12-20 03:01:49 -08002808 break;
Neale Ranns097fa662018-05-01 05:17:55 -07002809 case FIB_PATH_TYPE_EXCLUSIVE:
2810 rpath->frp_flags |= FIB_ROUTE_PATH_EXCLUSIVE;
Steven01b07122016-11-02 10:40:09 -07002811 default:
2812 break;
Neale Ranns775f73c2018-12-20 03:01:49 -08002813 }
2814
2815 if (path_ext && path_ext->fpe_type == FIB_PATH_EXT_MPLS)
2816 {
Neale Ranns097fa662018-05-01 05:17:55 -07002817 rpath->frp_label_stack = path_ext->fpe_path.frp_label_stack;
Neale Ranns775f73c2018-12-20 03:01:49 -08002818 }
Neale Rannsa161a6d2017-11-14 08:10:41 -08002819
Neale Ranns097fa662018-05-01 05:17:55 -07002820 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_DROP)
2821 rpath->frp_flags |= FIB_ROUTE_PATH_DROP;
2822 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_UNREACH)
2823 rpath->frp_flags |= FIB_ROUTE_PATH_ICMP_UNREACH;
2824 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_PROHIBIT)
2825 rpath->frp_flags |= FIB_ROUTE_PATH_ICMP_PROHIBIT;
2826
Neale Ranns81424992017-05-18 03:03:22 -07002827 return (FIB_PATH_LIST_WALK_CONTINUE);
Steven01b07122016-11-02 10:40:09 -07002828}
2829
Neale Rannsda78f952017-05-24 09:15:43 -07002830dpo_proto_t
Neale Rannsad422ed2016-11-02 14:20:04 +00002831fib_path_get_proto (fib_node_index_t path_index)
2832{
2833 fib_path_t *path;
2834
2835 path = fib_path_get(path_index);
2836
2837 return (path->fp_nh_proto);
2838}
2839
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002840void
2841fib_path_module_init (void)
2842{
2843 fib_node_register_type (FIB_NODE_TYPE_PATH, &fib_path_vft);
Neale Ranns710071b2018-09-24 12:36:26 +00002844 fib_path_logger = vlib_log_register_class ("fib", "path");
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002845}
2846
2847static clib_error_t *
2848show_fib_path_command (vlib_main_t * vm,
2849 unformat_input_t * input,
2850 vlib_cli_command_t * cmd)
2851{
Neale Ranns33a7dd52016-10-07 15:14:33 +01002852 fib_node_index_t pi;
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002853 fib_path_t *path;
2854
Neale Ranns33a7dd52016-10-07 15:14:33 +01002855 if (unformat (input, "%d", &pi))
2856 {
2857 /*
2858 * show one in detail
2859 */
2860 if (!pool_is_free_index(fib_path_pool, pi))
2861 {
2862 path = fib_path_get(pi);
Neale Ranns710071b2018-09-24 12:36:26 +00002863 u8 *s = format(NULL, "%U", format_fib_path, pi, 1,
2864 FIB_PATH_FORMAT_FLAGS_NONE);
Neale Ranns521a8d72018-12-06 13:46:49 +00002865 s = format(s, "\n children:");
Neale Ranns33a7dd52016-10-07 15:14:33 +01002866 s = fib_node_children_format(path->fp_node.fn_children, s);
BenoƮt Ganne84382ae2020-02-04 16:45:09 +01002867 vlib_cli_output (vm, "%v", s);
Neale Ranns33a7dd52016-10-07 15:14:33 +01002868 vec_free(s);
2869 }
2870 else
2871 {
2872 vlib_cli_output (vm, "path %d invalid", pi);
2873 }
2874 }
2875 else
2876 {
2877 vlib_cli_output (vm, "FIB Paths");
Damjan Marionb2c31b62020-12-13 21:47:40 +01002878 pool_foreach_index (pi, fib_path_pool)
2879 {
Neale Ranns710071b2018-09-24 12:36:26 +00002880 vlib_cli_output (vm, "%U", format_fib_path, pi, 0,
2881 FIB_PATH_FORMAT_FLAGS_NONE);
Damjan Marionb2c31b62020-12-13 21:47:40 +01002882 }
Neale Ranns33a7dd52016-10-07 15:14:33 +01002883 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +01002884
2885 return (NULL);
2886}
2887
2888VLIB_CLI_COMMAND (show_fib_path, static) = {
2889 .path = "show fib paths",
2890 .function = show_fib_path_command,
2891 .short_help = "show fib paths",
2892};