src/surf/cpu_cas01.cpp

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