-/* Copyright (c) 2007-2018. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2007-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
return simix_timers.empty() ? -1.0 : simix_timers.top().first;
}
-static void kill_process(smx_actor_t process)
-{
- SIMIX_process_kill(process, nullptr);
-}
-
-
namespace simgrid {
namespace simix {
simgrid::mc::Client::initialize();
#endif
- if (not simix_global) {
+ if (simix_global == nullptr) {
simix_global = std::unique_ptr<simgrid::simix::Global>(new simgrid::simix::Global());
simix_global->maestro_process = nullptr;
#endif
/* register a function to be called by SURF after the environment creation */
sg_platf_init();
- simgrid::s4u::on_platform_created.connect(SIMIX_post_create_environment);
+ simgrid::s4u::on_platform_created.connect(surf_presolve);
simgrid::s4u::Storage::on_creation.connect([](simgrid::s4u::Storage& storage) {
sg_storage_t s = simgrid::s4u::Storage::by_name(storage.get_cname());