Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix a doc error about actors (Tutorial_algorithms)
[simgrid.git] / src / surf / network_cm02.cpp
1 /* Copyright (c) 2013-2019. 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 "network_cm02.hpp"
7 #include "simgrid/s4u/Host.hpp"
8 #include "simgrid/sg_config.hpp"
9 #include "src/kernel/resource/profile/Event.hpp"
10 #include "src/surf/surf_interface.hpp"
11 #include "surf/surf.hpp"
12
13 #include <algorithm>
14 #include <numeric>
15
16 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(surf_network);
17
18 double sg_latency_factor = 1.0; /* default value; can be set by model or from command line */
19 double sg_bandwidth_factor = 1.0;       /* default value; can be set by model or from command line */
20 double sg_weight_S_parameter = 0.0;     /* default value; can be set by model or from command line */
21
22 /************************************************************************/
23 /* New model based on optimizations discussed during Pedro Velho's thesis*/
24 /************************************************************************/
25 /* @techreport{VELHO:2011:HAL-00646896:1, */
26 /*      url = {http://hal.inria.fr/hal-00646896/en/}, */
27 /*      title = {{Flow-level network models: have we reached the limits?}}, */
28 /*      author = {Velho, Pedro and Schnorr, Lucas and Casanova, Henri and Legrand, Arnaud}, */
29 /*      type = {Rapport de recherche}, */
30 /*      institution = {INRIA}, */
31 /*      number = {RR-7821}, */
32 /*      year = {2011}, */
33 /*      month = Nov, */
34 /*      pdf = {http://hal.inria.fr/hal-00646896/PDF/rr-validity.pdf}, */
35 /*  } */
36 void surf_network_model_init_LegrandVelho()
37 {
38   xbt_assert(surf_network_model == nullptr, "Cannot set the network model twice");
39
40   surf_network_model = new simgrid::kernel::resource::NetworkCm02Model();
41
42   simgrid::config::set_default<double>("network/latency-factor", 13.01);
43   simgrid::config::set_default<double>("network/bandwidth-factor", 0.97);
44   simgrid::config::set_default<double>("network/weight-S", 20537);
45 }
46
47 /***************************************************************************/
48 /* The nice TCP sharing model designed by Loris Marchal and Henri Casanova */
49 /***************************************************************************/
50 /* @TechReport{      rr-lip2002-40, */
51 /*   author        = {Henri Casanova and Loris Marchal}, */
52 /*   institution   = {LIP}, */
53 /*   title         = {A Network Model for Simulation of Grid Application}, */
54 /*   number        = {2002-40}, */
55 /*   month         = {oct}, */
56 /*   year          = {2002} */
57 /* } */
58 void surf_network_model_init_CM02()
59 {
60   xbt_assert(surf_network_model == nullptr, "Cannot set the network model twice");
61
62   simgrid::config::set_default<double>("network/latency-factor", 1.0);
63   simgrid::config::set_default<double>("network/bandwidth-factor", 1.0);
64   simgrid::config::set_default<double>("network/weight-S", 0.0);
65
66   surf_network_model = new simgrid::kernel::resource::NetworkCm02Model();
67 }
68
69 namespace simgrid {
70 namespace kernel {
71 namespace resource {
72
73 NetworkCm02Model::NetworkCm02Model(kernel::lmm::System* (*make_new_lmm_system)(bool))
74     : NetworkModel(simgrid::config::get_value<std::string>("network/optim") == "Full" ? Model::UpdateAlgo::FULL
75                                                                                       : Model::UpdateAlgo::LAZY)
76 {
77   all_existing_models.push_back(this);
78
79   std::string optim = simgrid::config::get_value<std::string>("network/optim");
80   bool select       = simgrid::config::get_value<bool>("network/maxmin-selective-update");
81
82   if (optim == "Lazy") {
83     xbt_assert(select || simgrid::config::is_default("network/maxmin-selective-update"),
84                "You cannot disable network selective update when using the lazy update mechanism");
85     select = true;
86   }
87
88   set_maxmin_system(make_new_lmm_system(select));
89   loopback_ = NetworkCm02Model::create_link("__loopback__", std::vector<double>(1, 498000000), 0.000015,
90                                             s4u::Link::SharingPolicy::FATPIPE);
91 }
92
93 LinkImpl* NetworkCm02Model::create_link(const std::string& name, const std::vector<double>& bandwidths, double latency,
94                                         s4u::Link::SharingPolicy policy)
95 {
96   if (policy == s4u::Link::SharingPolicy::WIFI) {
97     return (new NetworkWifiLink(this, name, bandwidths, policy, get_maxmin_system()));
98   }
99   xbt_assert(bandwidths.size() == 1, "Non WIFI links must use only 1 bandwidth.");
100   return new NetworkCm02Link(this, name, bandwidths[0], latency, policy, get_maxmin_system());
101 }
102
103 void NetworkCm02Model::update_actions_state_lazy(double now, double /*delta*/)
104 {
105   while (not get_action_heap().empty() && double_equals(get_action_heap().top_date(), now, sg_surf_precision)) {
106
107     auto* action = static_cast<NetworkCm02Action*>(get_action_heap().pop());
108     XBT_DEBUG("Something happened to action %p", action);
109
110     // if I am wearing a latency hat
111     if (action->get_type() == ActionHeap::Type::latency) {
112       XBT_DEBUG("Latency paid for action %p. Activating", action);
113       get_maxmin_system()->update_variable_penalty(action->get_variable(), action->sharing_penalty_);
114       get_action_heap().remove(action);
115       action->set_last_update();
116
117       // if I am wearing a max_duration or normal hat
118     } else if (action->get_type() == ActionHeap::Type::max_duration || action->get_type() == ActionHeap::Type::normal) {
119       // no need to communicate anymore
120       // assume that flows that reached max_duration have remaining of 0
121       XBT_DEBUG("Action %p finished", action);
122       action->finish(Action::State::FINISHED);
123       get_action_heap().remove(action);
124     }
125   }
126 }
127
128 void NetworkCm02Model::update_actions_state_full(double /*now*/, double delta)
129 {
130   for (auto it = std::begin(*get_started_action_set()); it != std::end(*get_started_action_set());) {
131     NetworkCm02Action& action = static_cast<NetworkCm02Action&>(*it);
132     ++it; // increment iterator here since the following calls to action.finish() may invalidate it
133     XBT_DEBUG("Something happened to action %p", &action);
134     double deltap = delta;
135     if (action.latency_ > 0) {
136       if (action.latency_ > deltap) {
137         double_update(&action.latency_, deltap, sg_surf_precision);
138         deltap = 0.0;
139       } else {
140         double_update(&deltap, action.latency_, sg_surf_precision);
141         action.latency_ = 0.0;
142       }
143       if (action.latency_ <= 0.0 && not action.is_suspended())
144         get_maxmin_system()->update_variable_penalty(action.get_variable(), action.sharing_penalty_);
145     }
146
147     if (not action.get_variable()->get_number_of_constraint()) {
148       /* There is actually no link used, hence an infinite bandwidth. This happens often when using models like
149        * vivaldi. In such case, just make sure that the action completes immediately.
150        */
151       action.update_remains(action.get_remains());
152     }
153     action.update_remains(action.get_variable()->get_value() * delta);
154
155     if (action.get_max_duration() != NO_MAX_DURATION)
156       action.update_max_duration(delta);
157
158     if (((action.get_remains() <= 0) && (action.get_variable()->get_penalty() > 0)) ||
159         ((action.get_max_duration() != NO_MAX_DURATION) && (action.get_max_duration() <= 0))) {
160       action.finish(Action::State::FINISHED);
161     }
162   }
163 }
164
165 Action* NetworkCm02Model::communicate(s4u::Host* src, s4u::Host* dst, double size, double rate)
166 {
167   double latency = 0.0;
168   std::vector<LinkImpl*> back_route;
169   std::vector<LinkImpl*> route;
170
171   XBT_IN("(%s,%s,%g,%g)", src->get_cname(), dst->get_cname(), size, rate);
172
173   src->route_to(dst, route, &latency);
174   xbt_assert(not route.empty() || latency > 0,
175              "You're trying to send data from %s to %s but there is no connecting path between these two hosts.",
176              src->get_cname(), dst->get_cname());
177
178   bool failed = std::any_of(route.begin(), route.end(), [](const LinkImpl* link) { return not link->is_on(); });
179
180   if (cfg_crosstraffic) {
181     dst->route_to(src, back_route, nullptr);
182     if (not failed)
183       failed =
184           std::any_of(back_route.begin(), back_route.end(), [](const LinkImpl* link) { return not link->is_on(); });
185   }
186
187   auto* action              = new NetworkCm02Action(this, size, failed);
188   action->sharing_penalty_  = latency;
189   action->latency_ = latency;
190   action->rate_ = rate;
191
192   if (get_update_algorithm() == Model::UpdateAlgo::LAZY) {
193     action->set_last_update();
194   }
195
196   if (sg_weight_S_parameter > 0) {
197     action->sharing_penalty_ =
198         std::accumulate(route.begin(), route.end(), action->sharing_penalty_, [](double total, LinkImpl* const& link) {
199           return total + sg_weight_S_parameter / link->get_bandwidth();
200         });
201   }
202
203   double bandwidth_bound = route.empty() ? -1.0 : get_bandwidth_factor(size) * route.front()->get_bandwidth();
204
205   for (auto const& link : route)
206     bandwidth_bound = std::min(bandwidth_bound, get_bandwidth_factor(size) * link->get_bandwidth());
207
208   action->lat_current_ = action->latency_;
209   action->latency_ *= get_latency_factor(size);
210   action->rate_ = get_bandwidth_constraint(action->rate_, bandwidth_bound, size);
211
212   size_t constraints_per_variable = route.size();
213   constraints_per_variable += back_route.size();
214
215   if (action->latency_ > 0) {
216     action->set_variable(get_maxmin_system()->variable_new(action, 0.0, -1.0, constraints_per_variable));
217     if (get_update_algorithm() == Model::UpdateAlgo::LAZY) {
218       // add to the heap the event when the latency is payed
219       double date = action->latency_ + action->get_last_update();
220
221       ActionHeap::Type type = route.empty() ? ActionHeap::Type::normal : ActionHeap::Type::latency;
222
223       XBT_DEBUG("Added action (%p) one latency event at date %f", action, date);
224       get_action_heap().insert(action, date, type);
225     }
226   } else
227     action->set_variable(get_maxmin_system()->variable_new(action, 1.0, -1.0, constraints_per_variable));
228
229   if (action->rate_ < 0) {
230     get_maxmin_system()->update_variable_bound(
231         action->get_variable(), (action->lat_current_ > 0) ? cfg_tcp_gamma / (2.0 * action->lat_current_) : -1.0);
232   } else {
233     get_maxmin_system()->update_variable_bound(
234         action->get_variable(), (action->lat_current_ > 0)
235                                     ? std::min(action->rate_, cfg_tcp_gamma / (2.0 * action->lat_current_))
236                                     : action->rate_);
237   }
238
239   for (auto const& link : route) {
240     // Handle WIFI links
241     if (link->get_sharing_policy() == s4u::Link::SharingPolicy::WIFI) {
242       NetworkWifiLink* wifi_link = static_cast<NetworkWifiLink*>(link);
243
244       double src_rate = wifi_link->get_host_rate(src);
245       double dst_rate = wifi_link->get_host_rate(dst);
246       xbt_assert(
247           !(src_rate == -1 && dst_rate == -1),
248           "Some Stations are not associated to any Access Point. Make sure to call set_host_rate on all Stations.");
249       if (src_rate != -1)
250         get_maxmin_system()->expand(link->get_constraint(), action->get_variable(), 1.0 / src_rate);
251       else
252         get_maxmin_system()->expand(link->get_constraint(), action->get_variable(), 1.0 / dst_rate);
253
254     } else {
255       get_maxmin_system()->expand(link->get_constraint(), action->get_variable(), 1.0);
256     }
257   }
258
259   if (cfg_crosstraffic) {
260     XBT_DEBUG("Crosstraffic active: adding backward flow using 5%% of the available bandwidth");
261     bool wifi_dst_assigned = false; // Used by wifi crosstraffic
262     for (auto const& link : back_route) {
263       if (link->get_sharing_policy() == s4u::Link::SharingPolicy::WIFI) {
264         NetworkWifiLink* wifi_link = static_cast<NetworkWifiLink*>(link);
265         /**
266          * For wifi links we should add 0.05/rate.
267          * However since we are using the "back_route" we should encounter in
268          * the first place the dst wifi link.
269          */
270         if (!wifi_dst_assigned && (wifi_link->get_host_rate(dst) != -1)) {
271           get_maxmin_system()->expand(link->get_constraint(), action->get_variable(),
272                                       .05 / wifi_link->get_host_rate(dst));
273           wifi_dst_assigned = true;
274         } else {
275           get_maxmin_system()->expand(link->get_constraint(), action->get_variable(),
276                                       .05 / wifi_link->get_host_rate(src));
277         }
278       } else {
279         get_maxmin_system()->expand(link->get_constraint(), action->get_variable(), .05);
280       }
281     }
282
283     // Change concurrency_share here, if you want that cross-traffic is included in the SURF concurrency
284     // (You would also have to change simgrid::kernel::lmm::Element::get_concurrency())
285     // action->getVariable()->set_concurrency_share(2)
286   }
287   XBT_OUT();
288
289   simgrid::s4u::Link::on_communicate(*action, src, dst);
290   return action;
291 }
292
293 /************
294  * Resource *
295  ************/
296 NetworkCm02Link::NetworkCm02Link(NetworkCm02Model* model, const std::string& name, double bandwidth, double latency,
297                                  s4u::Link::SharingPolicy policy, kernel::lmm::System* system)
298     : LinkImpl(model, name, system->constraint_new(this, sg_bandwidth_factor * bandwidth))
299 {
300   bandwidth_.scale = 1.0;
301   bandwidth_.peak  = bandwidth;
302
303   latency_.scale = 1.0;
304   latency_.peak  = latency;
305
306   if (policy == s4u::Link::SharingPolicy::FATPIPE)
307     get_constraint()->unshare();
308
309   simgrid::s4u::Link::on_creation(this->piface_);
310 }
311
312 void NetworkCm02Link::apply_event(kernel::profile::Event* triggered, double value)
313 {
314   /* Find out which of my iterators was triggered, and react accordingly */
315   if (triggered == bandwidth_.event) {
316     set_bandwidth(value);
317     tmgr_trace_event_unref(&bandwidth_.event);
318
319   } else if (triggered == latency_.event) {
320     set_latency(value);
321     tmgr_trace_event_unref(&latency_.event);
322
323   } else if (triggered == state_event_) {
324     if (value > 0)
325       turn_on();
326     else {
327       turn_off();
328     }
329     tmgr_trace_event_unref(&state_event_);
330   } else {
331     xbt_die("Unknown event!\n");
332   }
333
334   XBT_DEBUG("There was a resource state event, need to update actions related to the constraint (%p)",
335             get_constraint());
336 }
337
338 void NetworkCm02Link::set_bandwidth(double value)
339 {
340   bandwidth_.peak = value;
341
342   get_model()->get_maxmin_system()->update_constraint_bound(get_constraint(),
343                                                             sg_bandwidth_factor * (bandwidth_.peak * bandwidth_.scale));
344
345   LinkImpl::on_bandwidth_change();
346
347   if (sg_weight_S_parameter > 0) {
348     double delta = sg_weight_S_parameter / value - sg_weight_S_parameter / (bandwidth_.peak * bandwidth_.scale);
349
350     kernel::lmm::Variable* var;
351     const kernel::lmm::Element* elem     = nullptr;
352     const kernel::lmm::Element* nextelem = nullptr;
353     int numelem                  = 0;
354     while ((var = get_constraint()->get_variable_safe(&elem, &nextelem, &numelem))) {
355       auto* action = static_cast<NetworkCm02Action*>(var->get_id());
356       action->sharing_penalty_ += delta;
357       if (not action->is_suspended())
358         get_model()->get_maxmin_system()->update_variable_penalty(action->get_variable(), action->sharing_penalty_);
359     }
360   }
361 }
362
363 void NetworkCm02Link::set_latency(double value)
364 {
365   double delta                 = value - latency_.peak;
366   kernel::lmm::Variable* var   = nullptr;
367   const kernel::lmm::Element* elem     = nullptr;
368   const kernel::lmm::Element* nextelem = nullptr;
369   int numelem                  = 0;
370
371   latency_.peak = value;
372
373   while ((var = get_constraint()->get_variable_safe(&elem, &nextelem, &numelem))) {
374     auto* action = static_cast<NetworkCm02Action*>(var->get_id());
375     action->lat_current_ += delta;
376     action->sharing_penalty_ += delta;
377     if (action->rate_ < 0)
378       get_model()->get_maxmin_system()->update_variable_bound(action->get_variable(), NetworkModel::cfg_tcp_gamma /
379                                                                                           (2.0 * action->lat_current_));
380     else {
381       get_model()->get_maxmin_system()->update_variable_bound(
382           action->get_variable(), std::min(action->rate_, NetworkModel::cfg_tcp_gamma / (2.0 * action->lat_current_)));
383
384       if (action->rate_ < NetworkModel::cfg_tcp_gamma / (2.0 * action->lat_current_)) {
385         XBT_INFO("Flow is limited BYBANDWIDTH");
386       } else {
387         XBT_INFO("Flow is limited BYLATENCY, latency of flow is %f", action->lat_current_);
388       }
389     }
390     if (not action->is_suspended())
391       get_model()->get_maxmin_system()->update_variable_penalty(action->get_variable(), action->sharing_penalty_);
392   }
393 }
394
395 NetworkWifiLink::NetworkWifiLink(NetworkCm02Model* model, const std::string& name, std::vector<double> bandwidths,
396                                  s4u::Link::SharingPolicy policy, lmm::System* system)
397     : NetworkCm02Link(
398           model, name, 1 / sg_bandwidth_factor, 0, policy,
399           system) // Since link use bw*sg_bandwidth_factor we should divise in order to as 1 as bound in the lmm system
400 {
401   for (auto bandwidth : bandwidths) {
402     bandwidths_.push_back({bandwidth, 1.0, nullptr});
403   }
404 }
405
406 void NetworkWifiLink::set_host_rate(s4u::Host* host, int rate_level)
407 {
408   auto insert_done = host_rates_.insert(std::make_pair(host->get_name(), rate_level));
409   if (insert_done.second == false)
410     insert_done.first->second = rate_level;
411 }
412
413 double NetworkWifiLink::get_host_rate(sg_host_t host)
414 {
415   std::map<xbt::string, int>::iterator host_rates_it;
416   host_rates_it = host_rates_.find(host->get_name());
417
418   if (host_rates_it == host_rates_.end())
419     return -1;
420
421   int rate_id = host_rates_it->second;
422   xbt_assert(rate_id >= 0 && rate_id < (int)bandwidths_.size(), "Host \"%s\" has an invalid rate \"%d\"",
423              host->get_name().c_str(), rate_id);
424
425   Metric rate = bandwidths_[rate_id];
426   return rate.peak * rate.scale;
427 }
428
429 s4u::Link::SharingPolicy NetworkWifiLink::get_sharing_policy()
430 {
431   return s4u::Link::SharingPolicy::WIFI;
432 }
433
434 /**********
435  * Action *
436  **********/
437
438 void NetworkCm02Action::update_remains_lazy(double now)
439 {
440   if (not is_running())
441     return;
442
443   double delta = now - get_last_update();
444
445   if (get_remains_no_update() > 0) {
446     XBT_DEBUG("Updating action(%p): remains was %f, last_update was: %f", this, get_remains_no_update(),
447               get_last_update());
448     update_remains(get_last_value() * delta);
449
450     XBT_DEBUG("Updating action(%p): remains is now %f", this, get_remains_no_update());
451   }
452
453   update_max_duration(delta);
454
455   if ((get_remains_no_update() <= 0 && (get_variable()->get_penalty() > 0)) ||
456       ((get_max_duration() != NO_MAX_DURATION) && (get_max_duration() <= 0))) {
457     finish(Action::State::FINISHED);
458     get_model()->get_action_heap().remove(this);
459   }
460
461   set_last_update();
462   set_last_value(get_variable()->get_value());
463 }
464
465 } // namespace resource
466 } // namespace kernel
467 } // namespace simgrid