1 /* Copyright (c) 2006-2023. 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 <simgrid/Exception.hpp>
7 #include <simgrid/kernel/routing/NetPoint.hpp>
8 #include <simgrid/s4u/Engine.hpp>
9 #include <simgrid/s4u/Host.hpp>
10 #include <xbt/file.hpp>
11 #include <xbt/parse_units.hpp>
13 #include "src/kernel/resource/LinkImpl.hpp"
14 #include "src/kernel/resource/profile/FutureEvtSet.hpp"
15 #include "src/kernel/resource/profile/Profile.hpp"
16 #include "src/kernel/xml/platf.hpp"
17 #include "src/kernel/xml/platf_private.hpp"
18 #include "src/simgrid/sg_config.hpp"
20 #include <boost/algorithm/string/classification.hpp>
21 #include <boost/algorithm/string/split.hpp>
24 #include <unordered_map>
27 #include "simgrid_dtd.c"
29 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(platf_parse, ker_platform, "Logging specific to the parsing of platform files");
31 std::string simgrid_parsed_filename; // Currently parsed file (for the error messages)
32 static std::vector<simgrid::s4u::LinkInRoute> parsed_link_list; /* temporary store of current link list of a route */
34 /* Helping functions */
35 void simgrid_parse_assert(bool cond, const std::string& msg)
38 simgrid_parse_error(msg);
41 void simgrid_parse_error(const std::string& msg)
43 throw simgrid::ParseError(simgrid_parsed_filename, simgrid_parse_lineno, msg);
46 void simgrid_parse_assert_netpoint(const std::string& hostname, const std::string& pre, const std::string& post)
48 if (simgrid::s4u::Engine::get_instance()->netpoint_by_name_or_null(hostname) != nullptr) // found
51 std::string msg = pre + hostname + post + " Existing netpoints:\n";
53 std::vector<simgrid::kernel::routing::NetPoint*> netpoints =
54 simgrid::s4u::Engine::get_instance()->get_all_netpoints();
55 std::sort(netpoints.begin(), netpoints.end(),
56 [](const simgrid::kernel::routing::NetPoint* a, const simgrid::kernel::routing::NetPoint* b) {
57 return a->get_name() < b->get_name();
60 for (auto const& np : netpoints) {
67 msg += "'" + np->get_name() + "'";
68 if (msg.length() > 4096) {
69 msg.pop_back(); // remove trailing quote
70 msg += "...(list truncated)......";
74 simgrid_parse_error(msg);
77 double simgrid_parse_get_double(const std::string& s)
81 } catch (const std::invalid_argument&) {
82 simgrid_parse_error(s + " is not a double");
86 int simgrid_parse_get_int(const std::string& s)
90 } catch (const std::invalid_argument&) {
91 simgrid_parse_error(s + " is not an int");
95 /* Turn something like "1-4,6,9-11" into the vector {1,2,3,4,6,9,10,11} */
96 static void explodesRadical(const std::string& radicals, std::vector<int>* exploded)
99 std::vector<std::string> radical_elements;
100 boost::split(radical_elements, radicals, boost::is_any_of(","));
101 for (auto const& group : radical_elements) {
102 std::vector<std::string> radical_ends;
103 boost::split(radical_ends, group, boost::is_any_of("-"));
104 int start = simgrid_parse_get_int(radical_ends.front());
107 switch (radical_ends.size()) {
112 end = simgrid_parse_get_int(radical_ends.back());
115 simgrid_parse_error("Malformed radical: " + group);
117 for (int i = start; i <= end; i++)
118 exploded->push_back(i);
122 /* Trace related stuff */
123 XBT_PRIVATE std::unordered_map<std::string, simgrid::kernel::profile::Profile*>
124 traces_set_list; // shown to sg_platf.cpp
125 static std::unordered_map<std::string, std::string> trace_connect_list_host_avail;
126 static std::unordered_map<std::string, std::string> trace_connect_list_host_speed;
127 static std::unordered_map<std::string, std::string> trace_connect_list_link_avail;
128 static std::unordered_map<std::string, std::string> trace_connect_list_link_bw;
129 static std::unordered_map<std::string, std::string> trace_connect_list_link_lat;
131 static void sg_platf_trace_connect(simgrid::kernel::routing::TraceConnectCreationArgs* trace_connect)
133 simgrid_parse_assert(traces_set_list.find(trace_connect->trace) != traces_set_list.end(),
134 "Cannot connect trace " + trace_connect->trace + " to " + trace_connect->element +
137 switch (trace_connect->kind) {
138 case simgrid::kernel::routing::TraceConnectKind::HOST_AVAIL:
139 trace_connect_list_host_avail.try_emplace(trace_connect->trace, trace_connect->element);
141 case simgrid::kernel::routing::TraceConnectKind::SPEED:
142 trace_connect_list_host_speed.try_emplace(trace_connect->trace, trace_connect->element);
144 case simgrid::kernel::routing::TraceConnectKind::LINK_AVAIL:
145 trace_connect_list_link_avail.try_emplace(trace_connect->trace, trace_connect->element);
147 case simgrid::kernel::routing::TraceConnectKind::BANDWIDTH:
148 trace_connect_list_link_bw.try_emplace(trace_connect->trace, trace_connect->element);
150 case simgrid::kernel::routing::TraceConnectKind::LATENCY:
151 trace_connect_list_link_lat.try_emplace(trace_connect->trace, trace_connect->element);
154 simgrid_parse_error("Cannot connect trace " + trace_connect->trace + " to " + trace_connect->element +
155 ": unknown kind of trace");
160 * All the callback lists that can be overridden anywhere.
161 * (this list should probably be reduced to the bare minimum to allow the models to work)
164 /* make sure these symbols are defined as strong ones in this file so that the linker can resolve them */
166 static std::vector<std::unordered_map<std::string, std::string>> property_sets;
168 static FILE* file_to_parse = nullptr;
170 /* Stuff relative to storage */
171 void STag_simgrid_parse_storage()
173 xbt_die("<storage> tag was removed in SimGrid v3.27. Please stop using it now.");
176 void ETag_simgrid_parse_storage()
178 /* Won't happen since <storage> is now removed since v3.27. */
180 void STag_simgrid_parse_storage___type()
182 xbt_die("<storage_type> tag was removed in SimGrid v3.27. Please stop using it now.");
184 void ETag_simgrid_parse_storage___type()
186 /* Won't happen since <storage_type> is now removed since v3.27. */
189 void STag_simgrid_parse_mount()
191 xbt_die("<mount> tag was removed in SimGrid v3.27. Please stop using it now.");
194 void ETag_simgrid_parse_mount()
196 /* Won't happen since <mount> is now removed since v3.27. */
199 void STag_simgrid_parse_include()
201 xbt_die("<include> tag was removed in SimGrid v3.18. Please stop using it now.");
204 void ETag_simgrid_parse_include()
206 /* Won't happen since <include> is now removed since v3.18. */
209 /* Stag and Etag parse functions */
210 void STag_simgrid_parse_platform()
212 /* Use fixed point arithmetic to avoid rounding errors ("4.1" for example cannot be represented exactly as a floating
214 const long int version = lround(100.0 * simgrid_parse_get_double(A_simgrid_parse_platform_version));
215 const std::string version_string = std::to_string(version / 100) + "." + std::to_string(version % 100);
217 simgrid_parse_assert(version >= 100L, "******* BIG FAT WARNING *********\n "
218 "You're using an ancient XML file.\n"
219 "Since SimGrid 3.1, units are Bytes, Flops, and seconds "
220 "instead of MBytes, MFlops and seconds.\n"
222 "Use simgrid_update_xml to update your file automatically. "
223 "This program is installed automatically with SimGrid, or "
224 "available in the tools/ directory of the source archive.\n"
226 "Please check also out the SURF section of the ChangeLog for "
227 "the 3.1 version for more information.");
228 simgrid_parse_assert(version >= 300L, "******* BIG FAT WARNING *********\n "
229 "You're using an old XML file.\n"
230 "Use simgrid_update_xml to update your file automatically. "
231 "This program is installed automatically with SimGrid, or "
232 "available in the tools/ directory of the source archive.");
233 simgrid_parse_assert(
235 "******* THIS FILE IS TOO OLD (v:" + version_string +
237 "Changes introduced in SimGrid 3.13:\n"
238 " - 'power' attribute of hosts (and others) got renamed to 'speed'.\n"
239 " - In <trace_connect>, attribute kind=\"POWER\" is now kind=\"SPEED\".\n"
240 " - DOCTYPE now point to the rignt URL.\n"
241 " - speed, bandwidth and latency attributes now MUST have an explicit unit (f, Bps, s by default)"
243 "Use simgrid_update_xml to update your file automatically. "
244 "This program is installed automatically with SimGrid, or "
245 "available in the tools/ directory of the source archive.");
246 if (version < 410L) {
247 XBT_INFO("You're using a v%s XML file (%s) while the current standard is v4.1 "
248 "That's fine, the new version is backward compatible. \n\n"
249 "Use simgrid_update_xml to update your file automatically to get rid of this warning. "
250 "This program is installed automatically with SimGrid, or "
251 "available in the tools/ directory of the source archive.",
252 version_string.c_str(), simgrid_parsed_filename.c_str());
254 simgrid_parse_assert(version <= 410L,
255 "******* THIS FILE COMES FROM THE FUTURE (v:" + version_string +
257 "The most recent formalism that this version of SimGrid understands is v4.1.\n"
258 "Please update your code, or use another, more adapted, file.");
260 void ETag_simgrid_parse_platform()
262 simgrid::s4u::Engine::on_platform_created();
265 void STag_simgrid_parse_prop()
267 property_sets.back().try_emplace(A_simgrid_parse_prop_id, A_simgrid_parse_prop_value);
268 XBT_DEBUG("add prop %s=%s into current property set %p", A_simgrid_parse_prop_id, A_simgrid_parse_prop_value,
269 &(property_sets.back()));
272 void STag_simgrid_parse_host()
274 simgrid::kernel::routing::HostCreationArgs host;
275 property_sets.emplace_back();
276 host.id = A_simgrid_parse_host_id;
278 host.speed_per_pstate = xbt_parse_get_all_speeds(simgrid_parsed_filename, simgrid_parse_lineno,
279 A_simgrid_parse_host_speed, "speed of host " + host.id);
281 XBT_DEBUG("pstate: %s", A_simgrid_parse_host_pstate);
282 host.core_amount = simgrid_parse_get_int(A_simgrid_parse_host_core);
284 if (A_simgrid_parse_host_availability___file[0] != '\0') {
285 XBT_WARN("The availability_file attribute in <host> is now deprecated. Please, use 'speed_file' instead.");
286 host.speed_trace = simgrid::kernel::profile::ProfileBuilder::from_file(A_simgrid_parse_host_availability___file);
288 if (A_simgrid_parse_host_speed___file[0] != '\0')
289 host.speed_trace = simgrid::kernel::profile::ProfileBuilder::from_file(A_simgrid_parse_host_speed___file);
290 host.state_trace = A_simgrid_parse_host_state___file[0]
291 ? simgrid::kernel::profile::ProfileBuilder::from_file(A_simgrid_parse_host_state___file)
293 host.coord = A_simgrid_parse_host_coordinates;
295 sg_platf_new_host_begin(&host);
298 void ETag_simgrid_parse_host()
300 sg_platf_new_host_set_properties(property_sets.back());
301 property_sets.pop_back();
303 sg_platf_new_host_seal(simgrid_parse_get_int(A_simgrid_parse_host_pstate));
306 void STag_simgrid_parse_disk()
308 property_sets.emplace_back();
311 void ETag_simgrid_parse_disk()
313 simgrid::kernel::routing::DiskCreationArgs disk;
314 disk.properties = property_sets.back();
315 property_sets.pop_back();
317 disk.id = A_simgrid_parse_disk_id;
318 disk.read_bw = xbt_parse_get_bandwidth(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_disk_read___bw,
319 "read_bw of disk " + disk.id);
320 disk.write_bw = xbt_parse_get_bandwidth(simgrid_parsed_filename, simgrid_parse_lineno,
321 A_simgrid_parse_disk_write___bw, "write_bw of disk " + disk.id);
323 sg_platf_new_disk(&disk);
326 void STag_simgrid_parse_host___link()
328 XBT_DEBUG("Create a Host_link for %s", A_simgrid_parse_host___link_id);
329 simgrid::kernel::routing::HostLinkCreationArgs host_link;
331 host_link.id = A_simgrid_parse_host___link_id;
332 host_link.link_up = A_simgrid_parse_host___link_up;
333 host_link.link_down = A_simgrid_parse_host___link_down;
334 sg_platf_new_hostlink(&host_link);
337 void STag_simgrid_parse_router()
339 sg_platf_new_router(A_simgrid_parse_router_id, A_simgrid_parse_router_coordinates);
342 void ETag_simgrid_parse_cluster()
344 simgrid::kernel::routing::ClusterCreationArgs cluster;
345 cluster.properties = property_sets.back();
346 property_sets.pop_back();
348 cluster.id = A_simgrid_parse_cluster_id;
349 cluster.prefix = A_simgrid_parse_cluster_prefix;
350 cluster.suffix = A_simgrid_parse_cluster_suffix;
351 explodesRadical(A_simgrid_parse_cluster_radical, &cluster.radicals);
353 cluster.speeds = xbt_parse_get_all_speeds(simgrid_parsed_filename, simgrid_parse_lineno,
354 A_simgrid_parse_cluster_speed, "speed of cluster " + cluster.id);
355 cluster.core_amount = simgrid_parse_get_int(A_simgrid_parse_cluster_core);
356 cluster.bw = xbt_parse_get_bandwidth(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_cluster_bw,
357 "bw of cluster " + cluster.id);
358 cluster.lat = xbt_parse_get_time(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_cluster_lat,
359 "lat of cluster " + cluster.id);
360 if (strcmp(A_simgrid_parse_cluster_bb___bw, ""))
361 cluster.bb_bw = xbt_parse_get_bandwidth(simgrid_parsed_filename, simgrid_parse_lineno,
362 A_simgrid_parse_cluster_bb___bw, "bb_bw of cluster " + cluster.id);
363 if (strcmp(A_simgrid_parse_cluster_bb___lat, ""))
364 cluster.bb_lat = xbt_parse_get_time(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_cluster_bb___lat,
365 "bb_lat of cluster " + cluster.id);
366 if (strcmp(A_simgrid_parse_cluster_limiter___link, ""))
367 cluster.limiter_link =
368 xbt_parse_get_bandwidth(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_cluster_limiter___link,
369 "limiter_link of cluster " + cluster.id);
370 if (strcmp(A_simgrid_parse_cluster_loopback___bw, ""))
371 cluster.loopback_bw =
372 xbt_parse_get_bandwidth(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_cluster_loopback___bw,
373 "loopback_bw of cluster " + cluster.id);
374 if (strcmp(A_simgrid_parse_cluster_loopback___lat, ""))
375 cluster.loopback_lat =
376 xbt_parse_get_time(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_cluster_loopback___lat,
377 "loopback_lat of cluster " + cluster.id);
379 switch (AX_simgrid_parse_cluster_topology) {
380 case A_simgrid_parse_cluster_topology_FLAT:
381 cluster.topology = simgrid::kernel::routing::ClusterTopology::FLAT;
383 case A_simgrid_parse_cluster_topology_TORUS:
384 cluster.topology = simgrid::kernel::routing::ClusterTopology::TORUS;
386 case A_simgrid_parse_cluster_topology_FAT___TREE:
387 cluster.topology = simgrid::kernel::routing::ClusterTopology::FAT_TREE;
389 case A_simgrid_parse_cluster_topology_DRAGONFLY:
390 cluster.topology = simgrid::kernel::routing::ClusterTopology::DRAGONFLY;
393 simgrid_parse_error("Invalid cluster topology for cluster " + cluster.id);
395 cluster.topo_parameters = A_simgrid_parse_cluster_topo___parameters;
396 cluster.router_id = A_simgrid_parse_cluster_router___id;
398 switch (AX_simgrid_parse_cluster_sharing___policy) {
399 case A_simgrid_parse_cluster_sharing___policy_SHARED:
400 cluster.sharing_policy = simgrid::s4u::Link::SharingPolicy::SHARED;
402 case A_simgrid_parse_cluster_sharing___policy_FULLDUPLEX:
403 XBT_WARN("FULLDUPLEX is now deprecated. Please update your platform file to use SPLITDUPLEX instead.");
404 cluster.sharing_policy = simgrid::s4u::Link::SharingPolicy::SPLITDUPLEX;
406 case A_simgrid_parse_cluster_sharing___policy_SPLITDUPLEX:
407 cluster.sharing_policy = simgrid::s4u::Link::SharingPolicy::SPLITDUPLEX;
409 case A_simgrid_parse_cluster_sharing___policy_FATPIPE:
410 cluster.sharing_policy = simgrid::s4u::Link::SharingPolicy::FATPIPE;
413 simgrid_parse_error("Invalid cluster sharing policy for cluster " + cluster.id);
415 switch (AX_simgrid_parse_cluster_bb___sharing___policy) {
416 case A_simgrid_parse_cluster_bb___sharing___policy_FATPIPE:
417 cluster.bb_sharing_policy = simgrid::s4u::Link::SharingPolicy::FATPIPE;
419 case A_simgrid_parse_cluster_bb___sharing___policy_SHARED:
420 cluster.bb_sharing_policy = simgrid::s4u::Link::SharingPolicy::SHARED;
423 simgrid_parse_error("Invalid bb sharing policy in cluster " + cluster.id);
426 sg_platf_new_tag_cluster(&cluster);
429 void STag_simgrid_parse_cluster()
431 property_sets.emplace_back();
434 void STag_simgrid_parse_cabinet()
436 simgrid::kernel::routing::CabinetCreationArgs cabinet;
437 cabinet.id = A_simgrid_parse_cabinet_id;
438 cabinet.prefix = A_simgrid_parse_cabinet_prefix;
439 cabinet.suffix = A_simgrid_parse_cabinet_suffix;
440 cabinet.speed = xbt_parse_get_speed(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_cabinet_speed,
441 "speed of cabinet " + cabinet.id);
442 cabinet.bw = xbt_parse_get_bandwidth(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_cabinet_bw,
443 "bw of cabinet " + cabinet.id);
444 cabinet.lat = xbt_parse_get_time(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_cabinet_lat,
445 "lat of cabinet " + cabinet.id);
446 explodesRadical(A_simgrid_parse_cabinet_radical, &cabinet.radicals);
448 sg_platf_new_cabinet(&cabinet);
451 void STag_simgrid_parse_peer()
453 simgrid::kernel::routing::PeerCreationArgs peer;
455 peer.id = A_simgrid_parse_peer_id;
456 peer.speed = xbt_parse_get_speed(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_peer_speed,
457 "speed of peer " + peer.id);
458 peer.bw_in = xbt_parse_get_bandwidth(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_peer_bw___in,
459 "bw_in of peer " + peer.id);
460 peer.bw_out = xbt_parse_get_bandwidth(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_peer_bw___out,
461 "bw_out of peer " + peer.id);
462 peer.coord = A_simgrid_parse_peer_coordinates;
463 peer.speed_trace = nullptr;
464 if (A_simgrid_parse_peer_availability___file[0] != '\0') {
465 XBT_WARN("The availability_file attribute in <peer> is now deprecated. Please, use 'speed_file' instead.");
466 peer.speed_trace = simgrid::kernel::profile::ProfileBuilder::from_file(A_simgrid_parse_peer_availability___file);
468 if (A_simgrid_parse_peer_speed___file[0] != '\0')
469 peer.speed_trace = simgrid::kernel::profile::ProfileBuilder::from_file(A_simgrid_parse_peer_speed___file);
470 peer.state_trace = A_simgrid_parse_peer_state___file[0]
471 ? simgrid::kernel::profile::ProfileBuilder::from_file(A_simgrid_parse_peer_state___file)
474 if (A_simgrid_parse_peer_lat[0] != '\0')
475 XBT_WARN("The latency attribute in <peer> is now deprecated. Use the z coordinate instead of '%s'.",
476 A_simgrid_parse_peer_lat);
478 sg_platf_new_peer(&peer);
481 void STag_simgrid_parse_link()
483 property_sets.emplace_back();
486 void ETag_simgrid_parse_link()
488 simgrid::kernel::routing::LinkCreationArgs link;
490 link.properties = property_sets.back();
491 property_sets.pop_back();
493 link.id = A_simgrid_parse_link_id;
494 link.bandwidths = xbt_parse_get_bandwidths(simgrid_parsed_filename, simgrid_parse_lineno,
495 A_simgrid_parse_link_bandwidth, "bandwidth of link " + link.id);
496 link.bandwidth_trace =
497 A_simgrid_parse_link_bandwidth___file[0]
498 ? simgrid::kernel::profile::ProfileBuilder::from_file(A_simgrid_parse_link_bandwidth___file)
500 link.latency = xbt_parse_get_time(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_link_latency,
501 "latency of link " + link.id);
502 link.latency_trace = A_simgrid_parse_link_latency___file[0]
503 ? simgrid::kernel::profile::ProfileBuilder::from_file(A_simgrid_parse_link_latency___file)
505 link.state_trace = A_simgrid_parse_link_state___file[0]
506 ? simgrid::kernel::profile::ProfileBuilder::from_file(A_simgrid_parse_link_state___file)
509 switch (A_simgrid_parse_link_sharing___policy) {
510 case A_simgrid_parse_link_sharing___policy_SHARED:
511 link.policy = simgrid::s4u::Link::SharingPolicy::SHARED;
513 case A_simgrid_parse_link_sharing___policy_FATPIPE:
514 link.policy = simgrid::s4u::Link::SharingPolicy::FATPIPE;
516 case A_simgrid_parse_link_sharing___policy_FULLDUPLEX:
517 XBT_WARN("FULLDUPLEX is now deprecated. Please update your platform file to use SPLITDUPLEX instead.");
518 link.policy = simgrid::s4u::Link::SharingPolicy::SPLITDUPLEX;
520 case A_simgrid_parse_link_sharing___policy_SPLITDUPLEX:
521 link.policy = simgrid::s4u::Link::SharingPolicy::SPLITDUPLEX;
523 case A_simgrid_parse_link_sharing___policy_WIFI:
524 link.policy = simgrid::s4u::Link::SharingPolicy::WIFI;
527 simgrid_parse_error("Invalid sharing policy in link " + link.id);
530 sg_platf_new_link(&link);
533 void STag_simgrid_parse_link___ctn()
535 const auto engine = simgrid::s4u::Engine::get_instance();
536 const simgrid::s4u::Link* link;
537 simgrid::s4u::LinkInRoute::Direction direction = simgrid::s4u::LinkInRoute::Direction::NONE;
538 switch (A_simgrid_parse_link___ctn_direction) {
539 case AU_simgrid_parse_link___ctn_direction:
540 case A_simgrid_parse_link___ctn_direction_NONE:
541 link = engine->link_by_name(A_simgrid_parse_link___ctn_id);
543 case A_simgrid_parse_link___ctn_direction_UP:
544 link = engine->split_duplex_link_by_name(A_simgrid_parse_link___ctn_id);
545 direction = simgrid::s4u::LinkInRoute::Direction::UP;
547 case A_simgrid_parse_link___ctn_direction_DOWN:
548 link = engine->split_duplex_link_by_name(A_simgrid_parse_link___ctn_id);
549 direction = simgrid::s4u::LinkInRoute::Direction::DOWN;
552 simgrid_parse_error(std::string("Invalid direction for link ") + A_simgrid_parse_link___ctn_id);
556 switch (A_simgrid_parse_link___ctn_direction) {
557 case A_simgrid_parse_link___ctn_direction_UP:
558 dirname = " (upward)";
560 case A_simgrid_parse_link___ctn_direction_DOWN:
561 dirname = " (downward)";
566 simgrid_parse_assert(link != nullptr, std::string("No such link: '") + A_simgrid_parse_link___ctn_id + "'" + dirname);
567 parsed_link_list.emplace_back(link, direction);
570 void ETag_simgrid_parse_backbone()
572 auto link = std::make_unique<simgrid::kernel::routing::LinkCreationArgs>();
574 link->id = A_simgrid_parse_backbone_id;
575 link->bandwidths.push_back(xbt_parse_get_bandwidth(simgrid_parsed_filename, simgrid_parse_lineno,
576 A_simgrid_parse_backbone_bandwidth,
577 "bandwidth of backbone " + link->id));
578 link->latency = xbt_parse_get_time(simgrid_parsed_filename, simgrid_parse_lineno, A_simgrid_parse_backbone_latency,
579 "latency of backbone " + link->id);
580 link->policy = simgrid::s4u::Link::SharingPolicy::SHARED;
582 routing_cluster_add_backbone(std::move(link));
585 void STag_simgrid_parse_route()
587 simgrid_parse_assert_netpoint(A_simgrid_parse_route_src, "Route src='", "' does name a node.");
588 simgrid_parse_assert_netpoint(A_simgrid_parse_route_dst, "Route dst='", "' does name a node.");
591 void STag_simgrid_parse_ASroute()
593 simgrid_parse_assert_netpoint(A_simgrid_parse_ASroute_src, "ASroute src='", "' does name a node.");
594 simgrid_parse_assert_netpoint(A_simgrid_parse_ASroute_dst, "ASroute dst='", "' does name a node.");
596 simgrid_parse_assert_netpoint(A_simgrid_parse_ASroute_gw___src, "ASroute gw_src='", "' does name a node.");
597 simgrid_parse_assert_netpoint(A_simgrid_parse_ASroute_gw___dst, "ASroute gw_dst='", "' does name a node.");
599 void STag_simgrid_parse_zoneRoute()
601 simgrid_parse_assert_netpoint(A_simgrid_parse_zoneRoute_src, "zoneRoute src='", "' does name a node.");
602 simgrid_parse_assert_netpoint(A_simgrid_parse_zoneRoute_dst, "zoneRoute dst='", "' does name a node.");
603 simgrid_parse_assert_netpoint(A_simgrid_parse_zoneRoute_gw___src, "zoneRoute gw_src='", "' does name a node.");
604 simgrid_parse_assert_netpoint(A_simgrid_parse_zoneRoute_gw___dst, "zoneRoute gw_dst='", "' does name a node.");
607 void STag_simgrid_parse_bypassRoute()
609 simgrid_parse_assert_netpoint(A_simgrid_parse_bypassRoute_src, "bypassRoute src='", "' does name a node.");
610 simgrid_parse_assert_netpoint(A_simgrid_parse_bypassRoute_dst, "bypassRoute dst='", "' does name a node.");
613 void STag_simgrid_parse_bypassASroute()
615 simgrid_parse_assert_netpoint(A_simgrid_parse_bypassASroute_src, "bypassASroute src='", "' does name a node.");
616 simgrid_parse_assert_netpoint(A_simgrid_parse_bypassASroute_dst, "bypassASroute dst='", "' does name a node.");
617 simgrid_parse_assert_netpoint(A_simgrid_parse_bypassASroute_gw___src, "bypassASroute gw_src='",
618 "' does name a node.");
619 simgrid_parse_assert_netpoint(A_simgrid_parse_bypassASroute_gw___dst, "bypassASroute gw_dst='",
620 "' does name a node.");
622 void STag_simgrid_parse_bypassZoneRoute()
624 simgrid_parse_assert_netpoint(A_simgrid_parse_bypassZoneRoute_src, "bypassZoneRoute src='", "' does name a node.");
625 simgrid_parse_assert_netpoint(A_simgrid_parse_bypassZoneRoute_dst, "bypassZoneRoute dst='", "' does name a node.");
626 simgrid_parse_assert_netpoint(A_simgrid_parse_bypassZoneRoute_gw___src, "bypassZoneRoute gw_src='",
627 "' does name a node.");
628 simgrid_parse_assert_netpoint(A_simgrid_parse_bypassZoneRoute_gw___dst, "bypassZoneRoute gw_dst='",
629 "' does name a node.");
632 void ETag_simgrid_parse_route()
634 simgrid::kernel::routing::RouteCreationArgs route;
636 route.src = sg_netpoint_by_name_or_null(A_simgrid_parse_route_src); // tested to not be nullptr in start tag
637 route.dst = sg_netpoint_by_name_or_null(A_simgrid_parse_route_dst); // tested to not be nullptr in start tag
638 route.symmetrical = (A_simgrid_parse_route_symmetrical == AU_simgrid_parse_route_symmetrical ||
639 A_simgrid_parse_route_symmetrical == A_simgrid_parse_route_symmetrical_YES ||
640 A_simgrid_parse_route_symmetrical == A_simgrid_parse_route_symmetrical_yes);
642 route.link_list.swap(parsed_link_list);
644 sg_platf_new_route(&route);
647 void ETag_simgrid_parse_ASroute()
649 AX_simgrid_parse_zoneRoute_src = AX_simgrid_parse_ASroute_src;
650 AX_simgrid_parse_zoneRoute_dst = AX_simgrid_parse_ASroute_dst;
651 AX_simgrid_parse_zoneRoute_gw___src = AX_simgrid_parse_ASroute_gw___src;
652 AX_simgrid_parse_zoneRoute_gw___dst = AX_simgrid_parse_ASroute_gw___dst;
653 AX_simgrid_parse_zoneRoute_symmetrical = (AT_simgrid_parse_zoneRoute_symmetrical)AX_simgrid_parse_ASroute_symmetrical;
654 ETag_simgrid_parse_zoneRoute();
656 void ETag_simgrid_parse_zoneRoute()
658 simgrid::kernel::routing::RouteCreationArgs ASroute;
660 ASroute.src = sg_netpoint_by_name_or_null(A_simgrid_parse_zoneRoute_src); // tested to not be nullptr in start tag
661 ASroute.dst = sg_netpoint_by_name_or_null(A_simgrid_parse_zoneRoute_dst); // tested to not be nullptr in start tag
664 sg_netpoint_by_name_or_null(A_simgrid_parse_zoneRoute_gw___src); // tested to not be nullptr in start tag
666 sg_netpoint_by_name_or_null(A_simgrid_parse_zoneRoute_gw___dst); // tested to not be nullptr in start tag
668 ASroute.link_list.swap(parsed_link_list);
670 ASroute.symmetrical = (A_simgrid_parse_zoneRoute_symmetrical == AU_simgrid_parse_zoneRoute_symmetrical ||
671 A_simgrid_parse_zoneRoute_symmetrical == A_simgrid_parse_zoneRoute_symmetrical_YES ||
672 A_simgrid_parse_zoneRoute_symmetrical == A_simgrid_parse_zoneRoute_symmetrical_yes);
674 sg_platf_new_route(&ASroute);
677 void ETag_simgrid_parse_bypassRoute()
679 simgrid::kernel::routing::RouteCreationArgs route;
681 route.src = sg_netpoint_by_name_or_null(A_simgrid_parse_bypassRoute_src); // tested to not be nullptr in start tag
682 route.dst = sg_netpoint_by_name_or_null(A_simgrid_parse_bypassRoute_dst); // tested to not be nullptr in start tag
683 route.symmetrical = false;
685 route.link_list.swap(parsed_link_list);
687 sg_platf_new_bypass_route(&route);
690 void ETag_simgrid_parse_bypassASroute()
692 AX_simgrid_parse_bypassZoneRoute_src = AX_simgrid_parse_bypassASroute_src;
693 AX_simgrid_parse_bypassZoneRoute_dst = AX_simgrid_parse_bypassASroute_dst;
694 AX_simgrid_parse_bypassZoneRoute_gw___src = AX_simgrid_parse_bypassASroute_gw___src;
695 AX_simgrid_parse_bypassZoneRoute_gw___dst = AX_simgrid_parse_bypassASroute_gw___dst;
696 ETag_simgrid_parse_bypassZoneRoute();
698 void ETag_simgrid_parse_bypassZoneRoute()
700 simgrid::kernel::routing::RouteCreationArgs ASroute;
702 ASroute.src = sg_netpoint_by_name_or_null(A_simgrid_parse_bypassZoneRoute_src);
703 ASroute.dst = sg_netpoint_by_name_or_null(A_simgrid_parse_bypassZoneRoute_dst);
704 ASroute.link_list.swap(parsed_link_list);
706 ASroute.symmetrical = false;
708 ASroute.gw_src = sg_netpoint_by_name_or_null(A_simgrid_parse_bypassZoneRoute_gw___src);
709 ASroute.gw_dst = sg_netpoint_by_name_or_null(A_simgrid_parse_bypassZoneRoute_gw___dst);
711 sg_platf_new_bypass_route(&ASroute);
714 void ETag_simgrid_parse_trace()
716 simgrid::kernel::routing::ProfileCreationArgs trace;
718 trace.id = A_simgrid_parse_trace_id;
719 trace.file = A_simgrid_parse_trace_file;
720 trace.periodicity = simgrid_parse_get_double(A_simgrid_parse_trace_periodicity);
721 trace.pc_data = simgrid_parse_pcdata;
723 sg_platf_new_trace(&trace);
726 void STag_simgrid_parse_trace___connect()
728 simgrid::kernel::routing::TraceConnectCreationArgs trace_connect;
730 trace_connect.element = A_simgrid_parse_trace___connect_element;
731 trace_connect.trace = A_simgrid_parse_trace___connect_trace;
733 switch (A_simgrid_parse_trace___connect_kind) {
734 case AU_simgrid_parse_trace___connect_kind:
735 case A_simgrid_parse_trace___connect_kind_SPEED:
736 trace_connect.kind = simgrid::kernel::routing::TraceConnectKind::SPEED;
738 case A_simgrid_parse_trace___connect_kind_BANDWIDTH:
739 trace_connect.kind = simgrid::kernel::routing::TraceConnectKind::BANDWIDTH;
741 case A_simgrid_parse_trace___connect_kind_HOST___AVAIL:
742 trace_connect.kind = simgrid::kernel::routing::TraceConnectKind::HOST_AVAIL;
744 case A_simgrid_parse_trace___connect_kind_LATENCY:
745 trace_connect.kind = simgrid::kernel::routing::TraceConnectKind::LATENCY;
747 case A_simgrid_parse_trace___connect_kind_LINK___AVAIL:
748 trace_connect.kind = simgrid::kernel::routing::TraceConnectKind::LINK_AVAIL;
751 simgrid_parse_error("Invalid trace kind");
753 sg_platf_trace_connect(&trace_connect);
756 void STag_simgrid_parse_AS()
758 AX_simgrid_parse_zone_id = AX_simgrid_parse_AS_id;
759 AX_simgrid_parse_zone_routing = AX_simgrid_parse_AS_routing;
760 STag_simgrid_parse_zone();
763 void ETag_simgrid_parse_AS()
765 ETag_simgrid_parse_zone();
768 void STag_simgrid_parse_zone()
770 property_sets.emplace_back();
771 simgrid::kernel::routing::ZoneCreationArgs zone;
772 zone.id = A_simgrid_parse_zone_id;
773 zone.routing = A_simgrid_parse_zone_routing;
774 sg_platf_new_zone_begin(&zone);
777 void ETag_simgrid_parse_zone()
779 sg_platf_new_zone_set_properties(property_sets.back());
780 property_sets.pop_back();
781 sg_platf_new_zone_seal();
784 void STag_simgrid_parse_config()
786 property_sets.emplace_back();
787 XBT_DEBUG("START configuration name = %s", A_simgrid_parse_config_id);
788 if (_sg_cfg_init_status == 2) {
790 "All <config> tags must be given before any platform elements (such as <zone>, <host>, <cluster>, "
795 void ETag_simgrid_parse_config()
797 // Sort config elements before applying.
798 // That's a little waste of time, but not doing so would break the tests
799 auto current_property_set = property_sets.back();
801 std::vector<std::string> keys;
802 for (auto const& [key, _] : current_property_set) {
805 std::sort(keys.begin(), keys.end());
806 for (const std::string& key : keys) {
807 if (simgrid::config::is_default(key.c_str())) {
808 std::string cfg = key + ":" + current_property_set.at(key);
809 simgrid::config::set_parse(cfg);
811 XBT_INFO("The custom configuration '%s' is already defined by user!", key.c_str());
813 XBT_DEBUG("End configuration name = %s", A_simgrid_parse_config_id);
815 property_sets.pop_back();
818 static std::vector<std::string> arguments;
820 void STag_simgrid_parse_process()
822 AX_simgrid_parse_actor_function = AX_simgrid_parse_process_function;
823 STag_simgrid_parse_actor();
826 void STag_simgrid_parse_actor()
828 property_sets.emplace_back();
829 arguments.assign(1, A_simgrid_parse_actor_function);
832 void ETag_simgrid_parse_process()
834 AX_simgrid_parse_actor_host = AX_simgrid_parse_process_host;
835 AX_simgrid_parse_actor_function = AX_simgrid_parse_process_function;
836 AX_simgrid_parse_actor_start___time = AX_simgrid_parse_process_start___time;
837 AX_simgrid_parse_actor_kill___time = AX_simgrid_parse_process_kill___time;
838 AX_simgrid_parse_actor_on___failure = (AT_simgrid_parse_actor_on___failure)AX_simgrid_parse_process_on___failure;
839 ETag_simgrid_parse_actor();
842 void ETag_simgrid_parse_actor()
844 simgrid::kernel::routing::ActorCreationArgs actor;
846 actor.properties = property_sets.back();
847 property_sets.pop_back();
849 actor.args.swap(arguments);
850 actor.host = A_simgrid_parse_actor_host;
851 actor.function = A_simgrid_parse_actor_function;
852 actor.start_time = simgrid_parse_get_double(A_simgrid_parse_actor_start___time);
853 actor.kill_time = simgrid_parse_get_double(A_simgrid_parse_actor_kill___time);
855 switch (A_simgrid_parse_actor_on___failure) {
856 case AU_simgrid_parse_actor_on___failure:
857 case A_simgrid_parse_actor_on___failure_DIE:
858 actor.restart_on_failure = false;
860 case A_simgrid_parse_actor_on___failure_RESTART:
861 actor.restart_on_failure = true;
864 simgrid_parse_error("Invalid on failure behavior");
867 sg_platf_new_actor(&actor);
870 void STag_simgrid_parse_argument()
872 arguments.emplace_back(A_simgrid_parse_argument_value);
875 void STag_simgrid_parse_model___prop()
877 XBT_INFO("Deprecated tag <model_prop> ignored");
880 void ETag_simgrid_parse_prop()
881 { /* Nothing to do */
883 void STag_simgrid_parse_random()
884 { /* Nothing to do */
886 void ETag_simgrid_parse_random()
887 { /* Nothing to do */
889 void ETag_simgrid_parse_trace___connect()
890 { /* Nothing to do */
892 void STag_simgrid_parse_trace()
893 { /* Nothing to do */
895 void ETag_simgrid_parse_router()
898 void ETag_simgrid_parse_host___link()
899 { /* Nothing to do */
901 void ETag_simgrid_parse_cabinet()
902 { /* Nothing to do */
904 void ETag_simgrid_parse_peer()
905 { /* Nothing to do */
907 void STag_simgrid_parse_backbone()
908 { /* Nothing to do */
910 void ETag_simgrid_parse_link___ctn()
911 { /* Nothing to do */
913 void ETag_simgrid_parse_argument()
914 { /* Nothing to do */
916 void ETag_simgrid_parse_model___prop()
917 { /* Nothing to do */
920 /* Open and Close parse file */
921 static YY_BUFFER_STATE input_buffer;
923 void simgrid_parse_open(const std::string& file)
925 simgrid_parsed_filename = file;
926 std::string dir = simgrid::xbt::Path(file).get_dir_name();
927 simgrid::xbt::path_push(dir);
929 file_to_parse = simgrid::xbt::path_fopen(file, "r");
930 if (file_to_parse == nullptr)
931 throw std::invalid_argument("Unable to open '" + file + "' from '" + simgrid::xbt::Path().get_name() +
932 "'. Does this file exist?");
933 input_buffer = simgrid_parse__create_buffer(file_to_parse, YY_BUF_SIZE);
934 simgrid_parse__switch_to_buffer(input_buffer);
935 simgrid_parse_lineno = 1;
938 void simgrid_parse_close()
940 simgrid::xbt::path_pop(); // remove the dirname of the opened file, that was added in simgrid_parse_open()
943 simgrid_parse__delete_buffer(input_buffer);
944 fclose(file_to_parse);
945 file_to_parse = nullptr; // Must be reset for Bypass
949 /* Call the lexer to parse the currently opened file */
952 bool err = simgrid_parse_lex();
953 simgrid_parse_assert(not err, "Flex returned an error code");
955 /* Actually connect the traces now that every elements are created */
956 const auto engine = simgrid::s4u::Engine::get_instance();
958 for (auto const& [trace, name] : trace_connect_list_host_avail) {
959 simgrid_parse_assert(traces_set_list.find(trace) != traces_set_list.end(),
960 "<trace_connect kind=\"HOST_AVAIL\">: Trace " + trace + " undefined.");
961 auto profile = traces_set_list.at(trace);
963 auto host = engine->host_by_name_or_null(name);
964 simgrid_parse_assert(host, "<trace_connect kind=\"HOST_AVAIL\">: Host " + name + " undefined.");
965 host->set_state_profile(profile);
967 trace_connect_list_host_avail.clear();
969 for (auto const& [trace, name] : trace_connect_list_host_speed) {
970 simgrid_parse_assert(traces_set_list.find(trace) != traces_set_list.end(),
971 "<trace_connect kind=\"SPEED\">: Trace " + trace + " undefined.");
972 auto profile = traces_set_list.at(trace);
974 auto host = engine->host_by_name_or_null(name);
975 simgrid_parse_assert(host, "<trace_connect kind=\"SPEED\">: Host " + name + " undefined.");
976 host->set_speed_profile(profile);
978 trace_connect_list_host_speed.clear();
980 for (auto const& [trace, name] : trace_connect_list_link_avail) {
981 simgrid_parse_assert(traces_set_list.find(trace) != traces_set_list.end(),
982 "<trace_connect kind=\"LINK_AVAIL\">: Trace " + trace + " undefined.");
983 auto profile = traces_set_list.at(trace);
985 auto link = engine->link_by_name_or_null(name);
986 simgrid_parse_assert(link, "<trace_connect kind=\"LINK_AVAIL\">: Link " + name + " undefined.");
987 link->set_state_profile(profile);
989 trace_connect_list_link_avail.clear();
991 for (auto const& [trace, name] : trace_connect_list_link_bw) {
992 simgrid_parse_assert(traces_set_list.find(trace) != traces_set_list.end(),
993 "<trace_connect kind=\"BANDWIDTH\">: Trace " + trace + " undefined.");
994 auto profile = traces_set_list.at(trace);
996 auto link = engine->link_by_name_or_null(name);
997 simgrid_parse_assert(link, "<trace_connect kind=\"BANDWIDTH\">: Link " + name + " undefined.");
998 link->set_bandwidth_profile(profile);
1000 trace_connect_list_link_bw.clear();
1002 for (auto const& [trace, name] : trace_connect_list_link_lat) {
1003 simgrid_parse_assert(traces_set_list.find(trace) != traces_set_list.end(),
1004 "<trace_connect kind=\"LATENCY\">: Trace " + trace + " undefined.");
1005 auto profile = traces_set_list.at(trace);
1007 auto link = engine->link_by_name_or_null(name);
1008 simgrid_parse_assert(link, "<trace_connect kind=\"LATENCY\">: Link " + name + " undefined.");
1009 link->set_latency_profile(profile);
1011 trace_connect_list_link_lat.clear();