src/bindings/lua/lua_platf.c

   1 /* Copyright (c) 2010, 2012-2015. The SimGrid Team.
   2  * All rights reserved.                                                     */
   3
   4 /* This program is free software; you can redistribute it and/or modify it
   5  * under the terms of the license (GNU LGPL) which comes with this package. */
   6
   7 /* SimGrid Lua bindings                                                     */
   8
   9 #include "lua_private.h"
  10 #include "simgrid/platf_interface.h"
  11 #include "surf/surfxml_parse.h"
  12 #include "surf/surf_routing.h"
  13 #include <string.h>
  14 #include <ctype.h>
  15 #include <lauxlib.h>
  16
  17 #include <msg/msg_private.h>
  18 #include <simix/smx_host_private.h>
  19 #include <surf/surf_private.h>
  20
  21 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(lua_platf, bindings, "Lua bindings (platform module)");
  22
  23 #define PLATF_MODULE_NAME "simgrid.platf"
  24
  25 /* ********************************************************************************* */
  26 /*                               simgrid.platf API                                   */
  27 /* ********************************************************************************* */
  28
  29 static const luaL_Reg platf_functions[] = {
  30     {"open", console_open},
  31     {"close", console_close},
  32     {"AS_open", console_AS_open},
  33     {"AS_close", console_AS_close},
  34     {"backbone_new", console_add_backbone},
  35     {"host_link_new", console_add_host___link},
  36     {"host_new", console_add_host},
  37     {"link_new", console_add_link},
  38     {"router_new", console_add_router},
  39     {"route_new", console_add_route},
  40     {"ASroute_new", console_add_ASroute},
  41     {NULL, NULL}
  42 };
  43
  44 int console_open(lua_State *L) {
  45   sg_platf_init();
  46   sg_platf_begin();
  47
  48   storage_register_callbacks();
  49   routing_register_callbacks();
  50
  51   gpu_register_callbacks();
  52
  53   return 0;
  54 }
  55
  56 int console_close(lua_State *L) {
  57   sg_platf_end();
  58   sg_platf_exit();
  59
  60   xbt_lib_cursor_t cursor;
  61   void **data;
  62   char *name;
  63
  64   /* Initialize MSG and WKS hosts */
  65   XBT_DEBUG("Initialize MSG and WKS hosts");
  66   xbt_lib_foreach(host_lib, cursor, name, data) {
  67     if(data[SURF_HOST_LEVEL]){
  68       XBT_DEBUG("\tSee surf host %s",name);
  69       SIMIX_host_create(name);
  70       // THIS IS BRAINDEAD. There is no sg_host_t in that level, but a smx_host_priv. So commenting out for now.
  71       // Lua is broken anyway. Christian will fix it
  72       // __MSG_host_create((sg_host_t)data[SIMIX_HOST_LEVEL]);
  73     }
  74   }
  75
  76   return 0;
  77 }
  78
  79 int console_add_backbone(lua_State *L) {
  80   s_sg_platf_link_cbarg_t link;
  81   memset(&link,0,sizeof(link));
  82   int type;
  83
  84   link.properties = NULL;
  85
  86   if (!lua_istable(L, -1)) {
  87     XBT_ERROR
  88         ("Bad Arguments to create backbone in Lua. Should be a table with named arguments.");
  89     return -1;
  90   }
  91
  92   lua_pushstring(L, "id");
  93   type = lua_gettable(L, -2);
  94   if (type != LUA_TSTRING) {
  95     XBT_ERROR("Attribute 'id' must be specified for backbone and must be a string.");
  96   }
  97   link.id = lua_tostring(L, -1);
  98   lua_pop(L, 1);
  99
 100   lua_pushstring(L, "bandwidth");
 101   type = lua_gettable(L, -2);
 102   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 103     XBT_ERROR("Attribute 'bandwidth' must be specified for backbone and must either be a string (in the right format; see docs) or a number.");
 104   }
 105   link.bandwidth = surf_parse_get_bandwidth(lua_tostring(L, -1));
 106   lua_pop(L, 1);
 107
 108   lua_pushstring(L, "lat");
 109   type = lua_gettable(L, -2);
 110   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 111     XBT_ERROR("Attribute 'lat' must be specified for backbone and must either be a string (in the right format; see docs) or a number.");
 112   }
 113   link.latency = surf_parse_get_time(lua_tostring(L, -1));
 114   lua_pop(L, 1);
 115
 116   link.state = SURF_RESOURCE_ON;
 117
 118   lua_pushstring(L, "sharing_policy");
 119   type = lua_gettable(L, -2);
 120   char* policy = lua_tostring(L, -1);
 121   if (policy && !strcmp(policy,"FULLDUPLEX")) {
 122     link.policy = SURF_LINK_FULLDUPLEX;
 123   } else if (policy && !strcmp(policy,"FATPIPE")) {
 124     link.policy = SURF_LINK_FATPIPE;
 125   } else {
 126     link.policy = SURF_LINK_SHARED;
 127   }
 128
 129   sg_platf_new_link(&link);
 130   routing_cluster_add_backbone(xbt_lib_get_or_null(link_lib, link.id, SURF_LINK_LEVEL));
 131
 132   return 0;
 133 }
 134
 135 int console_add_host___link(lua_State *L) {
 136   s_sg_platf_host_link_cbarg_t host_link;
 137   memset(&host_link,0,sizeof(host_link));
 138   int type;
 139
 140   // we get values from the table passed as argument
 141   if (!lua_istable(L, -1)) {
 142     XBT_ERROR
 143         ("Bad Arguments to create host_link in Lua. Should be a table with named arguments.");
 144     return -1;
 145   }
 146
 147   lua_pushstring(L, "id");
 148   type = lua_gettable(L, -2);
 149   if (type != LUA_TSTRING) {
 150     XBT_ERROR("Attribute 'id' must be specified for any host_link and must be a string.");
 151   }
 152   host_link.id = lua_tostring(L, -1);
 153   lua_pop(L, 1);
 154
 155   lua_pushstring(L, "up");
 156   type = lua_gettable(L, -2);
 157   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 158     XBT_ERROR("Attribute 'up' must be specified for host_link and must either be a string or a number.");
 159   }
 160   host_link.link_up = lua_tostring(L, -1);
 161   lua_pop(L, 1);
 162
 163   lua_pushstring(L, "down");
 164   type = lua_gettable(L, -2);
 165   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 166     XBT_ERROR("Attribute 'down' must be specified for host_link and must either be a string or a number.");
 167   }
 168   host_link.link_down = lua_tostring(L, -1);
 169   lua_pop(L, 1);
 170
 171   XBT_DEBUG("Create a host_link for host %s", host_link.id);
 172   sg_platf_new_host_link(&host_link);
 173
 174   return 0;
 175 }
 176
 177 int console_add_host(lua_State *L) {
 178   s_sg_platf_host_cbarg_t host;
 179   memset(&host,0,sizeof(host));
 180   int state, type;
 181
 182   // we get values from the table passed as argument
 183   if (!lua_istable(L, -1)) {
 184     XBT_ERROR
 185         ("Bad Arguments to create host, Should be a table with named arguments");
 186     return -1;
 187   }
 188
 189   // get Id Value
 190   lua_pushstring(L, "id");
 191   type = lua_gettable(L, -2);
 192   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 193     XBT_ERROR("Attribute 'id' must be specified for any host and must be a string.");
 194   }
 195   host.id = lua_tostring(L, -1);
 196   lua_pop(L, 1);
 197
 198   // get power value
 199   lua_pushstring(L, "power");
 200   type = lua_gettable(L, -2);
 201   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 202     XBT_ERROR("Attribute 'power' must be specified for host and must either be a string (in the correct format; check documentation) or a number.");
 203   }
 204   host.power_peak = xbt_dynar_new(sizeof(double), NULL);
 205   xbt_dynar_push_as(host.power_peak, double, get_cpu_power(lua_tostring(L, -1)));
 206   lua_pop(L, 1);
 207
 208   // get core
 209   lua_pushstring(L, "core");
 210   lua_gettable(L, -2);
 211   if(!lua_isnumber(L,-1)) {
 212       host.core_amount = 1;// Default value
 213   }
 214   else host.core_amount = lua_tonumber(L, -1);
 215   if (host.core_amount == 0)
 216     host.core_amount = 1;
 217   lua_pop(L, 1);
 218
 219   //get power_scale
 220   lua_pushstring(L, "availability");
 221   lua_gettable(L, -2);
 222   if(!lua_isnumber(L,-1)) host.power_scale = 1;// Default value
 223   else host.power_scale = lua_tonumber(L, -1);
 224   lua_pop(L, 1);
 225
 226   //get power_trace
 227   lua_pushstring(L, "availability_file");
 228   lua_gettable(L, -2);
 229   host.power_trace = tmgr_trace_new_from_file(lua_tostring(L, -1));
 230   lua_pop(L, 1);
 231
 232   //get state initial
 233   lua_pushstring(L, "state");
 234   lua_gettable(L, -2);
 235   if(!lua_isnumber(L,-1)) state = 1;// Default value
 236   else state = lua_tonumber(L, -1);
 237   lua_pop(L, 1);
 238
 239   if (state)
 240     host.initial_state = SURF_RESOURCE_ON;
 241   else
 242     host.initial_state = SURF_RESOURCE_OFF;
 243
 244   //get trace state
 245   lua_pushstring(L, "state_file");
 246   lua_gettable(L, -2);
 247   host.state_trace = tmgr_trace_new_from_file(lua_tostring(L, -1));
 248   lua_pop(L, 1);
 249
 250   sg_platf_new_host(&host);
 251
 252   return 0;
 253 }
 254
 255 int  console_add_link(lua_State *L) {
 256   s_sg_platf_link_cbarg_t link;
 257   memset(&link,0,sizeof(link));
 258
 259   int type;
 260   const char* policy;
 261
 262   if (! lua_istable(L, -1)) {
 263     XBT_ERROR("Bad Arguments to create link, Should be a table with named arguments");
 264     return -1;
 265   }
 266
 267   // get Id Value
 268   lua_pushstring(L, "id");
 269   type = lua_gettable(L, -2);
 270   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 271     XBT_ERROR("Attribute 'id' must be specified for any link and must be a string.");
 272   }
 273   link.id = lua_tostring(L, -1);
 274   lua_pop(L, 1);
 275
 276   // get bandwidth value
 277   lua_pushstring(L, "bandwidth");
 278   type = lua_gettable(L, -2);
 279   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 280     XBT_ERROR("Attribute 'bandwidth' must be specified for any link and must either be either a string (in the right format; see docs) or a number.");
 281   }
 282   link.bandwidth = surf_parse_get_bandwidth(lua_tostring(L, -1));
 283   lua_pop(L, 1);
 284
 285   //get latency value
 286   lua_pushstring(L, "lat");
 287   type = lua_gettable(L, -2);
 288   if (type != LUA_TSTRING && type != LUA_TNUMBER) {
 289     XBT_ERROR("Attribute 'lat' must be specified for any link and must either be a string (in the right format; see docs) or a number.");
 290   }
 291   link.latency = surf_parse_get_time(lua_tostring(L, -1));
 292   lua_pop(L, 1);
 293
 294   /*Optional Arguments  */
 295
 296   //get bandwidth_trace value
 297   lua_pushstring(L, "bandwidth_file");
 298   lua_gettable(L, -2);
 299   link.bandwidth_trace = tmgr_trace_new_from_file(lua_tostring(L, -1));
 300   lua_pop(L, 1);
 301
 302   //get latency_trace value
 303   lua_pushstring(L, "latency_file");
 304   lua_gettable(L, -2);
 305   link.latency_trace = tmgr_trace_new_from_file(lua_tostring(L, -1));
 306   lua_pop(L, 1);
 307
 308   //get state_trace value
 309   lua_pushstring(L, "state_file");
 310   lua_gettable(L, -2);
 311   link.state_trace = tmgr_trace_new_from_file(lua_tostring(L, -1));
 312   lua_pop(L, 1);
 313
 314   //get state_initial value
 315   lua_pushstring(L, "state");
 316   lua_gettable(L, -2);
 317   if (!lua_isnumber(L,-1) || lua_tonumber(L, -1))
 318     link.state = SURF_RESOURCE_ON;
 319   else
 320     link.state = SURF_RESOURCE_OFF;
 321   lua_pop(L, 1);
 322
 323   //get policy value
 324   lua_pushstring(L, "sharing_policy");
 325   lua_gettable(L, -2);
 326   policy = lua_tostring(L, -1);
 327   lua_pop(L, 1);
 328   if (policy && !strcmp(policy,"FULLDUPLEX")) {
 329     link.policy = SURF_LINK_FULLDUPLEX;
 330   } else if (policy && !strcmp(policy,"FATPIPE")) {
 331     link.policy = SURF_LINK_FATPIPE;
 332   } else {
 333     link.policy = SURF_LINK_SHARED;
 334   }
 335
 336   sg_platf_new_link(&link);
 337
 338   return 0;
 339 }
 340 /**
 341  * add Router to AS components
 342  */
 343 int console_add_router(lua_State* L) {
 344   s_sg_platf_router_cbarg_t router;
 345   memset(&router,0,sizeof(router));
 346   int type;
 347
 348   if (! lua_istable(L, -1)) {
 349     XBT_ERROR("Bad Arguments to create router, Should be a table with named arguments");
 350     return -1;
 351   }
 352
 353   lua_pushstring(L, "id");
 354   type = lua_gettable(L, -2);
 355   if (type != LUA_TSTRING) {
 356     XBT_ERROR("Attribute 'id' must be specified for any link and must be a string.");
 357   }
 358   router.id = lua_tostring(L, -1);
 359   lua_pop(L,1);
 360
 361   lua_pushstring(L,"coord");
 362   lua_gettable(L,-2);
 363   router.coord = lua_tostring(L, -1);
 364   lua_pop(L,1);
 365
 366   sg_platf_new_router(&router);
 367
 368   return 0;
 369 }
 370
 371 #include "surf/surfxml_parse.h" /* to override surf_parse and bypass the parser */
 372
 373 int console_add_route(lua_State *L) {
 374   XBT_DEBUG("Adding route");
 375   s_sg_platf_route_cbarg_t route;
 376   memset(&route,0,sizeof(route));
 377   int type;
 378
 379   /* allocating memory for the buffer, I think 2kB should be enough */
 380   surfxml_bufferstack = xbt_new0(char, surfxml_bufferstack_size);
 381
 382   if (! lua_istable(L, -1)) {
 383     XBT_ERROR("Bad Arguments to create a route. Should be a table with named arguments");
 384     return -1;
 385   }
 386
 387   lua_pushstring(L,"src");
 388   type = lua_gettable(L,-2);
 389   if (type != LUA_TSTRING) {
 390     XBT_ERROR("Attribute 'src' must be specified for any route and must be a string.");
 391   }
 392   route.src = lua_tostring(L, -1);
 393   lua_pop(L,1);
 394
 395   lua_pushstring(L,"dest");
 396   type = lua_gettable(L,-2);
 397   if (type != LUA_TSTRING) {
 398     XBT_ERROR("Attribute 'dest' must be specified for any route and must be a string.");
 399   }
 400   route.dst = lua_tostring(L, -1);
 401   lua_pop(L,1);
 402
 403   lua_pushstring(L,"links");
 404   type = lua_gettable(L,-2);
 405   if (type != LUA_TSTRING) {
 406     XBT_ERROR("Attribute 'links' must be specified for any route and must be a string (different links separated by commas or single spaces.");
 407   }
 408   route.link_list = xbt_str_split(lua_tostring(L, -1), ", \t\r\n");
 409   if (xbt_dynar_is_empty(route.link_list))
 410     xbt_dynar_push_as(route.link_list,char*,xbt_strdup(lua_tostring(L, -1)));
 411   lua_pop(L,1);
 412
 413   /* We are relying on the XML bypassing mechanism since the corresponding sg_platf does not exist yet.
 414    * Et ouais mon pote. That's the way it goes. F34R.
 415    *
 416    * (Note that above this function, there is a #include statement. Is this
 417    * comment related to that statement?)
 418    */
 419   lua_pushstring(L,"symmetrical");
 420   lua_gettable(L,-2);
 421   if (lua_isstring(L, -1)) {
 422     const char* value = lua_tostring(L, -1);
 423     if (strcmp("YES", value) == 0) {
 424       route.symmetrical = TRUE;
 425     }
 426     else
 427       route.symmetrical = FALSE;
 428   }
 429   else {
 430     route.symmetrical = TRUE;
 431   }
 432   lua_pop(L,1);
 433
 434   route.gw_src = NULL;
 435   route.gw_dst = NULL;
 436
 437   sg_platf_new_route(&route);
 438
 439   return 0;
 440 }
 441
 442 int console_add_ASroute(lua_State *L) {
 443   s_sg_platf_route_cbarg_t ASroute;
 444   memset(&ASroute,0,sizeof(ASroute));
 445
 446   lua_pushstring(L, "src");
 447   lua_gettable(L, -2);
 448   ASroute.src = lua_tostring(L, -1);
 449   lua_pop(L, 1);
 450
 451   lua_pushstring(L, "dst");
 452   lua_gettable(L, -2);
 453   ASroute.dst = lua_tostring(L, -1);
 454   lua_pop(L, 1);
 455
 456   lua_pushstring(L, "gw_src");
 457   lua_gettable(L, -2);
 458   ASroute.gw_src = sg_routing_edge_by_name_or_null(lua_tostring(L, -1));
 459   lua_pop(L, 1);
 460
 461   lua_pushstring(L, "gw_dst");
 462   lua_gettable(L, -2);
 463   ASroute.gw_dst = sg_routing_edge_by_name_or_null(lua_tostring(L, -1));
 464   lua_pop(L, 1);
 465
 466   /*if (A_surfxml_ASroute_gw___src && !ASroute.gw_src)*/
 467     /*surf_parse_error("gw_src=\"%s\" not found for ASroute from \"%s\" to \"%s\"",*/
 468                      /*A_surfxml_ASroute_gw___src, ASroute.src, ASroute.dst);*/
 469   /*if (A_surfxml_ASroute_gw___dst && !ASroute.gw_dst)*/
 470     /*surf_parse_error("gw_dst=\"%s\" not found for ASroute from \"%s\" to \"%s\"",*/
 471                      /*A_surfxml_ASroute_gw___dst, ASroute.src, ASroute.dst);*/
 472
 473   lua_pushstring(L,"links");
 474   lua_gettable(L,-2);
 475   ASroute.link_list = xbt_str_split(lua_tostring(L, -1), ", \t\r\n");
 476   if (xbt_dynar_is_empty(ASroute.link_list))
 477     xbt_dynar_push_as(ASroute.link_list,char*,xbt_strdup(lua_tostring(L, -1)));
 478   lua_pop(L,1);
 479
 480   lua_pushstring(L,"symmetrical");
 481   lua_gettable(L,-2);
 482   if (lua_isstring(L, -1)) {
 483     const char* value = lua_tostring(L, -1);
 484     if (strcmp("YES", value) == 0) {
 485       ASroute.symmetrical = TRUE;
 486     }
 487     else
 488       ASroute.symmetrical = FALSE;
 489   }
 490   else {
 491     ASroute.symmetrical = TRUE;
 492   }
 493   lua_pop(L,1);
 494
 495   sg_platf_new_ASroute(&ASroute);
 496
 497   return 0;
 498 }
 499
 500 int console_AS_open(lua_State *L) {
 501  const char *id;
 502  const char *mode;
 503  int type;
 504
 505  XBT_DEBUG("Opening AS");
 506
 507  if (! lua_istable(L, 1)) {
 508    XBT_ERROR("Bad Arguments to AS_open, Should be a table with named arguments");
 509    return -1;
 510  }
 511
 512  lua_pushstring(L, "id");
 513  type = lua_gettable(L, -2);
 514   if (type != LUA_TSTRING) {
 515     XBT_ERROR("Attribute 'id' must be specified for any AS and must be a string.");
 516   }
 517  id = lua_tostring(L, -1);
 518  lua_pop(L, 1);
 519
 520  lua_pushstring(L, "mode");
 521  lua_gettable(L, -2);
 522  mode = lua_tostring(L, -1);
 523  lua_pop(L, 1);
 524
 525  int mode_int = A_surfxml_AS_routing_None;
 526  if(!strcmp(mode,"Full")) mode_int = A_surfxml_AS_routing_Full;
 527  else if(!strcmp(mode,"Floyd")) mode_int = A_surfxml_AS_routing_Floyd;
 528  else if(!strcmp(mode,"Dijkstra")) mode_int = A_surfxml_AS_routing_Dijkstra;
 529  else if(!strcmp(mode,"DijkstraCache")) mode_int = A_surfxml_AS_routing_DijkstraCache;
 530  else if(!strcmp(mode,"Vivaldi")) mode_int = A_surfxml_AS_routing_Vivaldi;
 531  else if(!strcmp(mode,"Cluster")) mode_int = A_surfxml_AS_routing_Cluster;
 532  else if(!strcmp(mode,"none")) mode_int = A_surfxml_AS_routing_None;
 533  else xbt_die("Don't have the model name '%s'",mode);
 534
 535  s_sg_platf_AS_cbarg_t AS = SG_PLATF_AS_INITIALIZER;
 536  AS.id = id;
 537  AS.routing = mode_int;
 538
 539  sg_platf_new_AS_begin(&AS);
 540
 541  return 0;
 542 }
 543 int console_AS_close(lua_State *L) {
 544   XBT_DEBUG("Closing AS");
 545   sg_platf_new_AS_end();
 546   return 0;
 547 }
 548
 549 int console_set_function(lua_State *L) {
 550
 551   const char *host_id ;
 552   const char *function_id;
 553   xbt_dynar_t args;
 554
 555   if (! lua_istable(L, 1)) {
 556     XBT_ERROR("Bad Arguments to AS.new, Should be a table with named arguments");
 557     return -1;
 558   }
 559
 560   // get Host id
 561   lua_pushstring(L, "host");
 562   lua_gettable(L, -2);
 563   host_id = lua_tostring(L, -1);
 564   lua_pop(L, 1);
 565
 566   // get Function Name
 567   lua_pushstring(L, "fct");
 568   lua_gettable(L, -2);
 569   function_id = lua_tostring(L, -1);
 570   lua_pop(L, 1);
 571
 572   //get args
 573   lua_pushstring(L,"args");
 574   lua_gettable(L, -2);
 575   args = xbt_str_split_str( lua_tostring(L,-1) , ",");
 576   lua_pop(L, 1);
 577
 578   msg_host_t host = MSG_host_by_name(host_id);
 579   if (!host) {
 580     XBT_ERROR("no host '%s' found",host_id);
 581     return -1;
 582   }
 583
 584   // FIXME: use sg_platf_new_process directly (warning: find a way to check hostname)
 585   MSG_set_function(host_id, function_id, args);
 586
 587   return 0;
 588 }
 589
 590 int console_host_set_property(lua_State *L) {
 591   const char* name ="";
 592   const char* prop_id = "";
 593   const char* prop_value = "";
 594   if (!lua_istable(L, -1)) {
 595     XBT_ERROR("Bad Arguments to create link, Should be a table with named arguments");
 596     return -1;
 597   }
 598
 599
 600   // get Host id
 601   lua_pushstring(L, "host");
 602   lua_gettable(L, -2);
 603   name = lua_tostring(L, -1);
 604   lua_pop(L, 1);
 605
 606   // get prop Name
 607   lua_pushstring(L, "prop");
 608   lua_gettable(L, -2);
 609   prop_id = lua_tostring(L, -1);
 610   lua_pop(L, 1);
 611   //get args
 612   lua_pushstring(L,"value");
 613   lua_gettable(L, -2);
 614   prop_value = lua_tostring(L,-1);
 615   lua_pop(L, 1);
 616
 617   msg_host_t host = MSG_host_by_name(name);
 618   if (!host) {
 619     XBT_ERROR("no host '%s' found",name);
 620     return -1;
 621   }
 622   xbt_dict_t props = MSG_host_get_properties(host);
 623   xbt_dict_set(props,prop_id,xbt_strdup(prop_value),NULL);
 624
 625   return 0;
 626 }
 627
 628 /**
 629  * \brief Registers the platform functions into the table simgrid.platf.
 630  * \param L a lua state
 631  */
 632 void sglua_register_platf_functions(lua_State* L)
 633 {
 634   lua_getglobal(L, "simgrid");     /* simgrid */
 635   luaL_newlib(L, platf_functions); /* simgrid simgrid.platf */
 636   lua_setfield(L, -2, "platf");    /* simgrid */
 637
 638   lua_pop(L, 1);                   /* -- */
 639 }
 640