Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
39b693659e93aafd7b2e54fa6d6ed33e213b175a
[simgrid.git] / src / kernel / routing / NetZoneImpl.cpp
1 /* Copyright (c) 2006-2022. The SimGrid Team. All rights reserved.          */
2
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. */
5
6 #include <simgrid/kernel/routing/NetPoint.hpp>
7 #include <simgrid/kernel/routing/NetZoneImpl.hpp>
8 #include <simgrid/s4u/Engine.hpp>
9 #include <simgrid/s4u/Host.hpp>
10
11 #include "src/include/simgrid/sg_config.hpp"
12 #include "src/kernel/EngineImpl.hpp"
13 #include "src/kernel/resource/CpuImpl.hpp"
14 #include "src/kernel/resource/DiskImpl.hpp"
15 #include "src/kernel/resource/SplitDuplexLinkImpl.hpp"
16 #include "src/surf/HostImpl.hpp"
17
18 #include "src/kernel/resource/StandardLinkImpl.hpp"
19
20 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(ker_routing, kernel, "Kernel routing-related information");
21
22 namespace simgrid {
23 namespace kernel {
24 namespace routing {
25
26 /* Pick the right models for CPU, net and host, and call their model_init_preparse */
27 static void surf_config_models_setup()
28 {
29   std::string host_model_name    = simgrid::config::get_value<std::string>("host/model");
30   std::string network_model_name = simgrid::config::get_value<std::string>("network/model");
31   std::string cpu_model_name     = simgrid::config::get_value<std::string>("cpu/model");
32   std::string disk_model_name    = simgrid::config::get_value<std::string>("disk/model");
33
34   /* The compound host model is needed when using non-default net/cpu models */
35   if ((not simgrid::config::is_default("network/model") || not simgrid::config::is_default("cpu/model")) &&
36       simgrid::config::is_default("host/model")) {
37     host_model_name = "compound";
38     simgrid::config::set_value("host/model", host_model_name);
39   }
40
41   XBT_DEBUG("host model: %s", host_model_name.c_str());
42   if (host_model_name == "compound") {
43     xbt_assert(not cpu_model_name.empty(), "Set a cpu model to use with the 'compound' host model");
44     xbt_assert(not network_model_name.empty(), "Set a network model to use with the 'compound' host model");
45
46     const auto* cpu_model = find_model_description(surf_cpu_model_description, cpu_model_name);
47     cpu_model->model_init_preparse();
48
49     const auto* network_model = find_model_description(surf_network_model_description, network_model_name);
50     network_model->model_init_preparse();
51   }
52
53   XBT_DEBUG("Call host_model_init");
54   const auto* host_model = find_model_description(surf_host_model_description, host_model_name);
55   host_model->model_init_preparse();
56
57   XBT_DEBUG("Call vm_model_init");
58   /* ideally we should get back the pointer to CpuModel from model_init_preparse(), but this
59    * requires changing the declaration of surf_cpu_model_description.
60    * To be reviewed in the future */
61   surf_vm_model_init_HL13(
62       simgrid::s4u::Engine::get_instance()->get_netzone_root()->get_impl()->get_cpu_pm_model().get());
63
64   XBT_DEBUG("Call disk_model_init");
65   const auto* disk_model = find_model_description(surf_disk_model_description, disk_model_name);
66   disk_model->model_init_preparse();
67 }
68
69 xbt::signal<void(bool symmetrical, kernel::routing::NetPoint* src, kernel::routing::NetPoint* dst,
70                  kernel::routing::NetPoint* gw_src, kernel::routing::NetPoint* gw_dst,
71                  std::vector<kernel::resource::StandardLinkImpl*> const& link_list)>
72     NetZoneImpl::on_route_creation;
73
74 NetZoneImpl::NetZoneImpl(const std::string& name) : piface_(this), name_(name)
75 {
76   auto* engine = s4u::Engine::get_instance();
77   /* workaroud: first netzoneImpl will be the root netzone.
78    * Without globals and with current surf_*_model_description init functions, we need
79    * the root netzone to exist when creating the models.
80    * This was usually done at sg_platf.cpp, during XML parsing */
81   if (not engine->get_netzone_root()) {
82     engine->set_netzone_root(&piface_);
83     /* root netzone set, initialize models */
84     simgrid::s4u::Engine::on_platform_creation();
85
86     /* Initialize the surf models. That must be done after we got all config, and before we need the models.
87      * That is, after the last <config> tag, if any, and before the first of cluster|peer|zone|trace|trace_cb
88      *
89      * I'm not sure for <trace> and <trace_cb>, there may be a bug here
90      * (FIXME: check it out by creating a file beginning with one of these tags)
91      * but cluster and peer come down to zone creations, so putting this verification here is correct.
92      */
93     surf_config_models_setup();
94   }
95
96   xbt_assert(nullptr == engine->netpoint_by_name_or_null(get_name()),
97              "Refusing to create a second NetZone called '%s'.", get_cname());
98   netpoint_ = new NetPoint(name_, NetPoint::Type::NetZone);
99   XBT_DEBUG("NetZone '%s' created with the id '%lu'", get_cname(), netpoint_->id());
100   _sg_cfg_init_status = 2; /* HACK: direct access to the global controlling the level of configuration to prevent
101                             * any further config now that we created some real content */
102   simgrid::s4u::NetZone::on_creation(piface_); // notify the signal
103 }
104
105 NetZoneImpl::~NetZoneImpl()
106 {
107   for (auto const& nz : children_)
108     delete nz;
109
110   for (auto const& kv : bypass_routes_)
111     delete kv.second;
112
113   s4u::Engine::get_instance()->netpoint_unregister(netpoint_);
114 }
115
116 void NetZoneImpl::add_child(NetZoneImpl* new_zone)
117 {
118   xbt_assert(not sealed_, "Cannot add a new child to the sealed zone %s", get_cname());
119   /* set the parent behavior */
120   hierarchy_ = RoutingMode::recursive;
121   children_.push_back(new_zone);
122 }
123
124 /** @brief Returns the list of the hosts found in this NetZone (not recursively)
125  *
126  * Only the hosts that are directly contained in this NetZone are retrieved,
127  * not the ones contained in sub-netzones.
128  */
129 std::vector<s4u::Host*> NetZoneImpl::get_all_hosts() const
130 {
131   std::vector<s4u::Host*> res;
132   for (auto const& card : get_vertices()) {
133     s4u::Host* host = s4u::Host::by_name_or_null(card->get_name());
134     if (host != nullptr)
135       res.push_back(host);
136   }
137   return res;
138 }
139 int NetZoneImpl::get_host_count() const
140 {
141   int count = 0;
142   for (auto const& card : get_vertices()) {
143     const s4u::Host* host = s4u::Host::by_name_or_null(card->get_name());
144     if (host != nullptr)
145       count++;
146   }
147   return count;
148 }
149
150 s4u::Host* NetZoneImpl::create_host(const std::string& name, const std::vector<double>& speed_per_pstate)
151 {
152   xbt_assert(cpu_model_pm_,
153              "Impossible to create host: %s. Invalid CPU model: nullptr. Have you set the parent of this NetZone: %s?",
154              name.c_str(), get_cname());
155   xbt_assert(not sealed_, "Impossible to create host: %s. NetZone %s already sealed", name.c_str(), get_cname());
156   auto* res = (new resource::HostImpl(name))->get_iface();
157   res->set_netpoint((new NetPoint(name, NetPoint::Type::Host))->set_englobing_zone(this));
158
159   cpu_model_pm_->create_cpu(res, speed_per_pstate);
160
161   return res;
162 }
163
164 s4u::Link* NetZoneImpl::create_link(const std::string& name, const std::vector<double>& bandwidths)
165 {
166   xbt_assert(
167       network_model_,
168       "Impossible to create link: %s. Invalid network model: nullptr. Have you set the parent of this NetZone: %s?",
169       name.c_str(), get_cname());
170   xbt_assert(not sealed_, "Impossible to create link: %s. NetZone %s already sealed", name.c_str(), get_cname());
171   return network_model_->create_link(name, bandwidths)->get_iface();
172 }
173
174 s4u::SplitDuplexLink* NetZoneImpl::create_split_duplex_link(const std::string& name,
175                                                             const std::vector<double>& bandwidths)
176 {
177   xbt_assert(
178       network_model_,
179       "Impossible to create link: %s. Invalid network model: nullptr. Have you set the parent of this NetZone: %s?",
180       name.c_str(), get_cname());
181   xbt_assert(not sealed_, "Impossible to create link: %s. NetZone %s already sealed", name.c_str(), get_cname());
182
183   auto* link_up                  = network_model_->create_link(name + "_UP", bandwidths);
184   auto* link_down                = network_model_->create_link(name + "_DOWN", bandwidths);
185   auto link                      = std::make_unique<resource::SplitDuplexLinkImpl>(name, link_up, link_down);
186   auto* link_iface               = link->get_iface();
187   EngineImpl::get_instance()->add_split_duplex_link(name, std::move(link));
188   return link_iface;
189 }
190
191 s4u::Disk* NetZoneImpl::create_disk(const std::string& name, double read_bandwidth, double write_bandwidth)
192 {
193   xbt_assert(disk_model_,
194              "Impossible to create disk: %s. Invalid disk model: nullptr. Have you set the parent of this NetZone: %s?",
195              name.c_str(), get_cname());
196   xbt_assert(not sealed_, "Impossible to create disk: %s. NetZone %s already sealed", name.c_str(), get_cname());
197   auto* l = disk_model_->create_disk(name, read_bandwidth, write_bandwidth);
198
199   return l->get_iface();
200 }
201
202 NetPoint* NetZoneImpl::create_router(const std::string& name)
203 {
204   xbt_assert(nullptr == s4u::Engine::get_instance()->netpoint_by_name_or_null(name),
205              "Refusing to create a router named '%s': this name already describes a node.", name.c_str());
206   xbt_assert(not sealed_, "Impossible to create router: %s. NetZone %s already sealed", name.c_str(), get_cname());
207
208   return (new NetPoint(name, NetPoint::Type::Router))->set_englobing_zone(this);
209 }
210
211 unsigned long NetZoneImpl::add_component(NetPoint* elm)
212 {
213   vertices_.push_back(elm);
214   return vertices_.size() - 1; // The rank of the newly created object
215 }
216
217 std::vector<resource::StandardLinkImpl*> NetZoneImpl::get_link_list_impl(const std::vector<s4u::LinkInRoute>& link_list,
218                                                                          bool backroute) const
219 {
220   std::vector<resource::StandardLinkImpl*> links;
221
222   for (const auto& link : link_list) {
223     if (link.get_link()->get_sharing_policy() != s4u::Link::SharingPolicy::SPLITDUPLEX) {
224       links.push_back(link.get_link()->get_impl());
225       continue;
226     }
227     // split-duplex links
228     const auto* sd_link = dynamic_cast<const s4u::SplitDuplexLink*>(link.get_link());
229     xbt_assert(sd_link,
230                "Add_route: cast to SpliDuplexLink impossible. This should not happen, please contact SimGrid team");
231     resource::StandardLinkImpl* link_impl;
232     switch (link.get_direction()) {
233       case s4u::LinkInRoute::Direction::UP:
234         if (backroute)
235           link_impl = sd_link->get_link_down()->get_impl();
236         else
237           link_impl = sd_link->get_link_up()->get_impl();
238         break;
239       case s4u::LinkInRoute::Direction::DOWN:
240         if (backroute)
241           link_impl = sd_link->get_link_up()->get_impl();
242         else
243           link_impl = sd_link->get_link_down()->get_impl();
244         break;
245       default:
246         throw std::invalid_argument("Invalid add_route. Split-Duplex link without a direction: " +
247                                     link.get_link()->get_name());
248     }
249     links.push_back(link_impl);
250   }
251   return links;
252 }
253
254 void NetZoneImpl::add_route(NetPoint* /*src*/, NetPoint* /*dst*/, NetPoint* /*gw_src*/, NetPoint* /*gw_dst*/,
255                             const std::vector<s4u::LinkInRoute>& /*link_list_*/, bool /*symmetrical*/)
256 {
257   xbt_die("NetZone '%s' does not accept new routes (wrong class).", get_cname());
258 }
259
260 void NetZoneImpl::add_bypass_route(NetPoint* src, NetPoint* dst, NetPoint* gw_src, NetPoint* gw_dst,
261                                    const std::vector<s4u::LinkInRoute>& link_list)
262 {
263   /* Argument validity checks */
264   if (gw_dst) {
265     XBT_DEBUG("Load bypassNetzoneRoute from %s@%s to %s@%s", src->get_cname(), gw_src->get_cname(), dst->get_cname(),
266               gw_dst->get_cname());
267     xbt_assert(not link_list.empty(), "Bypass route between %s@%s and %s@%s cannot be empty.", src->get_cname(),
268                gw_src->get_cname(), dst->get_cname(), gw_dst->get_cname());
269     xbt_assert(bypass_routes_.find({src, dst}) == bypass_routes_.end(),
270                "The bypass route between %s@%s and %s@%s already exists.", src->get_cname(), gw_src->get_cname(),
271                dst->get_cname(), gw_dst->get_cname());
272   } else {
273     XBT_DEBUG("Load bypassRoute from %s to %s", src->get_cname(), dst->get_cname());
274     xbt_assert(not link_list.empty(), "Bypass route between %s and %s cannot be empty.", src->get_cname(),
275                dst->get_cname());
276     xbt_assert(bypass_routes_.find({src, dst}) == bypass_routes_.end(),
277                "The bypass route between %s and %s already exists.", src->get_cname(), dst->get_cname());
278   }
279
280   /* Build a copy that will be stored in the dict */
281   auto* newRoute = new BypassRoute(gw_src, gw_dst);
282   auto converted_list = get_link_list_impl(link_list, false);
283   newRoute->links.insert(newRoute->links.end(), begin(converted_list), end(converted_list));
284
285   /* Store it */
286   bypass_routes_.insert({{src, dst}, newRoute});
287 }
288
289 /** @brief Get the common ancestor and its first children in each line leading to src and dst
290  *
291  * In the recursive case, this sets common_ancestor, src_ancestor and dst_ancestor are set as follows.
292  * @verbatim
293  *         platform root
294  *               |
295  *              ...                <- possibly long path
296  *               |
297  *         common_ancestor
298  *           /        \
299  *          /          \
300  *         /            \          <- direct links
301  *        /              \
302  *       /                \
303  *  src_ancestor     dst_ancestor  <- must be different in the recursive case
304  *      |                   |
305  *     ...                 ...     <-- possibly long paths (one hop or more)
306  *      |                   |
307  *     src                 dst
308  *  @endverbatim
309  *
310  *  In the base case (when src and dst are in the same netzone), things are as follows:
311  *  @verbatim
312  *                  platform root
313  *                        |
314  *                       ...                      <-- possibly long path
315  *                        |
316  * common_ancestor==src_ancestor==dst_ancestor    <-- all the same value
317  *                   /        \
318  *                  /          \                  <-- direct links (exactly one hop)
319  *                 /            \
320  *              src              dst
321  *  @endverbatim
322  *
323  * A specific recursive case occurs when src is the ancestor of dst. In this case,
324  * the base case routing should be used so the common_ancestor is specifically set
325  * to src_ancestor==dst_ancestor.
326  * Naturally, things are completely symmetrical if dst is the ancestor of src.
327  * @verbatim
328  *            platform root
329  *                  |
330  *                 ...                <-- possibly long path
331  *                  |
332  *  src == src_ancestor==dst_ancestor==common_ancestor <-- same value
333  *                  |
334  *                 ...                <-- possibly long path (one hop or more)
335  *                  |
336  *                 dst
337  *  @endverbatim
338  */
339 static void find_common_ancestors(const NetPoint* src, const NetPoint* dst,
340                                   /* OUT */ NetZoneImpl** common_ancestor, NetZoneImpl** src_ancestor,
341                                   NetZoneImpl** dst_ancestor)
342 {
343   /* Deal with the easy base case */
344   if (src->get_englobing_zone() == dst->get_englobing_zone()) {
345     *common_ancestor = src->get_englobing_zone();
346     *src_ancestor    = *common_ancestor;
347     *dst_ancestor    = *common_ancestor;
348     return;
349   }
350
351   /* engage the full recursive search */
352
353   /* (1) find the path to root of src and dst*/
354   const NetZoneImpl* src_as = src->get_englobing_zone();
355   const NetZoneImpl* dst_as = dst->get_englobing_zone();
356
357   xbt_assert(src_as, "Host %s must be in a netzone", src->get_cname());
358   xbt_assert(dst_as, "Host %s must be in a netzone", dst->get_cname());
359
360   /* (2) find the path to the root routing component */
361   std::vector<NetZoneImpl*> path_src;
362   NetZoneImpl* current = src->get_englobing_zone();
363   while (current != nullptr) {
364     path_src.push_back(current);
365     current = current->get_parent();
366   }
367   std::vector<NetZoneImpl*> path_dst;
368   current = dst->get_englobing_zone();
369   while (current != nullptr) {
370     path_dst.push_back(current);
371     current = current->get_parent();
372   }
373
374   /* (3) find the common parent.
375    * Before that, index_src and index_dst may be different, they both point to nullptr in path_src/path_dst
376    * So we move them down simultaneously as long as they point to the same content.
377    *
378    * This works because all SimGrid platform have a unique root element (that is the last element of both paths).
379    */
380   NetZoneImpl* parent = nullptr; // the netzone we dropped on the previous loop iteration
381   while (path_src.size() > 1 && path_dst.size() > 1 && path_src.back() == path_dst.back()) {
382     parent = path_src.back();
383     path_src.pop_back();
384     path_dst.pop_back();
385   }
386
387   /* (4) we found the difference at least. Finalize the returned values */
388   *src_ancestor = path_src.back();                  /* the first different parent of src */
389   *dst_ancestor = path_dst.back();                  /* the first different parent of dst */
390   if (*src_ancestor == *dst_ancestor) {             // src is the ancestor of dst, or the contrary
391     *common_ancestor = *src_ancestor;
392   } else {
393     xbt_assert(parent != nullptr);
394     *common_ancestor = parent;
395   }
396 }
397
398 /* PRECONDITION: this is the common ancestor of src and dst */
399 bool NetZoneImpl::get_bypass_route(const NetPoint* src, const NetPoint* dst,
400                                    /* OUT */ std::vector<resource::StandardLinkImpl*>& links, double* latency,
401                                    std::unordered_set<NetZoneImpl*>& netzones)
402 {
403   // If never set a bypass route return nullptr without any further computations
404   if (bypass_routes_.empty())
405     return false;
406
407   /* Base case, no recursion is needed */
408   if (dst->get_englobing_zone() == this && src->get_englobing_zone() == this) {
409     if (bypass_routes_.find({src, dst}) != bypass_routes_.end()) {
410       const BypassRoute* bypassedRoute = bypass_routes_.at({src, dst});
411       add_link_latency(links, bypassedRoute->links, latency);
412       XBT_DEBUG("Found a bypass route from '%s' to '%s' with %zu links", src->get_cname(), dst->get_cname(),
413                 bypassedRoute->links.size());
414       return true;
415     }
416     return false;
417   }
418
419   /* Engage recursive search */
420
421   /* (1) find the path to the root routing component */
422   std::vector<NetZoneImpl*> path_src;
423   NetZoneImpl* current = src->get_englobing_zone();
424   while (current != nullptr) {
425     path_src.push_back(current);
426     current = current->parent_;
427   }
428
429   std::vector<NetZoneImpl*> path_dst;
430   current = dst->get_englobing_zone();
431   while (current != nullptr) {
432     path_dst.push_back(current);
433     current = current->parent_;
434   }
435
436   /* (2) find the common parent */
437   while (path_src.size() > 1 && path_dst.size() > 1 && path_src.back() == path_dst.back()) {
438     path_src.pop_back();
439     path_dst.pop_back();
440   }
441
442   /* (3) Search for a bypass making the path up to the ancestor useless */
443   const BypassRoute* bypassedRoute = nullptr;
444   std::pair<kernel::routing::NetPoint*, kernel::routing::NetPoint*> key;
445   // Search for a bypass with the given indices. Returns true if found. Initialize variables `bypassedRoute' and `key'.
446   auto lookup = [&bypassedRoute, &key, &path_src, &path_dst, this](unsigned src_index, unsigned dst_index) {
447     if (src_index < path_src.size() && dst_index < path_dst.size()) {
448       key      = {path_src[src_index]->netpoint_, path_dst[dst_index]->netpoint_};
449       auto bpr = bypass_routes_.find(key);
450       if (bpr != bypass_routes_.end()) {
451         bypassedRoute = bpr->second;
452         return true;
453       }
454     }
455     return false;
456   };
457
458   for (unsigned max = 0, max_index = std::max(path_src.size(), path_dst.size()); max < max_index; max++) {
459     for (unsigned i = 0; i < max; i++) {
460       if (lookup(i, max) || lookup(max, i))
461         break;
462     }
463     if (bypassedRoute || lookup(max, max))
464       break;
465   }
466
467   /* (4) If we have the bypass, use it. If not, caller will do the Right Thing. */
468   if (bypassedRoute) {
469     XBT_DEBUG("Found a bypass route from '%s' to '%s' with %zu links. We may have to complete it with recursive "
470               "calls to getRoute",
471               src->get_cname(), dst->get_cname(), bypassedRoute->links.size());
472     if (src != key.first)
473       get_global_route_with_netzones(src, bypassedRoute->gw_src, links, latency, netzones);
474     add_link_latency(links, bypassedRoute->links, latency);
475     if (dst != key.second)
476       get_global_route_with_netzones(bypassedRoute->gw_dst, dst, links, latency, netzones);
477     return true;
478   }
479   XBT_DEBUG("No bypass route from '%s' to '%s'.", src->get_cname(), dst->get_cname());
480   return false;
481 }
482
483 void NetZoneImpl::get_global_route(const NetPoint* src, const NetPoint* dst,
484                                    /* OUT */ std::vector<resource::StandardLinkImpl*>& links, double* latency)
485 {
486   std::unordered_set<NetZoneImpl*> netzones;
487   get_global_route_with_netzones(src, dst, links, latency, netzones);
488 }
489
490 void NetZoneImpl::get_global_route_with_netzones(const NetPoint* src, const NetPoint* dst,
491                                                  /* OUT */ std::vector<resource::StandardLinkImpl*>& links,
492                                                  double* latency, std::unordered_set<NetZoneImpl*>& netzones)
493 {
494   Route route;
495
496   XBT_DEBUG("Resolve route from '%s' to '%s'", src->get_cname(), dst->get_cname());
497
498   /* Find how src and dst are interconnected */
499   NetZoneImpl* common_ancestor;
500   NetZoneImpl* src_ancestor;
501   NetZoneImpl* dst_ancestor;
502   find_common_ancestors(src, dst, &common_ancestor, &src_ancestor, &dst_ancestor);
503   XBT_DEBUG("find_common_ancestors: common ancestor '%s' src ancestor '%s' dst ancestor '%s'",
504             common_ancestor->get_cname(), src_ancestor->get_cname(), dst_ancestor->get_cname());
505
506   netzones.insert(src->get_englobing_zone());
507   netzones.insert(dst->get_englobing_zone());
508   netzones.insert(common_ancestor);
509   /* Check whether a direct bypass is defined. If so, use it and bail out */
510   if (common_ancestor->get_bypass_route(src, dst, links, latency, netzones))
511     return;
512
513   /* If src and dst are in the same netzone, life is good */
514   if (src_ancestor == dst_ancestor) { /* SURF_ROUTING_BASE */
515     route.link_list_ = std::move(links);
516     common_ancestor->get_local_route(src, dst, &route, latency);
517     links = std::move(route.link_list_);
518     return;
519   }
520
521   /* Not in the same netzone, no bypass. We'll have to find our path between the netzones recursively */
522   common_ancestor->get_local_route(src_ancestor->netpoint_, dst_ancestor->netpoint_, &route, latency);
523   xbt_assert((route.gw_src_ != nullptr) && (route.gw_dst_ != nullptr), "Bad gateways for route from '%s' to '%s'.",
524              src->get_cname(), dst->get_cname());
525
526   /* If source gateway is not our source, we have to recursively find our way up to this point */
527   if (src != route.gw_src_)
528     get_global_route_with_netzones(src, route.gw_src_, links, latency, netzones);
529   links.insert(links.end(), begin(route.link_list_), end(route.link_list_));
530
531   /* If dest gateway is not our destination, we have to recursively find our way from this point */
532   if (route.gw_dst_ != dst)
533     get_global_route_with_netzones(route.gw_dst_, dst, links, latency, netzones);
534 }
535
536 void NetZoneImpl::seal()
537 {
538   /* already sealed netzone */
539   if (sealed_)
540     return;
541   do_seal(); // derived class' specific sealing procedure
542
543   /* seals sub-netzones and hosts */
544   for (auto* host : get_all_hosts()) {
545     host->seal();
546   }
547   for (auto* sub_net : get_children()) {
548     sub_net->seal();
549   }
550   sealed_ = true;
551   s4u::NetZone::on_seal(piface_);
552 }
553
554 void NetZoneImpl::set_parent(NetZoneImpl* parent)
555 {
556   xbt_assert(not sealed_, "Impossible to set parent to an already sealed NetZone(%s)", this->get_cname());
557   parent_ = parent;
558   netpoint_->set_englobing_zone(parent_);
559   if (parent) {
560     /* adding this class as child */
561     parent->add_child(this);
562     /* copying models from parent host, to be reviewed when we allow multi-models */
563     set_network_model(parent->get_network_model());
564     set_cpu_pm_model(parent->get_cpu_pm_model());
565     set_cpu_vm_model(parent->get_cpu_vm_model());
566     set_disk_model(parent->get_disk_model());
567     set_host_model(parent->get_host_model());
568   }
569 }
570
571 void NetZoneImpl::set_network_model(std::shared_ptr<resource::NetworkModel> netmodel)
572 {
573   xbt_assert(not sealed_, "Impossible to set network model to an already sealed NetZone(%s)", this->get_cname());
574   network_model_ = std::move(netmodel);
575 }
576
577 void NetZoneImpl::set_cpu_vm_model(std::shared_ptr<resource::CpuModel> cpu_model)
578 {
579   xbt_assert(not sealed_, "Impossible to set CPU model to an already sealed NetZone(%s)", this->get_cname());
580   cpu_model_vm_ = std::move(cpu_model);
581 }
582
583 void NetZoneImpl::set_cpu_pm_model(std::shared_ptr<resource::CpuModel> cpu_model)
584 {
585   xbt_assert(not sealed_, "Impossible to set CPU model to an already sealed NetZone(%s)", this->get_cname());
586   cpu_model_pm_ = std::move(cpu_model);
587 }
588
589 void NetZoneImpl::set_disk_model(std::shared_ptr<resource::DiskModel> disk_model)
590 {
591   xbt_assert(not sealed_, "Impossible to set disk model to an already sealed NetZone(%s)", this->get_cname());
592   disk_model_ = std::move(disk_model);
593 }
594
595 void NetZoneImpl::set_host_model(std::shared_ptr<resource::HostModel> host_model)
596 {
597   xbt_assert(not sealed_, "Impossible to set host model to an already sealed NetZone(%s)", this->get_cname());
598   host_model_ = std::move(host_model);
599 }
600
601 const NetZoneImpl* NetZoneImpl::get_netzone_recursive(const NetPoint* netpoint) const
602 {
603   xbt_assert(netpoint && netpoint->is_netzone(), "Netpoint %s must be of the type NetZone",
604              netpoint ? netpoint->get_cname() : "nullptr");
605
606   if (netpoint == netpoint_)
607     return this;
608
609   for (const auto* children : children_) {
610     const NetZoneImpl* netzone = children->get_netzone_recursive(netpoint);
611     if (netzone)
612       return netzone;
613   }
614   return nullptr;
615 }
616
617 bool NetZoneImpl::is_component_recursive(const NetPoint* netpoint) const
618 {
619   /* check direct components */
620   if (std::any_of(begin(vertices_), end(vertices_), [netpoint](const auto* elem) { return elem == netpoint; }))
621     return true;
622
623   /* check childrens */
624   return std::any_of(begin(children_), end(children_),
625                      [netpoint](const auto* child) { return child->is_component_recursive(netpoint); });
626 }
627 } // namespace routing
628 } // namespace kernel
629 } // namespace simgrid