1 /* Copyright (c) 2009-2011, 2013-2016. The SimGrid Team.
2 * All rights reserved. */
4 /* This program is free software; you can redistribute it and/or modify it
5 * under the terms of the license (GNU LGPL) which comes with this package. */
7 #include "cpu_cas01.hpp"
9 #include "maxmin_private.hpp"
10 #include "simgrid/sg_config.h"
12 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_cpu_cas, surf_cpu, "Logging specific to the SURF CPU IMPROVED module");
17 void surf_cpu_model_init_Cas01()
19 xbt_assert(!surf_cpu_model_pm);
20 xbt_assert(!surf_cpu_model_vm);
22 char *optim = xbt_cfg_get_string(_sg_cfg_set, "cpu/optim");
23 if (!strcmp(optim, "TI")) {
24 surf_cpu_model_init_ti();
28 surf_cpu_model_pm = new simgrid::surf::CpuCas01Model();
29 xbt_dynar_push(all_existing_models, &surf_cpu_model_pm);
31 surf_cpu_model_vm = new simgrid::surf::CpuCas01Model();
32 xbt_dynar_push(all_existing_models, &surf_cpu_model_vm);
38 CpuCas01Model::CpuCas01Model() : simgrid::surf::CpuModel()
40 char *optim = xbt_cfg_get_string(_sg_cfg_set, "cpu/optim");
41 int select = xbt_cfg_get_boolean(_sg_cfg_set, "cpu/maxmin_selective_update");
43 if (!strcmp(optim, "Full")) {
44 updateMechanism_ = UM_FULL;
45 selectiveUpdate_ = select;
46 } else if (!strcmp(optim, "Lazy")) {
47 updateMechanism_ = UM_LAZY;
49 xbt_assert((select == 1)
51 (xbt_cfg_is_default_value
52 (_sg_cfg_set, "cpu/maxmin_selective_update")),
53 "Disabling selective update while using the lazy update mechanism is dumb!");
55 xbt_die("Unsupported optimization (%s) for this model", optim);
58 p_cpuRunningActionSetThatDoesNotNeedBeingChecked = new ActionList();
60 maxminSystem_ = lmm_system_new(selectiveUpdate_);
62 if (getUpdateMechanism() == UM_LAZY) {
63 actionHeap_ = xbt_heap_new(8, NULL);
64 xbt_heap_set_update_callback(actionHeap_, surf_action_lmm_update_index_heap);
65 modifiedSet_ = new ActionLmmList();
66 maxminSystem_->keep_track = modifiedSet_;
70 CpuCas01Model::~CpuCas01Model()
72 lmm_system_free(maxminSystem_);
74 xbt_heap_free(actionHeap_);
77 surf_cpu_model_pm = NULL;
79 delete p_cpuRunningActionSetThatDoesNotNeedBeingChecked;
82 Cpu *CpuCas01Model::createCpu(simgrid::s4u::Host *host, xbt_dynar_t speedPerPstate, int core)
84 return new CpuCas01(this, host, speedPerPstate, core);
87 double CpuCas01Model::next_occuring_event_full(double /*now*/)
89 return Model::shareResourcesMaxMin(getRunningActionSet(), maxminSystem_, lmm_solve);
95 CpuCas01::CpuCas01(CpuCas01Model *model, simgrid::s4u::Host *host, xbt_dynar_t speedPerPstate, int core)
97 lmm_constraint_new(model->getMaxminSystem(), this, core * xbt_dynar_get_as(speedPerPstate, 0/*pstate*/, double)),
102 CpuCas01::~CpuCas01()
104 if (getModel() == surf_cpu_model_pm)
105 xbt_dynar_free(&speedPerPstate_);
108 xbt_dynar_t CpuCas01::getSpeedPeakList(){
109 return speedPerPstate_;
112 bool CpuCas01::isUsed()
114 return lmm_constraint_used(getModel()->getMaxminSystem(), getConstraint());
117 /** @brief take into account changes of speed (either load or max) */
118 void CpuCas01::onSpeedChange() {
119 lmm_variable_t var = NULL;
120 lmm_element_t elem = NULL;
122 lmm_update_constraint_bound(getModel()->getMaxminSystem(), getConstraint(),
123 coresAmount_ * speed_.scale * speed_.peak);
124 while ((var = lmm_get_var_from_cnst
125 (getModel()->getMaxminSystem(), getConstraint(), &elem))) {
126 CpuCas01Action *action = static_cast<CpuCas01Action*>(lmm_variable_id(var));
128 lmm_update_variable_bound(getModel()->getMaxminSystem(),
129 action->getVariable(),
130 speed_.scale * speed_.peak);
133 Cpu::onSpeedChange();
136 void CpuCas01::apply_event(tmgr_trace_iterator_t event, double value)
138 if (event == speed_.event) {
139 /* TODO (Hypervisor): do the same thing for constraint_core[i] */
140 xbt_assert(coresAmount_ == 1, "FIXME: add speed scaling code also for constraint_core[i]");
142 speed_.scale = value;
145 tmgr_trace_event_unref(&speed_.event);
146 } else if (event == stateEvent_) {
147 /* TODO (Hypervisor): do the same thing for constraint_core[i] */
148 xbt_assert(coresAmount_ == 1, "FIXME: add state change code also for constraint_core[i]");
152 xbt_dynar_push_as(host_that_restart, char*, (char *)getName());
155 lmm_constraint_t cnst = getConstraint();
156 lmm_variable_t var = NULL;
157 lmm_element_t elem = NULL;
158 double date = surf_get_clock();
162 while ((var = lmm_get_var_from_cnst(getModel()->getMaxminSystem(), cnst, &elem))) {
163 Action *action = static_cast<Action*>(lmm_variable_id(var));
165 if (action->getState() == Action::State::running ||
166 action->getState() == Action::State::ready ||
167 action->getState() == Action::State::not_in_the_system) {
168 action->setFinishTime(date);
169 action->setState(Action::State::failed);
173 tmgr_trace_event_unref(&stateEvent_);
176 xbt_die("Unknown event!\n");
180 CpuAction *CpuCas01::execution_start(double size)
183 XBT_IN("(%s,%g)", getName(), size);
184 CpuCas01Action *action = new CpuCas01Action(getModel(), size, isOff(),
185 speed_.scale * speed_.peak, getConstraint());
191 CpuAction *CpuCas01::sleep(double duration)
194 duration = MAX(duration, sg_surf_precision);
196 XBT_IN("(%s,%g)", getName(), duration);
197 CpuCas01Action *action = new CpuCas01Action(getModel(), 1.0, isOff(),
198 speed_.scale * speed_.peak, getConstraint());
200 // FIXME: sleep variables should not consume 1.0 in lmm_expand
201 action->maxDuration_ = duration;
202 action->suspended_ = 2;
203 if (duration == NO_MAX_DURATION) {
204 /* Move to the *end* of the corresponding action set. This convention
205 is used to speed up update_resource_state */
206 action->getStateSet()->erase(action->getStateSet()->iterator_to(*action));
207 action->stateSet_ = static_cast<CpuCas01Model*>(getModel())->p_cpuRunningActionSetThatDoesNotNeedBeingChecked;
208 action->getStateSet()->push_back(*action);
211 lmm_update_variable_weight(getModel()->getMaxminSystem(),
212 action->getVariable(), 0.0);
213 if (getModel()->getUpdateMechanism() == UM_LAZY) { // remove action from the heap
214 action->heapRemove(getModel()->getActionHeap());
215 // this is necessary for a variable with weight 0 since such
216 // variables are ignored in lmm and we need to set its max_duration
217 // correctly at the next call to share_resources
218 getModel()->getModifiedSet()->push_front(*action);
229 CpuCas01Action::CpuCas01Action(Model *model, double cost, bool failed, double speed, lmm_constraint_t constraint)
230 : CpuAction(model, cost, failed,
231 lmm_variable_new(model->getMaxminSystem(), this,
234 if (model->getUpdateMechanism() == UM_LAZY) {
236 lastUpdate_ = surf_get_clock();
239 lmm_expand(model->getMaxminSystem(), constraint, getVariable(), 1.0);