#ifndef TSAN_MUTEX_H
#define TSAN_MUTEX_H
#include "sanitizer_common/sanitizer_atomic.h"
#include "sanitizer_common/sanitizer_mutex.h"
#include "tsan_defs.h"
namespace __tsan {
enum MutexType {
MutexTypeInvalid,
MutexTypeTrace,
MutexTypeThreads,
MutexTypeReport,
MutexTypeSyncVar,
MutexTypeSyncTab,
MutexTypeSlab,
MutexTypeAnnotations,
MutexTypeAtExit,
MutexTypeMBlock,
MutexTypeJavaMBlock,
MutexTypeDDetector,
MutexTypeCount
};
class Mutex {
public:
explicit Mutex(MutexType type, StatType stat_type);
~Mutex();
void Lock();
void Unlock();
void ReadLock();
void ReadUnlock();
void CheckLocked();
private:
atomic_uintptr_t state_;
#if SANITIZER_DEBUG
MutexType type_;
#endif
#if TSAN_COLLECT_STATS
StatType stat_type_;
#endif
Mutex(const Mutex&);
void operator = (const Mutex&);
};
typedef GenericScopedLock<Mutex> Lock;
typedef GenericScopedReadLock<Mutex> ReadLock;
class InternalDeadlockDetector {
public:
InternalDeadlockDetector();
void Lock(MutexType t);
void Unlock(MutexType t);
void CheckNoLocks();
private:
u64 seq_;
u64 locked_[MutexTypeCount];
};
void InitializeMutex();
void CheckNoLocks(ThreadState *thr);
}
#endif // TSAN_MUTEX_H