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 */
thread_id_t get_tid() const { return tid; }
action_type get_type() const { return type; }
memory_order get_mo() const { return order; }
+ memory_order get_original_mo() const { return original_order; }
+ void set_mo(memory_order order) { this->order = order; }
void * get_location() const { return location; }
modelclock_t get_seq_number() const { return seq_number; }
uint64_t get_value() const { return value; }
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;
/** @brief The memory order for this operation. */
memory_order order;
+ /** @brief The original memory order parameter for this operation. */
+ memory_order original_order;
+
/** @brief A pointer to the memory location for this action. */
void *location;