Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
9eca6d6fdc68e5faa532b1397a336a7965dd4901
[simgrid.git] / src / kernel / routing / FloydZone.cpp
1 /* Copyright (c) 2009-2017. 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 "src/kernel/routing/FloydZone.hpp"
7 #include "src/kernel/routing/NetPoint.hpp"
8 #include "src/surf/network_interface.hpp"
9 #include "xbt/log.h"
10
11 #include <cfloat>
12 #include <limits>
13
14 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_route_floyd, surf, "Routing part of surf");
15
16 #define TO_FLOYD_COST(i, j) (costTable_)[(i) + (j)*table_size]
17 #define TO_FLOYD_PRED(i, j) (predecessorTable_)[(i) + (j)*table_size]
18 #define TO_FLOYD_LINK(i, j) (linkTable_)[(i) + (j)*table_size]
19
20 namespace simgrid {
21 namespace kernel {
22 namespace routing {
23
24 FloydZone::FloydZone(NetZone* father, std::string name) : RoutedZone(father, name)
25 {
26   predecessorTable_ = nullptr;
27   costTable_        = nullptr;
28   linkTable_        = nullptr;
29 }
30
31 FloydZone::~FloydZone()
32 {
33   if (linkTable_ == nullptr) // Dealing with a parse error in the file?
34     return;
35   unsigned int table_size = getTableSize();
36   /* Delete link_table */
37   for (unsigned int i = 0; i < table_size; i++)
38     for (unsigned int j = 0; j < table_size; j++)
39       delete TO_FLOYD_LINK(i, j);
40   delete[] linkTable_;
41
42   delete[] predecessorTable_;
43   delete[] costTable_;
44 }
45
46 void FloydZone::getLocalRoute(NetPoint* src, NetPoint* dst, sg_platf_route_cbarg_t route, double* lat)
47 {
48   unsigned int table_size = getTableSize();
49
50   getRouteCheckParams(src, dst);
51
52   /* create a result route */
53   std::vector<sg_platf_route_cbarg_t> route_stack;
54   unsigned int cur = dst->id();
55   do {
56     int pred = TO_FLOYD_PRED(src->id(), cur);
57     if (pred == -1)
58       THROWF(arg_error, 0, "No route from '%s' to '%s'", src->getCname(), dst->getCname());
59     route_stack.push_back(TO_FLOYD_LINK(pred, cur));
60     cur = pred;
61   } while (cur != src->id());
62
63   if (hierarchy_ == RoutingMode::recursive) {
64     route->gw_src = route_stack.back()->gw_src;
65     route->gw_dst = route_stack.front()->gw_dst;
66   }
67
68   sg_netpoint_t prev_dst_gw = nullptr;
69   while (not route_stack.empty()) {
70     sg_platf_route_cbarg_t e_route = route_stack.back();
71     route_stack.pop_back();
72     if (hierarchy_ == RoutingMode::recursive && prev_dst_gw != nullptr &&
73         prev_dst_gw->getCname() != e_route->gw_src->getCname()) {
74       getGlobalRoute(prev_dst_gw, e_route->gw_src, route->link_list, lat);
75     }
76
77     for (auto const& link : e_route->link_list) {
78       route->link_list.push_back(link);
79       if (lat)
80         *lat += link->latency();
81     }
82
83     prev_dst_gw = e_route->gw_dst;
84   }
85 }
86
87 void FloydZone::addRoute(kernel::routing::NetPoint* src, kernel::routing::NetPoint* dst,
88                          kernel::routing::NetPoint* gw_src, kernel::routing::NetPoint* gw_dst,
89                          std::vector<simgrid::surf::LinkImpl*>& link_list, bool symmetrical)
90 {
91   /* set the size of table routing */
92   unsigned int table_size = getTableSize();
93
94   addRouteCheckParams(src, dst, gw_src, gw_dst, link_list, symmetrical);
95
96   if (not linkTable_) {
97     /* Create Cost, Predecessor and Link tables */
98     costTable_        = new double[table_size * table_size];                 /* link cost from host to host */
99     predecessorTable_ = new int[table_size * table_size];                    /* predecessor host numbers */
100     linkTable_        = new sg_platf_route_cbarg_t[table_size * table_size]; /* actual link between src and dst */
101
102     /* Initialize costs and predecessors */
103     for (unsigned int i = 0; i < table_size; i++)
104       for (unsigned int j = 0; j < table_size; j++) {
105         TO_FLOYD_COST(i, j) = DBL_MAX;
106         TO_FLOYD_PRED(i, j) = -1;
107         TO_FLOYD_LINK(i, j) = nullptr;
108       }
109   }
110
111   /* Check that the route does not already exist */
112   if (gw_dst) // netzone route (to adapt the error message, if any)
113     xbt_assert(nullptr == TO_FLOYD_LINK(src->id(), dst->id()),
114                "The route between %s@%s and %s@%s already exists (Rq: routes are symmetrical by default).",
115                src->getCname(), gw_src->getCname(), dst->getCname(), gw_dst->getCname());
116   else
117     xbt_assert(nullptr == TO_FLOYD_LINK(src->id(), dst->id()),
118                "The route between %s and %s already exists (Rq: routes are symmetrical by default).", src->getCname(),
119                dst->getCname());
120
121   TO_FLOYD_LINK(src->id(), dst->id()) =
122       newExtendedRoute(hierarchy_, src, dst, gw_src, gw_dst, link_list, symmetrical, 1);
123   TO_FLOYD_PRED(src->id(), dst->id()) = src->id();
124   TO_FLOYD_COST(src->id(), dst->id()) = (TO_FLOYD_LINK(src->id(), dst->id()))->link_list.size();
125
126   if (symmetrical == true) {
127     if (gw_dst) // netzone route (to adapt the error message, if any)
128       xbt_assert(
129           nullptr == TO_FLOYD_LINK(dst->id(), src->id()),
130           "The route between %s@%s and %s@%s already exists. You should not declare the reverse path as symmetrical.",
131           dst->getCname(), gw_dst->getCname(), src->getCname(), gw_src->getCname());
132     else
133       xbt_assert(nullptr == TO_FLOYD_LINK(dst->id(), src->id()),
134                  "The route between %s and %s already exists. You should not declare the reverse path as symmetrical.",
135                  dst->getCname(), src->getCname());
136
137     if (gw_dst && gw_src) {
138       NetPoint* gw_tmp = gw_src;
139       gw_src           = gw_dst;
140       gw_dst           = gw_tmp;
141     }
142
143     if (not gw_src || not gw_dst)
144       XBT_DEBUG("Load Route from \"%s\" to \"%s\"", dst->getCname(), src->getCname());
145     else
146       XBT_DEBUG("Load NetzoneRoute from \"%s(%s)\" to \"%s(%s)\"", dst->getCname(), gw_src->getCname(), src->getCname(),
147                 gw_dst->getCname());
148
149     TO_FLOYD_LINK(dst->id(), src->id()) =
150         newExtendedRoute(hierarchy_, src, dst, gw_src, gw_dst, link_list, symmetrical, 0);
151     TO_FLOYD_PRED(dst->id(), src->id()) = dst->id();
152     TO_FLOYD_COST(dst->id(), src->id()) =
153         (TO_FLOYD_LINK(dst->id(), src->id()))->link_list.size(); /* count of links, old model assume 1 */
154   }
155 }
156
157 void FloydZone::seal()
158 {
159   /* set the size of table routing */
160   unsigned int table_size = getTableSize();
161
162   if (not linkTable_) {
163     /* Create Cost, Predecessor and Link tables */
164     costTable_        = new double[table_size * table_size];                 /* link cost from host to host */
165     predecessorTable_ = new int[table_size * table_size];                    /* predecessor host numbers */
166     linkTable_        = new sg_platf_route_cbarg_t[table_size * table_size]; /* actual link between src and dst */
167
168     /* Initialize costs and predecessors */
169     for (unsigned int i = 0; i < table_size; i++)
170       for (unsigned int j = 0; j < table_size; j++) {
171         TO_FLOYD_COST(i, j) = DBL_MAX;
172         TO_FLOYD_PRED(i, j) = -1;
173         TO_FLOYD_LINK(i, j) = nullptr;
174       }
175   }
176
177   /* Add the loopback if needed */
178   if (surf_network_model->loopback_ && hierarchy_ == RoutingMode::base) {
179     for (unsigned int i = 0; i < table_size; i++) {
180       sg_platf_route_cbarg_t e_route = TO_FLOYD_LINK(i, i);
181       if (not e_route) {
182         e_route            = new s_sg_platf_route_cbarg_t;
183         e_route->gw_src    = nullptr;
184         e_route->gw_dst    = nullptr;
185         e_route->link_list.push_back(surf_network_model->loopback_);
186         TO_FLOYD_LINK(i, i) = e_route;
187         TO_FLOYD_PRED(i, i) = i;
188         TO_FLOYD_COST(i, i) = 1;
189       }
190     }
191   }
192   /* Calculate path costs */
193   for (unsigned int c = 0; c < table_size; c++) {
194     for (unsigned int a = 0; a < table_size; a++) {
195       for (unsigned int b = 0; b < table_size; b++) {
196         if (TO_FLOYD_COST(a, c) < DBL_MAX && TO_FLOYD_COST(c, b) < DBL_MAX &&
197             (fabs(TO_FLOYD_COST(a, b) - DBL_MAX) < std::numeric_limits<double>::epsilon() ||
198              (TO_FLOYD_COST(a, c) + TO_FLOYD_COST(c, b) < TO_FLOYD_COST(a, b)))) {
199           TO_FLOYD_COST(a, b) = TO_FLOYD_COST(a, c) + TO_FLOYD_COST(c, b);
200           TO_FLOYD_PRED(a, b) = TO_FLOYD_PRED(c, b);
201         }
202       }
203     }
204   }
205 }
206 }
207 }
208 }