1//===-- tsan_mutex.h --------------------------------------------*- C++ -*-===// 2// 3// The LLVM Compiler Infrastructure 4// 5// This file is distributed under the University of Illinois Open Source 6// License. See LICENSE.TXT for details. 7// 8//===----------------------------------------------------------------------===// 9// 10// This file is a part of ThreadSanitizer (TSan), a race detector. 11// 12//===----------------------------------------------------------------------===// 13#ifndef TSAN_MUTEX_H 14#define TSAN_MUTEX_H 15 16#include "sanitizer_common/sanitizer_atomic.h" 17#include "sanitizer_common/sanitizer_mutex.h" 18#include "tsan_defs.h" 19 20namespace __tsan { 21 22enum MutexType { 23 MutexTypeInvalid, 24 MutexTypeTrace, 25 MutexTypeThreads, 26 MutexTypeReport, 27 MutexTypeSyncVar, 28 MutexTypeSyncTab, 29 MutexTypeSlab, 30 MutexTypeAnnotations, 31 MutexTypeAtExit, 32 MutexTypeMBlock, 33 MutexTypeJavaMBlock, 34 MutexTypeDDetector, 35 MutexTypeFired, 36 MutexTypeRacy, 37 MutexTypeGlobalProc, 38 39 // This must be the last. 40 MutexTypeCount 41}; 42 43class Mutex { 44 public: 45 explicit Mutex(MutexType type, StatType stat_type); 46 ~Mutex(); 47 48 void Lock(); 49 void Unlock(); 50 51 void ReadLock(); 52 void ReadUnlock(); 53 54 void CheckLocked(); 55 56 private: 57 atomic_uintptr_t state_; 58#if SANITIZER_DEBUG 59 MutexType type_; 60#endif 61#if TSAN_COLLECT_STATS 62 StatType stat_type_; 63#endif 64 65 Mutex(const Mutex&); 66 void operator = (const Mutex&); 67}; 68 69typedef GenericScopedLock<Mutex> Lock; 70typedef GenericScopedReadLock<Mutex> ReadLock; 71 72class InternalDeadlockDetector { 73 public: 74 InternalDeadlockDetector(); 75 void Lock(MutexType t); 76 void Unlock(MutexType t); 77 void CheckNoLocks(); 78 private: 79 u64 seq_; 80 u64 locked_[MutexTypeCount]; 81}; 82 83void InitializeMutex(); 84 85// Checks that the current thread does not hold any runtime locks 86// (e.g. when returning from an interceptor). 87void CheckNoLocks(ThreadState *thr); 88 89} // namespace __tsan 90 91#endif // TSAN_MUTEX_H 92