1 /* Copyright (c) 2013-2017. 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 "maxmin_private.hpp"
9 #include "network_cm02.hpp"
10 #include "simgrid/s4u/Host.hpp"
11 #include "simgrid/sg_config.h"
12 #include "src/instr/instr_private.hpp" // TRACE_is_enabled(). FIXME: remove by subscribing tracing to the surf signals
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 lmm_set_default_protocol_function(func_reno_f, func_reno_fp, func_reno_fpi);
92 xbt_cfg_setdefault_double("network/latency-factor", 13.01);
93 xbt_cfg_setdefault_double("network/bandwidth-factor", 0.97);
94 xbt_cfg_setdefault_double("network/weight-S", 20537);
96 surf_network_model = new simgrid::surf::NetworkCm02Model(&lagrange_solve);
97 all_existing_models->push_back(surf_network_model);
101 void surf_network_model_init_Reno2()
103 if (surf_network_model)
106 lmm_set_default_protocol_function(func_reno2_f, func_reno2_fp, func_reno2_fpi);
108 xbt_cfg_setdefault_double("network/latency-factor", 13.01);
109 xbt_cfg_setdefault_double("network/bandwidth-factor", 0.97);
110 xbt_cfg_setdefault_double("network/weight-S", 20537);
112 surf_network_model = new simgrid::surf::NetworkCm02Model(&lagrange_solve);
113 all_existing_models->push_back(surf_network_model);
116 void surf_network_model_init_Vegas()
118 if (surf_network_model)
121 lmm_set_default_protocol_function(func_vegas_f, func_vegas_fp, func_vegas_fpi);
123 xbt_cfg_setdefault_double("network/latency-factor", 13.01);
124 xbt_cfg_setdefault_double("network/bandwidth-factor", 0.97);
125 xbt_cfg_setdefault_double("network/weight-S", 20537);
127 surf_network_model = new simgrid::surf::NetworkCm02Model(&lagrange_solve);
128 all_existing_models->push_back(surf_network_model);
134 NetworkCm02Model::NetworkCm02Model()
137 std::string optim = xbt_cfg_get_string("network/optim");
138 bool select = xbt_cfg_get_boolean("network/maxmin-selective-update");
140 if (optim == "Full") {
141 setUpdateMechanism(UM_FULL);
142 selectiveUpdate_ = select;
143 } else if (optim == "Lazy") {
144 setUpdateMechanism(UM_LAZY);
145 selectiveUpdate_ = true;
146 xbt_assert(select || (xbt_cfg_is_default_value("network/maxmin-selective-update")),
147 "You cannot disable selective update when using the lazy update mechanism");
149 xbt_die("Unsupported optimization (%s) for this model. Accepted: Full, Lazy.", optim.c_str());
152 maxminSystem_ = lmm_system_new(selectiveUpdate_);
153 loopback_ = createLink("__loopback__", 498000000, 0.000015, SURF_LINK_FATPIPE);
155 if (getUpdateMechanism() == UM_LAZY) {
156 modifiedSet_ = new ActionLmmList();
157 maxminSystem_->keep_track = modifiedSet_;
160 NetworkCm02Model::NetworkCm02Model(void (*specificSolveFun)(lmm_system_t self))
163 maxminSystem_->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, maxminSystem_);
172 void NetworkCm02Model::updateActionsStateLazy(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 = lmm_get_number_of_cnst_from_var(maxminSystem_, action->getVariable());
181 for (int i = 0; i < n; i++){
182 lmm_constraint_t constraint = lmm_get_cnst_from_var(maxminSystem_, action->getVariable(), i);
183 NetworkCm02Link *link = static_cast<NetworkCm02Link*>(lmm_constraint_id(constraint));
184 double value = lmm_variable_getvalue(action->getVariable())*
185 lmm_get_cnst_weight_from_var(maxminSystem_, action->getVariable(), i);
186 TRACE_surf_link_set_utilization(link->getCname(), action->getCategory(), value, action->getLastUpdate(),
187 now - action->getLastUpdate());
191 // if I am wearing a latency hat
192 if (action->getHat() == LATENCY) {
193 XBT_DEBUG("Latency paid for action %p. Activating", action);
194 lmm_update_variable_weight(maxminSystem_, action->getVariable(), action->weight_);
195 action->heapRemove(getActionHeap());
196 action->refreshLastUpdate();
198 // if I am wearing a max_duration or normal hat
199 } else if (action->getHat() == MAX_DURATION || action->getHat() == 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->setRemains(0);
204 action->finish(Action::State::done);
205 action->heapRemove(getActionHeap());
211 void NetworkCm02Model::updateActionsStateFull(double now, double delta)
213 ActionList *running_actions = getRunningActionSet();
214 ActionList::iterator it(running_actions->begin());
215 ActionList::iterator itend(running_actions->end());
216 while (it != itend) {
217 NetworkCm02Action *action = static_cast<NetworkCm02Action*> (&*it);
219 XBT_DEBUG("Something happened to action %p", action);
220 double deltap = delta;
221 if (action->latency_ > 0) {
222 if (action->latency_ > deltap) {
223 double_update(&(action->latency_), deltap, sg_surf_precision);
226 double_update(&(deltap), action->latency_, sg_surf_precision);
227 action->latency_ = 0.0;
229 if (action->latency_ <= 0.0 && not action->isSuspended())
230 lmm_update_variable_weight(maxminSystem_, action->getVariable(), action->weight_);
232 if (TRACE_is_enabled()) {
233 int n = lmm_get_number_of_cnst_from_var(maxminSystem_, action->getVariable());
234 for (int i = 0; i < n; i++){
235 lmm_constraint_t constraint = lmm_get_cnst_from_var(maxminSystem_, action->getVariable(), i);
237 NetworkCm02Link* link = static_cast<NetworkCm02Link*>(lmm_constraint_id(constraint));
238 TRACE_surf_link_set_utilization(link->getCname(), action->getCategory(),
239 (lmm_variable_getvalue(action->getVariable()) *
240 lmm_get_cnst_weight_from_var(maxminSystem_, action->getVariable(), i)),
241 action->getLastUpdate(), now - action->getLastUpdate());
244 if (not lmm_get_number_of_cnst_from_var(maxminSystem_, action->getVariable())) {
245 /* There is actually no link used, hence an infinite bandwidth. This happens often when using models like
246 * vivaldi. In such case, just make sure that the action completes immediately.
248 action->updateRemains(action->getRemains());
250 action->updateRemains(lmm_variable_getvalue(action->getVariable()) * delta);
252 if (action->getMaxDuration() > NO_MAX_DURATION)
253 action->updateMaxDuration(delta);
255 if (((action->getRemains() <= 0) && (lmm_get_variable_weight(action->getVariable()) > 0)) ||
256 ((action->getMaxDuration() > NO_MAX_DURATION) && (action->getMaxDuration() <= 0))) {
257 action->finish(Action::State::done);
262 Action* NetworkCm02Model::communicate(s4u::Host* src, s4u::Host* dst, double size, double rate)
265 double latency = 0.0;
266 std::vector<LinkImpl*> back_route;
267 std::vector<LinkImpl*> route;
269 XBT_IN("(%s,%s,%g,%g)", src->getCname(), dst->getCname(), size, rate);
271 src->routeTo(dst, route, &latency);
272 xbt_assert(not route.empty() || latency,
273 "You're trying to send data from %s to %s but there is no connecting path between these two hosts.",
274 src->getCname(), dst->getCname());
276 for (auto const& link : route)
280 if (sg_network_crosstraffic == 1) {
281 dst->routeTo(src, back_route, nullptr);
282 for (auto const& link : back_route)
287 NetworkCm02Action *action = new NetworkCm02Action(this, size, failed);
288 action->weight_ = latency;
289 action->latency_ = latency;
290 action->rate_ = rate;
291 if (getUpdateMechanism() == UM_LAZY) {
292 action->updateIndexHeap(-1);
293 action->refreshLastUpdate();
296 double bandwidth_bound = -1.0;
297 if (sg_weight_S_parameter > 0)
298 for (auto const& link : route)
299 action->weight_ += sg_weight_S_parameter / link->bandwidth();
301 for (auto const& link : route) {
302 double bb = bandwidthFactor(size) * link->bandwidth();
303 bandwidth_bound = (bandwidth_bound < 0.0) ? bb : std::min(bandwidth_bound, bb);
306 action->latCurrent_ = action->latency_;
307 action->latency_ *= latencyFactor(size);
308 action->rate_ = bandwidthConstraint(action->rate_, bandwidth_bound, size);
310 int constraints_per_variable = route.size();
311 constraints_per_variable += back_route.size();
313 if (action->latency_ > 0) {
314 action->setVariable(lmm_variable_new(maxminSystem_, action, 0.0, -1.0, constraints_per_variable));
315 if (getUpdateMechanism() == UM_LAZY) {
316 // add to the heap the event when the latency is payed
317 XBT_DEBUG("Added action (%p) one latency event at date %f", action, action->latency_ + action->getLastUpdate());
318 action->heapInsert(getActionHeap(), action->latency_ + action->getLastUpdate(), route.empty() ? NORMAL : LATENCY);
321 action->setVariable(lmm_variable_new(maxminSystem_, action, 1.0, -1.0, constraints_per_variable));
323 if (action->rate_ < 0) {
324 lmm_update_variable_bound(maxminSystem_, action->getVariable(), (action->latCurrent_ > 0) ? sg_tcp_gamma / (2.0 * action->latCurrent_) : -1.0);
326 lmm_update_variable_bound(maxminSystem_, action->getVariable(), (action->latCurrent_ > 0) ? std::min(action->rate_, sg_tcp_gamma / (2.0 * action->latCurrent_)) : action->rate_);
329 for (auto const& link : route)
330 lmm_expand(maxminSystem_, link->constraint(), action->getVariable(), 1.0);
332 if (not back_route.empty()) { // sg_network_crosstraffic was activated
333 XBT_DEBUG("Fullduplex active adding backward flow using 5%%");
334 for (auto const& link : back_route)
335 lmm_expand(maxminSystem_, link->constraint(), action->getVariable(), .05);
337 //Change concurrency_share here, if you want that cross-traffic is included in the SURF concurrency
338 //(You would also have to change lmm_element_concurrency())
339 //lmm_variable_concurrency_share_set(action->getVariable(),2);
343 simgrid::s4u::Link::onCommunicate(action, src, dst);
350 NetworkCm02Link::NetworkCm02Link(NetworkCm02Model* model, const std::string& name, double bandwidth, double latency,
351 e_surf_link_sharing_policy_t policy, lmm_system_t system)
352 : LinkImpl(model, name, lmm_constraint_new(system, this, sg_bandwidth_factor * bandwidth))
354 bandwidth_.scale = 1.0;
355 bandwidth_.peak = bandwidth;
357 latency_.scale = 1.0;
358 latency_.peak = latency;
360 if (policy == SURF_LINK_FATPIPE)
361 lmm_constraint_shared(constraint());
363 simgrid::s4u::Link::onCreation(this->piface_);
366 void NetworkCm02Link::apply_event(tmgr_trace_event_t triggered, double value)
368 /* Find out which of my iterators was triggered, and react accordingly */
369 if (triggered == bandwidth_.event) {
371 tmgr_trace_event_unref(&bandwidth_.event);
373 } else if (triggered == latency_.event) {
375 tmgr_trace_event_unref(&latency_.event);
377 } else if (triggered == stateEvent_) {
381 lmm_variable_t var = nullptr;
382 lmm_element_t elem = nullptr;
383 double now = surf_get_clock();
386 while ((var = lmm_get_var_from_cnst(model()->getMaxminSystem(), constraint(), &elem))) {
387 Action *action = static_cast<Action*>( lmm_variable_id(var) );
389 if (action->getState() == Action::State::running ||
390 action->getState() == Action::State::ready) {
391 action->setFinishTime(now);
392 action->setState(Action::State::failed);
396 tmgr_trace_event_unref(&stateEvent_);
398 xbt_die("Unknown event!\n");
401 XBT_DEBUG("There was a resource state event, need to update actions related to the constraint (%p)", constraint());
404 void NetworkCm02Link::setBandwidth(double value)
407 bandwidth_.peak = value;
409 lmm_update_constraint_bound(model()->getMaxminSystem(), constraint(),
410 sg_bandwidth_factor * (bandwidth_.peak * bandwidth_.scale));
411 TRACE_surf_link_set_bandwidth(surf_get_clock(), getCname(), sg_bandwidth_factor * bandwidth_.peak * bandwidth_.scale);
413 if (sg_weight_S_parameter > 0) {
414 double delta = sg_weight_S_parameter / value - sg_weight_S_parameter / (bandwidth_.peak * bandwidth_.scale);
417 lmm_element_t elem = nullptr;
418 lmm_element_t nextelem = nullptr;
420 while ((var = lmm_get_var_from_cnst_safe(model()->getMaxminSystem(), constraint(), &elem, &nextelem, &numelem))) {
421 NetworkCm02Action *action = static_cast<NetworkCm02Action*>(lmm_variable_id(var));
422 action->weight_ += delta;
423 if (not action->isSuspended())
424 lmm_update_variable_weight(model()->getMaxminSystem(), action->getVariable(), action->weight_);
429 void NetworkCm02Link::setLatency(double value)
431 double delta = value - latency_.peak;
432 lmm_variable_t var = nullptr;
433 lmm_element_t elem = nullptr;
434 lmm_element_t nextelem = nullptr;
437 latency_.peak = value;
439 while ((var = lmm_get_var_from_cnst_safe(model()->getMaxminSystem(), constraint(), &elem, &nextelem, &numelem))) {
440 NetworkCm02Action *action = static_cast<NetworkCm02Action*>(lmm_variable_id(var));
441 action->latCurrent_ += delta;
442 action->weight_ += delta;
443 if (action->rate_ < 0)
444 lmm_update_variable_bound(model()->getMaxminSystem(), action->getVariable(),
445 sg_tcp_gamma / (2.0 * action->latCurrent_));
447 lmm_update_variable_bound(model()->getMaxminSystem(), action->getVariable(),
448 std::min(action->rate_, sg_tcp_gamma / (2.0 * action->latCurrent_)));
450 if (action->rate_ < sg_tcp_gamma / (2.0 * action->latCurrent_)) {
451 XBT_INFO("Flow is limited BYBANDWIDTH");
453 XBT_INFO("Flow is limited BYLATENCY, latency of flow is %f", action->latCurrent_);
456 if (not action->isSuspended())
457 lmm_update_variable_weight(model()->getMaxminSystem(), action->getVariable(), action->weight_);
465 void NetworkCm02Action::updateRemainingLazy(double now)
470 double delta = now - getLastUpdate();
471 double max_duration = getMaxDuration();
473 if (getRemainsNoUpdate() > 0) {
474 XBT_DEBUG("Updating action(%p): remains was %f, last_update was: %f", this, getRemainsNoUpdate(), getLastUpdate());
475 updateRemains(getLastValue() * delta);
477 XBT_DEBUG("Updating action(%p): remains is now %f", this, getRemainsNoUpdate());
480 if (max_duration > NO_MAX_DURATION) {
481 double_update(&max_duration, delta, sg_surf_precision);
482 setMaxDuration(max_duration);
485 if ((getRemainsNoUpdate() <= 0 && (lmm_get_variable_weight(getVariable()) > 0)) ||
486 ((max_duration > NO_MAX_DURATION) && (max_duration <= 0))) {
487 finish(Action::State::done);
488 heapRemove(getModel()->getActionHeap());
492 setLastValue(lmm_variable_getvalue(getVariable()));