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