src/surf/cpu_cas01.cpp

   1 /* Copyright (c) 2009-2011, 2013-2015. The SimGrid Team.
   2  * All rights reserved.                                                     */
   3
   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. */
   6
   7 #include "cpu_cas01.hpp"
   8 #include "cpu_ti.hpp"
   9 #include "maxmin_private.hpp"
  10 #include "simgrid/sg_config.h"
  11
  12 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_cpu_cas, surf_cpu,
  13                                 "Logging specific to the SURF CPU IMPROVED module");
  14
  15 /*********
  16  * Model *
  17  *********/
  18 void surf_cpu_model_init_Cas01()
  19 {
  20   char *optim = xbt_cfg_get_string(_sg_cfg_set, "cpu/optim");
  21
  22   xbt_assert(!surf_cpu_model_pm);
  23   xbt_assert(!surf_cpu_model_vm);
  24
  25   if (!strcmp(optim, "TI")) {
  26     surf_cpu_model_init_ti();
  27     return;
  28   }
  29
  30   surf_cpu_model_pm = new CpuCas01Model();
  31   surf_cpu_model_vm  = new CpuCas01Model();
  32
  33   sg_platf_host_add_cb(cpu_parse_init);
  34   sg_platf_postparse_add_cb(cpu_add_traces);
  35
  36   Model *model_pm = surf_cpu_model_pm;
  37   Model *model_vm = surf_cpu_model_vm;
  38   xbt_dynar_push(all_existing_models, &model_pm);
  39   xbt_dynar_push(all_existing_models, &model_vm);
  40 }
  41
  42 CpuCas01Model::CpuCas01Model() : CpuModel()
  43 {
  44   char *optim = xbt_cfg_get_string(_sg_cfg_set, "cpu/optim");
  45   int select = xbt_cfg_get_boolean(_sg_cfg_set, "cpu/maxmin_selective_update");
  46
  47   if (!strcmp(optim, "Full")) {
  48     p_updateMechanism = UM_FULL;
  49     m_selectiveUpdate = select;
  50   } else if (!strcmp(optim, "Lazy")) {
  51     p_updateMechanism = UM_LAZY;
  52     m_selectiveUpdate = 1;
  53     xbt_assert((select == 1)
  54                ||
  55                (xbt_cfg_is_default_value
  56                 (_sg_cfg_set, "cpu/maxmin_selective_update")),
  57                "Disabling selective update while using the lazy update mechanism is dumb!");
  58   } else {
  59     xbt_die("Unsupported optimization (%s) for this model", optim);
  60   }
  61
  62   p_cpuRunningActionSetThatDoesNotNeedBeingChecked = new ActionList();
  63
  64   if (getUpdateMechanism() == UM_LAZY) {
  65         shareResources = &CpuCas01Model::shareResourcesLazy;
  66         updateActionsState = &CpuCas01Model::updateActionsStateLazy;
  67
  68   } else if (getUpdateMechanism() == UM_FULL) {
  69         shareResources = &CpuCas01Model::shareResourcesFull;
  70         updateActionsState = &CpuCas01Model::updateActionsStateFull;
  71   } else
  72     xbt_die("Invalid cpu update mechanism!");
  73
  74   if (!p_maxminSystem) {
  75     p_maxminSystem = lmm_system_new(m_selectiveUpdate);
  76   }
  77
  78   if (getUpdateMechanism() == UM_LAZY) {
  79     p_actionHeap = xbt_heap_new(8, NULL);
  80     xbt_heap_set_update_callback(p_actionHeap,  surf_action_lmm_update_index_heap);
  81     p_modifiedSet = new ActionLmmList();
  82     p_maxminSystem->keep_track = p_modifiedSet;
  83   }
  84 }
  85
  86 CpuCas01Model::~CpuCas01Model()
  87 {
  88   lmm_system_free(p_maxminSystem);
  89   p_maxminSystem = NULL;
  90
  91   if (p_actionHeap)
  92     xbt_heap_free(p_actionHeap);
  93   delete p_modifiedSet;
  94
  95   surf_cpu_model_pm = NULL;
  96
  97   delete p_cpuRunningActionSetThatDoesNotNeedBeingChecked;
  98 }
  99
 100 Cpu *CpuCas01Model::createCpu(const char *name, xbt_dynar_t power_peak,
 101                                   int pstate, double power_scale,
 102                           tmgr_trace_t power_trace, int core,
 103                           e_surf_resource_state_t state_initial,
 104                           tmgr_trace_t state_trace,
 105                           xbt_dict_t cpu_properties)
 106 {
 107   Cpu *cpu = NULL;
 108   sg_host_t host = sg_host_by_name(name);
 109   xbt_assert(!sg_host_surfcpu(host),
 110              "Host '%s' declared several times in the platform file",
 111              name);
 112   xbt_assert(xbt_dynar_getfirst_as(power_peak, double) > 0.0,
 113       "Power has to be >0.0. Did you forget to specify the mandatory power attribute?");
 114   xbt_assert(core > 0, "Invalid number of cores %d. Must be larger than 0", core);
 115
 116   cpu = new CpuCas01(this, name, power_peak, pstate, power_scale, power_trace, core, state_initial, state_trace, cpu_properties);
 117   surf_callback_emit(cpuCreatedCallbacks, cpu);
 118   surf_callback_emit(cpuStateChangedCallbacks, cpu, SURF_RESOURCE_ON, state_initial);
 119   sg_host_surfcpu_set(host, cpu);
 120
 121   return cpu;
 122 }
 123
 124 double CpuCas01Model::shareResourcesFull(double /*now*/)
 125 {
 126   return Model::shareResourcesMaxMin(getRunningActionSet(),
 127                              p_maxminSystem, lmm_solve);
 128 }
 129
 130 void CpuCas01Model::addTraces()
 131 {
 132   xbt_dict_cursor_t cursor = NULL;
 133   char *trace_name, *elm;
 134   static int called = 0;
 135   if (called)
 136     return;
 137   called = 1;
 138
 139   /* connect all traces relative to hosts */
 140   xbt_dict_foreach(trace_connect_list_host_avail, cursor, trace_name, elm) {
 141     tmgr_trace_t trace = (tmgr_trace_t) xbt_dict_get_or_null(traces_set_list, trace_name);
 142     CpuCas01 *host = static_cast<CpuCas01*>(sg_host_surfcpu(sg_host_by_name(elm)));
 143
 144     xbt_assert(host, "Host %s undefined", elm);
 145     xbt_assert(trace, "Trace %s undefined", trace_name);
 146
 147     host->setStateEvent(tmgr_history_add_trace(history, trace, 0.0, 0, host));
 148   }
 149
 150   xbt_dict_foreach(trace_connect_list_power, cursor, trace_name, elm) {
 151     tmgr_trace_t trace = (tmgr_trace_t) xbt_dict_get_or_null(traces_set_list, trace_name);
 152     CpuCas01 *host = static_cast<CpuCas01*>(sg_host_surfcpu(sg_host_by_name(elm)));
 153
 154     xbt_assert(host, "Host %s undefined", elm);
 155     xbt_assert(trace, "Trace %s undefined", trace_name);
 156
 157     host->setPowerEvent(tmgr_history_add_trace(history, trace, 0.0, 0, host));
 158   }
 159 }
 160
 161 /************
 162  * Resource *
 163  ************/
 164 CpuCas01::CpuCas01(CpuCas01Model *model, const char *name, xbt_dynar_t powerPeak,
 165                          int pstate, double powerScale, tmgr_trace_t powerTrace, int core,
 166                          e_surf_resource_state_t stateInitial, tmgr_trace_t stateTrace,
 167                          xbt_dict_t properties)
 168 : Cpu(model, name, properties,
 169           lmm_constraint_new(model->getMaxminSystem(), this, core * powerScale * xbt_dynar_get_as(powerPeak, pstate, double)),
 170           core, xbt_dynar_get_as(powerPeak, pstate, double), powerScale,
 171     stateInitial) {
 172   p_powerEvent = NULL;
 173   p_powerPeakList = powerPeak;
 174   m_pstate = pstate;
 175
 176   XBT_DEBUG("CPU create: peak=%f, pstate=%d", m_powerPeak, m_pstate);
 177
 178   m_core = core;
 179   if (powerTrace)
 180     p_powerEvent = tmgr_history_add_trace(history, powerTrace, 0.0, 0, this);
 181
 182   if (stateTrace)
 183     p_stateEvent = tmgr_history_add_trace(history, stateTrace, 0.0, 0, this);
 184 }
 185
 186 CpuCas01::~CpuCas01(){
 187   if (getModel() == surf_cpu_model_pm)
 188     xbt_dynar_free(&p_powerPeakList);
 189 }
 190
 191 void CpuCas01::setStateEvent(tmgr_trace_event_t stateEvent)
 192 {
 193   p_stateEvent = stateEvent;
 194 }
 195
 196 void CpuCas01::setPowerEvent(tmgr_trace_event_t powerEvent)
 197 {
 198   p_powerEvent = powerEvent;
 199 }
 200
 201 xbt_dynar_t CpuCas01::getPowerPeakList(){
 202   return p_powerPeakList;
 203 }
 204
 205 int CpuCas01::getPState()
 206 {
 207   return m_pstate;
 208 }
 209
 210 bool CpuCas01::isUsed()
 211 {
 212   return lmm_constraint_used(getModel()->getMaxminSystem(), getConstraint());
 213 }
 214
 215 void CpuCas01::updateState(tmgr_trace_event_t event_type, double value, double date)
 216 {
 217   lmm_variable_t var = NULL;
 218   lmm_element_t elem = NULL;
 219
 220   if (event_type == p_powerEvent) {
 221         /* TODO (Hypervisor): do the same thing for constraint_core[i] */
 222         xbt_assert(m_core == 1, "FIXME: add power scaling code also for constraint_core[i]");
 223
 224     m_powerScale = value;
 225     lmm_update_constraint_bound(getModel()->getMaxminSystem(), getConstraint(),
 226                                 m_core * m_powerScale *
 227                                 m_powerPeak);
 228     TRACE_surf_host_set_power(date, getName(),
 229                               m_core * m_powerScale *
 230                               m_powerPeak);
 231     while ((var = lmm_get_var_from_cnst
 232             (getModel()->getMaxminSystem(), getConstraint(), &elem))) {
 233       CpuCas01Action *action = static_cast<CpuCas01Action*>(lmm_variable_id(var));
 234
 235       lmm_update_variable_bound(getModel()->getMaxminSystem(),
 236                                 action->getVariable(),
 237                                 m_powerScale * m_powerPeak);
 238     }
 239     if (tmgr_trace_event_free(event_type))
 240       p_powerEvent = NULL;
 241   } else if (event_type == p_stateEvent) {
 242         /* TODO (Hypervisor): do the same thing for constraint_core[i] */
 243     xbt_assert(m_core == 1, "FIXME: add state change code also for constraint_core[i]");
 244
 245     if (value > 0) {
 246       if(getState() == SURF_RESOURCE_OFF)
 247         xbt_dynar_push_as(host_that_restart, char*, (char *)getName());
 248       setState(SURF_RESOURCE_ON);
 249     } else {
 250       lmm_constraint_t cnst = getConstraint();
 251
 252       setState(SURF_RESOURCE_OFF);
 253
 254       while ((var = lmm_get_var_from_cnst(getModel()->getMaxminSystem(), cnst, &elem))) {
 255         Action *action = static_cast<Action*>(lmm_variable_id(var));
 256
 257         if (action->getState() == SURF_ACTION_RUNNING ||
 258             action->getState() == SURF_ACTION_READY ||
 259             action->getState() == SURF_ACTION_NOT_IN_THE_SYSTEM) {
 260           action->setFinishTime(date);
 261           action->setState(SURF_ACTION_FAILED);
 262         }
 263       }
 264     }
 265     if (tmgr_trace_event_free(event_type))
 266       p_stateEvent = NULL;
 267   } else {
 268     XBT_CRITICAL("Unknown event ! \n");
 269     xbt_abort();
 270   }
 271
 272   return;
 273 }
 274
 275 CpuAction *CpuCas01::execute(double size)
 276 {
 277
 278   XBT_IN("(%s,%g)", getName(), size);
 279   CpuCas01Action *action = new CpuCas01Action(getModel(), size, getState() != SURF_RESOURCE_ON,
 280                                                               m_powerScale * m_powerPeak, getConstraint());
 281
 282   XBT_OUT();
 283   return action;
 284 }
 285
 286 CpuAction *CpuCas01::sleep(double duration)
 287 {
 288   if (duration > 0)
 289     duration = MAX(duration, sg_surf_precision);
 290
 291   XBT_IN("(%s,%g)", getName(), duration);
 292   CpuCas01Action *action = new CpuCas01Action(getModel(), 1.0, getState() != SURF_RESOURCE_ON,
 293                                                       m_powerScale * m_powerPeak, getConstraint());
 294
 295
 296   // FIXME: sleep variables should not consume 1.0 in lmm_expand
 297   action->m_maxDuration = duration;
 298   action->m_suspended = 2;
 299   if (duration == NO_MAX_DURATION) {
 300     /* Move to the *end* of the corresponding action set. This convention
 301        is used to speed up update_resource_state  */
 302         action->getStateSet()->erase(action->getStateSet()->iterator_to(*action));
 303     action->p_stateSet = static_cast<CpuCas01Model*>(getModel())->p_cpuRunningActionSetThatDoesNotNeedBeingChecked;
 304     action->getStateSet()->push_back(*action);
 305   }
 306
 307   lmm_update_variable_weight(getModel()->getMaxminSystem(),
 308                              action->getVariable(), 0.0);
 309   if (getModel()->getUpdateMechanism() == UM_LAZY) {     // remove action from the heap
 310     action->heapRemove(getModel()->getActionHeap());
 311     // this is necessary for a variable with weight 0 since such
 312     // variables are ignored in lmm and we need to set its max_duration
 313     // correctly at the next call to share_resources
 314     getModel()->getModifiedSet()->push_front(*action);
 315   }
 316
 317   XBT_OUT();
 318   return action;
 319 }
 320
 321 double CpuCas01::getCurrentPowerPeak()
 322 {
 323   return m_powerPeak;
 324 }
 325
 326 double CpuCas01::getPowerPeakAt(int pstate_index)
 327 {
 328   xbt_dynar_t plist = p_powerPeakList;
 329   xbt_assert((pstate_index <= (int)xbt_dynar_length(plist)), "Invalid parameters (pstate index out of bounds)");
 330
 331   return xbt_dynar_get_as(plist, pstate_index, double);
 332 }
 333
 334 int CpuCas01::getNbPstates()
 335 {
 336   return xbt_dynar_length(p_powerPeakList);
 337 }
 338
 339 void CpuCas01::setPstate(int pstate_index)
 340 {
 341   xbt_dynar_t plist = p_powerPeakList;
 342   xbt_assert((pstate_index <= (int)xbt_dynar_length(plist)), "Invalid parameters (pstate index out of bounds)");
 343
 344   double new_pstate = xbt_dynar_get_as(plist, pstate_index, double);
 345   m_pstate = pstate_index;
 346   m_powerPeak = new_pstate;
 347 }
 348
 349 int CpuCas01::getPstate()
 350 {
 351   return m_pstate;
 352 }
 353
 354 /**********
 355  * Action *
 356  **********/
 357
 358 CpuCas01Action::CpuCas01Action(Model *model, double cost, bool failed, double power, lmm_constraint_t constraint)
 359  : CpuAction(model, cost, failed,
 360                      lmm_variable_new(model->getMaxminSystem(), this,
 361                      1.0, power, 1))
 362 {
 363   m_suspended = 0;
 364   if (model->getUpdateMechanism() == UM_LAZY) {
 365     m_indexHeap = -1;
 366     m_lastUpdate = surf_get_clock();
 367     m_lastValue = 0.0;
 368   }
 369   lmm_expand(model->getMaxminSystem(), constraint, getVariable(), 1.0);
 370 }