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 | 5bfac97 | 2012-07-16 16:44:47 +0000 | [diff] [blame] | 44 | #ifndef TSAN_GO |
Dmitry Vyukov | 23ecb4a | 2012-09-06 16:11:30 +0000 | [diff] [blame] | 45 | const int kShadowStackSize = 4 * 1024; |
Dmitry Vyukov | c87e728 | 2012-09-06 15:18:14 +0000 | [diff] [blame] | 46 | const int kTraceStackSize = 256; |
Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 47 | #endif |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 48 | |
| 49 | #ifdef TSAN_SHADOW_COUNT |
| 50 | # if TSAN_SHADOW_COUNT == 2 \ |
| 51 | || TSAN_SHADOW_COUNT == 4 || TSAN_SHADOW_COUNT == 8 |
Dmitry Vyukov | 1d4120b | 2012-11-06 13:21:06 +0000 | [diff] [blame] | 52 | const uptr kShadowCnt = TSAN_SHADOW_COUNT; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 53 | # else |
| 54 | # error "TSAN_SHADOW_COUNT must be one of 2,4,8" |
| 55 | # endif |
| 56 | #else |
| 57 | // Count of shadow values in a shadow cell. |
Dmitry Vyukov | f34db58 | 2012-11-15 18:44:22 +0000 | [diff] [blame] | 58 | const uptr kShadowCnt = 4; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 59 | #endif |
| 60 | |
| 61 | // That many user bytes are mapped onto a single shadow cell. |
Dmitry Vyukov | 1d4120b | 2012-11-06 13:21:06 +0000 | [diff] [blame] | 62 | const uptr kShadowCell = 8; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 63 | |
| 64 | // Size of a single shadow value (u64). |
Dmitry Vyukov | 1d4120b | 2012-11-06 13:21:06 +0000 | [diff] [blame] | 65 | const uptr kShadowSize = 8; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 66 | |
Dmitry Vyukov | c015712 | 2012-11-06 16:00:16 +0000 | [diff] [blame] | 67 | // Shadow memory is kShadowMultiplier times larger than user memory. |
| 68 | const uptr kShadowMultiplier = kShadowSize * kShadowCnt / kShadowCell; |
| 69 | |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 70 | #if defined(TSAN_COLLECT_STATS) && TSAN_COLLECT_STATS |
| 71 | const bool kCollectStats = true; |
| 72 | #else |
| 73 | const bool kCollectStats = false; |
| 74 | #endif |
| 75 | |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 76 | // The following "build consistency" machinery ensures that all source files |
| 77 | // are built in the same configuration. Inconsistent builds lead to |
| 78 | // hard to debug crashes. |
| 79 | #if TSAN_DEBUG |
| 80 | void build_consistency_debug(); |
| 81 | #else |
| 82 | void build_consistency_release(); |
| 83 | #endif |
| 84 | |
| 85 | #if TSAN_COLLECT_STATS |
| 86 | void build_consistency_stats(); |
| 87 | #else |
| 88 | void build_consistency_nostats(); |
| 89 | #endif |
| 90 | |
| 91 | #if TSAN_SHADOW_COUNT == 1 |
| 92 | void build_consistency_shadow1(); |
| 93 | #elif TSAN_SHADOW_COUNT == 2 |
| 94 | void build_consistency_shadow2(); |
| 95 | #elif TSAN_SHADOW_COUNT == 4 |
| 96 | void build_consistency_shadow4(); |
| 97 | #else |
| 98 | void build_consistency_shadow8(); |
| 99 | #endif |
| 100 | |
| 101 | static inline void USED build_consistency() { |
| 102 | #if TSAN_DEBUG |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 103 | build_consistency_debug(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 104 | #else |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 105 | build_consistency_release(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 106 | #endif |
| 107 | #if TSAN_COLLECT_STATS |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 108 | build_consistency_stats(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 109 | #else |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 110 | build_consistency_nostats(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 111 | #endif |
| 112 | #if TSAN_SHADOW_COUNT == 1 |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 113 | build_consistency_shadow1(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 114 | #elif TSAN_SHADOW_COUNT == 2 |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 115 | build_consistency_shadow2(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 116 | #elif TSAN_SHADOW_COUNT == 4 |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 117 | build_consistency_shadow4(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 118 | #else |
Dmitry Vyukov | 30c32a8 | 2012-05-24 14:50:33 +0000 | [diff] [blame] | 119 | build_consistency_shadow8(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 120 | #endif |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 121 | } |
| 122 | |
| 123 | template<typename T> |
| 124 | T min(T a, T b) { |
| 125 | return a < b ? a : b; |
| 126 | } |
| 127 | |
| 128 | template<typename T> |
| 129 | T max(T a, T b) { |
| 130 | return a > b ? a : b; |
| 131 | } |
| 132 | |
| 133 | template<typename T> |
Dmitry Vyukov | 55b47ca | 2012-12-04 12:19:53 +0000 | [diff] [blame] | 134 | T RoundUp(T p, u64 align) { |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 135 | DCHECK_EQ(align & (align - 1), 0); |
| 136 | return (T)(((u64)p + align - 1) & ~(align - 1)); |
| 137 | } |
| 138 | |
Dmitry Vyukov | 55b47ca | 2012-12-04 12:19:53 +0000 | [diff] [blame] | 139 | template<typename T> |
| 140 | T RoundDown(T p, u64 align) { |
| 141 | DCHECK_EQ(align & (align - 1), 0); |
| 142 | return (T)((u64)p & ~(align - 1)); |
| 143 | } |
| 144 | |
Dmitry Vyukov | fd5ebcd | 2012-12-06 12:16:15 +0000 | [diff] [blame] | 145 | // Zeroizes high part, returns 'bits' lsb bits. |
| 146 | template<typename T> |
| 147 | T GetLsb(T v, int bits) { |
| 148 | return (T)((u64)v & ((1ull << bits) - 1)); |
| 149 | } |
| 150 | |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 151 | struct MD5Hash { |
| 152 | u64 hash[2]; |
Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 153 | bool operator==(const MD5Hash &other) const; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 154 | }; |
| 155 | |
| 156 | MD5Hash md5_hash(const void *data, uptr size); |
| 157 | |
| 158 | struct ThreadState; |
| 159 | struct ThreadContext; |
| 160 | struct Context; |
| 161 | struct ReportStack; |
| 162 | class ReportDesc; |
| 163 | class RegionAlloc; |
| 164 | class StackTrace; |
Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 165 | struct MBlock; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 166 | |
| 167 | } // namespace __tsan |
| 168 | |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 169 | #endif // TSAN_DEFS_H |