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