Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 1 | /* |
| 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 | #ifndef __FIB_NODE_H__ |
| 17 | #define __FIB_NODE_H__ |
| 18 | |
| 19 | #include <vnet/fib/fib_types.h> |
| 20 | |
| 21 | /** |
| 22 | * The types of nodes in a FIB graph |
| 23 | */ |
| 24 | typedef enum fib_node_type_t_ { |
| 25 | /** |
| 26 | * Marker. New types after this one. |
| 27 | */ |
| 28 | FIB_NODE_TYPE_FIRST = 0, |
| 29 | /** |
| 30 | * See the respective fib_*.h files for descriptions of these objects. |
| 31 | */ |
| 32 | FIB_NODE_TYPE_WALK, |
| 33 | FIB_NODE_TYPE_ENTRY, |
Neale Ranns | 32e1c01 | 2016-11-22 17:07:28 +0000 | [diff] [blame] | 34 | FIB_NODE_TYPE_MFIB_ENTRY, |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 35 | FIB_NODE_TYPE_PATH_LIST, |
| 36 | FIB_NODE_TYPE_PATH, |
| 37 | FIB_NODE_TYPE_ADJ, |
| 38 | FIB_NODE_TYPE_MPLS_ENTRY, |
Neale Ranns | ad422ed | 2016-11-02 14:20:04 +0000 | [diff] [blame] | 39 | FIB_NODE_TYPE_MPLS_TUNNEL, |
Neale Ranns | 5e575b1 | 2016-10-03 09:40:25 +0100 | [diff] [blame] | 40 | FIB_NODE_TYPE_LISP_GPE_FWD_ENTRY, |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 41 | FIB_NODE_TYPE_LISP_ADJ, |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 42 | FIB_NODE_TYPE_GRE_TUNNEL, |
John Lo | c42912d | 2016-11-07 18:30:47 -0500 | [diff] [blame] | 43 | FIB_NODE_TYPE_VXLAN_TUNNEL, |
Neale Ranns | 8082380 | 2017-02-20 18:23:41 -0800 | [diff] [blame] | 44 | FIB_NODE_TYPE_MAP_E, |
Hongjun Ni | 8a0a0ae | 2017-05-27 20:23:09 +0800 | [diff] [blame] | 45 | FIB_NODE_TYPE_VXLAN_GPE_TUNNEL, |
Marco Varlese | b598f1d | 2017-09-19 14:25:28 +0200 | [diff] [blame] | 46 | FIB_NODE_TYPE_GENEVE_TUNNEL, |
Neale Ranns | 810086d | 2017-11-05 16:26:46 -0800 | [diff] [blame] | 47 | FIB_NODE_TYPE_UDP_ENCAP, |
Neale Ranns | d792d9c | 2017-10-21 10:53:20 -0700 | [diff] [blame] | 48 | FIB_NODE_TYPE_BIER_FMASK, |
| 49 | FIB_NODE_TYPE_BIER_ENTRY, |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 50 | /** |
| 51 | * Marker. New types before this one. leave the test last. |
| 52 | */ |
| 53 | FIB_NODE_TYPE_TEST, |
| 54 | FIB_NODE_TYPE_LAST = FIB_NODE_TYPE_TEST, |
Neale Ranns | 630b974 | 2017-11-25 10:04:32 -0800 | [diff] [blame] | 55 | } __attribute__ ((packed)) fib_node_type_t; |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 56 | |
| 57 | #define FIB_NODE_TYPE_MAX (FIB_NODE_TYPE_LAST + 1) |
| 58 | |
Neale Ranns | d79a43c | 2018-02-19 02:36:19 -0800 | [diff] [blame] | 59 | #define FIB_NODE_TYPES { \ |
| 60 | [FIB_NODE_TYPE_ENTRY] = "entry", \ |
| 61 | [FIB_NODE_TYPE_MFIB_ENTRY] = "mfib-entry", \ |
| 62 | [FIB_NODE_TYPE_WALK] = "walk", \ |
| 63 | [FIB_NODE_TYPE_PATH_LIST] = "path-list", \ |
| 64 | [FIB_NODE_TYPE_PATH] = "path", \ |
| 65 | [FIB_NODE_TYPE_MPLS_ENTRY] = "mpls-entry", \ |
| 66 | [FIB_NODE_TYPE_MPLS_TUNNEL] = "mpls-tunnel", \ |
| 67 | [FIB_NODE_TYPE_ADJ] = "adj", \ |
| 68 | [FIB_NODE_TYPE_LISP_GPE_FWD_ENTRY] = "lisp-gpe-fwd-entry", \ |
| 69 | [FIB_NODE_TYPE_LISP_ADJ] = "lisp-adj", \ |
| 70 | [FIB_NODE_TYPE_GRE_TUNNEL] = "gre-tunnel", \ |
| 71 | [FIB_NODE_TYPE_VXLAN_TUNNEL] = "vxlan-tunnel", \ |
| 72 | [FIB_NODE_TYPE_MAP_E] = "map-e", \ |
| 73 | [FIB_NODE_TYPE_VXLAN_GPE_TUNNEL] = "vxlan-gpe-tunnel", \ |
| 74 | [FIB_NODE_TYPE_UDP_ENCAP] = "udp-encap", \ |
| 75 | [FIB_NODE_TYPE_BIER_FMASK] = "bier-fmask", \ |
| 76 | [FIB_NODE_TYPE_BIER_ENTRY] = "bier-entry", \ |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 77 | } |
| 78 | |
| 79 | /** |
| 80 | * Reasons for backwalking the FIB object graph |
| 81 | */ |
| 82 | typedef enum fib_node_back_walk_reason_t_ { |
| 83 | /** |
| 84 | * Marker. Add new ones after. |
| 85 | */ |
| 86 | FIB_NODE_BW_REASON_FIRST = 0, |
| 87 | /** |
| 88 | * Walk to re-resolve the child. |
| 89 | * Used when the parent is no longer a valid resolution target |
| 90 | */ |
| 91 | FIB_NODE_BW_REASON_RESOLVE = FIB_NODE_BW_REASON_FIRST, |
| 92 | /** |
| 93 | * Walk to re-evaluate the forwarding contributed by the parent. |
| 94 | * Used when a parent's forwarding changes and the child needs to |
| 95 | * incorporate this change in its forwarding. |
| 96 | */ |
| 97 | FIB_NODE_BW_REASON_EVALUATE, |
| 98 | /** |
| 99 | * A resolving interface has come up |
| 100 | */ |
| 101 | FIB_NODE_BW_REASON_INTERFACE_UP, |
| 102 | /** |
| 103 | * A resolving interface has gone down |
| 104 | */ |
| 105 | FIB_NODE_BW_REASON_INTERFACE_DOWN, |
| 106 | /** |
| 107 | * A resolving interface has been deleted. |
| 108 | */ |
| 109 | FIB_NODE_BW_REASON_INTERFACE_DELETE, |
| 110 | /** |
| 111 | * Walk to re-collapse the multipath adjs when the rewrite of |
| 112 | * a unipath adjacency changes |
| 113 | */ |
| 114 | FIB_NODE_BW_REASON_ADJ_UPDATE, |
| 115 | /** |
Neale Ranns | ad95b5d | 2016-11-10 20:35:14 +0000 | [diff] [blame] | 116 | * Walk to update children to inform them the adjacency is now down. |
| 117 | */ |
| 118 | FIB_NODE_BW_REASON_ADJ_DOWN, |
| 119 | /** |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 120 | * Marker. Add new before and update |
| 121 | */ |
Neale Ranns | ad95b5d | 2016-11-10 20:35:14 +0000 | [diff] [blame] | 122 | FIB_NODE_BW_REASON_LAST = FIB_NODE_BW_REASON_ADJ_DOWN, |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 123 | } fib_node_back_walk_reason_t; |
| 124 | |
Neale Ranns | ad95b5d | 2016-11-10 20:35:14 +0000 | [diff] [blame] | 125 | #define FIB_NODE_BW_REASONS { \ |
| 126 | [FIB_NODE_BW_REASON_RESOLVE] = "resolve", \ |
| 127 | [FIB_NODE_BW_REASON_EVALUATE] = "evaluate", \ |
| 128 | [FIB_NODE_BW_REASON_INTERFACE_UP] = "if-up", \ |
| 129 | [FIB_NODE_BW_REASON_INTERFACE_DOWN] = "if-down", \ |
| 130 | [FIB_NODE_BW_REASON_INTERFACE_DELETE] = "if-delete", \ |
| 131 | [FIB_NODE_BW_REASON_ADJ_UPDATE] = "adj-update", \ |
| 132 | [FIB_NODE_BW_REASON_ADJ_DOWN] = "adj-down", \ |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 133 | } |
| 134 | |
Neale Ranns | ad95b5d | 2016-11-10 20:35:14 +0000 | [diff] [blame] | 135 | #define FOR_EACH_FIB_NODE_BW_REASON(_item) \ |
| 136 | for (_item = FIB_NODE_BW_REASON_FIRST; \ |
| 137 | _item <= FIB_NODE_BW_REASON_LAST; \ |
| 138 | _item++) |
| 139 | |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 140 | /** |
| 141 | * Flags enum constructed from the reaons |
| 142 | */ |
| 143 | typedef enum fib_node_bw_reason_flag_t_ { |
| 144 | FIB_NODE_BW_REASON_FLAG_NONE = 0, |
| 145 | FIB_NODE_BW_REASON_FLAG_RESOLVE = (1 << FIB_NODE_BW_REASON_RESOLVE), |
| 146 | FIB_NODE_BW_REASON_FLAG_EVALUATE = (1 << FIB_NODE_BW_REASON_EVALUATE), |
| 147 | FIB_NODE_BW_REASON_FLAG_INTERFACE_UP = (1 << FIB_NODE_BW_REASON_INTERFACE_UP), |
| 148 | FIB_NODE_BW_REASON_FLAG_INTERFACE_DOWN = (1 << FIB_NODE_BW_REASON_INTERFACE_DOWN), |
| 149 | FIB_NODE_BW_REASON_FLAG_INTERFACE_DELETE = (1 << FIB_NODE_BW_REASON_INTERFACE_DELETE), |
| 150 | FIB_NODE_BW_REASON_FLAG_ADJ_UPDATE = (1 << FIB_NODE_BW_REASON_ADJ_UPDATE), |
Neale Ranns | ad95b5d | 2016-11-10 20:35:14 +0000 | [diff] [blame] | 151 | FIB_NODE_BW_REASON_FLAG_ADJ_DOWN = (1 << FIB_NODE_BW_REASON_ADJ_DOWN), |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 152 | } __attribute__ ((packed)) fib_node_bw_reason_flag_t; |
| 153 | |
Damjan Marion | cf47894 | 2016-11-07 14:57:50 +0100 | [diff] [blame] | 154 | STATIC_ASSERT(sizeof(fib_node_bw_reason_flag_t) < 2, |
| 155 | "BW Reason enum < 2 byte. Consequences for cover_upd_res_t"); |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 156 | |
| 157 | /** |
Neale Ranns | ad95b5d | 2016-11-10 20:35:14 +0000 | [diff] [blame] | 158 | * Flags on the walk |
| 159 | */ |
| 160 | typedef enum fib_node_bw_flags_t_ |
| 161 | { |
Neale Ranns | 30d5364 | 2018-08-27 07:29:15 -0700 | [diff] [blame] | 162 | FIB_NODE_BW_FLAG_NONE = 0, |
Neale Ranns | ad95b5d | 2016-11-10 20:35:14 +0000 | [diff] [blame] | 163 | /** |
| 164 | * Force the walk to be synchronous |
| 165 | */ |
| 166 | FIB_NODE_BW_FLAG_FORCE_SYNC = (1 << 0), |
| 167 | } fib_node_bw_flags_t; |
| 168 | |
| 169 | /** |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 170 | * Forward eclarations |
| 171 | */ |
| 172 | struct fib_node_t_; |
| 173 | |
| 174 | /** |
| 175 | * A representation of one pointer to another node. |
| 176 | * To fully qualify a node, one must know its type and its index so it |
| 177 | * can be retrieved from the appropriate pool. Direct pointers to nodes |
| 178 | * are forbidden, since all nodes are allocated from pools, which are vectors, |
| 179 | * and thus subject to realloc at any time. |
| 180 | */ |
| 181 | typedef struct fib_node_ptr_t_ { |
| 182 | /** |
| 183 | * node type |
| 184 | */ |
| 185 | fib_node_type_t fnp_type; |
| 186 | /** |
| 187 | * node's index |
| 188 | */ |
| 189 | fib_node_index_t fnp_index; |
| 190 | } fib_node_ptr_t; |
| 191 | |
| 192 | /** |
| 193 | * @brief A list of FIB nodes. |
| 194 | */ |
| 195 | typedef u32 fib_node_list_t; |
| 196 | |
| 197 | /** |
| 198 | * Context passed between object during a back walk. |
| 199 | */ |
| 200 | typedef struct fib_node_back_walk_ctx_t_ { |
| 201 | /** |
| 202 | * The reason/trigger for the backwalk |
| 203 | */ |
| 204 | fib_node_bw_reason_flag_t fnbw_reason; |
| 205 | |
| 206 | /** |
Neale Ranns | ad95b5d | 2016-11-10 20:35:14 +0000 | [diff] [blame] | 207 | * additional flags for the walk |
| 208 | */ |
| 209 | fib_node_bw_flags_t fnbw_flags; |
| 210 | |
| 211 | /** |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 212 | * the number of levels the walk has already traversed. |
| 213 | * this value is maintained by the walk infra, tp limit the depth of |
| 214 | * a walk so it does not run indefinately the presence of a loop/cycle |
| 215 | * in the graph. |
| 216 | */ |
| 217 | u32 fnbw_depth; |
| 218 | } fib_node_back_walk_ctx_t; |
| 219 | |
| 220 | /** |
| 221 | * We consider a depth of 32 to be sufficient to cover all sane |
| 222 | * network topologies. Anything more is then an indication that |
| 223 | * there is a loop/cycle in the FIB graph. |
| 224 | * Note that all object types contribute to 1 to the depth. |
| 225 | */ |
| 226 | #define FIB_NODE_GRAPH_MAX_DEPTH ((u32)32) |
| 227 | |
| 228 | /** |
| 229 | * A callback function for walking a node dependency list |
| 230 | */ |
| 231 | typedef int (*fib_node_ptr_walk_t)(fib_node_ptr_t *depend, |
| 232 | void *ctx); |
| 233 | |
| 234 | /** |
| 235 | * A list of dependent nodes. |
| 236 | * This is currently implemented as a hash_table of fib_node_ptr_t |
| 237 | */ |
| 238 | typedef fib_node_ptr_t fib_node_ptr_list_t; |
| 239 | |
| 240 | /** |
| 241 | * Return code from a back walk function |
| 242 | */ |
| 243 | typedef enum fib_node_back_walk_rc_t_ { |
| 244 | FIB_NODE_BACK_WALK_MERGE, |
| 245 | FIB_NODE_BACK_WALK_CONTINUE, |
| 246 | } fib_node_back_walk_rc_t; |
| 247 | |
| 248 | /** |
| 249 | * Function definition to backwalk a FIB node |
| 250 | */ |
| 251 | typedef fib_node_back_walk_rc_t (*fib_node_back_walk_t)( |
| 252 | struct fib_node_t_ *node, |
| 253 | fib_node_back_walk_ctx_t *ctx); |
| 254 | |
| 255 | /** |
| 256 | * Function definition to get a FIB node from its index |
| 257 | */ |
| 258 | typedef struct fib_node_t_* (*fib_node_get_t)(fib_node_index_t index); |
| 259 | |
| 260 | /** |
| 261 | * Function definition to inform the FIB node that its last lock has gone. |
| 262 | */ |
| 263 | typedef void (*fib_node_last_lock_gone_t)(struct fib_node_t_ *node); |
| 264 | |
| 265 | /** |
Neale Ranns | 6c3ebcc | 2016-10-02 21:20:15 +0100 | [diff] [blame] | 266 | * Function definition to display the amount of memory used by a type. |
| 267 | * Implementations should call fib_show_memory_usage() |
| 268 | */ |
| 269 | typedef void (*fib_node_memory_show_t)(void); |
| 270 | |
| 271 | /** |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 272 | * A FIB graph nodes virtual function table |
| 273 | */ |
| 274 | typedef struct fib_node_vft_t_ { |
| 275 | fib_node_get_t fnv_get; |
| 276 | fib_node_last_lock_gone_t fnv_last_lock; |
| 277 | fib_node_back_walk_t fnv_back_walk; |
| 278 | format_function_t *fnv_format; |
Neale Ranns | 6c3ebcc | 2016-10-02 21:20:15 +0100 | [diff] [blame] | 279 | fib_node_memory_show_t fnv_mem_show; |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 280 | } fib_node_vft_t; |
| 281 | |
| 282 | /** |
| 283 | * An node in the FIB graph |
| 284 | * |
Hongjun Ni | 8a0a0ae | 2017-05-27 20:23:09 +0800 | [diff] [blame] | 285 | * Objects in the FIB form a graph. |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 286 | */ |
| 287 | typedef struct fib_node_t_ { |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 288 | /** |
| 289 | * The node's type. make sure we are dynamic/down casting correctly |
| 290 | */ |
| 291 | fib_node_type_t fn_type; |
Neale Ranns | 630b974 | 2017-11-25 10:04:32 -0800 | [diff] [blame] | 292 | |
| 293 | /** |
| 294 | * Some pad space the concrete/derived type is free to use |
| 295 | */ |
| 296 | u16 fn_pad; |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 297 | |
| 298 | /** |
| 299 | * Vector of nodes that depend upon/use/share this node |
| 300 | */ |
| 301 | fib_node_list_t fn_children; |
| 302 | |
| 303 | /** |
| 304 | * Number of dependents on this node. This number includes the number |
| 305 | * of children |
| 306 | */ |
| 307 | u32 fn_locks; |
| 308 | } fib_node_t; |
| 309 | |
Neale Ranns | 630b974 | 2017-11-25 10:04:32 -0800 | [diff] [blame] | 310 | STATIC_ASSERT(sizeof(fib_node_t) == 12, "FIB node type is growing"); |
| 311 | |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 312 | /** |
| 313 | * @brief |
| 314 | * Register the function table for a given type |
| 315 | * |
| 316 | * @param ft |
| 317 | * FIB node type |
| 318 | * |
| 319 | * @param vft |
| 320 | * virtual function table |
| 321 | */ |
| 322 | extern void fib_node_register_type (fib_node_type_t ft, |
| 323 | const fib_node_vft_t *vft); |
| 324 | |
| 325 | /** |
| 326 | * @brief |
| 327 | * Create a new FIB node type and Register the function table for it. |
| 328 | * |
| 329 | * @param vft |
| 330 | * virtual function table |
| 331 | * |
| 332 | * @return new FIB node type |
| 333 | */ |
| 334 | extern fib_node_type_t fib_node_register_new_type (const fib_node_vft_t *vft); |
| 335 | |
Neale Ranns | 6c3ebcc | 2016-10-02 21:20:15 +0100 | [diff] [blame] | 336 | /** |
| 337 | * @brief Show the memory usage for a type |
| 338 | * |
| 339 | * This should be invoked by the type in response to the infra calling |
| 340 | * its registered memory show function |
| 341 | * |
| 342 | * @param name the name of the type |
| 343 | * @param in_use_elts The number of elements in use |
| 344 | * @param allocd_elts The number of allocated pool elemenets |
| 345 | * @param size_elt The size of one element |
| 346 | */ |
| 347 | extern void fib_show_memory_usage(const char *name, |
| 348 | u32 in_use_elts, |
| 349 | u32 allocd_elts, |
| 350 | size_t size_elt); |
| 351 | |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 352 | extern void fib_node_init(fib_node_t *node, |
| 353 | fib_node_type_t ft); |
| 354 | extern void fib_node_deinit(fib_node_t *node); |
| 355 | |
| 356 | extern void fib_node_lock(fib_node_t *node); |
| 357 | extern void fib_node_unlock(fib_node_t *node); |
| 358 | |
Neale Ranns | ad422ed | 2016-11-02 14:20:04 +0000 | [diff] [blame] | 359 | extern u32 fib_node_get_n_children(fib_node_type_t parent_type, |
| 360 | fib_node_index_t parent_index); |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 361 | extern u32 fib_node_child_add(fib_node_type_t parent_type, |
| 362 | fib_node_index_t parent_index, |
| 363 | fib_node_type_t child_type, |
| 364 | fib_node_index_t child_index); |
| 365 | extern void fib_node_child_remove(fib_node_type_t parent_type, |
| 366 | fib_node_index_t parent_index, |
| 367 | fib_node_index_t sibling_index); |
| 368 | |
| 369 | extern fib_node_back_walk_rc_t fib_node_back_walk_one(fib_node_ptr_t *ptr, |
| 370 | fib_node_back_walk_ctx_t *ctx); |
| 371 | |
| 372 | extern u8* fib_node_children_format(fib_node_list_t list, |
| 373 | u8 *s); |
| 374 | |
| 375 | extern const char* fib_node_type_get_name(fib_node_type_t type); |
| 376 | |
| 377 | static inline int |
| 378 | fib_node_index_is_valid (fib_node_index_t ni) |
| 379 | { |
| 380 | return (FIB_NODE_INDEX_INVALID != ni); |
| 381 | } |
| 382 | |
| 383 | #endif |
| 384 | |