Merge branch 'master' of framagit.org:simgrid/simgrid

diff --combined src/include/xbt/parmap.hpp
index a94e689,fc8f6da..4e073a1
--- 1/src/include/xbt/parmap.hpp
--- 2/src/include/xbt/parmap.hpp
+++ b/src/include/xbt/parmap.hpp
@@@ -10,7 -10,6 +10,6 @@@
  
  #include "src/internal_config.h" // HAVE_FUTEX_H
  #include "src/kernel/context/Context.hpp"
- #include "xbt/xbt_os_thread.h"
  
  #include <boost/optional.hpp>
  #include <condition_variable>
@@@ -163,7 -162,7 +162,7 @@@ template <typename T> Parmap<T>::Parmap
    /* Initialize the thread pool data structure */
    this->status      = PARMAP_WORK;
    this->work_round  = 0;
 -  this->workers.reserve(num_workers);
 +  this->workers.resize(num_workers);
    this->num_workers = num_workers;
    this->synchro     = new_synchro(mode);
  
@@@ -206,6 -205,7 +205,6 @@@ template <typename T> Parmap<T>::~Parma
    for (unsigned i = 1; i < num_workers; i++)
      workers[i]->join();
  
 -  workers.clear();
    delete synchro;
  }