blob: 0938ce9bd2f698560ce4accac44ef39a19779ef1 [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#include <vlib/vlib.h>
17#include <vnet/dpo/drop_dpo.h>
18
19#include <vnet/fib/fib_table.h>
20#include <vnet/fib/fib_entry_cover.h>
21#include <vnet/fib/fib_internal.h>
22#include <vnet/fib/ip4_fib.h>
23#include <vnet/fib/ip6_fib.h>
24#include <vnet/fib/mpls_fib.h>
25
26fib_table_t *
27fib_table_get (fib_node_index_t index,
28 fib_protocol_t proto)
29{
30 switch (proto)
31 {
32 case FIB_PROTOCOL_IP4:
33 return (pool_elt_at_index(ip4_main.fibs, index));
34 case FIB_PROTOCOL_IP6:
35 return (pool_elt_at_index(ip6_main.fibs, index));
36 case FIB_PROTOCOL_MPLS:
37 return (pool_elt_at_index(mpls_main.fibs, index));
38 }
39 ASSERT(0);
40 return (NULL);
41}
42
43static inline fib_node_index_t
44fib_table_lookup_i (fib_table_t *fib_table,
45 const fib_prefix_t *prefix)
46{
47 switch (prefix->fp_proto)
48 {
49 case FIB_PROTOCOL_IP4:
Neale Rannsa3af3372017-03-28 03:49:52 -070050 return (ip4_fib_table_lookup(ip4_fib_get(fib_table->ft_index),
Neale Ranns0bfe5d82016-08-25 15:29:12 +010051 &prefix->fp_addr.ip4,
52 prefix->fp_len));
53 case FIB_PROTOCOL_IP6:
54 return (ip6_fib_table_lookup(fib_table->ft_index,
55 &prefix->fp_addr.ip6,
56 prefix->fp_len));
57 case FIB_PROTOCOL_MPLS:
Neale Rannsa3af3372017-03-28 03:49:52 -070058 return (mpls_fib_table_lookup(mpls_fib_get(fib_table->ft_index),
Neale Ranns0bfe5d82016-08-25 15:29:12 +010059 prefix->fp_label,
60 prefix->fp_eos));
61 }
62 return (FIB_NODE_INDEX_INVALID);
63}
64
65fib_node_index_t
66fib_table_lookup (u32 fib_index,
67 const fib_prefix_t *prefix)
68{
69 return (fib_table_lookup_i(fib_table_get(fib_index, prefix->fp_proto), prefix));
70}
71
72static inline fib_node_index_t
73fib_table_lookup_exact_match_i (const fib_table_t *fib_table,
74 const fib_prefix_t *prefix)
75{
76 switch (prefix->fp_proto)
77 {
78 case FIB_PROTOCOL_IP4:
Neale Rannsa3af3372017-03-28 03:49:52 -070079 return (ip4_fib_table_lookup_exact_match(ip4_fib_get(fib_table->ft_index),
Neale Ranns0bfe5d82016-08-25 15:29:12 +010080 &prefix->fp_addr.ip4,
81 prefix->fp_len));
82 case FIB_PROTOCOL_IP6:
83 return (ip6_fib_table_lookup_exact_match(fib_table->ft_index,
84 &prefix->fp_addr.ip6,
85 prefix->fp_len));
86 case FIB_PROTOCOL_MPLS:
Neale Rannsa3af3372017-03-28 03:49:52 -070087 return (mpls_fib_table_lookup(mpls_fib_get(fib_table->ft_index),
Neale Ranns0bfe5d82016-08-25 15:29:12 +010088 prefix->fp_label,
89 prefix->fp_eos));
90 }
91 return (FIB_NODE_INDEX_INVALID);
92}
93
94fib_node_index_t
95fib_table_lookup_exact_match (u32 fib_index,
96 const fib_prefix_t *prefix)
97{
98 return (fib_table_lookup_exact_match_i(fib_table_get(fib_index,
99 prefix->fp_proto),
100 prefix));
101}
102
103static fib_node_index_t
104fib_table_get_less_specific_i (fib_table_t *fib_table,
105 const fib_prefix_t *prefix)
106{
107 fib_prefix_t pfx;
108
109 pfx = *prefix;
110
111 if (FIB_PROTOCOL_MPLS == pfx.fp_proto)
112 {
113 return (FIB_NODE_INDEX_INVALID);
114 }
115
116 /*
117 * in the absence of a tree structure for the table that allows for an O(1)
118 * parent get, a cheeky way to find the cover is to LPM for the prefix with
119 * mask-1.
120 * there should always be a cover, though it may be the default route. the
121 * default route's cover is the default route.
122 */
123 if (pfx.fp_len != 0) {
124 pfx.fp_len -= 1;
125 }
126
127 return (fib_table_lookup_i(fib_table, &pfx));
128}
129
130fib_node_index_t
131fib_table_get_less_specific (u32 fib_index,
132 const fib_prefix_t *prefix)
133{
134 return (fib_table_get_less_specific_i(fib_table_get(fib_index,
135 prefix->fp_proto),
136 prefix));
137}
138
139static void
140fib_table_entry_remove (fib_table_t *fib_table,
141 const fib_prefix_t *prefix,
142 fib_node_index_t fib_entry_index)
143{
144 vlib_smp_unsafe_warning();
145
146 fib_table->ft_total_route_counts--;
147
148 switch (prefix->fp_proto)
149 {
150 case FIB_PROTOCOL_IP4:
Neale Rannsa3af3372017-03-28 03:49:52 -0700151 ip4_fib_table_entry_remove(ip4_fib_get(fib_table->ft_index),
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100152 &prefix->fp_addr.ip4,
153 prefix->fp_len);
154 break;
155 case FIB_PROTOCOL_IP6:
156 ip6_fib_table_entry_remove(fib_table->ft_index,
157 &prefix->fp_addr.ip6,
158 prefix->fp_len);
159 break;
160 case FIB_PROTOCOL_MPLS:
Neale Rannsa3af3372017-03-28 03:49:52 -0700161 mpls_fib_table_entry_remove(mpls_fib_get(fib_table->ft_index),
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100162 prefix->fp_label,
163 prefix->fp_eos);
164 break;
165 }
166
167 fib_entry_unlock(fib_entry_index);
168}
169
170static void
171fib_table_post_insert_actions (fib_table_t *fib_table,
172 const fib_prefix_t *prefix,
173 fib_node_index_t fib_entry_index)
174{
175 fib_node_index_t fib_entry_cover_index;
176
177 /*
178 * no cover relationships in the MPLS FIB
179 */
180 if (FIB_PROTOCOL_MPLS == prefix->fp_proto)
181 return;
182
183 /*
184 * find and inform the covering entry that a new more specific
185 * has been inserted beneath it
186 */
187 fib_entry_cover_index = fib_table_get_less_specific_i(fib_table, prefix);
188 /*
189 * the indicies are the same when the default route is first added
190 */
191 if (fib_entry_cover_index != fib_entry_index)
192 {
193 fib_entry_cover_change_notify(fib_entry_cover_index,
194 fib_entry_index);
195 }
196}
197
198static void
199fib_table_entry_insert (fib_table_t *fib_table,
200 const fib_prefix_t *prefix,
201 fib_node_index_t fib_entry_index)
202{
203 vlib_smp_unsafe_warning();
204
205 fib_entry_lock(fib_entry_index);
206 fib_table->ft_total_route_counts++;
207
208 switch (prefix->fp_proto)
209 {
210 case FIB_PROTOCOL_IP4:
Neale Rannsa3af3372017-03-28 03:49:52 -0700211 ip4_fib_table_entry_insert(ip4_fib_get(fib_table->ft_index),
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100212 &prefix->fp_addr.ip4,
213 prefix->fp_len,
214 fib_entry_index);
215 break;
216 case FIB_PROTOCOL_IP6:
217 ip6_fib_table_entry_insert(fib_table->ft_index,
218 &prefix->fp_addr.ip6,
219 prefix->fp_len,
220 fib_entry_index);
221 break;
222 case FIB_PROTOCOL_MPLS:
Neale Rannsa3af3372017-03-28 03:49:52 -0700223 mpls_fib_table_entry_insert(mpls_fib_get(fib_table->ft_index),
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100224 prefix->fp_label,
225 prefix->fp_eos,
226 fib_entry_index);
227 break;
228 }
229
230 fib_table_post_insert_actions(fib_table, prefix, fib_entry_index);
231}
232
233void
234fib_table_fwding_dpo_update (u32 fib_index,
235 const fib_prefix_t *prefix,
236 const dpo_id_t *dpo)
237{
238 vlib_smp_unsafe_warning();
239
240 switch (prefix->fp_proto)
241 {
242 case FIB_PROTOCOL_IP4:
243 return (ip4_fib_table_fwding_dpo_update(ip4_fib_get(fib_index),
244 &prefix->fp_addr.ip4,
245 prefix->fp_len,
246 dpo));
247 case FIB_PROTOCOL_IP6:
248 return (ip6_fib_table_fwding_dpo_update(fib_index,
249 &prefix->fp_addr.ip6,
250 prefix->fp_len,
251 dpo));
252 case FIB_PROTOCOL_MPLS:
253 return (mpls_fib_forwarding_table_update(mpls_fib_get(fib_index),
254 prefix->fp_label,
255 prefix->fp_eos,
256 dpo));
257 }
258}
259
260void
261fib_table_fwding_dpo_remove (u32 fib_index,
262 const fib_prefix_t *prefix,
263 const dpo_id_t *dpo)
264{
265 vlib_smp_unsafe_warning();
266
267 switch (prefix->fp_proto)
268 {
269 case FIB_PROTOCOL_IP4:
270 return (ip4_fib_table_fwding_dpo_remove(ip4_fib_get(fib_index),
271 &prefix->fp_addr.ip4,
272 prefix->fp_len,
Neale Rannsa3af3372017-03-28 03:49:52 -0700273 dpo,
274 fib_table_get_less_specific(fib_index,
275 prefix)));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100276 case FIB_PROTOCOL_IP6:
277 return (ip6_fib_table_fwding_dpo_remove(fib_index,
278 &prefix->fp_addr.ip6,
279 prefix->fp_len,
280 dpo));
281 case FIB_PROTOCOL_MPLS:
282 return (mpls_fib_forwarding_table_reset(mpls_fib_get(fib_index),
283 prefix->fp_label,
284 prefix->fp_eos));
285 }
286}
287
288
289fib_node_index_t
290fib_table_entry_special_dpo_add (u32 fib_index,
291 const fib_prefix_t *prefix,
292 fib_source_t source,
293 fib_entry_flag_t flags,
294 const dpo_id_t *dpo)
295{
296 fib_node_index_t fib_entry_index;
297 fib_table_t *fib_table;
298
299 fib_table = fib_table_get(fib_index, prefix->fp_proto);
300 fib_entry_index = fib_table_lookup_exact_match_i(fib_table, prefix);
301
302 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
303 {
304 fib_entry_index = fib_entry_create_special(fib_index, prefix,
305 source, flags,
306 dpo);
307
308 fib_table_entry_insert(fib_table, prefix, fib_entry_index);
309 fib_table->ft_src_route_counts[source]++;
310 }
311 else
312 {
313 int was_sourced;
314
315 was_sourced = fib_entry_is_sourced(fib_entry_index, source);
316 fib_entry_special_add(fib_entry_index, source, flags, dpo);
317
318 if (was_sourced != fib_entry_is_sourced(fib_entry_index, source))
319 {
320 fib_table->ft_src_route_counts[source]++;
321 }
322 }
323
324
325 return (fib_entry_index);
326}
327
328fib_node_index_t
Neale Ranns948e00f2016-10-20 13:39:34 +0100329fib_table_entry_special_dpo_update (u32 fib_index,
330 const fib_prefix_t *prefix,
331 fib_source_t source,
332 fib_entry_flag_t flags,
333 const dpo_id_t *dpo)
334{
335 fib_node_index_t fib_entry_index;
336 fib_table_t *fib_table;
337
338 fib_table = fib_table_get(fib_index, prefix->fp_proto);
339 fib_entry_index = fib_table_lookup_exact_match_i(fib_table, prefix);
340
341 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
342 {
343 fib_entry_index = fib_entry_create_special(fib_index, prefix,
344 source, flags,
345 dpo);
346
347 fib_table_entry_insert(fib_table, prefix, fib_entry_index);
348 fib_table->ft_src_route_counts[source]++;
349 }
350 else
351 {
352 int was_sourced;
353
354 was_sourced = fib_entry_is_sourced(fib_entry_index, source);
355
356 if (was_sourced)
357 fib_entry_special_update(fib_entry_index, source, flags, dpo);
358 else
359 fib_entry_special_add(fib_entry_index, source, flags, dpo);
360
361 if (was_sourced != fib_entry_is_sourced(fib_entry_index, source))
362 {
363 fib_table->ft_src_route_counts[source]++;
364 }
365 }
366
367 return (fib_entry_index);
368}
369
370fib_node_index_t
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100371fib_table_entry_special_add (u32 fib_index,
372 const fib_prefix_t *prefix,
373 fib_source_t source,
Neale Rannsa0558302017-04-13 00:44:52 -0700374 fib_entry_flag_t flags)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100375{
376 fib_node_index_t fib_entry_index;
Neale Ranns948e00f2016-10-20 13:39:34 +0100377 dpo_id_t tmp_dpo = DPO_INVALID;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100378
Neale Rannsa0558302017-04-13 00:44:52 -0700379 dpo_copy(&tmp_dpo, drop_dpo_get(fib_proto_to_dpo(prefix->fp_proto)));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100380
381 fib_entry_index = fib_table_entry_special_dpo_add(fib_index, prefix, source,
382 flags, &tmp_dpo);
383
384 dpo_unlock(&tmp_dpo);
385
386 return (fib_entry_index);
387}
388
389void
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100390fib_table_entry_special_remove (u32 fib_index,
391 const fib_prefix_t *prefix,
392 fib_source_t source)
393{
394 /*
395 * 1 is it present
396 * yes => remove source
397 * 2 - is it still sourced?
398 * no => cover walk
399 */
400 fib_node_index_t fib_entry_index;
401 fib_table_t *fib_table;
402
403 fib_table = fib_table_get(fib_index, prefix->fp_proto);
404 fib_entry_index = fib_table_lookup_exact_match_i(fib_table, prefix);
405
406 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
407 {
408 /*
409 * removing an etry that does not exist. i'll allow it.
410 */
411 }
412 else
413 {
414 fib_entry_src_flag_t src_flag;
415 int was_sourced;
416
417 /*
418 * don't nobody go nowhere
419 */
420 fib_entry_lock(fib_entry_index);
421 was_sourced = fib_entry_is_sourced(fib_entry_index, source);
422
423 src_flag = fib_entry_special_remove(fib_entry_index, source);
424
425 if (!(FIB_ENTRY_SRC_FLAG_ADDED & src_flag))
426 {
427 /*
428 * last source gone. remove from the table
429 */
430 fib_table_entry_remove(fib_table, prefix, fib_entry_index);
431
432 /*
433 * now the entry is no longer in the table, we can
434 * inform the entries that it covers to re-calculate their cover
435 */
436 fib_entry_cover_change_notify(fib_entry_index,
437 FIB_NODE_INDEX_INVALID);
438 }
439 /*
440 * else
441 * still has sources, leave it be.
442 */
443 if (was_sourced != fib_entry_is_sourced(fib_entry_index, source))
444 {
445 fib_table->ft_src_route_counts[source]--;
446 }
447
448 fib_entry_unlock(fib_entry_index);
449 }
450}
451
452/**
453 * fib_table_route_path_fixup
454 *
455 * Convert attached hosts to attached next-hops.
456 *
457 * This special case is required because an attached path will link to a
458 * glean, and the FIB entry will have the interface or API/CLI source. When
459 * the ARP/ND process is completes then that source (which will provide a
460 * complete adjacency) will be lower priority and so the FIB entry will
461 * remain linked to a glean and traffic will never reach the hosts. For
462 * an ATTAHCED_HOST path we can link the path directly to the [incomplete]
463 * adjacency.
464 */
465static void
466fib_table_route_path_fixup (const fib_prefix_t *prefix,
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800467 fib_entry_flag_t eflags,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100468 fib_route_path_t *path)
469{
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800470 /*
471 * not all zeros next hop &&
472 * is recursive path &&
473 * nexthop is same as the route's address
474 */
475 if ((!ip46_address_is_zero(&path->frp_addr)) &&
476 (~0 == path->frp_sw_if_index) &&
477 (0 == ip46_address_cmp(&path->frp_addr, &prefix->fp_addr)))
478 {
479 /* Prefix recurses via itse;f */
480 path->frp_flags |= FIB_ROUTE_PATH_DROP;
481 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100482 if (fib_prefix_is_host(prefix) &&
483 ip46_address_is_zero(&path->frp_addr) &&
484 path->frp_sw_if_index != ~0)
485 {
486 path->frp_addr = prefix->fp_addr;
Neale Ranns4b919a52017-03-11 05:55:21 -0800487 path->frp_flags |= FIB_ROUTE_PATH_ATTACHED;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100488 }
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800489 if (eflags & FIB_ENTRY_FLAG_DROP)
490 {
491 path->frp_flags |= FIB_ROUTE_PATH_DROP;
492 }
493 if (eflags & FIB_ENTRY_FLAG_LOCAL)
494 {
495 path->frp_flags |= FIB_ROUTE_PATH_LOCAL;
496 }
497 if (eflags & FIB_ENTRY_FLAG_EXCLUSIVE)
498 {
499 path->frp_flags |= FIB_ROUTE_PATH_EXCLUSIVE;
500 }
501}
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100502
503fib_node_index_t
504fib_table_entry_path_add (u32 fib_index,
505 const fib_prefix_t *prefix,
506 fib_source_t source,
507 fib_entry_flag_t flags,
508 fib_protocol_t next_hop_proto,
509 const ip46_address_t *next_hop,
510 u32 next_hop_sw_if_index,
511 u32 next_hop_fib_index,
512 u32 next_hop_weight,
Neale Rannsad422ed2016-11-02 14:20:04 +0000513 mpls_label_t *next_hop_labels,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100514 fib_route_path_flags_t path_flags)
515{
516 fib_route_path_t path = {
517 .frp_proto = next_hop_proto,
518 .frp_addr = (NULL == next_hop? zero_addr : *next_hop),
519 .frp_sw_if_index = next_hop_sw_if_index,
520 .frp_fib_index = next_hop_fib_index,
521 .frp_weight = next_hop_weight,
522 .frp_flags = path_flags,
Neale Rannsad422ed2016-11-02 14:20:04 +0000523 .frp_label_stack = next_hop_labels,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100524 };
525 fib_node_index_t fib_entry_index;
526 fib_route_path_t *paths = NULL;
527
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100528 vec_add1(paths, path);
529
530 fib_entry_index = fib_table_entry_path_add2(fib_index, prefix,
531 source, flags, paths);
532
533 vec_free(paths);
534 return (fib_entry_index);
535}
536
537fib_node_index_t
538fib_table_entry_path_add2 (u32 fib_index,
539 const fib_prefix_t *prefix,
540 fib_source_t source,
541 fib_entry_flag_t flags,
Neale Rannsad422ed2016-11-02 14:20:04 +0000542 fib_route_path_t *rpath)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100543{
544 fib_node_index_t fib_entry_index;
545 fib_table_t *fib_table;
Neale Rannsad422ed2016-11-02 14:20:04 +0000546 u32 ii;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100547
548 fib_table = fib_table_get(fib_index, prefix->fp_proto);
549 fib_entry_index = fib_table_lookup_exact_match_i(fib_table, prefix);
550
Neale Rannsad422ed2016-11-02 14:20:04 +0000551 for (ii = 0; ii < vec_len(rpath); ii++)
552 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800553 fib_table_route_path_fixup(prefix, flags, &rpath[ii]);
Neale Rannsad422ed2016-11-02 14:20:04 +0000554 }
555
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100556 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
557 {
558 fib_entry_index = fib_entry_create(fib_index, prefix,
559 source, flags,
560 rpath);
561
562 fib_table_entry_insert(fib_table, prefix, fib_entry_index);
563 fib_table->ft_src_route_counts[source]++;
564 }
565 else
566 {
567 int was_sourced;
568
569 was_sourced = fib_entry_is_sourced(fib_entry_index, source);
570 fib_entry_path_add(fib_entry_index, source, flags, rpath);;
571
572 if (was_sourced != fib_entry_is_sourced(fib_entry_index, source))
573 {
574 fib_table->ft_src_route_counts[source]++;
575 }
576 }
577
578 return (fib_entry_index);
579}
580
581void
582fib_table_entry_path_remove2 (u32 fib_index,
Neale Rannsad422ed2016-11-02 14:20:04 +0000583 const fib_prefix_t *prefix,
584 fib_source_t source,
585 fib_route_path_t *rpath)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100586{
587 /*
588 * 1 is it present
589 * yes => remove source
590 * 2 - is it still sourced?
591 * no => cover walk
592 */
593 fib_node_index_t fib_entry_index;
594 fib_table_t *fib_table;
Neale Rannsad422ed2016-11-02 14:20:04 +0000595 u32 ii;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100596
597 fib_table = fib_table_get(fib_index, prefix->fp_proto);
598 fib_entry_index = fib_table_lookup_exact_match_i(fib_table, prefix);
599
600 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
601 {
602 /*
603 * removing an etry that does not exist. i'll allow it.
604 */
605 }
606 else
607 {
608 fib_entry_src_flag_t src_flag;
609 int was_sourced;
610
611 /*
612 * don't nobody go nowhere
613 */
614 fib_entry_lock(fib_entry_index);
615 was_sourced = fib_entry_is_sourced(fib_entry_index, source);
616
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800617 for (ii = 0; ii < vec_len(rpath); ii++)
618 {
619 fib_table_route_path_fixup(
620 prefix,
621 fib_entry_get_flags_for_source(fib_entry_index,
622 source),
623 &rpath[ii]);
624 }
625
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100626 src_flag = fib_entry_path_remove(fib_entry_index, source, rpath);
627
628 if (!(FIB_ENTRY_SRC_FLAG_ADDED & src_flag))
629 {
630 /*
631 * last source gone. remove from the table
632 */
633 fib_table_entry_remove(fib_table, prefix, fib_entry_index);
634
635 /*
636 * now the entry is no longer in the table, we can
637 * inform the entries that it covers to re-calculate their cover
638 */
639 fib_entry_cover_change_notify(fib_entry_index,
640 FIB_NODE_INDEX_INVALID);
641 }
642 /*
643 * else
644 * still has sources, leave it be.
645 */
646 if (was_sourced != fib_entry_is_sourced(fib_entry_index, source))
647 {
648 fib_table->ft_src_route_counts[source]--;
649 }
650
651 fib_entry_unlock(fib_entry_index);
652 }
653}
654
655void
656fib_table_entry_path_remove (u32 fib_index,
657 const fib_prefix_t *prefix,
658 fib_source_t source,
659 fib_protocol_t next_hop_proto,
660 const ip46_address_t *next_hop,
661 u32 next_hop_sw_if_index,
662 u32 next_hop_fib_index,
663 u32 next_hop_weight,
664 fib_route_path_flags_t path_flags)
665{
666 /*
667 * 1 is it present
668 * yes => remove source
669 * 2 - is it still sourced?
670 * no => cover walk
671 */
672 fib_route_path_t path = {
673 .frp_proto = next_hop_proto,
674 .frp_addr = (NULL == next_hop? zero_addr : *next_hop),
675 .frp_sw_if_index = next_hop_sw_if_index,
676 .frp_fib_index = next_hop_fib_index,
677 .frp_weight = next_hop_weight,
678 .frp_flags = path_flags,
679 };
680 fib_route_path_t *paths = NULL;
681
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100682 vec_add1(paths, path);
683
684 fib_table_entry_path_remove2(fib_index, prefix, source, paths);
685
686 vec_free(paths);
687}
688
689static int
690fib_route_path_cmp_for_sort (void * v1,
691 void * v2)
692{
693 return (fib_route_path_cmp(v1, v2));
694}
695
696fib_node_index_t
697fib_table_entry_update (u32 fib_index,
698 const fib_prefix_t *prefix,
699 fib_source_t source,
700 fib_entry_flag_t flags,
Neale Rannsad422ed2016-11-02 14:20:04 +0000701 fib_route_path_t *paths)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100702{
703 fib_node_index_t fib_entry_index;
704 fib_table_t *fib_table;
Neale Rannsad422ed2016-11-02 14:20:04 +0000705 u32 ii;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100706
707 fib_table = fib_table_get(fib_index, prefix->fp_proto);
708 fib_entry_index = fib_table_lookup_exact_match_i(fib_table, prefix);
709
Neale Rannsad422ed2016-11-02 14:20:04 +0000710 for (ii = 0; ii < vec_len(paths); ii++)
711 {
Neale Ranns0f26c5a2017-03-01 15:12:11 -0800712 fib_table_route_path_fixup(prefix, flags, &paths[ii]);
Neale Rannsad422ed2016-11-02 14:20:04 +0000713 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100714 /*
715 * sort the paths provided by the control plane. this means
716 * the paths and the extension on the entry will be sorted.
717 */
Neale Rannsad422ed2016-11-02 14:20:04 +0000718 vec_sort_with_function(paths, fib_route_path_cmp_for_sort);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100719
720 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
721 {
722 fib_entry_index = fib_entry_create(fib_index, prefix,
723 source, flags,
724 paths);
725
726 fib_table_entry_insert(fib_table, prefix, fib_entry_index);
727 fib_table->ft_src_route_counts[source]++;
728 }
729 else
730 {
731 int was_sourced;
732
733 was_sourced = fib_entry_is_sourced(fib_entry_index, source);
734 fib_entry_update(fib_entry_index, source, flags, paths);
735
736 if (was_sourced != fib_entry_is_sourced(fib_entry_index, source))
737 {
738 fib_table->ft_src_route_counts[source]++;
739 }
740 }
741
742 return (fib_entry_index);
743}
744
745fib_node_index_t
746fib_table_entry_update_one_path (u32 fib_index,
747 const fib_prefix_t *prefix,
748 fib_source_t source,
749 fib_entry_flag_t flags,
750 fib_protocol_t next_hop_proto,
751 const ip46_address_t *next_hop,
752 u32 next_hop_sw_if_index,
753 u32 next_hop_fib_index,
754 u32 next_hop_weight,
Neale Rannsad422ed2016-11-02 14:20:04 +0000755 mpls_label_t *next_hop_labels,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100756 fib_route_path_flags_t path_flags)
757{
758 fib_node_index_t fib_entry_index;
759 fib_route_path_t path = {
760 .frp_proto = next_hop_proto,
761 .frp_addr = (NULL == next_hop? zero_addr : *next_hop),
762 .frp_sw_if_index = next_hop_sw_if_index,
763 .frp_fib_index = next_hop_fib_index,
764 .frp_weight = next_hop_weight,
765 .frp_flags = path_flags,
Neale Rannsad422ed2016-11-02 14:20:04 +0000766 .frp_label_stack = next_hop_labels,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100767 };
768 fib_route_path_t *paths = NULL;
769
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100770 vec_add1(paths, path);
771
772 fib_entry_index =
773 fib_table_entry_update(fib_index, prefix, source, flags, paths);
774
775 vec_free(paths);
776
777 return (fib_entry_index);
778}
779
780static void
781fib_table_entry_delete_i (u32 fib_index,
782 fib_node_index_t fib_entry_index,
783 const fib_prefix_t *prefix,
784 fib_source_t source)
785{
786 fib_entry_src_flag_t src_flag;
787 fib_table_t *fib_table;
788 int was_sourced;
789
790 fib_table = fib_table_get(fib_index, prefix->fp_proto);
791 was_sourced = fib_entry_is_sourced(fib_entry_index, source);
792
793 /*
794 * don't nobody go nowhere
795 */
796 fib_entry_lock(fib_entry_index);
797
798 src_flag = fib_entry_delete(fib_entry_index, source);
799
800 if (!(FIB_ENTRY_SRC_FLAG_ADDED & src_flag))
801 {
802 /*
803 * last source gone. remove from the table
804 */
805 fib_table_entry_remove(fib_table, prefix, fib_entry_index);
806
807 /*
808 * now the entry is no longer in the table, we can
809 * inform the entries that it covers to re-calculate their cover
810 */
811 fib_entry_cover_change_notify(fib_entry_index,
812 FIB_NODE_INDEX_INVALID);
813 }
814 /*
815 * else
816 * still has sources, leave it be.
817 */
818 if (was_sourced != fib_entry_is_sourced(fib_entry_index, source))
819 {
820 fib_table->ft_src_route_counts[source]--;
821 }
822
823 fib_entry_unlock(fib_entry_index);
824}
825
826void
827fib_table_entry_delete (u32 fib_index,
828 const fib_prefix_t *prefix,
829 fib_source_t source)
830{
831 fib_node_index_t fib_entry_index;
832
833 fib_entry_index = fib_table_lookup_exact_match(fib_index, prefix);
834
835 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
836 {
837 /*
838 * removing an etry that does not exist.
839 * i'll allow it, but i won't like it.
840 */
841 clib_warning("%U not in FIB", format_fib_prefix, prefix);
842 }
843 else
844 {
845 fib_table_entry_delete_i(fib_index, fib_entry_index, prefix, source);
846 }
847}
848
849void
850fib_table_entry_delete_index (fib_node_index_t fib_entry_index,
851 fib_source_t source)
852{
853 fib_prefix_t prefix;
854
855 fib_entry_get_prefix(fib_entry_index, &prefix);
856
857 fib_table_entry_delete_i(fib_entry_get_fib_index(fib_entry_index),
858 fib_entry_index, &prefix, source);
859}
860
861fib_node_index_t
862fib_table_entry_local_label_add (u32 fib_index,
863 const fib_prefix_t *prefix,
864 mpls_label_t label)
865{
866 fib_node_index_t fib_entry_index;
867
Neale Ranns1357f3b2016-10-16 12:01:42 -0700868 fib_entry_index = fib_table_lookup_exact_match(fib_index, prefix);
869
870 if (FIB_NODE_INDEX_INVALID == fib_entry_index ||
871 !fib_entry_is_sourced(fib_entry_index, FIB_SOURCE_MPLS))
872 {
873 /*
874 * only source the prefix once. this allows the label change
875 * operation to work
876 */
877 fib_entry_index = fib_table_entry_special_dpo_add(fib_index, prefix,
878 FIB_SOURCE_MPLS,
879 FIB_ENTRY_FLAG_NONE,
880 NULL);
881 }
882
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100883 fib_entry_set_source_data(fib_entry_index, FIB_SOURCE_MPLS, &label);
884
885 return (fib_entry_index);
886}
887
888void
889fib_table_entry_local_label_remove (u32 fib_index,
890 const fib_prefix_t *prefix,
891 mpls_label_t label)
892{
893 fib_node_index_t fib_entry_index;
894 const void *data;
895 mpls_label_t pl;
896
897 fib_entry_index = fib_table_lookup_exact_match(fib_index, prefix);
898
899 if (FIB_NODE_INDEX_INVALID == fib_entry_index)
900 return;
901
902 data = fib_entry_get_source_data(fib_entry_index, FIB_SOURCE_MPLS);
903
904 if (NULL == data)
905 return;
906
907 pl = *(mpls_label_t*)data;
908
909 if (pl != label)
910 return;
911
912 pl = MPLS_LABEL_INVALID;
913
914 fib_entry_set_source_data(fib_entry_index, FIB_SOURCE_MPLS, &pl);
915 fib_table_entry_special_remove(fib_index,
916 prefix,
917 FIB_SOURCE_MPLS);
918}
919
920u32
921fib_table_get_index_for_sw_if_index (fib_protocol_t proto,
922 u32 sw_if_index)
923{
924 switch (proto)
925 {
926 case FIB_PROTOCOL_IP4:
927 return (ip4_fib_table_get_index_for_sw_if_index(sw_if_index));
928 case FIB_PROTOCOL_IP6:
929 return (ip6_fib_table_get_index_for_sw_if_index(sw_if_index));
930 case FIB_PROTOCOL_MPLS:
931 return (mpls_fib_table_get_index_for_sw_if_index(sw_if_index));
932 }
933 return (~0);
934}
935
936flow_hash_config_t
937fib_table_get_flow_hash_config (u32 fib_index,
938 fib_protocol_t proto)
939{
940 switch (proto)
941 {
942 case FIB_PROTOCOL_IP4:
943 return (ip4_fib_table_get_flow_hash_config(fib_index));
944 case FIB_PROTOCOL_IP6:
945 return (ip6_fib_table_get_flow_hash_config(fib_index));
946 case FIB_PROTOCOL_MPLS:
947 return (mpls_fib_table_get_flow_hash_config(fib_index));
948 }
949 return (0);
950}
951
952
953u32
954fib_table_get_table_id_for_sw_if_index (fib_protocol_t proto,
955 u32 sw_if_index)
956{
957 fib_table_t *fib_table;
958
959 fib_table = fib_table_get(fib_table_get_index_for_sw_if_index(
960 proto, sw_if_index),
961 proto);
962
963 return ((NULL != fib_table ? fib_table->ft_table_id : ~0));
964}
965
966u32
967fib_table_find (fib_protocol_t proto,
968 u32 table_id)
969{
970 switch (proto)
971 {
972 case FIB_PROTOCOL_IP4:
973 return (ip4_fib_index_from_table_id(table_id));
974 case FIB_PROTOCOL_IP6:
975 return (ip6_fib_index_from_table_id(table_id));
976 case FIB_PROTOCOL_MPLS:
977 return (mpls_fib_index_from_table_id(table_id));
978 }
979 return (~0);
980}
981
982u32
983fib_table_find_or_create_and_lock (fib_protocol_t proto,
984 u32 table_id)
985{
986 fib_table_t *fib_table;
987 fib_node_index_t fi;
988
989 switch (proto)
990 {
991 case FIB_PROTOCOL_IP4:
992 fi = ip4_fib_table_find_or_create_and_lock(table_id);
993 break;
994 case FIB_PROTOCOL_IP6:
995 fi = ip6_fib_table_find_or_create_and_lock(table_id);
996 break;
997 case FIB_PROTOCOL_MPLS:
998 fi = mpls_fib_table_find_or_create_and_lock(table_id);
999 break;
1000 default:
1001 return (~0);
1002 }
1003
1004 fib_table = fib_table_get(fi, proto);
1005
1006 fib_table->ft_desc = format(NULL, "%U-VRF:%d",
1007 format_fib_protocol, proto,
1008 table_id);
1009
1010 return (fi);
1011}
1012
1013u32
1014fib_table_create_and_lock (fib_protocol_t proto,
1015 const char *const fmt,
1016 ...)
1017{
1018 fib_table_t *fib_table;
1019 fib_node_index_t fi;
1020 va_list ap;
1021
1022 va_start(ap, fmt);
1023
1024 switch (proto)
1025 {
1026 case FIB_PROTOCOL_IP4:
1027 fi = ip4_fib_table_create_and_lock();
1028 break;
1029 case FIB_PROTOCOL_IP6:
1030 fi = ip6_fib_table_create_and_lock();
1031 break;
1032 case FIB_PROTOCOL_MPLS:
1033 fi = mpls_fib_table_create_and_lock();
1034 break;
1035 default:
1036 return (~0);
1037 }
1038
1039 fib_table = fib_table_get(fi, proto);
1040
1041 fib_table->ft_desc = va_format(fib_table->ft_desc, fmt, &ap);
1042
1043 va_end(ap);
1044 return (fi);
1045}
1046
1047static void
1048fib_table_destroy (fib_table_t *fib_table)
1049{
1050 vec_free(fib_table->ft_desc);
1051
1052 switch (fib_table->ft_proto)
1053 {
1054 case FIB_PROTOCOL_IP4:
Neale Rannsa3af3372017-03-28 03:49:52 -07001055 ip4_fib_table_destroy(fib_table->ft_index);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001056 break;
1057 case FIB_PROTOCOL_IP6:
1058 ip6_fib_table_destroy(fib_table->ft_index);
1059 break;
1060 case FIB_PROTOCOL_MPLS:
Neale Rannsa3af3372017-03-28 03:49:52 -07001061 mpls_fib_table_destroy(fib_table->ft_index);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001062 break;
1063 }
1064}
Neale Ranns5a8123b2017-01-26 01:18:23 -08001065
Neale Ranns32e1c012016-11-22 17:07:28 +00001066void
1067fib_table_walk (u32 fib_index,
1068 fib_protocol_t proto,
1069 fib_table_walk_fn_t fn,
1070 void *ctx)
1071{
1072 switch (proto)
1073 {
1074 case FIB_PROTOCOL_IP4:
1075 ip4_fib_table_walk(ip4_fib_get(fib_index), fn, ctx);
1076 break;
1077 case FIB_PROTOCOL_IP6:
1078 ip6_fib_table_walk(fib_index, fn, ctx);
1079 break;
1080 case FIB_PROTOCOL_MPLS:
1081 mpls_fib_table_walk(mpls_fib_get(fib_index), fn, ctx);
1082 break;
1083 }
1084}
1085
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001086void
1087fib_table_unlock (u32 fib_index,
1088 fib_protocol_t proto)
1089{
1090 fib_table_t *fib_table;
1091
1092 fib_table = fib_table_get(fib_index, proto);
1093 fib_table->ft_locks--;
1094
1095 if (0 == fib_table->ft_locks)
1096 {
1097 fib_table_destroy(fib_table);
1098 }
1099}
1100void
1101fib_table_lock (u32 fib_index,
1102 fib_protocol_t proto)
1103{
1104 fib_table_t *fib_table;
1105
1106 fib_table = fib_table_get(fib_index, proto);
1107 fib_table->ft_locks++;
1108}
1109
1110u32
1111fib_table_get_num_entries (u32 fib_index,
1112 fib_protocol_t proto,
1113 fib_source_t source)
1114{
1115 fib_table_t *fib_table;
1116
1117 fib_table = fib_table_get(fib_index, proto);
1118
1119 return (fib_table->ft_src_route_counts[source]);
1120}
1121
1122u8*
1123format_fib_table_name (u8* s, va_list ap)
1124{
1125 fib_node_index_t fib_index = va_arg(ap, fib_node_index_t);
1126 fib_protocol_t proto = va_arg(ap, int); // int promotion
1127 fib_table_t *fib_table;
1128
1129 fib_table = fib_table_get(fib_index, proto);
1130
1131 s = format(s, "%v", fib_table->ft_desc);
1132
1133 return (s);
1134}
1135
Neale Ranns32e1c012016-11-22 17:07:28 +00001136/**
1137 * @brief Table flush context. Store the indicies of matching FIB entries
1138 * that need to be removed.
1139 */
1140typedef struct fib_table_flush_ctx_t_
1141{
1142 /**
1143 * The list of entries to flush
1144 */
1145 fib_node_index_t *ftf_entries;
1146
1147 /**
1148 * The source we are flushing
1149 */
1150 fib_source_t ftf_source;
1151} fib_table_flush_ctx_t;
1152
1153static int
1154fib_table_flush_cb (fib_node_index_t fib_entry_index,
1155 void *arg)
1156{
1157 fib_table_flush_ctx_t *ctx = arg;
1158
1159 if (fib_entry_is_sourced(fib_entry_index, ctx->ftf_source))
1160 {
1161 vec_add1(ctx->ftf_entries, fib_entry_index);
1162 }
1163 return (1);
1164}
1165
1166
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001167void
1168fib_table_flush (u32 fib_index,
1169 fib_protocol_t proto,
1170 fib_source_t source)
1171{
Neale Ranns32e1c012016-11-22 17:07:28 +00001172 fib_node_index_t *fib_entry_index;
1173 fib_table_flush_ctx_t ctx = {
1174 .ftf_entries = NULL,
1175 .ftf_source = source,
1176 };
1177
1178 fib_table_walk(fib_index, proto,
1179 fib_table_flush_cb,
1180 &ctx);
1181
1182 vec_foreach(fib_entry_index, ctx.ftf_entries)
1183 {
Neale Rannsa8d9f302017-02-20 09:17:02 -08001184 fib_table_entry_delete_index(*fib_entry_index, source);
Neale Ranns32e1c012016-11-22 17:07:28 +00001185 }
1186
1187 vec_free(ctx.ftf_entries);
Neale Ranns0bfe5d82016-08-25 15:29:12 +01001188}