blob: 30d98f6ab3444bdc9ee5d995d4a8da4c3cd4b0b3 [file] [log] [blame]
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001/*
2 * Copyright (c) 2011-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 * @file
17 * @brief BFD nodes implementation
18 */
19
Klement Sekera239790f2017-02-16 10:53:53 +010020#if WITH_LIBSSL > 0
21#include <openssl/sha.h>
22#endif
23
24#if __SSE4_2__
25#include <x86intrin.h>
26#endif
27
Dave Barach1e3417f2018-07-25 08:30:27 -040028#include <vlibmemory/api.h>
Klement Sekera0e3c0de2016-09-29 14:43:44 +020029#include <vppinfra/random.h>
30#include <vppinfra/error.h>
31#include <vppinfra/hash.h>
Klement Sekera239790f2017-02-16 10:53:53 +010032#include <vppinfra/xxhash.h>
Klement Sekera0e3c0de2016-09-29 14:43:44 +020033#include <vnet/ethernet/ethernet.h>
34#include <vnet/ethernet/packet.h>
35#include <vnet/bfd/bfd_debug.h>
36#include <vnet/bfd/bfd_protocol.h>
37#include <vnet/bfd/bfd_main.h>
Damjan Marion07a38572018-01-21 06:44:18 -080038#include <vlib/log.h>
Klement Sekera239790f2017-02-16 10:53:53 +010039
40static u64
41bfd_calc_echo_checksum (u32 discriminator, u64 expire_time, u32 secret)
42{
43 u64 checksum = 0;
Gabriel Ganne8e66b9b2017-12-14 16:20:37 +010044#if defined(clib_crc32c_uses_intrinsics) && !defined (__i386__)
45 checksum = crc32_u64 (0, discriminator);
46 checksum = crc32_u64 (checksum, expire_time);
47 checksum = crc32_u64 (checksum, secret);
Klement Sekera239790f2017-02-16 10:53:53 +010048#else
49 checksum = clib_xxhash (discriminator ^ expire_time ^ secret);
Klement Sekerab17dd962017-01-09 07:43:48 +010050#endif
Klement Sekera239790f2017-02-16 10:53:53 +010051 return checksum;
52}
Klement Sekera0e3c0de2016-09-29 14:43:44 +020053
54static u64
Klement Sekeraa3167442020-02-10 11:49:52 +000055bfd_usec_to_nsec (u64 us)
Klement Sekera0e3c0de2016-09-29 14:43:44 +020056{
Klement Sekeraa3167442020-02-10 11:49:52 +000057 return us * NSEC_PER_USEC;
Klement Sekera0e3c0de2016-09-29 14:43:44 +020058}
59
Klement Sekera73884482017-02-23 09:26:30 +010060u32
Klement Sekeraa3167442020-02-10 11:49:52 +000061bfd_nsec_to_usec (u64 nsec)
Klement Sekera239790f2017-02-16 10:53:53 +010062{
Klement Sekeraa3167442020-02-10 11:49:52 +000063 return nsec / NSEC_PER_USEC;
64}
65
66always_inline u64
67bfd_time_now_nsec (vlib_main_t * vm, f64 * vm_time)
68{
69 f64 _vm_time = vlib_time_now (vm);
70 if (vm_time)
71 *vm_time = _vm_time;
72 return _vm_time * NSEC_PER_SEC;
Klement Sekera239790f2017-02-16 10:53:53 +010073}
74
Klement Sekera0e3c0de2016-09-29 14:43:44 +020075static vlib_node_registration_t bfd_process_node;
76
Klement Sekera73884482017-02-23 09:26:30 +010077u8 *
Klement Sekerab17dd962017-01-09 07:43:48 +010078format_bfd_auth_key (u8 * s, va_list * args)
79{
80 const bfd_auth_key_t *key = va_arg (*args, bfd_auth_key_t *);
81 if (key)
82 {
83 s = format (s, "{auth-type=%u:%s, conf-key-id=%u, use-count=%u}, ",
84 key->auth_type, bfd_auth_type_str (key->auth_type),
85 key->conf_key_id, key->use_count);
86 }
87 else
88 {
89 s = format (s, "{none}");
90 }
91 return s;
92}
93
Klement Sekera0e3c0de2016-09-29 14:43:44 +020094/*
95 * We actually send all bfd pkts to the "error" node after scanning
96 * them, so the graph node has only one next-index. The "error-drop"
97 * node automatically bumps our per-node packet counters for us.
98 */
99typedef enum
100{
101 BFD_INPUT_NEXT_NORMAL,
102 BFD_INPUT_N_NEXT,
103} bfd_input_next_t;
104
Klement Sekerae4504c62016-12-08 10:16:41 +0100105static void bfd_on_state_change (bfd_main_t * bm, bfd_session_t * bs, u64 now,
106 int handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200107
108static void
109bfd_set_defaults (bfd_main_t * bm, bfd_session_t * bs)
110{
111 bs->local_state = BFD_STATE_down;
112 bs->local_diag = BFD_DIAG_CODE_no_diag;
113 bs->remote_state = BFD_STATE_down;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200114 bs->remote_discr = 0;
Neale Ranns88fc83e2017-04-05 08:11:14 -0700115 bs->hop_type = BFD_HOP_TYPE_SINGLE;
Klement Sekera239790f2017-02-16 10:53:53 +0100116 bs->config_desired_min_tx_usec = BFD_DEFAULT_DESIRED_MIN_TX_USEC;
Klement Sekeraa3167442020-02-10 11:49:52 +0000117 bs->config_desired_min_tx_nsec = bm->default_desired_min_tx_nsec;
118 bs->effective_desired_min_tx_nsec = bm->default_desired_min_tx_nsec;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100119 bs->remote_min_rx_usec = 1;
Klement Sekeraa3167442020-02-10 11:49:52 +0000120 bs->remote_min_rx_nsec = bfd_usec_to_nsec (bs->remote_min_rx_usec);
Klement Sekera239790f2017-02-16 10:53:53 +0100121 bs->remote_min_echo_rx_usec = 0;
Klement Sekeraa3167442020-02-10 11:49:52 +0000122 bs->remote_min_echo_rx_nsec = 0;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200123 bs->remote_demand = 0;
Klement Sekerab17dd962017-01-09 07:43:48 +0100124 bs->auth.remote_seq_number = 0;
125 bs->auth.remote_seq_number_known = 0;
126 bs->auth.local_seq_number = random_u32 (&bm->random_seed);
Klement Sekera239790f2017-02-16 10:53:53 +0100127 bs->echo_secret = random_u32 (&bm->random_seed);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200128}
129
130static void
131bfd_set_diag (bfd_session_t * bs, bfd_diag_code_e code)
132{
133 if (bs->local_diag != code)
134 {
135 BFD_DBG ("set local_diag, bs_idx=%d: '%d:%s'", bs->bs_idx, code,
136 bfd_diag_code_string (code));
137 bs->local_diag = code;
138 }
139}
140
141static void
Klement Sekeraa3167442020-02-10 11:49:52 +0000142bfd_set_state (vlib_main_t * vm, bfd_main_t * bm, bfd_session_t * bs,
Klement Sekerae4504c62016-12-08 10:16:41 +0100143 bfd_state_e new_state, int handling_wakeup)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200144{
145 if (bs->local_state != new_state)
146 {
147 BFD_DBG ("Change state, bs_idx=%d: %s->%s", bs->bs_idx,
148 bfd_state_string (bs->local_state),
149 bfd_state_string (new_state));
150 bs->local_state = new_state;
Klement Sekeraa3167442020-02-10 11:49:52 +0000151 bfd_on_state_change (bm, bs, bfd_time_now_nsec (vm, NULL),
152 handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200153 }
154}
155
Klement Sekera73884482017-02-23 09:26:30 +0100156const char *
Klement Sekera239790f2017-02-16 10:53:53 +0100157bfd_poll_state_string (bfd_poll_state_e state)
158{
159 switch (state)
160 {
161#define F(x) \
162 case BFD_POLL_##x: \
163 return "BFD_POLL_" #x;
164 foreach_bfd_poll_state (F)
165#undef F
166 }
167 return "UNKNOWN";
168}
169
170static void
171bfd_set_poll_state (bfd_session_t * bs, bfd_poll_state_e state)
172{
173 if (bs->poll_state != state)
174 {
175 BFD_DBG ("Setting poll state=%s, bs_idx=%u",
176 bfd_poll_state_string (state), bs->bs_idx);
177 bs->poll_state = state;
178 }
179}
180
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200181static void
182bfd_recalc_tx_interval (bfd_main_t * bm, bfd_session_t * bs)
183{
Klement Sekeraa3167442020-02-10 11:49:52 +0000184 bs->transmit_interval_nsec =
185 clib_max (bs->effective_desired_min_tx_nsec, bs->remote_min_rx_nsec);
Klement Sekera239790f2017-02-16 10:53:53 +0100186 BFD_DBG ("Recalculated transmit interval " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +0000187 BFD_CLK_PRN (bs->transmit_interval_nsec));
Klement Sekera239790f2017-02-16 10:53:53 +0100188}
189
190static void
191bfd_recalc_echo_tx_interval (bfd_main_t * bm, bfd_session_t * bs)
192{
Klement Sekeraa3167442020-02-10 11:49:52 +0000193 bs->echo_transmit_interval_nsec =
194 clib_max (bs->effective_desired_min_tx_nsec, bs->remote_min_echo_rx_nsec);
Klement Sekera239790f2017-02-16 10:53:53 +0100195 BFD_DBG ("Recalculated echo transmit interval " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +0000196 BFD_CLK_PRN (bs->echo_transmit_interval_nsec));
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200197}
198
199static void
200bfd_calc_next_tx (bfd_main_t * bm, bfd_session_t * bs, u64 now)
201{
Klement Sekera239790f2017-02-16 10:53:53 +0100202 if (bs->local_detect_mult > 1)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200203 {
Klement Sekera239790f2017-02-16 10:53:53 +0100204 /* common case - 75-100% of transmit interval */
Klement Sekeraa3167442020-02-10 11:49:52 +0000205 bs->tx_timeout_nsec = bs->last_tx_nsec +
Klement Sekera239790f2017-02-16 10:53:53 +0100206 (1 - .25 * (random_f64 (&bm->random_seed))) *
Klement Sekeraa3167442020-02-10 11:49:52 +0000207 bs->transmit_interval_nsec;
208 if (bs->tx_timeout_nsec < now)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200209 {
Klement Sekera239790f2017-02-16 10:53:53 +0100210 /*
211 * the timeout is in the past, which means that either remote
212 * demand mode was set or performance/clock issues ...
213 */
214 BFD_DBG ("Missed %lu transmit events (now is %lu, calc "
215 "tx_timeout is %lu)",
Klement Sekeraa3167442020-02-10 11:49:52 +0000216 (now - bs->tx_timeout_nsec) /
217 bs->transmit_interval_nsec, now, bs->tx_timeout_nsec);
218 bs->tx_timeout_nsec = now;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200219 }
220 }
221 else
222 {
Klement Sekera239790f2017-02-16 10:53:53 +0100223 /* special case - 75-90% of transmit interval */
Klement Sekeraa3167442020-02-10 11:49:52 +0000224 bs->tx_timeout_nsec = bs->last_tx_nsec +
Klement Sekera239790f2017-02-16 10:53:53 +0100225 (.9 - .15 * (random_f64 (&bm->random_seed))) *
Klement Sekeraa3167442020-02-10 11:49:52 +0000226 bs->transmit_interval_nsec;
227 if (bs->tx_timeout_nsec < now)
Klement Sekera239790f2017-02-16 10:53:53 +0100228 {
229 /*
230 * the timeout is in the past, which means that either remote
231 * demand mode was set or performance/clock issues ...
232 */
233 BFD_DBG ("Missed %lu transmit events (now is %lu, calc "
234 "tx_timeout is %lu)",
Klement Sekeraa3167442020-02-10 11:49:52 +0000235 (now - bs->tx_timeout_nsec) /
236 bs->transmit_interval_nsec, now, bs->tx_timeout_nsec);
237 bs->tx_timeout_nsec = now;
Klement Sekera239790f2017-02-16 10:53:53 +0100238 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200239 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000240 if (bs->tx_timeout_nsec)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200241 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000242 BFD_DBG ("Next transmit in %lu nsec/%.02fs@%lu",
243 bs->tx_timeout_nsec - now,
244 (bs->tx_timeout_nsec - now) * SEC_PER_NSEC,
245 bs->tx_timeout_nsec);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200246 }
247}
248
249static void
Klement Sekera239790f2017-02-16 10:53:53 +0100250bfd_calc_next_echo_tx (bfd_main_t * bm, bfd_session_t * bs, u64 now)
251{
Klement Sekeraa3167442020-02-10 11:49:52 +0000252 bs->echo_tx_timeout_nsec =
253 bs->echo_last_tx_nsec + bs->echo_transmit_interval_nsec;
254 if (bs->echo_tx_timeout_nsec < now)
Klement Sekera239790f2017-02-16 10:53:53 +0100255 {
256 /* huh, we've missed it already, transmit now */
257 BFD_DBG ("Missed %lu echo transmit events (now is %lu, calc tx_timeout "
258 "is %lu)",
Klement Sekeraa3167442020-02-10 11:49:52 +0000259 (now - bs->echo_tx_timeout_nsec) /
260 bs->echo_transmit_interval_nsec,
261 now, bs->echo_tx_timeout_nsec);
262 bs->echo_tx_timeout_nsec = now;
Klement Sekera239790f2017-02-16 10:53:53 +0100263 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000264 BFD_DBG ("Next echo transmit in %lu nsec/%.02fs@%lu",
265 bs->echo_tx_timeout_nsec - now,
266 (bs->echo_tx_timeout_nsec - now) * SEC_PER_NSEC,
267 bs->echo_tx_timeout_nsec);
Klement Sekera239790f2017-02-16 10:53:53 +0100268}
269
270static void
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200271bfd_recalc_detection_time (bfd_main_t * bm, bfd_session_t * bs)
272{
Klement Sekera73884482017-02-23 09:26:30 +0100273 if (bs->local_state == BFD_STATE_init || bs->local_state == BFD_STATE_up)
274 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000275 bs->detection_time_nsec =
Klement Sekera73884482017-02-23 09:26:30 +0100276 bs->remote_detect_mult *
Klement Sekeraa3167442020-02-10 11:49:52 +0000277 clib_max (bs->effective_required_min_rx_nsec,
278 bs->remote_desired_min_tx_nsec);
279 BFD_DBG ("Recalculated detection time %lu nsec/%.3fs",
280 bs->detection_time_nsec,
281 bs->detection_time_nsec * SEC_PER_NSEC);
Klement Sekera73884482017-02-23 09:26:30 +0100282 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200283}
284
285static void
Klement Sekerae4504c62016-12-08 10:16:41 +0100286bfd_set_timer (bfd_main_t * bm, bfd_session_t * bs, u64 now,
287 int handling_wakeup)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200288{
289 u64 next = 0;
290 u64 rx_timeout = 0;
Klement Sekera239790f2017-02-16 10:53:53 +0100291 u64 tx_timeout = 0;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200292 if (BFD_STATE_up == bs->local_state)
293 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000294 rx_timeout = bs->last_rx_nsec + bs->detection_time_nsec;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200295 }
Klement Sekera73884482017-02-23 09:26:30 +0100296 if (BFD_STATE_up != bs->local_state ||
297 (!bs->remote_demand && bs->remote_min_rx_usec) ||
Klement Sekera239790f2017-02-16 10:53:53 +0100298 BFD_POLL_NOT_NEEDED != bs->poll_state)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200299 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000300 tx_timeout = bs->tx_timeout_nsec;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200301 }
Klement Sekera239790f2017-02-16 10:53:53 +0100302 if (tx_timeout && rx_timeout)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200303 {
Klement Sekera239790f2017-02-16 10:53:53 +0100304 next = clib_min (tx_timeout, rx_timeout);
305 }
306 else if (tx_timeout)
307 {
308 next = tx_timeout;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200309 }
310 else if (rx_timeout)
311 {
312 next = rx_timeout;
313 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000314 if (bs->echo && next > bs->echo_tx_timeout_nsec)
Klement Sekera239790f2017-02-16 10:53:53 +0100315 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000316 next = bs->echo_tx_timeout_nsec;
Klement Sekera239790f2017-02-16 10:53:53 +0100317 }
318 BFD_DBG ("bs_idx=%u, tx_timeout=%lu, echo_tx_timeout=%lu, rx_timeout=%lu, "
319 "next=%s",
Klement Sekeraa3167442020-02-10 11:49:52 +0000320 bs->bs_idx, tx_timeout, bs->echo_tx_timeout_nsec, rx_timeout,
Klement Sekera239790f2017-02-16 10:53:53 +0100321 next == tx_timeout
Klement Sekeraa3167442020-02-10 11:49:52 +0000322 ? "tx" : (next == bs->echo_tx_timeout_nsec ? "echo tx" : "rx"));
323 if (next)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200324 {
Dave Barach1e3417f2018-07-25 08:30:27 -0400325 int send_signal = 0;
Klement Sekeraa3167442020-02-10 11:49:52 +0000326 bs->event_time_nsec = next;
327 /* add extra tick if it's not even */
328 u32 wheel_time_ticks =
329 (bs->event_time_nsec - now) / bm->nsec_per_tw_tick +
330 ((bs->event_time_nsec - now) % bm->nsec_per_tw_tick != 0);
331 BFD_DBG ("event_time_nsec %lu (%lu nsec/%.3fs in future) -> "
332 "wheel_time_ticks %u", bs->event_time_nsec,
333 bs->event_time_nsec - now,
334 (bs->event_time_nsec - now) * SEC_PER_NSEC, wheel_time_ticks);
Dave Barachca578522020-04-08 08:45:27 -0400335 wheel_time_ticks = wheel_time_ticks ? wheel_time_ticks : 1;
Dave Barach1e3417f2018-07-25 08:30:27 -0400336 bfd_lock (bm);
Klement Sekeraa3167442020-02-10 11:49:52 +0000337 if (bs->tw_id)
338 {
339 TW (tw_timer_update) (&bm->wheel, bs->tw_id, wheel_time_ticks);
340 BFD_DBG ("tw_timer_update(%p, %u, %lu);", &bm->wheel, bs->tw_id,
341 wheel_time_ticks);
342 }
343 else
344 {
345 bs->tw_id =
346 TW (tw_timer_start) (&bm->wheel, bs->bs_idx, 0, wheel_time_ticks);
347 BFD_DBG ("tw_timer_start(%p, %u, 0, %lu) == %u;", &bm->wheel,
348 bs->bs_idx, wheel_time_ticks);
349 }
Dave Barach1e3417f2018-07-25 08:30:27 -0400350
Klement Sekerae4504c62016-12-08 10:16:41 +0100351 if (!handling_wakeup)
352 {
Dave Barach1e3417f2018-07-25 08:30:27 -0400353
354 /* Send only if it is earlier than current awaited wakeup time */
355 send_signal =
Klement Sekeraa3167442020-02-10 11:49:52 +0000356 (bs->event_time_nsec < bm->bfd_process_next_wakeup_nsec) &&
Dave Barach1e3417f2018-07-25 08:30:27 -0400357 /*
358 * If the wake-up time is within 2x the delay of the event propagation delay,
359 * avoid the expense of sending the event. The 2x multiplier is to workaround the race whereby
360 * simultaneous event + expired timer create one recurring bogus wakeup/suspend instance,
361 * due to double scheduling of the node on the pending list.
362 */
Klement Sekeraa3167442020-02-10 11:49:52 +0000363 (bm->bfd_process_next_wakeup_nsec - bs->event_time_nsec >
364 2 * bm->bfd_process_wakeup_event_delay_nsec) &&
Dave Barach1e3417f2018-07-25 08:30:27 -0400365 /* Must be no events in flight to send an event */
366 (!bm->bfd_process_wakeup_events_in_flight);
367
368 /* If we do send the signal, note this down along with the start timestamp */
369 if (send_signal)
370 {
371 bm->bfd_process_wakeup_events_in_flight++;
Klement Sekeraa3167442020-02-10 11:49:52 +0000372 bm->bfd_process_wakeup_event_start_nsec = now;
Dave Barach1e3417f2018-07-25 08:30:27 -0400373 }
374 }
375 bfd_unlock (bm);
376
377 /* Use the multithreaded event sending so the workers can send events too */
378 if (send_signal)
379 {
380 vlib_process_signal_event_mt (bm->vlib_main,
381 bm->bfd_process_node_index,
382 BFD_EVENT_RESCHEDULE, ~0);
Klement Sekerae4504c62016-12-08 10:16:41 +0100383 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200384 }
385}
386
387static void
Klement Sekeraa57a9702017-02-02 06:58:07 +0100388bfd_set_effective_desired_min_tx (bfd_main_t * bm,
389 bfd_session_t * bs, u64 now,
Klement Sekeraa3167442020-02-10 11:49:52 +0000390 u64 desired_min_tx_nsec)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200391{
Klement Sekeraa3167442020-02-10 11:49:52 +0000392 bs->effective_desired_min_tx_nsec = desired_min_tx_nsec;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100393 BFD_DBG ("Set effective desired min tx to " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +0000394 BFD_CLK_PRN (bs->effective_desired_min_tx_nsec));
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200395 bfd_recalc_detection_time (bm, bs);
396 bfd_recalc_tx_interval (bm, bs);
Klement Sekera239790f2017-02-16 10:53:53 +0100397 bfd_recalc_echo_tx_interval (bm, bs);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200398 bfd_calc_next_tx (bm, bs, now);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200399}
400
Klement Sekera637b9c42016-12-08 05:19:14 +0100401static void
Klement Sekeraa57a9702017-02-02 06:58:07 +0100402bfd_set_effective_required_min_rx (bfd_main_t * bm,
Klement Sekera73884482017-02-23 09:26:30 +0100403 bfd_session_t * bs,
Klement Sekeraa3167442020-02-10 11:49:52 +0000404 u64 required_min_rx_nsec)
Klement Sekeraa57a9702017-02-02 06:58:07 +0100405{
Klement Sekeraa3167442020-02-10 11:49:52 +0000406 bs->effective_required_min_rx_nsec = required_min_rx_nsec;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100407 BFD_DBG ("Set effective required min rx to " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +0000408 BFD_CLK_PRN (bs->effective_required_min_rx_nsec));
Klement Sekeraa57a9702017-02-02 06:58:07 +0100409 bfd_recalc_detection_time (bm, bs);
Klement Sekeraa57a9702017-02-02 06:58:07 +0100410}
411
412static void
Klement Sekera637b9c42016-12-08 05:19:14 +0100413bfd_set_remote_required_min_rx (bfd_main_t * bm, bfd_session_t * bs,
Klement Sekera239790f2017-02-16 10:53:53 +0100414 u64 now, u32 remote_required_min_rx_usec)
Klement Sekera637b9c42016-12-08 05:19:14 +0100415{
Klement Sekera239790f2017-02-16 10:53:53 +0100416 if (bs->remote_min_rx_usec != remote_required_min_rx_usec)
417 {
418 bs->remote_min_rx_usec = remote_required_min_rx_usec;
Klement Sekeraa3167442020-02-10 11:49:52 +0000419 bs->remote_min_rx_nsec = bfd_usec_to_nsec (remote_required_min_rx_usec);
Klement Sekera239790f2017-02-16 10:53:53 +0100420 BFD_DBG ("Set remote min rx to " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +0000421 BFD_CLK_PRN (bs->remote_min_rx_nsec));
Klement Sekera239790f2017-02-16 10:53:53 +0100422 bfd_recalc_detection_time (bm, bs);
423 bfd_recalc_tx_interval (bm, bs);
424 }
425}
426
427static void
428bfd_set_remote_required_min_echo_rx (bfd_main_t * bm, bfd_session_t * bs,
429 u64 now,
430 u32 remote_required_min_echo_rx_usec)
431{
432 if (bs->remote_min_echo_rx_usec != remote_required_min_echo_rx_usec)
433 {
434 bs->remote_min_echo_rx_usec = remote_required_min_echo_rx_usec;
Klement Sekeraa3167442020-02-10 11:49:52 +0000435 bs->remote_min_echo_rx_nsec =
436 bfd_usec_to_nsec (bs->remote_min_echo_rx_usec);
Klement Sekera239790f2017-02-16 10:53:53 +0100437 BFD_DBG ("Set remote min echo rx to " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +0000438 BFD_CLK_PRN (bs->remote_min_echo_rx_nsec));
Klement Sekera239790f2017-02-16 10:53:53 +0100439 bfd_recalc_echo_tx_interval (bm, bs);
440 }
Klement Sekera637b9c42016-12-08 05:19:14 +0100441}
442
Neale Ranns88fc83e2017-04-05 08:11:14 -0700443static void
444bfd_notify_listeners (bfd_main_t * bm,
445 bfd_listen_event_e event, const bfd_session_t * bs)
446{
447 bfd_notify_fn_t *fn;
448 vec_foreach (fn, bm->listeners)
449 {
450 (*fn) (event, bs);
451 }
452}
453
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200454void
455bfd_session_start (bfd_main_t * bm, bfd_session_t * bs)
456{
Klement Sekera239790f2017-02-16 10:53:53 +0100457 BFD_DBG ("\nStarting session: %U", format_bfd_session, bs);
Damjan Marion07a38572018-01-21 06:44:18 -0800458 vlib_log_info (bm->log_class, "start BFD session: %U",
459 format_bfd_session_brief, bs);
Klement Sekeraa3167442020-02-10 11:49:52 +0000460 bfd_set_effective_required_min_rx (bm, bs, bs->config_required_min_rx_nsec);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200461 bfd_recalc_tx_interval (bm, bs);
462 vlib_process_signal_event (bm->vlib_main, bm->bfd_process_node_index,
463 BFD_EVENT_NEW_SESSION, bs->bs_idx);
Neale Ranns88fc83e2017-04-05 08:11:14 -0700464 bfd_notify_listeners (bm, BFD_LISTEN_EVENT_CREATE, bs);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200465}
466
Klement Sekerab17dd962017-01-09 07:43:48 +0100467void
Klement Sekeraa3167442020-02-10 11:49:52 +0000468bfd_session_set_flags (vlib_main_t * vm, bfd_session_t * bs, u8 admin_up_down)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200469{
470 bfd_main_t *bm = &bfd_main;
Klement Sekeraa3167442020-02-10 11:49:52 +0000471 u64 now = bfd_time_now_nsec (vm, NULL);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200472 if (admin_up_down)
473 {
Klement Sekerac48829b2017-02-14 07:55:57 +0100474 BFD_DBG ("Session set admin-up, bs-idx=%u", bs->bs_idx);
Damjan Marion07a38572018-01-21 06:44:18 -0800475 vlib_log_info (bm->log_class, "set session admin-up: %U",
476 format_bfd_session_brief, bs);
Klement Sekeraa3167442020-02-10 11:49:52 +0000477 bfd_set_state (vm, bm, bs, BFD_STATE_down, 0);
Klement Sekerac48829b2017-02-14 07:55:57 +0100478 bfd_set_diag (bs, BFD_DIAG_CODE_no_diag);
Klement Sekera73884482017-02-23 09:26:30 +0100479 bfd_calc_next_tx (bm, bs, now);
480 bfd_set_timer (bm, bs, now, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200481 }
482 else
483 {
Klement Sekerac48829b2017-02-14 07:55:57 +0100484 BFD_DBG ("Session set admin-down, bs-idx=%u", bs->bs_idx);
Damjan Marion07a38572018-01-21 06:44:18 -0800485 vlib_log_info (bm->log_class, "set session admin-down: %U",
486 format_bfd_session_brief, bs);
Klement Sekerac48829b2017-02-14 07:55:57 +0100487 bfd_set_diag (bs, BFD_DIAG_CODE_admin_down);
Klement Sekeraa3167442020-02-10 11:49:52 +0000488 bfd_set_state (vm, bm, bs, BFD_STATE_admin_down, 0);
Klement Sekera73884482017-02-23 09:26:30 +0100489 bfd_calc_next_tx (bm, bs, now);
490 bfd_set_timer (bm, bs, now, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200491 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200492}
493
494u8 *
495bfd_input_format_trace (u8 * s, va_list * args)
496{
497 CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *);
498 CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *);
499 const bfd_input_trace_t *t = va_arg (*args, bfd_input_trace_t *);
500 const bfd_pkt_t *pkt = (bfd_pkt_t *) t->data;
501 if (t->len > STRUCT_SIZE_OF (bfd_pkt_t, head))
502 {
503 s = format (s, "BFD v%u, diag=%u(%s), state=%u(%s),\n"
Klement Sekerab17dd962017-01-09 07:43:48 +0100504 " flags=(P:%u, F:%u, C:%u, A:%u, D:%u, M:%u), "
505 "detect_mult=%u, length=%u\n",
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200506 bfd_pkt_get_version (pkt), bfd_pkt_get_diag_code (pkt),
507 bfd_diag_code_string (bfd_pkt_get_diag_code (pkt)),
508 bfd_pkt_get_state (pkt),
509 bfd_state_string (bfd_pkt_get_state (pkt)),
510 bfd_pkt_get_poll (pkt), bfd_pkt_get_final (pkt),
511 bfd_pkt_get_control_plane_independent (pkt),
512 bfd_pkt_get_auth_present (pkt), bfd_pkt_get_demand (pkt),
513 bfd_pkt_get_multipoint (pkt), pkt->head.detect_mult,
514 pkt->head.length);
Klement Sekerab17dd962017-01-09 07:43:48 +0100515 if (t->len >= sizeof (bfd_pkt_t) &&
516 pkt->head.length >= sizeof (bfd_pkt_t))
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200517 {
Klement Sekerad3ba5152017-02-14 03:09:17 +0100518 s = format (s, " my discriminator: %u\n",
519 clib_net_to_host_u32 (pkt->my_disc));
520 s = format (s, " your discriminator: %u\n",
521 clib_net_to_host_u32 (pkt->your_disc));
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200522 s = format (s, " desired min tx interval: %u\n",
523 clib_net_to_host_u32 (pkt->des_min_tx));
524 s = format (s, " required min rx interval: %u\n",
525 clib_net_to_host_u32 (pkt->req_min_rx));
Klement Sekera46a87ad2017-01-02 08:22:23 +0100526 s = format (s, " required min echo rx interval: %u",
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200527 clib_net_to_host_u32 (pkt->req_min_echo_rx));
528 }
Klement Sekerad3ba5152017-02-14 03:09:17 +0100529 if (t->len >= sizeof (bfd_pkt_with_common_auth_t) &&
530 pkt->head.length >= sizeof (bfd_pkt_with_common_auth_t) &&
531 bfd_pkt_get_auth_present (pkt))
532 {
533 const bfd_pkt_with_common_auth_t *with_auth = (void *) pkt;
534 const bfd_auth_common_t *common = &with_auth->common_auth;
535 s = format (s, "\n auth len: %u\n", common->len);
536 s = format (s, " auth type: %u:%s\n", common->type,
537 bfd_auth_type_str (common->type));
538 if (t->len >= sizeof (bfd_pkt_with_sha1_auth_t) &&
539 pkt->head.length >= sizeof (bfd_pkt_with_sha1_auth_t) &&
540 (BFD_AUTH_TYPE_keyed_sha1 == common->type ||
541 BFD_AUTH_TYPE_meticulous_keyed_sha1 == common->type))
542 {
543 const bfd_pkt_with_sha1_auth_t *with_sha1 = (void *) pkt;
544 const bfd_auth_sha1_t *sha1 = &with_sha1->sha1_auth;
545 s = format (s, " seq num: %u\n",
546 clib_net_to_host_u32 (sha1->seq_num));
547 s = format (s, " key id: %u\n", sha1->key_id);
548 s = format (s, " hash: %U", format_hex_bytes, sha1->hash,
549 sizeof (sha1->hash));
550 }
551 }
552 else
553 {
554 s = format (s, "\n");
555 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200556 }
557
558 return s;
559}
560
Dave Barach1e3417f2018-07-25 08:30:27 -0400561typedef struct
562{
563 u32 bs_idx;
564} bfd_rpc_event_t;
565
566static void
567bfd_rpc_event_cb (const bfd_rpc_event_t * a)
568{
569 bfd_main_t *bm = &bfd_main;
570 u32 bs_idx = a->bs_idx;
571 u32 valid_bs = 0;
572 bfd_session_t session_data;
573
574 bfd_lock (bm);
575 if (!pool_is_free_index (bm->sessions, bs_idx))
576 {
577 bfd_session_t *bs = pool_elt_at_index (bm->sessions, bs_idx);
578 clib_memcpy (&session_data, bs, sizeof (bfd_session_t));
579 valid_bs = 1;
580 }
581 else
582 {
583 BFD_DBG ("Ignoring event RPC for non-existent session index %u",
584 bs_idx);
585 }
586 bfd_unlock (bm);
587
588 if (valid_bs)
589 bfd_event (bm, &session_data);
590}
591
592static void
593bfd_event_rpc (u32 bs_idx)
594{
595 const u32 data_size = sizeof (bfd_rpc_event_t);
596 u8 data[data_size];
597 bfd_rpc_event_t *event = (bfd_rpc_event_t *) data;
598
599 event->bs_idx = bs_idx;
600 vl_api_rpc_call_main_thread (bfd_rpc_event_cb, data, data_size);
601}
602
603typedef struct
604{
605 u32 bs_idx;
606} bfd_rpc_notify_listeners_t;
607
608static void
609bfd_rpc_notify_listeners_cb (const bfd_rpc_notify_listeners_t * a)
610{
611 bfd_main_t *bm = &bfd_main;
612 u32 bs_idx = a->bs_idx;
613 bfd_lock (bm);
614 if (!pool_is_free_index (bm->sessions, bs_idx))
615 {
616 bfd_session_t *bs = pool_elt_at_index (bm->sessions, bs_idx);
617 bfd_notify_listeners (bm, BFD_LISTEN_EVENT_UPDATE, bs);
618 }
619 else
620 {
621 BFD_DBG ("Ignoring notify RPC for non-existent session index %u",
622 bs_idx);
623 }
624 bfd_unlock (bm);
625}
626
627static void
628bfd_notify_listeners_rpc (u32 bs_idx)
629{
630 const u32 data_size = sizeof (bfd_rpc_notify_listeners_t);
631 u8 data[data_size];
632 bfd_rpc_notify_listeners_t *notify = (bfd_rpc_notify_listeners_t *) data;
633 notify->bs_idx = bs_idx;
634 vl_api_rpc_call_main_thread (bfd_rpc_notify_listeners_cb, data, data_size);
635}
636
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200637static void
Klement Sekerae4504c62016-12-08 10:16:41 +0100638bfd_on_state_change (bfd_main_t * bm, bfd_session_t * bs, u64 now,
639 int handling_wakeup)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200640{
Klement Sekera239790f2017-02-16 10:53:53 +0100641 BFD_DBG ("\nState changed: %U", format_bfd_session, bs);
Dave Barach1e3417f2018-07-25 08:30:27 -0400642
643 if (vlib_get_thread_index () == 0)
644 {
645 bfd_event (bm, bs);
646 }
647 else
648 {
649 /* without RPC - a REGRESSION: BFD event are not propagated */
650 bfd_event_rpc (bs->bs_idx);
651 }
652
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200653 switch (bs->local_state)
654 {
655 case BFD_STATE_admin_down:
Klement Sekera239790f2017-02-16 10:53:53 +0100656 bs->echo = 0;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100657 bfd_set_effective_desired_min_tx (bm, bs, now,
658 clib_max
Klement Sekeraa3167442020-02-10 11:49:52 +0000659 (bs->config_desired_min_tx_nsec,
660 bm->default_desired_min_tx_nsec));
Klement Sekera73884482017-02-23 09:26:30 +0100661 bfd_set_effective_required_min_rx (bm, bs,
Klement Sekeraa3167442020-02-10 11:49:52 +0000662 bs->config_required_min_rx_nsec);
Klement Sekeraaeeac3b2017-02-14 07:11:52 +0100663 bfd_set_timer (bm, bs, now, handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200664 break;
665 case BFD_STATE_down:
Klement Sekera239790f2017-02-16 10:53:53 +0100666 bs->echo = 0;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100667 bfd_set_effective_desired_min_tx (bm, bs, now,
668 clib_max
Klement Sekeraa3167442020-02-10 11:49:52 +0000669 (bs->config_desired_min_tx_nsec,
670 bm->default_desired_min_tx_nsec));
Klement Sekera73884482017-02-23 09:26:30 +0100671 bfd_set_effective_required_min_rx (bm, bs,
Klement Sekeraa3167442020-02-10 11:49:52 +0000672 bs->config_required_min_rx_nsec);
Klement Sekeraaeeac3b2017-02-14 07:11:52 +0100673 bfd_set_timer (bm, bs, now, handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200674 break;
675 case BFD_STATE_init:
Klement Sekera239790f2017-02-16 10:53:53 +0100676 bs->echo = 0;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100677 bfd_set_effective_desired_min_tx (bm, bs, now,
Klement Sekeraa3167442020-02-10 11:49:52 +0000678 bs->config_desired_min_tx_nsec);
Klement Sekeraaeeac3b2017-02-14 07:11:52 +0100679 bfd_set_timer (bm, bs, now, handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200680 break;
681 case BFD_STATE_up:
Klement Sekeraaeeac3b2017-02-14 07:11:52 +0100682 bfd_set_effective_desired_min_tx (bm, bs, now,
Klement Sekeraa3167442020-02-10 11:49:52 +0000683 bs->config_desired_min_tx_nsec);
Klement Sekera239790f2017-02-16 10:53:53 +0100684 if (BFD_POLL_NOT_NEEDED == bs->poll_state)
Klement Sekeraa57a9702017-02-02 06:58:07 +0100685 {
Klement Sekera73884482017-02-23 09:26:30 +0100686 bfd_set_effective_required_min_rx (bm, bs,
Klement Sekeraa3167442020-02-10 11:49:52 +0000687 bs->config_required_min_rx_nsec);
Klement Sekeraa57a9702017-02-02 06:58:07 +0100688 }
Klement Sekeraaeeac3b2017-02-14 07:11:52 +0100689 bfd_set_timer (bm, bs, now, handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200690 break;
691 }
Dave Barach1e3417f2018-07-25 08:30:27 -0400692 if (vlib_get_thread_index () == 0)
693 {
694 bfd_notify_listeners (bm, BFD_LISTEN_EVENT_UPDATE, bs);
695 }
696 else
697 {
698 /* without RPC - a REGRESSION: state changes are not propagated */
699 bfd_notify_listeners_rpc (bs->bs_idx);
700 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200701}
702
703static void
Klement Sekeraa57a9702017-02-02 06:58:07 +0100704bfd_on_config_change (vlib_main_t * vm, vlib_node_runtime_t * rt,
705 bfd_main_t * bm, bfd_session_t * bs, u64 now)
706{
Klement Sekera239790f2017-02-16 10:53:53 +0100707 /*
708 * if remote demand mode is set and we need to do a poll, set the next
709 * timeout so that the session wakes up immediately
710 */
711 if (bs->remote_demand && BFD_POLL_NEEDED == bs->poll_state &&
Klement Sekeraa3167442020-02-10 11:49:52 +0000712 bs->poll_state_start_or_timeout_nsec < now)
Klement Sekeraa57a9702017-02-02 06:58:07 +0100713 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000714 bs->tx_timeout_nsec = now;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100715 }
716 bfd_recalc_detection_time (bm, bs);
717 bfd_set_timer (bm, bs, now, 0);
718}
719
720static void
Klement Sekerae50e8562017-04-04 16:19:48 +0200721bfd_add_transport_layer (vlib_main_t * vm, u32 bi, bfd_session_t * bs)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200722{
723 switch (bs->transport)
724 {
725 case BFD_TRANSPORT_UDP4:
Klement Sekera46a87ad2017-01-02 08:22:23 +0100726 BFD_DBG ("Transport bfd via udp4, bs_idx=%u", bs->bs_idx);
Klement Sekerae50e8562017-04-04 16:19:48 +0200727 bfd_add_udp4_transport (vm, bi, bs, 0 /* is_echo */ );
Klement Sekera46a87ad2017-01-02 08:22:23 +0100728 break;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200729 case BFD_TRANSPORT_UDP6:
Klement Sekera46a87ad2017-01-02 08:22:23 +0100730 BFD_DBG ("Transport bfd via udp6, bs_idx=%u", bs->bs_idx);
Klement Sekerae50e8562017-04-04 16:19:48 +0200731 bfd_add_udp6_transport (vm, bi, bs, 0 /* is_echo */ );
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200732 break;
733 }
734}
735
Klement Sekera239790f2017-02-16 10:53:53 +0100736static int
Klement Sekerae50e8562017-04-04 16:19:48 +0200737bfd_transport_control_frame (vlib_main_t * vm, u32 bi, bfd_session_t * bs)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200738{
Klement Sekera239790f2017-02-16 10:53:53 +0100739 switch (bs->transport)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200740 {
Klement Sekera239790f2017-02-16 10:53:53 +0100741 case BFD_TRANSPORT_UDP4:
Klement Sekerae50e8562017-04-04 16:19:48 +0200742 BFD_DBG ("Transport bfd via udp4, bs_idx=%u", bs->bs_idx);
743 return bfd_transport_udp4 (vm, bi, bs);
Klement Sekera239790f2017-02-16 10:53:53 +0100744 break;
745 case BFD_TRANSPORT_UDP6:
Klement Sekerae50e8562017-04-04 16:19:48 +0200746 BFD_DBG ("Transport bfd via udp6, bs_idx=%u", bs->bs_idx);
747 return bfd_transport_udp6 (vm, bi, bs);
Klement Sekera239790f2017-02-16 10:53:53 +0100748 break;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200749 }
Klement Sekera239790f2017-02-16 10:53:53 +0100750 return 0;
751}
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200752
Klement Sekerae50e8562017-04-04 16:19:48 +0200753static int
754bfd_echo_add_transport_layer (vlib_main_t * vm, u32 bi, bfd_session_t * bs)
Klement Sekera239790f2017-02-16 10:53:53 +0100755{
Klement Sekerae50e8562017-04-04 16:19:48 +0200756 switch (bs->transport)
757 {
758 case BFD_TRANSPORT_UDP4:
759 BFD_DBG ("Transport bfd echo via udp4, bs_idx=%u", bs->bs_idx);
760 return bfd_add_udp4_transport (vm, bi, bs, 1 /* is_echo */ );
761 break;
762 case BFD_TRANSPORT_UDP6:
763 BFD_DBG ("Transport bfd echo via udp6, bs_idx=%u", bs->bs_idx);
764 return bfd_add_udp6_transport (vm, bi, bs, 1 /* is_echo */ );
765 break;
766 }
767 return 0;
768}
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200769
Klement Sekerae50e8562017-04-04 16:19:48 +0200770static int
771bfd_transport_echo (vlib_main_t * vm, u32 bi, bfd_session_t * bs)
772{
773 switch (bs->transport)
774 {
775 case BFD_TRANSPORT_UDP4:
776 BFD_DBG ("Transport bfd echo via udp4, bs_idx=%u", bs->bs_idx);
777 return bfd_transport_udp4 (vm, bi, bs);
778 break;
779 case BFD_TRANSPORT_UDP6:
780 BFD_DBG ("Transport bfd echo via udp6, bs_idx=%u", bs->bs_idx);
781 return bfd_transport_udp6 (vm, bi, bs);
782 break;
783 }
784 return 0;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200785}
786
Klement Sekerab17dd962017-01-09 07:43:48 +0100787#if WITH_LIBSSL > 0
788static void
789bfd_add_sha1_auth_section (vlib_buffer_t * b, bfd_session_t * bs)
790{
791 bfd_pkt_with_sha1_auth_t *pkt = vlib_buffer_get_current (b);
792 bfd_auth_sha1_t *auth = &pkt->sha1_auth;
793 b->current_length += sizeof (*auth);
794 pkt->pkt.head.length += sizeof (*auth);
795 bfd_pkt_set_auth_present (&pkt->pkt);
Dave Barachb7b92992018-10-17 10:38:51 -0400796 clib_memset (auth, 0, sizeof (*auth));
Klement Sekerab17dd962017-01-09 07:43:48 +0100797 auth->type_len.type = bs->auth.curr_key->auth_type;
798 /*
799 * only meticulous authentication types require incrementing seq number
800 * for every message, but doing so doesn't violate the RFC
801 */
802 ++bs->auth.local_seq_number;
803 auth->type_len.len = sizeof (bfd_auth_sha1_t);
804 auth->key_id = bs->auth.curr_bfd_key_id;
805 auth->seq_num = clib_host_to_net_u32 (bs->auth.local_seq_number);
806 /*
807 * first copy the password into the packet, then calculate the hash
808 * and finally replace the password with the calculated hash
809 */
810 clib_memcpy (auth->hash, bs->auth.curr_key->key,
811 sizeof (bs->auth.curr_key->key));
812 unsigned char hash[sizeof (auth->hash)];
813 SHA1 ((unsigned char *) pkt, sizeof (*pkt), hash);
814 BFD_DBG ("hashing: %U", format_hex_bytes, pkt, sizeof (*pkt));
815 clib_memcpy (auth->hash, hash, sizeof (hash));
Klement Sekerab17dd962017-01-09 07:43:48 +0100816}
Klement Sekera6f966492017-02-08 07:42:08 +0100817#endif
Klement Sekerab17dd962017-01-09 07:43:48 +0100818
819static void
820bfd_add_auth_section (vlib_buffer_t * b, bfd_session_t * bs)
821{
Damjan Marion07a38572018-01-21 06:44:18 -0800822 bfd_main_t *bm = &bfd_main;
Klement Sekerab17dd962017-01-09 07:43:48 +0100823 if (bs->auth.curr_key)
824 {
825 const bfd_auth_type_e auth_type = bs->auth.curr_key->auth_type;
826 switch (auth_type)
827 {
828 case BFD_AUTH_TYPE_reserved:
829 /* fallthrough */
830 case BFD_AUTH_TYPE_simple_password:
831 /* fallthrough */
832 case BFD_AUTH_TYPE_keyed_md5:
833 /* fallthrough */
834 case BFD_AUTH_TYPE_meticulous_keyed_md5:
Damjan Marion07a38572018-01-21 06:44:18 -0800835 vlib_log_crit (bm->log_class,
836 "internal error, unexpected BFD auth type '%d'",
837 auth_type);
Klement Sekerab17dd962017-01-09 07:43:48 +0100838 break;
839#if WITH_LIBSSL > 0
840 case BFD_AUTH_TYPE_keyed_sha1:
841 /* fallthrough */
842 case BFD_AUTH_TYPE_meticulous_keyed_sha1:
843 bfd_add_sha1_auth_section (b, bs);
844 break;
845#else
846 case BFD_AUTH_TYPE_keyed_sha1:
847 /* fallthrough */
848 case BFD_AUTH_TYPE_meticulous_keyed_sha1:
Damjan Marion07a38572018-01-21 06:44:18 -0800849 vlib_log_crit (bm->log_class,
850 "internal error, unexpected BFD auth type '%d'",
851 auth_type);
Klement Sekerab17dd962017-01-09 07:43:48 +0100852 break;
853#endif
854 }
855 }
856}
857
Klement Sekera239790f2017-02-16 10:53:53 +0100858static int
859bfd_is_echo_possible (bfd_session_t * bs)
860{
861 if (BFD_STATE_up == bs->local_state && BFD_STATE_up == bs->remote_state &&
862 bs->remote_min_echo_rx_usec > 0)
863 {
864 switch (bs->transport)
865 {
866 case BFD_TRANSPORT_UDP4:
867 return bfd_udp_is_echo_available (BFD_TRANSPORT_UDP4);
868 case BFD_TRANSPORT_UDP6:
869 return bfd_udp_is_echo_available (BFD_TRANSPORT_UDP6);
870 }
871 }
872 return 0;
873}
874
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200875static void
Klement Sekera239790f2017-02-16 10:53:53 +0100876bfd_init_control_frame (bfd_main_t * bm, bfd_session_t * bs,
877 vlib_buffer_t * b)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200878{
879 bfd_pkt_t *pkt = vlib_buffer_get_current (b);
Klement Sekerab17dd962017-01-09 07:43:48 +0100880 u32 bfd_length = 0;
881 bfd_length = sizeof (bfd_pkt_t);
Dave Barachb7b92992018-10-17 10:38:51 -0400882 clib_memset (pkt, 0, sizeof (*pkt));
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200883 bfd_pkt_set_version (pkt, 1);
884 bfd_pkt_set_diag_code (pkt, bs->local_diag);
885 bfd_pkt_set_state (pkt, bs->local_state);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200886 pkt->head.detect_mult = bs->local_detect_mult;
Klement Sekerae50e8562017-04-04 16:19:48 +0200887 pkt->head.length = bfd_length;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200888 pkt->my_disc = bs->local_discr;
889 pkt->your_disc = bs->remote_discr;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100890 pkt->des_min_tx = clib_host_to_net_u32 (bs->config_desired_min_tx_usec);
Klement Sekera239790f2017-02-16 10:53:53 +0100891 if (bs->echo)
892 {
893 pkt->req_min_rx =
Klement Sekeraa3167442020-02-10 11:49:52 +0000894 clib_host_to_net_u32 (bfd_nsec_to_usec
895 (bs->effective_required_min_rx_nsec));
Klement Sekera239790f2017-02-16 10:53:53 +0100896 }
897 else
898 {
899 pkt->req_min_rx =
900 clib_host_to_net_u32 (bs->config_required_min_rx_usec);
901 }
Klement Sekeraa57a9702017-02-02 06:58:07 +0100902 pkt->req_min_echo_rx = clib_host_to_net_u32 (1);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200903 b->current_length = bfd_length;
904}
905
906static void
Klement Sekera239790f2017-02-16 10:53:53 +0100907bfd_send_echo (vlib_main_t * vm, vlib_node_runtime_t * rt,
Klement Sekerae50e8562017-04-04 16:19:48 +0200908 bfd_main_t * bm, bfd_session_t * bs, u64 now)
Klement Sekera239790f2017-02-16 10:53:53 +0100909{
910 if (!bfd_is_echo_possible (bs))
911 {
912 BFD_DBG ("\nSwitching off echo function: %U", format_bfd_session, bs);
913 bs->echo = 0;
914 return;
915 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000916 if (now >= bs->echo_tx_timeout_nsec)
Klement Sekera239790f2017-02-16 10:53:53 +0100917 {
918 BFD_DBG ("\nSending echo packet: %U", format_bfd_session, bs);
919 u32 bi;
920 if (vlib_buffer_alloc (vm, &bi, 1) != 1)
921 {
Damjan Marion07a38572018-01-21 06:44:18 -0800922 vlib_log_crit (bm->log_class, "buffer allocation failure");
Klement Sekera239790f2017-02-16 10:53:53 +0100923 return;
924 }
925 vlib_buffer_t *b = vlib_get_buffer (vm, bi);
926 ASSERT (b->current_data == 0);
Klement Sekerae50e8562017-04-04 16:19:48 +0200927 VLIB_BUFFER_TRACE_TRAJECTORY_INIT (b);
Klement Sekera239790f2017-02-16 10:53:53 +0100928 bfd_echo_pkt_t *pkt = vlib_buffer_get_current (b);
Dave Barachb7b92992018-10-17 10:38:51 -0400929 clib_memset (pkt, 0, sizeof (*pkt));
Klement Sekera239790f2017-02-16 10:53:53 +0100930 pkt->discriminator = bs->local_discr;
Klement Sekeraa3167442020-02-10 11:49:52 +0000931 pkt->expire_time_nsec =
932 now + bs->echo_transmit_interval_nsec * bs->local_detect_mult;
Klement Sekera239790f2017-02-16 10:53:53 +0100933 pkt->checksum =
Klement Sekeraa3167442020-02-10 11:49:52 +0000934 bfd_calc_echo_checksum (bs->local_discr, pkt->expire_time_nsec,
Klement Sekera239790f2017-02-16 10:53:53 +0100935 bs->echo_secret);
936 b->current_length = sizeof (*pkt);
Klement Sekerae50e8562017-04-04 16:19:48 +0200937 if (!bfd_echo_add_transport_layer (vm, bi, bs))
938 {
939 BFD_ERR ("cannot send echo packet out, turning echo off");
940 bs->echo = 0;
941 vlib_buffer_free_one (vm, bi);
942 return;
943 }
944 if (!bfd_transport_echo (vm, bi, bs))
Klement Sekera239790f2017-02-16 10:53:53 +0100945 {
946 BFD_ERR ("cannot send echo packet out, turning echo off");
947 bs->echo = 0;
948 vlib_buffer_free_one (vm, bi);
949 return;
950 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000951 bs->echo_last_tx_nsec = now;
Klement Sekera239790f2017-02-16 10:53:53 +0100952 bfd_calc_next_echo_tx (bm, bs, now);
Klement Sekera239790f2017-02-16 10:53:53 +0100953 }
954 else
955 {
956 BFD_DBG
957 ("No need to send echo packet now, now is %lu, tx_timeout is %lu",
Klement Sekeraa3167442020-02-10 11:49:52 +0000958 now, bs->echo_tx_timeout_nsec);
Klement Sekera239790f2017-02-16 10:53:53 +0100959 }
960}
961
962static void
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200963bfd_send_periodic (vlib_main_t * vm, vlib_node_runtime_t * rt,
Klement Sekerae50e8562017-04-04 16:19:48 +0200964 bfd_main_t * bm, bfd_session_t * bs, u64 now)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200965{
Klement Sekera239790f2017-02-16 10:53:53 +0100966 if (!bs->remote_min_rx_usec && BFD_POLL_NOT_NEEDED == bs->poll_state)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200967 {
Klement Sekera239790f2017-02-16 10:53:53 +0100968 BFD_DBG ("Remote min rx interval is zero, not sending periodic control "
969 "frame");
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200970 return;
971 }
Klement Sekera239790f2017-02-16 10:53:53 +0100972 if (BFD_POLL_NOT_NEEDED == bs->poll_state && bs->remote_demand &&
Klement Sekerad3ba5152017-02-14 03:09:17 +0100973 BFD_STATE_up == bs->local_state && BFD_STATE_up == bs->remote_state)
974 {
975 /*
976 * A system MUST NOT periodically transmit BFD Control packets if Demand
977 * mode is active on the remote system (bfd.RemoteDemandMode is 1,
978 * bfd.SessionState is Up, and bfd.RemoteSessionState is Up) and a Poll
979 * Sequence is not being transmitted.
980 */
Klement Sekera239790f2017-02-16 10:53:53 +0100981 BFD_DBG ("Remote demand is set, not sending periodic control frame");
Klement Sekerad3ba5152017-02-14 03:09:17 +0100982 return;
983 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000984 if (now >= bs->tx_timeout_nsec)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200985 {
Klement Sekera239790f2017-02-16 10:53:53 +0100986 BFD_DBG ("\nSending periodic control frame: %U", format_bfd_session,
987 bs);
988 u32 bi;
989 if (vlib_buffer_alloc (vm, &bi, 1) != 1)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200990 {
Damjan Marion07a38572018-01-21 06:44:18 -0800991 vlib_log_crit (bm->log_class, "buffer allocation failure");
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200992 return;
993 }
Klement Sekera239790f2017-02-16 10:53:53 +0100994 vlib_buffer_t *b = vlib_get_buffer (vm, bi);
995 ASSERT (b->current_data == 0);
Klement Sekerae50e8562017-04-04 16:19:48 +0200996 VLIB_BUFFER_TRACE_TRAJECTORY_INIT (b);
Klement Sekera239790f2017-02-16 10:53:53 +0100997 bfd_init_control_frame (bm, bs, b);
998 switch (bs->poll_state)
Klement Sekeraa57a9702017-02-02 06:58:07 +0100999 {
Klement Sekera239790f2017-02-16 10:53:53 +01001000 case BFD_POLL_NEEDED:
Klement Sekeraa3167442020-02-10 11:49:52 +00001001 if (now < bs->poll_state_start_or_timeout_nsec)
Klement Sekera239790f2017-02-16 10:53:53 +01001002 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001003 BFD_DBG ("Cannot start a poll sequence yet, need to wait for "
1004 BFD_CLK_FMT,
1005 BFD_CLK_PRN (bs->poll_state_start_or_timeout_nsec -
Klement Sekera239790f2017-02-16 10:53:53 +01001006 now));
1007 break;
1008 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001009 bs->poll_state_start_or_timeout_nsec = now;
Klement Sekera239790f2017-02-16 10:53:53 +01001010 bfd_set_poll_state (bs, BFD_POLL_IN_PROGRESS);
1011 /* fallthrough */
1012 case BFD_POLL_IN_PROGRESS:
1013 case BFD_POLL_IN_PROGRESS_AND_QUEUED:
Klement Sekeraa57a9702017-02-02 06:58:07 +01001014 bfd_pkt_set_poll (vlib_buffer_get_current (b));
Klement Sekeraa57a9702017-02-02 06:58:07 +01001015 BFD_DBG ("Setting poll bit in packet, bs_idx=%u", bs->bs_idx);
Klement Sekera239790f2017-02-16 10:53:53 +01001016 break;
1017 case BFD_POLL_NOT_NEEDED:
1018 /* fallthrough */
1019 break;
Klement Sekeraa57a9702017-02-02 06:58:07 +01001020 }
1021 bfd_add_auth_section (b, bs);
Klement Sekerae50e8562017-04-04 16:19:48 +02001022 bfd_add_transport_layer (vm, bi, bs);
1023 if (!bfd_transport_control_frame (vm, bi, bs))
1024 {
1025 vlib_buffer_free_one (vm, bi);
1026 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001027 bs->last_tx_nsec = now;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001028 bfd_calc_next_tx (bm, bs, now);
1029 }
1030 else
1031 {
Klement Sekera637b9c42016-12-08 05:19:14 +01001032 BFD_DBG
1033 ("No need to send control frame now, now is %lu, tx_timeout is %lu",
Klement Sekeraa3167442020-02-10 11:49:52 +00001034 now, bs->tx_timeout_nsec);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001035 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001036}
1037
1038void
Klement Sekerab17dd962017-01-09 07:43:48 +01001039bfd_init_final_control_frame (vlib_main_t * vm, vlib_buffer_t * b,
Klement Sekerae50e8562017-04-04 16:19:48 +02001040 bfd_main_t * bm, bfd_session_t * bs,
1041 int is_local)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001042{
1043 BFD_DBG ("Send final control frame for bs_idx=%lu", bs->bs_idx);
Klement Sekera239790f2017-02-16 10:53:53 +01001044 bfd_init_control_frame (bm, bs, b);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001045 bfd_pkt_set_final (vlib_buffer_get_current (b));
Klement Sekeraa57a9702017-02-02 06:58:07 +01001046 bfd_add_auth_section (b, bs);
Klement Sekerae50e8562017-04-04 16:19:48 +02001047 u32 bi = vlib_get_buffer_index (vm, b);
1048 bfd_add_transport_layer (vm, bi, bs);
Klement Sekeraa3167442020-02-10 11:49:52 +00001049 bs->last_tx_nsec = bfd_time_now_nsec (vm, NULL);
Klement Sekeraa57a9702017-02-02 06:58:07 +01001050 /*
1051 * RFC allows to include changes in final frame, so if there were any
1052 * pending, we already did that, thus we can clear any pending poll needs
1053 */
Klement Sekera239790f2017-02-16 10:53:53 +01001054 bfd_set_poll_state (bs, BFD_POLL_NOT_NEEDED);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001055}
1056
1057static void
Klement Sekeraa3167442020-02-10 11:49:52 +00001058bfd_check_rx_timeout (vlib_main_t * vm, bfd_main_t * bm, bfd_session_t * bs,
1059 u64 now, int handling_wakeup)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001060{
Klement Sekeraa3167442020-02-10 11:49:52 +00001061 if (bs->last_rx_nsec + bs->detection_time_nsec <= now)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001062 {
1063 BFD_DBG ("Rx timeout, session goes down");
Klement Sekera4d39f9c2020-01-17 10:01:52 +00001064 /*
1065 * RFC 5880 6.8.1. State Variables
1066
1067 * bfd.RemoteDiscr
1068
1069 * The remote discriminator for this BFD session. This is the
1070 * discriminator chosen by the remote system, and is totally opaque
1071 * to the local system. This MUST be initialized to zero. If a
1072 * period of a Detection Time passes without the receipt of a valid,
1073 * authenticated BFD packet from the remote system, this variable
1074 * MUST be set to zero.
1075 */
1076 bs->remote_discr = 0;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001077 bfd_set_diag (bs, BFD_DIAG_CODE_det_time_exp);
Klement Sekeraa3167442020-02-10 11:49:52 +00001078 bfd_set_state (vm, bm, bs, BFD_STATE_down, handling_wakeup);
Klement Sekeraa57a9702017-02-02 06:58:07 +01001079 /*
1080 * If the remote system does not receive any
1081 * BFD Control packets for a Detection Time, it SHOULD reset
1082 * bfd.RemoteMinRxInterval to its initial value of 1 (per section 6.8.1,
1083 * since it is no longer required to maintain previous session state)
1084 * and then can transmit at its own rate.
1085 */
Klement Sekera239790f2017-02-16 10:53:53 +01001086 bfd_set_remote_required_min_rx (bm, bs, now, 1);
1087 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001088 else if (bs->echo
1089 && bs->echo_last_rx_nsec +
1090 bs->echo_transmit_interval_nsec * bs->local_detect_mult <= now)
Klement Sekera239790f2017-02-16 10:53:53 +01001091 {
1092 BFD_DBG ("Echo rx timeout, session goes down");
1093 bfd_set_diag (bs, BFD_DIAG_CODE_echo_failed);
Klement Sekeraa3167442020-02-10 11:49:52 +00001094 bfd_set_state (vm, bm, bs, BFD_STATE_down, handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001095 }
1096}
1097
1098void
1099bfd_on_timeout (vlib_main_t * vm, vlib_node_runtime_t * rt, bfd_main_t * bm,
1100 bfd_session_t * bs, u64 now)
1101{
1102 BFD_DBG ("Timeout for bs_idx=%lu", bs->bs_idx);
1103 switch (bs->local_state)
1104 {
1105 case BFD_STATE_admin_down:
Klement Sekerae50e8562017-04-04 16:19:48 +02001106 bfd_send_periodic (vm, rt, bm, bs, now);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001107 break;
1108 case BFD_STATE_down:
Klement Sekerae50e8562017-04-04 16:19:48 +02001109 bfd_send_periodic (vm, rt, bm, bs, now);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001110 break;
1111 case BFD_STATE_init:
Klement Sekeraa3167442020-02-10 11:49:52 +00001112 bfd_check_rx_timeout (vm, bm, bs, now, 1);
Klement Sekerae50e8562017-04-04 16:19:48 +02001113 bfd_send_periodic (vm, rt, bm, bs, now);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001114 break;
Klement Sekera239790f2017-02-16 10:53:53 +01001115 case BFD_STATE_up:
Klement Sekeraa3167442020-02-10 11:49:52 +00001116 bfd_check_rx_timeout (vm, bm, bs, now, 1);
Klement Sekera239790f2017-02-16 10:53:53 +01001117 if (BFD_POLL_NOT_NEEDED == bs->poll_state && !bs->echo &&
1118 bfd_is_echo_possible (bs))
1119 {
1120 /* switch on echo function as main detection method now */
1121 BFD_DBG ("Switching on echo function, bs_idx=%u", bs->bs_idx);
1122 bs->echo = 1;
Klement Sekeraa3167442020-02-10 11:49:52 +00001123 bs->echo_last_rx_nsec = now;
1124 bs->echo_tx_timeout_nsec = now;
Klement Sekera73884482017-02-23 09:26:30 +01001125 bfd_set_effective_required_min_rx (bm, bs,
Klement Sekera239790f2017-02-16 10:53:53 +01001126 clib_max
Klement Sekeraa3167442020-02-10 11:49:52 +00001127 (bm->min_required_min_rx_while_echo_nsec,
1128 bs->config_required_min_rx_nsec));
Klement Sekera239790f2017-02-16 10:53:53 +01001129 bfd_set_poll_state (bs, BFD_POLL_NEEDED);
1130 }
Klement Sekerae50e8562017-04-04 16:19:48 +02001131 bfd_send_periodic (vm, rt, bm, bs, now);
Klement Sekera239790f2017-02-16 10:53:53 +01001132 if (bs->echo)
1133 {
Klement Sekerae50e8562017-04-04 16:19:48 +02001134 bfd_send_echo (vm, rt, bm, bs, now);
Klement Sekera239790f2017-02-16 10:53:53 +01001135 }
1136 break;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001137 }
1138}
1139
1140/*
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001141 * bfd process node function
1142 */
1143static uword
1144bfd_process (vlib_main_t * vm, vlib_node_runtime_t * rt, vlib_frame_t * f)
1145{
1146 bfd_main_t *bm = &bfd_main;
1147 u32 *expired = 0;
1148 uword event_type, *event_data = 0;
1149
1150 /* So we can send events to the bfd process */
1151 bm->bfd_process_node_index = bfd_process_node.index;
1152
1153 while (1)
1154 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001155 f64 vm_time;
1156 u64 now = bfd_time_now_nsec (vm, &vm_time);
1157 BFD_DBG ("wakeup, now is %llunsec, vlib_time_now() is %.9f", now,
1158 vm_time);
Dave Barach1e3417f2018-07-25 08:30:27 -04001159 bfd_lock (bm);
Klement Sekeraa3167442020-02-10 11:49:52 +00001160 f64 timeout;
1161 if (pool_elts (bm->sessions))
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001162 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001163 u32 first_expires_in_ticks =
1164 TW (tw_timer_first_expires_in_ticks) (&bm->wheel);
1165 if (!first_expires_in_ticks)
Klement Sekera0c1519b2016-12-08 05:03:32 +01001166 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001167 BFD_DBG
1168 ("tw_timer_first_expires_in_ticks(%p) returns 0ticks",
1169 &bm->wheel);
1170 timeout = bm->wheel.next_run_time - vm_time;
1171 BFD_DBG ("wheel.next_run_time is %.9f",
1172 bm->wheel.next_run_time);
1173 u64 next_expire_nsec = now + timeout * SEC_PER_NSEC;
1174 bm->bfd_process_next_wakeup_nsec = next_expire_nsec;
1175 bfd_unlock (bm);
Klement Sekera0c1519b2016-12-08 05:03:32 +01001176 }
1177 else
1178 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001179 BFD_DBG ("tw_timer_first_expires_in_ticks(%p) returns %luticks",
1180 &bm->wheel, first_expires_in_ticks);
1181 u64 next_expire_nsec =
1182 now + first_expires_in_ticks * bm->nsec_per_tw_tick;
1183 bm->bfd_process_next_wakeup_nsec = next_expire_nsec;
1184 bfd_unlock (bm);
1185 timeout = (next_expire_nsec - now) * SEC_PER_NSEC;
Klement Sekera0c1519b2016-12-08 05:03:32 +01001186 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001187 BFD_DBG ("vlib_process_wait_for_event_or_clock(vm, %.09f)",
1188 timeout);
1189 (void) vlib_process_wait_for_event_or_clock (vm, timeout);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001190 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001191 else
1192 {
Klement Sekera9d211502020-09-25 09:43:45 +00001193 bfd_unlock (bm);
Klement Sekeraa3167442020-02-10 11:49:52 +00001194 (void) vlib_process_wait_for_event (vm);
1195 }
1196 event_type = vlib_process_get_events (vm, &event_data);
1197 now = bfd_time_now_nsec (vm, &vm_time);
Eyal Bari0db9b042018-10-11 14:09:58 +03001198 uword *session_index;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001199 switch (event_type)
1200 {
1201 case ~0: /* no events => timeout */
1202 /* nothing to do here */
1203 break;
1204 case BFD_EVENT_RESCHEDULE:
Klement Sekeraa3167442020-02-10 11:49:52 +00001205 BFD_DBG ("reschedule event");
Dave Barach1e3417f2018-07-25 08:30:27 -04001206 bfd_lock (bm);
Klement Sekeraa3167442020-02-10 11:49:52 +00001207 bm->bfd_process_wakeup_event_delay_nsec =
1208 now - bm->bfd_process_wakeup_event_start_nsec;
Dave Barach1e3417f2018-07-25 08:30:27 -04001209 bm->bfd_process_wakeup_events_in_flight--;
1210 bfd_unlock (bm);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001211 /* nothing to do here - reschedule is done automatically after
1212 * each event or timeout */
1213 break;
1214 case BFD_EVENT_NEW_SESSION:
Eyal Bari0db9b042018-10-11 14:09:58 +03001215 vec_foreach (session_index, event_data)
1216 {
1217 bfd_lock (bm);
1218 if (!pool_is_free_index (bm->sessions, *session_index))
1219 {
1220 bfd_session_t *bs =
1221 pool_elt_at_index (bm->sessions, *session_index);
1222 bfd_send_periodic (vm, rt, bm, bs, now);
1223 bfd_set_timer (bm, bs, now, 1);
1224 }
1225 else
1226 {
1227 BFD_DBG ("Ignoring event for non-existent session index %u",
1228 (u32) * session_index);
1229 }
1230 bfd_unlock (bm);
1231 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001232 break;
Klement Sekeraa57a9702017-02-02 06:58:07 +01001233 case BFD_EVENT_CONFIG_CHANGED:
Eyal Bari0db9b042018-10-11 14:09:58 +03001234 vec_foreach (session_index, event_data)
1235 {
1236 bfd_lock (bm);
1237 if (!pool_is_free_index (bm->sessions, *session_index))
1238 {
1239 bfd_session_t *bs =
1240 pool_elt_at_index (bm->sessions, *session_index);
1241 bfd_on_config_change (vm, rt, bm, bs, now);
1242 }
1243 else
1244 {
1245 BFD_DBG ("Ignoring event for non-existent session index %u",
1246 (u32) * session_index);
1247 }
1248 bfd_unlock (bm);
1249 }
Klement Sekeraa57a9702017-02-02 06:58:07 +01001250 break;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001251 default:
Damjan Marion07a38572018-01-21 06:44:18 -08001252 vlib_log_err (bm->log_class, "BUG: event type 0x%wx", event_type);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001253 break;
1254 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001255 BFD_DBG ("tw_timer_expire_timers_vec(%p, %.04f);", &bm->wheel, vm_time);
Dave Barach1e3417f2018-07-25 08:30:27 -04001256 bfd_lock (bm);
Klement Sekeraa3167442020-02-10 11:49:52 +00001257 expired =
1258 TW (tw_timer_expire_timers_vec) (&bm->wheel, vm_time, expired);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001259 BFD_DBG ("Expired %d elements", vec_len (expired));
1260 u32 *p = NULL;
1261 vec_foreach (p, expired)
1262 {
1263 const u32 bs_idx = *p;
1264 if (!pool_is_free_index (bm->sessions, bs_idx))
1265 {
1266 bfd_session_t *bs = pool_elt_at_index (bm->sessions, bs_idx);
Klement Sekeraa3167442020-02-10 11:49:52 +00001267 bs->tw_id = 0; /* timer is gone because it expired */
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001268 bfd_on_timeout (vm, rt, bm, bs, now);
Klement Sekera239790f2017-02-16 10:53:53 +01001269 bfd_set_timer (bm, bs, now, 1);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001270 }
1271 }
Dave Barach1e3417f2018-07-25 08:30:27 -04001272 bfd_unlock (bm);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001273 if (expired)
1274 {
1275 _vec_len (expired) = 0;
1276 }
1277 if (event_data)
1278 {
1279 _vec_len (event_data) = 0;
1280 }
1281 }
1282
1283 return 0;
1284}
1285
1286/*
1287 * bfd process node declaration
1288 */
1289/* *INDENT-OFF* */
1290VLIB_REGISTER_NODE (bfd_process_node, static) = {
1291 .function = bfd_process,
1292 .type = VLIB_NODE_TYPE_PROCESS,
1293 .name = "bfd-process",
Klement Sekera46a87ad2017-01-02 08:22:23 +01001294 .n_next_nodes = 0,
1295 .next_nodes = {},
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001296};
1297/* *INDENT-ON* */
1298
1299static clib_error_t *
1300bfd_sw_interface_up_down (vnet_main_t * vnm, u32 sw_if_index, u32 flags)
1301{
1302 // bfd_main_t *bm = &bfd_main;
1303 // vnet_hw_interface_t *hi = vnet_get_sup_hw_interface (vnm, sw_if_index);
1304 if (!(flags & VNET_SW_INTERFACE_FLAG_ADMIN_UP))
1305 {
1306 /* TODO */
1307 }
1308 return 0;
1309}
1310
1311VNET_SW_INTERFACE_ADMIN_UP_DOWN_FUNCTION (bfd_sw_interface_up_down);
1312
1313static clib_error_t *
1314bfd_hw_interface_up_down (vnet_main_t * vnm, u32 hw_if_index, u32 flags)
1315{
1316 // bfd_main_t *bm = &bfd_main;
1317 if (flags & VNET_HW_INTERFACE_FLAG_LINK_UP)
1318 {
1319 /* TODO */
1320 }
1321 return 0;
1322}
1323
1324VNET_HW_INTERFACE_LINK_UP_DOWN_FUNCTION (bfd_hw_interface_up_down);
1325
Neale Ranns88fc83e2017-04-05 08:11:14 -07001326void
1327bfd_register_listener (bfd_notify_fn_t fn)
1328{
1329 bfd_main_t *bm = &bfd_main;
1330
1331 vec_add1 (bm->listeners, fn);
1332}
1333
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001334/*
1335 * setup function
1336 */
1337static clib_error_t *
1338bfd_main_init (vlib_main_t * vm)
1339{
Dave Barach1e3417f2018-07-25 08:30:27 -04001340 vlib_thread_main_t *tm = &vlib_thread_main;
1341 u32 n_vlib_mains = tm->n_vlib_mains;
Klement Sekerab17dd962017-01-09 07:43:48 +01001342#if BFD_DEBUG
1343 setbuf (stdout, NULL);
1344#endif
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001345 bfd_main_t *bm = &bfd_main;
1346 bm->random_seed = random_default_seed ();
1347 bm->vlib_main = vm;
1348 bm->vnet_main = vnet_get_main ();
Dave Barachb7b92992018-10-17 10:38:51 -04001349 clib_memset (&bm->wheel, 0, sizeof (bm->wheel));
Klement Sekeraa3167442020-02-10 11:49:52 +00001350 bm->nsec_per_tw_tick = (f64) NSEC_PER_SEC / BFD_TW_TPS;
1351 bm->default_desired_min_tx_nsec =
1352 bfd_usec_to_nsec (BFD_DEFAULT_DESIRED_MIN_TX_USEC);
1353 bm->min_required_min_rx_while_echo_nsec =
1354 bfd_usec_to_nsec (BFD_REQUIRED_MIN_RX_USEC_WHILE_ECHO);
1355 BFD_DBG ("tw_timer_wheel_init(%p, %p, %.04f, %u)", &bm->wheel, NULL,
1356 1.00 / BFD_TW_TPS, ~0);
1357 TW (tw_timer_wheel_init) (&bm->wheel, NULL, 1.00 / BFD_TW_TPS, ~0);
Damjan Marion07a38572018-01-21 06:44:18 -08001358 bm->log_class = vlib_log_register_class ("bfd", 0);
1359 vlib_log_debug (bm->log_class, "initialized");
Dave Barach1e3417f2018-07-25 08:30:27 -04001360 bm->owner_thread_index = ~0;
1361 if (n_vlib_mains > 1)
1362 clib_spinlock_init (&bm->lock);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001363 return 0;
1364}
1365
1366VLIB_INIT_FUNCTION (bfd_main_init);
1367
1368bfd_session_t *
Klement Sekera239790f2017-02-16 10:53:53 +01001369bfd_get_session (bfd_main_t * bm, bfd_transport_e t)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001370{
1371 bfd_session_t *result;
Dave Barach1e3417f2018-07-25 08:30:27 -04001372
1373 bfd_lock (bm);
1374
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001375 pool_get (bm->sessions, result);
Dave Barachb7b92992018-10-17 10:38:51 -04001376 clib_memset (result, 0, sizeof (*result));
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001377 result->bs_idx = result - bm->sessions;
1378 result->transport = t;
Klement Sekera239790f2017-02-16 10:53:53 +01001379 const unsigned limit = 1000;
1380 unsigned counter = 0;
1381 do
1382 {
1383 result->local_discr = random_u32 (&bm->random_seed);
1384 if (counter > limit)
1385 {
Damjan Marion07a38572018-01-21 06:44:18 -08001386 vlib_log_crit (bm->log_class,
1387 "couldn't allocate unused session discriminator even "
1388 "after %u tries!", limit);
Klement Sekera239790f2017-02-16 10:53:53 +01001389 pool_put (bm->sessions, result);
Dave Barach1e3417f2018-07-25 08:30:27 -04001390 bfd_unlock (bm);
Klement Sekera239790f2017-02-16 10:53:53 +01001391 return NULL;
1392 }
1393 ++counter;
1394 }
1395 while (hash_get (bm->session_by_disc, result->local_discr));
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001396 bfd_set_defaults (bm, result);
1397 hash_set (bm->session_by_disc, result->local_discr, result->bs_idx);
Dave Barach1e3417f2018-07-25 08:30:27 -04001398 bfd_unlock (bm);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001399 return result;
1400}
1401
1402void
1403bfd_put_session (bfd_main_t * bm, bfd_session_t * bs)
1404{
Dave Barach1e3417f2018-07-25 08:30:27 -04001405 bfd_lock (bm);
1406
Damjan Marion07a38572018-01-21 06:44:18 -08001407 vlib_log_info (bm->log_class, "delete session: %U",
1408 format_bfd_session_brief, bs);
Neale Ranns88fc83e2017-04-05 08:11:14 -07001409 bfd_notify_listeners (bm, BFD_LISTEN_EVENT_DELETE, bs);
Klement Sekerab17dd962017-01-09 07:43:48 +01001410 if (bs->auth.curr_key)
1411 {
1412 --bs->auth.curr_key->use_count;
1413 }
1414 if (bs->auth.next_key)
1415 {
1416 --bs->auth.next_key->use_count;
1417 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001418 hash_unset (bm->session_by_disc, bs->local_discr);
1419 pool_put (bm->sessions, bs);
Dave Barach1e3417f2018-07-25 08:30:27 -04001420 bfd_unlock (bm);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001421}
1422
1423bfd_session_t *
1424bfd_find_session_by_idx (bfd_main_t * bm, uword bs_idx)
1425{
Dave Barach1e3417f2018-07-25 08:30:27 -04001426 bfd_lock_check (bm);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001427 if (!pool_is_free_index (bm->sessions, bs_idx))
1428 {
1429 return pool_elt_at_index (bm->sessions, bs_idx);
1430 }
1431 return NULL;
1432}
1433
1434bfd_session_t *
1435bfd_find_session_by_disc (bfd_main_t * bm, u32 disc)
1436{
Dave Barach1e3417f2018-07-25 08:30:27 -04001437 bfd_lock_check (bm);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001438 uword *p = hash_get (bfd_main.session_by_disc, disc);
1439 if (p)
1440 {
1441 return pool_elt_at_index (bfd_main.sessions, *p);
1442 }
1443 return NULL;
1444}
1445
1446/**
1447 * @brief verify bfd packet - common checks
1448 *
1449 * @param pkt
1450 *
1451 * @return 1 if bfd packet is valid
1452 */
1453int
1454bfd_verify_pkt_common (const bfd_pkt_t * pkt)
1455{
1456 if (1 != bfd_pkt_get_version (pkt))
1457 {
1458 BFD_ERR ("BFD verification failed - unexpected version: '%d'",
1459 bfd_pkt_get_version (pkt));
1460 return 0;
1461 }
1462 if (pkt->head.length < sizeof (bfd_pkt_t) ||
1463 (bfd_pkt_get_auth_present (pkt) &&
Klement Sekerab17dd962017-01-09 07:43:48 +01001464 pkt->head.length < sizeof (bfd_pkt_with_common_auth_t)))
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001465 {
1466 BFD_ERR ("BFD verification failed - unexpected length: '%d' (auth "
1467 "present: %d)",
1468 pkt->head.length, bfd_pkt_get_auth_present (pkt));
1469 return 0;
1470 }
1471 if (!pkt->head.detect_mult)
1472 {
1473 BFD_ERR ("BFD verification failed - unexpected detect-mult: '%d'",
1474 pkt->head.detect_mult);
1475 return 0;
1476 }
1477 if (bfd_pkt_get_multipoint (pkt))
1478 {
1479 BFD_ERR ("BFD verification failed - unexpected multipoint: '%d'",
1480 bfd_pkt_get_multipoint (pkt));
1481 return 0;
1482 }
1483 if (!pkt->my_disc)
1484 {
1485 BFD_ERR ("BFD verification failed - unexpected my-disc: '%d'",
1486 pkt->my_disc);
1487 return 0;
1488 }
1489 if (!pkt->your_disc)
1490 {
1491 const u8 pkt_state = bfd_pkt_get_state (pkt);
1492 if (pkt_state != BFD_STATE_down && pkt_state != BFD_STATE_admin_down)
1493 {
1494 BFD_ERR ("BFD verification failed - unexpected state: '%s' "
1495 "(your-disc is zero)", bfd_state_string (pkt_state));
1496 return 0;
1497 }
1498 }
1499 return 1;
1500}
1501
Klement Sekerab17dd962017-01-09 07:43:48 +01001502static void
1503bfd_session_switch_auth_to_next (bfd_session_t * bs)
1504{
1505 BFD_DBG ("Switching authentication key from %U to %U for bs_idx=%u",
1506 format_bfd_auth_key, bs->auth.curr_key, format_bfd_auth_key,
1507 bs->auth.next_key, bs->bs_idx);
1508 bs->auth.is_delayed = 0;
1509 if (bs->auth.curr_key)
1510 {
1511 --bs->auth.curr_key->use_count;
1512 }
1513 bs->auth.curr_key = bs->auth.next_key;
1514 bs->auth.next_key = NULL;
1515 bs->auth.curr_bfd_key_id = bs->auth.next_bfd_key_id;
1516}
1517
1518static int
1519bfd_auth_type_is_meticulous (bfd_auth_type_e auth_type)
1520{
1521 if (BFD_AUTH_TYPE_meticulous_keyed_md5 == auth_type ||
1522 BFD_AUTH_TYPE_meticulous_keyed_sha1 == auth_type)
1523 {
1524 return 1;
1525 }
1526 return 0;
1527}
1528
1529static int
Klement Sekeraa3167442020-02-10 11:49:52 +00001530bfd_verify_pkt_auth_seq_num (vlib_main_t * vm, bfd_session_t * bs,
Klement Sekerab17dd962017-01-09 07:43:48 +01001531 u32 received_seq_num, int is_meticulous)
1532{
1533 /*
1534 * RFC 5880 6.8.1:
1535 *
1536 * This variable MUST be set to zero after no packets have been
1537 * received on this session for at least twice the Detection Time.
1538 */
Klement Sekeraa3167442020-02-10 11:49:52 +00001539 u64 now = bfd_time_now_nsec (vm, NULL);
1540 if (now - bs->last_rx_nsec > bs->detection_time_nsec * 2)
Klement Sekerab17dd962017-01-09 07:43:48 +01001541 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001542 BFD_DBG ("BFD peer unresponsive for %lu nsec, which is > 2 * "
1543 "detection_time=%u nsec, resetting remote_seq_number_known "
1544 "flag", now - bs->last_rx_nsec, bs->detection_time_nsec * 2);
Klement Sekerab17dd962017-01-09 07:43:48 +01001545 bs->auth.remote_seq_number_known = 0;
1546 }
1547 if (bs->auth.remote_seq_number_known)
1548 {
1549 /* remote sequence number is known, verify its validity */
1550 const u32 max_u32 = 0xffffffff;
1551 /* the calculation might wrap, account for the special case... */
1552 if (bs->auth.remote_seq_number > max_u32 - 3 * bs->local_detect_mult)
1553 {
1554 /*
1555 * special case
1556 *
1557 * x y z
1558 * |----------+----------------------------+-----------|
1559 * 0 ^ ^ 0xffffffff
1560 * | remote_seq_num------+
1561 * |
1562 * +-----(remote_seq_num + 3*detect_mult) % * 0xffffffff
1563 *
1564 * x + y + z = 0xffffffff
1565 * x + z = 3 * detect_mult
1566 */
1567 const u32 z = max_u32 - bs->auth.remote_seq_number;
1568 const u32 x = 3 * bs->local_detect_mult - z;
1569 if (received_seq_num > x &&
1570 received_seq_num < bs->auth.remote_seq_number + is_meticulous)
1571 {
1572 BFD_ERR
1573 ("Recvd sequence number=%u out of ranges <0, %u>, <%u, %u>",
1574 received_seq_num, x,
1575 bs->auth.remote_seq_number + is_meticulous, max_u32);
1576 return 0;
1577 }
1578 }
1579 else
1580 {
1581 /* regular case */
1582 const u32 min = bs->auth.remote_seq_number + is_meticulous;
1583 const u32 max =
1584 bs->auth.remote_seq_number + 3 * bs->local_detect_mult;
1585 if (received_seq_num < min || received_seq_num > max)
1586 {
1587 BFD_ERR ("Recvd sequence number=%u out of range <%u, %u>",
1588 received_seq_num, min, max);
1589 return 0;
1590 }
1591 }
1592 }
1593 return 1;
1594}
1595
1596static int
1597bfd_verify_pkt_auth_key_sha1 (const bfd_pkt_t * pkt, u32 pkt_size,
1598 bfd_session_t * bs, u8 bfd_key_id,
1599 bfd_auth_key_t * auth_key)
1600{
1601 ASSERT (auth_key->auth_type == BFD_AUTH_TYPE_keyed_sha1 ||
1602 auth_key->auth_type == BFD_AUTH_TYPE_meticulous_keyed_sha1);
1603
1604 u8 result[SHA_DIGEST_LENGTH];
1605 bfd_pkt_with_common_auth_t *with_common = (void *) pkt;
1606 if (pkt_size < sizeof (*with_common))
1607 {
1608 BFD_ERR ("Packet size too small to hold authentication common header");
1609 return 0;
1610 }
1611 if (with_common->common_auth.type != auth_key->auth_type)
1612 {
1613 BFD_ERR ("BFD auth type mismatch, packet auth=%d:%s doesn't match "
1614 "in-use auth=%d:%s",
1615 with_common->common_auth.type,
1616 bfd_auth_type_str (with_common->common_auth.type),
1617 auth_key->auth_type, bfd_auth_type_str (auth_key->auth_type));
1618 return 0;
1619 }
1620 bfd_pkt_with_sha1_auth_t *with_sha1 = (void *) pkt;
1621 if (pkt_size < sizeof (*with_sha1) ||
1622 with_sha1->sha1_auth.type_len.len < sizeof (with_sha1->sha1_auth))
1623 {
1624 BFD_ERR
1625 ("BFD size mismatch, payload size=%u, expected=%u, auth_len=%u, "
1626 "expected=%u", pkt_size, sizeof (*with_sha1),
1627 with_sha1->sha1_auth.type_len.len, sizeof (with_sha1->sha1_auth));
1628 return 0;
1629 }
1630 if (with_sha1->sha1_auth.key_id != bfd_key_id)
1631 {
1632 BFD_ERR
1633 ("BFD key ID mismatch, packet key ID=%u doesn't match key ID=%u%s",
1634 with_sha1->sha1_auth.key_id, bfd_key_id,
1635 bs->
1636 auth.is_delayed ? " (but a delayed auth change is scheduled)" : "");
1637 return 0;
1638 }
1639 SHA_CTX ctx;
1640 if (!SHA1_Init (&ctx))
1641 {
1642 BFD_ERR ("SHA1_Init failed");
1643 return 0;
1644 }
1645 /* ignore last 20 bytes - use the actual key data instead pkt data */
1646 if (!SHA1_Update (&ctx, with_sha1,
1647 sizeof (*with_sha1) - sizeof (with_sha1->sha1_auth.hash)))
1648 {
1649 BFD_ERR ("SHA1_Update failed");
1650 return 0;
1651 }
1652 if (!SHA1_Update (&ctx, auth_key->key, sizeof (auth_key->key)))
1653 {
1654 BFD_ERR ("SHA1_Update failed");
1655 return 0;
1656 }
1657 if (!SHA1_Final (result, &ctx))
1658 {
1659 BFD_ERR ("SHA1_Final failed");
1660 return 0;
1661 }
1662 if (0 == memcmp (result, with_sha1->sha1_auth.hash, SHA_DIGEST_LENGTH))
1663 {
1664 return 1;
1665 }
1666 BFD_ERR ("SHA1 hash: %U doesn't match the expected value: %U",
1667 format_hex_bytes, with_sha1->sha1_auth.hash, SHA_DIGEST_LENGTH,
1668 format_hex_bytes, result, SHA_DIGEST_LENGTH);
1669 return 0;
1670}
1671
1672static int
Klement Sekeraa3167442020-02-10 11:49:52 +00001673bfd_verify_pkt_auth_key (vlib_main_t * vm, const bfd_pkt_t * pkt,
1674 u32 pkt_size, bfd_session_t * bs, u8 bfd_key_id,
Klement Sekerab17dd962017-01-09 07:43:48 +01001675 bfd_auth_key_t * auth_key)
1676{
Damjan Marion07a38572018-01-21 06:44:18 -08001677 bfd_main_t *bm = &bfd_main;
Klement Sekerab17dd962017-01-09 07:43:48 +01001678 switch (auth_key->auth_type)
1679 {
1680 case BFD_AUTH_TYPE_reserved:
Damjan Marion07a38572018-01-21 06:44:18 -08001681 vlib_log_err (bm->log_class,
1682 "internal error, unexpected auth_type=%d:%s",
Klement Sekerab17dd962017-01-09 07:43:48 +01001683 auth_key->auth_type,
1684 bfd_auth_type_str (auth_key->auth_type));
1685 return 0;
1686 case BFD_AUTH_TYPE_simple_password:
Damjan Marion07a38572018-01-21 06:44:18 -08001687 vlib_log_err (bm->log_class,
1688 "internal error, not implemented, unexpected auth_type=%d:%s",
1689 auth_key->auth_type,
1690 bfd_auth_type_str (auth_key->auth_type));
Klement Sekerab17dd962017-01-09 07:43:48 +01001691 return 0;
1692 case BFD_AUTH_TYPE_keyed_md5:
1693 /* fallthrough */
1694 case BFD_AUTH_TYPE_meticulous_keyed_md5:
Damjan Marion07a38572018-01-21 06:44:18 -08001695 vlib_log_err
1696 (bm->log_class,
1697 "internal error, not implemented, unexpected auth_type=%d:%s",
Klement Sekerab17dd962017-01-09 07:43:48 +01001698 auth_key->auth_type, bfd_auth_type_str (auth_key->auth_type));
1699 return 0;
1700 case BFD_AUTH_TYPE_keyed_sha1:
1701 /* fallthrough */
1702 case BFD_AUTH_TYPE_meticulous_keyed_sha1:
1703#if WITH_LIBSSL > 0
1704 do
1705 {
1706 const u32 seq_num = clib_net_to_host_u32 (((bfd_pkt_with_sha1_auth_t
1707 *) pkt)->
1708 sha1_auth.seq_num);
Klement Sekeraa3167442020-02-10 11:49:52 +00001709 return bfd_verify_pkt_auth_seq_num (vm, bs, seq_num,
Klement Sekerab17dd962017-01-09 07:43:48 +01001710 bfd_auth_type_is_meticulous
1711 (auth_key->auth_type))
1712 && bfd_verify_pkt_auth_key_sha1 (pkt, pkt_size, bs, bfd_key_id,
1713 auth_key);
1714 }
1715 while (0);
1716#else
Damjan Marion07a38572018-01-21 06:44:18 -08001717 vlib_log_err
1718 (bm->log_class,
1719 "internal error, attempt to use SHA1 without SSL support");
Klement Sekerab17dd962017-01-09 07:43:48 +01001720 return 0;
1721#endif
1722 }
1723 return 0;
1724}
1725
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001726/**
1727 * @brief verify bfd packet - authentication
1728 *
1729 * @param pkt
1730 *
1731 * @return 1 if bfd packet is valid
1732 */
1733int
Klement Sekeraa3167442020-02-10 11:49:52 +00001734bfd_verify_pkt_auth (vlib_main_t * vm, const bfd_pkt_t * pkt, u16 pkt_size,
1735 bfd_session_t * bs)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001736{
Klement Sekerab17dd962017-01-09 07:43:48 +01001737 if (bfd_pkt_get_auth_present (pkt))
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001738 {
Klement Sekerab17dd962017-01-09 07:43:48 +01001739 /* authentication present in packet */
1740 if (!bs->auth.curr_key)
1741 {
1742 /* currently not using authentication - can we turn it on? */
1743 if (bs->auth.is_delayed && bs->auth.next_key)
1744 {
1745 /* yes, switch is scheduled - make sure the auth is valid */
Klement Sekeraa3167442020-02-10 11:49:52 +00001746 if (bfd_verify_pkt_auth_key (vm, pkt, pkt_size, bs,
Klement Sekerab17dd962017-01-09 07:43:48 +01001747 bs->auth.next_bfd_key_id,
1748 bs->auth.next_key))
1749 {
1750 /* auth matches next key, do the switch, packet is valid */
1751 bfd_session_switch_auth_to_next (bs);
1752 return 1;
1753 }
1754 }
1755 }
1756 else
1757 {
1758 /* yes, using authentication, verify the key */
Klement Sekeraa3167442020-02-10 11:49:52 +00001759 if (bfd_verify_pkt_auth_key (vm, pkt, pkt_size, bs,
Klement Sekerab17dd962017-01-09 07:43:48 +01001760 bs->auth.curr_bfd_key_id,
1761 bs->auth.curr_key))
1762 {
1763 /* verification passed, packet is valid */
1764 return 1;
1765 }
1766 else
1767 {
1768 /* verification failed - but maybe we need to switch key */
1769 if (bs->auth.is_delayed && bs->auth.next_key)
1770 {
1771 /* delayed switch present, verify if that key works */
Klement Sekeraa3167442020-02-10 11:49:52 +00001772 if (bfd_verify_pkt_auth_key (vm, pkt, pkt_size, bs,
Klement Sekerab17dd962017-01-09 07:43:48 +01001773 bs->auth.next_bfd_key_id,
1774 bs->auth.next_key))
1775 {
1776 /* auth matches next key, switch key, packet is valid */
1777 bfd_session_switch_auth_to_next (bs);
1778 return 1;
1779 }
1780 }
1781 }
1782 }
1783 }
1784 else
1785 {
1786 /* authentication in packet not present */
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001787 if (pkt_size > sizeof (*pkt))
1788 {
1789 BFD_ERR ("BFD verification failed - unexpected packet size '%d' "
1790 "(auth not present)", pkt_size);
1791 return 0;
1792 }
Klement Sekerab17dd962017-01-09 07:43:48 +01001793 if (bs->auth.curr_key)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001794 {
Klement Sekerab17dd962017-01-09 07:43:48 +01001795 /* currently authenticating - could we turn it off? */
1796 if (bs->auth.is_delayed && !bs->auth.next_key)
1797 {
1798 /* yes, delayed switch to NULL key is scheduled */
1799 bfd_session_switch_auth_to_next (bs);
1800 return 1;
1801 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001802 }
Klement Sekerab17dd962017-01-09 07:43:48 +01001803 else
1804 {
1805 /* no auth in packet, no auth in use - packet is valid */
1806 return 1;
1807 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001808 }
Klement Sekerab17dd962017-01-09 07:43:48 +01001809 return 0;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001810}
1811
1812void
Klement Sekeraa3167442020-02-10 11:49:52 +00001813bfd_consume_pkt (vlib_main_t * vm, bfd_main_t * bm, const bfd_pkt_t * pkt,
1814 u32 bs_idx)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001815{
Dave Barach1e3417f2018-07-25 08:30:27 -04001816 bfd_lock_check (bm);
1817
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001818 bfd_session_t *bs = bfd_find_session_by_idx (bm, bs_idx);
Klement Sekera0e2e0df2017-03-03 08:51:08 +01001819 if (!bs || (pkt->your_disc && pkt->your_disc != bs->local_discr))
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001820 {
1821 return;
1822 }
1823 BFD_DBG ("Scanning bfd packet, bs_idx=%d", bs->bs_idx);
1824 bs->remote_discr = pkt->my_disc;
1825 bs->remote_state = bfd_pkt_get_state (pkt);
1826 bs->remote_demand = bfd_pkt_get_demand (pkt);
Klement Sekera73884482017-02-23 09:26:30 +01001827 bs->remote_diag = bfd_pkt_get_diag_code (pkt);
Klement Sekeraa3167442020-02-10 11:49:52 +00001828 u64 now = bfd_time_now_nsec (vm, NULL);
1829 bs->last_rx_nsec = now;
Klement Sekerab17dd962017-01-09 07:43:48 +01001830 if (bfd_pkt_get_auth_present (pkt))
1831 {
1832 bfd_auth_type_e auth_type =
1833 ((bfd_pkt_with_common_auth_t *) (pkt))->common_auth.type;
1834 switch (auth_type)
1835 {
1836 case BFD_AUTH_TYPE_reserved:
1837 /* fallthrough */
1838 case BFD_AUTH_TYPE_simple_password:
1839 /* fallthrough */
1840 case BFD_AUTH_TYPE_keyed_md5:
1841 /* fallthrough */
1842 case BFD_AUTH_TYPE_meticulous_keyed_md5:
Damjan Marion07a38572018-01-21 06:44:18 -08001843 vlib_log_crit (bm->log_class,
1844 "internal error, unexpected auth_type=%d:%s",
1845 auth_type, bfd_auth_type_str (auth_type));
Klement Sekerab17dd962017-01-09 07:43:48 +01001846 break;
1847 case BFD_AUTH_TYPE_keyed_sha1:
1848 /* fallthrough */
1849 case BFD_AUTH_TYPE_meticulous_keyed_sha1:
1850 do
1851 {
1852 bfd_pkt_with_sha1_auth_t *with_sha1 =
1853 (bfd_pkt_with_sha1_auth_t *) pkt;
1854 bs->auth.remote_seq_number =
1855 clib_net_to_host_u32 (with_sha1->sha1_auth.seq_num);
1856 bs->auth.remote_seq_number_known = 1;
1857 BFD_DBG ("Received sequence number %u",
1858 bs->auth.remote_seq_number);
1859 }
1860 while (0);
1861 }
1862 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001863 bs->remote_desired_min_tx_nsec =
1864 bfd_usec_to_nsec (clib_net_to_host_u32 (pkt->des_min_tx));
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001865 bs->remote_detect_mult = pkt->head.detect_mult;
Klement Sekera637b9c42016-12-08 05:19:14 +01001866 bfd_set_remote_required_min_rx (bm, bs, now,
Klement Sekera239790f2017-02-16 10:53:53 +01001867 clib_net_to_host_u32 (pkt->req_min_rx));
1868 bfd_set_remote_required_min_echo_rx (bm, bs, now,
1869 clib_net_to_host_u32
1870 (pkt->req_min_echo_rx));
Klement Sekera239790f2017-02-16 10:53:53 +01001871 if (bfd_pkt_get_final (pkt))
Klement Sekeraa57a9702017-02-02 06:58:07 +01001872 {
Klement Sekera239790f2017-02-16 10:53:53 +01001873 if (BFD_POLL_IN_PROGRESS == bs->poll_state)
Klement Sekeraa57a9702017-02-02 06:58:07 +01001874 {
Klement Sekera239790f2017-02-16 10:53:53 +01001875 BFD_DBG ("Poll sequence terminated, bs_idx=%u", bs->bs_idx);
1876 bfd_set_poll_state (bs, BFD_POLL_NOT_NEEDED);
1877 if (BFD_STATE_up == bs->local_state)
1878 {
Klement Sekera73884482017-02-23 09:26:30 +01001879 bfd_set_effective_required_min_rx (bm, bs,
Klement Sekera239790f2017-02-16 10:53:53 +01001880 clib_max (bs->echo *
Klement Sekeraa3167442020-02-10 11:49:52 +00001881 bm->min_required_min_rx_while_echo_nsec,
1882 bs->config_required_min_rx_nsec));
Klement Sekera239790f2017-02-16 10:53:53 +01001883 }
1884 }
1885 else if (BFD_POLL_IN_PROGRESS_AND_QUEUED == bs->poll_state)
1886 {
1887 /*
1888 * next poll sequence must be delayed by at least the round trip
1889 * time, so calculate that here
1890 */
1891 BFD_DBG ("Next poll sequence can commence in " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +00001892 BFD_CLK_PRN (now - bs->poll_state_start_or_timeout_nsec));
1893 bs->poll_state_start_or_timeout_nsec =
1894 now + (now - bs->poll_state_start_or_timeout_nsec);
Klement Sekera239790f2017-02-16 10:53:53 +01001895 BFD_DBG
1896 ("Poll sequence terminated, but another is needed, bs_idx=%u",
1897 bs->bs_idx);
1898 bfd_set_poll_state (bs, BFD_POLL_NEEDED);
Klement Sekeraa57a9702017-02-02 06:58:07 +01001899 }
1900 }
Klement Sekera239790f2017-02-16 10:53:53 +01001901 bfd_calc_next_tx (bm, bs, now);
1902 bfd_set_timer (bm, bs, now, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001903 if (BFD_STATE_admin_down == bs->local_state)
Klement Sekerac48829b2017-02-14 07:55:57 +01001904 {
1905 BFD_DBG ("Session is admin-down, ignoring packet, bs_idx=%u",
1906 bs->bs_idx);
1907 return;
1908 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001909 if (BFD_STATE_admin_down == bs->remote_state)
1910 {
1911 bfd_set_diag (bs, BFD_DIAG_CODE_neighbor_sig_down);
Klement Sekeraa3167442020-02-10 11:49:52 +00001912 bfd_set_state (vm, bm, bs, BFD_STATE_down, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001913 }
1914 else if (BFD_STATE_down == bs->local_state)
1915 {
1916 if (BFD_STATE_down == bs->remote_state)
1917 {
Klement Sekerae50e8562017-04-04 16:19:48 +02001918 bfd_set_diag (bs, BFD_DIAG_CODE_no_diag);
Klement Sekeraa3167442020-02-10 11:49:52 +00001919 bfd_set_state (vm, bm, bs, BFD_STATE_init, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001920 }
1921 else if (BFD_STATE_init == bs->remote_state)
1922 {
Klement Sekerae50e8562017-04-04 16:19:48 +02001923 bfd_set_diag (bs, BFD_DIAG_CODE_no_diag);
Klement Sekeraa3167442020-02-10 11:49:52 +00001924 bfd_set_state (vm, bm, bs, BFD_STATE_up, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001925 }
1926 }
1927 else if (BFD_STATE_init == bs->local_state)
1928 {
1929 if (BFD_STATE_up == bs->remote_state ||
1930 BFD_STATE_init == bs->remote_state)
1931 {
Klement Sekerae50e8562017-04-04 16:19:48 +02001932 bfd_set_diag (bs, BFD_DIAG_CODE_no_diag);
Klement Sekeraa3167442020-02-10 11:49:52 +00001933 bfd_set_state (vm, bm, bs, BFD_STATE_up, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001934 }
1935 }
1936 else /* BFD_STATE_up == bs->local_state */
1937 {
1938 if (BFD_STATE_down == bs->remote_state)
1939 {
1940 bfd_set_diag (bs, BFD_DIAG_CODE_neighbor_sig_down);
Klement Sekeraa3167442020-02-10 11:49:52 +00001941 bfd_set_state (vm, bm, bs, BFD_STATE_down, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001942 }
1943 }
1944}
1945
Klement Sekera239790f2017-02-16 10:53:53 +01001946int
Klement Sekeraa3167442020-02-10 11:49:52 +00001947bfd_consume_echo_pkt (vlib_main_t * vm, bfd_main_t * bm, vlib_buffer_t * b)
Klement Sekeraa57a9702017-02-02 06:58:07 +01001948{
Klement Sekera239790f2017-02-16 10:53:53 +01001949 bfd_echo_pkt_t *pkt = NULL;
1950 if (b->current_length != sizeof (*pkt))
Klement Sekeraa57a9702017-02-02 06:58:07 +01001951 {
Klement Sekera239790f2017-02-16 10:53:53 +01001952 return 0;
Klement Sekeraa57a9702017-02-02 06:58:07 +01001953 }
Klement Sekera239790f2017-02-16 10:53:53 +01001954 pkt = vlib_buffer_get_current (b);
1955 bfd_session_t *bs = bfd_find_session_by_disc (bm, pkt->discriminator);
1956 if (!bs)
1957 {
1958 return 0;
1959 }
1960 BFD_DBG ("Scanning bfd echo packet, bs_idx=%d", bs->bs_idx);
1961 u64 checksum =
Klement Sekeraa3167442020-02-10 11:49:52 +00001962 bfd_calc_echo_checksum (bs->local_discr, pkt->expire_time_nsec,
Klement Sekera239790f2017-02-16 10:53:53 +01001963 bs->echo_secret);
1964 if (checksum != pkt->checksum)
1965 {
1966 BFD_DBG ("Invalid echo packet, checksum mismatch");
1967 return 1;
1968 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001969 u64 now = bfd_time_now_nsec (vm, NULL);
1970 if (pkt->expire_time_nsec < now)
Klement Sekera239790f2017-02-16 10:53:53 +01001971 {
1972 BFD_DBG ("Stale packet received, expire time %lu < now %lu",
Klement Sekeraa3167442020-02-10 11:49:52 +00001973 pkt->expire_time_nsec, now);
Klement Sekera239790f2017-02-16 10:53:53 +01001974 }
1975 else
1976 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001977 bs->echo_last_rx_nsec = now;
Klement Sekera239790f2017-02-16 10:53:53 +01001978 }
1979 return 1;
Klement Sekeraa57a9702017-02-02 06:58:07 +01001980}
1981
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001982u8 *
1983format_bfd_session (u8 * s, va_list * args)
1984{
1985 const bfd_session_t *bs = va_arg (*args, bfd_session_t *);
Klement Sekera239790f2017-02-16 10:53:53 +01001986 s = format (s, "bs_idx=%u local-state=%s remote-state=%s\n"
Damjan Marion06d82262020-10-21 12:43:40 +02001987 "local-discriminator=%u remote-discriminator=%u\n"
1988 "local-diag=%s echo-active=%s\n"
1989 "desired-min-tx=%u required-min-rx=%u\n"
1990 "required-min-echo-rx=%u detect-mult=%u\n"
1991 "remote-min-rx=%u remote-min-echo-rx=%u\n"
1992 "remote-demand=%s poll-state=%s\n"
1993 "auth: local-seq-num=%u remote-seq-num=%u\n"
1994 " is-delayed=%s\n"
1995 " curr-key=%U\n"
1996 " next-key=%U",
Klement Sekerab17dd962017-01-09 07:43:48 +01001997 bs->bs_idx, bfd_state_string (bs->local_state),
Damjan Marion06d82262020-10-21 12:43:40 +02001998 bfd_state_string (bs->remote_state), bs->local_discr,
1999 bs->remote_discr, bfd_diag_code_string (bs->local_diag),
2000 (bs->echo ? "yes" : "no"), bs->config_desired_min_tx_usec,
2001 bs->config_required_min_rx_usec, 1, bs->local_detect_mult,
2002 bs->remote_min_rx_usec, bs->remote_min_echo_rx_usec,
Klement Sekera239790f2017-02-16 10:53:53 +01002003 (bs->remote_demand ? "yes" : "no"),
Damjan Marion06d82262020-10-21 12:43:40 +02002004 bfd_poll_state_string (bs->poll_state),
2005 bs->auth.local_seq_number, bs->auth.remote_seq_number,
2006 (bs->auth.is_delayed ? "yes" : "no"),
2007 format_bfd_auth_key, bs->auth.curr_key, format_bfd_auth_key,
Klement Sekera239790f2017-02-16 10:53:53 +01002008 bs->auth.next_key);
Klement Sekerab17dd962017-01-09 07:43:48 +01002009 return s;
2010}
2011
Damjan Marion07a38572018-01-21 06:44:18 -08002012u8 *
2013format_bfd_session_brief (u8 * s, va_list * args)
2014{
2015 const bfd_session_t *bs = va_arg (*args, bfd_session_t *);
2016 s =
2017 format (s, "bs_idx=%u local-state=%s remote-state=%s", bs->bs_idx,
2018 bfd_state_string (bs->local_state),
2019 bfd_state_string (bs->remote_state));
2020 return s;
2021}
2022
Klement Sekerab17dd962017-01-09 07:43:48 +01002023unsigned
2024bfd_auth_type_supported (bfd_auth_type_e auth_type)
2025{
2026 if (auth_type == BFD_AUTH_TYPE_keyed_sha1 ||
2027 auth_type == BFD_AUTH_TYPE_meticulous_keyed_sha1)
2028 {
2029 return 1;
2030 }
2031 return 0;
2032}
2033
2034vnet_api_error_t
2035bfd_auth_activate (bfd_session_t * bs, u32 conf_key_id,
2036 u8 bfd_key_id, u8 is_delayed)
2037{
2038 bfd_main_t *bm = &bfd_main;
2039 const uword *key_idx_p =
2040 hash_get (bm->auth_key_by_conf_key_id, conf_key_id);
2041 if (!key_idx_p)
2042 {
Damjan Marion07a38572018-01-21 06:44:18 -08002043 vlib_log_err (bm->log_class,
2044 "authentication key with config ID %u doesn't exist)",
Klement Sekerab17dd962017-01-09 07:43:48 +01002045 conf_key_id);
2046 return VNET_API_ERROR_BFD_ENOENT;
2047 }
2048 const uword key_idx = *key_idx_p;
2049 bfd_auth_key_t *key = pool_elt_at_index (bm->auth_keys, key_idx);
2050 if (is_delayed)
2051 {
2052 if (bs->auth.next_key == key)
2053 {
2054 /* already using this key, no changes required */
2055 return 0;
2056 }
2057 bs->auth.next_key = key;
2058 bs->auth.next_bfd_key_id = bfd_key_id;
2059 bs->auth.is_delayed = 1;
2060 }
2061 else
2062 {
2063 if (bs->auth.curr_key == key)
2064 {
2065 /* already using this key, no changes required */
2066 return 0;
2067 }
2068 if (bs->auth.curr_key)
2069 {
2070 --bs->auth.curr_key->use_count;
2071 }
2072 bs->auth.curr_key = key;
2073 bs->auth.curr_bfd_key_id = bfd_key_id;
2074 bs->auth.is_delayed = 0;
2075 }
2076 ++key->use_count;
Klement Sekera239790f2017-02-16 10:53:53 +01002077 BFD_DBG ("\nSession auth modified: %U", format_bfd_session, bs);
Damjan Marion07a38572018-01-21 06:44:18 -08002078 vlib_log_info (bm->log_class, "session auth modified: %U",
2079 format_bfd_session_brief, bs);
Klement Sekerab17dd962017-01-09 07:43:48 +01002080 return 0;
2081}
2082
2083vnet_api_error_t
2084bfd_auth_deactivate (bfd_session_t * bs, u8 is_delayed)
2085{
Damjan Marion07a38572018-01-21 06:44:18 -08002086 bfd_main_t *bm = &bfd_main;
Klement Sekerab17dd962017-01-09 07:43:48 +01002087#if WITH_LIBSSL > 0
2088 if (!is_delayed)
2089 {
2090 /* not delayed - deactivate the current key right now */
2091 if (bs->auth.curr_key)
2092 {
2093 --bs->auth.curr_key->use_count;
2094 bs->auth.curr_key = NULL;
2095 }
2096 bs->auth.is_delayed = 0;
2097 }
2098 else
2099 {
2100 /* delayed - mark as so */
2101 bs->auth.is_delayed = 1;
2102 }
2103 /*
2104 * clear the next key unconditionally - either the auth change is not delayed
2105 * in which case the caller expects the session to not use authentication
2106 * from this point forward, or it is delayed, in which case the next_key
2107 * needs to be set to NULL to make it so in the future
2108 */
2109 if (bs->auth.next_key)
2110 {
2111 --bs->auth.next_key->use_count;
2112 bs->auth.next_key = NULL;
2113 }
Klement Sekera239790f2017-02-16 10:53:53 +01002114 BFD_DBG ("\nSession auth modified: %U", format_bfd_session, bs);
Damjan Marion07a38572018-01-21 06:44:18 -08002115 vlib_log_info (bm->log_class, "session auth modified: %U",
2116 format_bfd_session_brief, bs);
Klement Sekerab17dd962017-01-09 07:43:48 +01002117 return 0;
2118#else
Damjan Marion07a38572018-01-21 06:44:18 -08002119 vlib_log_err (bm->log_class,
2120 "SSL missing, cannot deactivate BFD authentication");
Klement Sekerab17dd962017-01-09 07:43:48 +01002121 return VNET_API_ERROR_BFD_NOTSUPP;
2122#endif
Klement Sekera0e3c0de2016-09-29 14:43:44 +02002123}
2124
Klement Sekeraa57a9702017-02-02 06:58:07 +01002125vnet_api_error_t
2126bfd_session_set_params (bfd_main_t * bm, bfd_session_t * bs,
2127 u32 desired_min_tx_usec,
2128 u32 required_min_rx_usec, u8 detect_mult)
2129{
2130 if (bs->local_detect_mult != detect_mult ||
2131 bs->config_desired_min_tx_usec != desired_min_tx_usec ||
2132 bs->config_required_min_rx_usec != required_min_rx_usec)
2133 {
Klement Sekera239790f2017-02-16 10:53:53 +01002134 BFD_DBG ("\nChanging session params: %U", format_bfd_session, bs);
Klement Sekeraa57a9702017-02-02 06:58:07 +01002135 switch (bs->poll_state)
2136 {
Klement Sekera239790f2017-02-16 10:53:53 +01002137 case BFD_POLL_NOT_NEEDED:
Klement Sekeraa57a9702017-02-02 06:58:07 +01002138 if (BFD_STATE_up == bs->local_state ||
2139 BFD_STATE_init == bs->local_state)
2140 {
2141 /* poll sequence is not needed for detect multiplier change */
2142 if (bs->config_desired_min_tx_usec != desired_min_tx_usec ||
2143 bs->config_required_min_rx_usec != required_min_rx_usec)
2144 {
Klement Sekera239790f2017-02-16 10:53:53 +01002145 bfd_set_poll_state (bs, BFD_POLL_NEEDED);
Klement Sekeraa57a9702017-02-02 06:58:07 +01002146 }
2147 }
2148 break;
Klement Sekera239790f2017-02-16 10:53:53 +01002149 case BFD_POLL_NEEDED:
2150 case BFD_POLL_IN_PROGRESS_AND_QUEUED:
2151 /*
2152 * nothing to do - will be handled in the future poll which is
2153 * already scheduled for execution
2154 */
Klement Sekeraa57a9702017-02-02 06:58:07 +01002155 break;
Klement Sekera239790f2017-02-16 10:53:53 +01002156 case BFD_POLL_IN_PROGRESS:
2157 /* poll sequence is not needed for detect multiplier change */
2158 if (bs->config_desired_min_tx_usec != desired_min_tx_usec ||
2159 bs->config_required_min_rx_usec != required_min_rx_usec)
2160 {
2161 BFD_DBG ("Poll in progress, queueing extra poll, bs_idx=%u",
2162 bs->bs_idx);
2163 bfd_set_poll_state (bs, BFD_POLL_IN_PROGRESS_AND_QUEUED);
2164 }
Klement Sekeraa57a9702017-02-02 06:58:07 +01002165 }
2166
2167 bs->local_detect_mult = detect_mult;
2168 bs->config_desired_min_tx_usec = desired_min_tx_usec;
Klement Sekeraa3167442020-02-10 11:49:52 +00002169 bs->config_desired_min_tx_nsec = bfd_usec_to_nsec (desired_min_tx_usec);
Klement Sekeraa57a9702017-02-02 06:58:07 +01002170 bs->config_required_min_rx_usec = required_min_rx_usec;
Klement Sekeraa3167442020-02-10 11:49:52 +00002171 bs->config_required_min_rx_nsec =
2172 bfd_usec_to_nsec (required_min_rx_usec);
Klement Sekera239790f2017-02-16 10:53:53 +01002173 BFD_DBG ("\nChanged session params: %U", format_bfd_session, bs);
Klement Sekeraa57a9702017-02-02 06:58:07 +01002174
Damjan Marion07a38572018-01-21 06:44:18 -08002175 vlib_log_info (bm->log_class, "changed session params: %U",
2176 format_bfd_session_brief, bs);
Klement Sekeraa57a9702017-02-02 06:58:07 +01002177 vlib_process_signal_event (bm->vlib_main, bm->bfd_process_node_index,
2178 BFD_EVENT_CONFIG_CHANGED, bs->bs_idx);
2179 }
2180 else
2181 {
2182 BFD_DBG ("Ignore parameter change - no change, bs_idx=%u", bs->bs_idx);
2183 }
2184 return 0;
2185}
2186
Klement Sekera73884482017-02-23 09:26:30 +01002187vnet_api_error_t
2188bfd_auth_set_key (u32 conf_key_id, u8 auth_type, u8 key_len,
2189 const u8 * key_data)
2190{
Damjan Marion07a38572018-01-21 06:44:18 -08002191 bfd_main_t *bm = &bfd_main;
Klement Sekera73884482017-02-23 09:26:30 +01002192#if WITH_LIBSSL > 0
2193 bfd_auth_key_t *auth_key = NULL;
Klement Sekerab16bfe32017-02-28 11:56:48 +01002194 if (!key_len || key_len > bfd_max_key_len_for_auth_type (auth_type))
Klement Sekera73884482017-02-23 09:26:30 +01002195 {
Damjan Marion07a38572018-01-21 06:44:18 -08002196 vlib_log_err (bm->log_class,
2197 "invalid authentication key length for auth_type=%d:%s "
2198 "(key_len=%u, must be non-zero, expected max=%u)",
Klement Sekera73884482017-02-23 09:26:30 +01002199 auth_type, bfd_auth_type_str (auth_type), key_len,
Klement Sekerab16bfe32017-02-28 11:56:48 +01002200 (u32) bfd_max_key_len_for_auth_type (auth_type));
Klement Sekera73884482017-02-23 09:26:30 +01002201 return VNET_API_ERROR_INVALID_VALUE;
2202 }
2203 if (!bfd_auth_type_supported (auth_type))
2204 {
Damjan Marion07a38572018-01-21 06:44:18 -08002205 vlib_log_err (bm->log_class, "unsupported auth type=%d:%s", auth_type,
Klement Sekera73884482017-02-23 09:26:30 +01002206 bfd_auth_type_str (auth_type));
2207 return VNET_API_ERROR_BFD_NOTSUPP;
2208 }
Klement Sekera73884482017-02-23 09:26:30 +01002209 uword *key_idx_p = hash_get (bm->auth_key_by_conf_key_id, conf_key_id);
2210 if (key_idx_p)
2211 {
2212 /* modifying existing key - must not be used */
2213 const uword key_idx = *key_idx_p;
2214 auth_key = pool_elt_at_index (bm->auth_keys, key_idx);
2215 if (auth_key->use_count > 0)
2216 {
Damjan Marion07a38572018-01-21 06:44:18 -08002217 vlib_log_err (bm->log_class,
2218 "authentication key with conf ID %u in use by %u BFD "
2219 "session(s) - cannot modify", conf_key_id,
2220 auth_key->use_count);
Klement Sekera73884482017-02-23 09:26:30 +01002221 return VNET_API_ERROR_BFD_EINUSE;
2222 }
2223 }
2224 else
2225 {
2226 /* adding new key */
2227 pool_get (bm->auth_keys, auth_key);
2228 auth_key->conf_key_id = conf_key_id;
2229 hash_set (bm->auth_key_by_conf_key_id, conf_key_id,
2230 auth_key - bm->auth_keys);
2231 }
2232 auth_key->auth_type = auth_type;
Dave Barachb7b92992018-10-17 10:38:51 -04002233 clib_memset (auth_key->key, 0, sizeof (auth_key->key));
Klement Sekera73884482017-02-23 09:26:30 +01002234 clib_memcpy (auth_key->key, key_data, key_len);
2235 return 0;
2236#else
Damjan Marion07a38572018-01-21 06:44:18 -08002237 vlib_log_err (bm->log_class,
2238 "SSL missing, cannot manipulate authentication keys");
Klement Sekera73884482017-02-23 09:26:30 +01002239 return VNET_API_ERROR_BFD_NOTSUPP;
2240#endif
2241}
2242
2243vnet_api_error_t
2244bfd_auth_del_key (u32 conf_key_id)
2245{
2246#if WITH_LIBSSL > 0
2247 bfd_auth_key_t *auth_key = NULL;
2248 bfd_main_t *bm = &bfd_main;
2249 uword *key_idx_p = hash_get (bm->auth_key_by_conf_key_id, conf_key_id);
2250 if (key_idx_p)
2251 {
2252 /* deleting existing key - must not be used */
2253 const uword key_idx = *key_idx_p;
2254 auth_key = pool_elt_at_index (bm->auth_keys, key_idx);
2255 if (auth_key->use_count > 0)
2256 {
Damjan Marion07a38572018-01-21 06:44:18 -08002257 vlib_log_err (bm->log_class,
2258 "authentication key with conf ID %u in use by %u BFD "
2259 "session(s) - cannot delete", conf_key_id,
2260 auth_key->use_count);
Klement Sekera73884482017-02-23 09:26:30 +01002261 return VNET_API_ERROR_BFD_EINUSE;
2262 }
2263 hash_unset (bm->auth_key_by_conf_key_id, conf_key_id);
Dave Barachb7b92992018-10-17 10:38:51 -04002264 clib_memset (auth_key, 0, sizeof (*auth_key));
Klement Sekera73884482017-02-23 09:26:30 +01002265 pool_put (bm->auth_keys, auth_key);
2266 }
2267 else
2268 {
2269 /* no such key */
Damjan Marion07a38572018-01-21 06:44:18 -08002270 vlib_log_err (bm->log_class,
2271 "authentication key with conf ID %u does not exist",
Klement Sekera73884482017-02-23 09:26:30 +01002272 conf_key_id);
2273 return VNET_API_ERROR_BFD_ENOENT;
2274 }
2275 return 0;
2276#else
Damjan Marion07a38572018-01-21 06:44:18 -08002277 vlib_log_err (bm->log_class,
2278 "SSL missing, cannot manipulate authentication keys");
Klement Sekera73884482017-02-23 09:26:30 +01002279 return VNET_API_ERROR_BFD_NOTSUPP;
2280#endif
2281}
2282
Klement Sekera0e3c0de2016-09-29 14:43:44 +02002283bfd_main_t bfd_main;
2284
2285/*
2286 * fd.io coding-style-patch-verification: ON
2287 *
2288 * Local Variables:
2289 * eval: (c-set-style "gnu")
2290 * End:
2291 */