simgrid::kernel::profile::FutureEvtSet future_evt_set;
std::vector<std::string> surf_path;
-/** set of hosts for which one want to be notified if they ever restart */
-std::set<std::string, std::less<>>& watched_hosts() // avoid static initialization order fiasco
-{
- static std::set<std::string, std::less<>> value;
- return value;
-}
-
-extern std::map<std::string, simgrid::kernel::resource::StorageType*, std::less<>> storage_types;
-
std::vector<surf_model_description_t>* surf_plugin_description = nullptr;
static void XBT_ATTRIB_DESTRUCTOR(800) simgrid_free_plugin_description()
{"default", "Simplistic disk model.", &surf_disk_model_init_default},
};
-const std::vector<surf_model_description_t> surf_storage_model_description = {
- {"default", "Simplistic storage model.", &surf_storage_model_init_default},
-};
-
double NOW = 0;
double surf_get_clock()
void surf_exit()
{
simgrid::s4u::Engine::shutdown();
- for (auto const& e : storage_types) {
- const simgrid::kernel::resource::StorageType* stype = e.second;
- delete stype->properties;
- delete stype->model_properties;
- delete stype;
- }
for (auto const& model : all_existing_models)
delete model;