blob: 2dbfb3ebc71a674231778207d37813ef6e566024 [file] [log] [blame]
Elliott Hughes8daa0922011-09-11 13:46:25 -07001/*
2 * Copyright (C) 2011 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "thread_list.h"
18
Mathieu Chartier6f365cc2014-04-23 12:42:27 -070019#define ATRACE_TAG ATRACE_TAG_DALVIK
20
21#include <cutils/trace.h>
Elliott Hughesabbe07d2012-06-05 17:42:23 -070022#include <dirent.h>
Ian Rogersd9c4fc92013-10-01 19:45:43 -070023#include <ScopedLocalRef.h>
24#include <ScopedUtfChars.h>
Elliott Hughesabbe07d2012-06-05 17:42:23 -070025#include <sys/types.h>
Elliott Hughes038a8062011-09-18 14:12:41 -070026#include <unistd.h>
27
Elliott Hughes76b61672012-12-12 17:47:30 -080028#include "base/mutex.h"
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -070029#include "base/mutex-inl.h"
Sameer Abu Asala8439542013-02-14 16:06:42 -080030#include "base/timing_logger.h"
Elliott Hughes475fc232011-10-25 15:00:35 -070031#include "debugger.h"
Ian Rogersd9c4fc92013-10-01 19:45:43 -070032#include "jni_internal.h"
33#include "lock_word.h"
34#include "monitor.h"
35#include "scoped_thread_state_change.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080036#include "thread.h"
Elliott Hughesabbe07d2012-06-05 17:42:23 -070037#include "utils.h"
Ian Rogersd9c4fc92013-10-01 19:45:43 -070038#include "well_known_classes.h"
Elliott Hughes475fc232011-10-25 15:00:35 -070039
Elliott Hughes8daa0922011-09-11 13:46:25 -070040namespace art {
41
Mathieu Chartier251755c2014-07-15 18:10:25 -070042static constexpr uint64_t kLongThreadSuspendThreshold = MsToNs(5);
43
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -080044ThreadList::ThreadList()
Chao-ying Fu9e369312014-05-21 11:20:52 -070045 : suspend_all_count_(0), debug_suspend_all_count_(0),
Ian Rogersc604d732012-10-14 16:09:54 -070046 thread_exit_cond_("thread exit condition variable", *Locks::thread_list_lock_) {
Ian Rogersd9c4fc92013-10-01 19:45:43 -070047 CHECK(Monitor::IsValidLockWord(LockWord::FromThinLockId(kMaxThreadId, 1)));
Elliott Hughes8daa0922011-09-11 13:46:25 -070048}
49
50ThreadList::~ThreadList() {
Elliott Hughese52e49b2012-04-02 16:05:44 -070051 // Detach the current thread if necessary. If we failed to start, there might not be any threads.
Elliott Hughes6a144332012-04-03 13:07:11 -070052 // We need to detach the current thread here in case there's another thread waiting to join with
53 // us.
Elliott Hughes8daa0922011-09-11 13:46:25 -070054 if (Contains(Thread::Current())) {
55 Runtime::Current()->DetachCurrentThread();
56 }
Elliott Hughes6a144332012-04-03 13:07:11 -070057
58 WaitForOtherNonDaemonThreadsToExit();
Ian Rogers00f7d0e2012-07-19 15:28:27 -070059 // TODO: there's an unaddressed race here where a thread may attach during shutdown, see
60 // Thread::Init.
Elliott Hughes6a144332012-04-03 13:07:11 -070061 SuspendAllDaemonThreads();
Elliott Hughes8daa0922011-09-11 13:46:25 -070062}
63
64bool ThreadList::Contains(Thread* thread) {
65 return find(list_.begin(), list_.end(), thread) != list_.end();
66}
67
Elliott Hughesabbe07d2012-06-05 17:42:23 -070068bool ThreadList::Contains(pid_t tid) {
Mathieu Chartier02e25112013-08-14 16:14:24 -070069 for (const auto& thread : list_) {
Ian Rogersdd7624d2014-03-14 17:43:00 -070070 if (thread->GetTid() == tid) {
Elliott Hughesabbe07d2012-06-05 17:42:23 -070071 return true;
72 }
73 }
74 return false;
75}
76
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -070077pid_t ThreadList::GetLockOwner() {
Ian Rogersb726dcb2012-09-05 08:57:23 -070078 return Locks::thread_list_lock_->GetExclusiveOwnerTid();
Elliott Hughesaccd83d2011-10-17 14:25:58 -070079}
80
Mathieu Chartier590fee92013-09-13 13:46:47 -070081void ThreadList::DumpNativeStacks(std::ostream& os) {
82 MutexLock mu(Thread::Current(), *Locks::thread_list_lock_);
83 for (const auto& thread : list_) {
Ian Rogersdd7624d2014-03-14 17:43:00 -070084 os << "DUMPING THREAD " << thread->GetTid() << "\n";
Christopher Ferrisa2cee182014-04-16 19:13:59 -070085 DumpNativeStack(os, thread->GetTid(), "\t");
Mathieu Chartier590fee92013-09-13 13:46:47 -070086 os << "\n";
87 }
88}
89
Elliott Hughesc967f782012-04-16 10:23:15 -070090void ThreadList::DumpForSigQuit(std::ostream& os) {
Ian Rogers7b078e82014-09-10 14:44:24 -070091 Dump(os);
Elliott Hughesabbe07d2012-06-05 17:42:23 -070092 DumpUnattachedThreads(os);
93}
94
Ian Rogerscfaa4552012-11-26 21:00:08 -080095static void DumpUnattachedThread(std::ostream& os, pid_t tid) NO_THREAD_SAFETY_ANALYSIS {
96 // TODO: No thread safety analysis as DumpState with a NULL thread won't access fields, should
97 // refactor DumpState to avoid skipping analysis.
Elliott Hughesabbe07d2012-06-05 17:42:23 -070098 Thread::DumpState(os, NULL, tid);
99 DumpKernelStack(os, tid, " kernel: ", false);
Brian Carlstromed8b7232012-06-27 17:54:47 -0700100 // TODO: Reenable this when the native code in system_server can handle it.
101 // Currently "adb shell kill -3 `pid system_server`" will cause it to exit.
102 if (false) {
Christopher Ferrisa2cee182014-04-16 19:13:59 -0700103 DumpNativeStack(os, tid, " native: ");
Brian Carlstromed8b7232012-06-27 17:54:47 -0700104 }
Elliott Hughesabbe07d2012-06-05 17:42:23 -0700105 os << "\n";
106}
107
108void ThreadList::DumpUnattachedThreads(std::ostream& os) {
109 DIR* d = opendir("/proc/self/task");
110 if (!d) {
111 return;
112 }
113
Ian Rogers50b35e22012-10-04 10:09:15 -0700114 Thread* self = Thread::Current();
Elliott Hughes4696b5b2012-10-30 10:35:10 -0700115 dirent* e;
116 while ((e = readdir(d)) != NULL) {
Elliott Hughesabbe07d2012-06-05 17:42:23 -0700117 char* end;
Elliott Hughes4696b5b2012-10-30 10:35:10 -0700118 pid_t tid = strtol(e->d_name, &end, 10);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700119 if (!*end) {
120 bool contains;
121 {
Ian Rogers50b35e22012-10-04 10:09:15 -0700122 MutexLock mu(self, *Locks::thread_list_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700123 contains = Contains(tid);
124 }
125 if (!contains) {
126 DumpUnattachedThread(os, tid);
127 }
Elliott Hughesabbe07d2012-06-05 17:42:23 -0700128 }
129 }
130 closedir(d);
Elliott Hughesff738062012-02-03 15:00:42 -0800131}
132
Ian Rogers7b078e82014-09-10 14:44:24 -0700133// A closure used by Thread::Dump.
134class DumpCheckpoint FINAL : public Closure {
135 public:
136 explicit DumpCheckpoint(std::ostream* os) : os_(os), barrier_(0) {}
137
138 void Run(Thread* thread) OVERRIDE {
139 // Note thread and self may not be equal if thread was already suspended at the point of the
140 // request.
141 Thread* self = Thread::Current();
142 std::ostringstream local_os;
143 {
144 ScopedObjectAccess soa(self);
145 thread->Dump(local_os);
146 }
147 local_os << "\n";
148 {
149 // Use the logging lock to ensure serialization when writing to the common ostream.
150 MutexLock mu(self, *Locks::logging_lock_);
151 *os_ << local_os.str();
152 }
153 barrier_.Pass(self);
Elliott Hughes8daa0922011-09-11 13:46:25 -0700154 }
Ian Rogers7b078e82014-09-10 14:44:24 -0700155
156 void WaitForThreadsToRunThroughCheckpoint(size_t threads_running_checkpoint) {
157 Thread* self = Thread::Current();
158 ScopedThreadStateChange tsc(self, kWaitingForCheckPointsToRun);
Ian Rogers2156ff12014-09-13 19:20:54 -0700159 const uint32_t kWaitTimeoutMs = 10000;
160 bool timed_out = barrier_.Increment(self, threads_running_checkpoint, kWaitTimeoutMs);
161 if (timed_out) {
162 LOG(kIsDebugBuild ? FATAL : ERROR) << "Unexpected time out during dump checkpoint.";
163 }
Ian Rogers7b078e82014-09-10 14:44:24 -0700164 }
165
166 private:
167 // The common stream that will accumulate all the dumps.
168 std::ostream* const os_;
169 // The barrier to be passed through and for the requestor to wait upon.
170 Barrier barrier_;
171};
172
173void ThreadList::Dump(std::ostream& os) {
174 {
175 MutexLock mu(Thread::Current(), *Locks::thread_list_lock_);
176 os << "DALVIK THREADS (" << list_.size() << "):\n";
177 }
178 DumpCheckpoint checkpoint(&os);
179 size_t threads_running_checkpoint = RunCheckpoint(&checkpoint);
180 checkpoint.WaitForThreadsToRunThroughCheckpoint(threads_running_checkpoint);
Elliott Hughes8daa0922011-09-11 13:46:25 -0700181}
182
Ian Rogers50b35e22012-10-04 10:09:15 -0700183void ThreadList::AssertThreadsAreSuspended(Thread* self, Thread* ignore1, Thread* ignore2) {
184 MutexLock mu(self, *Locks::thread_list_lock_);
185 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
Mathieu Chartier02e25112013-08-14 16:14:24 -0700186 for (const auto& thread : list_) {
jeffhao725a9572012-11-13 18:20:12 -0800187 if (thread != ignore1 && thread != ignore2) {
Ian Rogers01ae5802012-09-28 16:14:01 -0700188 CHECK(thread->IsSuspended())
189 << "\nUnsuspended thread: <<" << *thread << "\n"
190 << "self: <<" << *Thread::Current();
191 }
Elliott Hughes8d768a92011-09-14 16:35:25 -0700192 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700193}
194
Ian Rogers66aee5c2012-08-15 17:17:47 -0700195#if HAVE_TIMED_RWLOCK
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700196// Attempt to rectify locks so that we dump thread list with required locks before exiting.
Ian Rogers7b078e82014-09-10 14:44:24 -0700197static void UnsafeLogFatalForThreadSuspendAllTimeout() __attribute__((noreturn));
Sebastien Hertzbae182c2013-12-17 10:42:03 +0100198static void UnsafeLogFatalForThreadSuspendAllTimeout() {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700199 Runtime* runtime = Runtime::Current();
200 std::ostringstream ss;
201 ss << "Thread suspend timeout\n";
Ian Rogers7b078e82014-09-10 14:44:24 -0700202 runtime->GetThreadList()->Dump(ss);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700203 LOG(FATAL) << ss.str();
Ian Rogers719d1a32014-03-06 12:13:39 -0800204 exit(0);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700205}
Ian Rogers66aee5c2012-08-15 17:17:47 -0700206#endif
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700207
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800208// Unlike suspending all threads where we can wait to acquire the mutator_lock_, suspending an
209// individual thread requires polling. delay_us is the requested sleep and total_delay_us
210// accumulates the total time spent sleeping for timeouts. The first sleep is just a yield,
211// subsequently sleeps increase delay_us from 1ms to 500ms by doubling.
Ian Rogersf3d874c2014-07-17 18:52:42 -0700212static void ThreadSuspendSleep(Thread* self, useconds_t* delay_us, useconds_t* total_delay_us) {
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800213 useconds_t new_delay_us = (*delay_us) * 2;
214 CHECK_GE(new_delay_us, *delay_us);
215 if (new_delay_us < 500000) { // Don't allow sleeping to be more than 0.5s.
216 *delay_us = new_delay_us;
217 }
218 if (*delay_us == 0) {
219 sched_yield();
220 // Default to 1 milliseconds (note that this gets multiplied by 2 before the first sleep).
221 *delay_us = 500;
222 } else {
223 usleep(*delay_us);
224 *total_delay_us += *delay_us;
225 }
226}
227
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700228size_t ThreadList::RunCheckpoint(Closure* checkpoint_function) {
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700229 Thread* self = Thread::Current();
Mathieu Chartier6dda8982014-03-06 11:11:48 -0800230 Locks::mutator_lock_->AssertNotExclusiveHeld(self);
231 Locks::thread_list_lock_->AssertNotHeld(self);
232 Locks::thread_suspend_count_lock_->AssertNotHeld(self);
233 if (kDebugLocking) {
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700234 CHECK_NE(self->GetState(), kRunnable);
235 }
236
237 std::vector<Thread*> suspended_count_modified_threads;
238 size_t count = 0;
239 {
240 // Call a checkpoint function for each thread, threads which are suspend get their checkpoint
241 // manually called.
242 MutexLock mu(self, *Locks::thread_list_lock_);
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700243 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
Mathieu Chartier02e25112013-08-14 16:14:24 -0700244 for (const auto& thread : list_) {
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700245 if (thread != self) {
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700246 while (true) {
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700247 if (thread->RequestCheckpoint(checkpoint_function)) {
Dave Allison0aded082013-11-07 13:15:11 -0800248 // This thread will run its checkpoint some time in the near future.
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700249 count++;
250 break;
251 } else {
252 // We are probably suspended, try to make sure that we stay suspended.
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700253 // The thread switched back to runnable.
254 if (thread->GetState() == kRunnable) {
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700255 // Spurious fail, try again.
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700256 continue;
257 }
258 thread->ModifySuspendCount(self, +1, false);
259 suspended_count_modified_threads.push_back(thread);
260 break;
261 }
262 }
263 }
264 }
265 }
266
267 // Run the checkpoint on ourself while we wait for threads to suspend.
268 checkpoint_function->Run(self);
269
270 // Run the checkpoint on the suspended threads.
Mathieu Chartier02e25112013-08-14 16:14:24 -0700271 for (const auto& thread : suspended_count_modified_threads) {
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700272 if (!thread->IsSuspended()) {
273 // Wait until the thread is suspended.
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800274 useconds_t total_delay_us = 0;
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700275 do {
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800276 useconds_t delay_us = 100;
Ian Rogersf3d874c2014-07-17 18:52:42 -0700277 ThreadSuspendSleep(self, &delay_us, &total_delay_us);
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700278 } while (!thread->IsSuspended());
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800279 // Shouldn't need to wait for longer than 1000 microseconds.
280 constexpr useconds_t kLongWaitThresholdUS = 1000;
281 if (UNLIKELY(total_delay_us > kLongWaitThresholdUS)) {
282 LOG(WARNING) << "Waited " << total_delay_us << " us for thread suspend!";
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700283 }
284 }
285 // We know for sure that the thread is suspended at this point.
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700286 checkpoint_function->Run(thread);
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700287 {
288 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
289 thread->ModifySuspendCount(self, -1, false);
290 }
291 }
292
Mathieu Chartier664bebf2012-11-12 16:54:11 -0800293 {
294 // Imitate ResumeAll, threads may be waiting on Thread::resume_cond_ since we raised their
295 // suspend count. Now the suspend_count_ is lowered so we must do the broadcast.
296 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
297 Thread::resume_cond_->Broadcast(self);
298 }
299
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700300 // Add one for self.
301 return count + suspended_count_modified_threads.size() + 1;
302}
303
Dave Allison39c3bfb2014-01-28 18:33:52 -0800304// Request that a checkpoint function be run on all active (non-suspended)
305// threads. Returns the number of successful requests.
306size_t ThreadList::RunCheckpointOnRunnableThreads(Closure* checkpoint_function) {
307 Thread* self = Thread::Current();
Ian Rogers7b078e82014-09-10 14:44:24 -0700308 Locks::mutator_lock_->AssertNotExclusiveHeld(self);
309 Locks::thread_list_lock_->AssertNotHeld(self);
310 Locks::thread_suspend_count_lock_->AssertNotHeld(self);
311 CHECK_NE(self->GetState(), kRunnable);
Dave Allison39c3bfb2014-01-28 18:33:52 -0800312
313 size_t count = 0;
314 {
315 // Call a checkpoint function for each non-suspended thread.
316 MutexLock mu(self, *Locks::thread_list_lock_);
317 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
318 for (const auto& thread : list_) {
319 if (thread != self) {
320 if (thread->RequestCheckpoint(checkpoint_function)) {
321 // This thread will run its checkpoint some time in the near future.
322 count++;
323 }
324 }
325 }
326 }
327
328 // Return the number of threads that will run the checkpoint function.
329 return count;
330}
331
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700332void ThreadList::SuspendAll() {
333 Thread* self = Thread::Current();
334
Jeff Haoc5d824a2014-07-28 18:35:38 -0700335 if (self != nullptr) {
336 VLOG(threads) << *self << " SuspendAll starting...";
337 } else {
338 VLOG(threads) << "Thread[null] SuspendAll starting...";
339 }
Mathieu Chartier6f365cc2014-04-23 12:42:27 -0700340 ATRACE_BEGIN("Suspending mutator threads");
Mathieu Chartier251755c2014-07-15 18:10:25 -0700341 uint64_t start_time = NanoTime();
Mathieu Chartier6f365cc2014-04-23 12:42:27 -0700342
Mathieu Chartier6dda8982014-03-06 11:11:48 -0800343 Locks::mutator_lock_->AssertNotHeld(self);
344 Locks::thread_list_lock_->AssertNotHeld(self);
345 Locks::thread_suspend_count_lock_->AssertNotHeld(self);
Jeff Haoc5d824a2014-07-28 18:35:38 -0700346 if (kDebugLocking && self != nullptr) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700347 CHECK_NE(self->GetState(), kRunnable);
348 }
349 {
Ian Rogers81d425b2012-09-27 16:03:43 -0700350 MutexLock mu(self, *Locks::thread_list_lock_);
Mathieu Chartier6dda8982014-03-06 11:11:48 -0800351 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
352 // Update global suspend all state for attaching threads.
353 ++suspend_all_count_;
354 // Increment everybody's suspend count (except our own).
355 for (const auto& thread : list_) {
356 if (thread == self) {
357 continue;
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700358 }
Mathieu Chartier6dda8982014-03-06 11:11:48 -0800359 VLOG(threads) << "requesting thread suspend: " << *thread;
360 thread->ModifySuspendCount(self, +1, false);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700361 }
362 }
363
Ian Rogers66aee5c2012-08-15 17:17:47 -0700364 // Block on the mutator lock until all Runnable threads release their share of access.
365#if HAVE_TIMED_RWLOCK
366 // Timeout if we wait more than 30 seconds.
Ian Rogers719d1a32014-03-06 12:13:39 -0800367 if (!Locks::mutator_lock_->ExclusiveLockWithTimeout(self, 30 * 1000, 0)) {
Sebastien Hertzbae182c2013-12-17 10:42:03 +0100368 UnsafeLogFatalForThreadSuspendAllTimeout();
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700369 }
Ian Rogers66aee5c2012-08-15 17:17:47 -0700370#else
Ian Rogers81d425b2012-09-27 16:03:43 -0700371 Locks::mutator_lock_->ExclusiveLock(self);
Ian Rogers66aee5c2012-08-15 17:17:47 -0700372#endif
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700373
Mathieu Chartier251755c2014-07-15 18:10:25 -0700374 uint64_t end_time = NanoTime();
375 if (end_time - start_time > kLongThreadSuspendThreshold) {
376 LOG(WARNING) << "Suspending all threads took: " << PrettyDuration(end_time - start_time);
377 }
378
Mathieu Chartier6dda8982014-03-06 11:11:48 -0800379 if (kDebugLocking) {
380 // Debug check that all threads are suspended.
381 AssertThreadsAreSuspended(self, self);
382 }
Elliott Hughes8d768a92011-09-14 16:35:25 -0700383
Mathieu Chartier6f365cc2014-04-23 12:42:27 -0700384 ATRACE_END();
385 ATRACE_BEGIN("Mutator threads suspended");
386
Jeff Haoc5d824a2014-07-28 18:35:38 -0700387 if (self != nullptr) {
388 VLOG(threads) << *self << " SuspendAll complete";
389 } else {
390 VLOG(threads) << "Thread[null] SuspendAll complete";
391 }
Elliott Hughes8d768a92011-09-14 16:35:25 -0700392}
393
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700394void ThreadList::ResumeAll() {
395 Thread* self = Thread::Current();
396
Jeff Haoc5d824a2014-07-28 18:35:38 -0700397 if (self != nullptr) {
398 VLOG(threads) << *self << " ResumeAll starting";
399 } else {
400 VLOG(threads) << "Thread[null] ResumeAll starting";
401 }
Ian Rogers01ae5802012-09-28 16:14:01 -0700402
Mathieu Chartier6f365cc2014-04-23 12:42:27 -0700403 ATRACE_END();
404 ATRACE_BEGIN("Resuming mutator threads");
405
Mathieu Chartier6dda8982014-03-06 11:11:48 -0800406 if (kDebugLocking) {
407 // Debug check that all threads are suspended.
408 AssertThreadsAreSuspended(self, self);
409 }
Ian Rogers01ae5802012-09-28 16:14:01 -0700410
Ian Rogers81d425b2012-09-27 16:03:43 -0700411 Locks::mutator_lock_->ExclusiveUnlock(self);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700412 {
Ian Rogers81d425b2012-09-27 16:03:43 -0700413 MutexLock mu(self, *Locks::thread_list_lock_);
414 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700415 // Update global suspend all state for attaching threads.
416 --suspend_all_count_;
417 // Decrement the suspend counts for all threads.
Mathieu Chartier02e25112013-08-14 16:14:24 -0700418 for (const auto& thread : list_) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700419 if (thread == self) {
420 continue;
421 }
Ian Rogers01ae5802012-09-28 16:14:01 -0700422 thread->ModifySuspendCount(self, -1, false);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700423 }
424
425 // Broadcast a notification to all suspended threads, some or all of
426 // which may choose to wake up. No need to wait for them.
Jeff Haoc5d824a2014-07-28 18:35:38 -0700427 if (self != nullptr) {
428 VLOG(threads) << *self << " ResumeAll waking others";
429 } else {
430 VLOG(threads) << "Thread[null] ResumeAll waking others";
431 }
Ian Rogersc604d732012-10-14 16:09:54 -0700432 Thread::resume_cond_->Broadcast(self);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700433 }
Mathieu Chartier6f365cc2014-04-23 12:42:27 -0700434 ATRACE_END();
Jeff Haoc5d824a2014-07-28 18:35:38 -0700435
436 if (self != nullptr) {
437 VLOG(threads) << *self << " ResumeAll complete";
438 } else {
439 VLOG(threads) << "Thread[null] ResumeAll complete";
440 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700441}
442
443void ThreadList::Resume(Thread* thread, bool for_debugger) {
Ian Rogers81d425b2012-09-27 16:03:43 -0700444 Thread* self = Thread::Current();
445 DCHECK_NE(thread, self);
Brian Carlstromba32de42014-08-27 23:43:46 -0700446 VLOG(threads) << "Resume(" << reinterpret_cast<void*>(thread) << ") starting..."
447 << (for_debugger ? " (debugger)" : "");
Elliott Hughes01158d72011-09-19 19:47:10 -0700448
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700449 {
450 // To check Contains.
Ian Rogers81d425b2012-09-27 16:03:43 -0700451 MutexLock mu(self, *Locks::thread_list_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700452 // To check IsSuspended.
Ian Rogers81d425b2012-09-27 16:03:43 -0700453 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
454 DCHECK(thread->IsSuspended());
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700455 if (!Contains(thread)) {
Brian Carlstromba32de42014-08-27 23:43:46 -0700456 // We only expect threads within the thread-list to have been suspended otherwise we can't
457 // stop such threads from delete-ing themselves.
458 LOG(ERROR) << "Resume(" << reinterpret_cast<void*>(thread)
459 << ") thread not within thread list";
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700460 return;
461 }
Ian Rogers01ae5802012-09-28 16:14:01 -0700462 thread->ModifySuspendCount(self, -1, for_debugger);
Elliott Hughes01158d72011-09-19 19:47:10 -0700463 }
464
465 {
Brian Carlstromba32de42014-08-27 23:43:46 -0700466 VLOG(threads) << "Resume(" << reinterpret_cast<void*>(thread) << ") waking others";
Ian Rogers81d425b2012-09-27 16:03:43 -0700467 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
Ian Rogersc604d732012-10-14 16:09:54 -0700468 Thread::resume_cond_->Broadcast(self);
Elliott Hughes01158d72011-09-19 19:47:10 -0700469 }
470
Brian Carlstromba32de42014-08-27 23:43:46 -0700471 VLOG(threads) << "Resume(" << reinterpret_cast<void*>(thread) << ") complete";
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700472}
Elliott Hughes01158d72011-09-19 19:47:10 -0700473
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700474static void ThreadSuspendByPeerWarning(Thread* self, int level, const char* message, jobject peer) {
475 JNIEnvExt* env = self->GetJniEnv();
476 ScopedLocalRef<jstring>
477 scoped_name_string(env, (jstring)env->GetObjectField(peer,
478 WellKnownClasses::java_lang_Thread_name));
479 ScopedUtfChars scoped_name_chars(env, scoped_name_string.get());
480 if (scoped_name_chars.c_str() == NULL) {
481 LOG(level) << message << ": " << peer;
482 env->ExceptionClear();
483 } else {
484 LOG(level) << message << ": " << peer << ":" << scoped_name_chars.c_str();
485 }
486}
487
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700488Thread* ThreadList::SuspendThreadByPeer(jobject peer, bool request_suspension,
489 bool debug_suspension, bool* timed_out) {
490 static const useconds_t kTimeoutUs = 30 * 1000000; // 30s.
491 useconds_t total_delay_us = 0;
492 useconds_t delay_us = 0;
493 bool did_suspend_request = false;
494 *timed_out = false;
495 Thread* self = Thread::Current();
Brian Carlstromba32de42014-08-27 23:43:46 -0700496 VLOG(threads) << "SuspendThreadByPeer starting";
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700497 while (true) {
498 Thread* thread;
499 {
Ian Rogersf3d874c2014-07-17 18:52:42 -0700500 // Note: this will transition to runnable and potentially suspend. We ensure only one thread
501 // is requesting another suspend, to avoid deadlock, by requiring this function be called
502 // holding Locks::thread_list_suspend_thread_lock_. Its important this thread suspend rather
503 // than request thread suspension, to avoid potential cycles in threads requesting each other
504 // suspend.
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700505 ScopedObjectAccess soa(self);
506 MutexLock mu(self, *Locks::thread_list_lock_);
507 thread = Thread::FromManagedThread(soa, peer);
Brian Carlstromba32de42014-08-27 23:43:46 -0700508 if (thread == nullptr) {
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700509 ThreadSuspendByPeerWarning(self, WARNING, "No such thread for suspend", peer);
Brian Carlstromba32de42014-08-27 23:43:46 -0700510 return nullptr;
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700511 }
Brian Carlstromba32de42014-08-27 23:43:46 -0700512 if (!Contains(thread)) {
513 VLOG(threads) << "SuspendThreadByPeer failed for unattached thread: "
514 << reinterpret_cast<void*>(thread);
515 return nullptr;
516 }
517 VLOG(threads) << "SuspendThreadByPeer found thread: " << *thread;
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700518 {
519 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
520 if (request_suspension) {
521 thread->ModifySuspendCount(self, +1, debug_suspension);
522 request_suspension = false;
523 did_suspend_request = true;
524 } else {
525 // If the caller isn't requesting suspension, a suspension should have already occurred.
526 CHECK_GT(thread->GetSuspendCount(), 0);
527 }
528 // IsSuspended on the current thread will fail as the current thread is changed into
529 // Runnable above. As the suspend count is now raised if this is the current thread
530 // it will self suspend on transition to Runnable, making it hard to work with. It's simpler
531 // to just explicitly handle the current thread in the callers to this code.
532 CHECK_NE(thread, self) << "Attempt to suspend the current thread for the debugger";
533 // If thread is suspended (perhaps it was already not Runnable but didn't have a suspend
534 // count, or else we've waited and it has self suspended) or is the current thread, we're
535 // done.
536 if (thread->IsSuspended()) {
Brian Carlstromba32de42014-08-27 23:43:46 -0700537 VLOG(threads) << "SuspendThreadByPeer thread suspended: " << *thread;
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700538 return thread;
539 }
540 if (total_delay_us >= kTimeoutUs) {
Mathieu Chartier590fee92013-09-13 13:46:47 -0700541 ThreadSuspendByPeerWarning(self, FATAL, "Thread suspension timed out", peer);
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700542 if (did_suspend_request) {
543 thread->ModifySuspendCount(soa.Self(), -1, debug_suspension);
544 }
545 *timed_out = true;
Brian Carlstromba32de42014-08-27 23:43:46 -0700546 return nullptr;
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700547 }
548 }
549 // Release locks and come out of runnable state.
550 }
Brian Carlstromba32de42014-08-27 23:43:46 -0700551 VLOG(threads) << "SuspendThreadByPeer sleeping to allow thread chance to suspend";
Ian Rogersf3d874c2014-07-17 18:52:42 -0700552 ThreadSuspendSleep(self, &delay_us, &total_delay_us);
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700553 }
554}
555
556static void ThreadSuspendByThreadIdWarning(int level, const char* message, uint32_t thread_id) {
557 LOG(level) << StringPrintf("%s: %d", message, thread_id);
558}
559
560Thread* ThreadList::SuspendThreadByThreadId(uint32_t thread_id, bool debug_suspension,
561 bool* timed_out) {
562 static const useconds_t kTimeoutUs = 30 * 1000000; // 30s.
563 useconds_t total_delay_us = 0;
564 useconds_t delay_us = 0;
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700565 *timed_out = false;
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800566 Thread* suspended_thread = nullptr;
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700567 Thread* self = Thread::Current();
568 CHECK_NE(thread_id, kInvalidThreadId);
Brian Carlstromba32de42014-08-27 23:43:46 -0700569 VLOG(threads) << "SuspendThreadByThreadId starting";
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700570 while (true) {
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700571 {
Ian Rogersf3d874c2014-07-17 18:52:42 -0700572 // Note: this will transition to runnable and potentially suspend. We ensure only one thread
573 // is requesting another suspend, to avoid deadlock, by requiring this function be called
574 // holding Locks::thread_list_suspend_thread_lock_. Its important this thread suspend rather
575 // than request thread suspension, to avoid potential cycles in threads requesting each other
576 // suspend.
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700577 ScopedObjectAccess soa(self);
578 MutexLock mu(self, *Locks::thread_list_lock_);
Ian Rogersf3d874c2014-07-17 18:52:42 -0700579 Thread* thread = nullptr;
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700580 for (const auto& it : list_) {
581 if (it->GetThreadId() == thread_id) {
582 thread = it;
583 break;
584 }
585 }
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800586 if (thread == nullptr) {
587 CHECK(suspended_thread == nullptr) << "Suspended thread " << suspended_thread
588 << " no longer in thread list";
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700589 // There's a race in inflating a lock and the owner giving up ownership and then dying.
590 ThreadSuspendByThreadIdWarning(WARNING, "No such thread id for suspend", thread_id);
Brian Carlstromba32de42014-08-27 23:43:46 -0700591 return nullptr;
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700592 }
Brian Carlstromba32de42014-08-27 23:43:46 -0700593 VLOG(threads) << "SuspendThreadByThreadId found thread: " << *thread;
594 DCHECK(Contains(thread));
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700595 {
596 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800597 if (suspended_thread == nullptr) {
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700598 thread->ModifySuspendCount(self, +1, debug_suspension);
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800599 suspended_thread = thread;
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700600 } else {
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800601 CHECK_EQ(suspended_thread, thread);
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700602 // If the caller isn't requesting suspension, a suspension should have already occurred.
603 CHECK_GT(thread->GetSuspendCount(), 0);
604 }
605 // IsSuspended on the current thread will fail as the current thread is changed into
606 // Runnable above. As the suspend count is now raised if this is the current thread
607 // it will self suspend on transition to Runnable, making it hard to work with. It's simpler
608 // to just explicitly handle the current thread in the callers to this code.
609 CHECK_NE(thread, self) << "Attempt to suspend the current thread for the debugger";
610 // If thread is suspended (perhaps it was already not Runnable but didn't have a suspend
611 // count, or else we've waited and it has self suspended) or is the current thread, we're
612 // done.
613 if (thread->IsSuspended()) {
Brian Carlstromba32de42014-08-27 23:43:46 -0700614 VLOG(threads) << "SuspendThreadByThreadId thread suspended: " << *thread;
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700615 return thread;
616 }
617 if (total_delay_us >= kTimeoutUs) {
Mathieu Chartier590fee92013-09-13 13:46:47 -0700618 ThreadSuspendByThreadIdWarning(WARNING, "Thread suspension timed out", thread_id);
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800619 if (suspended_thread != nullptr) {
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700620 thread->ModifySuspendCount(soa.Self(), -1, debug_suspension);
621 }
622 *timed_out = true;
Brian Carlstromba32de42014-08-27 23:43:46 -0700623 return nullptr;
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700624 }
625 }
626 // Release locks and come out of runnable state.
627 }
Brian Carlstromba32de42014-08-27 23:43:46 -0700628 VLOG(threads) << "SuspendThreadByThreadId sleeping to allow thread chance to suspend";
Ian Rogersf3d874c2014-07-17 18:52:42 -0700629 ThreadSuspendSleep(self, &delay_us, &total_delay_us);
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700630 }
631}
632
633Thread* ThreadList::FindThreadByThreadId(uint32_t thin_lock_id) {
634 Thread* self = Thread::Current();
635 MutexLock mu(self, *Locks::thread_list_lock_);
636 for (const auto& thread : list_) {
637 if (thread->GetThreadId() == thin_lock_id) {
638 CHECK(thread == self || thread->IsSuspended());
639 return thread;
640 }
641 }
642 return NULL;
643}
644
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700645void ThreadList::SuspendAllForDebugger() {
646 Thread* self = Thread::Current();
647 Thread* debug_thread = Dbg::GetDebugThread();
648
649 VLOG(threads) << *self << " SuspendAllForDebugger starting...";
650
651 {
Ian Rogers81d425b2012-09-27 16:03:43 -0700652 MutexLock mu(self, *Locks::thread_list_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700653 {
Ian Rogers81d425b2012-09-27 16:03:43 -0700654 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700655 // Update global suspend all state for attaching threads.
656 ++suspend_all_count_;
657 ++debug_suspend_all_count_;
658 // Increment everybody's suspend count (except our own).
Mathieu Chartier02e25112013-08-14 16:14:24 -0700659 for (const auto& thread : list_) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700660 if (thread == self || thread == debug_thread) {
661 continue;
662 }
663 VLOG(threads) << "requesting thread suspend: " << *thread;
Ian Rogers01ae5802012-09-28 16:14:01 -0700664 thread->ModifySuspendCount(self, +1, true);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700665 }
666 }
667 }
668
Ian Rogers66aee5c2012-08-15 17:17:47 -0700669 // Block on the mutator lock until all Runnable threads release their share of access then
670 // immediately unlock again.
671#if HAVE_TIMED_RWLOCK
672 // Timeout if we wait more than 30 seconds.
Ian Rogersc604d732012-10-14 16:09:54 -0700673 if (!Locks::mutator_lock_->ExclusiveLockWithTimeout(self, 30 * 1000, 0)) {
Sebastien Hertzbae182c2013-12-17 10:42:03 +0100674 UnsafeLogFatalForThreadSuspendAllTimeout();
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700675 } else {
Ian Rogers81d425b2012-09-27 16:03:43 -0700676 Locks::mutator_lock_->ExclusiveUnlock(self);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700677 }
Ian Rogers66aee5c2012-08-15 17:17:47 -0700678#else
Ian Rogers81d425b2012-09-27 16:03:43 -0700679 Locks::mutator_lock_->ExclusiveLock(self);
680 Locks::mutator_lock_->ExclusiveUnlock(self);
Ian Rogers66aee5c2012-08-15 17:17:47 -0700681#endif
Ian Rogers50b35e22012-10-04 10:09:15 -0700682 AssertThreadsAreSuspended(self, self, debug_thread);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700683
Sebastien Hertzed2be172014-08-19 15:33:43 +0200684 VLOG(threads) << *self << " SuspendAllForDebugger complete";
Elliott Hughes01158d72011-09-19 19:47:10 -0700685}
686
Elliott Hughes475fc232011-10-25 15:00:35 -0700687void ThreadList::SuspendSelfForDebugger() {
688 Thread* self = Thread::Current();
Elliott Hughes01158d72011-09-19 19:47:10 -0700689
Elliott Hughes475fc232011-10-25 15:00:35 -0700690 // The debugger thread must not suspend itself due to debugger activity!
691 Thread* debug_thread = Dbg::GetDebugThread();
692 CHECK(debug_thread != NULL);
693 CHECK(self != debug_thread);
jeffhaoa77f0f62012-12-05 17:19:31 -0800694 CHECK_NE(self->GetState(), kRunnable);
695 Locks::mutator_lock_->AssertNotHeld(self);
Elliott Hughes475fc232011-10-25 15:00:35 -0700696
jeffhaoa77f0f62012-12-05 17:19:31 -0800697 {
698 // Collisions with other suspends aren't really interesting. We want
699 // to ensure that we're the only one fiddling with the suspend count
700 // though.
701 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
702 self->ModifySuspendCount(self, +1, true);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700703 CHECK_GT(self->GetSuspendCount(), 0);
jeffhaoa77f0f62012-12-05 17:19:31 -0800704 }
Elliott Hughes475fc232011-10-25 15:00:35 -0700705
Elliott Hughes1f729aa2012-03-02 13:55:41 -0800706 VLOG(threads) << *self << " self-suspending (debugger)";
Elliott Hughes475fc232011-10-25 15:00:35 -0700707
Sebastien Hertz21e729c2014-02-18 14:16:00 +0100708 // Tell JDWP we've completed invocation and are ready to suspend.
709 DebugInvokeReq* pReq = self->GetInvokeReq();
710 DCHECK(pReq != NULL);
711 if (pReq->invoke_needed) {
712 // Clear this before signaling.
Sebastien Hertzbb43b432014-04-14 11:59:08 +0200713 pReq->Clear();
Sebastien Hertz21e729c2014-02-18 14:16:00 +0100714
715 VLOG(jdwp) << "invoke complete, signaling";
716 MutexLock mu(self, pReq->lock);
717 pReq->cond.Signal(self);
718 }
719
Elliott Hughes475fc232011-10-25 15:00:35 -0700720 // Tell JDWP that we've completed suspension. The JDWP thread can't
721 // tell us to resume before we're fully asleep because we hold the
722 // suspend count lock.
723 Dbg::ClearWaitForEventThread();
724
jeffhaoa77f0f62012-12-05 17:19:31 -0800725 {
726 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700727 while (self->GetSuspendCount() != 0) {
jeffhaoa77f0f62012-12-05 17:19:31 -0800728 Thread::resume_cond_->Wait(self);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700729 if (self->GetSuspendCount() != 0) {
jeffhaoa77f0f62012-12-05 17:19:31 -0800730 // The condition was signaled but we're still suspended. This
731 // can happen if the debugger lets go while a SIGQUIT thread
732 // dump event is pending (assuming SignalCatcher was resumed for
733 // just long enough to try to grab the thread-suspend lock).
Brian Carlstrom4d466a82014-05-08 19:05:29 -0700734 LOG(WARNING) << *self << " still suspended after undo "
Ian Rogersdd7624d2014-03-14 17:43:00 -0700735 << "(suspend count=" << self->GetSuspendCount() << ")";
jeffhaoa77f0f62012-12-05 17:19:31 -0800736 }
Elliott Hughes475fc232011-10-25 15:00:35 -0700737 }
Ian Rogersdd7624d2014-03-14 17:43:00 -0700738 CHECK_EQ(self->GetSuspendCount(), 0);
Elliott Hughes475fc232011-10-25 15:00:35 -0700739 }
jeffhaoa77f0f62012-12-05 17:19:31 -0800740
Elliott Hughes1f729aa2012-03-02 13:55:41 -0800741 VLOG(threads) << *self << " self-reviving (debugger)";
Elliott Hughes475fc232011-10-25 15:00:35 -0700742}
743
Elliott Hughes234ab152011-10-26 14:02:26 -0700744void ThreadList::UndoDebuggerSuspensions() {
745 Thread* self = Thread::Current();
746
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -0800747 VLOG(threads) << *self << " UndoDebuggerSuspensions starting";
Elliott Hughes234ab152011-10-26 14:02:26 -0700748
749 {
Ian Rogers81d425b2012-09-27 16:03:43 -0700750 MutexLock mu(self, *Locks::thread_list_lock_);
751 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700752 // Update global suspend all state for attaching threads.
753 suspend_all_count_ -= debug_suspend_all_count_;
754 debug_suspend_all_count_ = 0;
755 // Update running threads.
Mathieu Chartier02e25112013-08-14 16:14:24 -0700756 for (const auto& thread : list_) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700757 if (thread == self || thread->GetDebugSuspendCount() == 0) {
Elliott Hughes234ab152011-10-26 14:02:26 -0700758 continue;
759 }
Ian Rogersdd7624d2014-03-14 17:43:00 -0700760 thread->ModifySuspendCount(self, -thread->GetDebugSuspendCount(), true);
Elliott Hughes234ab152011-10-26 14:02:26 -0700761 }
762 }
763
764 {
Ian Rogers81d425b2012-09-27 16:03:43 -0700765 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
Ian Rogersc604d732012-10-14 16:09:54 -0700766 Thread::resume_cond_->Broadcast(self);
Elliott Hughes234ab152011-10-26 14:02:26 -0700767 }
768
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -0800769 VLOG(threads) << "UndoDebuggerSuspensions(" << *self << ") complete";
Elliott Hughes234ab152011-10-26 14:02:26 -0700770}
771
Elliott Hughese52e49b2012-04-02 16:05:44 -0700772void ThreadList::WaitForOtherNonDaemonThreadsToExit() {
Ian Rogers81d425b2012-09-27 16:03:43 -0700773 Thread* self = Thread::Current();
774 Locks::mutator_lock_->AssertNotHeld(self);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700775 bool all_threads_are_daemons;
776 do {
Ian Rogers120f1c72012-09-28 17:17:10 -0700777 {
778 // No more threads can be born after we start to shutdown.
779 MutexLock mu(self, *Locks::runtime_shutdown_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700780 CHECK(Runtime::Current()->IsShuttingDownLocked());
Ian Rogers120f1c72012-09-28 17:17:10 -0700781 CHECK_EQ(Runtime::Current()->NumberOfThreadsBeingBorn(), 0U);
782 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700783 all_threads_are_daemons = true;
Ian Rogers120f1c72012-09-28 17:17:10 -0700784 MutexLock mu(self, *Locks::thread_list_lock_);
Mathieu Chartier02e25112013-08-14 16:14:24 -0700785 for (const auto& thread : list_) {
Anwar Ghuloum97543682013-06-14 12:58:16 -0700786 if (thread != self && !thread->IsDaemon()) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700787 all_threads_are_daemons = false;
788 break;
789 }
790 }
791 if (!all_threads_are_daemons) {
792 // Wait for another thread to exit before re-checking.
Ian Rogersc604d732012-10-14 16:09:54 -0700793 thread_exit_cond_.Wait(self);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700794 }
Brian Carlstromdf629502013-07-17 22:39:56 -0700795 } while (!all_threads_are_daemons);
Elliott Hughes038a8062011-09-18 14:12:41 -0700796}
797
798void ThreadList::SuspendAllDaemonThreads() {
Ian Rogers81d425b2012-09-27 16:03:43 -0700799 Thread* self = Thread::Current();
800 MutexLock mu(self, *Locks::thread_list_lock_);
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700801 { // Tell all the daemons it's time to suspend.
Ian Rogers81d425b2012-09-27 16:03:43 -0700802 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
Mathieu Chartier02e25112013-08-14 16:14:24 -0700803 for (const auto& thread : list_) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700804 // This is only run after all non-daemon threads have exited, so the remainder should all be
805 // daemons.
Ian Rogers7e762862012-10-22 15:45:08 -0700806 CHECK(thread->IsDaemon()) << *thread;
Ian Rogers81d425b2012-09-27 16:03:43 -0700807 if (thread != self) {
Ian Rogers01ae5802012-09-28 16:14:01 -0700808 thread->ModifySuspendCount(self, +1, false);
Elliott Hughese52e49b2012-04-02 16:05:44 -0700809 }
Elliott Hughes038a8062011-09-18 14:12:41 -0700810 }
811 }
Elliott Hughes038a8062011-09-18 14:12:41 -0700812 // Give the threads a chance to suspend, complaining if they're slow.
813 bool have_complained = false;
814 for (int i = 0; i < 10; ++i) {
815 usleep(200 * 1000);
816 bool all_suspended = true;
Mathieu Chartier02e25112013-08-14 16:14:24 -0700817 for (const auto& thread : list_) {
Ian Rogers81d425b2012-09-27 16:03:43 -0700818 if (thread != self && thread->GetState() == kRunnable) {
Elliott Hughes038a8062011-09-18 14:12:41 -0700819 if (!have_complained) {
820 LOG(WARNING) << "daemon thread not yet suspended: " << *thread;
821 have_complained = true;
822 }
823 all_suspended = false;
824 }
825 }
826 if (all_suspended) {
827 return;
828 }
829 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700830 LOG(ERROR) << "suspend all daemons failed";
831}
832void ThreadList::Register(Thread* self) {
833 DCHECK_EQ(self, Thread::Current());
834
835 if (VLOG_IS_ON(threads)) {
836 std::ostringstream oss;
837 self->ShortDump(oss); // We don't hold the mutator_lock_ yet and so cannot call Dump.
Ian Rogers5a9ba012014-05-19 13:28:52 -0700838 LOG(INFO) << "ThreadList::Register() " << *self << "\n" << oss.str();
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700839 }
840
841 // Atomically add self to the thread list and make its thread_suspend_count_ reflect ongoing
842 // SuspendAll requests.
Ian Rogers81d425b2012-09-27 16:03:43 -0700843 MutexLock mu(self, *Locks::thread_list_lock_);
844 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700845 CHECK_GE(suspend_all_count_, debug_suspend_all_count_);
Ian Rogers2966e132014-04-02 08:34:36 -0700846 // Modify suspend count in increments of 1 to maintain invariants in ModifySuspendCount. While
847 // this isn't particularly efficient the suspend counts are most commonly 0 or 1.
848 for (int delta = debug_suspend_all_count_; delta > 0; delta--) {
849 self->ModifySuspendCount(self, +1, true);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700850 }
Ian Rogers2966e132014-04-02 08:34:36 -0700851 for (int delta = suspend_all_count_ - debug_suspend_all_count_; delta > 0; delta--) {
852 self->ModifySuspendCount(self, +1, false);
Ian Rogers01ae5802012-09-28 16:14:01 -0700853 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700854 CHECK(!Contains(self));
855 list_.push_back(self);
856}
857
858void ThreadList::Unregister(Thread* self) {
859 DCHECK_EQ(self, Thread::Current());
Ian Rogers68d8b422014-07-17 11:09:10 -0700860 CHECK_NE(self->GetState(), kRunnable);
861 Locks::mutator_lock_->AssertNotHeld(self);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700862
863 VLOG(threads) << "ThreadList::Unregister() " << *self;
864
865 // Any time-consuming destruction, plus anything that can call back into managed code or
866 // suspend and so on, must happen at this point, and not in ~Thread.
867 self->Destroy();
868
Ian Rogersdd7624d2014-03-14 17:43:00 -0700869 uint32_t thin_lock_id = self->GetThreadId();
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800870 while (self != nullptr) {
Ian Rogerscfaa4552012-11-26 21:00:08 -0800871 // Remove and delete the Thread* while holding the thread_list_lock_ and
872 // thread_suspend_count_lock_ so that the unregistering thread cannot be suspended.
Ian Rogers0878d652013-04-18 17:38:35 -0700873 // Note: deliberately not using MutexLock that could hold a stale self pointer.
874 Locks::thread_list_lock_->ExclusiveLock(self);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700875 CHECK(Contains(self));
Ian Rogers68d8b422014-07-17 11:09:10 -0700876 Locks::thread_suspend_count_lock_->ExclusiveLock(self);
877 bool removed = false;
Ian Rogerscfaa4552012-11-26 21:00:08 -0800878 if (!self->IsSuspended()) {
879 list_.remove(self);
Ian Rogers68d8b422014-07-17 11:09:10 -0700880 removed = true;
881 }
882 Locks::thread_suspend_count_lock_->ExclusiveUnlock(self);
883 Locks::thread_list_lock_->ExclusiveUnlock(self);
884 if (removed) {
Ian Rogerscfaa4552012-11-26 21:00:08 -0800885 delete self;
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800886 self = nullptr;
Ian Rogerscfaa4552012-11-26 21:00:08 -0800887 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700888 }
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -0800889 // Release the thread ID after the thread is finished and deleted to avoid cases where we can
890 // temporarily have multiple threads with the same thread id. When this occurs, it causes
891 // problems in FindThreadByThreadId / SuspendThreadByThreadId.
892 ReleaseThreadId(nullptr, thin_lock_id);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700893
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700894 // Clear the TLS data, so that the underlying native thread is recognizably detached.
895 // (It may wish to reattach later.)
896 CHECK_PTHREAD_CALL(pthread_setspecific, (Thread::pthread_key_self_, NULL), "detach self");
897
898 // Signal that a thread just detached.
Ian Rogers81d425b2012-09-27 16:03:43 -0700899 MutexLock mu(NULL, *Locks::thread_list_lock_);
Ian Rogersc604d732012-10-14 16:09:54 -0700900 thread_exit_cond_.Signal(NULL);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700901}
902
903void ThreadList::ForEach(void (*callback)(Thread*, void*), void* context) {
Mathieu Chartier02e25112013-08-14 16:14:24 -0700904 for (const auto& thread : list_) {
905 callback(thread, context);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700906 }
907}
908
Mathieu Chartier83c8ee02014-01-28 14:50:23 -0800909void ThreadList::VisitRoots(RootCallback* callback, void* arg) const {
Ian Rogers81d425b2012-09-27 16:03:43 -0700910 MutexLock mu(Thread::Current(), *Locks::thread_list_lock_);
Mathieu Chartier02e25112013-08-14 16:14:24 -0700911 for (const auto& thread : list_) {
Mathieu Chartier83c8ee02014-01-28 14:50:23 -0800912 thread->VisitRoots(callback, arg);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700913 }
Elliott Hughes038a8062011-09-18 14:12:41 -0700914}
915
Mathieu Chartier83c8ee02014-01-28 14:50:23 -0800916class VerifyRootWrapperArg {
917 public:
918 VerifyRootWrapperArg(VerifyRootCallback* callback, void* arg) : callback_(callback), arg_(arg) {
919 }
920 VerifyRootCallback* const callback_;
921 void* const arg_;
Mathieu Chartier423d2a32013-09-12 17:33:56 -0700922};
923
Mathieu Chartier815873e2014-02-13 18:02:13 -0800924static void VerifyRootWrapperCallback(mirror::Object** root, void* arg, uint32_t /*thread_id*/,
Mathieu Chartier7bf9f192014-04-04 11:09:41 -0700925 RootType root_type) {
Mathieu Chartier423d2a32013-09-12 17:33:56 -0700926 VerifyRootWrapperArg* wrapperArg = reinterpret_cast<VerifyRootWrapperArg*>(arg);
Mathieu Chartier7bf9f192014-04-04 11:09:41 -0700927 wrapperArg->callback_(*root, wrapperArg->arg_, 0, NULL, root_type);
Mathieu Chartier423d2a32013-09-12 17:33:56 -0700928}
929
Mathieu Chartier83c8ee02014-01-28 14:50:23 -0800930void ThreadList::VerifyRoots(VerifyRootCallback* callback, void* arg) const {
931 VerifyRootWrapperArg wrapper(callback, arg);
Mathieu Chartier6f1c9492012-10-15 12:08:41 -0700932 MutexLock mu(Thread::Current(), *Locks::thread_list_lock_);
Mathieu Chartier02e25112013-08-14 16:14:24 -0700933 for (const auto& thread : list_) {
Mathieu Chartier423d2a32013-09-12 17:33:56 -0700934 thread->VisitRoots(VerifyRootWrapperCallback, &wrapper);
Mathieu Chartier6f1c9492012-10-15 12:08:41 -0700935 }
936}
937
Ian Rogerscfaa4552012-11-26 21:00:08 -0800938uint32_t ThreadList::AllocThreadId(Thread* self) {
Chao-ying Fu9e369312014-05-21 11:20:52 -0700939 MutexLock mu(self, *Locks::allocated_thread_ids_lock_);
Elliott Hughes8daa0922011-09-11 13:46:25 -0700940 for (size_t i = 0; i < allocated_ids_.size(); ++i) {
941 if (!allocated_ids_[i]) {
942 allocated_ids_.set(i);
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700943 return i + 1; // Zero is reserved to mean "invalid".
Elliott Hughes8daa0922011-09-11 13:46:25 -0700944 }
945 }
946 LOG(FATAL) << "Out of internal thread ids";
947 return 0;
948}
949
Ian Rogerscfaa4552012-11-26 21:00:08 -0800950void ThreadList::ReleaseThreadId(Thread* self, uint32_t id) {
Chao-ying Fu9e369312014-05-21 11:20:52 -0700951 MutexLock mu(self, *Locks::allocated_thread_ids_lock_);
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700952 --id; // Zero is reserved to mean "invalid".
Elliott Hughes8daa0922011-09-11 13:46:25 -0700953 DCHECK(allocated_ids_[id]) << id;
954 allocated_ids_.reset(id);
955}
956
Elliott Hughes8daa0922011-09-11 13:46:25 -0700957} // namespace art