2012-05-10 21:48:04 +08:00
|
|
|
//===-- tsan_platform.h -----------------------------------------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file is a part of ThreadSanitizer (TSan), a race detector.
|
|
|
|
//
|
|
|
|
// Platform-specific code.
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef TSAN_LINUX_H
|
|
|
|
#define TSAN_LINUX_H
|
|
|
|
#ifdef __linux__
|
|
|
|
|
|
|
|
#include "tsan_rtl.h"
|
|
|
|
|
|
|
|
#if __LP64__
|
|
|
|
namespace __tsan {
|
|
|
|
|
|
|
|
// TSAN_COMPAT_SHADOW is intended for COMPAT virtual memory layout,
|
|
|
|
// when memory addresses are of the 0x2axxxxxxxxxx form.
|
|
|
|
// The option is enabled with 'setarch x86_64 -L'.
|
|
|
|
#if defined(TSAN_COMPAT_SHADOW) && TSAN_COMPAT_SHADOW
|
|
|
|
|
|
|
|
static const uptr kLinuxAppMemBeg = 0x2a0000000000ULL;
|
|
|
|
static const uptr kLinuxAppMemEnd = 0x7fffffffffffULL;
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
static const uptr kLinuxAppMemBeg = 0x7ef000000000ULL;
|
|
|
|
static const uptr kLinuxAppMemEnd = 0x7fffffffffffULL;
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
static const uptr kLinuxAppMemMsk = 0x7c0000000000ULL;
|
|
|
|
|
|
|
|
// This has to be a macro to allow constant initialization of constants below.
|
|
|
|
#define MemToShadow(addr) \
|
|
|
|
(((addr) & ~(kLinuxAppMemMsk | (kShadowCell - 1))) * kShadowCnt)
|
|
|
|
|
|
|
|
static const uptr kLinuxShadowBeg = MemToShadow(kLinuxAppMemBeg);
|
|
|
|
static const uptr kLinuxShadowEnd =
|
|
|
|
MemToShadow(kLinuxAppMemEnd) | (kPageSize - 1);
|
|
|
|
|
|
|
|
static inline bool IsAppMem(uptr mem) {
|
|
|
|
return mem >= kLinuxAppMemBeg && mem <= kLinuxAppMemEnd;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline bool IsShadowMem(uptr mem) {
|
|
|
|
return mem >= kLinuxShadowBeg && mem <= kLinuxShadowEnd;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline uptr ShadowToMem(uptr shadow) {
|
|
|
|
CHECK(IsShadowMem(shadow));
|
|
|
|
#if defined(TSAN_COMPAT_SHADOW) && TSAN_COMPAT_SHADOW
|
|
|
|
// COMPAT mapping is not quite one-to-one.
|
|
|
|
return (shadow / kShadowCnt) | 0x280000000000ULL;
|
|
|
|
#else
|
|
|
|
return (shadow / kShadowCnt) | kLinuxAppMemMsk;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2012-06-15 05:40:35 +08:00
|
|
|
// For COMPAT mapping returns an alternative address
|
|
|
|
// that mapped to the same shadow address.
|
|
|
|
static inline uptr AlternativeAddress(uptr addr) {
|
|
|
|
#if defined(TSAN_COMPAT_SHADOW) && TSAN_COMPAT_SHADOW
|
|
|
|
return addr | kLinuxAppMemMsk;
|
|
|
|
#else
|
|
|
|
return 0;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2012-05-22 19:33:03 +08:00
|
|
|
uptr GetShadowMemoryConsumption();
|
2012-05-23 02:07:45 +08:00
|
|
|
void FlushShadowMemory();
|
2012-05-22 19:33:03 +08:00
|
|
|
|
2012-05-10 21:48:04 +08:00
|
|
|
const char *InitializePlatform();
|
|
|
|
void FinalizePlatform();
|
|
|
|
|
2012-05-22 19:33:03 +08:00
|
|
|
void internal_start_thread(void(*func)(void*), void *arg);
|
2012-05-10 21:48:04 +08:00
|
|
|
|
|
|
|
uptr GetTlsSize();
|
2012-05-25 19:15:04 +08:00
|
|
|
void GetThreadStackAndTls(bool main, uptr *stk_addr, uptr *stk_size,
|
2012-05-10 21:48:04 +08:00
|
|
|
uptr *tls_addr, uptr *tls_size);
|
|
|
|
|
|
|
|
} // namespace __tsan
|
|
|
|
|
|
|
|
#else // __LP64__
|
|
|
|
# error "Only 64-bit is supported"
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif // __linux__
|
|
|
|
#endif // TSAN_LINUX_H
|