blob: ec3b542b0196388e0196d2ef0d0e563fa78b03a4 [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,
Neale Ranns0bfe5d82016-08-25 15:29:12 +010042 FIB_NODE_TYPE_GRE_TUNNEL,
John Loc42912d2016-11-07 18:30:47 -050043 FIB_NODE_TYPE_VXLAN_TUNNEL,
Neale Ranns80823802017-02-20 18:23:41 -080044 FIB_NODE_TYPE_MAP_E,
Hongjun Ni8a0a0ae2017-05-27 20:23:09 +080045 FIB_NODE_TYPE_VXLAN_GPE_TUNNEL,
Marco Varleseb598f1d2017-09-19 14:25:28 +020046 FIB_NODE_TYPE_GENEVE_TUNNEL,
Neale Ranns810086d2017-11-05 16:26:46 -080047 FIB_NODE_TYPE_UDP_ENCAP,
Neale Rannsd792d9c2017-10-21 10:53:20 -070048 FIB_NODE_TYPE_BIER_FMASK,
49 FIB_NODE_TYPE_BIER_ENTRY,
Neale Ranns0bfe5d82016-08-25 15:29:12 +010050 /**
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 Ranns630b9742017-11-25 10:04:32 -080055} __attribute__ ((packed)) fib_node_type_t;
Neale Ranns0bfe5d82016-08-25 15:29:12 +010056
57#define FIB_NODE_TYPE_MAX (FIB_NODE_TYPE_LAST + 1)
58
Neale Rannsd79a43c2018-02-19 02:36:19 -080059#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 Ranns0bfe5d82016-08-25 15:29:12 +010077}
78
79/**
80 * Reasons for backwalking the FIB object graph
81 */
82typedef 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 Rannsad95b5d2016-11-10 20:35:14 +0000116 * Walk to update children to inform them the adjacency is now down.
117 */
118 FIB_NODE_BW_REASON_ADJ_DOWN,
119 /**
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100120 * Marker. Add new before and update
121 */
Neale Rannsad95b5d2016-11-10 20:35:14 +0000122 FIB_NODE_BW_REASON_LAST = FIB_NODE_BW_REASON_ADJ_DOWN,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100123} fib_node_back_walk_reason_t;
124
Neale Rannsad95b5d2016-11-10 20:35:14 +0000125#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 Ranns0bfe5d82016-08-25 15:29:12 +0100133}
134
Neale Rannsad95b5d2016-11-10 20:35:14 +0000135#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 Ranns0bfe5d82016-08-25 15:29:12 +0100140/**
141 * Flags enum constructed from the reaons
142 */
143typedef 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 Rannsad95b5d2016-11-10 20:35:14 +0000151 FIB_NODE_BW_REASON_FLAG_ADJ_DOWN = (1 << FIB_NODE_BW_REASON_ADJ_DOWN),
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100152} __attribute__ ((packed)) fib_node_bw_reason_flag_t;
153
Damjan Marioncf478942016-11-07 14:57:50 +0100154STATIC_ASSERT(sizeof(fib_node_bw_reason_flag_t) < 2,
155 "BW Reason enum < 2 byte. Consequences for cover_upd_res_t");
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100156
157/**
Neale Rannsad95b5d2016-11-10 20:35:14 +0000158 * Flags on the walk
159 */
160typedef enum fib_node_bw_flags_t_
161{
162 /**
163 * Force the walk to be synchronous
164 */
165 FIB_NODE_BW_FLAG_FORCE_SYNC = (1 << 0),
166} fib_node_bw_flags_t;
167
168/**
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100169 * Forward eclarations
170 */
171struct fib_node_t_;
172
173/**
174 * A representation of one pointer to another node.
175 * To fully qualify a node, one must know its type and its index so it
176 * can be retrieved from the appropriate pool. Direct pointers to nodes
177 * are forbidden, since all nodes are allocated from pools, which are vectors,
178 * and thus subject to realloc at any time.
179 */
180typedef struct fib_node_ptr_t_ {
181 /**
182 * node type
183 */
184 fib_node_type_t fnp_type;
185 /**
186 * node's index
187 */
188 fib_node_index_t fnp_index;
189} fib_node_ptr_t;
190
191/**
192 * @brief A list of FIB nodes.
193 */
194typedef u32 fib_node_list_t;
195
196/**
197 * Context passed between object during a back walk.
198 */
199typedef struct fib_node_back_walk_ctx_t_ {
200 /**
201 * The reason/trigger for the backwalk
202 */
203 fib_node_bw_reason_flag_t fnbw_reason;
204
205 /**
Neale Rannsad95b5d2016-11-10 20:35:14 +0000206 * additional flags for the walk
207 */
208 fib_node_bw_flags_t fnbw_flags;
209
210 /**
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100211 * the number of levels the walk has already traversed.
212 * this value is maintained by the walk infra, tp limit the depth of
213 * a walk so it does not run indefinately the presence of a loop/cycle
214 * in the graph.
215 */
216 u32 fnbw_depth;
217} fib_node_back_walk_ctx_t;
218
219/**
220 * We consider a depth of 32 to be sufficient to cover all sane
221 * network topologies. Anything more is then an indication that
222 * there is a loop/cycle in the FIB graph.
223 * Note that all object types contribute to 1 to the depth.
224 */
225#define FIB_NODE_GRAPH_MAX_DEPTH ((u32)32)
226
227/**
228 * A callback function for walking a node dependency list
229 */
230typedef int (*fib_node_ptr_walk_t)(fib_node_ptr_t *depend,
231 void *ctx);
232
233/**
234 * A list of dependent nodes.
235 * This is currently implemented as a hash_table of fib_node_ptr_t
236 */
237typedef fib_node_ptr_t fib_node_ptr_list_t;
238
239/**
240 * Return code from a back walk function
241 */
242typedef enum fib_node_back_walk_rc_t_ {
243 FIB_NODE_BACK_WALK_MERGE,
244 FIB_NODE_BACK_WALK_CONTINUE,
245} fib_node_back_walk_rc_t;
246
247/**
248 * Function definition to backwalk a FIB node
249 */
250typedef fib_node_back_walk_rc_t (*fib_node_back_walk_t)(
251 struct fib_node_t_ *node,
252 fib_node_back_walk_ctx_t *ctx);
253
254/**
255 * Function definition to get a FIB node from its index
256 */
257typedef struct fib_node_t_* (*fib_node_get_t)(fib_node_index_t index);
258
259/**
260 * Function definition to inform the FIB node that its last lock has gone.
261 */
262typedef void (*fib_node_last_lock_gone_t)(struct fib_node_t_ *node);
263
264/**
Neale Ranns6c3ebcc2016-10-02 21:20:15 +0100265 * Function definition to display the amount of memory used by a type.
266 * Implementations should call fib_show_memory_usage()
267 */
268typedef void (*fib_node_memory_show_t)(void);
269
270/**
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100271 * A FIB graph nodes virtual function table
272 */
273typedef struct fib_node_vft_t_ {
274 fib_node_get_t fnv_get;
275 fib_node_last_lock_gone_t fnv_last_lock;
276 fib_node_back_walk_t fnv_back_walk;
277 format_function_t *fnv_format;
Neale Ranns6c3ebcc2016-10-02 21:20:15 +0100278 fib_node_memory_show_t fnv_mem_show;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100279} fib_node_vft_t;
280
281/**
282 * An node in the FIB graph
283 *
Hongjun Ni8a0a0ae2017-05-27 20:23:09 +0800284 * Objects in the FIB form a graph.
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100285 */
286typedef struct fib_node_t_ {
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100287 /**
288 * The node's type. make sure we are dynamic/down casting correctly
289 */
290 fib_node_type_t fn_type;
Neale Ranns630b9742017-11-25 10:04:32 -0800291
292 /**
293 * Some pad space the concrete/derived type is free to use
294 */
295 u16 fn_pad;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100296
297 /**
298 * Vector of nodes that depend upon/use/share this node
299 */
300 fib_node_list_t fn_children;
301
302 /**
303 * Number of dependents on this node. This number includes the number
304 * of children
305 */
306 u32 fn_locks;
307} fib_node_t;
308
Neale Ranns630b9742017-11-25 10:04:32 -0800309STATIC_ASSERT(sizeof(fib_node_t) == 12, "FIB node type is growing");
310
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100311/**
312 * @brief
313 * Register the function table for a given type
314 *
315 * @param ft
316 * FIB node type
317 *
318 * @param vft
319 * virtual function table
320 */
321extern void fib_node_register_type (fib_node_type_t ft,
322 const fib_node_vft_t *vft);
323
324/**
325 * @brief
326 * Create a new FIB node type and Register the function table for it.
327 *
328 * @param vft
329 * virtual function table
330 *
331 * @return new FIB node type
332 */
333extern fib_node_type_t fib_node_register_new_type (const fib_node_vft_t *vft);
334
Neale Ranns6c3ebcc2016-10-02 21:20:15 +0100335/**
336 * @brief Show the memory usage for a type
337 *
338 * This should be invoked by the type in response to the infra calling
339 * its registered memory show function
340 *
341 * @param name the name of the type
342 * @param in_use_elts The number of elements in use
343 * @param allocd_elts The number of allocated pool elemenets
344 * @param size_elt The size of one element
345 */
346extern void fib_show_memory_usage(const char *name,
347 u32 in_use_elts,
348 u32 allocd_elts,
349 size_t size_elt);
350
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100351extern void fib_node_init(fib_node_t *node,
352 fib_node_type_t ft);
353extern void fib_node_deinit(fib_node_t *node);
354
355extern void fib_node_lock(fib_node_t *node);
356extern void fib_node_unlock(fib_node_t *node);
357
Neale Rannsad422ed2016-11-02 14:20:04 +0000358extern u32 fib_node_get_n_children(fib_node_type_t parent_type,
359 fib_node_index_t parent_index);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100360extern u32 fib_node_child_add(fib_node_type_t parent_type,
361 fib_node_index_t parent_index,
362 fib_node_type_t child_type,
363 fib_node_index_t child_index);
364extern void fib_node_child_remove(fib_node_type_t parent_type,
365 fib_node_index_t parent_index,
366 fib_node_index_t sibling_index);
367
368extern fib_node_back_walk_rc_t fib_node_back_walk_one(fib_node_ptr_t *ptr,
369 fib_node_back_walk_ctx_t *ctx);
370
371extern u8* fib_node_children_format(fib_node_list_t list,
372 u8 *s);
373
374extern const char* fib_node_type_get_name(fib_node_type_t type);
375
376static inline int
377fib_node_index_is_valid (fib_node_index_t ni)
378{
379 return (FIB_NODE_INDEX_INVALID != ni);
380}
381
382#endif
383