Home | History | Annotate | Download | only in rtl 
      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 
     20 namespace __tsan {
     21 
     22 enum 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 
     38   // This must be the last.
     39   MutexTypeCount
     40 };
     41 
     42 class Mutex {
     43  public:
     44   explicit Mutex(MutexType type, StatType stat_type);
     45   ~Mutex();
     46 
     47   void Lock();
     48   void Unlock();
     49 
     50   void ReadLock();
     51   void ReadUnlock();
     52 
     53   void CheckLocked();
     54 
     55  private:
     56   atomic_uintptr_t state_;
     57 #if SANITIZER_DEBUG
     58   MutexType type_;
     59 #endif
     60 #if TSAN_COLLECT_STATS
     61   StatType stat_type_;
     62 #endif
     63 
     64   Mutex(const Mutex&);
     65   void operator = (const Mutex&);
     66 };
     67 
     68 typedef GenericScopedLock<Mutex> Lock;
     69 typedef GenericScopedReadLock<Mutex> ReadLock;
     70 
     71 class InternalDeadlockDetector {
     72  public:
     73   InternalDeadlockDetector();
     74   void Lock(MutexType t);
     75   void Unlock(MutexType t);
     76   void CheckNoLocks();
     77  private:
     78   u64 seq_;
     79   u64 locked_[MutexTypeCount];
     80 };
     81 
     82 void InitializeMutex();
     83 
     84 // Checks that the current thread does not hold any runtime locks
     85 // (e.g. when returning from an interceptor).
     86 void CheckNoLocks(ThreadState *thr);
     87 
     88 }  // namespace __tsan
     89 
     90 #endif  // TSAN_MUTEX_H
     91