Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
yet another == with doubles
[simgrid.git] / src / surf / AsFloyd.cpp
1 /* Copyright (c) 2009-2016. The SimGrid Team. All rights reserved.          */
2
3 /* This program is free software; you can redistribute it and/or modify it
4  * under the terms of the license (GNU LGPL) which comes with this package. */
5
6 #include "xbt/log.h"
7 #include "xbt/dynar.h"
8 #include "src/surf/AsFloyd.hpp"
9 #include "src/surf/network_interface.hpp"
10
11 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_route_floyd, surf, "Routing part of surf");
12
13 #define TO_FLOYD_COST(i,j) (costTable_)[(i)+(j)*table_size]
14 #define TO_FLOYD_PRED(i,j) (predecessorTable_)[(i)+(j)*table_size]
15 #define TO_FLOYD_LINK(i,j) (linkTable_)[(i)+(j)*table_size]
16
17 namespace simgrid {
18 namespace routing {
19
20 AsFloyd::AsFloyd(const char*name)
21   : AsRoutedGraph(name)
22 {
23   predecessorTable_ = nullptr;
24   costTable_ = nullptr;
25   linkTable_ = nullptr;
26 }
27
28 AsFloyd::~AsFloyd(){
29   int table_size = static_cast<int>(xbt_dynar_length(vertices_));
30   if (linkTable_ == nullptr) // Dealing with a parse error in the file?
31     return;
32   /* Delete link_table */
33   for (int i = 0; i < table_size; i++)
34     for (int j = 0; j < table_size; j++)
35       routing_route_free(TO_FLOYD_LINK(i, j));
36   xbt_free(linkTable_);
37
38   xbt_free(predecessorTable_);
39   xbt_free(costTable_);
40 }
41
42 void AsFloyd::getRouteAndLatency(NetCard *src, NetCard *dst, sg_platf_route_cbarg_t route, double *lat)
43 {
44   size_t table_size = xbt_dynar_length(vertices_);
45
46   getRouteCheckParams(src, dst);
47
48   /* create a result route */
49   xbt_dynar_t route_stack = xbt_dynar_new(sizeof(sg_platf_route_cbarg_t), nullptr);
50   int pred;
51   int cur = dst->id();
52   do {
53     pred = TO_FLOYD_PRED(src->id(), cur);
54     if (pred == -1)
55       THROWF(arg_error, 0, "No route from '%s' to '%s'", src->name(), dst->name());
56     xbt_dynar_push_as(route_stack, sg_platf_route_cbarg_t, TO_FLOYD_LINK(pred, cur));
57     cur = pred;
58   } while (cur != src->id());
59
60   if (hierarchy_ == RoutingMode::recursive) {
61     route->gw_src = xbt_dynar_getlast_as(route_stack, sg_platf_route_cbarg_t)->gw_src;
62     route->gw_dst = xbt_dynar_getfirst_as(route_stack, sg_platf_route_cbarg_t)->gw_dst;
63   }
64
65   sg_netcard_t prev_dst_gw = nullptr;
66   while (!xbt_dynar_is_empty(route_stack)) {
67     sg_platf_route_cbarg_t e_route = xbt_dynar_pop_as(route_stack, sg_platf_route_cbarg_t);
68
69     if (hierarchy_ == RoutingMode::recursive && prev_dst_gw != nullptr && strcmp(prev_dst_gw->name(), e_route->gw_src->name())) {
70       routing_platf->getRouteAndLatency(prev_dst_gw, e_route->gw_src, route->link_list, lat);
71     }
72
73     for (auto link: *e_route->link_list) {
74       route->link_list->push_back(link);
75       if (lat)
76         *lat += link->getLatency();
77     }
78
79     prev_dst_gw = e_route->gw_dst;
80   }
81   xbt_dynar_free(&route_stack);
82 }
83
84 void AsFloyd::addRoute(sg_platf_route_cbarg_t route)
85 {
86   /* set the size of table routing */
87   int table_size = static_cast<int>(xbt_dynar_length(vertices_));
88
89   addRouteCheckParams(route);
90
91   if(!linkTable_) {
92     /* Create Cost, Predecessor and Link tables */
93     costTable_ = xbt_new0(double, table_size * table_size);       /* link cost from host to host */
94     predecessorTable_ = xbt_new0(int, table_size * table_size);  /* predecessor host numbers */
95     linkTable_ = xbt_new0(sg_platf_route_cbarg_t, table_size * table_size);    /* actual link between src and dst */
96
97     /* Initialize costs and predecessors */
98     for (int i = 0; i < table_size; i++)
99       for (int j = 0; j < table_size; j++) {
100         TO_FLOYD_COST(i, j) = DBL_MAX;
101         TO_FLOYD_PRED(i, j) = -1;
102         TO_FLOYD_LINK(i, j) = nullptr;
103       }
104   }
105
106   /* Check that the route does not already exist */
107   if (route->gw_dst) // AS route (to adapt the error message, if any)
108     xbt_assert(nullptr == TO_FLOYD_LINK(route->src->id(), route->dst->id()),
109         "The route between %s@%s and %s@%s already exists (Rq: routes are symmetrical by default).",
110         route->src->name(),route->gw_src->name(),route->dst->name(),route->gw_dst->name());
111   else
112     xbt_assert(nullptr == TO_FLOYD_LINK(route->src->id(), route->dst->id()),
113         "The route between %s and %s already exists (Rq: routes are symmetrical by default).", route->src->name(),route->dst->name());
114
115   TO_FLOYD_LINK(route->src->id(), route->dst->id()) = newExtendedRoute(hierarchy_, route, 1);
116   TO_FLOYD_PRED(route->src->id(), route->dst->id()) = route->src->id();
117   TO_FLOYD_COST(route->src->id(), route->dst->id()) = (TO_FLOYD_LINK(route->src->id(), route->dst->id()))->link_list->size();
118
119
120   if (route->symmetrical == true) {
121     if (route->gw_dst) // AS route (to adapt the error message, if any)
122       xbt_assert(nullptr == TO_FLOYD_LINK(route->dst->id(), route->src->id()),
123           "The route between %s@%s and %s@%s already exists. You should not declare the reverse path as symmetrical.",
124           route->dst->name(),route->gw_dst->name(),route->src->name(),route->gw_src->name());
125     else
126       xbt_assert(nullptr == TO_FLOYD_LINK(route->dst->id(), route->src->id()),
127           "The route between %s and %s already exists. You should not declare the reverse path as symmetrical.",
128           route->dst->name(),route->src->name());
129
130     if(route->gw_dst && route->gw_src) {
131       NetCard* gw_tmp = route->gw_src;
132       route->gw_src = route->gw_dst;
133       route->gw_dst = gw_tmp;
134     }
135
136     if(!route->gw_src && !route->gw_dst)
137       XBT_DEBUG("Load Route from \"%s\" to \"%s\"", route->dst->name(), route->src->name());
138     else
139       XBT_DEBUG("Load ASroute from \"%s(%s)\" to \"%s(%s)\"", route->dst->name(),
140           route->gw_src->name(), route->src->name(), route->gw_dst->name());
141
142     TO_FLOYD_LINK(route->dst->id(), route->src->id()) = newExtendedRoute(hierarchy_, route, 0);
143     TO_FLOYD_PRED(route->dst->id(), route->src->id()) = route->dst->id();
144     TO_FLOYD_COST(route->dst->id(), route->src->id()) = (TO_FLOYD_LINK(route->dst->id(), route->src->id()))->link_list->size();   /* count of links, old model assume 1 */
145   }
146 }
147
148 void AsFloyd::seal(){
149
150   /* set the size of table routing */
151   size_t table_size = xbt_dynar_length(vertices_);
152
153   if(!linkTable_) {
154     /* Create Cost, Predecessor and Link tables */
155     costTable_ = xbt_new0(double, table_size * table_size);       /* link cost from host to host */
156     predecessorTable_ = xbt_new0(int, table_size * table_size);  /* predecessor host numbers */
157     linkTable_ = xbt_new0(sg_platf_route_cbarg_t, table_size * table_size);    /* actual link between src and dst */
158
159     /* Initialize costs and predecessors */
160     for (unsigned int i = 0; i < table_size; i++)
161       for (unsigned int j = 0; j < table_size; j++) {
162         TO_FLOYD_COST(i, j) = DBL_MAX;
163         TO_FLOYD_PRED(i, j) = -1;
164         TO_FLOYD_LINK(i, j) = nullptr;
165       }
166   }
167
168   /* Add the loopback if needed */
169   if (routing_platf->loopback_ && hierarchy_ == RoutingMode::base) {
170     for (unsigned int i = 0; i < table_size; i++) {
171       sg_platf_route_cbarg_t e_route = TO_FLOYD_LINK(i, i);
172       if (!e_route) {
173         e_route = xbt_new0(s_sg_platf_route_cbarg_t, 1);
174         e_route->gw_src = nullptr;
175         e_route->gw_dst = nullptr;
176         e_route->link_list = new std::vector<Link*>();
177         e_route->link_list->push_back(routing_platf->loopback_);
178         TO_FLOYD_LINK(i, i) = e_route;
179         TO_FLOYD_PRED(i, i) = i;
180         TO_FLOYD_COST(i, i) = 1;
181       }
182     }
183   }
184   /* Calculate path costs */
185   for (unsigned int c = 0; c < table_size; c++) {
186     for (unsigned int a = 0; a < table_size; a++) {
187       for (unsigned int b = 0; b < table_size; b++) {
188         if (TO_FLOYD_COST(a, c) < DBL_MAX && TO_FLOYD_COST(c, b) < DBL_MAX) {
189           if (fabs(TO_FLOYD_COST(a, b) - DBL_MAX) < std::numeric_limits<double>::epsilon() ||
190               (TO_FLOYD_COST(a, c) + TO_FLOYD_COST(c, b) < TO_FLOYD_COST(a, b))) {
191             TO_FLOYD_COST(a, b) = TO_FLOYD_COST(a, c) + TO_FLOYD_COST(c, b);
192             TO_FLOYD_PRED(a, b) = TO_FLOYD_PRED(c, b);
193           }
194         }
195       }
196     }
197   }
198 }
199
200 }
201 }