Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 1 | //===-- tsan_platform.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 | // Platform-specific code. |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Dmitry Vyukov | c40c007 | 2012-07-16 13:02:40 +0000 | [diff] [blame] | 15 | #ifndef TSAN_PLATFORM_H |
| 16 | #define TSAN_PLATFORM_H |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 17 | |
| 18 | #include "tsan_rtl.h" |
| 19 | |
| 20 | #if __LP64__ |
| 21 | namespace __tsan { |
| 22 | |
Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 23 | #if defined(TSAN_GO) |
| 24 | static const uptr kLinuxAppMemBeg = 0x000000000000ULL; |
| 25 | static const uptr kLinuxAppMemEnd = 0x00fcffffffffULL; |
| 26 | static const uptr kLinuxShadowMsk = 0x100000000000ULL; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 27 | // TSAN_COMPAT_SHADOW is intended for COMPAT virtual memory layout, |
| 28 | // when memory addresses are of the 0x2axxxxxxxxxx form. |
| 29 | // The option is enabled with 'setarch x86_64 -L'. |
Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 30 | #elif defined(TSAN_COMPAT_SHADOW) && TSAN_COMPAT_SHADOW |
Dmitry Vyukov | f77c6ea | 2012-08-16 13:27:25 +0000 | [diff] [blame] | 31 | static const uptr kLinuxAppMemBeg = 0x290000000000ULL; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 32 | static const uptr kLinuxAppMemEnd = 0x7fffffffffffULL; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 33 | #else |
Dmitry Vyukov | 954fc8c | 2012-08-15 15:35:15 +0000 | [diff] [blame] | 34 | static const uptr kLinuxAppMemBeg = 0x7cf000000000ULL; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 35 | static const uptr kLinuxAppMemEnd = 0x7fffffffffffULL; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 36 | #endif |
| 37 | |
| 38 | static const uptr kLinuxAppMemMsk = 0x7c0000000000ULL; |
| 39 | |
| 40 | // This has to be a macro to allow constant initialization of constants below. |
Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 41 | #ifndef TSAN_GO |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 42 | #define MemToShadow(addr) \ |
| 43 | (((addr) & ~(kLinuxAppMemMsk | (kShadowCell - 1))) * kShadowCnt) |
Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 44 | #else |
Dmitry Vyukov | 239ae71 | 2012-07-06 20:23:59 +0000 | [diff] [blame] | 45 | #define MemToShadow(addr) \ |
| 46 | ((((addr) & ~(kShadowCell - 1)) * kShadowCnt) | kLinuxShadowMsk) |
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 | static const uptr kLinuxShadowBeg = MemToShadow(kLinuxAppMemBeg); |
| 50 | static const uptr kLinuxShadowEnd = |
| 51 | MemToShadow(kLinuxAppMemEnd) | (kPageSize - 1); |
| 52 | |
| 53 | static inline bool IsAppMem(uptr mem) { |
| 54 | return mem >= kLinuxAppMemBeg && mem <= kLinuxAppMemEnd; |
| 55 | } |
| 56 | |
| 57 | static inline bool IsShadowMem(uptr mem) { |
| 58 | return mem >= kLinuxShadowBeg && mem <= kLinuxShadowEnd; |
| 59 | } |
| 60 | |
| 61 | static inline uptr ShadowToMem(uptr shadow) { |
| 62 | CHECK(IsShadowMem(shadow)); |
Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 63 | #ifdef TSAN_GO |
| 64 | return (shadow & ~kLinuxShadowMsk) / kShadowCnt; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 65 | #else |
| 66 | return (shadow / kShadowCnt) | kLinuxAppMemMsk; |
| 67 | #endif |
| 68 | } |
| 69 | |
Dmitry Vyukov | ea03fc2 | 2012-06-14 21:40:35 +0000 | [diff] [blame] | 70 | // For COMPAT mapping returns an alternative address |
| 71 | // that mapped to the same shadow address. |
Dmitry Vyukov | f77c6ea | 2012-08-16 13:27:25 +0000 | [diff] [blame] | 72 | // COMPAT mapping is not quite one-to-one. |
Dmitry Vyukov | ea03fc2 | 2012-06-14 21:40:35 +0000 | [diff] [blame] | 73 | static inline uptr AlternativeAddress(uptr addr) { |
| 74 | #if defined(TSAN_COMPAT_SHADOW) && TSAN_COMPAT_SHADOW |
Dmitry Vyukov | 5c45dab | 2012-08-16 14:20:45 +0000 | [diff] [blame] | 75 | return (addr & ~kLinuxAppMemMsk) | 0x280000000000ULL; |
Dmitry Vyukov | ea03fc2 | 2012-06-14 21:40:35 +0000 | [diff] [blame] | 76 | #else |
| 77 | return 0; |
| 78 | #endif |
| 79 | } |
| 80 | |
Dmitry Vyukov | 15710c9 | 2012-05-22 11:33:03 +0000 | [diff] [blame] | 81 | uptr GetShadowMemoryConsumption(); |
Dmitry Vyukov | 302cebb | 2012-05-22 18:07:45 +0000 | [diff] [blame] | 82 | void FlushShadowMemory(); |
Dmitry Vyukov | 15710c9 | 2012-05-22 11:33:03 +0000 | [diff] [blame] | 83 | |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 84 | const char *InitializePlatform(); |
| 85 | void FinalizePlatform(); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 86 | |
Dmitry Vyukov | 15710c9 | 2012-05-22 11:33:03 +0000 | [diff] [blame] | 87 | void internal_start_thread(void(*func)(void*), void *arg); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 88 | |
Dmitry Vyukov | 7ea4c2cc | 2012-09-07 18:08:02 +0000 | [diff] [blame] | 89 | // Says whether the addr relates to a global var. |
| 90 | // Guesses with high probability, may yield both false positives and negatives. |
| 91 | bool IsGlobalVar(uptr addr); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 92 | uptr GetTlsSize(); |
Dmitry Vyukov | 7339eb1 | 2012-05-25 11:15:04 +0000 | [diff] [blame] | 93 | void GetThreadStackAndTls(bool main, uptr *stk_addr, uptr *stk_size, |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 94 | uptr *tls_addr, uptr *tls_size); |
| 95 | |
| 96 | } // namespace __tsan |
| 97 | |
| 98 | #else // __LP64__ |
| 99 | # error "Only 64-bit is supported" |
| 100 | #endif |
| 101 | |
Dmitry Vyukov | c40c007 | 2012-07-16 13:02:40 +0000 | [diff] [blame] | 102 | #endif // TSAN_PLATFORM_H |