src/surf/surf.c

   1 /*      $Id$     */
   2
   3 /* Copyright (c) 2004 Arnaud Legrand. All rights reserved.                  */
   4
   5 /* This program is free software; you can redistribute it and/or modify it
   6  * under the terms of the license (GNU LGPL) which comes with this package. */
   7
   8 #include "surf_private.h"
   9 #include "xbt/module.h"
  10
  11 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_main, surf,
  12                                 "Logging specific to the SURF maxmin module");
  13
  14 typedef struct surf_resource_object {
  15   surf_resource_t resource;
  16 } s_surf_resource_object_t, *surf_resource_object_t;
  17
  18 static double NOW = 0;
  19
  20 xbt_dynar_t resource_list = NULL;
  21 tmgr_history_t history = NULL;
  22 lmm_system_t maxmin_system = NULL;
  23 xbt_dynar_t surf_path = NULL;
  24 const char *surf_action_state_names[6] = {
  25   "SURF_ACTION_READY",
  26   "SURF_ACTION_RUNNING",
  27   "SURF_ACTION_FAILED",
  28   "SURF_ACTION_DONE",
  29   "SURF_ACTION_TO_FREE",
  30   "SURF_ACTION_NOT_IN_THE_SYSTEM"
  31 };
  32
  33 double generic_maxmin_share_resources(xbt_swag_t running_actions,
  34                                        size_t offset)
  35 {
  36   return  generic_maxmin_share_resources2(running_actions, offset,
  37                                           maxmin_system);
  38 }
  39
  40 double generic_maxmin_share_resources2(xbt_swag_t running_actions,
  41                                        size_t offset,
  42                                        lmm_system_t sys)
  43 {
  44   surf_action_t action = NULL;
  45   double min = -1;
  46   double value = -1;
  47 #define VARIABLE(action) (*((lmm_variable_t*)(((char *) (action)) + (offset))))
  48
  49   lmm_solve(sys);
  50
  51   xbt_swag_foreach(action, running_actions) {
  52     value = lmm_variable_getvalue(VARIABLE(action));
  53     if ((value > 0) || (action->max_duration >= 0))
  54       break;
  55   }
  56
  57   if (!action)
  58     return -1.0;
  59
  60   if (value > 0) {
  61     min = action->remains / value;
  62     if ((action->max_duration >= 0) && (action->max_duration < min))
  63       min = action->max_duration;
  64   } else
  65     min = action->max_duration;
  66
  67
  68   for (action = xbt_swag_getNext(action, running_actions->offset);
  69        action;
  70        action = xbt_swag_getNext(action, running_actions->offset)) {
  71     value = lmm_variable_getvalue(VARIABLE(action));
  72     if (value > 0) {
  73       value = action->remains / value;
  74       if (value < min)
  75         min = value;
  76     }
  77     if ((action->max_duration >= 0) && (action->max_duration < min))
  78       min = action->max_duration;
  79   }
  80 #undef VARIABLE
  81   return min;
  82 }
  83
  84 e_surf_action_state_t surf_action_get_state(surf_action_t action)
  85 {
  86   surf_action_state_t action_state =
  87       &(action->resource_type->common_public->states);
  88
  89   if (action->state_set == action_state->ready_action_set)
  90     return SURF_ACTION_READY;
  91   if (action->state_set == action_state->running_action_set)
  92     return SURF_ACTION_RUNNING;
  93   if (action->state_set == action_state->failed_action_set)
  94     return SURF_ACTION_FAILED;
  95   if (action->state_set == action_state->done_action_set)
  96     return SURF_ACTION_DONE;
  97   return SURF_ACTION_NOT_IN_THE_SYSTEM;
  98 }
  99
 100 void surf_action_free(surf_action_t * action)
 101 {
 102   (*action)->resource_type->common_public->action_cancel(*action);
 103   free(*action);
 104   *action = NULL;
 105 }
 106
 107 void surf_action_change_state(surf_action_t action,
 108                               e_surf_action_state_t state)
 109 {
 110   surf_action_state_t action_state =
 111       &(action->resource_type->common_public->states);
 112   XBT_IN2("(%p,%s)", action, surf_action_state_names[state]);
 113   xbt_swag_remove(action, action->state_set);
 114
 115   if (state == SURF_ACTION_READY)
 116     action->state_set = action_state->ready_action_set;
 117   else if (state == SURF_ACTION_RUNNING)
 118     action->state_set = action_state->running_action_set;
 119   else if (state == SURF_ACTION_FAILED)
 120     action->state_set = action_state->failed_action_set;
 121   else if (state == SURF_ACTION_DONE)
 122     action->state_set = action_state->done_action_set;
 123   else
 124     action->state_set = NULL;
 125
 126   if (action->state_set)
 127     xbt_swag_insert(action, action->state_set);
 128   XBT_OUT;
 129 }
 130
 131 void surf_action_set_data(surf_action_t action,
 132                           void *data)
 133 {
 134   action->data=data;
 135 }
 136
 137 void surf_init(int *argc, char **argv)
 138 {
 139   int i,j;
 140   char *opt;
 141
 142   xbt_init(argc, argv);
 143   if (!surf_path) {
 144     const char *initial_path = "./";
 145     surf_path = xbt_dynar_new(sizeof(char*), NULL);
 146     xbt_dynar_push(surf_path,&initial_path);
 147
 148     for (i=1; i<*argc; i++) {
 149       if (!strncmp(argv[i],"--surf-path=",strlen("--surf-path="))) {
 150         opt=strchr(argv[i],'=');
 151         opt++;
 152         xbt_dynar_push(surf_path,&opt);
 153         /*remove this from argv*/
 154         for (j=i+1; j<*argc; j++) {
 155           argv[j-1] = argv[j];
 156         }
 157         argv[j-1] = NULL;
 158         (*argc)--;
 159         i--; /* compensate effect of next loop incrementation */
 160       }
 161     }
 162   }
 163   if (!resource_list)
 164     resource_list = xbt_dynar_new(sizeof(surf_resource_private_t), NULL);
 165   if (!history)
 166     history = tmgr_history_new();
 167   if (!maxmin_system)
 168     maxmin_system = lmm_system_new();
 169 }
 170
 171 static char* path_name = NULL;
 172 FILE *surf_fopen(const char *name, const char *mode)
 173 {
 174   int i;
 175   char* path = NULL;
 176   FILE *file = NULL;
 177   int path_name_len = 0; /* don't count '\0' */
 178
 179   xbt_assert0(name, "Need a non-NULL file name");
 180
 181   xbt_assert0(surf_path,"surf_init has to be called before using surf_fopen");
 182
 183   if (name[0] == '/') { /* don't mess with absolute file names */
 184     return fopen(name,mode);
 185
 186   } else { /* search relative files in the path */
 187
 188     if(!path_name) {
 189        path_name_len = strlen(name);
 190        path_name=xbt_new0(char,path_name_len+1);
 191     }
 192
 193     xbt_dynar_foreach(surf_path,i,path) {
 194       if(path_name_len < strlen(path)+strlen(name)+1) {
 195          path_name_len = strlen(path)+strlen(name)+1; /* plus '/' */
 196          path_name=xbt_realloc(path_name,path_name_len+1);
 197       }
 198       sprintf(path_name,"%s/%s",path, name);
 199       file = fopen(path_name,mode);
 200       if (file) return file;
 201     }
 202   }
 203   return file;
 204 }
 205
 206 void surf_exit(void)
 207 {
 208   int i;
 209   surf_resource_t resource = NULL;
 210
 211   xbt_dynar_foreach(resource_list, i, resource) {
 212     resource->common_private->finalize();
 213   }
 214
 215   if (maxmin_system) {
 216     lmm_system_free(maxmin_system);
 217     maxmin_system = NULL;
 218   }
 219   if (history) {
 220     tmgr_history_free(history);
 221     history = NULL;
 222   }
 223   if (resource_list)
 224     xbt_dynar_free(&resource_list);
 225
 226   if(surf_path)
 227     xbt_dynar_free(&surf_path);
 228
 229   tmgr_finalize();
 230   surf_parse_lex_destroy();
 231   if(path_name) {
 232     free(path_name);
 233     path_name = NULL;
 234   }
 235   xbt_exit();
 236 }
 237
 238 double surf_solve(void)
 239 {
 240   static int first_run = 1;
 241
 242   double min = -1.0;
 243   double next_event_date = -1.0;
 244   double resource_next_action_end = -1.0;
 245   double value = -1.0;
 246   surf_resource_object_t resource_obj = NULL;
 247   surf_resource_t resource = NULL;
 248   tmgr_trace_event_t event = NULL;
 249   int i;
 250
 251   if (first_run) {
 252     while ((next_event_date = tmgr_history_next_date(history)) != -1.0) {
 253       if (next_event_date > NOW)
 254         break;
 255       while ((event =
 256               tmgr_history_get_next_event_leq(history, next_event_date,
 257                                               &value,
 258                                               (void **) &resource_obj))) {
 259         resource_obj->resource->common_private->
 260             update_resource_state(resource_obj, event, value);
 261       }
 262     }
 263     xbt_dynar_foreach(resource_list, i, resource) {
 264       resource->common_private->update_actions_state(NOW, 0.0);
 265     }
 266     first_run = 0;
 267     return 0.0;
 268   }
 269
 270   min = -1.0;
 271
 272   xbt_dynar_foreach(resource_list, i, resource) {
 273     resource_next_action_end =
 274         resource->common_private->share_resources(NOW);
 275     if (((min < 0.0) || (resource_next_action_end < min))
 276         && (resource_next_action_end >= 0.0))
 277       min = resource_next_action_end;
 278   }
 279
 280   if (min < 0.0)
 281     return -1.0;
 282
 283   while ((next_event_date = tmgr_history_next_date(history)) != -1.0) {
 284     if (next_event_date > NOW + min)
 285       break;
 286     while ((event =
 287             tmgr_history_get_next_event_leq(history, next_event_date,
 288                                             &value,
 289                                             (void **) &resource_obj))) {
 290       if (resource_obj->resource->common_private->
 291           resource_used(resource_obj)) {
 292         min = next_event_date - NOW;
 293       }
 294       /* update state of resource_obj according to new value. Does not touch lmm.
 295          It will be modified if needed when updating actions */
 296       resource_obj->resource->common_private->
 297           update_resource_state(resource_obj, event, value);
 298     }
 299   }
 300
 301
 302   xbt_dynar_foreach(resource_list, i, resource) {
 303     resource->common_private->update_actions_state(NOW, min);
 304   }
 305
 306   NOW = NOW + min;
 307
 308   return min;
 309 }
 310
 311 double surf_get_clock(void)
 312 {
 313   return NOW;
 314 }