+void surf_finalize(void)
+{
+ int i;
+ surf_resource_t resource = NULL;
+
+ xbt_dynar_foreach(resource_list, i, resource) {
+ resource->common_private->finalize();
+ }
+
+ if (maxmin_system) {
+ lmm_system_free(maxmin_system);
+ maxmin_system = NULL;
+ }
+ if (history) {
+ tmgr_history_free(history);
+ history = NULL;
+ }
+ if (resource_list)
+ xbt_dynar_free(&resource_list);
+
+ if(surf_path)
+ xbt_dynar_free(&surf_path);
+
+ tmgr_finalize();
+ surf_parse_lex_destroy();
+ if(path_name) {
+ free(path_name);
+ path_name = NULL;
+ }
+}
+
+double surf_solve(void)
+{
+ static int first_run = 1;
+
+ double min = -1.0;
+ double next_event_date = -1.0;
+ double resource_next_action_end = -1.0;
+ double value = -1.0;
+ surf_resource_object_t resource_obj = NULL;
+ surf_resource_t resource = NULL;
+ tmgr_trace_event_t event = NULL;
+ int i;
+
+ if (first_run) {
+ while ((next_event_date = tmgr_history_next_date(history)) != -1.0) {
+ if (next_event_date > NOW)
+ break;
+ while ((event =
+ tmgr_history_get_next_event_leq(history, next_event_date,
+ &value,
+ (void **) &resource_obj))) {
+ resource_obj->resource->common_private->
+ update_resource_state(resource_obj, event, value);
+ }
+ }
+ xbt_dynar_foreach(resource_list, i, resource) {
+ resource->common_private->update_actions_state(NOW, 0.0);
+ }
+ first_run = 0;
+ return 0.0;
+ }
+
+ min = -1.0;
+
+ xbt_dynar_foreach(resource_list, i, resource) {
+ resource_next_action_end =
+ resource->common_private->share_resources(NOW);
+ if (((min < 0.0) || (resource_next_action_end < min))
+ && (resource_next_action_end >= 0.0))
+ min = resource_next_action_end;
+ }
+
+ if (min < 0.0)
+ return -1.0;
+
+ while ((next_event_date = tmgr_history_next_date(history)) != -1.0) {
+ if (next_event_date > NOW + min)
+ break;
+ while ((event =
+ tmgr_history_get_next_event_leq(history, next_event_date,
+ &value,
+ (void **) &resource_obj))) {
+ if (resource_obj->resource->common_private->
+ resource_used(resource_obj)) {
+ min = next_event_date - NOW;
+ }
+ /* update state of resource_obj according to new value. Does not touch lmm.
+ It will be modified if needed when updating actions */
+ resource_obj->resource->common_private->
+ update_resource_state(resource_obj, event, value);
+ }
+ }
+