Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
pthreads are not used anymore. Standard C++ ones are
[simgrid.git] / src / kernel / EngineImpl.cpp
1 /* Copyright (c) 2016-2023. 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/Exception.hpp>
7 #include <simgrid/kernel/Timer.hpp>
8 #include <simgrid/kernel/routing/NetPoint.hpp>
9 #include <simgrid/kernel/routing/NetZoneImpl.hpp>
10 #include <simgrid/s4u/Host.hpp>
11 #include <simgrid/sg_config.hpp>
12
13 #include "mc/mc.h"
14 #include "src/kernel/EngineImpl.hpp"
15 #include "src/kernel/resource/StandardLinkImpl.hpp"
16 #include "src/kernel/resource/profile/Profile.hpp"
17 #include "src/mc/mc_record.hpp"
18 #include "src/mc/mc_replay.hpp"
19 #include "src/smpi/include/smpi_actor.hpp"
20 #include "src/surf/xml/platf.hpp"
21 #include "xbt/module.h"
22 #include "xbt/xbt_modinter.h" /* whether initialization was already done */
23
24 #include <boost/algorithm/string/predicate.hpp>
25 #include <dlfcn.h>
26
27 #if SIMGRID_HAVE_MC
28 #include "src/mc/remote/AppSide.hpp"
29 #endif
30
31 XBT_LOG_NEW_DEFAULT_CATEGORY(ker_engine, "Logging specific to Engine (kernel)");
32
33 namespace simgrid::kernel {
34 double EngineImpl::now_           = 0.0;
35 EngineImpl* EngineImpl::instance_ = nullptr; /* That singleton is awful too. */
36
37 config::Flag<double> cfg_breakpoint{"debug/breakpoint",
38                                     "When non-negative, raise a SIGTRAP after given (simulated) time", -1.0};
39 config::Flag<bool> cfg_verbose_exit{"debug/verbose-exit", "Display the actor status at exit", true};
40
41 constexpr std::initializer_list<std::pair<const char*, context::ContextFactory* (*)()>> context_factories = {
42 #if HAVE_RAW_CONTEXTS
43     {"raw", &context::raw_factory},
44 #endif
45 #if HAVE_UCONTEXT_CONTEXTS
46     {"ucontext", &context::sysv_factory},
47 #endif
48 #if HAVE_BOOST_CONTEXTS
49     {"boost", &context::boost_factory},
50 #endif
51     {"thread", &context::thread_factory},
52 };
53
54 static_assert(context_factories.size() > 0, "No context factories are enabled for this build");
55
56 // Create the list of possible contexts:
57 static inline std::string contexts_list()
58 {
59   std::string res;
60   std::string sep = "";
61   for (auto const& [factory_name, _] : context_factories) {
62     res += sep + factory_name;
63     sep = ", ";
64   }
65   return res;
66 }
67
68 static config::Flag<std::string> context_factory_name("contexts/factory",
69                                                       ("Possible values: " + contexts_list()).c_str(),
70                                                       context_factories.begin()->first);
71
72 } // namespace simgrid::kernel
73
74 XBT_ATTRIB_NORETURN static void inthandler(int)
75 {
76   if (simgrid::kernel::cfg_verbose_exit) {
77     XBT_INFO("CTRL-C pressed. The current status will be displayed before exit (disable that behavior with option "
78              "'debug/verbose-exit').");
79     simgrid::kernel::EngineImpl::get_instance()->display_all_actor_status();
80   } else {
81     XBT_INFO("CTRL-C pressed, exiting. Hiding the current process status since 'debug/verbose-exit' is set to false.");
82   }
83   exit(1);
84 }
85
86 static void segvhandler(int signum, siginfo_t* siginfo, void* /*context*/)
87 {
88   if ((siginfo->si_signo == SIGSEGV && siginfo->si_code == SEGV_ACCERR) || siginfo->si_signo == SIGBUS) {
89     fprintf(stderr,
90             "Access violation or Bus error detected.\n"
91             "This probably comes from a programming error in your code, or from a stack\n"
92             "overflow. If you are certain of your code, try increasing the stack size\n"
93             "   --cfg=contexts/stack-size:XXX (current size is %u KiB).\n"
94             "\n"
95             "If it does not help, this may have one of the following causes:\n"
96             "a bug in SimGrid, a bug in the OS or a bug in a third-party libraries.\n"
97             "Failing hardware can sometimes generate such errors too.\n"
98             "\n"
99             "If you think you've found a bug in SimGrid, please report it along with a\n"
100             "Minimal Working Example (MWE) reproducing your problem and a full backtrace\n"
101             "of the fault captured with gdb or valgrind.\n",
102             simgrid::kernel::context::stack_size / 1024);
103   } else if (siginfo->si_signo == SIGSEGV) {
104     fprintf(stderr, "Segmentation fault.\n");
105 #if HAVE_SMPI
106     if (SMPI_is_inited() && smpi_cfg_privatization() == SmpiPrivStrategies::NONE) {
107 #if HAVE_PRIVATIZATION
108       fprintf(stderr, "Try to enable SMPI variable privatization with --cfg=smpi/privatization:yes.\n");
109 #else
110       fprintf(stderr, "Sadly, your system does not support --cfg=smpi/privatization:yes (yet).\n");
111 #endif /* HAVE_PRIVATIZATION */
112     }
113 #endif /* HAVE_SMPI */
114   }
115   std::raise(signum);
116 }
117
118 /**
119  * Install signal handler for SIGSEGV.  Check that nobody has already installed
120  * its own handler.  For example, the Java VM does this.
121  */
122 static void install_segvhandler()
123 {
124   stack_t old_stack;
125
126   if (simgrid::kernel::context::Context::install_sigsegv_stack(&old_stack, true) == -1) {
127     XBT_WARN("Failed to register alternate signal stack: %s", strerror(errno));
128     return;
129   }
130   if (not(old_stack.ss_flags & SS_DISABLE)) {
131     XBT_DEBUG("An alternate stack was already installed (sp=%p, size=%zu, flags=%x). Restore it.", old_stack.ss_sp,
132               old_stack.ss_size, (unsigned)old_stack.ss_flags);
133     sigaltstack(&old_stack, nullptr);
134   }
135
136   struct sigaction action;
137   struct sigaction old_action;
138   action.sa_sigaction = &segvhandler;
139   action.sa_flags     = SA_ONSTACK | SA_RESETHAND | SA_SIGINFO;
140   sigemptyset(&action.sa_mask);
141
142   /* Linux tend to raise only SIGSEGV where other systems also raise SIGBUS on severe error */
143   for (int sig : {SIGSEGV, SIGBUS}) {
144     if (sigaction(sig, &action, &old_action) == -1) {
145       XBT_WARN("Failed to register signal handler for signal %d: %s", sig, strerror(errno));
146       continue;
147     }
148     if ((old_action.sa_flags & SA_SIGINFO) || old_action.sa_handler != SIG_DFL) {
149       XBT_DEBUG("A signal handler was already installed for signal %d (%p). Restore it.", sig,
150                 (old_action.sa_flags & SA_SIGINFO) ? (void*)old_action.sa_sigaction : (void*)old_action.sa_handler);
151       sigaction(sig, &old_action, nullptr);
152     }
153   }
154 }
155
156 namespace simgrid::kernel {
157
158 EngineImpl::~EngineImpl()
159 {
160   /* Also delete the other data */
161   delete netzone_root_;
162   for (auto const& [_, netpoint] : netpoints_)
163     delete netpoint;
164
165   for (auto const& [_, mailbox] : mailboxes_)
166     delete mailbox;
167
168   /* Kill all actors (but maestro) */
169   maestro_->kill_all();
170   run_all_actors();
171   empty_trash();
172
173   delete maestro_;
174   delete context_factory_;
175
176   /* clear models before freeing handle, network models can use external callback defined in the handle */
177   models_prio_.clear();
178 }
179
180 void EngineImpl::initialize(int* argc, char** argv)
181 {
182   xbt_assert(EngineImpl::instance_ == nullptr,
183              "It is currently forbidden to create more than one instance of kernel::EngineImpl");
184   EngineImpl::instance_ = this;
185 #if SIMGRID_HAVE_MC
186   // The communication initialization is done ASAP, as we need to get some init parameters from the MC for different
187   // layers. But instance_ needs to be created, as we send the address of some of its fields to the MC that wants to
188   // read them directly.
189   simgrid::mc::AppSide::initialize();
190 #endif
191
192   if (xbt_initialized == 0) {
193     xbt_init(argc, argv);
194
195     sg_config_init(argc, argv);
196   }
197
198   instance_->context_mod_init();
199
200   /* Prepare to display some more info when dying on Ctrl-C pressing */
201   std::signal(SIGINT, inthandler);
202   install_segvhandler();
203
204   /* register a function to be called by SURF after the environment creation */
205   sg_platf_init();
206   s4u::Engine::on_platform_created_cb([this]() { this->presolve(); });
207
208   if (config::get_value<bool>("debug/clean-atexit"))
209     atexit(shutdown);
210 }
211
212 void EngineImpl::context_mod_init() const
213 {
214   xbt_assert(not instance_->has_context_factory());
215
216 #if HAVE_SMPI && defined(__NetBSD__)
217   smpi_init_options_internal(false);
218   std::string priv = config::get_value<std::string>("smpi/privatization");
219   if (context_factory_name == "thread" && (priv == "dlopen" || priv == "yes" || priv == "default" || priv == "1")) {
220     XBT_WARN("dlopen+thread broken on Apple and BSD. Switching to raw contexts.");
221     context_factory_name = "raw";
222   }
223 #endif
224
225 #if HAVE_SMPI && defined(__FreeBSD__)
226   smpi_init_options_internal(false);
227   if (context_factory_name == "thread" && config::get_value<std::string>("smpi/privatization") != "no") {
228     XBT_WARN("mmap broken on FreeBSD, but dlopen+thread broken too. Switching to dlopen+raw contexts.");
229     context_factory_name = "raw";
230   }
231 #endif
232
233   /* select the context factory to use to create the contexts */
234   if (context::ContextFactory::initializer) { // Give Java a chance to hijack the factory mechanism
235     instance_->set_context_factory(context::ContextFactory::initializer());
236     return;
237   }
238   /* use the factory specified by --cfg=contexts/factory:value */
239   for (auto const& [factory_name, factory] : context_factories)
240     if (context_factory_name == factory_name) {
241       instance_->set_context_factory(factory());
242       break;
243     }
244
245   if (not instance_->has_context_factory()) {
246     XBT_ERROR("Invalid context factory specified. Valid factories on this machine:");
247 #if HAVE_RAW_CONTEXTS
248     XBT_ERROR("  raw: high performance context factory implemented specifically for SimGrid");
249 #else
250     XBT_ERROR("  (raw contexts were disabled at compilation time on this machine -- check configure logs for details)");
251 #endif
252 #if HAVE_UCONTEXT_CONTEXTS
253     XBT_ERROR("  ucontext: classical system V contexts (implemented with makecontext, swapcontext and friends)");
254 #else
255     XBT_ERROR("  (ucontext was disabled at compilation time on this machine -- check configure logs for details)");
256 #endif
257 #if HAVE_BOOST_CONTEXTS
258     XBT_ERROR("  boost: this uses the boost libraries context implementation");
259 #else
260     XBT_ERROR("  (boost was disabled at compilation time on this machine -- check configure logs for details. Did you "
261               "install the libboost-context-dev package?)");
262 #endif
263     XBT_ERROR("  thread: slow portability layer using standard threads as provided by libstdc");
264     xbt_die("Please use a valid factory.");
265   }
266 }
267
268 void EngineImpl::shutdown()
269 {
270   if (EngineImpl::instance_ == nullptr)
271     return;
272   XBT_DEBUG("EngineImpl::shutdown() called. Simulation's over.");
273 #if HAVE_SMPI
274   if (not instance_->actor_list_.empty()) {
275     if (smpi_process() && smpi_process()->initialized()) {
276       xbt_die("Process exited without calling MPI_Finalize - Killing simulation");
277     } else {
278       XBT_WARN("Process called exit when leaving - Skipping cleanups");
279       return;
280     }
281   }
282 #endif
283
284   if (instance_->has_actors_to_run() && simgrid_get_clock() <= 0.0) {
285     XBT_CRITICAL("   ");
286     XBT_CRITICAL("The time is still 0, and you still have processes ready to run.");
287     XBT_CRITICAL("It seems that you forgot to run the simulation that you setup.");
288     xbt_die("Bailing out to avoid that stop-before-start madness. Please fix your code.");
289   }
290
291   while (not timer::kernel_timers().empty()) {
292     delete timer::kernel_timers().top().second;
293     timer::kernel_timers().pop();
294   }
295
296   tmgr_finalize();
297   sg_platf_exit();
298
299   delete instance_;
300   instance_ = nullptr;
301 }
302
303 void EngineImpl::seal_platform() const
304 {
305   /* Seal only once */
306   static bool sealed = false;
307   if (sealed)
308     return;
309   sealed = true;
310
311   /* seal netzone root, recursively seal children netzones, hosts and disks */
312   netzone_root_->seal();
313 }
314
315 void EngineImpl::load_platform(const std::string& platf)
316 {
317   double start = xbt_os_time();
318   if (boost::algorithm::ends_with(platf, ".so") || boost::algorithm::ends_with(platf, ".dylib")) {
319     void* handle = dlopen(platf.c_str(), RTLD_LAZY);
320     xbt_assert(handle, "Impossible to open platform file: %s", platf.c_str());
321     platf_handle_           = std::unique_ptr<void, std::function<int(void*)>>(handle, dlclose);
322     using load_fct_t = void (*)(const simgrid::s4u::Engine&);
323     auto callable           = (load_fct_t)dlsym(platf_handle_.get(), "load_platform");
324     const char* dlsym_error = dlerror();
325     xbt_assert(not dlsym_error, "Error: %s", dlsym_error);
326     callable(*simgrid::s4u::Engine::get_instance());
327   } else {
328     parse_platform_file(platf);
329   }
330
331   double end = xbt_os_time();
332   XBT_DEBUG("PARSE TIME: %g", (end - start));
333 }
334
335 void EngineImpl::load_deployment(const std::string& file) const
336 {
337   sg_platf_exit();
338   sg_platf_init();
339
340   surf_parse_open(file);
341   surf_parse();
342   surf_parse_close();
343 }
344
345 void EngineImpl::register_function(const std::string& name, const actor::ActorCodeFactory& code)
346 {
347   registered_functions[name] = code;
348 }
349 void EngineImpl::register_default(const actor::ActorCodeFactory& code)
350 {
351   default_function = code;
352 }
353
354 void EngineImpl::add_model(std::shared_ptr<resource::Model> model, const std::vector<resource::Model*>& dependencies)
355 {
356   auto model_name = model->get_name();
357   xbt_assert(models_prio_.find(model_name) == models_prio_.end(),
358              "Model %s already exists, use model.set_name() to change its name", model_name.c_str());
359
360   for (const auto* dep : dependencies) {
361     xbt_assert(models_prio_.find(dep->get_name()) != models_prio_.end(),
362                "Model %s doesn't exists. Impossible to use it as dependency.", dep->get_name().c_str());
363   }
364   models_.push_back(model.get());
365   models_prio_[model_name] = std::move(model);
366 }
367
368 /** Wake up all actors waiting for a Surf action to finish */
369 void EngineImpl::handle_ended_actions() const
370 {
371   for (auto const& model : models_) {
372     XBT_DEBUG("Handling the failed actions (if any)");
373     while (auto* action = model->extract_failed_action()) {
374       XBT_DEBUG("   Handling Action %p", action);
375       if (action->get_activity() != nullptr) { // Skip vcpu actions
376         // Action failures are not automatically reported when the action is started by maestro (as in SimDAG)
377         if (action->get_activity()->get_actor() == maestro_)
378           action->get_activity()->get_iface()->complete(s4u::Activity::State::FAILED);
379
380         activity::ActivityImplPtr(action->get_activity())->post();
381       }
382     }
383     XBT_DEBUG("Handling the terminated actions (if any)");
384     while (auto* action = model->extract_done_action()) {
385       XBT_DEBUG("   Handling Action %p", action);
386       if (action->get_activity() != nullptr) {
387         // Action termination are not automatically reported when the action is started by maestro (as in SimDAG)
388         action->get_activity()->set_finish_time(action->get_finish_time());
389
390         if (action->get_activity()->get_actor() == maestro_)
391           action->get_activity()->get_iface()->complete(s4u::Activity::State::FINISHED);
392
393         activity::ActivityImplPtr(action->get_activity())->post();
394       }
395     }
396   }
397 }
398 /**
399  * @brief Executes the actors in actors_to_run.
400  *
401  * The actors in actors_to_run are run (in parallel if possible). On exit, actors_to_run is empty, and actors_that_ran
402  * contains the list of actors that just ran.  The two lists are swapped so, be careful when using them before and after
403  * a call to this function.
404  */
405 void EngineImpl::run_all_actors()
406 {
407   instance_->get_context_factory()->run_all(actors_to_run_);
408
409   for (auto const& actor : actors_to_run_)
410     if (actor->to_be_freed())
411       actor->cleanup_from_kernel();
412
413   actors_to_run_.swap(actors_that_ran_);
414   actors_to_run_.clear();
415 }
416
417 actor::ActorImpl* EngineImpl::get_actor_by_pid(aid_t pid)
418 {
419   auto item = actor_list_.find(pid);
420   return item == actor_list_.end() ? nullptr : item->second;
421 }
422
423 void EngineImpl::remove_daemon(actor::ActorImpl* actor)
424 {
425   auto it = daemons_.find(actor);
426   xbt_assert(it != daemons_.end(), "The dying daemon is not a daemon after all. Please report that bug.");
427   daemons_.erase(it);
428 }
429
430 void EngineImpl::add_actor_to_run_list_no_check(actor::ActorImpl* actor)
431 {
432   XBT_DEBUG("Inserting [%p] %s(%s) in the to_run list", actor, actor->get_cname(), actor->get_host()->get_cname());
433   actors_to_run_.push_back(actor);
434 }
435
436 void EngineImpl::add_actor_to_run_list(actor::ActorImpl* actor)
437 {
438   if (std::find(begin(actors_to_run_), end(actors_to_run_), actor) != end(actors_to_run_)) {
439     XBT_DEBUG("Actor %s is already in the to_run list", actor->get_cname());
440   } else {
441     XBT_DEBUG("Inserting [%p] %s(%s) in the to_run list", actor, actor->get_cname(), actor->get_host()->get_cname());
442     actors_to_run_.push_back(actor);
443   }
444 }
445 void EngineImpl::empty_trash()
446 {
447   while (not actors_to_destroy_.empty()) {
448     actor::ActorImpl* actor = &actors_to_destroy_.front();
449     actors_to_destroy_.pop_front();
450     XBT_DEBUG("Getting rid of %s (refcount: %d)", actor->get_cname(), actor->get_refcount());
451     intrusive_ptr_release(actor);
452   }
453 }
454
455 void EngineImpl::display_all_actor_status() const
456 {
457   XBT_INFO("%zu actors are still running, waiting for something.", actor_list_.size());
458   /*  List the actors and their state */
459   XBT_INFO("Legend of the following listing: \"Actor <pid> (<name>@<host>): <status>\"");
460   for (auto const& [_, actor] : actor_list_) {
461     if (actor->waiting_synchro_) {
462       const char* synchro_description = "unknown";
463
464       if (boost::dynamic_pointer_cast<kernel::activity::ExecImpl>(actor->waiting_synchro_) != nullptr)
465         synchro_description = "execution";
466
467       if (boost::dynamic_pointer_cast<kernel::activity::CommImpl>(actor->waiting_synchro_) != nullptr)
468         synchro_description = "communication";
469
470       if (boost::dynamic_pointer_cast<kernel::activity::SleepImpl>(actor->waiting_synchro_) != nullptr)
471         synchro_description = "sleeping";
472
473       if (boost::dynamic_pointer_cast<kernel::activity::SynchroImpl>(actor->waiting_synchro_) != nullptr)
474         synchro_description = "synchronization";
475
476       if (boost::dynamic_pointer_cast<kernel::activity::IoImpl>(actor->waiting_synchro_) != nullptr)
477         synchro_description = "I/O";
478
479       XBT_INFO("Actor %ld (%s@%s): waiting for %s activity %#zx (%s) in state %s to finish %s", actor->get_pid(),
480                actor->get_cname(), actor->get_host()->get_cname(), synchro_description,
481                (xbt_log_no_loc ? (size_t)0xDEADBEEF : (size_t)actor->waiting_synchro_.get()),
482                actor->waiting_synchro_->get_cname(), actor->waiting_synchro_->get_state_str(),
483                (actor->simcall_.observer_ != nullptr && not xbt_log_no_loc
484                     ? actor->simcall_.observer_->to_string().c_str()
485                     : ""));
486     } else {
487       XBT_INFO("Actor %ld (%s@%s) simcall %s", actor->get_pid(), actor->get_cname(), actor->get_host()->get_cname(),
488                (actor->simcall_.observer_ != nullptr ? actor->simcall_.observer_->to_string().c_str()
489                                                      : actor->simcall_.get_cname()));
490     }
491   }
492 }
493
494 void EngineImpl::presolve() const
495 {
496   XBT_DEBUG("Consume all trace events occurring before the starting time.");
497   double next_event_date;
498   while ((next_event_date = profile::future_evt_set.next_date()) != -1.0) {
499     if (next_event_date > now_)
500       break;
501
502     double value                 = -1.0;
503     resource::Resource* resource = nullptr;
504     while (auto* event = profile::future_evt_set.pop_leq(next_event_date, &value, &resource)) {
505       if (value >= 0)
506         resource->apply_event(event, value);
507     }
508   }
509
510   XBT_DEBUG("Set every models in the right state by updating them to 0.");
511   for (auto const& model : models_)
512     model->update_actions_state(now_, 0.0);
513 }
514
515 double EngineImpl::solve(double max_date) const
516 {
517   double time_delta            = -1.0; /* duration */
518   double value                 = -1.0;
519   resource::Resource* resource = nullptr;
520
521   if (max_date != -1.0) {
522     xbt_assert(max_date >= now_, "You asked to simulate up to %f, but that's in the past already", max_date);
523
524     time_delta = max_date - now_;
525   }
526
527   XBT_DEBUG("Looking for next event in all models");
528   for (auto model : models_) {
529     if (not model->next_occurring_event_is_idempotent()) {
530       continue;
531     }
532     double next_event = model->next_occurring_event(now_);
533     if ((time_delta < 0.0 || next_event < time_delta) && next_event >= 0.0) {
534       time_delta = next_event;
535     }
536   }
537
538   XBT_DEBUG("Min for resources (remember that NS3 don't update that value): %f", time_delta);
539
540   XBT_DEBUG("Looking for next trace event");
541
542   while (true) { // Handle next occurring events until none remains
543     double next_event_date = profile::future_evt_set.next_date();
544     XBT_DEBUG("Next TRACE event: %f", next_event_date);
545
546     for (auto model : models_) {
547       /* Skip all idempotent models, they were already treated above
548        * NS3 is the one to handled here */
549       if (model->next_occurring_event_is_idempotent())
550         continue;
551
552       if (next_event_date != -1.0) {
553         time_delta = std::min(next_event_date - now_, time_delta);
554       } else {
555         time_delta = std::max(next_event_date - now_, time_delta); // Get the positive component
556       }
557
558       XBT_DEBUG("Run the NS3 network at most %fs", time_delta);
559       // run until min or next flow
560       double model_next_action_end = model->next_occurring_event(time_delta);
561
562       XBT_DEBUG("Min for network : %f", model_next_action_end);
563       if (model_next_action_end >= 0.0)
564         time_delta = model_next_action_end;
565     }
566
567     if (next_event_date < 0.0 || (next_event_date > now_ + time_delta)) {
568       // next event may have already occurred or will after the next resource change, then bail out
569       XBT_DEBUG("no next usable TRACE event. Stop searching for it");
570       break;
571     }
572
573     XBT_DEBUG("Updating models (min = %g, NOW = %g, next_event_date = %g)", time_delta, now_, next_event_date);
574
575     while (auto* event = profile::future_evt_set.pop_leq(next_event_date, &value, &resource)) {
576       if(value<0)
577               continue;
578       if (resource->is_used() || (watched_hosts().find(resource->get_cname()) != watched_hosts().end())) {
579         time_delta = next_event_date - now_;
580         XBT_DEBUG("This event invalidates the next_occurring_event() computation of models. Next event set to %f",
581                   time_delta);
582       }
583       // FIXME: I'm too lame to update now_ live, so I change it and restore it so that the real update with surf_min
584       // will work
585       double round_start = now_;
586       now_               = next_event_date;
587       /* update state of the corresponding resource to the new value. Does not touch lmm.
588          It will be modified if needed when updating actions */
589       XBT_DEBUG("Calling update_resource_state for resource %s", resource->get_cname());
590       resource->apply_event(event, value);
591       now_ = round_start;
592     }
593   }
594
595   /* FIXME: Moved this test to here to avoid stopping simulation if there are actions running on cpus and all cpus are
596    * with availability = 0. This may cause an infinite loop if one cpu has a trace with periodicity = 0 and the other a
597    * trace with periodicity > 0.
598    * The options are: all traces with same periodicity(0 or >0) or we need to change the way how the events are managed
599    */
600   if (time_delta < 0) {
601     XBT_DEBUG("No next event at all. Bail out now.");
602     return -1.0;
603   }
604
605   XBT_DEBUG("Duration set to %f", time_delta);
606
607   // Bump the time: jump into the future
608   now_ += time_delta;
609
610   // Inform the models of the date change
611   for (auto const& model : models_)
612     model->update_actions_state(now_, time_delta);
613
614   s4u::Engine::on_time_advance(time_delta);
615
616   return time_delta;
617 }
618
619 void EngineImpl::run(double max_date)
620 {
621   seal_platform();
622
623   if (MC_is_active()) {
624 #if SIMGRID_HAVE_MC
625     mc::AppSide::get()->main_loop();
626 #else
627     xbt_die("MC_is_active() is not supposed to return true in non-MC settings");
628 #endif
629     THROW_IMPOSSIBLE; // main_loop never returns
630   }
631
632   if (MC_record_replay_is_active()) {
633     mc::RecordTrace::replay(MC_record_path());
634     empty_trash();
635     return;
636   }
637
638   double elapsed_time = -1;
639   const std::set<s4u::Activity*>* vetoed_activities = s4u::Activity::get_vetoed_activities();
640
641   do {
642     XBT_DEBUG("New Schedule Round; size(queue)=%zu", actors_to_run_.size());
643
644     if (cfg_breakpoint >= 0.0 && simgrid_get_clock() >= cfg_breakpoint) {
645       XBT_DEBUG("Breakpoint reached (%g)", cfg_breakpoint.get());
646       cfg_breakpoint = -1.0; // Let the simulation continue without hiting the breakpoint again and again
647 #ifdef SIGTRAP
648       std::raise(SIGTRAP);
649 #else
650       std::raise(SIGABRT);
651 #endif
652     }
653
654     while (not actors_to_run_.empty()) {
655       XBT_DEBUG("New Sub-Schedule Round; size(queue)=%zu", actors_to_run_.size());
656
657       /* Run all actors that are ready to run, possibly in parallel */
658       run_all_actors();
659
660       /* answer sequentially and in a fixed arbitrary order all the simcalls that were issued during that sub-round.
661        * The order must be fixed for the simulation to be reproducible (see RR-7653). It's OK here because only maestro
662        * changes the list. Killer actors are moved to the end to let victims finish their simcall before dying, but
663        * the order remains reproducible (even if arbitrarily). No need to sort the vector for sake of reproducibility.
664        */
665       for (auto const& actor : actors_that_ran_)
666         if (actor->simcall_.call_ != actor::Simcall::Type::NONE)
667           actor->simcall_handle(0);
668
669       handle_ended_actions();
670
671       /* If only daemon actors remain, cancel their actions, mark them to die and reschedule them */
672       if (actor_list_.size() == daemons_.size())
673         for (auto const& dmon : daemons_) {
674           XBT_DEBUG("Kill %s", dmon->get_cname());
675           maestro_->kill(dmon);
676         }
677     }
678
679     // Compute the max_date of the next solve.
680     // It's either when a timer occurs, or when user-specified deadline is reached, or -1 if none is given
681     double next_time = timer::Timer::next();
682     if (next_time < 0 && max_date > -1) {
683       next_time = max_date;
684     } else if (next_time > -1 && max_date > -1) { // either both <0, or both >0
685       next_time = std::min(next_time, max_date);
686     }
687
688     XBT_DEBUG("Calling solve(%g) %g", next_time, now_);
689     elapsed_time = solve(next_time);
690     XBT_DEBUG("Moving time ahead. NOW=%g; elapsed: %g", now_, elapsed_time);
691
692     // Execute timers until there isn't anything to be done:
693     bool again = false;
694     do {
695       again = timer::Timer::execute_all();
696       handle_ended_actions();
697     } while (again);
698
699     /* Clean actors to destroy */
700     empty_trash();
701
702     XBT_DEBUG("### elapsed time %f, #actors %zu, #to_run %zu, #vetoed %d", elapsed_time, actor_list_.size(),
703               actors_to_run_.size(), (vetoed_activities == nullptr ? -1 : static_cast<int>(vetoed_activities->size())));
704
705     if (elapsed_time < 0. && actors_to_run_.empty() && not actor_list_.empty()) {
706       if (actor_list_.size() <= daemons_.size()) {
707         XBT_CRITICAL("Oops! Daemon actors cannot do any blocking activity (communications, synchronization, etc) "
708                      "once the simulation is over. Please fix your on_exit() functions.");
709       } else {
710         XBT_CRITICAL("Oops! Deadlock detected, some activities are still around but will never complete. "
711                      "This usually happens when the user code is not perfectly clean.");
712       }
713       display_all_actor_status();
714       simgrid::s4u::Engine::on_deadlock();
715       for (auto const& [_, actor] : actor_list_) {
716         XBT_DEBUG("Kill %s", actor->get_cname());
717         maestro_->kill(actor);
718       }
719     }
720   } while ((vetoed_activities == nullptr || vetoed_activities->empty()) &&
721            ((elapsed_time > -1.0 && not double_equals(max_date, now_, 0.00001)) || has_actors_to_run()));
722
723   if (not actor_list_.empty() && max_date < 0 && not(vetoed_activities == nullptr || vetoed_activities->empty()))
724     THROW_IMPOSSIBLE;
725
726   simgrid::s4u::Engine::on_simulation_end();
727 }
728
729 double EngineImpl::get_clock()
730 {
731   return now_;
732 }
733 } // namespace simgrid::kernel