X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=action.h;h=0e3f3d572792303444c2e4efa3cce73326135039;hp=9fa7a91c3f93443714f54ec34b153c4d09a1c20b;hb=160c85908774dfffc19dc1b02f4f845a14c056af;hpb=202074f941d19cef894068e7f79d76b2df598f4b diff --git a/action.h b/action.h index 9fa7a91c..0e3f3d57 100644 --- a/action.h +++ b/action.h @@ -40,7 +40,10 @@ typedef enum action_type { ATOMIC_RMWC, /**< Convert an atomic RMW action into a READ */ ATOMIC_INIT, /**< Initialization of an atomic object (e.g., * atomic_init()) */ - ATOMIC_FENCE + ATOMIC_FENCE, + ATOMIC_LOCK, + ATOMIC_TRYLOCK, + ATOMIC_UNLOCK } action_type_t; /* Forward declaration */