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