include/mutex.h

   1 /**
   2  * @file mutex
   3  * @brief C++11 mutex interface header
   4  */
   5
   6 #ifndef __CXX_MUTEX__
   7 #define __CXX_MUTEX__
   8
   9 #include "modeltypes.h"
  10 //#include <mutex>
  11
  12 namespace cdsc {
  13         struct mutex_state {
  14                 void *locked; /* Thread holding the lock */
  15                 thread_id_t alloc_tid;
  16                 modelclock_t alloc_clock;
  17                 int init; // WL
  18         };
  19
  20         class mutex {
  21         public:
  22                 mutex();
  23                 ~mutex() {}
  24                 void lock();
  25                 bool try_lock();
  26                 void unlock();
  27                 struct mutex_state * get_state() {return &state;}
  28                 void initialize() { state.init = 1; } // WL
  29                 bool is_initialized() { return state.init == 1; }
  30
  31         private:
  32                 struct mutex_state state;
  33         };
  34 }
  35 #endif /* __CXX_MUTEX__ */