blob: 84ef7b0ef4d749dcfeb7ea762d8ab668a9762562 [file] [log] [blame]
Klement Sekerad3ba5152017-02-14 03:09:17 +01001""" BFD protocol implementation """
2
Klement Sekerab17dd962017-01-09 07:43:48 +01003from random import randint
Klement Sekerad3ba5152017-02-14 03:09:17 +01004from socket import AF_INET, AF_INET6, inet_pton
5from scapy.all import bind_layers
6from scapy.layers.inet import UDP
7from scapy.packet import Packet
8from scapy.fields import BitField, BitEnumField, XByteField, FlagsField,\
Klement Sekeraaeeac3b2017-02-14 07:11:52 +01009 ConditionalField, StrField
Klement Sekerad3ba5152017-02-14 03:09:17 +010010from vpp_object import VppObject
Klement Sekera0e3c0de2016-09-29 14:43:44 +020011from util import NumericConstant
12
13
14class BFDDiagCode(NumericConstant):
15 """ BFD Diagnostic Code """
16 no_diagnostic = 0
17 control_detection_time_expired = 1
18 echo_function_failed = 2
19 neighbor_signaled_session_down = 3
20 forwarding_plane_reset = 4
21 path_down = 5
22 concatenated_path_down = 6
23 administratively_down = 7
24 reverse_concatenated_path_down = 8
25
26 desc_dict = {
27 no_diagnostic: "No diagnostic",
28 control_detection_time_expired: "Control Detection Time Expired",
29 echo_function_failed: "Echo Function Failed",
30 neighbor_signaled_session_down: "Neighbor Signaled Session Down",
31 forwarding_plane_reset: "Forwarding Plane Reset",
32 path_down: "Path Down",
33 concatenated_path_down: "Concatenated Path Down",
34 administratively_down: "Administratively Down",
35 reverse_concatenated_path_down: "Reverse Concatenated Path Down",
36 }
37
Klement Sekera0e3c0de2016-09-29 14:43:44 +020038
39class BFDState(NumericConstant):
40 """ BFD State """
41 admin_down = 0
42 down = 1
43 init = 2
44 up = 3
45
46 desc_dict = {
47 admin_down: "AdminDown",
48 down: "Down",
49 init: "Init",
50 up: "Up",
51 }
52
Klement Sekera0e3c0de2016-09-29 14:43:44 +020053
Klement Sekerab17dd962017-01-09 07:43:48 +010054class BFDAuthType(NumericConstant):
55 """ BFD Authentication Type """
56 no_auth = 0
57 simple_pwd = 1
58 keyed_md5 = 2
59 meticulous_keyed_md5 = 3
60 keyed_sha1 = 4
61 meticulous_keyed_sha1 = 5
62
63 desc_dict = {
64 no_auth: "No authentication",
65 simple_pwd: "Simple Password",
66 keyed_md5: "Keyed MD5",
67 meticulous_keyed_md5: "Meticulous Keyed MD5",
68 keyed_sha1: "Keyed SHA1",
69 meticulous_keyed_sha1: "Meticulous Keyed SHA1",
70 }
71
Klement Sekerab17dd962017-01-09 07:43:48 +010072
73def bfd_is_auth_used(pkt):
Klement Sekerad3ba5152017-02-14 03:09:17 +010074 """ is packet authenticated? """
Klement Sekerab17dd962017-01-09 07:43:48 +010075 return "A" in pkt.sprintf("%BFD.flags%")
76
77
78def bfd_is_simple_pwd_used(pkt):
Klement Sekerad3ba5152017-02-14 03:09:17 +010079 """ is simple password authentication used? """
Klement Sekerab17dd962017-01-09 07:43:48 +010080 return bfd_is_auth_used(pkt) and pkt.auth_type == BFDAuthType.simple_pwd
81
82
83def bfd_is_sha1_used(pkt):
Klement Sekerad3ba5152017-02-14 03:09:17 +010084 """ is sha1 authentication used? """
Klement Sekerab17dd962017-01-09 07:43:48 +010085 return bfd_is_auth_used(pkt) and pkt.auth_type in \
86 (BFDAuthType.keyed_sha1, BFDAuthType.meticulous_keyed_sha1)
87
88
89def bfd_is_md5_used(pkt):
Klement Sekerad3ba5152017-02-14 03:09:17 +010090 """ is md5 authentication used? """
Klement Sekerab17dd962017-01-09 07:43:48 +010091 return bfd_is_auth_used(pkt) and pkt.auth_type in \
92 (BFDAuthType.keyed_md5, BFDAuthType.meticulous_keyed_md5)
93
94
95def bfd_is_md5_or_sha1_used(pkt):
Klement Sekerad3ba5152017-02-14 03:09:17 +010096 """ is md5 or sha1 used? """
Klement Sekerab17dd962017-01-09 07:43:48 +010097 return bfd_is_md5_used(pkt) or bfd_is_sha1_used(pkt)
98
99
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200100class BFD(Packet):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100101 """ BFD protocol layer for scapy """
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200102
103 udp_dport = 3784 #: BFD destination port per RFC 5881
Klement Sekeraaeeac3b2017-02-14 07:11:52 +0100104 udp_dport_echo = 3785 # : BFD destination port for ECHO per RFC 5881
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200105 udp_sport_min = 49152 #: BFD source port min value per RFC 5881
106 udp_sport_max = 65535 #: BFD source port max value per RFC 5881
Klement Sekerab17dd962017-01-09 07:43:48 +0100107 bfd_pkt_len = 24 # : length of BFD pkt without authentication section
108 sha1_auth_len = 28 # : length of authentication section if SHA1 used
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200109
110 name = "BFD"
111
112 fields_desc = [
113 BitField("version", 1, 3),
114 BitEnumField("diag", 0, 5, BFDDiagCode.desc_dict),
115 BitEnumField("state", 0, 2, BFDState.desc_dict),
Klement Sekerab17dd962017-01-09 07:43:48 +0100116 FlagsField("flags", 0, 6, ['M', 'D', 'A', 'C', 'F', 'P']),
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200117 XByteField("detect_mult", 0),
Klement Sekerab17dd962017-01-09 07:43:48 +0100118 BitField("length", bfd_pkt_len, 8),
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200119 BitField("my_discriminator", 0, 32),
120 BitField("your_discriminator", 0, 32),
121 BitField("desired_min_tx_interval", 0, 32),
122 BitField("required_min_rx_interval", 0, 32),
Klement Sekerab17dd962017-01-09 07:43:48 +0100123 BitField("required_min_echo_rx_interval", 0, 32),
124 ConditionalField(
125 BitEnumField("auth_type", 0, 8, BFDAuthType.desc_dict),
126 bfd_is_auth_used),
127 ConditionalField(BitField("auth_len", 0, 8), bfd_is_auth_used),
128 ConditionalField(BitField("auth_key_id", 0, 8), bfd_is_auth_used),
129 ConditionalField(BitField("auth_reserved", 0, 8),
130 bfd_is_md5_or_sha1_used),
131 ConditionalField(
132 BitField("auth_seq_num", 0, 32), bfd_is_md5_or_sha1_used),
133 ConditionalField(StrField("auth_key_hash", "0" * 16), bfd_is_md5_used),
134 ConditionalField(
135 StrField("auth_key_hash", "0" * 20), bfd_is_sha1_used),
136 ]
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200137
138 def mysummary(self):
139 return self.sprintf("BFD(my_disc=%BFD.my_discriminator%,"
140 "your_disc=%BFD.your_discriminator%)")
141
Klement Sekera31da2e32018-06-24 22:49:55 +0200142
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200143# glue the BFD packet class to scapy parser
144bind_layers(UDP, BFD, dport=BFD.udp_dport)
145
146
Klement Sekera239790f2017-02-16 10:53:53 +0100147class BFD_vpp_echo(Packet):
148 """ BFD echo packet as used by VPP (non-rfc, as rfc doesn't define one) """
149
150 udp_dport = 3785 #: BFD echo destination port per RFC 5881
151 name = "BFD_VPP_ECHO"
152
153 fields_desc = [
154 BitField("discriminator", 0, 32),
155 BitField("expire_time_clocks", 0, 64),
156 BitField("checksum", 0, 64)
157 ]
158
159 def mysummary(self):
160 return self.sprintf(
161 "BFD_VPP_ECHO(disc=%BFD_VPP_ECHO.discriminator%,"
162 "expire_time_clocks=%BFD_VPP_ECHO.expire_time_clocks%)")
163
Klement Sekera31da2e32018-06-24 22:49:55 +0200164
Klement Sekera239790f2017-02-16 10:53:53 +0100165# glue the BFD echo packet class to scapy parser
166bind_layers(UDP, BFD_vpp_echo, dport=BFD_vpp_echo.udp_dport)
167
168
Klement Sekerab17dd962017-01-09 07:43:48 +0100169class VppBFDAuthKey(VppObject):
170 """ Represents BFD authentication key in VPP """
171
172 def __init__(self, test, conf_key_id, auth_type, key):
173 self._test = test
174 self._key = key
175 self._auth_type = auth_type
176 test.assertIn(auth_type, BFDAuthType.desc_dict)
177 self._conf_key_id = conf_key_id
178
179 @property
180 def test(self):
181 """ Test which created this key """
182 return self._test
183
184 @property
185 def auth_type(self):
186 """ Authentication type for this key """
187 return self._auth_type
188
189 @property
190 def key(self):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100191 """ key data """
Klement Sekerab17dd962017-01-09 07:43:48 +0100192 return self._key
193
Klement Sekera73884482017-02-23 09:26:30 +0100194 @key.setter
195 def key(self, value):
196 self._key = value
197
Klement Sekerab17dd962017-01-09 07:43:48 +0100198 @property
199 def conf_key_id(self):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100200 """ configuration key ID """
Klement Sekerab17dd962017-01-09 07:43:48 +0100201 return self._conf_key_id
202
203 def add_vpp_config(self):
204 self.test.vapi.bfd_auth_set_key(
205 self._conf_key_id, self._auth_type, self._key)
206 self._test.registry.register(self, self.test.logger)
207
208 def get_bfd_auth_keys_dump_entry(self):
209 """ get the entry in the auth keys dump corresponding to this key """
210 result = self.test.vapi.bfd_auth_keys_dump()
211 for k in result:
212 if k.conf_key_id == self._conf_key_id:
213 return k
214 return None
215
216 def query_vpp_config(self):
217 return self.get_bfd_auth_keys_dump_entry() is not None
218
219 def remove_vpp_config(self):
220 self.test.vapi.bfd_auth_del_key(self._conf_key_id)
221
222 def object_id(self):
223 return "bfd-auth-key-%s" % self._conf_key_id
224
Klement Sekerab17dd962017-01-09 07:43:48 +0100225
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200226class VppBFDUDPSession(VppObject):
227 """ Represents BFD UDP session in VPP """
228
Klement Sekerab17dd962017-01-09 07:43:48 +0100229 def __init__(self, test, interface, peer_addr, local_addr=None, af=AF_INET,
Klement Sekera2e01dfa2017-04-03 08:10:08 +0200230 desired_min_tx=300000, required_min_rx=300000, detect_mult=3,
Klement Sekerab17dd962017-01-09 07:43:48 +0100231 sha1_key=None, bfd_key_id=None):
232 self._test = test
233 self._interface = interface
234 self._af = af
235 self._local_addr = local_addr
Klement Sekerad3ba5152017-02-14 03:09:17 +0100236 if local_addr is not None:
237 self._local_addr_n = inet_pton(af, local_addr)
238 else:
239 self._local_addr_n = None
Klement Sekerab17dd962017-01-09 07:43:48 +0100240 self._peer_addr = peer_addr
Klement Sekerad3ba5152017-02-14 03:09:17 +0100241 self._peer_addr_n = inet_pton(af, peer_addr)
Klement Sekerab17dd962017-01-09 07:43:48 +0100242 self._desired_min_tx = desired_min_tx
243 self._required_min_rx = required_min_rx
244 self._detect_mult = detect_mult
245 self._sha1_key = sha1_key
Klement Sekera73884482017-02-23 09:26:30 +0100246 if bfd_key_id is not None:
247 self._bfd_key_id = bfd_key_id
248 else:
249 self._bfd_key_id = randint(0, 255)
Klement Sekerab17dd962017-01-09 07:43:48 +0100250
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200251 @property
252 def test(self):
253 """ Test which created this session """
254 return self._test
255
256 @property
257 def interface(self):
258 """ Interface on which this session lives """
259 return self._interface
260
261 @property
262 def af(self):
263 """ Address family - AF_INET or AF_INET6 """
264 return self._af
265
266 @property
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200267 def local_addr(self):
268 """ BFD session local address (VPP address) """
269 if self._local_addr is None:
Klement Sekera46a87ad2017-01-02 08:22:23 +0100270 if self.af == AF_INET:
271 return self._interface.local_ip4
272 elif self.af == AF_INET6:
273 return self._interface.local_ip6
274 else:
Klement Sekerad3ba5152017-02-14 03:09:17 +0100275 raise Exception("Unexpected af '%s'" % self.af)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200276 return self._local_addr
277
278 @property
279 def local_addr_n(self):
280 """ BFD session local address (VPP address) - raw, suitable for API """
281 if self._local_addr is None:
Klement Sekera46a87ad2017-01-02 08:22:23 +0100282 if self.af == AF_INET:
283 return self._interface.local_ip4n
284 elif self.af == AF_INET6:
285 return self._interface.local_ip6n
286 else:
Klement Sekerad3ba5152017-02-14 03:09:17 +0100287 raise Exception("Unexpected af '%s'" % self.af)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200288 return self._local_addr_n
289
290 @property
291 def peer_addr(self):
292 """ BFD session peer address """
293 return self._peer_addr
294
295 @property
296 def peer_addr_n(self):
297 """ BFD session peer address - raw, suitable for API """
298 return self._peer_addr_n
299
Klement Sekerab17dd962017-01-09 07:43:48 +0100300 def get_bfd_udp_session_dump_entry(self):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100301 """ get the namedtuple entry from bfd udp session dump """
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200302 result = self.test.vapi.bfd_udp_session_dump()
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200303 for s in result:
Klement Sekerab17dd962017-01-09 07:43:48 +0100304 self.test.logger.debug("session entry: %s" % str(s))
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200305 if s.sw_if_index == self.interface.sw_if_index:
306 if self.af == AF_INET \
307 and s.is_ipv6 == 0 \
308 and self.interface.local_ip4n == s.local_addr[:4] \
309 and self.interface.remote_ip4n == s.peer_addr[:4]:
Klement Sekerab17dd962017-01-09 07:43:48 +0100310 return s
311 if self.af == AF_INET6 \
312 and s.is_ipv6 == 1 \
313 and self.interface.local_ip6n == s.local_addr \
314 and self.interface.remote_ip6n == s.peer_addr:
315 return s
316 return None
317
318 @property
319 def state(self):
320 """ BFD session state """
321 session = self.get_bfd_udp_session_dump_entry()
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200322 if session is None:
Klement Sekerad3ba5152017-02-14 03:09:17 +0100323 raise Exception("Could not find BFD session in VPP response")
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200324 return session.state
325
326 @property
327 def desired_min_tx(self):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100328 """ desired minimum tx interval """
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200329 return self._desired_min_tx
330
331 @property
332 def required_min_rx(self):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100333 """ required minimum rx interval """
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200334 return self._required_min_rx
335
336 @property
337 def detect_mult(self):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100338 """ detect multiplier """
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200339 return self._detect_mult
340
Klement Sekerab17dd962017-01-09 07:43:48 +0100341 @property
342 def sha1_key(self):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100343 """ sha1 key """
Klement Sekerab17dd962017-01-09 07:43:48 +0100344 return self._sha1_key
345
346 @property
347 def bfd_key_id(self):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100348 """ bfd key id in use """
Klement Sekerab17dd962017-01-09 07:43:48 +0100349 return self._bfd_key_id
350
351 def activate_auth(self, key, bfd_key_id=None, delayed=False):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100352 """ activate authentication for this session """
Klement Sekerab17dd962017-01-09 07:43:48 +0100353 self._bfd_key_id = bfd_key_id if bfd_key_id else randint(0, 255)
354 self._sha1_key = key
355 is_ipv6 = 1 if AF_INET6 == self.af else 0
356 conf_key_id = self._sha1_key.conf_key_id
357 is_delayed = 1 if delayed else 0
358 self.test.vapi.bfd_udp_auth_activate(self._interface.sw_if_index,
359 self.local_addr_n,
360 self.peer_addr_n,
361 is_ipv6=is_ipv6,
362 bfd_key_id=self._bfd_key_id,
363 conf_key_id=conf_key_id,
364 is_delayed=is_delayed)
365
366 def deactivate_auth(self, delayed=False):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100367 """ deactivate authentication """
Klement Sekerab17dd962017-01-09 07:43:48 +0100368 self._bfd_key_id = None
369 self._sha1_key = None
370 is_delayed = 1 if delayed else 0
371 is_ipv6 = 1 if AF_INET6 == self.af else 0
372 self.test.vapi.bfd_udp_auth_deactivate(self._interface.sw_if_index,
373 self.local_addr_n,
374 self.peer_addr_n,
375 is_ipv6=is_ipv6,
376 is_delayed=is_delayed)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200377
Klement Sekeraa57a9702017-02-02 06:58:07 +0100378 def modify_parameters(self,
379 detect_mult=None,
380 desired_min_tx=None,
381 required_min_rx=None):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100382 """ modify session parameters """
Klement Sekeraa57a9702017-02-02 06:58:07 +0100383 if detect_mult:
384 self._detect_mult = detect_mult
385 if desired_min_tx:
386 self._desired_min_tx = desired_min_tx
387 if required_min_rx:
388 self._required_min_rx = required_min_rx
389 is_ipv6 = 1 if AF_INET6 == self.af else 0
390 self.test.vapi.bfd_udp_mod(self._interface.sw_if_index,
391 self.desired_min_tx,
392 self.required_min_rx,
393 self.detect_mult,
394 self.local_addr_n,
395 self.peer_addr_n,
396 is_ipv6=is_ipv6)
397
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200398 def add_vpp_config(self):
399 is_ipv6 = 1 if AF_INET6 == self.af else 0
Klement Sekerab17dd962017-01-09 07:43:48 +0100400 bfd_key_id = self._bfd_key_id if self._sha1_key else None
401 conf_key_id = self._sha1_key.conf_key_id if self._sha1_key else None
402 self.test.vapi.bfd_udp_add(self._interface.sw_if_index,
403 self.desired_min_tx,
404 self.required_min_rx,
405 self.detect_mult,
406 self.local_addr_n,
407 self.peer_addr_n,
408 is_ipv6=is_ipv6,
409 bfd_key_id=bfd_key_id,
410 conf_key_id=conf_key_id)
Klement Sekera10db26f2017-01-11 08:16:53 +0100411 self._test.registry.register(self, self.test.logger)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200412
413 def query_vpp_config(self):
Klement Sekerab17dd962017-01-09 07:43:48 +0100414 session = self.get_bfd_udp_session_dump_entry()
415 return session is not None
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200416
417 def remove_vpp_config(self):
Klement Sekerab17dd962017-01-09 07:43:48 +0100418 is_ipv6 = 1 if AF_INET6 == self._af else 0
419 self.test.vapi.bfd_udp_del(self._interface.sw_if_index,
420 self.local_addr_n,
421 self.peer_addr_n,
422 is_ipv6=is_ipv6)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200423
424 def object_id(self):
Klement Sekerab17dd962017-01-09 07:43:48 +0100425 return "bfd-udp-%s-%s-%s-%s" % (self._interface.sw_if_index,
426 self.local_addr,
427 self.peer_addr,
428 self.af)
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200429
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200430 def admin_up(self):
Klement Sekerad3ba5152017-02-14 03:09:17 +0100431 """ set bfd session admin-up """
Klement Sekerab17dd962017-01-09 07:43:48 +0100432 is_ipv6 = 1 if AF_INET6 == self._af else 0
433 self.test.vapi.bfd_udp_session_set_flags(1,
434 self._interface.sw_if_index,
435 self.local_addr_n,
436 self.peer_addr_n,
437 is_ipv6=is_ipv6)
Klement Sekerac48829b2017-02-14 07:55:57 +0100438
439 def admin_down(self):
440 """ set bfd session admin-down """
441 is_ipv6 = 1 if AF_INET6 == self._af else 0
442 self.test.vapi.bfd_udp_session_set_flags(0,
443 self._interface.sw_if_index,
444 self.local_addr_n,
445 self.peer_addr_n,
446 is_ipv6=is_ipv6)