blob: b7f594656aa993d601760ceef822a41f4dba33c7 [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 "fib_entry.h"
17#include "fib_entry_src.h"
18#include "fib_path_list.h"
19#include "fib_table.h"
20#include "fib_entry_cover.h"
21#include "fib_attached_export.h"
Neale Ranns81424992017-05-18 03:03:22 -070022#include "fib_path_ext.h"
Neale Ranns0bfe5d82016-08-25 15:29:12 +010023
24/**
Neale Ranns81424992017-05-18 03:03:22 -070025 * Source initialisation Function
Neale Ranns0bfe5d82016-08-25 15:29:12 +010026 */
27static void
28fib_entry_src_adj_init (fib_entry_src_t *src)
29{
Neale Ranns2303cb12018-02-21 04:57:17 -080030 src->u.adj.fesa_cover = FIB_NODE_INDEX_INVALID;
31 src->u.adj.fesa_sibling = FIB_NODE_INDEX_INVALID;
Neale Ranns0bfe5d82016-08-25 15:29:12 +010032}
33
34static void
Neale Ranns81424992017-05-18 03:03:22 -070035fib_entry_src_adj_path_add (fib_entry_src_t *src,
36 const fib_entry_t *entry,
37 fib_path_list_flags_t pl_flags,
38 const fib_route_path_t *paths)
Neale Ranns0bfe5d82016-08-25 15:29:12 +010039{
Neale Ranns81424992017-05-18 03:03:22 -070040 const fib_route_path_t *rpath;
41
42 if (FIB_NODE_INDEX_INVALID == src->fes_pl)
43 {
44 src->fes_pl = fib_path_list_create(pl_flags, paths);
45 }
46 else
47 {
48 src->fes_pl = fib_path_list_copy_and_path_add(src->fes_pl,
49 pl_flags,
50 paths);
51 }
52
53 /*
54 * resolve the existing extensions
55 */
56 fib_path_ext_list_resolve(&src->fes_path_exts, src->fes_pl);
57
58 /*
59 * and new extensions
60 */
61 vec_foreach(rpath, paths)
62 {
63 fib_path_ext_list_insert(&src->fes_path_exts,
64 src->fes_pl,
65 FIB_PATH_EXT_ADJ,
66 rpath);
67 }
68}
69
70static void
71fib_entry_src_adj_path_remove (fib_entry_src_t *src,
72 fib_path_list_flags_t pl_flags,
73 const fib_route_path_t *rpaths)
74{
75 const fib_route_path_t *rpath;
76
77 if (FIB_NODE_INDEX_INVALID != src->fes_pl)
78 {
79 src->fes_pl = fib_path_list_copy_and_path_remove(src->fes_pl,
80 pl_flags,
81 rpaths);
82 }
83
84 /*
85 * remove the path-extension for the path
86 */
87 vec_foreach(rpath, rpaths)
88 {
89 fib_path_ext_list_remove(&src->fes_path_exts, FIB_PATH_EXT_ADJ, rpath);
90 };
91 /*
92 * resolve the remaining extensions
93 */
94 fib_path_ext_list_resolve(&src->fes_path_exts, src->fes_pl);
95}
96
97static void
98fib_entry_src_adj_path_swap (fib_entry_src_t *src,
99 const fib_entry_t *entry,
100 fib_path_list_flags_t pl_flags,
101 const fib_route_path_t *paths)
102{
103 const fib_route_path_t *rpath;
104
105 /*
106 * flush all the old extensions before we create a brand new path-list
107 */
108 fib_path_ext_list_flush(&src->fes_path_exts);
109
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100110 src->fes_pl = fib_path_list_create(pl_flags, paths);
Neale Ranns81424992017-05-18 03:03:22 -0700111
112 /*
113 * and new extensions
114 */
115 vec_foreach(rpath, paths)
116 {
117 fib_path_ext_list_push_back(&src->fes_path_exts,
118 src->fes_pl,
119 FIB_PATH_EXT_ADJ,
120 rpath);
121 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100122}
123
124static void
125fib_entry_src_adj_remove (fib_entry_src_t *src)
126{
127 src->fes_pl = FIB_NODE_INDEX_INVALID;
128}
129
Neale Ranns81424992017-05-18 03:03:22 -0700130/*
131 * Add a path-extension indicating whether this path is resolved,
132 * because it passed the refinement check
133 */
134static void
135fib_enty_src_adj_update_path_ext (fib_entry_src_t *src,
136 fib_node_index_t path_index,
137 fib_path_ext_adj_flags_t flags)
138{
139 fib_path_ext_t *path_ext;
140
141 path_ext = fib_path_ext_list_find_by_path_index(&src->fes_path_exts,
142 path_index);
143
144 if (NULL != path_ext)
145 {
146 path_ext->fpe_adj_flags = flags;
147 }
148 else
149 {
150 ASSERT(!"no path extension");
151 }
152}
153
154typedef struct fib_entry_src_path_list_walk_cxt_t_
155{
156 fib_entry_src_t *src;
157 u32 cover_itf;
158 fib_path_ext_adj_flags_t flags;
159} fib_entry_src_path_list_walk_cxt_t;
160
161static fib_path_list_walk_rc_t
162fib_entry_src_adj_path_list_walk (fib_node_index_t pl_index,
163 fib_node_index_t path_index,
164 void *arg)
165{
166 fib_entry_src_path_list_walk_cxt_t *ctx;
167 u32 adj_itf;
168
169 ctx = arg;
170 adj_itf = fib_path_get_resolving_interface(path_index);
171
172 if (ctx->cover_itf == adj_itf)
173 {
174 fib_enty_src_adj_update_path_ext(ctx->src, path_index,
175 FIB_PATH_EXT_ADJ_FLAG_REFINES_COVER);
176 ctx->flags |= FIB_PATH_EXT_ADJ_FLAG_REFINES_COVER;
177 }
178 else
179 {
180 /*
181 * if the interface the adj is on is unnumbered to the
182 * cover's, then allow that too.
183 */
184 vnet_sw_interface_t *swif;
185
186 swif = vnet_get_sw_interface (vnet_get_main(), adj_itf);
187
188 if (swif->flags & VNET_SW_INTERFACE_FLAG_UNNUMBERED &&
189 ctx->cover_itf == swif->unnumbered_sw_if_index)
190 {
191 fib_enty_src_adj_update_path_ext(ctx->src, path_index,
192 FIB_PATH_EXT_ADJ_FLAG_REFINES_COVER);
193 ctx->flags |= FIB_PATH_EXT_ADJ_FLAG_REFINES_COVER;
194 }
195 else
196 {
197 fib_enty_src_adj_update_path_ext(ctx->src, path_index,
198 FIB_PATH_EXT_ADJ_FLAG_NONE);
199 }
200 }
201 return (FIB_PATH_LIST_WALK_CONTINUE);
202}
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100203
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100204static int
205fib_entry_src_adj_activate (fib_entry_src_t *src,
Neale Ranns81424992017-05-18 03:03:22 -0700206 const fib_entry_t *fib_entry)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100207{
208 fib_entry_t *cover;
209
210 /*
211 * find the covering prefix. become a dependent thereof.
212 * there should always be a cover, though it may be the default route.
213 */
Neale Ranns2303cb12018-02-21 04:57:17 -0800214 src->u.adj.fesa_cover = fib_table_get_less_specific(fib_entry->fe_fib_index,
215 &fib_entry->fe_prefix);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100216
Neale Ranns2303cb12018-02-21 04:57:17 -0800217 ASSERT(FIB_NODE_INDEX_INVALID != src->u.adj.fesa_cover);
218 ASSERT(fib_entry_get_index(fib_entry) != src->u.adj.fesa_cover);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100219
Neale Ranns2303cb12018-02-21 04:57:17 -0800220 cover = fib_entry_get(src->u.adj.fesa_cover);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100221
222 ASSERT(cover != fib_entry);
223
Neale Ranns2303cb12018-02-21 04:57:17 -0800224 src->u.adj.fesa_sibling =
Neale Ranns81424992017-05-18 03:03:22 -0700225 fib_entry_cover_track(cover,
226 fib_entry_get_index(fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100227
228 /*
Neale Ranns3983ac22017-03-10 11:53:27 -0800229 * if the cover is attached on the same interface as this adj source then
230 * install the FIB entry via the adj. otherwise install a drop.
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100231 * This prevents ARP/ND entries that on interface X that do not belong
232 * on X's subnet from being added to the FIB. To do so would allow
233 * nefarious gratuitous ARP requests from attracting traffic to the sender.
234 *
235 * and yes, I really do mean attached and not connected.
236 * this abomination;
237 * ip route add 10.0.0.0/24 Eth0
238 * is attached. and we want adj-fibs to install on Eth0.
239 */
Neale Rannsf6a9ec52019-06-25 11:38:37 +0000240 if (FIB_ENTRY_FLAG_ATTACHED & fib_entry_get_flags_i(cover) ||
241 (FIB_ENTRY_FLAG_ATTACHED & fib_entry_get_flags_for_source(src->u.adj.fesa_cover,
242 FIB_SOURCE_INTERFACE)))
Neale Ranns3983ac22017-03-10 11:53:27 -0800243 {
Neale Ranns81424992017-05-18 03:03:22 -0700244 fib_entry_src_path_list_walk_cxt_t ctx = {
Neale Ranns2303cb12018-02-21 04:57:17 -0800245 .cover_itf = fib_entry_get_resolving_interface(src->u.adj.fesa_cover),
Neale Ranns81424992017-05-18 03:03:22 -0700246 .flags = FIB_PATH_EXT_ADJ_FLAG_NONE,
247 .src = src,
248 };
Neale Ranns3983ac22017-03-10 11:53:27 -0800249
Neale Ranns81424992017-05-18 03:03:22 -0700250 fib_path_list_walk(src->fes_pl,
251 fib_entry_src_adj_path_list_walk,
252 &ctx);
Neale Ranns3983ac22017-03-10 11:53:27 -0800253
Neale Ranns81424992017-05-18 03:03:22 -0700254 /*
255 * active the entry is one of the paths refines the cover.
256 */
257 return (FIB_PATH_EXT_ADJ_FLAG_REFINES_COVER & ctx.flags);
Neale Ranns3983ac22017-03-10 11:53:27 -0800258 }
259 return (0);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100260}
261
262/*
Neale Ranns89541992017-04-06 04:41:02 -0700263 * Source re-activate.
264 * Called when the source path lit has changed and the source is still
265 * the best source
266 */
267static int
268fib_entry_src_adj_reactivate (fib_entry_src_t *src,
269 const fib_entry_t *fib_entry)
270{
271 fib_entry_src_path_list_walk_cxt_t ctx = {
Neale Ranns2303cb12018-02-21 04:57:17 -0800272 .cover_itf = fib_entry_get_resolving_interface(src->u.adj.fesa_cover),
Neale Ranns89541992017-04-06 04:41:02 -0700273 .flags = FIB_PATH_EXT_ADJ_FLAG_NONE,
274 .src = src,
275 };
276
277 fib_path_list_walk(src->fes_pl,
278 fib_entry_src_adj_path_list_walk,
279 &ctx);
280
281 return (FIB_PATH_EXT_ADJ_FLAG_REFINES_COVER & ctx.flags);
282}
283
284/*
Neale Ranns81424992017-05-18 03:03:22 -0700285 * Source Deactivate.
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100286 * Called when the source is no longer best source on the entry
287 */
288static void
289fib_entry_src_adj_deactivate (fib_entry_src_t *src,
Neale Ranns81424992017-05-18 03:03:22 -0700290 const fib_entry_t *fib_entry)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100291{
292 fib_entry_t *cover;
293
294 /*
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700295 * remove the dependency on the covering entry
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100296 */
Neale Rannsd4823362018-12-23 08:57:27 -0800297 if (FIB_NODE_INDEX_INVALID == src->u.adj.fesa_cover)
298 {
299 /*
300 * this is the case if the entry is in the non-forwarding trie
301 */
302 return;
303 }
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100304
Neale Rannsd4823362018-12-23 08:57:27 -0800305 cover = fib_entry_get(src->u.adj.fesa_cover);
Neale Ranns2303cb12018-02-21 04:57:17 -0800306 fib_entry_cover_untrack(cover, src->u.adj.fesa_sibling);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100307
308 /*
309 * tell the cover this entry no longer needs exporting
310 */
311 fib_attached_export_covered_removed(cover, fib_entry_get_index(fib_entry));
312
Neale Ranns2303cb12018-02-21 04:57:17 -0800313 src->u.adj.fesa_cover = FIB_NODE_INDEX_INVALID;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100314}
315
316static u8*
317fib_entry_src_adj_format (fib_entry_src_t *src,
Neale Ranns81424992017-05-18 03:03:22 -0700318 u8* s)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100319{
Neale Ranns2303cb12018-02-21 04:57:17 -0800320 return (format(s, " cover:%d", src->u.adj.fesa_cover));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100321}
322
323static void
324fib_entry_src_adj_installed (fib_entry_src_t *src,
Neale Ranns81424992017-05-18 03:03:22 -0700325 const fib_entry_t *fib_entry)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100326{
327 /*
328 * The adj source now rules! poke our cover to get exported
329 */
330 fib_entry_t *cover;
331
Neale Ranns2303cb12018-02-21 04:57:17 -0800332 ASSERT(FIB_NODE_INDEX_INVALID != src->u.adj.fesa_cover);
333 cover = fib_entry_get(src->u.adj.fesa_cover);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100334
335 fib_attached_export_covered_added(cover,
Neale Ranns81424992017-05-18 03:03:22 -0700336 fib_entry_get_index(fib_entry));
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100337}
338
339static fib_entry_src_cover_res_t
340fib_entry_src_adj_cover_change (fib_entry_src_t *src,
Neale Ranns81424992017-05-18 03:03:22 -0700341 const fib_entry_t *fib_entry)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100342{
343 fib_entry_src_cover_res_t res = {
Neale Ranns81424992017-05-18 03:03:22 -0700344 .install = !0,
345 .bw_reason = FIB_NODE_BW_REASON_FLAG_NONE,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100346 };
347
348 fib_entry_src_adj_deactivate(src, fib_entry);
349
350 res.install = fib_entry_src_adj_activate(src, fib_entry);
351
352 if (res.install) {
Neale Ranns81424992017-05-18 03:03:22 -0700353 /*
354 * ADJ fib can install
355 */
356 res.bw_reason = FIB_NODE_BW_REASON_FLAG_EVALUATE;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100357 }
358
Neale Ranns710071b2018-09-24 12:36:26 +0000359 FIB_ENTRY_DBG(fib_entry, "adj-src-cover-changed");
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100360 return (res);
361}
362
363/*
364 * fib_entry_src_adj_cover_update
365 */
366static fib_entry_src_cover_res_t
367fib_entry_src_adj_cover_update (fib_entry_src_t *src,
368 const fib_entry_t *fib_entry)
369{
370 /*
371 * the cover has updated, i.e. its forwarding or flags
Paul Vinciguerra8feeaff2019-03-27 11:25:48 -0700372 * have changed. don't deactivate/activate here, since this
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100373 * prefix is updated during the covers walk.
374 */
375 fib_entry_src_cover_res_t res = {
Neale Ranns81424992017-05-18 03:03:22 -0700376 .install = !0,
377 .bw_reason = FIB_NODE_BW_REASON_FLAG_NONE,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100378 };
379 fib_entry_t *cover;
380
Neale Ranns2303cb12018-02-21 04:57:17 -0800381 ASSERT(FIB_NODE_INDEX_INVALID != src->u.adj.fesa_cover);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100382
Neale Ranns2303cb12018-02-21 04:57:17 -0800383 cover = fib_entry_get(src->u.adj.fesa_cover);
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100384
385 res.install = (FIB_ENTRY_FLAG_ATTACHED & fib_entry_get_flags_i(cover));
386
Neale Ranns710071b2018-09-24 12:36:26 +0000387 FIB_ENTRY_DBG(fib_entry, "adj-src-cover-updated");
388
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100389 return (res);
390}
391
392const static fib_entry_src_vft_t adj_src_vft = {
393 .fesv_init = fib_entry_src_adj_init,
394 .fesv_path_swap = fib_entry_src_adj_path_swap,
Neale Ranns81424992017-05-18 03:03:22 -0700395 .fesv_path_add = fib_entry_src_adj_path_add,
396 .fesv_path_remove = fib_entry_src_adj_path_remove,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100397 .fesv_remove = fib_entry_src_adj_remove,
398 .fesv_activate = fib_entry_src_adj_activate,
399 .fesv_deactivate = fib_entry_src_adj_deactivate,
Neale Ranns89541992017-04-06 04:41:02 -0700400 .fesv_reactivate = fib_entry_src_adj_reactivate,
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100401 .fesv_format = fib_entry_src_adj_format,
402 .fesv_installed = fib_entry_src_adj_installed,
403 .fesv_cover_change = fib_entry_src_adj_cover_change,
404 .fesv_cover_update = fib_entry_src_adj_cover_update,
405};
406
407void
408fib_entry_src_adj_register (void)
409{
410 fib_entry_src_register(FIB_SOURCE_ADJ, &adj_src_vft);
411}