src/surf/surf_c_bindings.cpp

   1 /* Copyright (c) 2013-2018. The SimGrid Team. All rights reserved.          */
   2
   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. */
   5
   6 #include "simgrid/s4u/Engine.hpp"
   7 #include "src/instr/instr_private.hpp"
   8 #include "src/plugins/vm/VirtualMachineImpl.hpp"
   9 #include <algorithm>
  10
  11 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(surf_kernel);
  12
  13 /*********
  14  * TOOLS *
  15  *********/
  16
  17 extern double NOW;
  18
  19 void surf_presolve()
  20 {
  21   double next_event_date = -1.0;
  22   tmgr_trace_event_t event          = nullptr;
  23   double value = -1.0;
  24   simgrid::kernel::resource::Resource* resource = nullptr;
  25
  26   XBT_DEBUG ("Consume all trace events occurring before the starting time.");
  27   while ((next_event_date = future_evt_set->next_date()) != -1.0) {
  28     if (next_event_date > NOW)
  29       break;
  30
  31     while ((event = future_evt_set->pop_leq(next_event_date, &value, &resource))) {
  32       if (value >= 0)
  33         resource->apply_event(event, value);
  34     }
  35   }
  36
  37   XBT_DEBUG ("Set every models in the right state by updating them to 0.");
  38   for (auto const& model : *all_existing_models)
  39     model->update_actions_state(NOW, 0.0);
  40 }
  41
  42 double surf_solve(double max_date)
  43 {
  44   double time_delta = -1.0; /* duration */
  45   double model_next_action_end = -1.0;
  46   double value = -1.0;
  47   simgrid::kernel::resource::Resource* resource = nullptr;
  48   tmgr_trace_event_t event          = nullptr;
  49
  50   if (max_date > 0.0) {
  51     xbt_assert(max_date > NOW,"You asked to simulate up to %f, but that's in the past already", max_date);
  52
  53     time_delta = max_date - NOW;
  54   }
  55
  56   /* Physical models MUST be resolved first */
  57   XBT_DEBUG("Looking for next event in physical models");
  58   double next_event_phy = surf_host_model->next_occuring_event(NOW);
  59   if ((time_delta < 0.0 || next_event_phy < time_delta) && next_event_phy >= 0.0) {
  60     time_delta = next_event_phy;
  61   }
  62   if (surf_vm_model != nullptr) {
  63     XBT_DEBUG("Looking for next event in virtual models");
  64     double next_event_virt = surf_vm_model->next_occuring_event(NOW);
  65     if ((time_delta < 0.0 || next_event_virt < time_delta) && next_event_virt >= 0.0)
  66       time_delta = next_event_virt;
  67   }
  68
  69   for (auto const& model : *all_existing_models) {
  70     if (model != surf_host_model && model != surf_vm_model && model != surf_network_model &&
  71         model != surf_storage_model) {
  72       double next_event_model = model->next_occuring_event(NOW);
  73       if ((time_delta < 0.0 || next_event_model < time_delta) && next_event_model >= 0.0)
  74         time_delta = next_event_model;
  75     }
  76   }
  77
  78   XBT_DEBUG("Min for resources (remember that NS3 don't update that value): %f", time_delta);
  79
  80   XBT_DEBUG("Looking for next trace event");
  81
  82   while (1) { // Handle next occurring events until none remains
  83     double next_event_date = future_evt_set->next_date();
  84     XBT_DEBUG("Next TRACE event: %f", next_event_date);
  85
  86     if (not surf_network_model->next_occuring_event_is_idempotent()) { // NS3, I see you
  87       if (next_event_date != -1.0) {
  88         time_delta = std::min(next_event_date - NOW, time_delta);
  89       } else {
  90         time_delta = std::max(next_event_date - NOW, time_delta); // Get the positive component
  91       }
  92
  93       XBT_DEBUG("Run the NS3 network at most %fs", time_delta);
  94       // run until min or next flow
  95       model_next_action_end = surf_network_model->next_occuring_event(time_delta);
  96
  97       XBT_DEBUG("Min for network : %f", model_next_action_end);
  98       if (model_next_action_end >= 0.0)
  99         time_delta = model_next_action_end;
 100     }
 101
 102     if (next_event_date < 0.0 || (next_event_date > NOW + time_delta)) {
 103       // next event may have already occurred or will after the next resource change, then bail out
 104       XBT_DEBUG("no next usable TRACE event. Stop searching for it");
 105       break;
 106     }
 107
 108     XBT_DEBUG("Updating models (min = %g, NOW = %g, next_event_date = %g)", time_delta, NOW, next_event_date);
 109
 110     while ((event = future_evt_set->pop_leq(next_event_date, &value, &resource))) {
 111       if (resource->is_used() || (watched_hosts.find(resource->get_cname()) != watched_hosts.end())) {
 112         time_delta = next_event_date - NOW;
 113         XBT_DEBUG("This event invalidates the next_occuring_event() computation of models. Next event set to %f", time_delta);
 114       }
 115       // FIXME: I'm too lame to update NOW live, so I change it and restore it so that the real update with surf_min will work
 116       double round_start = NOW;
 117       NOW = next_event_date;
 118       /* update state of the corresponding resource to the new value. Does not touch lmm.
 119          It will be modified if needed when updating actions */
 120       XBT_DEBUG("Calling update_resource_state for resource %s", resource->get_cname());
 121       resource->apply_event(event, value);
 122       NOW = round_start;
 123     }
 124   }
 125
 126   /* FIXME: Moved this test to here to avoid stopping simulation if there are actions running on cpus and all cpus are with availability = 0.
 127    * This may cause an infinite loop if one cpu has a trace with periodicity = 0 and the other a trace with periodicity > 0.
 128    * The options are: all traces with same periodicity(0 or >0) or we need to change the way how the events are managed */
 129   if (time_delta < 0) {
 130     XBT_DEBUG("No next event at all. Bail out now.");
 131     return -1.0;
 132   }
 133
 134   XBT_DEBUG("Duration set to %f", time_delta);
 135
 136   // Bump the time: jump into the future
 137   NOW = NOW + time_delta;
 138
 139   // Inform the models of the date change
 140   for (auto const& model : *all_existing_models)
 141     model->update_actions_state(NOW, time_delta);
 142
 143   simgrid::s4u::on_time_advance(time_delta);
 144
 145   TRACE_paje_dump_buffer(false);
 146
 147   return time_delta;
 148 }
 149
 150 /*********
 151  * MODEL *
 152  *********/
 153 static simgrid::kernel::resource::Action* ActionListExtract(simgrid::kernel::resource::Action::StateSet* list)
 154 {
 155   if (list->empty())
 156     return nullptr;
 157   simgrid::kernel::resource::Action* res = &list->front();
 158   list->pop_front();
 159   return res;
 160 }
 161
 162 simgrid::kernel::resource::Action* surf_model_extract_done_action_set(simgrid::kernel::resource::Model* model)
 163 {
 164   return ActionListExtract(model->get_finished_action_set());
 165 }
 166
 167 simgrid::kernel::resource::Action* surf_model_extract_failed_action_set(simgrid::kernel::resource::Model* model)
 168 {
 169   return ActionListExtract(model->get_failed_action_set());
 170 }
 171
 172 int surf_model_running_action_set_size(simgrid::kernel::resource::Model* model)
 173 {
 174   return model->get_started_action_set()->size();
 175 }
 176
 177 void surf_cpu_action_set_bound(simgrid::kernel::resource::Action* action, double bound)
 178 {
 179   static_cast<simgrid::surf::CpuAction*>(action)->set_bound(bound);
 180 }