- xbt_mutex_acquire(mutex);
- XBT_INFO("Wait a bit before migrating the emigrant.");
- while (process_to_migrate == NULL) xbt_cond_wait(cond, mutex);
- MSG_process_migrate(process_to_migrate, MSG_host_by_name("Jacquelin"));
+ xbt_mutex_acquire(checkpoint);
+ XBT_INFO("Wait at the checkpoint."); /* - block on the mutex+condition */
+ while (controlled_process == NULL) xbt_cond_wait(identification, checkpoint);
+ MSG_process_migrate(controlled_process, MSG_host_by_name("Jacquelin")); /* - Move an emigrant to Jacquelin */