blob: 38f1307321a871370b65e8a76666ef90c8669703 [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
Ian Rogers02ed4c02013-09-06 13:10:04 -070022#include <pthread.h>
23
Ian Rogers1eb512d2013-10-18 15:42:20 -070024#include "base/casts.h"
Ian Rogers693ff612013-02-01 10:56:12 -080025#include "base/mutex-inl.h"
Ian Rogers576ca0c2014-06-06 15:58:22 -070026#include "gc/heap.h"
Ian Rogers1eb512d2013-10-18 15:42:20 -070027#include "jni_internal.h"
Ian Rogers693ff612013-02-01 10:56:12 -080028
29namespace art {
30
Ian Rogers1eb512d2013-10-18 15:42:20 -070031// Quickly access the current thread from a JNIEnv.
32static inline Thread* ThreadForEnv(JNIEnv* env) {
33 JNIEnvExt* full_env(down_cast<JNIEnvExt*>(env));
34 return full_env->self;
35}
36
Ian Rogers02ed4c02013-09-06 13:10:04 -070037inline Thread* Thread::Current() {
38 // We rely on Thread::Current returning NULL for a detached thread, so it's not obvious
39 // that we can replace this with a direct %fs access on x86.
40 if (!is_started_) {
41 return NULL;
42 } else {
43 void* thread = pthread_getspecific(Thread::pthread_key_self_);
44 return reinterpret_cast<Thread*>(thread);
45 }
46}
47
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080048inline ThreadState Thread::SetState(ThreadState new_state) {
49 // Cannot use this code to change into Runnable as changing to Runnable should fail if
50 // old_state_and_flags.suspend_request is true.
51 DCHECK_NE(new_state, kRunnable);
52 DCHECK_EQ(this, Thread::Current());
Chris Dearman59cde532013-12-04 18:53:49 -080053 union StateAndFlags old_state_and_flags;
Ian Rogersdd7624d2014-03-14 17:43:00 -070054 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
55 tls32_.state_and_flags.as_struct.state = new_state;
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080056 return static_cast<ThreadState>(old_state_and_flags.as_struct.state);
57}
58
Ian Rogers693ff612013-02-01 10:56:12 -080059inline void Thread::AssertThreadSuspensionIsAllowable(bool check_locks) const {
60#ifdef NDEBUG
61 UNUSED(check_locks); // Keep GCC happy about unused parameters.
62#else
Ian Rogersdd7624d2014-03-14 17:43:00 -070063 CHECK_EQ(0u, tls32_.no_thread_suspension) << tlsPtr_.last_no_thread_suspension_cause;
Ian Rogers693ff612013-02-01 10:56:12 -080064 if (check_locks) {
65 bool bad_mutexes_held = false;
Elliott Hughes0f827162013-02-26 12:12:58 -080066 for (int i = kLockLevelCount - 1; i >= 0; --i) {
Ian Rogers693ff612013-02-01 10:56:12 -080067 // We expect no locks except the mutator_lock_.
68 if (i != kMutatorLock) {
69 BaseMutex* held_mutex = GetHeldMutex(static_cast<LockLevel>(i));
70 if (held_mutex != NULL) {
71 LOG(ERROR) << "holding \"" << held_mutex->GetName()
72 << "\" at point where thread suspension is expected";
73 bad_mutexes_held = true;
74 }
75 }
76 }
77 CHECK(!bad_mutexes_held);
78 }
79#endif
80}
81
82inline void Thread::TransitionFromRunnableToSuspended(ThreadState new_state) {
83 AssertThreadSuspensionIsAllowable();
84 DCHECK_NE(new_state, kRunnable);
85 DCHECK_EQ(this, Thread::Current());
86 // Change to non-runnable state, thereby appearing suspended to the system.
87 DCHECK_EQ(GetState(), kRunnable);
88 union StateAndFlags old_state_and_flags;
89 union StateAndFlags new_state_and_flags;
Dave Allison0f5f6bb2013-11-22 17:39:19 -080090 while (true) {
Ian Rogersdd7624d2014-03-14 17:43:00 -070091 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogersd9c4fc92013-10-01 19:45:43 -070092 if (UNLIKELY((old_state_and_flags.as_struct.flags & kCheckpointRequest) != 0)) {
93 RunCheckpointFunction();
94 continue;
95 }
Dave Allison0f5f6bb2013-11-22 17:39:19 -080096 // Change the state but keep the current flags (kCheckpointRequest is clear).
97 DCHECK_EQ((old_state_and_flags.as_struct.flags & kCheckpointRequest), 0);
98 new_state_and_flags.as_struct.flags = old_state_and_flags.as_struct.flags;
Ian Rogers693ff612013-02-01 10:56:12 -080099 new_state_and_flags.as_struct.state = new_state;
Ian Rogersb8e087e2014-07-09 21:12:06 -0700100
101 // CAS the value without a memory ordering as that is given by the lock release below.
102 bool done =
103 tls32_.state_and_flags.as_atomic_int.CompareExchangeWeakRelaxed(old_state_and_flags.as_int,
104 new_state_and_flags.as_int);
105 if (LIKELY(done)) {
Dave Allison0f5f6bb2013-11-22 17:39:19 -0800106 break;
107 }
108 }
Ian Rogers693ff612013-02-01 10:56:12 -0800109 // Release share on mutator_lock_.
110 Locks::mutator_lock_->SharedUnlock(this);
111}
112
113inline ThreadState Thread::TransitionFromSuspendedToRunnable() {
114 bool done = false;
Chris Dearman59cde532013-12-04 18:53:49 -0800115 union StateAndFlags old_state_and_flags;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700116 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogers693ff612013-02-01 10:56:12 -0800117 int16_t old_state = old_state_and_flags.as_struct.state;
118 DCHECK_NE(static_cast<ThreadState>(old_state), kRunnable);
119 do {
120 Locks::mutator_lock_->AssertNotHeld(this); // Otherwise we starve GC..
Ian Rogersdd7624d2014-03-14 17:43:00 -0700121 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogers693ff612013-02-01 10:56:12 -0800122 DCHECK_EQ(old_state_and_flags.as_struct.state, old_state);
123 if (UNLIKELY((old_state_and_flags.as_struct.flags & kSuspendRequest) != 0)) {
124 // Wait while our suspend count is non-zero.
125 MutexLock mu(this, *Locks::thread_suspend_count_lock_);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700126 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogers693ff612013-02-01 10:56:12 -0800127 DCHECK_EQ(old_state_and_flags.as_struct.state, old_state);
128 while ((old_state_and_flags.as_struct.flags & kSuspendRequest) != 0) {
129 // Re-check when Thread::resume_cond_ is notified.
130 Thread::resume_cond_->Wait(this);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700131 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogers693ff612013-02-01 10:56:12 -0800132 DCHECK_EQ(old_state_and_flags.as_struct.state, old_state);
133 }
134 DCHECK_EQ(GetSuspendCount(), 0);
135 }
136 // Re-acquire shared mutator_lock_ access.
137 Locks::mutator_lock_->SharedLock(this);
138 // Atomically change from suspended to runnable if no suspend request pending.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700139 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogers693ff612013-02-01 10:56:12 -0800140 DCHECK_EQ(old_state_and_flags.as_struct.state, old_state);
141 if (LIKELY((old_state_and_flags.as_struct.flags & kSuspendRequest) == 0)) {
Chris Dearman59cde532013-12-04 18:53:49 -0800142 union StateAndFlags new_state_and_flags;
143 new_state_and_flags.as_int = old_state_and_flags.as_int;
Ian Rogers693ff612013-02-01 10:56:12 -0800144 new_state_and_flags.as_struct.state = kRunnable;
Ian Rogersb8e087e2014-07-09 21:12:06 -0700145 // CAS the value without a memory ordering as that is given by the lock acquisition above.
146 done =
147 tls32_.state_and_flags.as_atomic_int.CompareExchangeWeakRelaxed(old_state_and_flags.as_int,
148 new_state_and_flags.as_int);
Ian Rogers693ff612013-02-01 10:56:12 -0800149 }
150 if (UNLIKELY(!done)) {
151 // Failed to transition to Runnable. Release shared mutator_lock_ access and try again.
152 Locks::mutator_lock_->SharedUnlock(this);
Ian Rogers719d1a32014-03-06 12:13:39 -0800153 } else {
154 return static_cast<ThreadState>(old_state);
Ian Rogers693ff612013-02-01 10:56:12 -0800155 }
Ian Rogers719d1a32014-03-06 12:13:39 -0800156 } while (true);
Ian Rogers693ff612013-02-01 10:56:12 -0800157}
158
Ian Rogers04d7aa92013-03-16 14:29:17 -0700159inline void Thread::VerifyStack() {
Mathieu Chartier4e305412014-02-19 10:54:44 -0800160 if (kVerifyStack) {
161 if (Runtime::Current()->GetHeap()->IsObjectValidationEnabled()) {
162 VerifyStackImpl();
163 }
Ian Rogers04d7aa92013-03-16 14:29:17 -0700164 }
165}
166
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800167inline size_t Thread::TlabSize() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700168 return tlsPtr_.thread_local_end - tlsPtr_.thread_local_pos;
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800169}
170
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800171inline mirror::Object* Thread::AllocTlab(size_t bytes) {
172 DCHECK_GE(TlabSize(), bytes);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700173 ++tlsPtr_.thread_local_objects;
174 mirror::Object* ret = reinterpret_cast<mirror::Object*>(tlsPtr_.thread_local_pos);
175 tlsPtr_.thread_local_pos += bytes;
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800176 return ret;
177}
178
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800179inline bool Thread::PushOnThreadLocalAllocationStack(mirror::Object* obj) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700180 DCHECK_LE(tlsPtr_.thread_local_alloc_stack_top, tlsPtr_.thread_local_alloc_stack_end);
181 if (tlsPtr_.thread_local_alloc_stack_top < tlsPtr_.thread_local_alloc_stack_end) {
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800182 // There's room.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700183 DCHECK_LE(reinterpret_cast<byte*>(tlsPtr_.thread_local_alloc_stack_top) +
184 sizeof(mirror::Object*),
185 reinterpret_cast<byte*>(tlsPtr_.thread_local_alloc_stack_end));
186 DCHECK(*tlsPtr_.thread_local_alloc_stack_top == nullptr);
187 *tlsPtr_.thread_local_alloc_stack_top = obj;
188 ++tlsPtr_.thread_local_alloc_stack_top;
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800189 return true;
190 }
191 return false;
192}
193
194inline void Thread::SetThreadLocalAllocationStack(mirror::Object** start, mirror::Object** end) {
195 DCHECK(Thread::Current() == this) << "Should be called by self";
196 DCHECK(start != nullptr);
197 DCHECK(end != nullptr);
198 DCHECK_ALIGNED(start, sizeof(mirror::Object*));
199 DCHECK_ALIGNED(end, sizeof(mirror::Object*));
200 DCHECK_LT(start, end);
Ian Rogersdd7624d2014-03-14 17:43:00 -0700201 tlsPtr_.thread_local_alloc_stack_end = end;
202 tlsPtr_.thread_local_alloc_stack_top = start;
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800203}
204
205inline void Thread::RevokeThreadLocalAllocationStack() {
206 if (kIsDebugBuild) {
207 // Note: self is not necessarily equal to this thread since thread may be suspended.
208 Thread* self = Thread::Current();
209 DCHECK(this == self || IsSuspended() || GetState() == kWaitingPerformingGc)
210 << GetState() << " thread " << this << " self " << self;
211 }
Ian Rogersdd7624d2014-03-14 17:43:00 -0700212 tlsPtr_.thread_local_alloc_stack_end = nullptr;
213 tlsPtr_.thread_local_alloc_stack_top = nullptr;
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800214}
215
Ian Rogers693ff612013-02-01 10:56:12 -0800216} // namespace art
217
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700218#endif // ART_RUNTIME_THREAD_INL_H_