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); }