1 //===-- tsan_mutexset.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 // MutexSet holds the set of mutexes currently held by a thread.
13 //===----------------------------------------------------------------------===//
14 #ifndef TSAN_MUTEXSET_H
15 #define TSAN_MUTEXSET_H
16
17 #include "tsan_defs.h"
18
19 namespace __tsan {
20
21 class MutexSet {
22 public:
23 // Holds limited number of mutexes.
24 // The oldest mutexes are discarded on overflow.
25 static const uptr kMaxSize = 16;
26 struct Desc {
27 u64 id;
28 u64 epoch;
29 int count;
30 bool write;
31 };
32
33 MutexSet();
34 // The 'id' is obtained from SyncVar::GetId().
35 void Add(u64 id, bool write, u64 epoch);
36 void Del(u64 id, bool write);
37 void Remove(u64 id); // Removes the mutex completely (if it's destroyed).
38 uptr Size() const;
39 Desc Get(uptr i) const;
40
41 private:
42 #ifndef TSAN_GO
43 uptr size_;
44 Desc descs_[kMaxSize];
45 #endif
46
47 void RemovePos(uptr i);
48 };
49
50 // Go does not have mutexes, so do not spend memory and time.
51 // (Go sync.Mutex is actually a semaphore -- can be unlocked
52 // in different goroutine).
53 #ifdef TSAN_GO
MutexSet()54 MutexSet::MutexSet() {}
Add(u64 id,bool write,u64 epoch)55 void MutexSet::Add(u64 id, bool write, u64 epoch) {}
Del(u64 id,bool write)56 void MutexSet::Del(u64 id, bool write) {}
Remove(u64 id)57 void MutexSet::Remove(u64 id) {}
RemovePos(uptr i)58 void MutexSet::RemovePos(uptr i) {}
Size()59 uptr MutexSet::Size() const { return 0; }
Get(uptr i)60 MutexSet::Desc MutexSet::Get(uptr i) const { return Desc(); }
61 #endif
62
63 } // namespace __tsan
64
65 #endif // TSAN_REPORT_H
66