uninitaction(NULL),
cv(NULL),
rf_cv(NULL),
+ trace_ref(NULL),
+ thrdmap_ref(NULL),
+ action_ref(NULL),
value(value),
type(type),
order(order),
seq_number(ACTION_INITIAL_CLOCK)
{
/* References to NULL atomic variables can end up here */
- ASSERT(loc || type == ATOMIC_FENCE || type == NOOP);
+ ASSERT(loc || type == ATOMIC_FENCE);
Thread *t = thread ? thread : thread_current();
this->tid = t!= NULL ? t->get_id() : -1;
uninitaction(NULL),
cv(NULL),
rf_cv(NULL),
+ trace_ref(NULL),
+ thrdmap_ref(NULL),
+ action_ref(NULL),
value(value),
type(type),
order(order),
uninitaction(NULL),
cv(NULL),
rf_cv(NULL),
+ trace_ref(NULL),
+ thrdmap_ref(NULL),
+ action_ref(NULL),
value(value),
type(type),
order(order),
uninitaction(NULL),
cv(NULL),
rf_cv(NULL),
+ trace_ref(NULL),
+ thrdmap_ref(NULL),
+ action_ref(NULL),
value(value),
type(type),
order(order),
uninitaction(NULL),
cv(NULL),
rf_cv(NULL),
+ trace_ref(NULL),
+ thrdmap_ref(NULL),
+ action_ref(NULL),
value(value),
type(type),
order(order),