+#include "src/kernel/routing/NetPoint.hpp"
+#include "src/simix/smx_host_private.h"
+#include "src/surf/HostImpl.hpp"
+#include "src/surf/cpu_interface.hpp"
+
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(sg_host, sd, "Logging specific to sg_hosts");
+
+// FIXME: The following duplicates the content of s4u::Host
+namespace simgrid {
+namespace s4u {
+extern std::map<std::string, simgrid::s4u::Host*> host_list;
+}
+}
+
+extern "C" {
+
+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 : simgrid::s4u::host_list)
+ names.push_back(kv.second->name());
+
+ std::sort(names.begin(), names.end());
+
+ for (auto name : names)
+ simgrid::s4u::host_list.at(name)->destroy();
+
+ // host_list.clear(); This would be sufficient if the dict would contain smart_ptr. It's now useless
+}