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 <ctype.h>
   9
  10 #include "surf_private.h"
  11 #include "xbt/module.h"
  12
  13 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_kernel, surf,
  14                                 "Logging specific to SURF (kernel)");
  15
  16 int use_sdp_solver=0;
  17
  18 /* Additional declarations for Windows potability. */
  19
  20 #ifndef MAX_DRIVE
  21 #define MAX_DRIVE 26
  22 #endif
  23
  24 #ifdef _WIN32
  25 #include <windows.h>
  26 static const char* disk_drives_letter_table[MAX_DRIVE] =
  27 {
  28         "A:\\",
  29         "B:\\",
  30         "C:\\",
  31         "D:\\",
  32         "E:\\",
  33         "F:\\",
  34         "G:\\",
  35         "H:\\",
  36         "I:\\",
  37         "J:\\",
  38         "K:\\",
  39         "L:\\",
  40         "M:\\",
  41         "N:\\",
  42         "O:\\",
  43         "P:\\",
  44         "Q:\\",
  45         "R:\\",
  46         "S:\\",
  47         "T:\\",
  48         "U:\\",
  49         "V:\\",
  50         "W:\\",
  51         "X:\\",
  52         "Y:\\",
  53         "Z:\\"
  54 };
  55 #endif /* #ifdef _WIN32 */
  56
  57 /*
  58  * Returns the initial path. On Windows the initial path is
  59  * the current directory for the current process in the other
  60  * case the function returns "./" that represents the current
  61  * directory on Unix/Linux platforms.
  62  */
  63
  64 const char* __surf_get_initial_path(void)
  65 {
  66
  67         #ifdef _WIN32
  68         unsigned i;
  69         char current_directory[MAX_PATH + 1] = {0};
  70         unsigned int len = GetCurrentDirectory(MAX_PATH + 1,current_directory);
  71         char root[4] = {0};
  72
  73         if(!len)
  74                 return NULL;
  75
  76         strncpy(root,current_directory,3);
  77
  78         for(i = 0; i<MAX_DRIVE;i++)
  79         {
  80                 if(toupper(root[0]) == disk_drives_letter_table[i][0])
  81                         return disk_drives_letter_table[i];
  82         }
  83
  84         return NULL;
  85         #else
  86         return "./";
  87         #endif
  88 }
  89
  90 /* The __surf_is_absolute_file_path() returns 1 if
  91  * file_path is a absolute file path, in the other
  92  * case the function returns 0.
  93  */
  94 int __surf_is_absolute_file_path(const char* file_path)
  95 {
  96         #ifdef _WIN32
  97         WIN32_FIND_DATA wfd ={0};
  98         HANDLE hFile = FindFirstFile(file_path,&wfd);
  99
 100         if(INVALID_HANDLE_VALUE == hFile)
 101                 return 0;
 102
 103         FindClose(hFile);
 104         return 1;
 105         #else
 106         return (file_path[0] == '/');
 107         #endif
 108 }
 109
 110 typedef struct surf_resource_object {
 111   surf_resource_t resource;
 112 } s_surf_resource_object_t, *surf_resource_object_t;
 113
 114 static double NOW = 0;
 115
 116 xbt_dynar_t resource_list = NULL;
 117 tmgr_history_t history = NULL;
 118 lmm_system_t maxmin_system = NULL;
 119 xbt_dynar_t surf_path = NULL;
 120 const char *surf_action_state_names[6] = {
 121   "SURF_ACTION_READY",
 122   "SURF_ACTION_RUNNING",
 123   "SURF_ACTION_FAILED",
 124   "SURF_ACTION_DONE",
 125   "SURF_ACTION_TO_FREE",
 126   "SURF_ACTION_NOT_IN_THE_SYSTEM"
 127 };
 128
 129 double generic_maxmin_share_resources(xbt_swag_t running_actions,
 130                                        size_t offset)
 131 {
 132   return  generic_maxmin_share_resources2(running_actions, offset,
 133                                           maxmin_system);
 134 }
 135
 136 double generic_maxmin_share_resources2(xbt_swag_t running_actions,
 137                                        size_t offset,
 138                                        lmm_system_t sys)
 139 {
 140   surf_action_t action = NULL;
 141   double min = -1;
 142   double value = -1;
 143 #define VARIABLE(action) (*((lmm_variable_t*)(((char *) (action)) + (offset))))
 144
 145   if(!use_sdp_solver)
 146     lmm_solve(sys);
 147   else {
 148 #ifdef HAVE_SDP
 149     sdp_solve(sys);
 150 #else
 151     xbt_assert0(0, "No CSDP found! You cannot use this model!");
 152 #endif
 153   }
 154
 155   xbt_swag_foreach(action, running_actions) {
 156     value = lmm_variable_getvalue(VARIABLE(action));
 157     if ((value > 0) || (action->max_duration >= 0))
 158       break;
 159   }
 160
 161   if (!action)
 162     return -1.0;
 163
 164   if (value > 0) {
 165     min = action->remains / value;
 166     if ((action->max_duration >= 0) && (action->max_duration < min))
 167       min = action->max_duration;
 168   } else
 169     min = action->max_duration;
 170
 171   DEBUG5("Found an action (%p: duration = %f, remains = %f, value = %f) ! %f",action, action->max_duration, action->remains, value, min);
 172
 173   for (action = xbt_swag_getNext(action, running_actions->offset);
 174        action;
 175        action = xbt_swag_getNext(action, running_actions->offset)) {
 176     value = lmm_variable_getvalue(VARIABLE(action));
 177     if (value > 0) {
 178       value = action->remains / value;
 179       if (value < min) {
 180         min = value;
 181         DEBUG2("Updating min (value) with %p: %f",action, min);
 182       }
 183     }
 184     if ((action->max_duration >= 0) && (action->max_duration < min)) {
 185       min = action->max_duration;
 186       DEBUG2("Updating min (duration) with %p: %f",action, min);
 187     }
 188   }
 189   DEBUG1("min value : %f",min);
 190
 191 #undef VARIABLE
 192   return min;
 193 }
 194
 195 e_surf_action_state_t surf_action_get_state(surf_action_t action)
 196 {
 197   surf_action_state_t action_state =
 198       &(action->resource_type->common_public->states);
 199
 200   if (action->state_set == action_state->ready_action_set)
 201     return SURF_ACTION_READY;
 202   if (action->state_set == action_state->running_action_set)
 203     return SURF_ACTION_RUNNING;
 204   if (action->state_set == action_state->failed_action_set)
 205     return SURF_ACTION_FAILED;
 206   if (action->state_set == action_state->done_action_set)
 207     return SURF_ACTION_DONE;
 208   return SURF_ACTION_NOT_IN_THE_SYSTEM;
 209 }
 210
 211 double surf_action_get_start_time(surf_action_t action) {
 212   return action->start;
 213 }
 214
 215 double surf_action_get_finish_time(surf_action_t action) {
 216   return action->finish;
 217 }
 218
 219 void surf_action_free(surf_action_t * action)
 220 {
 221   (*action)->resource_type->common_public->action_cancel(*action);
 222   free(*action);
 223   *action = NULL;
 224 }
 225
 226 void surf_action_change_state(surf_action_t action,
 227                               e_surf_action_state_t state)
 228 {
 229   surf_action_state_t action_state =
 230       &(action->resource_type->common_public->states);
 231   XBT_IN2("(%p,%s)", action, surf_action_state_names[state]);
 232   xbt_swag_remove(action, action->state_set);
 233
 234   if (state == SURF_ACTION_READY)
 235     action->state_set = action_state->ready_action_set;
 236   else if (state == SURF_ACTION_RUNNING)
 237     action->state_set = action_state->running_action_set;
 238   else if (state == SURF_ACTION_FAILED)
 239     action->state_set = action_state->failed_action_set;
 240   else if (state == SURF_ACTION_DONE)
 241     action->state_set = action_state->done_action_set;
 242   else
 243     action->state_set = NULL;
 244
 245   if (action->state_set)
 246     xbt_swag_insert(action, action->state_set);
 247   XBT_OUT;
 248 }
 249
 250 void surf_action_set_data(surf_action_t action,
 251                           void *data)
 252 {
 253   action->data=data;
 254 }
 255
 256 void surf_init(int *argc, char **argv)
 257 {
 258   int i,j;
 259   char *opt;
 260
 261   const char* initial_path;
 262
 263   xbt_init(argc, argv);
 264   if (!surf_path) {
 265
 266     /* retrieves the current directory of the current process*/
 267     initial_path = __surf_get_initial_path();
 268
 269         xbt_assert0((initial_path), "__surf_get_initial_path() failed! Can't resolves current Windows directory");
 270
 271     surf_path = xbt_dynar_new(sizeof(char*), NULL);
 272     xbt_dynar_push(surf_path,&initial_path);
 273
 274     for (i=1; i<*argc; i++) {
 275       if (!strncmp(argv[i],"--surf-path=",strlen("--surf-path="))) {
 276         opt=strchr(argv[i],'=');
 277         opt++;
 278         xbt_dynar_push(surf_path,&opt);
 279         /*remove this from argv*/
 280         for (j=i+1; j<*argc; j++) {
 281           argv[j-1] = argv[j];
 282         }
 283         argv[j-1] = NULL;
 284         (*argc)--;
 285         i--; /* compensate effect of next loop incrementation */
 286       }
 287     }
 288   }
 289   if (!resource_list)
 290     resource_list = xbt_dynar_new(sizeof(surf_resource_private_t), NULL);
 291   if (!history)
 292     history = tmgr_history_new();
 293   if (!maxmin_system)
 294     maxmin_system = lmm_system_new();
 295 }
 296
 297 static char* path_name = NULL;
 298 FILE *surf_fopen(const char *name, const char *mode)
 299 {
 300   int i;
 301   char* path = NULL;
 302   FILE *file = NULL;
 303   int path_name_len = 0; /* don't count '\0' */
 304
 305   xbt_assert0(name, "Need a non-NULL file name");
 306
 307   xbt_assert0(surf_path,"surf_init has to be called before using surf_fopen");
 308
 309   if (__surf_is_absolute_file_path(name)) { /* don't mess with absolute file names */
 310     return fopen(name,mode);
 311
 312   } else { /* search relative files in the path */
 313
 314     if(!path_name) {
 315        path_name_len = strlen(name);
 316        path_name=xbt_new0(char,path_name_len+1);
 317     }
 318
 319     xbt_dynar_foreach(surf_path,i,path) {
 320       if(path_name_len < strlen(path)+strlen(name)+1) {
 321          path_name_len = strlen(path)+strlen(name)+1; /* plus '/' */
 322          path_name=xbt_realloc(path_name,path_name_len+1);
 323       }
 324       sprintf(path_name,"%s/%s",path, name);
 325       file = fopen(path_name,mode);
 326       if (file) return file;
 327     }
 328   }
 329   return file;
 330 }
 331
 332 void surf_exit(void)
 333 {
 334   int i;
 335   surf_resource_t resource = NULL;
 336
 337   xbt_dynar_foreach(resource_list, i, resource) {
 338     resource->common_private->finalize();
 339   }
 340
 341   if (maxmin_system) {
 342     lmm_system_free(maxmin_system);
 343     maxmin_system = NULL;
 344   }
 345   if (history) {
 346     tmgr_history_free(history);
 347     history = NULL;
 348   }
 349   if (resource_list)
 350     xbt_dynar_free(&resource_list);
 351
 352   if(surf_path)
 353     xbt_dynar_free(&surf_path);
 354
 355   tmgr_finalize();
 356   surf_parse_lex_destroy();
 357   if(path_name) {
 358     free(path_name);
 359     path_name = NULL;
 360   }
 361   xbt_exit();
 362 }
 363
 364 double surf_solve(void)
 365 {
 366   static int first_run = 1;
 367
 368   double min = -1.0;
 369   double next_event_date = -1.0;
 370   double resource_next_action_end = -1.0;
 371   double value = -1.0;
 372   surf_resource_object_t resource_obj = NULL;
 373   surf_resource_t resource = NULL;
 374   tmgr_trace_event_t event = NULL;
 375   int i;
 376
 377   if (first_run) {
 378     DEBUG0("First Run! Let's \"purge\" events and put resources in the right state");
 379     while ((next_event_date = tmgr_history_next_date(history)) != -1.0) {
 380       if (next_event_date > NOW)
 381         break;
 382       while ((event =
 383               tmgr_history_get_next_event_leq(history, next_event_date,
 384                                               &value,
 385                                               (void **) &resource_obj))) {
 386         resource_obj->resource->common_private->
 387             update_resource_state(resource_obj, event, value);
 388       }
 389     }
 390     xbt_dynar_foreach(resource_list, i, resource) {
 391       resource->common_private->update_actions_state(NOW, 0.0);
 392     }
 393     first_run = 0;
 394     return 0.0;
 395   }
 396
 397   min = -1.0;
 398
 399   DEBUG0("Looking for next action end");
 400   xbt_dynar_foreach(resource_list, i, resource) {
 401     resource_next_action_end =
 402         resource->common_private->share_resources(NOW);
 403     DEBUG2("Resource [%s] : next action end = %f",resource->common_public->name,
 404            resource_next_action_end);
 405     if (((min < 0.0) || (resource_next_action_end < min))
 406         && (resource_next_action_end >= 0.0))
 407       min = resource_next_action_end;
 408   }
 409   DEBUG1("Next action end : %f", min);
 410
 411   if (min < 0.0)
 412     return -1.0;
 413
 414   DEBUG0("Looking for next event");
 415   while ((next_event_date = tmgr_history_next_date(history)) != -1.0) {
 416     DEBUG1("Next event : %f",next_event_date);
 417     if (next_event_date > NOW + min)
 418       break;
 419     DEBUG0("Updating resources");
 420     while ((event =
 421             tmgr_history_get_next_event_leq(history, next_event_date,
 422                                             &value,
 423                                             (void **) &resource_obj))) {
 424       if (resource_obj->resource->common_private->
 425           resource_used(resource_obj)) {
 426         min = next_event_date - NOW;
 427         DEBUG1("This event will modify resource state. Next event set to %f", min);
 428       }
 429       /* update state of resource_obj according to new value. Does not touch lmm.
 430          It will be modified if needed when updating actions */
 431       resource_obj->resource->common_private->
 432           update_resource_state(resource_obj, event, value);
 433     }
 434   }
 435
 436   DEBUG1("Duration set to %f", min);
 437
 438   NOW = NOW + min;
 439
 440   xbt_dynar_foreach(resource_list, i, resource) {
 441     resource->common_private->update_actions_state(NOW, min);
 442   }
 443
 444   return min;
 445 }
 446
 447 double surf_get_clock(void)
 448 {
 449   return NOW;
 450 }