#include "simgrid/kernel/routing/NetPoint.hpp"
#include "simgrid/s4u/Engine.hpp"
#include "simgrid/s4u/Host.hpp"
+#include "src/kernel/EngineImpl.hpp"
#include "src/plugins/vm/VirtualMachineImpl.hpp"
-#include "src/simix/smx_private.hpp"
#include <string>
for (auto const& actor : actor_list_)
msg += "\n\t" + std::string(actor.get_name());
- simix_global->display_all_actor_status();
+ kernel::EngineImpl::get_instance()->display_all_actor_status();
xbt_die("%s", msg.c_str());
}
for (auto const& arg : actors_at_boot_)
// seals host's CPU
get_iface()->pimpl_cpu->seal();
sealed_ = true;
+
+ /* seal its disks */
+ for (auto* disk : disks_)
+ disk->seal();
}
} // namespace surf
} // namespace simgrid