blob: ec517e157dbc86f279bb7f89369db187cc0db480 [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,
Neale Ranns0bfe5d82016-08-25 15:29:12 +010046 /**
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 Ranns32e1c012016-11-22 17:07:28 +000057 [FIB_NODE_TYPE_MFIB_ENTRY] = "mfib-entry", \
Neale Ranns0bfe5d82016-08-25 15:29:12 +010058 [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 Rannsad422ed2016-11-02 14:20:04 +000062 [FIB_NODE_TYPE_MPLS_TUNNEL] = "mpls-tunnel", \
Neale Ranns0bfe5d82016-08-25 15:29:12 +010063 [FIB_NODE_TYPE_ADJ] = "adj", \
Neale Ranns5e575b12016-10-03 09:40:25 +010064 [FIB_NODE_TYPE_LISP_GPE_FWD_ENTRY] = "lisp-gpe-fwd-entry", \
Neale Ranns0bfe5d82016-08-25 15:29:12 +010065 [FIB_NODE_TYPE_LISP_ADJ] = "lisp-adj", \
Neale Ranns0bfe5d82016-08-25 15:29:12 +010066 [FIB_NODE_TYPE_GRE_TUNNEL] = "gre-tunnel", \
John Loc42912d2016-11-07 18:30:47 -050067 [FIB_NODE_TYPE_VXLAN_TUNNEL] = "vxlan-tunnel", \
Neale Ranns80823802017-02-20 18:23:41 -080068 [FIB_NODE_TYPE_MAP_E] = "map-e", \
Hongjun Ni8a0a0ae2017-05-27 20:23:09 +080069 [FIB_NODE_TYPE_VXLAN_GPE_TUNNEL] = "vxlan-gpe-tunnel", \
Neale Ranns0bfe5d82016-08-25 15:29:12 +010070}
71
72/**
73 * Reasons for backwalking the FIB object graph
74 */
75typedef 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 Rannsad95b5d2016-11-10 20:35:14 +0000109 * Walk to update children to inform them the adjacency is now down.
110 */
111 FIB_NODE_BW_REASON_ADJ_DOWN,
112 /**
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100113 * Marker. Add new before and update
114 */
Neale Rannsad95b5d2016-11-10 20:35:14 +0000115 FIB_NODE_BW_REASON_LAST = FIB_NODE_BW_REASON_ADJ_DOWN,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100116} fib_node_back_walk_reason_t;
117
Neale Rannsad95b5d2016-11-10 20:35:14 +0000118#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 Ranns0bfe5d82016-08-25 15:29:12 +0100126}
127
Neale Rannsad95b5d2016-11-10 20:35:14 +0000128#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 Ranns0bfe5d82016-08-25 15:29:12 +0100133/**
134 * Flags enum constructed from the reaons
135 */
136typedef 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 Rannsad95b5d2016-11-10 20:35:14 +0000144 FIB_NODE_BW_REASON_FLAG_ADJ_DOWN = (1 << FIB_NODE_BW_REASON_ADJ_DOWN),
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100145} __attribute__ ((packed)) fib_node_bw_reason_flag_t;
146
Damjan Marioncf478942016-11-07 14:57:50 +0100147STATIC_ASSERT(sizeof(fib_node_bw_reason_flag_t) < 2,
148 "BW Reason enum < 2 byte. Consequences for cover_upd_res_t");
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100149
150/**
Neale Rannsad95b5d2016-11-10 20:35:14 +0000151 * Flags on the walk
152 */
153typedef 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 Ranns0bfe5d82016-08-25 15:29:12 +0100162 * Forward eclarations
163 */
164struct 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 */
173typedef 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 */
187typedef u32 fib_node_list_t;
188
189/**
190 * Context passed between object during a back walk.
191 */
192typedef 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 Rannsad95b5d2016-11-10 20:35:14 +0000199 * additional flags for the walk
200 */
201 fib_node_bw_flags_t fnbw_flags;
202
203 /**
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100204 * 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 */
223typedef 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 */
230typedef fib_node_ptr_t fib_node_ptr_list_t;
231
232/**
233 * Return code from a back walk function
234 */
235typedef 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 */
243typedef 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 */
250typedef 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 */
255typedef void (*fib_node_last_lock_gone_t)(struct fib_node_t_ *node);
256
257/**
Neale Ranns6c3ebcc2016-10-02 21:20:15 +0100258 * Function definition to display the amount of memory used by a type.
259 * Implementations should call fib_show_memory_usage()
260 */
261typedef void (*fib_node_memory_show_t)(void);
262
263/**
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100264 * A FIB graph nodes virtual function table
265 */
266typedef 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 Ranns6c3ebcc2016-10-02 21:20:15 +0100271 fib_node_memory_show_t fnv_mem_show;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100272} fib_node_vft_t;
273
274/**
275 * An node in the FIB graph
276 *
Hongjun Ni8a0a0ae2017-05-27 20:23:09 +0800277 * Objects in the FIB form a graph.
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100278 */
279typedef 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 */
315extern 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 */
327extern fib_node_type_t fib_node_register_new_type (const fib_node_vft_t *vft);
328
Neale Ranns6c3ebcc2016-10-02 21:20:15 +0100329/**
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 */
340extern void fib_show_memory_usage(const char *name,
341 u32 in_use_elts,
342 u32 allocd_elts,
343 size_t size_elt);
344
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100345extern void fib_node_init(fib_node_t *node,
346 fib_node_type_t ft);
347extern void fib_node_deinit(fib_node_t *node);
348
349extern void fib_node_lock(fib_node_t *node);
350extern void fib_node_unlock(fib_node_t *node);
351
Neale Rannsad422ed2016-11-02 14:20:04 +0000352extern u32 fib_node_get_n_children(fib_node_type_t parent_type,
353 fib_node_index_t parent_index);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100354extern 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);
358extern 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
362extern 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
365extern u8* fib_node_children_format(fib_node_list_t list,
366 u8 *s);
367
368extern const char* fib_node_type_get_name(fib_node_type_t type);
369
370static inline int
371fib_node_index_is_valid (fib_node_index_t ni)
372{
373 return (FIB_NODE_INDEX_INVALID != ni);
374}
375
376#endif
377