1 /* Copyright (c) 2004-2018. The SimGrid Team. All rights reserved. */
3 /* This program is free software; you can redistribute it and/or modify it
4 * under the terms of the license (GNU LGPL) which comes with this package. */
6 #include "surf_interface.hpp"
8 #include "simgrid/kernel/routing/NetPoint.hpp"
9 #include "simgrid/s4u/Engine.hpp"
10 #include "simgrid/sg_config.h"
11 #include "src/instr/instr_private.hpp" // TRACE_is_enabled(). FIXME: remove by subscribing tracing to the surf signals
12 #include "src/kernel/lmm/maxmin.hpp" // Constraint
13 #include "src/surf/HostImpl.hpp"
14 #include "xbt/utility.hpp"
15 #include "src/surf/xml/platf.hpp"
26 XBT_LOG_NEW_CATEGORY(surf, "All SURF categories");
27 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_kernel, surf, "Logging specific to SURF (kernel)");
33 std::vector<simgrid::kernel::resource::Model*>* all_existing_models = nullptr; /* to destroy models correctly */
35 simgrid::trace_mgr::future_evt_set *future_evt_set = nullptr;
36 std::vector<std::string> surf_path;
37 std::vector<simgrid::s4u::Host*> host_that_restart;
38 /** set of hosts for which one want to be notified if they ever restart. */
39 std::set<std::string> watched_hosts;
40 extern std::map<std::string, simgrid::surf::StorageType*> storage_types;
45 simgrid::xbt::signal<void()> surfExitCallbacks;
49 #include <simgrid/plugins/energy.h> // FIXME: this plug-in should not be linked to the core
50 #include <simgrid/plugins/load.h> // FIXME: this plug-in should not be linked to the core
52 s_surf_model_description_t surf_plugin_description[] = {
53 {"Energy", "Cpu energy consumption.", &sg_host_energy_plugin_init},
54 {"Load", "Cpu load.", &sg_host_load_plugin_init},
55 {nullptr, nullptr, nullptr} /* this array must be nullptr terminated */
58 /* Don't forget to update the option description in smx_config when you change this */
59 s_surf_model_description_t surf_network_model_description[] = {
60 {"LV08", "Realistic network analytic model (slow-start modeled by multiplying latency by 13.01, bandwidth by .97; "
61 "bottleneck sharing uses a payload of S=20537 for evaluating RTT). ",
62 &surf_network_model_init_LegrandVelho},
63 {"Constant", "Simplistic network model where all communication take a constant time (one second). This model "
64 "provides the lowest realism, but is (marginally) faster.",
65 &surf_network_model_init_Constant},
66 {"SMPI", "Realistic network model specifically tailored for HPC settings (accurate modeling of slow start with "
67 "correction factors on three intervals: < 1KiB, < 64 KiB, >= 64 KiB)",
68 &surf_network_model_init_SMPI},
69 {"IB", "Realistic network model specifically tailored for HPC settings, with Infiniband contention model",
70 &surf_network_model_init_IB},
71 {"CM02", "Legacy network analytic model (Very similar to LV08, but without corrective factors. The timings of "
72 "small messages are thus poorly modeled).",
73 &surf_network_model_init_CM02},
74 {"NS3", "Network pseudo-model using the NS3 tcp model instead of an analytic model", &surf_network_model_init_NS3},
76 "Model from Steven H. Low using lagrange_solve instead of lmm_solve (experts only; check the code for more info).",
77 &surf_network_model_init_Reno},
79 "Model from Steven H. Low using lagrange_solve instead of lmm_solve (experts only; check the code for more info).",
80 &surf_network_model_init_Reno2},
82 "Model from Steven H. Low using lagrange_solve instead of lmm_solve (experts only; check the code for more info).",
83 &surf_network_model_init_Vegas},
84 {nullptr, nullptr, nullptr} /* this array must be nullptr terminated */
88 void surf_network_model_init_SMPI() {
89 xbt_die("Please activate SMPI support in cmake to use the SMPI network model.");
91 void surf_network_model_init_IB() {
92 xbt_die("Please activate SMPI support in cmake to use the IB network model.");
96 void surf_network_model_init_NS3() {
97 xbt_die("Please activate NS3 support in cmake and install the dependencies to use the NS3 network model.");
101 s_surf_model_description_t surf_cpu_model_description[] = {
102 {"Cas01", "Simplistic CPU model (time=size/power).", &surf_cpu_model_init_Cas01},
103 {nullptr, nullptr, nullptr} /* this array must be nullptr terminated */
106 s_surf_model_description_t surf_host_model_description[] = {
107 {"default", "Default host model. Currently, CPU:Cas01 and network:LV08 (with cross traffic enabled)", &surf_host_model_init_current_default},
108 {"compound", "Host model that is automatically chosen if you change the network and CPU models", &surf_host_model_init_compound},
109 {"ptask_L07", "Host model somehow similar to Cas01+CM02 but allowing parallel tasks", &surf_host_model_init_ptask_L07},
110 {nullptr, nullptr, nullptr} /* this array must be nullptr terminated */
113 s_surf_model_description_t surf_optimization_mode_description[] = {
114 {"Lazy", "Lazy action management (partial invalidation in lmm + heap in action remaining).", nullptr},
115 {"TI", "Trace integration. Highly optimized mode when using availability traces (only available for the Cas01 CPU model for now).", nullptr},
116 {"Full", "Full update of remaining and variables. Slow but may be useful when debugging.", nullptr},
117 {nullptr, nullptr, nullptr} /* this array must be nullptr terminated */
120 s_surf_model_description_t surf_storage_model_description[] = {
121 {"default", "Simplistic storage model.", &surf_storage_model_init_default},
122 {nullptr, nullptr, nullptr} /* this array must be nullptr terminated */
127 double surf_get_clock()
132 std::ifstream* surf_ifsopen(std::string name)
134 std::ifstream* fs = new std::ifstream();
135 xbt_assert(not name.empty());
136 if (__surf_is_absolute_file_path(name.c_str())) { /* don't mess with absolute file names */
137 fs->open(name.c_str(), std::ifstream::in);
140 /* search relative files in the path */
141 for (auto const& path_elm : surf_path) {
142 std::string buff = path_elm + "/" + name;
143 fs->open(buff.c_str(), std::ifstream::in);
145 if (not fs->fail()) {
146 XBT_DEBUG("Found file at %s", buff.c_str());
154 FILE *surf_fopen(const char *name, const char *mode)
156 FILE *file = nullptr;
160 if (__surf_is_absolute_file_path(name)) /* don't mess with absolute file names */
161 return fopen(name, mode);
163 /* search relative files in the path */
164 for (auto const& path_elm : surf_path) {
165 std::string buff = path_elm + "/" + name;
166 file = fopen(buff.c_str(), mode);
174 /* The __surf_is_absolute_file_path() returns 1 if
175 * file_path is a absolute file path, in the other
176 * case the function returns 0.
178 int __surf_is_absolute_file_path(const char *file_path)
181 WIN32_FIND_DATA wfd = { 0 };
182 HANDLE hFile = FindFirstFile(file_path, &wfd);
184 if (INVALID_HANDLE_VALUE == hFile)
190 return (file_path[0] == '/');
194 /** Displays the long description of all registered models, and quit */
195 void model_help(const char *category, s_surf_model_description_t * table)
197 printf("Long description of the %s models accepted by this simulator:\n", category);
198 for (int i = 0; table[i].name; i++)
199 printf(" %s: %s\n", table[i].name, table[i].description);
202 int find_model_description(s_surf_model_description_t* table, std::string name)
204 for (int i = 0; table[i].name; i++)
205 if (name == table[i].name)
208 if (not table[0].name)
209 xbt_die("No model is valid! This is a bug.");
211 std::string name_list = std::string(table[0].name);
212 for (int i = 1; table[i].name; i++)
213 name_list = name_list + ", " + table[i].name;
215 xbt_die("Model '%s' is invalid! Valid models are: %s.", name.c_str(), name_list.c_str());
219 void sg_version_check(int lib_version_major, int lib_version_minor, int lib_version_patch)
221 if ((lib_version_major != SIMGRID_VERSION_MAJOR) || (lib_version_minor != SIMGRID_VERSION_MINOR)) {
222 fprintf(stderr, "FATAL ERROR: Your program was compiled with SimGrid version %d.%d.%d, "
223 "and then linked against SimGrid %d.%d.%d. Please fix this.\n",
224 lib_version_major, lib_version_minor, lib_version_patch, SIMGRID_VERSION_MAJOR, SIMGRID_VERSION_MINOR,
225 SIMGRID_VERSION_PATCH);
228 if (lib_version_patch != SIMGRID_VERSION_PATCH) {
229 if (SIMGRID_VERSION_PATCH >= 90 || lib_version_patch >= 90) {
232 "FATAL ERROR: Your program was compiled with SimGrid version %d.%d.%d, "
233 "and then linked against SimGrid %d.%d.%d. \n"
234 "One of them is a development version, and should not be mixed with the stable release. Please fix this.\n",
235 lib_version_major, lib_version_minor, lib_version_patch, SIMGRID_VERSION_MAJOR, SIMGRID_VERSION_MINOR,
236 SIMGRID_VERSION_PATCH);
239 fprintf(stderr, "Warning: Your program was compiled with SimGrid version %d.%d.%d, "
240 "and then linked against SimGrid %d.%d.%d. Proceeding anyway.\n",
241 lib_version_major, lib_version_minor, lib_version_patch, SIMGRID_VERSION_MAJOR, SIMGRID_VERSION_MINOR,
242 SIMGRID_VERSION_PATCH);
246 void sg_version_get(int* ver_major, int* ver_minor, int* ver_patch)
248 *ver_major = SIMGRID_VERSION_MAJOR;
249 *ver_minor = SIMGRID_VERSION_MINOR;
250 *ver_patch = SIMGRID_VERSION_PATCH;
255 std::printf("This program was linked against %s (git: %s), found in %s.\n",
256 SIMGRID_VERSION_STRING, SIMGRID_GIT_VERSION, SIMGRID_INSTALL_PREFIX);
259 std::printf(" Model-checking support compiled in.\n");
261 std::printf(" Model-checking support disabled at compilation.\n");
265 std::printf(" NS3 support compiled in.\n");
267 std::printf(" NS3 support disabled at compilation.\n");
270 #if SIMGRID_HAVE_JEDULE
271 std::printf(" Jedule support compiled in.\n");
273 std::printf(" Jedule support disabled at compilation.\n");
277 std::printf(" Lua support compiled in.\n");
279 std::printf(" Lua support disabled at compilation.\n");
282 #if SIMGRID_HAVE_MALLOCATOR
283 std::printf(" Mallocator support compiled in.\n");
285 std::printf(" Mallocator support disabled at compilation.\n");
288 std::printf("\nTo cite SimGrid in a publication, please use:\n"
289 " Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter. \n"
290 " Versatile, Scalable, and Accurate Simulation of Distributed Applications and Platforms. \n"
291 " Journal of Parallel and Distributed Computing, Elsevier, 2014, 74 (10), pp.2899-2917.\n");
292 std::printf("The pdf file and a BibTeX entry for LaTeX users can be found at http://hal.inria.fr/hal-01017319\n");
295 void surf_init(int *argc, char **argv)
297 if (USER_HOST_LEVEL != -1) // Already initialized
300 XBT_DEBUG("Create all Libs");
301 USER_HOST_LEVEL = simgrid::s4u::Host::extension_create(nullptr);
303 xbt_init(argc, argv);
304 if (not all_existing_models)
305 all_existing_models = new std::vector<simgrid::kernel::resource::Model*>();
306 if (not future_evt_set)
307 future_evt_set = new simgrid::trace_mgr::future_evt_set();
309 sg_config_init(argc, argv);
317 TRACE_end(); /* Just in case it was not called by the upper layer (or there is no upper layer) */
319 simgrid::s4u::Engine::shutdown();
321 for (auto const& e : storage_types) {
322 simgrid::surf::StorageType* stype = e.second;
323 delete stype->properties;
324 delete stype->model_properties;
328 for (auto const& model : *all_existing_models)
330 delete all_existing_models;
333 if (future_evt_set) {
334 delete future_evt_set;
335 future_evt_set = nullptr;
341 NOW = 0; /* Just in case the user plans to restart the simulation afterward */