From: SUTER Frederic <frederic.suter@cc.in2p3.fr>
Date: Tue, 14 Sep 2021 11:31:02 +0000 (+0200)
Subject: Merge branch 'master' of https://framagit.org/simgrid/simgrid into no_simix_global
X-Git-Tag: v3.29~80^2~10
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/237fd22b56db7d1c67360c37559ce3aab16a002d

Merge branch 'master' of https://framagit.org/simgrid/simgrid into no_simix_global
---

237fd22b56db7d1c67360c37559ce3aab16a002d
diff --cc src/kernel/EngineImpl.hpp
index 3a32bc9d83,b448c0693b..a775191b4e
--- a/src/kernel/EngineImpl.hpp
+++ b/src/kernel/EngineImpl.hpp
@@@ -64,11 -68,9 +68,11 @@@ class EngineImpl 
  #endif
  
    std::vector<xbt::Task<void()>> tasks;
-   std::vector<xbt::Task<void()>> tasksTemp;
  
    std::mutex mutex_;
 +  static EngineImpl* instance_;
 +
+   std::unique_ptr<void, std::function<int(void*)>> platf_handle_; //!< handle for platform library
    friend s4u::Engine;
  
  public:
@@@ -79,9 -79,8 +83,10 @@@
    EngineImpl(const EngineImpl&) = delete;
    EngineImpl& operator=(const EngineImpl&) = delete;
    virtual ~EngineImpl();
 +  static void shutdown();
 +#endif
  
+   void load_platform(const std::string& platf);
    void load_deployment(const std::string& file) const;
    void register_function(const std::string& name, const actor::ActorCodeFactory& code);
    void register_default(const actor::ActorCodeFactory& code);