X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/04cb8833befbe07b6b94ff0cae98bc17b78724e3..d809b28aed8516d8e281c908502638df19e784dd:/src/simgrid/sg_config.cpp diff --git a/src/simgrid/sg_config.cpp b/src/simgrid/sg_config.cpp index 8aa0849048..0c7c8a88f9 100644 --- a/src/simgrid/sg_config.cpp +++ b/src/simgrid/sg_config.cpp @@ -1,29 +1,21 @@ -/* Copyright (c) 2009-2010, 2012-2015. The SimGrid Team. - * All rights reserved. */ +/* Copyright (c) 2009-2018. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ -/* sg_config: configuration infrastructure for the simulation world */ +/* sg_config: configuration infrastructure for the simulation world */ -#include "xbt/misc.h" -#include "xbt/config.h" -#include "xbt/config.hpp" -#include "xbt/log.h" -#include "xbt/mallocator.h" -#include "xbt/str.h" -#include "xbt/lib.h" -#include "xbt/sysdep.h" -#include "surf/surf.h" -#include "surf/maxmin.h" -#include "instr/instr_interface.h" -#include "simgrid/simix.h" -#include "simgrid/sg_config.h" -#include "simgrid_config.h" /* what was compiled in? */ +#include "simgrid/sg_config.hpp" +#include "instr/instr_interface.hpp" #include "mc/mc.h" #include "simgrid/instr.h" -#include "src/mc/mc_replay.h" +#include "src/internal_config.h" +#include "src/kernel/lmm/maxmin.hpp" +#include "src/mc/mc_replay.hpp" #include "src/surf/surf_interface.hpp" +#include "surf/surf.hpp" +#include "xbt/config.h" +#include "xbt/config.hpp" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_config, surf, "About the configuration of SimGrid"); @@ -114,11 +106,11 @@ static void _sg_cfg_cb__plugin(const char *name) { xbt_assert(_sg_cfg_init_status < 2, "Cannot load a plugin after the initialization"); - char *val = xbt_cfg_get_string(name); - if (val==nullptr || val[0] == '\0') + std::string val = xbt_cfg_get_string(name); + if (val.empty()) return; - if (not strcmp(val, "help")) { + if (val == "help") { model_help("plugin", surf_plugin_description); sg_cfg_exit_early(); } @@ -132,8 +124,8 @@ static void _sg_cfg_cb__host_model(const char *name) { xbt_assert(_sg_cfg_init_status < 2, "Cannot change the model after the initialization"); - char *val = xbt_cfg_get_string(name); - if (not strcmp(val, "help")) { + std::string val = xbt_cfg_get_string(name); + if (val == "help") { model_help("host", surf_host_model_description); sg_cfg_exit_early(); } @@ -147,8 +139,8 @@ static void _sg_cfg_cb__cpu_model(const char *name) { xbt_assert(_sg_cfg_init_status < 2, "Cannot change the model after the initialization"); - char *val = xbt_cfg_get_string(name); - if (not strcmp(val, "help")) { + std::string val = xbt_cfg_get_string(name); + if (val == "help") { model_help("CPU", surf_cpu_model_description); sg_cfg_exit_early(); } @@ -162,8 +154,8 @@ static void _sg_cfg_cb__optimization_mode(const char *name) { xbt_assert(_sg_cfg_init_status < 2, "Cannot change the model after the initialization"); - char *val = xbt_cfg_get_string(name); - if (not strcmp(val, "help")) { + std::string val = xbt_cfg_get_string(name); + if (val == "help") { model_help("optimization", surf_optimization_mode_description); sg_cfg_exit_early(); } @@ -177,8 +169,8 @@ static void _sg_cfg_cb__storage_mode(const char *name) { xbt_assert(_sg_cfg_init_status < 2, "Cannot change the model after the initialization"); - char *val = xbt_cfg_get_string(name); - if (not strcmp(val, "help")) { + std::string val = xbt_cfg_get_string(name); + if (val == "help") { model_help("storage", surf_storage_model_description); sg_cfg_exit_early(); } @@ -191,8 +183,8 @@ static void _sg_cfg_cb__network_model(const char *name) { xbt_assert(_sg_cfg_init_status < 2, "Cannot change the model after the initialization"); - char *val = xbt_cfg_get_string(name); - if (not strcmp(val, "help")) { + std::string val = xbt_cfg_get_string(name); + if (val == "help") { model_help("network", surf_network_model_description); sg_cfg_exit_early(); } @@ -205,8 +197,6 @@ static void _sg_cfg_cb__network_model(const char *name) static void _sg_cfg_cb_model_check_replay(const char *name) { MC_record_path = xbt_cfg_get_string(name); - if (MC_record_path[0] == '\0') - MC_record_path = nullptr; } #if SIMGRID_HAVE_MC @@ -252,25 +242,19 @@ static void _sg_cfg_cb_contexts_parallel_threshold(const char *name) static void _sg_cfg_cb_contexts_parallel_mode(const char *name) { - const char* mode_name = xbt_cfg_get_string(name); - if (not strcmp(mode_name, "posix")) { + std::string mode_name = xbt_cfg_get_string(name); + if (mode_name == "posix") { SIMIX_context_set_parallel_mode(XBT_PARMAP_POSIX); - } else if (not strcmp(mode_name, "futex")) { + } else if (mode_name == "futex") { SIMIX_context_set_parallel_mode(XBT_PARMAP_FUTEX); - } else if (not strcmp(mode_name, "busy_wait")) { + } else if (mode_name == "busy_wait") { SIMIX_context_set_parallel_mode(XBT_PARMAP_BUSY_WAIT); - } - else { + } else { xbt_die("Command line setting of the parallel synchronization mode should " "be one of \"posix\", \"futex\" or \"busy_wait\""); } } -static void _sg_cfg_cb__surf_network_crosstraffic(const char *name) -{ - sg_network_crosstraffic = xbt_cfg_get_boolean(name); -} - /* build description line with possible values */ static void describe_model(char *result,int resultsize, const s_surf_model_description_t model_description[], @@ -295,84 +279,77 @@ void sg_config_init(int *argc, char **argv) char description[descsize]; /* Create the configuration support */ - if (_sg_cfg_init_status == 0) { /* Only create stuff if not already inited */ - - /* Plugins configuration */ - describe_model(description,descsize, surf_plugin_description, "plugin", "The plugins"); - xbt_cfg_register_string("plugin", nullptr, &_sg_cfg_cb__plugin, description); - - describe_model(description,descsize, 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,descsize, 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); + if (_sg_cfg_init_status != 0) { /* Only create stuff if not already inited */ + XBT_WARN("Call to sg_config_init() after initialization ignored"); + return; + } - describe_model(description,descsize, 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); + /* Plugins configuration */ + describe_model(description, descsize, surf_plugin_description, "plugin", "The plugins"); + xbt_cfg_register_string("plugin", "", &_sg_cfg_cb__plugin, description); - describe_model(description,descsize, 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, descsize, 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,descsize, 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, descsize, 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,descsize, 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, descsize, 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); - sg_tcp_gamma = 4194304.0; - simgrid::config::bindFlag(sg_tcp_gamma, { "network/TCP-gamma", "network/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)"); + describe_model(description, descsize, 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); - simgrid::config::bindFlag(sg_surf_precision, "surf/precision", - "Numerical precision used when updating simulation times (in seconds)"); + describe_model(description, descsize, 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); - simgrid::config::bindFlag(sg_maxmin_precision, "maxmin/precision", - "Numerical precision used when computing resource sharing (in flops/sec or bytes/sec)"); + simgrid::config::bindFlag(sg_surf_precision, "surf/precision", + "Numerical precision used when updating simulation times (in seconds)"); - simgrid::config::bindFlag(sg_concurrency_limit, "maxmin/concurrency-limit", - "Maximum number of concurrent variables in the maxmim system. Also limits the number of " - "processes on each host, at higher level. (default: -1 means no such limitation)"); - xbt_cfg_register_alias("maxmin/concurrency-limit", "maxmin/concurrency_limit"); + simgrid::config::bindFlag(sg_maxmin_precision, "maxmin/precision", + "Numerical precision used when computing resource sharing (in flops/sec or bytes/sec)"); - /* The parameters of network models */ + simgrid::config::bindFlag(sg_concurrency_limit, "maxmin/concurrency-limit", + "Maximum number of concurrent variables in the maxmim system. Also limits the number of " + "processes on each host, at higher level. (default: -1 means no such limitation)"); + xbt_cfg_register_alias("maxmin/concurrency-limit", "maxmin/concurrency_limit"); - // real default for "network/sender-gap" is set in network_smpi.cpp: - sg_sender_gap = NAN; - simgrid::config::bindFlag(sg_sender_gap, { "network/sender-gap", "network/sender_gap" }, - "Minimum gap between two overlapping sends"); + /* The parameters of network models */ - sg_latency_factor = 1.0; - simgrid::config::bindFlag(sg_latency_factor, { "network/latency-factor", "network/latency_factor" }, - "Correction factor to apply to the provided latency (default value set by network model)"); + sg_latency_factor = 13.01; // comes from the default LV08 network model + simgrid::config::bindFlag(sg_latency_factor, {"network/latency-factor", "network/latency_factor"}, + "Correction factor to apply to the provided latency (default value set by network model)"); - sg_bandwidth_factor = 1.0; - simgrid::config::bindFlag(sg_bandwidth_factor, { "network/bandwidth-factor", "network/bandwidth_factor" }, + sg_bandwidth_factor = 0.97; // comes from the default LV08 network model + simgrid::config::bindFlag( + sg_bandwidth_factor, {"network/bandwidth-factor", "network/bandwidth_factor"}, "Correction factor to apply to the provided bandwidth (default value set by network model)"); - // real default for "network/weight-S" is set in network_*.cpp: - sg_weight_S_parameter = NAN; - simgrid::config::bindFlag(sg_weight_S_parameter, { "network/weight-S", "network/weight_S" }, + sg_weight_S_parameter = 20537; // comes from the default LV08 network model + simgrid::config::bindFlag( + sg_weight_S_parameter, {"network/weight-S", "network/weight_S"}, "Correction factor to apply to the weight of competing streams (default value set by network model)"); - /* Inclusion path */ - simgrid::config::declareFlag("path", - "Lookup path for inclusions in platform and deployment XML files", - "", - [](std::string const& path) { - if (path[0] != '\0') { - surf_path.push_back(path); - } - }); - - xbt_cfg_register_boolean("cpu/maxmin-selective-update", "no", nullptr, - "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", nullptr, - "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)"); + /* Inclusion path */ + simgrid::config::declareFlag("path", "Lookup path for inclusions in platform and deployment XML files", + "", [](std::string const& path) { + if (path[0] != '\0') { + surf_path.push_back(path); + } + }); + + xbt_cfg_register_boolean("cpu/maxmin-selective-update", "no", nullptr, "Update the constraint set propagating " + "recursively to others constraints (off by " + "default unless 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", nullptr, "Update the constraint set propagating " + "recursively to others constraints (off " + "by default unless 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 SIMGRID_HAVE_MC /* do model-checking-record */ @@ -385,8 +362,8 @@ void sg_config_init(int *argc, char **argv) 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_string("model-check/property", "", _mc_cfg_cb_property, + "Name of the file containing the property, as formatted 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"); @@ -448,10 +425,7 @@ void sg_config_init(int *argc, char **argv) "Synchronization mode to use when running contexts in parallel (either futex, posix or busy_wait)"); #endif - xbt_cfg_register_boolean("network/crosstraffic", "yes", _sg_cfg_cb__surf_network_crosstraffic, - "Activate the interferences between uploads and downloads for fluid max-min models (LV08, CM02)"); - - //For smpi/bw_factor and smpi/lat_factor + // For smpi/bw-factor and smpi/lat-factor // SMPI model can be used without enable_smpi, so keep this out of the ifdef. xbt_cfg_register_string("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", nullptr, @@ -461,11 +435,11 @@ void sg_config_init(int *argc, char **argv) xbt_cfg_register_string("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", nullptr, "Latency factors for smpi."); xbt_cfg_register_alias("smpi/lat-factor","smpi/lat_factor"); - + xbt_cfg_register_string("smpi/IB-penalty-factors", "0.965;0.925;1.35", nullptr, "Correction factor to communications using Infiniband model with contention (default value based on Stampede cluster profiling)"); xbt_cfg_register_alias("smpi/IB-penalty-factors","smpi/IB_penalty_factors"); - + #if HAVE_SMPI 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."); xbt_cfg_register_alias("smpi/host-speed","smpi/running_power"); @@ -555,22 +529,14 @@ void sg_config_init(int *argc, char **argv) "Whether to cleanup SimGrid at exit. Disable it if your code segfaults after its end."); xbt_cfg_register_alias("clean-atexit","clean_atexit"); - if (surf_path.empty()) { - /* retrieves the current directory of the current process */ - const char *initial_path = __surf_get_initial_path(); - xbt_assert((initial_path), "__surf_get_initial_path() failed! Can't resolve current Windows directory"); - - xbt_cfg_setdefault_string("path", initial_path); - } + if (surf_path.empty()) + xbt_cfg_setdefault_string("path", "./"); _sg_cfg_init_status = 1; sg_config_cmd_line(argc, argv); xbt_mallocator_initialization_is_done(SIMIX_context_is_parallel()); - } else { - XBT_WARN("Call to sg_config_init() after initialization ignored"); - } } void sg_config_finalize()