| 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 | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 30 | #include "sanitizer_common/sanitizer_common.h" | 
|  | 31 | #include "sanitizer_common/sanitizer_thread_registry.h" | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 32 | #include "tsan_clock.h" | 
|  | 33 | #include "tsan_defs.h" | 
|  | 34 | #include "tsan_flags.h" | 
|  | 35 | #include "tsan_sync.h" | 
|  | 36 | #include "tsan_trace.h" | 
|  | 37 | #include "tsan_vector.h" | 
|  | 38 | #include "tsan_report.h" | 
| Dmitry Vyukov | 2429b02 | 2012-11-28 10:35:31 +0000 | [diff] [blame] | 39 | #include "tsan_platform.h" | 
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 40 | #include "tsan_mutexset.h" | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 41 |  | 
| Kostya Serebryany | 242b630 | 2012-12-04 15:13:30 +0000 | [diff] [blame] | 42 | #if SANITIZER_WORDSIZE != 64 | 
|  | 43 | # error "ThreadSanitizer is supported only on 64-bit platforms" | 
|  | 44 | #endif | 
|  | 45 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 46 | namespace __tsan { | 
|  | 47 |  | 
| Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 48 | // Descriptor of user's memory block. | 
|  | 49 | struct MBlock { | 
| Dmitry Vyukov | 9f1509f | 2012-08-15 16:52:19 +0000 | [diff] [blame] | 50 | Mutex mtx; | 
| Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 51 | uptr size; | 
| Dmitry Vyukov | 191f2f7 | 2012-08-30 13:02:30 +0000 | [diff] [blame] | 52 | u32 alloc_tid; | 
|  | 53 | u32 alloc_stack_id; | 
| Dmitry Vyukov | 9f1509f | 2012-08-15 16:52:19 +0000 | [diff] [blame] | 54 | SyncVar *head; | 
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 55 |  | 
|  | 56 | MBlock() | 
|  | 57 | : mtx(MutexTypeMBlock, StatMtxMBlock) { | 
|  | 58 | } | 
| Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 59 | }; | 
|  | 60 |  | 
|  | 61 | #ifndef TSAN_GO | 
|  | 62 | #if defined(TSAN_COMPAT_SHADOW) && TSAN_COMPAT_SHADOW | 
| Dmitry Vyukov | f77c6ea | 2012-08-16 13:27:25 +0000 | [diff] [blame] | 63 | const uptr kAllocatorSpace = 0x7d0000000000ULL; | 
| Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 64 | #else | 
|  | 65 | const uptr kAllocatorSpace = 0x7d0000000000ULL; | 
|  | 66 | #endif | 
|  | 67 | const uptr kAllocatorSize  =  0x10000000000ULL;  // 1T. | 
|  | 68 |  | 
| Dmitry Vyukov | 20bf8c7 | 2013-03-18 10:32:21 +0000 | [diff] [blame] | 69 | struct MapUnmapCallback; | 
| Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 70 | typedef SizeClassAllocator64<kAllocatorSpace, kAllocatorSize, sizeof(MBlock), | 
| Dmitry Vyukov | 20bf8c7 | 2013-03-18 10:32:21 +0000 | [diff] [blame] | 71 | DefaultSizeClassMap, MapUnmapCallback> PrimaryAllocator; | 
| Kostya Serebryany | f299288 | 2012-12-04 14:15:17 +0000 | [diff] [blame] | 72 | typedef SizeClassAllocatorLocalCache<PrimaryAllocator> AllocatorCache; | 
| Dmitry Vyukov | 20bf8c7 | 2013-03-18 10:32:21 +0000 | [diff] [blame] | 73 | typedef LargeMmapAllocator<MapUnmapCallback> SecondaryAllocator; | 
| Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 74 | typedef CombinedAllocator<PrimaryAllocator, AllocatorCache, | 
|  | 75 | SecondaryAllocator> Allocator; | 
| Dmitry Vyukov | 191f2f7 | 2012-08-30 13:02:30 +0000 | [diff] [blame] | 76 | Allocator *allocator(); | 
| Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 77 | #endif | 
|  | 78 |  | 
| Alexey Samsonov | 5c6b93b | 2012-09-11 09:44:48 +0000 | [diff] [blame] | 79 | void TsanCheckFailed(const char *file, int line, const char *cond, | 
|  | 80 | u64 v1, u64 v2); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 81 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 82 | // FastState (from most significant bit): | 
| Dmitry Vyukov | 00e4604 | 2012-11-28 10:49:27 +0000 | [diff] [blame] | 83 | //   ignore          : 1 | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 84 | //   tid             : kTidBits | 
|  | 85 | //   epoch           : kClkBits | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 86 | //   unused          : - | 
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 87 | //   history_size    : 3 | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 88 | class FastState { | 
|  | 89 | public: | 
|  | 90 | FastState(u64 tid, u64 epoch) { | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 91 | x_ = tid << kTidShift; | 
|  | 92 | x_ |= epoch << kClkShift; | 
| Dmitry Vyukov | 00e4604 | 2012-11-28 10:49:27 +0000 | [diff] [blame] | 93 | DCHECK_EQ(tid, this->tid()); | 
|  | 94 | DCHECK_EQ(epoch, this->epoch()); | 
|  | 95 | DCHECK_EQ(GetIgnoreBit(), false); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 96 | } | 
|  | 97 |  | 
|  | 98 | explicit FastState(u64 x) | 
|  | 99 | : x_(x) { | 
|  | 100 | } | 
|  | 101 |  | 
| Dmitry Vyukov | 3482ec3 | 2012-08-16 15:08:49 +0000 | [diff] [blame] | 102 | u64 raw() const { | 
|  | 103 | return x_; | 
|  | 104 | } | 
|  | 105 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 106 | u64 tid() const { | 
| Dmitry Vyukov | e993dac2 | 2012-11-30 20:02:11 +0000 | [diff] [blame] | 107 | u64 res = (x_ & ~kIgnoreBit) >> kTidShift; | 
|  | 108 | return res; | 
|  | 109 | } | 
|  | 110 |  | 
|  | 111 | u64 TidWithIgnore() const { | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 112 | u64 res = x_ >> kTidShift; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 113 | return res; | 
|  | 114 | } | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 115 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 116 | u64 epoch() const { | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 117 | u64 res = (x_ << (kTidBits + 1)) >> (64 - kClkBits); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 118 | return res; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 119 | } | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 120 |  | 
|  | 121 | void IncrementEpoch() { | 
|  | 122 | u64 old_epoch = epoch(); | 
|  | 123 | x_ += 1 << kClkShift; | 
| Dmitry Vyukov | 163a8338 | 2012-05-21 10:20:53 +0000 | [diff] [blame] | 124 | DCHECK_EQ(old_epoch + 1, epoch()); | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 125 | (void)old_epoch; | 
|  | 126 | } | 
|  | 127 |  | 
|  | 128 | void SetIgnoreBit() { x_ |= kIgnoreBit; } | 
|  | 129 | void ClearIgnoreBit() { x_ &= ~kIgnoreBit; } | 
| Dmitry Vyukov | 00e4604 | 2012-11-28 10:49:27 +0000 | [diff] [blame] | 130 | bool GetIgnoreBit() const { return (s64)x_ < 0; } | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 131 |  | 
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 132 | void SetHistorySize(int hs) { | 
|  | 133 | CHECK_GE(hs, 0); | 
|  | 134 | CHECK_LE(hs, 7); | 
|  | 135 | x_ = (x_ & ~7) | hs; | 
|  | 136 | } | 
|  | 137 |  | 
|  | 138 | int GetHistorySize() const { | 
|  | 139 | return (int)(x_ & 7); | 
|  | 140 | } | 
|  | 141 |  | 
|  | 142 | void ClearHistorySize() { | 
|  | 143 | x_ &= ~7; | 
|  | 144 | } | 
|  | 145 |  | 
|  | 146 | u64 GetTracePos() const { | 
|  | 147 | const int hs = GetHistorySize(); | 
|  | 148 | // When hs == 0, the trace consists of 2 parts. | 
|  | 149 | const u64 mask = (1ull << (kTracePartSizeBits + hs + 1)) - 1; | 
|  | 150 | return epoch() & mask; | 
|  | 151 | } | 
|  | 152 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 153 | private: | 
|  | 154 | friend class Shadow; | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 155 | static const int kTidShift = 64 - kTidBits - 1; | 
|  | 156 | static const int kClkShift = kTidShift - kClkBits; | 
| Dmitry Vyukov | 00e4604 | 2012-11-28 10:49:27 +0000 | [diff] [blame] | 157 | static const u64 kIgnoreBit = 1ull << 63; | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 158 | static const u64 kFreedBit = 1ull << 63; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 159 | u64 x_; | 
|  | 160 | }; | 
|  | 161 |  | 
|  | 162 | // Shadow (from most significant bit): | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 163 | //   freed           : 1 | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 164 | //   tid             : kTidBits | 
|  | 165 | //   epoch           : kClkBits | 
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 166 | //   is_atomic       : 1 | 
| Dmitry Vyukov | 71242b0 | 2013-02-01 10:02:55 +0000 | [diff] [blame] | 167 | //   is_read         : 1 | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 168 | //   size_log        : 2 | 
|  | 169 | //   addr0           : 3 | 
| Dmitry Vyukov | 97c26bd | 2012-06-27 16:05:06 +0000 | [diff] [blame] | 170 | class Shadow : public FastState { | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 171 | public: | 
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 172 | explicit Shadow(u64 x) | 
|  | 173 | : FastState(x) { | 
|  | 174 | } | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 175 |  | 
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 176 | explicit Shadow(const FastState &s) | 
|  | 177 | : FastState(s.x_) { | 
|  | 178 | ClearHistorySize(); | 
|  | 179 | } | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 180 |  | 
|  | 181 | void SetAddr0AndSizeLog(u64 addr0, unsigned kAccessSizeLog) { | 
|  | 182 | DCHECK_EQ(x_ & 31, 0); | 
|  | 183 | DCHECK_LE(addr0, 7); | 
|  | 184 | DCHECK_LE(kAccessSizeLog, 3); | 
|  | 185 | x_ |= (kAccessSizeLog << 3) | addr0; | 
|  | 186 | DCHECK_EQ(kAccessSizeLog, size_log()); | 
|  | 187 | DCHECK_EQ(addr0, this->addr0()); | 
|  | 188 | } | 
|  | 189 |  | 
|  | 190 | void SetWrite(unsigned kAccessIsWrite) { | 
| Dmitry Vyukov | 71242b0 | 2013-02-01 10:02:55 +0000 | [diff] [blame] | 191 | DCHECK_EQ(x_ & kReadBit, 0); | 
|  | 192 | if (!kAccessIsWrite) | 
|  | 193 | x_ |= kReadBit; | 
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 194 | DCHECK_EQ(kAccessIsWrite, IsWrite()); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 195 | } | 
|  | 196 |  | 
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 197 | void SetAtomic(bool kIsAtomic) { | 
|  | 198 | DCHECK(!IsAtomic()); | 
|  | 199 | if (kIsAtomic) | 
|  | 200 | x_ |= kAtomicBit; | 
|  | 201 | DCHECK_EQ(IsAtomic(), kIsAtomic); | 
|  | 202 | } | 
|  | 203 |  | 
|  | 204 | bool IsAtomic() const { | 
|  | 205 | return x_ & kAtomicBit; | 
|  | 206 | } | 
|  | 207 |  | 
|  | 208 | bool IsZero() const { | 
|  | 209 | return x_ == 0; | 
|  | 210 | } | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 211 |  | 
| Dmitry Vyukov | 302cebb | 2012-05-22 18:07:45 +0000 | [diff] [blame] | 212 | static inline bool TidsAreEqual(const Shadow s1, const Shadow s2) { | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 213 | u64 shifted_xor = (s1.x_ ^ s2.x_) >> kTidShift; | 
| Dmitry Vyukov | e993dac2 | 2012-11-30 20:02:11 +0000 | [diff] [blame] | 214 | DCHECK_EQ(shifted_xor == 0, s1.TidWithIgnore() == s2.TidWithIgnore()); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 215 | return shifted_xor == 0; | 
|  | 216 | } | 
| Dmitry Vyukov | 302cebb | 2012-05-22 18:07:45 +0000 | [diff] [blame] | 217 |  | 
|  | 218 | static inline bool Addr0AndSizeAreEqual(const Shadow s1, const Shadow s2) { | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 219 | u64 masked_xor = (s1.x_ ^ s2.x_) & 31; | 
|  | 220 | return masked_xor == 0; | 
|  | 221 | } | 
|  | 222 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 223 | static inline bool TwoRangesIntersect(Shadow s1, Shadow s2, | 
|  | 224 | unsigned kS2AccessSize) { | 
|  | 225 | bool res = false; | 
|  | 226 | u64 diff = s1.addr0() - s2.addr0(); | 
|  | 227 | if ((s64)diff < 0) {  // s1.addr0 < s2.addr0  // NOLINT | 
|  | 228 | // if (s1.addr0() + size1) > s2.addr0()) return true; | 
|  | 229 | if (s1.size() > -diff)  res = true; | 
|  | 230 | } else { | 
|  | 231 | // if (s2.addr0() + kS2AccessSize > s1.addr0()) return true; | 
|  | 232 | if (kS2AccessSize > diff) res = true; | 
|  | 233 | } | 
|  | 234 | DCHECK_EQ(res, TwoRangesIntersectSLOW(s1, s2)); | 
|  | 235 | DCHECK_EQ(res, TwoRangesIntersectSLOW(s2, s1)); | 
|  | 236 | return res; | 
|  | 237 | } | 
|  | 238 |  | 
|  | 239 | // The idea behind the offset is as follows. | 
|  | 240 | // Consider that we have 8 bool's contained within a single 8-byte block | 
|  | 241 | // (mapped to a single shadow "cell"). Now consider that we write to the bools | 
|  | 242 | // from a single thread (which we consider the common case). | 
|  | 243 | // W/o offsetting each access will have to scan 4 shadow values at average | 
|  | 244 | // to find the corresponding shadow value for the bool. | 
|  | 245 | // With offsetting we start scanning shadow with the offset so that | 
|  | 246 | // each access hits necessary shadow straight off (at least in an expected | 
|  | 247 | // optimistic case). | 
|  | 248 | // This logic works seamlessly for any layout of user data. For example, | 
|  | 249 | // if user data is {int, short, char, char}, then accesses to the int are | 
|  | 250 | // offsetted to 0, short - 4, 1st char - 6, 2nd char - 7. Hopefully, accesses | 
|  | 251 | // from a single thread won't need to scan all 8 shadow values. | 
|  | 252 | unsigned ComputeSearchOffset() { | 
|  | 253 | return x_ & 7; | 
|  | 254 | } | 
|  | 255 | u64 addr0() const { return x_ & 7; } | 
|  | 256 | u64 size() const { return 1ull << size_log(); } | 
| Dmitry Vyukov | 71242b0 | 2013-02-01 10:02:55 +0000 | [diff] [blame] | 257 | bool IsWrite() const { return !IsRead(); } | 
|  | 258 | bool IsRead() const { return x_ & kReadBit; } | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 259 |  | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 260 | // The idea behind the freed bit is as follows. | 
|  | 261 | // When the memory is freed (or otherwise unaccessible) we write to the shadow | 
|  | 262 | // values with tid/epoch related to the free and the freed bit set. | 
|  | 263 | // During memory accesses processing the freed bit is considered | 
|  | 264 | // as msb of tid. So any access races with shadow with freed bit set | 
|  | 265 | // (it is as if write from a thread with which we never synchronized before). | 
|  | 266 | // This allows us to detect accesses to freed memory w/o additional | 
|  | 267 | // overheads in memory access processing and at the same time restore | 
|  | 268 | // tid/epoch of free. | 
|  | 269 | void MarkAsFreed() { | 
|  | 270 | x_ |= kFreedBit; | 
|  | 271 | } | 
|  | 272 |  | 
| Dmitry Vyukov | 87c6bb9 | 2013-02-01 14:41:58 +0000 | [diff] [blame] | 273 | bool IsFreed() const { | 
|  | 274 | return x_ & kFreedBit; | 
|  | 275 | } | 
|  | 276 |  | 
| Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 277 | bool GetFreedAndReset() { | 
|  | 278 | bool res = x_ & kFreedBit; | 
|  | 279 | x_ &= ~kFreedBit; | 
|  | 280 | return res; | 
|  | 281 | } | 
|  | 282 |  | 
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 283 | bool IsBothReadsOrAtomic(bool kIsWrite, bool kIsAtomic) const { | 
| Dmitry Vyukov | 71242b0 | 2013-02-01 10:02:55 +0000 | [diff] [blame] | 284 | // analyzes 5-th bit (is_read) and 6-th bit (is_atomic) | 
|  | 285 | bool v = x_ & u64(((kIsWrite ^ 1) << kReadShift) | 
|  | 286 | | (kIsAtomic << kAtomicShift)); | 
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 287 | DCHECK_EQ(v, (!IsWrite() && !kIsWrite) || (IsAtomic() && kIsAtomic)); | 
|  | 288 | return v; | 
|  | 289 | } | 
|  | 290 |  | 
|  | 291 | bool IsRWNotWeaker(bool kIsWrite, bool kIsAtomic) const { | 
| Dmitry Vyukov | 71242b0 | 2013-02-01 10:02:55 +0000 | [diff] [blame] | 292 | bool v = ((x_ >> kReadShift) & 3) | 
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 293 | <= u64((kIsWrite ^ 1) | (kIsAtomic << 1)); | 
|  | 294 | DCHECK_EQ(v, (IsAtomic() < kIsAtomic) || | 
|  | 295 | (IsAtomic() == kIsAtomic && !IsWrite() <= !kIsWrite)); | 
|  | 296 | return v; | 
|  | 297 | } | 
|  | 298 |  | 
|  | 299 | bool IsRWWeakerOrEqual(bool kIsWrite, bool kIsAtomic) const { | 
| Dmitry Vyukov | 71242b0 | 2013-02-01 10:02:55 +0000 | [diff] [blame] | 300 | bool v = ((x_ >> kReadShift) & 3) | 
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 301 | >= u64((kIsWrite ^ 1) | (kIsAtomic << 1)); | 
|  | 302 | DCHECK_EQ(v, (IsAtomic() > kIsAtomic) || | 
|  | 303 | (IsAtomic() == kIsAtomic && !IsWrite() >= !kIsWrite)); | 
|  | 304 | return v; | 
|  | 305 | } | 
|  | 306 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 307 | private: | 
| Dmitry Vyukov | 71242b0 | 2013-02-01 10:02:55 +0000 | [diff] [blame] | 308 | static const u64 kReadShift   = 5; | 
|  | 309 | static const u64 kReadBit     = 1ull << kReadShift; | 
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 310 | static const u64 kAtomicShift = 6; | 
|  | 311 | static const u64 kAtomicBit   = 1ull << kAtomicShift; | 
|  | 312 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 313 | u64 size_log() const { return (x_ >> 3) & 3; } | 
| Dmitry Vyukov | 302cebb | 2012-05-22 18:07:45 +0000 | [diff] [blame] | 314 |  | 
|  | 315 | static bool TwoRangesIntersectSLOW(const Shadow s1, const Shadow s2) { | 
|  | 316 | if (s1.addr0() == s2.addr0()) return true; | 
|  | 317 | if (s1.addr0() < s2.addr0() && s1.addr0() + s1.size() > s2.addr0()) | 
|  | 318 | return true; | 
|  | 319 | if (s2.addr0() < s1.addr0() && s2.addr0() + s2.size() > s1.addr0()) | 
|  | 320 | return true; | 
|  | 321 | return false; | 
|  | 322 | } | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 323 | }; | 
|  | 324 |  | 
| Dmitry Vyukov | 97c26bd | 2012-06-27 16:05:06 +0000 | [diff] [blame] | 325 | struct SignalContext; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 326 |  | 
|  | 327 | // This struct is stored in TLS. | 
|  | 328 | struct ThreadState { | 
|  | 329 | FastState fast_state; | 
|  | 330 | // Synch epoch represents the threads's epoch before the last synchronization | 
|  | 331 | // action. It allows to reduce number of shadow state updates. | 
|  | 332 | // For example, fast_synch_epoch=100, last write to addr X was at epoch=150, | 
|  | 333 | // if we are processing write to X from the same thread at epoch=200, | 
|  | 334 | // we do nothing, because both writes happen in the same 'synch epoch'. | 
|  | 335 | // That is, if another memory access does not race with the former write, | 
|  | 336 | // it does not race with the latter as well. | 
|  | 337 | // QUESTION: can we can squeeze this into ThreadState::Fast? | 
|  | 338 | // E.g. ThreadState::Fast is a 44-bit, 32 are taken by synch_epoch and 12 are | 
|  | 339 | // taken by epoch between synchs. | 
|  | 340 | // This way we can save one load from tls. | 
|  | 341 | u64 fast_synch_epoch; | 
|  | 342 | // This is a slow path flag. On fast path, fast_state.GetIgnoreBit() is read. | 
|  | 343 | // We do not distinguish beteween ignoring reads and writes | 
|  | 344 | // for better performance. | 
|  | 345 | int ignore_reads_and_writes; | 
|  | 346 | uptr *shadow_stack_pos; | 
|  | 347 | u64 *racy_shadow_addr; | 
|  | 348 | u64 racy_state[2]; | 
|  | 349 | Trace trace; | 
| Dmitry Vyukov | 5bfac97 | 2012-07-16 16:44:47 +0000 | [diff] [blame] | 350 | #ifndef TSAN_GO | 
|  | 351 | // C/C++ uses embed shadow stack of fixed size. | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 352 | uptr shadow_stack[kShadowStackSize]; | 
| Dmitry Vyukov | 5bfac97 | 2012-07-16 16:44:47 +0000 | [diff] [blame] | 353 | #else | 
|  | 354 | // Go uses satellite shadow stack with dynamic size. | 
|  | 355 | uptr *shadow_stack; | 
|  | 356 | uptr *shadow_stack_end; | 
|  | 357 | #endif | 
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 358 | MutexSet mset; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 359 | ThreadClock clock; | 
| Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 360 | #ifndef TSAN_GO | 
|  | 361 | AllocatorCache alloc_cache; | 
|  | 362 | #endif | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 363 | u64 stat[StatCnt]; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 364 | const int tid; | 
| Dmitry Vyukov | 191f2f7 | 2012-08-30 13:02:30 +0000 | [diff] [blame] | 365 | const int unique_id; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 366 | int in_rtl; | 
| Dmitry Vyukov | b46930b | 2013-01-29 13:03:07 +0000 | [diff] [blame] | 367 | bool in_symbolizer; | 
| Dmitry Vyukov | fa985a0 | 2012-06-28 18:07:46 +0000 | [diff] [blame] | 368 | bool is_alive; | 
| Dmitry Vyukov | 87c6bb9 | 2013-02-01 14:41:58 +0000 | [diff] [blame] | 369 | bool is_freeing; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 370 | const uptr stk_addr; | 
|  | 371 | const uptr stk_size; | 
|  | 372 | const uptr tls_addr; | 
|  | 373 | const uptr tls_size; | 
|  | 374 |  | 
|  | 375 | DeadlockDetector deadlock_detector; | 
|  | 376 |  | 
|  | 377 | bool in_signal_handler; | 
| Dmitry Vyukov | 97c26bd | 2012-06-27 16:05:06 +0000 | [diff] [blame] | 378 | SignalContext *signal_ctx; | 
|  | 379 |  | 
| Dmitry Vyukov | 318f777 | 2012-08-31 17:27:49 +0000 | [diff] [blame] | 380 | #ifndef TSAN_GO | 
|  | 381 | u32 last_sleep_stack_id; | 
|  | 382 | ThreadClock last_sleep_clock; | 
|  | 383 | #endif | 
|  | 384 |  | 
| Dmitry Vyukov | de1fd1c | 2012-06-22 11:08:55 +0000 | [diff] [blame] | 385 | // Set in regions of runtime that must be signal-safe and fork-safe. | 
|  | 386 | // If set, malloc must not be called. | 
|  | 387 | int nomalloc; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 388 |  | 
| Dmitry Vyukov | 191f2f7 | 2012-08-30 13:02:30 +0000 | [diff] [blame] | 389 | explicit ThreadState(Context *ctx, int tid, int unique_id, u64 epoch, | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 390 | uptr stk_addr, uptr stk_size, | 
|  | 391 | uptr tls_addr, uptr tls_size); | 
|  | 392 | }; | 
|  | 393 |  | 
|  | 394 | Context *CTX(); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 395 |  | 
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 396 | #ifndef TSAN_GO | 
|  | 397 | extern THREADLOCAL char cur_thread_placeholder[]; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 398 | INLINE ThreadState *cur_thread() { | 
|  | 399 | return reinterpret_cast<ThreadState *>(&cur_thread_placeholder); | 
|  | 400 | } | 
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 401 | #endif | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 402 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 403 | // An info about a thread that is hold for some time after its termination. | 
|  | 404 | struct ThreadDeadInfo { | 
|  | 405 | Trace trace; | 
|  | 406 | }; | 
|  | 407 |  | 
| Alexey Samsonov | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 408 | class ThreadContext : public ThreadContextBase { | 
|  | 409 | public: | 
|  | 410 | explicit ThreadContext(int tid); | 
| Dmitry Vyukov | 49e462f | 2013-03-18 10:10:15 +0000 | [diff] [blame] | 411 | ~ThreadContext(); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 412 | ThreadState *thr; | 
| Dmitry Vyukov | 7cd2025 | 2013-03-18 09:02:27 +0000 | [diff] [blame] | 413 | #ifdef TSAN_GO | 
| Alexey Samsonov | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 414 | StackTrace creation_stack; | 
| Dmitry Vyukov | 7cd2025 | 2013-03-18 09:02:27 +0000 | [diff] [blame] | 415 | #else | 
|  | 416 | u32 creation_stack_id; | 
|  | 417 | #endif | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 418 | SyncClock sync; | 
|  | 419 | // Epoch at which the thread had started. | 
|  | 420 | // If we see an event from the thread stamped by an older epoch, | 
|  | 421 | // the event is from a dead thread that shared tid with this thread. | 
|  | 422 | u64 epoch0; | 
|  | 423 | u64 epoch1; | 
| Dmitry Vyukov | f6985e3 | 2012-05-22 14:34:43 +0000 | [diff] [blame] | 424 | ThreadDeadInfo *dead_info; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 425 |  | 
| Alexey Samsonov | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 426 | // Override superclass callbacks. | 
|  | 427 | void OnDead(); | 
|  | 428 | void OnJoined(void *arg); | 
|  | 429 | void OnFinished(); | 
|  | 430 | void OnStarted(void *arg); | 
|  | 431 | void OnCreated(void *arg); | 
|  | 432 | void OnReset(void *arg); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 433 | }; | 
|  | 434 |  | 
|  | 435 | struct RacyStacks { | 
|  | 436 | MD5Hash hash[2]; | 
|  | 437 | bool operator==(const RacyStacks &other) const { | 
|  | 438 | if (hash[0] == other.hash[0] && hash[1] == other.hash[1]) | 
|  | 439 | return true; | 
|  | 440 | if (hash[0] == other.hash[1] && hash[1] == other.hash[0]) | 
|  | 441 | return true; | 
|  | 442 | return false; | 
|  | 443 | } | 
|  | 444 | }; | 
|  | 445 |  | 
|  | 446 | struct RacyAddress { | 
|  | 447 | uptr addr_min; | 
|  | 448 | uptr addr_max; | 
|  | 449 | }; | 
|  | 450 |  | 
| Dmitry Vyukov | 90c9cbf | 2012-10-05 15:51:32 +0000 | [diff] [blame] | 451 | struct FiredSuppression { | 
|  | 452 | ReportType type; | 
|  | 453 | uptr pc; | 
|  | 454 | }; | 
|  | 455 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 456 | struct Context { | 
|  | 457 | Context(); | 
|  | 458 |  | 
|  | 459 | bool initialized; | 
|  | 460 |  | 
|  | 461 | SyncTab synctab; | 
|  | 462 |  | 
|  | 463 | Mutex report_mtx; | 
|  | 464 | int nreported; | 
|  | 465 | int nmissed_expected; | 
|  | 466 |  | 
| Alexey Samsonov | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 467 | ThreadRegistry *thread_registry; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 468 |  | 
|  | 469 | Vector<RacyStacks> racy_stacks; | 
|  | 470 | Vector<RacyAddress> racy_addresses; | 
| Dmitry Vyukov | 90c9cbf | 2012-10-05 15:51:32 +0000 | [diff] [blame] | 471 | Vector<FiredSuppression> fired_suppressions; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 472 |  | 
|  | 473 | Flags flags; | 
|  | 474 |  | 
|  | 475 | u64 stat[StatCnt]; | 
|  | 476 | u64 int_alloc_cnt[MBlockTypeCount]; | 
|  | 477 | u64 int_alloc_siz[MBlockTypeCount]; | 
|  | 478 | }; | 
|  | 479 |  | 
|  | 480 | class ScopedInRtl { | 
|  | 481 | public: | 
|  | 482 | ScopedInRtl(); | 
|  | 483 | ~ScopedInRtl(); | 
|  | 484 | private: | 
|  | 485 | ThreadState*thr_; | 
|  | 486 | int in_rtl_; | 
|  | 487 | int errno_; | 
|  | 488 | }; | 
|  | 489 |  | 
|  | 490 | class ScopedReport { | 
|  | 491 | public: | 
|  | 492 | explicit ScopedReport(ReportType typ); | 
|  | 493 | ~ScopedReport(); | 
|  | 494 |  | 
|  | 495 | void AddStack(const StackTrace *stack); | 
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 496 | void AddMemoryAccess(uptr addr, Shadow s, const StackTrace *stack, | 
|  | 497 | const MutexSet *mset); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 498 | void AddThread(const ThreadContext *tctx); | 
|  | 499 | void AddMutex(const SyncVar *s); | 
|  | 500 | void AddLocation(uptr addr, uptr size); | 
| Dmitry Vyukov | 318f777 | 2012-08-31 17:27:49 +0000 | [diff] [blame] | 501 | void AddSleep(u32 stack_id); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 502 |  | 
|  | 503 | const ReportDesc *GetReport() const; | 
|  | 504 |  | 
|  | 505 | private: | 
|  | 506 | Context *ctx_; | 
|  | 507 | ReportDesc *rep_; | 
|  | 508 |  | 
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 509 | void AddMutex(u64 id); | 
|  | 510 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 511 | ScopedReport(const ScopedReport&); | 
|  | 512 | void operator = (const ScopedReport&); | 
|  | 513 | }; | 
|  | 514 |  | 
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 515 | void RestoreStack(int tid, const u64 epoch, StackTrace *stk, MutexSet *mset); | 
| Dmitry Vyukov | 3482ec3 | 2012-08-16 15:08:49 +0000 | [diff] [blame] | 516 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 517 | void StatAggregate(u64 *dst, u64 *src); | 
|  | 518 | void StatOutput(u64 *stat); | 
|  | 519 | void ALWAYS_INLINE INLINE StatInc(ThreadState *thr, StatType typ, u64 n = 1) { | 
|  | 520 | if (kCollectStats) | 
|  | 521 | thr->stat[typ] += n; | 
|  | 522 | } | 
| Alexey Samsonov | 9aecdfe | 2013-03-15 13:48:44 +0000 | [diff] [blame] | 523 | void ALWAYS_INLINE INLINE StatSet(ThreadState *thr, StatType typ, u64 n) { | 
|  | 524 | if (kCollectStats) | 
|  | 525 | thr->stat[typ] = n; | 
|  | 526 | } | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 527 |  | 
| Dmitry Vyukov | c015712 | 2012-11-06 16:00:16 +0000 | [diff] [blame] | 528 | void MapShadow(uptr addr, uptr size); | 
| Dmitry Vyukov | 3e7ede2 | 2012-12-13 08:14:02 +0000 | [diff] [blame] | 529 | void MapThreadTrace(uptr addr, uptr size); | 
| Dmitry Vyukov | 2e7f29f | 2013-03-18 15:49:07 +0000 | [diff] [blame^] | 530 | void DontNeedShadowFor(uptr addr, uptr size); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 531 | void InitializeShadowMemory(); | 
|  | 532 | void InitializeInterceptors(); | 
|  | 533 | void InitializeDynamicAnnotations(); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 534 |  | 
|  | 535 | void ReportRace(ThreadState *thr); | 
| Dmitry Vyukov | 90c9cbf | 2012-10-05 15:51:32 +0000 | [diff] [blame] | 536 | bool OutputReport(Context *ctx, | 
|  | 537 | const ScopedReport &srep, | 
| Dmitry Vyukov | f4f76b1 | 2013-01-24 13:50:32 +0000 | [diff] [blame] | 538 | const ReportStack *suppress_stack1 = 0, | 
|  | 539 | const ReportStack *suppress_stack2 = 0); | 
| Dmitry Vyukov | 90c9cbf | 2012-10-05 15:51:32 +0000 | [diff] [blame] | 540 | bool IsFiredSuppression(Context *ctx, | 
|  | 541 | const ScopedReport &srep, | 
|  | 542 | const StackTrace &trace); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 543 | bool IsExpectedReport(uptr addr, uptr size); | 
| Kostya Serebryany | 4fb340d | 2013-02-06 14:24:00 +0000 | [diff] [blame] | 544 | bool FrameIsInternal(const ReportStack *frame); | 
| Alexey Samsonov | 85cc9b6 | 2013-02-06 16:28:05 +0000 | [diff] [blame] | 545 | ReportStack *SkipTsanInternalFrames(ReportStack *ent); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 546 |  | 
|  | 547 | #if defined(TSAN_DEBUG_OUTPUT) && TSAN_DEBUG_OUTPUT >= 1 | 
| Alexey Samsonov | ad9d65f | 2012-11-02 12:17:51 +0000 | [diff] [blame] | 548 | # define DPrintf Printf | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 549 | #else | 
|  | 550 | # define DPrintf(...) | 
|  | 551 | #endif | 
|  | 552 |  | 
|  | 553 | #if defined(TSAN_DEBUG_OUTPUT) && TSAN_DEBUG_OUTPUT >= 2 | 
| Alexey Samsonov | ad9d65f | 2012-11-02 12:17:51 +0000 | [diff] [blame] | 554 | # define DPrintf2 Printf | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 555 | #else | 
|  | 556 | # define DPrintf2(...) | 
|  | 557 | #endif | 
|  | 558 |  | 
| Dmitry Vyukov | 318f777 | 2012-08-31 17:27:49 +0000 | [diff] [blame] | 559 | u32 CurrentStackId(ThreadState *thr, uptr pc); | 
| Dmitry Vyukov | 46ca1fb | 2012-09-01 12:13:18 +0000 | [diff] [blame] | 560 | void PrintCurrentStack(ThreadState *thr, uptr pc); | 
| Dmitry Vyukov | 019ef67 | 2013-01-29 14:20:12 +0000 | [diff] [blame] | 561 | void PrintCurrentStackSlow();  // uses libunwind | 
| Dmitry Vyukov | 318f777 | 2012-08-31 17:27:49 +0000 | [diff] [blame] | 562 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 563 | void Initialize(ThreadState *thr); | 
|  | 564 | int Finalize(ThreadState *thr); | 
|  | 565 |  | 
| Dmitry Vyukov | 2547ac6 | 2012-12-20 17:29:34 +0000 | [diff] [blame] | 566 | SyncVar* GetJavaSync(ThreadState *thr, uptr pc, uptr addr, | 
|  | 567 | bool write_lock, bool create); | 
|  | 568 | SyncVar* GetAndRemoveJavaSync(ThreadState *thr, uptr pc, uptr addr); | 
|  | 569 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 570 | void MemoryAccess(ThreadState *thr, uptr pc, uptr addr, | 
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 571 | int kAccessSizeLog, bool kAccessIsWrite, bool kIsAtomic); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 572 | void MemoryAccessImpl(ThreadState *thr, uptr addr, | 
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 573 | int kAccessSizeLog, bool kAccessIsWrite, bool kIsAtomic, | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 574 | u64 *shadow_mem, Shadow cur); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 575 | void MemoryAccessRange(ThreadState *thr, uptr pc, uptr addr, | 
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 576 | uptr size, bool is_write); | 
| Dmitry Vyukov | 3c2489e | 2013-02-13 13:05:36 +0000 | [diff] [blame] | 577 | void MemoryAccessRangeStep(ThreadState *thr, uptr pc, uptr addr, | 
|  | 578 | uptr size, uptr step, bool is_write); | 
| Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 579 |  | 
|  | 580 | const int kSizeLog1 = 0; | 
|  | 581 | const int kSizeLog2 = 1; | 
|  | 582 | const int kSizeLog4 = 2; | 
|  | 583 | const int kSizeLog8 = 3; | 
|  | 584 |  | 
|  | 585 | void ALWAYS_INLINE INLINE MemoryRead(ThreadState *thr, uptr pc, | 
|  | 586 | uptr addr, int kAccessSizeLog) { | 
|  | 587 | MemoryAccess(thr, pc, addr, kAccessSizeLog, false, false); | 
|  | 588 | } | 
|  | 589 |  | 
|  | 590 | void ALWAYS_INLINE INLINE MemoryWrite(ThreadState *thr, uptr pc, | 
|  | 591 | uptr addr, int kAccessSizeLog) { | 
|  | 592 | MemoryAccess(thr, pc, addr, kAccessSizeLog, true, false); | 
|  | 593 | } | 
|  | 594 |  | 
|  | 595 | void ALWAYS_INLINE INLINE MemoryReadAtomic(ThreadState *thr, uptr pc, | 
|  | 596 | uptr addr, int kAccessSizeLog) { | 
|  | 597 | MemoryAccess(thr, pc, addr, kAccessSizeLog, false, true); | 
|  | 598 | } | 
|  | 599 |  | 
|  | 600 | void ALWAYS_INLINE INLINE MemoryWriteAtomic(ThreadState *thr, uptr pc, | 
|  | 601 | uptr addr, int kAccessSizeLog) { | 
|  | 602 | MemoryAccess(thr, pc, addr, kAccessSizeLog, true, true); | 
|  | 603 | } | 
|  | 604 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 605 | void MemoryResetRange(ThreadState *thr, uptr pc, uptr addr, uptr size); | 
|  | 606 | void MemoryRangeFreed(ThreadState *thr, uptr pc, uptr addr, uptr size); | 
| Dmitry Vyukov | 9f1509f | 2012-08-15 16:52:19 +0000 | [diff] [blame] | 607 | void MemoryRangeImitateWrite(ThreadState *thr, uptr pc, uptr addr, uptr size); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 608 | void IgnoreCtl(ThreadState *thr, bool write, bool begin); | 
|  | 609 |  | 
|  | 610 | void FuncEntry(ThreadState *thr, uptr pc); | 
|  | 611 | void FuncExit(ThreadState *thr); | 
|  | 612 |  | 
|  | 613 | int ThreadCreate(ThreadState *thr, uptr pc, uptr uid, bool detached); | 
| Dmitry Vyukov | 56faa55 | 2012-10-02 12:58:14 +0000 | [diff] [blame] | 614 | void ThreadStart(ThreadState *thr, int tid, uptr os_id); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 615 | void ThreadFinish(ThreadState *thr); | 
|  | 616 | int ThreadTid(ThreadState *thr, uptr pc, uptr uid); | 
|  | 617 | void ThreadJoin(ThreadState *thr, uptr pc, int tid); | 
|  | 618 | void ThreadDetach(ThreadState *thr, uptr pc, int tid); | 
|  | 619 | void ThreadFinalize(ThreadState *thr); | 
| Dmitry Vyukov | 1b46993 | 2012-12-04 15:46:05 +0000 | [diff] [blame] | 620 | void ThreadSetName(ThreadState *thr, const char *name); | 
| Dmitry Vyukov | 67dc570 | 2012-11-07 16:41:57 +0000 | [diff] [blame] | 621 | int ThreadCount(ThreadState *thr); | 
| Dmitry Vyukov | 262465c | 2012-11-15 17:40:49 +0000 | [diff] [blame] | 622 | void ProcessPendingSignals(ThreadState *thr); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 623 |  | 
| Dmitry Vyukov | 4723e6b | 2012-08-16 13:29:41 +0000 | [diff] [blame] | 624 | void MutexCreate(ThreadState *thr, uptr pc, uptr addr, | 
|  | 625 | bool rw, bool recursive, bool linker_init); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 626 | void MutexDestroy(ThreadState *thr, uptr pc, uptr addr); | 
|  | 627 | void MutexLock(ThreadState *thr, uptr pc, uptr addr); | 
|  | 628 | void MutexUnlock(ThreadState *thr, uptr pc, uptr addr); | 
|  | 629 | void MutexReadLock(ThreadState *thr, uptr pc, uptr addr); | 
|  | 630 | void MutexReadUnlock(ThreadState *thr, uptr pc, uptr addr); | 
|  | 631 | void MutexReadOrWriteUnlock(ThreadState *thr, uptr pc, uptr addr); | 
|  | 632 |  | 
|  | 633 | void Acquire(ThreadState *thr, uptr pc, uptr addr); | 
| Dmitry Vyukov | e11f292 | 2012-11-07 15:08:20 +0000 | [diff] [blame] | 634 | void AcquireGlobal(ThreadState *thr, uptr pc); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 635 | void Release(ThreadState *thr, uptr pc, uptr addr); | 
| Dmitry Vyukov | 904d3f9 | 2012-07-28 15:27:41 +0000 | [diff] [blame] | 636 | void ReleaseStore(ThreadState *thr, uptr pc, uptr addr); | 
| Dmitry Vyukov | 318f777 | 2012-08-31 17:27:49 +0000 | [diff] [blame] | 637 | void AfterSleep(ThreadState *thr, uptr pc); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 638 |  | 
|  | 639 | // The hacky call uses custom calling convention and an assembly thunk. | 
|  | 640 | // It is considerably faster that a normal call for the caller | 
|  | 641 | // if it is not executed (it is intended for slow paths from hot functions). | 
|  | 642 | // The trick is that the call preserves all registers and the compiler | 
|  | 643 | // does not treat it as a call. | 
|  | 644 | // If it does not work for you, use normal call. | 
|  | 645 | #if TSAN_DEBUG == 0 | 
|  | 646 | // The caller may not create the stack frame for itself at all, | 
|  | 647 | // so we create a reserve stack frame for it (1024b must be enough). | 
|  | 648 | #define HACKY_CALL(f) \ | 
| Dmitry Vyukov | b7f1852 | 2012-09-02 11:24:07 +0000 | [diff] [blame] | 649 | __asm__ __volatile__("sub $1024, %%rsp;" \ | 
|  | 650 | "/*.cfi_adjust_cfa_offset 1024;*/" \ | 
| Dmitry Vyukov | 20678e2 | 2012-11-26 14:20:26 +0000 | [diff] [blame] | 651 | ".hidden " #f "_thunk;" \ | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 652 | "call " #f "_thunk;" \ | 
| Dmitry Vyukov | b7f1852 | 2012-09-02 11:24:07 +0000 | [diff] [blame] | 653 | "add $1024, %%rsp;" \ | 
|  | 654 | "/*.cfi_adjust_cfa_offset -1024;*/" \ | 
|  | 655 | ::: "memory", "cc"); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 656 | #else | 
|  | 657 | #define HACKY_CALL(f) f() | 
|  | 658 | #endif | 
|  | 659 |  | 
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 660 | void TraceSwitch(ThreadState *thr); | 
| Dmitry Vyukov | 2429b02 | 2012-11-28 10:35:31 +0000 | [diff] [blame] | 661 | uptr TraceTopPC(ThreadState *thr); | 
| Dmitry Vyukov | e1a7f33 | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 662 | uptr TraceSize(); | 
| Dmitry Vyukov | 55b47ca | 2012-12-04 12:19:53 +0000 | [diff] [blame] | 663 | uptr TraceParts(); | 
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 664 |  | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 665 | extern "C" void __tsan_trace_switch(); | 
| Dmitry Vyukov | 2429b02 | 2012-11-28 10:35:31 +0000 | [diff] [blame] | 666 | void ALWAYS_INLINE INLINE TraceAddEvent(ThreadState *thr, FastState fs, | 
| Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 667 | EventType typ, u64 addr) { | 
|  | 668 | DCHECK_GE((int)typ, 0); | 
|  | 669 | DCHECK_LE((int)typ, 7); | 
|  | 670 | DCHECK_EQ(GetLsb(addr, 61), addr); | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 671 | StatInc(thr, StatEvents); | 
| Dmitry Vyukov | eb3d36e | 2012-11-28 13:01:32 +0000 | [diff] [blame] | 672 | u64 pos = fs.GetTracePos(); | 
|  | 673 | if (UNLIKELY((pos % kTracePartSize) == 0)) { | 
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 674 | #ifndef TSAN_GO | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 675 | HACKY_CALL(__tsan_trace_switch); | 
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 676 | #else | 
|  | 677 | TraceSwitch(thr); | 
|  | 678 | #endif | 
|  | 679 | } | 
| Dmitry Vyukov | 2429b02 | 2012-11-28 10:35:31 +0000 | [diff] [blame] | 680 | Event *trace = (Event*)GetThreadTrace(fs.tid()); | 
| Dmitry Vyukov | eb3d36e | 2012-11-28 13:01:32 +0000 | [diff] [blame] | 681 | Event *evp = &trace[pos]; | 
| Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 682 | Event ev = (u64)addr | ((u64)typ << 61); | 
|  | 683 | *evp = ev; | 
|  | 684 | } | 
|  | 685 |  | 
|  | 686 | }  // namespace __tsan | 
|  | 687 |  | 
|  | 688 | #endif  // TSAN_RTL_H |