blob: 0787e933789debdfdf361eaf2e4f1404953231ad [file] [log] [blame]
Alexey Samsonove5f58952012-06-04 13:50:10 +00001//===-- asan_thread.cc ----------------------------------------------------===//
Kostya Serebryany1e172b42011-11-30 01:07:02 +00002//
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 AddressSanitizer, an address sanity checker.
11//
12// Thread-related code.
13//===----------------------------------------------------------------------===//
14#include "asan_allocator.h"
15#include "asan_interceptors.h"
Alexey Samsonov7e843492013-03-28 15:42:43 +000016#include "asan_poisoning.h"
Alexey Samsonov55cdfc62012-01-17 06:35:31 +000017#include "asan_stack.h"
Kostya Serebryany1e172b42011-11-30 01:07:02 +000018#include "asan_thread.h"
Kostya Serebryany1e172b42011-11-30 01:07:02 +000019#include "asan_mapping.h"
Alexey Samsonove5931fd2012-06-07 07:13:46 +000020#include "sanitizer_common/sanitizer_common.h"
Alexey Samsonovdef1be92013-03-21 11:23:41 +000021#include "sanitizer_common/sanitizer_placement_new.h"
Sergey Matveevf1ac1a42013-05-21 13:40:13 +000022#include "lsan/lsan_common.h"
Kostya Serebryany1e172b42011-11-30 01:07:02 +000023
Kostya Serebryany1e172b42011-11-30 01:07:02 +000024namespace __asan {
25
Alexey Samsonovdef1be92013-03-21 11:23:41 +000026// AsanThreadContext implementation.
Kostya Serebryany1e172b42011-11-30 01:07:02 +000027
Alexey Samsonovdef1be92013-03-21 11:23:41 +000028void AsanThreadContext::OnCreated(void *arg) {
29 CreateThreadContextArgs *args = static_cast<CreateThreadContextArgs*>(arg);
30 if (args->stack) {
31 internal_memcpy(&stack, args->stack, sizeof(stack));
32 }
33 thread = args->thread;
34 thread->set_context(this);
35}
36
37void AsanThreadContext::OnFinished() {
38 // Drop the link to the AsanThread object.
39 thread = 0;
40}
41
42static char thread_registry_placeholder[sizeof(ThreadRegistry)];
43static ThreadRegistry *asan_thread_registry;
44
45static ThreadContextBase *GetAsanThreadContext(u32 tid) {
46 void *mem = MmapOrDie(sizeof(AsanThreadContext), "AsanThreadContext");
47 return new(mem) AsanThreadContext(tid);
48}
49
50ThreadRegistry &asanThreadRegistry() {
51 static bool initialized;
52 // Don't worry about thread_safety - this should be called when there is
53 // a single thread.
54 if (!initialized) {
55 // Never reuse ASan threads: we store pointer to AsanThreadContext
56 // in TSD and can't reliably tell when no more TSD destructors will
57 // be called. It would be wrong to reuse AsanThreadContext for another
58 // thread before all TSD destructors will be called for it.
59 asan_thread_registry = new(thread_registry_placeholder) ThreadRegistry(
60 GetAsanThreadContext, kMaxNumberOfThreads, kMaxNumberOfThreads);
61 initialized = true;
62 }
63 return *asan_thread_registry;
64}
65
66AsanThreadContext *GetThreadContextByTidLocked(u32 tid) {
67 return static_cast<AsanThreadContext *>(
68 asanThreadRegistry().GetThreadLocked(tid));
69}
70
71// AsanThread implementation.
72
73AsanThread *AsanThread::Create(thread_callback_t start_routine,
74 void *arg) {
Kostya Serebryanyf67ec2b2012-11-23 15:38:49 +000075 uptr PageSize = GetPageSizeCached();
76 uptr size = RoundUpTo(sizeof(AsanThread), PageSize);
Alexey Samsonova25b3462012-06-06 16:15:07 +000077 AsanThread *thread = (AsanThread*)MmapOrDie(size, __FUNCTION__);
Alexey Samsonov55cdfc62012-01-17 06:35:31 +000078 thread->start_routine_ = start_routine;
79 thread->arg_ = arg;
Alexey Samsonovdef1be92013-03-21 11:23:41 +000080 thread->context_ = 0;
Alexey Samsonov55cdfc62012-01-17 06:35:31 +000081
82 return thread;
Kostya Serebryany1e172b42011-11-30 01:07:02 +000083}
84
Alexey Samsonovdef1be92013-03-21 11:23:41 +000085void AsanThread::TSDDtor(void *tsd) {
86 AsanThreadContext *context = (AsanThreadContext*)tsd;
87 if (flags()->verbosity >= 1)
88 Report("T%d TSDDtor\n", context->tid);
89 if (context->thread)
90 context->thread->Destroy();
Kostya Serebryanyf58f9982012-02-07 00:27:15 +000091}
92
Kostya Serebryanya6b52262012-01-06 19:44:11 +000093void AsanThread::Destroy() {
Alexey Samsonovcb8c4dc2012-07-09 14:36:04 +000094 if (flags()->verbosity >= 1) {
Kostya Serebryanyf58f9982012-02-07 00:27:15 +000095 Report("T%d exited\n", tid());
96 }
97
Alexey Samsonovdef1be92013-03-21 11:23:41 +000098 asanThreadRegistry().FinishThread(tid());
99 FlushToAccumulatedStats(&stats_);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000100 // We also clear the shadow on thread destruction because
101 // some code may still be executing in later TSD destructors
102 // and we don't want it to have any poisoned stack.
Sergey Matveev12d01ba2013-05-29 13:09:44 +0000103 ClearShadowForThreadStackAndTLS();
Alexey Samsonov55cdfc62012-01-17 06:35:31 +0000104 fake_stack().Cleanup();
Kostya Serebryanyf67ec2b2012-11-23 15:38:49 +0000105 uptr size = RoundUpTo(sizeof(AsanThread), GetPageSizeCached());
Alexey Samsonova25b3462012-06-06 16:15:07 +0000106 UnmapOrDie(this, size);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000107}
108
Kostya Serebryany69eca732011-12-16 19:13:35 +0000109void AsanThread::Init() {
Sergey Matveev12d01ba2013-05-29 13:09:44 +0000110 SetThreadStackAndTls();
Alexey Samsonov55cdfc62012-01-17 06:35:31 +0000111 CHECK(AddrIsInMem(stack_bottom_));
Kostya Serebryany541cfb12013-01-18 11:30:36 +0000112 CHECK(AddrIsInMem(stack_top_ - 1));
Sergey Matveev12d01ba2013-05-29 13:09:44 +0000113 ClearShadowForThreadStackAndTLS();
Alexey Samsonovcb8c4dc2012-07-09 14:36:04 +0000114 if (flags()->verbosity >= 1) {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000115 int local = 0;
Evgeniy Stepanov739eb792012-03-21 11:32:46 +0000116 Report("T%d: stack [%p,%p) size 0x%zx; local=%p\n",
Alexey Samsonov5bcca4e2012-06-06 10:46:00 +0000117 tid(), (void*)stack_bottom_, (void*)stack_top_,
Kostya Serebryanya7e760a2012-01-09 19:18:27 +0000118 stack_top_ - stack_bottom_, &local);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000119 }
Alexey Samsonov55cdfc62012-01-17 06:35:31 +0000120 fake_stack_.Init(stack_size());
Alexander Potapenko75b19eb2012-07-23 14:07:58 +0000121 AsanPlatformThreadInit();
Kostya Serebryany69eca732011-12-16 19:13:35 +0000122}
123
Alexey Samsonovdef1be92013-03-21 11:23:41 +0000124thread_return_t AsanThread::ThreadStart(uptr os_id) {
Kostya Serebryany69eca732011-12-16 19:13:35 +0000125 Init();
Alexey Samsonovdef1be92013-03-21 11:23:41 +0000126 asanThreadRegistry().StartThread(tid(), os_id, 0);
Alexey Samsonovcb8c4dc2012-07-09 14:36:04 +0000127 if (flags()->use_sigaltstack) SetAlternateSignalStack();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000128
129 if (!start_routine_) {
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000130 // start_routine_ == 0 if we're on the main thread or on one of the
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000131 // OS X libdispatch worker threads. But nobody is supposed to call
132 // ThreadStart() for the worker threads.
Kostya Serebryanya27bdf72013-04-05 14:40:25 +0000133 CHECK_EQ(tid(), 0);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000134 return 0;
135 }
136
Timur Iskhodzhanov600972e2012-02-24 15:28:43 +0000137 thread_return_t res = start_routine_(arg_);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000138 malloc_storage().CommitBack();
Alexey Samsonovcb8c4dc2012-07-09 14:36:04 +0000139 if (flags()->use_sigaltstack) UnsetAlternateSignalStack();
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000140
Kostya Serebryanyaf344152012-01-11 02:03:16 +0000141 this->Destroy();
142
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000143 return res;
144}
145
Sergey Matveev12d01ba2013-05-29 13:09:44 +0000146void AsanThread::SetThreadStackAndTls() {
147 uptr stack_size = 0, tls_size = 0;
148 GetThreadStackAndTls(tid() == 0, &stack_bottom_, &stack_size, &tls_begin_,
149 &tls_size);
150 stack_top_ = stack_bottom_ + stack_size;
151 tls_end_ = tls_begin_ + tls_size;
152
Alexey Samsonove5931fd2012-06-07 07:13:46 +0000153 int local;
154 CHECK(AddrIsInStack((uptr)&local));
155}
156
Sergey Matveev12d01ba2013-05-29 13:09:44 +0000157void AsanThread::ClearShadowForThreadStackAndTLS() {
Alexey Samsonov55cdfc62012-01-17 06:35:31 +0000158 PoisonShadow(stack_bottom_, stack_top_ - stack_bottom_, 0);
Sergey Matveev12d01ba2013-05-29 13:09:44 +0000159 if (tls_begin_ != tls_end_)
160 PoisonShadow(tls_begin_, tls_end_ - tls_begin_, 0);
Alexey Samsonov55cdfc62012-01-17 06:35:31 +0000161}
162
Kostya Serebryany50f3daa2013-03-22 10:36:24 +0000163const char *AsanThread::GetFrameNameByAddr(uptr addr, uptr *offset,
164 uptr *frame_pc) {
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000165 uptr bottom = 0;
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000166 if (AddrIsInStack(addr)) {
167 bottom = stack_bottom();
168 } else {
169 bottom = fake_stack().AddrIsInFakeStack(addr);
170 CHECK(bottom);
Alexander Potapenkoe406c8c2012-11-15 15:24:42 +0000171 *offset = addr - bottom;
Kostya Serebryany50f3daa2013-03-22 10:36:24 +0000172 *frame_pc = ((uptr*)bottom)[2];
Alexander Potapenkoe406c8c2012-11-15 15:24:42 +0000173 return (const char *)((uptr*)bottom)[1];
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000174 }
Kostya Serebryany5af39e52012-11-21 12:38:58 +0000175 uptr aligned_addr = addr & ~(SANITIZER_WORDSIZE/8 - 1); // align addr.
Kostya Serebryanyee392552012-05-31 15:02:07 +0000176 u8 *shadow_ptr = (u8*)MemToShadow(aligned_addr);
177 u8 *shadow_bottom = (u8*)MemToShadow(bottom);
Evgeniy Stepanov3972ea02012-05-12 12:33:10 +0000178
179 while (shadow_ptr >= shadow_bottom &&
Alexander Potapenkoe406c8c2012-11-15 15:24:42 +0000180 *shadow_ptr != kAsanStackLeftRedzoneMagic) {
Evgeniy Stepanov3972ea02012-05-12 12:33:10 +0000181 shadow_ptr--;
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000182 }
Evgeniy Stepanov3972ea02012-05-12 12:33:10 +0000183
184 while (shadow_ptr >= shadow_bottom &&
Alexander Potapenkoe406c8c2012-11-15 15:24:42 +0000185 *shadow_ptr == kAsanStackLeftRedzoneMagic) {
Evgeniy Stepanov3972ea02012-05-12 12:33:10 +0000186 shadow_ptr--;
187 }
188
189 if (shadow_ptr < shadow_bottom) {
Alexander Potapenkoe406c8c2012-11-15 15:24:42 +0000190 *offset = 0;
191 return "UNKNOWN";
Evgeniy Stepanov3972ea02012-05-12 12:33:10 +0000192 }
193
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000194 uptr* ptr = (uptr*)SHADOW_TO_MEM((uptr)(shadow_ptr + 1));
Alexander Potapenkoe406c8c2012-11-15 15:24:42 +0000195 CHECK(ptr[0] == kCurrentStackFrameMagic);
Kostya Serebryany3f4c3872012-05-31 14:35:53 +0000196 *offset = addr - (uptr)ptr;
Kostya Serebryany50f3daa2013-03-22 10:36:24 +0000197 *frame_pc = ptr[2];
Evgeniy Stepanov3972ea02012-05-12 12:33:10 +0000198 return (const char*)ptr[1];
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000199}
200
Alexey Samsonovdef1be92013-03-21 11:23:41 +0000201static bool ThreadStackContainsAddress(ThreadContextBase *tctx_base,
202 void *addr) {
203 AsanThreadContext *tctx = static_cast<AsanThreadContext*>(tctx_base);
204 AsanThread *t = tctx->thread;
205 return (t && t->fake_stack().StackSize() &&
206 (t->fake_stack().AddrIsInFakeStack((uptr)addr) ||
207 t->AddrIsInStack((uptr)addr)));
208}
209
Alexey Samsonov89c13842013-03-20 09:23:28 +0000210AsanThread *GetCurrentThread() {
Alexey Samsonovdef1be92013-03-21 11:23:41 +0000211 AsanThreadContext *context = (AsanThreadContext*)AsanTSDGet();
212 if (!context) {
213 if (SANITIZER_ANDROID) {
214 // On Android, libc constructor is called _after_ asan_init, and cleans up
215 // TSD. Try to figure out if this is still the main thread by the stack
216 // address. We are not entirely sure that we have correct main thread
Dmitry Vyukov195369b2013-03-22 07:29:59 +0000217 // limits, so only do this magic on Android, and only if the found thread
218 // is the main thread.
Alexey Samsonovdef1be92013-03-21 11:23:41 +0000219 AsanThreadContext *tctx = GetThreadContextByTidLocked(0);
220 if (ThreadStackContainsAddress(tctx, &context)) {
221 SetCurrentThread(tctx->thread);
222 return tctx->thread;
223 }
Alexey Samsonov89c13842013-03-20 09:23:28 +0000224 }
Alexey Samsonov89c13842013-03-20 09:23:28 +0000225 return 0;
226 }
Alexey Samsonovdef1be92013-03-21 11:23:41 +0000227 return context->thread;
Alexey Samsonov89c13842013-03-20 09:23:28 +0000228}
229
230void SetCurrentThread(AsanThread *t) {
Alexey Samsonovdef1be92013-03-21 11:23:41 +0000231 CHECK(t->context());
Alexey Samsonov89c13842013-03-20 09:23:28 +0000232 if (flags()->verbosity >= 2) {
233 Report("SetCurrentThread: %p for thread %p\n",
Alexey Samsonovdef1be92013-03-21 11:23:41 +0000234 t->context(), (void*)GetThreadSelf());
Alexey Samsonov89c13842013-03-20 09:23:28 +0000235 }
236 // Make sure we do not reset the current AsanThread.
Alexey Samsonovdef1be92013-03-21 11:23:41 +0000237 CHECK_EQ(0, AsanTSDGet());
238 AsanTSDSet(t->context());
239 CHECK_EQ(t->context(), AsanTSDGet());
Alexey Samsonov89c13842013-03-20 09:23:28 +0000240}
241
242u32 GetCurrentTidOrInvalid() {
243 AsanThread *t = GetCurrentThread();
244 return t ? t->tid() : kInvalidTid;
245}
246
Alexey Samsonovdef1be92013-03-21 11:23:41 +0000247AsanThread *FindThreadByStackAddress(uptr addr) {
248 asanThreadRegistry().CheckLocked();
249 AsanThreadContext *tctx = static_cast<AsanThreadContext *>(
250 asanThreadRegistry().FindThreadContextLocked(ThreadStackContainsAddress,
251 (void *)addr));
252 return tctx ? tctx->thread : 0;
253}
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000254} // namespace __asan
Sergey Matveevf1ac1a42013-05-21 13:40:13 +0000255
256// --- Implementation of LSan-specific functions --- {{{1
257namespace __lsan {
258bool GetThreadRangesLocked(uptr os_id, uptr *stack_begin, uptr *stack_end,
259 uptr *tls_begin, uptr *tls_end,
260 uptr *cache_begin, uptr *cache_end) {
Sergey Matveev12d01ba2013-05-29 13:09:44 +0000261 __asan::AsanThreadContext *context = static_cast<__asan::AsanThreadContext *>(
262 __asan::asanThreadRegistry().FindThreadContextByOsIDLocked(os_id));
263 if (!context) return false;
264 __asan::AsanThread *t = context->thread;
265 if (!t) return false;
266 *stack_begin = t->stack_bottom();
267 *stack_end = t->stack_top();
268 *tls_begin = t->tls_begin();
269 *tls_end = t->tls_end();
270 // ASan doesn't keep allocator caches in TLS, so these are unused.
271 *cache_begin = 0;
272 *cache_end = 0;
273 return true;
Sergey Matveevf1ac1a42013-05-21 13:40:13 +0000274}
275
276void LockThreadRegistry() {
277 __asan::asanThreadRegistry().Lock();
278}
279
280void UnlockThreadRegistry() {
281 __asan::asanThreadRegistry().Unlock();
282}
283} // namespace __lsan