blob: 30137982ef4e1cce23a4c429f55ebb92a18fb293 [file] [log] [blame]
Kostya Serebryany4ad375f2012-05-10 13:48:04 +00001//===-- 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
15#ifndef TSAN_LINUX_H
16#define TSAN_LINUX_H
17#ifdef __linux__
18
19#include "tsan_rtl.h"
20
21#if __LP64__
22namespace __tsan {
23
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +000024#if defined(TSAN_GO)
25static const uptr kLinuxAppMemBeg = 0x000000000000ULL;
26static const uptr kLinuxAppMemEnd = 0x00fcffffffffULL;
27static const uptr kLinuxShadowMsk = 0x100000000000ULL;
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000028// TSAN_COMPAT_SHADOW is intended for COMPAT virtual memory layout,
29// when memory addresses are of the 0x2axxxxxxxxxx form.
30// The option is enabled with 'setarch x86_64 -L'.
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +000031#elif defined(TSAN_COMPAT_SHADOW) && TSAN_COMPAT_SHADOW
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000032static const uptr kLinuxAppMemBeg = 0x2a0000000000ULL;
33static const uptr kLinuxAppMemEnd = 0x7fffffffffffULL;
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000034#else
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000035static const uptr kLinuxAppMemBeg = 0x7ef000000000ULL;
36static const uptr kLinuxAppMemEnd = 0x7fffffffffffULL;
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000037#endif
38
39static const uptr kLinuxAppMemMsk = 0x7c0000000000ULL;
40
41// This has to be a macro to allow constant initialization of constants below.
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +000042#ifndef TSAN_GO
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000043#define MemToShadow(addr) \
44 (((addr) & ~(kLinuxAppMemMsk | (kShadowCell - 1))) * kShadowCnt)
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +000045#else
Dmitry Vyukov239ae712012-07-06 20:23:59 +000046#define MemToShadow(addr) \
47 ((((addr) & ~(kShadowCell - 1)) * kShadowCnt) | kLinuxShadowMsk)
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +000048#endif
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000049
50static const uptr kLinuxShadowBeg = MemToShadow(kLinuxAppMemBeg);
51static const uptr kLinuxShadowEnd =
52 MemToShadow(kLinuxAppMemEnd) | (kPageSize - 1);
53
54static inline bool IsAppMem(uptr mem) {
55 return mem >= kLinuxAppMemBeg && mem <= kLinuxAppMemEnd;
56}
57
58static inline bool IsShadowMem(uptr mem) {
59 return mem >= kLinuxShadowBeg && mem <= kLinuxShadowEnd;
60}
61
62static inline uptr ShadowToMem(uptr shadow) {
63 CHECK(IsShadowMem(shadow));
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +000064#ifdef TSAN_GO
65 return (shadow & ~kLinuxShadowMsk) / kShadowCnt;
66#elif defined(TSAN_COMPAT_SHADOW) && TSAN_COMPAT_SHADOW
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000067 // COMPAT mapping is not quite one-to-one.
68 return (shadow / kShadowCnt) | 0x280000000000ULL;
69#else
70 return (shadow / kShadowCnt) | kLinuxAppMemMsk;
71#endif
72}
73
Dmitry Vyukovea03fc22012-06-14 21:40:35 +000074// For COMPAT mapping returns an alternative address
75// that mapped to the same shadow address.
76static inline uptr AlternativeAddress(uptr addr) {
77#if defined(TSAN_COMPAT_SHADOW) && TSAN_COMPAT_SHADOW
78 return addr | kLinuxAppMemMsk;
79#else
80 return 0;
81#endif
82}
83
Dmitry Vyukov15710c92012-05-22 11:33:03 +000084uptr GetShadowMemoryConsumption();
Dmitry Vyukov302cebb2012-05-22 18:07:45 +000085void FlushShadowMemory();
Dmitry Vyukov15710c92012-05-22 11:33:03 +000086
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000087const char *InitializePlatform();
88void FinalizePlatform();
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000089
Dmitry Vyukov15710c92012-05-22 11:33:03 +000090void internal_start_thread(void(*func)(void*), void *arg);
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000091
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000092uptr GetTlsSize();
Dmitry Vyukov7339eb12012-05-25 11:15:04 +000093void GetThreadStackAndTls(bool main, uptr *stk_addr, uptr *stk_size,
Kostya Serebryany4ad375f2012-05-10 13:48:04 +000094 uptr *tls_addr, uptr *tls_size);
95
96} // namespace __tsan
97
98#else // __LP64__
99# error "Only 64-bit is supported"
100#endif
101
102#endif // __linux__
103#endif // TSAN_LINUX_H