X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6a318a9bf2e80685614bf238d3514f44468b79ba..fac5f342fce327d587628f94e9dbfa5988c5a2c0:/src/surf/surf_config.c diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c index ec3053146b..7a46acd587 100644 --- a/src/surf/surf_config.c +++ b/src/surf/surf_config.c @@ -114,6 +114,15 @@ 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); } +#ifdef HAVE_GTNETS +static void _surf_cfg_cb__gtnets_jitter(const char *name, int pos){ + sg_gtnets_jitter = xbt_cfg_get_double(_surf_cfg_set, name); +} +static void _surf_cfg_cb__gtnets_jitter_seed(const char *name, int pos){ + sg_gtnets_jitter_seed = xbt_cfg_get_int(_surf_cfg_set, name); +} +#endif + /* create the config set, register what should be and parse the command line*/ void surf_config_init(int *argc, char **argv) { @@ -124,7 +133,7 @@ void surf_config_init(int *argc, char **argv) char *description = xbt_malloc(1024), *p = description; char *default_value; - int default_value_int; + int default_value_int; int i; sprintf(description, "The model to use for the CPU. Possible values: "); @@ -189,6 +198,19 @@ void surf_config_init(int *argc, char **argv) xbt_cfg_register(&_surf_cfg_set, "maxmin_selective_update", "Update the constraint set propagating recursively to others constraints", xbt_cfgelm_int, &default_value_int, 0, 1, _surf_cfg_cb__surf_maxmin_selective_update, NULL); + +#ifdef HAVE_GTNETS + xbt_cfg_register(&_surf_cfg_set, "gtnets_jitter", + "Double value to oscillate the link latency, uniformly in random interval [-latency*gtnets_jitter,latency*gtnets_jitter)", xbt_cfgelm_double, + NULL, 1, 1, _surf_cfg_cb__gtnets_jitter, NULL); + xbt_cfg_set_double(_surf_cfg_set, "gtnets_jitter", 0.0); + + default_value_int = 10; + xbt_cfg_register(&_surf_cfg_set, "gtnets_jitter_seed", + "Use a positive seed to reproduce jitted results, value must be in [1,1e8], default is 10", + xbt_cfgelm_int, &default_value_int, 0, 1, _surf_cfg_cb__gtnets_jitter_seed, NULL); +#endif + if (!surf_path) { /* retrieves the current directory of the current process */ const char *initial_path = __surf_get_initial_path();