+static void finalize(void)
+{
+ xbt_dict_free(&cpu_set);
+ xbt_swag_free(surf_cpu_resource->common_public->states.ready_action_set);
+ xbt_swag_free(surf_cpu_resource->common_public->states.running_action_set);
+ xbt_swag_free(surf_cpu_resource->common_public->states.failed_action_set);
+ xbt_swag_free(surf_cpu_resource->common_public->states.done_action_set);
+ xbt_free(surf_cpu_resource->common_public);
+ xbt_free(surf_cpu_resource->common_private);
+ xbt_free(surf_cpu_resource->extension_public);
+
+ xbt_free(surf_cpu_resource);
+ surf_cpu_resource = NULL;
+}
+