FD.io VPP  v21.10.1-2-g0a485f517
Vector Packet Processing
fib_entry_src_rr.c
Go to the documentation of this file.
1 /*
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/ip/format.h>
18 #include <vnet/ip/lookup.h>
19 #include <vnet/adj/adj.h>
20 #include <vnet/dpo/drop_dpo.h>
21 
22 #include "fib_entry_src.h"
23 #include "fib_entry_src_rr.h"
24 #include "fib_entry_cover.h"
25 #include "fib_entry.h"
26 #include "fib_table.h"
27 #include "fib_path_ext.h"
28 
29 /*
30  * fib_entry_src_rr_resolve_via_connected
31  *
32  * Resolve via a connected cover.
33  */
34 void
36  const fib_entry_t *fib_entry,
37  const fib_entry_t *cover)
38 {
39  const fib_route_path_t path = {
40  .frp_proto = fib_proto_to_dpo(fib_entry->fe_prefix.fp_proto),
41  .frp_addr = fib_entry->fe_prefix.fp_addr,
42  .frp_sw_if_index = fib_entry_get_resolving_interface(
43  fib_entry_get_index(cover)),
44  .frp_fib_index = ~0,
45  .frp_weight = 1,
46  };
47  fib_route_path_t *paths = NULL;
49 
50  /*
51  * since the cover is connected, the address this entry corresponds
52  * to is a peer (ARP-able for) on the interface to which the cover is
53  * connected. The fact we resolve via the cover, just means this RR
54  * source is the first SRC to use said peer. The ARP source will be along
55  * shortly to over-rule this RR source.
56  */
58  src->fes_entry_flags |= (fib_entry_get_flags(fib_entry_get_index(cover)) &
60 
61  vec_free(paths);
62 }
63 
64 
65 /**
66  * Source initialisation Function
67  */
68 static void
70 {
71  src->u.rr.fesr_cover = FIB_NODE_INDEX_INVALID;
72  src->u.rr.fesr_sibling = FIB_NODE_INDEX_INVALID;
73 }
74 
75 
76 /*
77  * use the path-list of the cover, unless it would form a loop.
78  * that is unless the cover is via this entry.
79  * If a loop were to form it would be a 1 level loop (i.e. X via X),
80  * and there would be 2 locks on the path-list; one since its used
81  * by the cover, and 1 from here. The first lock will go when the
82  * cover is removed, the second, and last, when the covered walk
83  * occurs during the cover's removal - this is not a place where
84  * we can handle last lock gone.
85  * In short, don't let the loop form. The usual rules of 'we must
86  * let it form so we know when it breaks' don't apply here, since
87  * the loop will break when the cover changes, and this function
88  * will be called again when that happens.
89  */
90 void
92  const fib_entry_t *fib_entry,
93  const fib_entry_t *cover)
94 {
95  fib_node_index_t *entries = NULL;
97  fib_entry_src_t *s;
98 
100  vec_add1(entries, fib_entry_get_index(fib_entry));
101 
103  &entries))
104  {
108  }
109  else
110  {
111  src->fes_pl = cover->fe_parent;
112  vec_foreach (s,cover->fe_srcs)
113  {
114  if (s->fes_pl != cover->fe_parent)
115  continue;
116 
117  src->fes_path_exts.fpel_exts = vec_dup (s->fes_path_exts.fpel_exts);
118  break;
119  }
120  }
121  vec_free(entries);
122 }
123 
124 /*
125  * Source activation. Called when the source is the new best source on the entry
126  */
127 static int
129  const fib_entry_t *fib_entry)
130 {
131  fib_entry_t *cover;
132 
133  /*
134  * find the covering prefix. become a dependent thereof.
135  * for IP there should always be a cover, though it may be the default route.
136  * For MPLS there is never a cover.
137  */
138  if (FIB_PROTOCOL_MPLS == fib_entry->fe_prefix.fp_proto)
139  {
142  NULL);
143  fib_path_list_lock(src->fes_pl);
144  return (!0);
145  }
146 
147  src->u.rr.fesr_cover = fib_table_get_less_specific(fib_entry->fe_fib_index,
148  &fib_entry->fe_prefix);
149 
150  ASSERT(FIB_NODE_INDEX_INVALID != src->u.rr.fesr_cover);
151 
152  cover = fib_entry_get(src->u.rr.fesr_cover);
153 
154  src->u.rr.fesr_sibling =
155  fib_entry_cover_track(cover, fib_entry_get_index(fib_entry));
156 
157  /*
158  * if the cover is attached then install an attached-host path
159  * (like an adj-fib). Otherwise inherit the forwarding from the cover
160  */
162  {
163  fib_entry_src_rr_resolve_via_connected(src, fib_entry, cover);
164  }
165  else
166  {
167  fib_entry_src_rr_use_covers_pl(src, fib_entry, cover);
168  }
169  fib_path_list_lock(src->fes_pl);
170 
171  /*
172  * return go for install
173  */
174  return (!0);
175 }
176 
177 /**
178  * Source Deactivate.
179  * Called when the source is no longer best source on the entry
180  */
181 static void
183  const fib_entry_t *fib_entry)
184 {
185  fib_entry_t *cover;
186 
187  /*
188  * remove the dependency on the covering entry
189  */
190  if (FIB_NODE_INDEX_INVALID != src->u.rr.fesr_cover)
191  {
192  fib_node_index_t *entries = NULL;
193 
194  cover = fib_entry_get(src->u.rr.fesr_cover);
195  fib_entry_cover_untrack(cover, src->u.rr.fesr_sibling);
196  src->u.rr.fesr_cover = FIB_NODE_INDEX_INVALID;
197 
198  if (FIB_NODE_INDEX_INVALID != cover->fe_parent)
199  {
201 
202  vec_free(entries);
203  }
204  }
205 
206  fib_path_list_unlock(src->fes_pl);
207  src->fes_pl = FIB_NODE_INDEX_INVALID;
208  vec_free (src->fes_path_exts.fpel_exts);
209  src->fes_entry_flags = FIB_ENTRY_FLAG_NONE;
210 }
211 
214  const fib_entry_t *fib_entry)
215 {
217  .install = !0,
218  .bw_reason = FIB_NODE_BW_REASON_FLAG_NONE,
219  };
220 
221  if (FIB_NODE_INDEX_INVALID == src->u.rr.fesr_cover)
222  {
223  /*
224  * the source may be added, but it is not active
225  * if it is not tracking the cover.
226  */
227  return (res);
228  }
229 
230  /*
231  * this function is called when this entry's cover has a more specific
232  * entry inserted benaeth it. That does not necessarily mean that this
233  * entry is covered by the new prefix. check that
234  */
235  if (src->u.rr.fesr_cover != fib_table_get_less_specific(fib_entry->fe_fib_index,
236  &fib_entry->fe_prefix))
237  {
238  fib_entry_src_rr_deactivate(src, fib_entry);
239  fib_entry_src_rr_activate(src, fib_entry);
240 
241  /*
242  * dependent children need to re-resolve to the new forwarding info
243  */
245  }
246  return (res);
247 }
248 
249 /*
250  * fib_entry_src_rr_cover_update
251  *
252  * This entry's cover has updated its forwarding info. This entry
253  * will need to re-inheret.
254  */
257  const fib_entry_t *fib_entry)
258 {
260  .install = !0,
261  .bw_reason = FIB_NODE_BW_REASON_FLAG_NONE,
262  };
263  fib_node_index_t old_path_list;
264  fib_entry_t *cover;
265 
266  if (FIB_NODE_INDEX_INVALID == src->u.rr.fesr_cover)
267  {
268  /*
269  * the source may be added, but it is not active
270  * if it is not tracking the cover.
271  */
272  return (res);
273  }
274 
275  cover = fib_entry_get(src->u.rr.fesr_cover);
276  old_path_list = src->fes_pl;
277 
278  /*
279  * if the ocver is attached then install an attached-host path
280  * (like an adj-fib). Otherwise inherit the forwarding from the cover
281  */
283  {
284  fib_entry_src_rr_resolve_via_connected(src, fib_entry, cover);
285  }
286  else
287  {
288  fib_entry_src_rr_use_covers_pl(src, fib_entry, cover);
289  }
290  fib_path_list_lock(src->fes_pl);
291  fib_path_list_unlock(old_path_list);
292 
293  /*
294  * dependent children need to re-resolve to the new forwarding info
295  */
297 
298  return (res);
299 }
300 
301 static u8*
303  u8* s)
304 {
305  return (format(s, " cover:%d", src->u.rr.fesr_cover));
306 }
307 
310  .fesv_activate = fib_entry_src_rr_activate,
311  .fesv_deactivate = fib_entry_src_rr_deactivate,
312  .fesv_cover_change = fib_entry_src_rr_cover_change,
313  .fesv_cover_update = fib_entry_src_rr_cover_update,
314  .fesv_format = fib_entry_src_rr_format,
315 };
316 
317 void
319 {
321 }
vlib.h
fib_entry_get_flags_i
fib_entry_flag_t fib_entry_get_flags_i(const fib_entry_t *fib_entry)
Definition: fib_entry_src.c:1887
fib_entry.h
fib_entry_src_rr_activate
static int fib_entry_src_rr_activate(fib_entry_src_t *src, const fib_entry_t *fib_entry)
Definition: fib_entry_src_rr.c:128
adj.h
FIB_PATH_LIST_FLAG_DROP
@ FIB_PATH_LIST_FLAG_DROP
Definition: fib_path_list.h:82
fib_entry_src_cover_res_t_
Result from a cover update/change.
Definition: fib_entry_src.h:91
FIB_NODE_BW_REASON_FLAG_NONE
@ FIB_NODE_BW_REASON_FLAG_NONE
Definition: fib_node.h:155
fib_entry_t_
An entry in a FIB table.
Definition: fib_entry.h:305
dpo_proto_t
enum dpo_proto_t_ dpo_proto_t
Data path protocol.
path
vl_api_fib_path_t path
Definition: mfib_types.api:44
FIB_ENTRY_FLAG_ATTACHED
@ FIB_ENTRY_FLAG_ATTACHED
Definition: fib_entry.h:114
fib_entry_src_t_
Information related to the source of a FIB entry.
Definition: fib_entry.h:197
FIB_NODE_INDEX_INVALID
#define FIB_NODE_INDEX_INVALID
Definition: fib_types.h:30
fib_table.h
fib_entry_src_rr_format
static u8 * fib_entry_src_rr_format(fib_entry_src_t *src, u8 *s)
Definition: fib_entry_src_rr.c:302
fib_entry_src_rr_resolve_via_connected
void fib_entry_src_rr_resolve_via_connected(fib_entry_src_t *src, const fib_entry_t *fib_entry, const fib_entry_t *cover)
Definition: fib_entry_src_rr.c:35
entries
u32 entries
Definition: flowhash_template.h:362
fib_entry_t_::fe_parent
fib_node_index_t fe_parent
the path-list for which this entry is a child.
Definition: fib_entry.h:342
FIB_PATH_LIST_FLAG_NONE
@ FIB_PATH_LIST_FLAG_NONE
Definition: fib_path_list.h:80
fib_entry_src_rr_register
void fib_entry_src_rr_register(void)
Definition: fib_entry_src_rr.c:318
drop_dpo.h
fib_entry_src_t_::fes_path_exts
fib_path_ext_list_t fes_path_exts
A vector of path extensions.
Definition: fib_entry.h:201
fib_path_ext_list_t_::fpel_exts
struct fib_path_ext_t_ * fpel_exts
Definition: fib_types.h:646
FIB_NODE_BW_REASON_FLAG_EVALUATE
@ FIB_NODE_BW_REASON_FLAG_EVALUATE
Definition: fib_node.h:157
fib_path_list_unlock
void fib_path_list_unlock(fib_node_index_t path_list_index)
Definition: fib_path_list.c:1357
fib_entry_src.h
fib_entry_src_vft_t_
Virtual function table each FIB entry source will register.
Definition: fib_entry_src.h:195
fib_entry_t_::fe_fib_index
u32 fe_fib_index
The index of the FIB table this entry is in.
Definition: fib_entry.h:318
fib_entry_t_::fe_srcs
fib_entry_src_t * fe_srcs
Vector of source infos.
Definition: fib_entry.h:337
vec_add1
#define vec_add1(V, E)
Add 1 element to end of vector (unspecified alignment).
Definition: vec.h:606
vec_dup
#define vec_dup(V)
Return copy of vector (no header, no alignment)
Definition: vec.h:444
format.h
fib_entry_cover.h
FIB_ENTRY_FLAG_NONE
@ FIB_ENTRY_FLAG_NONE
Definition: fib_entry.h:112
fib_node_index_t
u32 fib_node_index_t
A typedef of a node index.
Definition: fib_types.h:29
fib_entry_get_index
fib_node_index_t fib_entry_get_index(const fib_entry_t *fib_entry)
Definition: fib_entry.c:63
fib_entry_src_rr_init
static void fib_entry_src_rr_init(fib_entry_src_t *src)
Source initialisation Function.
Definition: fib_entry_src_rr.c:69
src
vl_api_address_t src
Definition: gre.api:54
fib_entry_get_resolving_interface
u32 fib_entry_get_resolving_interface(fib_node_index_t entry_index)
Definition: fib_entry.c:1474
fib_proto_to_dpo
dpo_proto_t fib_proto_to_dpo(fib_protocol_t fib_proto)
Definition: fib_types.c:343
fib_prefix_t_::fp_addr
ip46_address_t fp_addr
The address type is not deriveable from the fp_addr member.
Definition: fib_types.h:225
fib_entry_src_rr_use_covers_pl
void fib_entry_src_rr_use_covers_pl(fib_entry_src_t *src, const fib_entry_t *fib_entry, const fib_entry_t *cover)
Definition: fib_entry_src_rr.c:91
vec_free
#define vec_free(V)
Free vector's memory (no header).
Definition: vec.h:395
FIB_ENTRY_FLAGS_RR_INHERITED
#define FIB_ENTRY_FLAGS_RR_INHERITED
Definition: fib_entry_src_rr.h:24
fib_path_list_create_special
fib_node_index_t fib_path_list_create_special(dpo_proto_t nh_proto, fib_path_list_flags_t flags, const dpo_id_t *dpo)
Definition: fib_path_list.c:774
rr_src_vft
const static fib_entry_src_vft_t rr_src_vft
Definition: fib_entry_src_rr.c:308
paths
paths
Definition: map.api:460
fib_entry_get
fib_entry_t * fib_entry_get(fib_node_index_t index)
Definition: fib_entry.c:51
format
description fragment has unexpected format
Definition: map.api:433
ASSERT
#define ASSERT(truth)
Definition: error_bootstrap.h:69
fib_entry_src_rr_cover_update
fib_entry_src_cover_res_t fib_entry_src_rr_cover_update(fib_entry_src_t *src, const fib_entry_t *fib_entry)
Definition: fib_entry_src_rr.c:256
FIB_PROTOCOL_MPLS
@ FIB_PROTOCOL_MPLS
Definition: fib_types.h:38
fib_entry_src_rr_cover_change
fib_entry_src_cover_res_t fib_entry_src_rr_cover_change(fib_entry_src_t *src, const fib_entry_t *fib_entry)
Definition: fib_entry_src_rr.c:213
DPO_PROTO_MPLS
@ DPO_PROTO_MPLS
Definition: dpo.h:66
fib_route_path_t_
A representation of a path as described by a route producer.
Definition: fib_types.h:500
vec_foreach
#define vec_foreach(var, vec)
Vector iterator.
Definition: vec_bootstrap.h:213
fib_entry_get_flags
fib_entry_flag_t fib_entry_get_flags(fib_node_index_t fib_entry_index)
Definition: fib_entry.c:291
fib_entry_src_rr_deactivate
static void fib_entry_src_rr_deactivate(fib_entry_src_t *src, const fib_entry_t *fib_entry)
Source Deactivate.
Definition: fib_entry_src_rr.c:182
fib_prefix_t_::fp_proto
fib_protocol_t fp_proto
protocol type
Definition: fib_types.h:211
fib_entry_cover_untrack
void fib_entry_cover_untrack(fib_entry_t *cover, u32 tracked_index)
Definition: fib_entry_cover.c:45
fib_entry_src_cover_res_t_::bw_reason
fib_node_bw_reason_flag_t bw_reason
Definition: fib_entry_src.h:93
fib_entry_cover_track
u32 fib_entry_cover_track(fib_entry_t *cover, fib_node_index_t covered)
Definition: fib_entry_cover.c:22
fib_path_list_lock
void fib_path_list_lock(fib_node_index_t path_list_index)
Definition: fib_path_list.c:1344
drop_dpo_get
const dpo_id_t * drop_dpo_get(dpo_proto_t proto)
Definition: drop_dpo.c:25
FIB_SOURCE_BH_RR
@ FIB_SOURCE_BH_RR
If your adding a new source from a plugin these are probably not the behaviour you're lokking for.
Definition: fib_source.h:217
fib_entry_src_vft_t_::fesv_init
fib_entry_src_init_t fesv_init
Definition: fib_entry_src.h:196
fib_entry_t_::fe_prefix
const fib_prefix_t fe_prefix
The prefix of the route.
Definition: fib_entry.h:314
u8
unsigned char u8
Definition: types.h:56
lookup.h
fib_table_get_less_specific
fib_node_index_t fib_table_get_less_specific(u32 fib_index, const fib_prefix_t *prefix)
Get the less specific (covering) prefix.
Definition: fib_table.c:133
fib_entry_src_behaviour_register
void fib_entry_src_behaviour_register(fib_source_behaviour_t bh, const fib_entry_src_vft_t *vft)
Definition: fib_entry_src.c:61
fib_path_ext.h
fib_entry_src_cover_res_t_::install
u16 install
Definition: fib_entry_src.h:92
proto
vl_api_ip_proto_t proto
Definition: acl_types.api:51
fib_entry_src_rr.h
fib_entry_src_t_::fes_pl
fib_node_index_t fes_pl
The path-list created by the source.
Definition: fib_entry.h:206
fib_path_list_create
fib_node_index_t fib_path_list_create(fib_path_list_flags_t flags, const fib_route_path_t *rpaths)
Definition: fib_path_list.c:682
fib_path_list_recursive_loop_detect
int fib_path_list_recursive_loop_detect(fib_node_index_t path_list_index, fib_node_index_t **entry_indicies)
Definition: fib_path_list.c:1252