smpi_global->timer = xbt_os_timer_new();
smpi_global->timer_mutex = SIMIX_mutex_init();
smpi_global->timer_cond = SIMIX_cond_init();
+
smpi_global->times_max = 0;
smpi_global->times_mutex = SIMIX_mutex_init();
+ smpi_global->execute_mutex = SIMIX_mutex_init();
+ smpi_global->execute_cond = SIMIX_cond_init();
+
for (i = 0; i < size; i++) {
smpi_global->pending_send_request_queues[i] = xbt_fifo_new();
smpi_global->pending_send_request_queues_mutexes[i] = SIMIX_mutex_init();
SIMIX_mutex_destroy(smpi_global->timer_mutex);
SIMIX_cond_destroy(smpi_global->timer_cond);
SIMIX_mutex_destroy(smpi_global->times_mutex);
+ SIMIX_mutex_destroy(smpi_global->execute_mutex);
+ SIMIX_cond_destroy(smpi_global->execute_cond);
for(i = 0; i < size; i++) {
xbt_fifo_free(smpi_global->pending_send_request_queues[i]);