~mutex_t() { xbt_mutex_destroy(mutex); }
void acquire() { xbt_mutex_acquire(mutex); }
void release() { xbt_mutex_release(mutex); }
~mutex_t() { xbt_mutex_destroy(mutex); }
void acquire() { xbt_mutex_acquire(mutex); }
void release() { xbt_mutex_release(mutex); }
~condition_t() { xbt_cond_destroy(cond); }
void broadcast() { xbt_cond_broadcast(cond); }
void signal() { xbt_cond_signal(cond); }
~condition_t() { xbt_cond_destroy(cond); }
void broadcast() { xbt_cond_broadcast(cond); }
void signal() { xbt_cond_signal(cond); }