add support for pthread_mutex
[c11tester.git] / include / mutex
index bd65a78..734ec12 100644 (file)
@@ -13,6 +13,7 @@ namespace std {
                void *locked; /* Thread holding the lock */
                thread_id_t alloc_tid;
                modelclock_t alloc_clock;
+               int init; // WL
        };
 
        class mutex {
@@ -23,6 +24,8 @@ namespace std {
                bool try_lock();
                void unlock();
                struct mutex_state * get_state() {return &state;}
+               void initialize() { state.init = 1; } // WL
+               bool is_initialized() { return state.init == 1; }
                
        private:
                struct mutex_state state;