+
+ /* For the parallel execution */
+ simgrid::xbt::Parmap<smx_actor_t>* parmap_;
+ std::vector<SwappedContext*> workers_context_; /* space to save the worker's context in each thread */
+ std::atomic<uintptr_t> threads_working_; /* number of threads that have started their work */