1 /* Copyright (c) 2013-2018. The SimGrid Team. All rights reserved. */
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. */
8 #include "network_cm02.hpp"
9 #include "simgrid/s4u/Host.hpp"
10 #include "simgrid/sg_config.h"
11 #include "src/instr/instr_private.hpp" // TRACE_is_enabled(). FIXME: remove by subscribing tracing to the surf signals
12 #include "src/kernel/lmm/maxmin.hpp"
14 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(surf_network);
16 double sg_latency_factor = 1.0; /* default value; can be set by model or from command line */
17 double sg_bandwidth_factor = 1.0; /* default value; can be set by model or from command line */
18 double sg_weight_S_parameter = 0.0; /* default value; can be set by model or from command line */
20 double sg_tcp_gamma = 0.0;
21 int sg_network_crosstraffic = 0;
23 /************************************************************************/
24 /* New model based on optimizations discussed during Pedro Velho's thesis*/
25 /************************************************************************/
26 /* @techreport{VELHO:2011:HAL-00646896:1, */
27 /* url = {http://hal.inria.fr/hal-00646896/en/}, */
28 /* title = {{Flow-level network models: have we reached the limits?}}, */
29 /* author = {Velho, Pedro and Schnorr, Lucas and Casanova, Henri and Legrand, Arnaud}, */
30 /* type = {Rapport de recherche}, */
31 /* institution = {INRIA}, */
32 /* number = {RR-7821}, */
35 /* pdf = {http://hal.inria.fr/hal-00646896/PDF/rr-validity.pdf}, */
37 void surf_network_model_init_LegrandVelho()
39 if (surf_network_model)
42 surf_network_model = new simgrid::surf::NetworkCm02Model();
43 all_existing_models->push_back(surf_network_model);
45 xbt_cfg_setdefault_double("network/latency-factor", 13.01);
46 xbt_cfg_setdefault_double("network/bandwidth-factor", 0.97);
47 xbt_cfg_setdefault_double("network/weight-S", 20537);
50 /***************************************************************************/
51 /* The nice TCP sharing model designed by Loris Marchal and Henri Casanova */
52 /***************************************************************************/
53 /* @TechReport{ rr-lip2002-40, */
54 /* author = {Henri Casanova and Loris Marchal}, */
55 /* institution = {LIP}, */
56 /* title = {A Network Model for Simulation of Grid Application}, */
57 /* number = {2002-40}, */
61 void surf_network_model_init_CM02()
64 if (surf_network_model)
67 xbt_cfg_setdefault_double("network/latency-factor", 1.0);
68 xbt_cfg_setdefault_double("network/bandwidth-factor", 1.0);
69 xbt_cfg_setdefault_double("network/weight-S", 0.0);
71 surf_network_model = new simgrid::surf::NetworkCm02Model();
72 all_existing_models->push_back(surf_network_model);
75 /***************************************************************************/
76 /* The models from Steven H. Low */
77 /***************************************************************************/
79 /* author={Steven H. Low}, */
80 /* title={A Duality Model of {TCP} and Queue Management Algorithms}, */
82 /* journal={{IEEE/ACM} Transactions on Networking}, */
83 /* volume={11}, number={4}, */
85 void surf_network_model_init_Reno()
87 if (surf_network_model)
90 set_default_protocol_function(simgrid::kernel::lmm::func_reno_f, simgrid::kernel::lmm::func_reno_fp,
91 simgrid::kernel::lmm::func_reno_fpi);
93 xbt_cfg_setdefault_double("network/latency-factor", 13.01);
94 xbt_cfg_setdefault_double("network/bandwidth-factor", 0.97);
95 xbt_cfg_setdefault_double("network/weight-S", 20537);
97 surf_network_model = new simgrid::surf::NetworkCm02Model(&simgrid::kernel::lmm::lagrange_solve);
98 all_existing_models->push_back(surf_network_model);
102 void surf_network_model_init_Reno2()
104 if (surf_network_model)
107 set_default_protocol_function(simgrid::kernel::lmm::func_reno2_f, simgrid::kernel::lmm::func_reno2_fp,
108 simgrid::kernel::lmm::func_reno2_fpi);
110 xbt_cfg_setdefault_double("network/latency-factor", 13.01);
111 xbt_cfg_setdefault_double("network/bandwidth-factor", 0.97);
112 xbt_cfg_setdefault_double("network/weight-S", 20537);
114 surf_network_model = new simgrid::surf::NetworkCm02Model(&simgrid::kernel::lmm::lagrange_solve);
115 all_existing_models->push_back(surf_network_model);
118 void surf_network_model_init_Vegas()
120 if (surf_network_model)
123 set_default_protocol_function(simgrid::kernel::lmm::func_vegas_f, simgrid::kernel::lmm::func_vegas_fp,
124 simgrid::kernel::lmm::func_vegas_fpi);
126 xbt_cfg_setdefault_double("network/latency-factor", 13.01);
127 xbt_cfg_setdefault_double("network/bandwidth-factor", 0.97);
128 xbt_cfg_setdefault_double("network/weight-S", 20537);
130 surf_network_model = new simgrid::surf::NetworkCm02Model(&simgrid::kernel::lmm::lagrange_solve);
131 all_existing_models->push_back(surf_network_model);
137 NetworkCm02Model::NetworkCm02Model()
140 std::string optim = xbt_cfg_get_string("network/optim");
141 bool select = xbt_cfg_get_boolean("network/maxmin-selective-update");
143 if (optim == "Full") {
144 setUpdateMechanism(kernel::resource::Model::UpdateAlgo::Full);
145 } else if (optim == "Lazy") {
147 setUpdateMechanism(kernel::resource::Model::UpdateAlgo::Lazy);
148 xbt_assert(select || (xbt_cfg_is_default_value("network/maxmin-selective-update")),
149 "You cannot disable selective update when using the lazy update mechanism");
151 xbt_die("Unsupported optimization (%s) for this model. Accepted: Full, Lazy.", optim.c_str());
154 maxmin_system_ = new simgrid::kernel::lmm::System(select);
155 loopback_ = NetworkCm02Model::createLink("__loopback__", 498000000, 0.000015, SURF_LINK_FATPIPE);
157 if (getUpdateMechanism() == kernel::resource::Model::UpdateAlgo::Lazy)
158 maxmin_system_->modified_set_ = new kernel::resource::Action::ModifiedSet();
161 NetworkCm02Model::NetworkCm02Model(void (*specificSolveFun)(kernel::lmm::System* self)) : NetworkCm02Model()
163 maxmin_system_->solve_fun = specificSolveFun;
166 LinkImpl* NetworkCm02Model::createLink(const std::string& name, double bandwidth, double latency,
167 e_surf_link_sharing_policy_t policy)
169 return new NetworkCm02Link(this, name, bandwidth, latency, policy, maxmin_system_);
172 void NetworkCm02Model::update_actions_state_lazy(double now, double /*delta*/)
174 while (not actionHeapIsEmpty() && double_equals(actionHeapTopDate(), now, sg_surf_precision)) {
176 NetworkCm02Action* action = static_cast<NetworkCm02Action*>(actionHeapPop());
177 XBT_DEBUG("Something happened to action %p", action);
178 if (TRACE_is_enabled()) {
179 int n = action->get_variable()->get_number_of_constraint();
181 for (int i = 0; i < n; i++){
182 kernel::lmm::Constraint* constraint = action->get_variable()->get_constraint(i);
183 NetworkCm02Link* link = static_cast<NetworkCm02Link*>(constraint->get_id());
184 double value = action->get_variable()->get_value() * action->get_variable()->get_constraint_weight(i);
185 TRACE_surf_link_set_utilization(link->getCname(), action->get_category(), value, action->get_last_update(),
186 now - action->get_last_update());
190 // if I am wearing a latency hat
191 if (action->get_type() == kernel::resource::Action::Type::LATENCY) {
192 XBT_DEBUG("Latency paid for action %p. Activating", action);
193 maxmin_system_->update_variable_weight(action->get_variable(), action->weight_);
194 action->heapRemove();
195 action->set_last_update();
197 // if I am wearing a max_duration or normal hat
198 } else if (action->get_type() == kernel::resource::Action::Type::MAX_DURATION ||
199 action->get_type() == kernel::resource::Action::Type::NORMAL) {
200 // no need to communicate anymore
201 // assume that flows that reached max_duration have remaining of 0
202 XBT_DEBUG("Action %p finished", action);
203 action->finish(kernel::resource::Action::State::done);
204 action->heapRemove();
209 void NetworkCm02Model::update_actions_state_full(double now, double delta)
211 for (auto it = std::begin(*get_running_action_set()); it != std::end(*get_running_action_set());) {
212 NetworkCm02Action& action = static_cast<NetworkCm02Action&>(*it);
213 ++it; // increment iterator here since the following calls to action.finish() may invalidate it
214 XBT_DEBUG("Something happened to action %p", &action);
215 double deltap = delta;
216 if (action.latency_ > 0) {
217 if (action.latency_ > deltap) {
218 double_update(&action.latency_, deltap, sg_surf_precision);
221 double_update(&deltap, action.latency_, sg_surf_precision);
222 action.latency_ = 0.0;
224 if (action.latency_ <= 0.0 && not action.is_suspended())
225 maxmin_system_->update_variable_weight(action.get_variable(), action.weight_);
227 if (TRACE_is_enabled()) {
228 int n = action.get_variable()->get_number_of_constraint();
229 for (int i = 0; i < n; i++) {
230 kernel::lmm::Constraint* constraint = action.get_variable()->get_constraint(i);
231 NetworkCm02Link* link = static_cast<NetworkCm02Link*>(constraint->get_id());
232 TRACE_surf_link_set_utilization(
233 link->getCname(), action.get_category(),
234 (action.get_variable()->get_value() * action.get_variable()->get_constraint_weight(i)),
235 action.get_last_update(), now - action.get_last_update());
238 if (not action.get_variable()->get_number_of_constraint()) {
239 /* There is actually no link used, hence an infinite bandwidth. This happens often when using models like
240 * vivaldi. In such case, just make sure that the action completes immediately.
242 action.update_remains(action.get_remains());
244 action.update_remains(action.get_variable()->get_value() * delta);
246 if (action.get_max_duration() > NO_MAX_DURATION)
247 action.update_max_duration(delta);
249 if (((action.get_remains() <= 0) && (action.get_variable()->get_weight() > 0)) ||
250 ((action.get_max_duration() > NO_MAX_DURATION) && (action.get_max_duration() <= 0))) {
251 action.finish(kernel::resource::Action::State::done);
256 kernel::resource::Action* NetworkCm02Model::communicate(s4u::Host* src, s4u::Host* dst, double size, double rate)
259 double latency = 0.0;
260 std::vector<LinkImpl*> back_route;
261 std::vector<LinkImpl*> route;
263 XBT_IN("(%s,%s,%g,%g)", src->getCname(), dst->getCname(), size, rate);
265 src->routeTo(dst, route, &latency);
266 xbt_assert(not route.empty() || latency,
267 "You're trying to send data from %s to %s but there is no connecting path between these two hosts.",
268 src->getCname(), dst->getCname());
270 for (auto const& link : route)
274 if (sg_network_crosstraffic == 1) {
275 dst->routeTo(src, back_route, nullptr);
276 for (auto const& link : back_route)
281 NetworkCm02Action *action = new NetworkCm02Action(this, size, failed);
282 action->weight_ = latency;
283 action->latency_ = latency;
284 action->rate_ = rate;
285 if (getUpdateMechanism() == kernel::resource::Model::UpdateAlgo::Lazy) {
286 action->set_last_update();
289 double bandwidth_bound = -1.0;
290 if (sg_weight_S_parameter > 0)
291 for (auto const& link : route)
292 action->weight_ += sg_weight_S_parameter / link->bandwidth();
294 for (auto const& link : route) {
295 double bb = bandwidthFactor(size) * link->bandwidth();
296 bandwidth_bound = (bandwidth_bound < 0.0) ? bb : std::min(bandwidth_bound, bb);
299 action->latCurrent_ = action->latency_;
300 action->latency_ *= latencyFactor(size);
301 action->rate_ = bandwidthConstraint(action->rate_, bandwidth_bound, size);
303 int constraints_per_variable = route.size();
304 constraints_per_variable += back_route.size();
306 if (action->latency_ > 0) {
307 action->set_variable(maxmin_system_->variable_new(action, 0.0, -1.0, constraints_per_variable));
308 if (getUpdateMechanism() == kernel::resource::Model::UpdateAlgo::Lazy) {
309 // add to the heap the event when the latency is payed
310 XBT_DEBUG("Added action (%p) one latency event at date %f", action, action->latency_ + action->get_last_update());
311 action->heapInsert(action->latency_ + action->get_last_update(), route.empty()
312 ? kernel::resource::Action::Type::NORMAL
313 : kernel::resource::Action::Type::LATENCY);
316 action->set_variable(maxmin_system_->variable_new(action, 1.0, -1.0, constraints_per_variable));
318 if (action->rate_ < 0) {
319 maxmin_system_->update_variable_bound(
320 action->get_variable(), (action->latCurrent_ > 0) ? sg_tcp_gamma / (2.0 * action->latCurrent_) : -1.0);
322 maxmin_system_->update_variable_bound(action->get_variable(),
323 (action->latCurrent_ > 0)
324 ? std::min(action->rate_, sg_tcp_gamma / (2.0 * action->latCurrent_))
328 for (auto const& link : route)
329 maxmin_system_->expand(link->constraint(), action->get_variable(), 1.0);
331 if (not back_route.empty()) { // sg_network_crosstraffic was activated
332 XBT_DEBUG("Crosstraffic active adding backward flow using 5%%");
333 for (auto const& link : back_route)
334 maxmin_system_->expand(link->constraint(), action->get_variable(), .05);
336 // Change concurrency_share here, if you want that cross-traffic is included in the SURF concurrency
337 // (You would also have to change simgrid::kernel::lmm::Element::get_concurrency())
338 // action->getVariable()->set_concurrency_share(2)
342 simgrid::s4u::Link::onCommunicate(action, src, dst);
349 NetworkCm02Link::NetworkCm02Link(NetworkCm02Model* model, const std::string& name, double bandwidth, double latency,
350 e_surf_link_sharing_policy_t policy, kernel::lmm::System* system)
351 : LinkImpl(model, name, system->constraint_new(this, sg_bandwidth_factor * bandwidth))
353 bandwidth_.scale = 1.0;
354 bandwidth_.peak = bandwidth;
356 latency_.scale = 1.0;
357 latency_.peak = latency;
359 if (policy == SURF_LINK_FATPIPE)
360 constraint()->unshare();
362 simgrid::s4u::Link::onCreation(this->piface_);
365 void NetworkCm02Link::apply_event(tmgr_trace_event_t triggered, double value)
367 /* Find out which of my iterators was triggered, and react accordingly */
368 if (triggered == bandwidth_.event) {
370 tmgr_trace_event_unref(&bandwidth_.event);
372 } else if (triggered == latency_.event) {
374 tmgr_trace_event_unref(&latency_.event);
376 } else if (triggered == stateEvent_) {
380 kernel::lmm::Variable* var = nullptr;
381 const_lmm_element_t elem = nullptr;
382 double now = surf_get_clock();
385 while ((var = constraint()->get_variable(&elem))) {
386 kernel::resource::Action* action = static_cast<kernel::resource::Action*>(var->get_id());
388 if (action->get_state() == kernel::resource::Action::State::running ||
389 action->get_state() == kernel::resource::Action::State::ready) {
390 action->set_finish_time(now);
391 action->set_state(kernel::resource::Action::State::failed);
395 tmgr_trace_event_unref(&stateEvent_);
397 xbt_die("Unknown event!\n");
400 XBT_DEBUG("There was a resource state event, need to update actions related to the constraint (%p)", constraint());
403 void NetworkCm02Link::setBandwidth(double value)
405 bandwidth_.peak = value;
407 model()->get_maxmin_system()->update_constraint_bound(constraint(),
408 sg_bandwidth_factor * (bandwidth_.peak * bandwidth_.scale));
409 TRACE_surf_link_set_bandwidth(surf_get_clock(), getCname(), sg_bandwidth_factor * bandwidth_.peak * bandwidth_.scale);
411 if (sg_weight_S_parameter > 0) {
412 double delta = sg_weight_S_parameter / value - sg_weight_S_parameter / (bandwidth_.peak * bandwidth_.scale);
414 kernel::lmm::Variable* var;
415 const_lmm_element_t elem = nullptr;
416 const_lmm_element_t nextelem = nullptr;
418 while ((var = constraint()->get_variable_safe(&elem, &nextelem, &numelem))) {
419 NetworkCm02Action* action = static_cast<NetworkCm02Action*>(var->get_id());
420 action->weight_ += delta;
421 if (not action->is_suspended())
422 model()->get_maxmin_system()->update_variable_weight(action->get_variable(), action->weight_);
427 void NetworkCm02Link::setLatency(double value)
429 double delta = value - latency_.peak;
430 kernel::lmm::Variable* var = nullptr;
431 const_lmm_element_t elem = nullptr;
432 const_lmm_element_t nextelem = nullptr;
435 latency_.peak = value;
437 while ((var = constraint()->get_variable_safe(&elem, &nextelem, &numelem))) {
438 NetworkCm02Action* action = static_cast<NetworkCm02Action*>(var->get_id());
439 action->latCurrent_ += delta;
440 action->weight_ += delta;
441 if (action->rate_ < 0)
442 model()->get_maxmin_system()->update_variable_bound(action->get_variable(),
443 sg_tcp_gamma / (2.0 * action->latCurrent_));
445 model()->get_maxmin_system()->update_variable_bound(
446 action->get_variable(), std::min(action->rate_, sg_tcp_gamma / (2.0 * action->latCurrent_)));
448 if (action->rate_ < sg_tcp_gamma / (2.0 * action->latCurrent_)) {
449 XBT_INFO("Flow is limited BYBANDWIDTH");
451 XBT_INFO("Flow is limited BYLATENCY, latency of flow is %f", action->latCurrent_);
454 if (not action->is_suspended())
455 model()->get_maxmin_system()->update_variable_weight(action->get_variable(), action->weight_);
463 void NetworkCm02Action::update_remains_lazy(double now)
465 if (suspended_ != Action::SuspendStates::not_suspended)
468 double delta = now - get_last_update();
469 double max_duration = get_max_duration();
471 if (get_remains_no_update() > 0) {
472 XBT_DEBUG("Updating action(%p): remains was %f, last_update was: %f", this, get_remains_no_update(),
474 update_remains(get_last_value() * delta);
476 XBT_DEBUG("Updating action(%p): remains is now %f", this, get_remains_no_update());
479 if (max_duration > NO_MAX_DURATION) {
480 double_update(&max_duration, delta, sg_surf_precision);
481 set_max_duration(max_duration);
484 if ((get_remains_no_update() <= 0 && (get_variable()->get_weight() > 0)) ||
485 ((max_duration > NO_MAX_DURATION) && (max_duration <= 0))) {
486 finish(Action::State::done);
491 set_last_value(get_variable()->get_value());