- xbt_mutex_acquire(checkpoint);
- XBT_INFO("Wait at the checkpoint."); /** - Wait at @ref checkpoint to control the @ref identification of processes */
- while (controlled_process == NULL) xbt_cond_wait(identification, checkpoint);
- MSG_process_migrate(controlled_process, MSG_host_by_name("Jacquelin")); /** - Move an emigrant to Jacquelin */
+ XBT_INFO("Wait at the checkpoint."); /* - block on the mutex+condition */
+ MSG_barrier_wait(barrier);
+ MSG_process_migrate(controlled_process, MSG_host_by_name("Jacquelin")); /* - Move an emigrant to Jacquelin */