task = MSG_task_create("finalize", 0.0, 0, NULL);
MSG_task_send(task, get_data_mbox());
xbt_mutex_acquire(mutex);
while (receiver_process) {
task = MSG_task_create("finalize", 0.0, 0, NULL);
MSG_task_send(task, get_data_mbox());
xbt_mutex_acquire(mutex);
while (receiver_process) {