static void smpi_check_options(){
//check correctness of MPI parameters
xbt_assert(xbt_cfg_get_int("smpi/async-small-thresh") <= xbt_cfg_get_int("smpi/send-is-detached-thresh"));
if (xbt_cfg_is_default_value("smpi/running-power")) {
XBT_INFO("You did not set the power of the host running the simulation. "
"The timings will certainly not be accurate. "
"Use the option \"--cfg=smpi/running-power:<flops>\" to set its value."
"Check http://simgrid.org/simgrid/latest/doc/options.html#options_smpi_bench for more information.");
}
}
void _mc_cfg_cb_checkpoint(const char *name)
{
if (_sg_cfg_init_status && !_sg_do_model_check)
xbt_die
("You are specifying a checkpointing value after the initialization (through MSG_config?), but model-checking was not activated at config time (through bu the program was not runned under the model-checker (with simgrid-mc)). This won't work, sorry.");
_sg_mc_checkpoint = xbt_cfg_get_int(name);
}
static void _surf_cfg_cb_model_check(const char *name, int pos)
{
_surf_do_model_check = xbt_cfg_get_int(_surf_cfg_set, name);
#ifndef HAVE_MC
if (_surf_do_model_check) {
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");
}
#endif
}
static void _surf_cfg_cb_model_check(const char *name, int pos)
{
_surf_do_model_check = xbt_cfg_get_int(_surf_cfg_set, name);
if (_surf_do_model_check) {
/* Tell modules using mallocators that they shouldn't. MC don't like them */
xbt_fifo_preinit();
xbt_dict_preinit();
}
}
static void TRACE_getopts(void)
{
trace_enabled = xbt_cfg_get_boolean(OPT_TRACING);
trace_platform = xbt_cfg_get_boolean(OPT_TRACING_PLATFORM);
trace_platform_topology = xbt_cfg_get_boolean(OPT_TRACING_TOPOLOGY);
trace_smpi_enabled = xbt_cfg_get_boolean(OPT_TRACING_SMPI);
trace_smpi_grouped = xbt_cfg_get_boolean(OPT_TRACING_SMPI_GROUP);
trace_smpi_computing = xbt_cfg_get_boolean(OPT_TRACING_SMPI_COMPUTING);
trace_smpi_sleeping = xbt_cfg_get_boolean(OPT_TRACING_SMPI_SLEEPING);
trace_view_internals = xbt_cfg_get_boolean(OPT_TRACING_SMPI_INTERNALS);
trace_categorized = xbt_cfg_get_boolean(OPT_TRACING_CATEGORIZED);
trace_uncategorized = xbt_cfg_get_boolean(OPT_TRACING_UNCATEGORIZED);
trace_msg_process_enabled = xbt_cfg_get_boolean(OPT_TRACING_MSG_PROCESS);
trace_msg_vm_enabled = xbt_cfg_get_boolean(OPT_TRACING_MSG_VM);
trace_buffer = xbt_cfg_get_boolean(OPT_TRACING_BUFFER);
trace_onelink_only = xbt_cfg_get_boolean(OPT_TRACING_ONELINK_ONLY);
trace_disable_destroy = xbt_cfg_get_boolean(OPT_TRACING_DISABLE_DESTROY);
trace_basic = xbt_cfg_get_boolean(OPT_TRACING_BASIC);
trace_display_sizes = xbt_cfg_get_boolean(OPT_TRACING_DISPLAY_SIZES);
trace_disable_link = xbt_cfg_get_boolean(OPT_TRACING_DISABLE_LINK);
trace_disable_power = xbt_cfg_get_boolean(OPT_TRACING_DISABLE_POWER);
trace_precision = xbt_cfg_get_int(OPT_TRACING_PRECISION);
}
static void TRACE_getopts(void)
{
trace_enabled = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING);
trace_platform = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_PLATFORM);
trace_platform_topology = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_TOPOLOGY);
trace_smpi_enabled = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_SMPI);
trace_smpi_grouped = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_SMPI_GROUP);
trace_smpi_computing = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_SMPI_COMPUTING);
trace_categorized = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_CATEGORIZED);
trace_uncategorized = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_UNCATEGORIZED);
trace_msg_process_enabled = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_MSG_PROCESS);
trace_buffer = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_BUFFER);
trace_onelink_only = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_ONELINK_ONLY);
trace_disable_destroy = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_DISABLE_DESTROY);
trace_basic = xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_BASIC);
}
static void _sg_cfg_cb__gtnets_jitter_seed(const char *name, int pos)
{
sg_gtnets_jitter_seed = xbt_cfg_get_int(_sg_cfg_set, name);
}
static void _sg_cfg_cb_contexts_parallel_threshold(const char *name, int pos)
{
SIMIX_context_set_parallel_threshold(xbt_cfg_get_int(_sg_cfg_set, name));
}
static void _sg_cfg_cb_contexts_nthreads(const char *name, int pos)
{
SIMIX_context_set_nthreads(xbt_cfg_get_int(_sg_cfg_set, name));
}
static void _sg_cfg_cb_context_guard_size(const char *name, int pos)
{
smx_context_guard_size_was_set = 1;
smx_context_guard_size = xbt_cfg_get_int(_sg_cfg_set, name) * xbt_pagesize;
}
static void _sg_cfg_cb_context_stack_size(const char *name, int pos)
{
smx_context_stack_size_was_set = 1;
smx_context_stack_size = xbt_cfg_get_int(_sg_cfg_set, name) * 1024;
}
int sg_cfg_get_int(const char* name)
{
return xbt_cfg_get_int(_sg_cfg_set, name);
}
static void _surf_cfg_cb_verbose_exit(const char *name, int pos)
{
_surf_do_verbose_exit = xbt_cfg_get_int(_surf_cfg_set, name);
}
static void _surf_cfg_cb__surf_network_fullduplex(const char *name,
int pos)
{
sg_network_fullduplex = xbt_cfg_get_int(_surf_cfg_set, name);
}
static void _surf_cfg_cb__surf_maxmin_selective_update(const char *name,
int pos)
{
sg_maxmin_selective_update = xbt_cfg_get_int(_surf_cfg_set, name);
}
static void _surf_cfg_cb_surf_nthreads(const char *name, int pos)
{
surf_set_nthreads(xbt_cfg_get_int(_surf_cfg_set, name));
}
static void _surf_cfg_cb__surf_network_crosstraffic(const char *name,
int pos)
{
sg_network_crosstraffic = xbt_cfg_get_int(_surf_cfg_set, name);
}
