/**
 * @file mutex
 * @brief C++11 mutex interface header
 */

#ifndef __CXX_MUTEX__
#define __CXX_MUTEX__

#include "modeltypes.h"

namespace std {
	struct mutex_state {
		bool islocked;
		thread_id_t alloc_tid;
		modelclock_t alloc_clock;
	};

	class mutex {
	public:
		mutex();
		~mutex() {}
		void lock();
		bool try_lock();
		void unlock();
		struct mutex_state * get_state() {return &state;}
		
	private:
		struct mutex_state state;
	};
}
#endif /* __CXX_MUTEX__ */