3 * Copyright (C) 2008 Everton da Silva Marques
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation; either version 2 of the License, or
8 * (at your option) any later version.
10 * This program is distributed in the hope that it will be useful, but
11 * WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 * General Public License for more details.
15 * You should have received a copy of the GNU General Public License along
16 * with this program; see the file COPYING; if not, write to the Free Software
17 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
33 #include "pim_iface.h"
34 #include "pim_hello.h"
35 #include "pim_macro.h"
36 #include "pim_assert.h"
37 #include "pim_ifchannel.h"
39 static int assert_action_a3(struct pim_ifchannel
*ch
);
40 static void assert_action_a2(struct pim_ifchannel
*ch
,
41 struct pim_assert_metric winner_metric
);
42 static void assert_action_a6(struct pim_ifchannel
*ch
,
43 struct pim_assert_metric winner_metric
);
45 void pim_ifassert_winner_set(struct pim_ifchannel
*ch
,
46 enum pim_ifassert_state new_state
, pim_addr winner
,
47 struct pim_assert_metric winner_metric
)
49 struct pim_interface
*pim_ifp
= ch
->interface
->info
;
50 int winner_changed
= !!pim_addr_cmp(ch
->ifassert_winner
, winner
);
51 int metric_changed
= !pim_assert_metric_match(
52 &ch
->ifassert_winner_metric
, &winner_metric
);
54 if (PIM_DEBUG_PIM_EVENTS
) {
55 if (ch
->ifassert_state
!= new_state
) {
57 "%s: (S,G)=%s assert state changed from %s to %s on interface %s",
59 pim_ifchannel_ifassert_name(ch
->ifassert_state
),
60 pim_ifchannel_ifassert_name(new_state
),
65 char was_str
[INET_ADDRSTRLEN
];
66 char winner_str
[INET_ADDRSTRLEN
];
67 pim_inet4_dump("<was?>", ch
->ifassert_winner
, was_str
,
69 pim_inet4_dump("<winner?>", winner
, winner_str
,
72 "%s: (S,G)=%s assert winner changed from %s to %s on interface %s",
73 __func__
, ch
->sg_str
, was_str
, winner_str
,
76 } /* PIM_DEBUG_PIM_EVENTS */
78 ch
->ifassert_state
= new_state
;
79 ch
->ifassert_winner
= winner
;
80 ch
->ifassert_winner_metric
= winner_metric
;
81 ch
->ifassert_creation
= pim_time_monotonic_sec();
83 if (winner_changed
|| metric_changed
) {
84 pim_upstream_update_join_desired(pim_ifp
->pim
, ch
->upstream
);
85 pim_ifchannel_update_could_assert(ch
);
86 pim_ifchannel_update_assert_tracking_desired(ch
);
90 static void on_trace(const char *label
, struct interface
*ifp
,
93 if (PIM_DEBUG_PIM_TRACE
) {
94 char src_str
[INET_ADDRSTRLEN
];
95 pim_inet4_dump("<src?>", src
, src_str
, sizeof(src_str
));
96 zlog_debug("%s: from %s on %s", label
, src_str
, ifp
->name
);
100 static int preferred_assert(const struct pim_ifchannel
*ch
,
101 const struct pim_assert_metric
*recv_metric
)
103 return pim_assert_metric_better(recv_metric
,
104 &ch
->ifassert_winner_metric
);
107 static int acceptable_assert(const struct pim_assert_metric
*my_metric
,
108 const struct pim_assert_metric
*recv_metric
)
110 return pim_assert_metric_better(recv_metric
, my_metric
);
113 static int inferior_assert(const struct pim_assert_metric
*my_metric
,
114 const struct pim_assert_metric
*recv_metric
)
116 return pim_assert_metric_better(my_metric
, recv_metric
);
119 static int cancel_assert(const struct pim_assert_metric
*recv_metric
)
121 return (recv_metric
->metric_preference
122 == PIM_ASSERT_METRIC_PREFERENCE_MAX
)
123 && (recv_metric
->route_metric
== PIM_ASSERT_ROUTE_METRIC_MAX
);
126 static void if_could_assert_do_a1(const char *caller
, struct pim_ifchannel
*ch
)
128 if (PIM_IF_FLAG_TEST_COULD_ASSERT(ch
->flags
)) {
129 if (assert_action_a1(ch
)) {
131 "%s: %s: (S,G)=%s assert_action_a1 failure on interface %s",
132 __func__
, caller
, ch
->sg_str
,
133 ch
->interface
->name
);
134 /* log warning only */
139 static int dispatch_assert(struct interface
*ifp
, pim_addr source_addr
,
141 struct pim_assert_metric recv_metric
)
143 struct pim_ifchannel
*ch
;
146 memset(&sg
, 0, sizeof(sg
));
147 sg
.src
= source_addr
;
149 ch
= pim_ifchannel_add(ifp
, &sg
, 0, 0);
151 switch (ch
->ifassert_state
) {
152 case PIM_IFASSERT_NOINFO
:
153 if (recv_metric
.rpt_bit_flag
) {
155 if_could_assert_do_a1(__func__
, ch
);
158 if (inferior_assert(&ch
->ifassert_my_metric
,
160 if_could_assert_do_a1(__func__
, ch
);
161 } else if (acceptable_assert(&ch
->ifassert_my_metric
,
163 if (PIM_IF_FLAG_TEST_ASSERT_TRACKING_DESIRED(
165 assert_action_a6(ch
, recv_metric
);
170 case PIM_IFASSERT_I_AM_WINNER
:
171 if (preferred_assert(ch
, &recv_metric
)) {
172 assert_action_a2(ch
, recv_metric
);
174 if (inferior_assert(&ch
->ifassert_my_metric
,
176 assert_action_a3(ch
);
180 case PIM_IFASSERT_I_AM_LOSER
:
181 if (!pim_addr_cmp(recv_metric
.ip_address
,
182 ch
->ifassert_winner
)) {
183 /* Assert from current winner */
185 if (cancel_assert(&recv_metric
)) {
186 assert_action_a5(ch
);
188 if (inferior_assert(&ch
->ifassert_my_metric
,
190 assert_action_a5(ch
);
191 } else if (acceptable_assert(
192 &ch
->ifassert_my_metric
,
194 if (!recv_metric
.rpt_bit_flag
) {
200 } else if (preferred_assert(ch
, &recv_metric
)) {
201 assert_action_a2(ch
, recv_metric
);
206 "%s: (S,G)=%s invalid assert state %d on interface %s",
207 __func__
, ch
->sg_str
, ch
->ifassert_state
, ifp
->name
);
215 int pim_assert_recv(struct interface
*ifp
, struct pim_neighbor
*neigh
,
216 struct in_addr src_addr
, uint8_t *buf
, int buf_size
)
219 pim_addr msg_source_addr
;
220 bool wrong_af
= false;
221 struct pim_assert_metric msg_metric
;
225 struct pim_interface
*pim_ifp
= NULL
;
227 on_trace(__func__
, ifp
, src_addr
);
230 curr_size
= buf_size
;
233 Parse assert group addr
235 memset(&sg
, 0, sizeof(sg
));
236 offset
= pim_parse_addr_group(&sg
, curr
, curr_size
);
238 char src_str
[INET_ADDRSTRLEN
];
239 pim_inet4_dump("<src?>", src_addr
, src_str
, sizeof(src_str
));
240 zlog_warn("%s: pim_parse_addr_group() failure: from %s on %s",
241 __func__
, src_str
, ifp
->name
);
248 Parse assert source addr
250 offset
= pim_parse_addr_ucast(&msg_source_addr
, curr
, curr_size
,
252 if (offset
< 1 || wrong_af
) {
253 char src_str
[INET_ADDRSTRLEN
];
254 pim_inet4_dump("<src?>", src_addr
, src_str
, sizeof(src_str
));
255 zlog_warn("%s: pim_parse_addr_ucast() failure: from %s on %s",
256 __func__
, src_str
, ifp
->name
);
263 char src_str
[INET_ADDRSTRLEN
];
264 pim_inet4_dump("<src?>", src_addr
, src_str
, sizeof(src_str
));
266 "%s: preference/metric size is less than 8 bytes: size=%d from %s on interface %s",
267 __func__
, curr_size
, src_str
, ifp
->name
);
272 Parse assert metric preference
275 msg_metric
.metric_preference
= pim_read_uint32_host(curr
);
277 msg_metric
.rpt_bit_flag
= msg_metric
.metric_preference
278 & 0x80000000; /* save highest bit */
279 msg_metric
.metric_preference
&= ~0x80000000; /* clear highest bit */
284 Parse assert route metric
287 msg_metric
.route_metric
= pim_read_uint32_host(curr
);
289 if (PIM_DEBUG_PIM_TRACE
) {
290 char neigh_str
[INET_ADDRSTRLEN
];
291 pim_inet4_dump("<neigh?>", src_addr
, neigh_str
,
294 "%s: from %s on %s: (S,G)=(%pPAs,%pPAs) pref=%u metric=%u rpt_bit=%u",
295 __func__
, neigh_str
, ifp
->name
, &msg_source_addr
,
296 &sg
.grp
, msg_metric
.metric_preference
,
297 msg_metric
.route_metric
,
298 PIM_FORCE_BOOLEAN(msg_metric
.rpt_bit_flag
));
301 msg_metric
.ip_address
= src_addr
;
305 ++pim_ifp
->pim_ifstat_assert_recv
;
307 return dispatch_assert(ifp
, msg_source_addr
, sg
.grp
, msg_metric
);
311 RFC 4601: 4.6.3. Assert Metrics
313 Assert metrics are defined as:
315 When comparing assert_metrics, the rpt_bit_flag, metric_preference,
316 and route_metric field are compared in order, where the first lower
317 value wins. If all fields are equal, the primary IP address of the
318 router that sourced the Assert message is used as a tie-breaker,
319 with the highest IP address winning.
321 int pim_assert_metric_better(const struct pim_assert_metric
*m1
,
322 const struct pim_assert_metric
*m2
)
324 if (m1
->rpt_bit_flag
< m2
->rpt_bit_flag
)
326 if (m1
->rpt_bit_flag
> m2
->rpt_bit_flag
)
329 if (m1
->metric_preference
< m2
->metric_preference
)
331 if (m1
->metric_preference
> m2
->metric_preference
)
334 if (m1
->route_metric
< m2
->route_metric
)
336 if (m1
->route_metric
> m2
->route_metric
)
339 return pim_addr_cmp(m1
->ip_address
, m2
->ip_address
) > 0;
342 int pim_assert_metric_match(const struct pim_assert_metric
*m1
,
343 const struct pim_assert_metric
*m2
)
345 if (m1
->rpt_bit_flag
!= m2
->rpt_bit_flag
)
347 if (m1
->metric_preference
!= m2
->metric_preference
)
349 if (m1
->route_metric
!= m2
->route_metric
)
352 return !pim_addr_cmp(m1
->ip_address
, m2
->ip_address
);
355 int pim_assert_build_msg(uint8_t *pim_msg
, int buf_size
, struct interface
*ifp
,
356 pim_addr group_addr
, pim_addr source_addr
,
357 uint32_t metric_preference
, uint32_t route_metric
,
358 uint32_t rpt_bit_flag
)
360 uint8_t *buf_pastend
= pim_msg
+ buf_size
;
361 uint8_t *pim_msg_curr
;
366 pim_msg
+ PIM_MSG_HEADER_LEN
; /* skip room for pim header */
369 remain
= buf_pastend
- pim_msg_curr
;
370 pim_msg_curr
= pim_msg_addr_encode_group(pim_msg_curr
, group_addr
);
373 "%s: failure encoding group address %pPA: space left=%d",
374 __func__
, &group_addr
, remain
);
379 remain
= buf_pastend
- pim_msg_curr
;
380 pim_msg_curr
= pim_msg_addr_encode_ucast(pim_msg_curr
, source_addr
);
383 "%s: failure encoding source address %pPA: space left=%d",
384 __func__
, &source_addr
, remain
);
388 /* Metric preference */
389 pim_write_uint32(pim_msg_curr
,
390 rpt_bit_flag
? metric_preference
| 0x80000000
391 : metric_preference
);
395 pim_write_uint32(pim_msg_curr
, route_metric
);
401 pim_msg_size
= pim_msg_curr
- pim_msg
;
402 pim_msg_build_header(pim_msg
, pim_msg_size
, PIM_MSG_TYPE_ASSERT
, false);
407 static int pim_assert_do(struct pim_ifchannel
*ch
,
408 struct pim_assert_metric metric
)
410 struct interface
*ifp
;
411 struct pim_interface
*pim_ifp
;
412 uint8_t pim_msg
[1000];
417 if (PIM_DEBUG_PIM_TRACE
)
418 zlog_debug("%s: channel%s has no associated interface!",
419 __func__
, ch
->sg_str
);
424 if (PIM_DEBUG_PIM_TRACE
)
426 "%s: channel %s pim not enabled on interface: %s",
427 __func__
, ch
->sg_str
, ifp
->name
);
432 pim_assert_build_msg(pim_msg
, sizeof(pim_msg
), ifp
, ch
->sg
.grp
,
433 ch
->sg
.src
, metric
.metric_preference
,
434 metric
.route_metric
, metric
.rpt_bit_flag
);
435 if (pim_msg_size
< 1) {
437 "%s: failure building PIM assert message: msg_size=%d",
438 __func__
, pim_msg_size
);
443 RFC 4601: 4.3.1. Sending Hello Messages
445 Thus, if a router needs to send a Join/Prune or Assert message on
446 an interface on which it has not yet sent a Hello message with the
447 currently configured IP address, then it MUST immediately send the
448 relevant Hello message without waiting for the Hello Timer to
449 expire, followed by the Join/Prune or Assert message.
451 pim_hello_require(ifp
);
453 if (PIM_DEBUG_PIM_TRACE
) {
454 zlog_debug("%s: to %s: (S,G)=%s pref=%u metric=%u rpt_bit=%u",
455 __func__
, ifp
->name
, ch
->sg_str
,
456 metric
.metric_preference
, metric
.route_metric
,
457 PIM_FORCE_BOOLEAN(metric
.rpt_bit_flag
));
459 ++pim_ifp
->pim_ifstat_assert_send
;
461 if (pim_msg_send(pim_ifp
->pim_sock_fd
, pim_ifp
->primary_address
,
462 qpim_all_pim_routers_addr
, pim_msg
, pim_msg_size
,
464 zlog_warn("%s: could not send PIM message on interface %s",
465 __func__
, ifp
->name
);
472 int pim_assert_send(struct pim_ifchannel
*ch
)
474 return pim_assert_do(ch
, ch
->ifassert_my_metric
);
478 RFC 4601: 4.6.4. AssertCancel Messages
480 An AssertCancel(S,G) is an infinite metric assert with the RPT bit
481 set that names S as the source.
483 static int pim_assert_cancel(struct pim_ifchannel
*ch
)
485 struct pim_assert_metric metric
;
487 metric
.rpt_bit_flag
= 0;
488 metric
.metric_preference
= PIM_ASSERT_METRIC_PREFERENCE_MAX
;
489 metric
.route_metric
= PIM_ASSERT_ROUTE_METRIC_MAX
;
490 metric
.ip_address
= ch
->sg
.src
;
492 return pim_assert_do(ch
, metric
);
495 static int on_assert_timer(struct thread
*t
)
497 struct pim_ifchannel
*ch
;
498 struct interface
*ifp
;
504 if (PIM_DEBUG_PIM_TRACE
) {
505 zlog_debug("%s: (S,G)=%s timer expired on interface %s",
506 __func__
, ch
->sg_str
, ifp
->name
);
509 ch
->t_ifassert_timer
= NULL
;
511 switch (ch
->ifassert_state
) {
512 case PIM_IFASSERT_I_AM_WINNER
:
513 assert_action_a3(ch
);
515 case PIM_IFASSERT_I_AM_LOSER
:
516 assert_action_a5(ch
);
519 if (PIM_DEBUG_PIM_EVENTS
)
521 "%s: (S,G)=%s invalid assert state %d on interface %s",
522 __func__
, ch
->sg_str
, ch
->ifassert_state
,
530 static void assert_timer_off(struct pim_ifchannel
*ch
)
532 if (PIM_DEBUG_PIM_TRACE
) {
533 if (ch
->t_ifassert_timer
) {
535 "%s: (S,G)=%s cancelling timer on interface %s",
536 __func__
, ch
->sg_str
, ch
->interface
->name
);
539 THREAD_OFF(ch
->t_ifassert_timer
);
542 static void pim_assert_timer_set(struct pim_ifchannel
*ch
, int interval
)
544 assert_timer_off(ch
);
546 if (PIM_DEBUG_PIM_TRACE
) {
547 zlog_debug("%s: (S,G)=%s starting %u sec timer on interface %s",
548 __func__
, ch
->sg_str
, interval
, ch
->interface
->name
);
551 thread_add_timer(router
->master
, on_assert_timer
, ch
, interval
,
552 &ch
->t_ifassert_timer
);
555 static void pim_assert_timer_reset(struct pim_ifchannel
*ch
)
557 pim_assert_timer_set(ch
,
558 PIM_ASSERT_TIME
- PIM_ASSERT_OVERRIDE_INTERVAL
);
562 RFC 4601: 4.6.1. (S,G) Assert Message State Machine
564 (S,G) Assert State machine Actions
566 A1: Send Assert(S,G).
567 Set Assert Timer to (Assert_Time - Assert_Override_Interval).
568 Store self as AssertWinner(S,G,I).
569 Store spt_assert_metric(S,I) as AssertWinnerMetric(S,G,I).
571 int assert_action_a1(struct pim_ifchannel
*ch
)
573 struct interface
*ifp
= ch
->interface
;
574 struct pim_interface
*pim_ifp
;
578 zlog_warn("%s: (S,G)=%s multicast not enabled on interface %s",
579 __func__
, ch
->sg_str
, ifp
->name
);
580 return -1; /* must return since pim_ifp is used below */
583 /* Switch to I_AM_WINNER before performing action_a3 below */
584 pim_ifassert_winner_set(
585 ch
, PIM_IFASSERT_I_AM_WINNER
, pim_ifp
->primary_address
,
586 pim_macro_spt_assert_metric(&ch
->upstream
->rpf
,
587 pim_ifp
->primary_address
));
589 if (assert_action_a3(ch
)) {
591 "%s: (S,G)=%s assert_action_a3 failure on interface %s",
592 __func__
, ch
->sg_str
, ifp
->name
);
596 if (ch
->ifassert_state
!= PIM_IFASSERT_I_AM_WINNER
) {
597 if (PIM_DEBUG_PIM_EVENTS
)
599 "%s: channel%s not in expected PIM_IFASSERT_I_AM_WINNER state",
600 __func__
, ch
->sg_str
);
607 RFC 4601: 4.6.1. (S,G) Assert Message State Machine
609 (S,G) Assert State machine Actions
611 A2: Store new assert winner as AssertWinner(S,G,I) and assert
612 winner metric as AssertWinnerMetric(S,G,I).
613 Set Assert Timer to Assert_Time.
615 static void assert_action_a2(struct pim_ifchannel
*ch
,
616 struct pim_assert_metric winner_metric
)
618 pim_ifassert_winner_set(ch
, PIM_IFASSERT_I_AM_LOSER
,
619 winner_metric
.ip_address
, winner_metric
);
621 pim_assert_timer_set(ch
, PIM_ASSERT_TIME
);
623 if (ch
->ifassert_state
!= PIM_IFASSERT_I_AM_LOSER
) {
624 if (PIM_DEBUG_PIM_EVENTS
)
626 "%s: channel%s not in expected PIM_IFASSERT_I_AM_LOSER state",
627 __func__
, ch
->sg_str
);
632 RFC 4601: 4.6.1. (S,G) Assert Message State Machine
634 (S,G) Assert State machine Actions
636 A3: Send Assert(S,G).
637 Set Assert Timer to (Assert_Time - Assert_Override_Interval).
639 static int assert_action_a3(struct pim_ifchannel
*ch
)
641 if (ch
->ifassert_state
!= PIM_IFASSERT_I_AM_WINNER
) {
642 if (PIM_DEBUG_PIM_EVENTS
)
644 "%s: channel%s expected to be in PIM_IFASSERT_I_AM_WINNER state",
645 __func__
, ch
->sg_str
);
649 pim_assert_timer_reset(ch
);
651 if (pim_assert_send(ch
)) {
652 zlog_warn("%s: (S,G)=%s failure sending assert on interface %s",
653 __func__
, ch
->sg_str
, ch
->interface
->name
);
661 RFC 4601: 4.6.1. (S,G) Assert Message State Machine
663 (S,G) Assert State machine Actions
665 A4: Send AssertCancel(S,G).
666 Delete assert info (AssertWinner(S,G,I) and
667 AssertWinnerMetric(S,G,I) will then return their default
670 void assert_action_a4(struct pim_ifchannel
*ch
)
672 if (pim_assert_cancel(ch
)) {
673 zlog_warn("%s: failure sending AssertCancel%s on interface %s",
674 __func__
, ch
->sg_str
, ch
->interface
->name
);
675 /* log warning only */
678 assert_action_a5(ch
);
680 if (ch
->ifassert_state
!= PIM_IFASSERT_NOINFO
) {
681 if (PIM_DEBUG_PIM_EVENTS
)
683 "%s: channel%s not in PIM_IFASSERT_NOINFO state as expected",
684 __func__
, ch
->sg_str
);
689 RFC 4601: 4.6.1. (S,G) Assert Message State Machine
691 (S,G) Assert State machine Actions
693 A5: Delete assert info (AssertWinner(S,G,I) and
694 AssertWinnerMetric(S,G,I) will then return their default values).
696 void assert_action_a5(struct pim_ifchannel
*ch
)
698 reset_ifassert_state(ch
);
699 if (ch
->ifassert_state
!= PIM_IFASSERT_NOINFO
) {
700 if (PIM_DEBUG_PIM_EVENTS
)
702 "%s: channel%s not in PIM_IFSSERT_NOINFO state as expected",
703 __func__
, ch
->sg_str
);
708 RFC 4601: 4.6.1. (S,G) Assert Message State Machine
710 (S,G) Assert State machine Actions
712 A6: Store new assert winner as AssertWinner(S,G,I) and assert
713 winner metric as AssertWinnerMetric(S,G,I).
714 Set Assert Timer to Assert_Time.
715 If (I is RPF_interface(S)) AND (UpstreamJPState(S,G) == true)
716 set SPTbit(S,G) to true.
718 static void assert_action_a6(struct pim_ifchannel
*ch
,
719 struct pim_assert_metric winner_metric
)
721 assert_action_a2(ch
, winner_metric
);
724 If (I is RPF_interface(S)) AND (UpstreamJPState(S,G) == true) set
727 if (ch
->upstream
->rpf
.source_nexthop
.interface
== ch
->interface
)
728 if (ch
->upstream
->join_state
== PIM_UPSTREAM_JOINED
)
729 ch
->upstream
->sptbit
= PIM_UPSTREAM_SPTBIT_TRUE
;
731 if (ch
->ifassert_state
!= PIM_IFASSERT_I_AM_LOSER
) {
732 if (PIM_DEBUG_PIM_EVENTS
)
734 "%s: channel%s not in PIM_IFASSERT_I_AM_LOSER state as expected",
735 __func__
, ch
->sg_str
);