1 /* Copyright (c) 2009, 2010. The SimGrid Team.
2 * All rights reserved. */
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. */
7 /* sg_config: configuration infrastructure for the simulation world */
10 #include "xbt/config.h"
12 #include "xbt/mallocator.h"
14 #include "surf/surf_private.h"
15 #include "surf/surf_routing.h" /* COORD_HOST_LEVEL and COORD_ASR_LEVEL */
16 #include "simgrid/simix.h"
17 #include "simgrid/sg_config.h"
20 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_config, surf,
21 "About the configuration of simgrid");
23 xbt_cfg_t _sg_cfg_set = NULL;
25 int _sg_do_model_check = 0;
26 int _surf_mc_checkpoint=0;
27 char* _surf_mc_property_file=NULL;
28 int _surf_mc_timeout=0;
29 int _surf_mc_max_depth=1000;
30 int _surf_mc_visited=0;
32 int _sg_init_status = 0; /* 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 integrated also, platform construction ongoing or done.
35 (Config cannot be changed anymore!) */
37 /* Parse the command line, looking for options */
38 static void sg_config_cmd_line(int *argc, char **argv)
44 for (j = i = 1; i < *argc; i++) {
45 if (!strncmp(argv[i], "--cfg=", strlen("--cfg="))) {
46 opt = strchr(argv[i], '=');
49 xbt_cfg_set_parse(_sg_cfg_set, opt);
50 XBT_DEBUG("Did apply '%s' as config setting", opt);
51 } else if (!strcmp(argv[i], "--cfg-help") || !strcmp(argv[i], "--help")) {
53 ("Description of the configuration accepted by this simulator:\n");
54 xbt_cfg_help(_sg_cfg_set);
57 "Each of these configurations can be used by adding\n"
58 " --cfg=<option name>:<option value>\n"
59 "to the command line.\n"
60 "You can also use --help-models to see the details of all models known by this simulator.\n"
63 "You can also use --help-tracing to see the details of all tracing options known by this simulator.\n"
66 "You can also use --help-logs and --help-log-categories to see the details of logging output.\n"
70 } else if (!strcmp(argv[i], "--help-models")) {
73 model_help("workstation", surf_workstation_model_description);
75 model_help("CPU", surf_cpu_model_description);
77 model_help("network", surf_network_model_description);
78 printf("\nLong description of all optimization levels accepted by the models of this simulator:\n");
79 for (k = 0; surf_optimization_mode_description[k].name; k++)
81 surf_optimization_mode_description[k].name,
82 surf_optimization_mode_description[k].description);
83 printf("Both network and CPU models have 'Lazy' as default optimization level\n\n");
86 } else if (!strcmp(argv[i], "--help-tracing")) {
99 _sg_init_status=1; // get everything cleanly cleaned on exit
105 /* callback of the workstation/model variable */
106 static void _sg_cfg_cb__workstation_model(const char *name, int pos)
110 xbt_assert(_sg_init_status == 1,
111 "Cannot change the model after the initialization");
113 val = xbt_cfg_get_string(_sg_cfg_set, name);
115 if (!strcmp(val, "help")) {
116 model_help("workstation", surf_workstation_model_description);
120 /* Make sure that the model exists */
121 find_model_description(surf_workstation_model_description, val);
124 /* callback of the cpu/model variable */
125 static void _sg_cfg_cb__cpu_model(const char *name, int pos)
129 xbt_assert(_sg_init_status == 1,
130 "Cannot change the model after the initialization");
132 val = xbt_cfg_get_string(_sg_cfg_set, name);
134 if (!strcmp(val, "help")) {
135 model_help("CPU", surf_cpu_model_description);
139 /* New Module missing */
140 find_model_description(surf_cpu_model_description, val);
143 /* callback of the cpu/model variable */
144 static void _sg_cfg_cb__optimization_mode(const char *name, int pos)
148 xbt_assert(_sg_init_status == 1,
149 "Cannot change the model after the initialization");
151 val = xbt_cfg_get_string(_sg_cfg_set, name);
153 if (!strcmp(val, "help")) {
154 model_help("optimization", surf_optimization_mode_description);
158 /* New Module missing */
159 find_model_description(surf_optimization_mode_description, val);
162 /* callback of the cpu/model variable */
163 static void _sg_cfg_cb__storage_mode(const char *name, int pos)
167 xbt_assert(_sg_init_status == 1,
168 "Cannot change the model after the initialization");
170 val = xbt_cfg_get_string(_sg_cfg_set, name);
172 if (!strcmp(val, "help")) {
173 model_help("storage", surf_storage_model_description);
177 /* New Module missing */
178 find_model_description(surf_storage_model_description, val);
181 /* callback of the workstation_model variable */
182 static void _sg_cfg_cb__network_model(const char *name, int pos)
186 xbt_assert(_sg_init_status == 1,
187 "Cannot change the model after the initialization");
189 val = xbt_cfg_get_string(_sg_cfg_set, name);
191 if (!strcmp(val, "help")) {
192 model_help("network", surf_network_model_description);
196 /* New Module missing */
197 find_model_description(surf_network_model_description, val);
201 /* callbacks of the network models values */
202 static void _sg_cfg_cb__tcp_gamma(const char *name, int pos)
204 sg_tcp_gamma = xbt_cfg_get_double(_sg_cfg_set, name);
207 static void _sg_cfg_cb__maxmin_precision(const char* name, int pos)
209 sg_maxmin_precision = xbt_cfg_get_double(_sg_cfg_set, name);
212 static void _sg_cfg_cb__sender_gap(const char* name, int pos)
214 sg_sender_gap = xbt_cfg_get_double(_sg_cfg_set, name);
217 static void _sg_cfg_cb__latency_factor(const char *name, int pos)
219 sg_latency_factor = xbt_cfg_get_double(_sg_cfg_set, name);
222 static void _sg_cfg_cb__bandwidth_factor(const char *name, int pos)
224 sg_bandwidth_factor = xbt_cfg_get_double(_sg_cfg_set, name);
227 static void _sg_cfg_cb__weight_S(const char *name, int pos)
229 sg_weight_S_parameter = xbt_cfg_get_double(_sg_cfg_set, name);
232 /* callback of the inclusion path */
233 static void _sg_cfg_cb__surf_path(const char *name, int pos)
235 char *path = xbt_cfg_get_string_at(_sg_cfg_set, name, pos);
236 xbt_dynar_push(surf_path, &path);
239 /* callback to decide if we want to use the model-checking */
240 #include "xbt_modinter.h"
241 extern int _sg_do_model_check; /* this variable lives in xbt_main until I find a right location for it */
243 static void _sg_cfg_cb_model_check(const char *name, int pos)
245 _sg_do_model_check = xbt_cfg_get_int(_sg_cfg_set, name);
248 if (_sg_do_model_check) {
249 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");
254 extern int _sg_do_verbose_exit;
256 static void _sg_cfg_cb_verbose_exit(const char *name, int pos)
258 _sg_do_verbose_exit = xbt_cfg_get_int(_sg_cfg_set, name);
262 static void _sg_cfg_cb_context_factory(const char *name, int pos) {
263 smx_context_factory_name = xbt_cfg_get_string(_sg_cfg_set, name);
266 static void _sg_cfg_cb_context_stack_size(const char *name, int pos)
268 smx_context_stack_size_was_set = 1;
269 smx_context_stack_size = xbt_cfg_get_int(_sg_cfg_set, name) * 1024;
272 static void _sg_cfg_cb_contexts_nthreads(const char *name, int pos)
274 SIMIX_context_set_nthreads(xbt_cfg_get_int(_sg_cfg_set, name));
277 static void _sg_cfg_cb_contexts_parallel_threshold(const char *name, int pos)
279 SIMIX_context_set_parallel_threshold(xbt_cfg_get_int(_sg_cfg_set, name));
282 static void _sg_cfg_cb_contexts_parallel_mode(const char *name, int pos)
284 const char* mode_name = xbt_cfg_get_string(_sg_cfg_set, name);
285 if (!strcmp(mode_name, "posix")) {
286 SIMIX_context_set_parallel_mode(XBT_PARMAP_POSIX);
288 else if (!strcmp(mode_name, "futex")) {
289 SIMIX_context_set_parallel_mode(XBT_PARMAP_FUTEX);
291 else if (!strcmp(mode_name, "busy_wait")) {
292 SIMIX_context_set_parallel_mode(XBT_PARMAP_BUSY_WAIT);
295 xbt_die("Command line setting of the parallel synchronization mode should "
296 "be one of \"posix\", \"futex\" or \"busy_wait\"");
300 static void _sg_cfg_cb_surf_nthreads(const char *name, int pos)
302 surf_set_nthreads(xbt_cfg_get_int(_sg_cfg_set, name));
305 static void _sg_cfg_cb__surf_network_coordinates(const char *name,
308 char *val = xbt_cfg_get_string(_sg_cfg_set, name);
309 if (!strcmp(val, "yes")) {
310 if (!COORD_HOST_LEVEL) {
311 COORD_HOST_LEVEL = xbt_lib_add_level(host_lib,xbt_dynar_free_voidp);
312 COORD_ASR_LEVEL = xbt_lib_add_level(as_router_lib,xbt_dynar_free_voidp);
314 } else if (!strcmp(val, "no")) {
315 if (COORD_HOST_LEVEL)
316 xbt_die("Setting of whether to use coordinate cannot be disabled once set.");
318 xbt_die("Command line setting of whether to use coordinates must be either \"yes\" or \"no\"");
322 static void _sg_cfg_cb__surf_network_crosstraffic(const char *name,
325 sg_network_crosstraffic = xbt_cfg_get_int(_sg_cfg_set, name);
329 static void _sg_cfg_cb__gtnets_jitter(const char *name, int pos)
331 sg_gtnets_jitter = xbt_cfg_get_double(_sg_cfg_set, name);
334 static void _sg_cfg_cb__gtnets_jitter_seed(const char *name, int pos)
336 sg_gtnets_jitter_seed = xbt_cfg_get_int(_sg_cfg_set, name);
340 /* create the config set, register what should be and parse the command line*/
341 void sg_config_init(int *argc, char **argv)
343 char *description = xbt_malloc(1024), *p = description;
345 double double_default_value;
346 int default_value_int;
349 /* Create the configuration support */
350 if (_sg_init_status == 0) { /* Only create stuff if not already inited */
352 "The model to use for the CPU. Possible values: ");
354 while (*(++p) != '\0');
355 for (i = 0; surf_cpu_model_description[i].name; i++)
356 p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
357 surf_cpu_model_description[i].name);
359 ".\n (use 'help' as a value to see the long description of each model)");
360 default_value = xbt_strdup("Cas01");
361 xbt_cfg_register(&_sg_cfg_set, "cpu/model", description, xbt_cfgelm_string,
362 &default_value, 1, 1, &_sg_cfg_cb__cpu_model, NULL);
365 "The optimization modes to use for the CPU. Possible values: ");
367 while (*(++p) != '\0');
368 for (i = 0; surf_optimization_mode_description[i].name; i++)
369 p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
370 surf_optimization_mode_description[i].name);
372 ".\n (use 'help' as a value to see the long description of each optimization mode)");
373 default_value = xbt_strdup("Lazy");
374 xbt_cfg_register(&_sg_cfg_set, "cpu/optim", description, xbt_cfgelm_string,
375 &default_value, 1, 1, &_sg_cfg_cb__optimization_mode, NULL);
378 "The model to use for the storage. Possible values: ");
380 while (*(++p) != '\0');
381 for (i = 0; surf_storage_model_description[i].name; i++)
382 p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
383 surf_storage_model_description[i].name);
385 ".\n (use 'help' as a value to see the long description of each model)");
386 default_value = xbt_strdup("default");
387 xbt_cfg_register(&_sg_cfg_set, "storage/model", description, xbt_cfgelm_string,
388 &default_value, 1, 1, &_sg_cfg_cb__storage_mode,
391 /* ********************************************************************* */
392 /* TUTORIAL: New model */
394 "The model to use for the New model. Possible values: ");
396 while (*(++p) != '\0');
397 for (i = 0; surf_new_model_description[i].name; i++)
398 p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
399 surf_new_model_description[i].name);
401 ".\n (use 'help' as a value to see the long description of each model)");
402 default_value = xbt_strdup("default");
403 xbt_cfg_register(&_sg_cfg_set, "new_model/model", description, xbt_cfgelm_string,
404 &default_value, 1, 1, &_sg_cfg_cb__storage_mode,
406 /* ********************************************************************* */
409 "The model to use for the network. Possible values: ");
411 while (*(++p) != '\0');
412 for (i = 0; surf_network_model_description[i].name; i++)
413 p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
414 surf_network_model_description[i].name);
416 ".\n (use 'help' as a value to see the long description of each model)");
417 default_value = xbt_strdup("LV08");
418 xbt_cfg_register(&_sg_cfg_set, "network/model", description, xbt_cfgelm_string,
419 &default_value, 1, 1, &_sg_cfg_cb__network_model,
423 "The optimization modes to use for the network. Possible values: ");
425 while (*(++p) != '\0');
426 for (i = 0; surf_optimization_mode_description[i].name; i++)
427 p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
428 surf_optimization_mode_description[i].name);
430 ".\n (use 'help' as a value to see the long description of each optimization mode)");
431 default_value = xbt_strdup("Lazy");
432 xbt_cfg_register(&_sg_cfg_set, "network/optim", description, xbt_cfgelm_string,
433 &default_value, 1, 1, &_sg_cfg_cb__optimization_mode, NULL);
436 "The model to use for the workstation. Possible values: ");
438 while (*(++p) != '\0');
439 for (i = 0; surf_workstation_model_description[i].name; i++)
440 p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
441 surf_workstation_model_description[i].name);
443 ".\n (use 'help' as a value to see the long description of each model)");
444 default_value = xbt_strdup("default");
445 xbt_cfg_register(&_sg_cfg_set, "workstation/model", description, xbt_cfgelm_string,
446 &default_value, 1, 1,
447 &_sg_cfg_cb__workstation_model, NULL);
449 xbt_free(description);
451 xbt_cfg_register(&_sg_cfg_set, "network/TCP_gamma",
452 "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)",
453 xbt_cfgelm_double, NULL, 1, 1,
454 _sg_cfg_cb__tcp_gamma, NULL);
455 xbt_cfg_setdefault_double(_sg_cfg_set, "network/TCP_gamma", 4194304.0);
457 xbt_cfg_register(&_sg_cfg_set, "maxmin/precision",
458 "Numerical precision used when updating simulation models (epsilon in double comparisons)",
459 xbt_cfgelm_double, NULL, 1, 1, _sg_cfg_cb__maxmin_precision, NULL);
460 xbt_cfg_setdefault_double(_sg_cfg_set, "maxmin/precision", 0.00001); // FIXME use setdefault everywhere here!
462 /* The parameters of network models */
464 double_default_value = 0.0;
465 xbt_cfg_register(&_sg_cfg_set, "network/sender_gap",
466 "Minimum gap between two overlapping sends",
467 xbt_cfgelm_double, &double_default_value, 1, 1,
468 _sg_cfg_cb__sender_gap, NULL);
470 double_default_value = 1.0;
471 xbt_cfg_register(&_sg_cfg_set, "network/latency_factor",
472 "Correction factor to apply to the provided latency (default value set by network model)",
473 xbt_cfgelm_double, &double_default_value, 1, 1,
474 _sg_cfg_cb__latency_factor, NULL);
475 double_default_value = 1.0;
476 xbt_cfg_register(&_sg_cfg_set, "network/bandwidth_factor",
477 "Correction factor to apply to the provided bandwidth (default value set by network model)",
478 xbt_cfgelm_double, &double_default_value, 1, 1,
479 _sg_cfg_cb__bandwidth_factor, NULL);
480 double_default_value = 0.0;
481 xbt_cfg_register(&_sg_cfg_set, "network/weight_S",
482 "Correction factor to apply to the weight of competing streams(default value set by network model)",
483 xbt_cfgelm_double, &double_default_value, 1, 1,
484 _sg_cfg_cb__weight_S, NULL);
487 xbt_cfg_register(&_sg_cfg_set, "path",
488 "Lookup path for inclusions in platform and deployment XML files",
489 xbt_cfgelm_string, NULL, 0, 0,
490 _sg_cfg_cb__surf_path, NULL);
492 default_value_int = 0;
493 xbt_cfg_register(&_sg_cfg_set, "cpu/maxmin_selective_update",
494 "Update the constraint set propagating recursively to others constraints (1 by default when optim is set to lazy)",
495 xbt_cfgelm_int, &default_value_int, 0, 1,
497 default_value_int = 0;
498 xbt_cfg_register(&_sg_cfg_set, "network/maxmin_selective_update",
499 "Update the constraint set propagating recursively to others constraints (1 by default when optim is set to lazy)",
500 xbt_cfgelm_int, &default_value_int, 0, 1,
504 /* do model-checking */
505 xbt_cfg_register(&_sg_cfg_set, "model-check",
506 "Verify the system through model-checking instead of simulating it (EXPERIMENTAL)",
507 xbt_cfgelm_int, NULL, 0, 1,
508 _sg_cfg_cb_model_check, NULL);
509 xbt_cfg_setdefault_int(_sg_cfg_set, "model-check", 0);
511 /* do stateful model-checking */
512 xbt_cfg_register(&_sg_cfg_set, "model-check/checkpoint",
513 "Specify the amount of steps between checkpoints during stateful model-checking (default: 0 => stateless verification). "
514 "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.",
515 xbt_cfgelm_int, NULL, 0, 1,
516 _mc_cfg_cb_checkpoint, NULL);
517 xbt_cfg_setdefault_int(_sg_cfg_set, "model-check/checkpoint", 0);
519 /* do liveness model-checking */
520 xbt_cfg_register(&_sg_cfg_set, "model-check/property",
521 "Specify the name of the file containing the property. It must be the result of the ltl2ba program.",
522 xbt_cfgelm_string, NULL, 0, 1,
523 _mc_cfg_cb_property, NULL);
524 xbt_cfg_setdefault_string(_sg_cfg_set, "model-check/property", "");
526 /* Specify the kind of model-checking reduction */
527 xbt_cfg_register(&_sg_cfg_set, "model-check/reduction",
528 "Specify the kind of exploration reduction (either none or DPOR)",
529 xbt_cfgelm_string, NULL, 0, 1,
530 _mc_cfg_cb_reduce, NULL);
531 xbt_cfg_setdefault_string(_sg_cfg_set, "model-check/reduction", "dpor");
533 /* Enable/disable timeout for wait requests with model-checking */
534 xbt_cfg_register(&_sg_cfg_set, "model-check/timeout",
535 "Enable/Disable timeout for wait requests",
536 xbt_cfgelm_int, NULL, 0, 1,
537 _mc_cfg_cb_timeout, NULL);
538 xbt_cfg_setdefault_int(_sg_cfg_set, "model-check/timeout", 0);
540 /* Set max depth exploration */
541 xbt_cfg_register(&_sg_cfg_set, "model-check/max_depth",
542 "Specify the max depth of exploration (default : 1000)",
543 xbt_cfgelm_int, NULL, 0, 1,
544 _mc_cfg_cb_max_depth, NULL);
545 xbt_cfg_setdefault_int(_sg_cfg_set, "model-check/max_depth", 1000);
547 /* Set number of visited state stored for state comparison reduction*/
548 xbt_cfg_register(&_sg_cfg_set, "model-check/visited",
549 "Specify the number of visited state stored for state comparison reduction. If value=5, the last 5 visited states are stored",
550 xbt_cfgelm_int, NULL, 0, 1,
551 _mc_cfg_cb_visited, NULL);
552 xbt_cfg_setdefault_int(_sg_cfg_set, "model-check/visited", 0);
555 /* do verbose-exit */
556 default_value_int = 1;
557 xbt_cfg_register(&_sg_cfg_set, "verbose-exit",
558 "Activate the \"do nothing\" mode in Ctrl-C",
559 xbt_cfgelm_int, &default_value_int, 0, 1,
560 _sg_cfg_cb_verbose_exit, NULL);
563 /* context factory */
564 default_value = xbt_strdup("ucontext");
565 xbt_cfg_register(&_sg_cfg_set, "contexts/factory",
566 "Context factory to use in SIMIX (ucontext, thread or raw)",
567 xbt_cfgelm_string, &default_value, 1, 1, _sg_cfg_cb_context_factory, NULL);
569 /* stack size of contexts in Ko */
570 default_value_int = 128;
571 xbt_cfg_register(&_sg_cfg_set, "contexts/stack_size",
572 "Stack size of contexts in Kib (ucontext or raw only)",
573 xbt_cfgelm_int, &default_value_int, 1, 1,
574 _sg_cfg_cb_context_stack_size, NULL);
576 /* number of parallel threads for user processes */
577 default_value_int = 1;
578 xbt_cfg_register(&_sg_cfg_set, "contexts/nthreads",
579 "Number of parallel threads used to execute user contexts",
580 xbt_cfgelm_int, &default_value_int, 1, 1,
581 _sg_cfg_cb_contexts_nthreads, NULL);
583 /* minimal number of user contexts to be run in parallel */
584 default_value_int = 2;
585 xbt_cfg_register(&_sg_cfg_set, "contexts/parallel_threshold",
586 "Minimal number of user contexts to be run in parallel (raw contexts only)",
587 xbt_cfgelm_int, &default_value_int, 1, 1,
588 _sg_cfg_cb_contexts_parallel_threshold, NULL);
590 /* synchronization mode for parallel user contexts */
592 default_value = xbt_strdup("futex");
593 #else //No futex on mac and posix is unimplememted yet
594 default_value = xbt_strdup("busy_wait");
596 xbt_cfg_register(&_sg_cfg_set, "contexts/synchro",
597 "Synchronization mode to use when running contexts in parallel (either futex, posix or busy_wait)",
598 xbt_cfgelm_string, &default_value, 1, 1,
599 _sg_cfg_cb_contexts_parallel_mode, NULL);
601 /* number of parallel threads for Surf */
602 default_value_int = surf_get_nthreads();
603 xbt_cfg_register(&_sg_cfg_set, "surf/nthreads",
604 "Number of parallel threads used to update Surf models",
605 xbt_cfgelm_int, &default_value_int, 1, 1,
606 _sg_cfg_cb_surf_nthreads, NULL);
608 default_value = xbt_strdup("no");
609 xbt_cfg_register(&_sg_cfg_set, "network/coordinates",
610 "\"yes\" or \"no\", specifying whether we use a coordinate-based routing (as Vivaldi)",
611 xbt_cfgelm_string, &default_value, 1, 1,
612 _sg_cfg_cb__surf_network_coordinates, NULL);
613 xbt_cfg_setdefault_string(_sg_cfg_set, "network/coordinates", default_value);
615 default_value_int = 0;
616 xbt_cfg_register(&_sg_cfg_set, "network/crosstraffic",
617 "Activate the interferences between uploads and downloads for fluid max-min models (LV08, CM02)",
618 xbt_cfgelm_int, &default_value_int, 0, 1,
619 _sg_cfg_cb__surf_network_crosstraffic, NULL);
620 xbt_cfg_setdefault_int(_sg_cfg_set, "network/crosstraffic", default_value_int);
623 xbt_cfg_register(&_sg_cfg_set, "gtnets/jitter",
624 "Double value to oscillate the link latency, uniformly in random interval [-latency*gtnets_jitter,latency*gtnets_jitter)",
625 xbt_cfgelm_double, NULL, 1, 1,
626 _sg_cfg_cb__gtnets_jitter, NULL);
627 xbt_cfg_setdefault_double(_sg_cfg_set, "gtnets/jitter", 0.0);
629 default_value_int = 10;
630 xbt_cfg_register(&_sg_cfg_set, "gtnets/jitter_seed",
631 "Use a positive seed to reproduce jitted results, value must be in [1,1e8], default is 10",
632 xbt_cfgelm_int, &default_value_int, 0, 1,
633 _sg_cfg_cb__gtnets_jitter_seed, NULL);
636 xbt_cfg_register(&_sg_cfg_set, "ns3/TcpModel",
637 "The ns3 tcp model can be : NewReno or Reno or Tahoe",
638 xbt_cfgelm_string, NULL, 1, 1,
640 xbt_cfg_setdefault_string(_sg_cfg_set, "ns3/TcpModel", "default");
644 double default_reference_speed = 20000.0;
645 xbt_cfg_register(&_sg_cfg_set, "smpi/running_power",
646 "Power of the host running the simulation (in flop/s). Used to bench the operations.",
647 xbt_cfgelm_double, &default_reference_speed, 1, 1, NULL,
650 int default_display_timing = 0;
651 xbt_cfg_register(&_sg_cfg_set, "smpi/display_timing",
652 "Boolean indicating whether we should display the timing after simulation.",
653 xbt_cfgelm_int, &default_display_timing, 1, 1, NULL,
656 double default_threshold = 1e-6;
657 xbt_cfg_register(&_sg_cfg_set, "smpi/cpu_threshold",
658 "Minimal computation time (in seconds) not discarded.",
659 xbt_cfgelm_double, &default_threshold, 1, 1, NULL,
662 int default_small_messages_threshold = 0;
663 xbt_cfg_register(&_sg_cfg_set, "smpi/async_small_thres",
664 "Maximal size of messages that are to be sent asynchronously, without waiting for the receiver",
665 xbt_cfgelm_int, &default_small_messages_threshold, 1, 1, NULL,
668 //For smpi/bw_factor and smpi/lat_factor
669 //Default value have to be "threshold0:value0;threshold1:value1;...;thresholdN:valueN"
670 //test is if( size >= thresholdN ) return valueN;
671 //Values can be modified with command line --cfg=smpi/bw_factor:"threshold0:value0;threshold1:value1;...;thresholdN:valueN"
672 // or with tag config put line <prop id="smpi/bw_factor" value="threshold0:value0;threshold1:value1;...;thresholdN:valueN"></prop>
673 xbt_cfg_register(&_sg_cfg_set, "smpi/bw_factor",
674 "Bandwidth factors for smpi.",
675 xbt_cfgelm_string, NULL, 1, 1, NULL,
677 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");
679 xbt_cfg_register(&_sg_cfg_set, "smpi/lat_factor",
680 "Latency factors for smpi.",
681 xbt_cfgelm_string, NULL, 1, 1, NULL,
683 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");
688 /* retrieves the current directory of the current process */
689 const char *initial_path = __surf_get_initial_path();
690 xbt_assert((initial_path),
691 "__surf_get_initial_path() failed! Can't resolves current Windows directory");
693 surf_path = xbt_dynar_new(sizeof(char *), NULL);
694 xbt_cfg_setdefault_string(_sg_cfg_set, "path", initial_path);
699 sg_config_cmd_line(argc, argv);
701 xbt_mallocator_initialization_is_done(SIMIX_context_is_parallel());
704 XBT_WARN("Call to sg_config_init() after initialization ignored");
708 void sg_config_finalize(void)
710 if (!_sg_init_status)
711 return; /* Not initialized yet. Nothing to do */
713 xbt_cfg_free(&_sg_cfg_set);
717 /* Pick the right models for CPU, net and workstation, and call their model_init_preparse */
718 void surf_config_models_setup()
720 char *workstation_model_name;
721 int workstation_id = -1;
722 char *network_model_name = NULL;
723 char *cpu_model_name = NULL;
725 char *storage_model_name = NULL;
727 workstation_model_name =
728 xbt_cfg_get_string(_sg_cfg_set, "workstation/model");
729 network_model_name = xbt_cfg_get_string(_sg_cfg_set, "network/model");
730 cpu_model_name = xbt_cfg_get_string(_sg_cfg_set, "cpu/model");
731 storage_model_name = xbt_cfg_get_string(_sg_cfg_set, "storage/model");
733 /* Check whether we use a net/cpu model differing from the default ones, in which case
734 * we should switch to the "compound" workstation model to correctly dispatch stuff to
735 * the right net/cpu models.
738 if((!xbt_cfg_is_default_value(_sg_cfg_set, "network/model") ||
739 !xbt_cfg_is_default_value(_sg_cfg_set, "cpu/model")) &&
740 xbt_cfg_is_default_value(_sg_cfg_set, "workstation/model"))
742 const char *val = "compound";
744 ("Switching workstation model to compound since you changed the network and/or cpu model(s)");
745 xbt_cfg_set_string(_sg_cfg_set, "workstation/model", val);
746 workstation_model_name = (char *) "compound";
749 XBT_DEBUG("Workstation model: %s", workstation_model_name);
751 find_model_description(surf_workstation_model_description,
752 workstation_model_name);
753 if (!strcmp(workstation_model_name, "compound")) {
757 xbt_assert(cpu_model_name,
758 "Set a cpu model to use with the 'compound' workstation model");
760 xbt_assert(network_model_name,
761 "Set a network model to use with the 'compound' workstation model");
764 find_model_description(surf_network_model_description,
767 find_model_description(surf_cpu_model_description, cpu_model_name);
769 surf_cpu_model_description[cpu_id].model_init_preparse();
770 surf_network_model_description[network_id].model_init_preparse();
773 XBT_DEBUG("Call workstation_model_init");
774 surf_workstation_model_description[workstation_id].model_init_preparse();
776 XBT_DEBUG("Call storage_model_init");
777 storage_id = find_model_description(surf_storage_model_description, storage_model_name);
778 surf_storage_model_description[storage_id].model_init_preparse();
780 /* ********************************************************************* */
781 /* TUTORIAL: New model */
782 int new_model_id = -1;
783 char *new_model_name = NULL;
784 new_model_name = xbt_cfg_get_string(_sg_cfg_set, "new_model/model");
785 XBT_DEBUG("Call new model_init");
786 new_model_id = find_model_description(surf_new_model_description, new_model_name);
787 surf_new_model_description[new_model_id].model_init_preparse();
788 /* ********************************************************************* */
791 int sg_cfg_get_int(const char* name)
793 return xbt_cfg_get_int(_sg_cfg_set,name);
795 double sg_cfg_get_double(const char* name)
797 return xbt_cfg_get_double(_sg_cfg_set,name);
799 char* sg_cfg_get_string(const char* name)
801 return xbt_cfg_get_string(_sg_cfg_set,name);
803 void sg_cfg_get_peer(const char *name, char **peer, int *port)
805 xbt_cfg_get_peer(_sg_cfg_set,name, peer, port);
807 xbt_dynar_t sg_cfg_get_dynar(const char* name)
809 return xbt_cfg_get_dynar(_sg_cfg_set,name);