+ parmap->thread_counter = 0;
+ parmap->work++;
+ XBT_DEBUG("Starting work %d", parmap->work);
+
+ /* wake all workers */
+ xbt_os_cond_broadcast(parmap->ready_cond);
+
+ if (parmap->status == XBT_PARMAP_WORK) {
+ /* also work myself */
+ void* work = xbt_parmap_next(parmap);
+ while (work != NULL) {
+ parmap->fun(work);
+ work = xbt_parmap_next(parmap);
+ }
+ }
+
+ unsigned int counter = __sync_add_and_fetch(&parmap->thread_counter, 1);
+ if (counter < parmap->num_workers) {
+ /* some workers have not finished yet */
+ XBT_DEBUG("Some workers have not finished yet, waiting for them");
+ xbt_os_cond_wait(parmap->done_cond, parmap->done_mutex);
+ }