- void wait(mutex_t& mutex) { xbt_cond_wait(cond, mutex.get()); }
- void timedwait(mutex_t& mutex, double delay) {
- xbt_cond_timedwait(cond, mutex.get(), delay);
+ void wait(mutex_t& mutex) { xbt_cond_wait(cond, mutex.mutex); }
+ bool timedwait(mutex_t& mutex, double delay) {
+ if (xbt_cond_timedwait(cond, mutex.mutex, delay)) {
+ mutex.acquire();
+ return false; // got a timeout
+ }
+ return true;