paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1 | /* OSPF SPF calculation. |
| 2 | Copyright (C) 1999, 2000 Kunihiro Ishiguro, Toshiaki Takada |
| 3 | |
| 4 | This file is part of GNU Zebra. |
| 5 | |
| 6 | GNU Zebra is free software; you can redistribute it and/or modify it |
| 7 | under the terms of the GNU General Public License as published by the |
| 8 | Free Software Foundation; either version 2, or (at your option) any |
| 9 | later version. |
| 10 | |
| 11 | GNU Zebra is distributed in the hope that it will be useful, but |
| 12 | WITHOUT ANY WARRANTY; without even the implied warranty of |
| 13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 14 | General Public License for more details. |
| 15 | |
| 16 | You should have received a copy of the GNU General Public License |
| 17 | along with GNU Zebra; see the file COPYING. If not, write to the Free |
| 18 | Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA |
| 19 | 02111-1307, USA. */ |
| 20 | |
| 21 | #include <zebra.h> |
| 22 | |
| 23 | #include "thread.h" |
| 24 | #include "memory.h" |
| 25 | #include "hash.h" |
| 26 | #include "linklist.h" |
| 27 | #include "prefix.h" |
| 28 | #include "if.h" |
| 29 | #include "table.h" |
| 30 | #include "log.h" |
| 31 | #include "sockunion.h" /* for inet_ntop () */ |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 32 | #include "pqueue.h" |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 33 | |
| 34 | #include "ospfd/ospfd.h" |
| 35 | #include "ospfd/ospf_interface.h" |
| 36 | #include "ospfd/ospf_ism.h" |
| 37 | #include "ospfd/ospf_asbr.h" |
| 38 | #include "ospfd/ospf_lsa.h" |
| 39 | #include "ospfd/ospf_lsdb.h" |
| 40 | #include "ospfd/ospf_neighbor.h" |
| 41 | #include "ospfd/ospf_nsm.h" |
| 42 | #include "ospfd/ospf_spf.h" |
| 43 | #include "ospfd/ospf_route.h" |
| 44 | #include "ospfd/ospf_ia.h" |
| 45 | #include "ospfd/ospf_ase.h" |
| 46 | #include "ospfd/ospf_abr.h" |
| 47 | #include "ospfd/ospf_dump.h" |
| 48 | |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 49 | /* Variables to ensure a SPF scheduled log message is printed only once */ |
| 50 | |
| 51 | static unsigned int spf_reason_flags = 0; |
| 52 | |
Paul Jakma | b6eef00 | 2014-10-09 14:19:51 +0100 | [diff] [blame^] | 53 | static void |
| 54 | ospf_clear_spf_reason_flags () |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 55 | { |
| 56 | spf_reason_flags = 0; |
| 57 | } |
| 58 | |
Paul Jakma | b6eef00 | 2014-10-09 14:19:51 +0100 | [diff] [blame^] | 59 | static void |
| 60 | ospf_spf_set_reason (ospf_spf_reason_t reason) |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 61 | { |
Paul Jakma | b6eef00 | 2014-10-09 14:19:51 +0100 | [diff] [blame^] | 62 | spf_reason_flags |= 1 << reason; |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 63 | } |
| 64 | |
| 65 | static void |
| 66 | ospf_get_spf_reason_str (char *buf) |
| 67 | { |
Paul Jakma | b6eef00 | 2014-10-09 14:19:51 +0100 | [diff] [blame^] | 68 | if (!buf) |
| 69 | return; |
| 70 | |
| 71 | buf[0] = '\0'; |
| 72 | if (spf_reason_flags) |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 73 | { |
Paul Jakma | b6eef00 | 2014-10-09 14:19:51 +0100 | [diff] [blame^] | 74 | if (spf_reason_flags & SPF_FLAG_ROUTER_LSA_INSTALL) |
| 75 | strcat (buf, "R, "); |
| 76 | if (spf_reason_flags & SPF_FLAG_NETWORK_LSA_INSTALL) |
| 77 | strcat (buf, "N, "); |
| 78 | if (spf_reason_flags & SPF_FLAG_SUMMARY_LSA_INSTALL) |
| 79 | strcat (buf, "S, "); |
| 80 | if (spf_reason_flags & SPF_FLAG_ASBR_SUMMARY_LSA_INSTALL) |
| 81 | strcat (buf, "AS, "); |
| 82 | if (spf_reason_flags & SPF_FLAG_ABR_STATUS_CHANGE) |
| 83 | strcat (buf, "ABR, "); |
| 84 | if (spf_reason_flags & SPF_FLAG_ASBR_STATUS_CHANGE) |
| 85 | strcat (buf, "ASBR, "); |
| 86 | if (spf_reason_flags & SPF_FLAG_MAXAGE) |
| 87 | strcat (buf, "M, "); |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 88 | buf[strlen(buf)-2] = '\0'; /* skip the last ", " */ |
| 89 | } |
| 90 | } |
| 91 | |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 92 | static void ospf_vertex_free (void *); |
| 93 | /* List of allocated vertices, to simplify cleanup of SPF. |
| 94 | * Not thread-safe obviously. If it ever needs to be, it'd have to be |
| 95 | * dynamically allocated at begin of ospf_spf_calculate |
| 96 | */ |
| 97 | static struct list vertex_list = { .del = ospf_vertex_free }; |
David Lamparter | 6b0655a | 2014-06-04 06:53:35 +0200 | [diff] [blame] | 98 | |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 99 | /* Heap related functions, for the managment of the candidates, to |
| 100 | * be used with pqueue. */ |
| 101 | static int |
| 102 | cmp (void * node1 , void * node2) |
| 103 | { |
| 104 | struct vertex * v1 = (struct vertex *) node1; |
| 105 | struct vertex * v2 = (struct vertex *) node2; |
| 106 | if (v1 != NULL && v2 != NULL ) |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 107 | { |
| 108 | /* network vertices must be chosen before router vertices of same |
| 109 | * cost in order to find all shortest paths |
| 110 | */ |
| 111 | if ( ((v1->distance - v2->distance) == 0) |
| 112 | && (v1->type != v2->type)) |
| 113 | { |
| 114 | switch (v1->type) |
| 115 | { |
| 116 | case OSPF_VERTEX_NETWORK: |
| 117 | return -1; |
| 118 | case OSPF_VERTEX_ROUTER: |
| 119 | return 1; |
| 120 | } |
| 121 | } |
| 122 | else |
| 123 | return (v1->distance - v2->distance); |
| 124 | } |
| 125 | return 0; |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 126 | } |
| 127 | |
| 128 | static void |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 129 | update_stat (void *node , int position) |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 130 | { |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 131 | struct vertex *v = node; |
| 132 | |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 133 | /* Set the status of the vertex, when its position changes. */ |
| 134 | *(v->stat) = position; |
| 135 | } |
David Lamparter | 6b0655a | 2014-06-04 06:53:35 +0200 | [diff] [blame] | 136 | |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 137 | static struct vertex_nexthop * |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 138 | vertex_nexthop_new (void) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 139 | { |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 140 | return XCALLOC (MTYPE_OSPF_NEXTHOP, sizeof (struct vertex_nexthop)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 141 | } |
| 142 | |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 143 | static void |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 144 | vertex_nexthop_free (struct vertex_nexthop *nh) |
| 145 | { |
| 146 | XFREE (MTYPE_OSPF_NEXTHOP, nh); |
| 147 | } |
| 148 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 149 | /* Free the canonical nexthop objects for an area, ie the nexthop objects |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 150 | * attached to the first-hop router vertices, and any intervening network |
| 151 | * vertices. |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 152 | */ |
| 153 | static void |
| 154 | ospf_canonical_nexthops_free (struct vertex *root) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 155 | { |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 156 | struct listnode *node, *nnode; |
| 157 | struct vertex *child; |
| 158 | |
| 159 | for (ALL_LIST_ELEMENTS (root->children, node, nnode, child)) |
| 160 | { |
| 161 | struct listnode *n2, *nn2; |
| 162 | struct vertex_parent *vp; |
| 163 | |
paul | 58e1bef | 2005-11-11 12:10:03 +0000 | [diff] [blame] | 164 | /* router vertices through an attached network each |
| 165 | * have a distinct (canonical / not inherited) nexthop |
| 166 | * which must be freed. |
| 167 | * |
| 168 | * A network vertex can only have router vertices as its |
| 169 | * children, so only one level of recursion is possible. |
| 170 | */ |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 171 | if (child->type == OSPF_VERTEX_NETWORK) |
| 172 | ospf_canonical_nexthops_free (child); |
| 173 | |
paul | 58e1bef | 2005-11-11 12:10:03 +0000 | [diff] [blame] | 174 | /* Free child nexthops pointing back to this root vertex */ |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 175 | for (ALL_LIST_ELEMENTS (child->parents, n2, nn2, vp)) |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 176 | if (vp->parent == root && vp->nexthop) |
paul | 58e1bef | 2005-11-11 12:10:03 +0000 | [diff] [blame] | 177 | vertex_nexthop_free (vp->nexthop); |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 178 | } |
| 179 | } |
David Lamparter | 6b0655a | 2014-06-04 06:53:35 +0200 | [diff] [blame] | 180 | |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 181 | /* TODO: Parent list should be excised, in favour of maintaining only |
| 182 | * vertex_nexthop, with refcounts. |
| 183 | */ |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 184 | static struct vertex_parent * |
| 185 | vertex_parent_new (struct vertex *v, int backlink, struct vertex_nexthop *hop) |
| 186 | { |
| 187 | struct vertex_parent *new; |
| 188 | |
| 189 | new = XMALLOC (MTYPE_OSPF_VERTEX_PARENT, sizeof (struct vertex_parent)); |
| 190 | |
| 191 | if (new == NULL) |
| 192 | return NULL; |
| 193 | |
| 194 | new->parent = v; |
| 195 | new->backlink = backlink; |
| 196 | new->nexthop = hop; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 197 | return new; |
| 198 | } |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 199 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 200 | static void |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 201 | vertex_parent_free (void *p) |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 202 | { |
| 203 | XFREE (MTYPE_OSPF_VERTEX_PARENT, p); |
| 204 | } |
David Lamparter | 6b0655a | 2014-06-04 06:53:35 +0200 | [diff] [blame] | 205 | |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 206 | static struct vertex * |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 207 | ospf_vertex_new (struct ospf_lsa *lsa) |
| 208 | { |
| 209 | struct vertex *new; |
| 210 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 211 | new = XCALLOC (MTYPE_OSPF_VERTEX, sizeof (struct vertex)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 212 | |
| 213 | new->flags = 0; |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 214 | new->stat = &(lsa->stat); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 215 | new->type = lsa->data->type; |
| 216 | new->id = lsa->data->id; |
| 217 | new->lsa = lsa->data; |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 218 | new->children = list_new (); |
| 219 | new->parents = list_new (); |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 220 | new->parents->del = vertex_parent_free; |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 221 | |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 222 | listnode_add (&vertex_list, new); |
| 223 | |
| 224 | if (IS_DEBUG_OSPF_EVENT) |
| 225 | zlog_debug ("%s: Created %s vertex %s", __func__, |
| 226 | new->type == OSPF_VERTEX_ROUTER ? "Router" : "Network", |
| 227 | inet_ntoa (new->lsa->id)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 228 | return new; |
| 229 | } |
| 230 | |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 231 | static void |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 232 | ospf_vertex_free (void *data) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 233 | { |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 234 | struct vertex *v = data; |
paul | 7461d45 | 2005-06-13 13:57:16 +0000 | [diff] [blame] | 235 | |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 236 | if (IS_DEBUG_OSPF_EVENT) |
| 237 | zlog_debug ("%s: Free %s vertex %s", __func__, |
| 238 | v->type == OSPF_VERTEX_ROUTER ? "Router" : "Network", |
| 239 | inet_ntoa (v->lsa->id)); |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 240 | |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 241 | /* There should be no parents potentially holding references to this vertex |
| 242 | * Children however may still be there, but presumably referenced by other |
| 243 | * vertices |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 244 | */ |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 245 | //assert (listcount (v->parents) == 0); |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 246 | |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 247 | if (v->children) |
| 248 | list_delete (v->children); |
| 249 | v->children = NULL; |
| 250 | |
| 251 | if (v->parents) |
| 252 | list_delete (v->parents); |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 253 | v->parents = NULL; |
| 254 | |
| 255 | v->lsa = NULL; |
paul | 7461d45 | 2005-06-13 13:57:16 +0000 | [diff] [blame] | 256 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 257 | XFREE (MTYPE_OSPF_VERTEX, v); |
| 258 | } |
| 259 | |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 260 | static void |
hasso | eb1ce60 | 2004-10-08 08:17:22 +0000 | [diff] [blame] | 261 | ospf_vertex_dump(const char *msg, struct vertex *v, |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 262 | int print_parents, int print_children) |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 263 | { |
| 264 | if ( ! IS_DEBUG_OSPF_EVENT) |
| 265 | return; |
| 266 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 267 | zlog_debug("%s %s vertex %s distance %u flags %u", |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 268 | msg, |
| 269 | v->type == OSPF_VERTEX_ROUTER ? "Router" : "Network", |
| 270 | inet_ntoa(v->lsa->id), |
| 271 | v->distance, |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 272 | (unsigned int)v->flags); |
| 273 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 274 | if (print_parents) |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 275 | { |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 276 | struct listnode *node; |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 277 | struct vertex_parent *vp; |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 278 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 279 | for (ALL_LIST_ELEMENTS_RO (v->parents, node, vp)) |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 280 | { |
| 281 | char buf1[BUFSIZ]; |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 282 | |
| 283 | if (vp) |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 284 | { |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 285 | zlog_debug ("parent %s backlink %d nexthop %s interface %s", |
| 286 | inet_ntoa(vp->parent->lsa->id), vp->backlink, |
| 287 | inet_ntop(AF_INET, &vp->nexthop->router, buf1, BUFSIZ), |
| 288 | vp->nexthop->oi ? IF_NAME(vp->nexthop->oi) : "NULL"); |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 289 | } |
| 290 | } |
| 291 | } |
| 292 | |
| 293 | if (print_children) |
| 294 | { |
hasso | 52dc7ee | 2004-09-23 19:18:23 +0000 | [diff] [blame] | 295 | struct listnode *cnode; |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 296 | struct vertex *cv; |
| 297 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 298 | for (ALL_LIST_ELEMENTS_RO (v->children, cnode, cv)) |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 299 | ospf_vertex_dump(" child:", cv, 0, 0); |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 300 | } |
| 301 | } |
| 302 | |
| 303 | |
| 304 | /* Add a vertex to the list of children in each of its parents. */ |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 305 | static void |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 306 | ospf_vertex_add_parent (struct vertex *v) |
| 307 | { |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 308 | struct vertex_parent *vp; |
hasso | 52dc7ee | 2004-09-23 19:18:23 +0000 | [diff] [blame] | 309 | struct listnode *node; |
paul | 7461d45 | 2005-06-13 13:57:16 +0000 | [diff] [blame] | 310 | |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 311 | assert (v && v->parents); |
paul | 7461d45 | 2005-06-13 13:57:16 +0000 | [diff] [blame] | 312 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 313 | for (ALL_LIST_ELEMENTS_RO (v->parents, node, vp)) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 314 | { |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 315 | assert (vp->parent && vp->parent->children); |
paul | 7461d45 | 2005-06-13 13:57:16 +0000 | [diff] [blame] | 316 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 317 | /* No need to add two links from the same parent. */ |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 318 | if (listnode_lookup (vp->parent->children, v) == NULL) |
| 319 | listnode_add (vp->parent->children, v); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 320 | } |
| 321 | } |
David Lamparter | 6b0655a | 2014-06-04 06:53:35 +0200 | [diff] [blame] | 322 | |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 323 | static void |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 324 | ospf_spf_init (struct ospf_area *area) |
| 325 | { |
| 326 | struct vertex *v; |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 327 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 328 | /* Create root node. */ |
| 329 | v = ospf_vertex_new (area->router_lsa_self); |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 330 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 331 | area->spf = v; |
| 332 | |
| 333 | /* Reset ABR and ASBR router counts. */ |
| 334 | area->abr_count = 0; |
| 335 | area->asbr_count = 0; |
| 336 | } |
| 337 | |
paul | d355bfa | 2004-04-08 07:43:45 +0000 | [diff] [blame] | 338 | /* return index of link back to V from W, or -1 if no link found */ |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 339 | static int |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 340 | ospf_lsa_has_link (struct lsa_header *w, struct lsa_header *v) |
| 341 | { |
hasso | eb1ce60 | 2004-10-08 08:17:22 +0000 | [diff] [blame] | 342 | unsigned int i, length; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 343 | struct router_lsa *rl; |
| 344 | struct network_lsa *nl; |
| 345 | |
| 346 | /* In case of W is Network LSA. */ |
| 347 | if (w->type == OSPF_NETWORK_LSA) |
| 348 | { |
| 349 | if (v->type == OSPF_NETWORK_LSA) |
paul | d355bfa | 2004-04-08 07:43:45 +0000 | [diff] [blame] | 350 | return -1; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 351 | |
| 352 | nl = (struct network_lsa *) w; |
| 353 | length = (ntohs (w->length) - OSPF_LSA_HEADER_SIZE - 4) / 4; |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 354 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 355 | for (i = 0; i < length; i++) |
| 356 | if (IPV4_ADDR_SAME (&nl->routers[i], &v->id)) |
paul | d355bfa | 2004-04-08 07:43:45 +0000 | [diff] [blame] | 357 | return i; |
| 358 | return -1; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 359 | } |
| 360 | |
| 361 | /* In case of W is Router LSA. */ |
| 362 | if (w->type == OSPF_ROUTER_LSA) |
| 363 | { |
| 364 | rl = (struct router_lsa *) w; |
| 365 | |
| 366 | length = ntohs (w->length); |
| 367 | |
| 368 | for (i = 0; |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 369 | i < ntohs (rl->links) && length >= sizeof (struct router_lsa); |
| 370 | i++, length -= 12) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 371 | { |
| 372 | switch (rl->link[i].type) |
| 373 | { |
| 374 | case LSA_LINK_TYPE_POINTOPOINT: |
| 375 | case LSA_LINK_TYPE_VIRTUALLINK: |
| 376 | /* Router LSA ID. */ |
| 377 | if (v->type == OSPF_ROUTER_LSA && |
| 378 | IPV4_ADDR_SAME (&rl->link[i].link_id, &v->id)) |
| 379 | { |
paul | d355bfa | 2004-04-08 07:43:45 +0000 | [diff] [blame] | 380 | return i; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 381 | } |
| 382 | break; |
| 383 | case LSA_LINK_TYPE_TRANSIT: |
| 384 | /* Network LSA ID. */ |
| 385 | if (v->type == OSPF_NETWORK_LSA && |
| 386 | IPV4_ADDR_SAME (&rl->link[i].link_id, &v->id)) |
| 387 | { |
paul | d355bfa | 2004-04-08 07:43:45 +0000 | [diff] [blame] | 388 | return i; |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 389 | } |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 390 | break; |
| 391 | case LSA_LINK_TYPE_STUB: |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 392 | /* Stub can't lead anywhere, carry on */ |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 393 | continue; |
| 394 | default: |
| 395 | break; |
| 396 | } |
| 397 | } |
| 398 | } |
paul | d355bfa | 2004-04-08 07:43:45 +0000 | [diff] [blame] | 399 | return -1; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 400 | } |
| 401 | |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 402 | /* Find the next link after prev_link from v to w. If prev_link is |
| 403 | * NULL, return the first link from v to w. Ignore stub and virtual links; |
| 404 | * these link types will never be returned. |
| 405 | */ |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 406 | static struct router_lsa_link * |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 407 | ospf_get_next_link (struct vertex *v, struct vertex *w, |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 408 | struct router_lsa_link *prev_link) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 409 | { |
| 410 | u_char *p; |
| 411 | u_char *lim; |
Joakim Tjernlund | bd54037 | 2009-07-27 12:42:31 +0200 | [diff] [blame] | 412 | u_char lsa_type = LSA_LINK_TYPE_TRANSIT; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 413 | struct router_lsa_link *l; |
| 414 | |
Joakim Tjernlund | bd54037 | 2009-07-27 12:42:31 +0200 | [diff] [blame] | 415 | if (w->type == OSPF_VERTEX_ROUTER) |
| 416 | lsa_type = LSA_LINK_TYPE_POINTOPOINT; |
| 417 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 418 | if (prev_link == NULL) |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 419 | p = ((u_char *) v->lsa) + OSPF_LSA_HEADER_SIZE + 4; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 420 | else |
| 421 | { |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 422 | p = (u_char *) prev_link; |
Denis Ovsienko | 05b7709 | 2011-08-23 11:36:27 +0400 | [diff] [blame] | 423 | p += (OSPF_ROUTER_LSA_LINK_SIZE + |
| 424 | (prev_link->m[0].tos_count * OSPF_ROUTER_LSA_TOS_SIZE)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 425 | } |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 426 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 427 | lim = ((u_char *) v->lsa) + ntohs (v->lsa->length); |
| 428 | |
| 429 | while (p < lim) |
| 430 | { |
| 431 | l = (struct router_lsa_link *) p; |
| 432 | |
Denis Ovsienko | 05b7709 | 2011-08-23 11:36:27 +0400 | [diff] [blame] | 433 | p += (OSPF_ROUTER_LSA_LINK_SIZE + (l->m[0].tos_count * OSPF_ROUTER_LSA_TOS_SIZE)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 434 | |
Joakim Tjernlund | bd54037 | 2009-07-27 12:42:31 +0200 | [diff] [blame] | 435 | if (l->m[0].type != lsa_type) |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 436 | continue; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 437 | |
| 438 | if (IPV4_ADDR_SAME (&l->link_id, &w->id)) |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 439 | return l; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 440 | } |
| 441 | |
| 442 | return NULL; |
| 443 | } |
| 444 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 445 | static void |
| 446 | ospf_spf_flush_parents (struct vertex *w) |
| 447 | { |
| 448 | struct vertex_parent *vp; |
| 449 | struct listnode *ln, *nn; |
| 450 | |
| 451 | /* delete the existing nexthops */ |
| 452 | for (ALL_LIST_ELEMENTS (w->parents, ln, nn, vp)) |
| 453 | { |
| 454 | list_delete_node (w->parents, ln); |
| 455 | vertex_parent_free (vp); |
| 456 | } |
| 457 | } |
| 458 | |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 459 | /* |
| 460 | * Consider supplied next-hop for inclusion to the supplied list of |
| 461 | * equal-cost next-hops, adjust list as neccessary. |
| 462 | */ |
| 463 | static void |
| 464 | ospf_spf_add_parent (struct vertex *v, struct vertex *w, |
| 465 | struct vertex_nexthop *newhop, |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 466 | unsigned int distance) |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 467 | { |
David Lamparter | 7b92589 | 2012-07-23 18:17:57 +0200 | [diff] [blame] | 468 | struct vertex_parent *vp, *wp; |
| 469 | struct listnode *node; |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 470 | |
Paul Jakma | 08d3d5b | 2007-05-07 16:38:35 +0000 | [diff] [blame] | 471 | /* we must have a newhop, and a distance */ |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 472 | assert (v && w && newhop); |
Paul Jakma | 08d3d5b | 2007-05-07 16:38:35 +0000 | [diff] [blame] | 473 | assert (distance); |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 474 | |
Paul Jakma | 08d3d5b | 2007-05-07 16:38:35 +0000 | [diff] [blame] | 475 | /* IFF w has already been assigned a distance, then we shouldn't get here |
| 476 | * unless callers have determined V(l)->W is shortest / equal-shortest |
| 477 | * path (0 is a special case distance (no distance yet assigned)). |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 478 | */ |
Paul Jakma | 08d3d5b | 2007-05-07 16:38:35 +0000 | [diff] [blame] | 479 | if (w->distance) |
| 480 | assert (distance <= w->distance); |
| 481 | else |
| 482 | w->distance = distance; |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 483 | |
Paul Jakma | b75ae99 | 2007-03-23 11:17:28 +0000 | [diff] [blame] | 484 | if (IS_DEBUG_OSPF_EVENT) |
| 485 | { |
| 486 | char buf[2][INET_ADDRSTRLEN]; |
| 487 | zlog_debug ("%s: Adding %s as parent of %s", |
| 488 | __func__, |
| 489 | inet_ntop(AF_INET, &v->lsa->id, buf[0], sizeof(buf[0])), |
| 490 | inet_ntop(AF_INET, &w->lsa->id, buf[1], sizeof(buf[1]))); |
| 491 | } |
| 492 | |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 493 | /* Adding parent for a new, better path: flush existing parents from W. */ |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 494 | if (distance < w->distance) |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 495 | { |
Paul Jakma | b75ae99 | 2007-03-23 11:17:28 +0000 | [diff] [blame] | 496 | if (IS_DEBUG_OSPF_EVENT) |
| 497 | zlog_debug ("%s: distance %d better than %d, flushing existing parents", |
| 498 | __func__, distance, w->distance); |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 499 | ospf_spf_flush_parents (w); |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 500 | w->distance = distance; |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 501 | } |
| 502 | |
David Lamparter | 7b92589 | 2012-07-23 18:17:57 +0200 | [diff] [blame] | 503 | /* new parent is <= existing parents, add it to parent list (if nexthop |
| 504 | * not on parent list) |
| 505 | */ |
| 506 | for (ALL_LIST_ELEMENTS_RO(w->parents, node, wp)) |
| 507 | { |
| 508 | if (memcmp(newhop, wp->nexthop, sizeof(*newhop)) == 0) |
| 509 | { |
| 510 | if (IS_DEBUG_OSPF_EVENT) |
| 511 | zlog_debug ("%s: ... nexthop already on parent list, skipping add", __func__); |
| 512 | return; |
| 513 | } |
| 514 | } |
| 515 | |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 516 | vp = vertex_parent_new (v, ospf_lsa_has_link (w->lsa, v->lsa), newhop); |
| 517 | listnode_add (w->parents, vp); |
| 518 | |
| 519 | return; |
| 520 | } |
| 521 | |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 522 | /* 16.1.1. Calculate nexthop from root through V (parent) to |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 523 | * vertex W (destination), with given distance from root->W. |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 524 | * |
| 525 | * The link must be supplied if V is the root vertex. In all other cases |
| 526 | * it may be NULL. |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 527 | * |
| 528 | * Note that this function may fail, hence the state of the destination |
| 529 | * vertex, W, should /not/ be modified in a dependent manner until |
| 530 | * this function returns. This function will update the W vertex with the |
| 531 | * provided distance as appropriate. |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 532 | */ |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 533 | static unsigned int |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 534 | ospf_nexthop_calculation (struct ospf_area *area, struct vertex *v, |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 535 | struct vertex *w, struct router_lsa_link *l, |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 536 | unsigned int distance, int lsa_pos) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 537 | { |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 538 | struct listnode *node, *nnode; |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 539 | struct vertex_nexthop *nh; |
| 540 | struct vertex_parent *vp; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 541 | struct ospf_interface *oi = NULL; |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 542 | unsigned int added = 0; |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 543 | char buf1[BUFSIZ]; |
| 544 | char buf2[BUFSIZ]; |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 545 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 546 | if (IS_DEBUG_OSPF_EVENT) |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 547 | { |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 548 | zlog_debug ("ospf_nexthop_calculation(): Start"); |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 549 | ospf_vertex_dump("V (parent):", v, 1, 1); |
| 550 | ospf_vertex_dump("W (dest) :", w, 1, 1); |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 551 | zlog_debug ("V->W distance: %d", distance); |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 552 | } |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 553 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 554 | if (v == area->spf) |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 555 | { |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 556 | /* 16.1.1 para 4. In the first case, the parent vertex (V) is the |
| 557 | root (the calculating router itself). This means that the |
| 558 | destination is either a directly connected network or directly |
| 559 | connected router. The outgoing interface in this case is simply |
| 560 | the OSPF interface connecting to the destination network/router. |
| 561 | */ |
| 562 | |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 563 | /* we *must* be supplied with the link data */ |
| 564 | assert (l != NULL); |
| 565 | oi = ospf_if_lookup_by_lsa_pos (area, lsa_pos); |
| 566 | if (!oi) |
| 567 | { |
| 568 | zlog_debug("%s: OI not found in LSA: lsa_pos:%d link_id:%s link_data:%s", |
| 569 | __func__, lsa_pos, |
| 570 | inet_ntop (AF_INET, &l->link_id, buf1, BUFSIZ), |
| 571 | inet_ntop (AF_INET, &l->link_data, buf2, BUFSIZ)); |
| 572 | return 0; |
| 573 | } |
| 574 | |
| 575 | if (IS_DEBUG_OSPF_EVENT) |
| 576 | { |
| 577 | zlog_debug("%s: considering link:%s " |
| 578 | "type:%d link_id:%s link_data:%s", |
| 579 | __func__, oi->ifp->name, l->m[0].type, |
| 580 | inet_ntop (AF_INET, &l->link_id, buf1, BUFSIZ), |
| 581 | inet_ntop (AF_INET, &l->link_data, buf2, BUFSIZ)); |
| 582 | } |
| 583 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 584 | if (w->type == OSPF_VERTEX_ROUTER) |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 585 | { |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 586 | /* l is a link from v to w |
| 587 | * l2 will be link from w to v |
| 588 | */ |
| 589 | struct router_lsa_link *l2 = NULL; |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 590 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 591 | if (l->m[0].type == LSA_LINK_TYPE_POINTOPOINT) |
| 592 | { |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 593 | struct in_addr nexthop; |
| 594 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 595 | /* If the destination is a router which connects to |
| 596 | the calculating router via a Point-to-MultiPoint |
| 597 | network, the destination's next hop IP address(es) |
| 598 | can be determined by examining the destination's |
| 599 | router-LSA: each link pointing back to the |
| 600 | calculating router and having a Link Data field |
| 601 | belonging to the Point-to-MultiPoint network |
| 602 | provides an IP address of the next hop router. |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 603 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 604 | At this point l is a link from V to W, and V is the |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 605 | root ("us"). If it is a point-to-multipoint interface, |
| 606 | then look through the links in the opposite direction (W to V). |
| 607 | If any of them have an address that lands within the |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 608 | subnet declared by the PtMP link, then that link |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 609 | is a constituent of the PtMP link, and its address is |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 610 | a nexthop address for V. |
| 611 | */ |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 612 | if (oi->type == OSPF_IFTYPE_POINTOPOINT) |
| 613 | { |
Christian Franke | f2b53da | 2013-03-20 15:28:46 +0000 | [diff] [blame] | 614 | /* Having nexthop = 0 is tempting, but NOT acceptable. |
| 615 | It breaks AS-External routes with a forwarding address, |
| 616 | since ospf_ase_complete_direct_routes() will mistakenly |
| 617 | assume we've reached the last hop and should place the |
| 618 | forwarding address as nexthop. |
| 619 | Also, users may configure multi-access links in p2p mode, |
| 620 | so we need the IP to ARP the nexthop. |
| 621 | */ |
| 622 | struct ospf_neighbor *nbr_w; |
| 623 | |
| 624 | nbr_w = ospf_nbr_lookup_by_routerid (oi->nbrs, &l->link_id); |
| 625 | if (nbr_w != NULL) |
| 626 | { |
| 627 | added = 1; |
| 628 | nexthop = nbr_w->src; |
| 629 | } |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 630 | } |
| 631 | else if (oi->type == OSPF_IFTYPE_POINTOMULTIPOINT) |
| 632 | { |
| 633 | struct prefix_ipv4 la; |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 634 | |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 635 | la.family = AF_INET; |
| 636 | la.prefixlen = oi->address->prefixlen; |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 637 | |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 638 | /* V links to W on PtMP interface |
| 639 | - find the interface address on W */ |
| 640 | while ((l2 = ospf_get_next_link (w, v, l2))) |
| 641 | { |
| 642 | la.prefix = l2->link_data; |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 643 | |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 644 | if (prefix_cmp ((struct prefix *) &la, |
| 645 | oi->address) != 0) |
| 646 | continue; |
| 647 | /* link_data is on our PtMP network */ |
| 648 | added = 1; |
| 649 | nexthop = l2->link_data; |
| 650 | break; |
| 651 | } |
| 652 | } |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 653 | |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 654 | if (added) |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 655 | { |
| 656 | /* found all necessary info to build nexthop */ |
| 657 | nh = vertex_nexthop_new (); |
| 658 | nh->oi = oi; |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 659 | nh->router = nexthop; |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 660 | ospf_spf_add_parent (v, w, nh, distance); |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 661 | return 1; |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 662 | } |
| 663 | else |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 664 | zlog_info("%s: could not determine nexthop for link %s", |
| 665 | __func__, oi->ifp->name); |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 666 | } /* end point-to-point link from V to W */ |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 667 | else if (l->m[0].type == LSA_LINK_TYPE_VIRTUALLINK) |
| 668 | { |
| 669 | struct ospf_vl_data *vl_data; |
| 670 | |
| 671 | /* VLink implementation limitations: |
| 672 | * a) vl_data can only reference one nexthop, so no ECMP |
| 673 | * to backbone through VLinks. Though transit-area |
| 674 | * summaries may be considered, and those can be ECMP. |
| 675 | * b) We can only use /one/ VLink, even if multiple ones |
| 676 | * exist this router through multiple transit-areas. |
| 677 | */ |
| 678 | vl_data = ospf_vl_lookup (area->ospf, NULL, l->link_id); |
| 679 | |
| 680 | if (vl_data |
| 681 | && CHECK_FLAG (vl_data->flags, OSPF_VL_FLAG_APPROVED)) |
| 682 | { |
| 683 | nh = vertex_nexthop_new (); |
| 684 | nh->oi = vl_data->nexthop.oi; |
| 685 | nh->router = vl_data->nexthop.router; |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 686 | ospf_spf_add_parent (v, w, nh, distance); |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 687 | return 1; |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 688 | } |
| 689 | else |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 690 | zlog_info("ospf_nexthop_calculation(): " |
| 691 | "vl_data for VL link not found"); |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 692 | } /* end virtual-link from V to W */ |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 693 | return 0; |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 694 | } /* end W is a Router vertex */ |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 695 | else |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 696 | { |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 697 | assert(w->type == OSPF_VERTEX_NETWORK); |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 698 | |
| 699 | nh = vertex_nexthop_new (); |
| 700 | nh->oi = oi; |
| 701 | nh->router.s_addr = 0; /* Nexthop not required */ |
| 702 | ospf_spf_add_parent (v, w, nh, distance); |
| 703 | return 1; |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 704 | } |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 705 | } /* end V is the root */ |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 706 | /* Check if W's parent is a network connected to root. */ |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 707 | else if (v->type == OSPF_VERTEX_NETWORK) |
| 708 | { |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 709 | /* See if any of V's parents are the root. */ |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 710 | for (ALL_LIST_ELEMENTS (v->parents, node, nnode, vp)) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 711 | { |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 712 | if (vp->parent == area->spf) /* connects to root? */ |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 713 | { |
| 714 | /* 16.1.1 para 5. ...the parent vertex is a network that |
| 715 | * directly connects the calculating router to the destination |
| 716 | * router. The list of next hops is then determined by |
| 717 | * examining the destination's router-LSA... |
| 718 | */ |
| 719 | |
| 720 | assert(w->type == OSPF_VERTEX_ROUTER); |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 721 | while ((l = ospf_get_next_link (w, v, l))) |
| 722 | { |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 723 | /* ...For each link in the router-LSA that points back to the |
| 724 | * parent network, the link's Link Data field provides the IP |
| 725 | * address of a next hop router. The outgoing interface to |
| 726 | * use can then be derived from the next hop IP address (or |
| 727 | * it can be inherited from the parent network). |
| 728 | */ |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 729 | nh = vertex_nexthop_new (); |
| 730 | nh->oi = vp->nexthop->oi; |
| 731 | nh->router = l->link_data; |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 732 | added = 1; |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 733 | ospf_spf_add_parent (v, w, nh, distance); |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 734 | } |
Paul Jakma | 945ea29 | 2012-08-06 12:17:12 +0100 | [diff] [blame] | 735 | /* Note lack of return is deliberate. See next comment. */ |
| 736 | } |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 737 | } |
Paul Jakma | 945ea29 | 2012-08-06 12:17:12 +0100 | [diff] [blame] | 738 | /* NB: This code is non-trivial. |
| 739 | * |
| 740 | * E.g. it is not enough to know that V connects to the root. It is |
| 741 | * also important that the while above, looping through all links from |
| 742 | * W->V found at least one link, so that we know there is |
| 743 | * bi-directional connectivity between V and W (which need not be the |
| 744 | * case, e.g. when OSPF has not yet converged fully). Otherwise, if |
| 745 | * we /always/ return here, without having checked that root->V->-W |
| 746 | * actually resulted in a valid nexthop being created, then we we will |
| 747 | * prevent SPF from finding/using higher cost paths. |
| 748 | * |
| 749 | * It is important, if root->V->W has not been added, that we continue |
| 750 | * through to the intervening-router nexthop code below. So as to |
| 751 | * ensure other paths to V may be used. This avoids unnecessary |
| 752 | * blackholes while OSPF is convergening. |
| 753 | * |
| 754 | * I.e. we may have arrived at this function, examining V -> W, via |
| 755 | * workable paths other than root -> V, and it's important to avoid |
| 756 | * getting "confused" by non-working root->V->W path - it's important |
| 757 | * to *not* lose the working non-root paths, just because of a |
| 758 | * non-viable root->V->W. |
| 759 | * |
| 760 | * See also bug #330 (required reading!), and: |
| 761 | * |
| 762 | * http://blogs.oracle.com/paulj/entry/the_difference_a_line_makes |
| 763 | */ |
| 764 | if (added) |
| 765 | return added; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 766 | } |
| 767 | |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 768 | /* 16.1.1 para 4. If there is at least one intervening router in the |
| 769 | * current shortest path between the destination and the root, the |
| 770 | * destination simply inherits the set of next hops from the |
| 771 | * parent. |
| 772 | */ |
Paul Jakma | b75ae99 | 2007-03-23 11:17:28 +0000 | [diff] [blame] | 773 | if (IS_DEBUG_OSPF_EVENT) |
| 774 | zlog_debug ("%s: Intervening routers, adding parent(s)", __func__); |
| 775 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 776 | for (ALL_LIST_ELEMENTS (v->parents, node, nnode, vp)) |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 777 | { |
| 778 | added = 1; |
Paul Jakma | bd34fb3 | 2007-02-26 17:14:48 +0000 | [diff] [blame] | 779 | ospf_spf_add_parent (v, w, vp->nexthop, distance); |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 780 | } |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 781 | |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 782 | return added; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 783 | } |
| 784 | |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 785 | /* RFC2328 Section 16.1 (2). |
| 786 | * v is on the SPF tree. Examine the links in v's LSA. Update the list |
| 787 | * of candidates with any vertices not already on the list. If a lower-cost |
| 788 | * path is found to a vertex already on the candidate list, store the new cost. |
| 789 | */ |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 790 | static void |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 791 | ospf_spf_next (struct vertex *v, struct ospf_area *area, |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 792 | struct pqueue * candidate) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 793 | { |
| 794 | struct ospf_lsa *w_lsa = NULL; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 795 | u_char *p; |
| 796 | u_char *lim; |
| 797 | struct router_lsa_link *l = NULL; |
| 798 | struct in_addr *r; |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 799 | int type = 0, lsa_pos=-1, lsa_pos_next=0; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 800 | |
| 801 | /* If this is a router-LSA, and bit V of the router-LSA (see Section |
| 802 | A.4.2:RFC2328) is set, set Area A's TransitCapability to TRUE. */ |
| 803 | if (v->type == OSPF_VERTEX_ROUTER) |
| 804 | { |
| 805 | if (IS_ROUTER_LSA_VIRTUAL ((struct router_lsa *) v->lsa)) |
| 806 | area->transit = OSPF_TRANSIT_TRUE; |
| 807 | } |
Paul Jakma | b75ae99 | 2007-03-23 11:17:28 +0000 | [diff] [blame] | 808 | |
| 809 | if (IS_DEBUG_OSPF_EVENT) |
| 810 | zlog_debug ("%s: Next vertex of %s vertex %s", |
| 811 | __func__, |
| 812 | v->type == OSPF_VERTEX_ROUTER ? "Router" : "Network", |
| 813 | inet_ntoa(v->lsa->id)); |
| 814 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 815 | p = ((u_char *) v->lsa) + OSPF_LSA_HEADER_SIZE + 4; |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 816 | lim = ((u_char *) v->lsa) + ntohs (v->lsa->length); |
| 817 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 818 | while (p < lim) |
| 819 | { |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 820 | struct vertex *w; |
| 821 | unsigned int distance; |
paul | d355bfa | 2004-04-08 07:43:45 +0000 | [diff] [blame] | 822 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 823 | /* In case of V is Router-LSA. */ |
| 824 | if (v->lsa->type == OSPF_ROUTER_LSA) |
| 825 | { |
| 826 | l = (struct router_lsa_link *) p; |
| 827 | |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 828 | lsa_pos = lsa_pos_next; /* LSA link position */ |
| 829 | lsa_pos_next++; |
Denis Ovsienko | 05b7709 | 2011-08-23 11:36:27 +0400 | [diff] [blame] | 830 | p += (OSPF_ROUTER_LSA_LINK_SIZE + |
| 831 | (l->m[0].tos_count * OSPF_ROUTER_LSA_TOS_SIZE)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 832 | |
| 833 | /* (a) If this is a link to a stub network, examine the next |
| 834 | link in V's LSA. Links to stub networks will be |
| 835 | considered in the second stage of the shortest path |
| 836 | calculation. */ |
| 837 | if ((type = l->m[0].type) == LSA_LINK_TYPE_STUB) |
| 838 | continue; |
Paul Jakma | 08d3d5b | 2007-05-07 16:38:35 +0000 | [diff] [blame] | 839 | |
| 840 | /* Infinite distance links shouldn't be followed, except |
| 841 | * for local links (a stub-routed router still wants to |
| 842 | * calculate tree, so must follow its own links). |
| 843 | */ |
| 844 | if ((v != area->spf) && l->m[0].metric >= OSPF_OUTPUT_COST_INFINITE) |
| 845 | continue; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 846 | |
| 847 | /* (b) Otherwise, W is a transit vertex (router or transit |
| 848 | network). Look up the vertex W's LSA (router-LSA or |
| 849 | network-LSA) in Area A's link state database. */ |
| 850 | switch (type) |
| 851 | { |
| 852 | case LSA_LINK_TYPE_POINTOPOINT: |
| 853 | case LSA_LINK_TYPE_VIRTUALLINK: |
| 854 | if (type == LSA_LINK_TYPE_VIRTUALLINK) |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 855 | { |
| 856 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 857 | zlog_debug ("looking up LSA through VL: %s", |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 858 | inet_ntoa (l->link_id)); |
| 859 | } |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 860 | |
| 861 | w_lsa = ospf_lsa_lookup (area, OSPF_ROUTER_LSA, l->link_id, |
| 862 | l->link_id); |
| 863 | if (w_lsa) |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 864 | { |
| 865 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 866 | zlog_debug ("found Router LSA %s", inet_ntoa (l->link_id)); |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 867 | } |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 868 | break; |
| 869 | case LSA_LINK_TYPE_TRANSIT: |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 870 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 871 | zlog_debug ("Looking up Network LSA, ID: %s", |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 872 | inet_ntoa (l->link_id)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 873 | w_lsa = ospf_lsa_lookup_by_id (area, OSPF_NETWORK_LSA, |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 874 | l->link_id); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 875 | if (w_lsa) |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 876 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 877 | zlog_debug ("found the LSA"); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 878 | break; |
| 879 | default: |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 880 | zlog_warn ("Invalid LSA link type %d", type); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 881 | continue; |
| 882 | } |
| 883 | } |
| 884 | else |
| 885 | { |
| 886 | /* In case of V is Network-LSA. */ |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 887 | r = (struct in_addr *) p; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 888 | p += sizeof (struct in_addr); |
| 889 | |
| 890 | /* Lookup the vertex W's LSA. */ |
| 891 | w_lsa = ospf_lsa_lookup_by_id (area, OSPF_ROUTER_LSA, *r); |
Paul Jakma | b75ae99 | 2007-03-23 11:17:28 +0000 | [diff] [blame] | 892 | if (w_lsa) |
| 893 | { |
| 894 | if (IS_DEBUG_OSPF_EVENT) |
| 895 | zlog_debug ("found Router LSA %s", inet_ntoa (w_lsa->data->id)); |
| 896 | } |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 897 | } |
| 898 | |
| 899 | /* (b cont.) If the LSA does not exist, or its LS age is equal |
| 900 | to MaxAge, or it does not have a link back to vertex V, |
| 901 | examine the next link in V's LSA.[23] */ |
| 902 | if (w_lsa == NULL) |
Paul Jakma | b75ae99 | 2007-03-23 11:17:28 +0000 | [diff] [blame] | 903 | { |
| 904 | if (IS_DEBUG_OSPF_EVENT) |
| 905 | zlog_debug ("No LSA found"); |
| 906 | continue; |
| 907 | } |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 908 | |
| 909 | if (IS_LSA_MAXAGE (w_lsa)) |
Paul Jakma | b75ae99 | 2007-03-23 11:17:28 +0000 | [diff] [blame] | 910 | { |
| 911 | if (IS_DEBUG_OSPF_EVENT) |
| 912 | zlog_debug ("LSA is MaxAge"); |
| 913 | continue; |
| 914 | } |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 915 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 916 | if (ospf_lsa_has_link (w_lsa->data, v->lsa) < 0 ) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 917 | { |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 918 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 919 | zlog_debug ("The LSA doesn't have a link back"); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 920 | continue; |
| 921 | } |
| 922 | |
| 923 | /* (c) If vertex W is already on the shortest-path tree, examine |
| 924 | the next link in the LSA. */ |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 925 | if (w_lsa->stat == LSA_SPF_IN_SPFTREE) |
| 926 | { |
| 927 | if (IS_DEBUG_OSPF_EVENT) |
| 928 | zlog_debug ("The LSA is already in SPF"); |
| 929 | continue; |
| 930 | } |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 931 | |
| 932 | /* (d) Calculate the link state cost D of the resulting path |
| 933 | from the root to vertex W. D is equal to the sum of the link |
| 934 | state cost of the (already calculated) shortest path to |
| 935 | vertex V and the advertised cost of the link between vertices |
| 936 | V and W. If D is: */ |
| 937 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 938 | /* calculate link cost D. */ |
| 939 | if (v->lsa->type == OSPF_ROUTER_LSA) |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 940 | distance = v->distance + ntohs (l->m[0].metric); |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 941 | else /* v is not a Router-LSA */ |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 942 | distance = v->distance; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 943 | |
| 944 | /* Is there already vertex W in candidate list? */ |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 945 | if (w_lsa->stat == LSA_SPF_NOT_EXPLORED) |
| 946 | { |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 947 | /* prepare vertex W. */ |
| 948 | w = ospf_vertex_new (w_lsa); |
| 949 | |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 950 | /* Calculate nexthop to W. */ |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 951 | if (ospf_nexthop_calculation (area, v, w, l, distance, lsa_pos)) |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 952 | pqueue_enqueue (w, candidate); |
Paul Jakma | b75ae99 | 2007-03-23 11:17:28 +0000 | [diff] [blame] | 953 | else if (IS_DEBUG_OSPF_EVENT) |
| 954 | zlog_debug ("Nexthop Calc failed"); |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 955 | } |
| 956 | else if (w_lsa->stat >= 0) |
| 957 | { |
| 958 | /* Get the vertex from candidates. */ |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 959 | w = candidate->array[w_lsa->stat]; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 960 | |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 961 | /* if D is greater than. */ |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 962 | if (w->distance < distance) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 963 | { |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 964 | continue; |
| 965 | } |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 966 | /* equal to. */ |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 967 | else if (w->distance == distance) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 968 | { |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 969 | /* Found an equal-cost path to W. |
| 970 | * Calculate nexthop of to W from V. */ |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 971 | ospf_nexthop_calculation (area, v, w, l, distance, lsa_pos); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 972 | } |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 973 | /* less than. */ |
| 974 | else |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 975 | { |
Paul Jakma | bc20c1a | 2007-01-24 14:51:51 +0000 | [diff] [blame] | 976 | /* Found a lower-cost path to W. |
| 977 | * nexthop_calculation is conditional, if it finds |
| 978 | * valid nexthop it will call spf_add_parents, which |
| 979 | * will flush the old parents |
| 980 | */ |
Joakim Tjernlund | c81ee5c | 2012-07-07 17:06:11 +0200 | [diff] [blame] | 981 | if (ospf_nexthop_calculation (area, v, w, l, distance, lsa_pos)) |
Paul Jakma | 7591d8b | 2007-08-06 18:52:45 +0000 | [diff] [blame] | 982 | /* Decrease the key of the node in the heap. |
| 983 | * trickle-sort it up towards root, just in case this |
| 984 | * node should now be the new root due the cost change. |
Paul Jakma | e95537f | 2007-08-07 16:22:05 +0000 | [diff] [blame] | 985 | * (next pqueu_{de,en}queue will fully re-heap the queue). |
Paul Jakma | 7591d8b | 2007-08-06 18:52:45 +0000 | [diff] [blame] | 986 | */ |
| 987 | trickle_up (w_lsa->stat, candidate); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 988 | } |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 989 | } /* end W is already on the candidate list */ |
| 990 | } /* end loop over the links in V's LSA */ |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 991 | } |
| 992 | |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 993 | static void |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 994 | ospf_spf_dump (struct vertex *v, int i) |
| 995 | { |
hasso | 52dc7ee | 2004-09-23 19:18:23 +0000 | [diff] [blame] | 996 | struct listnode *cnode; |
| 997 | struct listnode *nnode; |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 998 | struct vertex_parent *parent; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 999 | |
| 1000 | if (v->type == OSPF_VERTEX_ROUTER) |
| 1001 | { |
| 1002 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1003 | zlog_debug ("SPF Result: %d [R] %s", i, inet_ntoa (v->lsa->id)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1004 | } |
| 1005 | else |
| 1006 | { |
| 1007 | struct network_lsa *lsa = (struct network_lsa *) v->lsa; |
| 1008 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1009 | zlog_debug ("SPF Result: %d [N] %s/%d", i, inet_ntoa (v->lsa->id), |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1010 | ip_masklen (lsa->mask)); |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 1011 | } |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1012 | |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 1013 | if (IS_DEBUG_OSPF_EVENT) |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 1014 | for (ALL_LIST_ELEMENTS_RO (v->parents, nnode, parent)) |
| 1015 | { |
| 1016 | zlog_debug (" nexthop %p %s %s", |
| 1017 | parent->nexthop, |
| 1018 | inet_ntoa (parent->nexthop->router), |
| 1019 | parent->nexthop->oi ? IF_NAME(parent->nexthop->oi) |
| 1020 | : "NULL"); |
| 1021 | } |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1022 | |
| 1023 | i++; |
| 1024 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 1025 | for (ALL_LIST_ELEMENTS_RO (v->children, cnode, v)) |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 1026 | ospf_spf_dump (v, i); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1027 | } |
| 1028 | |
| 1029 | /* Second stage of SPF calculation. */ |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 1030 | static void |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1031 | ospf_spf_process_stubs (struct ospf_area *area, struct vertex *v, |
Paul Jakma | b3bc68e | 2008-09-04 13:52:07 +0100 | [diff] [blame] | 1032 | struct route_table *rt, |
| 1033 | int parent_is_root) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1034 | { |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 1035 | struct listnode *cnode, *cnnode; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1036 | struct vertex *child; |
| 1037 | |
| 1038 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1039 | zlog_debug ("ospf_process_stub():processing stubs for area %s", |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1040 | inet_ntoa (area->area_id)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1041 | if (v->type == OSPF_VERTEX_ROUTER) |
| 1042 | { |
| 1043 | u_char *p; |
| 1044 | u_char *lim; |
| 1045 | struct router_lsa_link *l; |
| 1046 | struct router_lsa *rlsa; |
Joakim Tjernlund | 57c639f | 2012-07-07 17:06:12 +0200 | [diff] [blame] | 1047 | int lsa_pos = 0; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1048 | |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1049 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1050 | zlog_debug ("ospf_process_stubs():processing router LSA, id: %s", |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1051 | inet_ntoa (v->lsa->id)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1052 | rlsa = (struct router_lsa *) v->lsa; |
| 1053 | |
| 1054 | |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1055 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1056 | zlog_debug ("ospf_process_stubs(): we have %d links to process", |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1057 | ntohs (rlsa->links)); |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 1058 | p = ((u_char *) v->lsa) + OSPF_LSA_HEADER_SIZE + 4; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1059 | lim = ((u_char *) v->lsa) + ntohs (v->lsa->length); |
| 1060 | |
| 1061 | while (p < lim) |
| 1062 | { |
| 1063 | l = (struct router_lsa_link *) p; |
| 1064 | |
Denis Ovsienko | 05b7709 | 2011-08-23 11:36:27 +0400 | [diff] [blame] | 1065 | p += (OSPF_ROUTER_LSA_LINK_SIZE + |
| 1066 | (l->m[0].tos_count * OSPF_ROUTER_LSA_TOS_SIZE)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1067 | |
| 1068 | if (l->m[0].type == LSA_LINK_TYPE_STUB) |
Joakim Tjernlund | 57c639f | 2012-07-07 17:06:12 +0200 | [diff] [blame] | 1069 | ospf_intra_add_stub (rt, l, v, area, parent_is_root, lsa_pos); |
| 1070 | lsa_pos++; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1071 | } |
| 1072 | } |
| 1073 | |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 1074 | ospf_vertex_dump("ospf_process_stubs(): after examining links: ", v, 1, 1); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1075 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 1076 | for (ALL_LIST_ELEMENTS (v->children, cnode, cnnode, child)) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1077 | { |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1078 | if (CHECK_FLAG (child->flags, OSPF_VERTEX_PROCESSED)) |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1079 | continue; |
Paul Jakma | b3bc68e | 2008-09-04 13:52:07 +0100 | [diff] [blame] | 1080 | |
| 1081 | /* the first level of routers connected to the root |
| 1082 | * should have 'parent_is_root' set, including those |
| 1083 | * connected via a network vertex. |
| 1084 | */ |
| 1085 | if (area->spf == v) |
| 1086 | parent_is_root = 1; |
| 1087 | else if (v->type == OSPF_VERTEX_ROUTER) |
| 1088 | parent_is_root = 0; |
| 1089 | |
| 1090 | ospf_spf_process_stubs (area, child, rt, parent_is_root); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1091 | |
| 1092 | SET_FLAG (child->flags, OSPF_VERTEX_PROCESSED); |
| 1093 | } |
| 1094 | } |
| 1095 | |
| 1096 | void |
| 1097 | ospf_rtrs_free (struct route_table *rtrs) |
| 1098 | { |
| 1099 | struct route_node *rn; |
hasso | 52dc7ee | 2004-09-23 19:18:23 +0000 | [diff] [blame] | 1100 | struct list *or_list; |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 1101 | struct ospf_route *or; |
| 1102 | struct listnode *node, *nnode; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1103 | |
| 1104 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1105 | zlog_debug ("Route: Router Routing Table free"); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1106 | |
| 1107 | for (rn = route_top (rtrs); rn; rn = route_next (rn)) |
| 1108 | if ((or_list = rn->info) != NULL) |
| 1109 | { |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 1110 | for (ALL_LIST_ELEMENTS (or_list, node, nnode, or)) |
| 1111 | ospf_route_free (or); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1112 | |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1113 | list_delete (or_list); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1114 | |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1115 | /* Unlock the node. */ |
| 1116 | rn->info = NULL; |
| 1117 | route_unlock_node (rn); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1118 | } |
| 1119 | route_table_finish (rtrs); |
| 1120 | } |
| 1121 | |
Stephen Hemminger | 075e12f | 2011-12-06 23:54:17 +0400 | [diff] [blame] | 1122 | #if 0 |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 1123 | static void |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1124 | ospf_rtrs_print (struct route_table *rtrs) |
| 1125 | { |
| 1126 | struct route_node *rn; |
hasso | 52dc7ee | 2004-09-23 19:18:23 +0000 | [diff] [blame] | 1127 | struct list *or_list; |
| 1128 | struct listnode *ln; |
| 1129 | struct listnode *pnode; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1130 | struct ospf_route *or; |
| 1131 | struct ospf_path *path; |
| 1132 | char buf1[BUFSIZ]; |
| 1133 | char buf2[BUFSIZ]; |
| 1134 | |
| 1135 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1136 | zlog_debug ("ospf_rtrs_print() start"); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1137 | |
| 1138 | for (rn = route_top (rtrs); rn; rn = route_next (rn)) |
| 1139 | if ((or_list = rn->info) != NULL) |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 1140 | for (ALL_LIST_ELEMENTS_RO (or_list, ln, or)) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1141 | { |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1142 | switch (or->path_type) |
| 1143 | { |
| 1144 | case OSPF_PATH_INTRA_AREA: |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1145 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1146 | zlog_debug ("%s [%d] area: %s", |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1147 | inet_ntop (AF_INET, &or->id, buf1, BUFSIZ), |
| 1148 | or->cost, inet_ntop (AF_INET, &or->u.std.area_id, |
| 1149 | buf2, BUFSIZ)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1150 | break; |
| 1151 | case OSPF_PATH_INTER_AREA: |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1152 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1153 | zlog_debug ("%s IA [%d] area: %s", |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1154 | inet_ntop (AF_INET, &or->id, buf1, BUFSIZ), |
| 1155 | or->cost, inet_ntop (AF_INET, &or->u.std.area_id, |
| 1156 | buf2, BUFSIZ)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1157 | break; |
| 1158 | default: |
| 1159 | break; |
| 1160 | } |
| 1161 | |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 1162 | for (ALL_LIST_ELEMENTS_RO (or->paths, pnode, path)) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1163 | { |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1164 | if (path->nexthop.s_addr == 0) |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1165 | { |
| 1166 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1167 | zlog_debug (" directly attached to %s\r\n", |
Joakim Tjernlund | a8ba847 | 2009-07-27 12:42:34 +0200 | [diff] [blame] | 1168 | ifindex2ifname (path->ifindex)); |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1169 | } |
| 1170 | else |
| 1171 | { |
| 1172 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1173 | zlog_debug (" via %s, %s\r\n", |
Joakim Tjernlund | a8ba847 | 2009-07-27 12:42:34 +0200 | [diff] [blame] | 1174 | inet_ntoa (path->nexthop), |
| 1175 | ifindex2ifname (path->ifindex)); |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1176 | } |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1177 | } |
| 1178 | } |
| 1179 | |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1180 | zlog_debug ("ospf_rtrs_print() end"); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1181 | } |
Stephen Hemminger | 075e12f | 2011-12-06 23:54:17 +0400 | [diff] [blame] | 1182 | #endif |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1183 | |
| 1184 | /* Calculating the shortest-path tree for an area. */ |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 1185 | static void |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1186 | ospf_spf_calculate (struct ospf_area *area, struct route_table *new_table, |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1187 | struct route_table *new_rtrs) |
| 1188 | { |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 1189 | struct pqueue *candidate; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1190 | struct vertex *v; |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 1191 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1192 | if (IS_DEBUG_OSPF_EVENT) |
| 1193 | { |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1194 | zlog_debug ("ospf_spf_calculate: Start"); |
| 1195 | zlog_debug ("ospf_spf_calculate: running Dijkstra for area %s", |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1196 | inet_ntoa (area->area_id)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1197 | } |
| 1198 | |
| 1199 | /* Check router-lsa-self. If self-router-lsa is not yet allocated, |
| 1200 | return this area's calculation. */ |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1201 | if (!area->router_lsa_self) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1202 | { |
| 1203 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1204 | zlog_debug ("ospf_spf_calculate: " |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1205 | "Skip area %s's calculation due to empty router_lsa_self", |
| 1206 | inet_ntoa (area->area_id)); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1207 | return; |
| 1208 | } |
| 1209 | |
| 1210 | /* RFC2328 16.1. (1). */ |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1211 | /* Initialize the algorithm's data structures. */ |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 1212 | |
| 1213 | /* This function scans all the LSA database and set the stat field to |
| 1214 | * LSA_SPF_NOT_EXPLORED. */ |
| 1215 | ospf_lsdb_clean_stat (area->lsdb); |
| 1216 | /* Create a new heap for the candidates. */ |
| 1217 | candidate = pqueue_create(); |
| 1218 | candidate->cmp = cmp; |
| 1219 | candidate->update = update_stat; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1220 | |
| 1221 | /* Initialize the shortest-path tree to only the root (which is the |
| 1222 | router doing the calculation). */ |
| 1223 | ospf_spf_init (area); |
| 1224 | v = area->spf; |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 1225 | /* Set LSA position to LSA_SPF_IN_SPFTREE. This vertex is the root of the |
| 1226 | * spanning tree. */ |
| 1227 | *(v->stat) = LSA_SPF_IN_SPFTREE; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1228 | |
| 1229 | /* Set Area A's TransitCapability to FALSE. */ |
| 1230 | area->transit = OSPF_TRANSIT_FALSE; |
| 1231 | area->shortcut_capability = 1; |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 1232 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1233 | for (;;) |
| 1234 | { |
| 1235 | /* RFC2328 16.1. (2). */ |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 1236 | ospf_spf_next (v, area, candidate); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1237 | |
| 1238 | /* RFC2328 16.1. (3). */ |
| 1239 | /* If at this step the candidate list is empty, the shortest- |
| 1240 | path tree (of transit vertices) has been completely built and |
| 1241 | this stage of the procedure terminates. */ |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 1242 | if (candidate->size == 0) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1243 | break; |
| 1244 | |
| 1245 | /* Otherwise, choose the vertex belonging to the candidate list |
| 1246 | that is closest to the root, and add it to the shortest-path |
| 1247 | tree (removing it from the candidate list in the |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1248 | process). */ |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 1249 | /* Extract from the candidates the node with the lower key. */ |
| 1250 | v = (struct vertex *) pqueue_dequeue (candidate); |
| 1251 | /* Update stat field in vertex. */ |
| 1252 | *(v->stat) = LSA_SPF_IN_SPFTREE; |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 1253 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1254 | ospf_vertex_add_parent (v); |
| 1255 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1256 | /* RFC2328 16.1. (4). */ |
| 1257 | if (v->type == OSPF_VERTEX_ROUTER) |
| 1258 | ospf_intra_add_router (new_rtrs, v, area); |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1259 | else |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1260 | ospf_intra_add_transit (new_table, v, area); |
| 1261 | |
| 1262 | /* RFC2328 16.1. (5). */ |
| 1263 | /* Iterate the algorithm by returning to Step 2. */ |
gdt | 630e480 | 2004-08-31 17:28:41 +0000 | [diff] [blame] | 1264 | |
| 1265 | } /* end loop until no more candidate vertices */ |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1266 | |
| 1267 | if (IS_DEBUG_OSPF_EVENT) |
| 1268 | { |
| 1269 | ospf_spf_dump (area->spf, 0); |
| 1270 | ospf_route_table_dump (new_table); |
| 1271 | } |
| 1272 | |
| 1273 | /* Second stage of SPF calculation procedure's */ |
Paul Jakma | b3bc68e | 2008-09-04 13:52:07 +0100 | [diff] [blame] | 1274 | ospf_spf_process_stubs (area, area->spf, new_table, 0); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1275 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 1276 | /* Free candidate queue. */ |
hasso | 462f20d | 2005-02-23 11:29:02 +0000 | [diff] [blame] | 1277 | pqueue_delete (candidate); |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1278 | |
paul | eb3da6d | 2005-10-18 04:20:33 +0000 | [diff] [blame] | 1279 | ospf_vertex_dump (__func__, area->spf, 0, 1); |
| 1280 | /* Free nexthop information, canonical versions of which are attached |
| 1281 | * the first level of router vertices attached to the root vertex, see |
| 1282 | * ospf_nexthop_calculation. |
| 1283 | */ |
| 1284 | ospf_canonical_nexthops_free (area->spf); |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1285 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1286 | /* Increment SPF Calculation Counter. */ |
| 1287 | area->spf_calculation++; |
| 1288 | |
Paul Jakma | 2518efd | 2006-08-27 06:49:29 +0000 | [diff] [blame] | 1289 | quagga_gettime (QUAGGA_CLK_MONOTONIC, &area->ospf->ts_spf); |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1290 | area->ts_spf = area->ospf->ts_spf; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1291 | |
| 1292 | if (IS_DEBUG_OSPF_EVENT) |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 1293 | zlog_debug ("ospf_spf_calculate: Stop. %ld vertices", |
| 1294 | mtype_stats_alloc(MTYPE_OSPF_VERTEX)); |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1295 | |
| 1296 | /* Free SPF vertices, but not the list. List has ospf_vertex_free |
| 1297 | * as deconstructor. |
| 1298 | */ |
| 1299 | list_delete_all_node (&vertex_list); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1300 | } |
David Lamparter | 6b0655a | 2014-06-04 06:53:35 +0200 | [diff] [blame] | 1301 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1302 | /* Timer for SPF calculation. */ |
paul | 4dadc29 | 2005-05-06 21:37:42 +0000 | [diff] [blame] | 1303 | static int |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1304 | ospf_spf_calculate_timer (struct thread *thread) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1305 | { |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1306 | struct ospf *ospf = THREAD_ARG (thread); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1307 | struct route_table *new_table, *new_rtrs; |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 1308 | struct ospf_area *area; |
| 1309 | struct listnode *node, *nnode; |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1310 | struct timeval start_time, stop_time, spf_start_time; |
| 1311 | int areas_processed = 0; |
| 1312 | unsigned long ia_time, prune_time, rt_time; |
| 1313 | unsigned long abr_time, total_spf_time, spf_time; |
| 1314 | char rbuf[32]; /* reason_buf */ |
Paul Jakma | b6eef00 | 2014-10-09 14:19:51 +0100 | [diff] [blame^] | 1315 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1316 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1317 | zlog_debug ("SPF: Timer (SPF calculation expire)"); |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1318 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1319 | ospf->t_spf_calc = NULL; |
| 1320 | |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1321 | quagga_gettime (QUAGGA_CLK_MONOTONIC, &spf_start_time); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1322 | /* Allocate new table tree. */ |
| 1323 | new_table = route_table_init (); |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1324 | new_rtrs = route_table_init (); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1325 | |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1326 | ospf_vl_unapprove (ospf); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1327 | |
| 1328 | /* Calculate SPF for each area. */ |
paul | 1eb8ef2 | 2005-04-07 07:30:20 +0000 | [diff] [blame] | 1329 | for (ALL_LIST_ELEMENTS (ospf->areas, node, nnode, area)) |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 1330 | { |
| 1331 | /* Do backbone last, so as to first discover intra-area paths |
| 1332 | * for any back-bone virtual-links |
| 1333 | */ |
| 1334 | if (ospf->backbone && ospf->backbone == area) |
| 1335 | continue; |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1336 | |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 1337 | ospf_spf_calculate (area, new_table, new_rtrs); |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1338 | areas_processed++; |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 1339 | } |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1340 | |
Paul Jakma | 9c27ef9 | 2006-05-04 07:32:57 +0000 | [diff] [blame] | 1341 | /* SPF for backbone, if required */ |
| 1342 | if (ospf->backbone) |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1343 | { |
| 1344 | ospf_spf_calculate (ospf->backbone, new_table, new_rtrs); |
| 1345 | areas_processed++; |
| 1346 | } |
| 1347 | |
| 1348 | quagga_gettime (QUAGGA_CLK_MONOTONIC, &stop_time); |
| 1349 | spf_time = timeval_elapsed (stop_time, spf_start_time); |
| 1350 | |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1351 | ospf_vl_shut_unapproved (ospf); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1352 | |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1353 | start_time = stop_time; /* saving a call */ |
| 1354 | |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1355 | ospf_ia_routing (ospf, new_table, new_rtrs); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1356 | |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1357 | quagga_gettime (QUAGGA_CLK_MONOTONIC, &stop_time); |
| 1358 | ia_time = timeval_elapsed (stop_time, start_time); |
| 1359 | |
| 1360 | quagga_gettime (QUAGGA_CLK_MONOTONIC, &start_time); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1361 | ospf_prune_unreachable_networks (new_table); |
| 1362 | ospf_prune_unreachable_routers (new_rtrs); |
| 1363 | |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1364 | quagga_gettime (QUAGGA_CLK_MONOTONIC, &stop_time); |
| 1365 | prune_time = timeval_elapsed (stop_time, start_time); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1366 | /* AS-external-LSA calculation should not be performed here. */ |
| 1367 | |
| 1368 | /* If new Router Route is installed, |
| 1369 | then schedule re-calculate External routes. */ |
| 1370 | if (1) |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1371 | ospf_ase_calculate_schedule (ospf); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1372 | |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1373 | ospf_ase_calculate_timer_add (ospf); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1374 | |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1375 | quagga_gettime (QUAGGA_CLK_MONOTONIC, &start_time); |
| 1376 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1377 | /* Update routing table. */ |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1378 | ospf_route_install (ospf, new_table); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1379 | |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1380 | quagga_gettime (QUAGGA_CLK_MONOTONIC, &stop_time); |
| 1381 | rt_time = timeval_elapsed (stop_time, start_time); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1382 | /* Update ABR/ASBR routing table */ |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1383 | if (ospf->old_rtrs) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1384 | { |
| 1385 | /* old_rtrs's node holds linked list of ospf_route. --kunihiro. */ |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1386 | /* ospf_route_delete (ospf->old_rtrs); */ |
| 1387 | ospf_rtrs_free (ospf->old_rtrs); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1388 | } |
| 1389 | |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1390 | ospf->old_rtrs = ospf->new_rtrs; |
| 1391 | ospf->new_rtrs = new_rtrs; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1392 | |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1393 | quagga_gettime (QUAGGA_CLK_MONOTONIC, &start_time); |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1394 | if (IS_OSPF_ABR (ospf)) |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1395 | ospf_abr_task (ospf); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1396 | |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1397 | quagga_gettime (QUAGGA_CLK_MONOTONIC, &stop_time); |
| 1398 | abr_time = timeval_elapsed (stop_time, start_time); |
| 1399 | |
| 1400 | quagga_gettime (QUAGGA_CLK_MONOTONIC, &stop_time); |
| 1401 | total_spf_time = timeval_elapsed (stop_time, spf_start_time); |
| 1402 | ospf->ts_spf_duration.tv_sec = total_spf_time/1000000; |
| 1403 | ospf->ts_spf_duration.tv_usec = total_spf_time % 1000000; |
| 1404 | |
| 1405 | ospf_get_spf_reason_str (rbuf); |
| 1406 | |
Paul Jakma | b6eef00 | 2014-10-09 14:19:51 +0100 | [diff] [blame^] | 1407 | if (IS_DEBUG_OSPF_EVENT) |
| 1408 | { |
| 1409 | zlog_info ("SPF Processing Time(usecs): %ld", total_spf_time); |
| 1410 | zlog_info ("\t SPF Time: %ld", spf_time); |
| 1411 | zlog_info ("\t InterArea: %ld", ia_time); |
| 1412 | zlog_info ("\t Prune: %ld", prune_time); |
| 1413 | zlog_info ("\tRouteInstall: %ld", rt_time); |
| 1414 | if (IS_OSPF_ABR (ospf)) |
| 1415 | zlog_info ("\t ABR: %ld (%d areas)", |
| 1416 | abr_time, areas_processed); |
| 1417 | zlog_info ("Reason(s) for SPF: %s", rbuf); |
| 1418 | } |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1419 | |
| 1420 | ospf_clear_spf_reason_flags (); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1421 | |
| 1422 | return 0; |
| 1423 | } |
| 1424 | |
| 1425 | /* Add schedule for SPF calculation. To avoid frequenst SPF calc, we |
| 1426 | set timer for SPF calc. */ |
| 1427 | void |
Paul Jakma | b6eef00 | 2014-10-09 14:19:51 +0100 | [diff] [blame^] | 1428 | ospf_spf_calculate_schedule (struct ospf *ospf, ospf_spf_reason_t reason) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1429 | { |
paul | d24f6e2 | 2005-10-21 09:23:12 +0000 | [diff] [blame] | 1430 | unsigned long delay, elapsed, ht; |
| 1431 | struct timeval result; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1432 | |
| 1433 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1434 | zlog_debug ("SPF: calculation timer scheduled"); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1435 | |
| 1436 | /* OSPF instance does not exist. */ |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1437 | if (ospf == NULL) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1438 | return; |
paul | d24f6e2 | 2005-10-21 09:23:12 +0000 | [diff] [blame] | 1439 | |
Paul Jakma | b6eef00 | 2014-10-09 14:19:51 +0100 | [diff] [blame^] | 1440 | ospf_spf_set_reason (reason); |
| 1441 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1442 | /* SPF calculation timer is already scheduled. */ |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1443 | if (ospf->t_spf_calc) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1444 | { |
| 1445 | if (IS_DEBUG_OSPF_EVENT) |
ajs | 2a42e28 | 2004-12-08 18:43:03 +0000 | [diff] [blame] | 1446 | zlog_debug ("SPF: calculation timer is already scheduled: %p", |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1447 | ospf->t_spf_calc); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1448 | return; |
| 1449 | } |
paul | d24f6e2 | 2005-10-21 09:23:12 +0000 | [diff] [blame] | 1450 | |
| 1451 | /* XXX Monotic timers: we only care about relative time here. */ |
Paul Jakma | 2518efd | 2006-08-27 06:49:29 +0000 | [diff] [blame] | 1452 | result = tv_sub (recent_relative_time (), ospf->ts_spf); |
paul | d24f6e2 | 2005-10-21 09:23:12 +0000 | [diff] [blame] | 1453 | |
| 1454 | elapsed = (result.tv_sec * 1000) + (result.tv_usec / 1000); |
| 1455 | ht = ospf->spf_holdtime * ospf->spf_hold_multiplier; |
| 1456 | |
| 1457 | if (ht > ospf->spf_max_holdtime) |
| 1458 | ht = ospf->spf_max_holdtime; |
| 1459 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1460 | /* Get SPF calculation delay time. */ |
paul | d24f6e2 | 2005-10-21 09:23:12 +0000 | [diff] [blame] | 1461 | if (elapsed < ht) |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1462 | { |
paul | d24f6e2 | 2005-10-21 09:23:12 +0000 | [diff] [blame] | 1463 | /* Got an event within the hold time of last SPF. We need to |
| 1464 | * increase the hold_multiplier, if it's not already at/past |
| 1465 | * maximum value, and wasn't already increased.. |
| 1466 | */ |
| 1467 | if (ht < ospf->spf_max_holdtime) |
| 1468 | ospf->spf_hold_multiplier++; |
| 1469 | |
| 1470 | /* always honour the SPF initial delay */ |
| 1471 | if ( (ht - elapsed) < ospf->spf_delay) |
paul | 0c0f9cd | 2003-06-06 23:27:04 +0000 | [diff] [blame] | 1472 | delay = ospf->spf_delay; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1473 | else |
paul | d24f6e2 | 2005-10-21 09:23:12 +0000 | [diff] [blame] | 1474 | delay = ht - elapsed; |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1475 | } |
| 1476 | else |
paul | d24f6e2 | 2005-10-21 09:23:12 +0000 | [diff] [blame] | 1477 | { |
| 1478 | /* Event is past required hold-time of last SPF */ |
| 1479 | delay = ospf->spf_delay; |
| 1480 | ospf->spf_hold_multiplier = 1; |
| 1481 | } |
| 1482 | |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1483 | if (IS_DEBUG_OSPF_EVENT) |
paul | d24f6e2 | 2005-10-21 09:23:12 +0000 | [diff] [blame] | 1484 | zlog_debug ("SPF: calculation timer delay = %ld", delay); |
| 1485 | |
Dinesh G Dutt | 50f38b3 | 2014-09-30 12:53:28 -0700 | [diff] [blame] | 1486 | zlog_info ("SPF: Scheduled in %ld msec", delay); |
| 1487 | |
paul | 6898008 | 2003-03-25 05:07:42 +0000 | [diff] [blame] | 1488 | ospf->t_spf_calc = |
paul | d24f6e2 | 2005-10-21 09:23:12 +0000 | [diff] [blame] | 1489 | thread_add_timer_msec (master, ospf_spf_calculate_timer, ospf, delay); |
paul | 718e374 | 2002-12-13 20:15:29 +0000 | [diff] [blame] | 1490 | } |