-/* Copyright (c) 2009-2010 The SimGrid team. All rights reserved. */
+/* Copyright (c) 2009, 2010. 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. */
!strncmp(argv[i], "--help", strlen("--help") + 1)) {
printf("Description of the configuration accepted by this simulator:\n");
xbt_cfg_help(_surf_cfg_set);
- remove_it = 1;
+ printf("\nYou can also use --help-models to see the details of all models known by this simulator.\n");
+ exit(0);
+ } else if (!strncmp(argv[i], "--help-models", strlen("--help-models")+1)) {
+ model_help("workstation",surf_workstation_model_description);
+ model_help("CPU",surf_cpu_model_description);
+ model_help("network",surf_network_model_description);
exit(0);
}
if (remove_it) { /*remove this from argv */
val = xbt_cfg_get_string(_surf_cfg_set, name);
- if (!strcmp(val,"help"))
+ if (!strcmp(val,"help")) {
model_help("workstation",surf_workstation_model_description);
+ exit(0);
+ }
/* Make sure that the model exists */
find_model_description(surf_workstation_model_description, val);
val = xbt_cfg_get_string(_surf_cfg_set, name);
- if (!strcmp(val,"help"))
+ if (!strcmp(val,"help")) {
model_help("CPU",surf_cpu_model_description);
+ exit(0);
+ }
/* New Module missing */
find_model_description(surf_cpu_model_description, val);
val = xbt_cfg_get_string(_surf_cfg_set, name);
- if (!strcmp(val,"help"))
+ if (!strcmp(val,"help")) {
model_help("network",surf_network_model_description);
+ exit(0);
+ }
/* New Module missing */
find_model_description(surf_network_model_description, val);
xbt_cfgelm_string, &default_value, 1, 1, NULL, NULL);
xbt_cfg_register(&_surf_cfg_set, "TCP_gamma",
- "Size of the biggest TCP window (cat /proc/sys/net/ipv4/tcp_[rw]mem for recv/send window; middle value=default value => you probably want default send value)",
+ "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)",
xbt_cfgelm_double, NULL, 1, 1, _surf_cfg_cb__tcp_gamma, NULL);
xbt_cfg_set_double(_surf_cfg_set, "TCP_gamma", 20000.0);