blob: 3ed9c03952880eb97285a78518dbaad9f60aadf5 [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
Dave Barach1e3417f2018-07-25 08:30:27 -040020#include <vlibmemory/api.h>
Klement Sekera0e3c0de2016-09-29 14:43:44 +020021#include <vppinfra/random.h>
22#include <vppinfra/error.h>
23#include <vppinfra/hash.h>
Klement Sekera239790f2017-02-16 10:53:53 +010024#include <vppinfra/xxhash.h>
Klement Sekera0e3c0de2016-09-29 14:43:44 +020025#include <vnet/ethernet/ethernet.h>
26#include <vnet/ethernet/packet.h>
27#include <vnet/bfd/bfd_debug.h>
28#include <vnet/bfd/bfd_protocol.h>
29#include <vnet/bfd/bfd_main.h>
Damjan Marion07a38572018-01-21 06:44:18 -080030#include <vlib/log.h>
Klement Sekeraefd4d702021-04-20 19:21:36 +020031#include <vnet/crypto/crypto.h>
Klement Sekera239790f2017-02-16 10:53:53 +010032
33static u64
34bfd_calc_echo_checksum (u32 discriminator, u64 expire_time, u32 secret)
35{
36 u64 checksum = 0;
Gabriel Ganne8e66b9b2017-12-14 16:20:37 +010037#if defined(clib_crc32c_uses_intrinsics) && !defined (__i386__)
Damjan Marion271daab2021-11-12 16:00:24 +010038 checksum = clib_crc32c_u64 (0, discriminator);
39 checksum = clib_crc32c_u64 (checksum, expire_time);
40 checksum = clib_crc32c_u64 (checksum, secret);
Klement Sekera239790f2017-02-16 10:53:53 +010041#else
42 checksum = clib_xxhash (discriminator ^ expire_time ^ secret);
Klement Sekerab17dd962017-01-09 07:43:48 +010043#endif
Klement Sekera239790f2017-02-16 10:53:53 +010044 return checksum;
45}
Klement Sekera0e3c0de2016-09-29 14:43:44 +020046
47static u64
Klement Sekeraa3167442020-02-10 11:49:52 +000048bfd_usec_to_nsec (u64 us)
Klement Sekera0e3c0de2016-09-29 14:43:44 +020049{
Klement Sekeraa3167442020-02-10 11:49:52 +000050 return us * NSEC_PER_USEC;
Klement Sekera0e3c0de2016-09-29 14:43:44 +020051}
52
Klement Sekera73884482017-02-23 09:26:30 +010053u32
Klement Sekeraa3167442020-02-10 11:49:52 +000054bfd_nsec_to_usec (u64 nsec)
Klement Sekera239790f2017-02-16 10:53:53 +010055{
Klement Sekeraa3167442020-02-10 11:49:52 +000056 return nsec / NSEC_PER_USEC;
57}
58
59always_inline u64
60bfd_time_now_nsec (vlib_main_t * vm, f64 * vm_time)
61{
62 f64 _vm_time = vlib_time_now (vm);
63 if (vm_time)
64 *vm_time = _vm_time;
65 return _vm_time * NSEC_PER_SEC;
Klement Sekera239790f2017-02-16 10:53:53 +010066}
67
Klement Sekera0e3c0de2016-09-29 14:43:44 +020068static vlib_node_registration_t bfd_process_node;
69
Klement Sekera73884482017-02-23 09:26:30 +010070u8 *
Klement Sekerab17dd962017-01-09 07:43:48 +010071format_bfd_auth_key (u8 * s, va_list * args)
72{
73 const bfd_auth_key_t *key = va_arg (*args, bfd_auth_key_t *);
74 if (key)
75 {
76 s = format (s, "{auth-type=%u:%s, conf-key-id=%u, use-count=%u}, ",
77 key->auth_type, bfd_auth_type_str (key->auth_type),
78 key->conf_key_id, key->use_count);
79 }
80 else
81 {
82 s = format (s, "{none}");
83 }
84 return s;
85}
86
Klement Sekera0e3c0de2016-09-29 14:43:44 +020087/*
88 * We actually send all bfd pkts to the "error" node after scanning
89 * them, so the graph node has only one next-index. The "error-drop"
90 * node automatically bumps our per-node packet counters for us.
91 */
92typedef enum
93{
94 BFD_INPUT_NEXT_NORMAL,
95 BFD_INPUT_N_NEXT,
96} bfd_input_next_t;
97
Klement Sekerae4504c62016-12-08 10:16:41 +010098static void bfd_on_state_change (bfd_main_t * bm, bfd_session_t * bs, u64 now,
99 int handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200100
101static void
102bfd_set_defaults (bfd_main_t * bm, bfd_session_t * bs)
103{
104 bs->local_state = BFD_STATE_down;
105 bs->local_diag = BFD_DIAG_CODE_no_diag;
106 bs->remote_state = BFD_STATE_down;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200107 bs->remote_discr = 0;
Neale Ranns88fc83e2017-04-05 08:11:14 -0700108 bs->hop_type = BFD_HOP_TYPE_SINGLE;
Klement Sekera239790f2017-02-16 10:53:53 +0100109 bs->config_desired_min_tx_usec = BFD_DEFAULT_DESIRED_MIN_TX_USEC;
Klement Sekeraa3167442020-02-10 11:49:52 +0000110 bs->config_desired_min_tx_nsec = bm->default_desired_min_tx_nsec;
111 bs->effective_desired_min_tx_nsec = bm->default_desired_min_tx_nsec;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100112 bs->remote_min_rx_usec = 1;
Klement Sekeraa3167442020-02-10 11:49:52 +0000113 bs->remote_min_rx_nsec = bfd_usec_to_nsec (bs->remote_min_rx_usec);
Klement Sekera239790f2017-02-16 10:53:53 +0100114 bs->remote_min_echo_rx_usec = 0;
Klement Sekeraa3167442020-02-10 11:49:52 +0000115 bs->remote_min_echo_rx_nsec = 0;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200116 bs->remote_demand = 0;
Klement Sekerab17dd962017-01-09 07:43:48 +0100117 bs->auth.remote_seq_number = 0;
118 bs->auth.remote_seq_number_known = 0;
119 bs->auth.local_seq_number = random_u32 (&bm->random_seed);
Klement Sekera239790f2017-02-16 10:53:53 +0100120 bs->echo_secret = random_u32 (&bm->random_seed);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200121}
122
123static void
124bfd_set_diag (bfd_session_t * bs, bfd_diag_code_e code)
125{
126 if (bs->local_diag != code)
127 {
128 BFD_DBG ("set local_diag, bs_idx=%d: '%d:%s'", bs->bs_idx, code,
129 bfd_diag_code_string (code));
130 bs->local_diag = code;
131 }
132}
133
134static void
Klement Sekeraa3167442020-02-10 11:49:52 +0000135bfd_set_state (vlib_main_t * vm, bfd_main_t * bm, bfd_session_t * bs,
Klement Sekerae4504c62016-12-08 10:16:41 +0100136 bfd_state_e new_state, int handling_wakeup)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200137{
138 if (bs->local_state != new_state)
139 {
140 BFD_DBG ("Change state, bs_idx=%d: %s->%s", bs->bs_idx,
141 bfd_state_string (bs->local_state),
142 bfd_state_string (new_state));
143 bs->local_state = new_state;
Klement Sekeraa3167442020-02-10 11:49:52 +0000144 bfd_on_state_change (bm, bs, bfd_time_now_nsec (vm, NULL),
145 handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200146 }
147}
148
Klement Sekera73884482017-02-23 09:26:30 +0100149const char *
Klement Sekera239790f2017-02-16 10:53:53 +0100150bfd_poll_state_string (bfd_poll_state_e state)
151{
152 switch (state)
153 {
154#define F(x) \
155 case BFD_POLL_##x: \
156 return "BFD_POLL_" #x;
157 foreach_bfd_poll_state (F)
158#undef F
159 }
160 return "UNKNOWN";
161}
162
163static void
164bfd_set_poll_state (bfd_session_t * bs, bfd_poll_state_e state)
165{
166 if (bs->poll_state != state)
167 {
168 BFD_DBG ("Setting poll state=%s, bs_idx=%u",
169 bfd_poll_state_string (state), bs->bs_idx);
170 bs->poll_state = state;
171 }
172}
173
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200174static void
175bfd_recalc_tx_interval (bfd_main_t * bm, bfd_session_t * bs)
176{
Klement Sekeraa3167442020-02-10 11:49:52 +0000177 bs->transmit_interval_nsec =
178 clib_max (bs->effective_desired_min_tx_nsec, bs->remote_min_rx_nsec);
Klement Sekera239790f2017-02-16 10:53:53 +0100179 BFD_DBG ("Recalculated transmit interval " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +0000180 BFD_CLK_PRN (bs->transmit_interval_nsec));
Klement Sekera239790f2017-02-16 10:53:53 +0100181}
182
183static void
184bfd_recalc_echo_tx_interval (bfd_main_t * bm, bfd_session_t * bs)
185{
Klement Sekeraa3167442020-02-10 11:49:52 +0000186 bs->echo_transmit_interval_nsec =
187 clib_max (bs->effective_desired_min_tx_nsec, bs->remote_min_echo_rx_nsec);
Klement Sekera239790f2017-02-16 10:53:53 +0100188 BFD_DBG ("Recalculated echo transmit interval " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +0000189 BFD_CLK_PRN (bs->echo_transmit_interval_nsec));
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200190}
191
192static void
193bfd_calc_next_tx (bfd_main_t * bm, bfd_session_t * bs, u64 now)
194{
Klement Sekera239790f2017-02-16 10:53:53 +0100195 if (bs->local_detect_mult > 1)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200196 {
Klement Sekera239790f2017-02-16 10:53:53 +0100197 /* common case - 75-100% of transmit interval */
Klement Sekeraa3167442020-02-10 11:49:52 +0000198 bs->tx_timeout_nsec = bs->last_tx_nsec +
Klement Sekera239790f2017-02-16 10:53:53 +0100199 (1 - .25 * (random_f64 (&bm->random_seed))) *
Klement Sekeraa3167442020-02-10 11:49:52 +0000200 bs->transmit_interval_nsec;
201 if (bs->tx_timeout_nsec < now)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200202 {
Klement Sekera239790f2017-02-16 10:53:53 +0100203 /*
204 * the timeout is in the past, which means that either remote
205 * demand mode was set or performance/clock issues ...
206 */
207 BFD_DBG ("Missed %lu transmit events (now is %lu, calc "
208 "tx_timeout is %lu)",
Klement Sekeraa3167442020-02-10 11:49:52 +0000209 (now - bs->tx_timeout_nsec) /
210 bs->transmit_interval_nsec, now, bs->tx_timeout_nsec);
211 bs->tx_timeout_nsec = now;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200212 }
213 }
214 else
215 {
Klement Sekera239790f2017-02-16 10:53:53 +0100216 /* special case - 75-90% of transmit interval */
Klement Sekeraa3167442020-02-10 11:49:52 +0000217 bs->tx_timeout_nsec = bs->last_tx_nsec +
Klement Sekera239790f2017-02-16 10:53:53 +0100218 (.9 - .15 * (random_f64 (&bm->random_seed))) *
Klement Sekeraa3167442020-02-10 11:49:52 +0000219 bs->transmit_interval_nsec;
220 if (bs->tx_timeout_nsec < now)
Klement Sekera239790f2017-02-16 10:53:53 +0100221 {
222 /*
223 * the timeout is in the past, which means that either remote
224 * demand mode was set or performance/clock issues ...
225 */
226 BFD_DBG ("Missed %lu transmit events (now is %lu, calc "
227 "tx_timeout is %lu)",
Klement Sekeraa3167442020-02-10 11:49:52 +0000228 (now - bs->tx_timeout_nsec) /
229 bs->transmit_interval_nsec, now, bs->tx_timeout_nsec);
230 bs->tx_timeout_nsec = now;
Klement Sekera239790f2017-02-16 10:53:53 +0100231 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200232 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000233 if (bs->tx_timeout_nsec)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200234 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000235 BFD_DBG ("Next transmit in %lu nsec/%.02fs@%lu",
236 bs->tx_timeout_nsec - now,
237 (bs->tx_timeout_nsec - now) * SEC_PER_NSEC,
238 bs->tx_timeout_nsec);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200239 }
240}
241
242static void
Klement Sekera239790f2017-02-16 10:53:53 +0100243bfd_calc_next_echo_tx (bfd_main_t * bm, bfd_session_t * bs, u64 now)
244{
Klement Sekeraa3167442020-02-10 11:49:52 +0000245 bs->echo_tx_timeout_nsec =
246 bs->echo_last_tx_nsec + bs->echo_transmit_interval_nsec;
247 if (bs->echo_tx_timeout_nsec < now)
Klement Sekera239790f2017-02-16 10:53:53 +0100248 {
249 /* huh, we've missed it already, transmit now */
250 BFD_DBG ("Missed %lu echo transmit events (now is %lu, calc tx_timeout "
251 "is %lu)",
Klement Sekeraa3167442020-02-10 11:49:52 +0000252 (now - bs->echo_tx_timeout_nsec) /
253 bs->echo_transmit_interval_nsec,
254 now, bs->echo_tx_timeout_nsec);
255 bs->echo_tx_timeout_nsec = now;
Klement Sekera239790f2017-02-16 10:53:53 +0100256 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000257 BFD_DBG ("Next echo transmit in %lu nsec/%.02fs@%lu",
258 bs->echo_tx_timeout_nsec - now,
259 (bs->echo_tx_timeout_nsec - now) * SEC_PER_NSEC,
260 bs->echo_tx_timeout_nsec);
Klement Sekera239790f2017-02-16 10:53:53 +0100261}
262
263static void
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200264bfd_recalc_detection_time (bfd_main_t * bm, bfd_session_t * bs)
265{
Klement Sekera73884482017-02-23 09:26:30 +0100266 if (bs->local_state == BFD_STATE_init || bs->local_state == BFD_STATE_up)
267 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000268 bs->detection_time_nsec =
Klement Sekera73884482017-02-23 09:26:30 +0100269 bs->remote_detect_mult *
Klement Sekeraa3167442020-02-10 11:49:52 +0000270 clib_max (bs->effective_required_min_rx_nsec,
271 bs->remote_desired_min_tx_nsec);
272 BFD_DBG ("Recalculated detection time %lu nsec/%.3fs",
273 bs->detection_time_nsec,
274 bs->detection_time_nsec * SEC_PER_NSEC);
Klement Sekera73884482017-02-23 09:26:30 +0100275 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200276}
277
278static void
Klement Sekerae4504c62016-12-08 10:16:41 +0100279bfd_set_timer (bfd_main_t * bm, bfd_session_t * bs, u64 now,
280 int handling_wakeup)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200281{
282 u64 next = 0;
283 u64 rx_timeout = 0;
Klement Sekera239790f2017-02-16 10:53:53 +0100284 u64 tx_timeout = 0;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200285 if (BFD_STATE_up == bs->local_state)
286 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000287 rx_timeout = bs->last_rx_nsec + bs->detection_time_nsec;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200288 }
Klement Sekera73884482017-02-23 09:26:30 +0100289 if (BFD_STATE_up != bs->local_state ||
290 (!bs->remote_demand && bs->remote_min_rx_usec) ||
Klement Sekera239790f2017-02-16 10:53:53 +0100291 BFD_POLL_NOT_NEEDED != bs->poll_state)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200292 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000293 tx_timeout = bs->tx_timeout_nsec;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200294 }
Klement Sekera239790f2017-02-16 10:53:53 +0100295 if (tx_timeout && rx_timeout)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200296 {
Klement Sekera239790f2017-02-16 10:53:53 +0100297 next = clib_min (tx_timeout, rx_timeout);
298 }
299 else if (tx_timeout)
300 {
301 next = tx_timeout;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200302 }
303 else if (rx_timeout)
304 {
305 next = rx_timeout;
306 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000307 if (bs->echo && next > bs->echo_tx_timeout_nsec)
Klement Sekera239790f2017-02-16 10:53:53 +0100308 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000309 next = bs->echo_tx_timeout_nsec;
Klement Sekera239790f2017-02-16 10:53:53 +0100310 }
311 BFD_DBG ("bs_idx=%u, tx_timeout=%lu, echo_tx_timeout=%lu, rx_timeout=%lu, "
312 "next=%s",
Klement Sekeraa3167442020-02-10 11:49:52 +0000313 bs->bs_idx, tx_timeout, bs->echo_tx_timeout_nsec, rx_timeout,
Klement Sekera239790f2017-02-16 10:53:53 +0100314 next == tx_timeout
Klement Sekeraa3167442020-02-10 11:49:52 +0000315 ? "tx" : (next == bs->echo_tx_timeout_nsec ? "echo tx" : "rx"));
316 if (next)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200317 {
Dave Barach1e3417f2018-07-25 08:30:27 -0400318 int send_signal = 0;
Klement Sekeraa3167442020-02-10 11:49:52 +0000319 bs->event_time_nsec = next;
320 /* add extra tick if it's not even */
321 u32 wheel_time_ticks =
322 (bs->event_time_nsec - now) / bm->nsec_per_tw_tick +
323 ((bs->event_time_nsec - now) % bm->nsec_per_tw_tick != 0);
324 BFD_DBG ("event_time_nsec %lu (%lu nsec/%.3fs in future) -> "
325 "wheel_time_ticks %u", bs->event_time_nsec,
326 bs->event_time_nsec - now,
327 (bs->event_time_nsec - now) * SEC_PER_NSEC, wheel_time_ticks);
Dave Barachca578522020-04-08 08:45:27 -0400328 wheel_time_ticks = wheel_time_ticks ? wheel_time_ticks : 1;
Dave Barach1e3417f2018-07-25 08:30:27 -0400329 bfd_lock (bm);
Klement Sekeraa3167442020-02-10 11:49:52 +0000330 if (bs->tw_id)
331 {
332 TW (tw_timer_update) (&bm->wheel, bs->tw_id, wheel_time_ticks);
333 BFD_DBG ("tw_timer_update(%p, %u, %lu);", &bm->wheel, bs->tw_id,
334 wheel_time_ticks);
335 }
336 else
337 {
338 bs->tw_id =
339 TW (tw_timer_start) (&bm->wheel, bs->bs_idx, 0, wheel_time_ticks);
340 BFD_DBG ("tw_timer_start(%p, %u, 0, %lu) == %u;", &bm->wheel,
341 bs->bs_idx, wheel_time_ticks);
342 }
Dave Barach1e3417f2018-07-25 08:30:27 -0400343
Klement Sekerae4504c62016-12-08 10:16:41 +0100344 if (!handling_wakeup)
345 {
Dave Barach1e3417f2018-07-25 08:30:27 -0400346
347 /* Send only if it is earlier than current awaited wakeup time */
348 send_signal =
Klement Sekeraa3167442020-02-10 11:49:52 +0000349 (bs->event_time_nsec < bm->bfd_process_next_wakeup_nsec) &&
Dave Barach1e3417f2018-07-25 08:30:27 -0400350 /*
351 * If the wake-up time is within 2x the delay of the event propagation delay,
352 * avoid the expense of sending the event. The 2x multiplier is to workaround the race whereby
353 * simultaneous event + expired timer create one recurring bogus wakeup/suspend instance,
354 * due to double scheduling of the node on the pending list.
355 */
Klement Sekeraa3167442020-02-10 11:49:52 +0000356 (bm->bfd_process_next_wakeup_nsec - bs->event_time_nsec >
357 2 * bm->bfd_process_wakeup_event_delay_nsec) &&
Dave Barach1e3417f2018-07-25 08:30:27 -0400358 /* Must be no events in flight to send an event */
359 (!bm->bfd_process_wakeup_events_in_flight);
360
361 /* If we do send the signal, note this down along with the start timestamp */
362 if (send_signal)
363 {
364 bm->bfd_process_wakeup_events_in_flight++;
Klement Sekeraa3167442020-02-10 11:49:52 +0000365 bm->bfd_process_wakeup_event_start_nsec = now;
Dave Barach1e3417f2018-07-25 08:30:27 -0400366 }
367 }
368 bfd_unlock (bm);
369
370 /* Use the multithreaded event sending so the workers can send events too */
371 if (send_signal)
372 {
373 vlib_process_signal_event_mt (bm->vlib_main,
374 bm->bfd_process_node_index,
375 BFD_EVENT_RESCHEDULE, ~0);
Klement Sekerae4504c62016-12-08 10:16:41 +0100376 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200377 }
378}
379
380static void
Klement Sekeraa57a9702017-02-02 06:58:07 +0100381bfd_set_effective_desired_min_tx (bfd_main_t * bm,
382 bfd_session_t * bs, u64 now,
Klement Sekeraa3167442020-02-10 11:49:52 +0000383 u64 desired_min_tx_nsec)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200384{
Klement Sekeraa3167442020-02-10 11:49:52 +0000385 bs->effective_desired_min_tx_nsec = desired_min_tx_nsec;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100386 BFD_DBG ("Set effective desired min tx to " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +0000387 BFD_CLK_PRN (bs->effective_desired_min_tx_nsec));
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200388 bfd_recalc_detection_time (bm, bs);
389 bfd_recalc_tx_interval (bm, bs);
Klement Sekera239790f2017-02-16 10:53:53 +0100390 bfd_recalc_echo_tx_interval (bm, bs);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200391 bfd_calc_next_tx (bm, bs, now);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200392}
393
Klement Sekera637b9c42016-12-08 05:19:14 +0100394static void
Klement Sekeraa57a9702017-02-02 06:58:07 +0100395bfd_set_effective_required_min_rx (bfd_main_t * bm,
Klement Sekera73884482017-02-23 09:26:30 +0100396 bfd_session_t * bs,
Klement Sekeraa3167442020-02-10 11:49:52 +0000397 u64 required_min_rx_nsec)
Klement Sekeraa57a9702017-02-02 06:58:07 +0100398{
Klement Sekeraa3167442020-02-10 11:49:52 +0000399 bs->effective_required_min_rx_nsec = required_min_rx_nsec;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100400 BFD_DBG ("Set effective required min rx to " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +0000401 BFD_CLK_PRN (bs->effective_required_min_rx_nsec));
Klement Sekeraa57a9702017-02-02 06:58:07 +0100402 bfd_recalc_detection_time (bm, bs);
Klement Sekeraa57a9702017-02-02 06:58:07 +0100403}
404
405static void
Klement Sekera637b9c42016-12-08 05:19:14 +0100406bfd_set_remote_required_min_rx (bfd_main_t * bm, bfd_session_t * bs,
Klement Sekera239790f2017-02-16 10:53:53 +0100407 u64 now, u32 remote_required_min_rx_usec)
Klement Sekera637b9c42016-12-08 05:19:14 +0100408{
Klement Sekera239790f2017-02-16 10:53:53 +0100409 if (bs->remote_min_rx_usec != remote_required_min_rx_usec)
410 {
411 bs->remote_min_rx_usec = remote_required_min_rx_usec;
Klement Sekeraa3167442020-02-10 11:49:52 +0000412 bs->remote_min_rx_nsec = bfd_usec_to_nsec (remote_required_min_rx_usec);
Klement Sekera239790f2017-02-16 10:53:53 +0100413 BFD_DBG ("Set remote min rx to " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +0000414 BFD_CLK_PRN (bs->remote_min_rx_nsec));
Klement Sekera239790f2017-02-16 10:53:53 +0100415 bfd_recalc_detection_time (bm, bs);
416 bfd_recalc_tx_interval (bm, bs);
417 }
418}
419
420static void
421bfd_set_remote_required_min_echo_rx (bfd_main_t * bm, bfd_session_t * bs,
422 u64 now,
423 u32 remote_required_min_echo_rx_usec)
424{
425 if (bs->remote_min_echo_rx_usec != remote_required_min_echo_rx_usec)
426 {
427 bs->remote_min_echo_rx_usec = remote_required_min_echo_rx_usec;
Klement Sekeraa3167442020-02-10 11:49:52 +0000428 bs->remote_min_echo_rx_nsec =
429 bfd_usec_to_nsec (bs->remote_min_echo_rx_usec);
Klement Sekera239790f2017-02-16 10:53:53 +0100430 BFD_DBG ("Set remote min echo rx to " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +0000431 BFD_CLK_PRN (bs->remote_min_echo_rx_nsec));
Klement Sekera239790f2017-02-16 10:53:53 +0100432 bfd_recalc_echo_tx_interval (bm, bs);
433 }
Klement Sekera637b9c42016-12-08 05:19:14 +0100434}
435
Neale Ranns88fc83e2017-04-05 08:11:14 -0700436static void
437bfd_notify_listeners (bfd_main_t * bm,
438 bfd_listen_event_e event, const bfd_session_t * bs)
439{
440 bfd_notify_fn_t *fn;
441 vec_foreach (fn, bm->listeners)
442 {
443 (*fn) (event, bs);
444 }
445}
446
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200447void
448bfd_session_start (bfd_main_t * bm, bfd_session_t * bs)
449{
Klement Sekera239790f2017-02-16 10:53:53 +0100450 BFD_DBG ("\nStarting session: %U", format_bfd_session, bs);
Damjan Marion07a38572018-01-21 06:44:18 -0800451 vlib_log_info (bm->log_class, "start BFD session: %U",
452 format_bfd_session_brief, bs);
Klement Sekeraa3167442020-02-10 11:49:52 +0000453 bfd_set_effective_required_min_rx (bm, bs, bs->config_required_min_rx_nsec);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200454 bfd_recalc_tx_interval (bm, bs);
455 vlib_process_signal_event (bm->vlib_main, bm->bfd_process_node_index,
456 BFD_EVENT_NEW_SESSION, bs->bs_idx);
Neale Ranns88fc83e2017-04-05 08:11:14 -0700457 bfd_notify_listeners (bm, BFD_LISTEN_EVENT_CREATE, bs);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200458}
459
Klement Sekerab17dd962017-01-09 07:43:48 +0100460void
Klement Sekeraa3167442020-02-10 11:49:52 +0000461bfd_session_set_flags (vlib_main_t * vm, bfd_session_t * bs, u8 admin_up_down)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200462{
463 bfd_main_t *bm = &bfd_main;
Klement Sekeraa3167442020-02-10 11:49:52 +0000464 u64 now = bfd_time_now_nsec (vm, NULL);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200465 if (admin_up_down)
466 {
Klement Sekerac48829b2017-02-14 07:55:57 +0100467 BFD_DBG ("Session set admin-up, bs-idx=%u", bs->bs_idx);
Damjan Marion07a38572018-01-21 06:44:18 -0800468 vlib_log_info (bm->log_class, "set session admin-up: %U",
469 format_bfd_session_brief, bs);
Klement Sekeraa3167442020-02-10 11:49:52 +0000470 bfd_set_state (vm, bm, bs, BFD_STATE_down, 0);
Klement Sekerac48829b2017-02-14 07:55:57 +0100471 bfd_set_diag (bs, BFD_DIAG_CODE_no_diag);
Klement Sekera73884482017-02-23 09:26:30 +0100472 bfd_calc_next_tx (bm, bs, now);
473 bfd_set_timer (bm, bs, now, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200474 }
475 else
476 {
Klement Sekerac48829b2017-02-14 07:55:57 +0100477 BFD_DBG ("Session set admin-down, bs-idx=%u", bs->bs_idx);
Damjan Marion07a38572018-01-21 06:44:18 -0800478 vlib_log_info (bm->log_class, "set session admin-down: %U",
479 format_bfd_session_brief, bs);
Klement Sekerac48829b2017-02-14 07:55:57 +0100480 bfd_set_diag (bs, BFD_DIAG_CODE_admin_down);
Klement Sekeraa3167442020-02-10 11:49:52 +0000481 bfd_set_state (vm, bm, bs, BFD_STATE_admin_down, 0);
Klement Sekera73884482017-02-23 09:26:30 +0100482 bfd_calc_next_tx (bm, bs, now);
483 bfd_set_timer (bm, bs, now, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200484 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200485}
486
487u8 *
488bfd_input_format_trace (u8 * s, va_list * args)
489{
490 CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *);
491 CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *);
492 const bfd_input_trace_t *t = va_arg (*args, bfd_input_trace_t *);
493 const bfd_pkt_t *pkt = (bfd_pkt_t *) t->data;
494 if (t->len > STRUCT_SIZE_OF (bfd_pkt_t, head))
495 {
496 s = format (s, "BFD v%u, diag=%u(%s), state=%u(%s),\n"
Klement Sekerab17dd962017-01-09 07:43:48 +0100497 " flags=(P:%u, F:%u, C:%u, A:%u, D:%u, M:%u), "
498 "detect_mult=%u, length=%u\n",
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200499 bfd_pkt_get_version (pkt), bfd_pkt_get_diag_code (pkt),
500 bfd_diag_code_string (bfd_pkt_get_diag_code (pkt)),
501 bfd_pkt_get_state (pkt),
502 bfd_state_string (bfd_pkt_get_state (pkt)),
503 bfd_pkt_get_poll (pkt), bfd_pkt_get_final (pkt),
504 bfd_pkt_get_control_plane_independent (pkt),
505 bfd_pkt_get_auth_present (pkt), bfd_pkt_get_demand (pkt),
506 bfd_pkt_get_multipoint (pkt), pkt->head.detect_mult,
507 pkt->head.length);
Klement Sekerab17dd962017-01-09 07:43:48 +0100508 if (t->len >= sizeof (bfd_pkt_t) &&
509 pkt->head.length >= sizeof (bfd_pkt_t))
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200510 {
Klement Sekerad3ba5152017-02-14 03:09:17 +0100511 s = format (s, " my discriminator: %u\n",
512 clib_net_to_host_u32 (pkt->my_disc));
513 s = format (s, " your discriminator: %u\n",
514 clib_net_to_host_u32 (pkt->your_disc));
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200515 s = format (s, " desired min tx interval: %u\n",
516 clib_net_to_host_u32 (pkt->des_min_tx));
517 s = format (s, " required min rx interval: %u\n",
518 clib_net_to_host_u32 (pkt->req_min_rx));
Klement Sekera46a87ad2017-01-02 08:22:23 +0100519 s = format (s, " required min echo rx interval: %u",
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200520 clib_net_to_host_u32 (pkt->req_min_echo_rx));
521 }
Klement Sekerad3ba5152017-02-14 03:09:17 +0100522 if (t->len >= sizeof (bfd_pkt_with_common_auth_t) &&
523 pkt->head.length >= sizeof (bfd_pkt_with_common_auth_t) &&
524 bfd_pkt_get_auth_present (pkt))
525 {
526 const bfd_pkt_with_common_auth_t *with_auth = (void *) pkt;
527 const bfd_auth_common_t *common = &with_auth->common_auth;
528 s = format (s, "\n auth len: %u\n", common->len);
529 s = format (s, " auth type: %u:%s\n", common->type,
530 bfd_auth_type_str (common->type));
531 if (t->len >= sizeof (bfd_pkt_with_sha1_auth_t) &&
532 pkt->head.length >= sizeof (bfd_pkt_with_sha1_auth_t) &&
533 (BFD_AUTH_TYPE_keyed_sha1 == common->type ||
534 BFD_AUTH_TYPE_meticulous_keyed_sha1 == common->type))
535 {
536 const bfd_pkt_with_sha1_auth_t *with_sha1 = (void *) pkt;
537 const bfd_auth_sha1_t *sha1 = &with_sha1->sha1_auth;
538 s = format (s, " seq num: %u\n",
539 clib_net_to_host_u32 (sha1->seq_num));
540 s = format (s, " key id: %u\n", sha1->key_id);
541 s = format (s, " hash: %U", format_hex_bytes, sha1->hash,
542 sizeof (sha1->hash));
543 }
544 }
545 else
546 {
547 s = format (s, "\n");
548 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200549 }
550
551 return s;
552}
553
Dave Barach1e3417f2018-07-25 08:30:27 -0400554typedef struct
555{
556 u32 bs_idx;
557} bfd_rpc_event_t;
558
559static void
560bfd_rpc_event_cb (const bfd_rpc_event_t * a)
561{
562 bfd_main_t *bm = &bfd_main;
563 u32 bs_idx = a->bs_idx;
564 u32 valid_bs = 0;
565 bfd_session_t session_data;
566
567 bfd_lock (bm);
568 if (!pool_is_free_index (bm->sessions, bs_idx))
569 {
570 bfd_session_t *bs = pool_elt_at_index (bm->sessions, bs_idx);
571 clib_memcpy (&session_data, bs, sizeof (bfd_session_t));
572 valid_bs = 1;
573 }
574 else
575 {
576 BFD_DBG ("Ignoring event RPC for non-existent session index %u",
577 bs_idx);
578 }
579 bfd_unlock (bm);
580
581 if (valid_bs)
582 bfd_event (bm, &session_data);
583}
584
585static void
586bfd_event_rpc (u32 bs_idx)
587{
588 const u32 data_size = sizeof (bfd_rpc_event_t);
589 u8 data[data_size];
590 bfd_rpc_event_t *event = (bfd_rpc_event_t *) data;
591
592 event->bs_idx = bs_idx;
593 vl_api_rpc_call_main_thread (bfd_rpc_event_cb, data, data_size);
594}
595
596typedef struct
597{
598 u32 bs_idx;
599} bfd_rpc_notify_listeners_t;
600
601static void
602bfd_rpc_notify_listeners_cb (const bfd_rpc_notify_listeners_t * a)
603{
604 bfd_main_t *bm = &bfd_main;
605 u32 bs_idx = a->bs_idx;
606 bfd_lock (bm);
607 if (!pool_is_free_index (bm->sessions, bs_idx))
608 {
609 bfd_session_t *bs = pool_elt_at_index (bm->sessions, bs_idx);
610 bfd_notify_listeners (bm, BFD_LISTEN_EVENT_UPDATE, bs);
611 }
612 else
613 {
614 BFD_DBG ("Ignoring notify RPC for non-existent session index %u",
615 bs_idx);
616 }
617 bfd_unlock (bm);
618}
619
620static void
621bfd_notify_listeners_rpc (u32 bs_idx)
622{
623 const u32 data_size = sizeof (bfd_rpc_notify_listeners_t);
624 u8 data[data_size];
625 bfd_rpc_notify_listeners_t *notify = (bfd_rpc_notify_listeners_t *) data;
626 notify->bs_idx = bs_idx;
627 vl_api_rpc_call_main_thread (bfd_rpc_notify_listeners_cb, data, data_size);
628}
629
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200630static void
Klement Sekerae4504c62016-12-08 10:16:41 +0100631bfd_on_state_change (bfd_main_t * bm, bfd_session_t * bs, u64 now,
632 int handling_wakeup)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200633{
Klement Sekera239790f2017-02-16 10:53:53 +0100634 BFD_DBG ("\nState changed: %U", format_bfd_session, bs);
Dave Barach1e3417f2018-07-25 08:30:27 -0400635
636 if (vlib_get_thread_index () == 0)
637 {
638 bfd_event (bm, bs);
639 }
640 else
641 {
642 /* without RPC - a REGRESSION: BFD event are not propagated */
643 bfd_event_rpc (bs->bs_idx);
644 }
645
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200646 switch (bs->local_state)
647 {
648 case BFD_STATE_admin_down:
Klement Sekera239790f2017-02-16 10:53:53 +0100649 bs->echo = 0;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100650 bfd_set_effective_desired_min_tx (bm, bs, now,
651 clib_max
Klement Sekeraa3167442020-02-10 11:49:52 +0000652 (bs->config_desired_min_tx_nsec,
653 bm->default_desired_min_tx_nsec));
Klement Sekera73884482017-02-23 09:26:30 +0100654 bfd_set_effective_required_min_rx (bm, bs,
Klement Sekeraa3167442020-02-10 11:49:52 +0000655 bs->config_required_min_rx_nsec);
Klement Sekeraaeeac3b2017-02-14 07:11:52 +0100656 bfd_set_timer (bm, bs, now, handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200657 break;
658 case BFD_STATE_down:
Klement Sekera239790f2017-02-16 10:53:53 +0100659 bs->echo = 0;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100660 bfd_set_effective_desired_min_tx (bm, bs, now,
661 clib_max
Klement Sekeraa3167442020-02-10 11:49:52 +0000662 (bs->config_desired_min_tx_nsec,
663 bm->default_desired_min_tx_nsec));
Klement Sekera73884482017-02-23 09:26:30 +0100664 bfd_set_effective_required_min_rx (bm, bs,
Klement Sekeraa3167442020-02-10 11:49:52 +0000665 bs->config_required_min_rx_nsec);
Klement Sekeraaeeac3b2017-02-14 07:11:52 +0100666 bfd_set_timer (bm, bs, now, handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200667 break;
668 case BFD_STATE_init:
Klement Sekera239790f2017-02-16 10:53:53 +0100669 bs->echo = 0;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100670 bfd_set_effective_desired_min_tx (bm, bs, now,
Klement Sekeraa3167442020-02-10 11:49:52 +0000671 bs->config_desired_min_tx_nsec);
Klement Sekeraaeeac3b2017-02-14 07:11:52 +0100672 bfd_set_timer (bm, bs, now, handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200673 break;
674 case BFD_STATE_up:
Klement Sekeraaeeac3b2017-02-14 07:11:52 +0100675 bfd_set_effective_desired_min_tx (bm, bs, now,
Klement Sekeraa3167442020-02-10 11:49:52 +0000676 bs->config_desired_min_tx_nsec);
Klement Sekera239790f2017-02-16 10:53:53 +0100677 if (BFD_POLL_NOT_NEEDED == bs->poll_state)
Klement Sekeraa57a9702017-02-02 06:58:07 +0100678 {
Klement Sekera73884482017-02-23 09:26:30 +0100679 bfd_set_effective_required_min_rx (bm, bs,
Klement Sekeraa3167442020-02-10 11:49:52 +0000680 bs->config_required_min_rx_nsec);
Klement Sekeraa57a9702017-02-02 06:58:07 +0100681 }
Klement Sekeraaeeac3b2017-02-14 07:11:52 +0100682 bfd_set_timer (bm, bs, now, handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200683 break;
684 }
Dave Barach1e3417f2018-07-25 08:30:27 -0400685 if (vlib_get_thread_index () == 0)
686 {
687 bfd_notify_listeners (bm, BFD_LISTEN_EVENT_UPDATE, bs);
688 }
689 else
690 {
691 /* without RPC - a REGRESSION: state changes are not propagated */
692 bfd_notify_listeners_rpc (bs->bs_idx);
693 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200694}
695
696static void
Klement Sekeraa57a9702017-02-02 06:58:07 +0100697bfd_on_config_change (vlib_main_t * vm, vlib_node_runtime_t * rt,
698 bfd_main_t * bm, bfd_session_t * bs, u64 now)
699{
Klement Sekera239790f2017-02-16 10:53:53 +0100700 /*
701 * if remote demand mode is set and we need to do a poll, set the next
702 * timeout so that the session wakes up immediately
703 */
704 if (bs->remote_demand && BFD_POLL_NEEDED == bs->poll_state &&
Klement Sekeraa3167442020-02-10 11:49:52 +0000705 bs->poll_state_start_or_timeout_nsec < now)
Klement Sekeraa57a9702017-02-02 06:58:07 +0100706 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000707 bs->tx_timeout_nsec = now;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100708 }
709 bfd_recalc_detection_time (bm, bs);
710 bfd_set_timer (bm, bs, now, 0);
711}
712
713static void
Klement Sekerae50e8562017-04-04 16:19:48 +0200714bfd_add_transport_layer (vlib_main_t * vm, u32 bi, bfd_session_t * bs)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200715{
716 switch (bs->transport)
717 {
718 case BFD_TRANSPORT_UDP4:
Klement Sekera46a87ad2017-01-02 08:22:23 +0100719 BFD_DBG ("Transport bfd via udp4, bs_idx=%u", bs->bs_idx);
Klement Sekerae50e8562017-04-04 16:19:48 +0200720 bfd_add_udp4_transport (vm, bi, bs, 0 /* is_echo */ );
Klement Sekera46a87ad2017-01-02 08:22:23 +0100721 break;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200722 case BFD_TRANSPORT_UDP6:
Klement Sekera46a87ad2017-01-02 08:22:23 +0100723 BFD_DBG ("Transport bfd via udp6, bs_idx=%u", bs->bs_idx);
Klement Sekerae50e8562017-04-04 16:19:48 +0200724 bfd_add_udp6_transport (vm, bi, bs, 0 /* is_echo */ );
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200725 break;
726 }
727}
728
Klement Sekera239790f2017-02-16 10:53:53 +0100729static int
Klement Sekerae50e8562017-04-04 16:19:48 +0200730bfd_transport_control_frame (vlib_main_t * vm, u32 bi, bfd_session_t * bs)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200731{
Klement Sekera239790f2017-02-16 10:53:53 +0100732 switch (bs->transport)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200733 {
Klement Sekera239790f2017-02-16 10:53:53 +0100734 case BFD_TRANSPORT_UDP4:
Klement Sekerae50e8562017-04-04 16:19:48 +0200735 BFD_DBG ("Transport bfd via udp4, bs_idx=%u", bs->bs_idx);
736 return bfd_transport_udp4 (vm, bi, bs);
Klement Sekera239790f2017-02-16 10:53:53 +0100737 break;
738 case BFD_TRANSPORT_UDP6:
Klement Sekerae50e8562017-04-04 16:19:48 +0200739 BFD_DBG ("Transport bfd via udp6, bs_idx=%u", bs->bs_idx);
740 return bfd_transport_udp6 (vm, bi, bs);
Klement Sekera239790f2017-02-16 10:53:53 +0100741 break;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200742 }
Klement Sekera239790f2017-02-16 10:53:53 +0100743 return 0;
744}
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200745
Klement Sekerae50e8562017-04-04 16:19:48 +0200746static int
747bfd_echo_add_transport_layer (vlib_main_t * vm, u32 bi, bfd_session_t * bs)
Klement Sekera239790f2017-02-16 10:53:53 +0100748{
Klement Sekerae50e8562017-04-04 16:19:48 +0200749 switch (bs->transport)
750 {
751 case BFD_TRANSPORT_UDP4:
752 BFD_DBG ("Transport bfd echo via udp4, bs_idx=%u", bs->bs_idx);
753 return bfd_add_udp4_transport (vm, bi, bs, 1 /* is_echo */ );
754 break;
755 case BFD_TRANSPORT_UDP6:
756 BFD_DBG ("Transport bfd echo via udp6, bs_idx=%u", bs->bs_idx);
757 return bfd_add_udp6_transport (vm, bi, bs, 1 /* is_echo */ );
758 break;
759 }
760 return 0;
761}
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200762
Klement Sekerae50e8562017-04-04 16:19:48 +0200763static int
764bfd_transport_echo (vlib_main_t * vm, u32 bi, bfd_session_t * bs)
765{
766 switch (bs->transport)
767 {
768 case BFD_TRANSPORT_UDP4:
769 BFD_DBG ("Transport bfd echo via udp4, bs_idx=%u", bs->bs_idx);
770 return bfd_transport_udp4 (vm, bi, bs);
771 break;
772 case BFD_TRANSPORT_UDP6:
773 BFD_DBG ("Transport bfd echo via udp6, bs_idx=%u", bs->bs_idx);
774 return bfd_transport_udp6 (vm, bi, bs);
775 break;
776 }
777 return 0;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200778}
779
Klement Sekerab17dd962017-01-09 07:43:48 +0100780static void
Klement Sekeraefd4d702021-04-20 19:21:36 +0200781bfd_add_sha1_auth_section (vlib_main_t *vm, vlib_buffer_t *b,
782 bfd_session_t *bs)
Klement Sekerab17dd962017-01-09 07:43:48 +0100783{
784 bfd_pkt_with_sha1_auth_t *pkt = vlib_buffer_get_current (b);
785 bfd_auth_sha1_t *auth = &pkt->sha1_auth;
786 b->current_length += sizeof (*auth);
787 pkt->pkt.head.length += sizeof (*auth);
788 bfd_pkt_set_auth_present (&pkt->pkt);
Dave Barachb7b92992018-10-17 10:38:51 -0400789 clib_memset (auth, 0, sizeof (*auth));
Klement Sekerab17dd962017-01-09 07:43:48 +0100790 auth->type_len.type = bs->auth.curr_key->auth_type;
791 /*
792 * only meticulous authentication types require incrementing seq number
793 * for every message, but doing so doesn't violate the RFC
794 */
795 ++bs->auth.local_seq_number;
796 auth->type_len.len = sizeof (bfd_auth_sha1_t);
797 auth->key_id = bs->auth.curr_bfd_key_id;
798 auth->seq_num = clib_host_to_net_u32 (bs->auth.local_seq_number);
799 /*
800 * first copy the password into the packet, then calculate the hash
801 * and finally replace the password with the calculated hash
802 */
803 clib_memcpy (auth->hash, bs->auth.curr_key->key,
804 sizeof (bs->auth.curr_key->key));
805 unsigned char hash[sizeof (auth->hash)];
Klement Sekeraefd4d702021-04-20 19:21:36 +0200806
807 vnet_crypto_op_t op;
808 vnet_crypto_op_init (&op, VNET_CRYPTO_OP_SHA1_HASH);
809 op.src = (u8 *) pkt;
810 op.len = sizeof (*pkt);
811 op.digest = hash;
812 vnet_crypto_process_ops (vm, &op, 1);
Klement Sekerab17dd962017-01-09 07:43:48 +0100813 BFD_DBG ("hashing: %U", format_hex_bytes, pkt, sizeof (*pkt));
814 clib_memcpy (auth->hash, hash, sizeof (hash));
Klement Sekerab17dd962017-01-09 07:43:48 +0100815}
816
817static void
Klement Sekeraefd4d702021-04-20 19:21:36 +0200818bfd_add_auth_section (vlib_main_t *vm, vlib_buffer_t *b, bfd_session_t *bs)
Klement Sekerab17dd962017-01-09 07:43:48 +0100819{
Damjan Marion07a38572018-01-21 06:44:18 -0800820 bfd_main_t *bm = &bfd_main;
Klement Sekerab17dd962017-01-09 07:43:48 +0100821 if (bs->auth.curr_key)
822 {
823 const bfd_auth_type_e auth_type = bs->auth.curr_key->auth_type;
824 switch (auth_type)
825 {
826 case BFD_AUTH_TYPE_reserved:
827 /* fallthrough */
828 case BFD_AUTH_TYPE_simple_password:
829 /* fallthrough */
830 case BFD_AUTH_TYPE_keyed_md5:
831 /* fallthrough */
832 case BFD_AUTH_TYPE_meticulous_keyed_md5:
Damjan Marion07a38572018-01-21 06:44:18 -0800833 vlib_log_crit (bm->log_class,
834 "internal error, unexpected BFD auth type '%d'",
835 auth_type);
Klement Sekerab17dd962017-01-09 07:43:48 +0100836 break;
Klement Sekerab17dd962017-01-09 07:43:48 +0100837 case BFD_AUTH_TYPE_keyed_sha1:
838 /* fallthrough */
839 case BFD_AUTH_TYPE_meticulous_keyed_sha1:
Klement Sekeraefd4d702021-04-20 19:21:36 +0200840 bfd_add_sha1_auth_section (vm, b, bs);
Klement Sekerab17dd962017-01-09 07:43:48 +0100841 break;
Klement Sekerab17dd962017-01-09 07:43:48 +0100842 }
843 }
844}
845
Klement Sekera239790f2017-02-16 10:53:53 +0100846static int
847bfd_is_echo_possible (bfd_session_t * bs)
848{
849 if (BFD_STATE_up == bs->local_state && BFD_STATE_up == bs->remote_state &&
850 bs->remote_min_echo_rx_usec > 0)
851 {
852 switch (bs->transport)
853 {
854 case BFD_TRANSPORT_UDP4:
855 return bfd_udp_is_echo_available (BFD_TRANSPORT_UDP4);
856 case BFD_TRANSPORT_UDP6:
857 return bfd_udp_is_echo_available (BFD_TRANSPORT_UDP6);
858 }
859 }
860 return 0;
861}
862
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200863static void
Klement Sekera239790f2017-02-16 10:53:53 +0100864bfd_init_control_frame (bfd_main_t * bm, bfd_session_t * bs,
865 vlib_buffer_t * b)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200866{
867 bfd_pkt_t *pkt = vlib_buffer_get_current (b);
Klement Sekerab17dd962017-01-09 07:43:48 +0100868 u32 bfd_length = 0;
869 bfd_length = sizeof (bfd_pkt_t);
Dave Barachb7b92992018-10-17 10:38:51 -0400870 clib_memset (pkt, 0, sizeof (*pkt));
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200871 bfd_pkt_set_version (pkt, 1);
872 bfd_pkt_set_diag_code (pkt, bs->local_diag);
873 bfd_pkt_set_state (pkt, bs->local_state);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200874 pkt->head.detect_mult = bs->local_detect_mult;
Klement Sekerae50e8562017-04-04 16:19:48 +0200875 pkt->head.length = bfd_length;
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200876 pkt->my_disc = bs->local_discr;
877 pkt->your_disc = bs->remote_discr;
Klement Sekeraa57a9702017-02-02 06:58:07 +0100878 pkt->des_min_tx = clib_host_to_net_u32 (bs->config_desired_min_tx_usec);
Klement Sekera239790f2017-02-16 10:53:53 +0100879 if (bs->echo)
880 {
881 pkt->req_min_rx =
Klement Sekeraa3167442020-02-10 11:49:52 +0000882 clib_host_to_net_u32 (bfd_nsec_to_usec
883 (bs->effective_required_min_rx_nsec));
Klement Sekera239790f2017-02-16 10:53:53 +0100884 }
885 else
886 {
887 pkt->req_min_rx =
888 clib_host_to_net_u32 (bs->config_required_min_rx_usec);
889 }
Klement Sekeraa57a9702017-02-02 06:58:07 +0100890 pkt->req_min_echo_rx = clib_host_to_net_u32 (1);
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200891 b->current_length = bfd_length;
892}
893
894static void
Klement Sekera239790f2017-02-16 10:53:53 +0100895bfd_send_echo (vlib_main_t * vm, vlib_node_runtime_t * rt,
Klement Sekerae50e8562017-04-04 16:19:48 +0200896 bfd_main_t * bm, bfd_session_t * bs, u64 now)
Klement Sekera239790f2017-02-16 10:53:53 +0100897{
898 if (!bfd_is_echo_possible (bs))
899 {
900 BFD_DBG ("\nSwitching off echo function: %U", format_bfd_session, bs);
901 bs->echo = 0;
902 return;
903 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000904 if (now >= bs->echo_tx_timeout_nsec)
Klement Sekera239790f2017-02-16 10:53:53 +0100905 {
906 BFD_DBG ("\nSending echo packet: %U", format_bfd_session, bs);
907 u32 bi;
908 if (vlib_buffer_alloc (vm, &bi, 1) != 1)
909 {
Damjan Marion07a38572018-01-21 06:44:18 -0800910 vlib_log_crit (bm->log_class, "buffer allocation failure");
Klement Sekera239790f2017-02-16 10:53:53 +0100911 return;
912 }
913 vlib_buffer_t *b = vlib_get_buffer (vm, bi);
914 ASSERT (b->current_data == 0);
915 bfd_echo_pkt_t *pkt = vlib_buffer_get_current (b);
Dave Barachb7b92992018-10-17 10:38:51 -0400916 clib_memset (pkt, 0, sizeof (*pkt));
Klement Sekera239790f2017-02-16 10:53:53 +0100917 pkt->discriminator = bs->local_discr;
Klement Sekeraa3167442020-02-10 11:49:52 +0000918 pkt->expire_time_nsec =
919 now + bs->echo_transmit_interval_nsec * bs->local_detect_mult;
Klement Sekera239790f2017-02-16 10:53:53 +0100920 pkt->checksum =
Klement Sekeraa3167442020-02-10 11:49:52 +0000921 bfd_calc_echo_checksum (bs->local_discr, pkt->expire_time_nsec,
Klement Sekera239790f2017-02-16 10:53:53 +0100922 bs->echo_secret);
923 b->current_length = sizeof (*pkt);
Klement Sekerae50e8562017-04-04 16:19:48 +0200924 if (!bfd_echo_add_transport_layer (vm, bi, bs))
925 {
926 BFD_ERR ("cannot send echo packet out, turning echo off");
927 bs->echo = 0;
928 vlib_buffer_free_one (vm, bi);
929 return;
930 }
931 if (!bfd_transport_echo (vm, bi, bs))
Klement Sekera239790f2017-02-16 10:53:53 +0100932 {
933 BFD_ERR ("cannot send echo packet out, turning echo off");
934 bs->echo = 0;
935 vlib_buffer_free_one (vm, bi);
936 return;
937 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000938 bs->echo_last_tx_nsec = now;
Klement Sekera239790f2017-02-16 10:53:53 +0100939 bfd_calc_next_echo_tx (bm, bs, now);
Klement Sekera239790f2017-02-16 10:53:53 +0100940 }
941 else
942 {
943 BFD_DBG
944 ("No need to send echo packet now, now is %lu, tx_timeout is %lu",
Klement Sekeraa3167442020-02-10 11:49:52 +0000945 now, bs->echo_tx_timeout_nsec);
Klement Sekera239790f2017-02-16 10:53:53 +0100946 }
947}
948
949static void
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200950bfd_send_periodic (vlib_main_t * vm, vlib_node_runtime_t * rt,
Klement Sekerae50e8562017-04-04 16:19:48 +0200951 bfd_main_t * bm, bfd_session_t * bs, u64 now)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200952{
Klement Sekera239790f2017-02-16 10:53:53 +0100953 if (!bs->remote_min_rx_usec && BFD_POLL_NOT_NEEDED == bs->poll_state)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200954 {
Klement Sekera239790f2017-02-16 10:53:53 +0100955 BFD_DBG ("Remote min rx interval is zero, not sending periodic control "
956 "frame");
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200957 return;
958 }
Klement Sekera239790f2017-02-16 10:53:53 +0100959 if (BFD_POLL_NOT_NEEDED == bs->poll_state && bs->remote_demand &&
Klement Sekerad3ba5152017-02-14 03:09:17 +0100960 BFD_STATE_up == bs->local_state && BFD_STATE_up == bs->remote_state)
961 {
962 /*
963 * A system MUST NOT periodically transmit BFD Control packets if Demand
964 * mode is active on the remote system (bfd.RemoteDemandMode is 1,
965 * bfd.SessionState is Up, and bfd.RemoteSessionState is Up) and a Poll
966 * Sequence is not being transmitted.
967 */
Klement Sekera239790f2017-02-16 10:53:53 +0100968 BFD_DBG ("Remote demand is set, not sending periodic control frame");
Klement Sekerad3ba5152017-02-14 03:09:17 +0100969 return;
970 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000971 if (now >= bs->tx_timeout_nsec)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200972 {
Klement Sekera239790f2017-02-16 10:53:53 +0100973 BFD_DBG ("\nSending periodic control frame: %U", format_bfd_session,
974 bs);
975 u32 bi;
976 if (vlib_buffer_alloc (vm, &bi, 1) != 1)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200977 {
Damjan Marion07a38572018-01-21 06:44:18 -0800978 vlib_log_crit (bm->log_class, "buffer allocation failure");
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200979 return;
980 }
Klement Sekera239790f2017-02-16 10:53:53 +0100981 vlib_buffer_t *b = vlib_get_buffer (vm, bi);
982 ASSERT (b->current_data == 0);
983 bfd_init_control_frame (bm, bs, b);
984 switch (bs->poll_state)
Klement Sekeraa57a9702017-02-02 06:58:07 +0100985 {
Klement Sekera239790f2017-02-16 10:53:53 +0100986 case BFD_POLL_NEEDED:
Klement Sekeraa3167442020-02-10 11:49:52 +0000987 if (now < bs->poll_state_start_or_timeout_nsec)
Klement Sekera239790f2017-02-16 10:53:53 +0100988 {
Klement Sekeraa3167442020-02-10 11:49:52 +0000989 BFD_DBG ("Cannot start a poll sequence yet, need to wait for "
990 BFD_CLK_FMT,
991 BFD_CLK_PRN (bs->poll_state_start_or_timeout_nsec -
Klement Sekera239790f2017-02-16 10:53:53 +0100992 now));
993 break;
994 }
Klement Sekeraa3167442020-02-10 11:49:52 +0000995 bs->poll_state_start_or_timeout_nsec = now;
Klement Sekera239790f2017-02-16 10:53:53 +0100996 bfd_set_poll_state (bs, BFD_POLL_IN_PROGRESS);
997 /* fallthrough */
998 case BFD_POLL_IN_PROGRESS:
999 case BFD_POLL_IN_PROGRESS_AND_QUEUED:
Klement Sekeraa57a9702017-02-02 06:58:07 +01001000 bfd_pkt_set_poll (vlib_buffer_get_current (b));
Klement Sekeraa57a9702017-02-02 06:58:07 +01001001 BFD_DBG ("Setting poll bit in packet, bs_idx=%u", bs->bs_idx);
Klement Sekera239790f2017-02-16 10:53:53 +01001002 break;
1003 case BFD_POLL_NOT_NEEDED:
1004 /* fallthrough */
1005 break;
Klement Sekeraa57a9702017-02-02 06:58:07 +01001006 }
Klement Sekeraefd4d702021-04-20 19:21:36 +02001007 bfd_add_auth_section (vm, b, bs);
Klement Sekerae50e8562017-04-04 16:19:48 +02001008 bfd_add_transport_layer (vm, bi, bs);
1009 if (!bfd_transport_control_frame (vm, bi, bs))
1010 {
1011 vlib_buffer_free_one (vm, bi);
1012 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001013 bs->last_tx_nsec = now;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001014 bfd_calc_next_tx (bm, bs, now);
1015 }
1016 else
1017 {
Klement Sekera637b9c42016-12-08 05:19:14 +01001018 BFD_DBG
1019 ("No need to send control frame now, now is %lu, tx_timeout is %lu",
Klement Sekeraa3167442020-02-10 11:49:52 +00001020 now, bs->tx_timeout_nsec);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001021 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001022}
1023
1024void
Klement Sekerab17dd962017-01-09 07:43:48 +01001025bfd_init_final_control_frame (vlib_main_t * vm, vlib_buffer_t * b,
Klement Sekerae50e8562017-04-04 16:19:48 +02001026 bfd_main_t * bm, bfd_session_t * bs,
1027 int is_local)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001028{
1029 BFD_DBG ("Send final control frame for bs_idx=%lu", bs->bs_idx);
Klement Sekera239790f2017-02-16 10:53:53 +01001030 bfd_init_control_frame (bm, bs, b);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001031 bfd_pkt_set_final (vlib_buffer_get_current (b));
Klement Sekeraefd4d702021-04-20 19:21:36 +02001032 bfd_add_auth_section (vm, b, bs);
Klement Sekerae50e8562017-04-04 16:19:48 +02001033 u32 bi = vlib_get_buffer_index (vm, b);
1034 bfd_add_transport_layer (vm, bi, bs);
Klement Sekeraa3167442020-02-10 11:49:52 +00001035 bs->last_tx_nsec = bfd_time_now_nsec (vm, NULL);
Klement Sekeraa57a9702017-02-02 06:58:07 +01001036 /*
1037 * RFC allows to include changes in final frame, so if there were any
1038 * pending, we already did that, thus we can clear any pending poll needs
1039 */
Klement Sekera239790f2017-02-16 10:53:53 +01001040 bfd_set_poll_state (bs, BFD_POLL_NOT_NEEDED);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001041}
1042
1043static void
Klement Sekeraa3167442020-02-10 11:49:52 +00001044bfd_check_rx_timeout (vlib_main_t * vm, bfd_main_t * bm, bfd_session_t * bs,
1045 u64 now, int handling_wakeup)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001046{
Klement Sekeraa3167442020-02-10 11:49:52 +00001047 if (bs->last_rx_nsec + bs->detection_time_nsec <= now)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001048 {
1049 BFD_DBG ("Rx timeout, session goes down");
Klement Sekera4d39f9c2020-01-17 10:01:52 +00001050 /*
1051 * RFC 5880 6.8.1. State Variables
1052
1053 * bfd.RemoteDiscr
1054
1055 * The remote discriminator for this BFD session. This is the
1056 * discriminator chosen by the remote system, and is totally opaque
1057 * to the local system. This MUST be initialized to zero. If a
1058 * period of a Detection Time passes without the receipt of a valid,
1059 * authenticated BFD packet from the remote system, this variable
1060 * MUST be set to zero.
1061 */
1062 bs->remote_discr = 0;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001063 bfd_set_diag (bs, BFD_DIAG_CODE_det_time_exp);
Klement Sekeraa3167442020-02-10 11:49:52 +00001064 bfd_set_state (vm, bm, bs, BFD_STATE_down, handling_wakeup);
Klement Sekeraa57a9702017-02-02 06:58:07 +01001065 /*
1066 * If the remote system does not receive any
1067 * BFD Control packets for a Detection Time, it SHOULD reset
1068 * bfd.RemoteMinRxInterval to its initial value of 1 (per section 6.8.1,
1069 * since it is no longer required to maintain previous session state)
1070 * and then can transmit at its own rate.
1071 */
Klement Sekera239790f2017-02-16 10:53:53 +01001072 bfd_set_remote_required_min_rx (bm, bs, now, 1);
1073 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001074 else if (bs->echo
1075 && bs->echo_last_rx_nsec +
1076 bs->echo_transmit_interval_nsec * bs->local_detect_mult <= now)
Klement Sekera239790f2017-02-16 10:53:53 +01001077 {
1078 BFD_DBG ("Echo rx timeout, session goes down");
1079 bfd_set_diag (bs, BFD_DIAG_CODE_echo_failed);
Klement Sekeraa3167442020-02-10 11:49:52 +00001080 bfd_set_state (vm, bm, bs, BFD_STATE_down, handling_wakeup);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001081 }
1082}
1083
1084void
1085bfd_on_timeout (vlib_main_t * vm, vlib_node_runtime_t * rt, bfd_main_t * bm,
1086 bfd_session_t * bs, u64 now)
1087{
1088 BFD_DBG ("Timeout for bs_idx=%lu", bs->bs_idx);
1089 switch (bs->local_state)
1090 {
1091 case BFD_STATE_admin_down:
Klement Sekerae50e8562017-04-04 16:19:48 +02001092 bfd_send_periodic (vm, rt, bm, bs, now);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001093 break;
1094 case BFD_STATE_down:
Klement Sekerae50e8562017-04-04 16:19:48 +02001095 bfd_send_periodic (vm, rt, bm, bs, now);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001096 break;
1097 case BFD_STATE_init:
Klement Sekeraa3167442020-02-10 11:49:52 +00001098 bfd_check_rx_timeout (vm, bm, bs, now, 1);
Klement Sekerae50e8562017-04-04 16:19:48 +02001099 bfd_send_periodic (vm, rt, bm, bs, now);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001100 break;
Klement Sekera239790f2017-02-16 10:53:53 +01001101 case BFD_STATE_up:
Klement Sekeraa3167442020-02-10 11:49:52 +00001102 bfd_check_rx_timeout (vm, bm, bs, now, 1);
Klement Sekera239790f2017-02-16 10:53:53 +01001103 if (BFD_POLL_NOT_NEEDED == bs->poll_state && !bs->echo &&
1104 bfd_is_echo_possible (bs))
1105 {
1106 /* switch on echo function as main detection method now */
1107 BFD_DBG ("Switching on echo function, bs_idx=%u", bs->bs_idx);
1108 bs->echo = 1;
Klement Sekeraa3167442020-02-10 11:49:52 +00001109 bs->echo_last_rx_nsec = now;
1110 bs->echo_tx_timeout_nsec = now;
Klement Sekera73884482017-02-23 09:26:30 +01001111 bfd_set_effective_required_min_rx (bm, bs,
Klement Sekera239790f2017-02-16 10:53:53 +01001112 clib_max
Klement Sekeraa3167442020-02-10 11:49:52 +00001113 (bm->min_required_min_rx_while_echo_nsec,
1114 bs->config_required_min_rx_nsec));
Klement Sekera239790f2017-02-16 10:53:53 +01001115 bfd_set_poll_state (bs, BFD_POLL_NEEDED);
1116 }
Klement Sekerae50e8562017-04-04 16:19:48 +02001117 bfd_send_periodic (vm, rt, bm, bs, now);
Klement Sekera239790f2017-02-16 10:53:53 +01001118 if (bs->echo)
1119 {
Klement Sekerae50e8562017-04-04 16:19:48 +02001120 bfd_send_echo (vm, rt, bm, bs, now);
Klement Sekera239790f2017-02-16 10:53:53 +01001121 }
1122 break;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001123 }
1124}
1125
1126/*
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001127 * bfd process node function
1128 */
1129static uword
1130bfd_process (vlib_main_t * vm, vlib_node_runtime_t * rt, vlib_frame_t * f)
1131{
1132 bfd_main_t *bm = &bfd_main;
1133 u32 *expired = 0;
1134 uword event_type, *event_data = 0;
1135
1136 /* So we can send events to the bfd process */
1137 bm->bfd_process_node_index = bfd_process_node.index;
1138
1139 while (1)
1140 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001141 f64 vm_time;
1142 u64 now = bfd_time_now_nsec (vm, &vm_time);
1143 BFD_DBG ("wakeup, now is %llunsec, vlib_time_now() is %.9f", now,
1144 vm_time);
Dave Barach1e3417f2018-07-25 08:30:27 -04001145 bfd_lock (bm);
Klement Sekeraa3167442020-02-10 11:49:52 +00001146 f64 timeout;
1147 if (pool_elts (bm->sessions))
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001148 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001149 u32 first_expires_in_ticks =
1150 TW (tw_timer_first_expires_in_ticks) (&bm->wheel);
1151 if (!first_expires_in_ticks)
Klement Sekera0c1519b2016-12-08 05:03:32 +01001152 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001153 BFD_DBG
1154 ("tw_timer_first_expires_in_ticks(%p) returns 0ticks",
1155 &bm->wheel);
1156 timeout = bm->wheel.next_run_time - vm_time;
1157 BFD_DBG ("wheel.next_run_time is %.9f",
1158 bm->wheel.next_run_time);
1159 u64 next_expire_nsec = now + timeout * SEC_PER_NSEC;
1160 bm->bfd_process_next_wakeup_nsec = next_expire_nsec;
1161 bfd_unlock (bm);
Klement Sekera0c1519b2016-12-08 05:03:32 +01001162 }
1163 else
1164 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001165 BFD_DBG ("tw_timer_first_expires_in_ticks(%p) returns %luticks",
1166 &bm->wheel, first_expires_in_ticks);
1167 u64 next_expire_nsec =
1168 now + first_expires_in_ticks * bm->nsec_per_tw_tick;
1169 bm->bfd_process_next_wakeup_nsec = next_expire_nsec;
1170 bfd_unlock (bm);
1171 timeout = (next_expire_nsec - now) * SEC_PER_NSEC;
Klement Sekera0c1519b2016-12-08 05:03:32 +01001172 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001173 BFD_DBG ("vlib_process_wait_for_event_or_clock(vm, %.09f)",
1174 timeout);
1175 (void) vlib_process_wait_for_event_or_clock (vm, timeout);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001176 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001177 else
1178 {
Klement Sekera9d211502020-09-25 09:43:45 +00001179 bfd_unlock (bm);
Klement Sekeraa3167442020-02-10 11:49:52 +00001180 (void) vlib_process_wait_for_event (vm);
1181 }
1182 event_type = vlib_process_get_events (vm, &event_data);
1183 now = bfd_time_now_nsec (vm, &vm_time);
Eyal Bari0db9b042018-10-11 14:09:58 +03001184 uword *session_index;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001185 switch (event_type)
1186 {
1187 case ~0: /* no events => timeout */
1188 /* nothing to do here */
1189 break;
1190 case BFD_EVENT_RESCHEDULE:
Klement Sekeraa3167442020-02-10 11:49:52 +00001191 BFD_DBG ("reschedule event");
Dave Barach1e3417f2018-07-25 08:30:27 -04001192 bfd_lock (bm);
Klement Sekeraa3167442020-02-10 11:49:52 +00001193 bm->bfd_process_wakeup_event_delay_nsec =
1194 now - bm->bfd_process_wakeup_event_start_nsec;
Dave Barach1e3417f2018-07-25 08:30:27 -04001195 bm->bfd_process_wakeup_events_in_flight--;
1196 bfd_unlock (bm);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001197 /* nothing to do here - reschedule is done automatically after
1198 * each event or timeout */
1199 break;
1200 case BFD_EVENT_NEW_SESSION:
Eyal Bari0db9b042018-10-11 14:09:58 +03001201 vec_foreach (session_index, event_data)
1202 {
1203 bfd_lock (bm);
1204 if (!pool_is_free_index (bm->sessions, *session_index))
1205 {
1206 bfd_session_t *bs =
1207 pool_elt_at_index (bm->sessions, *session_index);
1208 bfd_send_periodic (vm, rt, bm, bs, now);
1209 bfd_set_timer (bm, bs, now, 1);
1210 }
1211 else
1212 {
1213 BFD_DBG ("Ignoring event for non-existent session index %u",
1214 (u32) * session_index);
1215 }
1216 bfd_unlock (bm);
1217 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001218 break;
Klement Sekeraa57a9702017-02-02 06:58:07 +01001219 case BFD_EVENT_CONFIG_CHANGED:
Eyal Bari0db9b042018-10-11 14:09:58 +03001220 vec_foreach (session_index, event_data)
1221 {
1222 bfd_lock (bm);
1223 if (!pool_is_free_index (bm->sessions, *session_index))
1224 {
1225 bfd_session_t *bs =
1226 pool_elt_at_index (bm->sessions, *session_index);
1227 bfd_on_config_change (vm, rt, bm, bs, now);
1228 }
1229 else
1230 {
1231 BFD_DBG ("Ignoring event for non-existent session index %u",
1232 (u32) * session_index);
1233 }
1234 bfd_unlock (bm);
1235 }
Klement Sekeraa57a9702017-02-02 06:58:07 +01001236 break;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001237 default:
Damjan Marion07a38572018-01-21 06:44:18 -08001238 vlib_log_err (bm->log_class, "BUG: event type 0x%wx", event_type);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001239 break;
1240 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001241 BFD_DBG ("tw_timer_expire_timers_vec(%p, %.04f);", &bm->wheel, vm_time);
Dave Barach1e3417f2018-07-25 08:30:27 -04001242 bfd_lock (bm);
Klement Sekeraa3167442020-02-10 11:49:52 +00001243 expired =
1244 TW (tw_timer_expire_timers_vec) (&bm->wheel, vm_time, expired);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001245 BFD_DBG ("Expired %d elements", vec_len (expired));
1246 u32 *p = NULL;
1247 vec_foreach (p, expired)
1248 {
1249 const u32 bs_idx = *p;
1250 if (!pool_is_free_index (bm->sessions, bs_idx))
1251 {
1252 bfd_session_t *bs = pool_elt_at_index (bm->sessions, bs_idx);
Klement Sekeraa3167442020-02-10 11:49:52 +00001253 bs->tw_id = 0; /* timer is gone because it expired */
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001254 bfd_on_timeout (vm, rt, bm, bs, now);
Klement Sekera239790f2017-02-16 10:53:53 +01001255 bfd_set_timer (bm, bs, now, 1);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001256 }
1257 }
Dave Barach1e3417f2018-07-25 08:30:27 -04001258 bfd_unlock (bm);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001259 if (expired)
1260 {
1261 _vec_len (expired) = 0;
1262 }
1263 if (event_data)
1264 {
1265 _vec_len (event_data) = 0;
1266 }
1267 }
1268
1269 return 0;
1270}
1271
1272/*
1273 * bfd process node declaration
1274 */
1275/* *INDENT-OFF* */
1276VLIB_REGISTER_NODE (bfd_process_node, static) = {
1277 .function = bfd_process,
1278 .type = VLIB_NODE_TYPE_PROCESS,
1279 .name = "bfd-process",
Klement Sekera46a87ad2017-01-02 08:22:23 +01001280 .n_next_nodes = 0,
1281 .next_nodes = {},
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001282};
1283/* *INDENT-ON* */
1284
1285static clib_error_t *
1286bfd_sw_interface_up_down (vnet_main_t * vnm, u32 sw_if_index, u32 flags)
1287{
1288 // bfd_main_t *bm = &bfd_main;
1289 // vnet_hw_interface_t *hi = vnet_get_sup_hw_interface (vnm, sw_if_index);
1290 if (!(flags & VNET_SW_INTERFACE_FLAG_ADMIN_UP))
1291 {
1292 /* TODO */
1293 }
1294 return 0;
1295}
1296
1297VNET_SW_INTERFACE_ADMIN_UP_DOWN_FUNCTION (bfd_sw_interface_up_down);
1298
1299static clib_error_t *
1300bfd_hw_interface_up_down (vnet_main_t * vnm, u32 hw_if_index, u32 flags)
1301{
1302 // bfd_main_t *bm = &bfd_main;
1303 if (flags & VNET_HW_INTERFACE_FLAG_LINK_UP)
1304 {
1305 /* TODO */
1306 }
1307 return 0;
1308}
1309
1310VNET_HW_INTERFACE_LINK_UP_DOWN_FUNCTION (bfd_hw_interface_up_down);
1311
Neale Ranns88fc83e2017-04-05 08:11:14 -07001312void
1313bfd_register_listener (bfd_notify_fn_t fn)
1314{
1315 bfd_main_t *bm = &bfd_main;
1316
1317 vec_add1 (bm->listeners, fn);
1318}
1319
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001320/*
1321 * setup function
1322 */
1323static clib_error_t *
1324bfd_main_init (vlib_main_t * vm)
1325{
Dave Barach1e3417f2018-07-25 08:30:27 -04001326 vlib_thread_main_t *tm = &vlib_thread_main;
1327 u32 n_vlib_mains = tm->n_vlib_mains;
Klement Sekerab17dd962017-01-09 07:43:48 +01001328#if BFD_DEBUG
1329 setbuf (stdout, NULL);
1330#endif
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001331 bfd_main_t *bm = &bfd_main;
1332 bm->random_seed = random_default_seed ();
1333 bm->vlib_main = vm;
1334 bm->vnet_main = vnet_get_main ();
Dave Barachb7b92992018-10-17 10:38:51 -04001335 clib_memset (&bm->wheel, 0, sizeof (bm->wheel));
Klement Sekeraa3167442020-02-10 11:49:52 +00001336 bm->nsec_per_tw_tick = (f64) NSEC_PER_SEC / BFD_TW_TPS;
1337 bm->default_desired_min_tx_nsec =
1338 bfd_usec_to_nsec (BFD_DEFAULT_DESIRED_MIN_TX_USEC);
1339 bm->min_required_min_rx_while_echo_nsec =
1340 bfd_usec_to_nsec (BFD_REQUIRED_MIN_RX_USEC_WHILE_ECHO);
1341 BFD_DBG ("tw_timer_wheel_init(%p, %p, %.04f, %u)", &bm->wheel, NULL,
1342 1.00 / BFD_TW_TPS, ~0);
1343 TW (tw_timer_wheel_init) (&bm->wheel, NULL, 1.00 / BFD_TW_TPS, ~0);
Damjan Marion07a38572018-01-21 06:44:18 -08001344 bm->log_class = vlib_log_register_class ("bfd", 0);
1345 vlib_log_debug (bm->log_class, "initialized");
Dave Barach1e3417f2018-07-25 08:30:27 -04001346 bm->owner_thread_index = ~0;
1347 if (n_vlib_mains > 1)
1348 clib_spinlock_init (&bm->lock);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001349 return 0;
1350}
1351
1352VLIB_INIT_FUNCTION (bfd_main_init);
1353
1354bfd_session_t *
Klement Sekera239790f2017-02-16 10:53:53 +01001355bfd_get_session (bfd_main_t * bm, bfd_transport_e t)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001356{
1357 bfd_session_t *result;
Dave Barach1e3417f2018-07-25 08:30:27 -04001358
1359 bfd_lock (bm);
1360
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001361 pool_get (bm->sessions, result);
Dave Barachb7b92992018-10-17 10:38:51 -04001362 clib_memset (result, 0, sizeof (*result));
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001363 result->bs_idx = result - bm->sessions;
1364 result->transport = t;
Klement Sekera239790f2017-02-16 10:53:53 +01001365 const unsigned limit = 1000;
1366 unsigned counter = 0;
1367 do
1368 {
1369 result->local_discr = random_u32 (&bm->random_seed);
1370 if (counter > limit)
1371 {
Damjan Marion07a38572018-01-21 06:44:18 -08001372 vlib_log_crit (bm->log_class,
1373 "couldn't allocate unused session discriminator even "
1374 "after %u tries!", limit);
Klement Sekera239790f2017-02-16 10:53:53 +01001375 pool_put (bm->sessions, result);
Dave Barach1e3417f2018-07-25 08:30:27 -04001376 bfd_unlock (bm);
Klement Sekera239790f2017-02-16 10:53:53 +01001377 return NULL;
1378 }
1379 ++counter;
1380 }
1381 while (hash_get (bm->session_by_disc, result->local_discr));
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001382 bfd_set_defaults (bm, result);
1383 hash_set (bm->session_by_disc, result->local_discr, result->bs_idx);
Dave Barach1e3417f2018-07-25 08:30:27 -04001384 bfd_unlock (bm);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001385 return result;
1386}
1387
1388void
1389bfd_put_session (bfd_main_t * bm, bfd_session_t * bs)
1390{
Dave Barach1e3417f2018-07-25 08:30:27 -04001391 bfd_lock (bm);
1392
Damjan Marion07a38572018-01-21 06:44:18 -08001393 vlib_log_info (bm->log_class, "delete session: %U",
1394 format_bfd_session_brief, bs);
Neale Ranns88fc83e2017-04-05 08:11:14 -07001395 bfd_notify_listeners (bm, BFD_LISTEN_EVENT_DELETE, bs);
Klement Sekerab17dd962017-01-09 07:43:48 +01001396 if (bs->auth.curr_key)
1397 {
1398 --bs->auth.curr_key->use_count;
1399 }
1400 if (bs->auth.next_key)
1401 {
1402 --bs->auth.next_key->use_count;
1403 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001404 hash_unset (bm->session_by_disc, bs->local_discr);
1405 pool_put (bm->sessions, bs);
Dave Barach1e3417f2018-07-25 08:30:27 -04001406 bfd_unlock (bm);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001407}
1408
1409bfd_session_t *
1410bfd_find_session_by_idx (bfd_main_t * bm, uword bs_idx)
1411{
Dave Barach1e3417f2018-07-25 08:30:27 -04001412 bfd_lock_check (bm);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001413 if (!pool_is_free_index (bm->sessions, bs_idx))
1414 {
1415 return pool_elt_at_index (bm->sessions, bs_idx);
1416 }
1417 return NULL;
1418}
1419
1420bfd_session_t *
1421bfd_find_session_by_disc (bfd_main_t * bm, u32 disc)
1422{
Dave Barach1e3417f2018-07-25 08:30:27 -04001423 bfd_lock_check (bm);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001424 uword *p = hash_get (bfd_main.session_by_disc, disc);
1425 if (p)
1426 {
1427 return pool_elt_at_index (bfd_main.sessions, *p);
1428 }
1429 return NULL;
1430}
1431
1432/**
1433 * @brief verify bfd packet - common checks
1434 *
1435 * @param pkt
1436 *
1437 * @return 1 if bfd packet is valid
1438 */
1439int
1440bfd_verify_pkt_common (const bfd_pkt_t * pkt)
1441{
1442 if (1 != bfd_pkt_get_version (pkt))
1443 {
1444 BFD_ERR ("BFD verification failed - unexpected version: '%d'",
1445 bfd_pkt_get_version (pkt));
1446 return 0;
1447 }
1448 if (pkt->head.length < sizeof (bfd_pkt_t) ||
1449 (bfd_pkt_get_auth_present (pkt) &&
Klement Sekerab17dd962017-01-09 07:43:48 +01001450 pkt->head.length < sizeof (bfd_pkt_with_common_auth_t)))
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001451 {
1452 BFD_ERR ("BFD verification failed - unexpected length: '%d' (auth "
1453 "present: %d)",
1454 pkt->head.length, bfd_pkt_get_auth_present (pkt));
1455 return 0;
1456 }
1457 if (!pkt->head.detect_mult)
1458 {
1459 BFD_ERR ("BFD verification failed - unexpected detect-mult: '%d'",
1460 pkt->head.detect_mult);
1461 return 0;
1462 }
1463 if (bfd_pkt_get_multipoint (pkt))
1464 {
1465 BFD_ERR ("BFD verification failed - unexpected multipoint: '%d'",
1466 bfd_pkt_get_multipoint (pkt));
1467 return 0;
1468 }
1469 if (!pkt->my_disc)
1470 {
1471 BFD_ERR ("BFD verification failed - unexpected my-disc: '%d'",
1472 pkt->my_disc);
1473 return 0;
1474 }
1475 if (!pkt->your_disc)
1476 {
1477 const u8 pkt_state = bfd_pkt_get_state (pkt);
1478 if (pkt_state != BFD_STATE_down && pkt_state != BFD_STATE_admin_down)
1479 {
1480 BFD_ERR ("BFD verification failed - unexpected state: '%s' "
1481 "(your-disc is zero)", bfd_state_string (pkt_state));
1482 return 0;
1483 }
1484 }
1485 return 1;
1486}
1487
Klement Sekerab17dd962017-01-09 07:43:48 +01001488static void
1489bfd_session_switch_auth_to_next (bfd_session_t * bs)
1490{
1491 BFD_DBG ("Switching authentication key from %U to %U for bs_idx=%u",
1492 format_bfd_auth_key, bs->auth.curr_key, format_bfd_auth_key,
1493 bs->auth.next_key, bs->bs_idx);
1494 bs->auth.is_delayed = 0;
1495 if (bs->auth.curr_key)
1496 {
1497 --bs->auth.curr_key->use_count;
1498 }
1499 bs->auth.curr_key = bs->auth.next_key;
1500 bs->auth.next_key = NULL;
1501 bs->auth.curr_bfd_key_id = bs->auth.next_bfd_key_id;
1502}
1503
1504static int
1505bfd_auth_type_is_meticulous (bfd_auth_type_e auth_type)
1506{
1507 if (BFD_AUTH_TYPE_meticulous_keyed_md5 == auth_type ||
1508 BFD_AUTH_TYPE_meticulous_keyed_sha1 == auth_type)
1509 {
1510 return 1;
1511 }
1512 return 0;
1513}
1514
1515static int
Klement Sekeraa3167442020-02-10 11:49:52 +00001516bfd_verify_pkt_auth_seq_num (vlib_main_t * vm, bfd_session_t * bs,
Klement Sekerab17dd962017-01-09 07:43:48 +01001517 u32 received_seq_num, int is_meticulous)
1518{
1519 /*
1520 * RFC 5880 6.8.1:
1521 *
1522 * This variable MUST be set to zero after no packets have been
1523 * received on this session for at least twice the Detection Time.
1524 */
Klement Sekeraa3167442020-02-10 11:49:52 +00001525 u64 now = bfd_time_now_nsec (vm, NULL);
1526 if (now - bs->last_rx_nsec > bs->detection_time_nsec * 2)
Klement Sekerab17dd962017-01-09 07:43:48 +01001527 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001528 BFD_DBG ("BFD peer unresponsive for %lu nsec, which is > 2 * "
1529 "detection_time=%u nsec, resetting remote_seq_number_known "
1530 "flag", now - bs->last_rx_nsec, bs->detection_time_nsec * 2);
Klement Sekerab17dd962017-01-09 07:43:48 +01001531 bs->auth.remote_seq_number_known = 0;
1532 }
1533 if (bs->auth.remote_seq_number_known)
1534 {
1535 /* remote sequence number is known, verify its validity */
1536 const u32 max_u32 = 0xffffffff;
1537 /* the calculation might wrap, account for the special case... */
1538 if (bs->auth.remote_seq_number > max_u32 - 3 * bs->local_detect_mult)
1539 {
1540 /*
1541 * special case
1542 *
1543 * x y z
1544 * |----------+----------------------------+-----------|
1545 * 0 ^ ^ 0xffffffff
1546 * | remote_seq_num------+
1547 * |
1548 * +-----(remote_seq_num + 3*detect_mult) % * 0xffffffff
1549 *
1550 * x + y + z = 0xffffffff
1551 * x + z = 3 * detect_mult
1552 */
1553 const u32 z = max_u32 - bs->auth.remote_seq_number;
1554 const u32 x = 3 * bs->local_detect_mult - z;
1555 if (received_seq_num > x &&
1556 received_seq_num < bs->auth.remote_seq_number + is_meticulous)
1557 {
1558 BFD_ERR
1559 ("Recvd sequence number=%u out of ranges <0, %u>, <%u, %u>",
1560 received_seq_num, x,
1561 bs->auth.remote_seq_number + is_meticulous, max_u32);
1562 return 0;
1563 }
1564 }
1565 else
1566 {
1567 /* regular case */
1568 const u32 min = bs->auth.remote_seq_number + is_meticulous;
1569 const u32 max =
1570 bs->auth.remote_seq_number + 3 * bs->local_detect_mult;
1571 if (received_seq_num < min || received_seq_num > max)
1572 {
1573 BFD_ERR ("Recvd sequence number=%u out of range <%u, %u>",
1574 received_seq_num, min, max);
1575 return 0;
1576 }
1577 }
1578 }
1579 return 1;
1580}
1581
1582static int
Klement Sekeraefd4d702021-04-20 19:21:36 +02001583bfd_verify_pkt_auth_key_sha1 (vlib_main_t *vm, const bfd_pkt_t *pkt,
1584 u32 pkt_size, bfd_session_t *bs, u8 bfd_key_id,
1585 bfd_auth_key_t *auth_key)
Klement Sekerab17dd962017-01-09 07:43:48 +01001586{
1587 ASSERT (auth_key->auth_type == BFD_AUTH_TYPE_keyed_sha1 ||
1588 auth_key->auth_type == BFD_AUTH_TYPE_meticulous_keyed_sha1);
1589
Klement Sekerab17dd962017-01-09 07:43:48 +01001590 bfd_pkt_with_common_auth_t *with_common = (void *) pkt;
1591 if (pkt_size < sizeof (*with_common))
1592 {
1593 BFD_ERR ("Packet size too small to hold authentication common header");
1594 return 0;
1595 }
1596 if (with_common->common_auth.type != auth_key->auth_type)
1597 {
1598 BFD_ERR ("BFD auth type mismatch, packet auth=%d:%s doesn't match "
1599 "in-use auth=%d:%s",
1600 with_common->common_auth.type,
1601 bfd_auth_type_str (with_common->common_auth.type),
1602 auth_key->auth_type, bfd_auth_type_str (auth_key->auth_type));
1603 return 0;
1604 }
1605 bfd_pkt_with_sha1_auth_t *with_sha1 = (void *) pkt;
1606 if (pkt_size < sizeof (*with_sha1) ||
1607 with_sha1->sha1_auth.type_len.len < sizeof (with_sha1->sha1_auth))
1608 {
1609 BFD_ERR
1610 ("BFD size mismatch, payload size=%u, expected=%u, auth_len=%u, "
1611 "expected=%u", pkt_size, sizeof (*with_sha1),
1612 with_sha1->sha1_auth.type_len.len, sizeof (with_sha1->sha1_auth));
1613 return 0;
1614 }
1615 if (with_sha1->sha1_auth.key_id != bfd_key_id)
1616 {
1617 BFD_ERR
1618 ("BFD key ID mismatch, packet key ID=%u doesn't match key ID=%u%s",
1619 with_sha1->sha1_auth.key_id, bfd_key_id,
1620 bs->
1621 auth.is_delayed ? " (but a delayed auth change is scheduled)" : "");
1622 return 0;
1623 }
Klement Sekeraefd4d702021-04-20 19:21:36 +02001624
1625 u8 hash_from_packet[STRUCT_SIZE_OF (bfd_auth_sha1_t, hash)];
1626 u8 calculated_hash[STRUCT_SIZE_OF (bfd_auth_sha1_t, hash)];
1627 clib_memcpy (hash_from_packet, with_sha1->sha1_auth.hash,
1628 sizeof (with_sha1->sha1_auth.hash));
1629 clib_memcpy (with_sha1->sha1_auth.hash, auth_key->key,
1630 sizeof (auth_key->key));
1631 vnet_crypto_op_t op;
1632 vnet_crypto_op_init (&op, VNET_CRYPTO_OP_SHA1_HASH);
1633 op.src = (u8 *) with_sha1;
1634 op.len = sizeof (*with_sha1);
1635 op.digest = calculated_hash;
1636 vnet_crypto_process_ops (vm, &op, 1);
1637 if (0 ==
1638 memcmp (calculated_hash, hash_from_packet, sizeof (calculated_hash)))
Klement Sekerab17dd962017-01-09 07:43:48 +01001639 {
Klement Sekeraefd4d702021-04-20 19:21:36 +02001640 clib_memcpy (with_sha1->sha1_auth.hash, hash_from_packet,
1641 sizeof (hash_from_packet));
Klement Sekerab17dd962017-01-09 07:43:48 +01001642 return 1;
1643 }
1644 BFD_ERR ("SHA1 hash: %U doesn't match the expected value: %U",
Klement Sekeraefd4d702021-04-20 19:21:36 +02001645 format_hex_bytes, hash_from_packet, sizeof (hash_from_packet),
1646 format_hex_bytes, calculated_hash, sizeof (calculated_hash));
Klement Sekerab17dd962017-01-09 07:43:48 +01001647 return 0;
1648}
1649
1650static int
Klement Sekeraa3167442020-02-10 11:49:52 +00001651bfd_verify_pkt_auth_key (vlib_main_t * vm, const bfd_pkt_t * pkt,
1652 u32 pkt_size, bfd_session_t * bs, u8 bfd_key_id,
Klement Sekerab17dd962017-01-09 07:43:48 +01001653 bfd_auth_key_t * auth_key)
1654{
Damjan Marion07a38572018-01-21 06:44:18 -08001655 bfd_main_t *bm = &bfd_main;
Klement Sekerab17dd962017-01-09 07:43:48 +01001656 switch (auth_key->auth_type)
1657 {
1658 case BFD_AUTH_TYPE_reserved:
Damjan Marion07a38572018-01-21 06:44:18 -08001659 vlib_log_err (bm->log_class,
1660 "internal error, unexpected auth_type=%d:%s",
Klement Sekerab17dd962017-01-09 07:43:48 +01001661 auth_key->auth_type,
1662 bfd_auth_type_str (auth_key->auth_type));
1663 return 0;
1664 case BFD_AUTH_TYPE_simple_password:
Damjan Marion07a38572018-01-21 06:44:18 -08001665 vlib_log_err (bm->log_class,
1666 "internal error, not implemented, unexpected auth_type=%d:%s",
1667 auth_key->auth_type,
1668 bfd_auth_type_str (auth_key->auth_type));
Klement Sekerab17dd962017-01-09 07:43:48 +01001669 return 0;
1670 case BFD_AUTH_TYPE_keyed_md5:
1671 /* fallthrough */
1672 case BFD_AUTH_TYPE_meticulous_keyed_md5:
Damjan Marion07a38572018-01-21 06:44:18 -08001673 vlib_log_err
1674 (bm->log_class,
1675 "internal error, not implemented, unexpected auth_type=%d:%s",
Klement Sekerab17dd962017-01-09 07:43:48 +01001676 auth_key->auth_type, bfd_auth_type_str (auth_key->auth_type));
1677 return 0;
1678 case BFD_AUTH_TYPE_keyed_sha1:
1679 /* fallthrough */
1680 case BFD_AUTH_TYPE_meticulous_keyed_sha1:
Klement Sekerab17dd962017-01-09 07:43:48 +01001681 do
1682 {
1683 const u32 seq_num = clib_net_to_host_u32 (((bfd_pkt_with_sha1_auth_t
1684 *) pkt)->
1685 sha1_auth.seq_num);
Klement Sekeraefd4d702021-04-20 19:21:36 +02001686 return bfd_verify_pkt_auth_seq_num (
1687 vm, bs, seq_num,
1688 bfd_auth_type_is_meticulous (auth_key->auth_type)) &&
1689 bfd_verify_pkt_auth_key_sha1 (vm, pkt, pkt_size, bs,
1690 bfd_key_id, auth_key);
Klement Sekerab17dd962017-01-09 07:43:48 +01001691 }
1692 while (0);
Klement Sekerab17dd962017-01-09 07:43:48 +01001693 }
1694 return 0;
1695}
1696
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001697/**
1698 * @brief verify bfd packet - authentication
1699 *
1700 * @param pkt
1701 *
1702 * @return 1 if bfd packet is valid
1703 */
1704int
Klement Sekeraa3167442020-02-10 11:49:52 +00001705bfd_verify_pkt_auth (vlib_main_t * vm, const bfd_pkt_t * pkt, u16 pkt_size,
1706 bfd_session_t * bs)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001707{
Klement Sekerab17dd962017-01-09 07:43:48 +01001708 if (bfd_pkt_get_auth_present (pkt))
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001709 {
Klement Sekerab17dd962017-01-09 07:43:48 +01001710 /* authentication present in packet */
1711 if (!bs->auth.curr_key)
1712 {
1713 /* currently not using authentication - can we turn it on? */
1714 if (bs->auth.is_delayed && bs->auth.next_key)
1715 {
1716 /* yes, switch is scheduled - make sure the auth is valid */
Klement Sekeraa3167442020-02-10 11:49:52 +00001717 if (bfd_verify_pkt_auth_key (vm, pkt, pkt_size, bs,
Klement Sekerab17dd962017-01-09 07:43:48 +01001718 bs->auth.next_bfd_key_id,
1719 bs->auth.next_key))
1720 {
1721 /* auth matches next key, do the switch, packet is valid */
1722 bfd_session_switch_auth_to_next (bs);
1723 return 1;
1724 }
1725 }
1726 }
1727 else
1728 {
1729 /* yes, using authentication, verify the key */
Klement Sekeraa3167442020-02-10 11:49:52 +00001730 if (bfd_verify_pkt_auth_key (vm, pkt, pkt_size, bs,
Klement Sekerab17dd962017-01-09 07:43:48 +01001731 bs->auth.curr_bfd_key_id,
1732 bs->auth.curr_key))
1733 {
1734 /* verification passed, packet is valid */
1735 return 1;
1736 }
1737 else
1738 {
1739 /* verification failed - but maybe we need to switch key */
1740 if (bs->auth.is_delayed && bs->auth.next_key)
1741 {
1742 /* delayed switch present, verify if that key works */
Klement Sekeraa3167442020-02-10 11:49:52 +00001743 if (bfd_verify_pkt_auth_key (vm, pkt, pkt_size, bs,
Klement Sekerab17dd962017-01-09 07:43:48 +01001744 bs->auth.next_bfd_key_id,
1745 bs->auth.next_key))
1746 {
1747 /* auth matches next key, switch key, packet is valid */
1748 bfd_session_switch_auth_to_next (bs);
1749 return 1;
1750 }
1751 }
1752 }
1753 }
1754 }
1755 else
1756 {
1757 /* authentication in packet not present */
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001758 if (pkt_size > sizeof (*pkt))
1759 {
1760 BFD_ERR ("BFD verification failed - unexpected packet size '%d' "
1761 "(auth not present)", pkt_size);
1762 return 0;
1763 }
Klement Sekerab17dd962017-01-09 07:43:48 +01001764 if (bs->auth.curr_key)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001765 {
Klement Sekerab17dd962017-01-09 07:43:48 +01001766 /* currently authenticating - could we turn it off? */
1767 if (bs->auth.is_delayed && !bs->auth.next_key)
1768 {
1769 /* yes, delayed switch to NULL key is scheduled */
1770 bfd_session_switch_auth_to_next (bs);
1771 return 1;
1772 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001773 }
Klement Sekerab17dd962017-01-09 07:43:48 +01001774 else
1775 {
1776 /* no auth in packet, no auth in use - packet is valid */
1777 return 1;
1778 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001779 }
Klement Sekerab17dd962017-01-09 07:43:48 +01001780 return 0;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001781}
1782
1783void
Klement Sekeraa3167442020-02-10 11:49:52 +00001784bfd_consume_pkt (vlib_main_t * vm, bfd_main_t * bm, const bfd_pkt_t * pkt,
1785 u32 bs_idx)
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001786{
Dave Barach1e3417f2018-07-25 08:30:27 -04001787 bfd_lock_check (bm);
1788
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001789 bfd_session_t *bs = bfd_find_session_by_idx (bm, bs_idx);
Klement Sekera0e2e0df2017-03-03 08:51:08 +01001790 if (!bs || (pkt->your_disc && pkt->your_disc != bs->local_discr))
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001791 {
1792 return;
1793 }
1794 BFD_DBG ("Scanning bfd packet, bs_idx=%d", bs->bs_idx);
1795 bs->remote_discr = pkt->my_disc;
1796 bs->remote_state = bfd_pkt_get_state (pkt);
1797 bs->remote_demand = bfd_pkt_get_demand (pkt);
Klement Sekera73884482017-02-23 09:26:30 +01001798 bs->remote_diag = bfd_pkt_get_diag_code (pkt);
Klement Sekeraa3167442020-02-10 11:49:52 +00001799 u64 now = bfd_time_now_nsec (vm, NULL);
1800 bs->last_rx_nsec = now;
Klement Sekerab17dd962017-01-09 07:43:48 +01001801 if (bfd_pkt_get_auth_present (pkt))
1802 {
1803 bfd_auth_type_e auth_type =
1804 ((bfd_pkt_with_common_auth_t *) (pkt))->common_auth.type;
1805 switch (auth_type)
1806 {
1807 case BFD_AUTH_TYPE_reserved:
1808 /* fallthrough */
1809 case BFD_AUTH_TYPE_simple_password:
1810 /* fallthrough */
1811 case BFD_AUTH_TYPE_keyed_md5:
1812 /* fallthrough */
1813 case BFD_AUTH_TYPE_meticulous_keyed_md5:
Damjan Marion07a38572018-01-21 06:44:18 -08001814 vlib_log_crit (bm->log_class,
1815 "internal error, unexpected auth_type=%d:%s",
1816 auth_type, bfd_auth_type_str (auth_type));
Klement Sekerab17dd962017-01-09 07:43:48 +01001817 break;
1818 case BFD_AUTH_TYPE_keyed_sha1:
1819 /* fallthrough */
1820 case BFD_AUTH_TYPE_meticulous_keyed_sha1:
1821 do
1822 {
1823 bfd_pkt_with_sha1_auth_t *with_sha1 =
1824 (bfd_pkt_with_sha1_auth_t *) pkt;
1825 bs->auth.remote_seq_number =
1826 clib_net_to_host_u32 (with_sha1->sha1_auth.seq_num);
1827 bs->auth.remote_seq_number_known = 1;
1828 BFD_DBG ("Received sequence number %u",
1829 bs->auth.remote_seq_number);
1830 }
1831 while (0);
1832 }
1833 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001834 bs->remote_desired_min_tx_nsec =
1835 bfd_usec_to_nsec (clib_net_to_host_u32 (pkt->des_min_tx));
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001836 bs->remote_detect_mult = pkt->head.detect_mult;
Klement Sekera637b9c42016-12-08 05:19:14 +01001837 bfd_set_remote_required_min_rx (bm, bs, now,
Klement Sekera239790f2017-02-16 10:53:53 +01001838 clib_net_to_host_u32 (pkt->req_min_rx));
1839 bfd_set_remote_required_min_echo_rx (bm, bs, now,
1840 clib_net_to_host_u32
1841 (pkt->req_min_echo_rx));
Klement Sekera239790f2017-02-16 10:53:53 +01001842 if (bfd_pkt_get_final (pkt))
Klement Sekeraa57a9702017-02-02 06:58:07 +01001843 {
Klement Sekera239790f2017-02-16 10:53:53 +01001844 if (BFD_POLL_IN_PROGRESS == bs->poll_state)
Klement Sekeraa57a9702017-02-02 06:58:07 +01001845 {
Klement Sekera239790f2017-02-16 10:53:53 +01001846 BFD_DBG ("Poll sequence terminated, bs_idx=%u", bs->bs_idx);
1847 bfd_set_poll_state (bs, BFD_POLL_NOT_NEEDED);
1848 if (BFD_STATE_up == bs->local_state)
1849 {
Alexander Skorichenko0dfad212021-10-14 13:09:02 +03001850 bfd_set_effective_desired_min_tx (
1851 bm, bs, now, bs->config_desired_min_tx_nsec);
Klement Sekera73884482017-02-23 09:26:30 +01001852 bfd_set_effective_required_min_rx (bm, bs,
Klement Sekera239790f2017-02-16 10:53:53 +01001853 clib_max (bs->echo *
Klement Sekeraa3167442020-02-10 11:49:52 +00001854 bm->min_required_min_rx_while_echo_nsec,
1855 bs->config_required_min_rx_nsec));
Klement Sekera239790f2017-02-16 10:53:53 +01001856 }
1857 }
1858 else if (BFD_POLL_IN_PROGRESS_AND_QUEUED == bs->poll_state)
1859 {
1860 /*
1861 * next poll sequence must be delayed by at least the round trip
1862 * time, so calculate that here
1863 */
1864 BFD_DBG ("Next poll sequence can commence in " BFD_CLK_FMT,
Klement Sekeraa3167442020-02-10 11:49:52 +00001865 BFD_CLK_PRN (now - bs->poll_state_start_or_timeout_nsec));
1866 bs->poll_state_start_or_timeout_nsec =
1867 now + (now - bs->poll_state_start_or_timeout_nsec);
Klement Sekera239790f2017-02-16 10:53:53 +01001868 BFD_DBG
1869 ("Poll sequence terminated, but another is needed, bs_idx=%u",
1870 bs->bs_idx);
1871 bfd_set_poll_state (bs, BFD_POLL_NEEDED);
Klement Sekeraa57a9702017-02-02 06:58:07 +01001872 }
1873 }
Klement Sekera239790f2017-02-16 10:53:53 +01001874 bfd_calc_next_tx (bm, bs, now);
1875 bfd_set_timer (bm, bs, now, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001876 if (BFD_STATE_admin_down == bs->local_state)
Klement Sekerac48829b2017-02-14 07:55:57 +01001877 {
1878 BFD_DBG ("Session is admin-down, ignoring packet, bs_idx=%u",
1879 bs->bs_idx);
1880 return;
1881 }
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001882 if (BFD_STATE_admin_down == bs->remote_state)
1883 {
1884 bfd_set_diag (bs, BFD_DIAG_CODE_neighbor_sig_down);
Klement Sekeraa3167442020-02-10 11:49:52 +00001885 bfd_set_state (vm, bm, bs, BFD_STATE_down, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001886 }
1887 else if (BFD_STATE_down == bs->local_state)
1888 {
1889 if (BFD_STATE_down == bs->remote_state)
1890 {
Klement Sekerae50e8562017-04-04 16:19:48 +02001891 bfd_set_diag (bs, BFD_DIAG_CODE_no_diag);
Klement Sekeraa3167442020-02-10 11:49:52 +00001892 bfd_set_state (vm, bm, bs, BFD_STATE_init, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001893 }
1894 else if (BFD_STATE_init == bs->remote_state)
1895 {
Klement Sekerae50e8562017-04-04 16:19:48 +02001896 bfd_set_diag (bs, BFD_DIAG_CODE_no_diag);
Klement Sekeraa3167442020-02-10 11:49:52 +00001897 bfd_set_state (vm, bm, bs, BFD_STATE_up, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001898 }
1899 }
1900 else if (BFD_STATE_init == bs->local_state)
1901 {
1902 if (BFD_STATE_up == bs->remote_state ||
1903 BFD_STATE_init == bs->remote_state)
1904 {
Klement Sekerae50e8562017-04-04 16:19:48 +02001905 bfd_set_diag (bs, BFD_DIAG_CODE_no_diag);
Klement Sekeraa3167442020-02-10 11:49:52 +00001906 bfd_set_state (vm, bm, bs, BFD_STATE_up, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001907 }
1908 }
1909 else /* BFD_STATE_up == bs->local_state */
1910 {
1911 if (BFD_STATE_down == bs->remote_state)
1912 {
1913 bfd_set_diag (bs, BFD_DIAG_CODE_neighbor_sig_down);
Klement Sekeraa3167442020-02-10 11:49:52 +00001914 bfd_set_state (vm, bm, bs, BFD_STATE_down, 0);
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001915 }
1916 }
1917}
1918
Klement Sekera239790f2017-02-16 10:53:53 +01001919int
Klement Sekeraa3167442020-02-10 11:49:52 +00001920bfd_consume_echo_pkt (vlib_main_t * vm, bfd_main_t * bm, vlib_buffer_t * b)
Klement Sekeraa57a9702017-02-02 06:58:07 +01001921{
Klement Sekera239790f2017-02-16 10:53:53 +01001922 bfd_echo_pkt_t *pkt = NULL;
1923 if (b->current_length != sizeof (*pkt))
Klement Sekeraa57a9702017-02-02 06:58:07 +01001924 {
Klement Sekera239790f2017-02-16 10:53:53 +01001925 return 0;
Klement Sekeraa57a9702017-02-02 06:58:07 +01001926 }
Klement Sekera239790f2017-02-16 10:53:53 +01001927 pkt = vlib_buffer_get_current (b);
1928 bfd_session_t *bs = bfd_find_session_by_disc (bm, pkt->discriminator);
1929 if (!bs)
1930 {
1931 return 0;
1932 }
1933 BFD_DBG ("Scanning bfd echo packet, bs_idx=%d", bs->bs_idx);
1934 u64 checksum =
Klement Sekeraa3167442020-02-10 11:49:52 +00001935 bfd_calc_echo_checksum (bs->local_discr, pkt->expire_time_nsec,
Klement Sekera239790f2017-02-16 10:53:53 +01001936 bs->echo_secret);
1937 if (checksum != pkt->checksum)
1938 {
1939 BFD_DBG ("Invalid echo packet, checksum mismatch");
1940 return 1;
1941 }
Klement Sekeraa3167442020-02-10 11:49:52 +00001942 u64 now = bfd_time_now_nsec (vm, NULL);
1943 if (pkt->expire_time_nsec < now)
Klement Sekera239790f2017-02-16 10:53:53 +01001944 {
1945 BFD_DBG ("Stale packet received, expire time %lu < now %lu",
Klement Sekeraa3167442020-02-10 11:49:52 +00001946 pkt->expire_time_nsec, now);
Klement Sekera239790f2017-02-16 10:53:53 +01001947 }
1948 else
1949 {
Klement Sekeraa3167442020-02-10 11:49:52 +00001950 bs->echo_last_rx_nsec = now;
Klement Sekera239790f2017-02-16 10:53:53 +01001951 }
1952 return 1;
Klement Sekeraa57a9702017-02-02 06:58:07 +01001953}
1954
Klement Sekera0e3c0de2016-09-29 14:43:44 +02001955u8 *
1956format_bfd_session (u8 * s, va_list * args)
1957{
1958 const bfd_session_t *bs = va_arg (*args, bfd_session_t *);
Klement Sekera239790f2017-02-16 10:53:53 +01001959 s = format (s, "bs_idx=%u local-state=%s remote-state=%s\n"
Damjan Marion06d82262020-10-21 12:43:40 +02001960 "local-discriminator=%u remote-discriminator=%u\n"
1961 "local-diag=%s echo-active=%s\n"
1962 "desired-min-tx=%u required-min-rx=%u\n"
1963 "required-min-echo-rx=%u detect-mult=%u\n"
1964 "remote-min-rx=%u remote-min-echo-rx=%u\n"
1965 "remote-demand=%s poll-state=%s\n"
1966 "auth: local-seq-num=%u remote-seq-num=%u\n"
1967 " is-delayed=%s\n"
1968 " curr-key=%U\n"
1969 " next-key=%U",
Klement Sekerab17dd962017-01-09 07:43:48 +01001970 bs->bs_idx, bfd_state_string (bs->local_state),
Damjan Marion06d82262020-10-21 12:43:40 +02001971 bfd_state_string (bs->remote_state), bs->local_discr,
1972 bs->remote_discr, bfd_diag_code_string (bs->local_diag),
1973 (bs->echo ? "yes" : "no"), bs->config_desired_min_tx_usec,
1974 bs->config_required_min_rx_usec, 1, bs->local_detect_mult,
1975 bs->remote_min_rx_usec, bs->remote_min_echo_rx_usec,
Klement Sekera239790f2017-02-16 10:53:53 +01001976 (bs->remote_demand ? "yes" : "no"),
Damjan Marion06d82262020-10-21 12:43:40 +02001977 bfd_poll_state_string (bs->poll_state),
1978 bs->auth.local_seq_number, bs->auth.remote_seq_number,
1979 (bs->auth.is_delayed ? "yes" : "no"),
1980 format_bfd_auth_key, bs->auth.curr_key, format_bfd_auth_key,
Klement Sekera239790f2017-02-16 10:53:53 +01001981 bs->auth.next_key);
Klement Sekerab17dd962017-01-09 07:43:48 +01001982 return s;
1983}
1984
Damjan Marion07a38572018-01-21 06:44:18 -08001985u8 *
1986format_bfd_session_brief (u8 * s, va_list * args)
1987{
1988 const bfd_session_t *bs = va_arg (*args, bfd_session_t *);
1989 s =
1990 format (s, "bs_idx=%u local-state=%s remote-state=%s", bs->bs_idx,
1991 bfd_state_string (bs->local_state),
1992 bfd_state_string (bs->remote_state));
1993 return s;
1994}
1995
Klement Sekerab17dd962017-01-09 07:43:48 +01001996unsigned
1997bfd_auth_type_supported (bfd_auth_type_e auth_type)
1998{
1999 if (auth_type == BFD_AUTH_TYPE_keyed_sha1 ||
2000 auth_type == BFD_AUTH_TYPE_meticulous_keyed_sha1)
2001 {
2002 return 1;
2003 }
2004 return 0;
2005}
2006
2007vnet_api_error_t
2008bfd_auth_activate (bfd_session_t * bs, u32 conf_key_id,
2009 u8 bfd_key_id, u8 is_delayed)
2010{
2011 bfd_main_t *bm = &bfd_main;
2012 const uword *key_idx_p =
2013 hash_get (bm->auth_key_by_conf_key_id, conf_key_id);
2014 if (!key_idx_p)
2015 {
Damjan Marion07a38572018-01-21 06:44:18 -08002016 vlib_log_err (bm->log_class,
2017 "authentication key with config ID %u doesn't exist)",
Klement Sekerab17dd962017-01-09 07:43:48 +01002018 conf_key_id);
2019 return VNET_API_ERROR_BFD_ENOENT;
2020 }
2021 const uword key_idx = *key_idx_p;
2022 bfd_auth_key_t *key = pool_elt_at_index (bm->auth_keys, key_idx);
2023 if (is_delayed)
2024 {
Alexander Skorichenko4c3c60d2021-10-15 16:04:44 +00002025 if (bs->auth.next_key == key && bs->auth.next_bfd_key_id == bfd_key_id)
Klement Sekerab17dd962017-01-09 07:43:48 +01002026 {
2027 /* already using this key, no changes required */
2028 return 0;
2029 }
Alexander Skorichenko4c3c60d2021-10-15 16:04:44 +00002030 if (bs->auth.next_key != key)
2031 {
2032 ++key->use_count;
2033 bs->auth.next_key = key;
2034 }
Klement Sekerab17dd962017-01-09 07:43:48 +01002035 bs->auth.next_bfd_key_id = bfd_key_id;
2036 bs->auth.is_delayed = 1;
2037 }
2038 else
2039 {
Alexander Skorichenko4c3c60d2021-10-15 16:04:44 +00002040 if (bs->auth.curr_key == key && bs->auth.curr_bfd_key_id == bfd_key_id)
Klement Sekerab17dd962017-01-09 07:43:48 +01002041 {
2042 /* already using this key, no changes required */
2043 return 0;
2044 }
Alexander Skorichenko4c3c60d2021-10-15 16:04:44 +00002045 ++key->use_count;
Klement Sekerab17dd962017-01-09 07:43:48 +01002046 if (bs->auth.curr_key)
2047 {
2048 --bs->auth.curr_key->use_count;
2049 }
2050 bs->auth.curr_key = key;
2051 bs->auth.curr_bfd_key_id = bfd_key_id;
2052 bs->auth.is_delayed = 0;
2053 }
Klement Sekera239790f2017-02-16 10:53:53 +01002054 BFD_DBG ("\nSession auth modified: %U", format_bfd_session, bs);
Damjan Marion07a38572018-01-21 06:44:18 -08002055 vlib_log_info (bm->log_class, "session auth modified: %U",
2056 format_bfd_session_brief, bs);
Klement Sekerab17dd962017-01-09 07:43:48 +01002057 return 0;
2058}
2059
2060vnet_api_error_t
2061bfd_auth_deactivate (bfd_session_t * bs, u8 is_delayed)
2062{
Damjan Marion07a38572018-01-21 06:44:18 -08002063 bfd_main_t *bm = &bfd_main;
Klement Sekerab17dd962017-01-09 07:43:48 +01002064 if (!is_delayed)
2065 {
2066 /* not delayed - deactivate the current key right now */
2067 if (bs->auth.curr_key)
2068 {
2069 --bs->auth.curr_key->use_count;
2070 bs->auth.curr_key = NULL;
2071 }
2072 bs->auth.is_delayed = 0;
2073 }
2074 else
2075 {
2076 /* delayed - mark as so */
2077 bs->auth.is_delayed = 1;
2078 }
2079 /*
2080 * clear the next key unconditionally - either the auth change is not delayed
2081 * in which case the caller expects the session to not use authentication
2082 * from this point forward, or it is delayed, in which case the next_key
2083 * needs to be set to NULL to make it so in the future
2084 */
2085 if (bs->auth.next_key)
2086 {
2087 --bs->auth.next_key->use_count;
2088 bs->auth.next_key = NULL;
2089 }
Klement Sekera239790f2017-02-16 10:53:53 +01002090 BFD_DBG ("\nSession auth modified: %U", format_bfd_session, bs);
Damjan Marion07a38572018-01-21 06:44:18 -08002091 vlib_log_info (bm->log_class, "session auth modified: %U",
2092 format_bfd_session_brief, bs);
Klement Sekerab17dd962017-01-09 07:43:48 +01002093 return 0;
Klement Sekera0e3c0de2016-09-29 14:43:44 +02002094}
2095
Klement Sekeraa57a9702017-02-02 06:58:07 +01002096vnet_api_error_t
2097bfd_session_set_params (bfd_main_t * bm, bfd_session_t * bs,
2098 u32 desired_min_tx_usec,
2099 u32 required_min_rx_usec, u8 detect_mult)
2100{
2101 if (bs->local_detect_mult != detect_mult ||
2102 bs->config_desired_min_tx_usec != desired_min_tx_usec ||
2103 bs->config_required_min_rx_usec != required_min_rx_usec)
2104 {
Klement Sekera239790f2017-02-16 10:53:53 +01002105 BFD_DBG ("\nChanging session params: %U", format_bfd_session, bs);
Klement Sekeraa57a9702017-02-02 06:58:07 +01002106 switch (bs->poll_state)
2107 {
Klement Sekera239790f2017-02-16 10:53:53 +01002108 case BFD_POLL_NOT_NEEDED:
Klement Sekeraa57a9702017-02-02 06:58:07 +01002109 if (BFD_STATE_up == bs->local_state ||
2110 BFD_STATE_init == bs->local_state)
2111 {
2112 /* poll sequence is not needed for detect multiplier change */
2113 if (bs->config_desired_min_tx_usec != desired_min_tx_usec ||
2114 bs->config_required_min_rx_usec != required_min_rx_usec)
2115 {
Klement Sekera239790f2017-02-16 10:53:53 +01002116 bfd_set_poll_state (bs, BFD_POLL_NEEDED);
Klement Sekeraa57a9702017-02-02 06:58:07 +01002117 }
2118 }
2119 break;
Klement Sekera239790f2017-02-16 10:53:53 +01002120 case BFD_POLL_NEEDED:
2121 case BFD_POLL_IN_PROGRESS_AND_QUEUED:
2122 /*
2123 * nothing to do - will be handled in the future poll which is
2124 * already scheduled for execution
2125 */
Klement Sekeraa57a9702017-02-02 06:58:07 +01002126 break;
Klement Sekera239790f2017-02-16 10:53:53 +01002127 case BFD_POLL_IN_PROGRESS:
2128 /* poll sequence is not needed for detect multiplier change */
2129 if (bs->config_desired_min_tx_usec != desired_min_tx_usec ||
2130 bs->config_required_min_rx_usec != required_min_rx_usec)
2131 {
2132 BFD_DBG ("Poll in progress, queueing extra poll, bs_idx=%u",
2133 bs->bs_idx);
2134 bfd_set_poll_state (bs, BFD_POLL_IN_PROGRESS_AND_QUEUED);
2135 }
Klement Sekeraa57a9702017-02-02 06:58:07 +01002136 }
2137
2138 bs->local_detect_mult = detect_mult;
2139 bs->config_desired_min_tx_usec = desired_min_tx_usec;
Klement Sekeraa3167442020-02-10 11:49:52 +00002140 bs->config_desired_min_tx_nsec = bfd_usec_to_nsec (desired_min_tx_usec);
Klement Sekeraa57a9702017-02-02 06:58:07 +01002141 bs->config_required_min_rx_usec = required_min_rx_usec;
Klement Sekeraa3167442020-02-10 11:49:52 +00002142 bs->config_required_min_rx_nsec =
2143 bfd_usec_to_nsec (required_min_rx_usec);
Klement Sekera239790f2017-02-16 10:53:53 +01002144 BFD_DBG ("\nChanged session params: %U", format_bfd_session, bs);
Klement Sekeraa57a9702017-02-02 06:58:07 +01002145
Damjan Marion07a38572018-01-21 06:44:18 -08002146 vlib_log_info (bm->log_class, "changed session params: %U",
2147 format_bfd_session_brief, bs);
Klement Sekeraa57a9702017-02-02 06:58:07 +01002148 vlib_process_signal_event (bm->vlib_main, bm->bfd_process_node_index,
2149 BFD_EVENT_CONFIG_CHANGED, bs->bs_idx);
2150 }
2151 else
2152 {
2153 BFD_DBG ("Ignore parameter change - no change, bs_idx=%u", bs->bs_idx);
2154 }
2155 return 0;
2156}
2157
Klement Sekera73884482017-02-23 09:26:30 +01002158vnet_api_error_t
2159bfd_auth_set_key (u32 conf_key_id, u8 auth_type, u8 key_len,
2160 const u8 * key_data)
2161{
Damjan Marion07a38572018-01-21 06:44:18 -08002162 bfd_main_t *bm = &bfd_main;
Klement Sekera73884482017-02-23 09:26:30 +01002163 bfd_auth_key_t *auth_key = NULL;
Klement Sekerab16bfe32017-02-28 11:56:48 +01002164 if (!key_len || key_len > bfd_max_key_len_for_auth_type (auth_type))
Klement Sekera73884482017-02-23 09:26:30 +01002165 {
Damjan Marion07a38572018-01-21 06:44:18 -08002166 vlib_log_err (bm->log_class,
2167 "invalid authentication key length for auth_type=%d:%s "
2168 "(key_len=%u, must be non-zero, expected max=%u)",
Klement Sekera73884482017-02-23 09:26:30 +01002169 auth_type, bfd_auth_type_str (auth_type), key_len,
Klement Sekerab16bfe32017-02-28 11:56:48 +01002170 (u32) bfd_max_key_len_for_auth_type (auth_type));
Klement Sekera73884482017-02-23 09:26:30 +01002171 return VNET_API_ERROR_INVALID_VALUE;
2172 }
2173 if (!bfd_auth_type_supported (auth_type))
2174 {
Damjan Marion07a38572018-01-21 06:44:18 -08002175 vlib_log_err (bm->log_class, "unsupported auth type=%d:%s", auth_type,
Klement Sekera73884482017-02-23 09:26:30 +01002176 bfd_auth_type_str (auth_type));
2177 return VNET_API_ERROR_BFD_NOTSUPP;
2178 }
Klement Sekera73884482017-02-23 09:26:30 +01002179 uword *key_idx_p = hash_get (bm->auth_key_by_conf_key_id, conf_key_id);
2180 if (key_idx_p)
2181 {
2182 /* modifying existing key - must not be used */
2183 const uword key_idx = *key_idx_p;
2184 auth_key = pool_elt_at_index (bm->auth_keys, key_idx);
2185 if (auth_key->use_count > 0)
2186 {
Damjan Marion07a38572018-01-21 06:44:18 -08002187 vlib_log_err (bm->log_class,
2188 "authentication key with conf ID %u in use by %u BFD "
2189 "session(s) - cannot modify", conf_key_id,
2190 auth_key->use_count);
Klement Sekera73884482017-02-23 09:26:30 +01002191 return VNET_API_ERROR_BFD_EINUSE;
2192 }
2193 }
2194 else
2195 {
2196 /* adding new key */
2197 pool_get (bm->auth_keys, auth_key);
2198 auth_key->conf_key_id = conf_key_id;
2199 hash_set (bm->auth_key_by_conf_key_id, conf_key_id,
2200 auth_key - bm->auth_keys);
2201 }
2202 auth_key->auth_type = auth_type;
Dave Barachb7b92992018-10-17 10:38:51 -04002203 clib_memset (auth_key->key, 0, sizeof (auth_key->key));
Klement Sekera73884482017-02-23 09:26:30 +01002204 clib_memcpy (auth_key->key, key_data, key_len);
2205 return 0;
Klement Sekera73884482017-02-23 09:26:30 +01002206}
2207
2208vnet_api_error_t
2209bfd_auth_del_key (u32 conf_key_id)
2210{
Klement Sekera73884482017-02-23 09:26:30 +01002211 bfd_auth_key_t *auth_key = NULL;
2212 bfd_main_t *bm = &bfd_main;
2213 uword *key_idx_p = hash_get (bm->auth_key_by_conf_key_id, conf_key_id);
2214 if (key_idx_p)
2215 {
2216 /* deleting existing key - must not be used */
2217 const uword key_idx = *key_idx_p;
2218 auth_key = pool_elt_at_index (bm->auth_keys, key_idx);
2219 if (auth_key->use_count > 0)
2220 {
Damjan Marion07a38572018-01-21 06:44:18 -08002221 vlib_log_err (bm->log_class,
2222 "authentication key with conf ID %u in use by %u BFD "
2223 "session(s) - cannot delete", conf_key_id,
2224 auth_key->use_count);
Klement Sekera73884482017-02-23 09:26:30 +01002225 return VNET_API_ERROR_BFD_EINUSE;
2226 }
2227 hash_unset (bm->auth_key_by_conf_key_id, conf_key_id);
Dave Barachb7b92992018-10-17 10:38:51 -04002228 clib_memset (auth_key, 0, sizeof (*auth_key));
Klement Sekera73884482017-02-23 09:26:30 +01002229 pool_put (bm->auth_keys, auth_key);
2230 }
2231 else
2232 {
2233 /* no such key */
Damjan Marion07a38572018-01-21 06:44:18 -08002234 vlib_log_err (bm->log_class,
2235 "authentication key with conf ID %u does not exist",
Klement Sekera73884482017-02-23 09:26:30 +01002236 conf_key_id);
2237 return VNET_API_ERROR_BFD_ENOENT;
2238 }
2239 return 0;
Klement Sekera73884482017-02-23 09:26:30 +01002240}
2241
Klement Sekera0e3c0de2016-09-29 14:43:44 +02002242bfd_main_t bfd_main;
2243
2244/*
2245 * fd.io coding-style-patch-verification: ON
2246 *
2247 * Local Variables:
2248 * eval: (c-set-style "gnu")
2249 * End:
2250 */