src/surf/workstation_KCCFLN05.c

   1 /*      $Id$     */
   2
   3 /* Copyright (c) 2005 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 "xbt/dict.h"
   9 #include "workstation_KCCFLN05_private.h"
  10
  11 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(workstation_KCCFLN05, surf,
  12                                 "Logging specific to the SURF workstation module (KCCFLN05)");
  13
  14
  15 static lmm_system_t maxmin_system_cpu_KCCFLN05 = NULL;
  16 static lmm_system_t maxmin_system_network_KCCFLN05 = NULL;
  17 static xbt_dict_t network_link_set = NULL;
  18 static int nb_workstation = 0;
  19 s_route_KCCFLN05_t *routing_table = NULL;
  20 #define ROUTE(i,j) routing_table[(i)+(j)*nb_workstation]
  21
  22 /**************************************/
  23 /************* CPU object *************/
  24 /**************************************/
  25
  26 /************ workstation creation *********/
  27 static void workstation_free(void *workstation)
  28 {
  29   xbt_free(((workstation_KCCFLN05_t)workstation)->name);
  30   xbt_dynar_free(&(((workstation_KCCFLN05_t)workstation)->incomming_communications));
  31   xbt_dynar_free(&(((workstation_KCCFLN05_t)workstation)->outgoing_communications));
  32   xbt_free(workstation);
  33 }
  34
  35 static workstation_KCCFLN05_t workstation_new(const char *name,
  36                                               double power_scale,
  37                                               double power_initial,
  38                                               tmgr_trace_t power_trace,
  39                                               e_surf_cpu_state_t state_initial,
  40                                               tmgr_trace_t state_trace,
  41                                               double interference_send,
  42                                               double interference_recv,
  43                                               double interference_send_recv,
  44                                               double max_outgoing_rate)
  45 {
  46   workstation_KCCFLN05_t workstation = xbt_new0(s_workstation_KCCFLN05_t, 1);
  47
  48   workstation->resource = (surf_resource_t) surf_workstation_resource;
  49   workstation->name = xbt_strdup(name);
  50   workstation->id = nb_workstation++;
  51
  52   workstation->power_scale = power_scale;
  53   xbt_assert0(workstation->power_scale>0,"Power has to be >0");
  54
  55   workstation->power_current = power_initial;
  56   if (power_trace)
  57     workstation->power_event =
  58         tmgr_history_add_trace(history, power_trace, 0.0, 0, workstation);
  59
  60   workstation->state_current = state_initial;
  61   if (state_trace)
  62     workstation->state_event =
  63         tmgr_history_add_trace(history, state_trace, 0.0, 0, workstation);
  64
  65   workstation->interference_send=interference_send;
  66   workstation->interference_recv=interference_recv;
  67   workstation->interference_send_recv=interference_send_recv;
  68
  69   workstation->constraint =
  70       lmm_constraint_new(maxmin_system_cpu_KCCFLN05, workstation,
  71                          workstation->power_current * workstation->power_scale);
  72   if(max_outgoing_rate>0)
  73     workstation->bus=
  74       lmm_constraint_new(maxmin_system_cpu_KCCFLN05, workstation,
  75                          max_outgoing_rate);
  76
  77   workstation->incomming_communications =
  78     xbt_dynar_new(sizeof(surf_action_network_KCCFLN05_t),NULL);
  79   workstation->outgoing_communications =
  80     xbt_dynar_new(sizeof(surf_action_network_KCCFLN05_t),NULL);
  81
  82   xbt_dict_set(workstation_set, name, workstation, workstation_free);
  83
  84   return workstation;
  85 }
  86
  87 static void parse_workstation(void)
  88 {
  89   double power_scale = 0.0;
  90   double power_initial = 0.0;
  91   tmgr_trace_t power_trace = NULL;
  92   e_surf_cpu_state_t state_initial = SURF_CPU_OFF;
  93   tmgr_trace_t state_trace = NULL;
  94   double interference_send = 0.0;
  95   double interference_recv = 0.0;
  96   double interference_send_recv = 0.0;
  97   double max_outgoing_rate = -1.0;
  98
  99   surf_parse_get_double(&power_scale,A_cpu_power);
 100   surf_parse_get_double(&power_initial,A_cpu_availability);
 101   surf_parse_get_trace(&power_trace,A_cpu_availability_file);
 102
 103   xbt_assert0((A_cpu_state==A_cpu_state_ON)||
 104               (A_cpu_state==A_cpu_state_OFF),
 105               "Invalid state")
 106   if (A_cpu_state==A_cpu_state_ON) state_initial = SURF_CPU_ON;
 107   if (A_cpu_state==A_cpu_state_OFF) state_initial = SURF_CPU_OFF;
 108   surf_parse_get_trace(&state_trace,A_cpu_state_file);
 109
 110   surf_parse_get_double(&interference_send,A_cpu_interference_send);
 111   surf_parse_get_double(&interference_recv,A_cpu_interference_recv);
 112   surf_parse_get_double(&interference_send_recv,A_cpu_interference_send_recv);
 113   surf_parse_get_double(&max_outgoing_rate,A_cpu_max_outgoing_rate);
 114
 115   workstation_new(A_cpu_name, power_scale, power_initial, power_trace, state_initial,
 116                   state_trace, interference_send, interference_recv,
 117                   interference_send_recv, max_outgoing_rate);
 118 }
 119
 120 /*********** resource management ***********/
 121
 122 static void *name_service(const char *name)
 123 {
 124   void *workstation = NULL;
 125
 126   xbt_dict_get(workstation_set, name, &workstation);
 127
 128   return workstation;
 129 }
 130
 131 static const char *get_resource_name(void *resource_id)
 132 {
 133   return ((workstation_KCCFLN05_t) resource_id)->name;
 134 }
 135
 136 static int cpu_used(void *resource_id)
 137 {
 138   return lmm_constraint_used(maxmin_system_cpu_KCCFLN05,
 139                              ((workstation_KCCFLN05_t) resource_id)->constraint);
 140 }
 141
 142 static int link_used(void *resource_id)
 143 {
 144   return lmm_constraint_used(maxmin_system_network_KCCFLN05,
 145                              ((network_link_KCCFLN05_t) resource_id)->constraint);
 146 }
 147
 148 static e_surf_cpu_state_t get_state(void *cpu)
 149 {
 150   return ((workstation_KCCFLN05_t) cpu)->state_current;
 151 }
 152
 153 static void update_cpu_KCCFLN05_state(void *id,
 154                                       tmgr_trace_event_t event_type,
 155                                       double value)
 156 {
 157   workstation_KCCFLN05_t cpu = id;
 158
 159   if (event_type == cpu->power_event) {
 160     cpu->power_current = value;
 161     /*** The bound is updated in share_cpu_KCCFLN05_resources ***/
 162     /*     lmm_update_constraint_bound(maxmin_system_cpu_KCCFLN05, cpu->constraint, */
 163     /*                          cpu->power_current * cpu->power_scale); */
 164   } else if (event_type == cpu->state_event) {
 165     if (value > 0)
 166       cpu->state_current = SURF_CPU_ON;
 167     else
 168       cpu->state_current = SURF_CPU_OFF;
 169   } else {
 170     CRITICAL0("Unknown event ! \n");
 171     xbt_abort();
 172   }
 173
 174   return;
 175 }
 176
 177 /**************************************/
 178 /*********** network object ***********/
 179 /**************************************/
 180
 181 static void create_routing_table(void)
 182 {
 183   routing_table = xbt_new0(s_route_KCCFLN05_t, nb_workstation * nb_workstation);
 184 }
 185
 186 static void network_link_free(void *nw_link)
 187 {
 188   xbt_free(((network_link_KCCFLN05_t)nw_link)->name);
 189   xbt_free(nw_link);
 190 }
 191
 192 static network_link_KCCFLN05_t network_link_new(char *name,
 193                                                  double bw_initial,
 194                                                  tmgr_trace_t bw_trace,
 195                                                  e_surf_network_link_state_t
 196                                                  state_initial,
 197                                                  tmgr_trace_t state_trace)
 198 {
 199   network_link_KCCFLN05_t nw_link = xbt_new0(s_network_link_KCCFLN05_t, 1);
 200
 201
 202   nw_link->resource = (surf_resource_t) surf_network_resource;
 203   nw_link->name = name;
 204   nw_link->bw_current = bw_initial;
 205   if (bw_trace)
 206     nw_link->bw_event =
 207         tmgr_history_add_trace(history, bw_trace, 0.0, 0, nw_link);
 208   nw_link->state_current = state_initial;
 209   if (state_trace)
 210     nw_link->state_event =
 211         tmgr_history_add_trace(history, state_trace, 0.0, 0, nw_link);
 212
 213   nw_link->constraint =
 214       lmm_constraint_new(maxmin_system_network_KCCFLN05, nw_link, nw_link->bw_current);
 215
 216   xbt_dict_set(network_link_set, name, nw_link, network_link_free);
 217
 218   return nw_link;
 219 }
 220
 221 static void parse_network_link(void)
 222 {
 223   char *name;
 224   double bw_initial;
 225   tmgr_trace_t bw_trace;
 226   e_surf_network_link_state_t state_initial = SURF_NETWORK_LINK_ON;
 227   tmgr_trace_t state_trace;
 228
 229   name = xbt_strdup(A_network_link_name);
 230   surf_parse_get_double(&bw_initial,A_network_link_bandwidth);
 231   surf_parse_get_trace(&bw_trace, A_network_link_bandwidth_file);
 232
 233   xbt_assert0((A_network_link_state==A_network_link_state_ON)||
 234               (A_network_link_state==A_network_link_state_OFF),
 235               "Invalid state")
 236   if (A_network_link_state==A_network_link_state_ON)
 237     state_initial = SURF_NETWORK_LINK_ON;
 238   if (A_network_link_state==A_network_link_state_OFF)
 239     state_initial = SURF_NETWORK_LINK_OFF;
 240   surf_parse_get_trace(&state_trace,A_network_link_state_file);
 241
 242   network_link_new(name, bw_initial, bw_trace, state_initial, state_trace);
 243 }
 244
 245 static void route_new(int src_id, int dst_id, char **links, int nb_link,
 246                       double impact_on_src, double impact_on_dst,
 247                       double impact_on_src_with_other_recv,
 248                       double impact_on_dst_with_other_send)
 249 {
 250   network_link_KCCFLN05_t *link_list = NULL;
 251   int i;
 252   route_KCCFLN05_t route = &(ROUTE(src_id,dst_id));
 253
 254   route->size= nb_link;
 255   link_list = route->links = xbt_new0(network_link_KCCFLN05_t, nb_link);
 256   for (i = 0; i < nb_link; i++) {
 257     xbt_dict_get(network_link_set, links[i], (void *) &(link_list[i]));
 258     xbt_free(links[i]);
 259   }
 260   xbt_free(links);
 261   route->impact_on_src=impact_on_src;
 262   route->impact_on_dst=impact_on_src;
 263   route->impact_on_src_with_other_recv=impact_on_src_with_other_recv;
 264   route->impact_on_dst_with_other_send=impact_on_dst_with_other_send;
 265 }
 266
 267 static int nb_link = 0;
 268 static char **link_name = NULL;
 269 static int src_id = -1;
 270 static int dst_id = -1;
 271 static double impact_on_src;
 272 static double impact_on_dst;
 273 static double impact_on_src_with_other_recv;
 274 static double impact_on_dst_with_other_send;
 275
 276 static void parse_route_set_endpoints(void)
 277 {
 278   src_id = ((workstation_KCCFLN05_t) name_service(A_route_src))->id;
 279   dst_id = ((workstation_KCCFLN05_t) name_service(A_route_dst))->id;
 280   surf_parse_get_double(&impact_on_src,A_route_impact_on_src);
 281   surf_parse_get_double(&impact_on_dst,A_route_impact_on_dst);
 282   surf_parse_get_double(&impact_on_src_with_other_recv,A_route_impact_on_src_with_other_recv);
 283   surf_parse_get_double(&impact_on_dst_with_other_send,A_route_impact_on_dst_with_other_send);
 284
 285   nb_link = 0;
 286   link_name = NULL;
 287 }
 288
 289 static void parse_route_elem(void)
 290 {
 291   nb_link++;
 292   link_name = xbt_realloc(link_name, (nb_link) * sizeof(char *));
 293   link_name[(nb_link) - 1] = xbt_strdup(A_route_element_name);
 294 }
 295
 296 static void parse_route_set_route(void)
 297 {
 298   route_new(src_id, dst_id, link_name, nb_link, impact_on_src, impact_on_dst,
 299             impact_on_src_with_other_recv, impact_on_dst_with_other_send);
 300 }
 301
 302 static void parse_file(const char *file)
 303 {
 304   /* Figuring out the workstations */
 305   surf_parse_reset_parser();
 306   ETag_cpu_fun=parse_workstation;
 307   surf_parse_open(file);
 308   xbt_assert1((!surf_parse()),"Parse error in %s",file);
 309   surf_parse_close();
 310
 311   create_routing_table();
 312
 313   /* Figuring out the network links */
 314   surf_parse_reset_parser();
 315   ETag_network_link_fun=parse_network_link;
 316   surf_parse_open(file);
 317   xbt_assert1((!surf_parse()),"Parse error in %s",file);
 318   surf_parse_close();
 319
 320   /* Building the routes */
 321   surf_parse_reset_parser();
 322   STag_route_fun=parse_route_set_endpoints;
 323   ETag_route_element_fun=parse_route_elem;
 324   ETag_route_fun=parse_route_set_route;
 325   surf_parse_open(file);
 326   xbt_assert1((!surf_parse()),"Parse error in %s",file);
 327   surf_parse_close();
 328 }
 329
 330 static void update_network_KCCFLN05_state(void *id,
 331                                           tmgr_trace_event_t event_type,
 332                                           double value)
 333 {
 334   network_link_KCCFLN05_t nw_link = id;
 335
 336   if (event_type == nw_link->bw_event) {
 337     nw_link->bw_current = value;
 338     lmm_update_constraint_bound(maxmin_system_network_KCCFLN05, nw_link->constraint,
 339                                 nw_link->bw_current);
 340   } else if (event_type == nw_link->state_event) {
 341     if (value > 0)
 342       nw_link->state_current = SURF_NETWORK_LINK_ON;
 343     else
 344       nw_link->state_current = SURF_NETWORK_LINK_OFF;
 345   } else {
 346     CRITICAL0("Unknown event ! \n");
 347     xbt_abort();
 348   }
 349
 350   return;
 351 }
 352
 353 /**************************************/
 354 /*************** actions **************/
 355 /**************************************/
 356 /*************** network **************/
 357 static void action_network_KCCFLN05_free(surf_action_t action)
 358 {
 359   int cpt;
 360   surf_action_t act = NULL;
 361   workstation_KCCFLN05_t src = ((surf_action_network_KCCFLN05_t) action)->src;
 362   workstation_KCCFLN05_t dst = ((surf_action_network_KCCFLN05_t) action)->dst;
 363
 364   xbt_swag_remove(action, action->state_set);
 365   lmm_variable_free(maxmin_system_network_KCCFLN05,
 366                     ((surf_action_network_KCCFLN05_t) action)->variable);
 367
 368   xbt_dynar_foreach (src->outgoing_communications,cpt,act) {
 369     if(act==action) {
 370       xbt_dynar_remove_at(src->outgoing_communications, cpt, &act);
 371       break;
 372     }
 373   }
 374
 375   xbt_dynar_foreach (dst->incomming_communications,cpt,act) {
 376     if(act==action) {
 377       xbt_dynar_remove_at(dst->incomming_communications, cpt, &act);
 378       break;
 379     }
 380   }
 381
 382   xbt_free(action);
 383 }
 384
 385 static double share_network_KCCFLN05_resources(double now)
 386 {
 387  s_surf_action_network_KCCFLN05_t action;
 388  return generic_maxmin_share_resources2(surf_network_resource->common_public->
 389                                         states.running_action_set,
 390                                         xbt_swag_offset(action, variable),
 391                                         maxmin_system_network_KCCFLN05);
 392 }
 393
 394 static void action_network_KCCFLN05_change_state(surf_action_t action,
 395                                                  e_surf_action_state_t state)
 396 {
 397   surf_action_change_state(action, state);
 398   return;
 399 }
 400
 401 static void update_actions_network_KCCFLN05_state(double now, double delta)
 402 {
 403   surf_action_network_KCCFLN05_t action = NULL;
 404   surf_action_network_KCCFLN05_t next_action = NULL;
 405   xbt_swag_t running_actions =
 406       surf_network_resource->common_public->states.running_action_set;
 407   xbt_swag_t failed_actions =
 408       surf_network_resource->common_public->states.failed_action_set;
 409
 410   xbt_swag_foreach_safe(action, next_action, running_actions) {
 411     surf_double_update(&(action->generic_action.remains),
 412                        lmm_variable_getvalue(action->variable) * delta);
 413     if (action->generic_action.max_duration != NO_MAX_DURATION)
 414           surf_double_update(&(action->generic_action.max_duration), delta);
 415     if ((action->generic_action.remains <= 0.0) &&
 416         (lmm_get_variable_weight(action->variable)>0)) {
 417       action->generic_action.finish = surf_get_clock();
 418       action_network_KCCFLN05_change_state((surf_action_t) action, SURF_ACTION_DONE);
 419     } else if ((action->generic_action.max_duration != NO_MAX_DURATION) &&
 420                (action->generic_action.max_duration <= 0.0)) {
 421       action->generic_action.finish = surf_get_clock();
 422       action_network_KCCFLN05_change_state((surf_action_t) action, SURF_ACTION_DONE);
 423     } else {                    /* Need to check that none of the resource has failed */
 424       /* FIXME : FAILURES ARE NOT HANDLED YET */
 425     }
 426   }
 427
 428   xbt_swag_foreach_safe(action, next_action, failed_actions) {
 429     lmm_variable_disable(maxmin_system_network_KCCFLN05, action->variable);
 430   }
 431
 432   return;
 433 }
 434
 435 static surf_action_t communicate_KCCFLN05(void *src, void *dst, double size,
 436                                           double rate)
 437 {
 438   surf_action_network_KCCFLN05_t action = NULL;
 439   workstation_KCCFLN05_t card_src = src;
 440   workstation_KCCFLN05_t card_dst = dst;
 441   route_KCCFLN05_t route = &ROUTE(card_src->id, card_dst->id);
 442   int i;
 443
 444   action = xbt_new0(s_surf_action_network_KCCFLN05_t, 1);
 445
 446   action->generic_action.cost = size;
 447   action->generic_action.remains = size;
 448   action->generic_action.max_duration = NO_MAX_DURATION;
 449   action->generic_action.start = -1.0;
 450   action->generic_action.finish = -1.0;
 451   action->generic_action.resource_type =
 452       (surf_resource_t) surf_network_resource;
 453
 454   action->generic_action.state_set =
 455       surf_network_resource->common_public->states.running_action_set;
 456
 457   xbt_swag_insert(action, action->generic_action.state_set);
 458
 459   if(rate>0)
 460     action->variable = lmm_variable_new(maxmin_system_network_KCCFLN05, action, 1.0, rate,
 461                                         route->size+1);
 462   else
 463     action->variable = lmm_variable_new(maxmin_system_network_KCCFLN05, action, 1.0, -1.0,
 464                                         route->size+1);
 465
 466   for (i = 0; i < route->size; i++)
 467     lmm_expand(maxmin_system_network_KCCFLN05, route->links[i]->constraint,
 468                action->variable, 1.0);
 469
 470   if(card_src->bus)
 471     lmm_expand(maxmin_system_network_KCCFLN05, card_src->bus,
 472                action->variable, 1.0);
 473
 474   action->src=src;
 475   action->dst=dst;
 476
 477   xbt_dynar_push(card_src->outgoing_communications,&action);
 478   xbt_dynar_push(card_dst->incomming_communications,&action);
 479
 480   return (surf_action_t) action;
 481 }
 482
 483 static void network_KCCFLN05_action_suspend(surf_action_t action)
 484 {
 485   lmm_update_variable_weight(maxmin_system_network_KCCFLN05,
 486                              ((surf_action_network_KCCFLN05_t) action)->variable, 0.0);
 487 }
 488
 489 static void network_KCCFLN05_action_resume(surf_action_t action)
 490 {
 491   lmm_update_variable_weight(maxmin_system_network_KCCFLN05,
 492                              ((surf_action_network_KCCFLN05_t) action)->variable, 1.0);
 493 }
 494
 495 static int network_KCCFLN05_action_is_suspended(surf_action_t action)
 496 {
 497   return (lmm_get_variable_weight(((surf_action_network_KCCFLN05_t) action)->variable) == 0.0);
 498 }
 499
 500 /***************** CPU ****************/
 501 static void action_cpu_KCCFLN05_free(surf_action_t action)
 502 {
 503   xbt_swag_remove(action, action->state_set);
 504   lmm_variable_free(maxmin_system_cpu_KCCFLN05, ((surf_action_cpu_KCCFLN05_t)action)->variable);
 505   xbt_free(action);
 506 }
 507
 508 /* #define WARNING(format, ...) (fprintf(stderr, "[%s , %s : %d] ", __FILE__, __FUNCTION__, __LINE__),\ */
 509 /*                               fprintf(stderr, format, ## __VA_ARGS__), \ */
 510 /*                               fprintf(stderr, "\n")) */
 511 /* #define VOIRP(expr) WARNING("  {" #expr " = %p }", expr) */
 512 /* #define VOIRD(expr) WARNING("  {" #expr " = %d }", expr) */
 513 /* #define VOIRG(expr) WARNING("  {" #expr " = %lg }", expr) */
 514
 515 static double share_cpu_KCCFLN05_resources(double now)
 516 {
 517   s_surf_action_cpu_KCCFLN05_t s_cpu_action;
 518   lmm_constraint_t cnst = NULL;
 519   workstation_KCCFLN05_t workstation = NULL;
 520   double W=0.0;
 521   double scale=0.0;
 522   int cpt;
 523   surf_action_network_KCCFLN05_t action;
 524
 525   for(cnst = lmm_get_first_active_constraint(maxmin_system_cpu_KCCFLN05);
 526       cnst;
 527       cnst= lmm_get_next_active_constraint(maxmin_system_cpu_KCCFLN05, cnst))
 528     {
 529       workstation = lmm_constraint_id(cnst);
 530       W=workstation->power_current * workstation->power_scale;
 531
 532       if((!xbt_dynar_length(workstation->incomming_communications)) &&
 533          (!xbt_dynar_length(workstation->outgoing_communications))) {
 534         scale = 1.0;
 535       } else if((!xbt_dynar_length(workstation->incomming_communications)) &&
 536                 (xbt_dynar_length(workstation->outgoing_communications))) {
 537         scale = workstation->interference_send;
 538         xbt_dynar_foreach (workstation->outgoing_communications,cpt,action) {
 539 /*        VOIRD(action->src->id); */
 540 /*        VOIRD(action->dst->id); */
 541 /*        VOIRP(&ROUTE(action->src->id,action->dst->id)); */
 542 /*        VOIRG(ROUTE(action->src->id,action->dst->id).impact_on_src); */
 543           scale -= ROUTE(action->src->id,action->dst->id).impact_on_src *
 544             lmm_variable_getvalue(action->variable);
 545         }
 546         if(scale<0.0) scale=0.0;
 547         xbt_assert0(scale>=0.0,"Negative interference !");
 548       } else if((xbt_dynar_length(workstation->incomming_communications)) &&
 549                 (!xbt_dynar_length(workstation->outgoing_communications))) {
 550         scale = workstation->interference_recv;
 551         xbt_dynar_foreach (workstation->incomming_communications,cpt,action) {
 552           scale -= ROUTE(action->src->id,action->dst->id).impact_on_dst *
 553             lmm_variable_getvalue(action->variable);
 554         }
 555         if(scale<0.0) scale=0.0;
 556         xbt_assert0(scale>=0.0,"Negative interference !");
 557       } else {
 558         scale = workstation->interference_send_recv;
 559         xbt_dynar_foreach (workstation->outgoing_communications,cpt,action) {
 560           scale -= ROUTE(action->src->id,action->dst->id).impact_on_src_with_other_recv *
 561             lmm_variable_getvalue(action->variable);
 562         }
 563         xbt_dynar_foreach (workstation->incomming_communications,cpt,action) {
 564           scale -= ROUTE(action->src->id,action->dst->id).impact_on_dst_with_other_send *
 565             lmm_variable_getvalue(action->variable);
 566         }
 567         if(scale<0.0) scale=0.0;
 568         xbt_assert0(scale>=0.0,"Negative interference !");
 569       }
 570       lmm_update_constraint_bound(maxmin_system_cpu_KCCFLN05,workstation->constraint,
 571                                   W*scale);
 572     }
 573
 574   return generic_maxmin_share_resources2(surf_cpu_resource->common_public->
 575                                          states.running_action_set,
 576                                          xbt_swag_offset(s_cpu_action, variable),
 577                                          maxmin_system_cpu_KCCFLN05);
 578 }
 579
 580 static void update_actions_cpu_KCCFLN05_state(double now, double delta)
 581 {
 582   surf_action_cpu_KCCFLN05_t action = NULL;
 583   surf_action_cpu_KCCFLN05_t next_action = NULL;
 584   xbt_swag_t running_actions =
 585       surf_cpu_resource->common_public->states.running_action_set;
 586   xbt_swag_t failed_actions =
 587       surf_cpu_resource->common_public->states.failed_action_set;
 588
 589   xbt_swag_foreach_safe(action, next_action, running_actions) {
 590     surf_double_update(&(action->generic_action.remains),
 591         lmm_variable_getvalue(action->variable) * delta);
 592     if (action->generic_action.max_duration != NO_MAX_DURATION)
 593       action->generic_action.max_duration -= delta;
 594     if ((action->generic_action.remains <= 0) &&
 595         (lmm_get_variable_weight(action->variable)>0)) {
 596       action->generic_action.finish = surf_get_clock();
 597       surf_action_change_state((surf_action_t) action, SURF_ACTION_DONE);
 598     } else if ((action->generic_action.max_duration != NO_MAX_DURATION) &&
 599                (action->generic_action.max_duration <= 0)) {
 600       action->generic_action.finish = surf_get_clock();
 601       surf_action_change_state((surf_action_t) action, SURF_ACTION_DONE);
 602     } else {                    /* Need to check that none of the resource has failed */
 603       lmm_constraint_t cnst = NULL;
 604       int i = 0;
 605       workstation_KCCFLN05_t cpu = NULL;
 606
 607       while ((cnst =
 608               lmm_get_cnst_from_var(maxmin_system_cpu_KCCFLN05, action->variable,
 609                                     i++))) {
 610         cpu = lmm_constraint_id(cnst);
 611         if (cpu->state_current == SURF_CPU_OFF) {
 612           action->generic_action.finish = surf_get_clock();
 613           surf_action_change_state((surf_action_t) action, SURF_ACTION_FAILED);
 614           break;
 615         }
 616       }
 617     }
 618   }
 619
 620   xbt_swag_foreach_safe(action, next_action, failed_actions) {
 621     lmm_variable_disable(maxmin_system_cpu_KCCFLN05, action->variable);
 622   }
 623
 624   return;
 625 }
 626
 627 static surf_action_t execute_KCCFLN05(void *cpu, double size)
 628 {
 629   surf_action_cpu_KCCFLN05_t action = NULL;
 630   workstation_KCCFLN05_t CPU = cpu;
 631
 632   action = xbt_new0(s_surf_action_cpu_KCCFLN05_t, 1);
 633
 634   action->generic_action.cost = size;
 635   action->generic_action.remains = size;
 636   action->generic_action.max_duration = NO_MAX_DURATION;
 637   action->generic_action.start = surf_get_clock();
 638   action->generic_action.finish = -1.0;
 639   action->generic_action.resource_type =
 640       (surf_resource_t) surf_cpu_resource;
 641
 642   if (CPU->state_current == SURF_CPU_ON)
 643     action->generic_action.state_set =
 644         surf_cpu_resource->common_public->states.running_action_set;
 645   else
 646     action->generic_action.state_set =
 647         surf_cpu_resource->common_public->states.failed_action_set;
 648   xbt_swag_insert(action, action->generic_action.state_set);
 649
 650   action->variable = lmm_variable_new(maxmin_system_cpu_KCCFLN05, action, 1.0, -1.0, 1);
 651   lmm_expand(maxmin_system_cpu_KCCFLN05, CPU->constraint, action->variable,
 652              1.0);
 653
 654   return (surf_action_t) action;
 655 }
 656
 657 static void cpu_KCCFLN05_action_suspend(surf_action_t action)
 658 {
 659   lmm_update_variable_weight(maxmin_system_cpu_KCCFLN05,
 660                              ((surf_action_cpu_KCCFLN05_t) action)->variable, 0.0);
 661 }
 662
 663 static void cpu_KCCFLN05_action_resume(surf_action_t action)
 664 {
 665   lmm_update_variable_weight(maxmin_system_cpu_KCCFLN05,
 666                              ((surf_action_cpu_KCCFLN05_t) action)->variable, 1.0);
 667 }
 668
 669 static int cpu_KCCFLN05_action_is_suspended(surf_action_t action)
 670 {
 671   return (lmm_get_variable_weight(((surf_action_cpu_KCCFLN05_t) action)->variable) == 0.0);
 672 }
 673
 674 /************* workstation ************/
 675 static void action_change_state(surf_action_t action,
 676                                 e_surf_action_state_t state)
 677 {
 678   xbt_assert0(0, "Workstation is a virtual resource. I should not be there!");
 679   surf_action_change_state(action, state);
 680   return;
 681 }
 682
 683 static void action_free(surf_action_t action)
 684 {
 685   xbt_assert0(0, "Workstation is a virtual resource. I should not be there!");
 686   return;
 687 }
 688
 689 static int resource_used(void *resource_id)
 690 {
 691   xbt_assert0(0, "Workstation is a virtual resource. I should not be there!");
 692   return 0;
 693 }
 694
 695 static double share_resources(double now)
 696 {
 697   return -1.0;
 698 }
 699
 700 static void update_actions_state(double now, double delta)
 701 {
 702   return;
 703 }
 704
 705 static void update_resource_state(void *id,
 706                                   tmgr_trace_event_t event_type,
 707                                   double value)
 708 {
 709   xbt_assert0(0, "Workstation is a virtual resource. I should not be there!");
 710   return;
 711 }
 712
 713 static void action_suspend(surf_action_t action)
 714 {
 715   if(action->resource_type==(surf_resource_t)surf_network_resource)
 716     surf_network_resource->common_public->suspend(action);
 717   else if(action->resource_type==(surf_resource_t)surf_cpu_resource)
 718     surf_cpu_resource->common_public->suspend(action);
 719   else DIE_IMPOSSIBLE;
 720 }
 721
 722 static void action_resume(surf_action_t action)
 723 {
 724   if(action->resource_type==(surf_resource_t)surf_network_resource)
 725     surf_network_resource->common_public->resume(action);
 726   else if(action->resource_type==(surf_resource_t)surf_cpu_resource)
 727     surf_cpu_resource->common_public->resume(action);
 728   else DIE_IMPOSSIBLE;
 729 }
 730
 731 static int action_is_suspended(surf_action_t action)
 732 {
 733   if(action->resource_type==(surf_resource_t)surf_network_resource)
 734     return surf_network_resource->common_public->is_suspended(action);
 735   if(action->resource_type==(surf_resource_t)surf_cpu_resource)
 736     return surf_cpu_resource->common_public->is_suspended(action);
 737   DIE_IMPOSSIBLE;
 738 }
 739
 740 /**************************************/
 741 /********* Module  creation ***********/
 742 /**************************************/
 743 static void cpu_KCCFLN05_finalize(void)
 744 {
 745   xbt_dict_free(&workstation_set);
 746   xbt_swag_free(surf_cpu_resource->common_public->states.ready_action_set);
 747   xbt_swag_free(surf_cpu_resource->common_public->states.
 748                 running_action_set);
 749   xbt_swag_free(surf_cpu_resource->common_public->states.
 750                 failed_action_set);
 751   xbt_swag_free(surf_cpu_resource->common_public->states.done_action_set);
 752   xbt_free(surf_cpu_resource->common_public);
 753   xbt_free(surf_cpu_resource->common_private);
 754   xbt_free(surf_cpu_resource->extension_public);
 755
 756   xbt_free(surf_cpu_resource);
 757   surf_cpu_resource = NULL;
 758
 759   if (maxmin_system_cpu_KCCFLN05) {
 760     lmm_system_free(maxmin_system_cpu_KCCFLN05);
 761     maxmin_system_cpu_KCCFLN05 = NULL;
 762   }
 763 }
 764
 765 static void cpu_KCCFLN05_resource_init_internal(void)
 766 {
 767   s_surf_action_t action;
 768
 769   surf_cpu_resource = xbt_new0(s_surf_cpu_resource_t, 1);
 770
 771   surf_cpu_resource->common_private =
 772       xbt_new0(s_surf_resource_private_t, 1);
 773   surf_cpu_resource->common_public =
 774     xbt_new0(s_surf_resource_public_t, 1);
 775
 776   surf_cpu_resource->extension_public =
 777       xbt_new0(s_surf_cpu_resource_extension_public_t, 1);
 778
 779   surf_cpu_resource->common_public->states.ready_action_set =
 780       xbt_swag_new(xbt_swag_offset(action, state_hookup));
 781   surf_cpu_resource->common_public->states.running_action_set =
 782       xbt_swag_new(xbt_swag_offset(action, state_hookup));
 783   surf_cpu_resource->common_public->states.failed_action_set =
 784       xbt_swag_new(xbt_swag_offset(action, state_hookup));
 785   surf_cpu_resource->common_public->states.done_action_set =
 786       xbt_swag_new(xbt_swag_offset(action, state_hookup));
 787
 788   surf_cpu_resource->common_public->name_service = name_service;
 789   surf_cpu_resource->common_public->get_resource_name = get_resource_name;
 790   surf_cpu_resource->common_public->action_get_state =
 791       surf_action_get_state;
 792   surf_cpu_resource->common_public->action_free = action_cpu_KCCFLN05_free;
 793   surf_cpu_resource->common_public->action_cancel = NULL;
 794   surf_cpu_resource->common_public->action_recycle = NULL;
 795   surf_cpu_resource->common_public->action_change_state = surf_action_change_state;
 796   surf_cpu_resource->common_public->action_set_data = surf_action_set_data;
 797   surf_cpu_resource->common_public->name = "CPU KCCFLN05";
 798
 799   surf_cpu_resource->common_private->resource_used = cpu_used;
 800   surf_cpu_resource->common_private->share_resources = share_cpu_KCCFLN05_resources;
 801   surf_cpu_resource->common_private->update_actions_state =
 802     update_actions_cpu_KCCFLN05_state;
 803   surf_cpu_resource->common_private->update_resource_state =
 804       update_cpu_KCCFLN05_state;
 805   surf_cpu_resource->common_private->finalize = cpu_KCCFLN05_finalize;
 806
 807   surf_cpu_resource->extension_public->execute = execute_KCCFLN05;
 808 /*FIXME*//*   surf_cpu_resource->extension_public->sleep = action_sleep; */
 809
 810   surf_cpu_resource->common_public->suspend = cpu_KCCFLN05_action_suspend;
 811   surf_cpu_resource->common_public->resume = cpu_KCCFLN05_action_resume;
 812   surf_cpu_resource->common_public->is_suspended = cpu_KCCFLN05_action_is_suspended;
 813
 814   surf_cpu_resource->extension_public->get_state = get_state;
 815
 816   workstation_set = xbt_dict_new();
 817
 818   maxmin_system_cpu_KCCFLN05 = lmm_system_new();
 819 }
 820
 821 static void network_KCCFLN05_finalize(void)
 822 {
 823   int i,j;
 824
 825   xbt_dict_free(&network_link_set);
 826   xbt_swag_free(surf_network_resource->common_public->states.
 827                 ready_action_set);
 828   xbt_swag_free(surf_network_resource->common_public->states.
 829                 running_action_set);
 830   xbt_swag_free(surf_network_resource->common_public->states.
 831                 failed_action_set);
 832   xbt_swag_free(surf_network_resource->common_public->states.
 833                 done_action_set);
 834   xbt_free(surf_network_resource->common_public);
 835   xbt_free(surf_network_resource->common_private);
 836   xbt_free(surf_network_resource->extension_public);
 837
 838   xbt_free(surf_network_resource);
 839   surf_network_resource = NULL;
 840
 841   for (i = 0; i < nb_workstation; i++)
 842     for (j = 0; j < nb_workstation; j++)
 843       xbt_free(ROUTE(i,j).links);
 844   xbt_free(routing_table);
 845   routing_table = NULL;
 846   nb_workstation = 0;
 847
 848   if (maxmin_system_network_KCCFLN05) {
 849     lmm_system_free(maxmin_system_network_KCCFLN05);
 850     maxmin_system_network_KCCFLN05 = NULL;
 851   }
 852 }
 853
 854 static void network_KCCFLN05_resource_init_internal(void)
 855 {
 856   s_surf_action_t action;
 857
 858   surf_network_resource = xbt_new0(s_surf_network_resource_t, 1);
 859
 860   surf_network_resource->common_private =
 861       xbt_new0(s_surf_resource_private_t, 1);
 862   surf_network_resource->common_public =
 863       xbt_new0(s_surf_resource_public_t, 1);
 864   surf_network_resource->extension_public =
 865       xbt_new0(s_surf_network_resource_extension_public_t, 1);
 866
 867   surf_network_resource->common_public->states.ready_action_set =
 868       xbt_swag_new(xbt_swag_offset(action, state_hookup));
 869   surf_network_resource->common_public->states.running_action_set =
 870       xbt_swag_new(xbt_swag_offset(action, state_hookup));
 871   surf_network_resource->common_public->states.failed_action_set =
 872       xbt_swag_new(xbt_swag_offset(action, state_hookup));
 873   surf_network_resource->common_public->states.done_action_set =
 874       xbt_swag_new(xbt_swag_offset(action, state_hookup));
 875
 876   surf_network_resource->common_public->name_service = name_service;
 877   surf_network_resource->common_public->get_resource_name = get_resource_name;
 878   surf_network_resource->common_public->action_get_state =
 879       surf_action_get_state;
 880   surf_network_resource->common_public->action_free = action_network_KCCFLN05_free;
 881   surf_network_resource->common_public->action_cancel = NULL;
 882   surf_network_resource->common_public->action_recycle = NULL;
 883   surf_network_resource->common_public->action_change_state = action_network_KCCFLN05_change_state;
 884   surf_network_resource->common_public->action_set_data = surf_action_set_data;
 885   surf_network_resource->common_public->name = "network KCCFLN05";
 886
 887   surf_network_resource->common_private->resource_used = link_used;
 888   surf_network_resource->common_private->share_resources = share_network_KCCFLN05_resources;
 889   surf_network_resource->common_private->update_actions_state =
 890     update_actions_network_KCCFLN05_state;
 891   surf_network_resource->common_private->update_resource_state =
 892     update_network_KCCFLN05_state;
 893   surf_network_resource->common_private->finalize = network_KCCFLN05_finalize;
 894
 895   surf_network_resource->common_public->suspend = network_KCCFLN05_action_suspend;
 896   surf_network_resource->common_public->resume = network_KCCFLN05_action_resume;
 897   surf_network_resource->common_public->is_suspended = network_KCCFLN05_action_is_suspended;
 898
 899   surf_network_resource->extension_public->communicate = communicate_KCCFLN05;
 900
 901   network_link_set = xbt_dict_new();
 902
 903
 904   maxmin_system_network_KCCFLN05 = lmm_system_new();
 905 }
 906
 907 static void workstation_KCCFLN05_finalize(void)
 908 {
 909   xbt_swag_free(surf_workstation_resource->common_public->states.ready_action_set);
 910   xbt_swag_free(surf_workstation_resource->common_public->states.running_action_set);
 911   xbt_swag_free(surf_workstation_resource->common_public->states.failed_action_set);
 912   xbt_swag_free(surf_workstation_resource->common_public->states.done_action_set);
 913
 914   xbt_free(surf_workstation_resource->common_public);
 915   xbt_free(surf_workstation_resource->common_private);
 916   xbt_free(surf_workstation_resource->extension_public);
 917
 918   xbt_free(surf_workstation_resource);
 919   surf_workstation_resource = NULL;
 920 }
 921
 922 static void workstation_KCCFLN05_resource_init_internal(void)
 923 {
 924   s_surf_action_t action;
 925
 926   surf_workstation_resource = xbt_new0(s_surf_workstation_resource_t, 1);
 927
 928   surf_workstation_resource->common_private =
 929       xbt_new0(s_surf_resource_private_t, 1);
 930   surf_workstation_resource->common_public =
 931       xbt_new0(s_surf_resource_public_t, 1);
 932   surf_workstation_resource->extension_public =
 933       xbt_new0(s_surf_workstation_resource_extension_public_t, 1);
 934
 935   surf_workstation_resource->common_public->states.ready_action_set =
 936       xbt_swag_new(xbt_swag_offset(action, state_hookup));
 937   surf_workstation_resource->common_public->states.running_action_set =
 938       xbt_swag_new(xbt_swag_offset(action, state_hookup));
 939   surf_workstation_resource->common_public->states.failed_action_set =
 940       xbt_swag_new(xbt_swag_offset(action, state_hookup));
 941   surf_workstation_resource->common_public->states.done_action_set =
 942       xbt_swag_new(xbt_swag_offset(action, state_hookup));
 943
 944   surf_workstation_resource->common_public->name_service = name_service;
 945   surf_workstation_resource->common_public->get_resource_name =
 946       get_resource_name;
 947   surf_workstation_resource->common_public->action_get_state =
 948       surf_action_get_state;
 949   surf_workstation_resource->common_public->action_free = action_free;
 950   surf_workstation_resource->common_public->action_cancel = NULL;
 951   surf_workstation_resource->common_public->action_recycle = NULL;
 952   surf_workstation_resource->common_public->action_change_state = action_change_state;
 953   surf_workstation_resource->common_public->action_set_data = surf_action_set_data;
 954   surf_workstation_resource->common_public->name = "Workstation KCCFLN05";
 955
 956   surf_workstation_resource->common_private->resource_used = resource_used;
 957   surf_workstation_resource->common_private->share_resources = share_resources;
 958   surf_workstation_resource->common_private->update_actions_state = update_actions_state;
 959   surf_workstation_resource->common_private->update_resource_state = update_resource_state;
 960   surf_workstation_resource->common_private->finalize = workstation_KCCFLN05_finalize;
 961
 962
 963   surf_workstation_resource->common_public->suspend = action_suspend;
 964   surf_workstation_resource->common_public->resume = action_resume;
 965   surf_workstation_resource->common_public->is_suspended = action_is_suspended;
 966
 967   surf_workstation_resource->extension_public->execute = execute_KCCFLN05;
 968 /*FIXME*//*  surf_workstation_resource->extension_public->sleep = action_sleep; */
 969   surf_workstation_resource->extension_public->get_state = get_state;
 970   surf_workstation_resource->extension_public->communicate = communicate_KCCFLN05;
 971 }
 972
 973 /**************************************/
 974 /*************** Generic **************/
 975 /**************************************/
 976
 977 void surf_workstation_resource_init_KCCFLN05(const char *filename)
 978 {
 979   xbt_assert0(!surf_cpu_resource,"CPU resource type already defined");
 980   cpu_KCCFLN05_resource_init_internal();
 981   xbt_assert0(!surf_network_resource,"network resource type already defined");
 982   network_KCCFLN05_resource_init_internal();
 983   workstation_KCCFLN05_resource_init_internal();
 984   parse_file(filename);
 985
 986   xbt_dynar_push(resource_list, &surf_network_resource);
 987   xbt_dynar_push(resource_list, &surf_cpu_resource);
 988   xbt_dynar_push(resource_list, &surf_workstation_resource);
 989
 990   if (maxmin_system) { /* To avoid using this useless system */
 991     lmm_system_free(maxmin_system);
 992     maxmin_system = NULL;
 993   }
 994 }