src/surf/surf.c

   1 /* Authors: Arnaud Legrand                                                  */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4    under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 #include "surf_private.h"
   7
   8 static xbt_heap_float_t NOW=0;
   9
  10 xbt_dynar_t resource_list = NULL;
  11 tmgr_history_t history = NULL;
  12 lmm_system_t maxmin_system = NULL;
  13
  14 e_surf_action_state_t surf_action_get_state(surf_action_t action)
  15 {
  16   surf_action_state_t action_state = &(action->resource_type->common_public->states);
  17
  18   if(action->state_set == action_state->ready_action_set)
  19     return SURF_ACTION_READY;
  20   if(action->state_set == action_state->running_action_set)
  21     return SURF_ACTION_RUNNING;
  22   if(action->state_set == action_state->failed_action_set)
  23     return SURF_ACTION_FAILED;
  24   if(action->state_set == action_state->done_action_set)
  25     return SURF_ACTION_DONE;
  26   return SURF_ACTION_NOT_IN_THE_SYSTEM;
  27 }
  28
  29 void surf_action_free(surf_action_t * action)
  30 {
  31   (*action)->resource_type->common_public->action_cancel(*action);
  32   xbt_free(*action);
  33   *action=NULL;
  34 }
  35
  36 void surf_action_change_state(surf_action_t action, e_surf_action_state_t state)
  37 {
  38   surf_action_state_t action_state = &(action->resource_type->common_public->states);
  39
  40   xbt_swag_remove(action, action->state_set);
  41
  42   if(state == SURF_ACTION_READY)
  43     action->state_set = action_state->ready_action_set;
  44   else if(state == SURF_ACTION_RUNNING)
  45     action->state_set = action_state->running_action_set;
  46   else if(state == SURF_ACTION_FAILED)
  47     action->state_set = action_state->failed_action_set;
  48   else if(state == SURF_ACTION_DONE)
  49     action->state_set = action_state->done_action_set;
  50   else action->state_set = NULL;
  51
  52   if(action->state_set) xbt_swag_insert(action, action->state_set);
  53 }
  54
  55 void surf_init(void)
  56 {
  57   if(!resource_list) resource_list = xbt_dynar_new(sizeof(surf_resource_private_t), NULL);
  58   if(!history) history = tmgr_history_new();
  59   if(!maxmin_system) maxmin_system = lmm_system_new();
  60 }
  61
  62 void surf_finalize(void)
  63 {
  64   int i;
  65   surf_resource_t resource = NULL;
  66
  67   xbt_dynar_foreach (resource_list,i,resource) {
  68     resource->common_private->finalize();
  69   }
  70
  71   if(maxmin_system) {
  72     lmm_system_free(maxmin_system);
  73     maxmin_system = NULL;
  74   }
  75   if(history) {
  76     tmgr_history_free(history);
  77     history = NULL;
  78   }
  79   if(resource_list) xbt_dynar_free(&resource_list);
  80
  81   tmgr_finalize();
  82 }
  83
  84 xbt_heap_float_t surf_solve(void)
  85 {
  86   static int first_run = 1;
  87
  88   xbt_heap_float_t min = -1.0;
  89   xbt_heap_float_t next_event_date = -1.0;
  90   xbt_heap_float_t resource_next_action_end = -1.0;
  91   xbt_maxmin_float_t value = -1.0;
  92   surf_resource_object_t resource_obj = NULL;
  93   surf_resource_t resource = NULL;
  94   tmgr_trace_event_t event = NULL;
  95   int i;
  96
  97   if(first_run) {
  98     while ((next_event_date = tmgr_history_next_date(history)) != -1.0) {
  99       if(next_event_date > NOW) break;
 100       while ((event = tmgr_history_get_next_event_leq(history, next_event_date,
 101                                                       &value, (void **) &resource_obj))) {
 102         resource_obj->resource->common_private->update_resource_state(resource_obj,
 103                                                                       event, value);
 104       }
 105     }
 106     xbt_dynar_foreach (resource_list,i,resource) {
 107       resource->common_private->update_actions_state(NOW, 0.0);
 108     }
 109     first_run = 0;
 110     return 0.0;
 111   }
 112
 113   min = -1.0;
 114
 115   xbt_dynar_foreach (resource_list,i,resource) {
 116     resource_next_action_end = resource->common_private->share_resources(NOW);
 117     if(((min<0.0) || (resource_next_action_end<min)) && (resource_next_action_end>=0.0))
 118       min = resource_next_action_end;
 119   }
 120
 121   while ((next_event_date = tmgr_history_next_date(history)) != -1.0) {
 122     if(next_event_date > NOW+min) break;
 123     while ((event=tmgr_history_get_next_event_leq(history, next_event_date,
 124                                                   &value, (void **) &resource_obj))) {
 125       if(resource_obj->resource->common_public->resource_used(resource_obj)) {
 126         min = next_event_date-NOW;
 127       }
 128       /* update state of resource_obj according to new value. Does not touch lmm.
 129          It will be modified if needed when updating actions */
 130       resource_obj->resource->common_private->update_resource_state(resource_obj,
 131                                                                     event, value);
 132     }
 133   }
 134
 135   xbt_dynar_foreach (resource_list,i,resource) {
 136     resource->common_private->update_actions_state(NOW, min);
 137   }
 138
 139   NOW=NOW+min;
 140
 141   return min;
 142 }
 143
 144 xbt_heap_float_t surf_get_clock(void)
 145 {
 146   return NOW;
 147 }