+ if (SIMIX_sem_get_capacity(barrier_semaphore)==-communicator_size +1) { // last arriving
+ SIMIX_sem_release_forever(barrier_semaphore);
+ SIMIX_sem_destroy(barrier_semaphore);
+ barrier_semaphore = NULL;
+ } else { // not last
+ SIMIX_sem_acquire(barrier_semaphore);
+ }
+
+ DEBUG1("Exiting barrier: %s", name);