- if (_sg_cfg_init_status == 0) { /* Only create stuff if not already inited */
-
- /* Plugins configuration */
- describe_model(description, surf_plugin_description, "plugin", "The plugins");
- xbt_cfg_register_string("plugin", nullptr, &_sg_cfg_cb__plugin, description);
-
- describe_model(description, surf_cpu_model_description, "model", "The model to use for the CPU");
- xbt_cfg_register_string("cpu/model", "Cas01", &_sg_cfg_cb__cpu_model, description);
-
- describe_model(description, surf_optimization_mode_description, "optimization mode", "The optimization modes to use for the CPU");
- xbt_cfg_register_string("cpu/optim", "Lazy", &_sg_cfg_cb__optimization_mode, description);
-
- describe_model(description, surf_storage_model_description, "model", "The model to use for the storage");
- xbt_cfg_register_string("storage/model", "default", &_sg_cfg_cb__storage_mode, description);
-
- describe_model(description, surf_network_model_description, "model", "The model to use for the network");
- xbt_cfg_register_string("network/model", "LV08", &_sg_cfg_cb__network_model, description);
-
- describe_model(description, surf_optimization_mode_description, "optimization mode", "The optimization modes to use for the network");
- xbt_cfg_register_string("network/optim", "Lazy", &_sg_cfg_cb__optimization_mode, description);
-
- describe_model(description, surf_host_model_description, "model", "The model to use for the host");
- xbt_cfg_register_string("host/model", "default", &_sg_cfg_cb__host_model, description);
-
- describe_model(description, surf_vm_model_description, "model", "The model to use for the vm");
- xbt_cfg_register_string("vm/model", "default", &_sg_cfg_cb__vm_model, description);
-
- xbt_cfg_register_double("network/TCP-gamma", 4194304.0, _sg_cfg_cb__tcp_gamma,
- "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)");
- xbt_cfg_register_alias("network/TCP-gamma","network/TCP_gamma");
- xbt_cfg_register_double("surf/precision", 0.00001, _sg_cfg_cb__surf_precision,
- "Numerical precision used when updating simulation times (in seconds)");
- xbt_cfg_register_double("maxmin/precision", 0.00001, _sg_cfg_cb__maxmin_precision,
- "Numerical precision used when computing resource sharing (in ops/sec or bytes/sec)");
-
- /* The parameters of network models */
-
- xbt_cfg_register_double("network/sender-gap", NAN, _sg_cfg_cb__sender_gap,
- "Minimum gap between two overlapping sends"); /* real default for "network/sender-gap" is set in network_smpi.cpp */
- xbt_cfg_register_alias("network/sender-gap","network/sender_gap");
- xbt_cfg_register_double("network/latency-factor", 1.0, _sg_cfg_cb__latency_factor,
- "Correction factor to apply to the provided latency (default value set by network model)");
- xbt_cfg_register_alias("network/latency-factor","network/latency_factor");
- xbt_cfg_register_double("network/bandwidth-factor", 1.0, _sg_cfg_cb__bandwidth_factor, "Correction factor to apply to the provided bandwidth (default value set by network model)");
- xbt_cfg_register_alias("network/bandwidth-factor","network/bandwidth_factor");
- xbt_cfg_register_double("network/weight-S", NAN, _sg_cfg_cb__weight_S, /* real default for "network/weight-S" is set in network_*.cpp */
- "Correction factor to apply to the weight of competing streams (default value set by network model)");
- xbt_cfg_register_alias("network/weight-S","network/weight_S");
-
- /* Inclusion path */
- xbt_cfg_register_string("path", "", _sg_cfg_cb__surf_path, "Lookup path for inclusions in platform and deployment XML files");
-
- xbt_cfg_register_boolean("cpu/maxmin-selective-update", "no", NULL,
- "Update the constraint set propagating recursively to others constraints (off by default when optim is set to lazy)");
- xbt_cfg_register_alias("cpu/maxmin-selective-update","cpu/maxmin_selective_update");
- xbt_cfg_register_boolean("network/maxmin-selective-update", "no", NULL,
- "Update the constraint set propagating recursively to others constraints (off by default when optim is set to lazy)");
- xbt_cfg_register_alias("network/maxmin-selective-update","network/maxmin_selective_update");
- /* Replay (this part is enabled even if MC it disabled) */
- xbt_cfg_register_string("model-check/replay", nullptr, _sg_cfg_cb_model_check_replay,
- "Model-check path to replay (as reported by SimGrid when a violation is reported)");
-
-#if HAVE_MC
- /* do model-checking-record */
- xbt_cfg_register_boolean("model-check/record", "no", _sg_cfg_cb_model_check_record, "Record the model-checking paths");
-
- xbt_cfg_register_int("model-check/checkpoint", 0, _mc_cfg_cb_checkpoint,
- "Specify the amount of steps between checkpoints during stateful model-checking (default: 0 => stateless verification). "
- "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.");
-
- xbt_cfg_register_boolean("model-check/sparse-checkpoint", "no", _mc_cfg_cb_sparse_checkpoint, "Use sparse per-page snapshots.");
- xbt_cfg_register_boolean("model-check/ksm", "no", _mc_cfg_cb_ksm, "Kernel same-page merging");
-
- xbt_cfg_register_string("model-check/property","", _mc_cfg_cb_property,
- "Name of the file containing the property, as formated by the ltl2ba program.");
- xbt_cfg_register_boolean("model-check/communications-determinism", "no", _mc_cfg_cb_comms_determinism,
- "Whether to enable the detection of communication determinism");
- xbt_cfg_register_alias("model-check/communications-determinism","model-check/communications_determinism");
-
- xbt_cfg_register_boolean("model-check/send-determinism", "no", _mc_cfg_cb_send_determinism,
- "Enable/disable the detection of send-determinism in the communications schemes");
- xbt_cfg_register_alias("model-check/send-determinism","model-check/send_determinism");
-
- /* Specify the kind of model-checking reduction */
- xbt_cfg_register_string("model-check/reduction", "dpor", _mc_cfg_cb_reduce,
- "Specify the kind of exploration reduction (either none or DPOR)");
- xbt_cfg_register_boolean("model-check/timeout", "no", _mc_cfg_cb_timeout,
- "Whether to enable timeouts for wait requests");
-
- xbt_cfg_register_boolean("model-check/hash", "no", _mc_cfg_cb_hash, "Whether to enable state hash for state comparison (experimental)");
- xbt_cfg_register_boolean("model-check/snapshot-fds", "no", _mc_cfg_cb_snapshot_fds,
- "Whether file descriptors must be snapshoted (currently unusable)");
- xbt_cfg_register_alias("model-check/snapshot-fds","model-check/snapshot_fds");
- xbt_cfg_register_int("model-check/max-depth", 1000, _mc_cfg_cb_max_depth, "Maximal exploration depth (default: 1000)");
- xbt_cfg_register_alias("model-check/max-depth","model-check/max_depth");
- xbt_cfg_register_int("model-check/visited", 0, _mc_cfg_cb_visited,
- "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.");
-
- xbt_cfg_register_string("model-check/dot-output", "", _mc_cfg_cb_dot_output, "Name of dot output file corresponding to graph state");
- xbt_cfg_register_alias("model-check/dot-output","model-check/dot_output");
- xbt_cfg_register_boolean("model-check/termination", "no", _mc_cfg_cb_termination, "Whether to enable non progressive cycle detection");
-#endif
-
- xbt_cfg_register_boolean("verbose-exit", "yes", _sg_cfg_cb_verbose_exit, "Activate the \"do nothing\" mode in Ctrl-C");