blob: 216d8a7194d9f6775708a4489da7b8771d1ce8e7 [file] [log] [blame]
Ian Rogers693ff612013-02-01 10:56:12 -08001/*
2 * Copyright (C) 2011 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_THREAD_INL_H_
18#define ART_RUNTIME_THREAD_INL_H_
Ian Rogers693ff612013-02-01 10:56:12 -080019
20#include "thread.h"
21
Bilyan Borisovbb661c02016-04-04 16:27:32 +010022#ifdef ART_TARGET_ANDROID
Andreas Gampe4382f1e2015-08-05 01:08:53 +000023#include <bionic_tls.h> // Access to our own TLS slot.
24#endif
25
Ian Rogers02ed4c02013-09-06 13:10:04 -070026#include <pthread.h>
27
Ian Rogers1eb512d2013-10-18 15:42:20 -070028#include "base/casts.h"
Ian Rogers693ff612013-02-01 10:56:12 -080029#include "base/mutex-inl.h"
Ian Rogers576ca0c2014-06-06 15:58:22 -070030#include "gc/heap.h"
Ian Rogers68d8b422014-07-17 11:09:10 -070031#include "jni_env_ext.h"
Mathieu Chartier3cf22532015-07-09 15:15:09 -070032#include "thread_pool.h"
Ian Rogers693ff612013-02-01 10:56:12 -080033
34namespace art {
35
Ian Rogers1eb512d2013-10-18 15:42:20 -070036// Quickly access the current thread from a JNIEnv.
37static inline Thread* ThreadForEnv(JNIEnv* env) {
38 JNIEnvExt* full_env(down_cast<JNIEnvExt*>(env));
39 return full_env->self;
40}
41
Ian Rogers02ed4c02013-09-06 13:10:04 -070042inline Thread* Thread::Current() {
Mathieu Chartier2cebb242015-04-21 16:50:40 -070043 // We rely on Thread::Current returning null for a detached thread, so it's not obvious
Ian Rogers02ed4c02013-09-06 13:10:04 -070044 // that we can replace this with a direct %fs access on x86.
45 if (!is_started_) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -070046 return nullptr;
Ian Rogers02ed4c02013-09-06 13:10:04 -070047 } else {
Bilyan Borisovbb661c02016-04-04 16:27:32 +010048#ifdef ART_TARGET_ANDROID
Andreas Gampe4382f1e2015-08-05 01:08:53 +000049 void* thread = __get_tls()[TLS_SLOT_ART_THREAD_SELF];
50#else
Ian Rogers02ed4c02013-09-06 13:10:04 -070051 void* thread = pthread_getspecific(Thread::pthread_key_self_);
Andreas Gampe4382f1e2015-08-05 01:08:53 +000052#endif
Ian Rogers02ed4c02013-09-06 13:10:04 -070053 return reinterpret_cast<Thread*>(thread);
54 }
55}
56
Ian Rogers7b078e82014-09-10 14:44:24 -070057inline void Thread::AllowThreadSuspension() {
58 DCHECK_EQ(Thread::Current(), this);
59 if (UNLIKELY(TestAllFlags())) {
60 CheckSuspend();
61 }
62}
63
64inline void Thread::CheckSuspend() {
65 DCHECK_EQ(Thread::Current(), this);
66 for (;;) {
67 if (ReadFlag(kCheckpointRequest)) {
68 RunCheckpointFunction();
69 } else if (ReadFlag(kSuspendRequest)) {
70 FullSuspendCheck();
71 } else {
72 break;
73 }
74 }
75}
76
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080077inline ThreadState Thread::SetState(ThreadState new_state) {
Yu Lieac44242015-06-29 10:50:03 +080078 // Should only be used to change between suspended states.
79 // Cannot use this code to change into or from Runnable as changing to Runnable should
80 // fail if old_state_and_flags.suspend_request is true and changing from Runnable might
81 // miss passing an active suspend barrier.
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080082 DCHECK_NE(new_state, kRunnable);
Andreas Gampeef048f62014-11-25 22:12:27 -080083 if (kIsDebugBuild && this != Thread::Current()) {
84 std::string name;
85 GetThreadName(name);
86 LOG(FATAL) << "Thread \"" << name << "\"(" << this << " != Thread::Current()="
87 << Thread::Current() << ") changing state to " << new_state;
88 }
Chris Dearman59cde532013-12-04 18:53:49 -080089 union StateAndFlags old_state_and_flags;
Ian Rogersdd7624d2014-03-14 17:43:00 -070090 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Yu Lieac44242015-06-29 10:50:03 +080091 CHECK_NE(old_state_and_flags.as_struct.state, kRunnable);
Ian Rogersdd7624d2014-03-14 17:43:00 -070092 tls32_.state_and_flags.as_struct.state = new_state;
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080093 return static_cast<ThreadState>(old_state_and_flags.as_struct.state);
94}
95
Mathieu Chartier10b218d2016-07-25 17:48:52 -070096inline bool Thread::IsThreadSuspensionAllowable() const {
97 if (tls32_.no_thread_suspension != 0) {
98 return false;
99 }
100 for (int i = kLockLevelCount - 1; i >= 0; --i) {
101 if (i != kMutatorLock && GetHeldMutex(static_cast<LockLevel>(i)) != nullptr) {
102 return false;
103 }
104 }
105 return true;
106}
107
Ian Rogers693ff612013-02-01 10:56:12 -0800108inline void Thread::AssertThreadSuspensionIsAllowable(bool check_locks) const {
Ian Rogersf3d874c2014-07-17 18:52:42 -0700109 if (kIsDebugBuild) {
Nicolas Geoffraydb978712014-12-09 13:33:38 +0000110 if (gAborting == 0) {
111 CHECK_EQ(0u, tls32_.no_thread_suspension) << tlsPtr_.last_no_thread_suspension_cause;
112 }
Ian Rogersf3d874c2014-07-17 18:52:42 -0700113 if (check_locks) {
114 bool bad_mutexes_held = false;
115 for (int i = kLockLevelCount - 1; i >= 0; --i) {
116 // We expect no locks except the mutator_lock_ or thread list suspend thread lock.
Ian Rogers4ad5cd32014-11-11 23:08:07 -0800117 if (i != kMutatorLock) {
Ian Rogersf3d874c2014-07-17 18:52:42 -0700118 BaseMutex* held_mutex = GetHeldMutex(static_cast<LockLevel>(i));
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700119 if (held_mutex != nullptr) {
Ian Rogersf3d874c2014-07-17 18:52:42 -0700120 LOG(ERROR) << "holding \"" << held_mutex->GetName()
121 << "\" at point where thread suspension is expected";
122 bad_mutexes_held = true;
123 }
Ian Rogers693ff612013-02-01 10:56:12 -0800124 }
125 }
Nicolas Geoffraydb978712014-12-09 13:33:38 +0000126 if (gAborting == 0) {
127 CHECK(!bad_mutexes_held);
128 }
Ian Rogers693ff612013-02-01 10:56:12 -0800129 }
Ian Rogers693ff612013-02-01 10:56:12 -0800130 }
Ian Rogers693ff612013-02-01 10:56:12 -0800131}
132
Mathieu Chartier8ac9c912015-10-01 15:58:41 -0700133inline void Thread::TransitionToSuspendedAndRunCheckpoints(ThreadState new_state) {
Ian Rogers693ff612013-02-01 10:56:12 -0800134 DCHECK_NE(new_state, kRunnable);
Ian Rogers693ff612013-02-01 10:56:12 -0800135 DCHECK_EQ(GetState(), kRunnable);
136 union StateAndFlags old_state_and_flags;
137 union StateAndFlags new_state_and_flags;
Dave Allison0f5f6bb2013-11-22 17:39:19 -0800138 while (true) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700139 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700140 if (UNLIKELY((old_state_and_flags.as_struct.flags & kCheckpointRequest) != 0)) {
141 RunCheckpointFunction();
142 continue;
143 }
Dave Allison0f5f6bb2013-11-22 17:39:19 -0800144 // Change the state but keep the current flags (kCheckpointRequest is clear).
145 DCHECK_EQ((old_state_and_flags.as_struct.flags & kCheckpointRequest), 0);
146 new_state_and_flags.as_struct.flags = old_state_and_flags.as_struct.flags;
Ian Rogers693ff612013-02-01 10:56:12 -0800147 new_state_and_flags.as_struct.state = new_state;
Ian Rogersb8e087e2014-07-09 21:12:06 -0700148
Yu Lieac44242015-06-29 10:50:03 +0800149 // CAS the value with a memory ordering.
Ian Rogersb8e087e2014-07-09 21:12:06 -0700150 bool done =
Yu Lieac44242015-06-29 10:50:03 +0800151 tls32_.state_and_flags.as_atomic_int.CompareExchangeWeakRelease(old_state_and_flags.as_int,
Ian Rogersb8e087e2014-07-09 21:12:06 -0700152 new_state_and_flags.as_int);
153 if (LIKELY(done)) {
Dave Allison0f5f6bb2013-11-22 17:39:19 -0800154 break;
155 }
156 }
Mathieu Chartier8ac9c912015-10-01 15:58:41 -0700157}
Yu Lieac44242015-06-29 10:50:03 +0800158
Mathieu Chartier8ac9c912015-10-01 15:58:41 -0700159inline void Thread::PassActiveSuspendBarriers() {
Yu Lieac44242015-06-29 10:50:03 +0800160 while (true) {
161 uint16_t current_flags = tls32_.state_and_flags.as_struct.flags;
162 if (LIKELY((current_flags & (kCheckpointRequest | kActiveSuspendBarrier)) == 0)) {
163 break;
164 } else if ((current_flags & kActiveSuspendBarrier) != 0) {
165 PassActiveSuspendBarriers(this);
166 } else {
167 // Impossible
Mathieu Chartier8ac9c912015-10-01 15:58:41 -0700168 LOG(FATAL) << "Fatal, thread transitioned into suspended without running the checkpoint";
Yu Lieac44242015-06-29 10:50:03 +0800169 }
170 }
Ian Rogers693ff612013-02-01 10:56:12 -0800171}
172
Mathieu Chartier8ac9c912015-10-01 15:58:41 -0700173inline void Thread::TransitionFromRunnableToSuspended(ThreadState new_state) {
174 AssertThreadSuspensionIsAllowable();
175 DCHECK_EQ(this, Thread::Current());
176 // Change to non-runnable state, thereby appearing suspended to the system.
177 TransitionToSuspendedAndRunCheckpoints(new_state);
178 // Mark the release of the share of the mutator_lock_.
179 Locks::mutator_lock_->TransitionFromRunnableToSuspended(this);
180 // Once suspended - check the active suspend barrier flag
181 PassActiveSuspendBarriers();
182}
183
Ian Rogers693ff612013-02-01 10:56:12 -0800184inline ThreadState Thread::TransitionFromSuspendedToRunnable() {
Chris Dearman59cde532013-12-04 18:53:49 -0800185 union StateAndFlags old_state_and_flags;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700186 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogers693ff612013-02-01 10:56:12 -0800187 int16_t old_state = old_state_and_flags.as_struct.state;
188 DCHECK_NE(static_cast<ThreadState>(old_state), kRunnable);
189 do {
190 Locks::mutator_lock_->AssertNotHeld(this); // Otherwise we starve GC..
Ian Rogersdd7624d2014-03-14 17:43:00 -0700191 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogers693ff612013-02-01 10:56:12 -0800192 DCHECK_EQ(old_state_and_flags.as_struct.state, old_state);
Yu Lieac44242015-06-29 10:50:03 +0800193 if (LIKELY(old_state_and_flags.as_struct.flags == 0)) {
194 // Optimize for the return from native code case - this is the fast path.
195 // Atomically change from suspended to runnable if no suspend request pending.
196 union StateAndFlags new_state_and_flags;
197 new_state_and_flags.as_int = old_state_and_flags.as_int;
198 new_state_and_flags.as_struct.state = kRunnable;
199 // CAS the value with a memory barrier.
200 if (LIKELY(tls32_.state_and_flags.as_atomic_int.CompareExchangeWeakAcquire(
201 old_state_and_flags.as_int,
202 new_state_and_flags.as_int))) {
203 // Mark the acquisition of a share of the mutator_lock_.
204 Locks::mutator_lock_->TransitionFromSuspendedToRunnable(this);
205 break;
206 }
207 } else if ((old_state_and_flags.as_struct.flags & kActiveSuspendBarrier) != 0) {
208 PassActiveSuspendBarriers(this);
209 } else if ((old_state_and_flags.as_struct.flags & kCheckpointRequest) != 0) {
210 // Impossible
Mathieu Chartierdabdccc2015-10-01 14:46:29 -0700211 LOG(FATAL) << "Transitioning to runnable with checkpoint flag, "
212 << " flags=" << old_state_and_flags.as_struct.flags
213 << " state=" << old_state_and_flags.as_struct.state;
Yu Lieac44242015-06-29 10:50:03 +0800214 } else if ((old_state_and_flags.as_struct.flags & kSuspendRequest) != 0) {
Ian Rogers693ff612013-02-01 10:56:12 -0800215 // Wait while our suspend count is non-zero.
Nicolas Geoffray9f5f8ac2016-06-29 14:39:59 +0100216
217 // We pass null to the MutexLock as we may be in a situation where the
218 // runtime is shutting down. Guarding ourselves from that situation
219 // requires to take the shutdown lock, which is undesirable here.
220 Thread* thread_to_pass = nullptr;
221 if (kIsDebugBuild && !IsDaemon()) {
222 // We know we can make our debug locking checks on non-daemon threads,
223 // so re-enable them on debug builds.
224 thread_to_pass = this;
225 }
226 MutexLock mu(thread_to_pass, *Locks::thread_suspend_count_lock_);
Hiroshi Yamauchiee235822016-08-19 17:03:27 -0700227 ScopedTransitioningToRunnable scoped_transitioning_to_runnable(this);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700228 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogers693ff612013-02-01 10:56:12 -0800229 DCHECK_EQ(old_state_and_flags.as_struct.state, old_state);
230 while ((old_state_and_flags.as_struct.flags & kSuspendRequest) != 0) {
231 // Re-check when Thread::resume_cond_ is notified.
Nicolas Geoffray9f5f8ac2016-06-29 14:39:59 +0100232 Thread::resume_cond_->Wait(thread_to_pass);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700233 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogers693ff612013-02-01 10:56:12 -0800234 DCHECK_EQ(old_state_and_flags.as_struct.state, old_state);
235 }
236 DCHECK_EQ(GetSuspendCount(), 0);
237 }
Ian Rogers719d1a32014-03-06 12:13:39 -0800238 } while (true);
Yu Lieac44242015-06-29 10:50:03 +0800239 // Run the flip function, if set.
240 Closure* flip_func = GetFlipFunction();
241 if (flip_func != nullptr) {
242 flip_func->Run(this);
243 }
244 return static_cast<ThreadState>(old_state);
Ian Rogers693ff612013-02-01 10:56:12 -0800245}
246
Ian Rogers04d7aa92013-03-16 14:29:17 -0700247inline void Thread::VerifyStack() {
Mathieu Chartier4e305412014-02-19 10:54:44 -0800248 if (kVerifyStack) {
249 if (Runtime::Current()->GetHeap()->IsObjectValidationEnabled()) {
250 VerifyStackImpl();
251 }
Ian Rogers04d7aa92013-03-16 14:29:17 -0700252 }
253}
254
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800255inline size_t Thread::TlabSize() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700256 return tlsPtr_.thread_local_end - tlsPtr_.thread_local_pos;
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800257}
258
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800259inline mirror::Object* Thread::AllocTlab(size_t bytes) {
260 DCHECK_GE(TlabSize(), bytes);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700261 ++tlsPtr_.thread_local_objects;
262 mirror::Object* ret = reinterpret_cast<mirror::Object*>(tlsPtr_.thread_local_pos);
263 tlsPtr_.thread_local_pos += bytes;
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800264 return ret;
265}
266
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800267inline bool Thread::PushOnThreadLocalAllocationStack(mirror::Object* obj) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700268 DCHECK_LE(tlsPtr_.thread_local_alloc_stack_top, tlsPtr_.thread_local_alloc_stack_end);
269 if (tlsPtr_.thread_local_alloc_stack_top < tlsPtr_.thread_local_alloc_stack_end) {
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800270 // There's room.
Ian Rogers13735952014-10-08 12:43:28 -0700271 DCHECK_LE(reinterpret_cast<uint8_t*>(tlsPtr_.thread_local_alloc_stack_top) +
Mathieu Chartiercb535da2015-01-23 13:50:03 -0800272 sizeof(StackReference<mirror::Object>),
Ian Rogers13735952014-10-08 12:43:28 -0700273 reinterpret_cast<uint8_t*>(tlsPtr_.thread_local_alloc_stack_end));
Mathieu Chartiercb535da2015-01-23 13:50:03 -0800274 DCHECK(tlsPtr_.thread_local_alloc_stack_top->AsMirrorPtr() == nullptr);
275 tlsPtr_.thread_local_alloc_stack_top->Assign(obj);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700276 ++tlsPtr_.thread_local_alloc_stack_top;
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800277 return true;
278 }
279 return false;
280}
281
Mathieu Chartiercb535da2015-01-23 13:50:03 -0800282inline void Thread::SetThreadLocalAllocationStack(StackReference<mirror::Object>* start,
283 StackReference<mirror::Object>* end) {
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800284 DCHECK(Thread::Current() == this) << "Should be called by self";
285 DCHECK(start != nullptr);
286 DCHECK(end != nullptr);
Mathieu Chartiercb535da2015-01-23 13:50:03 -0800287 DCHECK_ALIGNED(start, sizeof(StackReference<mirror::Object>));
288 DCHECK_ALIGNED(end, sizeof(StackReference<mirror::Object>));
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800289 DCHECK_LT(start, end);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700290 tlsPtr_.thread_local_alloc_stack_end = end;
291 tlsPtr_.thread_local_alloc_stack_top = start;
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800292}
293
294inline void Thread::RevokeThreadLocalAllocationStack() {
295 if (kIsDebugBuild) {
296 // Note: self is not necessarily equal to this thread since thread may be suspended.
297 Thread* self = Thread::Current();
298 DCHECK(this == self || IsSuspended() || GetState() == kWaitingPerformingGc)
299 << GetState() << " thread " << this << " self " << self;
300 }
Ian Rogersdd7624d2014-03-14 17:43:00 -0700301 tlsPtr_.thread_local_alloc_stack_end = nullptr;
302 tlsPtr_.thread_local_alloc_stack_top = nullptr;
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800303}
304
Ian Rogers693ff612013-02-01 10:56:12 -0800305} // namespace art
306
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700307#endif // ART_RUNTIME_THREAD_INL_H_