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