ModelAction * get_reads_from() const { return reads_from; }
cdsc::mutex * get_mutex() const;
- Node * get_node() const;
- void set_node(Node *n) { node = n; }
-
void set_read_from(ModelAction *act);
/** Store the most recent fence-release from the same thread
/* to accomodate pthread create and join */
Thread * thread_operand;
void set_thread_operand(Thread *th) { thread_operand = th; }
+ void set_uninit_action(ModelAction *act) { uninitaction = act; }
+ ModelAction * get_uninit_action() { return uninitaction; }
SNAPSHOTALLOC
private:
const char * get_type_str() const;
/** @brief The last fence release from the same thread */
const ModelAction *last_fence_release;
-
- /**
- * @brief A back reference to a Node in NodeStack
- *
- * Only set if this ModelAction is saved on the NodeStack. (A
- * ModelAction can be thrown away before it ever enters the NodeStack.)
- */
- Node *node;
-
+ ModelAction * uninitaction;
+
/**
* @brief The clock vector for this operation
*
*/
ClockVector *cv;
ClockVector *rf_cv;
-
+
/** @brief The value written (for write or RMW; undefined for read) */
uint64_t value;