blob: dd266ee8ff9c4fe14911a17b1bcb4d21559fd501 [file] [log] [blame]
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001/*
2 * Copyright (c) 2016 Cisco and/or its affiliates.
3 * Licensed under the Apache License, Version 2.0 (the "License");
4 * you may not use this file except in compliance with the License.
5 * You may obtain a copy of the License at:
6 *
7 * http://www.apache.org/licenses/LICENSE-2.0
8 *
9 * Unless required by applicable law or agreed to in writing, software
10 * distributed under the License is distributed on an "AS IS" BASIS,
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 * See the License for the specific language governing permissions and
13 * limitations under the License.
14 */
15
16#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 */
24typedef 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 Ranns32e1c012016-11-22 17:07:28 +000034 FIB_NODE_TYPE_MFIB_ENTRY,
Neale Ranns0bfe5d82016-08-25 15:29:12 +010035 FIB_NODE_TYPE_PATH_LIST,
36 FIB_NODE_TYPE_PATH,
37 FIB_NODE_TYPE_ADJ,
38 FIB_NODE_TYPE_MPLS_ENTRY,
Neale Rannsad422ed2016-11-02 14:20:04 +000039 FIB_NODE_TYPE_MPLS_TUNNEL,
Neale Ranns5e575b12016-10-03 09:40:25 +010040 FIB_NODE_TYPE_LISP_GPE_FWD_ENTRY,
Neale Ranns0bfe5d82016-08-25 15:29:12 +010041 FIB_NODE_TYPE_LISP_ADJ,
John Loc42912d2016-11-07 18:30:47 -050042 FIB_NODE_TYPE_VXLAN_TUNNEL,
Neale Ranns80823802017-02-20 18:23:41 -080043 FIB_NODE_TYPE_MAP_E,
Hongjun Ni8a0a0ae2017-05-27 20:23:09 +080044 FIB_NODE_TYPE_VXLAN_GPE_TUNNEL,
Marco Varleseb598f1d2017-09-19 14:25:28 +020045 FIB_NODE_TYPE_GENEVE_TUNNEL,
Neale Ranns810086d2017-11-05 16:26:46 -080046 FIB_NODE_TYPE_UDP_ENCAP,
Neale Rannsd792d9c2017-10-21 10:53:20 -070047 FIB_NODE_TYPE_BIER_FMASK,
48 FIB_NODE_TYPE_BIER_ENTRY,
Mohsin Kazmi61b94c62018-08-20 18:32:39 +020049 FIB_NODE_TYPE_VXLAN_GBP_TUNNEL,
Neale Ranns8d7c5022019-02-06 01:41:05 -080050 FIB_NODE_TYPE_IPSEC_SA,
Neale Ranns92207752019-06-03 13:21:40 +000051 FIB_NODE_TYPE_IP_PUNT_REDIRECT,
Neale Ranns1f50bf82019-07-16 15:28:52 +000052 FIB_NODE_TYPE_ENTRY_TRACK,
Neale Ranns0bfe5d82016-08-25 15:29:12 +010053 /**
54 * Marker. New types before this one. leave the test last.
55 */
56 FIB_NODE_TYPE_TEST,
57 FIB_NODE_TYPE_LAST = FIB_NODE_TYPE_TEST,
Neale Ranns630b9742017-11-25 10:04:32 -080058} __attribute__ ((packed)) fib_node_type_t;
Neale Ranns0bfe5d82016-08-25 15:29:12 +010059
60#define FIB_NODE_TYPE_MAX (FIB_NODE_TYPE_LAST + 1)
61
Neale Rannsd79a43c2018-02-19 02:36:19 -080062#define FIB_NODE_TYPES { \
63 [FIB_NODE_TYPE_ENTRY] = "entry", \
64 [FIB_NODE_TYPE_MFIB_ENTRY] = "mfib-entry", \
65 [FIB_NODE_TYPE_WALK] = "walk", \
66 [FIB_NODE_TYPE_PATH_LIST] = "path-list", \
67 [FIB_NODE_TYPE_PATH] = "path", \
68 [FIB_NODE_TYPE_MPLS_ENTRY] = "mpls-entry", \
69 [FIB_NODE_TYPE_MPLS_TUNNEL] = "mpls-tunnel", \
70 [FIB_NODE_TYPE_ADJ] = "adj", \
71 [FIB_NODE_TYPE_LISP_GPE_FWD_ENTRY] = "lisp-gpe-fwd-entry", \
72 [FIB_NODE_TYPE_LISP_ADJ] = "lisp-adj", \
Neale Rannsd79a43c2018-02-19 02:36:19 -080073 [FIB_NODE_TYPE_VXLAN_TUNNEL] = "vxlan-tunnel", \
74 [FIB_NODE_TYPE_MAP_E] = "map-e", \
75 [FIB_NODE_TYPE_VXLAN_GPE_TUNNEL] = "vxlan-gpe-tunnel", \
76 [FIB_NODE_TYPE_UDP_ENCAP] = "udp-encap", \
77 [FIB_NODE_TYPE_BIER_FMASK] = "bier-fmask", \
78 [FIB_NODE_TYPE_BIER_ENTRY] = "bier-entry", \
Neale Ranns8d7c5022019-02-06 01:41:05 -080079 [FIB_NODE_TYPE_VXLAN_GBP_TUNNEL] = "vxlan-gbp-tunnel", \
Neale Ranns92207752019-06-03 13:21:40 +000080 [FIB_NODE_TYPE_IPSEC_SA] = "ipsec-sa", \
Neale Ranns1f50bf82019-07-16 15:28:52 +000081 [FIB_NODE_TYPE_IP_PUNT_REDIRECT] = "ip-punt-redirect", \
82 [FIB_NODE_TYPE_ENTRY_TRACK] = "fib-entry-track" \
Neale Ranns0bfe5d82016-08-25 15:29:12 +010083}
84
85/**
86 * Reasons for backwalking the FIB object graph
87 */
88typedef enum fib_node_back_walk_reason_t_ {
89 /**
90 * Marker. Add new ones after.
91 */
92 FIB_NODE_BW_REASON_FIRST = 0,
93 /**
94 * Walk to re-resolve the child.
95 * Used when the parent is no longer a valid resolution target
96 */
97 FIB_NODE_BW_REASON_RESOLVE = FIB_NODE_BW_REASON_FIRST,
98 /**
99 * Walk to re-evaluate the forwarding contributed by the parent.
100 * Used when a parent's forwarding changes and the child needs to
101 * incorporate this change in its forwarding.
102 */
103 FIB_NODE_BW_REASON_EVALUATE,
104 /**
105 * A resolving interface has come up
106 */
107 FIB_NODE_BW_REASON_INTERFACE_UP,
108 /**
109 * A resolving interface has gone down
110 */
111 FIB_NODE_BW_REASON_INTERFACE_DOWN,
112 /**
Neale Ranns50bd1d32021-10-08 07:16:12 +0000113 * A resolving interface has been bound to another table
114 */
115 FIB_NODE_BW_REASON_INTERFACE_BIND,
116 /**
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100117 * A resolving interface has been deleted.
118 */
119 FIB_NODE_BW_REASON_INTERFACE_DELETE,
120 /**
121 * Walk to re-collapse the multipath adjs when the rewrite of
122 * a unipath adjacency changes
123 */
124 FIB_NODE_BW_REASON_ADJ_UPDATE,
125 /**
Neale Ranns8f5fef22020-12-21 08:29:34 +0000126 * Walk update the adjacency MTU
127 */
128 FIB_NODE_BW_REASON_ADJ_MTU,
129 /**
Neale Rannsad95b5d2016-11-10 20:35:14 +0000130 * Walk to update children to inform them the adjacency is now down.
131 */
132 FIB_NODE_BW_REASON_ADJ_DOWN,
133 /**
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100134 * Marker. Add new before and update
135 */
Neale Rannsad95b5d2016-11-10 20:35:14 +0000136 FIB_NODE_BW_REASON_LAST = FIB_NODE_BW_REASON_ADJ_DOWN,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100137} fib_node_back_walk_reason_t;
138
Neale Rannsad95b5d2016-11-10 20:35:14 +0000139#define FIB_NODE_BW_REASONS { \
140 [FIB_NODE_BW_REASON_RESOLVE] = "resolve", \
141 [FIB_NODE_BW_REASON_EVALUATE] = "evaluate", \
142 [FIB_NODE_BW_REASON_INTERFACE_UP] = "if-up", \
143 [FIB_NODE_BW_REASON_INTERFACE_DOWN] = "if-down", \
144 [FIB_NODE_BW_REASON_INTERFACE_DELETE] = "if-delete", \
Neale Ranns50bd1d32021-10-08 07:16:12 +0000145 [FIB_NODE_BW_REASON_INTERFACE_BIND] = "if-bind", \
Neale Rannsad95b5d2016-11-10 20:35:14 +0000146 [FIB_NODE_BW_REASON_ADJ_UPDATE] = "adj-update", \
Neale Ranns8f5fef22020-12-21 08:29:34 +0000147 [FIB_NODE_BW_REASON_ADJ_MTU] = "adj-mtu", \
Neale Rannsad95b5d2016-11-10 20:35:14 +0000148 [FIB_NODE_BW_REASON_ADJ_DOWN] = "adj-down", \
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100149}
150
Neale Rannsad95b5d2016-11-10 20:35:14 +0000151#define FOR_EACH_FIB_NODE_BW_REASON(_item) \
152 for (_item = FIB_NODE_BW_REASON_FIRST; \
153 _item <= FIB_NODE_BW_REASON_LAST; \
154 _item++)
155
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100156/**
157 * Flags enum constructed from the reaons
158 */
159typedef enum fib_node_bw_reason_flag_t_ {
160 FIB_NODE_BW_REASON_FLAG_NONE = 0,
161 FIB_NODE_BW_REASON_FLAG_RESOLVE = (1 << FIB_NODE_BW_REASON_RESOLVE),
162 FIB_NODE_BW_REASON_FLAG_EVALUATE = (1 << FIB_NODE_BW_REASON_EVALUATE),
163 FIB_NODE_BW_REASON_FLAG_INTERFACE_UP = (1 << FIB_NODE_BW_REASON_INTERFACE_UP),
164 FIB_NODE_BW_REASON_FLAG_INTERFACE_DOWN = (1 << FIB_NODE_BW_REASON_INTERFACE_DOWN),
Neale Ranns50bd1d32021-10-08 07:16:12 +0000165 FIB_NODE_BW_REASON_FLAG_INTERFACE_BIND = (1 << FIB_NODE_BW_REASON_INTERFACE_BIND),
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100166 FIB_NODE_BW_REASON_FLAG_INTERFACE_DELETE = (1 << FIB_NODE_BW_REASON_INTERFACE_DELETE),
167 FIB_NODE_BW_REASON_FLAG_ADJ_UPDATE = (1 << FIB_NODE_BW_REASON_ADJ_UPDATE),
Neale Ranns8f5fef22020-12-21 08:29:34 +0000168 FIB_NODE_BW_REASON_FLAG_ADJ_MTU = (1 << FIB_NODE_BW_REASON_ADJ_MTU),
Neale Rannsad95b5d2016-11-10 20:35:14 +0000169 FIB_NODE_BW_REASON_FLAG_ADJ_DOWN = (1 << FIB_NODE_BW_REASON_ADJ_DOWN),
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100170} __attribute__ ((packed)) fib_node_bw_reason_flag_t;
171
Neale Ranns50bd1d32021-10-08 07:16:12 +0000172STATIC_ASSERT(sizeof(fib_node_bw_reason_flag_t) < 3,
173 "BW Reason enum < 2 byte. Consequences for fib_entry_src_cover_res_t");
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100174
Neale Ranns710071b2018-09-24 12:36:26 +0000175extern u8 *format_fib_node_bw_reason(u8 *s, va_list *args);
176
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100177/**
Neale Rannsad95b5d2016-11-10 20:35:14 +0000178 * Flags on the walk
179 */
180typedef enum fib_node_bw_flags_t_
181{
Neale Ranns30d53642018-08-27 07:29:15 -0700182 FIB_NODE_BW_FLAG_NONE = 0,
Neale Rannsad95b5d2016-11-10 20:35:14 +0000183 /**
184 * Force the walk to be synchronous
185 */
186 FIB_NODE_BW_FLAG_FORCE_SYNC = (1 << 0),
187} fib_node_bw_flags_t;
188
189/**
Lijian.Zhang33af8c12019-09-16 16:22:36 +0800190 * Forward declarations
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100191 */
192struct fib_node_t_;
193
194/**
195 * A representation of one pointer to another node.
196 * To fully qualify a node, one must know its type and its index so it
197 * can be retrieved from the appropriate pool. Direct pointers to nodes
198 * are forbidden, since all nodes are allocated from pools, which are vectors,
199 * and thus subject to realloc at any time.
200 */
201typedef struct fib_node_ptr_t_ {
202 /**
203 * node type
204 */
205 fib_node_type_t fnp_type;
206 /**
207 * node's index
208 */
209 fib_node_index_t fnp_index;
210} fib_node_ptr_t;
211
212/**
213 * @brief A list of FIB nodes.
214 */
215typedef u32 fib_node_list_t;
216
217/**
218 * Context passed between object during a back walk.
219 */
220typedef struct fib_node_back_walk_ctx_t_ {
221 /**
222 * The reason/trigger for the backwalk
223 */
224 fib_node_bw_reason_flag_t fnbw_reason;
225
226 /**
Neale Rannsad95b5d2016-11-10 20:35:14 +0000227 * additional flags for the walk
228 */
229 fib_node_bw_flags_t fnbw_flags;
230
231 /**
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100232 * the number of levels the walk has already traversed.
233 * this value is maintained by the walk infra, tp limit the depth of
234 * a walk so it does not run indefinately the presence of a loop/cycle
235 * in the graph.
236 */
237 u32 fnbw_depth;
Neale Ranns50bd1d32021-10-08 07:16:12 +0000238
239 /**
240 * Additional data associated with the reason the walk is occuring
241 */
242 union
243 {
244 struct {
245 u32 fnbw_from_fib_index;
246 u32 fnbw_to_fib_index;
247 } interface_bind;
248 };
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100249} fib_node_back_walk_ctx_t;
250
251/**
252 * We consider a depth of 32 to be sufficient to cover all sane
253 * network topologies. Anything more is then an indication that
254 * there is a loop/cycle in the FIB graph.
255 * Note that all object types contribute to 1 to the depth.
256 */
257#define FIB_NODE_GRAPH_MAX_DEPTH ((u32)32)
258
259/**
260 * A callback function for walking a node dependency list
261 */
262typedef int (*fib_node_ptr_walk_t)(fib_node_ptr_t *depend,
263 void *ctx);
264
265/**
266 * A list of dependent nodes.
267 * This is currently implemented as a hash_table of fib_node_ptr_t
268 */
269typedef fib_node_ptr_t fib_node_ptr_list_t;
270
271/**
272 * Return code from a back walk function
273 */
274typedef enum fib_node_back_walk_rc_t_ {
275 FIB_NODE_BACK_WALK_MERGE,
276 FIB_NODE_BACK_WALK_CONTINUE,
277} fib_node_back_walk_rc_t;
278
279/**
280 * Function definition to backwalk a FIB node
281 */
282typedef fib_node_back_walk_rc_t (*fib_node_back_walk_t)(
283 struct fib_node_t_ *node,
284 fib_node_back_walk_ctx_t *ctx);
285
286/**
287 * Function definition to get a FIB node from its index
288 */
289typedef struct fib_node_t_* (*fib_node_get_t)(fib_node_index_t index);
290
291/**
292 * Function definition to inform the FIB node that its last lock has gone.
293 */
294typedef void (*fib_node_last_lock_gone_t)(struct fib_node_t_ *node);
295
296/**
Neale Ranns6c3ebcc2016-10-02 21:20:15 +0100297 * Function definition to display the amount of memory used by a type.
298 * Implementations should call fib_show_memory_usage()
299 */
300typedef void (*fib_node_memory_show_t)(void);
301
302/**
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100303 * A FIB graph nodes virtual function table
304 */
305typedef struct fib_node_vft_t_ {
306 fib_node_get_t fnv_get;
307 fib_node_last_lock_gone_t fnv_last_lock;
308 fib_node_back_walk_t fnv_back_walk;
309 format_function_t *fnv_format;
Neale Ranns6c3ebcc2016-10-02 21:20:15 +0100310 fib_node_memory_show_t fnv_mem_show;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100311} fib_node_vft_t;
312
313/**
314 * An node in the FIB graph
315 *
Hongjun Ni8a0a0ae2017-05-27 20:23:09 +0800316 * Objects in the FIB form a graph.
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100317 */
318typedef struct fib_node_t_ {
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100319 /**
320 * The node's type. make sure we are dynamic/down casting correctly
321 */
322 fib_node_type_t fn_type;
Neale Ranns630b9742017-11-25 10:04:32 -0800323
324 /**
325 * Some pad space the concrete/derived type is free to use
326 */
327 u16 fn_pad;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100328
329 /**
330 * Vector of nodes that depend upon/use/share this node
331 */
332 fib_node_list_t fn_children;
333
334 /**
335 * Number of dependents on this node. This number includes the number
336 * of children
337 */
338 u32 fn_locks;
339} fib_node_t;
340
Neale Ranns630b9742017-11-25 10:04:32 -0800341STATIC_ASSERT(sizeof(fib_node_t) == 12, "FIB node type is growing");
342
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100343/**
344 * @brief
345 * Register the function table for a given type
346 *
347 * @param ft
348 * FIB node type
349 *
350 * @param vft
351 * virtual function table
352 */
353extern void fib_node_register_type (fib_node_type_t ft,
354 const fib_node_vft_t *vft);
355
356/**
357 * @brief
358 * Create a new FIB node type and Register the function table for it.
359 *
360 * @param vft
361 * virtual function table
362 *
363 * @return new FIB node type
364 */
365extern fib_node_type_t fib_node_register_new_type (const fib_node_vft_t *vft);
366
Neale Ranns6c3ebcc2016-10-02 21:20:15 +0100367/**
368 * @brief Show the memory usage for a type
369 *
370 * This should be invoked by the type in response to the infra calling
371 * its registered memory show function
372 *
373 * @param name the name of the type
374 * @param in_use_elts The number of elements in use
375 * @param allocd_elts The number of allocated pool elemenets
376 * @param size_elt The size of one element
377 */
378extern void fib_show_memory_usage(const char *name,
379 u32 in_use_elts,
380 u32 allocd_elts,
381 size_t size_elt);
382
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100383extern void fib_node_init(fib_node_t *node,
384 fib_node_type_t ft);
385extern void fib_node_deinit(fib_node_t *node);
386
387extern void fib_node_lock(fib_node_t *node);
388extern void fib_node_unlock(fib_node_t *node);
389
Neale Rannsad422ed2016-11-02 14:20:04 +0000390extern u32 fib_node_get_n_children(fib_node_type_t parent_type,
391 fib_node_index_t parent_index);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100392extern u32 fib_node_child_add(fib_node_type_t parent_type,
393 fib_node_index_t parent_index,
394 fib_node_type_t child_type,
395 fib_node_index_t child_index);
396extern void fib_node_child_remove(fib_node_type_t parent_type,
397 fib_node_index_t parent_index,
398 fib_node_index_t sibling_index);
399
400extern fib_node_back_walk_rc_t fib_node_back_walk_one(fib_node_ptr_t *ptr,
401 fib_node_back_walk_ctx_t *ctx);
402
403extern u8* fib_node_children_format(fib_node_list_t list,
404 u8 *s);
405
406extern const char* fib_node_type_get_name(fib_node_type_t type);
407
408static inline int
409fib_node_index_is_valid (fib_node_index_t ni)
410{
411 return (FIB_NODE_INDEX_INVALID != ni);
412}
413
414#endif
415