| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 1 | //===-- tsan_rtl.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 | // Main internal TSan header file. |
| 13 | // |
| 14 | // Ground rules: |
| 15 | // - C++ run-time should not be used (static CTORs, RTTI, exceptions, static |
| 16 | // function-scope locals) |
| 17 | // - All functions/classes/etc reside in namespace __tsan, except for those |
| 18 | // declared in tsan_interface.h. |
| 19 | // - Platform-specific files should be used instead of ifdefs (*). |
| 20 | // - No system headers included in header files (*). |
| 21 | // - Platform specific headres included only into platform-specific files (*). |
| 22 | // |
| 23 | // (*) Except when inlining is critical for performance. |
| 24 | //===----------------------------------------------------------------------===// |
| 25 | |
| 26 | #ifndef TSAN_RTL_H |
| 27 | #define TSAN_RTL_H |
| 28 | |
| Kostya Serebryany | 571232b | 2012-12-05 10:09:15 +0000 | [diff] [blame] | 29 | #include "sanitizer_common/sanitizer_allocator.h" |
| Alexey Samsonov | c30e2d6 | 2013-05-29 09:15:39 +0000 | [diff] [blame] | 30 | #include "sanitizer_common/sanitizer_allocator_internal.h" |
| Kostya Serebryany | 14e92c2 | 2013-12-05 07:44:35 +0000 | [diff] [blame] | 31 | #include "sanitizer_common/sanitizer_asm.h" |
| Alexey Samsonov | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 32 | #include "sanitizer_common/sanitizer_common.h" |
| Dmitry Vyukov | 6cfab72 | 2014-02-28 10:48:13 +0000 | [diff] [blame] | 33 | #include "sanitizer_common/sanitizer_deadlock_detector_interface.h" |
| Dmitry Vyukov | 5ba7364 | 2013-10-03 13:37:17 +0000 | [diff] [blame] | 34 | #include "sanitizer_common/sanitizer_libignore.h" |
| Sergey Matveev | d109eb0 | 2013-06-26 15:37:14 +0000 | [diff] [blame] | 35 | #include "sanitizer_common/sanitizer_suppressions.h" |
| Alexey Samsonov | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 36 | #include "sanitizer_common/sanitizer_thread_registry.h" |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 37 | #include "tsan_clock.h" |
| 38 | #include "tsan_defs.h" |
| 39 | #include "tsan_flags.h" |
| 40 | #include "tsan_sync.h" |
| 41 | #include "tsan_trace.h" |
| 42 | #include "tsan_vector.h" |
| 43 | #include "tsan_report.h" |
| Dmitry Vyukov | 2429b02 | 2012-11-28 10:35:31 +0000 | [diff] [blame] | 44 | #include "tsan_platform.h" |
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 45 | #include "tsan_mutexset.h" |
| Dmitry Vyukov | 3238e1c | 2013-11-27 11:30:28 +0000 | [diff] [blame] | 46 | #include "tsan_ignoreset.h" |
| Dmitry Vyukov | bde4c9c | 2014-05-29 13:50:54 +0000 | [diff] [blame] | 47 | #include "tsan_stack_trace.h" |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 48 | |
| Kostya Serebryany | 242b630 | 2012-12-04 15:13:30 +0000 | [diff] [blame] | 49 | #if SANITIZER_WORDSIZE != 64 |
| 50 | # error "ThreadSanitizer is supported only on 64-bit platforms" |
| 51 | #endif |
| 52 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 53 | namespace __tsan { |
| 54 | |
| Kostya Serebryany | 83ed889 | 2014-12-09 01:31:14 +0000 | [diff] [blame] | 55 | #ifndef SANITIZER_GO |
| Dmitry Vyukov | 20bf8c7 | 2013-03-18 10:32:21 +0000 | [diff] [blame] | 56 | struct MapUnmapCallback; |
| Dmitry Vyukov | e9a5f03 | 2014-10-24 17:07:29 +0000 | [diff] [blame] | 57 | typedef SizeClassAllocator64<kHeapMemBeg, kHeapMemEnd - kHeapMemBeg, 0, |
| Dmitry Vyukov | 20bf8c7 | 2013-03-18 10:32:21 +0000 | [diff] [blame] | 58 | DefaultSizeClassMap, MapUnmapCallback> PrimaryAllocator; |
| Kostya Serebryany | f299288 | 2012-12-04 14:15:17 +0000 | [diff] [blame] | 59 | typedef SizeClassAllocatorLocalCache<PrimaryAllocator> AllocatorCache; |
| Dmitry Vyukov | 20bf8c7 | 2013-03-18 10:32:21 +0000 | [diff] [blame] | 60 | typedef LargeMmapAllocator<MapUnmapCallback> SecondaryAllocator; |
| Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 61 | typedef CombinedAllocator<PrimaryAllocator, AllocatorCache, |
| 62 | SecondaryAllocator> Allocator; |
| Dmitry Vyukov | 191f2f7 | 2012-08-30 13:02:30 +0000 | [diff] [blame] | 63 | Allocator *allocator(); |
| Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 64 | #endif |
| 65 | |
| Alexey Samsonov | 5c6b93b | 2012-09-11 09:44:48 +0000 | [diff] [blame] | 66 | void TsanCheckFailed(const char *file, int line, const char *cond, |
| 67 | u64 v1, u64 v2); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 68 | |
| Dmitry Vyukov | 79915de | 2013-03-20 10:31:53 +0000 | [diff] [blame] | 69 | const u64 kShadowRodata = (u64)-1; // .rodata shadow marker |
| 70 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 71 | // FastState (from most significant bit): |
| Dmitry Vyukov | 00e4604 | 2012-11-28 10:49:27 +0000 | [diff] [blame] | 72 | // ignore : 1 |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 73 | // tid : kTidBits |
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 74 | // unused : - |
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 75 | // history_size : 3 |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 76 | // epoch : kClkBits |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 77 | class FastState { |
| 78 | public: |
| 79 | FastState(u64 tid, u64 epoch) { |
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 80 | x_ = tid << kTidShift; |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 81 | x_ |= epoch; |
| Dmitry Vyukov | 00e4604 | 2012-11-28 10:49:27 +0000 | [diff] [blame] | 82 | DCHECK_EQ(tid, this->tid()); |
| 83 | DCHECK_EQ(epoch, this->epoch()); |
| 84 | DCHECK_EQ(GetIgnoreBit(), false); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 85 | } |
| 86 | |
| 87 | explicit FastState(u64 x) |
| 88 | : x_(x) { |
| 89 | } |
| 90 | |
| Dmitry Vyukov | 3482ec3 | 2012-08-16 15:08:49 +0000 | [diff] [blame] | 91 | u64 raw() const { |
| 92 | return x_; |
| 93 | } |
| 94 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 95 | u64 tid() const { |
| Dmitry Vyukov | e993dac2 | 2012-11-30 20:02:11 +0000 | [diff] [blame] | 96 | u64 res = (x_ & ~kIgnoreBit) >> kTidShift; |
| 97 | return res; |
| 98 | } |
| 99 | |
| 100 | u64 TidWithIgnore() const { |
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 101 | u64 res = x_ >> kTidShift; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 102 | return res; |
| 103 | } |
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 104 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 105 | u64 epoch() const { |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 106 | u64 res = x_ & ((1ull << kClkBits) - 1); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 107 | return res; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 108 | } |
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 109 | |
| 110 | void IncrementEpoch() { |
| 111 | u64 old_epoch = epoch(); |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 112 | x_ += 1; |
| Dmitry Vyukov | 163a8338 | 2012-05-21 10:20:53 +0000 | [diff] [blame] | 113 | DCHECK_EQ(old_epoch + 1, epoch()); |
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 114 | (void)old_epoch; |
| 115 | } |
| 116 | |
| 117 | void SetIgnoreBit() { x_ |= kIgnoreBit; } |
| 118 | void ClearIgnoreBit() { x_ &= ~kIgnoreBit; } |
| Dmitry Vyukov | 00e4604 | 2012-11-28 10:49:27 +0000 | [diff] [blame] | 119 | bool GetIgnoreBit() const { return (s64)x_ < 0; } |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 120 | |
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 121 | void SetHistorySize(int hs) { |
| 122 | CHECK_GE(hs, 0); |
| 123 | CHECK_LE(hs, 7); |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 124 | x_ = (x_ & ~(kHistoryMask << kHistoryShift)) | (u64(hs) << kHistoryShift); |
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 125 | } |
| 126 | |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 127 | ALWAYS_INLINE |
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 128 | int GetHistorySize() const { |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 129 | return (int)((x_ >> kHistoryShift) & kHistoryMask); |
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 130 | } |
| 131 | |
| 132 | void ClearHistorySize() { |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 133 | SetHistorySize(0); |
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 134 | } |
| 135 | |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 136 | ALWAYS_INLINE |
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 137 | u64 GetTracePos() const { |
| 138 | const int hs = GetHistorySize(); |
| 139 | // When hs == 0, the trace consists of 2 parts. |
| 140 | const u64 mask = (1ull << (kTracePartSizeBits + hs + 1)) - 1; |
| 141 | return epoch() & mask; |
| 142 | } |
| 143 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 144 | private: |
| 145 | friend class Shadow; |
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 146 | static const int kTidShift = 64 - kTidBits - 1; |
| Dmitry Vyukov | 00e4604 | 2012-11-28 10:49:27 +0000 | [diff] [blame] | 147 | static const u64 kIgnoreBit = 1ull << 63; |
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 148 | static const u64 kFreedBit = 1ull << 63; |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 149 | static const u64 kHistoryShift = kClkBits; |
| 150 | static const u64 kHistoryMask = 7; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 151 | u64 x_; |
| 152 | }; |
| 153 | |
| 154 | // Shadow (from most significant bit): |
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 155 | // freed : 1 |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 156 | // tid : kTidBits |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 157 | // is_atomic : 1 |
| Dmitry Vyukov | 71242b0 | 2013-02-01 10:02:55 +0000 | [diff] [blame] | 158 | // is_read : 1 |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 159 | // size_log : 2 |
| 160 | // addr0 : 3 |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 161 | // epoch : kClkBits |
| Dmitry Vyukov | 97c26bd | 2012-06-27 16:05:06 +0000 | [diff] [blame] | 162 | class Shadow : public FastState { |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 163 | public: |
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 164 | explicit Shadow(u64 x) |
| 165 | : FastState(x) { |
| 166 | } |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 167 | |
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 168 | explicit Shadow(const FastState &s) |
| 169 | : FastState(s.x_) { |
| 170 | ClearHistorySize(); |
| 171 | } |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 172 | |
| 173 | void SetAddr0AndSizeLog(u64 addr0, unsigned kAccessSizeLog) { |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 174 | DCHECK_EQ((x_ >> kClkBits) & 31, 0); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 175 | DCHECK_LE(addr0, 7); |
| 176 | DCHECK_LE(kAccessSizeLog, 3); |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 177 | x_ |= ((kAccessSizeLog << 3) | addr0) << kClkBits; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 178 | DCHECK_EQ(kAccessSizeLog, size_log()); |
| 179 | DCHECK_EQ(addr0, this->addr0()); |
| 180 | } |
| 181 | |
| 182 | void SetWrite(unsigned kAccessIsWrite) { |
| Dmitry Vyukov | 71242b0 | 2013-02-01 10:02:55 +0000 | [diff] [blame] | 183 | DCHECK_EQ(x_ & kReadBit, 0); |
| 184 | if (!kAccessIsWrite) |
| 185 | x_ |= kReadBit; |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 186 | DCHECK_EQ(kAccessIsWrite, IsWrite()); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 187 | } |
| 188 | |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 189 | void SetAtomic(bool kIsAtomic) { |
| 190 | DCHECK(!IsAtomic()); |
| 191 | if (kIsAtomic) |
| 192 | x_ |= kAtomicBit; |
| 193 | DCHECK_EQ(IsAtomic(), kIsAtomic); |
| 194 | } |
| 195 | |
| 196 | bool IsAtomic() const { |
| 197 | return x_ & kAtomicBit; |
| 198 | } |
| 199 | |
| 200 | bool IsZero() const { |
| 201 | return x_ == 0; |
| 202 | } |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 203 | |
| Dmitry Vyukov | 302cebb | 2012-05-22 18:07:45 +0000 | [diff] [blame] | 204 | static inline bool TidsAreEqual(const Shadow s1, const Shadow s2) { |
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 205 | u64 shifted_xor = (s1.x_ ^ s2.x_) >> kTidShift; |
| Dmitry Vyukov | e993dac2 | 2012-11-30 20:02:11 +0000 | [diff] [blame] | 206 | DCHECK_EQ(shifted_xor == 0, s1.TidWithIgnore() == s2.TidWithIgnore()); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 207 | return shifted_xor == 0; |
| 208 | } |
| Dmitry Vyukov | 302cebb | 2012-05-22 18:07:45 +0000 | [diff] [blame] | 209 | |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 210 | static ALWAYS_INLINE |
| 211 | bool Addr0AndSizeAreEqual(const Shadow s1, const Shadow s2) { |
| 212 | u64 masked_xor = ((s1.x_ ^ s2.x_) >> kClkBits) & 31; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 213 | return masked_xor == 0; |
| 214 | } |
| 215 | |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 216 | static ALWAYS_INLINE bool TwoRangesIntersect(Shadow s1, Shadow s2, |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 217 | unsigned kS2AccessSize) { |
| 218 | bool res = false; |
| 219 | u64 diff = s1.addr0() - s2.addr0(); |
| 220 | if ((s64)diff < 0) { // s1.addr0 < s2.addr0 // NOLINT |
| 221 | // if (s1.addr0() + size1) > s2.addr0()) return true; |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 222 | if (s1.size() > -diff) |
| 223 | res = true; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 224 | } else { |
| 225 | // if (s2.addr0() + kS2AccessSize > s1.addr0()) return true; |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 226 | if (kS2AccessSize > diff) |
| 227 | res = true; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 228 | } |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 229 | DCHECK_EQ(res, TwoRangesIntersectSlow(s1, s2)); |
| 230 | DCHECK_EQ(res, TwoRangesIntersectSlow(s2, s1)); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 231 | return res; |
| 232 | } |
| 233 | |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 234 | u64 ALWAYS_INLINE addr0() const { return (x_ >> kClkBits) & 7; } |
| 235 | u64 ALWAYS_INLINE size() const { return 1ull << size_log(); } |
| 236 | bool ALWAYS_INLINE IsWrite() const { return !IsRead(); } |
| 237 | bool ALWAYS_INLINE IsRead() const { return x_ & kReadBit; } |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 238 | |
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 239 | // The idea behind the freed bit is as follows. |
| 240 | // When the memory is freed (or otherwise unaccessible) we write to the shadow |
| 241 | // values with tid/epoch related to the free and the freed bit set. |
| 242 | // During memory accesses processing the freed bit is considered |
| 243 | // as msb of tid. So any access races with shadow with freed bit set |
| 244 | // (it is as if write from a thread with which we never synchronized before). |
| 245 | // This allows us to detect accesses to freed memory w/o additional |
| 246 | // overheads in memory access processing and at the same time restore |
| 247 | // tid/epoch of free. |
| 248 | void MarkAsFreed() { |
| 249 | x_ |= kFreedBit; |
| 250 | } |
| 251 | |
| Dmitry Vyukov | 87c6bb9 | 2013-02-01 14:41:58 +0000 | [diff] [blame] | 252 | bool IsFreed() const { |
| 253 | return x_ & kFreedBit; |
| 254 | } |
| 255 | |
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 256 | bool GetFreedAndReset() { |
| 257 | bool res = x_ & kFreedBit; |
| 258 | x_ &= ~kFreedBit; |
| 259 | return res; |
| 260 | } |
| 261 | |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 262 | bool ALWAYS_INLINE IsBothReadsOrAtomic(bool kIsWrite, bool kIsAtomic) const { |
| 263 | bool v = x_ & ((u64(kIsWrite ^ 1) << kReadShift) |
| 264 | | (u64(kIsAtomic) << kAtomicShift)); |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 265 | DCHECK_EQ(v, (!IsWrite() && !kIsWrite) || (IsAtomic() && kIsAtomic)); |
| 266 | return v; |
| 267 | } |
| 268 | |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 269 | bool ALWAYS_INLINE IsRWNotWeaker(bool kIsWrite, bool kIsAtomic) const { |
| Dmitry Vyukov | 71242b0 | 2013-02-01 10:02:55 +0000 | [diff] [blame] | 270 | bool v = ((x_ >> kReadShift) & 3) |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 271 | <= u64((kIsWrite ^ 1) | (kIsAtomic << 1)); |
| 272 | DCHECK_EQ(v, (IsAtomic() < kIsAtomic) || |
| 273 | (IsAtomic() == kIsAtomic && !IsWrite() <= !kIsWrite)); |
| 274 | return v; |
| 275 | } |
| 276 | |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 277 | bool ALWAYS_INLINE IsRWWeakerOrEqual(bool kIsWrite, bool kIsAtomic) const { |
| Dmitry Vyukov | 71242b0 | 2013-02-01 10:02:55 +0000 | [diff] [blame] | 278 | bool v = ((x_ >> kReadShift) & 3) |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 279 | >= u64((kIsWrite ^ 1) | (kIsAtomic << 1)); |
| 280 | DCHECK_EQ(v, (IsAtomic() > kIsAtomic) || |
| 281 | (IsAtomic() == kIsAtomic && !IsWrite() >= !kIsWrite)); |
| 282 | return v; |
| 283 | } |
| 284 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 285 | private: |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 286 | static const u64 kReadShift = 5 + kClkBits; |
| Dmitry Vyukov | 71242b0 | 2013-02-01 10:02:55 +0000 | [diff] [blame] | 287 | static const u64 kReadBit = 1ull << kReadShift; |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 288 | static const u64 kAtomicShift = 6 + kClkBits; |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 289 | static const u64 kAtomicBit = 1ull << kAtomicShift; |
| 290 | |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 291 | u64 size_log() const { return (x_ >> (3 + kClkBits)) & 3; } |
| Dmitry Vyukov | 302cebb | 2012-05-22 18:07:45 +0000 | [diff] [blame] | 292 | |
| Dmitry Vyukov | afdcc96 | 2014-05-30 13:36:29 +0000 | [diff] [blame] | 293 | static bool TwoRangesIntersectSlow(const Shadow s1, const Shadow s2) { |
| Dmitry Vyukov | 302cebb | 2012-05-22 18:07:45 +0000 | [diff] [blame] | 294 | if (s1.addr0() == s2.addr0()) return true; |
| 295 | if (s1.addr0() < s2.addr0() && s1.addr0() + s1.size() > s2.addr0()) |
| 296 | return true; |
| 297 | if (s2.addr0() < s1.addr0() && s2.addr0() + s2.size() > s1.addr0()) |
| 298 | return true; |
| 299 | return false; |
| 300 | } |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 301 | }; |
| 302 | |
| Dmitry Vyukov | 97c26bd | 2012-06-27 16:05:06 +0000 | [diff] [blame] | 303 | struct SignalContext; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 304 | |
| Dmitry Vyukov | 4adf49d | 2013-03-25 10:10:44 +0000 | [diff] [blame] | 305 | struct JmpBuf { |
| 306 | uptr sp; |
| 307 | uptr mangled_sp; |
| Dmitry Vyukov | 69c4d37 | 2014-09-16 21:48:22 +0000 | [diff] [blame] | 308 | int int_signal_send; |
| 309 | bool in_blocking_func; |
| 310 | uptr in_signal_handler; |
| Dmitry Vyukov | 4adf49d | 2013-03-25 10:10:44 +0000 | [diff] [blame] | 311 | uptr *shadow_stack_pos; |
| 312 | }; |
| 313 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 314 | // This struct is stored in TLS. |
| 315 | struct ThreadState { |
| 316 | FastState fast_state; |
| 317 | // Synch epoch represents the threads's epoch before the last synchronization |
| 318 | // action. It allows to reduce number of shadow state updates. |
| 319 | // For example, fast_synch_epoch=100, last write to addr X was at epoch=150, |
| 320 | // if we are processing write to X from the same thread at epoch=200, |
| 321 | // we do nothing, because both writes happen in the same 'synch epoch'. |
| 322 | // That is, if another memory access does not race with the former write, |
| 323 | // it does not race with the latter as well. |
| 324 | // QUESTION: can we can squeeze this into ThreadState::Fast? |
| 325 | // E.g. ThreadState::Fast is a 44-bit, 32 are taken by synch_epoch and 12 are |
| 326 | // taken by epoch between synchs. |
| 327 | // This way we can save one load from tls. |
| 328 | u64 fast_synch_epoch; |
| 329 | // This is a slow path flag. On fast path, fast_state.GetIgnoreBit() is read. |
| 330 | // We do not distinguish beteween ignoring reads and writes |
| 331 | // for better performance. |
| 332 | int ignore_reads_and_writes; |
| Dmitry Vyukov | fbb194f | 2013-10-10 15:58:12 +0000 | [diff] [blame] | 333 | int ignore_sync; |
| Dmitry Vyukov | 3238e1c | 2013-11-27 11:30:28 +0000 | [diff] [blame] | 334 | // Go does not support ignores. |
| Kostya Serebryany | 83ed889 | 2014-12-09 01:31:14 +0000 | [diff] [blame] | 335 | #ifndef SANITIZER_GO |
| Dmitry Vyukov | 3238e1c | 2013-11-27 11:30:28 +0000 | [diff] [blame] | 336 | IgnoreSet mop_ignore_set; |
| 337 | IgnoreSet sync_ignore_set; |
| 338 | #endif |
| Dmitry Vyukov | 464ebbd | 2013-10-16 15:35:12 +0000 | [diff] [blame] | 339 | // C/C++ uses fixed size shadow stack embed into Trace. |
| 340 | // Go uses malloc-allocated shadow stack with dynamic size. |
| 341 | uptr *shadow_stack; |
| 342 | uptr *shadow_stack_end; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 343 | uptr *shadow_stack_pos; |
| 344 | u64 *racy_shadow_addr; |
| 345 | u64 racy_state[2]; |
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 346 | MutexSet mset; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 347 | ThreadClock clock; |
| Kostya Serebryany | 83ed889 | 2014-12-09 01:31:14 +0000 | [diff] [blame] | 348 | #ifndef SANITIZER_GO |
| Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 349 | AllocatorCache alloc_cache; |
| Alexey Samsonov | c30e2d6 | 2013-05-29 09:15:39 +0000 | [diff] [blame] | 350 | InternalAllocatorCache internal_alloc_cache; |
| Dmitry Vyukov | 4adf49d | 2013-03-25 10:10:44 +0000 | [diff] [blame] | 351 | Vector<JmpBuf> jmp_bufs; |
| Dmitry Vyukov | ce37210 | 2013-12-24 12:55:56 +0000 | [diff] [blame] | 352 | int ignore_interceptors; |
| Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 353 | #endif |
| Dmitry Vyukov | 41f4eba | 2015-02-13 15:25:47 +0000 | [diff] [blame^] | 354 | #ifdef TSAN_COLLECT_STATS |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 355 | u64 stat[StatCnt]; |
| Dmitry Vyukov | 41f4eba | 2015-02-13 15:25:47 +0000 | [diff] [blame^] | 356 | #endif |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 357 | const int tid; |
| Dmitry Vyukov | 191f2f7 | 2012-08-30 13:02:30 +0000 | [diff] [blame] | 358 | const int unique_id; |
| Dmitry Vyukov | b46930b | 2013-01-29 13:03:07 +0000 | [diff] [blame] | 359 | bool in_symbolizer; |
| Dmitry Vyukov | 5ba7364 | 2013-10-03 13:37:17 +0000 | [diff] [blame] | 360 | bool in_ignored_lib; |
| Dmitry Vyukov | f8cfdd9 | 2014-09-03 12:25:22 +0000 | [diff] [blame] | 361 | bool is_dead; |
| Dmitry Vyukov | 87c6bb9 | 2013-02-01 14:41:58 +0000 | [diff] [blame] | 362 | bool is_freeing; |
| Dmitry Vyukov | 0851fa8 | 2013-03-21 15:37:39 +0000 | [diff] [blame] | 363 | bool is_vptr_access; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 364 | const uptr stk_addr; |
| 365 | const uptr stk_size; |
| 366 | const uptr tls_addr; |
| 367 | const uptr tls_size; |
| Dmitry Vyukov | 3238e1c | 2013-11-27 11:30:28 +0000 | [diff] [blame] | 368 | ThreadContext *tctx; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 369 | |
| Kostya Serebryany | a63632a | 2014-02-14 12:20:42 +0000 | [diff] [blame] | 370 | InternalDeadlockDetector internal_deadlock_detector; |
| Dmitry Vyukov | 6cfab72 | 2014-02-28 10:48:13 +0000 | [diff] [blame] | 371 | DDPhysicalThread *dd_pt; |
| 372 | DDLogicalThread *dd_lt; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 373 | |
| Dmitry Vyukov | 1841219 | 2014-09-02 12:27:45 +0000 | [diff] [blame] | 374 | atomic_uintptr_t in_signal_handler; |
| Dmitry Vyukov | 97c26bd | 2012-06-27 16:05:06 +0000 | [diff] [blame] | 375 | SignalContext *signal_ctx; |
| 376 | |
| Dmitry Vyukov | bde4c9c | 2014-05-29 13:50:54 +0000 | [diff] [blame] | 377 | DenseSlabAllocCache block_cache; |
| 378 | DenseSlabAllocCache sync_cache; |
| Dmitry Vyukov | 70db9d4 | 2014-08-05 18:45:02 +0000 | [diff] [blame] | 379 | DenseSlabAllocCache clock_cache; |
| Dmitry Vyukov | bde4c9c | 2014-05-29 13:50:54 +0000 | [diff] [blame] | 380 | |
| Kostya Serebryany | 83ed889 | 2014-12-09 01:31:14 +0000 | [diff] [blame] | 381 | #ifndef SANITIZER_GO |
| Dmitry Vyukov | 318f777 | 2012-08-31 17:27:49 +0000 | [diff] [blame] | 382 | u32 last_sleep_stack_id; |
| 383 | ThreadClock last_sleep_clock; |
| 384 | #endif |
| 385 | |
| Dmitry Vyukov | de1fd1c | 2012-06-22 11:08:55 +0000 | [diff] [blame] | 386 | // Set in regions of runtime that must be signal-safe and fork-safe. |
| 387 | // If set, malloc must not be called. |
| 388 | int nomalloc; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 389 | |
| Dmitry Vyukov | 191f2f7 | 2012-08-30 13:02:30 +0000 | [diff] [blame] | 390 | explicit ThreadState(Context *ctx, int tid, int unique_id, u64 epoch, |
| Dmitry Vyukov | b5eb8f0 | 2014-04-11 15:38:03 +0000 | [diff] [blame] | 391 | unsigned reuse_count, |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 392 | uptr stk_addr, uptr stk_size, |
| 393 | uptr tls_addr, uptr tls_size); |
| 394 | }; |
| 395 | |
| Kostya Serebryany | 83ed889 | 2014-12-09 01:31:14 +0000 | [diff] [blame] | 396 | #ifndef SANITIZER_GO |
| Kostya Serebryany | e61f4d5 | 2014-05-12 10:40:33 +0000 | [diff] [blame] | 397 | __attribute__((tls_model("initial-exec"))) |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 398 | extern THREADLOCAL char cur_thread_placeholder[]; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 399 | INLINE ThreadState *cur_thread() { |
| 400 | return reinterpret_cast<ThreadState *>(&cur_thread_placeholder); |
| 401 | } |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 402 | #endif |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 403 | |
| Alexey Samsonov | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 404 | class ThreadContext : public ThreadContextBase { |
| 405 | public: |
| 406 | explicit ThreadContext(int tid); |
| Dmitry Vyukov | 49e462f | 2013-03-18 10:10:15 +0000 | [diff] [blame] | 407 | ~ThreadContext(); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 408 | ThreadState *thr; |
| Dmitry Vyukov | 7cd2025 | 2013-03-18 09:02:27 +0000 | [diff] [blame] | 409 | u32 creation_stack_id; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 410 | SyncClock sync; |
| 411 | // Epoch at which the thread had started. |
| 412 | // If we see an event from the thread stamped by an older epoch, |
| 413 | // the event is from a dead thread that shared tid with this thread. |
| 414 | u64 epoch0; |
| 415 | u64 epoch1; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 416 | |
| Alexey Samsonov | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 417 | // Override superclass callbacks. |
| 418 | void OnDead(); |
| 419 | void OnJoined(void *arg); |
| 420 | void OnFinished(); |
| 421 | void OnStarted(void *arg); |
| 422 | void OnCreated(void *arg); |
| Dmitry Vyukov | 4ecfa69 | 2013-03-19 12:25:48 +0000 | [diff] [blame] | 423 | void OnReset(); |
| Dmitry Vyukov | 70db9d4 | 2014-08-05 18:45:02 +0000 | [diff] [blame] | 424 | void OnDetached(void *arg); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 425 | }; |
| 426 | |
| 427 | struct RacyStacks { |
| 428 | MD5Hash hash[2]; |
| 429 | bool operator==(const RacyStacks &other) const { |
| 430 | if (hash[0] == other.hash[0] && hash[1] == other.hash[1]) |
| 431 | return true; |
| 432 | if (hash[0] == other.hash[1] && hash[1] == other.hash[0]) |
| 433 | return true; |
| 434 | return false; |
| 435 | } |
| 436 | }; |
| 437 | |
| 438 | struct RacyAddress { |
| 439 | uptr addr_min; |
| 440 | uptr addr_max; |
| 441 | }; |
| 442 | |
| Dmitry Vyukov | 90c9cbf | 2012-10-05 15:51:32 +0000 | [diff] [blame] | 443 | struct FiredSuppression { |
| 444 | ReportType type; |
| 445 | uptr pc; |
| Dmitry Vyukov | b365d40 | 2013-03-27 17:59:57 +0000 | [diff] [blame] | 446 | Suppression *supp; |
| Dmitry Vyukov | 90c9cbf | 2012-10-05 15:51:32 +0000 | [diff] [blame] | 447 | }; |
| 448 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 449 | struct Context { |
| 450 | Context(); |
| 451 | |
| 452 | bool initialized; |
| Dmitry Vyukov | 16e7a75 | 2014-01-24 12:33:35 +0000 | [diff] [blame] | 453 | bool after_multithreaded_fork; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 454 | |
| Dmitry Vyukov | bde4c9c | 2014-05-29 13:50:54 +0000 | [diff] [blame] | 455 | MetaMap metamap; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 456 | |
| 457 | Mutex report_mtx; |
| 458 | int nreported; |
| 459 | int nmissed_expected; |
| Dmitry Vyukov | 48e5d4a | 2013-03-21 07:02:36 +0000 | [diff] [blame] | 460 | atomic_uint64_t last_symbolize_time_ns; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 461 | |
| Dmitry Vyukov | b7ebc53 | 2014-04-24 13:09:17 +0000 | [diff] [blame] | 462 | void *background_thread; |
| 463 | atomic_uint32_t stop_background_thread; |
| 464 | |
| Alexey Samsonov | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 465 | ThreadRegistry *thread_registry; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 466 | |
| 467 | Vector<RacyStacks> racy_stacks; |
| 468 | Vector<RacyAddress> racy_addresses; |
| Alexey Samsonov | 0d7012d | 2013-06-14 11:18:58 +0000 | [diff] [blame] | 469 | // Number of fired suppressions may be large enough. |
| 470 | InternalMmapVector<FiredSuppression> fired_suppressions; |
| Dmitry Vyukov | 6cfab72 | 2014-02-28 10:48:13 +0000 | [diff] [blame] | 471 | DDetector *dd; |
| Kostya Serebryany | 0548c79 | 2014-02-21 15:07:18 +0000 | [diff] [blame] | 472 | |
| Dmitry Vyukov | 70db9d4 | 2014-08-05 18:45:02 +0000 | [diff] [blame] | 473 | ClockAlloc clock_alloc; |
| 474 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 475 | Flags flags; |
| 476 | |
| 477 | u64 stat[StatCnt]; |
| 478 | u64 int_alloc_cnt[MBlockTypeCount]; |
| 479 | u64 int_alloc_siz[MBlockTypeCount]; |
| 480 | }; |
| 481 | |
| Dmitry Vyukov | c9e12aa | 2014-03-20 10:36:20 +0000 | [diff] [blame] | 482 | extern Context *ctx; // The one and the only global runtime context. |
| 483 | |
| Dmitry Vyukov | ce37210 | 2013-12-24 12:55:56 +0000 | [diff] [blame] | 484 | struct ScopedIgnoreInterceptors { |
| 485 | ScopedIgnoreInterceptors() { |
| Kostya Serebryany | 83ed889 | 2014-12-09 01:31:14 +0000 | [diff] [blame] | 486 | #ifndef SANITIZER_GO |
| Dmitry Vyukov | ce37210 | 2013-12-24 12:55:56 +0000 | [diff] [blame] | 487 | cur_thread()->ignore_interceptors++; |
| 488 | #endif |
| 489 | } |
| 490 | |
| 491 | ~ScopedIgnoreInterceptors() { |
| Kostya Serebryany | 83ed889 | 2014-12-09 01:31:14 +0000 | [diff] [blame] | 492 | #ifndef SANITIZER_GO |
| Dmitry Vyukov | ce37210 | 2013-12-24 12:55:56 +0000 | [diff] [blame] | 493 | cur_thread()->ignore_interceptors--; |
| 494 | #endif |
| 495 | } |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 496 | }; |
| 497 | |
| 498 | class ScopedReport { |
| 499 | public: |
| 500 | explicit ScopedReport(ReportType typ); |
| 501 | ~ScopedReport(); |
| 502 | |
| Alexey Samsonov | 40733a8 | 2014-11-03 22:23:44 +0000 | [diff] [blame] | 503 | void AddMemoryAccess(uptr addr, Shadow s, StackTrace stack, |
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 504 | const MutexSet *mset); |
| Alexey Samsonov | 40733a8 | 2014-11-03 22:23:44 +0000 | [diff] [blame] | 505 | void AddStack(StackTrace stack, bool suppressable = false); |
| Dmitry Vyukov | a43e98c | 2014-05-28 18:03:32 +0000 | [diff] [blame] | 506 | void AddThread(const ThreadContext *tctx, bool suppressable = false); |
| 507 | void AddThread(int unique_tid, bool suppressable = false); |
| Kostya Serebryany | 3df5d87 | 2014-03-21 13:00:18 +0000 | [diff] [blame] | 508 | void AddUniqueTid(int unique_tid); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 509 | void AddMutex(const SyncVar *s); |
| Dmitry Vyukov | 6cfab72 | 2014-02-28 10:48:13 +0000 | [diff] [blame] | 510 | u64 AddMutex(u64 id); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 511 | void AddLocation(uptr addr, uptr size); |
| Dmitry Vyukov | 318f777 | 2012-08-31 17:27:49 +0000 | [diff] [blame] | 512 | void AddSleep(u32 stack_id); |
| Dmitry Vyukov | ebf63d0 | 2013-03-21 16:55:17 +0000 | [diff] [blame] | 513 | void SetCount(int count); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 514 | |
| 515 | const ReportDesc *GetReport() const; |
| 516 | |
| 517 | private: |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 518 | ReportDesc *rep_; |
| Dmitry Vyukov | ce37210 | 2013-12-24 12:55:56 +0000 | [diff] [blame] | 519 | // Symbolizer makes lots of intercepted calls. If we try to process them, |
| 520 | // at best it will cause deadlocks on internal mutexes. |
| 521 | ScopedIgnoreInterceptors ignore_interceptors_; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 522 | |
| Dmitry Vyukov | 6cfab72 | 2014-02-28 10:48:13 +0000 | [diff] [blame] | 523 | void AddDeadMutex(u64 id); |
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 524 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 525 | ScopedReport(const ScopedReport&); |
| 526 | void operator = (const ScopedReport&); |
| 527 | }; |
| 528 | |
| Alexey Samsonov | 40733a8 | 2014-11-03 22:23:44 +0000 | [diff] [blame] | 529 | void RestoreStack(int tid, const u64 epoch, VarSizeStackTrace *stk, |
| 530 | MutexSet *mset); |
| 531 | |
| 532 | template<typename StackTraceTy> |
| 533 | void ObtainCurrentStack(ThreadState *thr, uptr toppc, StackTraceTy *stack) { |
| 534 | uptr size = thr->shadow_stack_pos - thr->shadow_stack; |
| 535 | uptr start = 0; |
| 536 | if (size + !!toppc > kStackTraceMax) { |
| 537 | start = size + !!toppc - kStackTraceMax; |
| 538 | size = kStackTraceMax - !!toppc; |
| 539 | } |
| 540 | stack->Init(&thr->shadow_stack[start], size, toppc); |
| 541 | } |
| 542 | |
| Dmitry Vyukov | 3482ec3 | 2012-08-16 15:08:49 +0000 | [diff] [blame] | 543 | |
| Dmitry Vyukov | 41f4eba | 2015-02-13 15:25:47 +0000 | [diff] [blame^] | 544 | #ifdef TSAN_COLLECT_STATS |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 545 | void StatAggregate(u64 *dst, u64 *src); |
| 546 | void StatOutput(u64 *stat); |
| Dmitry Vyukov | 41f4eba | 2015-02-13 15:25:47 +0000 | [diff] [blame^] | 547 | #endif |
| 548 | |
| Timur Iskhodzhanov | a678832 | 2013-03-28 18:52:40 +0000 | [diff] [blame] | 549 | void ALWAYS_INLINE StatInc(ThreadState *thr, StatType typ, u64 n = 1) { |
| Dmitry Vyukov | 41f4eba | 2015-02-13 15:25:47 +0000 | [diff] [blame^] | 550 | #ifdef TSAN_COLLECT_STATS |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 551 | if (kCollectStats) |
| 552 | thr->stat[typ] += n; |
| Dmitry Vyukov | 41f4eba | 2015-02-13 15:25:47 +0000 | [diff] [blame^] | 553 | #endif |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 554 | } |
| Timur Iskhodzhanov | a678832 | 2013-03-28 18:52:40 +0000 | [diff] [blame] | 555 | void ALWAYS_INLINE StatSet(ThreadState *thr, StatType typ, u64 n) { |
| Dmitry Vyukov | 41f4eba | 2015-02-13 15:25:47 +0000 | [diff] [blame^] | 556 | #ifdef TSAN_COLLECT_STATS |
| Alexey Samsonov | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 557 | if (kCollectStats) |
| 558 | thr->stat[typ] = n; |
| Dmitry Vyukov | 41f4eba | 2015-02-13 15:25:47 +0000 | [diff] [blame^] | 559 | #endif |
| Alexey Samsonov | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 560 | } |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 561 | |
| Dmitry Vyukov | c015712 | 2012-11-06 16:00:16 +0000 | [diff] [blame] | 562 | void MapShadow(uptr addr, uptr size); |
| Dmitry Vyukov | 3e7ede2 | 2012-12-13 08:14:02 +0000 | [diff] [blame] | 563 | void MapThreadTrace(uptr addr, uptr size); |
| Dmitry Vyukov | 2e7f29f | 2013-03-18 15:49:07 +0000 | [diff] [blame] | 564 | void DontNeedShadowFor(uptr addr, uptr size); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 565 | void InitializeShadowMemory(); |
| 566 | void InitializeInterceptors(); |
| Dmitry Vyukov | 5ba7364 | 2013-10-03 13:37:17 +0000 | [diff] [blame] | 567 | void InitializeLibIgnore(); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 568 | void InitializeDynamicAnnotations(); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 569 | |
| Dmitry Vyukov | 16e7a75 | 2014-01-24 12:33:35 +0000 | [diff] [blame] | 570 | void ForkBefore(ThreadState *thr, uptr pc); |
| 571 | void ForkParentAfter(ThreadState *thr, uptr pc); |
| 572 | void ForkChildAfter(ThreadState *thr, uptr pc); |
| 573 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 574 | void ReportRace(ThreadState *thr); |
| Dmitry Vyukov | bde4c9c | 2014-05-29 13:50:54 +0000 | [diff] [blame] | 575 | bool OutputReport(ThreadState *thr, const ScopedReport &srep); |
| Alexey Samsonov | 40733a8 | 2014-11-03 22:23:44 +0000 | [diff] [blame] | 576 | bool IsFiredSuppression(Context *ctx, const ScopedReport &srep, |
| 577 | StackTrace trace); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 578 | bool IsExpectedReport(uptr addr, uptr size); |
| Dmitry Vyukov | f2cbda4 | 2013-03-28 16:21:19 +0000 | [diff] [blame] | 579 | void PrintMatchedBenignRaces(); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 580 | |
| 581 | #if defined(TSAN_DEBUG_OUTPUT) && TSAN_DEBUG_OUTPUT >= 1 |
| Alexey Samsonov | ad9d65f | 2012-11-02 12:17:51 +0000 | [diff] [blame] | 582 | # define DPrintf Printf |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 583 | #else |
| 584 | # define DPrintf(...) |
| 585 | #endif |
| 586 | |
| 587 | #if defined(TSAN_DEBUG_OUTPUT) && TSAN_DEBUG_OUTPUT >= 2 |
| Alexey Samsonov | ad9d65f | 2012-11-02 12:17:51 +0000 | [diff] [blame] | 588 | # define DPrintf2 Printf |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 589 | #else |
| 590 | # define DPrintf2(...) |
| 591 | #endif |
| 592 | |
| Dmitry Vyukov | 318f777 | 2012-08-31 17:27:49 +0000 | [diff] [blame] | 593 | u32 CurrentStackId(ThreadState *thr, uptr pc); |
| Dmitry Vyukov | 3238e1c | 2013-11-27 11:30:28 +0000 | [diff] [blame] | 594 | ReportStack *SymbolizeStackId(u32 stack_id); |
| Dmitry Vyukov | 46ca1fb | 2012-09-01 12:13:18 +0000 | [diff] [blame] | 595 | void PrintCurrentStack(ThreadState *thr, uptr pc); |
| Alexey Samsonov | fbaaed6 | 2014-11-06 18:43:45 +0000 | [diff] [blame] | 596 | void PrintCurrentStackSlow(uptr pc); // uses libunwind |
| Dmitry Vyukov | 318f777 | 2012-08-31 17:27:49 +0000 | [diff] [blame] | 597 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 598 | void Initialize(ThreadState *thr); |
| 599 | int Finalize(ThreadState *thr); |
| 600 | |
| Dmitry Vyukov | bde4c9c | 2014-05-29 13:50:54 +0000 | [diff] [blame] | 601 | void OnUserAlloc(ThreadState *thr, uptr pc, uptr p, uptr sz, bool write); |
| 602 | void OnUserFree(ThreadState *thr, uptr pc, uptr p, bool write); |
| Dmitry Vyukov | 2547ac6 | 2012-12-20 17:29:34 +0000 | [diff] [blame] | 603 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 604 | void MemoryAccess(ThreadState *thr, uptr pc, uptr addr, |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 605 | int kAccessSizeLog, bool kAccessIsWrite, bool kIsAtomic); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 606 | void MemoryAccessImpl(ThreadState *thr, uptr addr, |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 607 | int kAccessSizeLog, bool kAccessIsWrite, bool kIsAtomic, |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 608 | u64 *shadow_mem, Shadow cur); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 609 | void MemoryAccessRange(ThreadState *thr, uptr pc, uptr addr, |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 610 | uptr size, bool is_write); |
| Dmitry Vyukov | 3c2489e | 2013-02-13 13:05:36 +0000 | [diff] [blame] | 611 | void MemoryAccessRangeStep(ThreadState *thr, uptr pc, uptr addr, |
| 612 | uptr size, uptr step, bool is_write); |
| Dmitry Vyukov | 3f7bf08 | 2013-04-30 11:56:56 +0000 | [diff] [blame] | 613 | void UnalignedMemoryAccess(ThreadState *thr, uptr pc, uptr addr, |
| 614 | int size, bool kAccessIsWrite, bool kIsAtomic); |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 615 | |
| 616 | const int kSizeLog1 = 0; |
| 617 | const int kSizeLog2 = 1; |
| 618 | const int kSizeLog4 = 2; |
| 619 | const int kSizeLog8 = 3; |
| 620 | |
| Timur Iskhodzhanov | a678832 | 2013-03-28 18:52:40 +0000 | [diff] [blame] | 621 | void ALWAYS_INLINE MemoryRead(ThreadState *thr, uptr pc, |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 622 | uptr addr, int kAccessSizeLog) { |
| 623 | MemoryAccess(thr, pc, addr, kAccessSizeLog, false, false); |
| 624 | } |
| 625 | |
| Timur Iskhodzhanov | a678832 | 2013-03-28 18:52:40 +0000 | [diff] [blame] | 626 | void ALWAYS_INLINE MemoryWrite(ThreadState *thr, uptr pc, |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 627 | uptr addr, int kAccessSizeLog) { |
| 628 | MemoryAccess(thr, pc, addr, kAccessSizeLog, true, false); |
| 629 | } |
| 630 | |
| Timur Iskhodzhanov | a678832 | 2013-03-28 18:52:40 +0000 | [diff] [blame] | 631 | void ALWAYS_INLINE MemoryReadAtomic(ThreadState *thr, uptr pc, |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 632 | uptr addr, int kAccessSizeLog) { |
| 633 | MemoryAccess(thr, pc, addr, kAccessSizeLog, false, true); |
| 634 | } |
| 635 | |
| Timur Iskhodzhanov | a678832 | 2013-03-28 18:52:40 +0000 | [diff] [blame] | 636 | void ALWAYS_INLINE MemoryWriteAtomic(ThreadState *thr, uptr pc, |
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 637 | uptr addr, int kAccessSizeLog) { |
| 638 | MemoryAccess(thr, pc, addr, kAccessSizeLog, true, true); |
| 639 | } |
| 640 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 641 | void MemoryResetRange(ThreadState *thr, uptr pc, uptr addr, uptr size); |
| 642 | void MemoryRangeFreed(ThreadState *thr, uptr pc, uptr addr, uptr size); |
| Dmitry Vyukov | 9f1509f | 2012-08-15 16:52:19 +0000 | [diff] [blame] | 643 | void MemoryRangeImitateWrite(ThreadState *thr, uptr pc, uptr addr, uptr size); |
| Dmitry Vyukov | fbb194f | 2013-10-10 15:58:12 +0000 | [diff] [blame] | 644 | |
| Dmitry Vyukov | 3238e1c | 2013-11-27 11:30:28 +0000 | [diff] [blame] | 645 | void ThreadIgnoreBegin(ThreadState *thr, uptr pc); |
| 646 | void ThreadIgnoreEnd(ThreadState *thr, uptr pc); |
| 647 | void ThreadIgnoreSyncBegin(ThreadState *thr, uptr pc); |
| 648 | void ThreadIgnoreSyncEnd(ThreadState *thr, uptr pc); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 649 | |
| 650 | void FuncEntry(ThreadState *thr, uptr pc); |
| 651 | void FuncExit(ThreadState *thr); |
| 652 | |
| 653 | int ThreadCreate(ThreadState *thr, uptr pc, uptr uid, bool detached); |
| Dmitry Vyukov | 56faa55 | 2012-10-02 12:58:14 +0000 | [diff] [blame] | 654 | void ThreadStart(ThreadState *thr, int tid, uptr os_id); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 655 | void ThreadFinish(ThreadState *thr); |
| 656 | int ThreadTid(ThreadState *thr, uptr pc, uptr uid); |
| 657 | void ThreadJoin(ThreadState *thr, uptr pc, int tid); |
| 658 | void ThreadDetach(ThreadState *thr, uptr pc, int tid); |
| 659 | void ThreadFinalize(ThreadState *thr); |
| Dmitry Vyukov | 1b46993 | 2012-12-04 15:46:05 +0000 | [diff] [blame] | 660 | void ThreadSetName(ThreadState *thr, const char *name); |
| Dmitry Vyukov | 67dc570 | 2012-11-07 16:41:57 +0000 | [diff] [blame] | 661 | int ThreadCount(ThreadState *thr); |
| Dmitry Vyukov | 262465c | 2012-11-15 17:40:49 +0000 | [diff] [blame] | 662 | void ProcessPendingSignals(ThreadState *thr); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 663 | |
| Dmitry Vyukov | 4723e6b | 2012-08-16 13:29:41 +0000 | [diff] [blame] | 664 | void MutexCreate(ThreadState *thr, uptr pc, uptr addr, |
| 665 | bool rw, bool recursive, bool linker_init); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 666 | void MutexDestroy(ThreadState *thr, uptr pc, uptr addr); |
| Kostya Serebryany | 11f4f30 | 2014-02-25 08:24:15 +0000 | [diff] [blame] | 667 | void MutexLock(ThreadState *thr, uptr pc, uptr addr, int rec = 1, |
| 668 | bool try_lock = false); |
| Dmitry Vyukov | c9af818 | 2013-05-17 12:03:46 +0000 | [diff] [blame] | 669 | int MutexUnlock(ThreadState *thr, uptr pc, uptr addr, bool all = false); |
| Kostya Serebryany | 01be296 | 2014-02-25 10:33:37 +0000 | [diff] [blame] | 670 | void MutexReadLock(ThreadState *thr, uptr pc, uptr addr, bool try_lock = false); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 671 | void MutexReadUnlock(ThreadState *thr, uptr pc, uptr addr); |
| 672 | void MutexReadOrWriteUnlock(ThreadState *thr, uptr pc, uptr addr); |
| Dmitry Vyukov | 4bbe6dc | 2013-11-15 16:58:12 +0000 | [diff] [blame] | 673 | void MutexRepair(ThreadState *thr, uptr pc, uptr addr); // call on EOWNERDEAD |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 674 | |
| 675 | void Acquire(ThreadState *thr, uptr pc, uptr addr); |
| Dmitry Vyukov | bd16797 | 2014-11-18 06:44:43 +0000 | [diff] [blame] | 676 | // AcquireGlobal synchronizes the current thread with all other threads. |
| 677 | // In terms of happens-before relation, it draws a HB edge from all threads |
| 678 | // (where they happen to execute right now) to the current thread. We use it to |
| 679 | // handle Go finalizers. Namely, finalizer goroutine executes AcquireGlobal |
| 680 | // right before executing finalizers. This provides a coarse, but simple |
| 681 | // approximation of the actual required synchronization. |
| Dmitry Vyukov | e11f292 | 2012-11-07 15:08:20 +0000 | [diff] [blame] | 682 | void AcquireGlobal(ThreadState *thr, uptr pc); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 683 | void Release(ThreadState *thr, uptr pc, uptr addr); |
| Dmitry Vyukov | 904d3f9 | 2012-07-28 15:27:41 +0000 | [diff] [blame] | 684 | void ReleaseStore(ThreadState *thr, uptr pc, uptr addr); |
| Dmitry Vyukov | 318f777 | 2012-08-31 17:27:49 +0000 | [diff] [blame] | 685 | void AfterSleep(ThreadState *thr, uptr pc); |
| Dmitry Vyukov | fbb194f | 2013-10-10 15:58:12 +0000 | [diff] [blame] | 686 | void AcquireImpl(ThreadState *thr, uptr pc, SyncClock *c); |
| 687 | void ReleaseImpl(ThreadState *thr, uptr pc, SyncClock *c); |
| 688 | void ReleaseStoreImpl(ThreadState *thr, uptr pc, SyncClock *c); |
| 689 | void AcquireReleaseImpl(ThreadState *thr, uptr pc, SyncClock *c); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 690 | |
| 691 | // The hacky call uses custom calling convention and an assembly thunk. |
| 692 | // It is considerably faster that a normal call for the caller |
| 693 | // if it is not executed (it is intended for slow paths from hot functions). |
| 694 | // The trick is that the call preserves all registers and the compiler |
| 695 | // does not treat it as a call. |
| 696 | // If it does not work for you, use normal call. |
| Dmitry Vyukov | 48846ba | 2015-01-22 14:13:56 +0000 | [diff] [blame] | 697 | #if !SANITIZER_DEBUG && defined(__x86_64__) |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 698 | // The caller may not create the stack frame for itself at all, |
| 699 | // so we create a reserve stack frame for it (1024b must be enough). |
| 700 | #define HACKY_CALL(f) \ |
| Dmitry Vyukov | b7f1852 | 2012-09-02 11:24:07 +0000 | [diff] [blame] | 701 | __asm__ __volatile__("sub $1024, %%rsp;" \ |
| Kostya Serebryany | 14e92c2 | 2013-12-05 07:44:35 +0000 | [diff] [blame] | 702 | CFI_INL_ADJUST_CFA_OFFSET(1024) \ |
| Dmitry Vyukov | 20678e2 | 2012-11-26 14:20:26 +0000 | [diff] [blame] | 703 | ".hidden " #f "_thunk;" \ |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 704 | "call " #f "_thunk;" \ |
| Dmitry Vyukov | b7f1852 | 2012-09-02 11:24:07 +0000 | [diff] [blame] | 705 | "add $1024, %%rsp;" \ |
| Kostya Serebryany | 14e92c2 | 2013-12-05 07:44:35 +0000 | [diff] [blame] | 706 | CFI_INL_ADJUST_CFA_OFFSET(-1024) \ |
| Dmitry Vyukov | b7f1852 | 2012-09-02 11:24:07 +0000 | [diff] [blame] | 707 | ::: "memory", "cc"); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 708 | #else |
| 709 | #define HACKY_CALL(f) f() |
| 710 | #endif |
| 711 | |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 712 | void TraceSwitch(ThreadState *thr); |
| Dmitry Vyukov | 2429b02 | 2012-11-28 10:35:31 +0000 | [diff] [blame] | 713 | uptr TraceTopPC(ThreadState *thr); |
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 714 | uptr TraceSize(); |
| Dmitry Vyukov | 55b47ca | 2012-12-04 12:19:53 +0000 | [diff] [blame] | 715 | uptr TraceParts(); |
| Dmitry Vyukov | 79915de | 2013-03-20 10:31:53 +0000 | [diff] [blame] | 716 | Trace *ThreadTrace(int tid); |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 717 | |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 718 | extern "C" void __tsan_trace_switch(); |
| Timur Iskhodzhanov | a678832 | 2013-03-28 18:52:40 +0000 | [diff] [blame] | 719 | void ALWAYS_INLINE TraceAddEvent(ThreadState *thr, FastState fs, |
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 720 | EventType typ, u64 addr) { |
| Dmitry Vyukov | 547089e | 2014-05-15 12:51:48 +0000 | [diff] [blame] | 721 | if (!kCollectHistory) |
| 722 | return; |
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 723 | DCHECK_GE((int)typ, 0); |
| 724 | DCHECK_LE((int)typ, 7); |
| 725 | DCHECK_EQ(GetLsb(addr, 61), addr); |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 726 | StatInc(thr, StatEvents); |
| Dmitry Vyukov | eb3d36e | 2012-11-28 13:01:32 +0000 | [diff] [blame] | 727 | u64 pos = fs.GetTracePos(); |
| 728 | if (UNLIKELY((pos % kTracePartSize) == 0)) { |
| Kostya Serebryany | 83ed889 | 2014-12-09 01:31:14 +0000 | [diff] [blame] | 729 | #ifndef SANITIZER_GO |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 730 | HACKY_CALL(__tsan_trace_switch); |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 731 | #else |
| 732 | TraceSwitch(thr); |
| 733 | #endif |
| 734 | } |
| Dmitry Vyukov | 2429b02 | 2012-11-28 10:35:31 +0000 | [diff] [blame] | 735 | Event *trace = (Event*)GetThreadTrace(fs.tid()); |
| Dmitry Vyukov | eb3d36e | 2012-11-28 13:01:32 +0000 | [diff] [blame] | 736 | Event *evp = &trace[pos]; |
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 737 | Event ev = (u64)addr | ((u64)typ << 61); |
| 738 | *evp = ev; |
| 739 | } |
| 740 | |
| 741 | } // namespace __tsan |
| 742 | |
| 743 | #endif // TSAN_RTL_H |