blob: b5d214def41f1d251c569dcb5119a4563c7944f6 [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 Shapirob5573532011-07-12 18:22:59 -070016
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070017#include "thread.h"
Carl Shapirob5573532011-07-12 18:22:59 -070018
Brian Carlstrom640a1042017-03-20 15:03:42 -070019#if !defined(__APPLE__)
20#include <sched.h>
21#endif
22
Ian Rogersb033c752011-07-20 12:22:35 -070023#include <pthread.h>
Elliott Hughes2acf36d2012-04-17 13:30:13 -070024#include <signal.h>
Brian Carlstromdbf05b72011-12-15 00:55:24 -080025#include <sys/resource.h>
26#include <sys/time.h>
Elliott Hughesa0957642011-09-02 14:27:33 -070027
Evgenii Stepanov9b7656d2018-08-21 15:18:49 -070028#if __has_feature(hwaddress_sanitizer)
29#include <sanitizer/hwasan_interface.h>
30#else
31#define __hwasan_tag_pointer(p, t) (p)
32#endif
33
Carl Shapirob5573532011-07-12 18:22:59 -070034#include <algorithm>
Elliott Hughesdcc24742011-09-07 14:02:44 -070035#include <bitset>
Elliott Hugheseb4f6142011-07-15 17:43:51 -070036#include <cerrno>
Elliott Hughesa0957642011-09-02 14:27:33 -070037#include <iostream>
Carl Shapirob5573532011-07-12 18:22:59 -070038#include <list>
Ian Rogersc7dd2952014-10-21 23:31:19 -070039#include <sstream>
Carl Shapirob5573532011-07-12 18:22:59 -070040
Andreas Gampe46ee31b2016-12-14 10:11:49 -080041#include "android-base/stringprintf.h"
42
Mathieu Chartiera62b4532017-04-26 13:16:25 -070043#include "arch/context-inl.h"
Steven Morelande431e272017-07-18 16:53:49 -070044#include "arch/context.h"
Mathieu Chartierc7853442015-03-27 14:35:38 -070045#include "art_field-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070046#include "art_method-inl.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010047#include "base/bit_utils.h"
Vladimir Marko78baed52018-10-11 10:44:58 +010048#include "base/casts.h"
David Sehr891a50e2017-10-27 17:01:07 -070049#include "base/file_utils.h"
Evgenii Stepanov1e133742015-05-20 12:30:59 -070050#include "base/memory_tool.h"
Elliott Hughes76b61672012-12-12 17:47:30 -080051#include "base/mutex.h"
Alex Light184f0752018-07-13 11:18:22 -070052#include "base/stl_util.h"
Steven Morelande431e272017-07-18 16:53:49 -070053#include "base/systrace.h"
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -080054#include "base/timing_logger.h"
Ian Rogersc7dd2952014-10-21 23:31:19 -070055#include "base/to_str.h"
David Sehrc431b9d2018-03-02 12:01:51 -080056#include "base/utils.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080057#include "class_linker-inl.h"
Vladimir Markob4eb1b12018-05-24 11:09:38 +010058#include "class_root.h"
Elliott Hughes46e251b2012-05-22 15:10:45 -070059#include "debugger.h"
David Sehrb2ec9f52018-02-21 13:20:31 -080060#include "dex/descriptors_names.h"
David Sehr9e734c72018-01-04 17:56:19 -080061#include "dex/dex_file-inl.h"
62#include "dex/dex_file_annotations.h"
63#include "dex/dex_file_types.h"
Ian Rogers7655f292013-07-29 11:07:13 -070064#include "entrypoints/entrypoint_utils.h"
Mathieu Chartierd8891782014-03-02 13:28:37 -080065#include "entrypoints/quick/quick_alloc_entrypoints.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070066#include "gc/accounting/card_table-inl.h"
Roland Levillain1fbd4522016-03-22 15:52:22 +000067#include "gc/accounting/heap_bitmap-inl.h"
Ian Rogerse63db272014-07-15 15:36:11 -070068#include "gc/allocator/rosalloc.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070069#include "gc/heap.h"
Mathieu Chartierd5f3f322016-03-21 14:05:56 -070070#include "gc/space/space-inl.h"
Andreas Gampe513061a2017-06-01 09:17:34 -070071#include "gc_root.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070072#include "handle_scope-inl.h"
Mathieu Chartierc56057e2014-05-04 13:18:58 -070073#include "indirect_reference_table-inl.h"
Steven Morelande431e272017-07-18 16:53:49 -070074#include "interpreter/interpreter.h"
David Srbecky28f6cff2018-10-16 15:07:28 +010075#include "interpreter/mterp/mterp.h"
Vladimir Marko6ec2a1b2018-05-22 15:33:48 +010076#include "interpreter/shadow_frame-inl.h"
Andreas Gampe36a296f2017-06-13 14:11:11 -070077#include "java_frame_root_info.h"
Vladimir Markoa3ad0cd2018-05-04 10:06:38 +010078#include "jni/java_vm_ext.h"
79#include "jni/jni_internal.h"
Andreas Gampe70f5fd02018-10-24 19:58:37 -070080#include "mirror/class-alloc-inl.h"
Steven Morelande431e272017-07-18 16:53:49 -070081#include "mirror/class_loader.h"
Andreas Gampe52ecb652018-10-24 15:18:21 -070082#include "mirror/object_array-alloc-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080083#include "mirror/object_array-inl.h"
84#include "mirror/stack_trace_element.h"
Elliott Hughes8e4aac52011-09-26 17:03:36 -070085#include "monitor.h"
Andreas Gampe93104952017-12-13 17:13:15 -080086#include "monitor_objects_stack_visitor.h"
Andreas Gampe5dd44d02016-08-02 17:20:03 -070087#include "native_stack_dump.h"
Andreas Gampe373a9b52017-10-18 09:01:57 -070088#include "nativehelper/scoped_local_ref.h"
89#include "nativehelper/scoped_utf_chars.h"
Mingyao Yangf711f2c2016-05-23 12:29:39 -070090#include "nth_caller_visitor.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010091#include "oat_quick_method_header.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070092#include "obj_ptr-inl.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070093#include "object_lock.h"
Vladimir Marko7624d252014-05-02 14:40:15 +010094#include "quick/quick_method_frame_info.h"
Steven Morelande431e272017-07-18 16:53:49 -070095#include "quick_exception_handler.h"
Andreas Gampe202f85a2017-02-06 10:23:26 -080096#include "read_barrier-inl.h"
Jesse Wilson9a6bae82011-11-14 14:57:30 -050097#include "reflection.h"
David Srbecky28f6cff2018-10-16 15:07:28 +010098#include "runtime-inl.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070099#include "runtime.h"
Andreas Gampeac30fa22017-01-18 21:02:36 -0800100#include "runtime_callbacks.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -0700101#include "scoped_thread_state_change-inl.h"
Elliott Hughes68e76522011-10-05 13:22:16 -0700102#include "stack.h"
Nicolas Geoffray6bc43742015-10-12 18:11:10 +0100103#include "stack_map.h"
Ian Rogers22d5e732014-07-15 22:23:51 -0700104#include "thread-inl.h"
Steven Morelande431e272017-07-18 16:53:49 -0700105#include "thread_list.h"
Mathieu Chartier12d625f2015-03-13 11:33:37 -0700106#include "verifier/method_verifier.h"
Andreas Gampe90b936d2017-01-31 08:58:55 -0800107#include "verify_object.h"
Elliott Hugheseac76672012-05-24 21:56:51 -0700108#include "well_known_classes.h"
Carl Shapirob5573532011-07-12 18:22:59 -0700109
Yu Lieac44242015-06-29 10:50:03 +0800110#if ART_USE_FUTEXES
111#include "linux/futex.h"
112#include "sys/syscall.h"
113#ifndef SYS_futex
114#define SYS_futex __NR_futex
115#endif
116#endif // ART_USE_FUTEXES
117
Carl Shapirob5573532011-07-12 18:22:59 -0700118namespace art {
119
Andreas Gampe46ee31b2016-12-14 10:11:49 -0800120using android::base::StringAppendV;
121using android::base::StringPrintf;
122
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700123extern "C" NO_RETURN void artDeoptimize(Thread* self);
124
Ian Rogers0878d652013-04-18 17:38:35 -0700125bool Thread::is_started_ = false;
Carl Shapirob5573532011-07-12 18:22:59 -0700126pthread_key_t Thread::pthread_key_self_;
Dave Allison0aded082013-11-07 13:15:11 -0800127ConditionVariable* Thread::resume_cond_ = nullptr;
Dave Allison648d7112014-07-25 16:15:27 -0700128const size_t Thread::kStackOverflowImplicitCheckSize = GetStackOverflowReservedBytes(kRuntimeISA);
Calin Juravleb2771b42016-04-07 17:09:25 +0100129bool (*Thread::is_sensitive_thread_hook_)() = nullptr;
Calin Juravle97cbc922016-04-15 16:16:35 +0100130Thread* Thread::jit_sensitive_thread_ = nullptr;
Calin Juravleb2771b42016-04-07 17:09:25 +0100131
Mathieu Chartierb0026b42016-03-31 15:05:45 -0700132static constexpr bool kVerifyImageObjectsMarked = kIsDebugBuild;
Carl Shapirob5573532011-07-12 18:22:59 -0700133
Evgenii Stepanov1e133742015-05-20 12:30:59 -0700134// For implicit overflow checks we reserve an extra piece of memory at the bottom
135// of the stack (lowest memory). The higher portion of the memory
136// is protected against reads and the lower is available for use while
137// throwing the StackOverflow exception.
138constexpr size_t kStackOverflowProtectedSize = 4 * kMemoryToolStackGuardSizeScale * KB;
139
Elliott Hughes7dc51662012-05-16 14:48:43 -0700140static const char* kThreadNameDuringStartup = "<native thread without managed peer>";
141
Ian Rogers5d76c432011-10-31 21:42:49 -0700142void Thread::InitCardTable() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700143 tlsPtr_.card_table = Runtime::Current()->GetHeap()->GetCardTable()->GetBiasedBegin();
Ian Rogers5d76c432011-10-31 21:42:49 -0700144}
145
Elliott Hughes3ea0f422012-04-16 17:01:43 -0700146static void UnimplementedEntryPoint() {
147 UNIMPLEMENTED(FATAL);
148}
149
Andreas Gampe3cfa4d02015-10-06 17:04:01 -0700150void InitEntryPoints(JniEntryPoints* jpoints, QuickEntryPoints* qpoints);
Mathieu Chartier3768ade2017-05-02 14:04:39 -0700151void UpdateReadBarrierEntrypoints(QuickEntryPoints* qpoints, bool is_active);
Mathieu Chartierfe814e82016-11-09 14:32:49 -0800152
153void Thread::SetIsGcMarkingAndUpdateEntrypoints(bool is_marking) {
154 CHECK(kUseReadBarrier);
155 tls32_.is_gc_marking = is_marking;
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700156 UpdateReadBarrierEntrypoints(&tlsPtr_.quick_entrypoints, /* is_active= */ is_marking);
Mathieu Chartier5ace2012016-11-30 10:15:41 -0800157 ResetQuickAllocEntryPointsForThread(is_marking);
Mathieu Chartierfe814e82016-11-09 14:32:49 -0800158}
Ian Rogers7655f292013-07-29 11:07:13 -0700159
Ian Rogers848871b2013-08-05 10:56:33 -0700160void Thread::InitTlsEntryPoints() {
Elliott Hughes3ea0f422012-04-16 17:01:43 -0700161 // Insert a placeholder so we can easily tell if we call an unimplemented entry point.
Andreas Gampe3cfa4d02015-10-06 17:04:01 -0700162 uintptr_t* begin = reinterpret_cast<uintptr_t*>(&tlsPtr_.jni_entrypoints);
Mathieu Chartier5ace2012016-11-30 10:15:41 -0800163 uintptr_t* end = reinterpret_cast<uintptr_t*>(
164 reinterpret_cast<uint8_t*>(&tlsPtr_.quick_entrypoints) + sizeof(tlsPtr_.quick_entrypoints));
Ian Rogers7655f292013-07-29 11:07:13 -0700165 for (uintptr_t* it = begin; it != end; ++it) {
166 *it = reinterpret_cast<uintptr_t>(UnimplementedEntryPoint);
167 }
Andreas Gampe3cfa4d02015-10-06 17:04:01 -0700168 InitEntryPoints(&tlsPtr_.jni_entrypoints, &tlsPtr_.quick_entrypoints);
Elliott Hughesc0f09332012-03-26 13:27:06 -0700169}
170
Mathieu Chartier5ace2012016-11-30 10:15:41 -0800171void Thread::ResetQuickAllocEntryPointsForThread(bool is_marking) {
Vladimir Marko33bff252017-11-01 14:35:42 +0000172 if (kUseReadBarrier && kRuntimeISA != InstructionSet::kX86_64) {
Mathieu Chartier5ace2012016-11-30 10:15:41 -0800173 // Allocation entrypoint switching is currently only implemented for X86_64.
174 is_marking = true;
175 }
176 ResetQuickAllocEntryPoints(&tlsPtr_.quick_entrypoints, is_marking);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700177}
178
Sebastien Hertz07474662015-08-25 15:12:33 +0000179class DeoptimizationContextRecord {
Sebastien Hertzf7958692015-06-09 14:09:14 +0200180 public:
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100181 DeoptimizationContextRecord(const JValue& ret_val,
182 bool is_reference,
183 bool from_code,
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800184 ObjPtr<mirror::Throwable> pending_exception,
Mingyao Yang2ee17902017-08-30 11:37:08 -0700185 DeoptimizationMethodType method_type,
Sebastien Hertz07474662015-08-25 15:12:33 +0000186 DeoptimizationContextRecord* link)
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100187 : ret_val_(ret_val),
188 is_reference_(is_reference),
189 from_code_(from_code),
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800190 pending_exception_(pending_exception.Ptr()),
Mingyao Yang2ee17902017-08-30 11:37:08 -0700191 deopt_method_type_(method_type),
Sebastien Hertz07474662015-08-25 15:12:33 +0000192 link_(link) {}
Sebastien Hertzf7958692015-06-09 14:09:14 +0200193
194 JValue GetReturnValue() const { return ret_val_; }
195 bool IsReference() const { return is_reference_; }
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100196 bool GetFromCode() const { return from_code_; }
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800197 ObjPtr<mirror::Throwable> GetPendingException() const { return pending_exception_; }
Sebastien Hertz07474662015-08-25 15:12:33 +0000198 DeoptimizationContextRecord* GetLink() const { return link_; }
199 mirror::Object** GetReturnValueAsGCRoot() {
Sebastien Hertzf7958692015-06-09 14:09:14 +0200200 DCHECK(is_reference_);
201 return ret_val_.GetGCRoot();
202 }
Sebastien Hertz07474662015-08-25 15:12:33 +0000203 mirror::Object** GetPendingExceptionAsGCRoot() {
204 return reinterpret_cast<mirror::Object**>(&pending_exception_);
205 }
Mingyao Yang2ee17902017-08-30 11:37:08 -0700206 DeoptimizationMethodType GetDeoptimizationMethodType() const {
207 return deopt_method_type_;
208 }
Sebastien Hertzf7958692015-06-09 14:09:14 +0200209
210 private:
Sebastien Hertz07474662015-08-25 15:12:33 +0000211 // The value returned by the method at the top of the stack before deoptimization.
Sebastien Hertzf7958692015-06-09 14:09:14 +0200212 JValue ret_val_;
Sebastien Hertz54b62482015-08-20 12:07:57 +0200213
Sebastien Hertz07474662015-08-25 15:12:33 +0000214 // Indicates whether the returned value is a reference. If so, the GC will visit it.
215 const bool is_reference_;
216
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100217 // Whether the context was created from an explicit deoptimization in the code.
218 const bool from_code_;
219
Sebastien Hertz07474662015-08-25 15:12:33 +0000220 // The exception that was pending before deoptimization (or null if there was no pending
221 // exception).
222 mirror::Throwable* pending_exception_;
223
Mingyao Yang2ee17902017-08-30 11:37:08 -0700224 // Whether the context was created for an (idempotent) runtime method.
225 const DeoptimizationMethodType deopt_method_type_;
226
Sebastien Hertz07474662015-08-25 15:12:33 +0000227 // A link to the previous DeoptimizationContextRecord.
228 DeoptimizationContextRecord* const link_;
229
230 DISALLOW_COPY_AND_ASSIGN(DeoptimizationContextRecord);
Sebastien Hertzf7958692015-06-09 14:09:14 +0200231};
232
233class StackedShadowFrameRecord {
234 public:
235 StackedShadowFrameRecord(ShadowFrame* shadow_frame,
236 StackedShadowFrameType type,
237 StackedShadowFrameRecord* link)
238 : shadow_frame_(shadow_frame),
239 type_(type),
240 link_(link) {}
241
242 ShadowFrame* GetShadowFrame() const { return shadow_frame_; }
243 StackedShadowFrameType GetType() const { return type_; }
244 StackedShadowFrameRecord* GetLink() const { return link_; }
245
246 private:
247 ShadowFrame* const shadow_frame_;
248 const StackedShadowFrameType type_;
249 StackedShadowFrameRecord* const link_;
250
251 DISALLOW_COPY_AND_ASSIGN(StackedShadowFrameRecord);
252};
253
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100254void Thread::PushDeoptimizationContext(const JValue& return_value,
255 bool is_reference,
Mingyao Yang2ee17902017-08-30 11:37:08 -0700256 ObjPtr<mirror::Throwable> exception,
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100257 bool from_code,
Mingyao Yang2ee17902017-08-30 11:37:08 -0700258 DeoptimizationMethodType method_type) {
Sebastien Hertz07474662015-08-25 15:12:33 +0000259 DeoptimizationContextRecord* record = new DeoptimizationContextRecord(
260 return_value,
261 is_reference,
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100262 from_code,
Sebastien Hertz07474662015-08-25 15:12:33 +0000263 exception,
Mingyao Yang2ee17902017-08-30 11:37:08 -0700264 method_type,
Sebastien Hertz07474662015-08-25 15:12:33 +0000265 tlsPtr_.deoptimization_context_stack);
266 tlsPtr_.deoptimization_context_stack = record;
buzbee3ea4ec52011-08-22 17:37:19 -0700267}
268
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100269void Thread::PopDeoptimizationContext(JValue* result,
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800270 ObjPtr<mirror::Throwable>* exception,
Mingyao Yang2ee17902017-08-30 11:37:08 -0700271 bool* from_code,
272 DeoptimizationMethodType* method_type) {
Sebastien Hertz07474662015-08-25 15:12:33 +0000273 AssertHasDeoptimizationContext();
274 DeoptimizationContextRecord* record = tlsPtr_.deoptimization_context_stack;
275 tlsPtr_.deoptimization_context_stack = record->GetLink();
276 result->SetJ(record->GetReturnValue().GetJ());
277 *exception = record->GetPendingException();
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100278 *from_code = record->GetFromCode();
Mingyao Yang2ee17902017-08-30 11:37:08 -0700279 *method_type = record->GetDeoptimizationMethodType();
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700280 delete record;
Sebastien Hertz07474662015-08-25 15:12:33 +0000281}
282
283void Thread::AssertHasDeoptimizationContext() {
284 CHECK(tlsPtr_.deoptimization_context_stack != nullptr)
285 << "No deoptimization context for thread " << *this;
Ian Rogers306057f2012-11-26 12:45:53 -0800286}
287
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700288void Thread::PushStackedShadowFrame(ShadowFrame* sf, StackedShadowFrameType type) {
289 StackedShadowFrameRecord* record = new StackedShadowFrameRecord(
290 sf, type, tlsPtr_.stacked_shadow_frame_record);
291 tlsPtr_.stacked_shadow_frame_record = record;
Ian Rogers306057f2012-11-26 12:45:53 -0800292}
293
Andreas Gampe639bdd12015-06-03 11:22:45 -0700294ShadowFrame* Thread::PopStackedShadowFrame(StackedShadowFrameType type, bool must_be_present) {
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700295 StackedShadowFrameRecord* record = tlsPtr_.stacked_shadow_frame_record;
Andreas Gampe639bdd12015-06-03 11:22:45 -0700296 if (must_be_present) {
297 DCHECK(record != nullptr);
Andreas Gampe639bdd12015-06-03 11:22:45 -0700298 } else {
299 if (record == nullptr || record->GetType() != type) {
300 return nullptr;
301 }
302 }
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700303 tlsPtr_.stacked_shadow_frame_record = record->GetLink();
304 ShadowFrame* shadow_frame = record->GetShadowFrame();
305 delete record;
306 return shadow_frame;
Andreas Gampe2a0d4ec2014-06-02 22:05:22 -0700307}
308
Mingyao Yang99170c62015-07-06 11:10:37 -0700309class FrameIdToShadowFrame {
310 public:
311 static FrameIdToShadowFrame* Create(size_t frame_id,
312 ShadowFrame* shadow_frame,
313 FrameIdToShadowFrame* next,
314 size_t num_vregs) {
315 // Append a bool array at the end to keep track of what vregs are updated by the debugger.
316 uint8_t* memory = new uint8_t[sizeof(FrameIdToShadowFrame) + sizeof(bool) * num_vregs];
317 return new (memory) FrameIdToShadowFrame(frame_id, shadow_frame, next);
318 }
319
320 static void Delete(FrameIdToShadowFrame* f) {
321 uint8_t* memory = reinterpret_cast<uint8_t*>(f);
322 delete[] memory;
323 }
324
325 size_t GetFrameId() const { return frame_id_; }
326 ShadowFrame* GetShadowFrame() const { return shadow_frame_; }
327 FrameIdToShadowFrame* GetNext() const { return next_; }
328 void SetNext(FrameIdToShadowFrame* next) { next_ = next; }
329 bool* GetUpdatedVRegFlags() {
330 return updated_vreg_flags_;
331 }
332
333 private:
334 FrameIdToShadowFrame(size_t frame_id,
335 ShadowFrame* shadow_frame,
336 FrameIdToShadowFrame* next)
337 : frame_id_(frame_id),
338 shadow_frame_(shadow_frame),
339 next_(next) {}
340
341 const size_t frame_id_;
342 ShadowFrame* const shadow_frame_;
343 FrameIdToShadowFrame* next_;
344 bool updated_vreg_flags_[0];
345
346 DISALLOW_COPY_AND_ASSIGN(FrameIdToShadowFrame);
347};
348
349static FrameIdToShadowFrame* FindFrameIdToShadowFrame(FrameIdToShadowFrame* head,
350 size_t frame_id) {
351 FrameIdToShadowFrame* found = nullptr;
352 for (FrameIdToShadowFrame* record = head; record != nullptr; record = record->GetNext()) {
353 if (record->GetFrameId() == frame_id) {
354 if (kIsDebugBuild) {
355 // Sanity check we have at most one record for this frame.
356 CHECK(found == nullptr) << "Multiple records for the frame " << frame_id;
357 found = record;
358 } else {
359 return record;
360 }
361 }
362 }
363 return found;
364}
365
366ShadowFrame* Thread::FindDebuggerShadowFrame(size_t frame_id) {
367 FrameIdToShadowFrame* record = FindFrameIdToShadowFrame(
368 tlsPtr_.frame_id_to_shadow_frame, frame_id);
369 if (record != nullptr) {
370 return record->GetShadowFrame();
371 }
372 return nullptr;
373}
374
375// Must only be called when FindDebuggerShadowFrame(frame_id) returns non-nullptr.
376bool* Thread::GetUpdatedVRegFlags(size_t frame_id) {
377 FrameIdToShadowFrame* record = FindFrameIdToShadowFrame(
378 tlsPtr_.frame_id_to_shadow_frame, frame_id);
379 CHECK(record != nullptr);
380 return record->GetUpdatedVRegFlags();
381}
382
383ShadowFrame* Thread::FindOrCreateDebuggerShadowFrame(size_t frame_id,
384 uint32_t num_vregs,
385 ArtMethod* method,
386 uint32_t dex_pc) {
387 ShadowFrame* shadow_frame = FindDebuggerShadowFrame(frame_id);
388 if (shadow_frame != nullptr) {
389 return shadow_frame;
390 }
David Sehr709b0702016-10-13 09:12:37 -0700391 VLOG(deopt) << "Create pre-deopted ShadowFrame for " << ArtMethod::PrettyMethod(method);
Mingyao Yang99170c62015-07-06 11:10:37 -0700392 shadow_frame = ShadowFrame::CreateDeoptimizedFrame(num_vregs, nullptr, method, dex_pc);
393 FrameIdToShadowFrame* record = FrameIdToShadowFrame::Create(frame_id,
394 shadow_frame,
395 tlsPtr_.frame_id_to_shadow_frame,
396 num_vregs);
397 for (uint32_t i = 0; i < num_vregs; i++) {
398 // Do this to clear all references for root visitors.
399 shadow_frame->SetVRegReference(i, nullptr);
400 // This flag will be changed to true if the debugger modifies the value.
401 record->GetUpdatedVRegFlags()[i] = false;
402 }
403 tlsPtr_.frame_id_to_shadow_frame = record;
404 return shadow_frame;
405}
406
Alex Light184f0752018-07-13 11:18:22 -0700407TLSData* Thread::GetCustomTLS(const char* key) {
408 MutexLock mu(Thread::Current(), *Locks::custom_tls_lock_);
409 auto it = custom_tls_.find(key);
410 return (it != custom_tls_.end()) ? it->second.get() : nullptr;
411}
412
413void Thread::SetCustomTLS(const char* key, TLSData* data) {
414 // We will swap the old data (which might be nullptr) with this and then delete it outside of the
415 // custom_tls_lock_.
416 std::unique_ptr<TLSData> old_data(data);
417 {
418 MutexLock mu(Thread::Current(), *Locks::custom_tls_lock_);
419 custom_tls_.GetOrCreate(key, []() { return std::unique_ptr<TLSData>(); }).swap(old_data);
420 }
421}
422
Mingyao Yang99170c62015-07-06 11:10:37 -0700423void Thread::RemoveDebuggerShadowFrameMapping(size_t frame_id) {
424 FrameIdToShadowFrame* head = tlsPtr_.frame_id_to_shadow_frame;
425 if (head->GetFrameId() == frame_id) {
426 tlsPtr_.frame_id_to_shadow_frame = head->GetNext();
427 FrameIdToShadowFrame::Delete(head);
428 return;
429 }
430 FrameIdToShadowFrame* prev = head;
431 for (FrameIdToShadowFrame* record = head->GetNext();
432 record != nullptr;
433 prev = record, record = record->GetNext()) {
434 if (record->GetFrameId() == frame_id) {
435 prev->SetNext(record->GetNext());
436 FrameIdToShadowFrame::Delete(record);
437 return;
438 }
439 }
440 LOG(FATAL) << "No shadow frame for frame " << frame_id;
441 UNREACHABLE();
442}
443
Brian Carlstromcaabb1b2011-10-11 18:09:13 -0700444void Thread::InitTid() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700445 tls32_.tid = ::art::GetTid();
Brian Carlstromcaabb1b2011-10-11 18:09:13 -0700446}
447
Brian Carlstromcaabb1b2011-10-11 18:09:13 -0700448void Thread::InitAfterFork() {
Elliott Hughes8029cbe2012-05-22 09:13:08 -0700449 // One thread (us) survived the fork, but we have a new tid so we need to
450 // update the value stashed in this Thread*.
Brian Carlstromcaabb1b2011-10-11 18:09:13 -0700451 InitTid();
Brian Carlstromcaabb1b2011-10-11 18:09:13 -0700452}
453
Brian Carlstrom78128a62011-09-15 17:21:19 -0700454void* Thread::CreateCallback(void* arg) {
Elliott Hughes93e74e82011-09-13 11:07:03 -0700455 Thread* self = reinterpret_cast<Thread*>(arg);
Ian Rogers120f1c72012-09-28 17:17:10 -0700456 Runtime* runtime = Runtime::Current();
Dave Allison0aded082013-11-07 13:15:11 -0800457 if (runtime == nullptr) {
Ian Rogers120f1c72012-09-28 17:17:10 -0700458 LOG(ERROR) << "Thread attaching to non-existent runtime: " << *self;
Dave Allison0aded082013-11-07 13:15:11 -0800459 return nullptr;
Ian Rogers120f1c72012-09-28 17:17:10 -0700460 }
461 {
Ian Rogers50b35e22012-10-04 10:09:15 -0700462 // TODO: pass self to MutexLock - requires self to equal Thread::Current(), which is only true
463 // after self->Init().
Dave Allison0aded082013-11-07 13:15:11 -0800464 MutexLock mu(nullptr, *Locks::runtime_shutdown_lock_);
Ian Rogers120f1c72012-09-28 17:17:10 -0700465 // Check that if we got here we cannot be shutting down (as shutdown should never have started
466 // while threads are being born).
Mathieu Chartier590fee92013-09-13 13:46:47 -0700467 CHECK(!runtime->IsShuttingDownLocked());
Andreas Gampe449357d2015-06-01 22:29:51 -0700468 // Note: given that the JNIEnv is created in the parent thread, the only failure point here is
469 // a mess in InitStackHwm. We do not have a reasonable way to recover from that, so abort
470 // the runtime in such a case. In case this ever changes, we need to make sure here to
471 // delete the tmp_jni_env, as we own it at this point.
472 CHECK(self->Init(runtime->GetThreadList(), runtime->GetJavaVM(), self->tlsPtr_.tmp_jni_env));
473 self->tlsPtr_.tmp_jni_env = nullptr;
Ian Rogers120f1c72012-09-28 17:17:10 -0700474 Runtime::Current()->EndThreadBirth();
475 }
Elliott Hughes47179f72011-10-27 16:44:39 -0700476 {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700477 ScopedObjectAccess soa(self);
Jeff Hao848f70a2014-01-15 13:49:50 -0800478 self->InitStringEntryPoints();
Ian Rogerscfaa4552012-11-26 21:00:08 -0800479
480 // Copy peer into self, deleting global reference when done.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700481 CHECK(self->tlsPtr_.jpeer != nullptr);
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700482 self->tlsPtr_.opeer = soa.Decode<mirror::Object>(self->tlsPtr_.jpeer).Ptr();
Ian Rogersdd7624d2014-03-14 17:43:00 -0700483 self->GetJniEnv()->DeleteGlobalRef(self->tlsPtr_.jpeer);
484 self->tlsPtr_.jpeer = nullptr;
Andreas Gampe08883de2016-11-08 13:20:52 -0800485 self->SetThreadName(self->GetThreadName()->ToModifiedUtf8().c_str());
Narayan Kamatha0b34512014-10-07 12:51:26 +0100486
Andreas Gampe08883de2016-11-08 13:20:52 -0800487 ArtField* priorityField = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_priority);
Narayan Kamatha0b34512014-10-07 12:51:26 +0100488 self->SetNativePriority(priorityField->GetInt(self->tlsPtr_.opeer));
Andreas Gampe04bbb5b2017-01-19 17:49:03 +0000489
Andreas Gampeac30fa22017-01-18 21:02:36 -0800490 runtime->GetRuntimeCallbacks()->ThreadStart(self);
Ian Rogers365c1022012-06-22 15:05:28 -0700491
492 // Invoke the 'run' method of our java.lang.Thread.
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800493 ObjPtr<mirror::Object> receiver = self->tlsPtr_.opeer;
Ian Rogers365c1022012-06-22 15:05:28 -0700494 jmethodID mid = WellKnownClasses::java_lang_Thread_run;
Jeff Hao39b6c242015-05-19 20:30:23 -0700495 ScopedLocalRef<jobject> ref(soa.Env(), soa.AddLocalReference<jobject>(receiver));
496 InvokeVirtualOrInterfaceWithJValues(soa, ref.get(), mid, nullptr);
Elliott Hughes47179f72011-10-27 16:44:39 -0700497 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700498 // Detach and delete self.
499 Runtime::Current()->GetThreadList()->Unregister(self);
Elliott Hughes93e74e82011-09-13 11:07:03 -0700500
Dave Allison0aded082013-11-07 13:15:11 -0800501 return nullptr;
Carl Shapirob5573532011-07-12 18:22:59 -0700502}
503
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700504Thread* Thread::FromManagedThread(const ScopedObjectAccessAlreadyRunnable& soa,
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800505 ObjPtr<mirror::Object> thread_peer) {
Andreas Gampe08883de2016-11-08 13:20:52 -0800506 ArtField* f = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_nativePeer);
Vladimir Marko78baed52018-10-11 10:44:58 +0100507 Thread* result = reinterpret_cast64<Thread*>(f->GetLong(thread_peer));
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700508 // Sanity check that if we have a result it is either suspended or we hold the thread_list_lock_
509 // to stop it from going away.
Ian Rogers81d425b2012-09-27 16:03:43 -0700510 if (kIsDebugBuild) {
511 MutexLock mu(soa.Self(), *Locks::thread_suspend_count_lock_);
Dave Allison0aded082013-11-07 13:15:11 -0800512 if (result != nullptr && !result->IsSuspended()) {
Ian Rogers81d425b2012-09-27 16:03:43 -0700513 Locks::thread_list_lock_->AssertHeld(soa.Self());
514 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700515 }
516 return result;
Elliott Hughes761928d2011-11-16 18:33:03 -0800517}
518
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700519Thread* Thread::FromManagedThread(const ScopedObjectAccessAlreadyRunnable& soa,
520 jobject java_thread) {
Vladimir Markobcf17522018-06-01 13:14:32 +0100521 return FromManagedThread(soa, soa.Decode<mirror::Object>(java_thread));
Elliott Hughes01158d72011-09-19 19:47:10 -0700522}
523
Elliott Hughesab7b9dc2012-03-27 13:16:29 -0700524static size_t FixStackSize(size_t stack_size) {
Elliott Hughes7502e2a2011-10-02 13:24:37 -0700525 // A stack size of zero means "use the default".
Elliott Hughesd369bb72011-09-12 14:41:14 -0700526 if (stack_size == 0) {
527 stack_size = Runtime::Current()->GetDefaultStackSize();
528 }
Carl Shapiro61e019d2011-07-14 16:53:09 -0700529
Brian Carlstrom6414a972012-04-14 14:20:04 -0700530 // Dalvik used the bionic pthread default stack size for native threads,
531 // so include that here to support apps that expect large native stacks.
532 stack_size += 1 * MB;
533
Andreas Gampe7a55ce02018-06-19 10:07:18 -0700534 // Under sanitization, frames of the interpreter may become bigger, both for C code as
535 // well as the ShadowFrame. Ensure a larger minimum size. Otherwise initialization
536 // of all core classes cannot be done in all test circumstances.
537 if (kMemoryToolIsAvailable) {
538 stack_size = std::max(2 * MB, stack_size);
539 }
540
Elliott Hughes7502e2a2011-10-02 13:24:37 -0700541 // It's not possible to request a stack smaller than the system-defined PTHREAD_STACK_MIN.
542 if (stack_size < PTHREAD_STACK_MIN) {
543 stack_size = PTHREAD_STACK_MIN;
544 }
545
Dave Allisonf9439142014-03-27 15:10:22 -0700546 if (Runtime::Current()->ExplicitStackOverflowChecks()) {
547 // It's likely that callers are trying to ensure they have at least a certain amount of
548 // stack space, so we should add our reserved space on top of what they requested, rather
549 // than implicitly take it away from them.
Andreas Gampe7ea6f792014-07-14 16:21:44 -0700550 stack_size += GetStackOverflowReservedBytes(kRuntimeISA);
Dave Allisonf9439142014-03-27 15:10:22 -0700551 } else {
552 // If we are going to use implicit stack checks, allocate space for the protected
553 // region at the bottom of the stack.
Dave Allisonb090a182014-08-14 17:02:48 +0000554 stack_size += Thread::kStackOverflowImplicitCheckSize +
555 GetStackOverflowReservedBytes(kRuntimeISA);
Dave Allisonf9439142014-03-27 15:10:22 -0700556 }
Elliott Hughes7502e2a2011-10-02 13:24:37 -0700557
558 // Some systems require the stack size to be a multiple of the system page size, so round up.
559 stack_size = RoundUp(stack_size, kPageSize);
560
561 return stack_size;
562}
563
Evgenii Stepanov84a4ab82016-05-13 14:01:41 -0700564// Return the nearest page-aligned address below the current stack top.
565NO_INLINE
566static uint8_t* FindStackTop() {
567 return reinterpret_cast<uint8_t*>(
568 AlignDown(__builtin_frame_address(0), kPageSize));
569}
570
Dave Allisonf9439142014-03-27 15:10:22 -0700571// Install a protected region in the stack. This is used to trigger a SIGSEGV if a stack
Dave Allison648d7112014-07-25 16:15:27 -0700572// overflow is detected. It is located right below the stack_begin_.
Evgenii Stepanov4abf4512015-07-13 10:41:57 -0700573ATTRIBUTE_NO_SANITIZE_ADDRESS
Dave Allison648d7112014-07-25 16:15:27 -0700574void Thread::InstallImplicitProtection() {
Ian Rogers13735952014-10-08 12:43:28 -0700575 uint8_t* pregion = tlsPtr_.stack_begin - kStackOverflowProtectedSize;
Evgenii Stepanov84a4ab82016-05-13 14:01:41 -0700576 // Page containing current top of stack.
577 uint8_t* stack_top = FindStackTop();
Dave Allisonf9439142014-03-27 15:10:22 -0700578
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700579 // Try to directly protect the stack.
580 VLOG(threads) << "installing stack protected region at " << std::hex <<
581 static_cast<void*>(pregion) << " to " <<
582 static_cast<void*>(pregion + kStackOverflowProtectedSize - 1);
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700583 if (ProtectStack(/* fatal_on_error= */ false)) {
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700584 // Tell the kernel that we won't be needing these pages any more.
585 // NB. madvise will probably write zeroes into the memory (on linux it does).
586 uint32_t unwanted_size = stack_top - pregion - kPageSize;
587 madvise(pregion, unwanted_size, MADV_DONTNEED);
588 return;
589 }
590
591 // There is a little complexity here that deserves a special mention. On some
592 // architectures, the stack is created using a VM_GROWSDOWN flag
593 // to prevent memory being allocated when it's not needed. This flag makes the
594 // kernel only allocate memory for the stack by growing down in memory. Because we
595 // want to put an mprotected region far away from that at the stack top, we need
596 // to make sure the pages for the stack are mapped in before we call mprotect.
597 //
598 // The failed mprotect in UnprotectStack is an indication of a thread with VM_GROWSDOWN
599 // with a non-mapped stack (usually only the main thread).
600 //
601 // We map in the stack by reading every page from the stack bottom (highest address)
602 // to the stack top. (We then madvise this away.) This must be done by reading from the
Andreas Gampe6c63f862017-06-28 17:20:15 -0700603 // current stack pointer downwards.
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700604 //
Andreas Gampe6c63f862017-06-28 17:20:15 -0700605 // Accesses too far below the current machine register corresponding to the stack pointer (e.g.,
606 // ESP on x86[-32], SP on ARM) might cause a SIGSEGV (at least on x86 with newer kernels). We
607 // thus have to move the stack pointer. We do this portably by using a recursive function with a
608 // large stack frame size.
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700609
Andreas Gampe6c63f862017-06-28 17:20:15 -0700610 // (Defensively) first remove the protection on the protected region as we'll want to read
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700611 // and write it. Ignore errors.
Dave Allison648d7112014-07-25 16:15:27 -0700612 UnprotectStack();
Dave Allison69dfe512014-07-11 17:11:58 +0000613
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700614 VLOG(threads) << "Need to map in stack for thread at " << std::hex <<
615 static_cast<void*>(pregion);
Dave Allison69dfe512014-07-11 17:11:58 +0000616
Andreas Gampe6c63f862017-06-28 17:20:15 -0700617 struct RecurseDownStack {
618 // This function has an intentionally large stack size.
619#pragma GCC diagnostic push
620#pragma GCC diagnostic ignored "-Wframe-larger-than="
621 NO_INLINE
622 static void Touch(uintptr_t target) {
623 volatile size_t zero = 0;
624 // Use a large local volatile array to ensure a large frame size. Do not use anything close
625 // to a full page for ASAN. It would be nice to ensure the frame size is at most a page, but
626 // there is no pragma support for this.
Andreas Gampe6f1c7512017-07-05 19:18:31 -0700627 // Note: for ASAN we need to shrink the array a bit, as there's other overhead.
628 constexpr size_t kAsanMultiplier =
629#ifdef ADDRESS_SANITIZER
630 2u;
631#else
632 1u;
633#endif
634 volatile char space[kPageSize - (kAsanMultiplier * 256)];
Andreas Gampee383d232018-06-19 12:29:51 -0700635 char sink ATTRIBUTE_UNUSED = space[zero]; // NOLINT
Evgenii Stepanov9b7656d2018-08-21 15:18:49 -0700636 // Remove tag from the pointer. Nop in non-hwasan builds.
637 uintptr_t addr = reinterpret_cast<uintptr_t>(__hwasan_tag_pointer(space, 0));
638 if (addr >= target + kPageSize) {
Andreas Gampe6c63f862017-06-28 17:20:15 -0700639 Touch(target);
640 }
641 zero *= 2; // Try to avoid tail recursion.
642 }
643#pragma GCC diagnostic pop
644 };
645 RecurseDownStack::Touch(reinterpret_cast<uintptr_t>(pregion));
Dave Allison69dfe512014-07-11 17:11:58 +0000646
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700647 VLOG(threads) << "(again) installing stack protected region at " << std::hex <<
Dave Allisonf9439142014-03-27 15:10:22 -0700648 static_cast<void*>(pregion) << " to " <<
649 static_cast<void*>(pregion + kStackOverflowProtectedSize - 1);
650
Dave Allison648d7112014-07-25 16:15:27 -0700651 // Protect the bottom of the stack to prevent read/write to it.
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700652 ProtectStack(/* fatal_on_error= */ true);
Dave Allison5cd33752014-04-15 15:57:58 -0700653
654 // Tell the kernel that we won't be needing these pages any more.
Dave Allison69dfe512014-07-11 17:11:58 +0000655 // NB. madvise will probably write zeroes into the memory (on linux it does).
Dave Allison648d7112014-07-25 16:15:27 -0700656 uint32_t unwanted_size = stack_top - pregion - kPageSize;
657 madvise(pregion, unwanted_size, MADV_DONTNEED);
Dave Allisonf9439142014-03-27 15:10:22 -0700658}
659
Ian Rogers120f1c72012-09-28 17:17:10 -0700660void Thread::CreateNativeThread(JNIEnv* env, jobject java_peer, size_t stack_size, bool is_daemon) {
Dave Allison0aded082013-11-07 13:15:11 -0800661 CHECK(java_peer != nullptr);
Ian Rogers55256cb2017-12-21 17:07:11 -0800662 Thread* self = static_cast<JNIEnvExt*>(env)->GetSelf();
Andreas Gampe56623832015-07-09 21:53:15 -0700663
664 if (VLOG_IS_ON(threads)) {
665 ScopedObjectAccess soa(env);
666
Andreas Gampe08883de2016-11-08 13:20:52 -0800667 ArtField* f = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_name);
Mathieu Chartier3398c782016-09-30 10:27:43 -0700668 ObjPtr<mirror::String> java_name =
669 f->GetObject(soa.Decode<mirror::Object>(java_peer))->AsString();
Andreas Gampe56623832015-07-09 21:53:15 -0700670 std::string thread_name;
671 if (java_name != nullptr) {
672 thread_name = java_name->ToModifiedUtf8();
673 } else {
674 thread_name = "(Unnamed)";
675 }
676
677 VLOG(threads) << "Creating native thread for " << thread_name;
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700678 self->Dump(LOG_STREAM(INFO));
Andreas Gampe56623832015-07-09 21:53:15 -0700679 }
680
Ian Rogers120f1c72012-09-28 17:17:10 -0700681 Runtime* runtime = Runtime::Current();
Mathieu Chartierdbe6f462012-09-25 16:54:50 -0700682
Ian Rogers120f1c72012-09-28 17:17:10 -0700683 // Atomically start the birth of the thread ensuring the runtime isn't shutting down.
684 bool thread_start_during_shutdown = false;
Elliott Hughes47179f72011-10-27 16:44:39 -0700685 {
Ian Rogers120f1c72012-09-28 17:17:10 -0700686 MutexLock mu(self, *Locks::runtime_shutdown_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700687 if (runtime->IsShuttingDownLocked()) {
Ian Rogers120f1c72012-09-28 17:17:10 -0700688 thread_start_during_shutdown = true;
689 } else {
690 runtime->StartThreadBirth();
691 }
Elliott Hughes47179f72011-10-27 16:44:39 -0700692 }
Ian Rogers120f1c72012-09-28 17:17:10 -0700693 if (thread_start_during_shutdown) {
694 ScopedLocalRef<jclass> error_class(env, env->FindClass("java/lang/InternalError"));
695 env->ThrowNew(error_class.get(), "Thread starting during runtime shutdown");
696 return;
697 }
698
699 Thread* child_thread = new Thread(is_daemon);
700 // Use global JNI ref to hold peer live while child thread starts.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700701 child_thread->tlsPtr_.jpeer = env->NewGlobalRef(java_peer);
Ian Rogers120f1c72012-09-28 17:17:10 -0700702 stack_size = FixStackSize(stack_size);
703
Roland Levillain2ae376f2018-01-30 11:35:11 +0000704 // Thread.start is synchronized, so we know that nativePeer is 0, and know that we're not racing
705 // to assign it.
Ian Rogersef7d42f2014-01-06 12:55:46 -0800706 env->SetLongField(java_peer, WellKnownClasses::java_lang_Thread_nativePeer,
707 reinterpret_cast<jlong>(child_thread));
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700708
Andreas Gampe449357d2015-06-01 22:29:51 -0700709 // Try to allocate a JNIEnvExt for the thread. We do this here as we might be out of memory and
710 // do not have a good way to report this on the child's side.
Richard Uhlerda0a69e2016-10-11 15:06:38 +0100711 std::string error_msg;
Andreas Gampe449357d2015-06-01 22:29:51 -0700712 std::unique_ptr<JNIEnvExt> child_jni_env_ext(
Richard Uhlerda0a69e2016-10-11 15:06:38 +0100713 JNIEnvExt::Create(child_thread, Runtime::Current()->GetJavaVM(), &error_msg));
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700714
Andreas Gampe449357d2015-06-01 22:29:51 -0700715 int pthread_create_result = 0;
716 if (child_jni_env_ext.get() != nullptr) {
717 pthread_t new_pthread;
718 pthread_attr_t attr;
719 child_thread->tlsPtr_.tmp_jni_env = child_jni_env_ext.get();
720 CHECK_PTHREAD_CALL(pthread_attr_init, (&attr), "new thread");
721 CHECK_PTHREAD_CALL(pthread_attr_setdetachstate, (&attr, PTHREAD_CREATE_DETACHED),
722 "PTHREAD_CREATE_DETACHED");
723 CHECK_PTHREAD_CALL(pthread_attr_setstacksize, (&attr, stack_size), stack_size);
724 pthread_create_result = pthread_create(&new_pthread,
725 &attr,
726 Thread::CreateCallback,
727 child_thread);
728 CHECK_PTHREAD_CALL(pthread_attr_destroy, (&attr), "new thread");
729
730 if (pthread_create_result == 0) {
731 // pthread_create started the new thread. The child is now responsible for managing the
732 // JNIEnvExt we created.
733 // Note: we can't check for tmp_jni_env == nullptr, as that would require synchronization
734 // between the threads.
Andreas Gampeafaf7f82018-10-16 11:32:38 -0700735 child_jni_env_ext.release(); // NOLINT pthreads API.
Andreas Gampe449357d2015-06-01 22:29:51 -0700736 return;
Ian Rogers120f1c72012-09-28 17:17:10 -0700737 }
Andreas Gampe449357d2015-06-01 22:29:51 -0700738 }
739
740 // Either JNIEnvExt::Create or pthread_create(3) failed, so clean up.
741 {
742 MutexLock mu(self, *Locks::runtime_shutdown_lock_);
743 runtime->EndThreadBirth();
744 }
745 // Manually delete the global reference since Thread::Init will not have been run.
746 env->DeleteGlobalRef(child_thread->tlsPtr_.jpeer);
747 child_thread->tlsPtr_.jpeer = nullptr;
748 delete child_thread;
749 child_thread = nullptr;
750 // TODO: remove from thread group?
751 env->SetLongField(java_peer, WellKnownClasses::java_lang_Thread_nativePeer, 0);
752 {
753 std::string msg(child_jni_env_ext.get() == nullptr ?
Richard Uhlerda0a69e2016-10-11 15:06:38 +0100754 StringPrintf("Could not allocate JNI Env: %s", error_msg.c_str()) :
Andreas Gampe449357d2015-06-01 22:29:51 -0700755 StringPrintf("pthread_create (%s stack) failed: %s",
756 PrettySize(stack_size).c_str(), strerror(pthread_create_result)));
757 ScopedObjectAccess soa(env);
758 soa.Self()->ThrowOutOfMemoryError(msg.c_str());
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700759 }
Carl Shapiro61e019d2011-07-14 16:53:09 -0700760}
761
Andreas Gampe449357d2015-06-01 22:29:51 -0700762bool Thread::Init(ThreadList* thread_list, JavaVMExt* java_vm, JNIEnvExt* jni_env_ext) {
Elliott Hughes462c9442012-03-23 18:47:50 -0700763 // This function does all the initialization that must be run by the native thread it applies to.
764 // (When we create a new thread from managed code, we allocate the Thread* in Thread::Create so
765 // we can handshake with the corresponding native thread when it's ready.) Check this native
766 // thread hasn't been through here already...
Dave Allison0aded082013-11-07 13:15:11 -0800767 CHECK(Thread::Current() == nullptr);
Ian Rogersf4d4da12014-11-11 16:10:33 -0800768
769 // Set pthread_self_ ahead of pthread_setspecific, that makes Thread::Current function, this
770 // avoids pthread_self_ ever being invalid when discovered from Thread::Current().
771 tlsPtr_.pthread_self = pthread_self();
772 CHECK(is_started_);
773
Elliott Hughesd8af1592012-04-16 20:40:15 -0700774 SetUpAlternateSignalStack();
Ian Rogersf4d4da12014-11-11 16:10:33 -0800775 if (!InitStackHwm()) {
776 return false;
777 }
Elliott Hughes93e74e82011-09-13 11:07:03 -0700778 InitCpu();
Ian Rogers848871b2013-08-05 10:56:33 -0700779 InitTlsEntryPoints();
Dave Allisonb373e092014-02-20 16:06:36 -0800780 RemoveSuspendTrigger();
Ian Rogers5d76c432011-10-31 21:42:49 -0700781 InitCardTable();
Ian Rogers01ae5802012-09-28 16:14:01 -0700782 InitTid();
buzbee1452bee2015-03-06 14:43:04 -0800783 interpreter::InitInterpreterTls(this);
Ian Rogersf4d4da12014-11-11 16:10:33 -0800784
Bilyan Borisovbb661c02016-04-04 16:27:32 +0100785#ifdef ART_TARGET_ANDROID
Andreas Gampe4382f1e2015-08-05 01:08:53 +0000786 __get_tls()[TLS_SLOT_ART_THREAD_SELF] = this;
787#else
Ian Rogers120f1c72012-09-28 17:17:10 -0700788 CHECK_PTHREAD_CALL(pthread_setspecific, (Thread::pthread_key_self_, this), "attach self");
Andreas Gampe4382f1e2015-08-05 01:08:53 +0000789#endif
Ian Rogers120f1c72012-09-28 17:17:10 -0700790 DCHECK_EQ(Thread::Current(), this);
Carl Shapiro61e019d2011-07-14 16:53:09 -0700791
Ian Rogersdd7624d2014-03-14 17:43:00 -0700792 tls32_.thin_lock_thread_id = thread_list->AllocThreadId(this);
Carl Shapiro61e019d2011-07-14 16:53:09 -0700793
Andreas Gampe449357d2015-06-01 22:29:51 -0700794 if (jni_env_ext != nullptr) {
Ian Rogers55256cb2017-12-21 17:07:11 -0800795 DCHECK_EQ(jni_env_ext->GetVm(), java_vm);
796 DCHECK_EQ(jni_env_ext->GetSelf(), this);
Andreas Gampe449357d2015-06-01 22:29:51 -0700797 tlsPtr_.jni_env = jni_env_ext;
798 } else {
Richard Uhlerda0a69e2016-10-11 15:06:38 +0100799 std::string error_msg;
800 tlsPtr_.jni_env = JNIEnvExt::Create(this, java_vm, &error_msg);
Andreas Gampe449357d2015-06-01 22:29:51 -0700801 if (tlsPtr_.jni_env == nullptr) {
Richard Uhlerda0a69e2016-10-11 15:06:38 +0100802 LOG(ERROR) << "Failed to create JNIEnvExt: " << error_msg;
Andreas Gampe449357d2015-06-01 22:29:51 -0700803 return false;
804 }
Andreas Gampe3f5881f2015-04-08 10:26:16 -0700805 }
806
Ian Rogers120f1c72012-09-28 17:17:10 -0700807 thread_list->Register(this);
Ian Rogersf4d4da12014-11-11 16:10:33 -0800808 return true;
Elliott Hughes93e74e82011-09-13 11:07:03 -0700809}
810
Andreas Gampe732b0ac2017-01-18 15:23:39 -0800811template <typename PeerAction>
812Thread* Thread::Attach(const char* thread_name, bool as_daemon, PeerAction peer_action) {
Ian Rogers120f1c72012-09-28 17:17:10 -0700813 Runtime* runtime = Runtime::Current();
Dave Allison0aded082013-11-07 13:15:11 -0800814 if (runtime == nullptr) {
Kazuhiro Inaba9ff12512017-12-04 16:26:38 +0900815 LOG(ERROR) << "Thread attaching to non-existent runtime: " <<
816 ((thread_name != nullptr) ? thread_name : "(Unnamed)");
Dave Allison0aded082013-11-07 13:15:11 -0800817 return nullptr;
Ian Rogers120f1c72012-09-28 17:17:10 -0700818 }
Ian Rogersf4d4da12014-11-11 16:10:33 -0800819 Thread* self;
Ian Rogers120f1c72012-09-28 17:17:10 -0700820 {
Dave Allison0aded082013-11-07 13:15:11 -0800821 MutexLock mu(nullptr, *Locks::runtime_shutdown_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700822 if (runtime->IsShuttingDownLocked()) {
Kazuhiro Inaba9ff12512017-12-04 16:26:38 +0900823 LOG(WARNING) << "Thread attaching while runtime is shutting down: " <<
824 ((thread_name != nullptr) ? thread_name : "(Unnamed)");
Dave Allison0aded082013-11-07 13:15:11 -0800825 return nullptr;
Ian Rogers120f1c72012-09-28 17:17:10 -0700826 } else {
827 Runtime::Current()->StartThreadBirth();
828 self = new Thread(as_daemon);
Ian Rogersf4d4da12014-11-11 16:10:33 -0800829 bool init_success = self->Init(runtime->GetThreadList(), runtime->GetJavaVM());
Ian Rogers120f1c72012-09-28 17:17:10 -0700830 Runtime::Current()->EndThreadBirth();
Ian Rogersf4d4da12014-11-11 16:10:33 -0800831 if (!init_success) {
832 delete self;
833 return nullptr;
834 }
Ian Rogers120f1c72012-09-28 17:17:10 -0700835 }
836 }
Elliott Hughes93e74e82011-09-13 11:07:03 -0700837
Jeff Hao848f70a2014-01-15 13:49:50 -0800838 self->InitStringEntryPoints();
839
Mathieu Chartierdbe6f462012-09-25 16:54:50 -0700840 CHECK_NE(self->GetState(), kRunnable);
841 self->SetState(kNative);
Elliott Hughes93e74e82011-09-13 11:07:03 -0700842
Andreas Gampe732b0ac2017-01-18 15:23:39 -0800843 // Run the action that is acting on the peer.
844 if (!peer_action(self)) {
845 runtime->GetThreadList()->Unregister(self);
846 // Unregister deletes self, no need to do this here.
847 return nullptr;
Elliott Hughes5fe594f2011-09-08 12:33:17 -0700848 }
Elliott Hughescac6cc72011-11-03 20:31:21 -0700849
Andreas Gampe56623832015-07-09 21:53:15 -0700850 if (VLOG_IS_ON(threads)) {
851 if (thread_name != nullptr) {
852 VLOG(threads) << "Attaching thread " << thread_name;
853 } else {
854 VLOG(threads) << "Attaching unnamed thread.";
855 }
856 ScopedObjectAccess soa(self);
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700857 self->Dump(LOG_STREAM(INFO));
Andreas Gampe56623832015-07-09 21:53:15 -0700858 }
859
Daniel Mihalyidfafeef2014-10-20 11:47:56 +0200860 {
861 ScopedObjectAccess soa(self);
Andreas Gampeac30fa22017-01-18 21:02:36 -0800862 runtime->GetRuntimeCallbacks()->ThreadStart(self);
Daniel Mihalyidfafeef2014-10-20 11:47:56 +0200863 }
864
Elliott Hughes5fe594f2011-09-08 12:33:17 -0700865 return self;
866}
867
Andreas Gampe732b0ac2017-01-18 15:23:39 -0800868Thread* Thread::Attach(const char* thread_name,
869 bool as_daemon,
870 jobject thread_group,
871 bool create_peer) {
872 auto create_peer_action = [&](Thread* self) {
873 // If we're the main thread, ClassLinker won't be created until after we're attached,
874 // so that thread needs a two-stage attach. Regular threads don't need this hack.
875 // In the compiler, all threads need this hack, because no-one's going to be getting
876 // a native peer!
877 if (create_peer) {
878 self->CreatePeer(thread_name, as_daemon, thread_group);
879 if (self->IsExceptionPending()) {
Roland Levillain2ae376f2018-01-30 11:35:11 +0000880 // We cannot keep the exception around, as we're deleting self. Try to be helpful and log
881 // it.
Andreas Gampe732b0ac2017-01-18 15:23:39 -0800882 {
883 ScopedObjectAccess soa(self);
884 LOG(ERROR) << "Exception creating thread peer:";
885 LOG(ERROR) << self->GetException()->Dump();
886 self->ClearException();
887 }
888 return false;
889 }
890 } else {
891 // These aren't necessary, but they improve diagnostics for unit tests & command-line tools.
892 if (thread_name != nullptr) {
893 self->tlsPtr_.name->assign(thread_name);
894 ::art::SetThreadName(thread_name);
Ian Rogers55256cb2017-12-21 17:07:11 -0800895 } else if (self->GetJniEnv()->IsCheckJniEnabled()) {
Andreas Gampe732b0ac2017-01-18 15:23:39 -0800896 LOG(WARNING) << *Thread::Current() << " attached without supplying a name";
897 }
898 }
899 return true;
900 };
901 return Attach(thread_name, as_daemon, create_peer_action);
902}
903
904Thread* Thread::Attach(const char* thread_name, bool as_daemon, jobject thread_peer) {
905 auto set_peer_action = [&](Thread* self) {
906 // Install the given peer.
907 {
908 DCHECK(self == Thread::Current());
909 ScopedObjectAccess soa(self);
910 self->tlsPtr_.opeer = soa.Decode<mirror::Object>(thread_peer).Ptr();
911 }
912 self->GetJniEnv()->SetLongField(thread_peer,
913 WellKnownClasses::java_lang_Thread_nativePeer,
Vladimir Marko78baed52018-10-11 10:44:58 +0100914 reinterpret_cast64<jlong>(self));
Andreas Gampe732b0ac2017-01-18 15:23:39 -0800915 return true;
916 };
917 return Attach(thread_name, as_daemon, set_peer_action);
918}
919
Ian Rogers365c1022012-06-22 15:05:28 -0700920void Thread::CreatePeer(const char* name, bool as_daemon, jobject thread_group) {
921 Runtime* runtime = Runtime::Current();
922 CHECK(runtime->IsStarted());
Ian Rogersdd7624d2014-03-14 17:43:00 -0700923 JNIEnv* env = tlsPtr_.jni_env;
Elliott Hughes5fe594f2011-09-08 12:33:17 -0700924
Dave Allison0aded082013-11-07 13:15:11 -0800925 if (thread_group == nullptr) {
Ian Rogers365c1022012-06-22 15:05:28 -0700926 thread_group = runtime->GetMainThreadGroup();
Elliott Hughes462c9442012-03-23 18:47:50 -0700927 }
Elliott Hughes726079d2011-10-07 18:43:44 -0700928 ScopedLocalRef<jobject> thread_name(env, env->NewStringUTF(name));
Mathieu Chartiere07fd172014-11-10 16:58:19 -0800929 // Add missing null check in case of OOM b/18297817
Vladimir Marko44512052014-11-12 15:41:57 +0000930 if (name != nullptr && thread_name.get() == nullptr) {
Mathieu Chartiere07fd172014-11-10 16:58:19 -0800931 CHECK(IsExceptionPending());
932 return;
933 }
Elliott Hughes8daa0922011-09-11 13:46:25 -0700934 jint thread_priority = GetNativePriority();
Elliott Hughes5fe594f2011-09-08 12:33:17 -0700935 jboolean thread_is_daemon = as_daemon;
936
Elliott Hugheseac76672012-05-24 21:56:51 -0700937 ScopedLocalRef<jobject> peer(env, env->AllocObject(WellKnownClasses::java_lang_Thread));
Dave Allison0aded082013-11-07 13:15:11 -0800938 if (peer.get() == nullptr) {
Mathieu Chartierdbe6f462012-09-25 16:54:50 -0700939 CHECK(IsExceptionPending());
940 return;
Ian Rogers5d4bdc22011-11-02 22:15:43 -0700941 }
Ian Rogerscfaa4552012-11-26 21:00:08 -0800942 {
943 ScopedObjectAccess soa(this);
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700944 tlsPtr_.opeer = soa.Decode<mirror::Object>(peer.get()).Ptr();
Ian Rogerscfaa4552012-11-26 21:00:08 -0800945 }
Elliott Hugheseac76672012-05-24 21:56:51 -0700946 env->CallNonvirtualVoidMethod(peer.get(),
947 WellKnownClasses::java_lang_Thread,
948 WellKnownClasses::java_lang_Thread_init,
Ian Rogers365c1022012-06-22 15:05:28 -0700949 thread_group, thread_name.get(), thread_priority, thread_is_daemon);
Andreas Gampe4b1d4ec2015-10-01 16:47:26 -0700950 if (IsExceptionPending()) {
951 return;
952 }
Elliott Hughesd369bb72011-09-12 14:41:14 -0700953
Ian Rogers120f1c72012-09-28 17:17:10 -0700954 Thread* self = this;
955 DCHECK_EQ(self, Thread::Current());
Vladimir Marko78baed52018-10-11 10:44:58 +0100956 env->SetLongField(peer.get(),
957 WellKnownClasses::java_lang_Thread_nativePeer,
958 reinterpret_cast64<jlong>(self));
Ian Rogers120f1c72012-09-28 17:17:10 -0700959
960 ScopedObjectAccess soa(self);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700961 StackHandleScope<1> hs(self);
Andreas Gampe08883de2016-11-08 13:20:52 -0800962 MutableHandle<mirror::String> peer_thread_name(hs.NewHandle(GetThreadName()));
Andreas Gampefa4333d2017-02-14 11:10:34 -0800963 if (peer_thread_name == nullptr) {
Brian Carlstrom00fae582011-10-28 01:16:28 -0700964 // The Thread constructor should have set the Thread.name to a
965 // non-null value. However, because we can run without code
966 // available (in the compiler, in tests), we manually assign the
967 // fields the constructor should have set.
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100968 if (runtime->IsActiveTransaction()) {
Andreas Gampebad529d2017-02-13 18:52:10 -0800969 InitPeer<true>(soa,
970 tlsPtr_.opeer,
971 thread_is_daemon,
972 thread_group,
973 thread_name.get(),
974 thread_priority);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100975 } else {
Andreas Gampebad529d2017-02-13 18:52:10 -0800976 InitPeer<false>(soa,
977 tlsPtr_.opeer,
978 thread_is_daemon,
979 thread_group,
980 thread_name.get(),
981 thread_priority);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100982 }
Andreas Gampe08883de2016-11-08 13:20:52 -0800983 peer_thread_name.Assign(GetThreadName());
Brian Carlstrom00fae582011-10-28 01:16:28 -0700984 }
Elliott Hughes225f5a12012-06-11 11:23:48 -0700985 // 'thread_name' may have been null, so don't trust 'peer_thread_name' to be non-null.
Andreas Gampefa4333d2017-02-14 11:10:34 -0800986 if (peer_thread_name != nullptr) {
Elliott Hughes899e7892012-01-24 14:57:32 -0800987 SetThreadName(peer_thread_name->ToModifiedUtf8().c_str());
Brian Carlstrom00fae582011-10-28 01:16:28 -0700988 }
Carl Shapiro61e019d2011-07-14 16:53:09 -0700989}
990
Andreas Gampebad529d2017-02-13 18:52:10 -0800991jobject Thread::CreateCompileTimePeer(JNIEnv* env,
992 const char* name,
993 bool as_daemon,
994 jobject thread_group) {
995 Runtime* runtime = Runtime::Current();
996 CHECK(!runtime->IsStarted());
997
998 if (thread_group == nullptr) {
999 thread_group = runtime->GetMainThreadGroup();
1000 }
1001 ScopedLocalRef<jobject> thread_name(env, env->NewStringUTF(name));
1002 // Add missing null check in case of OOM b/18297817
1003 if (name != nullptr && thread_name.get() == nullptr) {
1004 CHECK(Thread::Current()->IsExceptionPending());
1005 return nullptr;
1006 }
1007 jint thread_priority = GetNativePriority();
1008 jboolean thread_is_daemon = as_daemon;
1009
1010 ScopedLocalRef<jobject> peer(env, env->AllocObject(WellKnownClasses::java_lang_Thread));
1011 if (peer.get() == nullptr) {
1012 CHECK(Thread::Current()->IsExceptionPending());
1013 return nullptr;
1014 }
1015
1016 // We cannot call Thread.init, as it will recursively ask for currentThread.
1017
1018 // The Thread constructor should have set the Thread.name to a
1019 // non-null value. However, because we can run without code
1020 // available (in the compiler, in tests), we manually assign the
1021 // fields the constructor should have set.
1022 ScopedObjectAccessUnchecked soa(Thread::Current());
1023 if (runtime->IsActiveTransaction()) {
1024 InitPeer<true>(soa,
1025 soa.Decode<mirror::Object>(peer.get()),
1026 thread_is_daemon,
1027 thread_group,
1028 thread_name.get(),
1029 thread_priority);
1030 } else {
1031 InitPeer<false>(soa,
1032 soa.Decode<mirror::Object>(peer.get()),
1033 thread_is_daemon,
1034 thread_group,
1035 thread_name.get(),
1036 thread_priority);
1037 }
1038
1039 return peer.release();
1040}
1041
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01001042template<bool kTransactionActive>
Andreas Gampebad529d2017-02-13 18:52:10 -08001043void Thread::InitPeer(ScopedObjectAccessAlreadyRunnable& soa,
1044 ObjPtr<mirror::Object> peer,
1045 jboolean thread_is_daemon,
1046 jobject thread_group,
1047 jobject thread_name,
1048 jint thread_priority) {
Andreas Gampe08883de2016-11-08 13:20:52 -08001049 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_daemon)->
Andreas Gampebad529d2017-02-13 18:52:10 -08001050 SetBoolean<kTransactionActive>(peer, thread_is_daemon);
Andreas Gampe08883de2016-11-08 13:20:52 -08001051 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_group)->
Andreas Gampebad529d2017-02-13 18:52:10 -08001052 SetObject<kTransactionActive>(peer, soa.Decode<mirror::Object>(thread_group));
Andreas Gampe08883de2016-11-08 13:20:52 -08001053 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_name)->
Andreas Gampebad529d2017-02-13 18:52:10 -08001054 SetObject<kTransactionActive>(peer, soa.Decode<mirror::Object>(thread_name));
Andreas Gampe08883de2016-11-08 13:20:52 -08001055 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_priority)->
Andreas Gampebad529d2017-02-13 18:52:10 -08001056 SetInt<kTransactionActive>(peer, thread_priority);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01001057}
1058
Elliott Hughes899e7892012-01-24 14:57:32 -08001059void Thread::SetThreadName(const char* name) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001060 tlsPtr_.name->assign(name);
Elliott Hughes899e7892012-01-24 14:57:32 -08001061 ::art::SetThreadName(name);
1062 Dbg::DdmSendThreadNotification(this, CHUNK_TYPE("THNM"));
1063}
1064
Andreas Gampe9186ced2016-12-12 14:28:21 -08001065static void GetThreadStack(pthread_t thread,
1066 void** stack_base,
1067 size_t* stack_size,
1068 size_t* guard_size) {
1069#if defined(__APPLE__)
1070 *stack_size = pthread_get_stacksize_np(thread);
1071 void* stack_addr = pthread_get_stackaddr_np(thread);
1072
1073 // Check whether stack_addr is the base or end of the stack.
1074 // (On Mac OS 10.7, it's the end.)
1075 int stack_variable;
1076 if (stack_addr > &stack_variable) {
1077 *stack_base = reinterpret_cast<uint8_t*>(stack_addr) - *stack_size;
1078 } else {
1079 *stack_base = stack_addr;
1080 }
1081
1082 // This is wrong, but there doesn't seem to be a way to get the actual value on the Mac.
1083 pthread_attr_t attributes;
1084 CHECK_PTHREAD_CALL(pthread_attr_init, (&attributes), __FUNCTION__);
1085 CHECK_PTHREAD_CALL(pthread_attr_getguardsize, (&attributes, guard_size), __FUNCTION__);
1086 CHECK_PTHREAD_CALL(pthread_attr_destroy, (&attributes), __FUNCTION__);
1087#else
1088 pthread_attr_t attributes;
1089 CHECK_PTHREAD_CALL(pthread_getattr_np, (thread, &attributes), __FUNCTION__);
1090 CHECK_PTHREAD_CALL(pthread_attr_getstack, (&attributes, stack_base, stack_size), __FUNCTION__);
1091 CHECK_PTHREAD_CALL(pthread_attr_getguardsize, (&attributes, guard_size), __FUNCTION__);
1092 CHECK_PTHREAD_CALL(pthread_attr_destroy, (&attributes), __FUNCTION__);
1093
1094#if defined(__GLIBC__)
1095 // If we're the main thread, check whether we were run with an unlimited stack. In that case,
1096 // glibc will have reported a 2GB stack for our 32-bit process, and our stack overflow detection
1097 // will be broken because we'll die long before we get close to 2GB.
1098 bool is_main_thread = (::art::GetTid() == getpid());
1099 if (is_main_thread) {
1100 rlimit stack_limit;
1101 if (getrlimit(RLIMIT_STACK, &stack_limit) == -1) {
1102 PLOG(FATAL) << "getrlimit(RLIMIT_STACK) failed";
1103 }
1104 if (stack_limit.rlim_cur == RLIM_INFINITY) {
1105 size_t old_stack_size = *stack_size;
1106
1107 // Use the kernel default limit as our size, and adjust the base to match.
1108 *stack_size = 8 * MB;
1109 *stack_base = reinterpret_cast<uint8_t*>(*stack_base) + (old_stack_size - *stack_size);
1110
1111 VLOG(threads) << "Limiting unlimited stack (reported as " << PrettySize(old_stack_size) << ")"
1112 << " to " << PrettySize(*stack_size)
1113 << " with base " << *stack_base;
1114 }
1115 }
1116#endif
1117
1118#endif
1119}
1120
Ian Rogersf4d4da12014-11-11 16:10:33 -08001121bool Thread::InitStackHwm() {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001122 void* read_stack_base;
1123 size_t read_stack_size;
Elliott Hughes6d3fc562014-08-27 11:47:01 -07001124 size_t read_guard_size;
1125 GetThreadStack(tlsPtr_.pthread_self, &read_stack_base, &read_stack_size, &read_guard_size);
Elliott Hughes36ecb782012-04-17 16:55:45 -07001126
Ian Rogers13735952014-10-08 12:43:28 -07001127 tlsPtr_.stack_begin = reinterpret_cast<uint8_t*>(read_stack_base);
Ian Rogersdd7624d2014-03-14 17:43:00 -07001128 tlsPtr_.stack_size = read_stack_size;
Elliott Hughes36ecb782012-04-17 16:55:45 -07001129
Dave Allison648d7112014-07-25 16:15:27 -07001130 // The minimum stack size we can cope with is the overflow reserved bytes (typically
1131 // 8K) + the protected region size (4K) + another page (4K). Typically this will
1132 // be 8+4+4 = 16K. The thread won't be able to do much with this stack even the GC takes
1133 // between 8K and 12K.
1134 uint32_t min_stack = GetStackOverflowReservedBytes(kRuntimeISA) + kStackOverflowProtectedSize
1135 + 4 * KB;
1136 if (read_stack_size <= min_stack) {
Ian Rogersf4d4da12014-11-11 16:10:33 -08001137 // Note, as we know the stack is small, avoid operations that could use a lot of stack.
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07001138 LogHelper::LogLineLowStack(__PRETTY_FUNCTION__,
1139 __LINE__,
1140 ::android::base::ERROR,
1141 "Attempt to attach a thread with a too-small stack");
Ian Rogersf4d4da12014-11-11 16:10:33 -08001142 return false;
Elliott Hughesbe759c62011-09-08 19:38:21 -07001143 }
Elliott Hughes449b4bd2011-09-09 12:01:38 -07001144
Vladimir Markob8f2f632015-01-02 14:23:26 +00001145 // This is included in the SIGQUIT output, but it's useful here for thread debugging.
1146 VLOG(threads) << StringPrintf("Native stack is at %p (%s with %s guard)",
1147 read_stack_base,
1148 PrettySize(read_stack_size).c_str(),
1149 PrettySize(read_guard_size).c_str());
1150
Ian Rogers932746a2011-09-22 18:57:50 -07001151 // Set stack_end_ to the bottom of the stack saving space of stack overflows
Mathieu Chartier8e219ae2014-08-19 14:29:46 -07001152
1153 Runtime* runtime = Runtime::Current();
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001154 bool implicit_stack_check = !runtime->ExplicitStackOverflowChecks() && !runtime->IsAotCompiler();
Andreas Gampe7df12cb2016-06-10 20:38:55 -07001155
Dave Allisonb090a182014-08-14 17:02:48 +00001156 ResetDefaultStackEnd();
Dave Allisonf9439142014-03-27 15:10:22 -07001157
1158 // Install the protected region if we are doing implicit overflow checks.
Roland Levillain05e34f42018-05-24 13:19:05 +00001159 if (implicit_stack_check) {
Dave Allison648d7112014-07-25 16:15:27 -07001160 // The thread might have protected region at the bottom. We need
1161 // to install our own region so we need to move the limits
1162 // of the stack to make room for it.
Dave Allison216cf232014-08-18 15:49:51 -07001163
Elliott Hughes6d3fc562014-08-27 11:47:01 -07001164 tlsPtr_.stack_begin += read_guard_size + kStackOverflowProtectedSize;
1165 tlsPtr_.stack_end += read_guard_size + kStackOverflowProtectedSize;
1166 tlsPtr_.stack_size -= read_guard_size;
Dave Allison648d7112014-07-25 16:15:27 -07001167
1168 InstallImplicitProtection();
Dave Allisonf9439142014-03-27 15:10:22 -07001169 }
Elliott Hughes449b4bd2011-09-09 12:01:38 -07001170
1171 // Sanity check.
Andreas Gampeb87c03f2016-06-10 20:34:55 -07001172 CHECK_GT(FindStackTop(), reinterpret_cast<void*>(tlsPtr_.stack_end));
Ian Rogersf4d4da12014-11-11 16:10:33 -08001173
1174 return true;
Elliott Hughesbe759c62011-09-08 19:38:21 -07001175}
1176
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001177void Thread::ShortDump(std::ostream& os) const {
1178 os << "Thread[";
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001179 if (GetThreadId() != 0) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001180 // If we're in kStarting, we won't have a thin lock id or tid yet.
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001181 os << GetThreadId()
Mathieu Chartierb28412e2015-04-24 15:28:36 -07001182 << ",tid=" << GetTid() << ',';
Elliott Hughese0918552011-10-28 17:18:29 -07001183 }
Ian Rogers474b6da2012-09-25 00:20:38 -07001184 os << GetState()
Mathieu Chartierb28412e2015-04-24 15:28:36 -07001185 << ",Thread*=" << this
1186 << ",peer=" << tlsPtr_.opeer
1187 << ",\"" << (tlsPtr_.name != nullptr ? *tlsPtr_.name : "null") << "\""
1188 << "]";
Elliott Hughesa0957642011-09-02 14:27:33 -07001189}
1190
Nicolas Geoffray6ee49712018-03-30 14:39:05 +00001191void Thread::Dump(std::ostream& os, bool dump_native_stack, BacktraceMap* backtrace_map,
1192 bool force_dump_stack) const {
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001193 DumpState(os);
Nicolas Geoffray6ee49712018-03-30 14:39:05 +00001194 DumpStack(os, dump_native_stack, backtrace_map, force_dump_stack);
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001195}
1196
Andreas Gampe08883de2016-11-08 13:20:52 -08001197mirror::String* Thread::GetThreadName() const {
1198 ArtField* f = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_name);
Mathieu Chartier3398c782016-09-30 10:27:43 -07001199 if (tlsPtr_.opeer == nullptr) {
1200 return nullptr;
1201 }
1202 ObjPtr<mirror::Object> name = f->GetObject(tlsPtr_.opeer);
1203 return name == nullptr ? nullptr : name->AsString();
Elliott Hughesfc861622011-10-17 17:57:47 -07001204}
1205
Elliott Hughesffb465f2012-03-01 18:46:05 -08001206void Thread::GetThreadName(std::string& name) const {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001207 name.assign(*tlsPtr_.name);
Elliott Hughesffb465f2012-03-01 18:46:05 -08001208}
1209
Jeff Hao57dac6e2013-08-15 16:36:24 -07001210uint64_t Thread::GetCpuMicroTime() const {
Elliott Hughes0a18df82015-01-09 15:16:16 -08001211#if defined(__linux__)
Jeff Hao57dac6e2013-08-15 16:36:24 -07001212 clockid_t cpu_clock_id;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001213 pthread_getcpuclockid(tlsPtr_.pthread_self, &cpu_clock_id);
Jeff Hao57dac6e2013-08-15 16:36:24 -07001214 timespec now;
1215 clock_gettime(cpu_clock_id, &now);
Ian Rogers0f678472014-03-10 16:18:37 -07001216 return static_cast<uint64_t>(now.tv_sec) * UINT64_C(1000000) + now.tv_nsec / UINT64_C(1000);
Elliott Hughes0a18df82015-01-09 15:16:16 -08001217#else // __APPLE__
Jeff Hao57dac6e2013-08-15 16:36:24 -07001218 UNIMPLEMENTED(WARNING);
1219 return -1;
1220#endif
1221}
1222
Ian Rogers01ae5802012-09-28 16:14:01 -07001223// Attempt to rectify locks so that we dump thread list with required locks before exiting.
1224static void UnsafeLogFatalForSuspendCount(Thread* self, Thread* thread) NO_THREAD_SAFETY_ANALYSIS {
Ian Rogers120f1c72012-09-28 17:17:10 -07001225 LOG(ERROR) << *thread << " suspend count already zero.";
Ian Rogers01ae5802012-09-28 16:14:01 -07001226 Locks::thread_suspend_count_lock_->Unlock(self);
1227 if (!Locks::mutator_lock_->IsSharedHeld(self)) {
1228 Locks::mutator_lock_->SharedTryLock(self);
1229 if (!Locks::mutator_lock_->IsSharedHeld(self)) {
1230 LOG(WARNING) << "Dumping thread list without holding mutator_lock_";
1231 }
1232 }
1233 if (!Locks::thread_list_lock_->IsExclusiveHeld(self)) {
1234 Locks::thread_list_lock_->TryLock(self);
1235 if (!Locks::thread_list_lock_->IsExclusiveHeld(self)) {
1236 LOG(WARNING) << "Dumping thread list without holding thread_list_lock_";
1237 }
1238 }
1239 std::ostringstream ss;
Ian Rogers7b078e82014-09-10 14:44:24 -07001240 Runtime::Current()->GetThreadList()->Dump(ss);
Ian Rogers120f1c72012-09-28 17:17:10 -07001241 LOG(FATAL) << ss.str();
Ian Rogers01ae5802012-09-28 16:14:01 -07001242}
1243
Hiroshi Yamauchi02e7f1a2016-10-03 15:32:01 -07001244bool Thread::ModifySuspendCountInternal(Thread* self,
1245 int delta,
1246 AtomicInteger* suspend_barrier,
Alex Light46f93402017-06-29 11:59:50 -07001247 SuspendReason reason) {
Ian Rogers2966e132014-04-02 08:34:36 -07001248 if (kIsDebugBuild) {
1249 DCHECK(delta == -1 || delta == +1 || delta == -tls32_.debug_suspend_count)
Alex Light46f93402017-06-29 11:59:50 -07001250 << reason << " " << delta << " " << tls32_.debug_suspend_count << " " << this;
Ian Rogers2966e132014-04-02 08:34:36 -07001251 DCHECK_GE(tls32_.suspend_count, tls32_.debug_suspend_count) << this;
1252 Locks::thread_suspend_count_lock_->AssertHeld(self);
1253 if (this != self && !IsSuspended()) {
1254 Locks::thread_list_lock_->AssertHeld(self);
1255 }
Ian Rogerscfaa4552012-11-26 21:00:08 -08001256 }
Alex Light88fd7202017-06-30 08:31:59 -07001257 // User code suspensions need to be checked more closely since they originate from code outside of
1258 // the runtime's control.
1259 if (UNLIKELY(reason == SuspendReason::kForUserCode)) {
1260 Locks::user_code_suspension_lock_->AssertHeld(self);
1261 if (UNLIKELY(delta + tls32_.user_code_suspend_count < 0)) {
1262 LOG(ERROR) << "attempting to modify suspend count in an illegal way.";
1263 return false;
1264 }
1265 }
Ian Rogersdd7624d2014-03-14 17:43:00 -07001266 if (UNLIKELY(delta < 0 && tls32_.suspend_count <= 0)) {
Ian Rogers01ae5802012-09-28 16:14:01 -07001267 UnsafeLogFatalForSuspendCount(self, this);
Yu Lieac44242015-06-29 10:50:03 +08001268 return false;
1269 }
1270
Hiroshi Yamauchi02e7f1a2016-10-03 15:32:01 -07001271 if (kUseReadBarrier && delta > 0 && this != self && tlsPtr_.flip_function != nullptr) {
1272 // Force retry of a suspend request if it's in the middle of a thread flip to avoid a
1273 // deadlock. b/31683379.
1274 return false;
1275 }
1276
Yu Lieac44242015-06-29 10:50:03 +08001277 uint16_t flags = kSuspendRequest;
1278 if (delta > 0 && suspend_barrier != nullptr) {
1279 uint32_t available_barrier = kMaxSuspendBarriers;
1280 for (uint32_t i = 0; i < kMaxSuspendBarriers; ++i) {
1281 if (tlsPtr_.active_suspend_barriers[i] == nullptr) {
1282 available_barrier = i;
1283 break;
1284 }
1285 }
1286 if (available_barrier == kMaxSuspendBarriers) {
1287 // No barrier spaces available, we can't add another.
1288 return false;
1289 }
1290 tlsPtr_.active_suspend_barriers[available_barrier] = suspend_barrier;
1291 flags |= kActiveSuspendBarrier;
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001292 }
Ian Rogers01ae5802012-09-28 16:14:01 -07001293
Ian Rogersdd7624d2014-03-14 17:43:00 -07001294 tls32_.suspend_count += delta;
Alex Light46f93402017-06-29 11:59:50 -07001295 switch (reason) {
1296 case SuspendReason::kForDebugger:
1297 tls32_.debug_suspend_count += delta;
1298 break;
Alex Light88fd7202017-06-30 08:31:59 -07001299 case SuspendReason::kForUserCode:
1300 tls32_.user_code_suspend_count += delta;
1301 break;
Alex Light46f93402017-06-29 11:59:50 -07001302 case SuspendReason::kInternal:
1303 break;
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001304 }
Ian Rogers01ae5802012-09-28 16:14:01 -07001305
Ian Rogersdd7624d2014-03-14 17:43:00 -07001306 if (tls32_.suspend_count == 0) {
Ian Rogers474b6da2012-09-25 00:20:38 -07001307 AtomicClearFlag(kSuspendRequest);
1308 } else {
Yu Lieac44242015-06-29 10:50:03 +08001309 // Two bits might be set simultaneously.
Orion Hodson88591fe2018-03-06 13:35:43 +00001310 tls32_.state_and_flags.as_atomic_int.fetch_or(flags, std::memory_order_seq_cst);
Dave Allisonb373e092014-02-20 16:06:36 -08001311 TriggerSuspend();
Ian Rogers474b6da2012-09-25 00:20:38 -07001312 }
Yu Lieac44242015-06-29 10:50:03 +08001313 return true;
1314}
1315
1316bool Thread::PassActiveSuspendBarriers(Thread* self) {
1317 // Grab the suspend_count lock and copy the current set of
1318 // barriers. Then clear the list and the flag. The ModifySuspendCount
1319 // function requires the lock so we prevent a race between setting
1320 // the kActiveSuspendBarrier flag and clearing it.
1321 AtomicInteger* pass_barriers[kMaxSuspendBarriers];
1322 {
1323 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
1324 if (!ReadFlag(kActiveSuspendBarrier)) {
1325 // quick exit test: the barriers have already been claimed - this is
1326 // possible as there may be a race to claim and it doesn't matter
1327 // who wins.
1328 // All of the callers of this function (except the SuspendAllInternal)
1329 // will first test the kActiveSuspendBarrier flag without lock. Here
1330 // double-check whether the barrier has been passed with the
1331 // suspend_count lock.
1332 return false;
1333 }
1334
1335 for (uint32_t i = 0; i < kMaxSuspendBarriers; ++i) {
1336 pass_barriers[i] = tlsPtr_.active_suspend_barriers[i];
1337 tlsPtr_.active_suspend_barriers[i] = nullptr;
1338 }
1339 AtomicClearFlag(kActiveSuspendBarrier);
1340 }
1341
1342 uint32_t barrier_count = 0;
1343 for (uint32_t i = 0; i < kMaxSuspendBarriers; i++) {
1344 AtomicInteger* pending_threads = pass_barriers[i];
1345 if (pending_threads != nullptr) {
1346 bool done = false;
1347 do {
Orion Hodson88591fe2018-03-06 13:35:43 +00001348 int32_t cur_val = pending_threads->load(std::memory_order_relaxed);
Yu Lieac44242015-06-29 10:50:03 +08001349 CHECK_GT(cur_val, 0) << "Unexpected value for PassActiveSuspendBarriers(): " << cur_val;
1350 // Reduce value by 1.
Orion Hodson4557b382018-01-03 11:47:54 +00001351 done = pending_threads->CompareAndSetWeakRelaxed(cur_val, cur_val - 1);
Yu Lieac44242015-06-29 10:50:03 +08001352#if ART_USE_FUTEXES
1353 if (done && (cur_val - 1) == 0) { // Weak CAS may fail spuriously.
1354 futex(pending_threads->Address(), FUTEX_WAKE, -1, nullptr, nullptr, 0);
1355 }
1356#endif
1357 } while (!done);
1358 ++barrier_count;
1359 }
1360 }
1361 CHECK_GT(barrier_count, 0U);
1362 return true;
1363}
1364
1365void Thread::ClearSuspendBarrier(AtomicInteger* target) {
1366 CHECK(ReadFlag(kActiveSuspendBarrier));
1367 bool clear_flag = true;
1368 for (uint32_t i = 0; i < kMaxSuspendBarriers; ++i) {
1369 AtomicInteger* ptr = tlsPtr_.active_suspend_barriers[i];
1370 if (ptr == target) {
1371 tlsPtr_.active_suspend_barriers[i] = nullptr;
1372 } else if (ptr != nullptr) {
1373 clear_flag = false;
1374 }
1375 }
1376 if (LIKELY(clear_flag)) {
1377 AtomicClearFlag(kActiveSuspendBarrier);
1378 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001379}
1380
Mathieu Chartier752a0e62013-06-27 11:03:27 -07001381void Thread::RunCheckpointFunction() {
Alex Lightdf00a1e2017-11-01 09:29:53 -07001382 // Grab the suspend_count lock, get the next checkpoint and update all the checkpoint fields. If
1383 // there are no more checkpoints we will also clear the kCheckpointRequest flag.
1384 Closure* checkpoint;
1385 {
1386 MutexLock mu(this, *Locks::thread_suspend_count_lock_);
1387 checkpoint = tlsPtr_.checkpoint_function;
1388 if (!checkpoint_overflow_.empty()) {
1389 // Overflow list not empty, copy the first one out and continue.
1390 tlsPtr_.checkpoint_function = checkpoint_overflow_.front();
1391 checkpoint_overflow_.pop_front();
1392 } else {
1393 // No overflow checkpoints. Clear the kCheckpointRequest flag
1394 tlsPtr_.checkpoint_function = nullptr;
1395 AtomicClearFlag(kCheckpointRequest);
Dave Allison0aded082013-11-07 13:15:11 -08001396 }
Alex Lightdf00a1e2017-11-01 09:29:53 -07001397 }
1398 // Outside the lock, run the checkpoint function.
1399 ScopedTrace trace("Run checkpoint function");
1400 CHECK(checkpoint != nullptr) << "Checkpoint flag set without pending checkpoint";
1401 checkpoint->Run(this);
Mathieu Chartier752a0e62013-06-27 11:03:27 -07001402}
1403
Hiroshi Yamauchi30493242016-11-03 13:06:52 -07001404void Thread::RunEmptyCheckpoint() {
1405 DCHECK_EQ(Thread::Current(), this);
1406 AtomicClearFlag(kEmptyCheckpointRequest);
1407 Runtime::Current()->GetThreadList()->EmptyCheckpointBarrier()->Pass(this);
1408}
1409
Mathieu Chartier0e4627e2012-10-23 16:13:36 -07001410bool Thread::RequestCheckpoint(Closure* function) {
Chris Dearman59cde532013-12-04 18:53:49 -08001411 union StateAndFlags old_state_and_flags;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001412 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001413 if (old_state_and_flags.as_struct.state != kRunnable) {
1414 return false; // Fail, thread is suspended and so can't run a checkpoint.
1415 }
Dave Allison0aded082013-11-07 13:15:11 -08001416
Mathieu Chartier858f1c52012-10-17 17:45:55 -07001417 // We must be runnable to request a checkpoint.
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -08001418 DCHECK_EQ(old_state_and_flags.as_struct.state, kRunnable);
Chris Dearman59cde532013-12-04 18:53:49 -08001419 union StateAndFlags new_state_and_flags;
1420 new_state_and_flags.as_int = old_state_and_flags.as_int;
Mathieu Chartier858f1c52012-10-17 17:45:55 -07001421 new_state_and_flags.as_struct.flags |= kCheckpointRequest;
Orion Hodson4557b382018-01-03 11:47:54 +00001422 bool success = tls32_.state_and_flags.as_atomic_int.CompareAndSetStrongSequentiallyConsistent(
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001423 old_state_and_flags.as_int, new_state_and_flags.as_int);
Mathieu Chartier952e1e32016-06-13 14:04:02 -07001424 if (success) {
1425 // Succeeded setting checkpoint flag, now insert the actual checkpoint.
1426 if (tlsPtr_.checkpoint_function == nullptr) {
1427 tlsPtr_.checkpoint_function = function;
1428 } else {
1429 checkpoint_overflow_.push_back(function);
1430 }
Dave Allison0aded082013-11-07 13:15:11 -08001431 CHECK_EQ(ReadFlag(kCheckpointRequest), true);
Dave Allisonb373e092014-02-20 16:06:36 -08001432 TriggerSuspend();
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001433 }
Ian Rogers8c1b5f72014-07-09 22:02:36 -07001434 return success;
Mathieu Chartier858f1c52012-10-17 17:45:55 -07001435}
1436
Hiroshi Yamauchi30493242016-11-03 13:06:52 -07001437bool Thread::RequestEmptyCheckpoint() {
1438 union StateAndFlags old_state_and_flags;
1439 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
1440 if (old_state_and_flags.as_struct.state != kRunnable) {
1441 // If it's not runnable, we don't need to do anything because it won't be in the middle of a
1442 // heap access (eg. the read barrier).
1443 return false;
1444 }
1445
1446 // We must be runnable to request a checkpoint.
1447 DCHECK_EQ(old_state_and_flags.as_struct.state, kRunnable);
1448 union StateAndFlags new_state_and_flags;
1449 new_state_and_flags.as_int = old_state_and_flags.as_int;
1450 new_state_and_flags.as_struct.flags |= kEmptyCheckpointRequest;
Orion Hodson4557b382018-01-03 11:47:54 +00001451 bool success = tls32_.state_and_flags.as_atomic_int.CompareAndSetStrongSequentiallyConsistent(
Hiroshi Yamauchi30493242016-11-03 13:06:52 -07001452 old_state_and_flags.as_int, new_state_and_flags.as_int);
1453 if (success) {
1454 TriggerSuspend();
1455 }
1456 return success;
1457}
1458
Andreas Gampee9f67122016-10-27 19:21:23 -07001459class BarrierClosure : public Closure {
1460 public:
1461 explicit BarrierClosure(Closure* wrapped) : wrapped_(wrapped), barrier_(0) {}
1462
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01001463 void Run(Thread* self) override {
Andreas Gampee9f67122016-10-27 19:21:23 -07001464 wrapped_->Run(self);
1465 barrier_.Pass(self);
1466 }
1467
Alex Light318afe62018-03-22 16:50:10 -07001468 void Wait(Thread* self, ThreadState suspend_state) {
1469 if (suspend_state != ThreadState::kRunnable) {
1470 barrier_.Increment<Barrier::kDisallowHoldingLocks>(self, 1);
1471 } else {
1472 barrier_.Increment<Barrier::kAllowHoldingLocks>(self, 1);
1473 }
Andreas Gampee9f67122016-10-27 19:21:23 -07001474 }
1475
1476 private:
1477 Closure* wrapped_;
1478 Barrier barrier_;
1479};
1480
Alex Lightb1e31a82017-10-04 16:57:36 -07001481// RequestSynchronousCheckpoint releases the thread_list_lock_ as a part of its execution.
Alex Light318afe62018-03-22 16:50:10 -07001482bool Thread::RequestSynchronousCheckpoint(Closure* function, ThreadState suspend_state) {
Alex Lightb1e31a82017-10-04 16:57:36 -07001483 Thread* self = Thread::Current();
Andreas Gampee9f67122016-10-27 19:21:23 -07001484 if (this == Thread::Current()) {
Alex Lightb1e31a82017-10-04 16:57:36 -07001485 Locks::thread_list_lock_->AssertExclusiveHeld(self);
1486 // Unlock the tll before running so that the state is the same regardless of thread.
1487 Locks::thread_list_lock_->ExclusiveUnlock(self);
Andreas Gampee9f67122016-10-27 19:21:23 -07001488 // Asked to run on this thread. Just run.
1489 function->Run(this);
Andreas Gampe28c4a232017-06-21 21:21:31 -07001490 return true;
Andreas Gampee9f67122016-10-27 19:21:23 -07001491 }
Andreas Gampee9f67122016-10-27 19:21:23 -07001492
1493 // The current thread is not this thread.
1494
Andreas Gampe28c4a232017-06-21 21:21:31 -07001495 if (GetState() == ThreadState::kTerminated) {
Alex Lightb1e31a82017-10-04 16:57:36 -07001496 Locks::thread_list_lock_->ExclusiveUnlock(self);
Andreas Gampe28c4a232017-06-21 21:21:31 -07001497 return false;
1498 }
1499
Andreas Gampe28c4a232017-06-21 21:21:31 -07001500 struct ScopedThreadListLockUnlock {
1501 explicit ScopedThreadListLockUnlock(Thread* self_in) RELEASE(*Locks::thread_list_lock_)
1502 : self_thread(self_in) {
1503 Locks::thread_list_lock_->AssertHeld(self_thread);
1504 Locks::thread_list_lock_->Unlock(self_thread);
1505 }
1506
1507 ~ScopedThreadListLockUnlock() ACQUIRE(*Locks::thread_list_lock_) {
1508 Locks::thread_list_lock_->AssertNotHeld(self_thread);
1509 Locks::thread_list_lock_->Lock(self_thread);
1510 }
1511
1512 Thread* self_thread;
1513 };
1514
Andreas Gampee9f67122016-10-27 19:21:23 -07001515 for (;;) {
Alex Lightb1e31a82017-10-04 16:57:36 -07001516 Locks::thread_list_lock_->AssertExclusiveHeld(self);
Andreas Gampee9f67122016-10-27 19:21:23 -07001517 // If this thread is runnable, try to schedule a checkpoint. Do some gymnastics to not hold the
1518 // suspend-count lock for too long.
1519 if (GetState() == ThreadState::kRunnable) {
1520 BarrierClosure barrier_closure(function);
1521 bool installed = false;
1522 {
1523 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
1524 installed = RequestCheckpoint(&barrier_closure);
1525 }
1526 if (installed) {
Alex Lightb1e31a82017-10-04 16:57:36 -07001527 // Relinquish the thread-list lock. We should not wait holding any locks. We cannot
1528 // reacquire it since we don't know if 'this' hasn't been deleted yet.
1529 Locks::thread_list_lock_->ExclusiveUnlock(self);
Alex Light318afe62018-03-22 16:50:10 -07001530 ScopedThreadStateChange sts(self, suspend_state);
1531 barrier_closure.Wait(self, suspend_state);
Andreas Gampe28c4a232017-06-21 21:21:31 -07001532 return true;
Andreas Gampee9f67122016-10-27 19:21:23 -07001533 }
1534 // Fall-through.
1535 }
1536
1537 // This thread is not runnable, make sure we stay suspended, then run the checkpoint.
1538 // Note: ModifySuspendCountInternal also expects the thread_list_lock to be held in
1539 // certain situations.
1540 {
Andreas Gampee9f67122016-10-27 19:21:23 -07001541 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
1542
Alex Light46f93402017-06-29 11:59:50 -07001543 if (!ModifySuspendCount(self, +1, nullptr, SuspendReason::kInternal)) {
Andreas Gampee9f67122016-10-27 19:21:23 -07001544 // Just retry the loop.
1545 sched_yield();
1546 continue;
1547 }
1548 }
1549
Andreas Gampe28c4a232017-06-21 21:21:31 -07001550 {
Alex Lightb1e31a82017-10-04 16:57:36 -07001551 // Release for the wait. The suspension will keep us from being deleted. Reacquire after so
1552 // that we can call ModifySuspendCount without racing against ThreadList::Unregister.
Andreas Gampe28c4a232017-06-21 21:21:31 -07001553 ScopedThreadListLockUnlock stllu(self);
Andreas Gampe117f9b32017-06-23 13:33:50 -07001554 {
Alex Light318afe62018-03-22 16:50:10 -07001555 ScopedThreadStateChange sts(self, suspend_state);
Andreas Gampe117f9b32017-06-23 13:33:50 -07001556 while (GetState() == ThreadState::kRunnable) {
1557 // We became runnable again. Wait till the suspend triggered in ModifySuspendCount
1558 // moves us to suspended.
1559 sched_yield();
1560 }
Andreas Gampe28c4a232017-06-21 21:21:31 -07001561 }
1562
1563 function->Run(this);
Andreas Gampee9f67122016-10-27 19:21:23 -07001564 }
1565
Andreas Gampee9f67122016-10-27 19:21:23 -07001566 {
Andreas Gampee9f67122016-10-27 19:21:23 -07001567 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
1568
1569 DCHECK_NE(GetState(), ThreadState::kRunnable);
Alex Light46f93402017-06-29 11:59:50 -07001570 bool updated = ModifySuspendCount(self, -1, nullptr, SuspendReason::kInternal);
Sebastien Hertz1c8f4ff2017-04-14 15:05:12 +02001571 DCHECK(updated);
Andreas Gampee9f67122016-10-27 19:21:23 -07001572 }
1573
Andreas Gampe117f9b32017-06-23 13:33:50 -07001574 {
1575 // Imitate ResumeAll, the thread may be waiting on Thread::resume_cond_ since we raised its
1576 // suspend count. Now the suspend_count_ is lowered so we must do the broadcast.
1577 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
1578 Thread::resume_cond_->Broadcast(self);
1579 }
1580
Alex Lightb1e31a82017-10-04 16:57:36 -07001581 // Release the thread_list_lock_ to be consistent with the barrier-closure path.
1582 Locks::thread_list_lock_->ExclusiveUnlock(self);
1583
Andreas Gampe28c4a232017-06-21 21:21:31 -07001584 return true; // We're done, break out of the loop.
Andreas Gampee9f67122016-10-27 19:21:23 -07001585 }
1586}
1587
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08001588Closure* Thread::GetFlipFunction() {
1589 Atomic<Closure*>* atomic_func = reinterpret_cast<Atomic<Closure*>*>(&tlsPtr_.flip_function);
1590 Closure* func;
1591 do {
Orion Hodson88591fe2018-03-06 13:35:43 +00001592 func = atomic_func->load(std::memory_order_relaxed);
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08001593 if (func == nullptr) {
1594 return nullptr;
1595 }
Orion Hodson4557b382018-01-03 11:47:54 +00001596 } while (!atomic_func->CompareAndSetWeakSequentiallyConsistent(func, nullptr));
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08001597 DCHECK(func != nullptr);
1598 return func;
1599}
1600
1601void Thread::SetFlipFunction(Closure* function) {
1602 CHECK(function != nullptr);
1603 Atomic<Closure*>* atomic_func = reinterpret_cast<Atomic<Closure*>*>(&tlsPtr_.flip_function);
Orion Hodson88591fe2018-03-06 13:35:43 +00001604 atomic_func->store(function, std::memory_order_seq_cst);
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08001605}
1606
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001607void Thread::FullSuspendCheck() {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -08001608 ScopedTrace trace(__FUNCTION__);
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001609 VLOG(threads) << this << " self-suspending";
1610 // Make thread appear suspended to other threads, release mutator_lock_.
Mathieu Chartierf1d666e2015-09-03 16:13:34 -07001611 // Transition to suspended and back to runnable, re-acquire share on mutator_lock_.
Andreas Gampe896583e2018-06-15 13:31:58 -07001612 ScopedThreadSuspension(this, kSuspended); // NOLINT
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001613 VLOG(threads) << this << " self-reviving";
1614}
1615
Andreas Gampe9186ced2016-12-12 14:28:21 -08001616static std::string GetSchedulerGroupName(pid_t tid) {
1617 // /proc/<pid>/cgroup looks like this:
1618 // 2:devices:/
1619 // 1:cpuacct,cpu:/
1620 // We want the third field from the line whose second field contains the "cpu" token.
1621 std::string cgroup_file;
1622 if (!ReadFileToString(StringPrintf("/proc/self/task/%d/cgroup", tid), &cgroup_file)) {
1623 return "";
1624 }
1625 std::vector<std::string> cgroup_lines;
1626 Split(cgroup_file, '\n', &cgroup_lines);
1627 for (size_t i = 0; i < cgroup_lines.size(); ++i) {
1628 std::vector<std::string> cgroup_fields;
1629 Split(cgroup_lines[i], ':', &cgroup_fields);
1630 std::vector<std::string> cgroups;
1631 Split(cgroup_fields[1], ',', &cgroups);
1632 for (size_t j = 0; j < cgroups.size(); ++j) {
1633 if (cgroups[j] == "cpu") {
1634 return cgroup_fields[2].substr(1); // Skip the leading slash.
1635 }
1636 }
1637 }
1638 return "";
1639}
1640
1641
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001642void Thread::DumpState(std::ostream& os, const Thread* thread, pid_t tid) {
Elliott Hughesd369bb72011-09-12 14:41:14 -07001643 std::string group_name;
1644 int priority;
1645 bool is_daemon = false;
Ian Rogers81d425b2012-09-27 16:03:43 -07001646 Thread* self = Thread::Current();
Elliott Hughesdcc24742011-09-07 14:02:44 -07001647
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08001648 // If flip_function is not null, it means we have run a checkpoint
1649 // before the thread wakes up to execute the flip function and the
1650 // thread roots haven't been forwarded. So the following access to
1651 // the roots (opeer or methods in the frames) would be bad. Run it
1652 // here. TODO: clean up.
1653 if (thread != nullptr) {
1654 ScopedObjectAccessUnchecked soa(self);
1655 Thread* this_thread = const_cast<Thread*>(thread);
1656 Closure* flip_func = this_thread->GetFlipFunction();
1657 if (flip_func != nullptr) {
1658 flip_func->Run(this_thread);
1659 }
1660 }
1661
Mathieu Chartierc7a966d2014-04-10 18:06:32 -07001662 // Don't do this if we are aborting since the GC may have all the threads suspended. This will
1663 // cause ScopedObjectAccessUnchecked to deadlock.
Nicolas Geoffraydb978712014-12-09 13:33:38 +00001664 if (gAborting == 0 && self != nullptr && thread != nullptr && thread->tlsPtr_.opeer != nullptr) {
Ian Rogerscfaa4552012-11-26 21:00:08 -08001665 ScopedObjectAccessUnchecked soa(self);
Andreas Gampe08883de2016-11-08 13:20:52 -08001666 priority = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_priority)
Ian Rogersdd7624d2014-03-14 17:43:00 -07001667 ->GetInt(thread->tlsPtr_.opeer);
Andreas Gampe08883de2016-11-08 13:20:52 -08001668 is_daemon = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_daemon)
Ian Rogersdd7624d2014-03-14 17:43:00 -07001669 ->GetBoolean(thread->tlsPtr_.opeer);
Elliott Hughesd369bb72011-09-12 14:41:14 -07001670
Mathieu Chartier3398c782016-09-30 10:27:43 -07001671 ObjPtr<mirror::Object> thread_group =
Andreas Gampe08883de2016-11-08 13:20:52 -08001672 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_group)
1673 ->GetObject(thread->tlsPtr_.opeer);
Ian Rogers120f1c72012-09-28 17:17:10 -07001674
Dave Allison0aded082013-11-07 13:15:11 -08001675 if (thread_group != nullptr) {
Mathieu Chartierc7853442015-03-27 14:35:38 -07001676 ArtField* group_name_field =
Andreas Gampe08883de2016-11-08 13:20:52 -08001677 jni::DecodeArtField(WellKnownClasses::java_lang_ThreadGroup_name);
Mathieu Chartier3398c782016-09-30 10:27:43 -07001678 ObjPtr<mirror::String> group_name_string =
1679 group_name_field->GetObject(thread_group)->AsString();
Dave Allison0aded082013-11-07 13:15:11 -08001680 group_name = (group_name_string != nullptr) ? group_name_string->ToModifiedUtf8() : "<null>";
Elliott Hughesd369bb72011-09-12 14:41:14 -07001681 }
1682 } else {
Elliott Hughesd369bb72011-09-12 14:41:14 -07001683 priority = GetNativePriority();
Elliott Hughesdcc24742011-09-07 14:02:44 -07001684 }
Elliott Hughesd92bec42011-09-02 17:04:36 -07001685
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001686 std::string scheduler_group_name(GetSchedulerGroupName(tid));
Elliott Hughes1bac54f2012-03-16 12:48:31 -07001687 if (scheduler_group_name.empty()) {
1688 scheduler_group_name = "default";
Elliott Hughesd92bec42011-09-02 17:04:36 -07001689 }
1690
Dave Allison0aded082013-11-07 13:15:11 -08001691 if (thread != nullptr) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001692 os << '"' << *thread->tlsPtr_.name << '"';
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001693 if (is_daemon) {
1694 os << " daemon";
1695 }
1696 os << " prio=" << priority
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001697 << " tid=" << thread->GetThreadId()
Elliott Hughes80537bb2013-01-04 16:37:26 -08001698 << " " << thread->GetState();
1699 if (thread->IsStillStarting()) {
1700 os << " (still starting up)";
1701 }
1702 os << "\n";
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001703 } else {
Elliott Hughes289be852012-06-12 13:57:20 -07001704 os << '"' << ::art::GetThreadName(tid) << '"'
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001705 << " prio=" << priority
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001706 << " (not attached)\n";
Elliott Hughesd92bec42011-09-02 17:04:36 -07001707 }
Elliott Hughesd92bec42011-09-02 17:04:36 -07001708
Dave Allison0aded082013-11-07 13:15:11 -08001709 if (thread != nullptr) {
Ian Rogers81d425b2012-09-27 16:03:43 -07001710 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001711 os << " | group=\"" << group_name << "\""
Ian Rogersdd7624d2014-03-14 17:43:00 -07001712 << " sCount=" << thread->tls32_.suspend_count
1713 << " dsCount=" << thread->tls32_.debug_suspend_count
Hiroshi Yamauchia82769c2016-12-02 17:01:51 -08001714 << " flags=" << thread->tls32_.state_and_flags.as_struct.flags
Ian Rogersdd7624d2014-03-14 17:43:00 -07001715 << " obj=" << reinterpret_cast<void*>(thread->tlsPtr_.opeer)
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001716 << " self=" << reinterpret_cast<const void*>(thread) << "\n";
1717 }
Elliott Hughes0d39c122012-06-06 16:41:17 -07001718
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001719 os << " | sysTid=" << tid
1720 << " nice=" << getpriority(PRIO_PROCESS, tid)
Elliott Hughes0d39c122012-06-06 16:41:17 -07001721 << " cgrp=" << scheduler_group_name;
Dave Allison0aded082013-11-07 13:15:11 -08001722 if (thread != nullptr) {
Elliott Hughes0d39c122012-06-06 16:41:17 -07001723 int policy;
1724 sched_param sp;
Brian Carlstrom640a1042017-03-20 15:03:42 -07001725#if !defined(__APPLE__)
1726 // b/36445592 Don't use pthread_getschedparam since pthread may have exited.
1727 policy = sched_getscheduler(tid);
1728 if (policy == -1) {
1729 PLOG(WARNING) << "sched_getscheduler(" << tid << ")";
1730 }
1731 int sched_getparam_result = sched_getparam(tid, &sp);
1732 if (sched_getparam_result == -1) {
1733 PLOG(WARNING) << "sched_getparam(" << tid << ", &sp)";
1734 sp.sched_priority = -1;
1735 }
1736#else
Ian Rogersdd7624d2014-03-14 17:43:00 -07001737 CHECK_PTHREAD_CALL(pthread_getschedparam, (thread->tlsPtr_.pthread_self, &policy, &sp),
1738 __FUNCTION__);
Brian Carlstrom640a1042017-03-20 15:03:42 -07001739#endif
Elliott Hughes0d39c122012-06-06 16:41:17 -07001740 os << " sched=" << policy << "/" << sp.sched_priority
Ian Rogersdd7624d2014-03-14 17:43:00 -07001741 << " handle=" << reinterpret_cast<void*>(thread->tlsPtr_.pthread_self);
Elliott Hughes0d39c122012-06-06 16:41:17 -07001742 }
1743 os << "\n";
Elliott Hughesd92bec42011-09-02 17:04:36 -07001744
1745 // Grab the scheduler stats for this thread.
1746 std::string scheduler_stats;
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001747 if (ReadFileToString(StringPrintf("/proc/self/task/%d/schedstat", tid), &scheduler_stats)) {
Brian Carlstrom7934ac22013-07-26 10:54:15 -07001748 scheduler_stats.resize(scheduler_stats.size() - 1); // Lose the trailing '\n'.
Elliott Hughesd92bec42011-09-02 17:04:36 -07001749 } else {
1750 scheduler_stats = "0 0 0";
1751 }
1752
Elliott Hughesba0b9c52012-09-20 11:25:12 -07001753 char native_thread_state = '?';
Elliott Hughesd92bec42011-09-02 17:04:36 -07001754 int utime = 0;
1755 int stime = 0;
1756 int task_cpu = 0;
Brian Carlstrom29212012013-09-12 22:18:30 -07001757 GetTaskStats(tid, &native_thread_state, &utime, &stime, &task_cpu);
Elliott Hughesd92bec42011-09-02 17:04:36 -07001758
Elliott Hughesba0b9c52012-09-20 11:25:12 -07001759 os << " | state=" << native_thread_state
1760 << " schedstat=( " << scheduler_stats << " )"
Elliott Hughesd92bec42011-09-02 17:04:36 -07001761 << " utm=" << utime
1762 << " stm=" << stime
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001763 << " core=" << task_cpu
1764 << " HZ=" << sysconf(_SC_CLK_TCK) << "\n";
Dave Allison0aded082013-11-07 13:15:11 -08001765 if (thread != nullptr) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001766 os << " | stack=" << reinterpret_cast<void*>(thread->tlsPtr_.stack_begin) << "-"
1767 << reinterpret_cast<void*>(thread->tlsPtr_.stack_end) << " stackSize="
1768 << PrettySize(thread->tlsPtr_.stack_size) << "\n";
Mathieu Chartier9db911e2014-06-04 11:23:58 -07001769 // Dump the held mutexes.
1770 os << " | held mutexes=";
1771 for (size_t i = 0; i < kLockLevelCount; ++i) {
1772 if (i != kMonitorLock) {
1773 BaseMutex* mutex = thread->GetHeldMutex(static_cast<LockLevel>(i));
1774 if (mutex != nullptr) {
1775 os << " \"" << mutex->GetName() << "\"";
1776 if (mutex->IsReaderWriterMutex()) {
1777 ReaderWriterMutex* rw_mutex = down_cast<ReaderWriterMutex*>(mutex);
Hans Boehm0882af22017-08-31 15:21:57 -07001778 if (rw_mutex->GetExclusiveOwnerTid() == tid) {
Mathieu Chartier9db911e2014-06-04 11:23:58 -07001779 os << "(exclusive held)";
1780 } else {
Mathieu Chartier9db911e2014-06-04 11:23:58 -07001781 os << "(shared held)";
1782 }
1783 }
1784 }
1785 }
1786 }
1787 os << "\n";
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001788 }
1789}
1790
1791void Thread::DumpState(std::ostream& os) const {
1792 Thread::DumpState(os, this, GetTid());
Elliott Hughesd92bec42011-09-02 17:04:36 -07001793}
1794
Andreas Gampe93104952017-12-13 17:13:15 -08001795struct StackDumpVisitor : public MonitorObjectsStackVisitor {
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08001796 StackDumpVisitor(std::ostream& os_in,
1797 Thread* thread_in,
1798 Context* context,
Andreas Gampe93104952017-12-13 17:13:15 -08001799 bool can_allocate,
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08001800 bool check_suspended = true,
Andreas Gampe93104952017-12-13 17:13:15 -08001801 bool dump_locks = true)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001802 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampe93104952017-12-13 17:13:15 -08001803 : MonitorObjectsStackVisitor(thread_in,
1804 context,
1805 check_suspended,
1806 can_allocate && dump_locks),
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +01001807 os(os_in),
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +01001808 last_method(nullptr),
1809 last_line_number(0),
Andreas Gampe93104952017-12-13 17:13:15 -08001810 repetition_count(0) {}
Elliott Hughesd369bb72011-09-12 14:41:14 -07001811
Ian Rogersbdb03912011-09-14 00:55:44 -07001812 virtual ~StackDumpVisitor() {
Elliott Hughese85d2e92012-05-01 14:02:10 -07001813 if (frame_count == 0) {
1814 os << " (no managed stack frames)\n";
1815 }
Elliott Hughesd369bb72011-09-12 14:41:14 -07001816 }
1817
Andreas Gampe93104952017-12-13 17:13:15 -08001818 static constexpr size_t kMaxRepetition = 3u;
1819
1820 VisitMethodResult StartMethod(ArtMethod* m, size_t frame_nr ATTRIBUTE_UNUSED)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01001821 override
Andreas Gampe93104952017-12-13 17:13:15 -08001822 REQUIRES_SHARED(Locks::mutator_lock_) {
Andreas Gampe542451c2016-07-26 09:02:02 -07001823 m = m->GetInterfaceMethodIfProxy(kRuntimePointerSize);
Mathieu Chartierf5769e12017-01-10 15:54:41 -08001824 ObjPtr<mirror::Class> c = m->GetDeclaringClass();
1825 ObjPtr<mirror::DexCache> dex_cache = c->GetDexCache();
Ian Rogersb861dc02011-11-14 17:00:05 -08001826 int line_number = -1;
Dave Allison0aded082013-11-07 13:15:11 -08001827 if (dex_cache != nullptr) { // be tolerant of bad input
David Sehr9323e6e2016-09-13 08:58:35 -07001828 const DexFile* dex_file = dex_cache->GetDexFile();
1829 line_number = annotations::GetLineNumFromPC(dex_file, m, GetDexPc(false));
Ian Rogersb861dc02011-11-14 17:00:05 -08001830 }
Ian Rogers28ad40d2011-10-27 15:19:26 -07001831 if (line_number == last_line_number && last_method == m) {
Dave Allison0aded082013-11-07 13:15:11 -08001832 ++repetition_count;
Elliott Hughesd369bb72011-09-12 14:41:14 -07001833 } else {
Ian Rogers28ad40d2011-10-27 15:19:26 -07001834 if (repetition_count >= kMaxRepetition) {
1835 os << " ... repeated " << (repetition_count - kMaxRepetition) << " times\n";
1836 }
1837 repetition_count = 0;
1838 last_line_number = line_number;
1839 last_method = m;
Elliott Hughesd369bb72011-09-12 14:41:14 -07001840 }
Andreas Gampe93104952017-12-13 17:13:15 -08001841
1842 if (repetition_count >= kMaxRepetition) {
1843 // Skip visiting=printing anything.
1844 return VisitMethodResult::kSkipMethod;
Ian Rogers28ad40d2011-10-27 15:19:26 -07001845 }
Elliott Hughes8e4aac52011-09-26 17:03:36 -07001846
Andreas Gampe93104952017-12-13 17:13:15 -08001847 os << " at " << m->PrettyMethod(false);
1848 if (m->IsNative()) {
1849 os << "(Native method)";
1850 } else {
1851 const char* source_file(m->GetDeclaringClassSourceFile());
1852 os << "(" << (source_file != nullptr ? source_file : "unavailable")
1853 << ":" << line_number << ")";
1854 }
1855 os << "\n";
1856 // Go and visit locks.
1857 return VisitMethodResult::kContinueMethod;
Elliott Hughesd369bb72011-09-12 14:41:14 -07001858 }
Elliott Hughes4993bbc2013-01-10 15:41:25 -08001859
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01001860 VisitMethodResult EndMethod(ArtMethod* m ATTRIBUTE_UNUSED) override {
Andreas Gampe93104952017-12-13 17:13:15 -08001861 return VisitMethodResult::kContinueMethod;
1862 }
1863
1864 void VisitWaitingObject(mirror::Object* obj, ThreadState state ATTRIBUTE_UNUSED)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01001865 override
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001866 REQUIRES_SHARED(Locks::mutator_lock_) {
Andreas Gampe93104952017-12-13 17:13:15 -08001867 PrintObject(obj, " - waiting on ", ThreadList::kInvalidThreadId);
1868 }
1869 void VisitSleepingObject(mirror::Object* obj)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01001870 override
Andreas Gampe93104952017-12-13 17:13:15 -08001871 REQUIRES_SHARED(Locks::mutator_lock_) {
1872 PrintObject(obj, " - sleeping on ", ThreadList::kInvalidThreadId);
1873 }
1874 void VisitBlockedOnObject(mirror::Object* obj,
1875 ThreadState state,
1876 uint32_t owner_tid)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01001877 override
Andreas Gampe93104952017-12-13 17:13:15 -08001878 REQUIRES_SHARED(Locks::mutator_lock_) {
1879 const char* msg;
1880 switch (state) {
1881 case kBlocked:
1882 msg = " - waiting to lock ";
1883 break;
1884
1885 case kWaitingForLockInflation:
1886 msg = " - waiting for lock inflation of ";
1887 break;
1888
1889 default:
1890 LOG(FATAL) << "Unreachable";
1891 UNREACHABLE();
1892 }
1893 PrintObject(obj, msg, owner_tid);
1894 }
1895 void VisitLockedObject(mirror::Object* obj)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01001896 override
Andreas Gampe93104952017-12-13 17:13:15 -08001897 REQUIRES_SHARED(Locks::mutator_lock_) {
1898 PrintObject(obj, " - locked ", ThreadList::kInvalidThreadId);
1899 }
1900
1901 void PrintObject(mirror::Object* obj,
1902 const char* msg,
1903 uint32_t owner_tid) REQUIRES_SHARED(Locks::mutator_lock_) {
1904 if (obj == nullptr) {
1905 os << msg << "an unknown object";
Ian Rogersd803bc72014-04-01 15:33:03 -07001906 } else {
Andreas Gampe93104952017-12-13 17:13:15 -08001907 if ((obj->GetLockWord(true).GetState() == LockWord::kThinLocked) &&
Ian Rogersd803bc72014-04-01 15:33:03 -07001908 Locks::mutator_lock_->IsExclusiveHeld(Thread::Current())) {
1909 // Getting the identity hashcode here would result in lock inflation and suspension of the
1910 // current thread, which isn't safe if this is the only runnable thread.
Andreas Gampe93104952017-12-13 17:13:15 -08001911 os << msg << StringPrintf("<@addr=0x%" PRIxPTR "> (a %s)",
1912 reinterpret_cast<intptr_t>(obj),
1913 obj->PrettyTypeOf().c_str());
Ian Rogersd803bc72014-04-01 15:33:03 -07001914 } else {
Andreas Gampe93104952017-12-13 17:13:15 -08001915 // - waiting on <0x6008c468> (a java.lang.Class<java.lang.ref.ReferenceQueue>)
1916 // Call PrettyTypeOf before IdentityHashCode since IdentityHashCode can cause thread
1917 // suspension and move pretty_object.
1918 const std::string pretty_type(obj->PrettyTypeOf());
1919 os << msg << StringPrintf("<0x%08x> (a %s)", obj->IdentityHashCode(), pretty_type.c_str());
Ian Rogersd803bc72014-04-01 15:33:03 -07001920 }
1921 }
Andreas Gampe93104952017-12-13 17:13:15 -08001922 if (owner_tid != ThreadList::kInvalidThreadId) {
1923 os << " held by thread " << owner_tid;
1924 }
Ian Rogersd803bc72014-04-01 15:33:03 -07001925 os << "\n";
Elliott Hughes4993bbc2013-01-10 15:41:25 -08001926 }
1927
Elliott Hughes08fc03a2012-06-26 17:34:00 -07001928 std::ostream& os;
Mathieu Chartiere401d142015-04-22 13:56:20 -07001929 ArtMethod* last_method;
Ian Rogers28ad40d2011-10-27 15:19:26 -07001930 int last_line_number;
Andreas Gampe93104952017-12-13 17:13:15 -08001931 size_t repetition_count;
Elliott Hughesd369bb72011-09-12 14:41:14 -07001932};
1933
Ian Rogers33e95662013-05-20 20:29:14 -07001934static bool ShouldShowNativeStack(const Thread* thread)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001935 REQUIRES_SHARED(Locks::mutator_lock_) {
Elliott Hughesaef701d2013-04-05 18:15:40 -07001936 ThreadState state = thread->GetState();
1937
1938 // In native code somewhere in the VM (one of the kWaitingFor* states)? That's interesting.
1939 if (state > kWaiting && state < kStarting) {
1940 return true;
1941 }
1942
1943 // In an Object.wait variant or Thread.sleep? That's not interesting.
1944 if (state == kTimedWaiting || state == kSleeping || state == kWaiting) {
1945 return false;
1946 }
1947
Christopher Ferris2366f4e2014-09-19 17:23:59 -07001948 // Threads with no managed stack frames should be shown.
Vladimir Markoe7441632017-11-29 13:00:56 +00001949 if (!thread->HasManagedStack()) {
Christopher Ferris2366f4e2014-09-19 17:23:59 -07001950 return true;
1951 }
1952
Elliott Hughesaef701d2013-04-05 18:15:40 -07001953 // In some other native method? That's interesting.
1954 // We don't just check kNative because native methods will be in state kSuspended if they're
1955 // calling back into the VM, or kBlocked if they're blocked on a monitor, or one of the
1956 // thread-startup states if it's early enough in their life cycle (http://b/7432159).
Mathieu Chartiere401d142015-04-22 13:56:20 -07001957 ArtMethod* current_method = thread->GetCurrentMethod(nullptr);
Dave Allison0aded082013-11-07 13:15:11 -08001958 return current_method != nullptr && current_method->IsNative();
Elliott Hughesaef701d2013-04-05 18:15:40 -07001959}
1960
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08001961void Thread::DumpJavaStack(std::ostream& os, bool check_suspended, bool dump_locks) const {
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08001962 // If flip_function is not null, it means we have run a checkpoint
1963 // before the thread wakes up to execute the flip function and the
1964 // thread roots haven't been forwarded. So the following access to
1965 // the roots (locks or methods in the frames) would be bad. Run it
1966 // here. TODO: clean up.
1967 {
1968 Thread* this_thread = const_cast<Thread*>(this);
1969 Closure* flip_func = this_thread->GetFlipFunction();
1970 if (flip_func != nullptr) {
1971 flip_func->Run(this_thread);
1972 }
1973 }
1974
Andreas Gampe986c6fb2014-10-02 21:00:06 -07001975 // Dumping the Java stack involves the verifier for locks. The verifier operates under the
1976 // assumption that there is no exception pending on entry. Thus, stash any pending exception.
Mathieu Chartierbef89c92015-01-09 09:46:49 -08001977 // Thread::Current() instead of this in case a thread is dumping the stack of another suspended
1978 // thread.
Nicolas Geoffray14691c52015-03-05 10:40:17 +00001979 StackHandleScope<1> scope(Thread::Current());
Andreas Gampe986c6fb2014-10-02 21:00:06 -07001980 Handle<mirror::Throwable> exc;
Andreas Gampe986c6fb2014-10-02 21:00:06 -07001981 bool have_exception = false;
1982 if (IsExceptionPending()) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +00001983 exc = scope.NewHandle(GetException());
Andreas Gampe986c6fb2014-10-02 21:00:06 -07001984 const_cast<Thread*>(this)->ClearException();
1985 have_exception = true;
1986 }
1987
Ian Rogers700a4022014-05-19 16:49:03 -07001988 std::unique_ptr<Context> context(Context::Create());
Mathieu Chartierc751fdc2014-03-30 15:25:44 -07001989 StackDumpVisitor dumper(os, const_cast<Thread*>(this), context.get(),
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08001990 !tls32_.throwing_OutOfMemoryError, check_suspended, dump_locks);
Mathieu Chartierc751fdc2014-03-30 15:25:44 -07001991 dumper.WalkStack();
Andreas Gampe986c6fb2014-10-02 21:00:06 -07001992
1993 if (have_exception) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +00001994 const_cast<Thread*>(this)->SetException(exc.Get());
Andreas Gampe986c6fb2014-10-02 21:00:06 -07001995 }
Mathieu Chartierc751fdc2014-03-30 15:25:44 -07001996}
1997
Nicolas Geoffray6ee49712018-03-30 14:39:05 +00001998void Thread::DumpStack(std::ostream& os,
1999 bool dump_native_stack,
2000 BacktraceMap* backtrace_map,
2001 bool force_dump_stack) const {
Jeff Haoed1790e2013-04-12 09:58:14 -07002002 // TODO: we call this code when dying but may not have suspended the thread ourself. The
2003 // IsSuspended check is therefore racy with the use for dumping (normally we inhibit
2004 // the race with the thread_suspend_count_lock_).
Ian Rogerseef2e542014-06-24 22:48:01 -07002005 bool dump_for_abort = (gAborting > 0);
2006 bool safe_to_dump = (this == Thread::Current() || IsSuspended());
2007 if (!kIsDebugBuild) {
2008 // We always want to dump the stack for an abort, however, there is no point dumping another
2009 // thread's stack in debug builds where we'll hit the not suspended check in the stack walk.
2010 safe_to_dump = (safe_to_dump || dump_for_abort);
2011 }
Hiroshi Yamauchi13c16352017-01-31 10:15:08 -08002012 if (safe_to_dump || force_dump_stack) {
Ian Rogersf08e4732013-04-09 09:45:49 -07002013 // If we're currently in native code, dump that stack before dumping the managed stack.
Nicolas Geoffray6ee49712018-03-30 14:39:05 +00002014 if (dump_native_stack && (dump_for_abort || force_dump_stack || ShouldShowNativeStack(this))) {
Ian Rogersf08e4732013-04-09 09:45:49 -07002015 DumpKernelStack(os, GetTid(), " kernel: ", false);
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08002016 ArtMethod* method =
2017 GetCurrentMethod(nullptr,
Andreas Gampe98ea9d92018-10-19 14:06:15 -07002018 /*check_suspended=*/ !force_dump_stack,
2019 /*abort_on_error=*/ !(dump_for_abort || force_dump_stack));
Christopher Ferris6cff48f2014-01-26 21:36:13 -08002020 DumpNativeStack(os, GetTid(), backtrace_map, " native: ", method);
Ian Rogersf08e4732013-04-09 09:45:49 -07002021 }
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08002022 DumpJavaStack(os,
Andreas Gampe98ea9d92018-10-19 14:06:15 -07002023 /*check_suspended=*/ !force_dump_stack,
2024 /*dump_locks=*/ !force_dump_stack);
Ian Rogersf08e4732013-04-09 09:45:49 -07002025 } else {
2026 os << "Not able to dump stack of thread that isn't suspended";
Elliott Hughesffb465f2012-03-01 18:46:05 -08002027 }
Elliott Hughese27955c2011-08-26 15:21:24 -07002028}
2029
Elliott Hughesbe759c62011-09-08 19:38:21 -07002030void Thread::ThreadExitCallback(void* arg) {
2031 Thread* self = reinterpret_cast<Thread*>(arg);
Ian Rogersdd7624d2014-03-14 17:43:00 -07002032 if (self->tls32_.thread_exit_check_count == 0) {
2033 LOG(WARNING) << "Native thread exiting without having called DetachCurrentThread (maybe it's "
2034 "going to use a pthread_key_create destructor?): " << *self;
Ian Rogers0878d652013-04-18 17:38:35 -07002035 CHECK(is_started_);
Bilyan Borisovbb661c02016-04-04 16:27:32 +01002036#ifdef ART_TARGET_ANDROID
Andreas Gampe4382f1e2015-08-05 01:08:53 +00002037 __get_tls()[TLS_SLOT_ART_THREAD_SELF] = self;
2038#else
Elliott Hughes6a607ad2012-07-13 20:40:00 -07002039 CHECK_PTHREAD_CALL(pthread_setspecific, (Thread::pthread_key_self_, self), "reattach self");
Andreas Gampe4382f1e2015-08-05 01:08:53 +00002040#endif
Ian Rogersdd7624d2014-03-14 17:43:00 -07002041 self->tls32_.thread_exit_check_count = 1;
Elliott Hughes6a607ad2012-07-13 20:40:00 -07002042 } else {
2043 LOG(FATAL) << "Native thread exited without calling DetachCurrentThread: " << *self;
2044 }
Carl Shapirob5573532011-07-12 18:22:59 -07002045}
2046
Elliott Hughesbe759c62011-09-08 19:38:21 -07002047void Thread::Startup() {
Ian Rogers0878d652013-04-18 17:38:35 -07002048 CHECK(!is_started_);
2049 is_started_ = true;
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002050 {
Brian Carlstrom6d69f592013-07-16 17:18:16 -07002051 // MutexLock to keep annotalysis happy.
2052 //
Mathieu Chartier2cebb242015-04-21 16:50:40 -07002053 // Note we use null for the thread because Thread::Current can
Brian Carlstrom6d69f592013-07-16 17:18:16 -07002054 // return garbage since (is_started_ == true) and
2055 // Thread::pthread_key_self_ is not yet initialized.
2056 // This was seen on glibc.
Dave Allison0aded082013-11-07 13:15:11 -08002057 MutexLock mu(nullptr, *Locks::thread_suspend_count_lock_);
Ian Rogersc604d732012-10-14 16:09:54 -07002058 resume_cond_ = new ConditionVariable("Thread resumption condition variable",
2059 *Locks::thread_suspend_count_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002060 }
2061
Carl Shapirob5573532011-07-12 18:22:59 -07002062 // Allocate a TLS slot.
Ian Rogersf4d4da12014-11-11 16:10:33 -08002063 CHECK_PTHREAD_CALL(pthread_key_create, (&Thread::pthread_key_self_, Thread::ThreadExitCallback),
2064 "self key");
Carl Shapirob5573532011-07-12 18:22:59 -07002065
2066 // Double-check the TLS slot allocation.
Dave Allison0aded082013-11-07 13:15:11 -08002067 if (pthread_getspecific(pthread_key_self_) != nullptr) {
2068 LOG(FATAL) << "Newly-created pthread TLS slot is not nullptr";
Carl Shapirob5573532011-07-12 18:22:59 -07002069 }
Elliott Hughes038a8062011-09-18 14:12:41 -07002070}
Carl Shapirob5573532011-07-12 18:22:59 -07002071
Elliott Hughes038a8062011-09-18 14:12:41 -07002072void Thread::FinishStartup() {
Ian Rogers365c1022012-06-22 15:05:28 -07002073 Runtime* runtime = Runtime::Current();
2074 CHECK(runtime->IsStarted());
Brian Carlstromb82b6872011-10-26 17:18:07 -07002075
Elliott Hughes01158d72011-09-19 19:47:10 -07002076 // Finish attaching the main thread.
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002077 ScopedObjectAccess soa(Thread::Current());
Vladimir Markodcfcce42018-06-27 10:00:28 +00002078 soa.Self()->CreatePeer("main", false, runtime->GetMainThreadGroup());
2079 soa.Self()->AssertNoPendingException();
Jesse Wilson9a6bae82011-11-14 14:57:30 -05002080
Vladimir Markodcfcce42018-06-27 10:00:28 +00002081 runtime->RunRootClinits(soa.Self());
Andreas Gampe21cf95d2017-04-17 20:19:14 -07002082
2083 // The thread counts as started from now on. We need to add it to the ThreadGroup. For regular
2084 // threads, this is done in Thread.start() on the Java side.
Vladimir Markodcfcce42018-06-27 10:00:28 +00002085 soa.Self()->NotifyThreadGroup(soa, runtime->GetMainThreadGroup());
2086 soa.Self()->AssertNoPendingException();
Carl Shapirob5573532011-07-12 18:22:59 -07002087}
2088
Elliott Hughesc1674ed2011-08-25 18:09:09 -07002089void Thread::Shutdown() {
Ian Rogers0878d652013-04-18 17:38:35 -07002090 CHECK(is_started_);
2091 is_started_ = false;
Elliott Hughes8d768a92011-09-14 16:35:25 -07002092 CHECK_PTHREAD_CALL(pthread_key_delete, (Thread::pthread_key_self_), "self key");
Ian Rogers33e95662013-05-20 20:29:14 -07002093 MutexLock mu(Thread::Current(), *Locks::thread_suspend_count_lock_);
Dave Allison0aded082013-11-07 13:15:11 -08002094 if (resume_cond_ != nullptr) {
Ian Rogers0878d652013-04-18 17:38:35 -07002095 delete resume_cond_;
Dave Allison0aded082013-11-07 13:15:11 -08002096 resume_cond_ = nullptr;
Ian Rogers0878d652013-04-18 17:38:35 -07002097 }
Elliott Hughesc1674ed2011-08-25 18:09:09 -07002098}
2099
Andreas Gampe56776012018-01-26 17:40:55 -08002100void Thread::NotifyThreadGroup(ScopedObjectAccessAlreadyRunnable& soa, jobject thread_group) {
2101 ScopedLocalRef<jobject> thread_jobject(
2102 soa.Env(), soa.Env()->AddLocalReference<jobject>(Thread::Current()->GetPeer()));
2103 ScopedLocalRef<jobject> thread_group_jobject_scoped(
2104 soa.Env(), nullptr);
2105 jobject thread_group_jobject = thread_group;
2106 if (thread_group == nullptr || kIsDebugBuild) {
2107 // There is always a group set. Retrieve it.
2108 thread_group_jobject_scoped.reset(
2109 soa.Env()->GetObjectField(thread_jobject.get(),
2110 WellKnownClasses::java_lang_Thread_group));
2111 thread_group_jobject = thread_group_jobject_scoped.get();
2112 if (kIsDebugBuild && thread_group != nullptr) {
2113 CHECK(soa.Env()->IsSameObject(thread_group, thread_group_jobject));
2114 }
2115 }
2116 soa.Env()->CallNonvirtualVoidMethod(thread_group_jobject,
2117 WellKnownClasses::java_lang_ThreadGroup,
2118 WellKnownClasses::java_lang_ThreadGroup_add,
2119 thread_jobject.get());
2120}
2121
Calin Juravleccd56952016-12-15 17:57:38 +00002122Thread::Thread(bool daemon)
2123 : tls32_(daemon),
2124 wait_monitor_(nullptr),
Alex Lightcea42152018-09-18 22:51:55 +00002125 is_runtime_thread_(false) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07002126 wait_mutex_ = new Mutex("a thread wait mutex");
2127 wait_cond_ = new ConditionVariable("a thread wait condition variable", *wait_mutex_);
Ian Rogersdd7624d2014-03-14 17:43:00 -07002128 tlsPtr_.instrumentation_stack = new std::deque<instrumentation::InstrumentationStackFrame>;
2129 tlsPtr_.name = new std::string(kThreadNameDuringStartup);
2130
Roland Levillain33d69032015-06-18 18:20:59 +01002131 static_assert((sizeof(Thread) % 4) == 0U,
2132 "art::Thread has a size which is not a multiple of 4.");
Ian Rogersdd7624d2014-03-14 17:43:00 -07002133 tls32_.state_and_flags.as_struct.flags = 0;
2134 tls32_.state_and_flags.as_struct.state = kNative;
Orion Hodson88591fe2018-03-06 13:35:43 +00002135 tls32_.interrupted.store(false, std::memory_order_relaxed);
Ian Rogersdd7624d2014-03-14 17:43:00 -07002136 memset(&tlsPtr_.held_mutexes[0], 0, sizeof(tlsPtr_.held_mutexes));
Mathieu Chartier0651d412014-04-29 14:37:57 -07002137 std::fill(tlsPtr_.rosalloc_runs,
Hiroshi Yamauchi7ed9c562016-02-02 15:22:09 -08002138 tlsPtr_.rosalloc_runs + kNumRosAllocThreadLocalSizeBracketsInThread,
Mathieu Chartier73d1e172014-04-11 17:53:48 -07002139 gc::allocator::RosAlloc::GetDedicatedFullRun());
Mathieu Chartier952e1e32016-06-13 14:04:02 -07002140 tlsPtr_.checkpoint_function = nullptr;
Yu Lieac44242015-06-29 10:50:03 +08002141 for (uint32_t i = 0; i < kMaxSuspendBarriers; ++i) {
2142 tlsPtr_.active_suspend_barriers[i] = nullptr;
2143 }
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08002144 tlsPtr_.flip_function = nullptr;
Hiroshi Yamauchi0b713572015-06-16 18:29:23 -07002145 tlsPtr_.thread_local_mark_stack = nullptr;
Hiroshi Yamauchiee235822016-08-19 17:03:27 -07002146 tls32_.is_transitioning_to_runnable = false;
David Srbecky28f6cff2018-10-16 15:07:28 +01002147 tls32_.use_mterp = false;
2148}
2149
2150void Thread::NotifyInTheadList() {
2151 tls32_.use_mterp = interpreter::CanUseMterp();
Elliott Hughesdcc24742011-09-07 14:02:44 -07002152}
2153
Alex Lighte9f61032018-09-24 16:04:51 -07002154bool Thread::CanLoadClasses() const {
2155 return !IsRuntimeThread() || !Runtime::Current()->IsJavaDebuggable();
2156}
2157
Elliott Hughes7dc51662012-05-16 14:48:43 -07002158bool Thread::IsStillStarting() const {
2159 // You might think you can check whether the state is kStarting, but for much of thread startup,
Elliott Hughes80537bb2013-01-04 16:37:26 -08002160 // the thread is in kNative; it might also be in kVmWait.
Mathieu Chartier2cebb242015-04-21 16:50:40 -07002161 // You might think you can check whether the peer is null, but the peer is actually created and
Elliott Hughes7dc51662012-05-16 14:48:43 -07002162 // assigned fairly early on, and needs to be.
2163 // It turns out that the last thing to change is the thread name; that's a good proxy for "has
2164 // this thread _ever_ entered kRunnable".
Ian Rogersdd7624d2014-03-14 17:43:00 -07002165 return (tlsPtr_.jpeer == nullptr && tlsPtr_.opeer == nullptr) ||
2166 (*tlsPtr_.name == kThreadNameDuringStartup);
Elliott Hughes7dc51662012-05-16 14:48:43 -07002167}
2168
Andreas Gamped9efea62014-07-21 22:56:08 -07002169void Thread::AssertPendingException() const {
Mathieu Chartiera61894d2015-04-23 16:32:54 -07002170 CHECK(IsExceptionPending()) << "Pending exception expected.";
2171}
2172
2173void Thread::AssertPendingOOMException() const {
2174 AssertPendingException();
2175 auto* e = GetException();
2176 CHECK_EQ(e->GetClass(), DecodeJObject(WellKnownClasses::java_lang_OutOfMemoryError)->AsClass())
2177 << e->Dump();
Andreas Gamped9efea62014-07-21 22:56:08 -07002178}
2179
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002180void Thread::AssertNoPendingException() const {
2181 if (UNLIKELY(IsExceptionPending())) {
2182 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002183 LOG(FATAL) << "No pending exception expected: " << GetException()->Dump();
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002184 }
2185}
2186
Mathieu Chartier8d7672e2014-02-25 10:57:16 -08002187void Thread::AssertNoPendingExceptionForNewException(const char* msg) const {
2188 if (UNLIKELY(IsExceptionPending())) {
2189 ScopedObjectAccess soa(Thread::Current());
Ian Rogersc114b5f2014-07-21 08:55:01 -07002190 LOG(FATAL) << "Throwing new exception '" << msg << "' with unexpected pending exception: "
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002191 << GetException()->Dump();
Mathieu Chartier8d7672e2014-02-25 10:57:16 -08002192 }
2193}
2194
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07002195class MonitorExitVisitor : public SingleRootVisitor {
2196 public:
2197 explicit MonitorExitVisitor(Thread* self) : self_(self) { }
2198
2199 // NO_THREAD_SAFETY_ANALYSIS due to MonitorExit.
2200 void VisitRoot(mirror::Object* entered_monitor, const RootInfo& info ATTRIBUTE_UNUSED)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01002201 override NO_THREAD_SAFETY_ANALYSIS {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07002202 if (self_->HoldsLock(entered_monitor)) {
2203 LOG(WARNING) << "Calling MonitorExit on object "
David Sehr709b0702016-10-13 09:12:37 -07002204 << entered_monitor << " (" << entered_monitor->PrettyTypeOf() << ")"
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07002205 << " left locked by native thread "
2206 << *Thread::Current() << " which is detaching";
2207 entered_monitor->MonitorExit(self_);
2208 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002209 }
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07002210
2211 private:
2212 Thread* const self_;
2213};
Elliott Hughes02b48d12011-09-07 17:15:51 -07002214
Elliott Hughesc0f09332012-03-26 13:27:06 -07002215void Thread::Destroy() {
Ian Rogers120f1c72012-09-28 17:17:10 -07002216 Thread* self = this;
2217 DCHECK_EQ(self, Thread::Current());
Elliott Hughes02b48d12011-09-07 17:15:51 -07002218
Ian Rogers68d8b422014-07-17 11:09:10 -07002219 if (tlsPtr_.jni_env != nullptr) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07002220 {
2221 ScopedObjectAccess soa(self);
2222 MonitorExitVisitor visitor(self);
2223 // On thread detach, all monitors entered with JNI MonitorEnter are automatically exited.
Ian Rogers55256cb2017-12-21 17:07:11 -08002224 tlsPtr_.jni_env->monitors_.VisitRoots(&visitor, RootInfo(kRootVMInternal));
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07002225 }
Ian Rogers68d8b422014-07-17 11:09:10 -07002226 // Release locally held global references which releasing may require the mutator lock.
2227 if (tlsPtr_.jpeer != nullptr) {
2228 // If pthread_create fails we don't have a jni env here.
2229 tlsPtr_.jni_env->DeleteGlobalRef(tlsPtr_.jpeer);
2230 tlsPtr_.jpeer = nullptr;
2231 }
2232 if (tlsPtr_.class_loader_override != nullptr) {
2233 tlsPtr_.jni_env->DeleteGlobalRef(tlsPtr_.class_loader_override);
2234 tlsPtr_.class_loader_override = nullptr;
2235 }
2236 }
2237
Ian Rogersdd7624d2014-03-14 17:43:00 -07002238 if (tlsPtr_.opeer != nullptr) {
Ian Rogerscfaa4552012-11-26 21:00:08 -08002239 ScopedObjectAccess soa(self);
Ian Rogers120f1c72012-09-28 17:17:10 -07002240 // We may need to call user-supplied managed code, do this before final clean-up.
Ian Rogerscfaa4552012-11-26 21:00:08 -08002241 HandleUncaughtExceptions(soa);
Alex Lightdf132402017-09-29 12:54:33 -07002242 RemoveFromThreadGroup(soa);
Alex Light8c5e2da2017-07-11 10:32:20 -07002243 Runtime* runtime = Runtime::Current();
2244 if (runtime != nullptr) {
2245 runtime->GetRuntimeCallbacks()->ThreadDeath(self);
2246 }
Elliott Hughes534da072012-03-27 15:17:42 -07002247
Anwar Ghuloum3c50a4b2013-06-21 13:05:23 -07002248 // this.nativePeer = 0;
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01002249 if (Runtime::Current()->IsActiveTransaction()) {
Andreas Gampe08883de2016-11-08 13:20:52 -08002250 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_nativePeer)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002251 ->SetLong<true>(tlsPtr_.opeer, 0);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01002252 } else {
Andreas Gampe08883de2016-11-08 13:20:52 -08002253 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_nativePeer)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002254 ->SetLong<false>(tlsPtr_.opeer, 0);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01002255 }
Elliott Hughes02b48d12011-09-07 17:15:51 -07002256
Ian Rogerscfaa4552012-11-26 21:00:08 -08002257 // Thread.join() is implemented as an Object.wait() on the Thread.lock object. Signal anyone
2258 // who is waiting.
Mathieu Chartier3398c782016-09-30 10:27:43 -07002259 ObjPtr<mirror::Object> lock =
Andreas Gampe08883de2016-11-08 13:20:52 -08002260 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_lock)->GetObject(tlsPtr_.opeer);
Elliott Hughes038a8062011-09-18 14:12:41 -07002261 // (This conditional is only needed for tests, where Thread.lock won't have been set.)
Mathieu Chartierc528dba2013-11-26 12:00:11 -08002262 if (lock != nullptr) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002263 StackHandleScope<1> hs(self);
2264 Handle<mirror::Object> h_obj(hs.NewHandle(lock));
Mathieu Chartierdb2633c2014-05-16 09:59:29 -07002265 ObjectLock<mirror::Object> locker(self, h_obj);
Yevgeny Rouban63e8a682014-04-16 18:26:09 +07002266 locker.NotifyAll();
Elliott Hughes5f791332011-09-15 17:45:30 -07002267 }
Ian Rogers68d8b422014-07-17 11:09:10 -07002268 tlsPtr_.opeer = nullptr;
Elliott Hughes5f791332011-09-15 17:45:30 -07002269 }
Ian Rogers120f1c72012-09-28 17:17:10 -07002270
Hiroshi Yamauchia1b94c62014-12-17 15:49:56 -08002271 {
2272 ScopedObjectAccess soa(self);
2273 Runtime::Current()->GetHeap()->RevokeThreadLocalBuffers(this);
Hiroshi Yamauchi0b713572015-06-16 18:29:23 -07002274 if (kUseReadBarrier) {
2275 Runtime::Current()->GetHeap()->ConcurrentCopyingCollector()->RevokeThreadLocalMarkStack(this);
2276 }
Hiroshi Yamauchia1b94c62014-12-17 15:49:56 -08002277 }
Elliott Hughesc0f09332012-03-26 13:27:06 -07002278}
Elliott Hughes02b48d12011-09-07 17:15:51 -07002279
Elliott Hughesc0f09332012-03-26 13:27:06 -07002280Thread::~Thread() {
Ian Rogers68d8b422014-07-17 11:09:10 -07002281 CHECK(tlsPtr_.class_loader_override == nullptr);
2282 CHECK(tlsPtr_.jpeer == nullptr);
2283 CHECK(tlsPtr_.opeer == nullptr);
Ian Rogersdd7624d2014-03-14 17:43:00 -07002284 bool initialized = (tlsPtr_.jni_env != nullptr); // Did Thread::Init run?
Alexei Zavjalov1efa0a92014-02-04 02:08:31 +07002285 if (initialized) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07002286 delete tlsPtr_.jni_env;
2287 tlsPtr_.jni_env = nullptr;
Alexei Zavjalov1efa0a92014-02-04 02:08:31 +07002288 }
Mathieu Chartierdbe6f462012-09-25 16:54:50 -07002289 CHECK_NE(GetState(), kRunnable);
Hiroshi Yamauchi30493242016-11-03 13:06:52 -07002290 CHECK(!ReadFlag(kCheckpointRequest));
2291 CHECK(!ReadFlag(kEmptyCheckpointRequest));
Mathieu Chartier952e1e32016-06-13 14:04:02 -07002292 CHECK(tlsPtr_.checkpoint_function == nullptr);
2293 CHECK_EQ(checkpoint_overflow_.size(), 0u);
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08002294 CHECK(tlsPtr_.flip_function == nullptr);
Hiroshi Yamauchiee235822016-08-19 17:03:27 -07002295 CHECK_EQ(tls32_.is_transitioning_to_runnable, false);
Dave Allison0aded082013-11-07 13:15:11 -08002296
Sebastien Hertz07474662015-08-25 15:12:33 +00002297 // Make sure we processed all deoptimization requests.
2298 CHECK(tlsPtr_.deoptimization_context_stack == nullptr) << "Missed deoptimization";
Mingyao Yang99170c62015-07-06 11:10:37 -07002299 CHECK(tlsPtr_.frame_id_to_shadow_frame == nullptr) <<
2300 "Not all deoptimized frames have been consumed by the debugger.";
Sebastien Hertz07474662015-08-25 15:12:33 +00002301
Mathieu Chartierdbe6f462012-09-25 16:54:50 -07002302 // We may be deleting a still born thread.
2303 SetStateUnsafe(kTerminated);
Elliott Hughes85d15452011-09-16 17:33:01 -07002304
2305 delete wait_cond_;
2306 delete wait_mutex_;
2307
Ian Rogersdd7624d2014-03-14 17:43:00 -07002308 if (tlsPtr_.long_jump_context != nullptr) {
2309 delete tlsPtr_.long_jump_context;
Ian Rogersc928de92013-02-27 14:30:44 -08002310 }
Elliott Hughes475fc232011-10-25 15:00:35 -07002311
Alexei Zavjalov1efa0a92014-02-04 02:08:31 +07002312 if (initialized) {
2313 CleanupCpu();
2314 }
2315
Sebastien Hertz597c4f02015-01-26 17:37:14 +01002316 if (tlsPtr_.single_step_control != nullptr) {
2317 delete tlsPtr_.single_step_control;
2318 }
Ian Rogersdd7624d2014-03-14 17:43:00 -07002319 delete tlsPtr_.instrumentation_stack;
2320 delete tlsPtr_.name;
Nicolas Geoffray340dafa2016-11-18 16:03:10 +00002321 delete tlsPtr_.deps_or_stack_trace_sample.stack_trace_sample;
Elliott Hughesd8af1592012-04-16 20:40:15 -07002322
Ian Rogers68d8b422014-07-17 11:09:10 -07002323 Runtime::Current()->GetHeap()->AssertThreadLocalBuffersAreRevoked(this);
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -07002324
Elliott Hughesd8af1592012-04-16 20:40:15 -07002325 TearDownAlternateSignalStack();
Elliott Hughesc1674ed2011-08-25 18:09:09 -07002326}
2327
Andreas Gampe513061a2017-06-01 09:17:34 -07002328void Thread::HandleUncaughtExceptions(ScopedObjectAccessAlreadyRunnable& soa) {
Elliott Hughesaccd83d2011-10-17 14:25:58 -07002329 if (!IsExceptionPending()) {
2330 return;
2331 }
Ian Rogersdd7624d2014-03-14 17:43:00 -07002332 ScopedLocalRef<jobject> peer(tlsPtr_.jni_env, soa.AddLocalReference<jobject>(tlsPtr_.opeer));
Ian Rogerscfaa4552012-11-26 21:00:08 -08002333 ScopedThreadStateChange tsc(this, kNative);
Ian Rogers120f1c72012-09-28 17:17:10 -07002334
Elliott Hughesaccd83d2011-10-17 14:25:58 -07002335 // Get and clear the exception.
Ian Rogersdd7624d2014-03-14 17:43:00 -07002336 ScopedLocalRef<jthrowable> exception(tlsPtr_.jni_env, tlsPtr_.jni_env->ExceptionOccurred());
2337 tlsPtr_.jni_env->ExceptionClear();
Elliott Hughesaccd83d2011-10-17 14:25:58 -07002338
Tobias Thierer5cbe65d2016-07-22 18:37:59 +01002339 // Call the Thread instance's dispatchUncaughtException(Throwable)
2340 tlsPtr_.jni_env->CallVoidMethod(peer.get(),
2341 WellKnownClasses::java_lang_Thread_dispatchUncaughtException,
2342 exception.get());
Elliott Hughesaccd83d2011-10-17 14:25:58 -07002343
Tobias Thierer5cbe65d2016-07-22 18:37:59 +01002344 // If the dispatchUncaughtException threw, clear that exception too.
Ian Rogersdd7624d2014-03-14 17:43:00 -07002345 tlsPtr_.jni_env->ExceptionClear();
Elliott Hughesaccd83d2011-10-17 14:25:58 -07002346}
2347
Andreas Gampe513061a2017-06-01 09:17:34 -07002348void Thread::RemoveFromThreadGroup(ScopedObjectAccessAlreadyRunnable& soa) {
Brian Carlstrom4514d3c2011-10-21 17:01:31 -07002349 // this.group.removeThread(this);
2350 // group can be null if we're in the compiler or a test.
Andreas Gampe08883de2016-11-08 13:20:52 -08002351 ObjPtr<mirror::Object> ogroup = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_group)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002352 ->GetObject(tlsPtr_.opeer);
Dave Allison0aded082013-11-07 13:15:11 -08002353 if (ogroup != nullptr) {
Ian Rogerscfaa4552012-11-26 21:00:08 -08002354 ScopedLocalRef<jobject> group(soa.Env(), soa.AddLocalReference<jobject>(ogroup));
Ian Rogersdd7624d2014-03-14 17:43:00 -07002355 ScopedLocalRef<jobject> peer(soa.Env(), soa.AddLocalReference<jobject>(tlsPtr_.opeer));
Ian Rogerscfaa4552012-11-26 21:00:08 -08002356 ScopedThreadStateChange tsc(soa.Self(), kNative);
Ian Rogersdd7624d2014-03-14 17:43:00 -07002357 tlsPtr_.jni_env->CallVoidMethod(group.get(),
2358 WellKnownClasses::java_lang_ThreadGroup_removeThread,
2359 peer.get());
Brian Carlstrom4514d3c2011-10-21 17:01:31 -07002360 }
2361}
2362
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002363bool Thread::HandleScopeContains(jobject obj) const {
2364 StackReference<mirror::Object>* hs_entry =
Ian Rogersef7d42f2014-01-06 12:55:46 -08002365 reinterpret_cast<StackReference<mirror::Object>*>(obj);
Mathieu Chartiere8a3c572016-10-11 16:52:17 -07002366 for (BaseHandleScope* cur = tlsPtr_.top_handle_scope; cur!= nullptr; cur = cur->GetLink()) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002367 if (cur->Contains(hs_entry)) {
Ian Rogersa8cd9f42011-08-19 16:43:41 -07002368 return true;
2369 }
2370 }
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002371 // JNI code invoked from portable code uses shadow frames rather than the handle scope.
2372 return tlsPtr_.managed_stack.ShadowFramesContain(hs_entry);
TDYa12728f1a142012-03-15 21:51:52 -07002373}
2374
Hans Boehm0882af22017-08-31 15:21:57 -07002375void Thread::HandleScopeVisitRoots(RootVisitor* visitor, pid_t thread_id) {
Mathieu Chartier4809d0a2015-04-07 10:39:04 -07002376 BufferedRootVisitor<kDefaultBufferedRootCount> buffered_visitor(
2377 visitor, RootInfo(kRootNativeStack, thread_id));
Mathieu Chartiere8a3c572016-10-11 16:52:17 -07002378 for (BaseHandleScope* cur = tlsPtr_.top_handle_scope; cur; cur = cur->GetLink()) {
2379 cur->VisitRoots(buffered_visitor);
Shih-wei Liao8dfc9d52011-09-28 18:06:15 -07002380 }
2381}
2382
Mathieu Chartierc4f39252016-10-05 18:32:08 -07002383ObjPtr<mirror::Object> Thread::DecodeJObject(jobject obj) const {
Dave Allison0aded082013-11-07 13:15:11 -08002384 if (obj == nullptr) {
2385 return nullptr;
Ian Rogers408f79a2011-08-23 18:22:33 -07002386 }
2387 IndirectRef ref = reinterpret_cast<IndirectRef>(obj);
Andreas Gampedc061d02016-10-24 13:19:37 -07002388 IndirectRefKind kind = IndirectReferenceTable::GetIndirectRefKind(ref);
Mathieu Chartier8778c522016-10-04 19:06:30 -07002389 ObjPtr<mirror::Object> result;
Ian Rogersc0542af2014-09-03 16:16:56 -07002390 bool expect_null = false;
Ian Rogers4f6ad8a2013-03-18 15:27:28 -07002391 // The "kinds" below are sorted by the frequency we expect to encounter them.
2392 if (kind == kLocal) {
Ian Rogers55256cb2017-12-21 17:07:11 -08002393 IndirectReferenceTable& locals = tlsPtr_.jni_env->locals_;
Hiroshi Yamauchi196851b2014-05-29 12:16:04 -07002394 // Local references do not need a read barrier.
2395 result = locals.Get<kWithoutReadBarrier>(ref);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002396 } else if (kind == kHandleScopeOrInvalid) {
Ian Rogersef7d42f2014-01-06 12:55:46 -08002397 // TODO: make stack indirect reference table lookup more efficient.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002398 // Check if this is a local reference in the handle scope.
2399 if (LIKELY(HandleScopeContains(obj))) {
2400 // Read from handle scope.
Ian Rogersef7d42f2014-01-06 12:55:46 -08002401 result = reinterpret_cast<StackReference<mirror::Object>*>(obj)->AsMirrorPtr();
Mathieu Chartier9d156d52016-10-06 17:44:26 -07002402 VerifyObject(result);
Ian Rogers408f79a2011-08-23 18:22:33 -07002403 } else {
Ian Rogers55256cb2017-12-21 17:07:11 -08002404 tlsPtr_.jni_env->vm_->JniAbortF(nullptr, "use of invalid jobject %p", obj);
Ian Rogersc0542af2014-09-03 16:16:56 -07002405 expect_null = true;
2406 result = nullptr;
Ian Rogers408f79a2011-08-23 18:22:33 -07002407 }
Ian Rogers4f6ad8a2013-03-18 15:27:28 -07002408 } else if (kind == kGlobal) {
Ian Rogers55256cb2017-12-21 17:07:11 -08002409 result = tlsPtr_.jni_env->vm_->DecodeGlobal(ref);
Ian Rogers4f6ad8a2013-03-18 15:27:28 -07002410 } else {
2411 DCHECK_EQ(kind, kWeakGlobal);
Ian Rogers55256cb2017-12-21 17:07:11 -08002412 result = tlsPtr_.jni_env->vm_->DecodeWeakGlobal(const_cast<Thread*>(this), ref);
Ian Rogersc0542af2014-09-03 16:16:56 -07002413 if (Runtime::Current()->IsClearedJniWeakGlobal(result)) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -07002414 // This is a special case where it's okay to return null.
Ian Rogersc0542af2014-09-03 16:16:56 -07002415 expect_null = true;
2416 result = nullptr;
Ian Rogers4f6ad8a2013-03-18 15:27:28 -07002417 }
Ian Rogers408f79a2011-08-23 18:22:33 -07002418 }
2419
Ian Rogersc0542af2014-09-03 16:16:56 -07002420 if (UNLIKELY(!expect_null && result == nullptr)) {
Ian Rogers55256cb2017-12-21 17:07:11 -08002421 tlsPtr_.jni_env->vm_->JniAbortF(nullptr, "use of deleted %s %p",
Ian Rogers68d8b422014-07-17 11:09:10 -07002422 ToStr<IndirectRefKind>(kind).c_str(), obj);
Ian Rogers408f79a2011-08-23 18:22:33 -07002423 }
Mathieu Chartierc4f39252016-10-05 18:32:08 -07002424 return result;
Ian Rogers408f79a2011-08-23 18:22:33 -07002425}
2426
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08002427bool Thread::IsJWeakCleared(jweak obj) const {
2428 CHECK(obj != nullptr);
2429 IndirectRef ref = reinterpret_cast<IndirectRef>(obj);
Andreas Gampedc061d02016-10-24 13:19:37 -07002430 IndirectRefKind kind = IndirectReferenceTable::GetIndirectRefKind(ref);
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08002431 CHECK_EQ(kind, kWeakGlobal);
Ian Rogers55256cb2017-12-21 17:07:11 -08002432 return tlsPtr_.jni_env->vm_->IsWeakGlobalCleared(const_cast<Thread*>(this), ref);
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08002433}
2434
Ian Rogers81d425b2012-09-27 16:03:43 -07002435// Implements java.lang.Thread.interrupted.
2436bool Thread::Interrupted() {
Nicolas Geoffray365719c2017-03-08 13:11:50 +00002437 DCHECK_EQ(Thread::Current(), this);
2438 // No other thread can concurrently reset the interrupted flag.
Orion Hodson88591fe2018-03-06 13:35:43 +00002439 bool interrupted = tls32_.interrupted.load(std::memory_order_seq_cst);
Nicolas Geoffray365719c2017-03-08 13:11:50 +00002440 if (interrupted) {
Orion Hodson88591fe2018-03-06 13:35:43 +00002441 tls32_.interrupted.store(false, std::memory_order_seq_cst);
Nicolas Geoffray365719c2017-03-08 13:11:50 +00002442 }
Ian Rogers81d425b2012-09-27 16:03:43 -07002443 return interrupted;
2444}
2445
2446// Implements java.lang.Thread.isInterrupted.
2447bool Thread::IsInterrupted() {
Orion Hodson88591fe2018-03-06 13:35:43 +00002448 return tls32_.interrupted.load(std::memory_order_seq_cst);
Ian Rogers81d425b2012-09-27 16:03:43 -07002449}
2450
Ian Rogersdd7624d2014-03-14 17:43:00 -07002451void Thread::Interrupt(Thread* self) {
Ian Rogersc604d732012-10-14 16:09:54 -07002452 MutexLock mu(self, *wait_mutex_);
Orion Hodson88591fe2018-03-06 13:35:43 +00002453 if (tls32_.interrupted.load(std::memory_order_seq_cst)) {
Ian Rogers81d425b2012-09-27 16:03:43 -07002454 return;
2455 }
Orion Hodson88591fe2018-03-06 13:35:43 +00002456 tls32_.interrupted.store(true, std::memory_order_seq_cst);
Ian Rogersc604d732012-10-14 16:09:54 -07002457 NotifyLocked(self);
Ian Rogers81d425b2012-09-27 16:03:43 -07002458}
2459
2460void Thread::Notify() {
Ian Rogersc604d732012-10-14 16:09:54 -07002461 Thread* self = Thread::Current();
2462 MutexLock mu(self, *wait_mutex_);
2463 NotifyLocked(self);
Ian Rogers81d425b2012-09-27 16:03:43 -07002464}
2465
Ian Rogersc604d732012-10-14 16:09:54 -07002466void Thread::NotifyLocked(Thread* self) {
Dave Allison0aded082013-11-07 13:15:11 -08002467 if (wait_monitor_ != nullptr) {
Ian Rogersc604d732012-10-14 16:09:54 -07002468 wait_cond_->Signal(self);
Ian Rogers81d425b2012-09-27 16:03:43 -07002469 }
2470}
2471
Ian Rogers68d8b422014-07-17 11:09:10 -07002472void Thread::SetClassLoaderOverride(jobject class_loader_override) {
2473 if (tlsPtr_.class_loader_override != nullptr) {
2474 GetJniEnv()->DeleteGlobalRef(tlsPtr_.class_loader_override);
2475 }
2476 tlsPtr_.class_loader_override = GetJniEnv()->NewGlobalRef(class_loader_override);
2477}
2478
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002479using ArtMethodDexPcPair = std::pair<ArtMethod*, uint32_t>;
2480
2481// Counts the stack trace depth and also fetches the first max_saved_frames frames.
2482class FetchStackTraceVisitor : public StackVisitor {
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002483 public:
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002484 explicit FetchStackTraceVisitor(Thread* thread,
2485 ArtMethodDexPcPair* saved_frames = nullptr,
2486 size_t max_saved_frames = 0)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07002487 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +01002488 : StackVisitor(thread, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002489 saved_frames_(saved_frames),
2490 max_saved_frames_(max_saved_frames) {}
Elliott Hughesd369bb72011-09-12 14:41:14 -07002491
Andreas Gampefa6a1b02018-09-07 08:11:55 -07002492 bool VisitFrame() override REQUIRES_SHARED(Locks::mutator_lock_) {
Elliott Hughes29f27422011-09-18 16:02:18 -07002493 // We want to skip frames up to and including the exception's constructor.
Ian Rogers90865722011-09-19 11:11:44 -07002494 // Note we also skip the frame if it doesn't have a method (namely the callee
2495 // save frame)
Mathieu Chartiere401d142015-04-22 13:56:20 -07002496 ArtMethod* m = GetMethod();
Ian Rogers0399dde2012-06-06 17:09:28 -07002497 if (skipping_ && !m->IsRuntimeMethod() &&
Vladimir Markoadbceb72018-05-29 14:34:14 +01002498 !GetClassRoot<mirror::Throwable>()->IsAssignableFrom(m->GetDeclaringClass())) {
Elliott Hughes29f27422011-09-18 16:02:18 -07002499 skipping_ = false;
2500 }
2501 if (!skipping_) {
Ian Rogers0399dde2012-06-06 17:09:28 -07002502 if (!m->IsRuntimeMethod()) { // Ignore runtime frames (in particular callee save).
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002503 if (depth_ < max_saved_frames_) {
2504 saved_frames_[depth_].first = m;
Andreas Gampee2abbc62017-09-15 11:59:26 -07002505 saved_frames_[depth_].second = m->IsProxyMethod() ? dex::kDexNoIndex : GetDexPc();
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002506 }
Ian Rogers6b0870d2011-12-15 19:38:12 -08002507 ++depth_;
2508 }
Elliott Hughes29f27422011-09-18 16:02:18 -07002509 } else {
2510 ++skip_depth_;
2511 }
Elliott Hughes530fa002012-03-12 11:44:49 -07002512 return true;
Shih-wei Liao55df06b2011-08-26 14:39:27 -07002513 }
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002514
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002515 uint32_t GetDepth() const {
Ian Rogersaaa20802011-09-11 21:47:37 -07002516 return depth_;
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002517 }
2518
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002519 uint32_t GetSkipDepth() const {
Elliott Hughes29f27422011-09-18 16:02:18 -07002520 return skip_depth_;
2521 }
2522
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002523 private:
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002524 uint32_t depth_ = 0;
2525 uint32_t skip_depth_ = 0;
2526 bool skipping_ = true;
2527 ArtMethodDexPcPair* saved_frames_;
2528 const size_t max_saved_frames_;
Sebastien Hertz26f72862015-09-15 09:52:07 +02002529
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002530 DISALLOW_COPY_AND_ASSIGN(FetchStackTraceVisitor);
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002531};
2532
Sebastien Hertzee1d79a2014-02-21 15:46:30 +01002533template<bool kTransactionActive>
Ian Rogers0399dde2012-06-06 17:09:28 -07002534class BuildInternalStackTraceVisitor : public StackVisitor {
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002535 public:
Roland Levillain3887c462015-08-12 18:15:42 +01002536 BuildInternalStackTraceVisitor(Thread* self, Thread* thread, int skip_depth)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +01002537 : StackVisitor(thread, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
2538 self_(self),
2539 skip_depth_(skip_depth),
Mathieu Chartiere401d142015-04-22 13:56:20 -07002540 pointer_size_(Runtime::Current()->GetClassLinker()->GetImagePointerSize()) {}
Ian Rogers283ed0d2012-02-16 15:25:09 -08002541
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07002542 bool Init(int depth) REQUIRES_SHARED(Locks::mutator_lock_) ACQUIRE(Roles::uninterruptible_) {
Mathieu Chartier910e8272015-09-30 09:24:22 -07002543 // Allocate method trace as an object array where the first element is a pointer array that
2544 // contains the ArtMethod pointers and dex PCs. The rest of the elements are the declaring
2545 // class of the ArtMethod pointers.
2546 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
2547 StackHandleScope<1> hs(self_);
Vladimir Markob4eb1b12018-05-24 11:09:38 +01002548 ObjPtr<mirror::Class> array_class =
2549 GetClassRoot<mirror::ObjectArray<mirror::Object>>(class_linker);
Mathieu Chartier910e8272015-09-30 09:24:22 -07002550 // The first element is the methods and dex pc array, the other elements are declaring classes
2551 // for the methods to ensure classes in the stack trace don't get unloaded.
2552 Handle<mirror::ObjectArray<mirror::Object>> trace(
2553 hs.NewHandle(
2554 mirror::ObjectArray<mirror::Object>::Alloc(hs.Self(), array_class, depth + 1)));
Andreas Gampefa4333d2017-02-14 11:10:34 -08002555 if (trace == nullptr) {
Mathieu Chartier910e8272015-09-30 09:24:22 -07002556 // Acquire uninterruptible_ in all paths.
2557 self_->StartAssertNoThreadSuspension("Building internal stack trace");
Mathieu Chartier566fc922015-09-29 10:21:55 -07002558 self_->AssertPendingOOMException();
2559 return false;
2560 }
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002561 ObjPtr<mirror::PointerArray> methods_and_pcs =
2562 class_linker->AllocPointerArray(self_, depth * 2);
Mathieu Chartier910e8272015-09-30 09:24:22 -07002563 const char* last_no_suspend_cause =
2564 self_->StartAssertNoThreadSuspension("Building internal stack trace");
2565 if (methods_and_pcs == nullptr) {
2566 self_->AssertPendingOOMException();
2567 return false;
2568 }
2569 trace->Set(0, methods_and_pcs);
2570 trace_ = trace.Get();
Mathieu Chartiere401d142015-04-22 13:56:20 -07002571 // If We are called from native, use non-transactional mode.
Dave Allison0aded082013-11-07 13:15:11 -08002572 CHECK(last_no_suspend_cause == nullptr) << last_no_suspend_cause;
Ian Rogers283ed0d2012-02-16 15:25:09 -08002573 return true;
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002574 }
2575
Mathieu Chartier4e2cb092015-07-22 16:17:51 -07002576 virtual ~BuildInternalStackTraceVisitor() RELEASE(Roles::uninterruptible_) {
2577 self_->EndAssertNoThreadSuspension(nullptr);
Ian Rogers0399dde2012-06-06 17:09:28 -07002578 }
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002579
Andreas Gampefa6a1b02018-09-07 08:11:55 -07002580 bool VisitFrame() override REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07002581 if (trace_ == nullptr) {
Brian Carlstrom7934ac22013-07-26 10:54:15 -07002582 return true; // We're probably trying to fillInStackTrace for an OutOfMemoryError.
Elliott Hughes726079d2011-10-07 18:43:44 -07002583 }
Elliott Hughes29f27422011-09-18 16:02:18 -07002584 if (skip_depth_ > 0) {
2585 skip_depth_--;
Elliott Hughes530fa002012-03-12 11:44:49 -07002586 return true;
Elliott Hughes29f27422011-09-18 16:02:18 -07002587 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07002588 ArtMethod* m = GetMethod();
Ian Rogers0399dde2012-06-06 17:09:28 -07002589 if (m->IsRuntimeMethod()) {
2590 return true; // Ignore runtime frames (in particular callee save).
Ian Rogers6b0870d2011-12-15 19:38:12 -08002591 }
Andreas Gampee2abbc62017-09-15 11:59:26 -07002592 AddFrame(m, m->IsProxyMethod() ? dex::kDexNoIndex : GetDexPc());
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002593 return true;
2594 }
2595
2596 void AddFrame(ArtMethod* method, uint32_t dex_pc) REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002597 ObjPtr<mirror::PointerArray> trace_methods_and_pcs = GetTraceMethodsAndPCs();
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002598 trace_methods_and_pcs->SetElementPtrSize<kTransactionActive>(count_, method, pointer_size_);
Mathieu Chartier910e8272015-09-30 09:24:22 -07002599 trace_methods_and_pcs->SetElementPtrSize<kTransactionActive>(
2600 trace_methods_and_pcs->GetLength() / 2 + count_,
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002601 dex_pc,
Mathieu Chartier910e8272015-09-30 09:24:22 -07002602 pointer_size_);
2603 // Save the declaring class of the method to ensure that the declaring classes of the methods
2604 // do not get unloaded while the stack trace is live.
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002605 trace_->Set(count_ + 1, method->GetDeclaringClass());
Ian Rogersaaa20802011-09-11 21:47:37 -07002606 ++count_;
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002607 }
2608
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002609 ObjPtr<mirror::PointerArray> GetTraceMethodsAndPCs() const REQUIRES_SHARED(Locks::mutator_lock_) {
2610 return ObjPtr<mirror::PointerArray>::DownCast(MakeObjPtr(trace_->Get(0)));
Mathieu Chartier910e8272015-09-30 09:24:22 -07002611 }
2612
2613 mirror::ObjectArray<mirror::Object>* GetInternalStackTrace() const {
Mathieu Chartiere401d142015-04-22 13:56:20 -07002614 return trace_;
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002615 }
2616
2617 private:
Ian Rogers1f539342012-10-03 21:09:42 -07002618 Thread* const self_;
Elliott Hughes29f27422011-09-18 16:02:18 -07002619 // How many more frames to skip.
2620 int32_t skip_depth_;
Ian Rogers0399dde2012-06-06 17:09:28 -07002621 // Current position down stack trace.
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002622 uint32_t count_ = 0;
Mathieu Chartier910e8272015-09-30 09:24:22 -07002623 // An object array where the first element is a pointer array that contains the ArtMethod
2624 // pointers on the stack and dex PCs. The rest of the elements are the declaring
2625 // class of the ArtMethod pointers. trace_[i+1] contains the declaring class of the ArtMethod of
2626 // the i'th frame.
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002627 mirror::ObjectArray<mirror::Object>* trace_ = nullptr;
Mathieu Chartiere401d142015-04-22 13:56:20 -07002628 // For cross compilation.
Andreas Gampe542451c2016-07-26 09:02:02 -07002629 const PointerSize pointer_size_;
Sebastien Hertz26f72862015-09-15 09:52:07 +02002630
2631 DISALLOW_COPY_AND_ASSIGN(BuildInternalStackTraceVisitor);
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002632};
2633
Sebastien Hertzee1d79a2014-02-21 15:46:30 +01002634template<bool kTransactionActive>
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -07002635jobject Thread::CreateInternalStackTrace(const ScopedObjectAccessAlreadyRunnable& soa) const {
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002636 // Compute depth of stack, save frames if possible to avoid needing to recompute many.
2637 constexpr size_t kMaxSavedFrames = 256;
2638 std::unique_ptr<ArtMethodDexPcPair[]> saved_frames(new ArtMethodDexPcPair[kMaxSavedFrames]);
2639 FetchStackTraceVisitor count_visitor(const_cast<Thread*>(this),
2640 &saved_frames[0],
2641 kMaxSavedFrames);
Ian Rogers0399dde2012-06-06 17:09:28 -07002642 count_visitor.WalkStack();
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002643 const uint32_t depth = count_visitor.GetDepth();
2644 const uint32_t skip_depth = count_visitor.GetSkipDepth();
Shih-wei Liao44175362011-08-28 16:59:17 -07002645
Ian Rogers1f539342012-10-03 21:09:42 -07002646 // Build internal stack trace.
Sebastien Hertzee1d79a2014-02-21 15:46:30 +01002647 BuildInternalStackTraceVisitor<kTransactionActive> build_trace_visitor(soa.Self(),
2648 const_cast<Thread*>(this),
2649 skip_depth);
Ian Rogers1f539342012-10-03 21:09:42 -07002650 if (!build_trace_visitor.Init(depth)) {
Dave Allison0aded082013-11-07 13:15:11 -08002651 return nullptr; // Allocation failed.
Ian Rogers283ed0d2012-02-16 15:25:09 -08002652 }
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002653 // If we saved all of the frames we don't even need to do the actual stack walk. This is faster
2654 // than doing the stack walk twice.
2655 if (depth < kMaxSavedFrames) {
2656 for (size_t i = 0; i < depth; ++i) {
2657 build_trace_visitor.AddFrame(saved_frames[i].first, saved_frames[i].second);
2658 }
2659 } else {
2660 build_trace_visitor.WalkStack();
2661 }
2662
Mathieu Chartier910e8272015-09-30 09:24:22 -07002663 mirror::ObjectArray<mirror::Object>* trace = build_trace_visitor.GetInternalStackTrace();
Ian Rogers7a22fa62013-01-23 12:16:16 -08002664 if (kIsDebugBuild) {
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002665 ObjPtr<mirror::PointerArray> trace_methods = build_trace_visitor.GetTraceMethodsAndPCs();
Mathieu Chartier910e8272015-09-30 09:24:22 -07002666 // Second half of trace_methods is dex PCs.
2667 for (uint32_t i = 0; i < static_cast<uint32_t>(trace_methods->GetLength() / 2); ++i) {
2668 auto* method = trace_methods->GetElementPtrSize<ArtMethod*>(
Mathieu Chartiere401d142015-04-22 13:56:20 -07002669 i, Runtime::Current()->GetClassLinker()->GetImagePointerSize());
2670 CHECK(method != nullptr);
Ian Rogers7a22fa62013-01-23 12:16:16 -08002671 }
2672 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07002673 return soa.AddLocalReference<jobject>(trace);
Ian Rogersaaa20802011-09-11 21:47:37 -07002674}
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -07002675template jobject Thread::CreateInternalStackTrace<false>(
2676 const ScopedObjectAccessAlreadyRunnable& soa) const;
2677template jobject Thread::CreateInternalStackTrace<true>(
2678 const ScopedObjectAccessAlreadyRunnable& soa) const;
Ian Rogersaaa20802011-09-11 21:47:37 -07002679
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002680bool Thread::IsExceptionThrownByCurrentMethod(ObjPtr<mirror::Throwable> exception) const {
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002681 // Only count the depth since we do not pass a stack frame array as an argument.
2682 FetchStackTraceVisitor count_visitor(const_cast<Thread*>(this));
Nicolas Geoffray7642cfc2015-02-26 10:56:09 +00002683 count_visitor.WalkStack();
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002684 return count_visitor.GetDepth() == static_cast<uint32_t>(exception->GetStackDepth());
Nicolas Geoffray7642cfc2015-02-26 10:56:09 +00002685}
2686
Andreas Gampeb6f309e2017-12-11 20:45:41 -08002687static ObjPtr<mirror::StackTraceElement> CreateStackTraceElement(
2688 const ScopedObjectAccessAlreadyRunnable& soa,
2689 ArtMethod* method,
2690 uint32_t dex_pc) REQUIRES_SHARED(Locks::mutator_lock_) {
2691 int32_t line_number;
2692 StackHandleScope<3> hs(soa.Self());
2693 auto class_name_object(hs.NewHandle<mirror::String>(nullptr));
2694 auto source_name_object(hs.NewHandle<mirror::String>(nullptr));
2695 if (method->IsProxyMethod()) {
2696 line_number = -1;
2697 class_name_object.Assign(method->GetDeclaringClass()->GetName());
2698 // source_name_object intentionally left null for proxy methods
2699 } else {
2700 line_number = method->GetLineNumFromDexPC(dex_pc);
2701 // Allocate element, potentially triggering GC
2702 // TODO: reuse class_name_object via Class::name_?
2703 const char* descriptor = method->GetDeclaringClassDescriptor();
2704 CHECK(descriptor != nullptr);
2705 std::string class_name(PrettyDescriptor(descriptor));
2706 class_name_object.Assign(
2707 mirror::String::AllocFromModifiedUtf8(soa.Self(), class_name.c_str()));
2708 if (class_name_object == nullptr) {
2709 soa.Self()->AssertPendingOOMException();
2710 return nullptr;
2711 }
2712 const char* source_file = method->GetDeclaringClassSourceFile();
2713 if (line_number == -1) {
2714 // Make the line_number field of StackTraceElement hold the dex pc.
2715 // source_name_object is intentionally left null if we failed to map the dex pc to
2716 // a line number (most probably because there is no debug info). See b/30183883.
2717 line_number = dex_pc;
2718 } else {
2719 if (source_file != nullptr) {
2720 source_name_object.Assign(mirror::String::AllocFromModifiedUtf8(soa.Self(), source_file));
2721 if (source_name_object == nullptr) {
2722 soa.Self()->AssertPendingOOMException();
2723 return nullptr;
2724 }
2725 }
2726 }
2727 }
2728 const char* method_name = method->GetInterfaceMethodIfProxy(kRuntimePointerSize)->GetName();
2729 CHECK(method_name != nullptr);
2730 Handle<mirror::String> method_name_object(
2731 hs.NewHandle(mirror::String::AllocFromModifiedUtf8(soa.Self(), method_name)));
2732 if (method_name_object == nullptr) {
2733 return nullptr;
2734 }
2735 return mirror::StackTraceElement::Alloc(soa.Self(),
2736 class_name_object,
2737 method_name_object,
2738 source_name_object,
2739 line_number);
2740}
2741
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -07002742jobjectArray Thread::InternalStackTraceToStackTraceElementArray(
Mathieu Chartier910e8272015-09-30 09:24:22 -07002743 const ScopedObjectAccessAlreadyRunnable& soa,
2744 jobject internal,
2745 jobjectArray output_array,
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -07002746 int* stack_depth) {
Mathieu Chartier910e8272015-09-30 09:24:22 -07002747 // Decode the internal stack trace into the depth, method trace and PC trace.
2748 // Subtract one for the methods and PC trace.
Mathieu Chartier0795f232016-09-27 18:43:30 -07002749 int32_t depth = soa.Decode<mirror::Array>(internal)->GetLength() - 1;
Mathieu Chartier910e8272015-09-30 09:24:22 -07002750 DCHECK_GE(depth, 0);
Ian Rogersaaa20802011-09-11 21:47:37 -07002751
Mathieu Chartier910e8272015-09-30 09:24:22 -07002752 ClassLinker* const class_linker = Runtime::Current()->GetClassLinker();
Ian Rogersaaa20802011-09-11 21:47:37 -07002753
Elliott Hughes01158d72011-09-19 19:47:10 -07002754 jobjectArray result;
Mathieu Chartier530825b2013-09-25 17:56:49 -07002755
Dave Allison0aded082013-11-07 13:15:11 -08002756 if (output_array != nullptr) {
Elliott Hughes01158d72011-09-19 19:47:10 -07002757 // Reuse the array we were given.
2758 result = output_array;
Elliott Hughes01158d72011-09-19 19:47:10 -07002759 // ...adjusting the number of frames we'll write to not exceed the array length.
Mathieu Chartier530825b2013-09-25 17:56:49 -07002760 const int32_t traces_length =
Mathieu Chartier0795f232016-09-27 18:43:30 -07002761 soa.Decode<mirror::ObjectArray<mirror::StackTraceElement>>(result)->GetLength();
Mathieu Chartier530825b2013-09-25 17:56:49 -07002762 depth = std::min(depth, traces_length);
Elliott Hughes01158d72011-09-19 19:47:10 -07002763 } else {
2764 // Create java_trace array and place in local reference table
Vladimir Markobcf17522018-06-01 13:14:32 +01002765 ObjPtr<mirror::ObjectArray<mirror::StackTraceElement>> java_traces =
Mathieu Chartier910e8272015-09-30 09:24:22 -07002766 class_linker->AllocStackTraceElementArray(soa.Self(), depth);
Dave Allison0aded082013-11-07 13:15:11 -08002767 if (java_traces == nullptr) {
2768 return nullptr;
Elliott Hughes30646832011-10-13 16:59:46 -07002769 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002770 result = soa.AddLocalReference<jobjectArray>(java_traces);
Elliott Hughes01158d72011-09-19 19:47:10 -07002771 }
2772
Dave Allison0aded082013-11-07 13:15:11 -08002773 if (stack_depth != nullptr) {
Elliott Hughes01158d72011-09-19 19:47:10 -07002774 *stack_depth = depth;
2775 }
Shih-wei Liao55df06b2011-08-26 14:39:27 -07002776
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002777 for (int32_t i = 0; i < depth; ++i) {
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002778 ObjPtr<mirror::ObjectArray<mirror::Object>> decoded_traces =
Mathieu Chartier0795f232016-09-27 18:43:30 -07002779 soa.Decode<mirror::Object>(internal)->AsObjectArray<mirror::Object>();
Mathieu Chartier910e8272015-09-30 09:24:22 -07002780 // Methods and dex PC trace is element 0.
2781 DCHECK(decoded_traces->Get(0)->IsIntArray() || decoded_traces->Get(0)->IsLongArray());
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002782 ObjPtr<mirror::PointerArray> const method_trace =
2783 ObjPtr<mirror::PointerArray>::DownCast(MakeObjPtr(decoded_traces->Get(0)));
Ian Rogersaaa20802011-09-11 21:47:37 -07002784 // Prepare parameters for StackTraceElement(String cls, String method, String file, int line)
Andreas Gampe542451c2016-07-26 09:02:02 -07002785 ArtMethod* method = method_trace->GetElementPtrSize<ArtMethod*>(i, kRuntimePointerSize);
Mathieu Chartiere401d142015-04-22 13:56:20 -07002786 uint32_t dex_pc = method_trace->GetElementPtrSize<uint32_t>(
Andreas Gampe542451c2016-07-26 09:02:02 -07002787 i + method_trace->GetLength() / 2, kRuntimePointerSize);
Andreas Gampeb6f309e2017-12-11 20:45:41 -08002788 ObjPtr<mirror::StackTraceElement> obj = CreateStackTraceElement(soa, method, dex_pc);
Dave Allison0aded082013-11-07 13:15:11 -08002789 if (obj == nullptr) {
2790 return nullptr;
Elliott Hughes30646832011-10-13 16:59:46 -07002791 }
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01002792 // We are called from native: use non-transactional mode.
Mathieu Chartier0795f232016-09-27 18:43:30 -07002793 soa.Decode<mirror::ObjectArray<mirror::StackTraceElement>>(result)->Set<false>(i, obj);
Shih-wei Liao55df06b2011-08-26 14:39:27 -07002794 }
Ian Rogersaaa20802011-09-11 21:47:37 -07002795 return result;
Shih-wei Liao55df06b2011-08-26 14:39:27 -07002796}
2797
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002798jobjectArray Thread::CreateAnnotatedStackTrace(const ScopedObjectAccessAlreadyRunnable& soa) const {
2799 // This code allocates. Do not allow it to operate with a pending exception.
2800 if (IsExceptionPending()) {
2801 return nullptr;
2802 }
2803
2804 // If flip_function is not null, it means we have run a checkpoint
2805 // before the thread wakes up to execute the flip function and the
2806 // thread roots haven't been forwarded. So the following access to
2807 // the roots (locks or methods in the frames) would be bad. Run it
2808 // here. TODO: clean up.
2809 // Note: copied from DumpJavaStack.
2810 {
2811 Thread* this_thread = const_cast<Thread*>(this);
2812 Closure* flip_func = this_thread->GetFlipFunction();
2813 if (flip_func != nullptr) {
2814 flip_func->Run(this_thread);
2815 }
2816 }
2817
2818 class CollectFramesAndLocksStackVisitor : public MonitorObjectsStackVisitor {
2819 public:
2820 CollectFramesAndLocksStackVisitor(const ScopedObjectAccessAlreadyRunnable& soaa_in,
2821 Thread* self,
2822 Context* context)
2823 : MonitorObjectsStackVisitor(self, context),
2824 wait_jobject_(soaa_in.Env(), nullptr),
2825 block_jobject_(soaa_in.Env(), nullptr),
2826 soaa_(soaa_in) {}
2827
2828 protected:
2829 VisitMethodResult StartMethod(ArtMethod* m, size_t frame_nr ATTRIBUTE_UNUSED)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01002830 override
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002831 REQUIRES_SHARED(Locks::mutator_lock_) {
2832 ObjPtr<mirror::StackTraceElement> obj = CreateStackTraceElement(
2833 soaa_, m, GetDexPc(/* abort on error */ false));
2834 if (obj == nullptr) {
2835 return VisitMethodResult::kEndStackWalk;
2836 }
2837 stack_trace_elements_.emplace_back(soaa_.Env(), soaa_.AddLocalReference<jobject>(obj.Ptr()));
2838 return VisitMethodResult::kContinueMethod;
2839 }
2840
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01002841 VisitMethodResult EndMethod(ArtMethod* m ATTRIBUTE_UNUSED) override {
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002842 lock_objects_.push_back({});
2843 lock_objects_[lock_objects_.size() - 1].swap(frame_lock_objects_);
2844
2845 DCHECK_EQ(lock_objects_.size(), stack_trace_elements_.size());
2846
2847 return VisitMethodResult::kContinueMethod;
2848 }
2849
2850 void VisitWaitingObject(mirror::Object* obj, ThreadState state ATTRIBUTE_UNUSED)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01002851 override
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002852 REQUIRES_SHARED(Locks::mutator_lock_) {
2853 wait_jobject_.reset(soaa_.AddLocalReference<jobject>(obj));
2854 }
2855 void VisitSleepingObject(mirror::Object* obj)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01002856 override
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002857 REQUIRES_SHARED(Locks::mutator_lock_) {
2858 wait_jobject_.reset(soaa_.AddLocalReference<jobject>(obj));
2859 }
2860 void VisitBlockedOnObject(mirror::Object* obj,
2861 ThreadState state ATTRIBUTE_UNUSED,
2862 uint32_t owner_tid ATTRIBUTE_UNUSED)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01002863 override
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002864 REQUIRES_SHARED(Locks::mutator_lock_) {
2865 block_jobject_.reset(soaa_.AddLocalReference<jobject>(obj));
2866 }
2867 void VisitLockedObject(mirror::Object* obj)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01002868 override
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002869 REQUIRES_SHARED(Locks::mutator_lock_) {
2870 frame_lock_objects_.emplace_back(soaa_.Env(), soaa_.AddLocalReference<jobject>(obj));
2871 }
2872
2873 public:
2874 std::vector<ScopedLocalRef<jobject>> stack_trace_elements_;
2875 ScopedLocalRef<jobject> wait_jobject_;
2876 ScopedLocalRef<jobject> block_jobject_;
2877 std::vector<std::vector<ScopedLocalRef<jobject>>> lock_objects_;
2878
2879 private:
2880 const ScopedObjectAccessAlreadyRunnable& soaa_;
2881
2882 std::vector<ScopedLocalRef<jobject>> frame_lock_objects_;
2883 };
2884
2885 std::unique_ptr<Context> context(Context::Create());
2886 CollectFramesAndLocksStackVisitor dumper(soa, const_cast<Thread*>(this), context.get());
2887 dumper.WalkStack();
2888
2889 // There should not be a pending exception. Otherwise, return with it pending.
2890 if (IsExceptionPending()) {
2891 return nullptr;
2892 }
2893
2894 // Now go and create Java arrays.
2895
2896 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
2897
2898 StackHandleScope<6> hs(soa.Self());
Vladimir Markoa8bba7d2018-05-30 15:18:48 +01002899 Handle<mirror::Class> h_aste_array_class = hs.NewHandle(class_linker->FindSystemClass(
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002900 soa.Self(),
Vladimir Markoa8bba7d2018-05-30 15:18:48 +01002901 "[Ldalvik/system/AnnotatedStackTraceElement;"));
2902 if (h_aste_array_class == nullptr) {
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002903 return nullptr;
2904 }
Vladimir Markoa8bba7d2018-05-30 15:18:48 +01002905 Handle<mirror::Class> h_aste_class = hs.NewHandle(h_aste_array_class->GetComponentType());
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002906
Vladimir Markoa8bba7d2018-05-30 15:18:48 +01002907 Handle<mirror::Class> h_o_array_class =
2908 hs.NewHandle(GetClassRoot<mirror::ObjectArray<mirror::Object>>(class_linker));
2909 DCHECK(h_o_array_class != nullptr); // Class roots must be already initialized.
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002910
Vladimir Markoc4b1c0c2018-03-29 17:07:17 +01002911
2912 // Make sure the AnnotatedStackTraceElement.class is initialized, b/76208924 .
2913 class_linker->EnsureInitialized(soa.Self(),
2914 h_aste_class,
Andreas Gampe98ea9d92018-10-19 14:06:15 -07002915 /* can_init_fields= */ true,
2916 /* can_init_parents= */ true);
Vladimir Markoc4b1c0c2018-03-29 17:07:17 +01002917 if (soa.Self()->IsExceptionPending()) {
2918 // This should not fail in a healthy runtime.
2919 return nullptr;
2920 }
2921
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002922 ArtField* stack_trace_element_field = h_aste_class->FindField(
2923 soa.Self(), h_aste_class.Get(), "stackTraceElement", "Ljava/lang/StackTraceElement;");
2924 DCHECK(stack_trace_element_field != nullptr);
2925 ArtField* held_locks_field = h_aste_class->FindField(
2926 soa.Self(), h_aste_class.Get(), "heldLocks", "[Ljava/lang/Object;");
2927 DCHECK(held_locks_field != nullptr);
2928 ArtField* blocked_on_field = h_aste_class->FindField(
2929 soa.Self(), h_aste_class.Get(), "blockedOn", "Ljava/lang/Object;");
2930 DCHECK(blocked_on_field != nullptr);
2931
2932 size_t length = dumper.stack_trace_elements_.size();
2933 ObjPtr<mirror::ObjectArray<mirror::Object>> array =
Vladimir Markoa8bba7d2018-05-30 15:18:48 +01002934 mirror::ObjectArray<mirror::Object>::Alloc(soa.Self(), h_aste_array_class.Get(), length);
Andreas Gampefb6b0b12017-12-11 20:47:56 -08002935 if (array == nullptr) {
2936 soa.Self()->AssertPendingOOMException();
2937 return nullptr;
2938 }
2939
2940 ScopedLocalRef<jobjectArray> result(soa.Env(), soa.Env()->AddLocalReference<jobjectArray>(array));
2941
2942 MutableHandle<mirror::Object> handle(hs.NewHandle<mirror::Object>(nullptr));
2943 MutableHandle<mirror::ObjectArray<mirror::Object>> handle2(
2944 hs.NewHandle<mirror::ObjectArray<mirror::Object>>(nullptr));
2945 for (size_t i = 0; i != length; ++i) {
2946 handle.Assign(h_aste_class->AllocObject(soa.Self()));
2947 if (handle == nullptr) {
2948 soa.Self()->AssertPendingOOMException();
2949 return nullptr;
2950 }
2951
2952 // Set stack trace element.
2953 stack_trace_element_field->SetObject<false>(
2954 handle.Get(), soa.Decode<mirror::Object>(dumper.stack_trace_elements_[i].get()));
2955
2956 // Create locked-on array.
2957 if (!dumper.lock_objects_[i].empty()) {
2958 handle2.Assign(mirror::ObjectArray<mirror::Object>::Alloc(soa.Self(),
2959 h_o_array_class.Get(),
2960 dumper.lock_objects_[i].size()));
2961 if (handle2 == nullptr) {
2962 soa.Self()->AssertPendingOOMException();
2963 return nullptr;
2964 }
2965 int32_t j = 0;
2966 for (auto& scoped_local : dumper.lock_objects_[i]) {
2967 if (scoped_local == nullptr) {
2968 continue;
2969 }
2970 handle2->Set(j, soa.Decode<mirror::Object>(scoped_local.get()));
2971 DCHECK(!soa.Self()->IsExceptionPending());
2972 j++;
2973 }
2974 held_locks_field->SetObject<false>(handle.Get(), handle2.Get());
2975 }
2976
2977 // Set blocked-on object.
2978 if (i == 0) {
2979 if (dumper.block_jobject_ != nullptr) {
2980 blocked_on_field->SetObject<false>(
2981 handle.Get(), soa.Decode<mirror::Object>(dumper.block_jobject_.get()));
2982 }
2983 }
2984
2985 ScopedLocalRef<jobject> elem(soa.Env(), soa.AddLocalReference<jobject>(handle.Get()));
2986 soa.Env()->SetObjectArrayElement(result.get(), i, elem.get());
2987 DCHECK(!soa.Self()->IsExceptionPending());
2988 }
2989
2990 return result.release();
2991}
2992
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00002993void Thread::ThrowNewExceptionF(const char* exception_class_descriptor, const char* fmt, ...) {
Elliott Hughesa5b897e2011-08-16 11:33:06 -07002994 va_list args;
2995 va_start(args, fmt);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00002996 ThrowNewExceptionV(exception_class_descriptor, fmt, args);
Elliott Hughesa5b897e2011-08-16 11:33:06 -07002997 va_end(args);
Elliott Hughes4a2b4172011-09-20 17:08:25 -07002998}
2999
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00003000void Thread::ThrowNewExceptionV(const char* exception_class_descriptor,
Ian Rogers62d6c772013-02-27 08:32:07 -08003001 const char* fmt, va_list ap) {
Elliott Hughes4a2b4172011-09-20 17:08:25 -07003002 std::string msg;
3003 StringAppendV(&msg, fmt, ap);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00003004 ThrowNewException(exception_class_descriptor, msg.c_str());
Elliott Hughes5cb5ad22011-10-02 12:13:39 -07003005}
Elliott Hughes37f7a402011-08-22 18:56:01 -07003006
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00003007void Thread::ThrowNewException(const char* exception_class_descriptor,
Ian Rogers62d6c772013-02-27 08:32:07 -08003008 const char* msg) {
Mathieu Chartier8d7672e2014-02-25 10:57:16 -08003009 // Callers should either clear or call ThrowNewWrappedException.
3010 AssertNoPendingExceptionForNewException(msg);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00003011 ThrowNewWrappedException(exception_class_descriptor, msg);
Elliott Hughesa4f94742012-05-29 16:28:38 -07003012}
3013
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003014static ObjPtr<mirror::ClassLoader> GetCurrentClassLoader(Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003015 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07003016 ArtMethod* method = self->GetCurrentMethod(nullptr);
Nicolas Geoffrayee077032015-03-09 14:56:37 +00003017 return method != nullptr
3018 ? method->GetDeclaringClass()->GetClassLoader()
Nicolas Geoffray14691c52015-03-05 10:40:17 +00003019 : nullptr;
3020}
3021
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00003022void Thread::ThrowNewWrappedException(const char* exception_class_descriptor,
Ian Rogers62d6c772013-02-27 08:32:07 -08003023 const char* msg) {
3024 DCHECK_EQ(this, Thread::Current());
Ian Rogers53b8b092014-03-13 23:45:53 -07003025 ScopedObjectAccessUnchecked soa(this);
Nicolas Geoffray14691c52015-03-05 10:40:17 +00003026 StackHandleScope<3> hs(soa.Self());
Nicolas Geoffrayee077032015-03-09 14:56:37 +00003027 Handle<mirror::ClassLoader> class_loader(hs.NewHandle(GetCurrentClassLoader(soa.Self())));
Nicolas Geoffray14691c52015-03-05 10:40:17 +00003028 ScopedLocalRef<jobject> cause(GetJniEnv(), soa.AddLocalReference<jobject>(GetException()));
Ian Rogers62d6c772013-02-27 08:32:07 -08003029 ClearException();
3030 Runtime* runtime = Runtime::Current();
Mathieu Chartiere401d142015-04-22 13:56:20 -07003031 auto* cl = runtime->GetClassLinker();
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07003032 Handle<mirror::Class> exception_class(
Mathieu Chartiere401d142015-04-22 13:56:20 -07003033 hs.NewHandle(cl->FindClass(this, exception_class_descriptor, class_loader)));
Andreas Gampefa4333d2017-02-14 11:10:34 -08003034 if (UNLIKELY(exception_class == nullptr)) {
Elliott Hughes30646832011-10-13 16:59:46 -07003035 CHECK(IsExceptionPending());
Ian Rogers62d6c772013-02-27 08:32:07 -08003036 LOG(ERROR) << "No exception class " << PrettyDescriptor(exception_class_descriptor);
Elliott Hughes30646832011-10-13 16:59:46 -07003037 return;
3038 }
Ian Rogers62d6c772013-02-27 08:32:07 -08003039
Ian Rogers7b078e82014-09-10 14:44:24 -07003040 if (UNLIKELY(!runtime->GetClassLinker()->EnsureInitialized(soa.Self(), exception_class, true,
3041 true))) {
Ian Rogers62d6c772013-02-27 08:32:07 -08003042 DCHECK(IsExceptionPending());
3043 return;
3044 }
3045 DCHECK(!runtime->IsStarted() || exception_class->IsThrowableClass());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07003046 Handle<mirror::Throwable> exception(
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07003047 hs.NewHandle(ObjPtr<mirror::Throwable>::DownCast(exception_class->AllocObject(this))));
Ian Rogers62d6c772013-02-27 08:32:07 -08003048
Mathieu Chartier590fee92013-09-13 13:46:47 -07003049 // If we couldn't allocate the exception, throw the pre-allocated out of memory exception.
Andreas Gampefa4333d2017-02-14 11:10:34 -08003050 if (exception == nullptr) {
Roland Levillain7b0e8442018-04-11 18:27:47 +01003051 Dump(LOG_STREAM(WARNING)); // The pre-allocated OOME has no stack, so help out and log one.
3052 SetException(Runtime::Current()->GetPreAllocatedOutOfMemoryErrorWhenThrowingException());
Mathieu Chartier590fee92013-09-13 13:46:47 -07003053 return;
3054 }
3055
Ian Rogers62d6c772013-02-27 08:32:07 -08003056 // Choose an appropriate constructor and set up the arguments.
3057 const char* signature;
Ian Rogers53b8b092014-03-13 23:45:53 -07003058 ScopedLocalRef<jstring> msg_string(GetJniEnv(), nullptr);
Dave Allison0aded082013-11-07 13:15:11 -08003059 if (msg != nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -08003060 // Ensure we remember this and the method over the String allocation.
Ian Rogers53b8b092014-03-13 23:45:53 -07003061 msg_string.reset(
3062 soa.AddLocalReference<jstring>(mirror::String::AllocFromModifiedUtf8(this, msg)));
Dave Allison0aded082013-11-07 13:15:11 -08003063 if (UNLIKELY(msg_string.get() == nullptr)) {
Ian Rogers62d6c772013-02-27 08:32:07 -08003064 CHECK(IsExceptionPending()); // OOME.
3065 return;
Brian Carlstromebd1fd22011-12-07 15:46:26 -08003066 }
Dave Allison0aded082013-11-07 13:15:11 -08003067 if (cause.get() == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -08003068 signature = "(Ljava/lang/String;)V";
3069 } else {
3070 signature = "(Ljava/lang/String;Ljava/lang/Throwable;)V";
3071 }
3072 } else {
Dave Allison0aded082013-11-07 13:15:11 -08003073 if (cause.get() == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -08003074 signature = "()V";
3075 } else {
3076 signature = "(Ljava/lang/Throwable;)V";
3077 }
Brian Carlstromebd1fd22011-12-07 15:46:26 -08003078 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07003079 ArtMethod* exception_init_method =
Vladimir Markoba118822017-06-12 15:41:56 +01003080 exception_class->FindConstructor(signature, cl->GetImagePointerSize());
Ian Rogers62d6c772013-02-27 08:32:07 -08003081
Dave Allison0aded082013-11-07 13:15:11 -08003082 CHECK(exception_init_method != nullptr) << "No <init>" << signature << " in "
Ian Rogers62d6c772013-02-27 08:32:07 -08003083 << PrettyDescriptor(exception_class_descriptor);
3084
3085 if (UNLIKELY(!runtime->IsStarted())) {
3086 // Something is trying to throw an exception without a started runtime, which is the common
3087 // case in the compiler. We won't be able to invoke the constructor of the exception, so set
3088 // the exception fields directly.
Dave Allison0aded082013-11-07 13:15:11 -08003089 if (msg != nullptr) {
Mathieu Chartierc4f39252016-10-05 18:32:08 -07003090 exception->SetDetailMessage(DecodeJObject(msg_string.get())->AsString());
Ian Rogers62d6c772013-02-27 08:32:07 -08003091 }
Dave Allison0aded082013-11-07 13:15:11 -08003092 if (cause.get() != nullptr) {
Mathieu Chartierc4f39252016-10-05 18:32:08 -07003093 exception->SetCause(DecodeJObject(cause.get())->AsThrowable());
Ian Rogers62d6c772013-02-27 08:32:07 -08003094 }
Ian Rogersc45b8b52014-05-03 01:39:59 -07003095 ScopedLocalRef<jobject> trace(GetJniEnv(),
3096 Runtime::Current()->IsActiveTransaction()
3097 ? CreateInternalStackTrace<true>(soa)
3098 : CreateInternalStackTrace<false>(soa));
3099 if (trace.get() != nullptr) {
Mathieu Chartierc4f39252016-10-05 18:32:08 -07003100 exception->SetStackState(DecodeJObject(trace.get()).Ptr());
Ian Rogersc45b8b52014-05-03 01:39:59 -07003101 }
Nicolas Geoffray14691c52015-03-05 10:40:17 +00003102 SetException(exception.Get());
Ian Rogers62d6c772013-02-27 08:32:07 -08003103 } else {
Ian Rogers53b8b092014-03-13 23:45:53 -07003104 jvalue jv_args[2];
3105 size_t i = 0;
3106
Dave Allison0aded082013-11-07 13:15:11 -08003107 if (msg != nullptr) {
Ian Rogers53b8b092014-03-13 23:45:53 -07003108 jv_args[i].l = msg_string.get();
3109 ++i;
Ian Rogers62d6c772013-02-27 08:32:07 -08003110 }
Dave Allison0aded082013-11-07 13:15:11 -08003111 if (cause.get() != nullptr) {
Ian Rogers53b8b092014-03-13 23:45:53 -07003112 jv_args[i].l = cause.get();
3113 ++i;
Ian Rogers62d6c772013-02-27 08:32:07 -08003114 }
Jeff Hao39b6c242015-05-19 20:30:23 -07003115 ScopedLocalRef<jobject> ref(soa.Env(), soa.AddLocalReference<jobject>(exception.Get()));
Andreas Gampe13b27842016-11-07 16:48:23 -08003116 InvokeWithJValues(soa, ref.get(), jni::EncodeArtMethod(exception_init_method), jv_args);
Ian Rogers62d6c772013-02-27 08:32:07 -08003117 if (LIKELY(!IsExceptionPending())) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +00003118 SetException(exception.Get());
Ian Rogers62d6c772013-02-27 08:32:07 -08003119 }
Elliott Hughes30646832011-10-13 16:59:46 -07003120 }
Elliott Hughesa5b897e2011-08-16 11:33:06 -07003121}
3122
Elliott Hughes2ced6a52011-10-16 18:44:48 -07003123void Thread::ThrowOutOfMemoryError(const char* msg) {
Wei Li8991ad02018-09-13 16:43:39 +08003124 LOG(WARNING) << "Throwing OutOfMemoryError "
3125 << '"' << msg << '"'
3126 << " (VmSize " << GetProcessStatus("VmSize")
3127 << (tls32_.throwing_OutOfMemoryError ? ", recursive case)" : ")");
Ian Rogersdd7624d2014-03-14 17:43:00 -07003128 if (!tls32_.throwing_OutOfMemoryError) {
3129 tls32_.throwing_OutOfMemoryError = true;
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00003130 ThrowNewException("Ljava/lang/OutOfMemoryError;", msg);
Ian Rogersdd7624d2014-03-14 17:43:00 -07003131 tls32_.throwing_OutOfMemoryError = false;
Elliott Hughes418dfe72011-10-06 18:56:27 -07003132 } else {
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07003133 Dump(LOG_STREAM(WARNING)); // The pre-allocated OOME has no stack, so help out and log one.
Roland Levillain7b0e8442018-04-11 18:27:47 +01003134 SetException(Runtime::Current()->GetPreAllocatedOutOfMemoryErrorWhenThrowingOOME());
Elliott Hughes418dfe72011-10-06 18:56:27 -07003135 }
Elliott Hughes79082e32011-08-25 12:07:32 -07003136}
3137
Elliott Hughes498508c2011-10-17 14:58:22 -07003138Thread* Thread::CurrentFromGdb() {
Elliott Hughesaccd83d2011-10-17 14:25:58 -07003139 return Thread::Current();
3140}
3141
3142void Thread::DumpFromGdb() const {
Brian Carlstrom6b4ef022011-10-23 14:59:04 -07003143 std::ostringstream ss;
3144 Dump(ss);
Elliott Hughes95572412011-12-13 18:14:20 -08003145 std::string str(ss.str());
Brian Carlstrom6b4ef022011-10-23 14:59:04 -07003146 // log to stderr for debugging command line processes
3147 std::cerr << str;
Bilyan Borisovbb661c02016-04-04 16:27:32 +01003148#ifdef ART_TARGET_ANDROID
Brian Carlstrom6b4ef022011-10-23 14:59:04 -07003149 // log to logcat for debugging frameworks processes
3150 LOG(INFO) << str;
3151#endif
Elliott Hughesaccd83d2011-10-17 14:25:58 -07003152}
3153
Ian Rogersdd7624d2014-03-14 17:43:00 -07003154// Explicitly instantiate 32 and 64bit thread offset dumping support.
Andreas Gampe542451c2016-07-26 09:02:02 -07003155template
3156void Thread::DumpThreadOffset<PointerSize::k32>(std::ostream& os, uint32_t offset);
3157template
3158void Thread::DumpThreadOffset<PointerSize::k64>(std::ostream& os, uint32_t offset);
Elliott Hughes98e20172012-04-24 15:38:13 -07003159
Andreas Gampe542451c2016-07-26 09:02:02 -07003160template<PointerSize ptr_size>
Ian Rogersdd7624d2014-03-14 17:43:00 -07003161void Thread::DumpThreadOffset(std::ostream& os, uint32_t offset) {
3162#define DO_THREAD_OFFSET(x, y) \
Chih-Hung Hsiehfba39972016-05-11 11:26:48 -07003163 if (offset == (x).Uint32Value()) { \
3164 os << (y); \
Brian Carlstromf69863b2013-07-17 21:53:13 -07003165 return; \
3166 }
Ian Rogersdd7624d2014-03-14 17:43:00 -07003167 DO_THREAD_OFFSET(ThreadFlagsOffset<ptr_size>(), "state_and_flags")
3168 DO_THREAD_OFFSET(CardTableOffset<ptr_size>(), "card_table")
3169 DO_THREAD_OFFSET(ExceptionOffset<ptr_size>(), "exception")
3170 DO_THREAD_OFFSET(PeerOffset<ptr_size>(), "peer");
3171 DO_THREAD_OFFSET(JniEnvOffset<ptr_size>(), "jni_env")
3172 DO_THREAD_OFFSET(SelfOffset<ptr_size>(), "self")
3173 DO_THREAD_OFFSET(StackEndOffset<ptr_size>(), "stack_end")
3174 DO_THREAD_OFFSET(ThinLockIdOffset<ptr_size>(), "thin_lock_thread_id")
Roland Levillain97c46462017-05-11 14:04:03 +01003175 DO_THREAD_OFFSET(IsGcMarkingOffset<ptr_size>(), "is_gc_marking")
Ian Rogersdd7624d2014-03-14 17:43:00 -07003176 DO_THREAD_OFFSET(TopOfManagedStackOffset<ptr_size>(), "top_quick_frame_method")
Ian Rogersdd7624d2014-03-14 17:43:00 -07003177 DO_THREAD_OFFSET(TopShadowFrameOffset<ptr_size>(), "top_shadow_frame")
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07003178 DO_THREAD_OFFSET(TopHandleScopeOffset<ptr_size>(), "top_handle_scope")
Ian Rogersdd7624d2014-03-14 17:43:00 -07003179 DO_THREAD_OFFSET(ThreadSuspendTriggerOffset<ptr_size>(), "suspend_trigger")
Elliott Hughes28fa76d2012-04-09 17:31:46 -07003180#undef DO_THREAD_OFFSET
Elliott Hughes98e20172012-04-24 15:38:13 -07003181
Ian Rogersdd7624d2014-03-14 17:43:00 -07003182#define JNI_ENTRY_POINT_INFO(x) \
3183 if (JNI_ENTRYPOINT_OFFSET(ptr_size, x).Uint32Value() == offset) { \
3184 os << #x; \
3185 return; \
3186 }
3187 JNI_ENTRY_POINT_INFO(pDlsymLookup)
3188#undef JNI_ENTRY_POINT_INFO
3189
Ian Rogersdd7624d2014-03-14 17:43:00 -07003190#define QUICK_ENTRY_POINT_INFO(x) \
3191 if (QUICK_ENTRYPOINT_OFFSET(ptr_size, x).Uint32Value() == offset) { \
3192 os << #x; \
3193 return; \
3194 }
Ian Rogersdd7624d2014-03-14 17:43:00 -07003195 QUICK_ENTRY_POINT_INFO(pAllocArrayResolved)
Nicolas Geoffrayb048cb72017-01-23 22:50:24 +00003196 QUICK_ENTRY_POINT_INFO(pAllocArrayResolved8)
3197 QUICK_ENTRY_POINT_INFO(pAllocArrayResolved16)
3198 QUICK_ENTRY_POINT_INFO(pAllocArrayResolved32)
3199 QUICK_ENTRY_POINT_INFO(pAllocArrayResolved64)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003200 QUICK_ENTRY_POINT_INFO(pAllocObjectResolved)
3201 QUICK_ENTRY_POINT_INFO(pAllocObjectInitialized)
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +00003202 QUICK_ENTRY_POINT_INFO(pAllocObjectWithChecks)
Alex Lightd109e302018-06-27 10:25:41 -07003203 QUICK_ENTRY_POINT_INFO(pAllocStringObject)
Jeff Hao848f70a2014-01-15 13:49:50 -08003204 QUICK_ENTRY_POINT_INFO(pAllocStringFromBytes)
3205 QUICK_ENTRY_POINT_INFO(pAllocStringFromChars)
3206 QUICK_ENTRY_POINT_INFO(pAllocStringFromString)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003207 QUICK_ENTRY_POINT_INFO(pInstanceofNonTrivial)
Mathieu Chartierb99f4d62016-11-07 16:17:26 -08003208 QUICK_ENTRY_POINT_INFO(pCheckInstanceOf)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003209 QUICK_ENTRY_POINT_INFO(pInitializeStaticStorage)
Vladimir Marko9d479252018-07-24 11:35:20 +01003210 QUICK_ENTRY_POINT_INFO(pResolveTypeAndVerifyAccess)
3211 QUICK_ENTRY_POINT_INFO(pResolveType)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003212 QUICK_ENTRY_POINT_INFO(pResolveString)
Fred Shih37f05ef2014-07-16 18:38:08 -07003213 QUICK_ENTRY_POINT_INFO(pSet8Instance)
3214 QUICK_ENTRY_POINT_INFO(pSet8Static)
3215 QUICK_ENTRY_POINT_INFO(pSet16Instance)
3216 QUICK_ENTRY_POINT_INFO(pSet16Static)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003217 QUICK_ENTRY_POINT_INFO(pSet32Instance)
3218 QUICK_ENTRY_POINT_INFO(pSet32Static)
3219 QUICK_ENTRY_POINT_INFO(pSet64Instance)
3220 QUICK_ENTRY_POINT_INFO(pSet64Static)
3221 QUICK_ENTRY_POINT_INFO(pSetObjInstance)
3222 QUICK_ENTRY_POINT_INFO(pSetObjStatic)
Fred Shih37f05ef2014-07-16 18:38:08 -07003223 QUICK_ENTRY_POINT_INFO(pGetByteInstance)
3224 QUICK_ENTRY_POINT_INFO(pGetBooleanInstance)
3225 QUICK_ENTRY_POINT_INFO(pGetByteStatic)
3226 QUICK_ENTRY_POINT_INFO(pGetBooleanStatic)
3227 QUICK_ENTRY_POINT_INFO(pGetShortInstance)
3228 QUICK_ENTRY_POINT_INFO(pGetCharInstance)
3229 QUICK_ENTRY_POINT_INFO(pGetShortStatic)
3230 QUICK_ENTRY_POINT_INFO(pGetCharStatic)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003231 QUICK_ENTRY_POINT_INFO(pGet32Instance)
3232 QUICK_ENTRY_POINT_INFO(pGet32Static)
3233 QUICK_ENTRY_POINT_INFO(pGet64Instance)
3234 QUICK_ENTRY_POINT_INFO(pGet64Static)
3235 QUICK_ENTRY_POINT_INFO(pGetObjInstance)
3236 QUICK_ENTRY_POINT_INFO(pGetObjStatic)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003237 QUICK_ENTRY_POINT_INFO(pAputObject)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003238 QUICK_ENTRY_POINT_INFO(pJniMethodStart)
3239 QUICK_ENTRY_POINT_INFO(pJniMethodStartSynchronized)
3240 QUICK_ENTRY_POINT_INFO(pJniMethodEnd)
3241 QUICK_ENTRY_POINT_INFO(pJniMethodEndSynchronized)
3242 QUICK_ENTRY_POINT_INFO(pJniMethodEndWithReference)
3243 QUICK_ENTRY_POINT_INFO(pJniMethodEndWithReferenceSynchronized)
3244 QUICK_ENTRY_POINT_INFO(pQuickGenericJniTrampoline)
3245 QUICK_ENTRY_POINT_INFO(pLockObject)
3246 QUICK_ENTRY_POINT_INFO(pUnlockObject)
3247 QUICK_ENTRY_POINT_INFO(pCmpgDouble)
3248 QUICK_ENTRY_POINT_INFO(pCmpgFloat)
3249 QUICK_ENTRY_POINT_INFO(pCmplDouble)
3250 QUICK_ENTRY_POINT_INFO(pCmplFloat)
Mark Mendella4f12202015-08-06 15:23:34 -04003251 QUICK_ENTRY_POINT_INFO(pCos)
3252 QUICK_ENTRY_POINT_INFO(pSin)
3253 QUICK_ENTRY_POINT_INFO(pAcos)
3254 QUICK_ENTRY_POINT_INFO(pAsin)
3255 QUICK_ENTRY_POINT_INFO(pAtan)
3256 QUICK_ENTRY_POINT_INFO(pAtan2)
3257 QUICK_ENTRY_POINT_INFO(pCbrt)
3258 QUICK_ENTRY_POINT_INFO(pCosh)
3259 QUICK_ENTRY_POINT_INFO(pExp)
3260 QUICK_ENTRY_POINT_INFO(pExpm1)
3261 QUICK_ENTRY_POINT_INFO(pHypot)
3262 QUICK_ENTRY_POINT_INFO(pLog)
3263 QUICK_ENTRY_POINT_INFO(pLog10)
3264 QUICK_ENTRY_POINT_INFO(pNextAfter)
3265 QUICK_ENTRY_POINT_INFO(pSinh)
3266 QUICK_ENTRY_POINT_INFO(pTan)
3267 QUICK_ENTRY_POINT_INFO(pTanh)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003268 QUICK_ENTRY_POINT_INFO(pFmod)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003269 QUICK_ENTRY_POINT_INFO(pL2d)
3270 QUICK_ENTRY_POINT_INFO(pFmodf)
3271 QUICK_ENTRY_POINT_INFO(pL2f)
3272 QUICK_ENTRY_POINT_INFO(pD2iz)
3273 QUICK_ENTRY_POINT_INFO(pF2iz)
3274 QUICK_ENTRY_POINT_INFO(pIdivmod)
3275 QUICK_ENTRY_POINT_INFO(pD2l)
3276 QUICK_ENTRY_POINT_INFO(pF2l)
3277 QUICK_ENTRY_POINT_INFO(pLdiv)
3278 QUICK_ENTRY_POINT_INFO(pLmod)
3279 QUICK_ENTRY_POINT_INFO(pLmul)
3280 QUICK_ENTRY_POINT_INFO(pShlLong)
3281 QUICK_ENTRY_POINT_INFO(pShrLong)
3282 QUICK_ENTRY_POINT_INFO(pUshrLong)
3283 QUICK_ENTRY_POINT_INFO(pIndexOf)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003284 QUICK_ENTRY_POINT_INFO(pStringCompareTo)
3285 QUICK_ENTRY_POINT_INFO(pMemcpy)
3286 QUICK_ENTRY_POINT_INFO(pQuickImtConflictTrampoline)
3287 QUICK_ENTRY_POINT_INFO(pQuickResolutionTrampoline)
3288 QUICK_ENTRY_POINT_INFO(pQuickToInterpreterBridge)
3289 QUICK_ENTRY_POINT_INFO(pInvokeDirectTrampolineWithAccessCheck)
3290 QUICK_ENTRY_POINT_INFO(pInvokeInterfaceTrampolineWithAccessCheck)
3291 QUICK_ENTRY_POINT_INFO(pInvokeStaticTrampolineWithAccessCheck)
3292 QUICK_ENTRY_POINT_INFO(pInvokeSuperTrampolineWithAccessCheck)
3293 QUICK_ENTRY_POINT_INFO(pInvokeVirtualTrampolineWithAccessCheck)
Orion Hodsonac141392017-01-13 11:53:47 +00003294 QUICK_ENTRY_POINT_INFO(pInvokePolymorphic)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003295 QUICK_ENTRY_POINT_INFO(pTestSuspend)
3296 QUICK_ENTRY_POINT_INFO(pDeliverException)
3297 QUICK_ENTRY_POINT_INFO(pThrowArrayBounds)
3298 QUICK_ENTRY_POINT_INFO(pThrowDivZero)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003299 QUICK_ENTRY_POINT_INFO(pThrowNullPointer)
3300 QUICK_ENTRY_POINT_INFO(pThrowStackOverflow)
Mingyao Yangd43b3ac2015-04-01 14:03:04 -07003301 QUICK_ENTRY_POINT_INFO(pDeoptimize)
Douglas Leungd9cb8ae2014-07-09 14:28:35 -07003302 QUICK_ENTRY_POINT_INFO(pA64Load)
3303 QUICK_ENTRY_POINT_INFO(pA64Store)
Jeff Hao848f70a2014-01-15 13:49:50 -08003304 QUICK_ENTRY_POINT_INFO(pNewEmptyString)
3305 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_B)
3306 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BI)
3307 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BII)
3308 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BIII)
3309 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BIIString)
3310 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BString)
3311 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BIICharset)
3312 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BCharset)
3313 QUICK_ENTRY_POINT_INFO(pNewStringFromChars_C)
3314 QUICK_ENTRY_POINT_INFO(pNewStringFromChars_CII)
3315 QUICK_ENTRY_POINT_INFO(pNewStringFromChars_IIC)
3316 QUICK_ENTRY_POINT_INFO(pNewStringFromCodePoints)
3317 QUICK_ENTRY_POINT_INFO(pNewStringFromString)
3318 QUICK_ENTRY_POINT_INFO(pNewStringFromStringBuffer)
3319 QUICK_ENTRY_POINT_INFO(pNewStringFromStringBuilder)
Hiroshi Yamauchi1cc71eb2015-05-07 10:47:27 -07003320 QUICK_ENTRY_POINT_INFO(pReadBarrierJni)
Roland Levillain02b75802016-07-13 11:54:35 +01003321 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg00)
3322 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg01)
3323 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg02)
3324 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg03)
3325 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg04)
3326 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg05)
3327 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg06)
3328 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg07)
3329 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg08)
3330 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg09)
3331 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg10)
3332 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg11)
3333 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg12)
3334 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg13)
3335 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg14)
3336 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg15)
3337 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg16)
3338 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg17)
3339 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg18)
3340 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg19)
3341 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg20)
3342 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg21)
3343 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg22)
3344 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg23)
3345 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg24)
3346 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg25)
3347 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg26)
3348 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg27)
3349 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg28)
3350 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg29)
Man Cao1aee9002015-07-14 22:31:42 -07003351 QUICK_ENTRY_POINT_INFO(pReadBarrierSlow)
Roland Levillain0d5a2812015-11-13 10:07:31 +00003352 QUICK_ENTRY_POINT_INFO(pReadBarrierForRootSlow)
Igor Murashkin9d4b6da2016-07-29 09:51:58 -07003353
3354 QUICK_ENTRY_POINT_INFO(pJniMethodFastStart)
3355 QUICK_ENTRY_POINT_INFO(pJniMethodFastEnd)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003356#undef QUICK_ENTRY_POINT_INFO
3357
Elliott Hughes98e20172012-04-24 15:38:13 -07003358 os << offset;
Elliott Hughes28fa76d2012-04-09 17:31:46 -07003359}
3360
jeffhao94d6df42012-11-26 16:02:12 -08003361void Thread::QuickDeliverException() {
Ian Rogers62d6c772013-02-27 08:32:07 -08003362 // Get exception from thread.
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003363 ObjPtr<mirror::Throwable> exception = GetException();
Dave Allison0aded082013-11-07 13:15:11 -08003364 CHECK(exception != nullptr);
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003365 if (exception == GetDeoptimizationException()) {
3366 artDeoptimize(this);
3367 UNREACHABLE();
3368 }
3369
Roland Levillaina78f5b62017-09-29 13:50:44 +01003370 ReadBarrier::MaybeAssertToSpaceInvariant(exception.Ptr());
Roland Levillainb77b6982017-06-08 18:03:48 +01003371
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003372 // This is a real exception: let the instrumentation know about it.
3373 instrumentation::Instrumentation* instrumentation = Runtime::Current()->GetInstrumentation();
Alex Light6e1607e2017-08-23 10:06:18 -07003374 if (instrumentation->HasExceptionThrownListeners() &&
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003375 IsExceptionThrownByCurrentMethod(exception)) {
3376 // Instrumentation may cause GC so keep the exception object safe.
3377 StackHandleScope<1> hs(this);
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003378 HandleWrapperObjPtr<mirror::Throwable> h_exception(hs.NewHandleWrapper(&exception));
Alex Light6e1607e2017-08-23 10:06:18 -07003379 instrumentation->ExceptionThrownEvent(this, exception.Ptr());
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003380 }
Alex Light0aa7a5a2018-10-10 15:58:14 +00003381 // Does instrumentation need to deoptimize the stack or otherwise go to interpreter for something?
3382 // Note: we do this *after* reporting the exception to instrumentation in case it now requires
3383 // deoptimization. It may happen if a debugger is attached and requests new events (single-step,
3384 // breakpoint, ...) when the exception is reported.
Alex Lightbe1f8d02018-10-15 11:44:42 -07003385 //
3386 // Note we need to check for both force_frame_pop and force_retry_instruction. The first is
3387 // expected to happen fairly regularly but the second can only happen if we are using
3388 // instrumentation trampolines (for example with DDMS tracing). That forces us to do deopt later
3389 // and see every frame being popped. We don't need to handle it any differently.
Alex Light0aa7a5a2018-10-10 15:58:14 +00003390 ShadowFrame* cf;
Alex Lightbe1f8d02018-10-15 11:44:42 -07003391 bool force_deopt;
Alex Light0aa7a5a2018-10-10 15:58:14 +00003392 {
3393 NthCallerVisitor visitor(this, 0, false);
3394 visitor.WalkStack();
3395 cf = visitor.GetCurrentShadowFrame();
3396 if (cf == nullptr) {
3397 cf = FindDebuggerShadowFrame(visitor.GetFrameId());
3398 }
Alex Lightbe1f8d02018-10-15 11:44:42 -07003399 bool force_frame_pop = cf != nullptr && cf->GetForcePopFrame();
3400 bool force_retry_instr = cf != nullptr && cf->GetForceRetryInstruction();
Alex Light0aa7a5a2018-10-10 15:58:14 +00003401 if (kIsDebugBuild && force_frame_pop) {
3402 NthCallerVisitor penultimate_visitor(this, 1, false);
3403 penultimate_visitor.WalkStack();
3404 ShadowFrame* penultimate_frame = penultimate_visitor.GetCurrentShadowFrame();
3405 if (penultimate_frame == nullptr) {
3406 penultimate_frame = FindDebuggerShadowFrame(penultimate_visitor.GetFrameId());
3407 }
3408 DCHECK(penultimate_frame != nullptr &&
3409 penultimate_frame->GetForceRetryInstruction())
3410 << "Force pop frame without retry instruction found. penultimate frame is null: "
3411 << (penultimate_frame == nullptr ? "true" : "false");
3412 }
Alex Lightbe1f8d02018-10-15 11:44:42 -07003413 force_deopt = force_frame_pop || force_retry_instr;
Alex Light0aa7a5a2018-10-10 15:58:14 +00003414 }
Alex Lightbe1f8d02018-10-15 11:44:42 -07003415 if (Dbg::IsForcedInterpreterNeededForException(this) || force_deopt) {
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003416 NthCallerVisitor visitor(this, 0, false);
3417 visitor.WalkStack();
Nicolas Geoffray433b79a2017-01-30 20:54:45 +00003418 if (Runtime::Current()->IsAsyncDeoptimizeable(visitor.caller_pc)) {
Mingyao Yang2ee17902017-08-30 11:37:08 -07003419 // method_type shouldn't matter due to exception handling.
3420 const DeoptimizationMethodType method_type = DeoptimizationMethodType::kDefault;
Sebastien Hertz520633b2015-09-08 17:03:36 +02003421 // Save the exception into the deoptimization context so it can be restored
3422 // before entering the interpreter.
Alex Lightbe1f8d02018-10-15 11:44:42 -07003423 if (force_deopt) {
Alex Light0aa7a5a2018-10-10 15:58:14 +00003424 VLOG(deopt) << "Deopting " << cf->GetMethod()->PrettyMethod() << " for frame-pop";
3425 DCHECK(Runtime::Current()->AreNonStandardExitsEnabled());
3426 // Get rid of the exception since we are doing a framepop instead.
Alex Lightbe1f8d02018-10-15 11:44:42 -07003427 LOG(WARNING) << "Suppressing pending exception for retry-instruction/frame-pop: "
3428 << exception->Dump();
Alex Light0aa7a5a2018-10-10 15:58:14 +00003429 ClearException();
3430 }
Nicolas Geoffray73be1e82015-09-17 15:22:56 +01003431 PushDeoptimizationContext(
Mingyao Yang2ee17902017-08-30 11:37:08 -07003432 JValue(),
Andreas Gampe98ea9d92018-10-19 14:06:15 -07003433 /* is_reference= */ false,
Alex Lightbe1f8d02018-10-15 11:44:42 -07003434 (force_deopt ? nullptr : exception),
Andreas Gampe98ea9d92018-10-19 14:06:15 -07003435 /* from_code= */ false,
Mingyao Yang2ee17902017-08-30 11:37:08 -07003436 method_type);
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003437 artDeoptimize(this);
3438 UNREACHABLE();
Nicolas Geoffray433b79a2017-01-30 20:54:45 +00003439 } else {
3440 LOG(WARNING) << "Got a deoptimization request on un-deoptimizable method "
3441 << visitor.caller->PrettyMethod();
Sebastien Hertz520633b2015-09-08 17:03:36 +02003442 }
3443 }
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003444
Ian Rogers28ad40d2011-10-27 15:19:26 -07003445 // Don't leave exception visible while we try to find the handler, which may cause class
Elliott Hughesd07986f2011-12-06 18:27:45 -08003446 // resolution.
Ian Rogers28ad40d2011-10-27 15:19:26 -07003447 ClearException();
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003448 QuickExceptionHandler exception_handler(this, false);
3449 exception_handler.FindCatch(exception);
Roland Levillainb77b6982017-06-08 18:03:48 +01003450 if (exception_handler.GetClearException()) {
3451 // Exception was cleared as part of delivery.
3452 DCHECK(!IsExceptionPending());
3453 } else {
3454 // Exception was put back with a throw location.
3455 DCHECK(IsExceptionPending());
Roland Levillaina78f5b62017-09-29 13:50:44 +01003456 // Check the to-space invariant on the re-installed exception (if applicable).
3457 ReadBarrier::MaybeAssertToSpaceInvariant(GetException());
Roland Levillainb77b6982017-06-08 18:03:48 +01003458 }
Sebastien Hertzfd3077e2014-04-23 10:32:43 +02003459 exception_handler.DoLongJump();
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -07003460}
3461
Ian Rogersbdb03912011-09-14 00:55:44 -07003462Context* Thread::GetLongJumpContext() {
Ian Rogersdd7624d2014-03-14 17:43:00 -07003463 Context* result = tlsPtr_.long_jump_context;
Dave Allison0aded082013-11-07 13:15:11 -08003464 if (result == nullptr) {
Ian Rogersbdb03912011-09-14 00:55:44 -07003465 result = Context::Create();
Ian Rogers0399dde2012-06-06 17:09:28 -07003466 } else {
Ian Rogersdd7624d2014-03-14 17:43:00 -07003467 tlsPtr_.long_jump_context = nullptr; // Avoid context being shared.
Mathieu Chartier67022432012-11-29 18:04:50 -08003468 result->Reset();
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -07003469 }
Ian Rogersbdb03912011-09-14 00:55:44 -07003470 return result;
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -07003471}
3472
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08003473ArtMethod* Thread::GetCurrentMethod(uint32_t* dex_pc,
3474 bool check_suspended,
3475 bool abort_on_error) const {
Andreas Gampe1b5c5c82018-09-27 10:42:18 -07003476 // Note: this visitor may return with a method set, but dex_pc_ being DexFile:kDexNoIndex. This is
3477 // so we don't abort in a special situation (thinlocked monitor) when dumping the Java
3478 // stack.
3479 struct CurrentMethodVisitor final : public StackVisitor {
3480 CurrentMethodVisitor(Thread* thread, bool check_suspended, bool abort_on_error)
3481 REQUIRES_SHARED(Locks::mutator_lock_)
3482 : StackVisitor(thread,
3483 /* context= */nullptr,
3484 StackVisitor::StackWalkKind::kIncludeInlinedFrames,
3485 check_suspended),
3486 method_(nullptr),
3487 dex_pc_(0),
3488 abort_on_error_(abort_on_error) {}
3489 bool VisitFrame() override REQUIRES_SHARED(Locks::mutator_lock_) {
3490 ArtMethod* m = GetMethod();
3491 if (m->IsRuntimeMethod()) {
3492 // Continue if this is a runtime method.
3493 return true;
3494 }
3495 method_ = m;
3496 dex_pc_ = GetDexPc(abort_on_error_);
3497 return false;
3498 }
3499 ArtMethod* method_;
3500 uint32_t dex_pc_;
3501 const bool abort_on_error_;
3502 };
3503 CurrentMethodVisitor visitor(const_cast<Thread*>(this), check_suspended, abort_on_error);
Ian Rogers0399dde2012-06-06 17:09:28 -07003504 visitor.WalkStack(false);
Dave Allison0aded082013-11-07 13:15:11 -08003505 if (dex_pc != nullptr) {
Ian Rogers0399dde2012-06-06 17:09:28 -07003506 *dex_pc = visitor.dex_pc_;
Elliott Hughes9fd66f52011-10-16 12:13:26 -07003507 }
Ian Rogers0399dde2012-06-06 17:09:28 -07003508 return visitor.method_;
jeffhao33dc7712011-11-09 17:54:24 -08003509}
3510
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003511bool Thread::HoldsLock(ObjPtr<mirror::Object> object) const {
3512 return object != nullptr && object->GetLockOwnerThreadId() == GetThreadId();
Elliott Hughes5f791332011-09-15 17:45:30 -07003513}
3514
Roland Levillainad0777d2018-02-12 20:00:18 +00003515extern std::vector<StackReference<mirror::Object>*> GetProxyReferenceArguments(ArtMethod** sp)
Roland Levillainfa854e42018-02-07 13:09:55 +00003516 REQUIRES_SHARED(Locks::mutator_lock_);
3517
Ian Rogers40e3bac2012-11-20 00:09:14 -08003518// RootVisitor parameters are: (const Object* obj, size_t vreg, const StackVisitor* visitor).
Andreas Gampe585da952016-12-02 14:52:29 -08003519template <typename RootVisitor, bool kPrecise = false>
Ian Rogers0399dde2012-06-06 17:09:28 -07003520class ReferenceMapVisitor : public StackVisitor {
Ian Rogersd6b1f612011-09-27 13:38:14 -07003521 public:
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003522 ReferenceMapVisitor(Thread* thread, Context* context, RootVisitor& visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003523 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +01003524 // We are visiting the references in compiled frames, so we do not need
3525 // to know the inlined frames.
3526 : StackVisitor(thread, context, StackVisitor::StackWalkKind::kSkipInlinedFrames),
3527 visitor_(visitor) {}
Ian Rogersd6b1f612011-09-27 13:38:14 -07003528
Andreas Gampefa6a1b02018-09-07 08:11:55 -07003529 bool VisitFrame() override REQUIRES_SHARED(Locks::mutator_lock_) {
Brian Carlstrom6a4be3a2011-10-20 16:34:03 -07003530 if (false) {
David Sehr709b0702016-10-13 09:12:37 -07003531 LOG(INFO) << "Visiting stack roots in " << ArtMethod::PrettyMethod(GetMethod())
Sebastien Hertz714f1752014-04-28 15:03:08 +02003532 << StringPrintf("@ PC:%04x", GetDexPc());
Brian Carlstrom6a4be3a2011-10-20 16:34:03 -07003533 }
Ian Rogers0399dde2012-06-06 17:09:28 -07003534 ShadowFrame* shadow_frame = GetCurrentShadowFrame();
Dave Allison0aded082013-11-07 13:15:11 -08003535 if (shadow_frame != nullptr) {
Sebastien Hertz714f1752014-04-28 15:03:08 +02003536 VisitShadowFrame(shadow_frame);
3537 } else {
3538 VisitQuickFrame();
3539 }
3540 return true;
3541 }
3542
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003543 void VisitShadowFrame(ShadowFrame* shadow_frame) REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07003544 ArtMethod* m = shadow_frame->GetMethod();
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003545 VisitDeclaringClass(m);
Hiroshi Yamauchi92d1a662014-05-15 21:43:59 -07003546 DCHECK(m != nullptr);
Sebastien Hertz714f1752014-04-28 15:03:08 +02003547 size_t num_regs = shadow_frame->NumberOfVRegs();
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +01003548 DCHECK(m->IsNative() || shadow_frame->HasReferenceArray());
3549 // handle scope for JNI or References for interpreter.
3550 for (size_t reg = 0; reg < num_regs; ++reg) {
3551 mirror::Object* ref = shadow_frame->GetVRegReference(reg);
3552 if (ref != nullptr) {
3553 mirror::Object* new_ref = ref;
3554 visitor_(&new_ref, reg, this);
3555 if (new_ref != ref) {
3556 shadow_frame->SetVRegReference(reg, new_ref);
TDYa127ce4cc0d2012-11-18 16:59:53 -08003557 }
3558 }
Sebastien Hertz714f1752014-04-28 15:03:08 +02003559 }
Andreas Gampe03ec9302015-08-27 17:41:47 -07003560 // Mark lock count map required for structured locking checks.
Andreas Gampe98ea9d92018-10-19 14:06:15 -07003561 shadow_frame->GetLockCountData().VisitMonitors(visitor_, /* vreg= */ -1, this);
Sebastien Hertz714f1752014-04-28 15:03:08 +02003562 }
3563
3564 private:
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003565 // Visiting the declaring class is necessary so that we don't unload the class of a method that
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003566 // is executing. We need to ensure that the code stays mapped. NO_THREAD_SAFETY_ANALYSIS since
3567 // the threads do not all hold the heap bitmap lock for parallel GC.
3568 void VisitDeclaringClass(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003569 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003570 NO_THREAD_SAFETY_ANALYSIS {
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003571 ObjPtr<mirror::Class> klass = method->GetDeclaringClassUnchecked<kWithoutReadBarrier>();
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003572 // klass can be null for runtime methods.
3573 if (klass != nullptr) {
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003574 if (kVerifyImageObjectsMarked) {
3575 gc::Heap* const heap = Runtime::Current()->GetHeap();
3576 gc::space::ContinuousSpace* space = heap->FindContinuousSpaceFromObject(klass,
Andreas Gampe98ea9d92018-10-19 14:06:15 -07003577 /*fail_ok=*/true);
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003578 if (space != nullptr && space->IsImageSpace()) {
3579 bool failed = false;
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003580 if (!space->GetLiveBitmap()->Test(klass.Ptr())) {
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003581 failed = true;
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07003582 LOG(FATAL_WITHOUT_ABORT) << "Unmarked object in image " << *space;
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003583 } else if (!heap->GetLiveBitmap()->Test(klass.Ptr())) {
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003584 failed = true;
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07003585 LOG(FATAL_WITHOUT_ABORT) << "Unmarked object in image through live bitmap " << *space;
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003586 }
3587 if (failed) {
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07003588 GetThread()->Dump(LOG_STREAM(FATAL_WITHOUT_ABORT));
3589 space->AsImageSpace()->DumpSections(LOG_STREAM(FATAL_WITHOUT_ABORT));
3590 LOG(FATAL_WITHOUT_ABORT) << "Method@" << method->GetDexMethodIndex() << ":" << method
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003591 << " klass@" << klass.Ptr();
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003592 // Pretty info last in case it crashes.
David Sehr709b0702016-10-13 09:12:37 -07003593 LOG(FATAL) << "Method " << method->PrettyMethod() << " klass "
3594 << klass->PrettyClass();
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003595 }
3596 }
3597 }
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003598 mirror::Object* new_ref = klass.Ptr();
Andreas Gampe98ea9d92018-10-19 14:06:15 -07003599 visitor_(&new_ref, /* vreg= */ -1, this);
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003600 if (new_ref != klass) {
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003601 method->CASDeclaringClass(klass.Ptr(), new_ref->AsClass());
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003602 }
3603 }
3604 }
3605
Andreas Gampe585da952016-12-02 14:52:29 -08003606 template <typename T>
3607 ALWAYS_INLINE
3608 inline void VisitQuickFrameWithVregCallback() REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003609 ArtMethod** cur_quick_frame = GetCurrentQuickFrame();
Mathieu Chartiere401d142015-04-22 13:56:20 -07003610 DCHECK(cur_quick_frame != nullptr);
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003611 ArtMethod* m = *cur_quick_frame;
3612 VisitDeclaringClass(m);
Andreas Gampecf4035a2014-05-28 22:43:01 -07003613
Sebastien Hertz714f1752014-04-28 15:03:08 +02003614 // Process register map (which native and runtime methods don't have)
Jeff Hao84949432016-05-13 14:46:28 -07003615 if (!m->IsNative() && !m->IsRuntimeMethod() && (!m->IsProxyMethod() || m->IsConstructor())) {
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +01003616 const OatQuickMethodHeader* method_header = GetCurrentOatQuickMethodHeader();
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003617 DCHECK(method_header->IsOptimized());
Vladimir Marko78baed52018-10-11 10:44:58 +01003618 StackReference<mirror::Object>* vreg_base =
3619 reinterpret_cast<StackReference<mirror::Object>*>(cur_quick_frame);
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003620 uintptr_t native_pc_offset = method_header->NativeQuickPcOffset(GetCurrentQuickFramePc());
David Srbeckya2d29a32018-08-03 11:06:38 +01003621 CodeInfo code_info(method_header, kPrecise
David Srbecky42deda82018-08-10 11:23:27 +01003622 ? CodeInfo::DecodeFlags::AllTables // We will need dex register maps.
David Srbeckya2d29a32018-08-03 11:06:38 +01003623 : CodeInfo::DecodeFlags::GcMasksOnly);
David Srbecky052f8ca2018-04-26 15:42:54 +01003624 StackMap map = code_info.GetStackMapForNativePcOffset(native_pc_offset);
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003625 DCHECK(map.IsValid());
Andreas Gampe585da952016-12-02 14:52:29 -08003626
David Srbecky052f8ca2018-04-26 15:42:54 +01003627 T vreg_info(m, code_info, map, visitor_);
Andreas Gampe585da952016-12-02 14:52:29 -08003628
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003629 // Visit stack entries that hold pointers.
David Srbecky052f8ca2018-04-26 15:42:54 +01003630 BitMemoryRegion stack_mask = code_info.GetStackMaskOf(map);
David Srbecky4b59d102018-05-29 21:46:10 +00003631 for (size_t i = 0; i < stack_mask.size_in_bits(); ++i) {
David Srbecky45aa5982016-03-18 02:15:09 +00003632 if (stack_mask.LoadBit(i)) {
Roland Levillainfa854e42018-02-07 13:09:55 +00003633 StackReference<mirror::Object>* ref_addr = vreg_base + i;
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003634 mirror::Object* ref = ref_addr->AsMirrorPtr();
3635 if (ref != nullptr) {
3636 mirror::Object* new_ref = ref;
Andreas Gampe585da952016-12-02 14:52:29 -08003637 vreg_info.VisitStack(&new_ref, i, this);
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003638 if (ref != new_ref) {
3639 ref_addr->Assign(new_ref);
David Srbeckya2d29a32018-08-03 11:06:38 +01003640 }
Nicolas Geoffray39468442014-09-02 15:17:15 +01003641 }
3642 }
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003643 }
3644 // Visit callee-save registers that hold pointers.
David Srbecky052f8ca2018-04-26 15:42:54 +01003645 uint32_t register_mask = code_info.GetRegisterMaskOf(map);
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003646 for (size_t i = 0; i < BitSizeOf<uint32_t>(); ++i) {
3647 if (register_mask & (1 << i)) {
3648 mirror::Object** ref_addr = reinterpret_cast<mirror::Object**>(GetGPRAddress(i));
Hiroshi Yamauchieb1680f2016-09-12 12:10:08 -07003649 if (kIsDebugBuild && ref_addr == nullptr) {
3650 std::string thread_name;
3651 GetThread()->GetThreadName(thread_name);
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07003652 LOG(FATAL_WITHOUT_ABORT) << "On thread " << thread_name;
Hiroshi Yamauchieb1680f2016-09-12 12:10:08 -07003653 DescribeStack(GetThread());
3654 LOG(FATAL) << "Found an unsaved callee-save register " << i << " (null GPRAddress) "
3655 << "set in register_mask=" << register_mask << " at " << DescribeLocation();
3656 }
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003657 if (*ref_addr != nullptr) {
Andreas Gampe585da952016-12-02 14:52:29 -08003658 vreg_info.VisitRegister(ref_addr, i, this);
Shih-wei Liao4f894e32011-09-27 21:33:19 -07003659 }
Ian Rogersd6b1f612011-09-27 13:38:14 -07003660 }
3661 }
Roland Levillainad0777d2018-02-12 20:00:18 +00003662 } else if (!m->IsRuntimeMethod() && m->IsProxyMethod()) {
3663 // If this is a proxy method, visit its reference arguments.
3664 DCHECK(!m->IsStatic());
Roland Levillainfa854e42018-02-07 13:09:55 +00003665 DCHECK(!m->IsNative());
Roland Levillainad0777d2018-02-12 20:00:18 +00003666 std::vector<StackReference<mirror::Object>*> ref_addrs =
3667 GetProxyReferenceArguments(cur_quick_frame);
3668 for (StackReference<mirror::Object>* ref_addr : ref_addrs) {
3669 mirror::Object* ref = ref_addr->AsMirrorPtr();
3670 if (ref != nullptr) {
3671 mirror::Object* new_ref = ref;
Andreas Gampe98ea9d92018-10-19 14:06:15 -07003672 visitor_(&new_ref, /* vreg= */ -1, this);
Roland Levillainad0777d2018-02-12 20:00:18 +00003673 if (ref != new_ref) {
3674 ref_addr->Assign(new_ref);
3675 }
Roland Levillainfa854e42018-02-07 13:09:55 +00003676 }
3677 }
Ian Rogersd6b1f612011-09-27 13:38:14 -07003678 }
Ian Rogersd6b1f612011-09-27 13:38:14 -07003679 }
3680
Andreas Gampe585da952016-12-02 14:52:29 -08003681 void VisitQuickFrame() REQUIRES_SHARED(Locks::mutator_lock_) {
3682 if (kPrecise) {
3683 VisitQuickFramePrecise();
3684 } else {
3685 VisitQuickFrameNonPrecise();
3686 }
3687 }
3688
3689 void VisitQuickFrameNonPrecise() REQUIRES_SHARED(Locks::mutator_lock_) {
3690 struct UndefinedVRegInfo {
3691 UndefinedVRegInfo(ArtMethod* method ATTRIBUTE_UNUSED,
3692 const CodeInfo& code_info ATTRIBUTE_UNUSED,
Andreas Gampe585da952016-12-02 14:52:29 -08003693 const StackMap& map ATTRIBUTE_UNUSED,
3694 RootVisitor& _visitor)
3695 : visitor(_visitor) {
3696 }
3697
3698 ALWAYS_INLINE
3699 void VisitStack(mirror::Object** ref,
3700 size_t stack_index ATTRIBUTE_UNUSED,
3701 const StackVisitor* stack_visitor)
3702 REQUIRES_SHARED(Locks::mutator_lock_) {
3703 visitor(ref, -1, stack_visitor);
3704 }
3705
3706 ALWAYS_INLINE
3707 void VisitRegister(mirror::Object** ref,
3708 size_t register_index ATTRIBUTE_UNUSED,
3709 const StackVisitor* stack_visitor)
3710 REQUIRES_SHARED(Locks::mutator_lock_) {
3711 visitor(ref, -1, stack_visitor);
3712 }
3713
3714 RootVisitor& visitor;
3715 };
3716 VisitQuickFrameWithVregCallback<UndefinedVRegInfo>();
3717 }
3718
3719 void VisitQuickFramePrecise() REQUIRES_SHARED(Locks::mutator_lock_) {
3720 struct StackMapVRegInfo {
3721 StackMapVRegInfo(ArtMethod* method,
3722 const CodeInfo& _code_info,
Andreas Gampe585da952016-12-02 14:52:29 -08003723 const StackMap& map,
3724 RootVisitor& _visitor)
David Sehr0225f8e2018-01-31 08:52:24 +00003725 : number_of_dex_registers(method->DexInstructionData().RegistersSize()),
Andreas Gampe585da952016-12-02 14:52:29 -08003726 code_info(_code_info),
David Srbeckyfd89b072018-06-03 12:00:22 +01003727 dex_register_map(code_info.GetDexRegisterMapOf(map)),
Andreas Gampe585da952016-12-02 14:52:29 -08003728 visitor(_visitor) {
3729 }
3730
3731 // TODO: If necessary, we should consider caching a reverse map instead of the linear
3732 // lookups for each location.
3733 void FindWithType(const size_t index,
3734 const DexRegisterLocation::Kind kind,
3735 mirror::Object** ref,
3736 const StackVisitor* stack_visitor)
3737 REQUIRES_SHARED(Locks::mutator_lock_) {
3738 bool found = false;
3739 for (size_t dex_reg = 0; dex_reg != number_of_dex_registers; ++dex_reg) {
David Srbeckye1402122018-06-13 18:20:45 +01003740 DexRegisterLocation location = dex_register_map[dex_reg];
Andreas Gampe585da952016-12-02 14:52:29 -08003741 if (location.GetKind() == kind && static_cast<size_t>(location.GetValue()) == index) {
3742 visitor(ref, dex_reg, stack_visitor);
3743 found = true;
3744 }
3745 }
3746
3747 if (!found) {
3748 // If nothing found, report with -1.
3749 visitor(ref, -1, stack_visitor);
3750 }
3751 }
3752
3753 void VisitStack(mirror::Object** ref, size_t stack_index, const StackVisitor* stack_visitor)
3754 REQUIRES_SHARED(Locks::mutator_lock_) {
3755 const size_t stack_offset = stack_index * kFrameSlotSize;
3756 FindWithType(stack_offset,
3757 DexRegisterLocation::Kind::kInStack,
3758 ref,
3759 stack_visitor);
3760 }
3761
3762 void VisitRegister(mirror::Object** ref,
3763 size_t register_index,
3764 const StackVisitor* stack_visitor)
3765 REQUIRES_SHARED(Locks::mutator_lock_) {
3766 FindWithType(register_index,
3767 DexRegisterLocation::Kind::kInRegister,
3768 ref,
3769 stack_visitor);
3770 }
3771
3772 size_t number_of_dex_registers;
3773 const CodeInfo& code_info;
Andreas Gampe585da952016-12-02 14:52:29 -08003774 DexRegisterMap dex_register_map;
3775 RootVisitor& visitor;
3776 };
3777 VisitQuickFrameWithVregCallback<StackMapVRegInfo>();
3778 }
3779
Mathieu Chartier6f1c9492012-10-15 12:08:41 -07003780 // Visitor for when we visit a root.
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003781 RootVisitor& visitor_;
Ian Rogersd6b1f612011-09-27 13:38:14 -07003782};
3783
Mathieu Chartier6f1c9492012-10-15 12:08:41 -07003784class RootCallbackVisitor {
3785 public:
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003786 RootCallbackVisitor(RootVisitor* visitor, uint32_t tid) : visitor_(visitor), tid_(tid) {}
Mathieu Chartier6f1c9492012-10-15 12:08:41 -07003787
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003788 void operator()(mirror::Object** obj, size_t vreg, const StackVisitor* stack_visitor) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003789 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003790 visitor_->VisitRoot(obj, JavaFrameRootInfo(tid_, stack_visitor, vreg));
Mathieu Chartier6f1c9492012-10-15 12:08:41 -07003791 }
3792
3793 private:
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003794 RootVisitor* const visitor_;
Mathieu Chartier83c8ee02014-01-28 14:50:23 -08003795 const uint32_t tid_;
Mathieu Chartier6f1c9492012-10-15 12:08:41 -07003796};
3797
Andreas Gampe585da952016-12-02 14:52:29 -08003798template <bool kPrecise>
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003799void Thread::VisitRoots(RootVisitor* visitor) {
Hans Boehm0882af22017-08-31 15:21:57 -07003800 const pid_t thread_id = GetThreadId();
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003801 visitor->VisitRootIfNonNull(&tlsPtr_.opeer, RootInfo(kRootThreadObject, thread_id));
Sebastien Hertzfd3077e2014-04-23 10:32:43 +02003802 if (tlsPtr_.exception != nullptr && tlsPtr_.exception != GetDeoptimizationException()) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003803 visitor->VisitRoot(reinterpret_cast<mirror::Object**>(&tlsPtr_.exception),
Sebastien Hertz07474662015-08-25 15:12:33 +00003804 RootInfo(kRootNativeStack, thread_id));
Elliott Hughesd369bb72011-09-12 14:41:14 -07003805 }
Alex Light848574c2017-09-25 16:59:39 -07003806 if (tlsPtr_.async_exception != nullptr) {
3807 visitor->VisitRoot(reinterpret_cast<mirror::Object**>(&tlsPtr_.async_exception),
3808 RootInfo(kRootNativeStack, thread_id));
3809 }
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003810 visitor->VisitRootIfNonNull(&tlsPtr_.monitor_enter_object, RootInfo(kRootNativeStack, thread_id));
Ian Rogers55256cb2017-12-21 17:07:11 -08003811 tlsPtr_.jni_env->VisitJniLocalRoots(visitor, RootInfo(kRootJNILocal, thread_id));
3812 tlsPtr_.jni_env->VisitMonitorRoots(visitor, RootInfo(kRootJNIMonitor, thread_id));
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003813 HandleScopeVisitRoots(visitor, thread_id);
Ian Rogersdd7624d2014-03-14 17:43:00 -07003814 if (tlsPtr_.debug_invoke_req != nullptr) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003815 tlsPtr_.debug_invoke_req->VisitRoots(visitor, RootInfo(kRootDebugger, thread_id));
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -07003816 }
Sebastien Hertz07474662015-08-25 15:12:33 +00003817 // Visit roots for deoptimization.
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -07003818 if (tlsPtr_.stacked_shadow_frame_record != nullptr) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003819 RootCallbackVisitor visitor_to_callback(visitor, thread_id);
Andreas Gampe585da952016-12-02 14:52:29 -08003820 ReferenceMapVisitor<RootCallbackVisitor, kPrecise> mapper(this, nullptr, visitor_to_callback);
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -07003821 for (StackedShadowFrameRecord* record = tlsPtr_.stacked_shadow_frame_record;
3822 record != nullptr;
3823 record = record->GetLink()) {
3824 for (ShadowFrame* shadow_frame = record->GetShadowFrame();
3825 shadow_frame != nullptr;
3826 shadow_frame = shadow_frame->GetLink()) {
3827 mapper.VisitShadowFrame(shadow_frame);
3828 }
Sebastien Hertz714f1752014-04-28 15:03:08 +02003829 }
3830 }
Mingyao Yang99170c62015-07-06 11:10:37 -07003831 for (DeoptimizationContextRecord* record = tlsPtr_.deoptimization_context_stack;
3832 record != nullptr;
3833 record = record->GetLink()) {
3834 if (record->IsReference()) {
3835 visitor->VisitRootIfNonNull(record->GetReturnValueAsGCRoot(),
Sebastien Hertz07474662015-08-25 15:12:33 +00003836 RootInfo(kRootThreadObject, thread_id));
Andreas Gampe2a0d4ec2014-06-02 22:05:22 -07003837 }
Mingyao Yang99170c62015-07-06 11:10:37 -07003838 visitor->VisitRootIfNonNull(record->GetPendingExceptionAsGCRoot(),
3839 RootInfo(kRootThreadObject, thread_id));
3840 }
3841 if (tlsPtr_.frame_id_to_shadow_frame != nullptr) {
3842 RootCallbackVisitor visitor_to_callback(visitor, thread_id);
Andreas Gampe585da952016-12-02 14:52:29 -08003843 ReferenceMapVisitor<RootCallbackVisitor, kPrecise> mapper(this, nullptr, visitor_to_callback);
Mingyao Yang99170c62015-07-06 11:10:37 -07003844 for (FrameIdToShadowFrame* record = tlsPtr_.frame_id_to_shadow_frame;
3845 record != nullptr;
3846 record = record->GetNext()) {
3847 mapper.VisitShadowFrame(record->GetShadowFrame());
3848 }
Andreas Gampe2a0d4ec2014-06-02 22:05:22 -07003849 }
Mathieu Chartierd0ad2ee2015-03-31 14:59:59 -07003850 for (auto* verifier = tlsPtr_.method_verifier; verifier != nullptr; verifier = verifier->link_) {
3851 verifier->VisitRoots(visitor, RootInfo(kRootNativeStack, thread_id));
Mathieu Chartier12d625f2015-03-13 11:33:37 -07003852 }
Ian Rogersd6b1f612011-09-27 13:38:14 -07003853 // Visit roots on this thread's stack
Mathieu Chartiera62b4532017-04-26 13:16:25 -07003854 RuntimeContextType context;
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003855 RootCallbackVisitor visitor_to_callback(visitor, thread_id);
Mathieu Chartiera62b4532017-04-26 13:16:25 -07003856 ReferenceMapVisitor<RootCallbackVisitor, kPrecise> mapper(this, &context, visitor_to_callback);
Andreas Gampe585da952016-12-02 14:52:29 -08003857 mapper.template WalkStack<StackVisitor::CountTransitions::kNo>(false);
Mathieu Chartier423d2a32013-09-12 17:33:56 -07003858 for (instrumentation::InstrumentationStackFrame& frame : *GetInstrumentationStack()) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003859 visitor->VisitRootIfNonNull(&frame.this_object_, RootInfo(kRootVMInternal, thread_id));
Ian Rogers62d6c772013-02-27 08:32:07 -08003860 }
Elliott Hughes410c0c82011-09-01 17:58:25 -07003861}
3862
Andreas Gampe585da952016-12-02 14:52:29 -08003863void Thread::VisitRoots(RootVisitor* visitor, VisitRootFlags flags) {
3864 if ((flags & VisitRootFlags::kVisitRootFlagPrecise) != 0) {
Andreas Gampe98ea9d92018-10-19 14:06:15 -07003865 VisitRoots</* kPrecise= */ true>(visitor);
Andreas Gampe585da952016-12-02 14:52:29 -08003866 } else {
Andreas Gampe98ea9d92018-10-19 14:06:15 -07003867 VisitRoots</* kPrecise= */ false>(visitor);
Andreas Gampe585da952016-12-02 14:52:29 -08003868 }
3869}
3870
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003871class VerifyRootVisitor : public SingleRootVisitor {
3872 public:
3873 void VisitRoot(mirror::Object* root, const RootInfo& info ATTRIBUTE_UNUSED)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01003874 override REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003875 VerifyObject(root);
3876 }
3877};
jeffhao25045522012-03-13 19:34:37 -07003878
Ian Rogers04d7aa92013-03-16 14:29:17 -07003879void Thread::VerifyStackImpl() {
Andreas Gamped4901292017-05-30 18:41:34 -07003880 if (Runtime::Current()->GetHeap()->IsObjectValidationEnabled()) {
3881 VerifyRootVisitor visitor;
3882 std::unique_ptr<Context> context(Context::Create());
3883 RootCallbackVisitor visitor_to_callback(&visitor, GetThreadId());
3884 ReferenceMapVisitor<RootCallbackVisitor> mapper(this, context.get(), visitor_to_callback);
3885 mapper.WalkStack();
3886 }
jeffhao25045522012-03-13 19:34:37 -07003887}
jeffhao25045522012-03-13 19:34:37 -07003888
Ian Rogers00f7d0e2012-07-19 15:28:27 -07003889// Set the stack end to that to be used during a stack overflow
3890void Thread::SetStackEndForStackOverflow() {
Brian Carlstrom7571e8b2013-08-12 17:04:14 -07003891 // During stack overflow we allow use of the full stack.
Ian Rogersdd7624d2014-03-14 17:43:00 -07003892 if (tlsPtr_.stack_end == tlsPtr_.stack_begin) {
Brian Carlstrom7571e8b2013-08-12 17:04:14 -07003893 // However, we seem to have already extended to use the full stack.
3894 LOG(ERROR) << "Need to increase kStackOverflowReservedBytes (currently "
Andreas Gampe7ea6f792014-07-14 16:21:44 -07003895 << GetStackOverflowReservedBytes(kRuntimeISA) << ")?";
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07003896 DumpStack(LOG_STREAM(ERROR));
Brian Carlstrom7571e8b2013-08-12 17:04:14 -07003897 LOG(FATAL) << "Recursive stack overflow.";
Ian Rogers00f7d0e2012-07-19 15:28:27 -07003898 }
3899
Ian Rogersdd7624d2014-03-14 17:43:00 -07003900 tlsPtr_.stack_end = tlsPtr_.stack_begin;
Dave Allison648d7112014-07-25 16:15:27 -07003901
3902 // Remove the stack overflow protection if is it set up.
3903 bool implicit_stack_check = !Runtime::Current()->ExplicitStackOverflowChecks();
3904 if (implicit_stack_check) {
3905 if (!UnprotectStack()) {
3906 LOG(ERROR) << "Unable to remove stack protection for stack overflow";
3907 }
3908 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -07003909}
3910
Mathieu Chartier6bc77742017-04-18 17:46:23 -07003911void Thread::SetTlab(uint8_t* start, uint8_t* end, uint8_t* limit) {
Mathieu Chartier692fafd2013-11-29 17:24:40 -08003912 DCHECK_LE(start, end);
Mathieu Chartier6bc77742017-04-18 17:46:23 -07003913 DCHECK_LE(end, limit);
Ian Rogersdd7624d2014-03-14 17:43:00 -07003914 tlsPtr_.thread_local_start = start;
3915 tlsPtr_.thread_local_pos = tlsPtr_.thread_local_start;
3916 tlsPtr_.thread_local_end = end;
Mathieu Chartier6bc77742017-04-18 17:46:23 -07003917 tlsPtr_.thread_local_limit = limit;
Ian Rogersdd7624d2014-03-14 17:43:00 -07003918 tlsPtr_.thread_local_objects = 0;
Mathieu Chartier692fafd2013-11-29 17:24:40 -08003919}
3920
Hiroshi Yamauchic93c5302014-03-20 16:15:37 -07003921bool Thread::HasTlab() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -07003922 bool has_tlab = tlsPtr_.thread_local_pos != nullptr;
Hiroshi Yamauchic93c5302014-03-20 16:15:37 -07003923 if (has_tlab) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07003924 DCHECK(tlsPtr_.thread_local_start != nullptr && tlsPtr_.thread_local_end != nullptr);
Hiroshi Yamauchic93c5302014-03-20 16:15:37 -07003925 } else {
Ian Rogersdd7624d2014-03-14 17:43:00 -07003926 DCHECK(tlsPtr_.thread_local_start == nullptr && tlsPtr_.thread_local_end == nullptr);
Hiroshi Yamauchic93c5302014-03-20 16:15:37 -07003927 }
3928 return has_tlab;
3929}
3930
Elliott Hughes330304d2011-08-12 14:28:05 -07003931std::ostream& operator<<(std::ostream& os, const Thread& thread) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -07003932 thread.ShortDump(os);
Elliott Hughes330304d2011-08-12 14:28:05 -07003933 return os;
3934}
3935
Andreas Gampe2c2d2a02016-03-17 21:27:19 -07003936bool Thread::ProtectStack(bool fatal_on_error) {
Dave Allison648d7112014-07-25 16:15:27 -07003937 void* pregion = tlsPtr_.stack_begin - kStackOverflowProtectedSize;
3938 VLOG(threads) << "Protecting stack at " << pregion;
3939 if (mprotect(pregion, kStackOverflowProtectedSize, PROT_NONE) == -1) {
Andreas Gampe2c2d2a02016-03-17 21:27:19 -07003940 if (fatal_on_error) {
3941 LOG(FATAL) << "Unable to create protected region in stack for implicit overflow check. "
3942 "Reason: "
3943 << strerror(errno) << " size: " << kStackOverflowProtectedSize;
3944 }
3945 return false;
Dave Allison648d7112014-07-25 16:15:27 -07003946 }
Andreas Gampe2c2d2a02016-03-17 21:27:19 -07003947 return true;
Dave Allison648d7112014-07-25 16:15:27 -07003948}
3949
3950bool Thread::UnprotectStack() {
3951 void* pregion = tlsPtr_.stack_begin - kStackOverflowProtectedSize;
3952 VLOG(threads) << "Unprotecting stack at " << pregion;
3953 return mprotect(pregion, kStackOverflowProtectedSize, PROT_READ|PROT_WRITE) == 0;
3954}
3955
Sebastien Hertz597c4f02015-01-26 17:37:14 +01003956void Thread::ActivateSingleStepControl(SingleStepControl* ssc) {
3957 CHECK(Dbg::IsDebuggerActive());
3958 CHECK(GetSingleStepControl() == nullptr) << "Single step already active in thread " << *this;
3959 CHECK(ssc != nullptr);
3960 tlsPtr_.single_step_control = ssc;
3961}
3962
3963void Thread::DeactivateSingleStepControl() {
3964 CHECK(Dbg::IsDebuggerActive());
3965 CHECK(GetSingleStepControl() != nullptr) << "Single step not active in thread " << *this;
3966 SingleStepControl* ssc = GetSingleStepControl();
3967 tlsPtr_.single_step_control = nullptr;
3968 delete ssc;
3969}
Dave Allison648d7112014-07-25 16:15:27 -07003970
Sebastien Hertz1558b572015-02-25 15:05:59 +01003971void Thread::SetDebugInvokeReq(DebugInvokeReq* req) {
3972 CHECK(Dbg::IsDebuggerActive());
3973 CHECK(GetInvokeReq() == nullptr) << "Debug invoke req already active in thread " << *this;
3974 CHECK(Thread::Current() != this) << "Debug invoke can't be dispatched by the thread itself";
3975 CHECK(req != nullptr);
3976 tlsPtr_.debug_invoke_req = req;
3977}
3978
3979void Thread::ClearDebugInvokeReq() {
Sebastien Hertz1558b572015-02-25 15:05:59 +01003980 CHECK(GetInvokeReq() != nullptr) << "Debug invoke req not active in thread " << *this;
3981 CHECK(Thread::Current() == this) << "Debug invoke must be finished by the thread itself";
Sebastien Hertzcbc50642015-06-01 17:33:12 +02003982 DebugInvokeReq* req = tlsPtr_.debug_invoke_req;
Sebastien Hertz1558b572015-02-25 15:05:59 +01003983 tlsPtr_.debug_invoke_req = nullptr;
Sebastien Hertzcbc50642015-06-01 17:33:12 +02003984 delete req;
Sebastien Hertz1558b572015-02-25 15:05:59 +01003985}
3986
Mathieu Chartierd0ad2ee2015-03-31 14:59:59 -07003987void Thread::PushVerifier(verifier::MethodVerifier* verifier) {
3988 verifier->link_ = tlsPtr_.method_verifier;
Mathieu Chartier12d625f2015-03-13 11:33:37 -07003989 tlsPtr_.method_verifier = verifier;
3990}
3991
Mathieu Chartierd0ad2ee2015-03-31 14:59:59 -07003992void Thread::PopVerifier(verifier::MethodVerifier* verifier) {
Mathieu Chartier12d625f2015-03-13 11:33:37 -07003993 CHECK_EQ(tlsPtr_.method_verifier, verifier);
Mathieu Chartierd0ad2ee2015-03-31 14:59:59 -07003994 tlsPtr_.method_verifier = verifier->link_;
Mathieu Chartier12d625f2015-03-13 11:33:37 -07003995}
3996
Mathieu Chartier14c3bf92015-07-13 14:35:43 -07003997size_t Thread::NumberOfHeldMutexes() const {
3998 size_t count = 0;
3999 for (BaseMutex* mu : tlsPtr_.held_mutexes) {
Mathieu Chartier90ef3db2015-08-04 15:19:41 -07004000 count += mu != nullptr ? 1 : 0;
Mathieu Chartier14c3bf92015-07-13 14:35:43 -07004001 }
4002 return count;
4003}
4004
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00004005void Thread::DeoptimizeWithDeoptimizationException(JValue* result) {
4006 DCHECK_EQ(GetException(), Thread::GetDeoptimizationException());
4007 ClearException();
4008 ShadowFrame* shadow_frame =
4009 PopStackedShadowFrame(StackedShadowFrameType::kDeoptimizationShadowFrame);
Mathieu Chartierf5769e12017-01-10 15:54:41 -08004010 ObjPtr<mirror::Throwable> pending_exception;
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00004011 bool from_code = false;
Mingyao Yang2ee17902017-08-30 11:37:08 -07004012 DeoptimizationMethodType method_type;
4013 PopDeoptimizationContext(result, &pending_exception, &from_code, &method_type);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00004014 SetTopOfStack(nullptr);
4015 SetTopOfShadowStack(shadow_frame);
4016
4017 // Restore the exception that was pending before deoptimization then interpret the
4018 // deoptimized frames.
4019 if (pending_exception != nullptr) {
4020 SetException(pending_exception);
4021 }
Mingyao Yang2ee17902017-08-30 11:37:08 -07004022 interpreter::EnterInterpreterFromDeoptimize(this,
4023 shadow_frame,
4024 result,
4025 from_code,
4026 method_type);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00004027}
4028
Alex Light848574c2017-09-25 16:59:39 -07004029void Thread::SetAsyncException(ObjPtr<mirror::Throwable> new_exception) {
4030 CHECK(new_exception != nullptr);
Alex Light7919db92017-11-29 09:00:55 -08004031 Runtime::Current()->SetAsyncExceptionsThrown();
Alex Light848574c2017-09-25 16:59:39 -07004032 if (kIsDebugBuild) {
4033 // Make sure we are in a checkpoint.
4034 MutexLock mu(Thread::Current(), *Locks::thread_suspend_count_lock_);
4035 CHECK(this == Thread::Current() || GetSuspendCount() >= 1)
4036 << "It doesn't look like this was called in a checkpoint! this: "
4037 << this << " count: " << GetSuspendCount();
4038 }
4039 tlsPtr_.async_exception = new_exception.Ptr();
4040}
4041
4042bool Thread::ObserveAsyncException() {
4043 DCHECK(this == Thread::Current());
4044 if (tlsPtr_.async_exception != nullptr) {
4045 if (tlsPtr_.exception != nullptr) {
4046 LOG(WARNING) << "Overwriting pending exception with async exception. Pending exception is: "
4047 << tlsPtr_.exception->Dump();
4048 LOG(WARNING) << "Async exception is " << tlsPtr_.async_exception->Dump();
4049 }
4050 tlsPtr_.exception = tlsPtr_.async_exception;
4051 tlsPtr_.async_exception = nullptr;
4052 return true;
4053 } else {
4054 return IsExceptionPending();
4055 }
4056}
4057
Mathieu Chartier0795f232016-09-27 18:43:30 -07004058void Thread::SetException(ObjPtr<mirror::Throwable> new_exception) {
Mathieu Chartiere42888f2016-04-14 10:49:19 -07004059 CHECK(new_exception != nullptr);
4060 // TODO: DCHECK(!IsExceptionPending());
Mathieu Chartier1cc62e42016-10-03 18:01:28 -07004061 tlsPtr_.exception = new_exception.Ptr();
Mathieu Chartiere42888f2016-04-14 10:49:19 -07004062}
4063
Andreas Gampe2c19f5b2016-11-28 08:10:18 -08004064bool Thread::IsAotCompiler() {
4065 return Runtime::Current()->IsAotCompiler();
4066}
4067
Andreas Gampe202f85a2017-02-06 10:23:26 -08004068mirror::Object* Thread::GetPeerFromOtherThread() const {
Nicolas Geoffrayffc8cad2017-02-10 10:59:22 +00004069 DCHECK(tlsPtr_.jpeer == nullptr);
4070 mirror::Object* peer = tlsPtr_.opeer;
Andreas Gampe202f85a2017-02-06 10:23:26 -08004071 if (kUseReadBarrier && Current()->GetIsGcMarking()) {
4072 // We may call Thread::Dump() in the middle of the CC thread flip and this thread's stack
4073 // may have not been flipped yet and peer may be a from-space (stale) ref. So explicitly
4074 // mark/forward it here.
4075 peer = art::ReadBarrier::Mark(peer);
4076 }
4077 return peer;
4078}
4079
Mathieu Chartier3768ade2017-05-02 14:04:39 -07004080void Thread::SetReadBarrierEntrypoints() {
4081 // Make sure entrypoints aren't null.
Andreas Gampe98ea9d92018-10-19 14:06:15 -07004082 UpdateReadBarrierEntrypoints(&tlsPtr_.quick_entrypoints, /* is_active=*/ true);
Mathieu Chartier3768ade2017-05-02 14:04:39 -07004083}
4084
David Srbecky912f36c2018-09-08 12:22:58 +01004085void Thread::ClearAllInterpreterCaches() {
4086 static struct ClearInterpreterCacheClosure : Closure {
4087 virtual void Run(Thread* thread) {
4088 thread->GetInterpreterCache()->Clear(thread);
4089 }
4090 } closure;
4091 Runtime::Current()->GetThreadList()->RunCheckpoint(&closure);
4092}
4093
Elliott Hughes8daa0922011-09-11 13:46:25 -07004094} // namespace art