2012-11-22 23:03:11 +01:00
|
|
|
//===-- tsan_mutex.h --------------------------------------------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file is a part of ThreadSanitizer (TSan), a race detector.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#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,
|
2013-01-10 13:44:08 +01:00
|
|
|
MutexTypeMBlock,
|
|
|
|
MutexTypeJavaMBlock,
|
2014-05-22 09:09:21 +02:00
|
|
|
MutexTypeDDetector,
|
2012-11-22 23:03:11 +01:00
|
|
|
|
|
|
|
// This must be the last.
|
|
|
|
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 TSAN_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;
|
|
|
|
|
2014-05-22 09:09:21 +02:00
|
|
|
class InternalDeadlockDetector {
|
2012-11-22 23:03:11 +01:00
|
|
|
public:
|
2014-05-22 09:09:21 +02:00
|
|
|
InternalDeadlockDetector();
|
2012-11-22 23:03:11 +01:00
|
|
|
void Lock(MutexType t);
|
|
|
|
void Unlock(MutexType t);
|
|
|
|
private:
|
|
|
|
u64 seq_;
|
|
|
|
u64 locked_[MutexTypeCount];
|
|
|
|
};
|
|
|
|
|
|
|
|
void InitializeMutex();
|
|
|
|
|
|
|
|
} // namespace __tsan
|
|
|
|
|
|
|
|
#endif // TSAN_MUTEX_H
|