X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=action.h;h=66ba753b58131bdc1235bfd7276fc1416b8e22f3;hp=dd7de7a1ec2ca17f6081708d77758577e74777d7;hb=f0e93ec8d751c713fee90aa537025ff2e4a56daa;hpb=a2176c7545c29b28598bb252718cf080a3463665 diff --git a/action.h b/action.h index dd7de7a1..66ba753b 100644 --- a/action.h +++ b/action.h @@ -55,7 +55,10 @@ typedef enum action_type { ATOMIC_FENCE, /**< A fence action */ ATOMIC_LOCK, /**< A lock action */ ATOMIC_TRYLOCK, /**< A trylock action */ - ATOMIC_UNLOCK /**< An unlock action */ + ATOMIC_UNLOCK, /**< An unlock action */ + ATOMIC_NOTIFY_ONE, /**< A notify_one action */ + ATOMIC_NOTIFY_ALL, /**< A notify all action */ + ATOMIC_WAIT /**< A wait action */ } action_type_t; /* Forward declaration */ @@ -90,6 +93,9 @@ public: bool is_lock() const; bool is_trylock() const; bool is_unlock() const; + bool is_wait() const; + bool is_notify() const; + bool is_notify_one() const; bool is_success_lock() const; bool is_failed_trylock() const; bool is_read() const; @@ -100,6 +106,7 @@ public: bool is_rmw() const; bool is_fence() const; bool is_initialization() const; + bool is_relaxed() const; bool is_acquire() const; bool is_release() const; bool is_seqcst() const;