*/
#define VALUE_NONE 0xdeadbeef
+/**
+ * @brief The "location" at which a fence occurs
+ *
+ * We need a non-zero memory location to associate with fences, since our hash
+ * tables don't handle NULL-pointer keys. HACK: Hopefully this doesn't collide
+ * with any legitimate memory locations.
+ */
+#define FENCE_LOCATION ((void *)0x7)
+
/** @brief Represents an action type, identifying one of several types of
* ModelAction */
typedef enum action_type {
ATOMIC_UNLOCK, /**< An unlock action */
ATOMIC_NOTIFY_ONE, /**< A notify_one action */
ATOMIC_NOTIFY_ALL, /**< A notify all action */
- ATOMIC_WAIT /**< A wait action */
+ ATOMIC_WAIT, /**< A wait action */
+ ATOMIC_ANNOTATION /**< An annotation action to pass information
+ to a trace analysis */
} action_type_t;
/* Forward declaration */
bool is_rmw() const;
bool is_fence() const;
bool is_initialization() const;
+ bool is_annotation() const;
bool is_relaxed() const;
bool is_acquire() const;
bool is_release() const;
MEMALLOC
private:
+ const char * get_type_str() const;
+ const char * get_mo_str() const;
+
/** @brief Type of action (read, write, RMW, fence, thread create, etc.) */
action_type type;