src/simgrid/sg_config.c

   1 /* Copyright (c) 2009-2010, 2012-2014. 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 /* sg_config: configuration infrastructure for the simulation world       */
   8
   9 #include "xbt/misc.h"
  10 #include "xbt/config.h"
  11 #include "xbt/log.h"
  12 #include "xbt/mallocator.h"
  13 #include "xbt/str.h"
  14 #include "xbt/lib.h"
  15 #include "xbt/sysdep.h"
  16 #include "surf/surf.h"
  17 #include "surf/maxmin.h"
  18 #include "instr/instr_interface.h"
  19 #include "simgrid/simix.h"
  20 #include "simgrid/sg_config.h"
  21 #include "smpi/smpi_interface.h"
  22 #include "mc/mc.h"
  23 #include "mc/mc_record.h"
  24 #include "simgrid/instr.h"
  25 #include "mc/mc_replay.h"
  26
  27 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_config, surf,
  28                                 "About the configuration of simgrid");
  29
  30 xbt_cfg_t _sg_cfg_set = NULL;
  31
  32 /* 0: beginning of time (config cannot be changed yet);
  33  * 1: initialized: cfg_set created (config can now be changed);
  34  * 2: configured: command line parsed and config part of platform file was
  35  *    integrated also, platform construction ongoing or done.
  36  *    (Config cannot be changed anymore!)
  37  */
  38 int _sg_cfg_init_status = 0;
  39
  40 /* instruct the upper layer (simix or simdag) to exit as soon as possible
  41  */
  42 int _sg_cfg_exit_asap = 0;
  43
  44 #define sg_cfg_exit_early() do { _sg_cfg_exit_asap = 1; return; } while (0)
  45
  46 /* Parse the command line, looking for options */
  47 static void sg_config_cmd_line(int *argc, char **argv)
  48 {
  49   int shall_exit = 0;
  50   int i, j;
  51   char *opt;
  52
  53   for (j = i = 1; i < *argc; i++) {
  54     if (!strncmp(argv[i], "--cfg=", strlen("--cfg="))) {
  55       opt = strchr(argv[i], '=');
  56       opt++;
  57
  58       xbt_cfg_set_parse(_sg_cfg_set, opt);
  59       XBT_DEBUG("Did apply '%s' as config setting", opt);
  60     } else if (!strcmp(argv[i], "--version")) {
  61       printf("%s\n", SIMGRID_VERSION_STRING);
  62       shall_exit = 1;
  63     } else if (!strcmp(argv[i], "--cfg-help") || !strcmp(argv[i], "--help")) {
  64       printf
  65           ("Description of the configuration accepted by this simulator:\n");
  66       xbt_cfg_help(_sg_cfg_set);
  67       printf(
  68 "\n"
  69 "Each of these configurations can be used by adding\n"
  70 "    --cfg=<option name>:<option value>\n"
  71 "to the command line.\n"
  72 "\n"
  73 "You can also use --help-models to see the details of all models known by this simulator.\n"
  74 "\n"
  75 "You can also use --help-tracing to see the details of all tracing options known by this simulator.\n"
  76 "\n"
  77 "You can also use --help-logs and --help-log-categories to see the details of logging output.\n"
  78 "\n"
  79 "You can also use --version to get SimGrid version information.\n"
  80 "\n"
  81         );
  82       shall_exit = 1;
  83     } else if (!strcmp(argv[i], "--help-models")) {
  84       int k;
  85
  86       model_help("workstation", surf_workstation_model_description);
  87       printf("\n");
  88       model_help("CPU", surf_cpu_model_description);
  89       printf("\n");
  90       model_help("network", surf_network_model_description);
  91       printf("\nLong description of all optimization levels accepted by the models of this simulator:\n");
  92       for (k = 0; surf_optimization_mode_description[k].name; k++)
  93         printf("  %s: %s\n",
  94                surf_optimization_mode_description[k].name,
  95                surf_optimization_mode_description[k].description);
  96       printf("Both network and CPU models have 'Lazy' as default optimization level\n\n");
  97       shall_exit = 1;
  98     } else if (!strcmp(argv[i], "--help-tracing")) {
  99       TRACE_help (1);
 100       shall_exit = 1;
 101     } else {
 102       argv[j++] = argv[i];
 103     }
 104   }
 105   if (j < *argc) {
 106     argv[j] = NULL;
 107     *argc = j;
 108   }
 109   if (shall_exit)
 110     sg_cfg_exit_early();
 111 }
 112
 113 /* callback of the plugin variable */
 114 static void _sg_cfg_cb__plugin(const char *name, int pos)
 115 {
 116   char *val;
 117
 118   XBT_VERB("PLUGIN");
 119   xbt_assert(_sg_cfg_init_status < 2,
 120               "Cannot load a plugin after the initialization");
 121
 122   val = xbt_cfg_get_string(_sg_cfg_set, name);
 123
 124   if (!strcmp(val, "help")) {
 125     model_help("plugin", surf_plugin_description);
 126     sg_cfg_exit_early();
 127   }
 128
 129   /* New Module missing */
 130   int plugin_id = find_model_description(surf_plugin_description, val);
 131   surf_plugin_description[plugin_id].model_init_preparse();
 132 }
 133
 134 /* callback of the workstation/model variable */
 135 static void _sg_cfg_cb__workstation_model(const char *name, int pos)
 136 {
 137   char *val;
 138
 139   xbt_assert(_sg_cfg_init_status < 2,
 140               "Cannot change the model after the initialization");
 141
 142   val = xbt_cfg_get_string(_sg_cfg_set, name);
 143
 144   if (!strcmp(val, "help")) {
 145     model_help("workstation", surf_workstation_model_description);
 146     sg_cfg_exit_early();
 147   }
 148
 149   /* Make sure that the model exists */
 150   find_model_description(surf_workstation_model_description, val);
 151 }
 152
 153 /* callback of the vm_workstation/model variable */
 154 static void _sg_cfg_cb__vm_workstation_model(const char *name, int pos)
 155 {
 156   char *val;
 157
 158   xbt_assert(_sg_cfg_init_status < 2,
 159               "Cannot change the model after the initialization");
 160
 161   val = xbt_cfg_get_string(_sg_cfg_set, name);
 162
 163   if (!strcmp(val, "help")) {
 164     model_help("vm_workstation", surf_vm_workstation_model_description);
 165     sg_cfg_exit_early();
 166   }
 167
 168   /* Make sure that the model exists */
 169   find_model_description(surf_vm_workstation_model_description, val);
 170 }
 171
 172 /* callback of the cpu/model variable */
 173 static void _sg_cfg_cb__cpu_model(const char *name, int pos)
 174 {
 175   char *val;
 176
 177   xbt_assert(_sg_cfg_init_status < 2,
 178               "Cannot change the model after the initialization");
 179
 180   val = xbt_cfg_get_string(_sg_cfg_set, name);
 181
 182   if (!strcmp(val, "help")) {
 183     model_help("CPU", surf_cpu_model_description);
 184     sg_cfg_exit_early();
 185   }
 186
 187   /* New Module missing */
 188   find_model_description(surf_cpu_model_description, val);
 189 }
 190
 191 /* callback of the cpu/model variable */
 192 static void _sg_cfg_cb__optimization_mode(const char *name, int pos)
 193 {
 194   char *val;
 195
 196   xbt_assert(_sg_cfg_init_status < 2,
 197               "Cannot change the model after the initialization");
 198
 199   val = xbt_cfg_get_string(_sg_cfg_set, name);
 200
 201   if (!strcmp(val, "help")) {
 202     model_help("optimization", surf_optimization_mode_description);
 203     sg_cfg_exit_early();
 204   }
 205
 206   /* New Module missing */
 207   find_model_description(surf_optimization_mode_description, val);
 208 }
 209
 210 /* callback of the cpu/model variable */
 211 static void _sg_cfg_cb__storage_mode(const char *name, int pos)
 212 {
 213   char *val;
 214
 215   xbt_assert(_sg_cfg_init_status < 2,
 216               "Cannot change the model after the initialization");
 217
 218   val = xbt_cfg_get_string(_sg_cfg_set, name);
 219
 220   if (!strcmp(val, "help")) {
 221     model_help("storage", surf_storage_model_description);
 222     sg_cfg_exit_early();
 223   }
 224
 225   /* New Module missing */
 226   find_model_description(surf_storage_model_description, val);
 227 }
 228
 229 /* callback of the workstation_model variable */
 230 static void _sg_cfg_cb__network_model(const char *name, int pos)
 231 {
 232   char *val;
 233
 234   xbt_assert(_sg_cfg_init_status < 2,
 235               "Cannot change the model after the initialization");
 236
 237   val = xbt_cfg_get_string(_sg_cfg_set, name);
 238
 239   if (!strcmp(val, "help")) {
 240     model_help("network", surf_network_model_description);
 241     sg_cfg_exit_early();
 242   }
 243
 244   /* New Module missing */
 245   find_model_description(surf_network_model_description, val);
 246 }
 247
 248 /* callbacks of the network models values */
 249 static void _sg_cfg_cb__tcp_gamma(const char *name, int pos)
 250 {
 251   sg_tcp_gamma = xbt_cfg_get_double(_sg_cfg_set, name);
 252 }
 253
 254 static void _sg_cfg_cb__maxmin_precision(const char* name, int pos)
 255 {
 256   sg_maxmin_precision = xbt_cfg_get_double(_sg_cfg_set, name);
 257 }
 258
 259 static void _sg_cfg_cb__surf_precision(const char* name, int pos)
 260 {
 261   sg_surf_precision = xbt_cfg_get_double(_sg_cfg_set, name);
 262 }
 263
 264 static void _sg_cfg_cb__sender_gap(const char* name, int pos)
 265 {
 266   sg_sender_gap = xbt_cfg_get_double(_sg_cfg_set, name);
 267 }
 268
 269 static void _sg_cfg_cb__latency_factor(const char *name, int pos)
 270 {
 271   sg_latency_factor = xbt_cfg_get_double(_sg_cfg_set, name);
 272 }
 273
 274 static void _sg_cfg_cb__bandwidth_factor(const char *name, int pos)
 275 {
 276   sg_bandwidth_factor = xbt_cfg_get_double(_sg_cfg_set, name);
 277 }
 278
 279 static void _sg_cfg_cb__weight_S(const char *name, int pos)
 280 {
 281   sg_weight_S_parameter = xbt_cfg_get_double(_sg_cfg_set, name);
 282 }
 283
 284 #ifdef HAVE_SMPI
 285 /* callback of the mpi collectives */
 286 static void _sg_cfg_cb__coll(const char *category,
 287                              s_mpi_coll_description_t * table,
 288                              const char *name, int pos)
 289 {
 290   char *val;
 291
 292   xbt_assert(_sg_cfg_init_status < 2,
 293               "Cannot change the model after the initialization");
 294
 295   val = xbt_cfg_get_string(_sg_cfg_set, name);
 296
 297   if (!strcmp(val, "help")) {
 298     coll_help(category, table);
 299     sg_cfg_exit_early();
 300   }
 301
 302   /* New Module missing */
 303   find_coll_description(table, val, category);
 304 }
 305 static void _sg_cfg_cb__coll_gather(const char *name, int pos){
 306   _sg_cfg_cb__coll("gather", mpi_coll_gather_description, name, pos);
 307 }
 308 static void _sg_cfg_cb__coll_allgather(const char *name, int pos){
 309   _sg_cfg_cb__coll("allgather", mpi_coll_allgather_description, name, pos);
 310 }
 311 static void _sg_cfg_cb__coll_allgatherv(const char *name, int pos){
 312   _sg_cfg_cb__coll("allgatherv", mpi_coll_allgatherv_description, name, pos);
 313 }
 314 static void _sg_cfg_cb__coll_allreduce(const char *name, int pos)
 315 {
 316   _sg_cfg_cb__coll("allreduce", mpi_coll_allreduce_description, name, pos);
 317 }
 318 static void _sg_cfg_cb__coll_alltoall(const char *name, int pos)
 319 {
 320   _sg_cfg_cb__coll("alltoall", mpi_coll_alltoall_description, name, pos);
 321 }
 322 static void _sg_cfg_cb__coll_alltoallv(const char *name, int pos)
 323 {
 324   _sg_cfg_cb__coll("alltoallv", mpi_coll_alltoallv_description, name, pos);
 325 }
 326 static void _sg_cfg_cb__coll_bcast(const char *name, int pos)
 327 {
 328   _sg_cfg_cb__coll("bcast", mpi_coll_bcast_description, name, pos);
 329 }
 330 static void _sg_cfg_cb__coll_reduce(const char *name, int pos)
 331 {
 332   _sg_cfg_cb__coll("reduce", mpi_coll_reduce_description, name, pos);
 333 }
 334 static void _sg_cfg_cb__coll_reduce_scatter(const char *name, int pos){
 335   _sg_cfg_cb__coll("reduce_scatter", mpi_coll_reduce_scatter_description, name, pos);
 336 }
 337 static void _sg_cfg_cb__coll_scatter(const char *name, int pos){
 338   _sg_cfg_cb__coll("scatter", mpi_coll_scatter_description, name, pos);
 339 }
 340 static void _sg_cfg_cb__coll_barrier(const char *name, int pos){
 341   _sg_cfg_cb__coll("barrier", mpi_coll_barrier_description, name, pos);
 342 }
 343
 344 static void _sg_cfg_cb__wtime_sleep(const char *name, int pos){
 345   smpi_wtime_sleep = xbt_cfg_get_double(_sg_cfg_set, name);
 346 }
 347
 348 static void _sg_cfg_cb__iprobe_sleep(const char *name, int pos){
 349   smpi_iprobe_sleep = xbt_cfg_get_double(_sg_cfg_set, name);
 350 }
 351
 352 static void _sg_cfg_cb__test_sleep(const char *name, int pos){
 353   smpi_test_sleep = xbt_cfg_get_double(_sg_cfg_set, name);
 354 }
 355
 356
 357
 358 #endif
 359
 360 /* callback of the inclusion path */
 361 static void _sg_cfg_cb__surf_path(const char *name, int pos)
 362 {
 363   char *path = xbt_cfg_get_string_at(_sg_cfg_set, name, pos);
 364   xbt_dynar_push(surf_path, &path);
 365 }
 366
 367 /* callback to decide if we want to use the model-checking */
 368 #include "xbt_modinter.h"
 369
 370 #ifdef HAVE_MC
 371 extern int _sg_do_model_check;   /* this variable lives in xbt_main until I find a right location for it */
 372 extern int _sg_do_model_check_record;
 373 #endif
 374
 375 static void _sg_cfg_cb_model_check_replay(const char *name, int pos)
 376 {
 377   MC_record_path = xbt_cfg_get_string(_sg_cfg_set, name);
 378 }
 379
 380 static void _sg_cfg_cb_model_check(const char *name, int pos)
 381 {
 382 #ifdef HAVE_MC
 383   _sg_do_model_check = xbt_cfg_get_boolean(_sg_cfg_set, name);
 384 #else
 385   if (xbt_cfg_get_boolean(_sg_cfg_set, name)) {
 386     xbt_die("You tried to activate the model-checking from the command line, but it was not compiled in. Change your settings in cmake, recompile and try again");
 387   }
 388 #endif
 389 }
 390
 391 static void _sg_cfg_cb_model_check_record(const char *name, int pos)
 392 {
 393 #ifdef HAVE_MC
 394   _sg_do_model_check_record = xbt_cfg_get_boolean(_sg_cfg_set, name);
 395 #else
 396   if (xbt_cfg_get_boolean(_sg_cfg_set, name)) {
 397     xbt_die("You tried to activate the model-checking record from the command line, but it was not compiled in. Change your settings in cmake, recompile and try again");
 398   }
 399 #endif
 400 }
 401
 402 extern int _sg_do_verbose_exit;
 403
 404 static void _sg_cfg_cb_verbose_exit(const char *name, int pos)
 405 {
 406   _sg_do_verbose_exit = xbt_cfg_get_boolean(_sg_cfg_set, name);
 407 }
 408
 409 extern int _sg_do_clean_atexit;
 410
 411 static void _sg_cfg_cb_clean_atexit(const char *name, int pos)
 412 {
 413   _sg_do_clean_atexit = xbt_cfg_get_boolean(_sg_cfg_set, name);
 414 }
 415
 416 static void _sg_cfg_cb_context_factory(const char *name, int pos)
 417 {
 418   smx_context_factory_name = xbt_cfg_get_string(_sg_cfg_set, name);
 419 }
 420
 421 static void _sg_cfg_cb_context_stack_size(const char *name, int pos)
 422 {
 423   smx_context_stack_size_was_set = 1;
 424   smx_context_stack_size = xbt_cfg_get_int(_sg_cfg_set, name) * 1024;
 425 }
 426
 427 static void _sg_cfg_cb_context_guard_size(const char *name, int pos)
 428 {
 429   smx_context_guard_size_was_set = 1;
 430   smx_context_guard_size = xbt_cfg_get_int(_sg_cfg_set, name) * xbt_pagesize;
 431 }
 432
 433 static void _sg_cfg_cb_contexts_nthreads(const char *name, int pos)
 434 {
 435   SIMIX_context_set_nthreads(xbt_cfg_get_int(_sg_cfg_set, name));
 436 }
 437
 438 static void _sg_cfg_cb_contexts_parallel_threshold(const char *name, int pos)
 439 {
 440   SIMIX_context_set_parallel_threshold(xbt_cfg_get_int(_sg_cfg_set, name));
 441 }
 442
 443 static void _sg_cfg_cb_contexts_parallel_mode(const char *name, int pos)
 444 {
 445   const char* mode_name = xbt_cfg_get_string(_sg_cfg_set, name);
 446   if (!strcmp(mode_name, "posix")) {
 447     SIMIX_context_set_parallel_mode(XBT_PARMAP_POSIX);
 448   }
 449   else if (!strcmp(mode_name, "futex")) {
 450     SIMIX_context_set_parallel_mode(XBT_PARMAP_FUTEX);
 451   }
 452   else if (!strcmp(mode_name, "busy_wait")) {
 453     SIMIX_context_set_parallel_mode(XBT_PARMAP_BUSY_WAIT);
 454   }
 455   else {
 456     xbt_die("Command line setting of the parallel synchronization mode should "
 457             "be one of \"posix\", \"futex\" or \"busy_wait\"");
 458   }
 459 }
 460
 461 static void _sg_cfg_cb__surf_network_coordinates(const char *name,
 462                                                  int pos)
 463 {
 464   int val = xbt_cfg_get_boolean(_sg_cfg_set, name);
 465   if (val) {
 466     if (!COORD_HOST_LEVEL) {
 467       COORD_HOST_LEVEL = xbt_lib_add_level(host_lib,xbt_dynar_free_voidp);
 468       COORD_ASR_LEVEL  = xbt_lib_add_level(as_router_lib,xbt_dynar_free_voidp);
 469     }
 470   } else
 471     if (COORD_HOST_LEVEL)
 472       xbt_die("Setting of whether to use coordinate cannot be disabled once set.");
 473 }
 474
 475 static void _sg_cfg_cb__surf_network_crosstraffic(const char *name,
 476                                                   int pos)
 477 {
 478   sg_network_crosstraffic = xbt_cfg_get_boolean(_sg_cfg_set, name);
 479 }
 480
 481 #ifdef HAVE_GTNETS
 482 static void _sg_cfg_cb__gtnets_jitter(const char *name, int pos)
 483 {
 484   sg_gtnets_jitter = xbt_cfg_get_double(_sg_cfg_set, name);
 485 }
 486
 487 static void _sg_cfg_cb__gtnets_jitter_seed(const char *name, int pos)
 488 {
 489   sg_gtnets_jitter_seed = xbt_cfg_get_int(_sg_cfg_set, name);
 490 }
 491 #endif
 492
 493 /* build description line with possible values */
 494 static void describe_model(char *result,
 495                            const s_surf_model_description_t model_description[],
 496                            const char *name,
 497                            const char *description)
 498 {
 499   char *p = result +
 500     sprintf(result, "%s. Possible values: %s", description,
 501             model_description[0].name ? model_description[0].name : "n/a");
 502   int i;
 503   for (i = 1; model_description[i].name; i++)
 504     p += sprintf(p, ", %s", model_description[i].name);
 505   sprintf(p,
 506       ".\n       (use 'help' as a value to see the long description of each %s)",
 507           name);
 508 }
 509
 510 /* create the config set, register what should be and parse the command line*/
 511 void sg_config_init(int *argc, char **argv)
 512 {
 513   char description[1024];
 514
 515   /* Create the configuration support */
 516   if (_sg_cfg_init_status == 0) { /* Only create stuff if not already inited */
 517
 518     /* Plugins configuration */
 519     describe_model(description, surf_plugin_description,
 520                    "plugin", "The plugins");
 521     xbt_cfg_register(&_sg_cfg_set, "plugin", description,
 522                      xbt_cfgelm_string, 0, 1, &_sg_cfg_cb__plugin, NULL);
 523
 524     describe_model(description, surf_cpu_model_description,
 525                    "model", "The model to use for the CPU");
 526     xbt_cfg_register(&_sg_cfg_set, "cpu/model", description,
 527                      xbt_cfgelm_string, 1, 1, &_sg_cfg_cb__cpu_model, NULL);
 528     xbt_cfg_setdefault_string(_sg_cfg_set, "cpu/model", "Cas01");
 529
 530     describe_model(description, surf_optimization_mode_description,
 531                    "optimization mode",
 532                    "The optimization modes to use for the CPU");
 533     xbt_cfg_register(&_sg_cfg_set, "cpu/optim", description,
 534                      xbt_cfgelm_string, 1, 1, &_sg_cfg_cb__optimization_mode, NULL);
 535     xbt_cfg_setdefault_string(_sg_cfg_set, "cpu/optim", "Lazy");
 536
 537     describe_model(description, surf_storage_model_description,
 538                    "model", "The model to use for the storage");
 539     xbt_cfg_register(&_sg_cfg_set, "storage/model", description,
 540                      xbt_cfgelm_string, 1, 1, &_sg_cfg_cb__storage_mode, NULL);
 541     xbt_cfg_setdefault_string(_sg_cfg_set, "storage/model", "default");
 542
 543     describe_model(description, surf_network_model_description,
 544                    "model", "The model to use for the network");
 545     xbt_cfg_register(&_sg_cfg_set, "network/model", description,
 546                      xbt_cfgelm_string, 1, 1, &_sg_cfg_cb__network_model, NULL);
 547     xbt_cfg_setdefault_string(_sg_cfg_set, "network/model", "LV08");
 548
 549     describe_model(description, surf_optimization_mode_description,
 550                    "optimization mode",
 551                    "The optimization modes to use for the network");
 552     xbt_cfg_register(&_sg_cfg_set, "network/optim", description,
 553                      xbt_cfgelm_string, 1, 1, &_sg_cfg_cb__optimization_mode, NULL);
 554     xbt_cfg_setdefault_string(_sg_cfg_set, "network/optim", "Lazy");
 555
 556     describe_model(description, surf_workstation_model_description,
 557                    "model", "The model to use for the workstation");
 558     xbt_cfg_register(&_sg_cfg_set, "workstation/model", description,
 559                      xbt_cfgelm_string, 1, 1, &_sg_cfg_cb__workstation_model, NULL);
 560     xbt_cfg_setdefault_string(_sg_cfg_set, "workstation/model", "default");
 561
 562     describe_model(description, surf_vm_workstation_model_description,
 563                    "model", "The model to use for the vm workstation");
 564     xbt_cfg_register(&_sg_cfg_set, "vm_workstation/model", description,
 565                      xbt_cfgelm_string, 1, 1, &_sg_cfg_cb__vm_workstation_model, NULL);
 566     xbt_cfg_setdefault_string(_sg_cfg_set, "vm_workstation/model", "default");
 567
 568     xbt_cfg_register(&_sg_cfg_set, "network/TCP_gamma",
 569                      "Size of the biggest TCP window (cat /proc/sys/net/ipv4/tcp_[rw]mem for recv/send window; Use the last given value, which is the max window size)",
 570                      xbt_cfgelm_double, 1, 1, _sg_cfg_cb__tcp_gamma, NULL);
 571     xbt_cfg_setdefault_double(_sg_cfg_set, "network/TCP_gamma", 4194304.0);
 572
 573     xbt_cfg_register(&_sg_cfg_set, "surf/precision",
 574                      "Numerical precision used when updating simulation times (hence this value is expressed in seconds)",
 575                      xbt_cfgelm_double, 1, 1, _sg_cfg_cb__surf_precision, NULL);
 576     xbt_cfg_setdefault_double(_sg_cfg_set, "surf/precision", 0.00001);
 577
 578     xbt_cfg_register(&_sg_cfg_set, "maxmin/precision",
 579                      "Numerical precision used when computing resource sharing (hence this value is expressed in ops/sec or bytes/sec)",
 580                      xbt_cfgelm_double, 1, 1, _sg_cfg_cb__maxmin_precision, NULL);
 581     xbt_cfg_setdefault_double(_sg_cfg_set, "maxmin/precision", 0.00001);
 582
 583     /* The parameters of network models */
 584
 585     xbt_cfg_register(&_sg_cfg_set, "network/sender_gap",
 586                      "Minimum gap between two overlapping sends",
 587                      xbt_cfgelm_double, 1, 1, _sg_cfg_cb__sender_gap, NULL);
 588     /* real default for "network/sender_gap" is set in network_smpi.cpp */
 589     xbt_cfg_setdefault_double(_sg_cfg_set, "network/sender_gap", NAN);
 590
 591     xbt_cfg_register(&_sg_cfg_set, "network/latency_factor",
 592                      "Correction factor to apply to the provided latency (default value set by network model)",
 593                      xbt_cfgelm_double, 1, 1, _sg_cfg_cb__latency_factor, NULL);
 594     xbt_cfg_setdefault_double(_sg_cfg_set, "network/latency_factor", 1.0);
 595
 596     xbt_cfg_register(&_sg_cfg_set, "network/bandwidth_factor",
 597                      "Correction factor to apply to the provided bandwidth (default value set by network model)",
 598                      xbt_cfgelm_double, 1, 1, _sg_cfg_cb__bandwidth_factor, NULL);
 599     xbt_cfg_setdefault_double(_sg_cfg_set, "network/bandwidth_factor", 1.0);
 600
 601     xbt_cfg_register(&_sg_cfg_set, "network/weight_S",
 602                      "Correction factor to apply to the weight of competing streams (default value set by network model)",
 603                      xbt_cfgelm_double, 1, 1, _sg_cfg_cb__weight_S, NULL);
 604     /* real default for "network/weight_S" is set in network_*.cpp */
 605     xbt_cfg_setdefault_double(_sg_cfg_set, "network/weight_S", NAN);
 606
 607     /* Inclusion path */
 608     xbt_cfg_register(&_sg_cfg_set, "path",
 609                      "Lookup path for inclusions in platform and deployment XML files",
 610                      xbt_cfgelm_string, 1, 0, _sg_cfg_cb__surf_path, NULL);
 611
 612     xbt_cfg_register(&_sg_cfg_set, "cpu/maxmin_selective_update",
 613                      "Update the constraint set propagating recursively to others constraints (off by default when optim is set to lazy)",
 614                      xbt_cfgelm_boolean, 1, 1, NULL, NULL);
 615     xbt_cfg_setdefault_boolean(_sg_cfg_set, "cpu/maxmin_selective_update", "no");
 616
 617     xbt_cfg_register(&_sg_cfg_set, "network/maxmin_selective_update",
 618                      "Update the constraint set propagating recursively to others constraints (off by default when optim is set to lazy)",
 619                      xbt_cfgelm_boolean, 1, 1, NULL, NULL);
 620     xbt_cfg_setdefault_boolean(_sg_cfg_set, "network/maxmin_selective_update", "no");
 621
 622     /* Replay (this part is enabled event if MC it disabled) */
 623     xbt_cfg_register(&_sg_cfg_set, "model-check/replay",
 624       "Uenable replay mode with the given path",
 625       xbt_cfgelm_string, 0, 1, _sg_cfg_cb_model_check_replay, NULL);
 626
 627 #ifdef HAVE_MC
 628     /* do model-checking */
 629     xbt_cfg_register(&_sg_cfg_set, "model-check",
 630                      "Verify the system through model-checking instead of simulating it (EXPERIMENTAL)",
 631                      xbt_cfgelm_boolean, 1, 1, _sg_cfg_cb_model_check, NULL);
 632     xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check", "no");
 633
 634     /* do model-checking-record */
 635     xbt_cfg_register(&_sg_cfg_set, "model-check/record",
 636                      "Record the model-checking paths",
 637                      xbt_cfgelm_boolean, 1, 1, _sg_cfg_cb_model_check_record, NULL);
 638     xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/record", "no");
 639
 640     /* do stateful model-checking */
 641     xbt_cfg_register(&_sg_cfg_set, "model-check/checkpoint",
 642                      "Specify the amount of steps between checkpoints during stateful model-checking (default: 0 => stateless verification). "
 643                      "If value=1, one checkpoint is saved for each step => faster verification, but huge memory consumption; higher values are good compromises between speed and memory consumption.",
 644                      xbt_cfgelm_int, 1, 1, _mc_cfg_cb_checkpoint, NULL);
 645     xbt_cfg_setdefault_int(_sg_cfg_set, "model-check/checkpoint", 0);
 646
 647     /* do stateful model-checking */
 648     xbt_cfg_register(&_sg_cfg_set, "model-check/sparse-checkpoint",
 649                      "Use sparse per-page snapshots.",
 650                      xbt_cfgelm_boolean, 1, 1, _mc_cfg_cb_sparse_checkpoint, NULL);
 651     xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/sparse-checkpoint", "no");
 652
 653     /* do liveness model-checking */
 654     xbt_cfg_register(&_sg_cfg_set, "model-check/property",
 655                      "Specify the name of the file containing the property. It must be the result of the ltl2ba program.",
 656                      xbt_cfgelm_string, 1, 1, _mc_cfg_cb_property, NULL);
 657     xbt_cfg_setdefault_string(_sg_cfg_set, "model-check/property", "");
 658
 659     /* do communications determinism model-checking */
 660     xbt_cfg_register(&_sg_cfg_set, "model-check/communications_determinism",
 661                      "Enable/disable the detection of determinism in the communications schemes",
 662                      xbt_cfgelm_boolean, 1, 1, _mc_cfg_cb_comms_determinism, NULL);
 663     xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/communications_determinism", "no");
 664
 665     /* do send determinism model-checking */
 666     xbt_cfg_register(&_sg_cfg_set, "model-check/send_determinism",
 667                      "Enable/disable the detection of send-determinism in the communications schemes",
 668                      xbt_cfgelm_boolean, 1, 1, _mc_cfg_cb_send_determinism, NULL);
 669     xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/send_determinism", "no");
 670
 671     /* Specify the kind of model-checking reduction */
 672     xbt_cfg_register(&_sg_cfg_set, "model-check/reduction",
 673                      "Specify the kind of exploration reduction (either none or DPOR)",
 674                      xbt_cfgelm_string, 1, 1, _mc_cfg_cb_reduce, NULL);
 675     xbt_cfg_setdefault_string(_sg_cfg_set, "model-check/reduction", "dpor");
 676
 677     /* Enable/disable timeout for wait requests with model-checking */
 678     xbt_cfg_register(&_sg_cfg_set, "model-check/timeout",
 679                      "Enable/Disable timeout for wait requests",
 680                      xbt_cfgelm_boolean, 1, 1, _mc_cfg_cb_timeout, NULL);
 681     xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/timeout", "no");
 682
 683     /* Enable/disable global hash computation with model-checking */
 684     xbt_cfg_register(&_sg_cfg_set, "model-check/hash",
 685                      "Enable/Disable state hash for state comparison (exprimental)",
 686                      xbt_cfgelm_boolean, 1, 1, _mc_cfg_cb_hash, NULL);
 687     xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/hash", "no");
 688
 689     /* Set max depth exploration */
 690     xbt_cfg_register(&_sg_cfg_set, "model-check/snapshot_fds",
 691                      "Whether file descriptors must be snapshoted",
 692                      xbt_cfgelm_boolean, 1, 1, _mc_cfg_cb_snapshot_fds, NULL);
 693     xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/snapshot_fds", "no");
 694
 695     /* Set max depth exploration */
 696     xbt_cfg_register(&_sg_cfg_set, "model-check/max_depth",
 697                      "Specify the max depth of exploration (default : 1000)",
 698                      xbt_cfgelm_int, 1, 1, _mc_cfg_cb_max_depth, NULL);
 699     xbt_cfg_setdefault_int(_sg_cfg_set, "model-check/max_depth", 1000);
 700
 701     /* Set number of visited state stored for state comparison reduction*/
 702     xbt_cfg_register(&_sg_cfg_set, "model-check/visited",
 703                      "Specify the number of visited state stored for state comparison reduction. If value=5, the last 5 visited states are stored",
 704                      xbt_cfgelm_int, 1, 1, _mc_cfg_cb_visited, NULL);
 705     xbt_cfg_setdefault_int(_sg_cfg_set, "model-check/visited", 0);
 706
 707     /* Set file name for dot output of graph state */
 708     xbt_cfg_register(&_sg_cfg_set, "model-check/dot_output",
 709                      "Specify the name of dot file corresponding to graph state",
 710                      xbt_cfgelm_string, 1, 1, _mc_cfg_cb_dot_output, NULL);
 711     xbt_cfg_setdefault_string(_sg_cfg_set, "model-check/dot_output", "");
 712
 713      /* Enable/disable non progressive cycles detection with model-checking */
 714     xbt_cfg_register(&_sg_cfg_set, "model-check/termination",
 715                      "Enable/Disable non progressive cycle detection",
 716                      xbt_cfgelm_boolean, 1, 1, _mc_cfg_cb_termination, NULL);
 717     xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/termination", "no");
 718 #endif
 719
 720     /* do verbose-exit */
 721     xbt_cfg_register(&_sg_cfg_set, "verbose-exit",
 722                      "Activate the \"do nothing\" mode in Ctrl-C",
 723                      xbt_cfgelm_boolean, 1, 1, _sg_cfg_cb_verbose_exit, NULL);
 724     xbt_cfg_setdefault_boolean(_sg_cfg_set, "verbose-exit", "yes");
 725
 726     /* context factory */
 727     const char *dflt_ctx_fact = "thread";
 728     {
 729       char *p = description +
 730         sprintf(description,
 731                 "Context factory to use in SIMIX. Possible values: %s",
 732                 dflt_ctx_fact);
 733 #ifdef CONTEXT_UCONTEXT
 734       dflt_ctx_fact = "ucontext";
 735       p += sprintf(p, ", %s", dflt_ctx_fact);
 736 #endif
 737 #ifdef HAVE_RAWCTX
 738       dflt_ctx_fact = "raw";
 739       p += sprintf(p, ", %s", dflt_ctx_fact);
 740 #endif
 741       sprintf(p, ".");
 742     }
 743     xbt_cfg_register(&_sg_cfg_set, "contexts/factory", description,
 744                      xbt_cfgelm_string, 1, 1, _sg_cfg_cb_context_factory, NULL);
 745     xbt_cfg_setdefault_string(_sg_cfg_set, "contexts/factory", dflt_ctx_fact);
 746
 747     /* stack size of contexts in KiB */
 748     xbt_cfg_register(&_sg_cfg_set, "contexts/stack_size",
 749                      "Stack size of contexts in KiB",
 750                      xbt_cfgelm_int, 1, 1, _sg_cfg_cb_context_stack_size, NULL);
 751     xbt_cfg_setdefault_int(_sg_cfg_set, "contexts/stack_size", 8*1024);
 752     /* No, it was not set yet (the above setdefault() changed this to 1). */
 753     smx_context_stack_size_was_set = 0;
 754
 755     /* guard size for contexts stacks in memory pages */
 756     xbt_cfg_register(&_sg_cfg_set, "contexts/guard_size",
 757                      "Guard size for contexts stacks in memory pages",
 758                      xbt_cfgelm_int, 1, 1, _sg_cfg_cb_context_guard_size, NULL);
 759 #if defined(_XBT_WIN32) || (PTH_STACKGROWTH != -1)
 760     xbt_cfg_setdefault_int(_sg_cfg_set, "contexts/guard_size", 0);
 761 #else
 762     xbt_cfg_setdefault_int(_sg_cfg_set, "contexts/guard_size", 1);
 763 #endif
 764     /* No, it was not set yet (the above setdefault() changed this to 1). */
 765     smx_context_guard_size_was_set = 0;
 766
 767     /* number of parallel threads for user processes */
 768     xbt_cfg_register(&_sg_cfg_set, "contexts/nthreads",
 769                      "Number of parallel threads used to execute user contexts",
 770                      xbt_cfgelm_int, 1, 1, _sg_cfg_cb_contexts_nthreads, NULL);
 771     xbt_cfg_setdefault_int(_sg_cfg_set, "contexts/nthreads", 1);
 772
 773     /* minimal number of user contexts to be run in parallel */
 774     xbt_cfg_register(&_sg_cfg_set, "contexts/parallel_threshold",
 775                      "Minimal number of user contexts to be run in parallel (raw contexts only)",
 776                      xbt_cfgelm_int, 1, 1, _sg_cfg_cb_contexts_parallel_threshold, NULL);
 777     xbt_cfg_setdefault_int(_sg_cfg_set, "contexts/parallel_threshold", 2);
 778
 779     /* synchronization mode for parallel user contexts */
 780     xbt_cfg_register(&_sg_cfg_set, "contexts/synchro",
 781                      "Synchronization mode to use when running contexts in parallel (either futex, posix or busy_wait)",
 782                      xbt_cfgelm_string, 1, 1, _sg_cfg_cb_contexts_parallel_mode, NULL);
 783 #ifdef HAVE_FUTEX_H
 784     xbt_cfg_setdefault_string(_sg_cfg_set, "contexts/synchro", "futex");
 785 #else //No futex on mac and posix is unimplememted yet
 786     xbt_cfg_setdefault_string(_sg_cfg_set, "contexts/synchro", "busy_wait");
 787 #endif
 788
 789     xbt_cfg_register(&_sg_cfg_set, "network/coordinates",
 790                      "\"yes\" or \"no\", specifying whether we use a coordinate-based routing (as Vivaldi)",
 791                      xbt_cfgelm_boolean, 1, 1, _sg_cfg_cb__surf_network_coordinates, NULL);
 792     xbt_cfg_setdefault_boolean(_sg_cfg_set, "network/coordinates", "no");
 793
 794     xbt_cfg_register(&_sg_cfg_set, "network/crosstraffic",
 795                      "Activate the interferences between uploads and downloads for fluid max-min models (LV08, CM02)",
 796                      xbt_cfgelm_boolean, 1, 1, _sg_cfg_cb__surf_network_crosstraffic, NULL);
 797     xbt_cfg_setdefault_boolean(_sg_cfg_set, "network/crosstraffic", "no");
 798
 799 #ifdef HAVE_GTNETS
 800     xbt_cfg_register(&_sg_cfg_set, "gtnets/jitter",
 801                      "Double value to oscillate the link latency, uniformly in random interval [-latency*gtnets_jitter,latency*gtnets_jitter)",
 802                      xbt_cfgelm_double, 1, 1, _sg_cfg_cb__gtnets_jitter, NULL);
 803     xbt_cfg_setdefault_double(_sg_cfg_set, "gtnets/jitter", 0.0);
 804
 805     xbt_cfg_register(&_sg_cfg_set, "gtnets/jitter_seed",
 806                      "Use a positive seed to reproduce jitted results, value must be in [1,1e8], default is 10",
 807                      xbt_cfgelm_int, 0, 1, _sg_cfg_cb__gtnets_jitter_seed, NULL);
 808     xbt_cfg_setdefault_int(_sg_cfg_set, "gtnets/jitter_seed", 10);
 809 #endif
 810 #ifdef HAVE_NS3
 811     xbt_cfg_register(&_sg_cfg_set, "ns3/TcpModel",
 812                      "The ns3 tcp model can be : NewReno or Reno or Tahoe",
 813                      xbt_cfgelm_string, 1, 1, NULL, NULL);
 814     xbt_cfg_setdefault_string(_sg_cfg_set, "ns3/TcpModel", "default");
 815 #endif
 816
 817     //For smpi/bw_factor and smpi/lat_factor
 818     //Default value have to be "threshold0:value0;threshold1:value1;...;thresholdN:valueN"
 819     //test is if( size >= thresholdN ) return valueN;
 820     //Values can be modified with command line --cfg=smpi/bw_factor:"threshold0:value0;threshold1:value1;...;thresholdN:valueN"
 821     //  or with tag config put line <prop id="smpi/bw_factor" value="threshold0:value0;threshold1:value1;...;thresholdN:valueN"></prop>
 822     // SMPI model can be used without enable_smpi, so keep this the ifdef.
 823     xbt_cfg_register(&_sg_cfg_set, "smpi/bw_factor",
 824                      "Bandwidth factors for smpi.",
 825                      xbt_cfgelm_string, 1, 1, NULL, NULL);
 826     xbt_cfg_setdefault_string(_sg_cfg_set, "smpi/bw_factor", "65472:0.940694;15424:0.697866;9376:0.58729;5776:1.08739;3484:0.77493;1426:0.608902;732:0.341987;257:0.338112;0:0.812084");
 827
 828     xbt_cfg_register(&_sg_cfg_set, "smpi/lat_factor",
 829                      "Latency factors for smpi.",
 830                      xbt_cfgelm_string, 1, 1, NULL, NULL);
 831     xbt_cfg_setdefault_string(_sg_cfg_set, "smpi/lat_factor", "65472:11.6436;15424:3.48845;9376:2.59299;5776:2.18796;3484:1.88101;1426:1.61075;732:1.9503;257:1.95341;0:2.01467");
 832
 833     xbt_cfg_register(&_sg_cfg_set, "smpi/IB_penalty_factors",
 834                      "Correction factor to communications using Infiniband model with contention (default value based on Stampede cluster profiling)",
 835                      xbt_cfgelm_string, 1, 1, NULL, NULL);
 836     xbt_cfg_setdefault_string(_sg_cfg_set, "smpi/IB_penalty_factors", "0.965;0.925;1.35");
 837
 838 #ifdef HAVE_SMPI
 839     xbt_cfg_register(&_sg_cfg_set, "smpi/running_power",
 840                      "Power of the host running the simulation (in flop/s). Used to bench the operations.",
 841                      xbt_cfgelm_double, 1, 1, NULL, NULL);
 842     xbt_cfg_setdefault_double(_sg_cfg_set, "smpi/running_power", 20000.0);
 843
 844     xbt_cfg_register(&_sg_cfg_set, "smpi/display_timing",
 845                      "Boolean indicating whether we should display the timing after simulation.",
 846                      xbt_cfgelm_boolean, 1, 1, NULL, NULL);
 847     xbt_cfg_setdefault_boolean(_sg_cfg_set, "smpi/display_timing", "no");
 848
 849     xbt_cfg_register(&_sg_cfg_set, "smpi/simulate_computation",
 850                      "Boolean indicating whether the computational part of the simulated application should be simulated.",
 851                      xbt_cfgelm_boolean, 1, 1, NULL, NULL);
 852     xbt_cfg_setdefault_boolean(_sg_cfg_set, "smpi/simulate_computation", "yes");
 853
 854     xbt_cfg_register(&_sg_cfg_set, "smpi/use_shared_malloc",
 855                      "Boolean indicating whether we should use shared memory when using SMPI_SHARED_MALLOC. Allows user to disable it for debug purposes.",
 856                      xbt_cfgelm_boolean, 1, 1, NULL, NULL);
 857     xbt_cfg_setdefault_boolean(_sg_cfg_set, "smpi/use_shared_malloc", "yes");
 858
 859     xbt_cfg_register(&_sg_cfg_set, "smpi/cpu_threshold",
 860                      "Minimal computation time (in seconds) not discarded, or -1 for infinity.",
 861                      xbt_cfgelm_double, 1, 1, NULL, NULL);
 862     xbt_cfg_setdefault_double(_sg_cfg_set, "smpi/cpu_threshold", 1e-6);
 863
 864     xbt_cfg_register(&_sg_cfg_set, "smpi/async_small_thres",
 865                      "Maximal size of messages that are to be sent asynchronously, without waiting for the receiver",
 866                      xbt_cfgelm_int, 1, 1, NULL, NULL);
 867     xbt_cfg_setdefault_int(_sg_cfg_set, "smpi/async_small_thres", 0);
 868
 869     xbt_cfg_register(&_sg_cfg_set, "smpi/send_is_detached_thres",
 870                      "Threshold of message size where MPI_Send stops behaving like MPI_Isend and becomes MPI_Ssend",
 871                      xbt_cfgelm_int, 1, 1, NULL, NULL);
 872     xbt_cfg_setdefault_int(_sg_cfg_set, "smpi/send_is_detached_thres", 65536);
 873
 874     xbt_cfg_register(&_sg_cfg_set, "smpi/privatize_global_variables",
 875                      "Boolean indicating whether we should privatize global variable at runtime.",
 876                      xbt_cfgelm_boolean, 1, 1, NULL, NULL);
 877     xbt_cfg_setdefault_boolean(_sg_cfg_set, "smpi/privatize_global_variables", "no");
 878
 879     xbt_cfg_register(&_sg_cfg_set, "smpi/os",
 880                      "Small messages timings (MPI_Send minimum time for small messages)",
 881                      xbt_cfgelm_string, 1, 1, NULL, NULL);
 882     xbt_cfg_setdefault_string(_sg_cfg_set, "smpi/os", "1:0:0:0:0");
 883
 884     xbt_cfg_register(&_sg_cfg_set, "smpi/ois",
 885                      "Small messages timings (MPI_Isend minimum time for small messages)",
 886                      xbt_cfgelm_string, 1, 1, NULL, NULL);
 887     xbt_cfg_setdefault_string(_sg_cfg_set, "smpi/ois", "1:0:0:0:0");
 888
 889     xbt_cfg_register(&_sg_cfg_set, "smpi/or",
 890                      "Small messages timings (MPI_Recv minimum time for small messages)",
 891                      xbt_cfgelm_string, 1, 1, NULL, NULL);
 892     xbt_cfg_setdefault_string(_sg_cfg_set, "smpi/or", "1:0:0:0:0");
 893
 894     xbt_cfg_register(&_sg_cfg_set, "smpi/iprobe",
 895                      "Minimum time to inject inside a call to MPI_Iprobe",
 896                      xbt_cfgelm_double, 1, 1, _sg_cfg_cb__iprobe_sleep, NULL);
 897     xbt_cfg_setdefault_double(_sg_cfg_set, "smpi/iprobe", 1e-4);
 898
 899     xbt_cfg_register(&_sg_cfg_set, "smpi/test",
 900                      "Minimum time to inject inside a call to MPI_Test",
 901                      xbt_cfgelm_double, 1, 1, _sg_cfg_cb__test_sleep, NULL);
 902     xbt_cfg_setdefault_double(_sg_cfg_set, "smpi/test", 1e-4);
 903
 904     xbt_cfg_register(&_sg_cfg_set, "smpi/wtime",
 905                      "Minimum time to inject inside a call to MPI_Wtime",
 906                      xbt_cfgelm_double, 1, 1, _sg_cfg_cb__wtime_sleep, NULL);
 907     xbt_cfg_setdefault_double(_sg_cfg_set, "smpi/wtime", 0.0);
 908
 909     xbt_cfg_register(&_sg_cfg_set, "smpi/coll_selector",
 910                      "Which collective selector to use",
 911                      xbt_cfgelm_string, 1, 1, NULL, NULL);
 912     xbt_cfg_setdefault_string(_sg_cfg_set, "smpi/coll_selector", "default");
 913
 914     xbt_cfg_register(&_sg_cfg_set, "smpi/gather",
 915                      "Which collective to use for gather",
 916                      xbt_cfgelm_string, 0, 1, &_sg_cfg_cb__coll_gather, NULL);
 917
 918     xbt_cfg_register(&_sg_cfg_set, "smpi/allgather",
 919                      "Which collective to use for allgather",
 920                      xbt_cfgelm_string, 0, 1, &_sg_cfg_cb__coll_allgather, NULL);
 921
 922     xbt_cfg_register(&_sg_cfg_set, "smpi/barrier",
 923                      "Which collective to use for barrier",
 924                      xbt_cfgelm_string, 0, 1, &_sg_cfg_cb__coll_barrier, NULL);
 925
 926     xbt_cfg_register(&_sg_cfg_set, "smpi/reduce_scatter",
 927                      "Which collective to use for reduce_scatter",
 928                      xbt_cfgelm_string, 0, 1, &_sg_cfg_cb__coll_reduce_scatter, NULL);
 929
 930     xbt_cfg_register(&_sg_cfg_set, "smpi/scatter",
 931                      "Which collective to use for scatter",
 932                      xbt_cfgelm_string, 0, 1, &_sg_cfg_cb__coll_scatter, NULL);
 933
 934     xbt_cfg_register(&_sg_cfg_set, "smpi/allgatherv",
 935                      "Which collective to use for allgatherv",
 936                      xbt_cfgelm_string, 0, 1, &_sg_cfg_cb__coll_allgatherv, NULL);
 937
 938     xbt_cfg_register(&_sg_cfg_set, "smpi/allreduce",
 939                      "Which collective to use for allreduce",
 940                      xbt_cfgelm_string, 0, 1, &_sg_cfg_cb__coll_allreduce, NULL);
 941
 942     xbt_cfg_register(&_sg_cfg_set, "smpi/alltoall",
 943                      "Which collective to use for alltoall",
 944                      xbt_cfgelm_string, 0, 1, &_sg_cfg_cb__coll_alltoall, NULL);
 945
 946     xbt_cfg_register(&_sg_cfg_set, "smpi/alltoallv",
 947                      "Which collective to use for alltoallv",
 948                      xbt_cfgelm_string, 0, 1, &_sg_cfg_cb__coll_alltoallv, NULL);
 949
 950     xbt_cfg_register(&_sg_cfg_set, "smpi/bcast",
 951                      "Which collective to use for bcast",
 952                      xbt_cfgelm_string, 0, 1, &_sg_cfg_cb__coll_bcast, NULL);
 953
 954     xbt_cfg_register(&_sg_cfg_set, "smpi/reduce",
 955                      "Which collective to use for reduce",
 956                      xbt_cfgelm_string, 0, 1, &_sg_cfg_cb__coll_reduce, NULL);
 957 #endif // HAVE_SMPI
 958
 959     xbt_cfg_register(&_sg_cfg_set, "clean_atexit",
 960                      "\"yes\" or \"no\". \"yes\" enables all the cleanups of SimGrid (XBT,SIMIX,MSG) to be registered with atexit. \"no\" may be useful if your code segfaults when calling the exit function.",
 961                      xbt_cfgelm_boolean, 1, 1, _sg_cfg_cb_clean_atexit, NULL);
 962     xbt_cfg_setdefault_boolean(_sg_cfg_set, "clean_atexit", "yes");
 963
 964     if (!surf_path) {
 965       /* retrieves the current directory of the current process */
 966       const char *initial_path = __surf_get_initial_path();
 967       xbt_assert((initial_path),
 968                   "__surf_get_initial_path() failed! Can't resolves current Windows directory");
 969
 970       surf_path = xbt_dynar_new(sizeof(char *), NULL);
 971       xbt_cfg_setdefault_string(_sg_cfg_set, "path", initial_path);
 972     }
 973
 974     xbt_cfg_check(_sg_cfg_set);
 975     _sg_cfg_init_status = 1;
 976
 977     sg_config_cmd_line(argc, argv);
 978
 979     xbt_mallocator_initialization_is_done(SIMIX_context_is_parallel());
 980
 981   } else {
 982     XBT_WARN("Call to sg_config_init() after initialization ignored");
 983   }
 984 }
 985
 986 void sg_config_finalize(void)
 987 {
 988   if (!_sg_cfg_init_status)
 989     return;                     /* Not initialized yet. Nothing to do */
 990
 991   xbt_cfg_free(&_sg_cfg_set);
 992   _sg_cfg_init_status = 0;
 993 }
 994
 995 /* Pick the right models for CPU, net and workstation, and call their model_init_preparse */
 996 void surf_config_models_setup()
 997 {
 998   const char *workstation_model_name;
 999   const char *vm_workstation_model_name;
1000   int workstation_id = -1;
1001   int vm_workstation_id = -1;
1002   char *network_model_name = NULL;
1003   char *cpu_model_name = NULL;
1004   int storage_id = -1;
1005   char *storage_model_name = NULL;
1006
1007   workstation_model_name =
1008       xbt_cfg_get_string(_sg_cfg_set, "workstation/model");
1009   vm_workstation_model_name =
1010       xbt_cfg_get_string(_sg_cfg_set, "vm_workstation/model");
1011   network_model_name = xbt_cfg_get_string(_sg_cfg_set, "network/model");
1012   cpu_model_name = xbt_cfg_get_string(_sg_cfg_set, "cpu/model");
1013   storage_model_name = xbt_cfg_get_string(_sg_cfg_set, "storage/model");
1014
1015   /* Check whether we use a net/cpu model differing from the default ones, in which case
1016    * we should switch to the "compound" workstation model to correctly dispatch stuff to
1017    * the right net/cpu models.
1018    */
1019
1020   if ((!xbt_cfg_is_default_value(_sg_cfg_set, "network/model") ||
1021        !xbt_cfg_is_default_value(_sg_cfg_set, "cpu/model")) &&
1022       xbt_cfg_is_default_value(_sg_cfg_set, "workstation/model")) {
1023     XBT_INFO("Switching workstation model to compound since you changed the network and/or cpu model(s)");
1024     workstation_model_name = "compound";
1025     xbt_cfg_set_string(_sg_cfg_set, "workstation/model", workstation_model_name);
1026   }
1027
1028   XBT_DEBUG("Workstation model: %s", workstation_model_name);
1029   workstation_id =
1030       find_model_description(surf_workstation_model_description,
1031                              workstation_model_name);
1032   if (!strcmp(workstation_model_name, "compound")) {
1033     int network_id = -1;
1034     int cpu_id = -1;
1035
1036     xbt_assert(cpu_model_name,
1037                 "Set a cpu model to use with the 'compound' workstation model");
1038
1039     xbt_assert(network_model_name,
1040                 "Set a network model to use with the 'compound' workstation model");
1041
1042     if(surf_cpu_model_init_preparse){
1043       surf_cpu_model_init_preparse();
1044     } else {
1045       cpu_id =
1046           find_model_description(surf_cpu_model_description, cpu_model_name);
1047       surf_cpu_model_description[cpu_id].model_init_preparse();
1048     }
1049
1050     network_id =
1051         find_model_description(surf_network_model_description,
1052                                network_model_name);
1053     surf_network_model_description[network_id].model_init_preparse();
1054   }
1055
1056   XBT_DEBUG("Call workstation_model_init");
1057   surf_workstation_model_description[workstation_id].model_init_preparse();
1058
1059   XBT_DEBUG("Call vm_workstation_model_init");
1060   vm_workstation_id = find_model_description(surf_vm_workstation_model_description,
1061                                           vm_workstation_model_name);
1062   surf_vm_workstation_model_description[vm_workstation_id].model_init_preparse();
1063
1064   XBT_DEBUG("Call storage_model_init");
1065   storage_id = find_model_description(surf_storage_model_description, storage_model_name);
1066   surf_storage_model_description[storage_id].model_init_preparse();
1067
1068 }
1069
1070 int sg_cfg_is_default_value(const char *name)
1071 {
1072   return xbt_cfg_is_default_value(_sg_cfg_set, name);
1073 }
1074
1075 int sg_cfg_get_int(const char* name)
1076 {
1077   return xbt_cfg_get_int(_sg_cfg_set, name);
1078 }
1079
1080 double sg_cfg_get_double(const char* name)
1081 {
1082   return xbt_cfg_get_double(_sg_cfg_set, name);
1083 }
1084
1085 char* sg_cfg_get_string(const char* name)
1086 {
1087   return xbt_cfg_get_string(_sg_cfg_set, name);
1088 }
1089
1090 int sg_cfg_get_boolean(const char* name)
1091 {
1092   return xbt_cfg_get_boolean(_sg_cfg_set, name);
1093 }
1094
1095 void sg_cfg_get_peer(const char *name, char **peer, int *port)
1096 {
1097   xbt_cfg_get_peer(_sg_cfg_set, name, peer, port);
1098 }
1099
1100 xbt_dynar_t sg_cfg_get_dynar(const char* name)
1101 {
1102   return xbt_cfg_get_dynar(_sg_cfg_set, name);
1103 }