- model->switch_to_master(new ModelAction(ATOMIC_TIMEDWAIT, std::memory_order_seq_cst, v, (uint64_t) m));
+ uint64_t time = abstime->tv_sec * 1000000000 + abstime->tv_nsec;
+ ModelAction * timed_wait = new ModelAction(ATOMIC_TIMEDWAIT, std::memory_order_seq_cst, v, (uint64_t) m);
+ timed_wait->set_time(time);
+ if (model->switch_thread(timed_wait) == ETIMEDOUT) {
+ //model_print("thread %u wait timedout\n", thread_current_id());
+ return ETIMEDOUT;
+ }