last_fence_release(NULL),
node(NULL),
seq_number(ACTION_INITIAL_CLOCK),
- cv(NULL),
- sleep_flag(false)
+ cv(NULL)
{
/* References to NULL atomic variables can end up here */
ASSERT(loc || type == ATOMIC_FENCE);
return hash;
}
-/**
- * @brief Checks the NodeStack to see if a ModelAction is in our may-read-from set
- * @param write The ModelAction to check for
- * @return True if the ModelAction is found; false otherwise
- */
-bool ModelAction::may_read_from(const ModelAction *write) const
-{
- for (int i = 0; i < node->get_read_from_past_size(); i++)
- if (node->get_read_from_past(i) == write)
- return true;
- return false;
-}
-
/**
* Only valid for LOCK, TRY_LOCK, UNLOCK, and WAIT operations.
* @return The mutex operated on by this action, if any; otherwise NULL