xbt_barrier_init(parmap->workers_ready, num_workers + 1);
parmap->workers_done = xbt_new0(s_xbt_barrier_t, 1);
xbt_barrier_init(parmap->workers_done, num_workers + 1);
xbt_barrier_init(parmap->workers_ready, num_workers + 1);
parmap->workers_done = xbt_new0(s_xbt_barrier_t, 1);
xbt_barrier_init(parmap->workers_done, num_workers + 1);