/* 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 */
/* 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 */