Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 1 | //===-- tsan_defs.h ---------------------------------------------*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file is a part of ThreadSanitizer (TSan), a race detector. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #ifndef TSAN_DEFS_H |
| 15 | #define TSAN_DEFS_H |
| 16 | |
Alexey Samsonov | 5bbf829 | 2012-06-05 14:25:27 +0000 | [diff] [blame] | 17 | #include "sanitizer_common/sanitizer_internal_defs.h" |
Alexey Samsonov | 91e1a7e | 2012-06-07 11:54:08 +0000 | [diff] [blame] | 18 | #include "sanitizer_common/sanitizer_libc.h" |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 19 | #include "tsan_stat.h" |
| 20 | |
| 21 | #ifndef TSAN_DEBUG |
| 22 | #define TSAN_DEBUG 0 |
| 23 | #endif // TSAN_DEBUG |
| 24 | |
Alexey Samsonov | ef2e2cf | 2012-06-05 13:50:57 +0000 | [diff] [blame] | 25 | namespace __tsan { |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 26 | |
Dmitry Vyukov | 9952b67 | 2012-11-08 11:32:40 +0000 | [diff] [blame] | 27 | #ifdef TSAN_GO |
Dmitry Vyukov | eb3d36e | 2012-11-28 13:01:32 +0000 | [diff] [blame] | 28 | const bool kGoMode = true; |
| 29 | const bool kCppMode = false; |
Dmitry Vyukov | 9952b67 | 2012-11-08 11:32:40 +0000 | [diff] [blame] | 30 | const char *const kTsanOptionsEnv = "GORACE"; |
Dmitry Vyukov | 087efd2 | 2013-01-30 14:38:44 +0000 | [diff] [blame] | 31 | // Go linker does not support weak symbols. |
| 32 | #define CPP_WEAK |
Dmitry Vyukov | 9952b67 | 2012-11-08 11:32:40 +0000 | [diff] [blame] | 33 | #else |
Dmitry Vyukov | eb3d36e | 2012-11-28 13:01:32 +0000 | [diff] [blame] | 34 | const bool kGoMode = false; |
| 35 | const bool kCppMode = true; |
Dmitry Vyukov | 9952b67 | 2012-11-08 11:32:40 +0000 | [diff] [blame] | 36 | const char *const kTsanOptionsEnv = "TSAN_OPTIONS"; |
Dmitry Vyukov | 087efd2 | 2013-01-30 14:38:44 +0000 | [diff] [blame] | 37 | #define CPP_WEAK WEAK |
Dmitry Vyukov | 9952b67 | 2012-11-08 11:32:40 +0000 | [diff] [blame] | 38 | #endif |
| 39 | |
Dmitry Vyukov | f6985e3 | 2012-05-22 14:34:43 +0000 | [diff] [blame] | 40 | const int kTidBits = 13; |
Kostya Serebryany | 07c4805 | 2012-05-11 14:42:24 +0000 | [diff] [blame] | 41 | const unsigned kMaxTid = 1 << kTidBits; |
Dmitry Vyukov | fee5b7d | 2012-05-17 14:17:51 +0000 | [diff] [blame] | 42 | const unsigned kMaxTidInClock = kMaxTid * 2; // This includes msb 'freed' bit. |
Dmitry Vyukov | ba42914 | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 43 | const int kClkBits = 42; |
Dmitry Vyukov | 464ebbd | 2013-10-16 15:35:12 +0000 | [diff] [blame] | 44 | const uptr kShadowStackSize = 64 * 1024; |
| 45 | const uptr kTraceStackSize = 256; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 46 | |
| 47 | #ifdef TSAN_SHADOW_COUNT |
| 48 | # if TSAN_SHADOW_COUNT == 2 \ |
| 49 | || TSAN_SHADOW_COUNT == 4 || TSAN_SHADOW_COUNT == 8 |
Dmitry Vyukov | 1d4120b | 2012-11-06 13:21:06 +0000 | [diff] [blame] | 50 | const uptr kShadowCnt = TSAN_SHADOW_COUNT; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 51 | # else |
| 52 | # error "TSAN_SHADOW_COUNT must be one of 2,4,8" |
| 53 | # endif |
| 54 | #else |
| 55 | // Count of shadow values in a shadow cell. |
Dmitry Vyukov | f34db58 | 2012-11-15 18:44:22 +0000 | [diff] [blame] | 56 | const uptr kShadowCnt = 4; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 57 | #endif |
| 58 | |
| 59 | // That many user bytes are mapped onto a single shadow cell. |
Dmitry Vyukov | 1d4120b | 2012-11-06 13:21:06 +0000 | [diff] [blame] | 60 | const uptr kShadowCell = 8; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 61 | |
| 62 | // Size of a single shadow value (u64). |
Dmitry Vyukov | 1d4120b | 2012-11-06 13:21:06 +0000 | [diff] [blame] | 63 | const uptr kShadowSize = 8; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 64 | |
Dmitry Vyukov | c015712 | 2012-11-06 16:00:16 +0000 | [diff] [blame] | 65 | // Shadow memory is kShadowMultiplier times larger than user memory. |
| 66 | const uptr kShadowMultiplier = kShadowSize * kShadowCnt / kShadowCell; |
| 67 | |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 68 | #if defined(TSAN_COLLECT_STATS) && TSAN_COLLECT_STATS |
| 69 | const bool kCollectStats = true; |
| 70 | #else |
| 71 | const bool kCollectStats = false; |
| 72 | #endif |
| 73 | |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 74 | // The following "build consistency" machinery ensures that all source files |
| 75 | // are built in the same configuration. Inconsistent builds lead to |
| 76 | // hard to debug crashes. |
| 77 | #if TSAN_DEBUG |
| 78 | void build_consistency_debug(); |
| 79 | #else |
| 80 | void build_consistency_release(); |
| 81 | #endif |
| 82 | |
| 83 | #if TSAN_COLLECT_STATS |
| 84 | void build_consistency_stats(); |
| 85 | #else |
| 86 | void build_consistency_nostats(); |
| 87 | #endif |
| 88 | |
| 89 | #if TSAN_SHADOW_COUNT == 1 |
| 90 | void build_consistency_shadow1(); |
| 91 | #elif TSAN_SHADOW_COUNT == 2 |
| 92 | void build_consistency_shadow2(); |
| 93 | #elif TSAN_SHADOW_COUNT == 4 |
| 94 | void build_consistency_shadow4(); |
| 95 | #else |
| 96 | void build_consistency_shadow8(); |
| 97 | #endif |
| 98 | |
| 99 | static inline void USED build_consistency() { |
| 100 | #if TSAN_DEBUG |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 101 | build_consistency_debug(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 102 | #else |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 103 | build_consistency_release(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 104 | #endif |
| 105 | #if TSAN_COLLECT_STATS |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 106 | build_consistency_stats(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 107 | #else |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 108 | build_consistency_nostats(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 109 | #endif |
| 110 | #if TSAN_SHADOW_COUNT == 1 |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 111 | build_consistency_shadow1(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 112 | #elif TSAN_SHADOW_COUNT == 2 |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 113 | build_consistency_shadow2(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 114 | #elif TSAN_SHADOW_COUNT == 4 |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 115 | build_consistency_shadow4(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 116 | #else |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 117 | build_consistency_shadow8(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 118 | #endif |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 119 | } |
| 120 | |
| 121 | template<typename T> |
| 122 | T min(T a, T b) { |
| 123 | return a < b ? a : b; |
| 124 | } |
| 125 | |
| 126 | template<typename T> |
| 127 | T max(T a, T b) { |
| 128 | return a > b ? a : b; |
| 129 | } |
| 130 | |
| 131 | template<typename T> |
Dmitry Vyukov | 55b47ca | 2012-12-04 12:19:53 +0000 | [diff] [blame] | 132 | T RoundUp(T p, u64 align) { |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 133 | DCHECK_EQ(align & (align - 1), 0); |
| 134 | return (T)(((u64)p + align - 1) & ~(align - 1)); |
| 135 | } |
| 136 | |
Dmitry Vyukov | 55b47ca | 2012-12-04 12:19:53 +0000 | [diff] [blame] | 137 | template<typename T> |
| 138 | T RoundDown(T p, u64 align) { |
| 139 | DCHECK_EQ(align & (align - 1), 0); |
| 140 | return (T)((u64)p & ~(align - 1)); |
| 141 | } |
| 142 | |
Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 143 | // Zeroizes high part, returns 'bits' lsb bits. |
| 144 | template<typename T> |
| 145 | T GetLsb(T v, int bits) { |
| 146 | return (T)((u64)v & ((1ull << bits) - 1)); |
| 147 | } |
| 148 | |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 149 | struct MD5Hash { |
| 150 | u64 hash[2]; |
Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 151 | bool operator==(const MD5Hash &other) const; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 152 | }; |
| 153 | |
| 154 | MD5Hash md5_hash(const void *data, uptr size); |
| 155 | |
| 156 | struct ThreadState; |
Dmitry Vyukov | 3238e1c | 2013-11-27 11:30:28 +0000 | [diff] [blame^] | 157 | class ThreadContext; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 158 | struct Context; |
| 159 | struct ReportStack; |
| 160 | class ReportDesc; |
| 161 | class RegionAlloc; |
| 162 | class StackTrace; |
Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 163 | struct MBlock; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 164 | |
| 165 | } // namespace __tsan |
| 166 | |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 167 | #endif // TSAN_DEFS_H |