annotate libsanitizer/tsan/tsan_platform_posix.cpp @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 //===-- tsan_platform_posix.cpp -------------------------------------------===//
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 //
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 //
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 //
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 // This file is a part of ThreadSanitizer (TSan), a race detector.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 //
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 // POSIX-specific code.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 //===----------------------------------------------------------------------===//
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 #include "sanitizer_common/sanitizer_platform.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 #if SANITIZER_POSIX
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 #include "sanitizer_common/sanitizer_common.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 #include "sanitizer_common/sanitizer_errno.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 #include "sanitizer_common/sanitizer_libc.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 #include "sanitizer_common/sanitizer_procmaps.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 #include "tsan_platform.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 #include "tsan_rtl.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 namespace __tsan {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 static const char kShadowMemoryMappingWarning[] =
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 "FATAL: %s can not madvise shadow region [%zx, %zx] with %s (errno: %d)\n";
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 static const char kShadowMemoryMappingHint[] =
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 "HINT: if %s is not supported in your environment, you may set "
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 "TSAN_OPTIONS=%s=0\n";
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 static void NoHugePagesInShadow(uptr addr, uptr size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 SetShadowRegionHugePageMode(addr, size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 static void DontDumpShadow(uptr addr, uptr size) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 if (common_flags()->use_madv_dontdump)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 if (!DontDumpShadowMemory(addr, size)) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 Printf(kShadowMemoryMappingWarning, SanitizerToolName, addr, addr + size,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 "MADV_DONTDUMP", errno);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 Printf(kShadowMemoryMappingHint, "MADV_DONTDUMP", "use_madv_dontdump");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 Die();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 #if !SANITIZER_GO
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 void InitializeShadowMemory() {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 // Map memory shadow.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 if (!MmapFixedNoReserve(ShadowBeg(), ShadowEnd() - ShadowBeg(), "shadow")) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 Printf("FATAL: ThreadSanitizer can not mmap the shadow memory\n");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 Printf("FATAL: Make sure to compile with -fPIE and to link with -pie.\n");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 Die();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 // This memory range is used for thread stacks and large user mmaps.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 // Frequently a thread uses only a small part of stack and similarly
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 // a program uses a small part of large mmap. On some programs
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 // we see 20% memory usage reduction without huge pages for this range.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 // FIXME: don't use constants here.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 #if defined(__x86_64__)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60 const uptr kMadviseRangeBeg = 0x7f0000000000ull;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61 const uptr kMadviseRangeSize = 0x010000000000ull;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 #elif defined(__mips64)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63 const uptr kMadviseRangeBeg = 0xff00000000ull;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64 const uptr kMadviseRangeSize = 0x0100000000ull;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 #elif defined(__aarch64__) && defined(__APPLE__)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66 uptr kMadviseRangeBeg = LoAppMemBeg();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67 uptr kMadviseRangeSize = LoAppMemEnd() - LoAppMemBeg();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68 #elif defined(__aarch64__)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69 uptr kMadviseRangeBeg = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 uptr kMadviseRangeSize = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71 if (vmaSize == 39) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72 kMadviseRangeBeg = 0x7d00000000ull;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73 kMadviseRangeSize = 0x0300000000ull;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74 } else if (vmaSize == 42) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75 kMadviseRangeBeg = 0x3f000000000ull;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76 kMadviseRangeSize = 0x01000000000ull;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
78 DCHECK(0);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
79 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
80 #elif defined(__powerpc64__)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
81 uptr kMadviseRangeBeg = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
82 uptr kMadviseRangeSize = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
83 if (vmaSize == 44) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
84 kMadviseRangeBeg = 0x0f60000000ull;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
85 kMadviseRangeSize = 0x0010000000ull;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
86 } else if (vmaSize == 46) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
87 kMadviseRangeBeg = 0x3f0000000000ull;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
88 kMadviseRangeSize = 0x010000000000ull;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
89 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
90 DCHECK(0);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
91 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
92 #endif
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
93 NoHugePagesInShadow(MemToShadow(kMadviseRangeBeg),
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
94 kMadviseRangeSize * kShadowMultiplier);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
95 DontDumpShadow(ShadowBeg(), ShadowEnd() - ShadowBeg());
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
96 DPrintf("memory shadow: %zx-%zx (%zuGB)\n",
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
97 ShadowBeg(), ShadowEnd(),
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
98 (ShadowEnd() - ShadowBeg()) >> 30);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
99
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
100 // Map meta shadow.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
101 const uptr meta = MetaShadowBeg();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
102 const uptr meta_size = MetaShadowEnd() - meta;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
103 if (!MmapFixedNoReserve(meta, meta_size, "meta shadow")) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
104 Printf("FATAL: ThreadSanitizer can not mmap the shadow memory\n");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
105 Printf("FATAL: Make sure to compile with -fPIE and to link with -pie.\n");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
106 Die();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
107 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
108 NoHugePagesInShadow(meta, meta_size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
109 DontDumpShadow(meta, meta_size);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
110 DPrintf("meta shadow: %zx-%zx (%zuGB)\n",
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
111 meta, meta + meta_size, meta_size >> 30);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
112
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
113 InitializeShadowMemoryPlatform();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
114 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
115
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
116 static void ProtectRange(uptr beg, uptr end) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
117 CHECK_LE(beg, end);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
118 if (beg == end)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
119 return;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
120 if (beg != (uptr)MmapFixedNoAccess(beg, end - beg)) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
121 Printf("FATAL: ThreadSanitizer can not protect [%zx,%zx]\n", beg, end);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
122 Printf("FATAL: Make sure you are not using unlimited stack\n");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
123 Die();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
124 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
125 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
126
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
127 void CheckAndProtect() {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
128 // Ensure that the binary is indeed compiled with -pie.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
129 MemoryMappingLayout proc_maps(true);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
130 MemoryMappedSegment segment;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
131 while (proc_maps.Next(&segment)) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
132 if (IsAppMem(segment.start)) continue;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
133 if (segment.start >= HeapMemEnd() && segment.start < HeapEnd()) continue;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
134 if (segment.protection == 0) // Zero page or mprotected.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
135 continue;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
136 if (segment.start >= VdsoBeg()) // vdso
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
137 break;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
138 Printf("FATAL: ThreadSanitizer: unexpected memory mapping %p-%p\n",
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
139 segment.start, segment.end);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
140 Die();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
141 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
142
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
143 #if defined(__aarch64__) && defined(__APPLE__)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
144 ProtectRange(HeapMemEnd(), ShadowBeg());
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
145 ProtectRange(ShadowEnd(), MetaShadowBeg());
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
146 ProtectRange(MetaShadowEnd(), TraceMemBeg());
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
147 #else
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
148 ProtectRange(LoAppMemEnd(), ShadowBeg());
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
149 ProtectRange(ShadowEnd(), MetaShadowBeg());
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
150 #ifdef TSAN_MID_APP_RANGE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
151 ProtectRange(MetaShadowEnd(), MidAppMemBeg());
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
152 ProtectRange(MidAppMemEnd(), TraceMemBeg());
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
153 #else
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
154 ProtectRange(MetaShadowEnd(), TraceMemBeg());
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
155 #endif
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
156 // Memory for traces is mapped lazily in MapThreadTrace.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
157 // Protect the whole range for now, so that user does not map something here.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
158 ProtectRange(TraceMemBeg(), TraceMemEnd());
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
159 ProtectRange(TraceMemEnd(), HeapMemBeg());
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
160 ProtectRange(HeapEnd(), HiAppMemBeg());
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
161 #endif
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
162 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
163 #endif
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
164
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
165 } // namespace __tsan
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
166
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
167 #endif // SANITIZER_POSIX