3 * @brief C++11 mutex interface header
9 #include "modeltypes.h"
11 #include "mypthread.h"
15 void *locked; /* Thread holding the lock */
16 thread_id_t alloc_tid;
17 modelclock_t alloc_clock;
24 mutex(int type = PTHREAD_MUTEX_DEFAULT);
29 struct mutex_state * get_state() {return &state;}
32 struct mutex_state state;
35 class snapmutex : public mutex {
37 snapmutex(int type = 0) : mutex(type)
42 #endif /* __CXX_MUTEX__ */