blob: c4a9bcf3577644170950059cccc9dad70f7f4409 [file] [log] [blame]
Elliott Hughes8d768a92011-09-14 16:35: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 */
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070016
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_THREAD_H_
18#define ART_RUNTIME_THREAD_H_
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070019
David Srbecky28f6cff2018-10-16 15:07:28 +010020#include <atomic>
Elliott Hughes02b48d12011-09-07 17:15:51 -070021#include <bitset>
Ian Rogers306057f2012-11-26 12:45:53 -080022#include <deque>
Elliott Hughesa0957642011-09-02 14:27:33 -070023#include <iosfwd>
Ian Rogersb033c752011-07-20 12:22:35 -070024#include <list>
Ian Rogers700a4022014-05-19 16:49:03 -070025#include <memory>
Elliott Hughes8daa0922011-09-11 13:46:25 -070026#include <string>
Carl Shapirob5573532011-07-12 18:22:59 -070027
David Sehrc431b9d2018-03-02 12:01:51 -080028#include "base/atomic.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070029#include "base/enums.h"
Andreas Gampe7fbc4a52018-11-28 08:26:47 -080030#include "base/locks.h"
Elliott Hughes76160052012-12-12 16:31:20 -080031#include "base/macros.h"
Alex Light184f0752018-07-13 11:18:22 -070032#include "base/safe_map.h"
Andreas Gampea1ffdba2019-01-04 16:08:51 -080033#include "base/value_object.h"
Ian Rogers848871b2013-08-05 10:56:33 -070034#include "entrypoints/jni/jni_entrypoints.h"
Ian Rogers7655f292013-07-29 11:07:13 -070035#include "entrypoints/quick/quick_entrypoints.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070036#include "handle_scope.h"
David Srbecky912f36c2018-09-08 12:22:58 +010037#include "interpreter/interpreter_cache.h"
Ian Rogers306057f2012-11-26 12:45:53 -080038#include "jvalue.h"
Andreas Gampe513061a2017-06-01 09:17:34 -070039#include "managed_stack.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070040#include "offsets.h"
Andreas Gampe217488a2017-09-18 08:34:42 -070041#include "read_barrier_config.h"
Andreas Gampe5a0430d2019-01-04 14:33:57 -080042#include "runtime_globals.h"
Elliott Hughes9d5ccec2011-09-19 13:19:50 -070043#include "runtime_stats.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080044#include "thread_state.h"
Ian Rogersb033c752011-07-20 12:22:35 -070045
Christopher Ferris6cff48f2014-01-26 21:36:13 -080046class BacktraceMap;
47
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070048namespace art {
49
Mathieu Chartier15d34022014-02-26 17:16:38 -080050namespace gc {
Hiroshi Yamauchi0b713572015-06-16 18:29:23 -070051namespace accounting {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080052template<class T> class AtomicStack;
Hiroshi Yamauchi0b713572015-06-16 18:29:23 -070053} // namespace accounting
Mathieu Chartier15d34022014-02-26 17:16:38 -080054namespace collector {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080055class SemiSpace;
Mathieu Chartier15d34022014-02-26 17:16:38 -080056} // namespace collector
57} // namespace gc
58
Andreas Gamped77abd92019-01-02 16:10:20 -080059namespace instrumentation {
60struct InstrumentationStackFrame;
61} // namespace instrumentation
62
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080063namespace mirror {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080064class Array;
65class Class;
66class ClassLoader;
67class Object;
68template<class T> class ObjectArray;
69template<class T> class PrimitiveArray;
70typedef PrimitiveArray<int32_t> IntArray;
71class StackTraceElement;
72class String;
73class Throwable;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080074} // namespace mirror
Mathieu Chartier12d625f2015-03-13 11:33:37 -070075
76namespace verifier {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080077class MethodVerifier;
78class VerifierDeps;
Mathieu Chartier12d625f2015-03-13 11:33:37 -070079} // namespace verifier
80
Mathieu Chartiere401d142015-04-22 13:56:20 -070081class ArtMethod;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080082class BaseMutex;
83class ClassLinker;
Ian Rogers7a22fa62013-01-23 12:16:16 -080084class Closure;
Ian Rogersbdb03912011-09-14 00:55:44 -070085class Context;
Ian Rogers1b09b092012-08-20 15:35:52 -070086struct DebugInvokeReq;
Sebastien Hertz07474662015-08-25 15:12:33 +000087class DeoptimizationContextRecord;
Ian Rogers81d425b2012-09-27 16:03:43 -070088class DexFile;
Mingyao Yang99170c62015-07-06 11:10:37 -070089class FrameIdToShadowFrame;
Ian Rogersb48b9eb2014-02-28 16:20:21 -080090class JavaVMExt;
Ian Rogers55256cb2017-12-21 17:07:11 -080091class JNIEnvExt;
Elliott Hughes8daa0922011-09-11 13:46:25 -070092class Monitor;
Andreas Gampe513061a2017-06-01 09:17:34 -070093class RootVisitor;
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070094class ScopedObjectAccessAlreadyRunnable;
Logan Chienf7ad17e2012-03-15 03:10:03 +080095class ShadowFrame;
Sebastien Hertz597c4f02015-01-26 17:37:14 +010096class SingleStepControl;
Sebastien Hertzf7958692015-06-09 14:09:14 +020097class StackedShadowFrameRecord;
Andreas Gampe0c2313c2019-05-14 09:47:00 -070098enum class SuspendReason : char;
Brian Carlstrom40381fb2011-10-19 14:13:40 -070099class Thread;
100class ThreadList;
Andreas Gampe513061a2017-06-01 09:17:34 -0700101enum VisitRootFlags : uint8_t;
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700102
Alex Light184f0752018-07-13 11:18:22 -0700103// A piece of data that can be held in the CustomTls. The destructor will be called during thread
104// shutdown. The thread the destructor is called on is not necessarily the same thread it was stored
105// on.
106class TLSData {
107 public:
108 virtual ~TLSData() {}
109};
110
Elliott Hughes34e06962012-04-09 13:55:55 -0700111// Thread priorities. These must match the Thread.MIN_PRIORITY,
112// Thread.NORM_PRIORITY, and Thread.MAX_PRIORITY constants.
113enum ThreadPriority {
114 kMinThreadPriority = 1,
115 kNormThreadPriority = 5,
116 kMaxThreadPriority = 10,
117};
118
Ian Rogers474b6da2012-09-25 00:20:38 -0700119enum ThreadFlag {
Ian Rogers50ffee22012-11-20 11:47:44 -0800120 kSuspendRequest = 1, // If set implies that suspend_count_ > 0 and the Thread should enter the
121 // safepoint handler.
Yu Lieac44242015-06-29 10:50:03 +0800122 kCheckpointRequest = 2, // Request that the thread do some checkpoint work and then continue.
Hiroshi Yamauchi30493242016-11-03 13:06:52 -0700123 kEmptyCheckpointRequest = 4, // Request that the thread do empty checkpoint and then continue.
124 kActiveSuspendBarrier = 8, // Register that at least 1 suspend barrier needs to be passed.
Ian Rogers474b6da2012-09-25 00:20:38 -0700125};
126
Sebastien Hertzf7958692015-06-09 14:09:14 +0200127enum class StackedShadowFrameType {
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700128 kShadowFrameUnderConstruction,
Andreas Gampe639bdd12015-06-03 11:22:45 -0700129 kDeoptimizationShadowFrame,
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700130};
131
Mingyao Yang2ee17902017-08-30 11:37:08 -0700132// The type of method that triggers deoptimization. It contains info on whether
133// the deoptimized method should advance dex_pc.
134enum class DeoptimizationMethodType {
135 kKeepDexPc, // dex pc is required to be kept upon deoptimization.
136 kDefault // dex pc may or may not advance depending on other conditions.
137};
138
Hiroshi Yamauchi7ed9c562016-02-02 15:22:09 -0800139// This should match RosAlloc::kNumThreadLocalSizeBrackets.
140static constexpr size_t kNumRosAllocThreadLocalSizeBracketsInThread = 16;
Ian Rogerse63db272014-07-15 15:36:11 -0700141
Dave Allison648d7112014-07-25 16:15:27 -0700142// Thread's stack layout for implicit stack overflow checks:
143//
144// +---------------------+ <- highest address of stack memory
145// | |
146// . . <- SP
147// | |
148// | |
149// +---------------------+ <- stack_end
150// | |
151// | Gap |
152// | |
153// +---------------------+ <- stack_begin
154// | |
155// | Protected region |
156// | |
157// +---------------------+ <- lowest address of stack memory
158//
159// The stack always grows down in memory. At the lowest address is a region of memory
160// that is set mprotect(PROT_NONE). Any attempt to read/write to this region will
161// result in a segmentation fault signal. At any point, the thread's SP will be somewhere
162// between the stack_end and the highest address in stack memory. An implicit stack
163// overflow check is a read of memory at a certain offset below the current SP (4K typically).
164// If the thread's SP is below the stack_end address this will be a read into the protected
165// region. If the SP is above the stack_end address, the thread is guaranteed to have
166// at least 4K of space. Because stack overflow checks are only performed in generated code,
167// if the thread makes a call out to a native function (through JNI), that native function
168// might only have 4K of memory (if the SP is adjacent to stack_end).
169
Ian Rogersdd7624d2014-03-14 17:43:00 -0700170class Thread {
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700171 public:
Andreas Gampe7ea6f792014-07-14 16:21:44 -0700172 static const size_t kStackOverflowImplicitCheckSize;
Andreas Gampeb486a982017-06-01 13:45:54 -0700173 static constexpr bool kVerifyStack = kIsDebugBuild;
Dave Allisonf9439142014-03-27 15:10:22 -0700174
Elliott Hughes462c9442012-03-23 18:47:50 -0700175 // Creates a new native thread corresponding to the given managed peer.
176 // Used to implement Thread.start.
Ian Rogers52673ff2012-06-27 23:25:34 -0700177 static void CreateNativeThread(JNIEnv* env, jobject peer, size_t stack_size, bool daemon);
Carl Shapiro61e019d2011-07-14 16:53:09 -0700178
Elliott Hughes462c9442012-03-23 18:47:50 -0700179 // Attaches the calling native thread to the runtime, returning the new native peer.
180 // Used to implement JNI AttachCurrentThread and AttachCurrentThreadAsDaemon calls.
Mathieu Chartier664bebf2012-11-12 16:54:11 -0800181 static Thread* Attach(const char* thread_name, bool as_daemon, jobject thread_group,
182 bool create_peer);
Andreas Gampe732b0ac2017-01-18 15:23:39 -0800183 // Attaches the calling native thread to the runtime, returning the new native peer.
184 static Thread* Attach(const char* thread_name, bool as_daemon, jobject thread_peer);
Carl Shapirob5573532011-07-12 18:22:59 -0700185
Brian Carlstromcaabb1b2011-10-11 18:09:13 -0700186 // Reset internal state of child thread after fork.
187 void InitAfterFork();
188
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700189 // Get the currently executing thread, frequently referred to as 'self'. This call has reasonably
190 // high cost and so we favor passing self around when possible.
191 // TODO: mark as PURE so the compiler may coalesce and remove?
Ian Rogers02ed4c02013-09-06 13:10:04 -0700192 static Thread* Current();
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700193
Ian Rogers7b078e82014-09-10 14:44:24 -0700194 // On a runnable thread, check for pending thread suspension request and handle if pending.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700195 void AllowThreadSuspension() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers7b078e82014-09-10 14:44:24 -0700196
197 // Process pending thread suspension request and handle if pending.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700198 void CheckSuspend() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers7b078e82014-09-10 14:44:24 -0700199
Hiroshi Yamauchi30493242016-11-03 13:06:52 -0700200 // Process a pending empty checkpoint if pending.
Hiroshi Yamauchia2224042017-02-08 16:35:45 -0800201 void CheckEmptyCheckpointFromWeakRefAccess(BaseMutex* cond_var_mutex);
202 void CheckEmptyCheckpointFromMutex();
Hiroshi Yamauchi30493242016-11-03 13:06:52 -0700203
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700204 static Thread* FromManagedThread(const ScopedObjectAccessAlreadyRunnable& ts,
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800205 ObjPtr<mirror::Object> thread_peer)
Mathieu Chartier90443472015-07-16 20:32:27 -0700206 REQUIRES(Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700207 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700208 static Thread* FromManagedThread(const ScopedObjectAccessAlreadyRunnable& ts, jobject thread)
Mathieu Chartier90443472015-07-16 20:32:27 -0700209 REQUIRES(Locks::thread_list_lock_, !Locks::thread_suspend_count_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700210 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes8daa0922011-09-11 13:46:25 -0700211
Elliott Hughes28fa76d2012-04-09 17:31:46 -0700212 // Translates 172 to pAllocArrayFromCode and so on.
Andreas Gampe542451c2016-07-26 09:02:02 -0700213 template<PointerSize size_of_pointers>
Ian Rogersdd7624d2014-03-14 17:43:00 -0700214 static void DumpThreadOffset(std::ostream& os, uint32_t offset);
Elliott Hughes28fa76d2012-04-09 17:31:46 -0700215
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700216 // Dumps a one-line summary of thread state (used for operator<<).
217 void ShortDump(std::ostream& os) const;
218
219 // Dumps the detailed thread state and the thread stack (used for SIGQUIT).
Nicolas Geoffraya73280d2016-02-15 13:05:16 +0000220 void Dump(std::ostream& os,
Nicolas Geoffray6ee49712018-03-30 14:39:05 +0000221 bool dump_native_stack = true,
Hiroshi Yamauchi13c16352017-01-31 10:15:08 -0800222 BacktraceMap* backtrace_map = nullptr,
223 bool force_dump_stack = false) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700224 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesa0957642011-09-02 14:27:33 -0700225
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -0800226 void DumpJavaStack(std::ostream& os,
227 bool check_suspended = true,
228 bool dump_locks = true) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700229 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700230
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700231 // Dumps the SIGQUIT per-thread header. 'thread' can be null for a non-attached thread, in which
Elliott Hughesabbe07d2012-06-05 17:42:23 -0700232 // case we use 'tid' to identify the thread, and we'll include as much information as we can.
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700233 static void DumpState(std::ostream& os, const Thread* thread, pid_t tid)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700234 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesabbe07d2012-06-05 17:42:23 -0700235
Ian Rogers474b6da2012-09-25 00:20:38 -0700236 ThreadState GetState() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700237 DCHECK_GE(tls32_.state_and_flags.as_struct.state, kTerminated);
238 DCHECK_LE(tls32_.state_and_flags.as_struct.state, kSuspended);
239 return static_cast<ThreadState>(tls32_.state_and_flags.as_struct.state);
Dave Allison0aded082013-11-07 13:15:11 -0800240 }
241
Ian Rogers474b6da2012-09-25 00:20:38 -0700242 ThreadState SetState(ThreadState new_state);
Ian Rogers52673ff2012-06-27 23:25:34 -0700243
Mathieu Chartier90443472015-07-16 20:32:27 -0700244 int GetSuspendCount() const REQUIRES(Locks::thread_suspend_count_lock_) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700245 return tls32_.suspend_count;
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700246 }
Elliott Hughes038a8062011-09-18 14:12:41 -0700247
Alex Light88fd7202017-06-30 08:31:59 -0700248 int GetUserCodeSuspendCount() const REQUIRES(Locks::thread_suspend_count_lock_,
249 Locks::user_code_suspension_lock_) {
250 return tls32_.user_code_suspend_count;
251 }
252
Mathieu Chartier90443472015-07-16 20:32:27 -0700253 int GetDebugSuspendCount() const REQUIRES(Locks::thread_suspend_count_lock_) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700254 return tls32_.debug_suspend_count;
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700255 }
256
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700257 bool IsSuspended() const {
Chris Dearman59cde532013-12-04 18:53:49 -0800258 union StateAndFlags state_and_flags;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700259 state_and_flags.as_int = tls32_.state_and_flags.as_int;
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700260 return state_and_flags.as_struct.state != kRunnable &&
261 (state_and_flags.as_struct.flags & kSuspendRequest) != 0;
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700262 }
263
Hiroshi Yamauchi02e7f1a2016-10-03 15:32:01 -0700264 // If delta > 0 and (this != self or suspend_barrier is not null), this function may temporarily
265 // release thread_suspend_count_lock_ internally.
266 ALWAYS_INLINE
267 bool ModifySuspendCount(Thread* self,
268 int delta,
269 AtomicInteger* suspend_barrier,
Alex Light46f93402017-06-29 11:59:50 -0700270 SuspendReason reason)
Sebastien Hertz1c8f4ff2017-04-14 15:05:12 +0200271 WARN_UNUSED
Mathieu Chartier90443472015-07-16 20:32:27 -0700272 REQUIRES(Locks::thread_suspend_count_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700273
Alex Light318afe62018-03-22 16:50:10 -0700274 // Requests a checkpoint closure to run on another thread. The closure will be run when the thread
275 // gets suspended. This will return true if the closure was added and will (eventually) be
276 // executed. It returns false otherwise.
277 //
278 // Since multiple closures can be queued and some closures can delay other threads from running no
279 // closure should attempt to suspend another thread while running.
280 // TODO We should add some debug option that verifies this.
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700281 bool RequestCheckpoint(Closure* function)
Mathieu Chartier90443472015-07-16 20:32:27 -0700282 REQUIRES(Locks::thread_suspend_count_lock_);
Alex Lightb1e31a82017-10-04 16:57:36 -0700283
284 // RequestSynchronousCheckpoint releases the thread_list_lock_ as a part of its execution. This is
285 // due to the fact that Thread::Current() needs to go to sleep to allow the targeted thread to
Alex Light318afe62018-03-22 16:50:10 -0700286 // execute the checkpoint for us if it is Runnable. The suspend_state is the state that the thread
287 // will go into while it is awaiting the checkpoint to be run.
288 // NB Passing ThreadState::kRunnable may cause the current thread to wait in a condition variable
289 // while holding the mutator_lock_. Callers should ensure that this will not cause any problems
290 // for the closure or the rest of the system.
291 // NB Since multiple closures can be queued and some closures can delay other threads from running
292 // no closure should attempt to suspend another thread while running.
293 bool RequestSynchronousCheckpoint(Closure* function,
294 ThreadState suspend_state = ThreadState::kWaiting)
Andreas Gampe28c4a232017-06-21 21:21:31 -0700295 REQUIRES_SHARED(Locks::mutator_lock_)
Alex Lightb1e31a82017-10-04 16:57:36 -0700296 RELEASE(Locks::thread_list_lock_)
Andreas Gampe28c4a232017-06-21 21:21:31 -0700297 REQUIRES(!Locks::thread_suspend_count_lock_);
Alex Light318afe62018-03-22 16:50:10 -0700298
Hiroshi Yamauchi30493242016-11-03 13:06:52 -0700299 bool RequestEmptyCheckpoint()
300 REQUIRES(Locks::thread_suspend_count_lock_);
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700301
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800302 void SetFlipFunction(Closure* function);
303 Closure* GetFlipFunction();
304
Hiroshi Yamauchi0b713572015-06-16 18:29:23 -0700305 gc::accounting::AtomicStack<mirror::Object>* GetThreadLocalMarkStack() {
306 CHECK(kUseReadBarrier);
307 return tlsPtr_.thread_local_mark_stack;
308 }
309 void SetThreadLocalMarkStack(gc::accounting::AtomicStack<mirror::Object>* stack) {
310 CHECK(kUseReadBarrier);
311 tlsPtr_.thread_local_mark_stack = stack;
312 }
313
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700314 // Called when thread detected that the thread_suspend_count_ was non-zero. Gives up share of
315 // mutator_lock_ and waits until it is resumed and thread_suspend_count_ is zero.
Ian Rogers9da7f592012-08-20 17:14:28 -0700316 void FullSuspendCheck()
Mathieu Chartier90443472015-07-16 20:32:27 -0700317 REQUIRES(!Locks::thread_suspend_count_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700318 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700319
320 // Transition from non-runnable to runnable state acquiring share on mutator_lock_.
Mathieu Chartier8ac9c912015-10-01 15:58:41 -0700321 ALWAYS_INLINE ThreadState TransitionFromSuspendedToRunnable()
Mathieu Chartier90443472015-07-16 20:32:27 -0700322 REQUIRES(!Locks::thread_suspend_count_lock_)
Mathieu Chartier8ac9c912015-10-01 15:58:41 -0700323 SHARED_LOCK_FUNCTION(Locks::mutator_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700324
325 // Transition from runnable into a state where mutator privileges are denied. Releases share of
326 // mutator lock.
Mathieu Chartier8ac9c912015-10-01 15:58:41 -0700327 ALWAYS_INLINE void TransitionFromRunnableToSuspended(ThreadState new_state)
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700328 REQUIRES(!Locks::thread_suspend_count_lock_, !Roles::uninterruptible_)
Mathieu Chartier8ac9c912015-10-01 15:58:41 -0700329 UNLOCK_FUNCTION(Locks::mutator_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700330
Ian Rogers0399dde2012-06-06 17:09:28 -0700331 // Once called thread suspension will cause an assertion failure.
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700332 const char* StartAssertNoThreadSuspension(const char* cause) ACQUIRE(Roles::uninterruptible_) {
333 Roles::uninterruptible_.Acquire(); // No-op.
Mathieu Chartier590fee92013-09-13 13:46:47 -0700334 if (kIsDebugBuild) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700335 CHECK(cause != nullptr);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700336 const char* previous_cause = tlsPtr_.last_no_thread_suspension_cause;
337 tls32_.no_thread_suspension++;
338 tlsPtr_.last_no_thread_suspension_cause = cause;
Mathieu Chartier590fee92013-09-13 13:46:47 -0700339 return previous_cause;
340 } else {
341 return nullptr;
342 }
Ian Rogers0399dde2012-06-06 17:09:28 -0700343 }
Ian Rogers52673ff2012-06-27 23:25:34 -0700344
Ian Rogers0399dde2012-06-06 17:09:28 -0700345 // End region where no thread suspension is expected.
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700346 void EndAssertNoThreadSuspension(const char* old_cause) RELEASE(Roles::uninterruptible_) {
Mathieu Chartier590fee92013-09-13 13:46:47 -0700347 if (kIsDebugBuild) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700348 CHECK(old_cause != nullptr || tls32_.no_thread_suspension == 1);
349 CHECK_GT(tls32_.no_thread_suspension, 0U);
350 tls32_.no_thread_suspension--;
351 tlsPtr_.last_no_thread_suspension_cause = old_cause;
Mathieu Chartier590fee92013-09-13 13:46:47 -0700352 }
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700353 Roles::uninterruptible_.Release(); // No-op.
Ian Rogers0399dde2012-06-06 17:09:28 -0700354 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700355
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700356 void AssertThreadSuspensionIsAllowable(bool check_locks = true) const;
Ian Rogers0399dde2012-06-06 17:09:28 -0700357
Mathieu Chartier10b218d2016-07-25 17:48:52 -0700358 // Return true if thread suspension is allowable.
359 bool IsThreadSuspensionAllowable() const;
360
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700361 bool IsDaemon() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700362 return tls32_.daemon;
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700363 }
364
Mathieu Chartier14c3bf92015-07-13 14:35:43 -0700365 size_t NumberOfHeldMutexes() const;
366
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800367 bool HoldsLock(ObjPtr<mirror::Object> object) const REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes5f791332011-09-15 17:45:30 -0700368
Elliott Hughes8daa0922011-09-11 13:46:25 -0700369 /*
370 * Changes the priority of this thread to match that of the java.lang.Thread object.
371 *
372 * We map a priority value from 1-10 to Linux "nice" values, where lower
373 * numbers indicate higher priority.
374 */
375 void SetNativePriority(int newPriority);
376
377 /*
378 * Returns the thread priority for the current thread by querying the system.
379 * This is useful when attaching a thread through JNI.
380 *
381 * Returns a value from 1 to 10 (compatible with java.lang.Thread values).
382 */
383 static int GetNativePriority();
384
Mathieu Chartier61b3cd42016-04-18 11:43:29 -0700385 // Guaranteed to be non-zero.
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700386 uint32_t GetThreadId() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700387 return tls32_.thin_lock_thread_id;
Carl Shapirob5573532011-07-12 18:22:59 -0700388 }
389
Elliott Hughesd92bec42011-09-02 17:04:36 -0700390 pid_t GetTid() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700391 return tls32_.tid;
Elliott Hughesd92bec42011-09-02 17:04:36 -0700392 }
Elliott Hughese27955c2011-08-26 15:21:24 -0700393
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700394 // Returns the java.lang.Thread's name, or null if this Thread* doesn't have a peer.
Vladimir Marko4617d582019-03-28 13:48:31 +0000395 ObjPtr<mirror::String> GetThreadName() const REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes899e7892012-01-24 14:57:32 -0800396
Elliott Hughesffb465f2012-03-01 18:46:05 -0800397 // Sets 'name' to the java.lang.Thread's name. This requires no transition to managed code,
398 // allocation, or locking.
399 void GetThreadName(std::string& name) const;
400
Elliott Hughes899e7892012-01-24 14:57:32 -0800401 // Sets the thread's name.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700402 void SetThreadName(const char* name) REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesfc861622011-10-17 17:57:47 -0700403
Jeff Hao57dac6e2013-08-15 16:36:24 -0700404 // Returns the thread-specific CPU-time clock in microseconds or -1 if unavailable.
405 uint64_t GetCpuMicroTime() const;
406
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700407 mirror::Object* GetPeer() const REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffrayffc8cad2017-02-10 10:59:22 +0000408 DCHECK(Thread::Current() == this) << "Use GetPeerFromOtherThread instead";
Ian Rogersdd7624d2014-03-14 17:43:00 -0700409 CHECK(tlsPtr_.jpeer == nullptr);
410 return tlsPtr_.opeer;
Elliott Hughes8daa0922011-09-11 13:46:25 -0700411 }
Andreas Gampe202f85a2017-02-06 10:23:26 -0800412 // GetPeer is not safe if called on another thread in the middle of the CC thread flip and
413 // the thread's stack may have not been flipped yet and peer may be a from-space (stale) ref.
414 // This function will explicitly mark/forward it.
415 mirror::Object* GetPeerFromOtherThread() const REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes8daa0922011-09-11 13:46:25 -0700416
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700417 bool HasPeer() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700418 return tlsPtr_.jpeer != nullptr || tlsPtr_.opeer != nullptr;
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700419 }
420
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700421 RuntimeStats* GetStats() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700422 return &tls64_.stats;
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700423 }
424
Elliott Hughes7dc51662012-05-16 14:48:43 -0700425 bool IsStillStarting() const;
426
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700427 bool IsExceptionPending() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700428 return tlsPtr_.exception != nullptr;
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700429 }
430
Alex Light848574c2017-09-25 16:59:39 -0700431 bool IsAsyncExceptionPending() const {
432 return tlsPtr_.async_exception != nullptr;
433 }
434
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700435 mirror::Throwable* GetException() const REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700436 return tlsPtr_.exception;
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700437 }
438
Andreas Gamped9efea62014-07-21 22:56:08 -0700439 void AssertPendingException() const;
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700440 void AssertPendingOOMException() const REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700441 void AssertNoPendingException() const;
Mathieu Chartier8d7672e2014-02-25 10:57:16 -0800442 void AssertNoPendingExceptionForNewException(const char* msg) const;
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700443
Mathieu Chartier0795f232016-09-27 18:43:30 -0700444 void SetException(ObjPtr<mirror::Throwable> new_exception) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700445
Alex Light848574c2017-09-25 16:59:39 -0700446 // Set an exception that is asynchronously thrown from a different thread. This will be checked
447 // periodically and might overwrite the current 'Exception'. This can only be called from a
448 // checkpoint.
449 //
450 // The caller should also make sure that the thread has been deoptimized so that the exception
451 // could be detected on back-edges.
452 void SetAsyncException(ObjPtr<mirror::Throwable> new_exception)
453 REQUIRES_SHARED(Locks::mutator_lock_);
454
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700455 void ClearException() REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700456 tlsPtr_.exception = nullptr;
jeffhao94d6df42012-11-26 16:02:12 -0800457 }
458
Alex Light848574c2017-09-25 16:59:39 -0700459 // Move the current async-exception to the main exception. This should be called when the current
460 // thread is ready to deal with any async exceptions. Returns true if there is an async exception
461 // that needs to be dealt with, false otherwise.
462 bool ObserveAsyncException() REQUIRES_SHARED(Locks::mutator_lock_);
463
Ian Rogersbdb03912011-09-14 00:55:44 -0700464 // Find catch block and perform long jump to appropriate exception handle
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700465 NO_RETURN void QuickDeliverException() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersbdb03912011-09-14 00:55:44 -0700466
467 Context* GetLongJumpContext();
Ian Rogers0399dde2012-06-06 17:09:28 -0700468 void ReleaseLongJumpContext(Context* context) {
Mingyao Yang4dcfc432015-04-21 16:55:22 -0700469 if (tlsPtr_.long_jump_context != nullptr) {
Andreas Gampee5d23982019-01-08 10:34:26 -0800470 ReleaseLongJumpContextInternal();
Mingyao Yang4dcfc432015-04-21 16:55:22 -0700471 }
Ian Rogersdd7624d2014-03-14 17:43:00 -0700472 tlsPtr_.long_jump_context = context;
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -0700473 }
474
Andreas Gampe6ec8ebd2014-07-25 13:36:56 -0700475 // Get the current method and dex pc. If there are errors in retrieving the dex pc, this will
476 // abort the runtime iff abort_on_error is true.
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -0800477 ArtMethod* GetCurrentMethod(uint32_t* dex_pc,
478 bool check_suspended = true,
479 bool abort_on_error = true) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700480 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers0399dde2012-06-06 17:09:28 -0700481
Nicolas Geoffray7642cfc2015-02-26 10:56:09 +0000482 // Returns whether the given exception was thrown by the current Java method being executed
483 // (Note that this includes native Java methods).
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800484 bool IsExceptionThrownByCurrentMethod(ObjPtr<mirror::Throwable> exception) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700485 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray7642cfc2015-02-26 10:56:09 +0000486
Mathieu Chartiere401d142015-04-22 13:56:20 -0700487 void SetTopOfStack(ArtMethod** top_method) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700488 tlsPtr_.managed_stack.SetTopQuickFrame(top_method);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700489 }
490
Vladimir Marko2196c652017-11-30 16:16:07 +0000491 void SetTopOfStackTagged(ArtMethod** top_method) {
492 tlsPtr_.managed_stack.SetTopQuickFrameTagged(top_method);
493 }
494
Jeff Hao11ffc2d2013-02-01 11:52:17 -0800495 void SetTopOfShadowStack(ShadowFrame* top) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700496 tlsPtr_.managed_stack.SetTopShadowFrame(top);
Jeff Hao11ffc2d2013-02-01 11:52:17 -0800497 }
498
Ian Rogers0399dde2012-06-06 17:09:28 -0700499 bool HasManagedStack() const {
Vladimir Marko2196c652017-11-30 16:16:07 +0000500 return tlsPtr_.managed_stack.HasTopQuickFrame() || tlsPtr_.managed_stack.HasTopShadowFrame();
Ian Rogersbdb03912011-09-14 00:55:44 -0700501 }
502
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700503 // If 'msg' is null, no detail message is set.
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000504 void ThrowNewException(const char* exception_class_descriptor, const char* msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700505 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Roles::uninterruptible_);
Elliott Hughes5cb5ad22011-10-02 12:13:39 -0700506
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700507 // If 'msg' is null, no detail message is set. An exception must be pending, and will be
Elliott Hughesa4f94742012-05-29 16:28:38 -0700508 // used as the new exception's cause.
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000509 void ThrowNewWrappedException(const char* exception_class_descriptor, const char* msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700510 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Roles::uninterruptible_);
Elliott Hughesa4f94742012-05-29 16:28:38 -0700511
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000512 void ThrowNewExceptionF(const char* exception_class_descriptor, const char* fmt, ...)
513 __attribute__((format(printf, 3, 4)))
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700514 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Roles::uninterruptible_);
Elliott Hughesa5b897e2011-08-16 11:33:06 -0700515
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000516 void ThrowNewExceptionV(const char* exception_class_descriptor, const char* fmt, va_list ap)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700517 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Roles::uninterruptible_);
Elliott Hughes4a2b4172011-09-20 17:08:25 -0700518
Elliott Hughes2ced6a52011-10-16 18:44:48 -0700519 // OutOfMemoryError is special, because we need to pre-allocate an instance.
Elliott Hughes8a8b9cb2012-04-13 18:29:22 -0700520 // Only the GC should call this.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700521 void ThrowOutOfMemoryError(const char* msg) REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartiered8990a2015-07-23 14:11:16 -0700522 REQUIRES(!Roles::uninterruptible_);
Elliott Hughes79082e32011-08-25 12:07:32 -0700523
Elliott Hughesbe759c62011-09-08 19:38:21 -0700524 static void Startup();
Elliott Hughes038a8062011-09-18 14:12:41 -0700525 static void FinishStartup();
Elliott Hughesc1674ed2011-08-25 18:09:09 -0700526 static void Shutdown();
Carl Shapirob5573532011-07-12 18:22:59 -0700527
Andreas Gampe56776012018-01-26 17:40:55 -0800528 // Notify this thread's thread-group that this thread has started.
529 // Note: the given thread-group is used as a fast path and verified in debug build. If the value
530 // is null, the thread's thread-group is loaded from the peer.
531 void NotifyThreadGroup(ScopedObjectAccessAlreadyRunnable& soa, jobject thread_group = nullptr)
532 REQUIRES_SHARED(Locks::mutator_lock_);
533
Ian Rogersb033c752011-07-20 12:22:35 -0700534 // JNI methods
Elliott Hughes69f5bc62011-08-24 09:26:14 -0700535 JNIEnvExt* GetJniEnv() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700536 return tlsPtr_.jni_env;
Ian Rogersb033c752011-07-20 12:22:35 -0700537 }
538
Ian Rogers408f79a2011-08-23 18:22:33 -0700539 // Convert a jobject into a Object*
Mathieu Chartierc4f39252016-10-05 18:32:08 -0700540 ObjPtr<mirror::Object> DecodeJObject(jobject obj) const REQUIRES_SHARED(Locks::mutator_lock_);
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800541 // Checks if the weak global ref has been cleared by the GC without decoding it.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700542 bool IsJWeakCleared(jweak obj) const REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersb033c752011-07-20 12:22:35 -0700543
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700544 mirror::Object* GetMonitorEnterObject() const REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700545 return tlsPtr_.monitor_enter_object;
546 }
547
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700548 void SetMonitorEnterObject(mirror::Object* obj) REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700549 tlsPtr_.monitor_enter_object = obj;
550 }
551
Elliott Hughes8daa0922011-09-11 13:46:25 -0700552 // Implements java.lang.Thread.interrupted.
Nicolas Geoffray365719c2017-03-08 13:11:50 +0000553 bool Interrupted();
Elliott Hughes8daa0922011-09-11 13:46:25 -0700554 // Implements java.lang.Thread.isInterrupted.
Nicolas Geoffray365719c2017-03-08 13:11:50 +0000555 bool IsInterrupted();
Andreas Gampe7fbc4a52018-11-28 08:26:47 -0800556 void Interrupt(Thread* self) REQUIRES(!wait_mutex_);
Nicolas Geoffray365719c2017-03-08 13:11:50 +0000557 void SetInterrupted(bool i) {
Orion Hodson88591fe2018-03-06 13:35:43 +0000558 tls32_.interrupted.store(i, std::memory_order_seq_cst);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700559 }
Andreas Gampe7fbc4a52018-11-28 08:26:47 -0800560 void Notify() REQUIRES(!wait_mutex_);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700561
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700562 ALWAYS_INLINE void PoisonObjectPointers() {
563 ++poison_object_cookie_;
564 }
565
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700566 ALWAYS_INLINE static void PoisonObjectPointersIfDebug();
567
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700568 ALWAYS_INLINE uintptr_t GetPoisonObjectCookie() const {
569 return poison_object_cookie_;
570 }
571
Charles Mungeraa31f492018-11-01 18:57:38 +0000572 // Parking for 0ns of relative time means an untimed park, negative (though
573 // should be handled in java code) returns immediately
574 void Park(bool is_absolute, int64_t time) REQUIRES_SHARED(Locks::mutator_lock_);
575 void Unpark();
576
Ian Rogersdd7624d2014-03-14 17:43:00 -0700577 private:
Mathieu Chartier90443472015-07-16 20:32:27 -0700578 void NotifyLocked(Thread* self) REQUIRES(wait_mutex_);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700579
580 public:
581 Mutex* GetWaitMutex() const LOCK_RETURNED(wait_mutex_) {
582 return wait_mutex_;
583 }
584
Mathieu Chartier90443472015-07-16 20:32:27 -0700585 ConditionVariable* GetWaitConditionVariable() const REQUIRES(wait_mutex_) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700586 return wait_cond_;
587 }
588
Mathieu Chartier90443472015-07-16 20:32:27 -0700589 Monitor* GetWaitMonitor() const REQUIRES(wait_mutex_) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700590 return wait_monitor_;
591 }
592
Mathieu Chartier90443472015-07-16 20:32:27 -0700593 void SetWaitMonitor(Monitor* mon) REQUIRES(wait_mutex_) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700594 wait_monitor_ = mon;
595 }
596
Ian Rogersdd7624d2014-03-14 17:43:00 -0700597 // Waiter link-list support.
598 Thread* GetWaitNext() const {
599 return tlsPtr_.wait_next;
600 }
601
602 void SetWaitNext(Thread* next) {
603 tlsPtr_.wait_next = next;
604 }
Elliott Hughes5f791332011-09-15 17:45:30 -0700605
Ian Rogers68d8b422014-07-17 11:09:10 -0700606 jobject GetClassLoaderOverride() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700607 return tlsPtr_.class_loader_override;
buzbeec143c552011-08-20 17:38:58 -0700608 }
609
Ian Rogers68d8b422014-07-17 11:09:10 -0700610 void SetClassLoaderOverride(jobject class_loader_override);
buzbeec143c552011-08-20 17:38:58 -0700611
Ian Rogersaaa20802011-09-11 21:47:37 -0700612 // Create the internal representation of a stack trace, that is more time
Sebastien Hertzee1d79a2014-02-21 15:46:30 +0100613 // and space efficient to compute than the StackTraceElement[].
614 template<bool kTransactionActive>
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700615 jobject CreateInternalStackTrace(const ScopedObjectAccessAlreadyRunnable& soa) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700616 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersaaa20802011-09-11 21:47:37 -0700617
Elliott Hughes01158d72011-09-19 19:47:10 -0700618 // Convert an internal stack trace representation (returned by CreateInternalStackTrace) to a
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700619 // StackTraceElement[]. If output_array is null, a new array is created, otherwise as many
620 // frames as will fit are written into the given array. If stack_depth is non-null, it's updated
Elliott Hughes01158d72011-09-19 19:47:10 -0700621 // with the number of valid frames in the returned array.
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700622 static jobjectArray InternalStackTraceToStackTraceElementArray(
623 const ScopedObjectAccessAlreadyRunnable& soa, jobject internal,
624 jobjectArray output_array = nullptr, int* stack_depth = nullptr)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700625 REQUIRES_SHARED(Locks::mutator_lock_);
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700626
Andreas Gampefb6b0b12017-12-11 20:47:56 -0800627 jobjectArray CreateAnnotatedStackTrace(const ScopedObjectAccessAlreadyRunnable& soa) const
628 REQUIRES_SHARED(Locks::mutator_lock_);
629
Mingyao Yang99170c62015-07-06 11:10:37 -0700630 bool HasDebuggerShadowFrames() const {
631 return tlsPtr_.frame_id_to_shadow_frame != nullptr;
632 }
633
Andreas Gampe513061a2017-06-01 09:17:34 -0700634 void VisitRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gampe585da952016-12-02 14:52:29 -0800635 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes410c0c82011-09-01 17:58:25 -0700636
Andreas Gampeb486a982017-06-01 13:45:54 -0700637 void VerifyStack() REQUIRES_SHARED(Locks::mutator_lock_) {
638 if (kVerifyStack) {
639 VerifyStackImpl();
640 }
641 }
jeffhao25045522012-03-13 19:34:37 -0700642
Elliott Hughesbe759c62011-09-08 19:38:21 -0700643 //
644 // Offsets of various members of native Thread class, used by compiled code.
645 //
646
Andreas Gampe542451c2016-07-26 09:02:02 -0700647 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100648 static constexpr ThreadOffset<pointer_size> ThinLockIdOffset() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700649 return ThreadOffset<pointer_size>(
650 OFFSETOF_MEMBER(Thread, tls32_) +
651 OFFSETOF_MEMBER(tls_32bit_sized_values, thin_lock_thread_id));
Elliott Hughesbe759c62011-09-08 19:38:21 -0700652 }
653
Andreas Gampe542451c2016-07-26 09:02:02 -0700654 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100655 static constexpr ThreadOffset<pointer_size> InterruptedOffset() {
Nicolas Geoffray365719c2017-03-08 13:11:50 +0000656 return ThreadOffset<pointer_size>(
657 OFFSETOF_MEMBER(Thread, tls32_) +
658 OFFSETOF_MEMBER(tls_32bit_sized_values, interrupted));
659 }
660
661 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100662 static constexpr ThreadOffset<pointer_size> ThreadFlagsOffset() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700663 return ThreadOffset<pointer_size>(
664 OFFSETOF_MEMBER(Thread, tls32_) +
665 OFFSETOF_MEMBER(tls_32bit_sized_values, state_and_flags));
Elliott Hughesbe759c62011-09-08 19:38:21 -0700666 }
667
Andreas Gampe542451c2016-07-26 09:02:02 -0700668 template<PointerSize pointer_size>
David Srbecky28f6cff2018-10-16 15:07:28 +0100669 static constexpr ThreadOffset<pointer_size> UseMterpOffset() {
670 return ThreadOffset<pointer_size>(
671 OFFSETOF_MEMBER(Thread, tls32_) +
672 OFFSETOF_MEMBER(tls_32bit_sized_values, use_mterp));
673 }
674
675 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100676 static constexpr ThreadOffset<pointer_size> IsGcMarkingOffset() {
Roland Levillain7c1559a2015-12-15 10:55:36 +0000677 return ThreadOffset<pointer_size>(
678 OFFSETOF_MEMBER(Thread, tls32_) +
679 OFFSETOF_MEMBER(tls_32bit_sized_values, is_gc_marking));
680 }
681
Igor Murashkinae7ff922016-10-06 14:59:19 -0700682 static constexpr size_t IsGcMarkingSize() {
683 return sizeof(tls32_.is_gc_marking);
684 }
685
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000686 // Deoptimize the Java stack.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700687 void DeoptimizeWithDeoptimizationException(JValue* result) REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000688
Ian Rogersdd7624d2014-03-14 17:43:00 -0700689 private:
Andreas Gampe542451c2016-07-26 09:02:02 -0700690 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100691 static constexpr ThreadOffset<pointer_size> ThreadOffsetFromTlsPtr(size_t tls_ptr_offset) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700692 size_t base = OFFSETOF_MEMBER(Thread, tlsPtr_);
David Srbecky56de89a2018-10-01 15:32:20 +0100693 size_t scale = (pointer_size > kRuntimePointerSize) ?
694 static_cast<size_t>(pointer_size) / static_cast<size_t>(kRuntimePointerSize) : 1;
695 size_t shrink = (kRuntimePointerSize > pointer_size) ?
696 static_cast<size_t>(kRuntimePointerSize) / static_cast<size_t>(pointer_size) : 1;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700697 return ThreadOffset<pointer_size>(base + ((tls_ptr_offset * scale) / shrink));
Ian Rogers07ec8e12012-12-01 01:26:51 -0800698 }
699
Ian Rogersdd7624d2014-03-14 17:43:00 -0700700 public:
Jeff Hao848f70a2014-01-15 13:49:50 -0800701 static uint32_t QuickEntryPointOffsetWithSize(size_t quick_entrypoint_offset,
Andreas Gampe542451c2016-07-26 09:02:02 -0700702 PointerSize pointer_size) {
703 if (pointer_size == PointerSize::k32) {
704 return QuickEntryPointOffset<PointerSize::k32>(quick_entrypoint_offset).
705 Uint32Value();
Jeff Hao848f70a2014-01-15 13:49:50 -0800706 } else {
Andreas Gampe542451c2016-07-26 09:02:02 -0700707 return QuickEntryPointOffset<PointerSize::k64>(quick_entrypoint_offset).
708 Uint32Value();
Jeff Hao848f70a2014-01-15 13:49:50 -0800709 }
710 }
711
Andreas Gampe542451c2016-07-26 09:02:02 -0700712 template<PointerSize pointer_size>
Ian Rogersdd7624d2014-03-14 17:43:00 -0700713 static ThreadOffset<pointer_size> QuickEntryPointOffset(size_t quick_entrypoint_offset) {
714 return ThreadOffsetFromTlsPtr<pointer_size>(
715 OFFSETOF_MEMBER(tls_ptr_sized_values, quick_entrypoints) + quick_entrypoint_offset);
Elliott Hughesbe759c62011-09-08 19:38:21 -0700716 }
717
Andreas Gampe542451c2016-07-26 09:02:02 -0700718 template<PointerSize pointer_size>
Ian Rogersdd7624d2014-03-14 17:43:00 -0700719 static ThreadOffset<pointer_size> JniEntryPointOffset(size_t jni_entrypoint_offset) {
720 return ThreadOffsetFromTlsPtr<pointer_size>(
721 OFFSETOF_MEMBER(tls_ptr_sized_values, jni_entrypoints) + jni_entrypoint_offset);
Elliott Hughesbe759c62011-09-08 19:38:21 -0700722 }
723
Roland Levillain97c46462017-05-11 14:04:03 +0100724 // Return the entry point offset integer value for ReadBarrierMarkRegX, where X is `reg`.
725 template <PointerSize pointer_size>
726 static int32_t ReadBarrierMarkEntryPointsOffset(size_t reg) {
727 // The entry point list defines 30 ReadBarrierMarkRegX entry points.
728 DCHECK_LT(reg, 30u);
729 // The ReadBarrierMarkRegX entry points are ordered by increasing
730 // register number in Thread::tls_Ptr_.quick_entrypoints.
731 return QUICK_ENTRYPOINT_OFFSET(pointer_size, pReadBarrierMarkReg00).Int32Value()
732 + static_cast<size_t>(pointer_size) * reg;
733 }
734
Andreas Gampe542451c2016-07-26 09:02:02 -0700735 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100736 static constexpr ThreadOffset<pointer_size> SelfOffset() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700737 return ThreadOffsetFromTlsPtr<pointer_size>(OFFSETOF_MEMBER(tls_ptr_sized_values, self));
738 }
739
Andreas Gampe542451c2016-07-26 09:02:02 -0700740 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100741 static constexpr ThreadOffset<pointer_size> MterpCurrentIBaseOffset() {
buzbee1452bee2015-03-06 14:43:04 -0800742 return ThreadOffsetFromTlsPtr<pointer_size>(
743 OFFSETOF_MEMBER(tls_ptr_sized_values, mterp_current_ibase));
744 }
745
Andreas Gampe542451c2016-07-26 09:02:02 -0700746 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100747 static constexpr ThreadOffset<pointer_size> ExceptionOffset() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700748 return ThreadOffsetFromTlsPtr<pointer_size>(OFFSETOF_MEMBER(tls_ptr_sized_values, exception));
749 }
750
Andreas Gampe542451c2016-07-26 09:02:02 -0700751 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100752 static constexpr ThreadOffset<pointer_size> PeerOffset() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700753 return ThreadOffsetFromTlsPtr<pointer_size>(OFFSETOF_MEMBER(tls_ptr_sized_values, opeer));
754 }
755
756
Andreas Gampe542451c2016-07-26 09:02:02 -0700757 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100758 static constexpr ThreadOffset<pointer_size> CardTableOffset() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700759 return ThreadOffsetFromTlsPtr<pointer_size>(OFFSETOF_MEMBER(tls_ptr_sized_values, card_table));
760 }
761
Andreas Gampe542451c2016-07-26 09:02:02 -0700762 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100763 static constexpr ThreadOffset<pointer_size> ThreadSuspendTriggerOffset() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700764 return ThreadOffsetFromTlsPtr<pointer_size>(
765 OFFSETOF_MEMBER(tls_ptr_sized_values, suspend_trigger));
Dave Allisonb373e092014-02-20 16:06:36 -0800766 }
767
Andreas Gampe542451c2016-07-26 09:02:02 -0700768 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100769 static constexpr ThreadOffset<pointer_size> ThreadLocalPosOffset() {
Andreas Gampe542451c2016-07-26 09:02:02 -0700770 return ThreadOffsetFromTlsPtr<pointer_size>(OFFSETOF_MEMBER(tls_ptr_sized_values,
771 thread_local_pos));
Hiroshi Yamauchie01a5202015-03-19 12:35:04 -0700772 }
773
Andreas Gampe542451c2016-07-26 09:02:02 -0700774 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100775 static constexpr ThreadOffset<pointer_size> ThreadLocalEndOffset() {
Andreas Gampe542451c2016-07-26 09:02:02 -0700776 return ThreadOffsetFromTlsPtr<pointer_size>(OFFSETOF_MEMBER(tls_ptr_sized_values,
777 thread_local_end));
Hiroshi Yamauchie01a5202015-03-19 12:35:04 -0700778 }
779
Andreas Gampe542451c2016-07-26 09:02:02 -0700780 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100781 static constexpr ThreadOffset<pointer_size> ThreadLocalObjectsOffset() {
Andreas Gampe542451c2016-07-26 09:02:02 -0700782 return ThreadOffsetFromTlsPtr<pointer_size>(OFFSETOF_MEMBER(tls_ptr_sized_values,
783 thread_local_objects));
Hiroshi Yamauchie01a5202015-03-19 12:35:04 -0700784 }
785
Andreas Gampe542451c2016-07-26 09:02:02 -0700786 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100787 static constexpr ThreadOffset<pointer_size> RosAllocRunsOffset() {
Hiroshi Yamauchidc412b62015-10-15 12:26:57 -0700788 return ThreadOffsetFromTlsPtr<pointer_size>(OFFSETOF_MEMBER(tls_ptr_sized_values,
789 rosalloc_runs));
790 }
791
Andreas Gampe542451c2016-07-26 09:02:02 -0700792 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100793 static constexpr ThreadOffset<pointer_size> ThreadLocalAllocStackTopOffset() {
Hiroshi Yamauchidc412b62015-10-15 12:26:57 -0700794 return ThreadOffsetFromTlsPtr<pointer_size>(OFFSETOF_MEMBER(tls_ptr_sized_values,
795 thread_local_alloc_stack_top));
796 }
797
Andreas Gampe542451c2016-07-26 09:02:02 -0700798 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100799 static constexpr ThreadOffset<pointer_size> ThreadLocalAllocStackEndOffset() {
Hiroshi Yamauchidc412b62015-10-15 12:26:57 -0700800 return ThreadOffsetFromTlsPtr<pointer_size>(OFFSETOF_MEMBER(tls_ptr_sized_values,
801 thread_local_alloc_stack_end));
802 }
803
Ian Rogers932746a2011-09-22 18:57:50 -0700804 // Size of stack less any space reserved for stack overflow
jeffhaod7521322012-11-21 15:38:24 -0800805 size_t GetStackSize() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700806 return tlsPtr_.stack_size - (tlsPtr_.stack_end - tlsPtr_.stack_begin);
Ian Rogers932746a2011-09-22 18:57:50 -0700807 }
808
Andreas Gampe639b2b12019-01-08 10:32:50 -0800809 ALWAYS_INLINE uint8_t* GetStackEndForInterpreter(bool implicit_overflow_check) const;
Nicolas Geoffray535a3fb2014-07-22 15:17:38 +0100810
Ian Rogers13735952014-10-08 12:43:28 -0700811 uint8_t* GetStackEnd() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700812 return tlsPtr_.stack_end;
jeffhaod7521322012-11-21 15:38:24 -0800813 }
814
Ian Rogers932746a2011-09-22 18:57:50 -0700815 // Set the stack end to that to be used during a stack overflow
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700816 void SetStackEndForStackOverflow() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers932746a2011-09-22 18:57:50 -0700817
818 // Set the stack end to that to be used during regular execution
Andreas Gampe639b2b12019-01-08 10:32:50 -0800819 ALWAYS_INLINE void ResetDefaultStackEnd();
Ian Rogers932746a2011-09-22 18:57:50 -0700820
Ian Rogers120f1c72012-09-28 17:17:10 -0700821 bool IsHandlingStackOverflow() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700822 return tlsPtr_.stack_end == tlsPtr_.stack_begin;
Ian Rogers120f1c72012-09-28 17:17:10 -0700823 }
824
Andreas Gampe542451c2016-07-26 09:02:02 -0700825 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100826 static constexpr ThreadOffset<pointer_size> StackEndOffset() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700827 return ThreadOffsetFromTlsPtr<pointer_size>(
828 OFFSETOF_MEMBER(tls_ptr_sized_values, stack_end));
Elliott Hughesbe759c62011-09-08 19:38:21 -0700829 }
830
Andreas Gampe542451c2016-07-26 09:02:02 -0700831 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100832 static constexpr ThreadOffset<pointer_size> JniEnvOffset() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700833 return ThreadOffsetFromTlsPtr<pointer_size>(
834 OFFSETOF_MEMBER(tls_ptr_sized_values, jni_env));
Elliott Hughesbe759c62011-09-08 19:38:21 -0700835 }
836
Andreas Gampe542451c2016-07-26 09:02:02 -0700837 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100838 static constexpr ThreadOffset<pointer_size> TopOfManagedStackOffset() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700839 return ThreadOffsetFromTlsPtr<pointer_size>(
840 OFFSETOF_MEMBER(tls_ptr_sized_values, managed_stack) +
Vladimir Marko2196c652017-11-30 16:16:07 +0000841 ManagedStack::TaggedTopQuickFrameOffset());
Elliott Hughesbe759c62011-09-08 19:38:21 -0700842 }
843
Ian Rogers0399dde2012-06-06 17:09:28 -0700844 const ManagedStack* GetManagedStack() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700845 return &tlsPtr_.managed_stack;
Ian Rogers0399dde2012-06-06 17:09:28 -0700846 }
847
848 // Linked list recording fragments of managed stack.
849 void PushManagedStackFragment(ManagedStack* fragment) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700850 tlsPtr_.managed_stack.PushManagedStackFragment(fragment);
Ian Rogers0399dde2012-06-06 17:09:28 -0700851 }
852 void PopManagedStackFragment(const ManagedStack& fragment) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700853 tlsPtr_.managed_stack.PopManagedStackFragment(fragment);
Ian Rogers0399dde2012-06-06 17:09:28 -0700854 }
855
Andreas Gampe513061a2017-06-01 09:17:34 -0700856 ALWAYS_INLINE ShadowFrame* PushShadowFrame(ShadowFrame* new_top_frame);
857 ALWAYS_INLINE ShadowFrame* PopShadowFrame();
Logan Chienf7ad17e2012-03-15 03:10:03 +0800858
Andreas Gampe542451c2016-07-26 09:02:02 -0700859 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100860 static constexpr ThreadOffset<pointer_size> TopShadowFrameOffset() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700861 return ThreadOffsetFromTlsPtr<pointer_size>(
862 OFFSETOF_MEMBER(tls_ptr_sized_values, managed_stack) +
863 ManagedStack::TopShadowFrameOffset());
TDYa127d668a062012-04-13 12:36:57 -0700864 }
865
Ian Rogers0399dde2012-06-06 17:09:28 -0700866 // Is the given obj in this thread's stack indirect reference table?
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700867 bool HandleScopeContains(jobject obj) const;
Ian Rogers0399dde2012-06-06 17:09:28 -0700868
Hans Boehm0882af22017-08-31 15:21:57 -0700869 void HandleScopeVisitRoots(RootVisitor* visitor, pid_t thread_id)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700870 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers0399dde2012-06-06 17:09:28 -0700871
Mathieu Chartiere8a3c572016-10-11 16:52:17 -0700872 BaseHandleScope* GetTopHandleScope() {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700873 return tlsPtr_.top_handle_scope;
Ian Rogers1f539342012-10-03 21:09:42 -0700874 }
875
Mathieu Chartiere8a3c572016-10-11 16:52:17 -0700876 void PushHandleScope(BaseHandleScope* handle_scope) {
Ian Rogers59c07062014-10-10 13:03:39 -0700877 DCHECK_EQ(handle_scope->GetLink(), tlsPtr_.top_handle_scope);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700878 tlsPtr_.top_handle_scope = handle_scope;
879 }
880
Mathieu Chartiere8a3c572016-10-11 16:52:17 -0700881 BaseHandleScope* PopHandleScope() {
882 BaseHandleScope* handle_scope = tlsPtr_.top_handle_scope;
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700883 DCHECK(handle_scope != nullptr);
884 tlsPtr_.top_handle_scope = tlsPtr_.top_handle_scope->GetLink();
885 return handle_scope;
Ian Rogers1f539342012-10-03 21:09:42 -0700886 }
Brian Carlstrom40381fb2011-10-19 14:13:40 -0700887
Andreas Gampe542451c2016-07-26 09:02:02 -0700888 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +0100889 static constexpr ThreadOffset<pointer_size> TopHandleScopeOffset() {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700890 return ThreadOffsetFromTlsPtr<pointer_size>(OFFSETOF_MEMBER(tls_ptr_sized_values,
891 top_handle_scope));
Elliott Hughesbe759c62011-09-08 19:38:21 -0700892 }
893
Ian Rogersdd7624d2014-03-14 17:43:00 -0700894 DebugInvokeReq* GetInvokeReq() const {
895 return tlsPtr_.debug_invoke_req;
Elliott Hughes475fc232011-10-25 15:00:35 -0700896 }
897
Sebastien Hertz61b7f1b2013-11-15 15:59:30 +0100898 SingleStepControl* GetSingleStepControl() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700899 return tlsPtr_.single_step_control;
Sebastien Hertz61b7f1b2013-11-15 15:59:30 +0100900 }
901
Sebastien Hertz1558b572015-02-25 15:05:59 +0100902 // Indicates whether this thread is ready to invoke a method for debugging. This
903 // is only true if the thread has been suspended by a debug event.
904 bool IsReadyForDebugInvoke() const {
905 return tls32_.ready_for_debug_invoke;
906 }
907
908 void SetReadyForDebugInvoke(bool ready) {
909 tls32_.ready_for_debug_invoke = ready;
910 }
911
Sebastien Hertz9d6bf692015-04-10 12:12:33 +0200912 bool IsDebugMethodEntry() const {
913 return tls32_.debug_method_entry_;
914 }
915
916 void SetDebugMethodEntry() {
917 tls32_.debug_method_entry_ = true;
918 }
919
920 void ClearDebugMethodEntry() {
921 tls32_.debug_method_entry_ = false;
922 }
923
Hiroshi Yamauchi00370822015-08-18 14:47:25 -0700924 bool GetIsGcMarking() const {
925 CHECK(kUseReadBarrier);
926 return tls32_.is_gc_marking;
927 }
928
Mathieu Chartierfe814e82016-11-09 14:32:49 -0800929 void SetIsGcMarkingAndUpdateEntrypoints(bool is_marking);
Hiroshi Yamauchi00370822015-08-18 14:47:25 -0700930
Hiroshi Yamauchi0b713572015-06-16 18:29:23 -0700931 bool GetWeakRefAccessEnabled() const {
932 CHECK(kUseReadBarrier);
933 return tls32_.weak_ref_access_enabled;
934 }
935
936 void SetWeakRefAccessEnabled(bool enabled) {
937 CHECK(kUseReadBarrier);
938 tls32_.weak_ref_access_enabled = enabled;
939 }
940
Hiroshi Yamauchi20a0be02016-02-19 15:44:06 -0800941 uint32_t GetDisableThreadFlipCount() const {
942 CHECK(kUseReadBarrier);
943 return tls32_.disable_thread_flip_count;
944 }
945
946 void IncrementDisableThreadFlipCount() {
947 CHECK(kUseReadBarrier);
948 ++tls32_.disable_thread_flip_count;
949 }
950
951 void DecrementDisableThreadFlipCount() {
952 CHECK(kUseReadBarrier);
953 DCHECK_GT(tls32_.disable_thread_flip_count, 0U);
954 --tls32_.disable_thread_flip_count;
955 }
956
Alex Light185a4612018-10-04 15:54:25 -0700957 // Returns true if the thread is a runtime thread (eg from a ThreadPool).
Alex Lighte9f61032018-09-24 16:04:51 -0700958 bool IsRuntimeThread() const {
959 return is_runtime_thread_;
Calin Juravleccd56952016-12-15 17:57:38 +0000960 }
961
Alex Lighte9f61032018-09-24 16:04:51 -0700962 void SetIsRuntimeThread(bool is_runtime_thread) {
963 is_runtime_thread_ = is_runtime_thread;
Calin Juravleccd56952016-12-15 17:57:38 +0000964 }
965
Alex Lighte9f61032018-09-24 16:04:51 -0700966 // Returns true if the thread is allowed to load java classes.
967 bool CanLoadClasses() const;
968
Sebastien Hertz597c4f02015-01-26 17:37:14 +0100969 // Activates single step control for debugging. The thread takes the
970 // ownership of the given SingleStepControl*. It is deleted by a call
971 // to DeactivateSingleStepControl or upon thread destruction.
972 void ActivateSingleStepControl(SingleStepControl* ssc);
973
974 // Deactivates single step control for debugging.
975 void DeactivateSingleStepControl();
976
Sebastien Hertz1558b572015-02-25 15:05:59 +0100977 // Sets debug invoke request for debugging. When the thread is resumed,
Sebastien Hertzcbc50642015-06-01 17:33:12 +0200978 // it executes the method described by this request then sends the reply
979 // before suspending itself. The thread takes the ownership of the given
980 // DebugInvokeReq*. It is deleted by a call to ClearDebugInvokeReq.
Sebastien Hertz1558b572015-02-25 15:05:59 +0100981 void SetDebugInvokeReq(DebugInvokeReq* req);
982
983 // Clears debug invoke request for debugging. When the thread completes
Sebastien Hertzcbc50642015-06-01 17:33:12 +0200984 // method invocation, it deletes its debug invoke request and suspends
985 // itself.
Sebastien Hertz1558b572015-02-25 15:05:59 +0100986 void ClearDebugInvokeReq();
Sebastien Hertz597c4f02015-01-26 17:37:14 +0100987
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200988 // Returns the fake exception used to activate deoptimization.
989 static mirror::Throwable* GetDeoptimizationException() {
Mathieu Chartier0795f232016-09-27 18:43:30 -0700990 // Note that the mirror::Throwable must be aligned to kObjectAlignment or else it cannot be
991 // represented by ObjPtr.
992 return reinterpret_cast<mirror::Throwable*>(0x100);
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200993 }
994
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700995 // Currently deoptimization invokes verifier which can trigger class loading
996 // and execute Java code, so there might be nested deoptimizations happening.
997 // We need to save the ongoing deoptimization shadow frames and return
998 // values on stacks.
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100999 // 'from_code' denotes whether the deoptimization was explicitly made from
1000 // compiled code.
Mingyao Yang2ee17902017-08-30 11:37:08 -07001001 // 'method_type' contains info on whether deoptimization should advance
1002 // dex_pc.
Nicolas Geoffray73be1e82015-09-17 15:22:56 +01001003 void PushDeoptimizationContext(const JValue& return_value,
1004 bool is_reference,
Mingyao Yang2ee17902017-08-30 11:37:08 -07001005 ObjPtr<mirror::Throwable> exception,
Nicolas Geoffray73be1e82015-09-17 15:22:56 +01001006 bool from_code,
Mingyao Yang2ee17902017-08-30 11:37:08 -07001007 DeoptimizationMethodType method_type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001008 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierf5769e12017-01-10 15:54:41 -08001009 void PopDeoptimizationContext(JValue* result,
1010 ObjPtr<mirror::Throwable>* exception,
Mingyao Yang2ee17902017-08-30 11:37:08 -07001011 bool* from_code,
1012 DeoptimizationMethodType* method_type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001013 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz07474662015-08-25 15:12:33 +00001014 void AssertHasDeoptimizationContext()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001015 REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -07001016 void PushStackedShadowFrame(ShadowFrame* sf, StackedShadowFrameType type);
Andreas Gampe639bdd12015-06-03 11:22:45 -07001017 ShadowFrame* PopStackedShadowFrame(StackedShadowFrameType type, bool must_be_present = true);
Andreas Gampe2a0d4ec2014-06-02 22:05:22 -07001018
Mingyao Yang99170c62015-07-06 11:10:37 -07001019 // For debugger, find the shadow frame that corresponds to a frame id.
1020 // Or return null if there is none.
1021 ShadowFrame* FindDebuggerShadowFrame(size_t frame_id)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001022 REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang99170c62015-07-06 11:10:37 -07001023 // For debugger, find the bool array that keeps track of the updated vreg set
1024 // for a frame id.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001025 bool* GetUpdatedVRegFlags(size_t frame_id) REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang99170c62015-07-06 11:10:37 -07001026 // For debugger, find the shadow frame that corresponds to a frame id. If
1027 // one doesn't exist yet, create one and track it in frame_id_to_shadow_frame.
1028 ShadowFrame* FindOrCreateDebuggerShadowFrame(size_t frame_id,
1029 uint32_t num_vregs,
1030 ArtMethod* method,
1031 uint32_t dex_pc)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001032 REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang99170c62015-07-06 11:10:37 -07001033
1034 // Delete the entry that maps from frame_id to shadow_frame.
1035 void RemoveDebuggerShadowFrameMapping(size_t frame_id)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001036 REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang99170c62015-07-06 11:10:37 -07001037
Ian Rogers62d6c772013-02-27 08:32:07 -08001038 std::deque<instrumentation::InstrumentationStackFrame>* GetInstrumentationStack() {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001039 return tlsPtr_.instrumentation_stack;
jeffhaoe343b762011-12-05 16:36:44 -08001040 }
1041
Mathieu Chartiere401d142015-04-22 13:56:20 -07001042 std::vector<ArtMethod*>* GetStackTraceSample() const {
Andreas Gampe2c19f5b2016-11-28 08:10:18 -08001043 DCHECK(!IsAotCompiler());
Nicolas Geoffray340dafa2016-11-18 16:03:10 +00001044 return tlsPtr_.deps_or_stack_trace_sample.stack_trace_sample;
Jeff Hao5ce4b172013-08-16 16:27:18 -07001045 }
1046
Mathieu Chartiere401d142015-04-22 13:56:20 -07001047 void SetStackTraceSample(std::vector<ArtMethod*>* sample) {
Andreas Gampe2c19f5b2016-11-28 08:10:18 -08001048 DCHECK(!IsAotCompiler());
Nicolas Geoffray340dafa2016-11-18 16:03:10 +00001049 tlsPtr_.deps_or_stack_trace_sample.stack_trace_sample = sample;
1050 }
1051
1052 verifier::VerifierDeps* GetVerifierDeps() const {
Andreas Gampe2c19f5b2016-11-28 08:10:18 -08001053 DCHECK(IsAotCompiler());
Nicolas Geoffray340dafa2016-11-18 16:03:10 +00001054 return tlsPtr_.deps_or_stack_trace_sample.verifier_deps;
1055 }
1056
1057 // It is the responsability of the caller to make sure the verifier_deps
1058 // entry in the thread is cleared before destruction of the actual VerifierDeps
1059 // object, or the thread.
1060 void SetVerifierDeps(verifier::VerifierDeps* verifier_deps) {
Andreas Gampe2c19f5b2016-11-28 08:10:18 -08001061 DCHECK(IsAotCompiler());
Nicolas Geoffraye424c932016-11-23 12:52:01 +00001062 DCHECK(verifier_deps == nullptr || tlsPtr_.deps_or_stack_trace_sample.verifier_deps == nullptr);
Nicolas Geoffray340dafa2016-11-18 16:03:10 +00001063 tlsPtr_.deps_or_stack_trace_sample.verifier_deps = verifier_deps;
Jeff Hao5ce4b172013-08-16 16:27:18 -07001064 }
1065
1066 uint64_t GetTraceClockBase() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001067 return tls64_.trace_clock_base;
Jeff Hao5ce4b172013-08-16 16:27:18 -07001068 }
1069
1070 void SetTraceClockBase(uint64_t clock_base) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001071 tls64_.trace_clock_base = clock_base;
Jeff Hao5ce4b172013-08-16 16:27:18 -07001072 }
1073
Ian Rogers81d425b2012-09-27 16:03:43 -07001074 BaseMutex* GetHeldMutex(LockLevel level) const {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001075 return tlsPtr_.held_mutexes[level];
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001076 }
1077
Ian Rogers81d425b2012-09-27 16:03:43 -07001078 void SetHeldMutex(LockLevel level, BaseMutex* mutex) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001079 tlsPtr_.held_mutexes[level] = mutex;
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001080 }
Elliott Hughesffb465f2012-03-01 18:46:05 -08001081
Yu Lieac44242015-06-29 10:50:03 +08001082 void ClearSuspendBarrier(AtomicInteger* target)
Mathieu Chartier90443472015-07-16 20:32:27 -07001083 REQUIRES(Locks::thread_suspend_count_lock_);
Yu Lieac44242015-06-29 10:50:03 +08001084
Mathieu Chartier858f1c52012-10-17 17:45:55 -07001085 bool ReadFlag(ThreadFlag flag) const {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001086 return (tls32_.state_and_flags.as_struct.flags & flag) != 0;
Mathieu Chartier858f1c52012-10-17 17:45:55 -07001087 }
1088
Jeff Hao9cec2472013-05-14 18:17:06 -07001089 bool TestAllFlags() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001090 return (tls32_.state_and_flags.as_struct.flags != 0);
Jeff Hao9cec2472013-05-14 18:17:06 -07001091 }
1092
Ian Rogers8c1b5f72014-07-09 22:02:36 -07001093 void AtomicSetFlag(ThreadFlag flag) {
Orion Hodson88591fe2018-03-06 13:35:43 +00001094 tls32_.state_and_flags.as_atomic_int.fetch_or(flag, std::memory_order_seq_cst);
Ian Rogers8c1b5f72014-07-09 22:02:36 -07001095 }
Mathieu Chartier858f1c52012-10-17 17:45:55 -07001096
Ian Rogers8c1b5f72014-07-09 22:02:36 -07001097 void AtomicClearFlag(ThreadFlag flag) {
Orion Hodson88591fe2018-03-06 13:35:43 +00001098 tls32_.state_and_flags.as_atomic_int.fetch_and(-1 ^ flag, std::memory_order_seq_cst);
Ian Rogers8c1b5f72014-07-09 22:02:36 -07001099 }
Mathieu Chartier858f1c52012-10-17 17:45:55 -07001100
David Srbecky28f6cff2018-10-16 15:07:28 +01001101 bool UseMterp() const {
1102 return tls32_.use_mterp.load();
1103 }
1104
Mathieu Chartier5ace2012016-11-30 10:15:41 -08001105 void ResetQuickAllocEntryPointsForThread(bool is_marking);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -07001106
Ian Rogersdd7624d2014-03-14 17:43:00 -07001107 // Returns the remaining space in the TLAB.
Mathieu Chartier6bc77742017-04-18 17:46:23 -07001108 size_t TlabSize() const {
1109 return tlsPtr_.thread_local_end - tlsPtr_.thread_local_pos;
1110 }
1111
1112 // Returns the remaining space in the TLAB if we were to expand it to maximum capacity.
1113 size_t TlabRemainingCapacity() const {
1114 return tlsPtr_.thread_local_limit - tlsPtr_.thread_local_pos;
1115 }
1116
1117 // Expand the TLAB by a fixed number of bytes. There must be enough capacity to do so.
1118 void ExpandTlab(size_t bytes) {
1119 tlsPtr_.thread_local_end += bytes;
1120 DCHECK_LE(tlsPtr_.thread_local_end, tlsPtr_.thread_local_limit);
1121 }
1122
Ian Rogersdd7624d2014-03-14 17:43:00 -07001123 // Doesn't check that there is room.
1124 mirror::Object* AllocTlab(size_t bytes);
Mathieu Chartier6bc77742017-04-18 17:46:23 -07001125 void SetTlab(uint8_t* start, uint8_t* end, uint8_t* limit);
Ian Rogersdd7624d2014-03-14 17:43:00 -07001126 bool HasTlab() const;
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08001127 uint8_t* GetTlabStart() {
1128 return tlsPtr_.thread_local_start;
1129 }
1130 uint8_t* GetTlabPos() {
1131 return tlsPtr_.thread_local_pos;
1132 }
Elliott Hughes5d96a712012-06-28 12:24:27 -07001133
Ian Rogersdd7624d2014-03-14 17:43:00 -07001134 // Remove the suspend trigger for this thread by making the suspend_trigger_ TLS value
1135 // equal to a valid pointer.
1136 // TODO: does this need to atomic? I don't think so.
1137 void RemoveSuspendTrigger() {
1138 tlsPtr_.suspend_trigger = reinterpret_cast<uintptr_t*>(&tlsPtr_.suspend_trigger);
1139 }
1140
1141 // Trigger a suspend check by making the suspend_trigger_ TLS value an invalid pointer.
1142 // The next time a suspend check is done, it will load from the value at this address
1143 // and trigger a SIGSEGV.
1144 void TriggerSuspend() {
1145 tlsPtr_.suspend_trigger = nullptr;
1146 }
1147
1148
1149 // Push an object onto the allocation stack.
Mathieu Chartiercb535da2015-01-23 13:50:03 -08001150 bool PushOnThreadLocalAllocationStack(mirror::Object* obj)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001151 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdd7624d2014-03-14 17:43:00 -07001152
1153 // Set the thread local allocation pointers to the given pointers.
Mathieu Chartiercb535da2015-01-23 13:50:03 -08001154 void SetThreadLocalAllocationStack(StackReference<mirror::Object>* start,
1155 StackReference<mirror::Object>* end);
Ian Rogersdd7624d2014-03-14 17:43:00 -07001156
1157 // Resets the thread local allocation pointers.
1158 void RevokeThreadLocalAllocationStack();
1159
1160 size_t GetThreadLocalBytesAllocated() const {
Mathieu Chartier14cc9be2014-07-11 10:26:37 -07001161 return tlsPtr_.thread_local_end - tlsPtr_.thread_local_start;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001162 }
1163
1164 size_t GetThreadLocalObjectsAllocated() const {
1165 return tlsPtr_.thread_local_objects;
1166 }
1167
Ian Rogersdd7624d2014-03-14 17:43:00 -07001168 void* GetRosAllocRun(size_t index) const {
1169 return tlsPtr_.rosalloc_runs[index];
1170 }
1171
1172 void SetRosAllocRun(size_t index, void* run) {
1173 tlsPtr_.rosalloc_runs[index] = run;
1174 }
1175
Andreas Gampe2c2d2a02016-03-17 21:27:19 -07001176 bool ProtectStack(bool fatal_on_error = true);
Dave Allison648d7112014-07-25 16:15:27 -07001177 bool UnprotectStack();
1178
buzbee1452bee2015-03-06 14:43:04 -08001179 void SetMterpCurrentIBase(void* ibase) {
1180 tlsPtr_.mterp_current_ibase = ibase;
1181 }
1182
buzbee1452bee2015-03-06 14:43:04 -08001183 const void* GetMterpCurrentIBase() const {
1184 return tlsPtr_.mterp_current_ibase;
1185 }
1186
Josh Gaoefd20cb2017-02-28 16:53:59 -08001187 bool HandlingSignal() const {
1188 return tls32_.handling_signal_;
Dave Allison648d7112014-07-25 16:15:27 -07001189 }
1190
Josh Gaoefd20cb2017-02-28 16:53:59 -08001191 void SetHandlingSignal(bool handling_signal) {
1192 tls32_.handling_signal_ = handling_signal;
Dave Allison8ce6b902014-08-26 11:07:58 -07001193 }
1194
Hiroshi Yamauchiee235822016-08-19 17:03:27 -07001195 bool IsTransitioningToRunnable() const {
1196 return tls32_.is_transitioning_to_runnable;
1197 }
1198
1199 void SetIsTransitioningToRunnable(bool value) {
1200 tls32_.is_transitioning_to_runnable = value;
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08001201 }
1202
Alex Light3dacdd62019-03-12 15:45:47 +00001203 uint32_t DecrementForceInterpreterCount() REQUIRES(Locks::thread_list_lock_) {
1204 return --tls32_.force_interpreter_count;
1205 }
1206
1207 uint32_t IncrementForceInterpreterCount() REQUIRES(Locks::thread_list_lock_) {
1208 return ++tls32_.force_interpreter_count;
1209 }
1210
1211 void SetForceInterpreterCount(uint32_t value) REQUIRES(Locks::thread_list_lock_) {
1212 tls32_.force_interpreter_count = value;
1213 }
1214
1215 uint32_t ForceInterpreterCount() const {
1216 return tls32_.force_interpreter_count;
1217 }
1218
1219 bool IsForceInterpreter() const {
1220 return tls32_.force_interpreter_count != 0;
1221 }
1222
Mathieu Chartierd0ad2ee2015-03-31 14:59:59 -07001223 void PushVerifier(verifier::MethodVerifier* verifier);
1224 void PopVerifier(verifier::MethodVerifier* verifier);
Mathieu Chartier12d625f2015-03-13 11:33:37 -07001225
Jeff Hao848f70a2014-01-15 13:49:50 -08001226 void InitStringEntryPoints();
1227
Mathieu Chartierdfe02f62016-02-01 20:15:11 -08001228 void ModifyDebugDisallowReadBarrier(int8_t delta) {
1229 debug_disallow_read_barrier_ += delta;
1230 }
1231
1232 uint8_t GetDebugDisallowReadBarrierCount() const {
1233 return debug_disallow_read_barrier_;
1234 }
1235
Alex Light184f0752018-07-13 11:18:22 -07001236 // Gets the current TLSData associated with the key or nullptr if there isn't any. Note that users
1237 // do not gain ownership of TLSData and must synchronize with SetCustomTls themselves to prevent
1238 // it from being deleted.
1239 TLSData* GetCustomTLS(const char* key) REQUIRES(!Locks::custom_tls_lock_);
Andreas Gampef26bf2d2017-01-13 16:47:14 -08001240
Alex Light184f0752018-07-13 11:18:22 -07001241 // Sets the tls entry at 'key' to data. The thread takes ownership of the TLSData. The destructor
1242 // will be run when the thread exits or when SetCustomTLS is called again with the same key.
1243 void SetCustomTLS(const char* key, TLSData* data) REQUIRES(!Locks::custom_tls_lock_);
Andreas Gampef26bf2d2017-01-13 16:47:14 -08001244
Calin Juravle97cbc922016-04-15 16:16:35 +01001245 // Returns true if the current thread is the jit sensitive thread.
1246 bool IsJitSensitiveThread() const {
1247 return this == jit_sensitive_thread_;
1248 }
1249
Alex Lighte0b2ce42019-02-21 19:23:42 +00001250 bool IsSystemDaemon() const REQUIRES_SHARED(Locks::mutator_lock_);
1251
Calin Juravle97cbc922016-04-15 16:16:35 +01001252 // Returns true if StrictMode events are traced for the current thread.
Calin Juravleb2771b42016-04-07 17:09:25 +01001253 static bool IsSensitiveThread() {
1254 if (is_sensitive_thread_hook_ != nullptr) {
1255 return (*is_sensitive_thread_hook_)();
1256 }
1257 return false;
1258 }
1259
Mathieu Chartier3768ade2017-05-02 14:04:39 -07001260 // Set to the read barrier marking entrypoints to be non-null.
1261 void SetReadBarrierEntrypoints();
1262
Andreas Gampebad529d2017-02-13 18:52:10 -08001263 static jobject CreateCompileTimePeer(JNIEnv* env,
1264 const char* name,
1265 bool as_daemon,
1266 jobject thread_group)
1267 REQUIRES_SHARED(Locks::mutator_lock_);
1268
David Srbecky912f36c2018-09-08 12:22:58 +01001269 ALWAYS_INLINE InterpreterCache* GetInterpreterCache() {
1270 return &interpreter_cache_;
1271 }
1272
1273 // Clear all thread-local interpreter caches.
1274 //
1275 // Since the caches are keyed by memory pointer to dex instructions, this must be
1276 // called when any dex code is unloaded (before different code gets loaded at the
1277 // same memory location).
1278 //
1279 // If presence of cache entry implies some pre-conditions, this must also be
1280 // called if the pre-conditions might no longer hold true.
1281 static void ClearAllInterpreterCaches();
1282
1283 template<PointerSize pointer_size>
David Srbecky56de89a2018-10-01 15:32:20 +01001284 static constexpr ThreadOffset<pointer_size> InterpreterCacheOffset() {
David Srbecky912f36c2018-09-08 12:22:58 +01001285 return ThreadOffset<pointer_size>(OFFSETOF_MEMBER(Thread, interpreter_cache_));
1286 }
1287
David Srbecky56de89a2018-10-01 15:32:20 +01001288 static constexpr int InterpreterCacheSizeLog2() {
David Srbecky912f36c2018-09-08 12:22:58 +01001289 return WhichPowerOf2(InterpreterCache::kSize);
1290 }
1291
Ian Rogersdd7624d2014-03-14 17:43:00 -07001292 private:
Ian Rogers52673ff2012-06-27 23:25:34 -07001293 explicit Thread(bool daemon);
Mathieu Chartier90443472015-07-16 20:32:27 -07001294 ~Thread() REQUIRES(!Locks::mutator_lock_, !Locks::thread_suspend_count_lock_);
Elliott Hughesc0f09332012-03-26 13:27:06 -07001295 void Destroy();
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001296
David Srbecky28f6cff2018-10-16 15:07:28 +01001297 void NotifyInTheadList()
1298 REQUIRES_SHARED(Locks::thread_list_lock_);
1299
Andreas Gampe732b0ac2017-01-18 15:23:39 -08001300 // Attaches the calling native thread to the runtime, returning the new native peer.
1301 // Used to implement JNI AttachCurrentThread and AttachCurrentThreadAsDaemon calls.
1302 template <typename PeerAction>
1303 static Thread* Attach(const char* thread_name,
1304 bool as_daemon,
1305 PeerAction p);
1306
Ian Rogers365c1022012-06-22 15:05:28 -07001307 void CreatePeer(const char* name, bool as_daemon, jobject thread_group);
Elliott Hughes5fe594f2011-09-08 12:33:17 -07001308
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01001309 template<bool kTransactionActive>
Andreas Gampebad529d2017-02-13 18:52:10 -08001310 static void InitPeer(ScopedObjectAccessAlreadyRunnable& soa,
1311 ObjPtr<mirror::Object> peer,
1312 jboolean thread_is_daemon,
1313 jobject thread_group,
1314 jobject thread_name,
1315 jint thread_priority)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001316 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01001317
Ian Rogers62d6c772013-02-27 08:32:07 -08001318 // Avoid use, callers should use SetState. Used only by SignalCatcher::HandleSigQuit, ~Thread and
Hiroshi Yamauchi98810e32016-05-24 14:55:40 -07001319 // Dbg::ManageDeoptimization.
Ian Rogers474b6da2012-09-25 00:20:38 -07001320 ThreadState SetStateUnsafe(ThreadState new_state) {
1321 ThreadState old_state = GetState();
Mathieu Chartier8ac9c912015-10-01 15:58:41 -07001322 if (old_state == kRunnable && new_state != kRunnable) {
1323 // Need to run pending checkpoint and suspend barriers. Run checkpoints in runnable state in
1324 // case they need to use a ScopedObjectAccess. If we are holding the mutator lock and a SOA
1325 // attempts to TransitionFromSuspendedToRunnable, it results in a deadlock.
1326 TransitionToSuspendedAndRunCheckpoints(new_state);
1327 // Since we transitioned to a suspended state, check the pass barrier requests.
1328 PassActiveSuspendBarriers();
1329 } else {
1330 tls32_.state_and_flags.as_struct.state = new_state;
Yu Lieac44242015-06-29 10:50:03 +08001331 }
Ian Rogersc747cff2012-08-31 18:20:08 -07001332 return old_state;
1333 }
Ian Rogersc747cff2012-08-31 18:20:08 -07001334
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001335 void VerifyStackImpl() REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers04d7aa92013-03-16 14:29:17 -07001336
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001337 void DumpState(std::ostream& os) const REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffraya73280d2016-02-15 13:05:16 +00001338 void DumpStack(std::ostream& os,
Nicolas Geoffray6ee49712018-03-30 14:39:05 +00001339 bool dump_native_stack = true,
Hiroshi Yamauchi13c16352017-01-31 10:15:08 -08001340 BacktraceMap* backtrace_map = nullptr,
1341 bool force_dump_stack = false) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001342 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesd92bec42011-09-02 17:04:36 -07001343
Elliott Hughesaccd83d2011-10-17 14:25:58 -07001344 // Out-of-line conveniences for debugging in gdb.
Brian Carlstrom7934ac22013-07-26 10:54:15 -07001345 static Thread* CurrentFromGdb(); // Like Thread::Current.
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001346 // Like Thread::Dump(std::cerr).
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001347 void DumpFromGdb() const REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesaccd83d2011-10-17 14:25:58 -07001348
Elliott Hughes93e74e82011-09-13 11:07:03 -07001349 static void* CreateCallback(void* arg);
1350
Andreas Gampe513061a2017-06-01 09:17:34 -07001351 void HandleUncaughtExceptions(ScopedObjectAccessAlreadyRunnable& soa)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001352 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe513061a2017-06-01 09:17:34 -07001353 void RemoveFromThreadGroup(ScopedObjectAccessAlreadyRunnable& soa)
1354 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesaccd83d2011-10-17 14:25:58 -07001355
Andreas Gampe449357d2015-06-01 22:29:51 -07001356 // Initialize a thread.
1357 //
1358 // The third parameter is not mandatory. If given, the thread will use this JNIEnvExt. In case
1359 // Init succeeds, this means the thread takes ownership of it. If Init fails, it is the caller's
1360 // responsibility to destroy the given JNIEnvExt. If the parameter is null, Init will try to
1361 // create a JNIEnvExt on its own (and potentially fail at that stage, indicated by a return value
1362 // of false).
1363 bool Init(ThreadList*, JavaVMExt*, JNIEnvExt* jni_env_ext = nullptr)
Mathieu Chartier90443472015-07-16 20:32:27 -07001364 REQUIRES(Locks::runtime_shutdown_lock_);
Ian Rogers5d76c432011-10-31 21:42:49 -07001365 void InitCardTable();
Ian Rogersb033c752011-07-20 12:22:35 -07001366 void InitCpu();
Alexei Zavjalov1efa0a92014-02-04 02:08:31 +07001367 void CleanupCpu();
Ian Rogers848871b2013-08-05 10:56:33 -07001368 void InitTlsEntryPoints();
Brian Carlstromcaabb1b2011-10-11 18:09:13 -07001369 void InitTid();
Brian Carlstromcaabb1b2011-10-11 18:09:13 -07001370 void InitPthreadKeySelf();
Ian Rogersf4d4da12014-11-11 16:10:33 -08001371 bool InitStackHwm();
Elliott Hughesbe759c62011-09-08 19:38:21 -07001372
Elliott Hughesd6a23bd2013-07-16 14:19:52 -07001373 void SetUpAlternateSignalStack();
1374 void TearDownAlternateSignalStack();
1375
Mathieu Chartier8ac9c912015-10-01 15:58:41 -07001376 ALWAYS_INLINE void TransitionToSuspendedAndRunCheckpoints(ThreadState new_state)
1377 REQUIRES(!Locks::thread_suspend_count_lock_, !Roles::uninterruptible_);
1378
1379 ALWAYS_INLINE void PassActiveSuspendBarriers()
1380 REQUIRES(!Locks::thread_suspend_count_lock_, !Roles::uninterruptible_);
1381
Calin Juravle97cbc922016-04-15 16:16:35 +01001382 // Registers the current thread as the jit sensitive thread. Should be called just once.
1383 static void SetJitSensitiveThread() {
1384 if (jit_sensitive_thread_ == nullptr) {
1385 jit_sensitive_thread_ = Thread::Current();
1386 } else {
1387 LOG(WARNING) << "Attempt to set the sensitive thread twice. Tid:"
1388 << Thread::Current()->GetTid();
1389 }
1390 }
1391
Calin Juravleb2771b42016-04-07 17:09:25 +01001392 static void SetSensitiveThreadHook(bool (*is_sensitive_thread_hook)()) {
1393 is_sensitive_thread_hook_ = is_sensitive_thread_hook;
1394 }
1395
Hiroshi Yamauchi02e7f1a2016-10-03 15:32:01 -07001396 bool ModifySuspendCountInternal(Thread* self,
1397 int delta,
1398 AtomicInteger* suspend_barrier,
Alex Light46f93402017-06-29 11:59:50 -07001399 SuspendReason reason)
Sebastien Hertz1c8f4ff2017-04-14 15:05:12 +02001400 WARN_UNUSED
Hiroshi Yamauchi02e7f1a2016-10-03 15:32:01 -07001401 REQUIRES(Locks::thread_suspend_count_lock_);
1402
Alex Lightdf00a1e2017-11-01 09:29:53 -07001403 // Runs a single checkpoint function. If there are no more pending checkpoint functions it will
1404 // clear the kCheckpointRequest flag. The caller is responsible for calling this in a loop until
1405 // the kCheckpointRequest flag is cleared.
Andreas Gampe0a855762016-10-26 13:43:14 -07001406 void RunCheckpointFunction();
Hiroshi Yamauchi30493242016-11-03 13:06:52 -07001407 void RunEmptyCheckpoint();
Andreas Gampe0a855762016-10-26 13:43:14 -07001408
1409 bool PassActiveSuspendBarriers(Thread* self)
1410 REQUIRES(!Locks::thread_suspend_count_lock_);
1411
1412 // Install the protected region for implicit stack checks.
1413 void InstallImplicitProtection();
1414
Andreas Gampe585da952016-12-02 14:52:29 -08001415 template <bool kPrecise>
1416 void VisitRoots(RootVisitor* visitor) REQUIRES_SHARED(Locks::mutator_lock_);
1417
Andreas Gampe2c19f5b2016-11-28 08:10:18 -08001418 static bool IsAotCompiler();
1419
Andreas Gampee5d23982019-01-08 10:34:26 -08001420 void ReleaseLongJumpContextInternal();
1421
Ian Rogers474b6da2012-09-25 00:20:38 -07001422 // 32 bits of atomically changed state and flags. Keeping as 32 bits allows and atomic CAS to
1423 // change from being Suspended to Runnable without a suspend request occurring.
Chris Dearman59cde532013-12-04 18:53:49 -08001424 union PACKED(4) StateAndFlags {
1425 StateAndFlags() {}
Ian Rogersdf1ce912012-11-27 17:07:11 -08001426 struct PACKED(4) {
Ian Rogers30e173f2012-09-26 14:35:03 -07001427 // Bitfield of flag values. Must be changed atomically so that flag values aren't lost. See
1428 // ThreadFlags for bit field meanings.
1429 volatile uint16_t flags;
1430 // Holds the ThreadState. May be changed non-atomically between Suspended (ie not Runnable)
1431 // transitions. Changing to Runnable requires that the suspend_request be part of the atomic
1432 // operation. If a thread is suspended and a suspend_request is present, a thread may not
1433 // change to Runnable as a GC or other operation is in progress.
Ian Rogers01ae5802012-09-28 16:14:01 -07001434 volatile uint16_t state;
Ian Rogers30e173f2012-09-26 14:35:03 -07001435 } as_struct;
Ian Rogersb8e087e2014-07-09 21:12:06 -07001436 AtomicInteger as_atomic_int;
Ian Rogers01ae5802012-09-28 16:14:01 -07001437 volatile int32_t as_int;
Chris Dearman59cde532013-12-04 18:53:49 -08001438
1439 private:
1440 // gcc does not handle struct with volatile member assignments correctly.
1441 // See http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47409
1442 DISALLOW_COPY_AND_ASSIGN(StateAndFlags);
Ian Rogers474b6da2012-09-25 00:20:38 -07001443 };
Andreas Gampe575e78c2014-11-03 23:41:03 -08001444 static_assert(sizeof(StateAndFlags) == sizeof(int32_t), "Weird state_and_flags size");
Ian Rogers474b6da2012-09-25 00:20:38 -07001445
Ian Rogersdd7624d2014-03-14 17:43:00 -07001446 static void ThreadExitCallback(void* arg);
Elliott Hughes5d96a712012-06-28 12:24:27 -07001447
Yu Lieac44242015-06-29 10:50:03 +08001448 // Maximum number of suspend barriers.
1449 static constexpr uint32_t kMaxSuspendBarriers = 3;
1450
Ian Rogersdd7624d2014-03-14 17:43:00 -07001451 // Has Thread::Startup been called?
1452 static bool is_started_;
Mathieu Chartier858f1c52012-10-17 17:45:55 -07001453
Ian Rogersdd7624d2014-03-14 17:43:00 -07001454 // TLS key used to retrieve the Thread*.
1455 static pthread_key_t pthread_key_self_;
Ian Rogersa32a6fd2012-02-06 20:18:44 -08001456
Ian Rogersdd7624d2014-03-14 17:43:00 -07001457 // Used to notify threads that they should attempt to resume, they will suspend again if
1458 // their suspend count is > 0.
1459 static ConditionVariable* resume_cond_ GUARDED_BY(Locks::thread_suspend_count_lock_);
Dave Allisonb373e092014-02-20 16:06:36 -08001460
Calin Juravleb2771b42016-04-07 17:09:25 +01001461 // Hook passed by framework which returns true
1462 // when StrictMode events are traced for the current thread.
1463 static bool (*is_sensitive_thread_hook_)();
Calin Juravle97cbc922016-04-15 16:16:35 +01001464 // Stores the jit sensitive thread (which for now is the UI thread).
1465 static Thread* jit_sensitive_thread_;
Calin Juravleb2771b42016-04-07 17:09:25 +01001466
Ian Rogersdd7624d2014-03-14 17:43:00 -07001467 /***********************************************************************************************/
1468 // Thread local storage. Fields are grouped by size to enable 32 <-> 64 searching to account for
1469 // pointer size differences. To encourage shorter encoding, more frequently used values appear
1470 // first if possible.
1471 /***********************************************************************************************/
Elliott Hughes6a607ad2012-07-13 20:40:00 -07001472
Zuo Wangf37a88b2014-07-10 04:26:41 -07001473 struct PACKED(4) tls_32bit_sized_values {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001474 // We have no control over the size of 'bool', but want our boolean fields
1475 // to be 4-byte quantities.
1476 typedef uint32_t bool32_t;
Ian Rogers22f454c2012-09-08 11:06:29 -07001477
Ian Rogersdd7624d2014-03-14 17:43:00 -07001478 explicit tls_32bit_sized_values(bool is_daemon) :
1479 suspend_count(0), debug_suspend_count(0), thin_lock_thread_id(0), tid(0),
1480 daemon(is_daemon), throwing_OutOfMemoryError(false), no_thread_suspension(0),
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -07001481 thread_exit_check_count(0), handling_signal_(false),
Hiroshi Yamauchiee235822016-08-19 17:03:27 -07001482 is_transitioning_to_runnable(false), ready_for_debug_invoke(false),
Hiroshi Yamauchi20a0be02016-02-19 15:44:06 -08001483 debug_method_entry_(false), is_gc_marking(false), weak_ref_access_enabled(true),
Alex Light3dacdd62019-03-12 15:45:47 +00001484 disable_thread_flip_count(0), user_code_suspend_count(0), force_interpreter_count(0) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001485 }
Dave Allisonb373e092014-02-20 16:06:36 -08001486
Ian Rogersdd7624d2014-03-14 17:43:00 -07001487 union StateAndFlags state_and_flags;
Andreas Gampe575e78c2014-11-03 23:41:03 -08001488 static_assert(sizeof(union StateAndFlags) == sizeof(int32_t),
1489 "Size of state_and_flags and int32 are different");
Dave Allisonb373e092014-02-20 16:06:36 -08001490
Ian Rogersdd7624d2014-03-14 17:43:00 -07001491 // A non-zero value is used to tell the current thread to enter a safe point
1492 // at the next poll.
1493 int suspend_count GUARDED_BY(Locks::thread_suspend_count_lock_);
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -07001494
Ian Rogersdd7624d2014-03-14 17:43:00 -07001495 // How much of 'suspend_count_' is by request of the debugger, used to set things right
1496 // when the debugger detaches. Must be <= suspend_count_.
1497 int debug_suspend_count GUARDED_BY(Locks::thread_suspend_count_lock_);
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -08001498
Ian Rogersdd7624d2014-03-14 17:43:00 -07001499 // Thin lock thread id. This is a small integer used by the thin lock implementation.
1500 // This is not to be confused with the native thread's tid, nor is it the value returned
1501 // by java.lang.Thread.getId --- this is a distinct value, used only for locking. One
1502 // important difference between this id and the ids visible to managed code is that these
1503 // ones get reused (to ensure that they fit in the number of bits available).
1504 uint32_t thin_lock_thread_id;
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -08001505
Ian Rogersdd7624d2014-03-14 17:43:00 -07001506 // System thread id.
1507 uint32_t tid;
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -08001508
Ian Rogersdd7624d2014-03-14 17:43:00 -07001509 // Is the thread a daemon?
1510 const bool32_t daemon;
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -08001511
Ian Rogersdd7624d2014-03-14 17:43:00 -07001512 // A boolean telling us whether we're recursively throwing OOME.
1513 bool32_t throwing_OutOfMemoryError;
1514
1515 // A positive value implies we're in a region where thread suspension isn't expected.
1516 uint32_t no_thread_suspension;
1517
1518 // How many times has our pthread key's destructor been called?
1519 uint32_t thread_exit_check_count;
Sebastien Hertz9f102032014-05-23 08:59:42 +02001520
Dave Allison648d7112014-07-25 16:15:27 -07001521 // True if signal is being handled by this thread.
1522 bool32_t handling_signal_;
1523
Hiroshi Yamauchiee235822016-08-19 17:03:27 -07001524 // True if the thread is in TransitionFromSuspendedToRunnable(). This is used to distinguish the
1525 // non-runnable threads (eg. kNative, kWaiting) that are about to transition to runnable from
1526 // the rest of them.
1527 bool32_t is_transitioning_to_runnable;
Sebastien Hertz1558b572015-02-25 15:05:59 +01001528
1529 // True if the thread has been suspended by a debugger event. This is
1530 // used to invoke method from the debugger which is only allowed when
1531 // the thread is suspended by an event.
1532 bool32_t ready_for_debug_invoke;
Sebastien Hertz9d6bf692015-04-10 12:12:33 +02001533
1534 // True if the thread enters a method. This is used to detect method entry
1535 // event for the debugger.
1536 bool32_t debug_method_entry_;
Hiroshi Yamauchi0b713572015-06-16 18:29:23 -07001537
Hiroshi Yamauchi00370822015-08-18 14:47:25 -07001538 // True if the GC is in the marking phase. This is used for the CC collector only. This is
1539 // thread local so that we can simplify the logic to check for the fast path of read barriers of
1540 // GC roots.
1541 bool32_t is_gc_marking;
1542
Nicolas Geoffray365719c2017-03-08 13:11:50 +00001543 // Thread "interrupted" status; stays raised until queried or thrown.
1544 Atomic<bool32_t> interrupted;
1545
Charles Mungeraa31f492018-11-01 18:57:38 +00001546 AtomicInteger park_state_;
1547
Hiroshi Yamauchi0b713572015-06-16 18:29:23 -07001548 // True if the thread is allowed to access a weak ref (Reference::GetReferent() and system
1549 // weaks) and to potentially mark an object alive/gray. This is used for concurrent reference
1550 // processing of the CC collector only. This is thread local so that we can enable/disable weak
1551 // ref access by using a checkpoint and avoid a race around the time weak ref access gets
1552 // disabled and concurrent reference processing begins (if weak ref access is disabled during a
1553 // pause, this is not an issue.) Other collectors use Runtime::DisallowNewSystemWeaks() and
1554 // ReferenceProcessor::EnableSlowPath().
1555 bool32_t weak_ref_access_enabled;
Hiroshi Yamauchi20a0be02016-02-19 15:44:06 -08001556
1557 // A thread local version of Heap::disable_thread_flip_count_. This keeps track of how many
1558 // levels of (nested) JNI critical sections the thread is in and is used to detect a nested JNI
1559 // critical section enter.
1560 uint32_t disable_thread_flip_count;
Alex Light88fd7202017-06-30 08:31:59 -07001561
Alex Lightcea42152018-09-18 22:51:55 +00001562 // How much of 'suspend_count_' is by request of user code, used to distinguish threads
1563 // suspended by the runtime from those suspended by user code.
Alex Light88fd7202017-06-30 08:31:59 -07001564 // This should have GUARDED_BY(Locks::user_code_suspension_lock_) but auto analysis cannot be
1565 // told that AssertHeld should be good enough.
1566 int user_code_suspend_count GUARDED_BY(Locks::thread_suspend_count_lock_);
David Srbecky28f6cff2018-10-16 15:07:28 +01001567
Alex Light3dacdd62019-03-12 15:45:47 +00001568 // Count of how many times this thread has been forced to interpreter. If this is not 0 the
1569 // thread must remain in interpreted code as much as possible.
1570 uint32_t force_interpreter_count;
1571
David Srbecky28f6cff2018-10-16 15:07:28 +01001572 // True if everything is in the ideal state for fast interpretation.
1573 // False if we need to switch to the C++ interpreter to handle special cases.
1574 std::atomic<bool32_t> use_mterp;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001575 } tls32_;
1576
1577 struct PACKED(8) tls_64bit_sized_values {
Sebastien Hertz07474662015-08-25 15:12:33 +00001578 tls_64bit_sized_values() : trace_clock_base(0) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001579 }
1580
1581 // The clock base used for tracing.
1582 uint64_t trace_clock_base;
1583
Ian Rogersdd7624d2014-03-14 17:43:00 -07001584 RuntimeStats stats;
1585 } tls64_;
1586
Andreas Gampe6aa13702015-10-28 10:57:25 -07001587 struct PACKED(sizeof(void*)) tls_ptr_sized_values {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001588 tls_ptr_sized_values() : card_table(nullptr), exception(nullptr), stack_end(nullptr),
Andreas Gampe449357d2015-06-01 22:29:51 -07001589 managed_stack(), suspend_trigger(nullptr), jni_env(nullptr), tmp_jni_env(nullptr),
1590 self(nullptr), opeer(nullptr), jpeer(nullptr), stack_begin(nullptr), stack_size(0),
Nicolas Geoffray340dafa2016-11-18 16:03:10 +00001591 deps_or_stack_trace_sample(), wait_next(nullptr), monitor_enter_object(nullptr),
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07001592 top_handle_scope(nullptr), class_loader_override(nullptr), long_jump_context(nullptr),
Ian Rogersdd7624d2014-03-14 17:43:00 -07001593 instrumentation_stack(nullptr), debug_invoke_req(nullptr), single_step_control(nullptr),
Sebastien Hertz07474662015-08-25 15:12:33 +00001594 stacked_shadow_frame_record(nullptr), deoptimization_context_stack(nullptr),
Mingyao Yang99170c62015-07-06 11:10:37 -07001595 frame_id_to_shadow_frame(nullptr), name(nullptr), pthread_self(0),
Vladimir Marko05846472016-09-14 12:49:57 +01001596 last_no_thread_suspension_cause(nullptr), checkpoint_function(nullptr),
Roland Levillaine71b3542017-01-16 14:58:23 +00001597 thread_local_start(nullptr), thread_local_pos(nullptr), thread_local_end(nullptr),
Mathieu Chartier6bc77742017-04-18 17:46:23 -07001598 thread_local_limit(nullptr),
David Srbecky776f3f72018-10-15 18:03:55 +01001599 thread_local_objects(0), mterp_current_ibase(nullptr), thread_local_alloc_stack_top(nullptr),
Josh Gaoefd20cb2017-02-28 16:53:59 -08001600 thread_local_alloc_stack_end(nullptr),
Alex Light848574c2017-09-25 16:59:39 -07001601 flip_function(nullptr), method_verifier(nullptr), thread_local_mark_stack(nullptr),
1602 async_exception(nullptr) {
Mathieu Chartier12d625f2015-03-13 11:33:37 -07001603 std::fill(held_mutexes, held_mutexes + kLockLevelCount, nullptr);
Ian Rogersdd7624d2014-03-14 17:43:00 -07001604 }
1605
1606 // The biased card table, see CardTable for details.
Ian Rogers13735952014-10-08 12:43:28 -07001607 uint8_t* card_table;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001608
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001609 // The pending exception or null.
Ian Rogersdd7624d2014-03-14 17:43:00 -07001610 mirror::Throwable* exception;
1611
1612 // The end of this thread's stack. This is the lowest safely-addressable address on the stack.
1613 // We leave extra space so there's room for the code that throws StackOverflowError.
Ian Rogers13735952014-10-08 12:43:28 -07001614 uint8_t* stack_end;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001615
1616 // The top of the managed stack often manipulated directly by compiler generated code.
1617 ManagedStack managed_stack;
1618
1619 // In certain modes, setting this to 0 will trigger a SEGV and thus a suspend check. It is
1620 // normally set to the address of itself.
1621 uintptr_t* suspend_trigger;
1622
1623 // Every thread may have an associated JNI environment
1624 JNIEnvExt* jni_env;
1625
Andreas Gampe449357d2015-06-01 22:29:51 -07001626 // Temporary storage to transfer a pre-allocated JNIEnvExt from the creating thread to the
1627 // created thread.
1628 JNIEnvExt* tmp_jni_env;
1629
Ian Rogersdd7624d2014-03-14 17:43:00 -07001630 // Initialized to "this". On certain architectures (such as x86) reading off of Thread::Current
1631 // is easy but getting the address of Thread::Current is hard. This field can be read off of
1632 // Thread::Current to give the address.
1633 Thread* self;
1634
1635 // Our managed peer (an instance of java.lang.Thread). The jobject version is used during thread
1636 // start up, until the thread is registered and the local opeer_ is used.
1637 mirror::Object* opeer;
1638 jobject jpeer;
1639
1640 // The "lowest addressable byte" of the stack.
Ian Rogers13735952014-10-08 12:43:28 -07001641 uint8_t* stack_begin;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001642
1643 // Size of the stack.
1644 size_t stack_size;
1645
Nicolas Geoffray340dafa2016-11-18 16:03:10 +00001646 // Sampling profiler and AOT verification cannot happen on the same run, so we share
1647 // the same entry for the stack trace and the verifier deps.
1648 union DepsOrStackTraceSample {
1649 DepsOrStackTraceSample() {
1650 verifier_deps = nullptr;
1651 stack_trace_sample = nullptr;
1652 }
1653 // Pointer to previous stack trace captured by sampling profiler.
1654 std::vector<ArtMethod*>* stack_trace_sample;
1655 // When doing AOT verification, per-thread VerifierDeps.
1656 verifier::VerifierDeps* verifier_deps;
1657 } deps_or_stack_trace_sample;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001658
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001659 // The next thread in the wait set this thread is part of or null if not waiting.
Ian Rogersdd7624d2014-03-14 17:43:00 -07001660 Thread* wait_next;
1661
1662 // If we're blocked in MonitorEnter, this is the object we're trying to lock.
1663 mirror::Object* monitor_enter_object;
1664
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001665 // Top of linked list of handle scopes or null for none.
Mathieu Chartiere8a3c572016-10-11 16:52:17 -07001666 BaseHandleScope* top_handle_scope;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001667
1668 // Needed to get the right ClassLoader in JNI_OnLoad, but also
1669 // useful for testing.
Ian Rogers68d8b422014-07-17 11:09:10 -07001670 jobject class_loader_override;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001671
1672 // Thread local, lazily allocated, long jump context. Used to deliver exceptions.
1673 Context* long_jump_context;
1674
1675 // Additional stack used by method instrumentation to store method and return pc values.
1676 // Stored as a pointer since std::deque is not PACKED.
1677 std::deque<instrumentation::InstrumentationStackFrame>* instrumentation_stack;
1678
1679 // JDWP invoke-during-breakpoint support.
1680 DebugInvokeReq* debug_invoke_req;
1681
1682 // JDWP single-stepping support.
1683 SingleStepControl* single_step_control;
1684
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -07001685 // For gc purpose, a shadow frame record stack that keeps track of:
1686 // 1) shadow frames under construction.
1687 // 2) deoptimization shadow frames.
1688 StackedShadowFrameRecord* stacked_shadow_frame_record;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001689
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -07001690 // Deoptimization return value record stack.
Sebastien Hertz07474662015-08-25 15:12:33 +00001691 DeoptimizationContextRecord* deoptimization_context_stack;
Andreas Gampe2a0d4ec2014-06-02 22:05:22 -07001692
Mingyao Yang99170c62015-07-06 11:10:37 -07001693 // For debugger, a linked list that keeps the mapping from frame_id to shadow frame.
1694 // Shadow frames may be created before deoptimization happens so that the debugger can
1695 // set local values there first.
1696 FrameIdToShadowFrame* frame_id_to_shadow_frame;
1697
Ian Rogersdd7624d2014-03-14 17:43:00 -07001698 // A cached copy of the java.lang.Thread's name.
1699 std::string* name;
1700
1701 // A cached pthread_t for the pthread underlying this Thread*.
1702 pthread_t pthread_self;
1703
Ian Rogersdd7624d2014-03-14 17:43:00 -07001704 // If no_thread_suspension_ is > 0, what is causing that assertion.
1705 const char* last_no_thread_suspension_cause;
1706
Mathieu Chartier952e1e32016-06-13 14:04:02 -07001707 // Pending checkpoint function or null if non-pending. If this checkpoint is set and someone\
1708 // requests another checkpoint, it goes to the checkpoint overflow list.
1709 Closure* checkpoint_function GUARDED_BY(Locks::thread_suspend_count_lock_);
Ian Rogersdd7624d2014-03-14 17:43:00 -07001710
Yu Lieac44242015-06-29 10:50:03 +08001711 // Pending barriers that require passing or NULL if non-pending. Installation guarding by
1712 // Locks::thread_suspend_count_lock_.
1713 // They work effectively as art::Barrier, but implemented directly using AtomicInteger and futex
1714 // to avoid additional cost of a mutex and a condition variable, as used in art::Barrier.
1715 AtomicInteger* active_suspend_barriers[kMaxSuspendBarriers];
1716
Roland Levillaine71b3542017-01-16 14:58:23 +00001717 // Thread-local allocation pointer. Moved here to force alignment for thread_local_pos on ARM.
1718 uint8_t* thread_local_start;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001719
Hiroshi Yamauchi7e1ce282015-12-11 15:46:19 -08001720 // thread_local_pos and thread_local_end must be consecutive for ldrd and are 8 byte aligned for
1721 // potentially better performance.
Ian Rogers13735952014-10-08 12:43:28 -07001722 uint8_t* thread_local_pos;
1723 uint8_t* thread_local_end;
Igor Murashkinaf1e2992016-10-12 17:44:50 -07001724
Mathieu Chartier6bc77742017-04-18 17:46:23 -07001725 // Thread local limit is how much we can expand the thread local buffer to, it is greater or
1726 // equal to thread_local_end.
1727 uint8_t* thread_local_limit;
1728
Vladimir Marko05846472016-09-14 12:49:57 +01001729 size_t thread_local_objects;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001730
Roland Levillaine71b3542017-01-16 14:58:23 +00001731 // Entrypoint function pointers.
1732 // TODO: move this to more of a global offset table model to avoid per-thread duplication.
1733 JniEntryPoints jni_entrypoints;
1734 QuickEntryPoints quick_entrypoints;
1735
David Srbecky776f3f72018-10-15 18:03:55 +01001736 // Mterp jump table base.
buzbee1452bee2015-03-06 14:43:04 -08001737 void* mterp_current_ibase;
buzbee1452bee2015-03-06 14:43:04 -08001738
Mathieu Chartier0651d412014-04-29 14:37:57 -07001739 // There are RosAlloc::kNumThreadLocalSizeBrackets thread-local size brackets per thread.
Hiroshi Yamauchi7ed9c562016-02-02 15:22:09 -08001740 void* rosalloc_runs[kNumRosAllocThreadLocalSizeBracketsInThread];
Ian Rogersdd7624d2014-03-14 17:43:00 -07001741
1742 // Thread-local allocation stack data/routines.
Mathieu Chartiercb535da2015-01-23 13:50:03 -08001743 StackReference<mirror::Object>* thread_local_alloc_stack_top;
1744 StackReference<mirror::Object>* thread_local_alloc_stack_end;
Chao-ying Fu9e369312014-05-21 11:20:52 -07001745
1746 // Support for Mutex lock hierarchy bug detection.
1747 BaseMutex* held_mutexes[kLockLevelCount];
Dave Allison8ce6b902014-08-26 11:07:58 -07001748
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08001749 // The function used for thread flip.
1750 Closure* flip_function;
Mathieu Chartier12d625f2015-03-13 11:33:37 -07001751
1752 // Current method verifier, used for root marking.
1753 verifier::MethodVerifier* method_verifier;
Hiroshi Yamauchi0b713572015-06-16 18:29:23 -07001754
1755 // Thread-local mark stack for the concurrent copying collector.
1756 gc::accounting::AtomicStack<mirror::Object>* thread_local_mark_stack;
Alex Light848574c2017-09-25 16:59:39 -07001757
1758 // The pending async-exception or null.
1759 mirror::Throwable* async_exception;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001760 } tlsPtr_;
1761
Alex Lightbb68fda2018-10-01 13:21:47 -07001762 // Small thread-local cache to be used from the interpreter.
1763 // It is keyed by dex instruction pointer.
1764 // The value is opcode-depended (e.g. field offset).
1765 InterpreterCache interpreter_cache_;
1766
1767 // All fields below this line should not be accessed by native code. This means these fields can
1768 // be modified, rearranged, added or removed without having to modify asm_support.h
1769
Nicolas Geoffray365719c2017-03-08 13:11:50 +00001770 // Guards the 'wait_monitor_' members.
Ian Rogersdd7624d2014-03-14 17:43:00 -07001771 Mutex* wait_mutex_ DEFAULT_MUTEX_ACQUIRED_AFTER;
1772
1773 // Condition variable waited upon during a wait.
1774 ConditionVariable* wait_cond_ GUARDED_BY(wait_mutex_);
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001775 // Pointer to the monitor lock we're currently waiting on or null if not waiting.
Ian Rogersdd7624d2014-03-14 17:43:00 -07001776 Monitor* wait_monitor_ GUARDED_BY(wait_mutex_);
1777
Mathieu Chartierdfe02f62016-02-01 20:15:11 -08001778 // Debug disable read barrier count, only is checked for debug builds and only in the runtime.
1779 uint8_t debug_disallow_read_barrier_ = 0;
1780
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -07001781 // Note that it is not in the packed struct, may not be accessed for cross compilation.
1782 uintptr_t poison_object_cookie_ = 0;
1783
Mathieu Chartier952e1e32016-06-13 14:04:02 -07001784 // Pending extra checkpoints if checkpoint_function_ is already used.
1785 std::list<Closure*> checkpoint_overflow_ GUARDED_BY(Locks::thread_suspend_count_lock_);
1786
Alex Light184f0752018-07-13 11:18:22 -07001787 // Custom TLS field that can be used by plugins or the runtime. Should not be accessed directly by
1788 // compiled code or entrypoints.
1789 SafeMap<std::string, std::unique_ptr<TLSData>> custom_tls_ GUARDED_BY(Locks::custom_tls_lock_);
Andreas Gampef26bf2d2017-01-13 16:47:14 -08001790
Alex Lighte9f61032018-09-24 16:04:51 -07001791 // True if the thread is some form of runtime thread (ex, GC or JIT).
1792 bool is_runtime_thread_;
Calin Juravleccd56952016-12-15 17:57:38 +00001793
Mathieu Chartiere6da9af2013-12-16 11:54:42 -08001794 friend class Dbg; // For SetStateUnsafe.
Mathieu Chartier15d34022014-02-26 17:16:38 -08001795 friend class gc::collector::SemiSpace; // For getting stack traces.
Mathieu Chartier692fafd2013-11-29 17:24:40 -08001796 friend class Runtime; // For CreatePeer.
Ian Rogers5cf98192014-05-29 21:31:50 -07001797 friend class QuickExceptionHandler; // For dumping the stack.
Mathieu Chartier692fafd2013-11-29 17:24:40 -08001798 friend class ScopedThreadStateChange;
Mathieu Chartier119c6bd2014-05-09 14:11:47 -07001799 friend class StubTest; // For accessing entrypoints.
Mathieu Chartier692fafd2013-11-29 17:24:40 -08001800 friend class ThreadList; // For ~Thread and Destroy.
1801
Andreas Gampe4352b452014-06-04 18:59:01 -07001802 friend class EntrypointsOrderTest; // To test the order of tls entries.
1803
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001804 DISALLOW_COPY_AND_ASSIGN(Thread);
1805};
Ian Rogersbdb03912011-09-14 00:55:44 -07001806
Mathieu Chartier4e2cb092015-07-22 16:17:51 -07001807class SCOPED_CAPABILITY ScopedAssertNoThreadSuspension {
Mathieu Chartier2d5f39e2014-09-19 17:52:37 -07001808 public:
Mingyao Yangf26828b2017-07-27 12:49:01 -07001809 ALWAYS_INLINE ScopedAssertNoThreadSuspension(const char* cause,
1810 bool enabled = true)
1811 ACQUIRE(Roles::uninterruptible_)
1812 : enabled_(enabled) {
1813 if (!enabled_) {
1814 return;
1815 }
Mathieu Chartier268764d2016-09-13 12:09:38 -07001816 if (kIsDebugBuild) {
1817 self_ = Thread::Current();
1818 old_cause_ = self_->StartAssertNoThreadSuspension(cause);
1819 } else {
1820 Roles::uninterruptible_.Acquire(); // No-op.
1821 }
Mathieu Chartier2d5f39e2014-09-19 17:52:37 -07001822 }
Mathieu Chartier268764d2016-09-13 12:09:38 -07001823 ALWAYS_INLINE ~ScopedAssertNoThreadSuspension() RELEASE(Roles::uninterruptible_) {
Mingyao Yangf26828b2017-07-27 12:49:01 -07001824 if (!enabled_) {
1825 return;
1826 }
Mathieu Chartier268764d2016-09-13 12:09:38 -07001827 if (kIsDebugBuild) {
1828 self_->EndAssertNoThreadSuspension(old_cause_);
1829 } else {
1830 Roles::uninterruptible_.Release(); // No-op.
1831 }
Mathieu Chartier2d5f39e2014-09-19 17:52:37 -07001832 }
1833
1834 private:
Mathieu Chartier268764d2016-09-13 12:09:38 -07001835 Thread* self_;
Mingyao Yangf26828b2017-07-27 12:49:01 -07001836 const bool enabled_;
Mathieu Chartier268764d2016-09-13 12:09:38 -07001837 const char* old_cause_;
Mathieu Chartier2d5f39e2014-09-19 17:52:37 -07001838};
1839
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -07001840class ScopedStackedShadowFramePusher {
1841 public:
1842 ScopedStackedShadowFramePusher(Thread* self, ShadowFrame* sf, StackedShadowFrameType type)
1843 : self_(self), type_(type) {
1844 self_->PushStackedShadowFrame(sf, type);
1845 }
1846 ~ScopedStackedShadowFramePusher() {
1847 self_->PopStackedShadowFrame(type_);
1848 }
1849
1850 private:
1851 Thread* const self_;
1852 const StackedShadowFrameType type_;
1853
1854 DISALLOW_COPY_AND_ASSIGN(ScopedStackedShadowFramePusher);
1855};
1856
Mathieu Chartierdfe02f62016-02-01 20:15:11 -08001857// Only works for debug builds.
1858class ScopedDebugDisallowReadBarriers {
1859 public:
1860 explicit ScopedDebugDisallowReadBarriers(Thread* self) : self_(self) {
1861 self_->ModifyDebugDisallowReadBarrier(1);
1862 }
1863 ~ScopedDebugDisallowReadBarriers() {
1864 self_->ModifyDebugDisallowReadBarrier(-1);
1865 }
1866
1867 private:
1868 Thread* const self_;
1869};
1870
Hiroshi Yamauchiee235822016-08-19 17:03:27 -07001871class ScopedTransitioningToRunnable : public ValueObject {
1872 public:
1873 explicit ScopedTransitioningToRunnable(Thread* self)
1874 : self_(self) {
1875 DCHECK_EQ(self, Thread::Current());
1876 if (kUseReadBarrier) {
1877 self_->SetIsTransitioningToRunnable(true);
1878 }
1879 }
1880
1881 ~ScopedTransitioningToRunnable() {
1882 if (kUseReadBarrier) {
1883 self_->SetIsTransitioningToRunnable(false);
1884 }
1885 }
1886
1887 private:
1888 Thread* const self_;
1889};
1890
Andreas Gampe04bbb5b2017-01-19 17:49:03 +00001891class ThreadLifecycleCallback {
1892 public:
1893 virtual ~ThreadLifecycleCallback() {}
1894
1895 virtual void ThreadStart(Thread* self) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1896 virtual void ThreadDeath(Thread* self) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1897};
1898
Elliott Hughes330304d2011-08-12 14:28:05 -07001899std::ostream& operator<<(std::ostream& os, const Thread& thread);
Sebastien Hertzf7958692015-06-09 14:09:14 +02001900std::ostream& operator<<(std::ostream& os, const StackedShadowFrameType& thread);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001901
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001902} // namespace art
1903
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001904#endif // ART_RUNTIME_THREAD_H_