Modified the implementation of usleep and make ModelExecution process "THREAD SLEEP...

[c11tester.git] / action.h

diff --git a/action.h b/action.h
index 21d46e5bac789ec34f93340d6fa973f2eb49be52..80ac1fda66eb1eec79ac70eaefe32b8764e8760f 100644 (file)
--- a/action.h
+++ b/action.h
@@ -53,9 +53,11 @@ typedef enum action_type {
        THREAD_JOIN,    // < A thread join action
        THREAD_FINISH,  // < A thread completion action
        THREADONLY_FINISH,      // < A thread completion action
+       THREAD_SLEEP,   // < A sleep operation
+
        PTHREAD_CREATE, // < A pthread creation action
        PTHREAD_JOIN,   // < A pthread join action
-       THREAD_SLEEP,   // < A sleep operation
+
        ATOMIC_UNINIT,  // < Represents an uninitialized atomic
        NONATOMIC_WRITE,        // < Represents a non-atomic store
        ATOMIC_INIT,    // < Initialization of an atomic object (e.g., atomic_init())
@@ -70,9 +72,11 @@ typedef enum action_type {
        ATOMIC_LOCK,    // < A lock action
        ATOMIC_TRYLOCK, // < A trylock 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
+       ATOMIC_TIMEDWAIT,       // < A timed wait action
        ATOMIC_ANNOTATION,      // < An annotation action to pass information to a trace analysis
        NOOP    // no operation, which returns control to scheduler
 } action_type_t;