1 /* Copyright (c) 2004-2019. 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/s4u/Engine.hpp"
9 #include "simgrid/sg_config.hpp"
10 #include "src/kernel/resource/profile/FutureEvtSet.hpp"
11 #include "src/kernel/resource/profile/Profile.hpp"
12 #include "src/simgrid/version.h"
13 #include "src/surf/HostImpl.hpp"
14 #include "src/surf/xml/platf.hpp"
15 #include "src/xbt_modinter.h" /* whether initialization was already done */
16 #include "surf/surf.hpp"
17 #include "xbt/module.h"
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; /* to destroy models correctly */
35 simgrid::kernel::profile::FutureEvtSet future_evt_set;
36 std::vector<std::string> surf_path;
37 /** set of hosts for which one want to be notified if they ever restart. */
38 std::set<std::string> watched_hosts;
39 extern std::map<std::string, simgrid::kernel::resource::StorageType*> storage_types;
41 std::vector<surf_model_description_t>* surf_plugin_description = nullptr;
43 static void XBT_ATTRIB_DESTRUCTOR(800) simgrid_free_plugin_description()
45 delete surf_plugin_description;
46 surf_plugin_description = nullptr;
49 XBT_PUBLIC void simgrid_add_plugin_description(const char* name, const char* description, void_f_void_t init_fun)
51 if (not surf_plugin_description)
52 surf_plugin_description = new std::vector<surf_model_description_t>;
53 surf_plugin_description->emplace_back(surf_model_description_t{name, description, init_fun});
56 /* Don't forget to update the option description in smx_config when you change this */
57 const std::vector<surf_model_description_t> surf_network_model_description = {
59 "Realistic network analytic model (slow-start modeled by multiplying latency by 13.01, bandwidth by .97; "
60 "bottleneck sharing uses a payload of S=20537 for evaluating RTT). ",
61 &surf_network_model_init_LegrandVelho},
63 "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},
67 "Realistic network model specifically tailored for HPC settings (accurate modeling of slow start with "
68 "correction factors on three intervals: < 1KiB, < 64 KiB, >= 64 KiB)",
69 &surf_network_model_init_SMPI},
70 {"IB", "Realistic network model specifically tailored for HPC settings, with Infiniband contention model",
71 &surf_network_model_init_IB},
73 "Legacy network analytic model (Very similar to LV08, but without corrective factors. The timings of "
74 "small messages are thus poorly modeled).",
75 &surf_network_model_init_CM02},
76 {"ns-3", "Network pseudo-model using the ns-3 tcp model instead of an analytic model",
77 &surf_network_model_init_NS3},
81 void surf_network_model_init_SMPI() {
82 xbt_die("Please activate SMPI support in cmake to use the SMPI network model.");
84 void surf_network_model_init_IB() {
85 xbt_die("Please activate SMPI support in cmake to use the IB network model.");
89 void surf_network_model_init_NS3() {
90 xbt_die("Please activate ns-3 support in cmake and install the dependencies to use the NS3 network model.");
94 const std::vector<surf_model_description_t> surf_cpu_model_description = {
95 {"Cas01", "Simplistic CPU model (time=size/power).", &surf_cpu_model_init_Cas01},
98 const std::vector<surf_model_description_t> surf_host_model_description = {
99 {"default", "Default host model. Currently, CPU:Cas01 and network:LV08 (with cross traffic enabled)",
100 &surf_host_model_init_current_default},
101 {"compound", "Host model that is automatically chosen if you change the network and CPU models",
102 &surf_host_model_init_compound},
103 {"ptask_L07", "Host model somehow similar to Cas01+CM02 but allowing parallel tasks",
104 &surf_host_model_init_ptask_L07},
107 const std::vector<surf_model_description_t> surf_optimization_mode_description = {
108 {"Lazy", "Lazy action management (partial invalidation in lmm + heap in action remaining).", nullptr},
109 {"TI", "Trace integration. Highly optimized mode when using availability traces (only available for the Cas01 CPU "
112 {"Full", "Full update of remaining and variables. Slow but may be useful when debugging.", nullptr},
115 const std::vector<surf_model_description_t> surf_disk_model_description = {
116 {"default", "Simplistic disk model.", &surf_disk_model_init_default},
119 const std::vector<surf_model_description_t> surf_storage_model_description = {
120 {"default", "Simplistic storage model.", &surf_storage_model_init_default},
125 double surf_get_clock()
130 /* returns whether #file_path is a absolute file path. Surprising, isn't it ? */
131 static bool is_absolute_file_path(const std::string& file_path)
134 WIN32_FIND_DATA wfd = {0};
135 HANDLE hFile = FindFirstFile(file_path.c_str(), &wfd);
137 if (INVALID_HANDLE_VALUE == hFile)
143 return (file_path.c_str()[0] == '/');
147 std::ifstream* surf_ifsopen(const std::string& name)
149 xbt_assert(not name.empty());
151 std::ifstream* fs = new std::ifstream();
152 if (is_absolute_file_path(name)) { /* don't mess with absolute file names */
153 fs->open(name.c_str(), std::ifstream::in);
156 /* search relative files in the path */
157 for (auto const& path_elm : surf_path) {
158 std::string buff = path_elm + "/" + name;
159 fs->open(buff.c_str(), std::ifstream::in);
161 if (not fs->fail()) {
162 XBT_DEBUG("Found file at %s", buff.c_str());
170 FILE* surf_fopen(const std::string& name, const char* mode)
172 FILE *file = nullptr;
174 if (is_absolute_file_path(name)) /* don't mess with absolute file names */
175 return fopen(name.c_str(), mode);
177 /* search relative files in the path */
178 for (auto const& path_elm : surf_path) {
179 std::string buff = path_elm + "/" + name;
180 file = fopen(buff.c_str(), mode);
188 /** Displays the long description of all registered models, and quit */
189 void model_help(const char* category, const std::vector<surf_model_description_t>& table)
191 XBT_HELP("Long description of the %s models accepted by this simulator:", category);
192 for (auto const& item : table)
193 XBT_HELP(" %s: %s", item.name, item.description);
196 int find_model_description(const std::vector<surf_model_description_t>& table, const std::string& name)
198 auto pos = std::find_if(table.begin(), table.end(),
199 [&name](const surf_model_description_t& item) { return item.name == name; });
200 if (pos != table.end())
201 return std::distance(table.begin(), pos);
204 xbt_die("No model is valid! This is a bug.");
207 std::string name_list;
208 for (auto const& item : table) {
209 name_list += sep + item.name;
213 xbt_die("Model '%s' is invalid! Valid models are: %s.", name.c_str(), name_list.c_str());
217 void sg_version_check(int lib_version_major, int lib_version_minor, int lib_version_patch)
219 if ((lib_version_major != SIMGRID_VERSION_MAJOR) || (lib_version_minor != SIMGRID_VERSION_MINOR)) {
220 fprintf(stderr, "FATAL ERROR: Your program was compiled with SimGrid version %d.%d.%d, "
221 "and then linked against SimGrid %d.%d.%d. Please fix this.\n",
222 lib_version_major, lib_version_minor, lib_version_patch, SIMGRID_VERSION_MAJOR, SIMGRID_VERSION_MINOR,
223 SIMGRID_VERSION_PATCH);
226 if (lib_version_patch != SIMGRID_VERSION_PATCH) {
227 if (SIMGRID_VERSION_PATCH > 89 || lib_version_patch > 89) {
230 "FATAL ERROR: Your program was compiled with SimGrid version %d.%d.%d, "
231 "and then linked against SimGrid %d.%d.%d. \n"
232 "One of them is a development version, and should not be mixed with the stable release. Please fix this.\n",
233 lib_version_major, lib_version_minor, lib_version_patch, SIMGRID_VERSION_MAJOR, SIMGRID_VERSION_MINOR,
234 SIMGRID_VERSION_PATCH);
237 fprintf(stderr, "Warning: Your program was compiled with SimGrid version %d.%d.%d, "
238 "and then linked against SimGrid %d.%d.%d. Proceeding anyway.\n",
239 lib_version_major, lib_version_minor, lib_version_patch, SIMGRID_VERSION_MAJOR, SIMGRID_VERSION_MINOR,
240 SIMGRID_VERSION_PATCH);
244 void sg_version_get(int* ver_major, int* ver_minor, int* ver_patch)
246 *ver_major = SIMGRID_VERSION_MAJOR;
247 *ver_minor = SIMGRID_VERSION_MINOR;
248 *ver_patch = SIMGRID_VERSION_PATCH;
253 XBT_HELP("This program was linked against %s (git: %s), found in %s.", SIMGRID_VERSION_STRING, SIMGRID_GIT_VERSION,
254 SIMGRID_INSTALL_PREFIX);
257 XBT_HELP(" Model-checking support compiled in.");
259 XBT_HELP(" Model-checking support disabled at compilation.");
263 XBT_HELP(" ns-3 support compiled in.");
265 XBT_HELP(" ns-3 support disabled at compilation.");
268 #if SIMGRID_HAVE_JEDULE
269 XBT_HELP(" Jedule support compiled in.");
271 XBT_HELP(" Jedule support disabled at compilation.");
275 XBT_HELP(" Lua support compiled in.");
277 XBT_HELP(" Lua support disabled at compilation.");
280 #if SIMGRID_HAVE_MALLOCATOR
281 XBT_HELP(" Mallocator support compiled in.");
283 XBT_HELP(" Mallocator support disabled at compilation.");
286 XBT_HELP("\nTo cite SimGrid in a publication, please use:\n"
287 " Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter. \n"
288 " Versatile, Scalable, and Accurate Simulation of Distributed Applications and Platforms. \n"
289 " Journal of Parallel and Distributed Computing, Elsevier, 2014, 74 (10), pp.2899-2917.\n"
290 "The pdf file and a BibTeX entry for LaTeX users can be found at http://hal.inria.fr/hal-01017319");
293 void surf_init(int *argc, char **argv)
295 if (xbt_initialized > 0)
298 xbt_init(argc, argv);
300 sg_config_init(argc, argv);
308 simgrid::s4u::Engine::shutdown();
309 for (auto const& e : storage_types) {
310 simgrid::kernel::resource::StorageType* stype = e.second;
311 delete stype->properties;
312 delete stype->model_properties;
316 for (auto const& model : all_existing_models)
322 NOW = 0; /* Just in case the user plans to restart the simulation afterward */