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:
7 * http://www.apache.org/licenses/LICENSE-2.0
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.
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>
24 #include <vnet/dpo/interface_rx_dpo.h>
25 #include <vnet/dpo/mpls_disposition.h>
26 #include <vnet/dpo/dvr_dpo.h>
27 #include <vnet/dpo/ip_null_dpo.h>
28 #include <vnet/dpo/classify_dpo.h>
29 #include <vnet/dpo/pw_cw.h>
31 #include <vnet/adj/adj.h>
32 #include <vnet/adj/adj_mcast.h>
34 #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>
41 #include <vnet/fib/mpls_fib.h>
42 #include <vnet/fib/fib_path_ext.h>
43 #include <vnet/udp/udp_encap.h>
44 #include <vnet/bier/bier_fmask.h>
45 #include <vnet/bier/bier_table.h>
46 #include <vnet/bier/bier_imp.h>
47 #include <vnet/bier/bier_disp_table.h>
50 * Enurmeration of path types
52 typedef enum fib_path_type_t_ {
54 * Marker. Add new types after this one.
56 FIB_PATH_TYPE_FIRST = 0,
58 * Attached-nexthop. An interface and a nexthop are known.
60 FIB_PATH_TYPE_ATTACHED_NEXT_HOP = FIB_PATH_TYPE_FIRST,
62 * attached. Only the interface is known.
64 FIB_PATH_TYPE_ATTACHED,
66 * recursive. Only the next-hop is known.
68 FIB_PATH_TYPE_RECURSIVE,
70 * special. nothing is known. so we drop.
72 FIB_PATH_TYPE_SPECIAL,
74 * exclusive. user provided adj.
76 FIB_PATH_TYPE_EXCLUSIVE,
78 * deag. Link to a lookup adj in the next table
84 FIB_PATH_TYPE_INTF_RX,
86 * Path resolves via a UDP encap object.
88 FIB_PATH_TYPE_UDP_ENCAP,
90 * receive. it's for-us.
92 FIB_PATH_TYPE_RECEIVE,
94 * bier-imp. it's via a BIER imposition.
96 FIB_PATH_TYPE_BIER_IMP,
98 * bier-fmask. it's via a BIER ECMP-table.
100 FIB_PATH_TYPE_BIER_TABLE,
102 * bier-fmask. it's via a BIER f-mask.
104 FIB_PATH_TYPE_BIER_FMASK,
110 * Marker. Add new types before this one, then update it.
112 FIB_PATH_TYPE_LAST = FIB_PATH_TYPE_BIER_FMASK,
113 } __attribute__ ((packed)) fib_path_type_t;
116 * The maximum number of path_types
118 #define FIB_PATH_TYPE_MAX (FIB_PATH_TYPE_LAST + 1)
120 #define FIB_PATH_TYPES { \
121 [FIB_PATH_TYPE_ATTACHED_NEXT_HOP] = "attached-nexthop", \
122 [FIB_PATH_TYPE_ATTACHED] = "attached", \
123 [FIB_PATH_TYPE_RECURSIVE] = "recursive", \
124 [FIB_PATH_TYPE_SPECIAL] = "special", \
125 [FIB_PATH_TYPE_EXCLUSIVE] = "exclusive", \
126 [FIB_PATH_TYPE_DEAG] = "deag", \
127 [FIB_PATH_TYPE_INTF_RX] = "intf-rx", \
128 [FIB_PATH_TYPE_UDP_ENCAP] = "udp-encap", \
129 [FIB_PATH_TYPE_RECEIVE] = "receive", \
130 [FIB_PATH_TYPE_BIER_IMP] = "bier-imp", \
131 [FIB_PATH_TYPE_BIER_TABLE] = "bier-table", \
132 [FIB_PATH_TYPE_BIER_FMASK] = "bier-fmask", \
133 [FIB_PATH_TYPE_DVR] = "dvr", \
136 #define FOR_EACH_FIB_PATH_TYPE(_item) \
137 for (_item = FIB_PATH_TYPE_FIRST; \
138 _item <= FIB_PATH_TYPE_LAST; \
142 * Enurmeration of path operational (i.e. derived) attributes
144 typedef enum fib_path_oper_attribute_t_ {
146 * Marker. Add new types after this one.
148 FIB_PATH_OPER_ATTRIBUTE_FIRST = 0,
150 * The path forms part of a recursive loop.
152 FIB_PATH_OPER_ATTRIBUTE_RECURSIVE_LOOP = FIB_PATH_OPER_ATTRIBUTE_FIRST,
154 * The path is resolved
156 FIB_PATH_OPER_ATTRIBUTE_RESOLVED,
158 * The path is attached, despite what the next-hop may say.
160 FIB_PATH_OPER_ATTRIBUTE_ATTACHED,
162 * The path has become a permanent drop.
164 FIB_PATH_OPER_ATTRIBUTE_DROP,
166 * Marker. Add new types before this one, then update it.
168 FIB_PATH_OPER_ATTRIBUTE_LAST = FIB_PATH_OPER_ATTRIBUTE_DROP,
169 } __attribute__ ((packed)) fib_path_oper_attribute_t;
172 * The maximum number of path operational attributes
174 #define FIB_PATH_OPER_ATTRIBUTE_MAX (FIB_PATH_OPER_ATTRIBUTE_LAST + 1)
176 #define FIB_PATH_OPER_ATTRIBUTES { \
177 [FIB_PATH_OPER_ATTRIBUTE_RECURSIVE_LOOP] = "recursive-loop", \
178 [FIB_PATH_OPER_ATTRIBUTE_RESOLVED] = "resolved", \
179 [FIB_PATH_OPER_ATTRIBUTE_DROP] = "drop", \
182 #define FOR_EACH_FIB_PATH_OPER_ATTRIBUTE(_item) \
183 for (_item = FIB_PATH_OPER_ATTRIBUTE_FIRST; \
184 _item <= FIB_PATH_OPER_ATTRIBUTE_LAST; \
188 * Path flags from the attributes
190 typedef enum fib_path_oper_flags_t_ {
191 FIB_PATH_OPER_FLAG_NONE = 0,
192 FIB_PATH_OPER_FLAG_RECURSIVE_LOOP = (1 << FIB_PATH_OPER_ATTRIBUTE_RECURSIVE_LOOP),
193 FIB_PATH_OPER_FLAG_DROP = (1 << FIB_PATH_OPER_ATTRIBUTE_DROP),
194 FIB_PATH_OPER_FLAG_RESOLVED = (1 << FIB_PATH_OPER_ATTRIBUTE_RESOLVED),
195 FIB_PATH_OPER_FLAG_ATTACHED = (1 << FIB_PATH_OPER_ATTRIBUTE_ATTACHED),
196 } __attribute__ ((packed)) fib_path_oper_flags_t;
201 typedef struct fib_path_t_ {
203 * A path is a node in the FIB graph.
208 * The index of the path-list to which this path belongs
213 * This marks the start of the memory area used to hash
216 STRUCT_MARK(path_hash_start);
219 * Configuration Flags
221 fib_path_cfg_flags_t fp_cfg_flags;
224 * The type of the path. This is the selector for the union
226 fib_path_type_t fp_type;
229 * The protocol of the next-hop, i.e. the address family of the
230 * next-hop's address. We can't derive this from the address itself
231 * since the address can be all zeros
233 dpo_proto_t fp_nh_proto;
236 * UCMP [unnormalised] weigth
241 * A path preference. 0 is the best.
242 * Only paths of the best preference, that are 'up', are considered
248 * per-type union of the data required to resolve the path
255 ip46_address_t fp_nh;
273 ip46_address_t fp_ip;
276 * The local label to resolve through.
278 mpls_label_t fp_local_label;
280 * The EOS bit of the resolving label
282 mpls_eos_bit_t fp_eos;
287 * The FIB table index in which to find the next-hop.
289 fib_node_index_t fp_tbl_id;
291 * The BIER FIB the fmask is in
300 index_t fp_bier_fmask;
304 * The BIER table's ID
306 bier_table_id_t fp_bier_tbl;
310 * The BIER imposition object
311 * this is part of the path's key, since the index_t
312 * of an imposition object is the object's key.
318 * The FIB index in which to perfom the next lookup
320 fib_node_index_t fp_tbl_id;
322 * The RPF-ID to tag the packets with
324 fib_rpf_id_t fp_rpf_id;
330 * The user provided 'exclusive' DPO
336 * The interface on which the local address is configured
342 ip46_address_t fp_addr;
346 * The interface on which the packets will be input.
352 * The UDP Encap object this path resolves through
358 * The UDP Encap object this path resolves through
360 u32 fp_classify_table_id;
369 STRUCT_MARK(path_hash_end);
372 * Memebers in this last section represent information that is
373 * dervied during resolution. It should not be copied to new paths
380 fib_path_oper_flags_t fp_oper_flags;
384 * the resolving via fib. not part of the union, since it it not part
385 * of the path's hash.
387 fib_node_index_t fp_via_fib;
389 * the resolving bier-table
391 index_t fp_via_bier_tbl;
393 * the resolving bier-fmask
395 index_t fp_via_bier_fmask;
399 * The Data-path objects through which this path resolves for IP.
404 * the index of this path in the parent's child list.
410 * Array of strings/names for the path types and attributes
412 static const char *fib_path_type_names[] = FIB_PATH_TYPES;
413 static const char *fib_path_oper_attribute_names[] = FIB_PATH_OPER_ATTRIBUTES;
414 static const char *fib_path_cfg_attribute_names[] = FIB_PATH_CFG_ATTRIBUTES;
417 * The memory pool from which we allocate all the paths
419 static fib_path_t *fib_path_pool;
424 vlib_log_class_t fib_path_logger;
429 #define FIB_PATH_DBG(_p, _fmt, _args...) \
431 vlib_log_debug (fib_path_logger, \
433 format_fib_path, fib_path_get_index(_p), 0, \
434 FIB_PATH_FORMAT_FLAGS_ONE_LINE, \
439 fib_path_get (fib_node_index_t index)
441 return (pool_elt_at_index(fib_path_pool, index));
444 static fib_node_index_t
445 fib_path_get_index (fib_path_t *path)
447 return (path - fib_path_pool);
451 fib_path_get_node (fib_node_index_t index)
453 return ((fib_node_t*)fib_path_get(index));
457 fib_path_from_fib_node (fib_node_t *node)
459 ASSERT(FIB_NODE_TYPE_PATH == node->fn_type);
460 return ((fib_path_t*)node);
464 format_fib_path (u8 * s, va_list * args)
466 fib_node_index_t path_index = va_arg (*args, fib_node_index_t);
467 u32 indent = va_arg (*args, u32);
468 fib_format_path_flags_t flags = va_arg (*args, fib_format_path_flags_t);
469 vnet_main_t * vnm = vnet_get_main();
470 fib_path_oper_attribute_t oattr;
471 fib_path_cfg_attribute_t cattr;
475 if (flags & FIB_PATH_FORMAT_FLAGS_ONE_LINE)
484 path = fib_path_get(path_index);
486 s = format (s, "%Upath:[%d] ", format_white_space, indent,
487 fib_path_get_index(path));
488 s = format (s, "pl-index:%d ", path->fp_pl_index);
489 s = format (s, "%U ", format_dpo_proto, path->fp_nh_proto);
490 s = format (s, "weight=%d ", path->fp_weight);
491 s = format (s, "pref=%d ", path->fp_preference);
492 s = format (s, "%s: ", fib_path_type_names[path->fp_type]);
493 if (FIB_PATH_OPER_FLAG_NONE != path->fp_oper_flags) {
494 s = format(s, " oper-flags:");
495 FOR_EACH_FIB_PATH_OPER_ATTRIBUTE(oattr) {
496 if ((1<<oattr) & path->fp_oper_flags) {
497 s = format (s, "%s,", fib_path_oper_attribute_names[oattr]);
501 if (FIB_PATH_CFG_FLAG_NONE != path->fp_cfg_flags) {
502 s = format(s, " cfg-flags:");
503 FOR_EACH_FIB_PATH_CFG_ATTRIBUTE(cattr) {
504 if ((1<<cattr) & path->fp_cfg_flags) {
505 s = format (s, "%s,", fib_path_cfg_attribute_names[cattr]);
509 if (!(flags & FIB_PATH_FORMAT_FLAGS_ONE_LINE))
510 s = format(s, "\n%U", format_white_space, indent+2);
512 switch (path->fp_type)
514 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
515 s = format (s, "%U", format_ip46_address,
516 &path->attached_next_hop.fp_nh,
518 if (path->fp_oper_flags & FIB_PATH_OPER_FLAG_DROP)
520 s = format (s, " if_index:%d", path->attached_next_hop.fp_interface);
524 s = format (s, " %U",
525 format_vnet_sw_interface_name,
527 vnet_get_sw_interface(
529 path->attached_next_hop.fp_interface));
530 if (vnet_sw_interface_is_p2p(vnet_get_main(),
531 path->attached_next_hop.fp_interface))
533 s = format (s, " (p2p)");
536 if (!dpo_id_is_valid(&path->fp_dpo))
538 s = format(s, "%s%Uunresolved", eol, format_white_space, indent+2);
542 s = format(s, "%s%U%U", eol,
543 format_white_space, indent,
548 case FIB_PATH_TYPE_ATTACHED:
549 if (path->fp_oper_flags & FIB_PATH_OPER_FLAG_DROP)
551 s = format (s, "if_index:%d", path->attached_next_hop.fp_interface);
555 s = format (s, " %U",
556 format_vnet_sw_interface_name,
558 vnet_get_sw_interface(
560 path->attached.fp_interface));
563 case FIB_PATH_TYPE_RECURSIVE:
564 if (DPO_PROTO_MPLS == path->fp_nh_proto)
566 s = format (s, "via %U %U",
567 format_mpls_unicast_label,
568 path->recursive.fp_nh.fp_local_label,
570 path->recursive.fp_nh.fp_eos);
574 s = format (s, "via %U",
576 &path->recursive.fp_nh.fp_ip,
579 s = format (s, " in fib:%d",
580 path->recursive.fp_tbl_id,
582 s = format (s, " via-fib:%d", path->fp_via_fib);
583 s = format (s, " via-dpo:[%U:%d]",
584 format_dpo_type, path->fp_dpo.dpoi_type,
585 path->fp_dpo.dpoi_index);
588 case FIB_PATH_TYPE_UDP_ENCAP:
589 s = format (s, "UDP-encap ID:%d", path->udp_encap.fp_udp_encap_id);
591 case FIB_PATH_TYPE_BIER_TABLE:
592 s = format (s, "via bier-table:[%U}",
593 format_bier_table_id,
594 &path->bier_table.fp_bier_tbl);
595 s = format (s, " via-dpo:[%U:%d]",
596 format_dpo_type, path->fp_dpo.dpoi_type,
597 path->fp_dpo.dpoi_index);
599 case FIB_PATH_TYPE_BIER_FMASK:
600 s = format (s, "via-fmask:%d", path->bier_fmask.fp_bier_fmask);
601 s = format (s, " via-dpo:[%U:%d]",
602 format_dpo_type, path->fp_dpo.dpoi_type,
603 path->fp_dpo.dpoi_index);
605 case FIB_PATH_TYPE_BIER_IMP:
606 s = format (s, "via %U", format_bier_imp,
607 path->bier_imp.fp_bier_imp, 0, BIER_SHOW_BRIEF);
609 case FIB_PATH_TYPE_DVR:
610 s = format (s, " %U",
611 format_vnet_sw_interface_name,
613 vnet_get_sw_interface(
615 path->dvr.fp_interface));
617 case FIB_PATH_TYPE_DEAG:
618 s = format (s, " %sfib-index:%d",
619 (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RPF_ID ? "m" : ""),
620 path->deag.fp_tbl_id);
622 case FIB_PATH_TYPE_RECEIVE:
623 case FIB_PATH_TYPE_INTF_RX:
624 case FIB_PATH_TYPE_SPECIAL:
625 case FIB_PATH_TYPE_EXCLUSIVE:
626 if (dpo_id_is_valid(&path->fp_dpo))
628 s = format(s, "%U", format_dpo_id,
629 &path->fp_dpo, indent+2);
637 * fib_path_last_lock_gone
639 * We don't share paths, we share path lists, so the [un]lock functions
643 fib_path_last_lock_gone (fib_node_t *node)
649 fib_path_attached_next_hop_get_adj (fib_path_t *path,
653 fib_protocol_t nh_proto;
656 nh_proto = dpo_proto_to_fib(path->fp_nh_proto);
658 if (vnet_sw_interface_is_p2p(vnet_get_main(),
659 path->attached_next_hop.fp_interface))
662 * if the interface is p2p then the adj for the specific
663 * neighbour on that link will never exist. on p2p links
664 * the subnet address (the attached route) links to the
665 * auto-adj (see below), we want that adj here too.
667 ai = adj_nbr_add_or_lock(nh_proto, link, &zero_addr,
668 path->attached_next_hop.fp_interface);
672 ai = adj_nbr_add_or_lock(nh_proto, link,
673 &path->attached_next_hop.fp_nh,
674 path->attached_next_hop.fp_interface);
677 dpo_set(dpo, DPO_ADJACENCY, vnet_link_to_dpo_proto(link), ai);
682 fib_path_attached_next_hop_set (fib_path_t *path)
685 * resolve directly via the adjacency discribed by the
686 * interface and next-hop
688 fib_path_attached_next_hop_get_adj(path,
689 dpo_proto_to_link(path->fp_nh_proto),
692 ASSERT(dpo_is_adj(&path->fp_dpo));
695 * become a child of the adjacency so we receive updates
696 * when its rewrite changes
698 path->fp_sibling = adj_child_add(path->fp_dpo.dpoi_index,
700 fib_path_get_index(path));
702 if (!vnet_sw_interface_is_up(vnet_get_main(),
703 path->attached_next_hop.fp_interface) ||
704 !adj_is_up(path->fp_dpo.dpoi_index))
706 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
711 fib_path_attached_get_adj (fib_path_t *path,
715 fib_protocol_t nh_proto;
717 nh_proto = dpo_proto_to_fib(path->fp_nh_proto);
719 if (vnet_sw_interface_is_p2p(vnet_get_main(),
720 path->attached.fp_interface))
723 * point-2-point interfaces do not require a glean, since
724 * there is nothing to ARP. Install a rewrite/nbr adj instead
728 ai = adj_nbr_add_or_lock(nh_proto, link, &zero_addr,
729 path->attached.fp_interface);
731 dpo_set(dpo, DPO_ADJACENCY, vnet_link_to_dpo_proto(link), ai);
734 else if (vnet_sw_interface_is_nbma(vnet_get_main(),
735 path->attached.fp_interface))
737 dpo_copy(dpo, drop_dpo_get(path->fp_nh_proto));
743 ai = adj_glean_add_or_lock(nh_proto, link,
744 path->attached.fp_interface,
746 dpo_set(dpo, DPO_ADJACENCY_GLEAN, vnet_link_to_dpo_proto(link), ai);
752 * create of update the paths recursive adj
755 fib_path_recursive_adj_update (fib_path_t *path,
756 fib_forward_chain_type_t fct,
759 dpo_id_t via_dpo = DPO_INVALID;
762 * get the DPO to resolve through from the via-entry
764 fib_entry_contribute_forwarding(path->fp_via_fib,
770 * hope for the best - clear if restrictions apply.
772 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
775 * Validate any recursion constraints and over-ride the via
778 if (path->fp_oper_flags & FIB_PATH_OPER_FLAG_RECURSIVE_LOOP)
780 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
781 dpo_copy(&via_dpo, drop_dpo_get(path->fp_nh_proto));
783 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RESOLVE_HOST)
786 * the via FIB must be a host route.
787 * note the via FIB just added will always be a host route
788 * since it is an RR source added host route. So what we need to
789 * check is whether the route has other sources. If it does then
790 * some other source has added it as a host route. If it doesn't
791 * then it was added only here and inherits forwarding from a cover.
792 * the cover is not a host route.
793 * The RR source is the lowest priority source, so we check if it
794 * is the best. if it is there are no other sources.
796 if (fib_entry_get_best_source(path->fp_via_fib) >= FIB_SOURCE_RR)
798 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
799 dpo_copy(&via_dpo, drop_dpo_get(path->fp_nh_proto));
802 * PIC edge trigger. let the load-balance maps know
804 load_balance_map_path_state_change(fib_path_get_index(path));
807 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RESOLVE_ATTACHED)
810 * RR source entries inherit the flags from the cover, so
811 * we can check the via directly
813 if (!(FIB_ENTRY_FLAG_ATTACHED & fib_entry_get_flags(path->fp_via_fib)))
815 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
816 dpo_copy(&via_dpo, drop_dpo_get(path->fp_nh_proto));
819 * PIC edge trigger. let the load-balance maps know
821 load_balance_map_path_state_change(fib_path_get_index(path));
825 * check for over-riding factors on the FIB entry itself
827 if (!fib_entry_is_resolved(path->fp_via_fib))
829 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
830 dpo_copy(&via_dpo, drop_dpo_get(path->fp_nh_proto));
833 * PIC edge trigger. let the load-balance maps know
835 load_balance_map_path_state_change(fib_path_get_index(path));
839 * If this path is contributing a drop, then it's not resolved
841 if (dpo_is_drop(&via_dpo) || load_balance_is_drop(&via_dpo))
843 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
847 * update the path's contributed DPO
849 dpo_copy(dpo, &via_dpo);
851 FIB_PATH_DBG(path, "recursive update:");
857 * re-evaulate the forwarding state for a via fmask path
860 fib_path_bier_fmask_update (fib_path_t *path,
863 bier_fmask_contribute_forwarding(path->bier_fmask.fp_bier_fmask, dpo);
866 * if we are stakcing on the drop, then the path is not resolved
868 if (dpo_is_drop(dpo))
870 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
874 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
879 * fib_path_is_permanent_drop
881 * Return !0 if the path is configured to permanently drop,
882 * despite other attributes.
885 fib_path_is_permanent_drop (fib_path_t *path)
887 return ((path->fp_cfg_flags & FIB_PATH_CFG_FLAG_DROP) ||
888 (path->fp_oper_flags & FIB_PATH_OPER_FLAG_DROP));
894 * Remove our dependency on the resolution target
897 fib_path_unresolve (fib_path_t *path)
900 * the forced drop path does not need unresolving
902 if (fib_path_is_permanent_drop(path))
907 switch (path->fp_type)
909 case FIB_PATH_TYPE_RECURSIVE:
910 if (FIB_NODE_INDEX_INVALID != path->fp_via_fib)
912 fib_entry_child_remove(path->fp_via_fib,
914 fib_table_entry_special_remove(path->recursive.fp_tbl_id,
915 fib_entry_get_prefix(path->fp_via_fib),
917 fib_table_unlock(path->recursive.fp_tbl_id,
918 dpo_proto_to_fib(path->fp_nh_proto),
920 path->fp_via_fib = FIB_NODE_INDEX_INVALID;
923 case FIB_PATH_TYPE_BIER_FMASK:
924 bier_fmask_child_remove(path->fp_via_bier_fmask,
927 case FIB_PATH_TYPE_BIER_IMP:
928 bier_imp_unlock(path->fp_dpo.dpoi_index);
930 case FIB_PATH_TYPE_BIER_TABLE:
931 bier_table_ecmp_unlock(path->fp_via_bier_tbl);
933 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
934 case FIB_PATH_TYPE_ATTACHED:
935 if (dpo_is_adj(&path->fp_dpo))
936 adj_child_remove(path->fp_dpo.dpoi_index,
939 case FIB_PATH_TYPE_UDP_ENCAP:
940 udp_encap_unlock(path->fp_dpo.dpoi_index);
942 case FIB_PATH_TYPE_EXCLUSIVE:
943 dpo_reset(&path->exclusive.fp_ex_dpo);
945 case FIB_PATH_TYPE_SPECIAL:
946 case FIB_PATH_TYPE_RECEIVE:
947 case FIB_PATH_TYPE_INTF_RX:
948 case FIB_PATH_TYPE_DEAG:
949 case FIB_PATH_TYPE_DVR:
951 * these hold only the path's DPO, which is reset below.
957 * release the adj we were holding and pick up the
960 dpo_reset(&path->fp_dpo);
961 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
966 static fib_forward_chain_type_t
967 fib_path_to_chain_type (const fib_path_t *path)
969 if (DPO_PROTO_MPLS == path->fp_nh_proto)
971 if (FIB_PATH_TYPE_RECURSIVE == path->fp_type &&
972 MPLS_EOS == path->recursive.fp_nh.fp_eos)
974 return (FIB_FORW_CHAIN_TYPE_MPLS_EOS);
978 return (FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS);
983 return (fib_forw_chain_type_from_dpo_proto(path->fp_nh_proto));
988 * fib_path_back_walk_notify
990 * A back walk has reach this path.
992 static fib_node_back_walk_rc_t
993 fib_path_back_walk_notify (fib_node_t *node,
994 fib_node_back_walk_ctx_t *ctx)
998 path = fib_path_from_fib_node(node);
1000 FIB_PATH_DBG(path, "bw:%U",
1001 format_fib_node_bw_reason, ctx->fnbw_reason);
1003 switch (path->fp_type)
1005 case FIB_PATH_TYPE_RECURSIVE:
1006 if (FIB_NODE_BW_REASON_FLAG_EVALUATE & ctx->fnbw_reason)
1009 * modify the recursive adjacency to use the new forwarding
1011 * this update is visible to packets in flight in the DP.
1013 fib_path_recursive_adj_update(
1015 fib_path_to_chain_type(path),
1018 if ((FIB_NODE_BW_REASON_FLAG_ADJ_UPDATE & ctx->fnbw_reason) ||
1019 (FIB_NODE_BW_REASON_FLAG_ADJ_DOWN & ctx->fnbw_reason))
1022 * ADJ updates (complete<->incomplete) do not need to propagate to
1023 * recursive entries.
1024 * The only reason its needed as far back as here, is that the adj
1025 * and the incomplete adj are a different DPO type, so the LBs need
1027 * If this walk was quashed in the fib_entry, then any non-fib_path
1028 * children (like tunnels that collapse out the LB when they stack)
1029 * would not see the update.
1031 return (FIB_NODE_BACK_WALK_CONTINUE);
1034 case FIB_PATH_TYPE_BIER_FMASK:
1035 if (FIB_NODE_BW_REASON_FLAG_EVALUATE & ctx->fnbw_reason)
1038 * update to use the BIER fmask's new forwading
1040 fib_path_bier_fmask_update(path, &path->fp_dpo);
1042 if ((FIB_NODE_BW_REASON_FLAG_ADJ_UPDATE & ctx->fnbw_reason) ||
1043 (FIB_NODE_BW_REASON_FLAG_ADJ_DOWN & ctx->fnbw_reason))
1046 * ADJ updates (complete<->incomplete) do not need to propagate to
1047 * recursive entries.
1048 * The only reason its needed as far back as here, is that the adj
1049 * and the incomplete adj are a different DPO type, so the LBs need
1051 * If this walk was quashed in the fib_entry, then any non-fib_path
1052 * children (like tunnels that collapse out the LB when they stack)
1053 * would not see the update.
1055 return (FIB_NODE_BACK_WALK_CONTINUE);
1058 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1061 * ADJ_UPDATE backwalk pass silently through here and up to
1062 * the path-list when the multipath adj collapse occurs.
1063 * The reason we do this is that the assumtption is that VPP
1064 * runs in an environment where the Control-Plane is remote
1065 * and hence reacts slowly to link up down. In order to remove
1066 * this down link from the ECMP set quickly, we back-walk.
1067 * VPP also has dedicated CPUs, so we are not stealing resources
1068 * from the CP to do so.
1070 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_UP & ctx->fnbw_reason)
1072 if (path->fp_oper_flags & FIB_PATH_OPER_FLAG_RESOLVED)
1075 * alreday resolved. no need to walk back again
1077 return (FIB_NODE_BACK_WALK_CONTINUE);
1079 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1081 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_DOWN & ctx->fnbw_reason)
1083 if (!(path->fp_oper_flags & FIB_PATH_OPER_FLAG_RESOLVED))
1086 * alreday unresolved. no need to walk back again
1088 return (FIB_NODE_BACK_WALK_CONTINUE);
1090 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1092 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_DELETE & ctx->fnbw_reason)
1095 * The interface this path resolves through has been deleted.
1096 * This will leave the path in a permanent drop state. The route
1097 * needs to be removed and readded (and hence the path-list deleted)
1098 * before it can forward again.
1100 fib_path_unresolve(path);
1101 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_DROP;
1103 if (FIB_NODE_BW_REASON_FLAG_ADJ_UPDATE & ctx->fnbw_reason)
1106 * restack the DPO to pick up the correct DPO sub-type
1110 if_is_up = vnet_sw_interface_is_up(
1112 path->attached_next_hop.fp_interface);
1114 fib_path_attached_next_hop_get_adj(
1116 dpo_proto_to_link(path->fp_nh_proto),
1119 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1120 if (if_is_up && adj_is_up(path->fp_dpo.dpoi_index))
1122 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1128 * If the interface is not up there is no reason to walk
1129 * back to children. if we did they would only evalute
1130 * that this path is unresolved and hence it would
1131 * not contribute the adjacency - so it would be wasted
1134 return (FIB_NODE_BACK_WALK_CONTINUE);
1137 if (FIB_NODE_BW_REASON_FLAG_ADJ_DOWN & ctx->fnbw_reason)
1139 if (!(path->fp_oper_flags & FIB_PATH_OPER_FLAG_RESOLVED))
1142 * alreday unresolved. no need to walk back again
1144 return (FIB_NODE_BACK_WALK_CONTINUE);
1147 * the adj has gone down. the path is no longer resolved.
1149 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1152 case FIB_PATH_TYPE_ATTACHED:
1153 case FIB_PATH_TYPE_DVR:
1155 * FIXME; this could schedule a lower priority walk, since attached
1156 * routes are not usually in ECMP configurations so the backwalk to
1157 * the FIB entry does not need to be high priority
1159 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_UP & ctx->fnbw_reason)
1161 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1163 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_DOWN & ctx->fnbw_reason)
1165 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1167 if (FIB_NODE_BW_REASON_FLAG_INTERFACE_DELETE & ctx->fnbw_reason)
1169 fib_path_unresolve(path);
1170 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_DROP;
1173 case FIB_PATH_TYPE_UDP_ENCAP:
1175 dpo_id_t via_dpo = DPO_INVALID;
1178 * hope for the best - clear if restrictions apply.
1180 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1182 udp_encap_contribute_forwarding(path->udp_encap.fp_udp_encap_id,
1186 * If this path is contributing a drop, then it's not resolved
1188 if (dpo_is_drop(&via_dpo) || load_balance_is_drop(&via_dpo))
1190 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1194 * update the path's contributed DPO
1196 dpo_copy(&path->fp_dpo, &via_dpo);
1197 dpo_reset(&via_dpo);
1200 case FIB_PATH_TYPE_INTF_RX:
1202 case FIB_PATH_TYPE_DEAG:
1204 * FIXME When VRF delete is allowed this will need a poke.
1206 case FIB_PATH_TYPE_SPECIAL:
1207 case FIB_PATH_TYPE_RECEIVE:
1208 case FIB_PATH_TYPE_EXCLUSIVE:
1209 case FIB_PATH_TYPE_BIER_TABLE:
1210 case FIB_PATH_TYPE_BIER_IMP:
1212 * these path types have no parents. so to be
1213 * walked from one is unexpected.
1220 * propagate the backwalk further to the path-list
1222 fib_path_list_back_walk(path->fp_pl_index, ctx);
1224 return (FIB_NODE_BACK_WALK_CONTINUE);
1228 fib_path_memory_show (void)
1230 fib_show_memory_usage("Path",
1231 pool_elts(fib_path_pool),
1232 pool_len(fib_path_pool),
1233 sizeof(fib_path_t));
1237 * The FIB path's graph node virtual function table
1239 static const fib_node_vft_t fib_path_vft = {
1240 .fnv_get = fib_path_get_node,
1241 .fnv_last_lock = fib_path_last_lock_gone,
1242 .fnv_back_walk = fib_path_back_walk_notify,
1243 .fnv_mem_show = fib_path_memory_show,
1246 static fib_path_cfg_flags_t
1247 fib_path_route_flags_to_cfg_flags (const fib_route_path_t *rpath)
1249 fib_path_cfg_flags_t cfg_flags = FIB_PATH_CFG_FLAG_NONE;
1251 if (rpath->frp_flags & FIB_ROUTE_PATH_POP_PW_CW)
1252 cfg_flags |= FIB_PATH_CFG_FLAG_POP_PW_CW;
1253 if (rpath->frp_flags & FIB_ROUTE_PATH_RESOLVE_VIA_HOST)
1254 cfg_flags |= FIB_PATH_CFG_FLAG_RESOLVE_HOST;
1255 if (rpath->frp_flags & FIB_ROUTE_PATH_RESOLVE_VIA_ATTACHED)
1256 cfg_flags |= FIB_PATH_CFG_FLAG_RESOLVE_ATTACHED;
1257 if (rpath->frp_flags & FIB_ROUTE_PATH_LOCAL)
1258 cfg_flags |= FIB_PATH_CFG_FLAG_LOCAL;
1259 if (rpath->frp_flags & FIB_ROUTE_PATH_ATTACHED)
1260 cfg_flags |= FIB_PATH_CFG_FLAG_ATTACHED;
1261 if (rpath->frp_flags & FIB_ROUTE_PATH_INTF_RX)
1262 cfg_flags |= FIB_PATH_CFG_FLAG_INTF_RX;
1263 if (rpath->frp_flags & FIB_ROUTE_PATH_RPF_ID)
1264 cfg_flags |= FIB_PATH_CFG_FLAG_RPF_ID;
1265 if (rpath->frp_flags & FIB_ROUTE_PATH_EXCLUSIVE)
1266 cfg_flags |= FIB_PATH_CFG_FLAG_EXCLUSIVE;
1267 if (rpath->frp_flags & FIB_ROUTE_PATH_DROP)
1268 cfg_flags |= FIB_PATH_CFG_FLAG_DROP;
1269 if (rpath->frp_flags & FIB_ROUTE_PATH_SOURCE_LOOKUP)
1270 cfg_flags |= FIB_PATH_CFG_FLAG_DEAG_SRC;
1271 if (rpath->frp_flags & FIB_ROUTE_PATH_ICMP_UNREACH)
1272 cfg_flags |= FIB_PATH_CFG_FLAG_ICMP_UNREACH;
1273 if (rpath->frp_flags & FIB_ROUTE_PATH_ICMP_PROHIBIT)
1274 cfg_flags |= FIB_PATH_CFG_FLAG_ICMP_PROHIBIT;
1282 * Create and initialise a new path object.
1283 * return the index of the path.
1286 fib_path_create (fib_node_index_t pl_index,
1287 const fib_route_path_t *rpath)
1291 pool_get(fib_path_pool, path);
1292 clib_memset(path, 0, sizeof(*path));
1294 fib_node_init(&path->fp_node,
1295 FIB_NODE_TYPE_PATH);
1297 dpo_reset(&path->fp_dpo);
1298 path->fp_pl_index = pl_index;
1299 path->fp_nh_proto = rpath->frp_proto;
1300 path->fp_via_fib = FIB_NODE_INDEX_INVALID;
1301 path->fp_weight = rpath->frp_weight;
1302 if (0 == path->fp_weight)
1305 * a weight of 0 is a meaningless value. We could either reject it, and thus force
1306 * clients to always use 1, or we can accept it and fixup approrpiately.
1308 path->fp_weight = 1;
1310 path->fp_preference = rpath->frp_preference;
1311 path->fp_cfg_flags = fib_path_route_flags_to_cfg_flags(rpath);
1314 * deduce the path's tpye from the parementers and save what is needed.
1316 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_LOCAL)
1318 path->fp_type = FIB_PATH_TYPE_RECEIVE;
1319 path->receive.fp_interface = rpath->frp_sw_if_index;
1320 path->receive.fp_addr = rpath->frp_addr;
1322 else if (rpath->frp_flags & FIB_ROUTE_PATH_UDP_ENCAP)
1324 path->fp_type = FIB_PATH_TYPE_UDP_ENCAP;
1325 path->udp_encap.fp_udp_encap_id = rpath->frp_udp_encap_id;
1327 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_INTF_RX)
1329 path->fp_type = FIB_PATH_TYPE_INTF_RX;
1330 path->intf_rx.fp_interface = rpath->frp_sw_if_index;
1332 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RPF_ID)
1334 path->fp_type = FIB_PATH_TYPE_DEAG;
1335 path->deag.fp_tbl_id = rpath->frp_fib_index;
1336 path->deag.fp_rpf_id = rpath->frp_rpf_id;
1338 else if (rpath->frp_flags & FIB_ROUTE_PATH_BIER_FMASK)
1340 path->fp_type = FIB_PATH_TYPE_BIER_FMASK;
1341 path->bier_fmask.fp_bier_fmask = rpath->frp_bier_fmask;
1343 else if (rpath->frp_flags & FIB_ROUTE_PATH_BIER_IMP)
1345 path->fp_type = FIB_PATH_TYPE_BIER_IMP;
1346 path->bier_imp.fp_bier_imp = rpath->frp_bier_imp;
1348 else if (rpath->frp_flags & FIB_ROUTE_PATH_BIER_TABLE)
1350 path->fp_type = FIB_PATH_TYPE_BIER_TABLE;
1351 path->bier_table.fp_bier_tbl = rpath->frp_bier_tbl;
1353 else if (rpath->frp_flags & FIB_ROUTE_PATH_DEAG)
1355 path->fp_type = FIB_PATH_TYPE_DEAG;
1356 path->deag.fp_tbl_id = rpath->frp_fib_index;
1358 else if (rpath->frp_flags & FIB_ROUTE_PATH_DVR)
1360 path->fp_type = FIB_PATH_TYPE_DVR;
1361 path->dvr.fp_interface = rpath->frp_sw_if_index;
1363 else if (rpath->frp_flags & FIB_ROUTE_PATH_EXCLUSIVE)
1365 path->fp_type = FIB_PATH_TYPE_EXCLUSIVE;
1366 dpo_copy(&path->exclusive.fp_ex_dpo, &rpath->dpo);
1368 else if ((path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_PROHIBIT) ||
1369 (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_UNREACH))
1371 path->fp_type = FIB_PATH_TYPE_SPECIAL;
1373 else if ((path->fp_cfg_flags & FIB_PATH_CFG_FLAG_CLASSIFY))
1375 path->fp_type = FIB_PATH_TYPE_SPECIAL;
1376 path->classify.fp_classify_table_id = rpath->frp_classify_table_id;
1378 else if (~0 != rpath->frp_sw_if_index)
1380 if (ip46_address_is_zero(&rpath->frp_addr))
1382 path->fp_type = FIB_PATH_TYPE_ATTACHED;
1383 path->attached.fp_interface = rpath->frp_sw_if_index;
1387 path->fp_type = FIB_PATH_TYPE_ATTACHED_NEXT_HOP;
1388 path->attached_next_hop.fp_interface = rpath->frp_sw_if_index;
1389 path->attached_next_hop.fp_nh = rpath->frp_addr;
1394 if (ip46_address_is_zero(&rpath->frp_addr))
1396 if (~0 == rpath->frp_fib_index)
1398 path->fp_type = FIB_PATH_TYPE_SPECIAL;
1402 path->fp_type = FIB_PATH_TYPE_DEAG;
1403 path->deag.fp_tbl_id = rpath->frp_fib_index;
1404 path->deag.fp_rpf_id = ~0;
1409 path->fp_type = FIB_PATH_TYPE_RECURSIVE;
1410 if (DPO_PROTO_MPLS == path->fp_nh_proto)
1412 path->recursive.fp_nh.fp_local_label = rpath->frp_local_label;
1413 path->recursive.fp_nh.fp_eos = rpath->frp_eos;
1417 path->recursive.fp_nh.fp_ip = rpath->frp_addr;
1419 path->recursive.fp_tbl_id = rpath->frp_fib_index;
1423 FIB_PATH_DBG(path, "create");
1425 return (fib_path_get_index(path));
1429 * fib_path_create_special
1431 * Create and initialise a new path object.
1432 * return the index of the path.
1435 fib_path_create_special (fib_node_index_t pl_index,
1436 dpo_proto_t nh_proto,
1437 fib_path_cfg_flags_t flags,
1438 const dpo_id_t *dpo)
1442 pool_get(fib_path_pool, path);
1443 clib_memset(path, 0, sizeof(*path));
1445 fib_node_init(&path->fp_node,
1446 FIB_NODE_TYPE_PATH);
1447 dpo_reset(&path->fp_dpo);
1449 path->fp_pl_index = pl_index;
1450 path->fp_weight = 1;
1451 path->fp_preference = 0;
1452 path->fp_nh_proto = nh_proto;
1453 path->fp_via_fib = FIB_NODE_INDEX_INVALID;
1454 path->fp_cfg_flags = flags;
1456 if (FIB_PATH_CFG_FLAG_DROP & flags)
1458 path->fp_type = FIB_PATH_TYPE_SPECIAL;
1460 else if (FIB_PATH_CFG_FLAG_LOCAL & flags)
1462 path->fp_type = FIB_PATH_TYPE_RECEIVE;
1463 path->attached.fp_interface = FIB_NODE_INDEX_INVALID;
1467 path->fp_type = FIB_PATH_TYPE_EXCLUSIVE;
1468 ASSERT(NULL != dpo);
1469 dpo_copy(&path->exclusive.fp_ex_dpo, dpo);
1472 return (fib_path_get_index(path));
1478 * Copy a path. return index of new path.
1481 fib_path_copy (fib_node_index_t path_index,
1482 fib_node_index_t path_list_index)
1484 fib_path_t *path, *orig_path;
1486 pool_get(fib_path_pool, path);
1488 orig_path = fib_path_get(path_index);
1489 ASSERT(NULL != orig_path);
1491 clib_memcpy(path, orig_path, sizeof(*path));
1493 FIB_PATH_DBG(path, "create-copy:%d", path_index);
1496 * reset the dynamic section
1498 fib_node_init(&path->fp_node, FIB_NODE_TYPE_PATH);
1499 path->fp_oper_flags = FIB_PATH_OPER_FLAG_NONE;
1500 path->fp_pl_index = path_list_index;
1501 path->fp_via_fib = FIB_NODE_INDEX_INVALID;
1502 clib_memset(&path->fp_dpo, 0, sizeof(path->fp_dpo));
1503 dpo_reset(&path->fp_dpo);
1505 return (fib_path_get_index(path));
1511 * destroy a path that is no longer required
1514 fib_path_destroy (fib_node_index_t path_index)
1518 path = fib_path_get(path_index);
1520 ASSERT(NULL != path);
1521 FIB_PATH_DBG(path, "destroy");
1523 fib_path_unresolve(path);
1525 fib_node_deinit(&path->fp_node);
1526 pool_put(fib_path_pool, path);
1532 * destroy a path that is no longer required
1535 fib_path_hash (fib_node_index_t path_index)
1539 path = fib_path_get(path_index);
1541 return (hash_memory(STRUCT_MARK_PTR(path, path_hash_start),
1542 (STRUCT_OFFSET_OF(fib_path_t, path_hash_end) -
1543 STRUCT_OFFSET_OF(fib_path_t, path_hash_start)),
1550 * Compare two paths for equivalence.
1553 fib_path_cmp_i (const fib_path_t *path1,
1554 const fib_path_t *path2)
1561 * paths of different types and protocol are not equal.
1562 * different weights and/or preference only are the same path.
1564 if (path1->fp_type != path2->fp_type)
1566 res = (path1->fp_type - path2->fp_type);
1568 else if (path1->fp_nh_proto != path2->fp_nh_proto)
1570 res = (path1->fp_nh_proto - path2->fp_nh_proto);
1575 * both paths are of the same type.
1576 * consider each type and its attributes in turn.
1578 switch (path1->fp_type)
1580 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1581 res = ip46_address_cmp(&path1->attached_next_hop.fp_nh,
1582 &path2->attached_next_hop.fp_nh);
1584 res = (path1->attached_next_hop.fp_interface -
1585 path2->attached_next_hop.fp_interface);
1588 case FIB_PATH_TYPE_ATTACHED:
1589 res = (path1->attached.fp_interface -
1590 path2->attached.fp_interface);
1592 case FIB_PATH_TYPE_RECURSIVE:
1593 res = ip46_address_cmp(&path1->recursive.fp_nh.fp_ip,
1594 &path2->recursive.fp_nh.fp_ip);
1598 res = (path1->recursive.fp_tbl_id - path2->recursive.fp_tbl_id);
1601 case FIB_PATH_TYPE_BIER_FMASK:
1602 res = (path1->bier_fmask.fp_bier_fmask -
1603 path2->bier_fmask.fp_bier_fmask);
1605 case FIB_PATH_TYPE_BIER_IMP:
1606 res = (path1->bier_imp.fp_bier_imp -
1607 path2->bier_imp.fp_bier_imp);
1609 case FIB_PATH_TYPE_BIER_TABLE:
1610 res = bier_table_id_cmp(&path1->bier_table.fp_bier_tbl,
1611 &path2->bier_table.fp_bier_tbl);
1613 case FIB_PATH_TYPE_DEAG:
1614 res = (path1->deag.fp_tbl_id - path2->deag.fp_tbl_id);
1617 res = (path1->deag.fp_rpf_id - path2->deag.fp_rpf_id);
1620 case FIB_PATH_TYPE_INTF_RX:
1621 res = (path1->intf_rx.fp_interface - path2->intf_rx.fp_interface);
1623 case FIB_PATH_TYPE_UDP_ENCAP:
1624 res = (path1->udp_encap.fp_udp_encap_id - path2->udp_encap.fp_udp_encap_id);
1626 case FIB_PATH_TYPE_DVR:
1627 res = (path1->dvr.fp_interface - path2->dvr.fp_interface);
1629 case FIB_PATH_TYPE_EXCLUSIVE:
1630 res = dpo_cmp(&path1->exclusive.fp_ex_dpo, &path2->exclusive.fp_ex_dpo);
1632 case FIB_PATH_TYPE_SPECIAL:
1633 case FIB_PATH_TYPE_RECEIVE:
1642 * fib_path_cmp_for_sort
1644 * Compare two paths for equivalence. Used during path sorting.
1645 * As usual 0 means equal.
1648 fib_path_cmp_for_sort (void * v1,
1651 fib_node_index_t *pi1 = v1, *pi2 = v2;
1652 fib_path_t *path1, *path2;
1654 path1 = fib_path_get(*pi1);
1655 path2 = fib_path_get(*pi2);
1658 * when sorting paths we want the highest preference paths
1659 * first, so that the choices set built is in prefernce order
1661 if (path1->fp_preference != path2->fp_preference)
1663 return (path1->fp_preference - path2->fp_preference);
1666 return (fib_path_cmp_i(path1, path2));
1672 * Compare two paths for equivalence.
1675 fib_path_cmp (fib_node_index_t pi1,
1676 fib_node_index_t pi2)
1678 fib_path_t *path1, *path2;
1680 path1 = fib_path_get(pi1);
1681 path2 = fib_path_get(pi2);
1683 return (fib_path_cmp_i(path1, path2));
1687 fib_path_cmp_w_route_path (fib_node_index_t path_index,
1688 const fib_route_path_t *rpath)
1693 path = fib_path_get(path_index);
1697 if (path->fp_weight != rpath->frp_weight)
1699 res = (path->fp_weight - rpath->frp_weight);
1704 * both paths are of the same type.
1705 * consider each type and its attributes in turn.
1707 switch (path->fp_type)
1709 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1710 res = ip46_address_cmp(&path->attached_next_hop.fp_nh,
1714 res = (path->attached_next_hop.fp_interface -
1715 rpath->frp_sw_if_index);
1718 case FIB_PATH_TYPE_ATTACHED:
1719 res = (path->attached.fp_interface - rpath->frp_sw_if_index);
1721 case FIB_PATH_TYPE_RECURSIVE:
1722 if (DPO_PROTO_MPLS == path->fp_nh_proto)
1724 res = path->recursive.fp_nh.fp_local_label - rpath->frp_local_label;
1728 res = path->recursive.fp_nh.fp_eos - rpath->frp_eos;
1733 res = ip46_address_cmp(&path->recursive.fp_nh.fp_ip,
1739 res = (path->recursive.fp_tbl_id - rpath->frp_fib_index);
1742 case FIB_PATH_TYPE_BIER_FMASK:
1743 res = (path->bier_fmask.fp_bier_fmask - rpath->frp_bier_fmask);
1745 case FIB_PATH_TYPE_BIER_IMP:
1746 res = (path->bier_imp.fp_bier_imp - rpath->frp_bier_imp);
1748 case FIB_PATH_TYPE_BIER_TABLE:
1749 res = bier_table_id_cmp(&path->bier_table.fp_bier_tbl,
1750 &rpath->frp_bier_tbl);
1752 case FIB_PATH_TYPE_INTF_RX:
1753 res = (path->intf_rx.fp_interface - rpath->frp_sw_if_index);
1755 case FIB_PATH_TYPE_UDP_ENCAP:
1756 res = (path->udp_encap.fp_udp_encap_id - rpath->frp_udp_encap_id);
1758 case FIB_PATH_TYPE_DEAG:
1759 res = (path->deag.fp_tbl_id - rpath->frp_fib_index);
1762 res = (path->deag.fp_rpf_id - rpath->frp_rpf_id);
1765 case FIB_PATH_TYPE_DVR:
1766 res = (path->dvr.fp_interface - rpath->frp_sw_if_index);
1768 case FIB_PATH_TYPE_EXCLUSIVE:
1769 res = dpo_cmp(&path->exclusive.fp_ex_dpo, &rpath->dpo);
1771 case FIB_PATH_TYPE_RECEIVE:
1772 if (rpath->frp_flags & FIB_ROUTE_PATH_LOCAL)
1781 case FIB_PATH_TYPE_SPECIAL:
1790 * fib_path_recursive_loop_detect
1792 * A forward walk of the FIB object graph to detect for a cycle/loop. This
1793 * walk is initiated when an entry is linking to a new path list or from an old.
1794 * The entry vector passed contains all the FIB entrys that are children of this
1795 * path (it is all the entries encountered on the walk so far). If this vector
1796 * contains the entry this path resolve via, then a loop is about to form.
1797 * The loop must be allowed to form, since we need the dependencies in place
1798 * so that we can track when the loop breaks.
1799 * However, we MUST not produce a loop in the forwarding graph (else packets
1800 * would loop around the switch path until the loop breaks), so we mark recursive
1801 * paths as looped so that they do not contribute forwarding information.
1802 * By marking the path as looped, an etry such as;
1804 * via a.a.a.a (looped)
1805 * via b.b.b.b (not looped)
1806 * can still forward using the info provided by b.b.b.b only
1809 fib_path_recursive_loop_detect (fib_node_index_t path_index,
1810 fib_node_index_t **entry_indicies)
1814 path = fib_path_get(path_index);
1817 * the forced drop path is never looped, cos it is never resolved.
1819 if (fib_path_is_permanent_drop(path))
1824 switch (path->fp_type)
1826 case FIB_PATH_TYPE_RECURSIVE:
1828 fib_node_index_t *entry_index, *entries;
1830 entries = *entry_indicies;
1832 vec_foreach(entry_index, entries) {
1833 if (*entry_index == path->fp_via_fib)
1836 * the entry that is about to link to this path-list (or
1837 * one of this path-list's children) is the same entry that
1838 * this recursive path resolves through. this is a cycle.
1848 FIB_PATH_DBG(path, "recursive loop formed");
1849 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1851 dpo_copy(&path->fp_dpo, drop_dpo_get(path->fp_nh_proto));
1856 * no loop here yet. keep forward walking the graph.
1858 if (fib_entry_recursive_loop_detect(path->fp_via_fib, entry_indicies))
1860 FIB_PATH_DBG(path, "recursive loop formed");
1861 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1865 FIB_PATH_DBG(path, "recursive loop cleared");
1866 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1871 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1872 case FIB_PATH_TYPE_ATTACHED:
1873 if (dpo_is_adj(&path->fp_dpo) &&
1874 adj_recursive_loop_detect(path->fp_dpo.dpoi_index,
1877 FIB_PATH_DBG(path, "recursive loop formed");
1878 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1882 FIB_PATH_DBG(path, "recursive loop cleared");
1883 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RECURSIVE_LOOP;
1886 case FIB_PATH_TYPE_SPECIAL:
1887 case FIB_PATH_TYPE_DEAG:
1888 case FIB_PATH_TYPE_DVR:
1889 case FIB_PATH_TYPE_RECEIVE:
1890 case FIB_PATH_TYPE_INTF_RX:
1891 case FIB_PATH_TYPE_UDP_ENCAP:
1892 case FIB_PATH_TYPE_EXCLUSIVE:
1893 case FIB_PATH_TYPE_BIER_FMASK:
1894 case FIB_PATH_TYPE_BIER_TABLE:
1895 case FIB_PATH_TYPE_BIER_IMP:
1897 * these path types cannot be part of a loop, since they are the leaves
1903 return (fib_path_is_looped(path_index));
1907 fib_path_resolve (fib_node_index_t path_index)
1911 path = fib_path_get(path_index);
1914 * hope for the best.
1916 path->fp_oper_flags |= FIB_PATH_OPER_FLAG_RESOLVED;
1919 * the forced drop path resolves via the drop adj
1921 if (fib_path_is_permanent_drop(path))
1923 dpo_copy(&path->fp_dpo, drop_dpo_get(path->fp_nh_proto));
1924 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1925 return (fib_path_is_resolved(path_index));
1928 switch (path->fp_type)
1930 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
1931 fib_path_attached_next_hop_set(path);
1933 case FIB_PATH_TYPE_ATTACHED:
1935 dpo_id_t tmp = DPO_INVALID;
1938 * path->attached.fp_interface
1940 if (!vnet_sw_interface_is_up(vnet_get_main(),
1941 path->attached.fp_interface))
1943 path->fp_oper_flags &= ~FIB_PATH_OPER_FLAG_RESOLVED;
1945 fib_path_attached_get_adj(path,
1946 dpo_proto_to_link(path->fp_nh_proto),
1950 * re-fetch after possible mem realloc
1952 path = fib_path_get(path_index);
1953 dpo_copy(&path->fp_dpo, &tmp);
1956 * become a child of the adjacency so we receive updates
1957 * when the interface state changes
1959 if (dpo_is_adj(&path->fp_dpo))
1961 path->fp_sibling = adj_child_add(path->fp_dpo.dpoi_index,
1963 fib_path_get_index(path));
1968 case FIB_PATH_TYPE_RECURSIVE:
1971 * Create a RR source entry in the table for the address
1972 * that this path recurses through.
1973 * This resolve action is recursive, hence we may create
1974 * more paths in the process. more creates mean maybe realloc
1977 fib_node_index_t fei;
1980 ASSERT(FIB_NODE_INDEX_INVALID == path->fp_via_fib);
1982 if (DPO_PROTO_MPLS == path->fp_nh_proto)
1984 fib_prefix_from_mpls_label(path->recursive.fp_nh.fp_local_label,
1985 path->recursive.fp_nh.fp_eos,
1990 fib_prefix_from_ip46_addr(&path->recursive.fp_nh.fp_ip, &pfx);
1993 fib_table_lock(path->recursive.fp_tbl_id,
1994 dpo_proto_to_fib(path->fp_nh_proto),
1996 fei = fib_table_entry_special_add(path->recursive.fp_tbl_id,
1999 FIB_ENTRY_FLAG_NONE);
2001 path = fib_path_get(path_index);
2002 path->fp_via_fib = fei;
2005 * become a dependent child of the entry so the path is
2006 * informed when the forwarding for the entry changes.
2008 path->fp_sibling = fib_entry_child_add(path->fp_via_fib,
2010 fib_path_get_index(path));
2013 * create and configure the IP DPO
2015 fib_path_recursive_adj_update(
2017 fib_path_to_chain_type(path),
2022 case FIB_PATH_TYPE_BIER_FMASK:
2025 * become a dependent child of the entry so the path is
2026 * informed when the forwarding for the entry changes.
2028 path->fp_sibling = bier_fmask_child_add(path->bier_fmask.fp_bier_fmask,
2030 fib_path_get_index(path));
2032 path->fp_via_bier_fmask = path->bier_fmask.fp_bier_fmask;
2033 fib_path_bier_fmask_update(path, &path->fp_dpo);
2037 case FIB_PATH_TYPE_BIER_IMP:
2038 bier_imp_lock(path->bier_imp.fp_bier_imp);
2039 bier_imp_contribute_forwarding(path->bier_imp.fp_bier_imp,
2043 case FIB_PATH_TYPE_BIER_TABLE:
2046 * Find/create the BIER table to link to
2048 ASSERT(FIB_NODE_INDEX_INVALID == path->fp_via_bier_tbl);
2050 path->fp_via_bier_tbl =
2051 bier_table_ecmp_create_and_lock(&path->bier_table.fp_bier_tbl);
2053 bier_table_contribute_forwarding(path->fp_via_bier_tbl,
2057 case FIB_PATH_TYPE_SPECIAL:
2058 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_PROHIBIT)
2060 ip_null_dpo_add_and_lock (path->fp_nh_proto,
2061 IP_NULL_ACTION_SEND_ICMP_PROHIBIT,
2064 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_UNREACH)
2066 ip_null_dpo_add_and_lock (path->fp_nh_proto,
2067 IP_NULL_ACTION_SEND_ICMP_UNREACH,
2070 else if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_CLASSIFY)
2072 dpo_set (&path->fp_dpo, DPO_CLASSIFY,
2074 classify_dpo_create (path->fp_nh_proto,
2075 path->classify.fp_classify_table_id));
2080 * Resolve via the drop
2082 dpo_copy(&path->fp_dpo, drop_dpo_get(path->fp_nh_proto));
2085 case FIB_PATH_TYPE_DEAG:
2087 if (DPO_PROTO_BIER == path->fp_nh_proto)
2089 bier_disp_table_contribute_forwarding(path->deag.fp_tbl_id,
2095 * Resolve via a lookup DPO.
2096 * FIXME. control plane should add routes with a table ID
2098 lookup_input_t input;
2101 cast = (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RPF_ID ?
2104 input = (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_DEAG_SRC ?
2105 LOOKUP_INPUT_SRC_ADDR :
2106 LOOKUP_INPUT_DST_ADDR);
2108 lookup_dpo_add_or_lock_w_fib_index(path->deag.fp_tbl_id,
2112 LOOKUP_TABLE_FROM_CONFIG,
2117 case FIB_PATH_TYPE_DVR:
2118 dvr_dpo_add_or_lock(path->attached.fp_interface,
2122 case FIB_PATH_TYPE_RECEIVE:
2124 * Resolve via a receive DPO.
2126 receive_dpo_add_or_lock(path->fp_nh_proto,
2127 path->receive.fp_interface,
2128 &path->receive.fp_addr,
2131 case FIB_PATH_TYPE_UDP_ENCAP:
2132 udp_encap_lock(path->udp_encap.fp_udp_encap_id);
2133 udp_encap_contribute_forwarding(path->udp_encap.fp_udp_encap_id,
2137 case FIB_PATH_TYPE_INTF_RX: {
2139 * Resolve via a receive DPO.
2141 interface_rx_dpo_add_or_lock(path->fp_nh_proto,
2142 path->intf_rx.fp_interface,
2146 case FIB_PATH_TYPE_EXCLUSIVE:
2148 * Resolve via the user provided DPO
2150 dpo_copy(&path->fp_dpo, &path->exclusive.fp_ex_dpo);
2154 return (fib_path_is_resolved(path_index));
2158 fib_path_get_resolving_interface (fib_node_index_t path_index)
2162 path = fib_path_get(path_index);
2164 switch (path->fp_type)
2166 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2167 return (path->attached_next_hop.fp_interface);
2168 case FIB_PATH_TYPE_ATTACHED:
2169 return (path->attached.fp_interface);
2170 case FIB_PATH_TYPE_RECEIVE:
2171 return (path->receive.fp_interface);
2172 case FIB_PATH_TYPE_RECURSIVE:
2173 if (fib_path_is_resolved(path_index))
2175 return (fib_entry_get_resolving_interface(path->fp_via_fib));
2178 case FIB_PATH_TYPE_DVR:
2179 return (path->dvr.fp_interface);
2180 case FIB_PATH_TYPE_INTF_RX:
2181 case FIB_PATH_TYPE_UDP_ENCAP:
2182 case FIB_PATH_TYPE_SPECIAL:
2183 case FIB_PATH_TYPE_DEAG:
2184 case FIB_PATH_TYPE_EXCLUSIVE:
2185 case FIB_PATH_TYPE_BIER_FMASK:
2186 case FIB_PATH_TYPE_BIER_TABLE:
2187 case FIB_PATH_TYPE_BIER_IMP:
2190 return (dpo_get_urpf(&path->fp_dpo));
2194 fib_path_get_resolving_index (fib_node_index_t path_index)
2198 path = fib_path_get(path_index);
2200 switch (path->fp_type)
2202 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2203 case FIB_PATH_TYPE_ATTACHED:
2204 case FIB_PATH_TYPE_RECEIVE:
2205 case FIB_PATH_TYPE_INTF_RX:
2206 case FIB_PATH_TYPE_SPECIAL:
2207 case FIB_PATH_TYPE_DEAG:
2208 case FIB_PATH_TYPE_DVR:
2209 case FIB_PATH_TYPE_EXCLUSIVE:
2211 case FIB_PATH_TYPE_UDP_ENCAP:
2212 return (path->udp_encap.fp_udp_encap_id);
2213 case FIB_PATH_TYPE_RECURSIVE:
2214 return (path->fp_via_fib);
2215 case FIB_PATH_TYPE_BIER_FMASK:
2216 return (path->bier_fmask.fp_bier_fmask);
2217 case FIB_PATH_TYPE_BIER_TABLE:
2218 return (path->fp_via_bier_tbl);
2219 case FIB_PATH_TYPE_BIER_IMP:
2220 return (path->bier_imp.fp_bier_imp);
2226 fib_path_get_adj (fib_node_index_t path_index)
2230 path = fib_path_get(path_index);
2232 if (dpo_is_adj(&path->fp_dpo))
2234 return (path->fp_dpo.dpoi_index);
2236 return (ADJ_INDEX_INVALID);
2240 fib_path_get_weight (fib_node_index_t path_index)
2244 path = fib_path_get(path_index);
2248 return (path->fp_weight);
2252 fib_path_get_preference (fib_node_index_t path_index)
2256 path = fib_path_get(path_index);
2260 return (path->fp_preference);
2264 fib_path_get_rpf_id (fib_node_index_t path_index)
2268 path = fib_path_get(path_index);
2272 if (FIB_PATH_CFG_FLAG_RPF_ID & path->fp_cfg_flags)
2274 return (path->deag.fp_rpf_id);
2281 * @brief Contribute the path's adjacency to the list passed.
2282 * By calling this function over all paths, recursively, a child
2283 * can construct its full set of forwarding adjacencies, and hence its
2287 fib_path_contribute_urpf (fib_node_index_t path_index,
2292 path = fib_path_get(path_index);
2295 * resolved and unresolved paths contribute to the RPF list.
2297 switch (path->fp_type)
2299 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2300 fib_urpf_list_append(urpf, path->attached_next_hop.fp_interface);
2303 case FIB_PATH_TYPE_ATTACHED:
2304 fib_urpf_list_append(urpf, path->attached.fp_interface);
2307 case FIB_PATH_TYPE_RECURSIVE:
2308 if (FIB_NODE_INDEX_INVALID != path->fp_via_fib &&
2309 !fib_path_is_looped(path_index))
2312 * there's unresolved due to constraints, and there's unresolved
2313 * due to ain't got no via. can't do nowt w'out via.
2315 fib_entry_contribute_urpf(path->fp_via_fib, urpf);
2319 case FIB_PATH_TYPE_EXCLUSIVE:
2320 case FIB_PATH_TYPE_SPECIAL:
2323 * these path types may link to an adj, if that's what
2326 u32 rpf_sw_if_index;
2328 rpf_sw_if_index = dpo_get_urpf(&path->fp_dpo);
2330 if (~0 != rpf_sw_if_index)
2332 fib_urpf_list_append(urpf, rpf_sw_if_index);
2336 case FIB_PATH_TYPE_DVR:
2337 fib_urpf_list_append(urpf, path->dvr.fp_interface);
2339 case FIB_PATH_TYPE_DEAG:
2340 case FIB_PATH_TYPE_RECEIVE:
2341 case FIB_PATH_TYPE_INTF_RX:
2342 case FIB_PATH_TYPE_UDP_ENCAP:
2343 case FIB_PATH_TYPE_BIER_FMASK:
2344 case FIB_PATH_TYPE_BIER_TABLE:
2345 case FIB_PATH_TYPE_BIER_IMP:
2347 * these path types don't link to an adj
2354 fib_path_stack_mpls_disp (fib_node_index_t path_index,
2355 dpo_proto_t payload_proto,
2356 fib_mpls_lsp_mode_t mode,
2361 path = fib_path_get(path_index);
2365 switch (path->fp_type)
2367 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2369 dpo_id_t tmp = DPO_INVALID;
2371 dpo_copy(&tmp, dpo);
2373 mpls_disp_dpo_create(payload_proto, ~0, mode, &tmp, dpo);
2377 case FIB_PATH_TYPE_DEAG:
2379 dpo_id_t tmp = DPO_INVALID;
2381 dpo_copy(&tmp, dpo);
2383 mpls_disp_dpo_create(payload_proto,
2384 path->deag.fp_rpf_id,
2389 case FIB_PATH_TYPE_RECEIVE:
2390 case FIB_PATH_TYPE_ATTACHED:
2391 case FIB_PATH_TYPE_RECURSIVE:
2392 case FIB_PATH_TYPE_INTF_RX:
2393 case FIB_PATH_TYPE_UDP_ENCAP:
2394 case FIB_PATH_TYPE_EXCLUSIVE:
2395 case FIB_PATH_TYPE_SPECIAL:
2396 case FIB_PATH_TYPE_BIER_FMASK:
2397 case FIB_PATH_TYPE_BIER_TABLE:
2398 case FIB_PATH_TYPE_BIER_IMP:
2399 case FIB_PATH_TYPE_DVR:
2403 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_POP_PW_CW)
2405 dpo_id_t tmp = DPO_INVALID;
2407 dpo_copy(&tmp, dpo);
2409 pw_cw_dpo_create(&tmp, dpo);
2415 fib_path_contribute_forwarding (fib_node_index_t path_index,
2416 fib_forward_chain_type_t fct,
2421 path = fib_path_get(path_index);
2424 ASSERT(FIB_FORW_CHAIN_TYPE_MPLS_EOS != fct);
2427 * The DPO stored in the path was created when the path was resolved.
2428 * This then represents the path's 'native' protocol; IP.
2429 * For all others will need to go find something else.
2431 if (fib_path_to_chain_type(path) == fct)
2433 dpo_copy(dpo, &path->fp_dpo);
2437 switch (path->fp_type)
2439 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2442 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2443 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
2444 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2445 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2446 case FIB_FORW_CHAIN_TYPE_ETHERNET:
2447 case FIB_FORW_CHAIN_TYPE_NSH:
2448 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2449 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
2450 fib_path_attached_next_hop_get_adj(
2452 fib_forw_chain_type_to_link_type(fct),
2455 case FIB_FORW_CHAIN_TYPE_BIER:
2459 case FIB_PATH_TYPE_RECURSIVE:
2462 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2463 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2464 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
2465 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2466 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2467 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
2468 case FIB_FORW_CHAIN_TYPE_BIER:
2469 fib_path_recursive_adj_update(path, fct, dpo);
2471 case FIB_FORW_CHAIN_TYPE_ETHERNET:
2472 case FIB_FORW_CHAIN_TYPE_NSH:
2477 case FIB_PATH_TYPE_BIER_TABLE:
2480 case FIB_FORW_CHAIN_TYPE_BIER:
2481 bier_table_contribute_forwarding(path->fp_via_bier_tbl, dpo);
2483 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2484 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2485 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
2486 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2487 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2488 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
2489 case FIB_FORW_CHAIN_TYPE_ETHERNET:
2490 case FIB_FORW_CHAIN_TYPE_NSH:
2495 case FIB_PATH_TYPE_BIER_FMASK:
2498 case FIB_FORW_CHAIN_TYPE_BIER:
2499 fib_path_bier_fmask_update(path, dpo);
2501 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2502 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2503 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
2504 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2505 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2506 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
2507 case FIB_FORW_CHAIN_TYPE_ETHERNET:
2508 case FIB_FORW_CHAIN_TYPE_NSH:
2513 case FIB_PATH_TYPE_BIER_IMP:
2514 bier_imp_contribute_forwarding(path->bier_imp.fp_bier_imp,
2515 fib_forw_chain_type_to_dpo_proto(fct),
2518 case FIB_PATH_TYPE_DEAG:
2521 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2522 lookup_dpo_add_or_lock_w_table_id(MPLS_FIB_DEFAULT_TABLE_ID,
2525 LOOKUP_INPUT_DST_ADDR,
2526 LOOKUP_TABLE_FROM_CONFIG,
2529 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2530 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2531 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
2532 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2533 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
2534 dpo_copy(dpo, &path->fp_dpo);
2536 case FIB_FORW_CHAIN_TYPE_BIER:
2538 case FIB_FORW_CHAIN_TYPE_ETHERNET:
2539 case FIB_FORW_CHAIN_TYPE_NSH:
2544 case FIB_PATH_TYPE_EXCLUSIVE:
2545 dpo_copy(dpo, &path->exclusive.fp_ex_dpo);
2547 case FIB_PATH_TYPE_ATTACHED:
2550 case FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS:
2551 case FIB_FORW_CHAIN_TYPE_UNICAST_IP4:
2552 case FIB_FORW_CHAIN_TYPE_UNICAST_IP6:
2553 case FIB_FORW_CHAIN_TYPE_MPLS_EOS:
2554 case FIB_FORW_CHAIN_TYPE_ETHERNET:
2555 case FIB_FORW_CHAIN_TYPE_NSH:
2556 case FIB_FORW_CHAIN_TYPE_BIER:
2557 fib_path_attached_get_adj(path,
2558 fib_forw_chain_type_to_link_type(fct),
2561 case FIB_FORW_CHAIN_TYPE_MCAST_IP4:
2562 case FIB_FORW_CHAIN_TYPE_MCAST_IP6:
2567 * Create the adj needed for sending IP multicast traffic
2569 if (vnet_sw_interface_is_p2p(vnet_get_main(),
2570 path->attached.fp_interface))
2573 * point-2-point interfaces do not require a glean, since
2574 * there is nothing to ARP. Install a rewrite/nbr adj instead
2576 ai = adj_nbr_add_or_lock(dpo_proto_to_fib(path->fp_nh_proto),
2577 fib_forw_chain_type_to_link_type(fct),
2579 path->attached.fp_interface);
2583 ai = adj_mcast_add_or_lock(dpo_proto_to_fib(path->fp_nh_proto),
2584 fib_forw_chain_type_to_link_type(fct),
2585 path->attached.fp_interface);
2587 dpo_set(dpo, DPO_ADJACENCY,
2588 fib_forw_chain_type_to_dpo_proto(fct),
2595 case FIB_PATH_TYPE_INTF_RX:
2597 * Create the adj needed for sending IP multicast traffic
2599 interface_rx_dpo_add_or_lock(fib_forw_chain_type_to_dpo_proto(fct),
2600 path->attached.fp_interface,
2603 case FIB_PATH_TYPE_UDP_ENCAP:
2604 udp_encap_contribute_forwarding(path->udp_encap.fp_udp_encap_id,
2608 case FIB_PATH_TYPE_RECEIVE:
2609 case FIB_PATH_TYPE_SPECIAL:
2610 case FIB_PATH_TYPE_DVR:
2611 dpo_copy(dpo, &path->fp_dpo);
2617 load_balance_path_t *
2618 fib_path_append_nh_for_multipath_hash (fib_node_index_t path_index,
2619 fib_forward_chain_type_t fct,
2620 load_balance_path_t *hash_key)
2622 load_balance_path_t *mnh;
2625 path = fib_path_get(path_index);
2629 vec_add2(hash_key, mnh, 1);
2631 mnh->path_weight = path->fp_weight;
2632 mnh->path_index = path_index;
2634 if (fib_path_is_resolved(path_index))
2636 fib_path_contribute_forwarding(path_index, fct, &mnh->path_dpo);
2640 dpo_copy(&mnh->path_dpo,
2641 drop_dpo_get(fib_forw_chain_type_to_dpo_proto(fct)));
2647 fib_path_is_recursive_constrained (fib_node_index_t path_index)
2651 path = fib_path_get(path_index);
2653 return ((FIB_PATH_TYPE_RECURSIVE == path->fp_type) &&
2654 ((path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RESOLVE_ATTACHED) ||
2655 (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RESOLVE_HOST)));
2659 fib_path_is_exclusive (fib_node_index_t path_index)
2663 path = fib_path_get(path_index);
2665 return (FIB_PATH_TYPE_EXCLUSIVE == path->fp_type);
2669 fib_path_is_deag (fib_node_index_t path_index)
2673 path = fib_path_get(path_index);
2675 return (FIB_PATH_TYPE_DEAG == path->fp_type);
2679 fib_path_is_resolved (fib_node_index_t path_index)
2683 path = fib_path_get(path_index);
2685 return (dpo_id_is_valid(&path->fp_dpo) &&
2686 (path->fp_oper_flags & FIB_PATH_OPER_FLAG_RESOLVED) &&
2687 !fib_path_is_looped(path_index) &&
2688 !fib_path_is_permanent_drop(path));
2692 fib_path_is_looped (fib_node_index_t path_index)
2696 path = fib_path_get(path_index);
2698 return (path->fp_oper_flags & FIB_PATH_OPER_FLAG_RECURSIVE_LOOP);
2701 fib_path_list_walk_rc_t
2702 fib_path_encode (fib_node_index_t path_list_index,
2703 fib_node_index_t path_index,
2704 const fib_path_ext_t *path_ext,
2707 fib_path_encode_ctx_t *ctx = args;
2708 fib_route_path_t *rpath;
2711 path = fib_path_get(path_index);
2713 return (FIB_PATH_LIST_WALK_CONTINUE);
2715 vec_add2(ctx->rpaths, rpath, 1);
2716 rpath->frp_weight = path->fp_weight;
2717 rpath->frp_preference = path->fp_preference;
2718 rpath->frp_proto = path->fp_nh_proto;
2719 rpath->frp_sw_if_index = ~0;
2720 rpath->frp_fib_index = 0;
2722 switch (path->fp_type)
2724 case FIB_PATH_TYPE_RECEIVE:
2725 rpath->frp_addr = path->receive.fp_addr;
2726 rpath->frp_sw_if_index = path->receive.fp_interface;
2727 rpath->frp_flags |= FIB_ROUTE_PATH_LOCAL;
2729 case FIB_PATH_TYPE_ATTACHED:
2730 rpath->frp_sw_if_index = path->attached.fp_interface;
2732 case FIB_PATH_TYPE_ATTACHED_NEXT_HOP:
2733 rpath->frp_sw_if_index = path->attached_next_hop.fp_interface;
2734 rpath->frp_addr = path->attached_next_hop.fp_nh;
2736 case FIB_PATH_TYPE_BIER_FMASK:
2737 rpath->frp_bier_fmask = path->bier_fmask.fp_bier_fmask;
2739 case FIB_PATH_TYPE_SPECIAL:
2741 case FIB_PATH_TYPE_DEAG:
2742 rpath->frp_fib_index = path->deag.fp_tbl_id;
2743 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_RPF_ID)
2745 rpath->frp_flags |= FIB_ROUTE_PATH_RPF_ID;
2748 case FIB_PATH_TYPE_RECURSIVE:
2749 rpath->frp_addr = path->recursive.fp_nh.fp_ip;
2750 rpath->frp_fib_index = path->recursive.fp_tbl_id;
2752 case FIB_PATH_TYPE_DVR:
2753 rpath->frp_sw_if_index = path->dvr.fp_interface;
2754 rpath->frp_flags |= FIB_ROUTE_PATH_DVR;
2756 case FIB_PATH_TYPE_UDP_ENCAP:
2757 rpath->frp_udp_encap_id = path->udp_encap.fp_udp_encap_id;
2758 rpath->frp_flags |= FIB_ROUTE_PATH_UDP_ENCAP;
2760 case FIB_PATH_TYPE_INTF_RX:
2761 rpath->frp_sw_if_index = path->receive.fp_interface;
2762 rpath->frp_flags |= FIB_ROUTE_PATH_INTF_RX;
2764 case FIB_PATH_TYPE_EXCLUSIVE:
2765 rpath->frp_flags |= FIB_ROUTE_PATH_EXCLUSIVE;
2770 if (path_ext && path_ext->fpe_type == FIB_PATH_EXT_MPLS)
2772 rpath->frp_label_stack = path_ext->fpe_path.frp_label_stack;
2775 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_DROP)
2776 rpath->frp_flags |= FIB_ROUTE_PATH_DROP;
2777 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_UNREACH)
2778 rpath->frp_flags |= FIB_ROUTE_PATH_ICMP_UNREACH;
2779 if (path->fp_cfg_flags & FIB_PATH_CFG_FLAG_ICMP_PROHIBIT)
2780 rpath->frp_flags |= FIB_ROUTE_PATH_ICMP_PROHIBIT;
2782 return (FIB_PATH_LIST_WALK_CONTINUE);
2786 fib_path_get_proto (fib_node_index_t path_index)
2790 path = fib_path_get(path_index);
2792 return (path->fp_nh_proto);
2796 fib_path_module_init (void)
2798 fib_node_register_type (FIB_NODE_TYPE_PATH, &fib_path_vft);
2799 fib_path_logger = vlib_log_register_class ("fib", "path");
2802 static clib_error_t *
2803 show_fib_path_command (vlib_main_t * vm,
2804 unformat_input_t * input,
2805 vlib_cli_command_t * cmd)
2807 fib_node_index_t pi;
2810 if (unformat (input, "%d", &pi))
2813 * show one in detail
2815 if (!pool_is_free_index(fib_path_pool, pi))
2817 path = fib_path_get(pi);
2818 u8 *s = format(NULL, "%U", format_fib_path, pi, 1,
2819 FIB_PATH_FORMAT_FLAGS_NONE);
2820 s = format(s, "\n children:");
2821 s = fib_node_children_format(path->fp_node.fn_children, s);
2822 vlib_cli_output (vm, "%v", s);
2827 vlib_cli_output (vm, "path %d invalid", pi);
2832 vlib_cli_output (vm, "FIB Paths");
2833 pool_foreach_index (pi, fib_path_pool,
2835 vlib_cli_output (vm, "%U", format_fib_path, pi, 0,
2836 FIB_PATH_FORMAT_FLAGS_NONE);
2843 VLIB_CLI_COMMAND (show_fib_path, static) = {
2844 .path = "show fib paths",
2845 .function = show_fib_path_command,
2846 .short_help = "show fib paths",