annotate libsanitizer/sanitizer_common/sanitizer_thread_registry.cc @ 144:8f4e72ab4e11

fix segmentation fault caused by nothing next cur_op to end
author Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Sun, 23 Dec 2018 21:23:56 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 //===-- sanitizer_thread_registry.cc --------------------------------------===//
kono
parents:
diff changeset
2 //
kono
parents:
diff changeset
3 // This file is distributed under the University of Illinois Open Source
kono
parents:
diff changeset
4 // License. See LICENSE.TXT for details.
kono
parents:
diff changeset
5 //
kono
parents:
diff changeset
6 //===----------------------------------------------------------------------===//
kono
parents:
diff changeset
7 //
kono
parents:
diff changeset
8 // This file is shared between sanitizer tools.
kono
parents:
diff changeset
9 //
kono
parents:
diff changeset
10 // General thread bookkeeping functionality.
kono
parents:
diff changeset
11 //===----------------------------------------------------------------------===//
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 #include "sanitizer_thread_registry.h"
kono
parents:
diff changeset
14
kono
parents:
diff changeset
15 namespace __sanitizer {
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 ThreadContextBase::ThreadContextBase(u32 tid)
kono
parents:
diff changeset
18 : tid(tid), unique_id(0), reuse_count(), os_id(0), user_id(0),
kono
parents:
diff changeset
19 status(ThreadStatusInvalid),
kono
parents:
diff changeset
20 detached(false), workerthread(false), parent_tid(0), next(0) {
kono
parents:
diff changeset
21 name[0] = '\0';
kono
parents:
diff changeset
22 }
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 ThreadContextBase::~ThreadContextBase() {
kono
parents:
diff changeset
25 // ThreadContextBase should never be deleted.
kono
parents:
diff changeset
26 CHECK(0);
kono
parents:
diff changeset
27 }
kono
parents:
diff changeset
28
kono
parents:
diff changeset
29 void ThreadContextBase::SetName(const char *new_name) {
kono
parents:
diff changeset
30 name[0] = '\0';
kono
parents:
diff changeset
31 if (new_name) {
kono
parents:
diff changeset
32 internal_strncpy(name, new_name, sizeof(name));
kono
parents:
diff changeset
33 name[sizeof(name) - 1] = '\0';
kono
parents:
diff changeset
34 }
kono
parents:
diff changeset
35 }
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 void ThreadContextBase::SetDead() {
kono
parents:
diff changeset
38 CHECK(status == ThreadStatusRunning ||
kono
parents:
diff changeset
39 status == ThreadStatusFinished);
kono
parents:
diff changeset
40 status = ThreadStatusDead;
kono
parents:
diff changeset
41 user_id = 0;
kono
parents:
diff changeset
42 OnDead();
kono
parents:
diff changeset
43 }
kono
parents:
diff changeset
44
kono
parents:
diff changeset
45 void ThreadContextBase::SetJoined(void *arg) {
kono
parents:
diff changeset
46 // FIXME(dvyukov): print message and continue (it's user error).
kono
parents:
diff changeset
47 CHECK_EQ(false, detached);
kono
parents:
diff changeset
48 CHECK_EQ(ThreadStatusFinished, status);
kono
parents:
diff changeset
49 status = ThreadStatusDead;
kono
parents:
diff changeset
50 user_id = 0;
kono
parents:
diff changeset
51 OnJoined(arg);
kono
parents:
diff changeset
52 }
kono
parents:
diff changeset
53
kono
parents:
diff changeset
54 void ThreadContextBase::SetFinished() {
kono
parents:
diff changeset
55 // ThreadRegistry::FinishThread calls here in ThreadStatusCreated state
kono
parents:
diff changeset
56 // for a thread that never actually started. In that case the thread
kono
parents:
diff changeset
57 // should go to ThreadStatusFinished regardless of whether it was created
kono
parents:
diff changeset
58 // as detached.
kono
parents:
diff changeset
59 if (!detached || status == ThreadStatusCreated) status = ThreadStatusFinished;
kono
parents:
diff changeset
60 OnFinished();
kono
parents:
diff changeset
61 }
kono
parents:
diff changeset
62
kono
parents:
diff changeset
63 void ThreadContextBase::SetStarted(tid_t _os_id, bool _workerthread,
kono
parents:
diff changeset
64 void *arg) {
kono
parents:
diff changeset
65 status = ThreadStatusRunning;
kono
parents:
diff changeset
66 os_id = _os_id;
kono
parents:
diff changeset
67 workerthread = _workerthread;
kono
parents:
diff changeset
68 OnStarted(arg);
kono
parents:
diff changeset
69 }
kono
parents:
diff changeset
70
kono
parents:
diff changeset
71 void ThreadContextBase::SetCreated(uptr _user_id, u64 _unique_id,
kono
parents:
diff changeset
72 bool _detached, u32 _parent_tid, void *arg) {
kono
parents:
diff changeset
73 status = ThreadStatusCreated;
kono
parents:
diff changeset
74 user_id = _user_id;
kono
parents:
diff changeset
75 unique_id = _unique_id;
kono
parents:
diff changeset
76 detached = _detached;
kono
parents:
diff changeset
77 // Parent tid makes no sense for the main thread.
kono
parents:
diff changeset
78 if (tid != 0)
kono
parents:
diff changeset
79 parent_tid = _parent_tid;
kono
parents:
diff changeset
80 OnCreated(arg);
kono
parents:
diff changeset
81 }
kono
parents:
diff changeset
82
kono
parents:
diff changeset
83 void ThreadContextBase::Reset() {
kono
parents:
diff changeset
84 status = ThreadStatusInvalid;
kono
parents:
diff changeset
85 SetName(0);
kono
parents:
diff changeset
86 OnReset();
kono
parents:
diff changeset
87 }
kono
parents:
diff changeset
88
kono
parents:
diff changeset
89 // ThreadRegistry implementation.
kono
parents:
diff changeset
90
kono
parents:
diff changeset
91 const u32 ThreadRegistry::kUnknownTid = ~0U;
kono
parents:
diff changeset
92
kono
parents:
diff changeset
93 ThreadRegistry::ThreadRegistry(ThreadContextFactory factory, u32 max_threads,
kono
parents:
diff changeset
94 u32 thread_quarantine_size, u32 max_reuse)
kono
parents:
diff changeset
95 : context_factory_(factory),
kono
parents:
diff changeset
96 max_threads_(max_threads),
kono
parents:
diff changeset
97 thread_quarantine_size_(thread_quarantine_size),
kono
parents:
diff changeset
98 max_reuse_(max_reuse),
kono
parents:
diff changeset
99 mtx_(),
kono
parents:
diff changeset
100 n_contexts_(0),
kono
parents:
diff changeset
101 total_threads_(0),
kono
parents:
diff changeset
102 alive_threads_(0),
kono
parents:
diff changeset
103 max_alive_threads_(0),
kono
parents:
diff changeset
104 running_threads_(0) {
kono
parents:
diff changeset
105 threads_ = (ThreadContextBase **)MmapOrDie(max_threads_ * sizeof(threads_[0]),
kono
parents:
diff changeset
106 "ThreadRegistry");
kono
parents:
diff changeset
107 dead_threads_.clear();
kono
parents:
diff changeset
108 invalid_threads_.clear();
kono
parents:
diff changeset
109 }
kono
parents:
diff changeset
110
kono
parents:
diff changeset
111 void ThreadRegistry::GetNumberOfThreads(uptr *total, uptr *running,
kono
parents:
diff changeset
112 uptr *alive) {
kono
parents:
diff changeset
113 BlockingMutexLock l(&mtx_);
kono
parents:
diff changeset
114 if (total) *total = n_contexts_;
kono
parents:
diff changeset
115 if (running) *running = running_threads_;
kono
parents:
diff changeset
116 if (alive) *alive = alive_threads_;
kono
parents:
diff changeset
117 }
kono
parents:
diff changeset
118
kono
parents:
diff changeset
119 uptr ThreadRegistry::GetMaxAliveThreads() {
kono
parents:
diff changeset
120 BlockingMutexLock l(&mtx_);
kono
parents:
diff changeset
121 return max_alive_threads_;
kono
parents:
diff changeset
122 }
kono
parents:
diff changeset
123
kono
parents:
diff changeset
124 u32 ThreadRegistry::CreateThread(uptr user_id, bool detached, u32 parent_tid,
kono
parents:
diff changeset
125 void *arg) {
kono
parents:
diff changeset
126 BlockingMutexLock l(&mtx_);
kono
parents:
diff changeset
127 u32 tid = kUnknownTid;
kono
parents:
diff changeset
128 ThreadContextBase *tctx = QuarantinePop();
kono
parents:
diff changeset
129 if (tctx) {
kono
parents:
diff changeset
130 tid = tctx->tid;
kono
parents:
diff changeset
131 } else if (n_contexts_ < max_threads_) {
kono
parents:
diff changeset
132 // Allocate new thread context and tid.
kono
parents:
diff changeset
133 tid = n_contexts_++;
kono
parents:
diff changeset
134 tctx = context_factory_(tid);
kono
parents:
diff changeset
135 threads_[tid] = tctx;
kono
parents:
diff changeset
136 } else {
kono
parents:
diff changeset
137 #if !SANITIZER_GO
kono
parents:
diff changeset
138 Report("%s: Thread limit (%u threads) exceeded. Dying.\n",
kono
parents:
diff changeset
139 SanitizerToolName, max_threads_);
kono
parents:
diff changeset
140 #else
kono
parents:
diff changeset
141 Printf("race: limit on %u simultaneously alive goroutines is exceeded,"
kono
parents:
diff changeset
142 " dying\n", max_threads_);
kono
parents:
diff changeset
143 #endif
kono
parents:
diff changeset
144 Die();
kono
parents:
diff changeset
145 }
kono
parents:
diff changeset
146 CHECK_NE(tctx, 0);
kono
parents:
diff changeset
147 CHECK_NE(tid, kUnknownTid);
kono
parents:
diff changeset
148 CHECK_LT(tid, max_threads_);
kono
parents:
diff changeset
149 CHECK_EQ(tctx->status, ThreadStatusInvalid);
kono
parents:
diff changeset
150 alive_threads_++;
kono
parents:
diff changeset
151 if (max_alive_threads_ < alive_threads_) {
kono
parents:
diff changeset
152 max_alive_threads_++;
kono
parents:
diff changeset
153 CHECK_EQ(alive_threads_, max_alive_threads_);
kono
parents:
diff changeset
154 }
kono
parents:
diff changeset
155 tctx->SetCreated(user_id, total_threads_++, detached,
kono
parents:
diff changeset
156 parent_tid, arg);
kono
parents:
diff changeset
157 return tid;
kono
parents:
diff changeset
158 }
kono
parents:
diff changeset
159
kono
parents:
diff changeset
160 void ThreadRegistry::RunCallbackForEachThreadLocked(ThreadCallback cb,
kono
parents:
diff changeset
161 void *arg) {
kono
parents:
diff changeset
162 CheckLocked();
kono
parents:
diff changeset
163 for (u32 tid = 0; tid < n_contexts_; tid++) {
kono
parents:
diff changeset
164 ThreadContextBase *tctx = threads_[tid];
kono
parents:
diff changeset
165 if (tctx == 0)
kono
parents:
diff changeset
166 continue;
kono
parents:
diff changeset
167 cb(tctx, arg);
kono
parents:
diff changeset
168 }
kono
parents:
diff changeset
169 }
kono
parents:
diff changeset
170
kono
parents:
diff changeset
171 u32 ThreadRegistry::FindThread(FindThreadCallback cb, void *arg) {
kono
parents:
diff changeset
172 BlockingMutexLock l(&mtx_);
kono
parents:
diff changeset
173 for (u32 tid = 0; tid < n_contexts_; tid++) {
kono
parents:
diff changeset
174 ThreadContextBase *tctx = threads_[tid];
kono
parents:
diff changeset
175 if (tctx != 0 && cb(tctx, arg))
kono
parents:
diff changeset
176 return tctx->tid;
kono
parents:
diff changeset
177 }
kono
parents:
diff changeset
178 return kUnknownTid;
kono
parents:
diff changeset
179 }
kono
parents:
diff changeset
180
kono
parents:
diff changeset
181 ThreadContextBase *
kono
parents:
diff changeset
182 ThreadRegistry::FindThreadContextLocked(FindThreadCallback cb, void *arg) {
kono
parents:
diff changeset
183 CheckLocked();
kono
parents:
diff changeset
184 for (u32 tid = 0; tid < n_contexts_; tid++) {
kono
parents:
diff changeset
185 ThreadContextBase *tctx = threads_[tid];
kono
parents:
diff changeset
186 if (tctx != 0 && cb(tctx, arg))
kono
parents:
diff changeset
187 return tctx;
kono
parents:
diff changeset
188 }
kono
parents:
diff changeset
189 return 0;
kono
parents:
diff changeset
190 }
kono
parents:
diff changeset
191
kono
parents:
diff changeset
192 static bool FindThreadContextByOsIdCallback(ThreadContextBase *tctx,
kono
parents:
diff changeset
193 void *arg) {
kono
parents:
diff changeset
194 return (tctx->os_id == (uptr)arg && tctx->status != ThreadStatusInvalid &&
kono
parents:
diff changeset
195 tctx->status != ThreadStatusDead);
kono
parents:
diff changeset
196 }
kono
parents:
diff changeset
197
kono
parents:
diff changeset
198 ThreadContextBase *ThreadRegistry::FindThreadContextByOsIDLocked(tid_t os_id) {
kono
parents:
diff changeset
199 return FindThreadContextLocked(FindThreadContextByOsIdCallback,
kono
parents:
diff changeset
200 (void *)os_id);
kono
parents:
diff changeset
201 }
kono
parents:
diff changeset
202
kono
parents:
diff changeset
203 void ThreadRegistry::SetThreadName(u32 tid, const char *name) {
kono
parents:
diff changeset
204 BlockingMutexLock l(&mtx_);
kono
parents:
diff changeset
205 CHECK_LT(tid, n_contexts_);
kono
parents:
diff changeset
206 ThreadContextBase *tctx = threads_[tid];
kono
parents:
diff changeset
207 CHECK_NE(tctx, 0);
kono
parents:
diff changeset
208 CHECK_EQ(SANITIZER_FUCHSIA ? ThreadStatusCreated : ThreadStatusRunning,
kono
parents:
diff changeset
209 tctx->status);
kono
parents:
diff changeset
210 tctx->SetName(name);
kono
parents:
diff changeset
211 }
kono
parents:
diff changeset
212
kono
parents:
diff changeset
213 void ThreadRegistry::SetThreadNameByUserId(uptr user_id, const char *name) {
kono
parents:
diff changeset
214 BlockingMutexLock l(&mtx_);
kono
parents:
diff changeset
215 for (u32 tid = 0; tid < n_contexts_; tid++) {
kono
parents:
diff changeset
216 ThreadContextBase *tctx = threads_[tid];
kono
parents:
diff changeset
217 if (tctx != 0 && tctx->user_id == user_id &&
kono
parents:
diff changeset
218 tctx->status != ThreadStatusInvalid) {
kono
parents:
diff changeset
219 tctx->SetName(name);
kono
parents:
diff changeset
220 return;
kono
parents:
diff changeset
221 }
kono
parents:
diff changeset
222 }
kono
parents:
diff changeset
223 }
kono
parents:
diff changeset
224
kono
parents:
diff changeset
225 void ThreadRegistry::DetachThread(u32 tid, void *arg) {
kono
parents:
diff changeset
226 BlockingMutexLock l(&mtx_);
kono
parents:
diff changeset
227 CHECK_LT(tid, n_contexts_);
kono
parents:
diff changeset
228 ThreadContextBase *tctx = threads_[tid];
kono
parents:
diff changeset
229 CHECK_NE(tctx, 0);
kono
parents:
diff changeset
230 if (tctx->status == ThreadStatusInvalid) {
kono
parents:
diff changeset
231 Report("%s: Detach of non-existent thread\n", SanitizerToolName);
kono
parents:
diff changeset
232 return;
kono
parents:
diff changeset
233 }
kono
parents:
diff changeset
234 tctx->OnDetached(arg);
kono
parents:
diff changeset
235 if (tctx->status == ThreadStatusFinished) {
kono
parents:
diff changeset
236 tctx->SetDead();
kono
parents:
diff changeset
237 QuarantinePush(tctx);
kono
parents:
diff changeset
238 } else {
kono
parents:
diff changeset
239 tctx->detached = true;
kono
parents:
diff changeset
240 }
kono
parents:
diff changeset
241 }
kono
parents:
diff changeset
242
kono
parents:
diff changeset
243 void ThreadRegistry::JoinThread(u32 tid, void *arg) {
kono
parents:
diff changeset
244 BlockingMutexLock l(&mtx_);
kono
parents:
diff changeset
245 CHECK_LT(tid, n_contexts_);
kono
parents:
diff changeset
246 ThreadContextBase *tctx = threads_[tid];
kono
parents:
diff changeset
247 CHECK_NE(tctx, 0);
kono
parents:
diff changeset
248 if (tctx->status == ThreadStatusInvalid) {
kono
parents:
diff changeset
249 Report("%s: Join of non-existent thread\n", SanitizerToolName);
kono
parents:
diff changeset
250 return;
kono
parents:
diff changeset
251 }
kono
parents:
diff changeset
252 tctx->SetJoined(arg);
kono
parents:
diff changeset
253 QuarantinePush(tctx);
kono
parents:
diff changeset
254 }
kono
parents:
diff changeset
255
kono
parents:
diff changeset
256 // Normally this is called when the thread is about to exit. If
kono
parents:
diff changeset
257 // called in ThreadStatusCreated state, then this thread was never
kono
parents:
diff changeset
258 // really started. We just did CreateThread for a prospective new
kono
parents:
diff changeset
259 // thread before trying to create it, and then failed to actually
kono
parents:
diff changeset
260 // create it, and so never called StartThread.
kono
parents:
diff changeset
261 void ThreadRegistry::FinishThread(u32 tid) {
kono
parents:
diff changeset
262 BlockingMutexLock l(&mtx_);
kono
parents:
diff changeset
263 CHECK_GT(alive_threads_, 0);
kono
parents:
diff changeset
264 alive_threads_--;
kono
parents:
diff changeset
265 CHECK_LT(tid, n_contexts_);
kono
parents:
diff changeset
266 ThreadContextBase *tctx = threads_[tid];
kono
parents:
diff changeset
267 CHECK_NE(tctx, 0);
kono
parents:
diff changeset
268 bool dead = tctx->detached;
kono
parents:
diff changeset
269 if (tctx->status == ThreadStatusRunning) {
kono
parents:
diff changeset
270 CHECK_GT(running_threads_, 0);
kono
parents:
diff changeset
271 running_threads_--;
kono
parents:
diff changeset
272 } else {
kono
parents:
diff changeset
273 // The thread never really existed.
kono
parents:
diff changeset
274 CHECK_EQ(tctx->status, ThreadStatusCreated);
kono
parents:
diff changeset
275 dead = true;
kono
parents:
diff changeset
276 }
kono
parents:
diff changeset
277 tctx->SetFinished();
kono
parents:
diff changeset
278 if (dead) {
kono
parents:
diff changeset
279 tctx->SetDead();
kono
parents:
diff changeset
280 QuarantinePush(tctx);
kono
parents:
diff changeset
281 }
kono
parents:
diff changeset
282 }
kono
parents:
diff changeset
283
kono
parents:
diff changeset
284 void ThreadRegistry::StartThread(u32 tid, tid_t os_id, bool workerthread,
kono
parents:
diff changeset
285 void *arg) {
kono
parents:
diff changeset
286 BlockingMutexLock l(&mtx_);
kono
parents:
diff changeset
287 running_threads_++;
kono
parents:
diff changeset
288 CHECK_LT(tid, n_contexts_);
kono
parents:
diff changeset
289 ThreadContextBase *tctx = threads_[tid];
kono
parents:
diff changeset
290 CHECK_NE(tctx, 0);
kono
parents:
diff changeset
291 CHECK_EQ(ThreadStatusCreated, tctx->status);
kono
parents:
diff changeset
292 tctx->SetStarted(os_id, workerthread, arg);
kono
parents:
diff changeset
293 }
kono
parents:
diff changeset
294
kono
parents:
diff changeset
295 void ThreadRegistry::QuarantinePush(ThreadContextBase *tctx) {
kono
parents:
diff changeset
296 if (tctx->tid == 0)
kono
parents:
diff changeset
297 return; // Don't reuse the main thread. It's a special snowflake.
kono
parents:
diff changeset
298 dead_threads_.push_back(tctx);
kono
parents:
diff changeset
299 if (dead_threads_.size() <= thread_quarantine_size_)
kono
parents:
diff changeset
300 return;
kono
parents:
diff changeset
301 tctx = dead_threads_.front();
kono
parents:
diff changeset
302 dead_threads_.pop_front();
kono
parents:
diff changeset
303 CHECK_EQ(tctx->status, ThreadStatusDead);
kono
parents:
diff changeset
304 tctx->Reset();
kono
parents:
diff changeset
305 tctx->reuse_count++;
kono
parents:
diff changeset
306 if (max_reuse_ > 0 && tctx->reuse_count >= max_reuse_)
kono
parents:
diff changeset
307 return;
kono
parents:
diff changeset
308 invalid_threads_.push_back(tctx);
kono
parents:
diff changeset
309 }
kono
parents:
diff changeset
310
kono
parents:
diff changeset
311 ThreadContextBase *ThreadRegistry::QuarantinePop() {
kono
parents:
diff changeset
312 if (invalid_threads_.size() == 0)
kono
parents:
diff changeset
313 return 0;
kono
parents:
diff changeset
314 ThreadContextBase *tctx = invalid_threads_.front();
kono
parents:
diff changeset
315 invalid_threads_.pop_front();
kono
parents:
diff changeset
316 return tctx;
kono
parents:
diff changeset
317 }
kono
parents:
diff changeset
318
kono
parents:
diff changeset
319 } // namespace __sanitizer