1 /* Copyright (c) 2013-2021. The SimGrid Team. All rights reserved. */
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. */
6 #include "simgrid/s4u/Engine.hpp"
7 #include "src/include/surf/surf.hpp"
8 #include "src/instr/instr_private.hpp"
9 #include "src/kernel/EngineImpl.hpp"
10 #include "src/kernel/resource/DiskImpl.hpp"
11 #include "src/kernel/resource/profile/FutureEvtSet.hpp"
12 #include "src/plugins/vm/VirtualMachineImpl.hpp"
16 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(surf_kernel);
26 XBT_DEBUG("Consume all trace events occurring before the starting time.");
27 double next_event_date;
28 while ((next_event_date = simgrid::kernel::profile::future_evt_set.next_date()) != -1.0) {
29 if (next_event_date > NOW)
33 simgrid::kernel::resource::Resource* resource = nullptr;
34 while (auto* event = simgrid::kernel::profile::future_evt_set.pop_leq(next_event_date, &value, &resource)) {
36 resource->apply_event(event, value);
40 XBT_DEBUG("Set every models in the right state by updating them to 0.");
41 for (auto const& model : simgrid::kernel::EngineImpl::get_instance()->get_all_models())
42 model->update_actions_state(NOW, 0.0);
46 * @brief Auxiliary function to get next event from a list of models
48 * @param models list of models to explore (cpu, host, vm) (IN)
49 * @param time_delta delta for the next event (IN/OUT)
51 static void surf_update_next_event(std::vector<simgrid::kernel::resource::Model*> const& models, double& time_delta)
53 for (auto* model : models) {
54 if (not model->next_occurring_event_is_idempotent()) {
57 double next_event = model->next_occurring_event(NOW);
58 if ((time_delta < 0.0 || next_event < time_delta) && next_event >= 0.0) {
59 time_delta = next_event;
64 double surf_solve(double max_date)
66 double time_delta = -1.0; /* duration */
68 simgrid::kernel::resource::Resource* resource = nullptr;
70 if (max_date != -1.0) {
71 xbt_assert(max_date >= NOW, "You asked to simulate up to %f, but that's in the past already", max_date);
73 time_delta = max_date - NOW;
76 /* Physical models MUST be resolved first */
77 XBT_DEBUG("Looking for next event in physical models");
78 auto engine = simgrid::kernel::EngineImpl::get_instance();
79 surf_update_next_event(engine->get_model_list(simgrid::kernel::resource::Model::Type::HOST), time_delta);
81 // following the order it was done in HostCLM03Model->next_occurring_event
82 XBT_DEBUG("Looking for next event in CPU models");
83 surf_update_next_event(engine->get_model_list(simgrid::kernel::resource::Model::Type::CPU_PM), time_delta);
85 XBT_DEBUG("Looking for next event in network models");
86 surf_update_next_event(engine->get_model_list(simgrid::kernel::resource::Model::Type::NETWORK), time_delta);
87 XBT_DEBUG("Looking for next event in disk models");
88 surf_update_next_event(engine->get_model_list(simgrid::kernel::resource::Model::Type::DISK), time_delta);
90 XBT_DEBUG("Looking for next event in virtual models");
91 surf_update_next_event(engine->get_model_list(simgrid::kernel::resource::Model::Type::VM), time_delta);
92 surf_update_next_event(engine->get_model_list(simgrid::kernel::resource::Model::Type::CPU_VM), time_delta);
94 XBT_DEBUG("Min for resources (remember that NS3 don't update that value): %f", time_delta);
96 XBT_DEBUG("Looking for next trace event");
98 while (true) { // Handle next occurring events until none remains
99 double next_event_date = simgrid::kernel::profile::future_evt_set.next_date();
100 XBT_DEBUG("Next TRACE event: %f", next_event_date);
102 for (auto* model : engine->get_model_list(simgrid::kernel::resource::Model::Type::NETWORK)) {
103 /* Skip all idempotent models, they were already treated above
104 * NS3 is the one to handled here */
105 if (model->next_occurring_event_is_idempotent())
108 if (next_event_date != -1.0) {
109 time_delta = std::min(next_event_date - NOW, time_delta);
111 time_delta = std::max(next_event_date - NOW, time_delta); // Get the positive component
114 XBT_DEBUG("Run the NS3 network at most %fs", time_delta);
115 // run until min or next flow
116 double model_next_action_end = model->next_occurring_event(time_delta);
118 XBT_DEBUG("Min for network : %f", model_next_action_end);
119 if (model_next_action_end >= 0.0)
120 time_delta = model_next_action_end;
123 if (next_event_date < 0.0 || (next_event_date > NOW + time_delta)) {
124 // next event may have already occurred or will after the next resource change, then bail out
125 XBT_DEBUG("no next usable TRACE event. Stop searching for it");
129 XBT_DEBUG("Updating models (min = %g, NOW = %g, next_event_date = %g)", time_delta, NOW, next_event_date);
131 while (auto* event = simgrid::kernel::profile::future_evt_set.pop_leq(next_event_date, &value, &resource)) {
132 if (resource->is_used() || (watched_hosts().find(resource->get_cname()) != watched_hosts().end())) {
133 time_delta = next_event_date - NOW;
134 XBT_DEBUG("This event invalidates the next_occurring_event() computation of models. Next event set to %f",
137 // FIXME: I'm too lame to update NOW live, so I change it and restore it so that the real update with surf_min
139 double round_start = NOW;
140 NOW = next_event_date;
141 /* update state of the corresponding resource to the new value. Does not touch lmm.
142 It will be modified if needed when updating actions */
143 XBT_DEBUG("Calling update_resource_state for resource %s", resource->get_cname());
144 resource->apply_event(event, value);
149 /* FIXME: Moved this test to here to avoid stopping simulation if there are actions running on cpus and all cpus are
150 * with availability = 0. This may cause an infinite loop if one cpu has a trace with periodicity = 0 and the other a
151 * trace with periodicity > 0.
152 * The options are: all traces with same periodicity(0 or >0) or we need to change the way how the events are managed
154 if (time_delta < 0) {
155 XBT_DEBUG("No next event at all. Bail out now.");
159 XBT_DEBUG("Duration set to %f", time_delta);
161 // Bump the time: jump into the future
162 NOW = NOW + time_delta;
164 // Inform the models of the date change
165 for (auto const& model : simgrid::kernel::EngineImpl::get_instance()->get_all_models())
166 model->update_actions_state(NOW, time_delta);
168 simgrid::s4u::Engine::on_time_advance(time_delta);