annotate libsanitizer/asan/asan_thread.h @ 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
111
kono
parents:
diff changeset
1 //===-- asan_thread.h -------------------------------------------*- C++ -*-===//
kono
parents:
diff changeset
2 //
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
111
kono
parents:
diff changeset
6 //
kono
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
kono
parents:
diff changeset
8 //
kono
parents:
diff changeset
9 // This file is a part of AddressSanitizer, an address sanity checker.
kono
parents:
diff changeset
10 //
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
11 // ASan-private header for asan_thread.cpp.
111
kono
parents:
diff changeset
12 //===----------------------------------------------------------------------===//
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 #ifndef ASAN_THREAD_H
kono
parents:
diff changeset
15 #define ASAN_THREAD_H
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 #include "asan_allocator.h"
kono
parents:
diff changeset
18 #include "asan_internal.h"
kono
parents:
diff changeset
19 #include "asan_fake_stack.h"
kono
parents:
diff changeset
20 #include "asan_stats.h"
kono
parents:
diff changeset
21 #include "sanitizer_common/sanitizer_common.h"
kono
parents:
diff changeset
22 #include "sanitizer_common/sanitizer_libc.h"
kono
parents:
diff changeset
23 #include "sanitizer_common/sanitizer_thread_registry.h"
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 namespace __sanitizer {
kono
parents:
diff changeset
26 struct DTLS;
kono
parents:
diff changeset
27 } // namespace __sanitizer
kono
parents:
diff changeset
28
kono
parents:
diff changeset
29 namespace __asan {
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 const u32 kInvalidTid = 0xffffff; // Must fit into 24 bits.
kono
parents:
diff changeset
32 const u32 kMaxNumberOfThreads = (1 << 22); // 4M
kono
parents:
diff changeset
33
kono
parents:
diff changeset
34 class AsanThread;
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 // These objects are created for every thread and are never deleted,
kono
parents:
diff changeset
37 // so we can find them by tid even if the thread is long dead.
kono
parents:
diff changeset
38 class AsanThreadContext : public ThreadContextBase {
kono
parents:
diff changeset
39 public:
kono
parents:
diff changeset
40 explicit AsanThreadContext(int tid)
kono
parents:
diff changeset
41 : ThreadContextBase(tid), announced(false),
kono
parents:
diff changeset
42 destructor_iterations(GetPthreadDestructorIterations()), stack_id(0),
kono
parents:
diff changeset
43 thread(nullptr) {}
kono
parents:
diff changeset
44 bool announced;
kono
parents:
diff changeset
45 u8 destructor_iterations;
kono
parents:
diff changeset
46 u32 stack_id;
kono
parents:
diff changeset
47 AsanThread *thread;
kono
parents:
diff changeset
48
kono
parents:
diff changeset
49 void OnCreated(void *arg) override;
kono
parents:
diff changeset
50 void OnFinished() override;
kono
parents:
diff changeset
51
kono
parents:
diff changeset
52 struct CreateThreadContextArgs {
kono
parents:
diff changeset
53 AsanThread *thread;
kono
parents:
diff changeset
54 StackTrace *stack;
kono
parents:
diff changeset
55 };
kono
parents:
diff changeset
56 };
kono
parents:
diff changeset
57
kono
parents:
diff changeset
58 // AsanThreadContext objects are never freed, so we need many of them.
kono
parents:
diff changeset
59 COMPILER_CHECK(sizeof(AsanThreadContext) <= 256);
kono
parents:
diff changeset
60
kono
parents:
diff changeset
61 // AsanThread are stored in TSD and destroyed when the thread dies.
kono
parents:
diff changeset
62 class AsanThread {
kono
parents:
diff changeset
63 public:
kono
parents:
diff changeset
64 static AsanThread *Create(thread_callback_t start_routine, void *arg,
kono
parents:
diff changeset
65 u32 parent_tid, StackTrace *stack, bool detached);
kono
parents:
diff changeset
66 static void TSDDtor(void *tsd);
kono
parents:
diff changeset
67 void Destroy();
kono
parents:
diff changeset
68
kono
parents:
diff changeset
69 struct InitOptions;
kono
parents:
diff changeset
70 void Init(const InitOptions *options = nullptr);
kono
parents:
diff changeset
71
kono
parents:
diff changeset
72 thread_return_t ThreadStart(tid_t os_id,
kono
parents:
diff changeset
73 atomic_uintptr_t *signal_thread_is_registered);
kono
parents:
diff changeset
74
kono
parents:
diff changeset
75 uptr stack_top();
kono
parents:
diff changeset
76 uptr stack_bottom();
kono
parents:
diff changeset
77 uptr stack_size();
kono
parents:
diff changeset
78 uptr tls_begin() { return tls_begin_; }
kono
parents:
diff changeset
79 uptr tls_end() { return tls_end_; }
kono
parents:
diff changeset
80 DTLS *dtls() { return dtls_; }
kono
parents:
diff changeset
81 u32 tid() { return context_->tid; }
kono
parents:
diff changeset
82 AsanThreadContext *context() { return context_; }
kono
parents:
diff changeset
83 void set_context(AsanThreadContext *context) { context_ = context; }
kono
parents:
diff changeset
84
kono
parents:
diff changeset
85 struct StackFrameAccess {
kono
parents:
diff changeset
86 uptr offset;
kono
parents:
diff changeset
87 uptr frame_pc;
kono
parents:
diff changeset
88 const char *frame_descr;
kono
parents:
diff changeset
89 };
kono
parents:
diff changeset
90 bool GetStackFrameAccessByAddr(uptr addr, StackFrameAccess *access);
kono
parents:
diff changeset
91
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
92 // Returns a pointer to the start of the stack variable's shadow memory.
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
93 uptr GetStackVariableShadowStart(uptr addr);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
94
111
kono
parents:
diff changeset
95 bool AddrIsInStack(uptr addr);
kono
parents:
diff changeset
96
kono
parents:
diff changeset
97 void DeleteFakeStack(int tid) {
kono
parents:
diff changeset
98 if (!fake_stack_) return;
kono
parents:
diff changeset
99 FakeStack *t = fake_stack_;
kono
parents:
diff changeset
100 fake_stack_ = nullptr;
kono
parents:
diff changeset
101 SetTLSFakeStack(nullptr);
kono
parents:
diff changeset
102 t->Destroy(tid);
kono
parents:
diff changeset
103 }
kono
parents:
diff changeset
104
kono
parents:
diff changeset
105 void StartSwitchFiber(FakeStack **fake_stack_save, uptr bottom, uptr size);
kono
parents:
diff changeset
106 void FinishSwitchFiber(FakeStack *fake_stack_save, uptr *bottom_old,
kono
parents:
diff changeset
107 uptr *size_old);
kono
parents:
diff changeset
108
kono
parents:
diff changeset
109 bool has_fake_stack() {
kono
parents:
diff changeset
110 return !atomic_load(&stack_switching_, memory_order_relaxed) &&
kono
parents:
diff changeset
111 (reinterpret_cast<uptr>(fake_stack_) > 1);
kono
parents:
diff changeset
112 }
kono
parents:
diff changeset
113
kono
parents:
diff changeset
114 FakeStack *fake_stack() {
kono
parents:
diff changeset
115 if (!__asan_option_detect_stack_use_after_return)
kono
parents:
diff changeset
116 return nullptr;
kono
parents:
diff changeset
117 if (atomic_load(&stack_switching_, memory_order_relaxed))
kono
parents:
diff changeset
118 return nullptr;
kono
parents:
diff changeset
119 if (!has_fake_stack())
kono
parents:
diff changeset
120 return AsyncSignalSafeLazyInitFakeStack();
kono
parents:
diff changeset
121 return fake_stack_;
kono
parents:
diff changeset
122 }
kono
parents:
diff changeset
123
kono
parents:
diff changeset
124 // True is this thread is currently unwinding stack (i.e. collecting a stack
kono
parents:
diff changeset
125 // trace). Used to prevent deadlocks on platforms where libc unwinder calls
kono
parents:
diff changeset
126 // malloc internally. See PR17116 for more details.
kono
parents:
diff changeset
127 bool isUnwinding() const { return unwinding_; }
kono
parents:
diff changeset
128 void setUnwinding(bool b) { unwinding_ = b; }
kono
parents:
diff changeset
129
kono
parents:
diff changeset
130 AsanThreadLocalMallocStorage &malloc_storage() { return malloc_storage_; }
kono
parents:
diff changeset
131 AsanStats &stats() { return stats_; }
kono
parents:
diff changeset
132
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
133 void *extra_spill_area() { return &extra_spill_area_; }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
134
111
kono
parents:
diff changeset
135 private:
kono
parents:
diff changeset
136 // NOTE: There is no AsanThread constructor. It is allocated
kono
parents:
diff changeset
137 // via mmap() and *must* be valid in zero-initialized state.
kono
parents:
diff changeset
138
kono
parents:
diff changeset
139 void SetThreadStackAndTls(const InitOptions *options);
kono
parents:
diff changeset
140
kono
parents:
diff changeset
141 void ClearShadowForThreadStackAndTLS();
kono
parents:
diff changeset
142 FakeStack *AsyncSignalSafeLazyInitFakeStack();
kono
parents:
diff changeset
143
kono
parents:
diff changeset
144 struct StackBounds {
kono
parents:
diff changeset
145 uptr bottom;
kono
parents:
diff changeset
146 uptr top;
kono
parents:
diff changeset
147 };
kono
parents:
diff changeset
148 StackBounds GetStackBounds() const;
kono
parents:
diff changeset
149
kono
parents:
diff changeset
150 AsanThreadContext *context_;
kono
parents:
diff changeset
151 thread_callback_t start_routine_;
kono
parents:
diff changeset
152 void *arg_;
kono
parents:
diff changeset
153
kono
parents:
diff changeset
154 uptr stack_top_;
kono
parents:
diff changeset
155 uptr stack_bottom_;
kono
parents:
diff changeset
156 // these variables are used when the thread is about to switch stack
kono
parents:
diff changeset
157 uptr next_stack_top_;
kono
parents:
diff changeset
158 uptr next_stack_bottom_;
kono
parents:
diff changeset
159 // true if switching is in progress
kono
parents:
diff changeset
160 atomic_uint8_t stack_switching_;
kono
parents:
diff changeset
161
kono
parents:
diff changeset
162 uptr tls_begin_;
kono
parents:
diff changeset
163 uptr tls_end_;
kono
parents:
diff changeset
164 DTLS *dtls_;
kono
parents:
diff changeset
165
kono
parents:
diff changeset
166 FakeStack *fake_stack_;
kono
parents:
diff changeset
167 AsanThreadLocalMallocStorage malloc_storage_;
kono
parents:
diff changeset
168 AsanStats stats_;
kono
parents:
diff changeset
169 bool unwinding_;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
170 uptr extra_spill_area_;
111
kono
parents:
diff changeset
171 };
kono
parents:
diff changeset
172
kono
parents:
diff changeset
173 // Returns a single instance of registry.
kono
parents:
diff changeset
174 ThreadRegistry &asanThreadRegistry();
kono
parents:
diff changeset
175
kono
parents:
diff changeset
176 // Must be called under ThreadRegistryLock.
kono
parents:
diff changeset
177 AsanThreadContext *GetThreadContextByTidLocked(u32 tid);
kono
parents:
diff changeset
178
kono
parents:
diff changeset
179 // Get the current thread. May return 0.
kono
parents:
diff changeset
180 AsanThread *GetCurrentThread();
kono
parents:
diff changeset
181 void SetCurrentThread(AsanThread *t);
kono
parents:
diff changeset
182 u32 GetCurrentTidOrInvalid();
kono
parents:
diff changeset
183 AsanThread *FindThreadByStackAddress(uptr addr);
kono
parents:
diff changeset
184
kono
parents:
diff changeset
185 // Used to handle fork().
kono
parents:
diff changeset
186 void EnsureMainThreadIDIsCorrect();
kono
parents:
diff changeset
187 } // namespace __asan
kono
parents:
diff changeset
188
kono
parents:
diff changeset
189 #endif // ASAN_THREAD_H