X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/97e2219ed6c0e511f6165460cec79afadf42f589..f6d049580efc96bccc8da0710e26c49b3914b63d:/src/kernel/EngineImpl.hpp?ds=sidebyside diff --git a/src/kernel/EngineImpl.hpp b/src/kernel/EngineImpl.hpp index 28d6c57563..d2d410897b 100644 --- a/src/kernel/EngineImpl.hpp +++ b/src/kernel/EngineImpl.hpp @@ -29,15 +29,9 @@ #include #include -namespace simgrid { -namespace kernel { +namespace simgrid::kernel { class EngineImpl { - std::map> hosts_; - std::map> links_; - /* save split-duplex links separately, keep links_ with only LinkImpl* seen by the user - * members of a split-duplex are saved in the links_ */ - std::map, std::less<>> split_duplex_links_; std::unordered_map netpoints_; std::unordered_map mailboxes_; @@ -54,16 +48,6 @@ class EngineImpl { boost::intrusive::member_hook, &actor::ActorImpl::kernel_destroy_list_hook>> actors_to_destroy_; -#if SIMGRID_HAVE_MC - /* MCer cannot read members actor_list_ above in the remote process, so we copy the info it needs in a dynar. - * FIXME: This is supposed to be a temporary hack. - * A better solution would be to change the split between MCer and MCed, where the responsibility - * to compute the list of the enabled transitions goes to the MCed. - * That way, the MCer would not need to have the list of actors on its side. - * These info could be published by the MCed to the MCer in a way inspired of vd.so - */ - xbt_dynar_t actors_vector_ = xbt_dynar_new(sizeof(actor::ActorImpl*), nullptr); -#endif static double now_; static EngineImpl* instance_; @@ -141,12 +125,6 @@ public: actor::ActorImpl* get_actor_by_pid(aid_t pid); void add_actor(aid_t pid, actor::ActorImpl* actor) { actor_list_[pid] = actor; } void remove_actor(aid_t pid) { actor_list_.erase(pid); } - void add_split_duplex_link(const std::string& name, std::unique_ptr link); - -#if SIMGRID_HAVE_MC - void reset_actor_dynar() { xbt_dynar_reset(actors_vector_); } - void add_actor_to_dynar(actor::ActorImpl* actor) { xbt_dynar_push_as(actors_vector_, actor::ActorImpl*, actor); } -#endif const std::map& get_actor_list() const { return actor_list_; } const std::vector& get_actors_to_run() const { return actors_to_run_; } @@ -184,7 +162,6 @@ public: static double get_clock(); }; -} // namespace kernel -} // namespace simgrid +} // namespace simgrid::kernel #endif