namespace std {
struct mutex_state {
- bool islocked;
+ void *locked; /* Thread holding the lock */
thread_id_t alloc_tid;
modelclock_t alloc_clock;
+ int init; // WL
};
class mutex {
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;