blob: 1dcdf6241a867b2352f68639cc982aea110c53d2 [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
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_THREAD_LIST_H_
18#define ART_RUNTIME_THREAD_LIST_H_
Elliott Hughes8daa0922011-09-11 13:46:25 -070019
Hiroshi Yamauchi30493242016-11-03 13:06:52 -070020#include "barrier.h"
Mathieu Chartier70a596d2014-12-17 14:56:47 -080021#include "base/histogram.h"
Elliott Hughes76b61672012-12-12 17:47:30 -080022#include "base/mutex.h"
Mathieu Chartier4f55e222015-09-04 13:26:21 -070023#include "base/value_object.h"
Ian Rogersd9c4fc92013-10-01 19:45:43 -070024#include "jni.h"
Alex Light55eccdf2019-10-07 13:51:13 +000025#include "reflective_handle_scope.h"
Alex Light46f93402017-06-29 11:59:50 -070026#include "suspend_reason.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080027
28#include <bitset>
29#include <list>
Hiroshi Yamauchia82769c2016-12-02 17:01:51 -080030#include <vector>
Elliott Hughes8daa0922011-09-11 13:46:25 -070031
32namespace art {
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -080033namespace gc {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080034namespace collector {
35class GarbageCollector;
36} // namespace collector
37class GcPauseListener;
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -080038} // namespace gc
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080039class Closure;
Nicolas Geoffraye3f775b2019-12-04 14:41:52 +000040class IsMarkedVisitor;
Andreas Gampe513061a2017-06-01 09:17:34 -070041class RootVisitor;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080042class Thread;
Mathieu Chartier7664f5c2012-06-08 18:15:32 -070043class TimingLogger;
Andreas Gampe513061a2017-06-01 09:17:34 -070044enum VisitRootFlags : uint8_t;
Mathieu Chartier7664f5c2012-06-08 18:15:32 -070045
Elliott Hughes8daa0922011-09-11 13:46:25 -070046class ThreadList {
47 public:
Mathieu Chartier3fceaf52017-01-22 13:33:40 -080048 static constexpr uint32_t kMaxThreadId = 0xFFFF;
49 static constexpr uint32_t kInvalidThreadId = 0;
50 static constexpr uint32_t kMainThreadId = 1;
Andreas Gampe3a8ab362019-05-14 09:46:23 -070051 static constexpr uint64_t kDefaultThreadSuspendTimeout =
52 kIsDebugBuild ? 50'000'000'000ull : 10'000'000'000ull;
Elliott Hughes8daa0922011-09-11 13:46:25 -070053
Mathieu Chartier3fceaf52017-01-22 13:33:40 -080054 explicit ThreadList(uint64_t thread_suspend_timeout_ns);
Elliott Hughes8daa0922011-09-11 13:46:25 -070055 ~ThreadList();
56
Andreas Gampec4bed162017-05-01 13:46:24 -070057 void ShutDown();
58
Ian Rogers00f7d0e2012-07-19 15:28:27 -070059 void DumpForSigQuit(std::ostream& os)
Mathieu Chartier90443472015-07-16 20:32:27 -070060 REQUIRES(!Locks::thread_list_lock_, !Locks::mutator_lock_);
Ian Rogers7b078e82014-09-10 14:44:24 -070061 // For thread suspend timeout dumps.
Nicolas Geoffray6ee49712018-03-30 14:39:05 +000062 void Dump(std::ostream& os, bool dump_native_stack = true)
Mathieu Chartier90443472015-07-16 20:32:27 -070063 REQUIRES(!Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_);
Brian Carlstrom7934ac22013-07-26 10:54:15 -070064 pid_t GetLockOwner(); // For SignalCatcher.
Elliott Hughes8daa0922011-09-11 13:46:25 -070065
Elliott Hughes8d768a92011-09-14 16:35:25 -070066 // Thread suspension support.
Ian Rogers00f7d0e2012-07-19 15:28:27 -070067 void ResumeAll()
Mathieu Chartierb56200b2015-10-29 10:41:51 -070068 REQUIRES(!Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_)
69 UNLOCK_FUNCTION(Locks::mutator_lock_);
Alex Light88fd7202017-06-30 08:31:59 -070070 bool Resume(Thread* thread, SuspendReason reason = SuspendReason::kInternal)
71 REQUIRES(!Locks::thread_suspend_count_lock_) WARN_UNUSED;
Ian Rogers00f7d0e2012-07-19 15:28:27 -070072
Roland Levillainaf290312018-02-27 20:02:17 +000073 // Suspends all threads and gets exclusive access to the mutator lock.
Mathieu Chartier4f55e222015-09-04 13:26:21 -070074 // If long_suspend is true, then other threads who try to suspend will never timeout.
75 // long_suspend is currenly used for hprof since large heaps take a long time.
Mathieu Chartierbf44d422015-06-02 11:42:18 -070076 void SuspendAll(const char* cause, bool long_suspend = false)
Ian Rogersb726dcb2012-09-05 08:57:23 -070077 EXCLUSIVE_LOCK_FUNCTION(Locks::mutator_lock_)
Mathieu Chartier4f55e222015-09-04 13:26:21 -070078 REQUIRES(!Locks::thread_list_lock_,
79 !Locks::thread_suspend_count_lock_,
80 !Locks::mutator_lock_);
Ian Rogersd9c4fc92013-10-01 19:45:43 -070081
82 // Suspend a thread using a peer, typically used by the debugger. Returns the thread on success,
Mathieu Chartier2cebb242015-04-21 16:50:40 -070083 // else null. The peer is used to identify the thread to avoid races with the thread terminating.
Ian Rogersd9c4fc92013-10-01 19:45:43 -070084 // If the thread should be suspended then value of request_suspension should be true otherwise
85 // the routine will wait for a previous suspend request. If the suspension times out then *timeout
86 // is set to true.
Alex Light46f93402017-06-29 11:59:50 -070087 Thread* SuspendThreadByPeer(jobject peer,
88 bool request_suspension,
89 SuspendReason reason,
Brian Carlstromba32de42014-08-27 23:43:46 -070090 bool* timed_out)
Mathieu Chartierb56200b2015-10-29 10:41:51 -070091 REQUIRES(!Locks::mutator_lock_,
92 !Locks::thread_list_lock_,
Mathieu Chartier90443472015-07-16 20:32:27 -070093 !Locks::thread_suspend_count_lock_);
Ian Rogersd9c4fc92013-10-01 19:45:43 -070094
95 // Suspend a thread using its thread id, typically used by lock/monitor inflation. Returns the
Mathieu Chartier2cebb242015-04-21 16:50:40 -070096 // thread on success else null. The thread id is used to identify the thread to avoid races with
Ian Rogersd9c4fc92013-10-01 19:45:43 -070097 // the thread terminating. Note that as thread ids are recycled this may not suspend the expected
98 // thread, that may be terminating. If the suspension times out then *timeout is set to true.
Alex Light46f93402017-06-29 11:59:50 -070099 Thread* SuspendThreadByThreadId(uint32_t thread_id, SuspendReason reason, bool* timed_out)
Mathieu Chartierb56200b2015-10-29 10:41:51 -0700100 REQUIRES(!Locks::mutator_lock_,
101 !Locks::thread_list_lock_,
Mathieu Chartier90443472015-07-16 20:32:27 -0700102 !Locks::thread_suspend_count_lock_);
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700103
Mathieu Chartier61b3cd42016-04-18 11:43:29 -0700104 // Find an existing thread (or self) by its thread id (not tid).
105 Thread* FindThreadByThreadId(uint32_t thread_id) REQUIRES(Locks::thread_list_lock_);
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700106
Hans Boehm65c18a22020-01-03 23:37:13 +0000107 // Does the thread list still contain the given thread, or one at the same address?
108 // Used by Monitor to provide (mostly accurate) debugging information.
109 bool Contains(Thread* thread) REQUIRES(Locks::thread_list_lock_);
110
Hans Boehm891cb882020-07-31 12:06:58 -0700111 // Run a checkpoint on all threads. Return the total number of threads for which the checkpoint
112 // function has been or will be called.
113 // Running threads are not suspended but run the checkpoint inside of the suspend check. The
114 // return value includes already suspended threads for b/24191051. Runs or requests the
115 // callback, if non-null, inside the thread_list_lock critical section after determining the
116 // runnable/suspended states of the threads. Does not wait for completion of the callbacks in
117 // running threads.
Hiroshi Yamauchifebd0cf2016-09-14 19:31:25 -0700118 size_t RunCheckpoint(Closure* checkpoint_function, Closure* callback = nullptr)
Mathieu Chartier90443472015-07-16 20:32:27 -0700119 REQUIRES(!Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_);
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700120
Hiroshi Yamauchi30493242016-11-03 13:06:52 -0700121 // Run an empty checkpoint on threads. Wait until threads pass the next suspend point or are
122 // suspended. This is used to ensure that the threads finish or aren't in the middle of an
123 // in-flight mutator heap access (eg. a read barrier.) Runnable threads will respond by
124 // decrementing the empty checkpoint barrier count. This works even when the weak ref access is
125 // disabled. Only one concurrent use is currently supported.
Hiroshi Yamauchia2224042017-02-08 16:35:45 -0800126 void RunEmptyCheckpoint()
Hiroshi Yamauchi30493242016-11-03 13:06:52 -0700127 REQUIRES(!Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_);
128
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800129 // Flip thread roots from from-space refs to to-space refs. Used by
130 // the concurrent copying collector.
Mathieu Chartierb56200b2015-10-29 10:41:51 -0700131 size_t FlipThreadRoots(Closure* thread_flip_visitor,
132 Closure* flip_callback,
Andreas Gampe6e644452017-05-09 16:30:27 -0700133 gc::collector::GarbageCollector* collector,
134 gc::GcPauseListener* pause_listener)
Mathieu Chartierb56200b2015-10-29 10:41:51 -0700135 REQUIRES(!Locks::mutator_lock_,
136 !Locks::thread_list_lock_,
Mathieu Chartier90443472015-07-16 20:32:27 -0700137 !Locks::thread_suspend_count_lock_);
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800138
Elliott Hughesf8349362012-06-18 15:00:06 -0700139 // Iterates over all the threads.
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700140 void ForEach(void (*callback)(Thread*, void*), void* context)
Mathieu Chartier90443472015-07-16 20:32:27 -0700141 REQUIRES(Locks::thread_list_lock_);
Elliott Hughes47fce012011-10-25 18:37:19 -0700142
Alex Lightc14ec8f2019-07-18 16:08:41 -0700143 template<typename CallBack>
144 void ForEach(CallBack cb) REQUIRES(Locks::thread_list_lock_) {
145 ForEach([](Thread* t, void* ctx) REQUIRES(Locks::thread_list_lock_) {
146 (*reinterpret_cast<CallBack*>(ctx))(t);
147 }, &cb);
148 }
149
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700150 // Add/remove current thread from list.
151 void Register(Thread* self)
Mathieu Chartierb56200b2015-10-29 10:41:51 -0700152 REQUIRES(Locks::runtime_shutdown_lock_)
153 REQUIRES(!Locks::mutator_lock_,
154 !Locks::thread_list_lock_,
Mathieu Chartier90443472015-07-16 20:32:27 -0700155 !Locks::thread_suspend_count_lock_);
Mathieu Chartierb56200b2015-10-29 10:41:51 -0700156 void Unregister(Thread* self)
157 REQUIRES(!Locks::mutator_lock_,
158 !Locks::thread_list_lock_,
159 !Locks::thread_suspend_count_lock_);
Elliott Hughes8daa0922011-09-11 13:46:25 -0700160
Andreas Gampe585da952016-12-02 14:52:29 -0800161 void VisitRoots(RootVisitor* visitor, VisitRootFlags flags) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700162 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes8daa0922011-09-11 13:46:25 -0700163
Mathieu Chartierf8a86b92016-06-14 17:08:47 -0700164 void VisitRootsForSuspendedThreads(RootVisitor* visitor)
165 REQUIRES(!Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700166 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierf8a86b92016-06-14 17:08:47 -0700167
Alex Light55eccdf2019-10-07 13:51:13 +0000168 void VisitReflectiveTargets(ReflectiveValueVisitor* visitor) const REQUIRES(Locks::mutator_lock_);
169
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700170 // Return a copy of the thread list.
Mathieu Chartier90443472015-07-16 20:32:27 -0700171 std::list<Thread*> GetList() REQUIRES(Locks::thread_list_lock_) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700172 return list_;
173 }
Elliott Hughes93e74e82011-09-13 11:07:03 -0700174
Mathieu Chartier590fee92013-09-13 13:46:47 -0700175 void DumpNativeStacks(std::ostream& os)
Mathieu Chartier90443472015-07-16 20:32:27 -0700176 REQUIRES(!Locks::thread_list_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700177
Hiroshi Yamauchi30493242016-11-03 13:06:52 -0700178 Barrier* EmptyCheckpointBarrier() {
179 return empty_checkpoint_barrier_.get();
180 }
181
Nicolas Geoffraye3f775b2019-12-04 14:41:52 +0000182 void SweepInterpreterCaches(IsMarkedVisitor* visitor) const
183 REQUIRES(!Locks::thread_list_lock_)
184 REQUIRES_SHARED(Locks::mutator_lock_);
185
Hans Boehmdc77ca32020-01-31 16:29:35 -0800186 void WaitForOtherNonDaemonThreadsToExit(bool check_no_birth = true)
187 REQUIRES(!Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_,
188 !Locks::mutator_lock_);
189
Elliott Hughes8daa0922011-09-11 13:46:25 -0700190 private:
Ian Rogerscfaa4552012-11-26 21:00:08 -0800191 uint32_t AllocThreadId(Thread* self);
Mathieu Chartier90443472015-07-16 20:32:27 -0700192 void ReleaseThreadId(Thread* self, uint32_t id) REQUIRES(!Locks::allocated_thread_ids_lock_);
Elliott Hughese52e49b2012-04-02 16:05:44 -0700193
Mathieu Chartier90443472015-07-16 20:32:27 -0700194 bool Contains(pid_t tid) REQUIRES(Locks::thread_list_lock_);
Yu Lieac44242015-06-29 10:50:03 +0800195 size_t RunCheckpoint(Closure* checkpoint_function, bool includeSuspended)
Mathieu Chartier90443472015-07-16 20:32:27 -0700196 REQUIRES(!Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_);
Elliott Hughesabbe07d2012-06-05 17:42:23 -0700197
Nicolas Geoffrayd3c59652016-03-17 09:35:04 +0000198 void DumpUnattachedThreads(std::ostream& os, bool dump_native_stack)
Mathieu Chartier90443472015-07-16 20:32:27 -0700199 REQUIRES(!Locks::thread_list_lock_);
Elliott Hughese52e49b2012-04-02 16:05:44 -0700200
Mathieu Chartier4d87df62016-01-07 15:14:19 -0800201 void SuspendAllDaemonThreadsForShutdown()
Mathieu Chartier90443472015-07-16 20:32:27 -0700202 REQUIRES(!Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_);
Elliott Hughes8daa0922011-09-11 13:46:25 -0700203
Mathieu Chartierb56200b2015-10-29 10:41:51 -0700204 void SuspendAllInternal(Thread* self,
205 Thread* ignore1,
206 Thread* ignore2 = nullptr,
Alex Light46f93402017-06-29 11:59:50 -0700207 SuspendReason reason = SuspendReason::kInternal)
Mathieu Chartier90443472015-07-16 20:32:27 -0700208 REQUIRES(!Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_);
Yu Lieac44242015-06-29 10:50:03 +0800209
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700210 void AssertThreadsAreSuspended(Thread* self, Thread* ignore1, Thread* ignore2 = nullptr)
Mathieu Chartier90443472015-07-16 20:32:27 -0700211 REQUIRES(!Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_);
Elliott Hughes234ab152011-10-26 14:02:26 -0700212
Chao-ying Fu9e369312014-05-21 11:20:52 -0700213 std::bitset<kMaxThreadId> allocated_ids_ GUARDED_BY(Locks::allocated_thread_ids_lock_);
Elliott Hughese52e49b2012-04-02 16:05:44 -0700214
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700215 // The actual list of all threads.
Ian Rogersb726dcb2012-09-05 08:57:23 -0700216 std::list<Thread*> list_ GUARDED_BY(Locks::thread_list_lock_);
Elliott Hughes8daa0922011-09-11 13:46:25 -0700217
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700218 // Ongoing suspend all requests, used to ensure threads added to list_ respect SuspendAll.
Ian Rogersb726dcb2012-09-05 08:57:23 -0700219 int suspend_all_count_ GUARDED_BY(Locks::thread_suspend_count_lock_);
Elliott Hughes8d768a92011-09-14 16:35:25 -0700220
Mathieu Chartier91e56692015-03-03 13:51:04 -0800221 // Number of threads unregistering, ~ThreadList blocks until this hits 0.
222 int unregistering_count_ GUARDED_BY(Locks::thread_list_lock_);
Elliott Hughes93e74e82011-09-13 11:07:03 -0700223
Mathieu Chartier70a596d2014-12-17 14:56:47 -0800224 // Thread suspend time histogram. Only modified when all the threads are suspended, so guarding
225 // by mutator lock ensures no thread can read when another thread is modifying it.
226 Histogram<uint64_t> suspend_all_historam_ GUARDED_BY(Locks::mutator_lock_);
227
Mathieu Chartierbf44d422015-06-02 11:42:18 -0700228 // Whether or not the current thread suspension is long.
229 bool long_suspend_;
230
Andreas Gampec4bed162017-05-01 13:46:24 -0700231 // Whether the shutdown function has been called. This is checked in the destructor. It is an
232 // error to destroy a ThreadList instance without first calling ShutDown().
233 bool shut_down_;
234
Mathieu Chartier3fceaf52017-01-22 13:33:40 -0800235 // Thread suspension timeout in nanoseconds.
236 const uint64_t thread_suspend_timeout_ns_;
237
Hiroshi Yamauchi30493242016-11-03 13:06:52 -0700238 std::unique_ptr<Barrier> empty_checkpoint_barrier_;
239
Elliott Hughes8daa0922011-09-11 13:46:25 -0700240 friend class Thread;
Elliott Hughes8daa0922011-09-11 13:46:25 -0700241
242 DISALLOW_COPY_AND_ASSIGN(ThreadList);
243};
244
Roland Levillainaf290312018-02-27 20:02:17 +0000245// Helper for suspending all threads and getting exclusive access to the mutator lock.
Mathieu Chartier4f55e222015-09-04 13:26:21 -0700246class ScopedSuspendAll : public ValueObject {
247 public:
Chih-Hung Hsieha5931182016-09-01 15:08:13 -0700248 explicit ScopedSuspendAll(const char* cause, bool long_suspend = false)
Mathieu Chartier4f55e222015-09-04 13:26:21 -0700249 EXCLUSIVE_LOCK_FUNCTION(Locks::mutator_lock_)
250 REQUIRES(!Locks::thread_list_lock_,
251 !Locks::thread_suspend_count_lock_,
252 !Locks::mutator_lock_);
253 // No REQUIRES(mutator_lock_) since the unlock function already asserts this.
254 ~ScopedSuspendAll()
Mathieu Chartierb56200b2015-10-29 10:41:51 -0700255 REQUIRES(!Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_)
256 UNLOCK_FUNCTION(Locks::mutator_lock_);
Mathieu Chartier4f55e222015-09-04 13:26:21 -0700257};
258
Elliott Hughes8daa0922011-09-11 13:46:25 -0700259} // namespace art
260
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700261#endif // ART_RUNTIME_THREAD_LIST_H_