Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename instr_interface.h and mc_ignore.h to .hpp.
[simgrid.git] / src / simgrid / sg_config.cpp
1 /* Copyright (c) 2009-2018. The SimGrid Team. All rights reserved.          */
2
3 /* This program is free software; you can redistribute it and/or modify it
4  * under the terms of the license (GNU LGPL) which comes with this package. */
5
6 /* sg_config: configuration infrastructure for the simulation world         */
7
8 #include "simgrid/sg_config.hpp"
9 #include "instr/instr_interface.hpp"
10 #include "mc/mc.h"
11 #include "simgrid/instr.h"
12 #include "src/internal_config.h"
13 #include "src/kernel/lmm/maxmin.hpp"
14 #include "src/mc/mc_replay.hpp"
15 #include "src/surf/surf_interface.hpp"
16 #include "surf/surf.hpp"
17 #include "xbt/config.h"
18 #include "xbt/config.hpp"
19
20 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_config, surf, "About the configuration of SimGrid");
21
22
23 /* 0: beginning of time (config cannot be changed yet);
24  * 1: initialized: cfg_set created (config can now be changed);
25  * 2: configured: command line parsed and config part of platform file was
26  *    integrated also, platform construction ongoing or done.
27  *    (Config cannot be changed anymore!)
28  */
29 int _sg_cfg_init_status = 0;
30
31 /* instruct the upper layer (simix or simdag) to exit as soon as possible */
32 int _sg_cfg_exit_asap = 0;
33
34 #define sg_cfg_exit_early() do { _sg_cfg_exit_asap = 1; return; } while (0)
35
36 /* Parse the command line, looking for options */
37 static void sg_config_cmd_line(int *argc, char **argv)
38 {
39   int shall_exit = 0;
40   int i;
41   int j;
42
43   for (j = i = 1; i < *argc; i++) {
44     if (not strncmp(argv[i], "--cfg=", strlen("--cfg="))) {
45       char *opt = strchr(argv[i], '=');
46       opt++;
47
48       xbt_cfg_set_parse(opt);
49       XBT_DEBUG("Did apply '%s' as config setting", opt);
50     } else if (not strcmp(argv[i], "--version")) {
51       printf("%s\n", SIMGRID_VERSION_STRING);
52       shall_exit = 1;
53     } else if (not strcmp(argv[i], "--cfg-help") || not strcmp(argv[i], "--help")) {
54       printf("Description of the configuration accepted by this simulator:\n");
55       xbt_cfg_help();
56       printf(
57           "\n"
58           "Each of these configurations can be used by adding\n"
59           "    --cfg=<option name>:<option value>\n"
60           "to the command line.\n"
61           "\n"
62           "For more information, please refer to:\n"
63           "   --help-aliases for the list of all option aliases.\n"
64           "   --help-logs and --help-log-categories for the details of logging output.\n"
65           "   --help-models for a list of all models known by this simulator.\n"
66           "   --help-tracing for the details of all tracing options known by this simulator.\n"
67           "   --version to get SimGrid version information.\n"
68           "\n"
69         );
70       shall_exit = 1;
71     } else if (not strcmp(argv[i], "--help-aliases")) {
72       printf("Here is a list of all deprecated option names, with their replacement.\n");
73       xbt_cfg_aliases();
74       printf("Please consider using the recent names\n");
75       shall_exit = 1;
76     } else if (not strcmp(argv[i], "--help-models")) {
77       model_help("host", surf_host_model_description);
78       printf("\n");
79       model_help("CPU", surf_cpu_model_description);
80       printf("\n");
81       model_help("network", surf_network_model_description);
82       printf("\nLong description of all optimization levels accepted by the models of this simulator:\n");
83       for (int k = 0; surf_optimization_mode_description[k].name; k++)
84         printf("  %s: %s\n",
85                surf_optimization_mode_description[k].name,
86                surf_optimization_mode_description[k].description);
87       printf("Both network and CPU models have 'Lazy' as default optimization level\n\n");
88       shall_exit = 1;
89     } else if (not strcmp(argv[i], "--help-tracing")) {
90       TRACE_help (1);
91       shall_exit = 1;
92     } else {
93       argv[j++] = argv[i];
94     }
95   }
96   if (j < *argc) {
97     argv[j] = nullptr;
98     *argc = j;
99   }
100   if (shall_exit)
101     sg_cfg_exit_early();
102 }
103
104 /* callback of the plugin variable */
105 static void _sg_cfg_cb__plugin(const char *name)
106 {
107   xbt_assert(_sg_cfg_init_status < 2, "Cannot load a plugin after the initialization");
108
109   std::string val = xbt_cfg_get_string(name);
110   if (val.empty())
111     return;
112
113   if (val == "help") {
114     model_help("plugin", surf_plugin_description);
115     sg_cfg_exit_early();
116   }
117
118   int plugin_id = find_model_description(surf_plugin_description, val);
119   surf_plugin_description[plugin_id].model_init_preparse();
120 }
121
122 /* callback of the host/model variable */
123 static void _sg_cfg_cb__host_model(const char *name)
124 {
125   xbt_assert(_sg_cfg_init_status < 2, "Cannot change the model after the initialization");
126
127   std::string val = xbt_cfg_get_string(name);
128   if (val == "help") {
129     model_help("host", surf_host_model_description);
130     sg_cfg_exit_early();
131   }
132
133   /* Make sure that the model exists */
134   find_model_description(surf_host_model_description, val);
135 }
136
137 /* callback of the cpu/model variable */
138 static void _sg_cfg_cb__cpu_model(const char *name)
139 {
140   xbt_assert(_sg_cfg_init_status < 2, "Cannot change the model after the initialization");
141
142   std::string val = xbt_cfg_get_string(name);
143   if (val == "help") {
144     model_help("CPU", surf_cpu_model_description);
145     sg_cfg_exit_early();
146   }
147
148   /* New Module missing */
149   find_model_description(surf_cpu_model_description, val);
150 }
151
152 /* callback of the cpu/model variable */
153 static void _sg_cfg_cb__optimization_mode(const char *name)
154 {
155   xbt_assert(_sg_cfg_init_status < 2, "Cannot change the model after the initialization");
156
157   std::string val = xbt_cfg_get_string(name);
158   if (val == "help") {
159     model_help("optimization", surf_optimization_mode_description);
160     sg_cfg_exit_early();
161   }
162
163   /* New Module missing */
164   find_model_description(surf_optimization_mode_description, val);
165 }
166
167 /* callback of the cpu/model variable */
168 static void _sg_cfg_cb__storage_mode(const char *name)
169 {
170   xbt_assert(_sg_cfg_init_status < 2, "Cannot change the model after the initialization");
171
172   std::string val = xbt_cfg_get_string(name);
173   if (val == "help") {
174     model_help("storage", surf_storage_model_description);
175     sg_cfg_exit_early();
176   }
177
178   find_model_description(surf_storage_model_description, val);
179 }
180
181 /* callback of the network_model variable */
182 static void _sg_cfg_cb__network_model(const char *name)
183 {
184   xbt_assert(_sg_cfg_init_status < 2, "Cannot change the model after the initialization");
185
186   std::string val = xbt_cfg_get_string(name);
187   if (val == "help") {
188     model_help("network", surf_network_model_description);
189     sg_cfg_exit_early();
190   }
191
192   /* New Module missing */
193   find_model_description(surf_network_model_description, val);
194 }
195 /* callback to decide if we want to use the model-checking */
196 #include "src/xbt_modinter.h"
197
198 static void _sg_cfg_cb_model_check_replay(const char *name) {
199   MC_record_path = xbt_cfg_get_string(name);
200 }
201
202 #if SIMGRID_HAVE_MC
203 extern int _sg_do_model_check_record;
204 static void _sg_cfg_cb_model_check_record(const char *name) {
205   _sg_do_model_check_record = xbt_cfg_get_boolean(name);
206 }
207 #endif
208
209 extern int _sg_do_verbose_exit;
210 static void _sg_cfg_cb_verbose_exit(const char *name)
211 {
212   _sg_do_verbose_exit = xbt_cfg_get_boolean(name);
213 }
214
215 extern int _sg_do_clean_atexit;
216 static void _sg_cfg_cb_clean_atexit(const char *name)
217 {
218   _sg_do_clean_atexit = xbt_cfg_get_boolean(name);
219 }
220
221 static void _sg_cfg_cb_context_stack_size(const char *name)
222 {
223   smx_context_stack_size_was_set = 1;
224   smx_context_stack_size = xbt_cfg_get_int(name) * 1024;
225 }
226
227 static void _sg_cfg_cb_context_guard_size(const char *name)
228 {
229   smx_context_guard_size_was_set = 1;
230   smx_context_guard_size = xbt_cfg_get_int(name) * xbt_pagesize;
231 }
232
233 static void _sg_cfg_cb_contexts_nthreads(const char *name)
234 {
235   SIMIX_context_set_nthreads(xbt_cfg_get_int(name));
236 }
237
238 static void _sg_cfg_cb_contexts_parallel_threshold(const char *name)
239 {
240   SIMIX_context_set_parallel_threshold(xbt_cfg_get_int(name));
241 }
242
243 static void _sg_cfg_cb_contexts_parallel_mode(const char *name)
244 {
245   std::string mode_name = xbt_cfg_get_string(name);
246   if (mode_name == "posix") {
247     SIMIX_context_set_parallel_mode(XBT_PARMAP_POSIX);
248   } else if (mode_name == "futex") {
249     SIMIX_context_set_parallel_mode(XBT_PARMAP_FUTEX);
250   } else if (mode_name == "busy_wait") {
251     SIMIX_context_set_parallel_mode(XBT_PARMAP_BUSY_WAIT);
252   } else {
253     xbt_die("Command line setting of the parallel synchronization mode should "
254             "be one of \"posix\", \"futex\" or \"busy_wait\"");
255   }
256 }
257
258 /* build description line with possible values */
259 static void describe_model(char *result,int resultsize,
260                            const s_surf_model_description_t model_description[],
261                            const char *name,
262                            const char *description)
263 {
264   result[0] = '\0';
265   char *p = result;
266   p += snprintf(result,resultsize-1, "%s. Possible values: %s", description,
267             model_description[0].name ? model_description[0].name : "n/a");
268   for (int i = 1; model_description[i].name; i++)
269     p += snprintf(p,resultsize-(p-result)-1, ", %s", model_description[i].name);
270   p += snprintf(p,resultsize-(p-result)-1, ".\n       (use 'help' as a value to see the long description of each %s)", name);
271
272   xbt_assert(p<result+resultsize-1,"Buffer too small to display the model description of %s",name);
273 }
274
275 /* create the config set, register what should be and parse the command line*/
276 void sg_config_init(int *argc, char **argv)
277 {
278   const int descsize = 1024;
279   char description[descsize];
280
281   /* Create the configuration support */
282   if (_sg_cfg_init_status != 0) { /* Only create stuff if not already inited */
283     XBT_WARN("Call to sg_config_init() after initialization ignored");
284     return;
285   }
286
287   /* Plugins configuration */
288   describe_model(description, descsize, surf_plugin_description, "plugin", "The plugins");
289   xbt_cfg_register_string("plugin", "", &_sg_cfg_cb__plugin, description);
290
291   describe_model(description, descsize, surf_cpu_model_description, "model", "The model to use for the CPU");
292   xbt_cfg_register_string("cpu/model", "Cas01", &_sg_cfg_cb__cpu_model, description);
293
294   describe_model(description, descsize, surf_storage_model_description, "model", "The model to use for the storage");
295   xbt_cfg_register_string("storage/model", "default", &_sg_cfg_cb__storage_mode, description);
296
297   describe_model(description, descsize, surf_network_model_description, "model", "The model to use for the network");
298   xbt_cfg_register_string("network/model", "LV08", &_sg_cfg_cb__network_model, description);
299
300   describe_model(description, descsize, surf_optimization_mode_description, "optimization mode",
301                  "The optimization modes to use for the network");
302   xbt_cfg_register_string("network/optim", "Lazy", &_sg_cfg_cb__optimization_mode, description);
303
304   describe_model(description, descsize, surf_host_model_description, "model", "The model to use for the host");
305   xbt_cfg_register_string("host/model", "default", &_sg_cfg_cb__host_model, description);
306
307   simgrid::config::bindFlag(sg_surf_precision, "surf/precision",
308                             "Numerical precision used when updating simulation times (in seconds)");
309
310   simgrid::config::bindFlag(sg_maxmin_precision, "maxmin/precision",
311                             "Numerical precision used when computing resource sharing (in flops/sec or bytes/sec)");
312
313   simgrid::config::bindFlag(sg_concurrency_limit, "maxmin/concurrency-limit",
314                             "Maximum number of concurrent variables in the maxmim system. Also limits the number of "
315                             "processes on each host, at higher level. (default: -1 means no such limitation)");
316   xbt_cfg_register_alias("maxmin/concurrency-limit", "maxmin/concurrency_limit");
317
318   /* The parameters of network models */
319
320   sg_latency_factor = 13.01; // comes from the default LV08 network model
321   simgrid::config::bindFlag(sg_latency_factor, {"network/latency-factor", "network/latency_factor"},
322                             "Correction factor to apply to the provided latency (default value set by network model)");
323
324   sg_bandwidth_factor = 0.97; // comes from the default LV08 network model
325   simgrid::config::bindFlag(
326       sg_bandwidth_factor, {"network/bandwidth-factor", "network/bandwidth_factor"},
327       "Correction factor to apply to the provided bandwidth (default value set by network model)");
328
329   sg_weight_S_parameter = 20537; // comes from the default LV08 network model
330   simgrid::config::bindFlag(
331       sg_weight_S_parameter, {"network/weight-S", "network/weight_S"},
332       "Correction factor to apply to the weight of competing streams (default value set by network model)");
333
334   /* Inclusion path */
335   simgrid::config::declareFlag<std::string>("path", "Lookup path for inclusions in platform and deployment XML files",
336                                             "", [](std::string const& path) {
337                                               if (path[0] != '\0') {
338                                                 surf_path.push_back(path);
339                                               }
340                                             });
341
342   xbt_cfg_register_boolean("cpu/maxmin-selective-update", "no", nullptr, "Update the constraint set propagating "
343                                                                          "recursively to others constraints (off by "
344                                                                          "default unless optim is set to lazy)");
345   xbt_cfg_register_alias("cpu/maxmin-selective-update", "cpu/maxmin_selective_update");
346   xbt_cfg_register_boolean("network/maxmin-selective-update", "no", nullptr, "Update the constraint set propagating "
347                                                                              "recursively to others constraints (off "
348                                                                              "by default unless optim is set to lazy)");
349   xbt_cfg_register_alias("network/maxmin-selective-update", "network/maxmin_selective_update");
350   /* Replay (this part is enabled even if MC it disabled) */
351   xbt_cfg_register_string("model-check/replay", nullptr, _sg_cfg_cb_model_check_replay,
352                           "Model-check path to replay (as reported by SimGrid when a violation is reported)");
353
354 #if SIMGRID_HAVE_MC
355     /* do model-checking-record */
356     xbt_cfg_register_boolean("model-check/record", "no", _sg_cfg_cb_model_check_record, "Record the model-checking paths");
357
358     xbt_cfg_register_int("model-check/checkpoint", 0, _mc_cfg_cb_checkpoint,
359         "Specify the amount of steps between checkpoints during stateful model-checking (default: 0 => stateless verification). "
360         "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.");
361
362     xbt_cfg_register_boolean("model-check/sparse-checkpoint", "no", _mc_cfg_cb_sparse_checkpoint, "Use sparse per-page snapshots.");
363     xbt_cfg_register_boolean("model-check/ksm", "no", _mc_cfg_cb_ksm, "Kernel same-page merging");
364
365     xbt_cfg_register_string("model-check/property", "", _mc_cfg_cb_property,
366                             "Name of the file containing the property, as formatted by the ltl2ba program.");
367     xbt_cfg_register_boolean("model-check/communications-determinism", "no", _mc_cfg_cb_comms_determinism,
368         "Whether to enable the detection of communication determinism");
369     xbt_cfg_register_alias("model-check/communications-determinism","model-check/communications_determinism");
370
371     xbt_cfg_register_boolean("model-check/send-determinism", "no", _mc_cfg_cb_send_determinism,
372         "Enable/disable the detection of send-determinism in the communications schemes");
373     xbt_cfg_register_alias("model-check/send-determinism","model-check/send_determinism");
374
375     /* Specify the kind of model-checking reduction */
376     xbt_cfg_register_string("model-check/reduction", "dpor", _mc_cfg_cb_reduce,
377         "Specify the kind of exploration reduction (either none or DPOR)");
378     xbt_cfg_register_boolean("model-check/timeout", "no",  _mc_cfg_cb_timeout,
379         "Whether to enable timeouts for wait requests");
380
381     xbt_cfg_register_boolean("model-check/hash", "no", _mc_cfg_cb_hash, "Whether to enable state hash for state comparison (experimental)");
382     xbt_cfg_register_boolean("model-check/snapshot-fds", "no",  _mc_cfg_cb_snapshot_fds,
383         "Whether file descriptors must be snapshoted (currently unusable)");
384     xbt_cfg_register_alias("model-check/snapshot-fds","model-check/snapshot_fds");
385     xbt_cfg_register_int("model-check/max-depth", 1000, _mc_cfg_cb_max_depth, "Maximal exploration depth (default: 1000)");
386     xbt_cfg_register_alias("model-check/max-depth","model-check/max_depth");
387     xbt_cfg_register_int("model-check/visited", 0, _mc_cfg_cb_visited,
388         "Specify the number of visited state stored for state comparison reduction. If value=5, the last 5 visited states are stored. If value=0 (the default), all states are stored.");
389
390     xbt_cfg_register_string("model-check/dot-output", "", _mc_cfg_cb_dot_output, "Name of dot output file corresponding to graph state");
391     xbt_cfg_register_alias("model-check/dot-output","model-check/dot_output");
392     xbt_cfg_register_boolean("model-check/termination", "no", _mc_cfg_cb_termination, "Whether to enable non progressive cycle detection");
393 #endif
394
395     xbt_cfg_register_boolean("verbose-exit", "yes", _sg_cfg_cb_verbose_exit, "Activate the \"do nothing\" mode in Ctrl-C");
396
397     xbt_cfg_register_int("contexts/stack-size", 8*1024, _sg_cfg_cb_context_stack_size, "Stack size of contexts in KiB");
398     /* (FIXME: this is unpleasant) Reset this static variable that was altered when setting the default value. */
399     smx_context_stack_size_was_set = 0;
400     xbt_cfg_register_alias("contexts/stack-size","contexts/stack_size");
401
402     /* guard size for contexts stacks in memory pages */
403     xbt_cfg_register_int("contexts/guard-size",
404 #if defined(_WIN32) || (PTH_STACKGROWTH != -1)
405         0,
406 #else
407         1,
408 #endif
409     _sg_cfg_cb_context_guard_size, "Guard size for contexts stacks in memory pages");
410     /* No, it was not set yet (the above setdefault() changed this to 1). */
411     smx_context_guard_size_was_set = 0;
412     xbt_cfg_register_alias("contexts/guard-size","contexts/guard_size");
413     xbt_cfg_register_int("contexts/nthreads", 1, _sg_cfg_cb_contexts_nthreads, "Number of parallel threads used to execute user contexts");
414
415     xbt_cfg_register_int("contexts/parallel-threshold", 2, _sg_cfg_cb_contexts_parallel_threshold,
416         "Minimal number of user contexts to be run in parallel (raw contexts only)");
417     xbt_cfg_register_alias("contexts/parallel-threshold","contexts/parallel_threshold");
418
419     /* synchronization mode for parallel user contexts */
420 #if HAVE_FUTEX_H
421     xbt_cfg_register_string("contexts/synchro", "futex",     _sg_cfg_cb_contexts_parallel_mode,
422         "Synchronization mode to use when running contexts in parallel (either futex, posix or busy_wait)");
423 #else //No futex on mac and posix is unimplememted yet
424     xbt_cfg_register_string("contexts/synchro", "busy_wait", _sg_cfg_cb_contexts_parallel_mode,
425         "Synchronization mode to use when running contexts in parallel (either futex, posix or busy_wait)");
426 #endif
427
428     // For smpi/bw-factor and smpi/lat-factor
429     // SMPI model can be used without enable_smpi, so keep this out of the ifdef.
430     xbt_cfg_register_string("smpi/bw-factor",
431         "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", nullptr,
432         "Bandwidth factors for smpi. Format: 'threshold0:value0;threshold1:value1;...;thresholdN:valueN', meaning if(size >=thresholdN ) return valueN.");
433     xbt_cfg_register_alias("smpi/bw-factor","smpi/bw_factor");
434
435     xbt_cfg_register_string("smpi/lat-factor",
436         "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", nullptr, "Latency factors for smpi.");
437     xbt_cfg_register_alias("smpi/lat-factor","smpi/lat_factor");
438
439     xbt_cfg_register_string("smpi/IB-penalty-factors", "0.965;0.925;1.35", nullptr,
440         "Correction factor to communications using Infiniband model with contention (default value based on Stampede cluster profiling)");
441     xbt_cfg_register_alias("smpi/IB-penalty-factors","smpi/IB_penalty_factors");
442
443 #if HAVE_SMPI
444     xbt_cfg_register_double("smpi/host-speed", 20000.0, nullptr, "Speed of the host running the simulation (in flop/s). Used to bench the operations.");
445     xbt_cfg_register_alias("smpi/host-speed","smpi/running_power");
446     xbt_cfg_register_alias("smpi/host-speed","smpi/running-power");
447
448     xbt_cfg_register_boolean("smpi/keep-temps", "no", nullptr, "Whether we should keep the generated temporary files.");
449
450     xbt_cfg_register_boolean("smpi/display-timing", "no", nullptr, "Whether we should display the timing after simulation.");
451     xbt_cfg_register_alias("smpi/display-timing", "smpi/display_timing");
452
453     xbt_cfg_register_boolean("smpi/simulate-computation", "yes", nullptr, "Whether the computational part of the simulated application should be simulated.");
454     xbt_cfg_register_alias("smpi/simulate-computation","smpi/simulate_computation");
455
456     xbt_cfg_register_string("smpi/shared-malloc", "global", nullptr,
457                             "Whether SMPI_SHARED_MALLOC is enabled. Disable it for debugging purposes.");
458     xbt_cfg_register_alias("smpi/shared-malloc", "smpi/use-shared-malloc");
459     xbt_cfg_register_alias("smpi/shared-malloc", "smpi/use_shared_malloc");
460     xbt_cfg_register_double("smpi/shared-malloc-blocksize", 1UL << 20, nullptr, "Size of the bogus file which will be created for global shared allocations");
461     xbt_cfg_register_string("smpi/shared-malloc-hugepage", "", nullptr,
462                             "Path to a mounted hugetlbfs, to use huge pages with shared malloc.");
463
464     xbt_cfg_register_double("smpi/cpu-threshold", 1e-6, nullptr, "Minimal computation time (in seconds) not discarded, or -1 for infinity.");
465     xbt_cfg_register_alias("smpi/cpu-threshold", "smpi/cpu_threshold");
466
467     xbt_cfg_register_int("smpi/async-small-thresh", 0, nullptr,
468         "Maximal size of messages that are to be sent asynchronously, without waiting for the receiver");
469     xbt_cfg_register_alias("smpi/async-small-thresh","smpi/async_small_thresh");
470     xbt_cfg_register_alias("smpi/async-small-thresh","smpi/async_small_thres");
471
472     xbt_cfg_register_boolean("smpi/trace-call-location", "no", nullptr, "Should filename and linenumber of MPI calls be traced?");
473
474     xbt_cfg_register_int("smpi/send-is-detached-thresh", 65536, nullptr,
475         "Threshold of message size where MPI_Send stops behaving like MPI_Isend and becomes MPI_Ssend");
476     xbt_cfg_register_alias("smpi/send-is-detached-thresh","smpi/send_is_detached_thresh");
477     xbt_cfg_register_alias("smpi/send-is-detached-thresh","smpi/send_is_detached_thres");
478
479     const char* default_privatization = std::getenv("SMPI_PRIVATIZATION");
480     if (default_privatization == nullptr)
481       default_privatization = "no";
482
483     xbt_cfg_register_string("smpi/privatization", default_privatization, nullptr,
484                             "How we should privatize global variable at runtime (no, yes, mmap, dlopen).");
485
486     xbt_cfg_register_alias("smpi/privatization", "smpi/privatize-global-variables");
487     xbt_cfg_register_alias("smpi/privatization", "smpi/privatize_global_variables");
488
489     xbt_cfg_register_boolean("smpi/grow-injected-times", "yes", nullptr, "Whether we want to make the injected time in MPI_Iprobe and MPI_Test grow, to allow faster simulation. This can make simulation less precise, though.");
490
491 #if HAVE_PAPI
492     xbt_cfg_register_string("smpi/papi-events", nullptr, nullptr, "This switch enables tracking the specified counters with PAPI");
493 #endif
494     xbt_cfg_register_string("smpi/comp-adjustment-file", nullptr, nullptr, "A file containing speedups or slowdowns for some parts of the code.");
495     xbt_cfg_register_string("smpi/os", "0:0:0:0:0", nullptr,  "Small messages timings (MPI_Send minimum time for small messages)");
496     xbt_cfg_register_string("smpi/ois", "0:0:0:0:0", nullptr, "Small messages timings (MPI_Isend minimum time for small messages)");
497     xbt_cfg_register_string("smpi/or", "0:0:0:0:0", nullptr,  "Small messages timings (MPI_Recv minimum time for small messages)");
498
499     xbt_cfg_register_double("smpi/iprobe-cpu-usage", 1, nullptr, "Maximum usage of CPUs by MPI_Iprobe() calls. We've observed that MPI_Iprobes consume significantly less power than the maximum of a specific application. This value is then (Iprobe_Usage/Max_Application_Usage).");
500
501     xbt_cfg_register_string("smpi/coll-selector", "default", nullptr, "Which collective selector to use");
502     xbt_cfg_register_alias("smpi/coll-selector","smpi/coll_selector");
503     xbt_cfg_register_string("smpi/gather",        nullptr, nullptr, "Which collective to use for gather");
504     xbt_cfg_register_string("smpi/allgather",     nullptr, nullptr, "Which collective to use for allgather");
505     xbt_cfg_register_string("smpi/barrier",       nullptr, nullptr, "Which collective to use for barrier");
506     xbt_cfg_register_string("smpi/reduce_scatter",nullptr, nullptr, "Which collective to use for reduce_scatter");
507     xbt_cfg_register_alias("smpi/reduce_scatter","smpi/reduce-scatter");
508     xbt_cfg_register_string("smpi/scatter",       nullptr, nullptr, "Which collective to use for scatter");
509     xbt_cfg_register_string("smpi/allgatherv",    nullptr, nullptr, "Which collective to use for allgatherv");
510     xbt_cfg_register_string("smpi/allreduce",     nullptr, nullptr, "Which collective to use for allreduce");
511     xbt_cfg_register_string("smpi/alltoall",      nullptr, nullptr, "Which collective to use for alltoall");
512     xbt_cfg_register_string("smpi/alltoallv",     nullptr, nullptr,"Which collective to use for alltoallv");
513     xbt_cfg_register_string("smpi/bcast",         nullptr, nullptr, "Which collective to use for bcast");
514     xbt_cfg_register_string("smpi/reduce",        nullptr, nullptr, "Which collective to use for reduce");
515 #endif // HAVE_SMPI
516
517     /* Storage */
518
519     sg_storage_max_file_descriptors = 1024;
520     simgrid::config::bindFlag(sg_storage_max_file_descriptors, "storage/max_file_descriptors",
521       "Maximum number of concurrently opened files per host. Default is 1024");
522
523     /* Others */
524
525     xbt_cfg_register_boolean("exception/cutpath", "no", nullptr,
526         "Whether to cut all path information from call traces, used e.g. in exceptions.");
527
528     xbt_cfg_register_boolean("clean-atexit", "yes", _sg_cfg_cb_clean_atexit,
529         "Whether to cleanup SimGrid at exit. Disable it if your code segfaults after its end.");
530     xbt_cfg_register_alias("clean-atexit","clean_atexit");
531
532     if (surf_path.empty())
533       xbt_cfg_setdefault_string("path", "./");
534
535     _sg_cfg_init_status = 1;
536
537     sg_config_cmd_line(argc, argv);
538
539     xbt_mallocator_initialization_is_done(SIMIX_context_is_parallel());
540 }
541
542 void sg_config_finalize()
543 {
544   if (not _sg_cfg_init_status)
545     return;                     /* Not initialized yet. Nothing to do */
546
547   xbt_cfg_free(&simgrid_config);
548   _sg_cfg_init_status = 0;
549 }