+extern std::unordered_map<std::string, simgrid::s4u::Host*>
+ host_list; // FIXME: don't duplicate the content of s4u::Host this way
+
+void sg_host_exit()
+{
+ /* copy all names to not modify the map while iterating over it.
+ *
+ * Plus, the hosts are destroyed in the lexicographic order to ensure
+ * that the output is reproducible: we don't want to kill them in the
+ * pointer order as it could be platform-dependent, which would break
+ * the tests.
+ */
+ std::vector<std::string> names = std::vector<std::string>();
+ for (auto kv : host_list)
+ names.push_back(kv.second->name());
+
+ std::sort(names.begin(), names.end());
+
+ for (auto name : names)
+ host_list.at(name)->destroy();
+
+ // host_list.clear(); This would be sufficient if the dict would contain smart_ptr. It's now useless
+}
+