/* References to NULL atomic variables can end up here */
ASSERT(loc);
this->size = size;
- Thread *t = thread_current();
- this->tid = t->get_id();
+ this->tid = thread_current_id();
}
/* References to NULL atomic variables can end up here */
ASSERT(loc);
this->size = size;
- Thread *t = thread_current();
- this->tid = t->get_id();
+ this->tid = thread_current_id();
}
return type == ATOMIC_WAIT || type == ATOMIC_TIMEDWAIT;
}
+bool ModelAction::is_timedwait() const {
+ return type == ATOMIC_TIMEDWAIT;
+}
+
bool ModelAction::is_notify() const {
return type == ATOMIC_NOTIFY_ONE || type == ATOMIC_NOTIFY_ALL;
}