Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new surf configuration mc-checkpoint
[simgrid.git] / src / surf / surf_config.c
1 /* Copyright (c) 2009, 2010. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 /* surf_config: configuration infrastructure for the simulation world       */
8
9 #include "xbt/config.h"
10 #include "xbt/log.h"
11 #include "xbt/str.h"
12 #include "surf/surf_private.h"
13 #include "surf/surf_routing.h"  /* COORD_HOST_LEVEL and COORD_ASR_LEVEL */
14 #include "simgrid/simix.h"
15
16 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_config, surf,
17                                 "About the configuration of surf (and the rest of the simulation)");
18
19 xbt_cfg_t _surf_cfg_set = NULL;
20
21 /* Parse the command line, looking for options */
22 static void surf_config_cmd_line(int *argc, char **argv)
23 {
24   int shall_exit = 0;
25   int i, j;
26   char *opt;
27
28   for (j = i = 1; i < *argc; i++) {
29     if (!strncmp(argv[i], "--cfg=", strlen("--cfg="))) {
30       opt = strchr(argv[i], '=');
31       opt++;
32
33       xbt_cfg_set_parse(_surf_cfg_set, opt);
34       XBT_DEBUG("Did apply '%s' as config setting", opt);
35     } else if (!strcmp(argv[i], "--cfg-help") || !strcmp(argv[i], "--help")) {
36       printf
37           ("Description of the configuration accepted by this simulator:\n");
38       xbt_cfg_help(_surf_cfg_set);
39       printf(
40 "\n"
41 "Each of these configurations can be used by adding\n"
42 "    --cfg=<option name>:<option value>\n"
43 "to the command line.\n"
44 "You can also use --help-models to see the details of all models known by this simulator.\n"
45 #ifdef HAVE_TRACING
46 "\n"
47 "You can also use --help-tracing to see the details of all tracing options known by this simulator.\n"
48 #endif
49 "\n"
50 "You can also use --help-logs and --help-log-categories to see the details of logging output.\n"
51 "\n"
52         );
53       shall_exit = 1;
54     } else if (!strcmp(argv[i], "--help-models")) {
55       int k;
56
57       model_help("workstation", surf_workstation_model_description);
58       printf("\n");
59       model_help("CPU", surf_cpu_model_description);
60       printf("\n");
61       model_help("network", surf_network_model_description);
62       printf("\nLong description of all optimization levels accepted by the models of this simulator:\n");
63       for (k = 0; surf_optimization_mode_description[k].name; k++)
64         printf("  %s: %s\n",
65                surf_optimization_mode_description[k].name,
66                surf_optimization_mode_description[k].description);
67       printf("Both network and CPU models have 'Lazy' as default optimization level\n\n");
68       shall_exit = 1;
69 #ifdef HAVE_TRACING
70     } else if (!strcmp(argv[i], "--help-tracing")) {
71       TRACE_help (1);
72       shall_exit = 1;
73 #endif
74     } else {
75       argv[j++] = argv[i];
76     }
77   }
78   if (j < *argc) {
79     argv[j] = NULL;
80     *argc = j;
81   }
82   if (shall_exit)
83     exit(0);
84 }
85
86
87 int _surf_init_status = 0;      /* 0: beginning of time;
88                                    1: pre-inited (cfg_set created);
89                                    2: inited (running) */
90
91 /* callback of the workstation/model variable */
92 static void _surf_cfg_cb__workstation_model(const char *name, int pos)
93 {
94   char *val;
95
96   xbt_assert(_surf_init_status < 2,
97               "Cannot change the model after the initialization");
98
99   val = xbt_cfg_get_string(_surf_cfg_set, name);
100
101   if (!strcmp(val, "help")) {
102     model_help("workstation", surf_workstation_model_description);
103     exit(0);
104   }
105
106   /* Make sure that the model exists */
107   find_model_description(surf_workstation_model_description, val);
108 }
109
110 /* callback of the cpu/model variable */
111 static void _surf_cfg_cb__cpu_model(const char *name, int pos)
112 {
113   char *val;
114
115   xbt_assert(_surf_init_status < 2,
116               "Cannot change the model after the initialization");
117
118   val = xbt_cfg_get_string(_surf_cfg_set, name);
119
120   if (!strcmp(val, "help")) {
121     model_help("CPU", surf_cpu_model_description);
122     exit(0);
123   }
124
125   /* New Module missing */
126   find_model_description(surf_cpu_model_description, val);
127 }
128
129 /* callback of the cpu/model variable */
130 static void _surf_cfg_cb__optimization_mode(const char *name, int pos)
131 {
132   char *val;
133
134   xbt_assert(_surf_init_status < 2,
135               "Cannot change the model after the initialization");
136
137   val = xbt_cfg_get_string(_surf_cfg_set, name);
138
139   if (!strcmp(val, "help")) {
140     model_help("optimization", surf_optimization_mode_description);
141     exit(0);
142   }
143
144   /* New Module missing */
145   find_model_description(surf_optimization_mode_description, val);
146 }
147
148 /* callback of the cpu/model variable */
149 static void _surf_cfg_cb__storage_mode(const char *name, int pos)
150 {
151   char *val;
152
153   xbt_assert(_surf_init_status < 2,
154               "Cannot change the model after the initialization");
155
156   val = xbt_cfg_get_string(_surf_cfg_set, name);
157
158   if (!strcmp(val, "help")) {
159     model_help("storage", surf_storage_model_description);
160     exit(0);
161   }
162
163   /* New Module missing */
164   find_model_description(surf_storage_model_description, val);
165 }
166
167 /* callback of the workstation_model variable */
168 static void _surf_cfg_cb__network_model(const char *name, int pos)
169 {
170   char *val;
171
172   xbt_assert(_surf_init_status < 2,
173               "Cannot change the model after the initialization");
174
175   val = xbt_cfg_get_string(_surf_cfg_set, name);
176
177   if (!strcmp(val, "help")) {
178     model_help("network", surf_network_model_description);
179     exit(0);
180   }
181
182   /* New Module missing */
183   find_model_description(surf_network_model_description, val);
184 }
185
186
187 /* callbacks of the network models values */
188 static void _surf_cfg_cb__tcp_gamma(const char *name, int pos)
189 {
190   sg_tcp_gamma = xbt_cfg_get_double(_surf_cfg_set, name);
191 }
192
193 static void _surf_cfg_cb__maxmin_precision(const char* name, int pos)
194 {
195   sg_maxmin_precision = xbt_cfg_get_double(_surf_cfg_set, name);
196 }
197
198 static void _surf_cfg_cb__sender_gap(const char* name, int pos)
199 {
200   sg_sender_gap = xbt_cfg_get_double(_surf_cfg_set, name);
201 }
202
203 static void _surf_cfg_cb__latency_factor(const char *name, int pos)
204 {
205   sg_latency_factor = xbt_cfg_get_double(_surf_cfg_set, name);
206 }
207
208 static void _surf_cfg_cb__bandwidth_factor(const char *name, int pos)
209 {
210   sg_bandwidth_factor = xbt_cfg_get_double(_surf_cfg_set, name);
211 }
212
213 static void _surf_cfg_cb__weight_S(const char *name, int pos)
214 {
215   sg_weight_S_parameter = xbt_cfg_get_double(_surf_cfg_set, name);
216 }
217
218 /* callback of the inclusion path */
219 static void _surf_cfg_cb__surf_path(const char *name, int pos)
220 {
221   char *path = xbt_cfg_get_string_at(_surf_cfg_set, name, pos);
222   xbt_dynar_push(surf_path, &path);
223 }
224
225 /* callback to decide if we want to use the model-checking */
226 #include "xbt_modinter.h"
227 extern int _surf_do_model_check;   /* this variable lives in xbt_main until I find a right location for it */
228
229 static void _surf_cfg_cb_model_check(const char *name, int pos)
230 {
231   _surf_do_model_check = xbt_cfg_get_int(_surf_cfg_set, name);
232
233   if (_surf_do_model_check) {
234     /* Tell modules using mallocators that they shouldn't. MC don't like them */
235     xbt_fifo_preinit();
236     xbt_dict_preinit();
237   }
238 }
239
240 extern int _surf_do_mc_checkpoint;   /* this variable lives in xbt_main until I find a right location for it */
241
242 static void _surf_cfg_cb_mc_checkpoint(const char *name, int pos)
243 {
244   _surf_do_mc_checkpoint = xbt_cfg_get_int(_surf_cfg_set, name);
245
246 }
247
248 extern int _surf_do_verbose_exit;
249
250 static void _surf_cfg_cb_verbose_exit(const char *name, int pos)
251 {
252   _surf_do_verbose_exit = xbt_cfg_get_int(_surf_cfg_set, name);
253 }
254
255
256 static void _surf_cfg_cb_context_factory(const char *name, int pos)
257 {
258   smx_context_factory_name = xbt_cfg_get_string(_surf_cfg_set, name);
259 }
260
261 static void _surf_cfg_cb_context_stack_size(const char *name, int pos)
262 {
263   smx_context_stack_size = xbt_cfg_get_int(_surf_cfg_set, name) * 1024;
264 }
265
266 static void _surf_cfg_cb_contexts_nthreads(const char *name, int pos)
267 {
268   SIMIX_context_set_nthreads(xbt_cfg_get_int(_surf_cfg_set, name));
269 }
270
271 static void _surf_cfg_cb_contexts_parallel_threshold(const char *name, int pos)
272 {
273   SIMIX_context_set_parallel_threshold(xbt_cfg_get_int(_surf_cfg_set, name));
274 }
275
276 static void _surf_cfg_cb_contexts_parallel_mode(const char *name, int pos)
277 {
278   const char* mode_name = xbt_cfg_get_string(_surf_cfg_set, name);
279   if (!strcmp(mode_name, "posix")) {
280     SIMIX_context_set_parallel_mode(XBT_PARMAP_POSIX);
281   }
282   else if (!strcmp(mode_name, "futex")) {
283     SIMIX_context_set_parallel_mode(XBT_PARMAP_FUTEX);
284   }
285   else if (!strcmp(mode_name, "busy_wait")) {
286     SIMIX_context_set_parallel_mode(XBT_PARMAP_BUSY_WAIT);
287   }
288   else {
289     xbt_die("Command line setting of the parallel synchronization mode should "
290         "be one of \"posix\", \"futex\" or \"busy_wait\"");
291   }
292 }
293
294 static void _surf_cfg_cb_surf_nthreads(const char *name, int pos)
295 {
296   surf_set_nthreads(xbt_cfg_get_int(_surf_cfg_set, name));
297 }
298
299 static void _surf_cfg_cb__surf_network_coordinates(const char *name,
300                                                    int pos)
301 {
302   char *val = xbt_cfg_get_string(_surf_cfg_set, name);
303   if (!strcmp(val, "yes")) {
304     if (!COORD_HOST_LEVEL) {
305       COORD_HOST_LEVEL = xbt_lib_add_level(host_lib,xbt_dynar_free_voidp);
306       COORD_ASR_LEVEL  = xbt_lib_add_level(as_router_lib,xbt_dynar_free_voidp);
307     }
308   } else if (!strcmp(val, "no")) {
309     if (COORD_HOST_LEVEL)
310       xbt_die("Setting of whether to use coordinate cannot be disabled once set.");
311   } else {
312     xbt_die("Command line setting of whether to use coordinates must be either \"yes\" or \"no\"");
313   }
314 }
315
316 static void _surf_cfg_cb__surf_network_crosstraffic(const char *name,
317                                                   int pos)
318 {
319   sg_network_crosstraffic = xbt_cfg_get_int(_surf_cfg_set, name);
320 }
321
322 #ifdef HAVE_GTNETS
323 static void _surf_cfg_cb__gtnets_jitter(const char *name, int pos)
324 {
325   sg_gtnets_jitter = xbt_cfg_get_double(_surf_cfg_set, name);
326 }
327
328 static void _surf_cfg_cb__gtnets_jitter_seed(const char *name, int pos)
329 {
330   sg_gtnets_jitter_seed = xbt_cfg_get_int(_surf_cfg_set, name);
331 }
332 #endif
333
334 /* create the config set, register what should be and parse the command line*/
335 void surf_config_init(int *argc, char **argv)
336 {
337   char *description = xbt_malloc(1024), *p = description;
338   char *default_value;
339   double double_default_value;
340   int default_value_int;
341   int i;
342
343   /* Create the configuration support */
344   if (_surf_init_status == 0) { /* Only create stuff if not already inited */
345     _surf_init_status = 1;
346
347     sprintf(description,
348             "The model to use for the CPU. Possible values: ");
349     p = description;
350     while (*(++p) != '\0');
351     for (i = 0; surf_cpu_model_description[i].name; i++)
352       p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
353                    surf_cpu_model_description[i].name);
354     sprintf(p,
355             ".\n       (use 'help' as a value to see the long description of each model)");
356     default_value = xbt_strdup("Cas01");
357     xbt_cfg_register(&_surf_cfg_set, "cpu/model", description, xbt_cfgelm_string,
358                      &default_value, 1, 1, &_surf_cfg_cb__cpu_model, NULL);
359
360     sprintf(description,
361             "The optimization modes to use for the CPU. Possible values: ");
362     p = description;
363     while (*(++p) != '\0');
364     for (i = 0; surf_optimization_mode_description[i].name; i++)
365       p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
366                    surf_optimization_mode_description[i].name);
367     sprintf(p,
368             ".\n       (use 'help' as a value to see the long description of each optimization mode)");
369     default_value = xbt_strdup("Lazy");
370     xbt_cfg_register(&_surf_cfg_set, "cpu/optim", description, xbt_cfgelm_string,
371                      &default_value, 1, 1, &_surf_cfg_cb__optimization_mode, NULL);
372
373     sprintf(description,
374             "The model to use for the storage. Possible values: ");
375     p = description;
376     while (*(++p) != '\0');
377     for (i = 0; surf_storage_model_description[i].name; i++)
378       p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
379                    surf_storage_model_description[i].name);
380     sprintf(p,
381             ".\n       (use 'help' as a value to see the long description of each model)");
382     default_value = xbt_strdup("default");
383     xbt_cfg_register(&_surf_cfg_set, "storage/model", description, xbt_cfgelm_string,
384                      &default_value, 1, 1, &_surf_cfg_cb__storage_mode,
385                      NULL);
386
387     sprintf(description,
388             "The model to use for the network. Possible values: ");
389     p = description;
390     while (*(++p) != '\0');
391     for (i = 0; surf_network_model_description[i].name; i++)
392       p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
393                    surf_network_model_description[i].name);
394     sprintf(p,
395             ".\n       (use 'help' as a value to see the long description of each model)");
396     default_value = xbt_strdup("LV08");
397     xbt_cfg_register(&_surf_cfg_set, "network/model", description, xbt_cfgelm_string,
398                      &default_value, 1, 1, &_surf_cfg_cb__network_model,
399                      NULL);
400
401     sprintf(description,
402             "The optimization modes to use for the network. Possible values: ");
403     p = description;
404     while (*(++p) != '\0');
405     for (i = 0; surf_optimization_mode_description[i].name; i++)
406       p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
407                    surf_optimization_mode_description[i].name);
408     sprintf(p,
409             ".\n       (use 'help' as a value to see the long description of each optimization mode)");
410     default_value = xbt_strdup("Lazy");
411     xbt_cfg_register(&_surf_cfg_set, "network/optim", description, xbt_cfgelm_string,
412                      &default_value, 1, 1, &_surf_cfg_cb__optimization_mode, NULL);
413
414     sprintf(description,
415             "The model to use for the workstation. Possible values: ");
416     p = description;
417     while (*(++p) != '\0');
418     for (i = 0; surf_workstation_model_description[i].name; i++)
419       p += sprintf(p, "%s%s", (i == 0 ? "" : ", "),
420                    surf_workstation_model_description[i].name);
421     sprintf(p,
422             ".\n       (use 'help' as a value to see the long description of each model)");
423     default_value = xbt_strdup("default");
424     xbt_cfg_register(&_surf_cfg_set, "workstation/model", description, xbt_cfgelm_string,
425                      &default_value, 1, 1,
426                      &_surf_cfg_cb__workstation_model, NULL);
427
428     xbt_free(description);
429
430     xbt_cfg_register(&_surf_cfg_set, "network/TCP_gamma",
431                      "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)",
432                      xbt_cfgelm_double, NULL, 1, 1,
433                      _surf_cfg_cb__tcp_gamma, NULL);
434     xbt_cfg_setdefault_double(_surf_cfg_set, "network/TCP_gamma", 20000.0);
435
436     xbt_cfg_register(&_surf_cfg_set, "maxmin/precision",
437                      "Numerical precision used when updating simulation models (epsilon in double comparisons)",
438                      xbt_cfgelm_double, NULL, 1, 1, _surf_cfg_cb__maxmin_precision, NULL);
439     xbt_cfg_setdefault_double(_surf_cfg_set, "maxmin/precision", 0.00001); // FIXME use setdefault everywhere here!
440
441     /* The parameters of network models */
442
443     double_default_value = 0.0;
444     xbt_cfg_register(&_surf_cfg_set, "network/sender_gap",
445                      "Minimum gap between two overlapping sends",
446                      xbt_cfgelm_double, &double_default_value, 1, 1,
447                      _surf_cfg_cb__sender_gap, NULL);
448
449     double_default_value = 1.0;
450     xbt_cfg_register(&_surf_cfg_set, "network/latency_factor",
451                      "Correction factor to apply to the provided latency (default value set by network model)",
452                      xbt_cfgelm_double, &double_default_value, 1, 1,
453                      _surf_cfg_cb__latency_factor, NULL);
454     double_default_value = 1.0;
455     xbt_cfg_register(&_surf_cfg_set, "network/bandwidth_factor",
456                      "Correction factor to apply to the provided bandwidth (default value set by network model)",
457                      xbt_cfgelm_double, &double_default_value, 1, 1,
458                      _surf_cfg_cb__bandwidth_factor, NULL);
459     double_default_value = 0.0;
460     xbt_cfg_register(&_surf_cfg_set, "network/weight_S",
461                      "Correction factor to apply to the weight of competing streams(default value set by network model)",
462                      xbt_cfgelm_double, &double_default_value, 1, 1,
463                      _surf_cfg_cb__weight_S, NULL);
464
465     /* Inclusion path */
466     xbt_cfg_register(&_surf_cfg_set, "path",
467                      "Lookup path for inclusions in platform and deployment XML files",
468                      xbt_cfgelm_string, NULL, 0, 0,
469                      _surf_cfg_cb__surf_path, NULL);
470
471     default_value_int = 0;
472     xbt_cfg_register(&_surf_cfg_set, "cpu/maxmin_selective_update",
473                      "Update the constraint set propagating recursively to others constraints (1 by default when optim is set to lazy)",
474                      xbt_cfgelm_int, &default_value_int, 0, 1,
475                      NULL, NULL);
476     default_value_int = 0;
477     xbt_cfg_register(&_surf_cfg_set, "network/maxmin_selective_update",
478                      "Update the constraint set propagating recursively to others constraints (1 by default when optim is set to lazy)",
479                      xbt_cfgelm_int, &default_value_int, 0, 1,
480                      NULL, NULL);
481
482     /* do model-check */
483     default_value_int = 0;
484     xbt_cfg_register(&_surf_cfg_set, "model-check",
485                      "Activate the model-checking of the \"simulated\" system (EXPERIMENTAL -- msg only for now)",
486                      xbt_cfgelm_int, &default_value_int, 0, 1,
487                      _surf_cfg_cb_model_check, NULL);
488     
489     /*
490        FIXME: this function is not setting model-check to it's default value because
491        internally it calls to variable->cb_set that in this case is the function 
492        _surf_cfg_cb_model_check which sets it's value to 1 (instead of the default value 0)
493        xbt_cfg_set_int(_surf_cfg_set, "model-check", default_value_int); */
494
495
496     /* do stateful model-check */
497     default_value_int = 0;
498     xbt_cfg_register(&_surf_cfg_set, "mc-checkpoint",
499                      "Activate the stateful model-checking of the \"simulated\" system (EXPERIMENTAL -- msg only for now), value corresponding to steps between each checkpoint",
500                      xbt_cfgelm_int, &default_value_int, 0, 1,
501                      _surf_cfg_cb_mc_checkpoint, NULL);
502     
503     /* do verbose-exit */
504     default_value_int = 1;
505     xbt_cfg_register(&_surf_cfg_set, "verbose-exit",
506                      "Activate the \"do nothing\" mode in Ctrl-C",
507                      xbt_cfgelm_int, &default_value_int, 0, 1,
508                      _surf_cfg_cb_verbose_exit, NULL);
509     
510     
511     /* context factory */
512     default_value = xbt_strdup("ucontext");
513     xbt_cfg_register(&_surf_cfg_set, "contexts/factory",
514                      "Context factory to use in SIMIX (ucontext, thread or raw)",
515                      xbt_cfgelm_string, &default_value, 1, 1, _surf_cfg_cb_context_factory, NULL);
516
517     /* stack size of contexts in Ko */
518     default_value_int = 128;
519     xbt_cfg_register(&_surf_cfg_set, "contexts/stack_size",
520                      "Stack size of contexts in Kib (ucontext or raw only)",
521                      xbt_cfgelm_int, &default_value_int, 1, 1,
522                      _surf_cfg_cb_context_stack_size, NULL);
523
524     /* number of parallel threads for user processes */
525     default_value_int = 1;
526     xbt_cfg_register(&_surf_cfg_set, "contexts/nthreads",
527                      "Number of parallel threads used to execute user contexts",
528                      xbt_cfgelm_int, &default_value_int, 1, 1,
529                      _surf_cfg_cb_contexts_nthreads, NULL);
530
531     /* minimal number of user contexts to be run in parallel */
532     default_value_int = 2;
533     xbt_cfg_register(&_surf_cfg_set, "contexts/parallel_threshold",
534         "Minimal number of user contexts to be run in parallel (raw contexts only)",
535         xbt_cfgelm_int, &default_value_int, 1, 1,
536         _surf_cfg_cb_contexts_parallel_threshold, NULL);
537
538     /* synchronization mode for parallel user contexts */
539 #ifdef HAVE_FUTEX_H
540     default_value = xbt_strdup("futex");
541 #else //No futex on mac and posix is unimplememted yet
542     default_value = xbt_strdup("busy_wait");
543 #endif
544     xbt_cfg_register(&_surf_cfg_set, "contexts/synchro",
545         "Synchronization mode to use when running contexts in parallel (either futex, posix or busy_wait)",
546         xbt_cfgelm_string, &default_value, 1, 1,
547         _surf_cfg_cb_contexts_parallel_mode, NULL);
548
549     /* number of parallel threads for Surf */
550     default_value_int = surf_get_nthreads();
551     xbt_cfg_register(&_surf_cfg_set, "surf/nthreads",
552                      "Number of parallel threads used to update Surf models",
553                      xbt_cfgelm_int, &default_value_int, 1, 1,
554                      _surf_cfg_cb_surf_nthreads, NULL);
555
556     default_value = xbt_strdup("no");
557     xbt_cfg_register(&_surf_cfg_set, "network/coordinates",
558                      "\"yes\" or \"no\", specifying whether we use a coordinate-based routing (as Vivaldi)",
559                      xbt_cfgelm_string, &default_value, 1, 1,
560                      _surf_cfg_cb__surf_network_coordinates, NULL);
561     xbt_cfg_setdefault_string(_surf_cfg_set, "network/coordinates", default_value);
562
563     default_value_int = 0;
564     xbt_cfg_register(&_surf_cfg_set, "network/crosstraffic",
565                      "Activate the interferences between uploads and downloads for fluid max-min models (LV08, CM02)",
566                      xbt_cfgelm_int, &default_value_int, 0, 1,
567                      _surf_cfg_cb__surf_network_crosstraffic, NULL);
568     xbt_cfg_setdefault_int(_surf_cfg_set, "network/crosstraffic", default_value_int);
569
570 #ifdef HAVE_GTNETS
571     xbt_cfg_register(&_surf_cfg_set, "gtnets/jitter",
572                      "Double value to oscillate the link latency, uniformly in random interval [-latency*gtnets_jitter,latency*gtnets_jitter)",
573                      xbt_cfgelm_double, NULL, 1, 1,
574                      _surf_cfg_cb__gtnets_jitter, NULL);
575     xbt_cfg_setdefault_double(_surf_cfg_set, "gtnets/jitter", 0.0);
576
577     default_value_int = 10;
578     xbt_cfg_register(&_surf_cfg_set, "gtnets/jitter_seed",
579                      "Use a positive seed to reproduce jitted results, value must be in [1,1e8], default is 10",
580                      xbt_cfgelm_int, &default_value_int, 0, 1,
581                      _surf_cfg_cb__gtnets_jitter_seed, NULL);
582 #endif
583 #ifdef HAVE_NS3
584     xbt_cfg_register(&_surf_cfg_set, "ns3/TcpModel",
585                      "The ns3 tcp model can be : NewReno or Reno or Tahoe",
586                      xbt_cfgelm_string, NULL, 1, 1,
587                      NULL, NULL);
588     xbt_cfg_setdefault_string(_surf_cfg_set, "ns3/TcpModel", "default");
589 #endif
590
591 //SMPI
592     double default_reference_speed = 20000.0;
593     xbt_cfg_register(&_surf_cfg_set, "smpi/running_power",
594                      "Power of the host running the simulation (in flop/s). Used to bench the operations.",
595                      xbt_cfgelm_double, &default_reference_speed, 1, 1, NULL,
596                      NULL);
597
598     int default_display_timing = 0;
599     xbt_cfg_register(&_surf_cfg_set, "smpi/display_timing",
600                      "Boolean indicating whether we should display the timing after simulation.",
601                      xbt_cfgelm_int, &default_display_timing, 1, 1, NULL,
602                      NULL);
603
604     double default_threshold = 1e-6;
605     xbt_cfg_register(&_surf_cfg_set, "smpi/cpu_threshold",
606                      "Minimal computation time (in seconds) not discarded.",
607                      xbt_cfgelm_double, &default_threshold, 1, 1, NULL,
608                      NULL);
609
610     //For smpi/bw_factor and smpi/lat_factor
611     //Default value have to be "threshold0:value0;threshold1:value1;...;thresholdN:valueN"
612     //test is if( size >= thresholdN ) return valueN;
613     //Values can be modified with command line --cfg=smpi/bw_factor:"threshold0:value0;threshold1:value1;...;thresholdN:valueN"
614     //  or with tag config put line <prop id="smpi/bw_factor" value="threshold0:value0;threshold1:value1;...;thresholdN:valueN"></prop>
615     xbt_cfg_register(&_surf_cfg_set, "smpi/bw_factor",
616                      "Bandwidth factors for smpi.",
617                      xbt_cfgelm_string, NULL, 1, 1, NULL,
618                      NULL);
619     xbt_cfg_setdefault_string(_surf_cfg_set, "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");
620
621     xbt_cfg_register(&_surf_cfg_set, "smpi/lat_factor",
622                      "Latency factors for smpi.",
623                      xbt_cfgelm_string, NULL, 1, 1, NULL,
624                      NULL);
625     xbt_cfg_setdefault_string(_surf_cfg_set, "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");
626 //END SMPI
627
628
629     if (!surf_path) {
630       /* retrieves the current directory of the        current process */
631       const char *initial_path = __surf_get_initial_path();
632       xbt_assert((initial_path),
633                   "__surf_get_initial_path() failed! Can't resolves current Windows directory");
634
635       surf_path = xbt_dynar_new(sizeof(char *), NULL);
636       xbt_cfg_setdefault_string(_surf_cfg_set, "path", initial_path);
637     }
638
639
640     surf_config_cmd_line(argc, argv);
641   } else {
642     XBT_WARN("Call to surf_config_init() after initialization ignored");
643   }
644 }
645
646 void surf_config_finalize(void)
647 {
648   if (!_surf_init_status)
649     return;                     /* Not initialized yet. Nothing to do */
650
651   xbt_cfg_free(&_surf_cfg_set);
652   _surf_init_status = 0;
653 }
654
655 /* Pick the right models for CPU, net and workstation, and call their model_init_preparse */
656 void surf_config_models_setup()
657 {
658   char *workstation_model_name;
659   int workstation_id = -1;
660   char *network_model_name = NULL;
661   char *cpu_model_name = NULL;
662   int storage_id = -1;
663   char *storage_model_name = NULL;
664
665   workstation_model_name =
666       xbt_cfg_get_string(_surf_cfg_set, "workstation/model");
667   network_model_name = xbt_cfg_get_string(_surf_cfg_set, "network/model");
668   cpu_model_name = xbt_cfg_get_string(_surf_cfg_set, "cpu/model");
669   storage_model_name = xbt_cfg_get_string(_surf_cfg_set, "storage/model");
670
671   /* Check whether we use a net/cpu model differing from the default ones, in which case
672    * we should switch to the "compound" workstation model to correctly dispatch stuff to
673    * the right net/cpu models.
674    */
675
676   if((!xbt_cfg_is_default_value(_surf_cfg_set, "network/model") ||
677     !xbt_cfg_is_default_value(_surf_cfg_set, "cpu/model")) &&
678     xbt_cfg_is_default_value(_surf_cfg_set, "workstation/model"))
679   {
680       const char *val = "compound";
681       XBT_INFO
682           ("Switching workstation model to compound since you changed the network and/or cpu model(s)");
683       xbt_cfg_set_string(_surf_cfg_set, "workstation/model", val);
684       workstation_model_name = (char *) "compound";
685   }
686
687   XBT_DEBUG("Workstation model: %s", workstation_model_name);
688   workstation_id =
689       find_model_description(surf_workstation_model_description,
690                              workstation_model_name);
691   if (!strcmp(workstation_model_name, "compound")) {
692     int network_id = -1;
693     int cpu_id = -1;
694
695     xbt_assert(cpu_model_name,
696                 "Set a cpu model to use with the 'compound' workstation model");
697
698     xbt_assert(network_model_name,
699                 "Set a network model to use with the 'compound' workstation model");
700
701     network_id =
702         find_model_description(surf_network_model_description,
703                                network_model_name);
704     cpu_id =
705         find_model_description(surf_cpu_model_description, cpu_model_name);
706
707     surf_cpu_model_description[cpu_id].model_init_preparse();
708     surf_network_model_description[network_id].model_init_preparse();
709   }
710
711   XBT_DEBUG("Call workstation_model_init");
712   surf_workstation_model_description[workstation_id].model_init_preparse();
713
714   XBT_DEBUG("Call storage_model_init");
715   storage_id = find_model_description(surf_storage_model_description, storage_model_name);
716   surf_storage_model_description[storage_id].model_init_preparse();
717 }