Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 1 | /* |
| 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 Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 17 | #ifndef ART_RUNTIME_THREAD_INL_H_ |
| 18 | #define ART_RUNTIME_THREAD_INL_H_ |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 19 | |
| 20 | #include "thread.h" |
| 21 | |
Bilyan Borisov | bb661c0 | 2016-04-04 16:27:32 +0100 | [diff] [blame] | 22 | #ifdef ART_TARGET_ANDROID |
Andreas Gampe | 4382f1e | 2015-08-05 01:08:53 +0000 | [diff] [blame] | 23 | #include <bionic_tls.h> // Access to our own TLS slot. |
| 24 | #endif |
| 25 | |
Ian Rogers | 02ed4c0 | 2013-09-06 13:10:04 -0700 | [diff] [blame] | 26 | #include <pthread.h> |
| 27 | |
Ian Rogers | 1eb512d | 2013-10-18 15:42:20 -0700 | [diff] [blame] | 28 | #include "base/casts.h" |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 29 | #include "base/mutex-inl.h" |
Ian Rogers | 576ca0c | 2014-06-06 15:58:22 -0700 | [diff] [blame] | 30 | #include "gc/heap.h" |
Ian Rogers | 68d8b42 | 2014-07-17 11:09:10 -0700 | [diff] [blame] | 31 | #include "jni_env_ext.h" |
Andreas Gampe | c73cb64 | 2017-02-22 10:11:30 -0800 | [diff] [blame] | 32 | #include "obj_ptr.h" |
David Sehr | f42eb2c | 2016-10-19 13:20:45 -0700 | [diff] [blame] | 33 | #include "runtime.h" |
Mathieu Chartier | 3cf2253 | 2015-07-09 15:15:09 -0700 | [diff] [blame] | 34 | #include "thread_pool.h" |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 35 | |
| 36 | namespace art { |
| 37 | |
Ian Rogers | 1eb512d | 2013-10-18 15:42:20 -0700 | [diff] [blame] | 38 | // Quickly access the current thread from a JNIEnv. |
| 39 | static inline Thread* ThreadForEnv(JNIEnv* env) { |
| 40 | JNIEnvExt* full_env(down_cast<JNIEnvExt*>(env)); |
| 41 | return full_env->self; |
| 42 | } |
| 43 | |
Ian Rogers | 02ed4c0 | 2013-09-06 13:10:04 -0700 | [diff] [blame] | 44 | inline Thread* Thread::Current() { |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 45 | // We rely on Thread::Current returning null for a detached thread, so it's not obvious |
Ian Rogers | 02ed4c0 | 2013-09-06 13:10:04 -0700 | [diff] [blame] | 46 | // that we can replace this with a direct %fs access on x86. |
| 47 | if (!is_started_) { |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 48 | return nullptr; |
Ian Rogers | 02ed4c0 | 2013-09-06 13:10:04 -0700 | [diff] [blame] | 49 | } else { |
Bilyan Borisov | bb661c0 | 2016-04-04 16:27:32 +0100 | [diff] [blame] | 50 | #ifdef ART_TARGET_ANDROID |
Andreas Gampe | 4382f1e | 2015-08-05 01:08:53 +0000 | [diff] [blame] | 51 | void* thread = __get_tls()[TLS_SLOT_ART_THREAD_SELF]; |
| 52 | #else |
Ian Rogers | 02ed4c0 | 2013-09-06 13:10:04 -0700 | [diff] [blame] | 53 | void* thread = pthread_getspecific(Thread::pthread_key_self_); |
Andreas Gampe | 4382f1e | 2015-08-05 01:08:53 +0000 | [diff] [blame] | 54 | #endif |
Ian Rogers | 02ed4c0 | 2013-09-06 13:10:04 -0700 | [diff] [blame] | 55 | return reinterpret_cast<Thread*>(thread); |
| 56 | } |
| 57 | } |
| 58 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 59 | inline void Thread::AllowThreadSuspension() { |
| 60 | DCHECK_EQ(Thread::Current(), this); |
| 61 | if (UNLIKELY(TestAllFlags())) { |
| 62 | CheckSuspend(); |
| 63 | } |
Mathieu Chartier | a59d9b2 | 2016-09-26 18:13:17 -0700 | [diff] [blame] | 64 | // Invalidate the current thread's object pointers (ObjPtr) to catch possible moving GC bugs due |
| 65 | // to missing handles. |
Mathieu Chartier | 3f7f03c | 2016-09-26 11:39:52 -0700 | [diff] [blame] | 66 | PoisonObjectPointers(); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 67 | } |
| 68 | |
| 69 | inline void Thread::CheckSuspend() { |
| 70 | DCHECK_EQ(Thread::Current(), this); |
| 71 | for (;;) { |
| 72 | if (ReadFlag(kCheckpointRequest)) { |
| 73 | RunCheckpointFunction(); |
| 74 | } else if (ReadFlag(kSuspendRequest)) { |
| 75 | FullSuspendCheck(); |
Hiroshi Yamauchi | 3049324 | 2016-11-03 13:06:52 -0700 | [diff] [blame] | 76 | } else if (ReadFlag(kEmptyCheckpointRequest)) { |
| 77 | RunEmptyCheckpoint(); |
| 78 | } else { |
| 79 | break; |
| 80 | } |
| 81 | } |
| 82 | } |
| 83 | |
Hiroshi Yamauchi | a222404 | 2017-02-08 16:35:45 -0800 | [diff] [blame] | 84 | inline void Thread::CheckEmptyCheckpointFromWeakRefAccess(BaseMutex* cond_var_mutex) { |
| 85 | Thread* self = Thread::Current(); |
| 86 | DCHECK_EQ(self, this); |
| 87 | for (;;) { |
| 88 | if (ReadFlag(kEmptyCheckpointRequest)) { |
| 89 | RunEmptyCheckpoint(); |
| 90 | // Check we hold only an expected mutex when accessing weak ref. |
| 91 | if (kIsDebugBuild) { |
| 92 | for (int i = kLockLevelCount - 1; i >= 0; --i) { |
| 93 | BaseMutex* held_mutex = self->GetHeldMutex(static_cast<LockLevel>(i)); |
| 94 | if (held_mutex != nullptr && |
| 95 | held_mutex != Locks::mutator_lock_ && |
| 96 | held_mutex != cond_var_mutex) { |
Hiroshi Yamauchi | 8a43324 | 2017-03-07 14:39:22 -0800 | [diff] [blame] | 97 | CHECK(Locks::IsExpectedOnWeakRefAccess(held_mutex)) |
Hiroshi Yamauchi | a222404 | 2017-02-08 16:35:45 -0800 | [diff] [blame] | 98 | << "Holding unexpected mutex " << held_mutex->GetName() |
| 99 | << " when accessing weak ref"; |
| 100 | } |
| 101 | } |
| 102 | } |
| 103 | } else { |
| 104 | break; |
| 105 | } |
| 106 | } |
| 107 | } |
| 108 | |
| 109 | inline void Thread::CheckEmptyCheckpointFromMutex() { |
Hiroshi Yamauchi | 3049324 | 2016-11-03 13:06:52 -0700 | [diff] [blame] | 110 | DCHECK_EQ(Thread::Current(), this); |
| 111 | for (;;) { |
| 112 | if (ReadFlag(kEmptyCheckpointRequest)) { |
| 113 | RunEmptyCheckpoint(); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 114 | } else { |
| 115 | break; |
| 116 | } |
| 117 | } |
| 118 | } |
| 119 | |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 120 | inline ThreadState Thread::SetState(ThreadState new_state) { |
Yu Li | eac4424 | 2015-06-29 10:50:03 +0800 | [diff] [blame] | 121 | // Should only be used to change between suspended states. |
| 122 | // Cannot use this code to change into or from Runnable as changing to Runnable should |
| 123 | // fail if old_state_and_flags.suspend_request is true and changing from Runnable might |
| 124 | // miss passing an active suspend barrier. |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 125 | DCHECK_NE(new_state, kRunnable); |
Andreas Gampe | ef048f6 | 2014-11-25 22:12:27 -0800 | [diff] [blame] | 126 | if (kIsDebugBuild && this != Thread::Current()) { |
| 127 | std::string name; |
| 128 | GetThreadName(name); |
| 129 | LOG(FATAL) << "Thread \"" << name << "\"(" << this << " != Thread::Current()=" |
| 130 | << Thread::Current() << ") changing state to " << new_state; |
| 131 | } |
Chris Dearman | 59cde53 | 2013-12-04 18:53:49 -0800 | [diff] [blame] | 132 | union StateAndFlags old_state_and_flags; |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 133 | old_state_and_flags.as_int = tls32_.state_and_flags.as_int; |
Yu Li | eac4424 | 2015-06-29 10:50:03 +0800 | [diff] [blame] | 134 | CHECK_NE(old_state_and_flags.as_struct.state, kRunnable); |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 135 | tls32_.state_and_flags.as_struct.state = new_state; |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 136 | return static_cast<ThreadState>(old_state_and_flags.as_struct.state); |
| 137 | } |
| 138 | |
Mathieu Chartier | 10b218d | 2016-07-25 17:48:52 -0700 | [diff] [blame] | 139 | inline bool Thread::IsThreadSuspensionAllowable() const { |
| 140 | if (tls32_.no_thread_suspension != 0) { |
| 141 | return false; |
| 142 | } |
| 143 | for (int i = kLockLevelCount - 1; i >= 0; --i) { |
| 144 | if (i != kMutatorLock && GetHeldMutex(static_cast<LockLevel>(i)) != nullptr) { |
| 145 | return false; |
| 146 | } |
| 147 | } |
| 148 | return true; |
| 149 | } |
| 150 | |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 151 | inline void Thread::AssertThreadSuspensionIsAllowable(bool check_locks) const { |
Ian Rogers | f3d874c | 2014-07-17 18:52:42 -0700 | [diff] [blame] | 152 | if (kIsDebugBuild) { |
Nicolas Geoffray | db97871 | 2014-12-09 13:33:38 +0000 | [diff] [blame] | 153 | if (gAborting == 0) { |
| 154 | CHECK_EQ(0u, tls32_.no_thread_suspension) << tlsPtr_.last_no_thread_suspension_cause; |
| 155 | } |
Ian Rogers | f3d874c | 2014-07-17 18:52:42 -0700 | [diff] [blame] | 156 | if (check_locks) { |
| 157 | bool bad_mutexes_held = false; |
| 158 | for (int i = kLockLevelCount - 1; i >= 0; --i) { |
| 159 | // We expect no locks except the mutator_lock_ or thread list suspend thread lock. |
Ian Rogers | 4ad5cd3 | 2014-11-11 23:08:07 -0800 | [diff] [blame] | 160 | if (i != kMutatorLock) { |
Ian Rogers | f3d874c | 2014-07-17 18:52:42 -0700 | [diff] [blame] | 161 | BaseMutex* held_mutex = GetHeldMutex(static_cast<LockLevel>(i)); |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 162 | if (held_mutex != nullptr) { |
Ian Rogers | f3d874c | 2014-07-17 18:52:42 -0700 | [diff] [blame] | 163 | LOG(ERROR) << "holding \"" << held_mutex->GetName() |
| 164 | << "\" at point where thread suspension is expected"; |
| 165 | bad_mutexes_held = true; |
| 166 | } |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 167 | } |
| 168 | } |
Nicolas Geoffray | db97871 | 2014-12-09 13:33:38 +0000 | [diff] [blame] | 169 | if (gAborting == 0) { |
| 170 | CHECK(!bad_mutexes_held); |
| 171 | } |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 172 | } |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 173 | } |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 174 | } |
| 175 | |
Mathieu Chartier | 8ac9c91 | 2015-10-01 15:58:41 -0700 | [diff] [blame] | 176 | inline void Thread::TransitionToSuspendedAndRunCheckpoints(ThreadState new_state) { |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 177 | DCHECK_NE(new_state, kRunnable); |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 178 | DCHECK_EQ(GetState(), kRunnable); |
| 179 | union StateAndFlags old_state_and_flags; |
| 180 | union StateAndFlags new_state_and_flags; |
Dave Allison | 0f5f6bb | 2013-11-22 17:39:19 -0800 | [diff] [blame] | 181 | while (true) { |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 182 | old_state_and_flags.as_int = tls32_.state_and_flags.as_int; |
Ian Rogers | d9c4fc9 | 2013-10-01 19:45:43 -0700 | [diff] [blame] | 183 | if (UNLIKELY((old_state_and_flags.as_struct.flags & kCheckpointRequest) != 0)) { |
| 184 | RunCheckpointFunction(); |
| 185 | continue; |
| 186 | } |
Hiroshi Yamauchi | 3049324 | 2016-11-03 13:06:52 -0700 | [diff] [blame] | 187 | if (UNLIKELY((old_state_and_flags.as_struct.flags & kEmptyCheckpointRequest) != 0)) { |
| 188 | RunEmptyCheckpoint(); |
| 189 | continue; |
| 190 | } |
Dave Allison | 0f5f6bb | 2013-11-22 17:39:19 -0800 | [diff] [blame] | 191 | // Change the state but keep the current flags (kCheckpointRequest is clear). |
| 192 | DCHECK_EQ((old_state_and_flags.as_struct.flags & kCheckpointRequest), 0); |
Hiroshi Yamauchi | 3049324 | 2016-11-03 13:06:52 -0700 | [diff] [blame] | 193 | DCHECK_EQ((old_state_and_flags.as_struct.flags & kEmptyCheckpointRequest), 0); |
Dave Allison | 0f5f6bb | 2013-11-22 17:39:19 -0800 | [diff] [blame] | 194 | new_state_and_flags.as_struct.flags = old_state_and_flags.as_struct.flags; |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 195 | new_state_and_flags.as_struct.state = new_state; |
Ian Rogers | b8e087e | 2014-07-09 21:12:06 -0700 | [diff] [blame] | 196 | |
Yu Li | eac4424 | 2015-06-29 10:50:03 +0800 | [diff] [blame] | 197 | // CAS the value with a memory ordering. |
Ian Rogers | b8e087e | 2014-07-09 21:12:06 -0700 | [diff] [blame] | 198 | bool done = |
Yu Li | eac4424 | 2015-06-29 10:50:03 +0800 | [diff] [blame] | 199 | tls32_.state_and_flags.as_atomic_int.CompareExchangeWeakRelease(old_state_and_flags.as_int, |
Ian Rogers | b8e087e | 2014-07-09 21:12:06 -0700 | [diff] [blame] | 200 | new_state_and_flags.as_int); |
| 201 | if (LIKELY(done)) { |
Dave Allison | 0f5f6bb | 2013-11-22 17:39:19 -0800 | [diff] [blame] | 202 | break; |
| 203 | } |
| 204 | } |
Mathieu Chartier | 8ac9c91 | 2015-10-01 15:58:41 -0700 | [diff] [blame] | 205 | } |
Yu Li | eac4424 | 2015-06-29 10:50:03 +0800 | [diff] [blame] | 206 | |
Mathieu Chartier | 8ac9c91 | 2015-10-01 15:58:41 -0700 | [diff] [blame] | 207 | inline void Thread::PassActiveSuspendBarriers() { |
Yu Li | eac4424 | 2015-06-29 10:50:03 +0800 | [diff] [blame] | 208 | while (true) { |
| 209 | uint16_t current_flags = tls32_.state_and_flags.as_struct.flags; |
Hiroshi Yamauchi | 3049324 | 2016-11-03 13:06:52 -0700 | [diff] [blame] | 210 | if (LIKELY((current_flags & |
| 211 | (kCheckpointRequest | kEmptyCheckpointRequest | kActiveSuspendBarrier)) == 0)) { |
Yu Li | eac4424 | 2015-06-29 10:50:03 +0800 | [diff] [blame] | 212 | break; |
| 213 | } else if ((current_flags & kActiveSuspendBarrier) != 0) { |
| 214 | PassActiveSuspendBarriers(this); |
| 215 | } else { |
| 216 | // Impossible |
Mathieu Chartier | 8ac9c91 | 2015-10-01 15:58:41 -0700 | [diff] [blame] | 217 | LOG(FATAL) << "Fatal, thread transitioned into suspended without running the checkpoint"; |
Yu Li | eac4424 | 2015-06-29 10:50:03 +0800 | [diff] [blame] | 218 | } |
| 219 | } |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 220 | } |
| 221 | |
Mathieu Chartier | 8ac9c91 | 2015-10-01 15:58:41 -0700 | [diff] [blame] | 222 | inline void Thread::TransitionFromRunnableToSuspended(ThreadState new_state) { |
| 223 | AssertThreadSuspensionIsAllowable(); |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 224 | PoisonObjectPointersIfDebug(); |
Mathieu Chartier | 8ac9c91 | 2015-10-01 15:58:41 -0700 | [diff] [blame] | 225 | DCHECK_EQ(this, Thread::Current()); |
| 226 | // Change to non-runnable state, thereby appearing suspended to the system. |
| 227 | TransitionToSuspendedAndRunCheckpoints(new_state); |
| 228 | // Mark the release of the share of the mutator_lock_. |
| 229 | Locks::mutator_lock_->TransitionFromRunnableToSuspended(this); |
| 230 | // Once suspended - check the active suspend barrier flag |
| 231 | PassActiveSuspendBarriers(); |
| 232 | } |
| 233 | |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 234 | inline ThreadState Thread::TransitionFromSuspendedToRunnable() { |
Chris Dearman | 59cde53 | 2013-12-04 18:53:49 -0800 | [diff] [blame] | 235 | union StateAndFlags old_state_and_flags; |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 236 | old_state_and_flags.as_int = tls32_.state_and_flags.as_int; |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 237 | int16_t old_state = old_state_and_flags.as_struct.state; |
| 238 | DCHECK_NE(static_cast<ThreadState>(old_state), kRunnable); |
| 239 | do { |
| 240 | Locks::mutator_lock_->AssertNotHeld(this); // Otherwise we starve GC.. |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 241 | old_state_and_flags.as_int = tls32_.state_and_flags.as_int; |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 242 | DCHECK_EQ(old_state_and_flags.as_struct.state, old_state); |
Yu Li | eac4424 | 2015-06-29 10:50:03 +0800 | [diff] [blame] | 243 | if (LIKELY(old_state_and_flags.as_struct.flags == 0)) { |
| 244 | // Optimize for the return from native code case - this is the fast path. |
| 245 | // Atomically change from suspended to runnable if no suspend request pending. |
| 246 | union StateAndFlags new_state_and_flags; |
| 247 | new_state_and_flags.as_int = old_state_and_flags.as_int; |
| 248 | new_state_and_flags.as_struct.state = kRunnable; |
| 249 | // CAS the value with a memory barrier. |
| 250 | if (LIKELY(tls32_.state_and_flags.as_atomic_int.CompareExchangeWeakAcquire( |
| 251 | old_state_and_flags.as_int, |
| 252 | new_state_and_flags.as_int))) { |
| 253 | // Mark the acquisition of a share of the mutator_lock_. |
| 254 | Locks::mutator_lock_->TransitionFromSuspendedToRunnable(this); |
| 255 | break; |
| 256 | } |
| 257 | } else if ((old_state_and_flags.as_struct.flags & kActiveSuspendBarrier) != 0) { |
| 258 | PassActiveSuspendBarriers(this); |
Hiroshi Yamauchi | 3049324 | 2016-11-03 13:06:52 -0700 | [diff] [blame] | 259 | } else if ((old_state_and_flags.as_struct.flags & |
| 260 | (kCheckpointRequest | kEmptyCheckpointRequest)) != 0) { |
Yu Li | eac4424 | 2015-06-29 10:50:03 +0800 | [diff] [blame] | 261 | // Impossible |
Mathieu Chartier | dabdccc | 2015-10-01 14:46:29 -0700 | [diff] [blame] | 262 | LOG(FATAL) << "Transitioning to runnable with checkpoint flag, " |
| 263 | << " flags=" << old_state_and_flags.as_struct.flags |
| 264 | << " state=" << old_state_and_flags.as_struct.state; |
Yu Li | eac4424 | 2015-06-29 10:50:03 +0800 | [diff] [blame] | 265 | } else if ((old_state_and_flags.as_struct.flags & kSuspendRequest) != 0) { |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 266 | // Wait while our suspend count is non-zero. |
Nicolas Geoffray | 9f5f8ac | 2016-06-29 14:39:59 +0100 | [diff] [blame] | 267 | |
| 268 | // We pass null to the MutexLock as we may be in a situation where the |
| 269 | // runtime is shutting down. Guarding ourselves from that situation |
| 270 | // requires to take the shutdown lock, which is undesirable here. |
| 271 | Thread* thread_to_pass = nullptr; |
| 272 | if (kIsDebugBuild && !IsDaemon()) { |
| 273 | // We know we can make our debug locking checks on non-daemon threads, |
| 274 | // so re-enable them on debug builds. |
| 275 | thread_to_pass = this; |
| 276 | } |
| 277 | MutexLock mu(thread_to_pass, *Locks::thread_suspend_count_lock_); |
Hiroshi Yamauchi | ee23582 | 2016-08-19 17:03:27 -0700 | [diff] [blame] | 278 | ScopedTransitioningToRunnable scoped_transitioning_to_runnable(this); |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 279 | old_state_and_flags.as_int = tls32_.state_and_flags.as_int; |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 280 | DCHECK_EQ(old_state_and_flags.as_struct.state, old_state); |
| 281 | while ((old_state_and_flags.as_struct.flags & kSuspendRequest) != 0) { |
| 282 | // Re-check when Thread::resume_cond_ is notified. |
Nicolas Geoffray | 9f5f8ac | 2016-06-29 14:39:59 +0100 | [diff] [blame] | 283 | Thread::resume_cond_->Wait(thread_to_pass); |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 284 | old_state_and_flags.as_int = tls32_.state_and_flags.as_int; |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 285 | DCHECK_EQ(old_state_and_flags.as_struct.state, old_state); |
| 286 | } |
| 287 | DCHECK_EQ(GetSuspendCount(), 0); |
| 288 | } |
Ian Rogers | 719d1a3 | 2014-03-06 12:13:39 -0800 | [diff] [blame] | 289 | } while (true); |
Yu Li | eac4424 | 2015-06-29 10:50:03 +0800 | [diff] [blame] | 290 | // Run the flip function, if set. |
| 291 | Closure* flip_func = GetFlipFunction(); |
| 292 | if (flip_func != nullptr) { |
| 293 | flip_func->Run(this); |
| 294 | } |
| 295 | return static_cast<ThreadState>(old_state); |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 296 | } |
| 297 | |
Ian Rogers | 04d7aa9 | 2013-03-16 14:29:17 -0700 | [diff] [blame] | 298 | inline void Thread::VerifyStack() { |
Mathieu Chartier | 4e30541 | 2014-02-19 10:54:44 -0800 | [diff] [blame] | 299 | if (kVerifyStack) { |
| 300 | if (Runtime::Current()->GetHeap()->IsObjectValidationEnabled()) { |
| 301 | VerifyStackImpl(); |
| 302 | } |
Ian Rogers | 04d7aa9 | 2013-03-16 14:29:17 -0700 | [diff] [blame] | 303 | } |
| 304 | } |
| 305 | |
Mathieu Chartier | e6da9af | 2013-12-16 11:54:42 -0800 | [diff] [blame] | 306 | inline size_t Thread::TlabSize() const { |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 307 | return tlsPtr_.thread_local_end - tlsPtr_.thread_local_pos; |
Mathieu Chartier | 692fafd | 2013-11-29 17:24:40 -0800 | [diff] [blame] | 308 | } |
| 309 | |
Mathieu Chartier | e6da9af | 2013-12-16 11:54:42 -0800 | [diff] [blame] | 310 | inline mirror::Object* Thread::AllocTlab(size_t bytes) { |
| 311 | DCHECK_GE(TlabSize(), bytes); |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 312 | ++tlsPtr_.thread_local_objects; |
| 313 | mirror::Object* ret = reinterpret_cast<mirror::Object*>(tlsPtr_.thread_local_pos); |
| 314 | tlsPtr_.thread_local_pos += bytes; |
Mathieu Chartier | 692fafd | 2013-11-29 17:24:40 -0800 | [diff] [blame] | 315 | return ret; |
| 316 | } |
| 317 | |
Hiroshi Yamauchi | f5b0e20 | 2014-02-11 17:02:22 -0800 | [diff] [blame] | 318 | inline bool Thread::PushOnThreadLocalAllocationStack(mirror::Object* obj) { |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 319 | DCHECK_LE(tlsPtr_.thread_local_alloc_stack_top, tlsPtr_.thread_local_alloc_stack_end); |
| 320 | if (tlsPtr_.thread_local_alloc_stack_top < tlsPtr_.thread_local_alloc_stack_end) { |
Hiroshi Yamauchi | f5b0e20 | 2014-02-11 17:02:22 -0800 | [diff] [blame] | 321 | // There's room. |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 322 | DCHECK_LE(reinterpret_cast<uint8_t*>(tlsPtr_.thread_local_alloc_stack_top) + |
Mathieu Chartier | cb535da | 2015-01-23 13:50:03 -0800 | [diff] [blame] | 323 | sizeof(StackReference<mirror::Object>), |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 324 | reinterpret_cast<uint8_t*>(tlsPtr_.thread_local_alloc_stack_end)); |
Mathieu Chartier | cb535da | 2015-01-23 13:50:03 -0800 | [diff] [blame] | 325 | DCHECK(tlsPtr_.thread_local_alloc_stack_top->AsMirrorPtr() == nullptr); |
| 326 | tlsPtr_.thread_local_alloc_stack_top->Assign(obj); |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 327 | ++tlsPtr_.thread_local_alloc_stack_top; |
Hiroshi Yamauchi | f5b0e20 | 2014-02-11 17:02:22 -0800 | [diff] [blame] | 328 | return true; |
| 329 | } |
| 330 | return false; |
| 331 | } |
| 332 | |
Mathieu Chartier | cb535da | 2015-01-23 13:50:03 -0800 | [diff] [blame] | 333 | inline void Thread::SetThreadLocalAllocationStack(StackReference<mirror::Object>* start, |
| 334 | StackReference<mirror::Object>* end) { |
Hiroshi Yamauchi | f5b0e20 | 2014-02-11 17:02:22 -0800 | [diff] [blame] | 335 | DCHECK(Thread::Current() == this) << "Should be called by self"; |
| 336 | DCHECK(start != nullptr); |
| 337 | DCHECK(end != nullptr); |
Mathieu Chartier | cb535da | 2015-01-23 13:50:03 -0800 | [diff] [blame] | 338 | DCHECK_ALIGNED(start, sizeof(StackReference<mirror::Object>)); |
| 339 | DCHECK_ALIGNED(end, sizeof(StackReference<mirror::Object>)); |
Hiroshi Yamauchi | f5b0e20 | 2014-02-11 17:02:22 -0800 | [diff] [blame] | 340 | DCHECK_LT(start, end); |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 341 | tlsPtr_.thread_local_alloc_stack_end = end; |
| 342 | tlsPtr_.thread_local_alloc_stack_top = start; |
Hiroshi Yamauchi | f5b0e20 | 2014-02-11 17:02:22 -0800 | [diff] [blame] | 343 | } |
| 344 | |
| 345 | inline void Thread::RevokeThreadLocalAllocationStack() { |
| 346 | if (kIsDebugBuild) { |
| 347 | // Note: self is not necessarily equal to this thread since thread may be suspended. |
| 348 | Thread* self = Thread::Current(); |
| 349 | DCHECK(this == self || IsSuspended() || GetState() == kWaitingPerformingGc) |
| 350 | << GetState() << " thread " << this << " self " << self; |
| 351 | } |
Ian Rogers | dd7624d | 2014-03-14 17:43:00 -0700 | [diff] [blame] | 352 | tlsPtr_.thread_local_alloc_stack_end = nullptr; |
| 353 | tlsPtr_.thread_local_alloc_stack_top = nullptr; |
Hiroshi Yamauchi | f5b0e20 | 2014-02-11 17:02:22 -0800 | [diff] [blame] | 354 | } |
| 355 | |
Mathieu Chartier | a59d9b2 | 2016-09-26 18:13:17 -0700 | [diff] [blame] | 356 | inline void Thread::PoisonObjectPointersIfDebug() { |
Andreas Gampe | c73cb64 | 2017-02-22 10:11:30 -0800 | [diff] [blame] | 357 | if (kObjPtrPoisoning) { |
Mathieu Chartier | a59d9b2 | 2016-09-26 18:13:17 -0700 | [diff] [blame] | 358 | Thread::Current()->PoisonObjectPointers(); |
| 359 | } |
| 360 | } |
| 361 | |
Hiroshi Yamauchi | 02e7f1a | 2016-10-03 15:32:01 -0700 | [diff] [blame] | 362 | inline bool Thread::ModifySuspendCount(Thread* self, |
| 363 | int delta, |
| 364 | AtomicInteger* suspend_barrier, |
| 365 | bool for_debugger) { |
| 366 | if (delta > 0 && ((kUseReadBarrier && this != self) || suspend_barrier != nullptr)) { |
| 367 | // When delta > 0 (requesting a suspend), ModifySuspendCountInternal() may fail either if |
| 368 | // active_suspend_barriers is full or we are in the middle of a thread flip. Retry in a loop. |
| 369 | while (true) { |
| 370 | if (LIKELY(ModifySuspendCountInternal(self, delta, suspend_barrier, for_debugger))) { |
| 371 | return true; |
| 372 | } else { |
| 373 | // Failure means the list of active_suspend_barriers is full or we are in the middle of a |
| 374 | // thread flip, we should release the thread_suspend_count_lock_ (to avoid deadlock) and |
| 375 | // wait till the target thread has executed or Thread::PassActiveSuspendBarriers() or the |
| 376 | // flip function. Note that we could not simply wait for the thread to change to a suspended |
| 377 | // state, because it might need to run checkpoint function before the state change or |
| 378 | // resumes from the resume_cond_, which also needs thread_suspend_count_lock_. |
| 379 | // |
| 380 | // The list of active_suspend_barriers is very unlikely to be full since more than |
| 381 | // kMaxSuspendBarriers threads need to execute SuspendAllInternal() simultaneously, and |
| 382 | // target thread stays in kRunnable in the mean time. |
| 383 | Locks::thread_suspend_count_lock_->ExclusiveUnlock(self); |
| 384 | NanoSleep(100000); |
| 385 | Locks::thread_suspend_count_lock_->ExclusiveLock(self); |
| 386 | } |
| 387 | } |
| 388 | } else { |
| 389 | return ModifySuspendCountInternal(self, delta, suspend_barrier, for_debugger); |
| 390 | } |
| 391 | } |
| 392 | |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 393 | } // namespace art |
| 394 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 395 | #endif // ART_RUNTIME_THREAD_INL_H_ |