]> AND Public Git Repository - simgrid.git/blobdiff - src/simix/smx_private.hpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
SIMIX_host_autorestart was a duplicate of host->turn_on
[simgrid.git] / src / simix / smx_private.hpp
index bcbb2f6a8d91d573703fc73e1991561eb9c6b935..ea586f129a84b8ad8ea444323a11a84796ea5649 100644 (file)
@@ -8,8 +8,11 @@
 
 #include "simgrid/s4u/Actor.hpp"
 #include "src/kernel/context/Context.hpp"
+#include "src/simix/ActorImpl.hpp"
 #include <xbt/xbt_os_thread.h>
 
+#include <boost/intrusive/list.hpp>
+#include <mutex>
 #include <unordered_map>
 #include <vector>
 
@@ -54,7 +57,7 @@ public:
   void_pfn_smxprocess_t kill_process_function = nullptr;
   /** Callback used when killing a SMX_process */
   void_pfn_smxprocess_t cleanup_process_function = nullptr;
-  xbt_os_mutex_t mutex                           = nullptr;
+  std::mutex mutex;
 
   std::vector<simgrid::xbt::Task<void()>> tasks;
   std::vector<simgrid::xbt::Task<void()>> tasksTemp;