+ // FIXME: maybe all code needs to lock timer?
+ xbt_os_timer_t timer;
+ smx_mutex_t timer_mutex;
+ smx_cond_t timer_cond;
+
+ // keeps track of previous times
+ double times[SMPI_MAX_TIMES];
+ int times_max;
+ smx_mutex_t times_mutex;
+
+ smx_mutex_t execute_mutex;
+ smx_cond_t execute_cond;