blob: b86e56b531e869de105c79fbbdd303db22db7ef8 [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
Carl Shapirob5573532011-07-12 18:22:59 -070028#include <algorithm>
Elliott Hughesdcc24742011-09-07 14:02:44 -070029#include <bitset>
Elliott Hugheseb4f6142011-07-15 17:43:51 -070030#include <cerrno>
Elliott Hughesa0957642011-09-02 14:27:33 -070031#include <iostream>
Carl Shapirob5573532011-07-12 18:22:59 -070032#include <list>
Ian Rogersc7dd2952014-10-21 23:31:19 -070033#include <sstream>
Carl Shapirob5573532011-07-12 18:22:59 -070034
Andreas Gampe46ee31b2016-12-14 10:11:49 -080035#include "android-base/stringprintf.h"
36
Mathieu Chartiera62b4532017-04-26 13:16:25 -070037#include "arch/context-inl.h"
Steven Morelande431e272017-07-18 16:53:49 -070038#include "arch/context.h"
Mathieu Chartierc7853442015-03-27 14:35:38 -070039#include "art_field-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070040#include "art_method-inl.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010041#include "base/bit_utils.h"
David Sehr891a50e2017-10-27 17:01:07 -070042#include "base/file_utils.h"
Evgenii Stepanov1e133742015-05-20 12:30:59 -070043#include "base/memory_tool.h"
Elliott Hughes76b61672012-12-12 17:47:30 -080044#include "base/mutex.h"
Steven Morelande431e272017-07-18 16:53:49 -070045#include "base/systrace.h"
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -080046#include "base/timing_logger.h"
Ian Rogersc7dd2952014-10-21 23:31:19 -070047#include "base/to_str.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080048#include "class_linker-inl.h"
Elliott Hughes46e251b2012-05-22 15:10:45 -070049#include "debugger.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070050#include "dex_file-inl.h"
David Sehr9323e6e2016-09-13 08:58:35 -070051#include "dex_file_annotations.h"
Andreas Gampee2abbc62017-09-15 11:59:26 -070052#include "dex_file_types.h"
Ian Rogers7655f292013-07-29 11:07:13 -070053#include "entrypoints/entrypoint_utils.h"
Mathieu Chartierd8891782014-03-02 13:28:37 -080054#include "entrypoints/quick/quick_alloc_entrypoints.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070055#include "gc/accounting/card_table-inl.h"
Roland Levillain1fbd4522016-03-22 15:52:22 +000056#include "gc/accounting/heap_bitmap-inl.h"
Ian Rogerse63db272014-07-15 15:36:11 -070057#include "gc/allocator/rosalloc.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070058#include "gc/heap.h"
Mathieu Chartierd5f3f322016-03-21 14:05:56 -070059#include "gc/space/space-inl.h"
Andreas Gampe513061a2017-06-01 09:17:34 -070060#include "gc_root.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070061#include "handle_scope-inl.h"
Mathieu Chartierc56057e2014-05-04 13:18:58 -070062#include "indirect_reference_table-inl.h"
Steven Morelande431e272017-07-18 16:53:49 -070063#include "interpreter/interpreter.h"
Andreas Gampe36a296f2017-06-13 14:11:11 -070064#include "interpreter/shadow_frame.h"
65#include "java_frame_root_info.h"
Andreas Gampec15a2f42017-04-21 12:09:39 -070066#include "java_vm_ext.h"
Elliott Hughesc5f7c912011-08-18 14:00:42 -070067#include "jni_internal.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070068#include "mirror/class-inl.h"
Steven Morelande431e272017-07-18 16:53:49 -070069#include "mirror/class_loader.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080070#include "mirror/object_array-inl.h"
71#include "mirror/stack_trace_element.h"
Elliott Hughes8e4aac52011-09-26 17:03:36 -070072#include "monitor.h"
Andreas Gampe93104952017-12-13 17:13:15 -080073#include "monitor_objects_stack_visitor.h"
Andreas Gampe5dd44d02016-08-02 17:20:03 -070074#include "native_stack_dump.h"
Andreas Gampe373a9b52017-10-18 09:01:57 -070075#include "nativehelper/scoped_local_ref.h"
76#include "nativehelper/scoped_utf_chars.h"
Mingyao Yangf711f2c2016-05-23 12:29:39 -070077#include "nth_caller_visitor.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010078#include "oat_quick_method_header.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070079#include "obj_ptr-inl.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070080#include "object_lock.h"
Vladimir Marko7624d252014-05-02 14:40:15 +010081#include "quick/quick_method_frame_info.h"
Steven Morelande431e272017-07-18 16:53:49 -070082#include "quick_exception_handler.h"
Andreas Gampe202f85a2017-02-06 10:23:26 -080083#include "read_barrier-inl.h"
Jesse Wilson9a6bae82011-11-14 14:57:30 -050084#include "reflection.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070085#include "runtime.h"
Andreas Gampeac30fa22017-01-18 21:02:36 -080086#include "runtime_callbacks.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070087#include "scoped_thread_state_change-inl.h"
Elliott Hughes68e76522011-10-05 13:22:16 -070088#include "stack.h"
Nicolas Geoffray6bc43742015-10-12 18:11:10 +010089#include "stack_map.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070090#include "thread-inl.h"
Steven Morelande431e272017-07-18 16:53:49 -070091#include "thread_list.h"
Elliott Hughesa0957642011-09-02 14:27:33 -070092#include "utils.h"
Mathieu Chartier12d625f2015-03-13 11:33:37 -070093#include "verifier/method_verifier.h"
Andreas Gampe90b936d2017-01-31 08:58:55 -080094#include "verify_object.h"
Elliott Hugheseac76672012-05-24 21:56:51 -070095#include "well_known_classes.h"
Carl Shapirob5573532011-07-12 18:22:59 -070096
Yu Lieac44242015-06-29 10:50:03 +080097#if ART_USE_FUTEXES
98#include "linux/futex.h"
99#include "sys/syscall.h"
100#ifndef SYS_futex
101#define SYS_futex __NR_futex
102#endif
103#endif // ART_USE_FUTEXES
104
Carl Shapirob5573532011-07-12 18:22:59 -0700105namespace art {
106
Andreas Gampe46ee31b2016-12-14 10:11:49 -0800107using android::base::StringAppendV;
108using android::base::StringPrintf;
109
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700110extern "C" NO_RETURN void artDeoptimize(Thread* self);
111
Ian Rogers0878d652013-04-18 17:38:35 -0700112bool Thread::is_started_ = false;
Carl Shapirob5573532011-07-12 18:22:59 -0700113pthread_key_t Thread::pthread_key_self_;
Dave Allison0aded082013-11-07 13:15:11 -0800114ConditionVariable* Thread::resume_cond_ = nullptr;
Dave Allison648d7112014-07-25 16:15:27 -0700115const size_t Thread::kStackOverflowImplicitCheckSize = GetStackOverflowReservedBytes(kRuntimeISA);
Calin Juravleb2771b42016-04-07 17:09:25 +0100116bool (*Thread::is_sensitive_thread_hook_)() = nullptr;
Calin Juravle97cbc922016-04-15 16:16:35 +0100117Thread* Thread::jit_sensitive_thread_ = nullptr;
Calin Juravleb2771b42016-04-07 17:09:25 +0100118
Mathieu Chartierb0026b42016-03-31 15:05:45 -0700119static constexpr bool kVerifyImageObjectsMarked = kIsDebugBuild;
Carl Shapirob5573532011-07-12 18:22:59 -0700120
Evgenii Stepanov1e133742015-05-20 12:30:59 -0700121// For implicit overflow checks we reserve an extra piece of memory at the bottom
122// of the stack (lowest memory). The higher portion of the memory
123// is protected against reads and the lower is available for use while
124// throwing the StackOverflow exception.
125constexpr size_t kStackOverflowProtectedSize = 4 * kMemoryToolStackGuardSizeScale * KB;
126
Elliott Hughes7dc51662012-05-16 14:48:43 -0700127static const char* kThreadNameDuringStartup = "<native thread without managed peer>";
128
Ian Rogers5d76c432011-10-31 21:42:49 -0700129void Thread::InitCardTable() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700130 tlsPtr_.card_table = Runtime::Current()->GetHeap()->GetCardTable()->GetBiasedBegin();
Ian Rogers5d76c432011-10-31 21:42:49 -0700131}
132
Elliott Hughes3ea0f422012-04-16 17:01:43 -0700133static void UnimplementedEntryPoint() {
134 UNIMPLEMENTED(FATAL);
135}
136
Andreas Gampe3cfa4d02015-10-06 17:04:01 -0700137void InitEntryPoints(JniEntryPoints* jpoints, QuickEntryPoints* qpoints);
Mathieu Chartier3768ade2017-05-02 14:04:39 -0700138void UpdateReadBarrierEntrypoints(QuickEntryPoints* qpoints, bool is_active);
Mathieu Chartierfe814e82016-11-09 14:32:49 -0800139
140void Thread::SetIsGcMarkingAndUpdateEntrypoints(bool is_marking) {
141 CHECK(kUseReadBarrier);
142 tls32_.is_gc_marking = is_marking;
Mathieu Chartier3768ade2017-05-02 14:04:39 -0700143 UpdateReadBarrierEntrypoints(&tlsPtr_.quick_entrypoints, /* is_active */ is_marking);
Mathieu Chartier5ace2012016-11-30 10:15:41 -0800144 ResetQuickAllocEntryPointsForThread(is_marking);
Mathieu Chartierfe814e82016-11-09 14:32:49 -0800145}
Ian Rogers7655f292013-07-29 11:07:13 -0700146
Ian Rogers848871b2013-08-05 10:56:33 -0700147void Thread::InitTlsEntryPoints() {
Elliott Hughes3ea0f422012-04-16 17:01:43 -0700148 // Insert a placeholder so we can easily tell if we call an unimplemented entry point.
Andreas Gampe3cfa4d02015-10-06 17:04:01 -0700149 uintptr_t* begin = reinterpret_cast<uintptr_t*>(&tlsPtr_.jni_entrypoints);
Mathieu Chartier5ace2012016-11-30 10:15:41 -0800150 uintptr_t* end = reinterpret_cast<uintptr_t*>(
151 reinterpret_cast<uint8_t*>(&tlsPtr_.quick_entrypoints) + sizeof(tlsPtr_.quick_entrypoints));
Ian Rogers7655f292013-07-29 11:07:13 -0700152 for (uintptr_t* it = begin; it != end; ++it) {
153 *it = reinterpret_cast<uintptr_t>(UnimplementedEntryPoint);
154 }
Andreas Gampe3cfa4d02015-10-06 17:04:01 -0700155 InitEntryPoints(&tlsPtr_.jni_entrypoints, &tlsPtr_.quick_entrypoints);
Elliott Hughesc0f09332012-03-26 13:27:06 -0700156}
157
Mathieu Chartier5ace2012016-11-30 10:15:41 -0800158void Thread::ResetQuickAllocEntryPointsForThread(bool is_marking) {
Vladimir Marko33bff252017-11-01 14:35:42 +0000159 if (kUseReadBarrier && kRuntimeISA != InstructionSet::kX86_64) {
Mathieu Chartier5ace2012016-11-30 10:15:41 -0800160 // Allocation entrypoint switching is currently only implemented for X86_64.
161 is_marking = true;
162 }
163 ResetQuickAllocEntryPoints(&tlsPtr_.quick_entrypoints, is_marking);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700164}
165
Sebastien Hertz07474662015-08-25 15:12:33 +0000166class DeoptimizationContextRecord {
Sebastien Hertzf7958692015-06-09 14:09:14 +0200167 public:
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100168 DeoptimizationContextRecord(const JValue& ret_val,
169 bool is_reference,
170 bool from_code,
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800171 ObjPtr<mirror::Throwable> pending_exception,
Mingyao Yang2ee17902017-08-30 11:37:08 -0700172 DeoptimizationMethodType method_type,
Sebastien Hertz07474662015-08-25 15:12:33 +0000173 DeoptimizationContextRecord* link)
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100174 : ret_val_(ret_val),
175 is_reference_(is_reference),
176 from_code_(from_code),
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800177 pending_exception_(pending_exception.Ptr()),
Mingyao Yang2ee17902017-08-30 11:37:08 -0700178 deopt_method_type_(method_type),
Sebastien Hertz07474662015-08-25 15:12:33 +0000179 link_(link) {}
Sebastien Hertzf7958692015-06-09 14:09:14 +0200180
181 JValue GetReturnValue() const { return ret_val_; }
182 bool IsReference() const { return is_reference_; }
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100183 bool GetFromCode() const { return from_code_; }
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800184 ObjPtr<mirror::Throwable> GetPendingException() const { return pending_exception_; }
Sebastien Hertz07474662015-08-25 15:12:33 +0000185 DeoptimizationContextRecord* GetLink() const { return link_; }
186 mirror::Object** GetReturnValueAsGCRoot() {
Sebastien Hertzf7958692015-06-09 14:09:14 +0200187 DCHECK(is_reference_);
188 return ret_val_.GetGCRoot();
189 }
Sebastien Hertz07474662015-08-25 15:12:33 +0000190 mirror::Object** GetPendingExceptionAsGCRoot() {
191 return reinterpret_cast<mirror::Object**>(&pending_exception_);
192 }
Mingyao Yang2ee17902017-08-30 11:37:08 -0700193 DeoptimizationMethodType GetDeoptimizationMethodType() const {
194 return deopt_method_type_;
195 }
Sebastien Hertzf7958692015-06-09 14:09:14 +0200196
197 private:
Sebastien Hertz07474662015-08-25 15:12:33 +0000198 // The value returned by the method at the top of the stack before deoptimization.
Sebastien Hertzf7958692015-06-09 14:09:14 +0200199 JValue ret_val_;
Sebastien Hertz54b62482015-08-20 12:07:57 +0200200
Sebastien Hertz07474662015-08-25 15:12:33 +0000201 // Indicates whether the returned value is a reference. If so, the GC will visit it.
202 const bool is_reference_;
203
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100204 // Whether the context was created from an explicit deoptimization in the code.
205 const bool from_code_;
206
Sebastien Hertz07474662015-08-25 15:12:33 +0000207 // The exception that was pending before deoptimization (or null if there was no pending
208 // exception).
209 mirror::Throwable* pending_exception_;
210
Mingyao Yang2ee17902017-08-30 11:37:08 -0700211 // Whether the context was created for an (idempotent) runtime method.
212 const DeoptimizationMethodType deopt_method_type_;
213
Sebastien Hertz07474662015-08-25 15:12:33 +0000214 // A link to the previous DeoptimizationContextRecord.
215 DeoptimizationContextRecord* const link_;
216
217 DISALLOW_COPY_AND_ASSIGN(DeoptimizationContextRecord);
Sebastien Hertzf7958692015-06-09 14:09:14 +0200218};
219
220class StackedShadowFrameRecord {
221 public:
222 StackedShadowFrameRecord(ShadowFrame* shadow_frame,
223 StackedShadowFrameType type,
224 StackedShadowFrameRecord* link)
225 : shadow_frame_(shadow_frame),
226 type_(type),
227 link_(link) {}
228
229 ShadowFrame* GetShadowFrame() const { return shadow_frame_; }
230 StackedShadowFrameType GetType() const { return type_; }
231 StackedShadowFrameRecord* GetLink() const { return link_; }
232
233 private:
234 ShadowFrame* const shadow_frame_;
235 const StackedShadowFrameType type_;
236 StackedShadowFrameRecord* const link_;
237
238 DISALLOW_COPY_AND_ASSIGN(StackedShadowFrameRecord);
239};
240
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100241void Thread::PushDeoptimizationContext(const JValue& return_value,
242 bool is_reference,
Mingyao Yang2ee17902017-08-30 11:37:08 -0700243 ObjPtr<mirror::Throwable> exception,
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100244 bool from_code,
Mingyao Yang2ee17902017-08-30 11:37:08 -0700245 DeoptimizationMethodType method_type) {
Sebastien Hertz07474662015-08-25 15:12:33 +0000246 DeoptimizationContextRecord* record = new DeoptimizationContextRecord(
247 return_value,
248 is_reference,
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100249 from_code,
Sebastien Hertz07474662015-08-25 15:12:33 +0000250 exception,
Mingyao Yang2ee17902017-08-30 11:37:08 -0700251 method_type,
Sebastien Hertz07474662015-08-25 15:12:33 +0000252 tlsPtr_.deoptimization_context_stack);
253 tlsPtr_.deoptimization_context_stack = record;
buzbee3ea4ec52011-08-22 17:37:19 -0700254}
255
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100256void Thread::PopDeoptimizationContext(JValue* result,
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800257 ObjPtr<mirror::Throwable>* exception,
Mingyao Yang2ee17902017-08-30 11:37:08 -0700258 bool* from_code,
259 DeoptimizationMethodType* method_type) {
Sebastien Hertz07474662015-08-25 15:12:33 +0000260 AssertHasDeoptimizationContext();
261 DeoptimizationContextRecord* record = tlsPtr_.deoptimization_context_stack;
262 tlsPtr_.deoptimization_context_stack = record->GetLink();
263 result->SetJ(record->GetReturnValue().GetJ());
264 *exception = record->GetPendingException();
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100265 *from_code = record->GetFromCode();
Mingyao Yang2ee17902017-08-30 11:37:08 -0700266 *method_type = record->GetDeoptimizationMethodType();
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700267 delete record;
Sebastien Hertz07474662015-08-25 15:12:33 +0000268}
269
270void Thread::AssertHasDeoptimizationContext() {
271 CHECK(tlsPtr_.deoptimization_context_stack != nullptr)
272 << "No deoptimization context for thread " << *this;
Ian Rogers306057f2012-11-26 12:45:53 -0800273}
274
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700275void Thread::PushStackedShadowFrame(ShadowFrame* sf, StackedShadowFrameType type) {
276 StackedShadowFrameRecord* record = new StackedShadowFrameRecord(
277 sf, type, tlsPtr_.stacked_shadow_frame_record);
278 tlsPtr_.stacked_shadow_frame_record = record;
Ian Rogers306057f2012-11-26 12:45:53 -0800279}
280
Andreas Gampe639bdd12015-06-03 11:22:45 -0700281ShadowFrame* Thread::PopStackedShadowFrame(StackedShadowFrameType type, bool must_be_present) {
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700282 StackedShadowFrameRecord* record = tlsPtr_.stacked_shadow_frame_record;
Andreas Gampe639bdd12015-06-03 11:22:45 -0700283 if (must_be_present) {
284 DCHECK(record != nullptr);
Andreas Gampe639bdd12015-06-03 11:22:45 -0700285 } else {
286 if (record == nullptr || record->GetType() != type) {
287 return nullptr;
288 }
289 }
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -0700290 tlsPtr_.stacked_shadow_frame_record = record->GetLink();
291 ShadowFrame* shadow_frame = record->GetShadowFrame();
292 delete record;
293 return shadow_frame;
Andreas Gampe2a0d4ec2014-06-02 22:05:22 -0700294}
295
Mingyao Yang99170c62015-07-06 11:10:37 -0700296class FrameIdToShadowFrame {
297 public:
298 static FrameIdToShadowFrame* Create(size_t frame_id,
299 ShadowFrame* shadow_frame,
300 FrameIdToShadowFrame* next,
301 size_t num_vregs) {
302 // Append a bool array at the end to keep track of what vregs are updated by the debugger.
303 uint8_t* memory = new uint8_t[sizeof(FrameIdToShadowFrame) + sizeof(bool) * num_vregs];
304 return new (memory) FrameIdToShadowFrame(frame_id, shadow_frame, next);
305 }
306
307 static void Delete(FrameIdToShadowFrame* f) {
308 uint8_t* memory = reinterpret_cast<uint8_t*>(f);
309 delete[] memory;
310 }
311
312 size_t GetFrameId() const { return frame_id_; }
313 ShadowFrame* GetShadowFrame() const { return shadow_frame_; }
314 FrameIdToShadowFrame* GetNext() const { return next_; }
315 void SetNext(FrameIdToShadowFrame* next) { next_ = next; }
316 bool* GetUpdatedVRegFlags() {
317 return updated_vreg_flags_;
318 }
319
320 private:
321 FrameIdToShadowFrame(size_t frame_id,
322 ShadowFrame* shadow_frame,
323 FrameIdToShadowFrame* next)
324 : frame_id_(frame_id),
325 shadow_frame_(shadow_frame),
326 next_(next) {}
327
328 const size_t frame_id_;
329 ShadowFrame* const shadow_frame_;
330 FrameIdToShadowFrame* next_;
331 bool updated_vreg_flags_[0];
332
333 DISALLOW_COPY_AND_ASSIGN(FrameIdToShadowFrame);
334};
335
336static FrameIdToShadowFrame* FindFrameIdToShadowFrame(FrameIdToShadowFrame* head,
337 size_t frame_id) {
338 FrameIdToShadowFrame* found = nullptr;
339 for (FrameIdToShadowFrame* record = head; record != nullptr; record = record->GetNext()) {
340 if (record->GetFrameId() == frame_id) {
341 if (kIsDebugBuild) {
342 // Sanity check we have at most one record for this frame.
343 CHECK(found == nullptr) << "Multiple records for the frame " << frame_id;
344 found = record;
345 } else {
346 return record;
347 }
348 }
349 }
350 return found;
351}
352
353ShadowFrame* Thread::FindDebuggerShadowFrame(size_t frame_id) {
354 FrameIdToShadowFrame* record = FindFrameIdToShadowFrame(
355 tlsPtr_.frame_id_to_shadow_frame, frame_id);
356 if (record != nullptr) {
357 return record->GetShadowFrame();
358 }
359 return nullptr;
360}
361
362// Must only be called when FindDebuggerShadowFrame(frame_id) returns non-nullptr.
363bool* Thread::GetUpdatedVRegFlags(size_t frame_id) {
364 FrameIdToShadowFrame* record = FindFrameIdToShadowFrame(
365 tlsPtr_.frame_id_to_shadow_frame, frame_id);
366 CHECK(record != nullptr);
367 return record->GetUpdatedVRegFlags();
368}
369
370ShadowFrame* Thread::FindOrCreateDebuggerShadowFrame(size_t frame_id,
371 uint32_t num_vregs,
372 ArtMethod* method,
373 uint32_t dex_pc) {
374 ShadowFrame* shadow_frame = FindDebuggerShadowFrame(frame_id);
375 if (shadow_frame != nullptr) {
376 return shadow_frame;
377 }
David Sehr709b0702016-10-13 09:12:37 -0700378 VLOG(deopt) << "Create pre-deopted ShadowFrame for " << ArtMethod::PrettyMethod(method);
Mingyao Yang99170c62015-07-06 11:10:37 -0700379 shadow_frame = ShadowFrame::CreateDeoptimizedFrame(num_vregs, nullptr, method, dex_pc);
380 FrameIdToShadowFrame* record = FrameIdToShadowFrame::Create(frame_id,
381 shadow_frame,
382 tlsPtr_.frame_id_to_shadow_frame,
383 num_vregs);
384 for (uint32_t i = 0; i < num_vregs; i++) {
385 // Do this to clear all references for root visitors.
386 shadow_frame->SetVRegReference(i, nullptr);
387 // This flag will be changed to true if the debugger modifies the value.
388 record->GetUpdatedVRegFlags()[i] = false;
389 }
390 tlsPtr_.frame_id_to_shadow_frame = record;
391 return shadow_frame;
392}
393
394void Thread::RemoveDebuggerShadowFrameMapping(size_t frame_id) {
395 FrameIdToShadowFrame* head = tlsPtr_.frame_id_to_shadow_frame;
396 if (head->GetFrameId() == frame_id) {
397 tlsPtr_.frame_id_to_shadow_frame = head->GetNext();
398 FrameIdToShadowFrame::Delete(head);
399 return;
400 }
401 FrameIdToShadowFrame* prev = head;
402 for (FrameIdToShadowFrame* record = head->GetNext();
403 record != nullptr;
404 prev = record, record = record->GetNext()) {
405 if (record->GetFrameId() == frame_id) {
406 prev->SetNext(record->GetNext());
407 FrameIdToShadowFrame::Delete(record);
408 return;
409 }
410 }
411 LOG(FATAL) << "No shadow frame for frame " << frame_id;
412 UNREACHABLE();
413}
414
Brian Carlstromcaabb1b2011-10-11 18:09:13 -0700415void Thread::InitTid() {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700416 tls32_.tid = ::art::GetTid();
Brian Carlstromcaabb1b2011-10-11 18:09:13 -0700417}
418
Brian Carlstromcaabb1b2011-10-11 18:09:13 -0700419void Thread::InitAfterFork() {
Elliott Hughes8029cbe2012-05-22 09:13:08 -0700420 // One thread (us) survived the fork, but we have a new tid so we need to
421 // update the value stashed in this Thread*.
Brian Carlstromcaabb1b2011-10-11 18:09:13 -0700422 InitTid();
Brian Carlstromcaabb1b2011-10-11 18:09:13 -0700423}
424
Brian Carlstrom78128a62011-09-15 17:21:19 -0700425void* Thread::CreateCallback(void* arg) {
Elliott Hughes93e74e82011-09-13 11:07:03 -0700426 Thread* self = reinterpret_cast<Thread*>(arg);
Ian Rogers120f1c72012-09-28 17:17:10 -0700427 Runtime* runtime = Runtime::Current();
Dave Allison0aded082013-11-07 13:15:11 -0800428 if (runtime == nullptr) {
Ian Rogers120f1c72012-09-28 17:17:10 -0700429 LOG(ERROR) << "Thread attaching to non-existent runtime: " << *self;
Dave Allison0aded082013-11-07 13:15:11 -0800430 return nullptr;
Ian Rogers120f1c72012-09-28 17:17:10 -0700431 }
432 {
Ian Rogers50b35e22012-10-04 10:09:15 -0700433 // TODO: pass self to MutexLock - requires self to equal Thread::Current(), which is only true
434 // after self->Init().
Dave Allison0aded082013-11-07 13:15:11 -0800435 MutexLock mu(nullptr, *Locks::runtime_shutdown_lock_);
Ian Rogers120f1c72012-09-28 17:17:10 -0700436 // Check that if we got here we cannot be shutting down (as shutdown should never have started
437 // while threads are being born).
Mathieu Chartier590fee92013-09-13 13:46:47 -0700438 CHECK(!runtime->IsShuttingDownLocked());
Andreas Gampe449357d2015-06-01 22:29:51 -0700439 // Note: given that the JNIEnv is created in the parent thread, the only failure point here is
440 // a mess in InitStackHwm. We do not have a reasonable way to recover from that, so abort
441 // the runtime in such a case. In case this ever changes, we need to make sure here to
442 // delete the tmp_jni_env, as we own it at this point.
443 CHECK(self->Init(runtime->GetThreadList(), runtime->GetJavaVM(), self->tlsPtr_.tmp_jni_env));
444 self->tlsPtr_.tmp_jni_env = nullptr;
Ian Rogers120f1c72012-09-28 17:17:10 -0700445 Runtime::Current()->EndThreadBirth();
446 }
Elliott Hughes47179f72011-10-27 16:44:39 -0700447 {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700448 ScopedObjectAccess soa(self);
Jeff Hao848f70a2014-01-15 13:49:50 -0800449 self->InitStringEntryPoints();
Ian Rogerscfaa4552012-11-26 21:00:08 -0800450
451 // Copy peer into self, deleting global reference when done.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700452 CHECK(self->tlsPtr_.jpeer != nullptr);
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700453 self->tlsPtr_.opeer = soa.Decode<mirror::Object>(self->tlsPtr_.jpeer).Ptr();
Ian Rogersdd7624d2014-03-14 17:43:00 -0700454 self->GetJniEnv()->DeleteGlobalRef(self->tlsPtr_.jpeer);
455 self->tlsPtr_.jpeer = nullptr;
Andreas Gampe08883de2016-11-08 13:20:52 -0800456 self->SetThreadName(self->GetThreadName()->ToModifiedUtf8().c_str());
Narayan Kamatha0b34512014-10-07 12:51:26 +0100457
Andreas Gampe08883de2016-11-08 13:20:52 -0800458 ArtField* priorityField = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_priority);
Narayan Kamatha0b34512014-10-07 12:51:26 +0100459 self->SetNativePriority(priorityField->GetInt(self->tlsPtr_.opeer));
Andreas Gampe04bbb5b2017-01-19 17:49:03 +0000460
Andreas Gampeac30fa22017-01-18 21:02:36 -0800461 runtime->GetRuntimeCallbacks()->ThreadStart(self);
Ian Rogers365c1022012-06-22 15:05:28 -0700462
463 // Invoke the 'run' method of our java.lang.Thread.
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800464 ObjPtr<mirror::Object> receiver = self->tlsPtr_.opeer;
Ian Rogers365c1022012-06-22 15:05:28 -0700465 jmethodID mid = WellKnownClasses::java_lang_Thread_run;
Jeff Hao39b6c242015-05-19 20:30:23 -0700466 ScopedLocalRef<jobject> ref(soa.Env(), soa.AddLocalReference<jobject>(receiver));
467 InvokeVirtualOrInterfaceWithJValues(soa, ref.get(), mid, nullptr);
Elliott Hughes47179f72011-10-27 16:44:39 -0700468 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700469 // Detach and delete self.
470 Runtime::Current()->GetThreadList()->Unregister(self);
Elliott Hughes93e74e82011-09-13 11:07:03 -0700471
Dave Allison0aded082013-11-07 13:15:11 -0800472 return nullptr;
Carl Shapirob5573532011-07-12 18:22:59 -0700473}
474
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700475Thread* Thread::FromManagedThread(const ScopedObjectAccessAlreadyRunnable& soa,
Mathieu Chartierf5769e12017-01-10 15:54:41 -0800476 ObjPtr<mirror::Object> thread_peer) {
Andreas Gampe08883de2016-11-08 13:20:52 -0800477 ArtField* f = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_nativePeer);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800478 Thread* result = reinterpret_cast<Thread*>(static_cast<uintptr_t>(f->GetLong(thread_peer)));
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700479 // Sanity check that if we have a result it is either suspended or we hold the thread_list_lock_
480 // to stop it from going away.
Ian Rogers81d425b2012-09-27 16:03:43 -0700481 if (kIsDebugBuild) {
482 MutexLock mu(soa.Self(), *Locks::thread_suspend_count_lock_);
Dave Allison0aded082013-11-07 13:15:11 -0800483 if (result != nullptr && !result->IsSuspended()) {
Ian Rogers81d425b2012-09-27 16:03:43 -0700484 Locks::thread_list_lock_->AssertHeld(soa.Self());
485 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700486 }
487 return result;
Elliott Hughes761928d2011-11-16 18:33:03 -0800488}
489
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700490Thread* Thread::FromManagedThread(const ScopedObjectAccessAlreadyRunnable& soa,
491 jobject java_thread) {
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700492 return FromManagedThread(soa, soa.Decode<mirror::Object>(java_thread).Ptr());
Elliott Hughes01158d72011-09-19 19:47:10 -0700493}
494
Elliott Hughesab7b9dc2012-03-27 13:16:29 -0700495static size_t FixStackSize(size_t stack_size) {
Elliott Hughes7502e2a2011-10-02 13:24:37 -0700496 // A stack size of zero means "use the default".
Elliott Hughesd369bb72011-09-12 14:41:14 -0700497 if (stack_size == 0) {
498 stack_size = Runtime::Current()->GetDefaultStackSize();
499 }
Carl Shapiro61e019d2011-07-14 16:53:09 -0700500
Brian Carlstrom6414a972012-04-14 14:20:04 -0700501 // Dalvik used the bionic pthread default stack size for native threads,
502 // so include that here to support apps that expect large native stacks.
503 stack_size += 1 * MB;
504
Elliott Hughes7502e2a2011-10-02 13:24:37 -0700505 // It's not possible to request a stack smaller than the system-defined PTHREAD_STACK_MIN.
506 if (stack_size < PTHREAD_STACK_MIN) {
507 stack_size = PTHREAD_STACK_MIN;
508 }
509
Dave Allisonf9439142014-03-27 15:10:22 -0700510 if (Runtime::Current()->ExplicitStackOverflowChecks()) {
511 // It's likely that callers are trying to ensure they have at least a certain amount of
512 // stack space, so we should add our reserved space on top of what they requested, rather
513 // than implicitly take it away from them.
Andreas Gampe7ea6f792014-07-14 16:21:44 -0700514 stack_size += GetStackOverflowReservedBytes(kRuntimeISA);
Dave Allisonf9439142014-03-27 15:10:22 -0700515 } else {
516 // If we are going to use implicit stack checks, allocate space for the protected
517 // region at the bottom of the stack.
Dave Allisonb090a182014-08-14 17:02:48 +0000518 stack_size += Thread::kStackOverflowImplicitCheckSize +
519 GetStackOverflowReservedBytes(kRuntimeISA);
Dave Allisonf9439142014-03-27 15:10:22 -0700520 }
Elliott Hughes7502e2a2011-10-02 13:24:37 -0700521
522 // Some systems require the stack size to be a multiple of the system page size, so round up.
523 stack_size = RoundUp(stack_size, kPageSize);
524
525 return stack_size;
526}
527
Evgenii Stepanov84a4ab82016-05-13 14:01:41 -0700528// Return the nearest page-aligned address below the current stack top.
529NO_INLINE
530static uint8_t* FindStackTop() {
531 return reinterpret_cast<uint8_t*>(
532 AlignDown(__builtin_frame_address(0), kPageSize));
533}
534
Dave Allisonf9439142014-03-27 15:10:22 -0700535// Install a protected region in the stack. This is used to trigger a SIGSEGV if a stack
Dave Allison648d7112014-07-25 16:15:27 -0700536// overflow is detected. It is located right below the stack_begin_.
Evgenii Stepanov4abf4512015-07-13 10:41:57 -0700537ATTRIBUTE_NO_SANITIZE_ADDRESS
Dave Allison648d7112014-07-25 16:15:27 -0700538void Thread::InstallImplicitProtection() {
Ian Rogers13735952014-10-08 12:43:28 -0700539 uint8_t* pregion = tlsPtr_.stack_begin - kStackOverflowProtectedSize;
Evgenii Stepanov84a4ab82016-05-13 14:01:41 -0700540 // Page containing current top of stack.
541 uint8_t* stack_top = FindStackTop();
Dave Allisonf9439142014-03-27 15:10:22 -0700542
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700543 // Try to directly protect the stack.
544 VLOG(threads) << "installing stack protected region at " << std::hex <<
545 static_cast<void*>(pregion) << " to " <<
546 static_cast<void*>(pregion + kStackOverflowProtectedSize - 1);
547 if (ProtectStack(/* fatal_on_error */ false)) {
548 // Tell the kernel that we won't be needing these pages any more.
549 // NB. madvise will probably write zeroes into the memory (on linux it does).
550 uint32_t unwanted_size = stack_top - pregion - kPageSize;
551 madvise(pregion, unwanted_size, MADV_DONTNEED);
552 return;
553 }
554
555 // There is a little complexity here that deserves a special mention. On some
556 // architectures, the stack is created using a VM_GROWSDOWN flag
557 // to prevent memory being allocated when it's not needed. This flag makes the
558 // kernel only allocate memory for the stack by growing down in memory. Because we
559 // want to put an mprotected region far away from that at the stack top, we need
560 // to make sure the pages for the stack are mapped in before we call mprotect.
561 //
562 // The failed mprotect in UnprotectStack is an indication of a thread with VM_GROWSDOWN
563 // with a non-mapped stack (usually only the main thread).
564 //
565 // We map in the stack by reading every page from the stack bottom (highest address)
566 // to the stack top. (We then madvise this away.) This must be done by reading from the
Andreas Gampe6c63f862017-06-28 17:20:15 -0700567 // current stack pointer downwards.
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700568 //
Andreas Gampe6c63f862017-06-28 17:20:15 -0700569 // Accesses too far below the current machine register corresponding to the stack pointer (e.g.,
570 // ESP on x86[-32], SP on ARM) might cause a SIGSEGV (at least on x86 with newer kernels). We
571 // thus have to move the stack pointer. We do this portably by using a recursive function with a
572 // large stack frame size.
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700573
Andreas Gampe6c63f862017-06-28 17:20:15 -0700574 // (Defensively) first remove the protection on the protected region as we'll want to read
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700575 // and write it. Ignore errors.
Dave Allison648d7112014-07-25 16:15:27 -0700576 UnprotectStack();
Dave Allison69dfe512014-07-11 17:11:58 +0000577
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700578 VLOG(threads) << "Need to map in stack for thread at " << std::hex <<
579 static_cast<void*>(pregion);
Dave Allison69dfe512014-07-11 17:11:58 +0000580
Andreas Gampe6c63f862017-06-28 17:20:15 -0700581 struct RecurseDownStack {
582 // This function has an intentionally large stack size.
583#pragma GCC diagnostic push
584#pragma GCC diagnostic ignored "-Wframe-larger-than="
585 NO_INLINE
586 static void Touch(uintptr_t target) {
587 volatile size_t zero = 0;
588 // Use a large local volatile array to ensure a large frame size. Do not use anything close
589 // to a full page for ASAN. It would be nice to ensure the frame size is at most a page, but
590 // there is no pragma support for this.
Andreas Gampe6f1c7512017-07-05 19:18:31 -0700591 // Note: for ASAN we need to shrink the array a bit, as there's other overhead.
592 constexpr size_t kAsanMultiplier =
593#ifdef ADDRESS_SANITIZER
594 2u;
595#else
596 1u;
597#endif
598 volatile char space[kPageSize - (kAsanMultiplier * 256)];
Andreas Gampe6c63f862017-06-28 17:20:15 -0700599 char sink ATTRIBUTE_UNUSED = space[zero];
600 if (reinterpret_cast<uintptr_t>(space) >= target + kPageSize) {
601 Touch(target);
602 }
603 zero *= 2; // Try to avoid tail recursion.
604 }
605#pragma GCC diagnostic pop
606 };
607 RecurseDownStack::Touch(reinterpret_cast<uintptr_t>(pregion));
Dave Allison69dfe512014-07-11 17:11:58 +0000608
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700609 VLOG(threads) << "(again) installing stack protected region at " << std::hex <<
Dave Allisonf9439142014-03-27 15:10:22 -0700610 static_cast<void*>(pregion) << " to " <<
611 static_cast<void*>(pregion + kStackOverflowProtectedSize - 1);
612
Dave Allison648d7112014-07-25 16:15:27 -0700613 // Protect the bottom of the stack to prevent read/write to it.
Andreas Gampe2c2d2a02016-03-17 21:27:19 -0700614 ProtectStack(/* fatal_on_error */ true);
Dave Allison5cd33752014-04-15 15:57:58 -0700615
616 // Tell the kernel that we won't be needing these pages any more.
Dave Allison69dfe512014-07-11 17:11:58 +0000617 // NB. madvise will probably write zeroes into the memory (on linux it does).
Dave Allison648d7112014-07-25 16:15:27 -0700618 uint32_t unwanted_size = stack_top - pregion - kPageSize;
619 madvise(pregion, unwanted_size, MADV_DONTNEED);
Dave Allisonf9439142014-03-27 15:10:22 -0700620}
621
Ian Rogers120f1c72012-09-28 17:17:10 -0700622void Thread::CreateNativeThread(JNIEnv* env, jobject java_peer, size_t stack_size, bool is_daemon) {
Dave Allison0aded082013-11-07 13:15:11 -0800623 CHECK(java_peer != nullptr);
Ian Rogers120f1c72012-09-28 17:17:10 -0700624 Thread* self = static_cast<JNIEnvExt*>(env)->self;
Andreas Gampe56623832015-07-09 21:53:15 -0700625
626 if (VLOG_IS_ON(threads)) {
627 ScopedObjectAccess soa(env);
628
Andreas Gampe08883de2016-11-08 13:20:52 -0800629 ArtField* f = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_name);
Mathieu Chartier3398c782016-09-30 10:27:43 -0700630 ObjPtr<mirror::String> java_name =
631 f->GetObject(soa.Decode<mirror::Object>(java_peer))->AsString();
Andreas Gampe56623832015-07-09 21:53:15 -0700632 std::string thread_name;
633 if (java_name != nullptr) {
634 thread_name = java_name->ToModifiedUtf8();
635 } else {
636 thread_name = "(Unnamed)";
637 }
638
639 VLOG(threads) << "Creating native thread for " << thread_name;
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700640 self->Dump(LOG_STREAM(INFO));
Andreas Gampe56623832015-07-09 21:53:15 -0700641 }
642
Ian Rogers120f1c72012-09-28 17:17:10 -0700643 Runtime* runtime = Runtime::Current();
Mathieu Chartierdbe6f462012-09-25 16:54:50 -0700644
Ian Rogers120f1c72012-09-28 17:17:10 -0700645 // Atomically start the birth of the thread ensuring the runtime isn't shutting down.
646 bool thread_start_during_shutdown = false;
Elliott Hughes47179f72011-10-27 16:44:39 -0700647 {
Ian Rogers120f1c72012-09-28 17:17:10 -0700648 MutexLock mu(self, *Locks::runtime_shutdown_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700649 if (runtime->IsShuttingDownLocked()) {
Ian Rogers120f1c72012-09-28 17:17:10 -0700650 thread_start_during_shutdown = true;
651 } else {
652 runtime->StartThreadBirth();
653 }
Elliott Hughes47179f72011-10-27 16:44:39 -0700654 }
Ian Rogers120f1c72012-09-28 17:17:10 -0700655 if (thread_start_during_shutdown) {
656 ScopedLocalRef<jclass> error_class(env, env->FindClass("java/lang/InternalError"));
657 env->ThrowNew(error_class.get(), "Thread starting during runtime shutdown");
658 return;
659 }
660
661 Thread* child_thread = new Thread(is_daemon);
662 // Use global JNI ref to hold peer live while child thread starts.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700663 child_thread->tlsPtr_.jpeer = env->NewGlobalRef(java_peer);
Ian Rogers120f1c72012-09-28 17:17:10 -0700664 stack_size = FixStackSize(stack_size);
665
Anwar Ghuloum3c50a4b2013-06-21 13:05:23 -0700666 // Thread.start is synchronized, so we know that nativePeer is 0, and know that we're not racing to
Ian Rogers120f1c72012-09-28 17:17:10 -0700667 // assign it.
Ian Rogersef7d42f2014-01-06 12:55:46 -0800668 env->SetLongField(java_peer, WellKnownClasses::java_lang_Thread_nativePeer,
669 reinterpret_cast<jlong>(child_thread));
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700670
Andreas Gampe449357d2015-06-01 22:29:51 -0700671 // Try to allocate a JNIEnvExt for the thread. We do this here as we might be out of memory and
672 // do not have a good way to report this on the child's side.
Richard Uhlerda0a69e2016-10-11 15:06:38 +0100673 std::string error_msg;
Andreas Gampe449357d2015-06-01 22:29:51 -0700674 std::unique_ptr<JNIEnvExt> child_jni_env_ext(
Richard Uhlerda0a69e2016-10-11 15:06:38 +0100675 JNIEnvExt::Create(child_thread, Runtime::Current()->GetJavaVM(), &error_msg));
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700676
Andreas Gampe449357d2015-06-01 22:29:51 -0700677 int pthread_create_result = 0;
678 if (child_jni_env_ext.get() != nullptr) {
679 pthread_t new_pthread;
680 pthread_attr_t attr;
681 child_thread->tlsPtr_.tmp_jni_env = child_jni_env_ext.get();
682 CHECK_PTHREAD_CALL(pthread_attr_init, (&attr), "new thread");
683 CHECK_PTHREAD_CALL(pthread_attr_setdetachstate, (&attr, PTHREAD_CREATE_DETACHED),
684 "PTHREAD_CREATE_DETACHED");
685 CHECK_PTHREAD_CALL(pthread_attr_setstacksize, (&attr, stack_size), stack_size);
686 pthread_create_result = pthread_create(&new_pthread,
687 &attr,
688 Thread::CreateCallback,
689 child_thread);
690 CHECK_PTHREAD_CALL(pthread_attr_destroy, (&attr), "new thread");
691
692 if (pthread_create_result == 0) {
693 // pthread_create started the new thread. The child is now responsible for managing the
694 // JNIEnvExt we created.
695 // Note: we can't check for tmp_jni_env == nullptr, as that would require synchronization
696 // between the threads.
697 child_jni_env_ext.release();
698 return;
Ian Rogers120f1c72012-09-28 17:17:10 -0700699 }
Andreas Gampe449357d2015-06-01 22:29:51 -0700700 }
701
702 // Either JNIEnvExt::Create or pthread_create(3) failed, so clean up.
703 {
704 MutexLock mu(self, *Locks::runtime_shutdown_lock_);
705 runtime->EndThreadBirth();
706 }
707 // Manually delete the global reference since Thread::Init will not have been run.
708 env->DeleteGlobalRef(child_thread->tlsPtr_.jpeer);
709 child_thread->tlsPtr_.jpeer = nullptr;
710 delete child_thread;
711 child_thread = nullptr;
712 // TODO: remove from thread group?
713 env->SetLongField(java_peer, WellKnownClasses::java_lang_Thread_nativePeer, 0);
714 {
715 std::string msg(child_jni_env_ext.get() == nullptr ?
Richard Uhlerda0a69e2016-10-11 15:06:38 +0100716 StringPrintf("Could not allocate JNI Env: %s", error_msg.c_str()) :
Andreas Gampe449357d2015-06-01 22:29:51 -0700717 StringPrintf("pthread_create (%s stack) failed: %s",
718 PrettySize(stack_size).c_str(), strerror(pthread_create_result)));
719 ScopedObjectAccess soa(env);
720 soa.Self()->ThrowOutOfMemoryError(msg.c_str());
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700721 }
Carl Shapiro61e019d2011-07-14 16:53:09 -0700722}
723
Andreas Gampe449357d2015-06-01 22:29:51 -0700724bool Thread::Init(ThreadList* thread_list, JavaVMExt* java_vm, JNIEnvExt* jni_env_ext) {
Elliott Hughes462c9442012-03-23 18:47:50 -0700725 // This function does all the initialization that must be run by the native thread it applies to.
726 // (When we create a new thread from managed code, we allocate the Thread* in Thread::Create so
727 // we can handshake with the corresponding native thread when it's ready.) Check this native
728 // thread hasn't been through here already...
Dave Allison0aded082013-11-07 13:15:11 -0800729 CHECK(Thread::Current() == nullptr);
Ian Rogersf4d4da12014-11-11 16:10:33 -0800730
731 // Set pthread_self_ ahead of pthread_setspecific, that makes Thread::Current function, this
732 // avoids pthread_self_ ever being invalid when discovered from Thread::Current().
733 tlsPtr_.pthread_self = pthread_self();
734 CHECK(is_started_);
735
Elliott Hughesd8af1592012-04-16 20:40:15 -0700736 SetUpAlternateSignalStack();
Ian Rogersf4d4da12014-11-11 16:10:33 -0800737 if (!InitStackHwm()) {
738 return false;
739 }
Elliott Hughes93e74e82011-09-13 11:07:03 -0700740 InitCpu();
Ian Rogers848871b2013-08-05 10:56:33 -0700741 InitTlsEntryPoints();
Dave Allisonb373e092014-02-20 16:06:36 -0800742 RemoveSuspendTrigger();
Ian Rogers5d76c432011-10-31 21:42:49 -0700743 InitCardTable();
Ian Rogers01ae5802012-09-28 16:14:01 -0700744 InitTid();
buzbee1452bee2015-03-06 14:43:04 -0800745 interpreter::InitInterpreterTls(this);
Ian Rogersf4d4da12014-11-11 16:10:33 -0800746
Bilyan Borisovbb661c02016-04-04 16:27:32 +0100747#ifdef ART_TARGET_ANDROID
Andreas Gampe4382f1e2015-08-05 01:08:53 +0000748 __get_tls()[TLS_SLOT_ART_THREAD_SELF] = this;
749#else
Ian Rogers120f1c72012-09-28 17:17:10 -0700750 CHECK_PTHREAD_CALL(pthread_setspecific, (Thread::pthread_key_self_, this), "attach self");
Andreas Gampe4382f1e2015-08-05 01:08:53 +0000751#endif
Ian Rogers120f1c72012-09-28 17:17:10 -0700752 DCHECK_EQ(Thread::Current(), this);
Carl Shapiro61e019d2011-07-14 16:53:09 -0700753
Ian Rogersdd7624d2014-03-14 17:43:00 -0700754 tls32_.thin_lock_thread_id = thread_list->AllocThreadId(this);
Carl Shapiro61e019d2011-07-14 16:53:09 -0700755
Andreas Gampe449357d2015-06-01 22:29:51 -0700756 if (jni_env_ext != nullptr) {
757 DCHECK_EQ(jni_env_ext->vm, java_vm);
758 DCHECK_EQ(jni_env_ext->self, this);
759 tlsPtr_.jni_env = jni_env_ext;
760 } else {
Richard Uhlerda0a69e2016-10-11 15:06:38 +0100761 std::string error_msg;
762 tlsPtr_.jni_env = JNIEnvExt::Create(this, java_vm, &error_msg);
Andreas Gampe449357d2015-06-01 22:29:51 -0700763 if (tlsPtr_.jni_env == nullptr) {
Richard Uhlerda0a69e2016-10-11 15:06:38 +0100764 LOG(ERROR) << "Failed to create JNIEnvExt: " << error_msg;
Andreas Gampe449357d2015-06-01 22:29:51 -0700765 return false;
766 }
Andreas Gampe3f5881f2015-04-08 10:26:16 -0700767 }
768
Ian Rogers120f1c72012-09-28 17:17:10 -0700769 thread_list->Register(this);
Ian Rogersf4d4da12014-11-11 16:10:33 -0800770 return true;
Elliott Hughes93e74e82011-09-13 11:07:03 -0700771}
772
Andreas Gampe732b0ac2017-01-18 15:23:39 -0800773template <typename PeerAction>
774Thread* Thread::Attach(const char* thread_name, bool as_daemon, PeerAction peer_action) {
Ian Rogers120f1c72012-09-28 17:17:10 -0700775 Runtime* runtime = Runtime::Current();
Dave Allison0aded082013-11-07 13:15:11 -0800776 if (runtime == nullptr) {
Kazuhiro Inaba9ff12512017-12-04 16:26:38 +0900777 LOG(ERROR) << "Thread attaching to non-existent runtime: " <<
778 ((thread_name != nullptr) ? thread_name : "(Unnamed)");
Dave Allison0aded082013-11-07 13:15:11 -0800779 return nullptr;
Ian Rogers120f1c72012-09-28 17:17:10 -0700780 }
Ian Rogersf4d4da12014-11-11 16:10:33 -0800781 Thread* self;
Ian Rogers120f1c72012-09-28 17:17:10 -0700782 {
Dave Allison0aded082013-11-07 13:15:11 -0800783 MutexLock mu(nullptr, *Locks::runtime_shutdown_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700784 if (runtime->IsShuttingDownLocked()) {
Kazuhiro Inaba9ff12512017-12-04 16:26:38 +0900785 LOG(WARNING) << "Thread attaching while runtime is shutting down: " <<
786 ((thread_name != nullptr) ? thread_name : "(Unnamed)");
Dave Allison0aded082013-11-07 13:15:11 -0800787 return nullptr;
Ian Rogers120f1c72012-09-28 17:17:10 -0700788 } else {
789 Runtime::Current()->StartThreadBirth();
790 self = new Thread(as_daemon);
Ian Rogersf4d4da12014-11-11 16:10:33 -0800791 bool init_success = self->Init(runtime->GetThreadList(), runtime->GetJavaVM());
Ian Rogers120f1c72012-09-28 17:17:10 -0700792 Runtime::Current()->EndThreadBirth();
Ian Rogersf4d4da12014-11-11 16:10:33 -0800793 if (!init_success) {
794 delete self;
795 return nullptr;
796 }
Ian Rogers120f1c72012-09-28 17:17:10 -0700797 }
798 }
Elliott Hughes93e74e82011-09-13 11:07:03 -0700799
Jeff Hao848f70a2014-01-15 13:49:50 -0800800 self->InitStringEntryPoints();
801
Mathieu Chartierdbe6f462012-09-25 16:54:50 -0700802 CHECK_NE(self->GetState(), kRunnable);
803 self->SetState(kNative);
Elliott Hughes93e74e82011-09-13 11:07:03 -0700804
Andreas Gampe732b0ac2017-01-18 15:23:39 -0800805 // Run the action that is acting on the peer.
806 if (!peer_action(self)) {
807 runtime->GetThreadList()->Unregister(self);
808 // Unregister deletes self, no need to do this here.
809 return nullptr;
Elliott Hughes5fe594f2011-09-08 12:33:17 -0700810 }
Elliott Hughescac6cc72011-11-03 20:31:21 -0700811
Andreas Gampe56623832015-07-09 21:53:15 -0700812 if (VLOG_IS_ON(threads)) {
813 if (thread_name != nullptr) {
814 VLOG(threads) << "Attaching thread " << thread_name;
815 } else {
816 VLOG(threads) << "Attaching unnamed thread.";
817 }
818 ScopedObjectAccess soa(self);
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700819 self->Dump(LOG_STREAM(INFO));
Andreas Gampe56623832015-07-09 21:53:15 -0700820 }
821
Daniel Mihalyidfafeef2014-10-20 11:47:56 +0200822 {
823 ScopedObjectAccess soa(self);
Andreas Gampeac30fa22017-01-18 21:02:36 -0800824 runtime->GetRuntimeCallbacks()->ThreadStart(self);
Daniel Mihalyidfafeef2014-10-20 11:47:56 +0200825 }
826
Elliott Hughes5fe594f2011-09-08 12:33:17 -0700827 return self;
828}
829
Andreas Gampe732b0ac2017-01-18 15:23:39 -0800830Thread* Thread::Attach(const char* thread_name,
831 bool as_daemon,
832 jobject thread_group,
833 bool create_peer) {
834 auto create_peer_action = [&](Thread* self) {
835 // If we're the main thread, ClassLinker won't be created until after we're attached,
836 // so that thread needs a two-stage attach. Regular threads don't need this hack.
837 // In the compiler, all threads need this hack, because no-one's going to be getting
838 // a native peer!
839 if (create_peer) {
840 self->CreatePeer(thread_name, as_daemon, thread_group);
841 if (self->IsExceptionPending()) {
842 // We cannot keep the exception around, as we're deleting self. Try to be helpful and log it.
843 {
844 ScopedObjectAccess soa(self);
845 LOG(ERROR) << "Exception creating thread peer:";
846 LOG(ERROR) << self->GetException()->Dump();
847 self->ClearException();
848 }
849 return false;
850 }
851 } else {
852 // These aren't necessary, but they improve diagnostics for unit tests & command-line tools.
853 if (thread_name != nullptr) {
854 self->tlsPtr_.name->assign(thread_name);
855 ::art::SetThreadName(thread_name);
856 } else if (self->GetJniEnv()->check_jni) {
857 LOG(WARNING) << *Thread::Current() << " attached without supplying a name";
858 }
859 }
860 return true;
861 };
862 return Attach(thread_name, as_daemon, create_peer_action);
863}
864
865Thread* Thread::Attach(const char* thread_name, bool as_daemon, jobject thread_peer) {
866 auto set_peer_action = [&](Thread* self) {
867 // Install the given peer.
868 {
869 DCHECK(self == Thread::Current());
870 ScopedObjectAccess soa(self);
871 self->tlsPtr_.opeer = soa.Decode<mirror::Object>(thread_peer).Ptr();
872 }
873 self->GetJniEnv()->SetLongField(thread_peer,
874 WellKnownClasses::java_lang_Thread_nativePeer,
875 reinterpret_cast<jlong>(self));
876 return true;
877 };
878 return Attach(thread_name, as_daemon, set_peer_action);
879}
880
Ian Rogers365c1022012-06-22 15:05:28 -0700881void Thread::CreatePeer(const char* name, bool as_daemon, jobject thread_group) {
882 Runtime* runtime = Runtime::Current();
883 CHECK(runtime->IsStarted());
Ian Rogersdd7624d2014-03-14 17:43:00 -0700884 JNIEnv* env = tlsPtr_.jni_env;
Elliott Hughes5fe594f2011-09-08 12:33:17 -0700885
Dave Allison0aded082013-11-07 13:15:11 -0800886 if (thread_group == nullptr) {
Ian Rogers365c1022012-06-22 15:05:28 -0700887 thread_group = runtime->GetMainThreadGroup();
Elliott Hughes462c9442012-03-23 18:47:50 -0700888 }
Elliott Hughes726079d2011-10-07 18:43:44 -0700889 ScopedLocalRef<jobject> thread_name(env, env->NewStringUTF(name));
Mathieu Chartiere07fd172014-11-10 16:58:19 -0800890 // Add missing null check in case of OOM b/18297817
Vladimir Marko44512052014-11-12 15:41:57 +0000891 if (name != nullptr && thread_name.get() == nullptr) {
Mathieu Chartiere07fd172014-11-10 16:58:19 -0800892 CHECK(IsExceptionPending());
893 return;
894 }
Elliott Hughes8daa0922011-09-11 13:46:25 -0700895 jint thread_priority = GetNativePriority();
Elliott Hughes5fe594f2011-09-08 12:33:17 -0700896 jboolean thread_is_daemon = as_daemon;
897
Elliott Hugheseac76672012-05-24 21:56:51 -0700898 ScopedLocalRef<jobject> peer(env, env->AllocObject(WellKnownClasses::java_lang_Thread));
Dave Allison0aded082013-11-07 13:15:11 -0800899 if (peer.get() == nullptr) {
Mathieu Chartierdbe6f462012-09-25 16:54:50 -0700900 CHECK(IsExceptionPending());
901 return;
Ian Rogers5d4bdc22011-11-02 22:15:43 -0700902 }
Ian Rogerscfaa4552012-11-26 21:00:08 -0800903 {
904 ScopedObjectAccess soa(this);
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700905 tlsPtr_.opeer = soa.Decode<mirror::Object>(peer.get()).Ptr();
Ian Rogerscfaa4552012-11-26 21:00:08 -0800906 }
Elliott Hugheseac76672012-05-24 21:56:51 -0700907 env->CallNonvirtualVoidMethod(peer.get(),
908 WellKnownClasses::java_lang_Thread,
909 WellKnownClasses::java_lang_Thread_init,
Ian Rogers365c1022012-06-22 15:05:28 -0700910 thread_group, thread_name.get(), thread_priority, thread_is_daemon);
Andreas Gampe4b1d4ec2015-10-01 16:47:26 -0700911 if (IsExceptionPending()) {
912 return;
913 }
Elliott Hughesd369bb72011-09-12 14:41:14 -0700914
Ian Rogers120f1c72012-09-28 17:17:10 -0700915 Thread* self = this;
916 DCHECK_EQ(self, Thread::Current());
Ian Rogersdd7624d2014-03-14 17:43:00 -0700917 env->SetLongField(peer.get(), WellKnownClasses::java_lang_Thread_nativePeer,
918 reinterpret_cast<jlong>(self));
Ian Rogers120f1c72012-09-28 17:17:10 -0700919
920 ScopedObjectAccess soa(self);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700921 StackHandleScope<1> hs(self);
Andreas Gampe08883de2016-11-08 13:20:52 -0800922 MutableHandle<mirror::String> peer_thread_name(hs.NewHandle(GetThreadName()));
Andreas Gampefa4333d2017-02-14 11:10:34 -0800923 if (peer_thread_name == nullptr) {
Brian Carlstrom00fae582011-10-28 01:16:28 -0700924 // The Thread constructor should have set the Thread.name to a
925 // non-null value. However, because we can run without code
926 // available (in the compiler, in tests), we manually assign the
927 // fields the constructor should have set.
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100928 if (runtime->IsActiveTransaction()) {
Andreas Gampebad529d2017-02-13 18:52:10 -0800929 InitPeer<true>(soa,
930 tlsPtr_.opeer,
931 thread_is_daemon,
932 thread_group,
933 thread_name.get(),
934 thread_priority);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100935 } else {
Andreas Gampebad529d2017-02-13 18:52:10 -0800936 InitPeer<false>(soa,
937 tlsPtr_.opeer,
938 thread_is_daemon,
939 thread_group,
940 thread_name.get(),
941 thread_priority);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100942 }
Andreas Gampe08883de2016-11-08 13:20:52 -0800943 peer_thread_name.Assign(GetThreadName());
Brian Carlstrom00fae582011-10-28 01:16:28 -0700944 }
Elliott Hughes225f5a12012-06-11 11:23:48 -0700945 // 'thread_name' may have been null, so don't trust 'peer_thread_name' to be non-null.
Andreas Gampefa4333d2017-02-14 11:10:34 -0800946 if (peer_thread_name != nullptr) {
Elliott Hughes899e7892012-01-24 14:57:32 -0800947 SetThreadName(peer_thread_name->ToModifiedUtf8().c_str());
Brian Carlstrom00fae582011-10-28 01:16:28 -0700948 }
Carl Shapiro61e019d2011-07-14 16:53:09 -0700949}
950
Andreas Gampebad529d2017-02-13 18:52:10 -0800951jobject Thread::CreateCompileTimePeer(JNIEnv* env,
952 const char* name,
953 bool as_daemon,
954 jobject thread_group) {
955 Runtime* runtime = Runtime::Current();
956 CHECK(!runtime->IsStarted());
957
958 if (thread_group == nullptr) {
959 thread_group = runtime->GetMainThreadGroup();
960 }
961 ScopedLocalRef<jobject> thread_name(env, env->NewStringUTF(name));
962 // Add missing null check in case of OOM b/18297817
963 if (name != nullptr && thread_name.get() == nullptr) {
964 CHECK(Thread::Current()->IsExceptionPending());
965 return nullptr;
966 }
967 jint thread_priority = GetNativePriority();
968 jboolean thread_is_daemon = as_daemon;
969
970 ScopedLocalRef<jobject> peer(env, env->AllocObject(WellKnownClasses::java_lang_Thread));
971 if (peer.get() == nullptr) {
972 CHECK(Thread::Current()->IsExceptionPending());
973 return nullptr;
974 }
975
976 // We cannot call Thread.init, as it will recursively ask for currentThread.
977
978 // The Thread constructor should have set the Thread.name to a
979 // non-null value. However, because we can run without code
980 // available (in the compiler, in tests), we manually assign the
981 // fields the constructor should have set.
982 ScopedObjectAccessUnchecked soa(Thread::Current());
983 if (runtime->IsActiveTransaction()) {
984 InitPeer<true>(soa,
985 soa.Decode<mirror::Object>(peer.get()),
986 thread_is_daemon,
987 thread_group,
988 thread_name.get(),
989 thread_priority);
990 } else {
991 InitPeer<false>(soa,
992 soa.Decode<mirror::Object>(peer.get()),
993 thread_is_daemon,
994 thread_group,
995 thread_name.get(),
996 thread_priority);
997 }
998
999 return peer.release();
1000}
1001
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01001002template<bool kTransactionActive>
Andreas Gampebad529d2017-02-13 18:52:10 -08001003void Thread::InitPeer(ScopedObjectAccessAlreadyRunnable& soa,
1004 ObjPtr<mirror::Object> peer,
1005 jboolean thread_is_daemon,
1006 jobject thread_group,
1007 jobject thread_name,
1008 jint thread_priority) {
Andreas Gampe08883de2016-11-08 13:20:52 -08001009 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_daemon)->
Andreas Gampebad529d2017-02-13 18:52:10 -08001010 SetBoolean<kTransactionActive>(peer, thread_is_daemon);
Andreas Gampe08883de2016-11-08 13:20:52 -08001011 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_group)->
Andreas Gampebad529d2017-02-13 18:52:10 -08001012 SetObject<kTransactionActive>(peer, soa.Decode<mirror::Object>(thread_group));
Andreas Gampe08883de2016-11-08 13:20:52 -08001013 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_name)->
Andreas Gampebad529d2017-02-13 18:52:10 -08001014 SetObject<kTransactionActive>(peer, soa.Decode<mirror::Object>(thread_name));
Andreas Gampe08883de2016-11-08 13:20:52 -08001015 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_priority)->
Andreas Gampebad529d2017-02-13 18:52:10 -08001016 SetInt<kTransactionActive>(peer, thread_priority);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01001017}
1018
Elliott Hughes899e7892012-01-24 14:57:32 -08001019void Thread::SetThreadName(const char* name) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001020 tlsPtr_.name->assign(name);
Elliott Hughes899e7892012-01-24 14:57:32 -08001021 ::art::SetThreadName(name);
1022 Dbg::DdmSendThreadNotification(this, CHUNK_TYPE("THNM"));
1023}
1024
Andreas Gampe9186ced2016-12-12 14:28:21 -08001025static void GetThreadStack(pthread_t thread,
1026 void** stack_base,
1027 size_t* stack_size,
1028 size_t* guard_size) {
1029#if defined(__APPLE__)
1030 *stack_size = pthread_get_stacksize_np(thread);
1031 void* stack_addr = pthread_get_stackaddr_np(thread);
1032
1033 // Check whether stack_addr is the base or end of the stack.
1034 // (On Mac OS 10.7, it's the end.)
1035 int stack_variable;
1036 if (stack_addr > &stack_variable) {
1037 *stack_base = reinterpret_cast<uint8_t*>(stack_addr) - *stack_size;
1038 } else {
1039 *stack_base = stack_addr;
1040 }
1041
1042 // This is wrong, but there doesn't seem to be a way to get the actual value on the Mac.
1043 pthread_attr_t attributes;
1044 CHECK_PTHREAD_CALL(pthread_attr_init, (&attributes), __FUNCTION__);
1045 CHECK_PTHREAD_CALL(pthread_attr_getguardsize, (&attributes, guard_size), __FUNCTION__);
1046 CHECK_PTHREAD_CALL(pthread_attr_destroy, (&attributes), __FUNCTION__);
1047#else
1048 pthread_attr_t attributes;
1049 CHECK_PTHREAD_CALL(pthread_getattr_np, (thread, &attributes), __FUNCTION__);
1050 CHECK_PTHREAD_CALL(pthread_attr_getstack, (&attributes, stack_base, stack_size), __FUNCTION__);
1051 CHECK_PTHREAD_CALL(pthread_attr_getguardsize, (&attributes, guard_size), __FUNCTION__);
1052 CHECK_PTHREAD_CALL(pthread_attr_destroy, (&attributes), __FUNCTION__);
1053
1054#if defined(__GLIBC__)
1055 // If we're the main thread, check whether we were run with an unlimited stack. In that case,
1056 // glibc will have reported a 2GB stack for our 32-bit process, and our stack overflow detection
1057 // will be broken because we'll die long before we get close to 2GB.
1058 bool is_main_thread = (::art::GetTid() == getpid());
1059 if (is_main_thread) {
1060 rlimit stack_limit;
1061 if (getrlimit(RLIMIT_STACK, &stack_limit) == -1) {
1062 PLOG(FATAL) << "getrlimit(RLIMIT_STACK) failed";
1063 }
1064 if (stack_limit.rlim_cur == RLIM_INFINITY) {
1065 size_t old_stack_size = *stack_size;
1066
1067 // Use the kernel default limit as our size, and adjust the base to match.
1068 *stack_size = 8 * MB;
1069 *stack_base = reinterpret_cast<uint8_t*>(*stack_base) + (old_stack_size - *stack_size);
1070
1071 VLOG(threads) << "Limiting unlimited stack (reported as " << PrettySize(old_stack_size) << ")"
1072 << " to " << PrettySize(*stack_size)
1073 << " with base " << *stack_base;
1074 }
1075 }
1076#endif
1077
1078#endif
1079}
1080
Ian Rogersf4d4da12014-11-11 16:10:33 -08001081bool Thread::InitStackHwm() {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001082 void* read_stack_base;
1083 size_t read_stack_size;
Elliott Hughes6d3fc562014-08-27 11:47:01 -07001084 size_t read_guard_size;
1085 GetThreadStack(tlsPtr_.pthread_self, &read_stack_base, &read_stack_size, &read_guard_size);
Elliott Hughes36ecb782012-04-17 16:55:45 -07001086
Ian Rogers13735952014-10-08 12:43:28 -07001087 tlsPtr_.stack_begin = reinterpret_cast<uint8_t*>(read_stack_base);
Ian Rogersdd7624d2014-03-14 17:43:00 -07001088 tlsPtr_.stack_size = read_stack_size;
Elliott Hughes36ecb782012-04-17 16:55:45 -07001089
Dave Allison648d7112014-07-25 16:15:27 -07001090 // The minimum stack size we can cope with is the overflow reserved bytes (typically
1091 // 8K) + the protected region size (4K) + another page (4K). Typically this will
1092 // be 8+4+4 = 16K. The thread won't be able to do much with this stack even the GC takes
1093 // between 8K and 12K.
1094 uint32_t min_stack = GetStackOverflowReservedBytes(kRuntimeISA) + kStackOverflowProtectedSize
1095 + 4 * KB;
1096 if (read_stack_size <= min_stack) {
Ian Rogersf4d4da12014-11-11 16:10:33 -08001097 // Note, as we know the stack is small, avoid operations that could use a lot of stack.
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07001098 LogHelper::LogLineLowStack(__PRETTY_FUNCTION__,
1099 __LINE__,
1100 ::android::base::ERROR,
1101 "Attempt to attach a thread with a too-small stack");
Ian Rogersf4d4da12014-11-11 16:10:33 -08001102 return false;
Elliott Hughesbe759c62011-09-08 19:38:21 -07001103 }
Elliott Hughes449b4bd2011-09-09 12:01:38 -07001104
Vladimir Markob8f2f632015-01-02 14:23:26 +00001105 // This is included in the SIGQUIT output, but it's useful here for thread debugging.
1106 VLOG(threads) << StringPrintf("Native stack is at %p (%s with %s guard)",
1107 read_stack_base,
1108 PrettySize(read_stack_size).c_str(),
1109 PrettySize(read_guard_size).c_str());
1110
Ian Rogers932746a2011-09-22 18:57:50 -07001111 // Set stack_end_ to the bottom of the stack saving space of stack overflows
Mathieu Chartier8e219ae2014-08-19 14:29:46 -07001112
1113 Runtime* runtime = Runtime::Current();
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001114 bool implicit_stack_check = !runtime->ExplicitStackOverflowChecks() && !runtime->IsAotCompiler();
Andreas Gampe7df12cb2016-06-10 20:38:55 -07001115
1116 // Valgrind on arm doesn't give the right values here. Do not install the guard page, and
1117 // effectively disable stack overflow checks (we'll get segfaults, potentially) by setting
1118 // stack_begin to 0.
1119 const bool valgrind_on_arm =
Vladimir Marko33bff252017-11-01 14:35:42 +00001120 (kRuntimeISA == InstructionSet::kArm || kRuntimeISA == InstructionSet::kArm64) &&
Andreas Gampe7df12cb2016-06-10 20:38:55 -07001121 kMemoryToolIsValgrind &&
1122 RUNNING_ON_MEMORY_TOOL != 0;
1123 if (valgrind_on_arm) {
1124 tlsPtr_.stack_begin = nullptr;
1125 }
1126
Dave Allisonb090a182014-08-14 17:02:48 +00001127 ResetDefaultStackEnd();
Dave Allisonf9439142014-03-27 15:10:22 -07001128
1129 // Install the protected region if we are doing implicit overflow checks.
Andreas Gampe7df12cb2016-06-10 20:38:55 -07001130 if (implicit_stack_check && !valgrind_on_arm) {
Dave Allison648d7112014-07-25 16:15:27 -07001131 // The thread might have protected region at the bottom. We need
1132 // to install our own region so we need to move the limits
1133 // of the stack to make room for it.
Dave Allison216cf232014-08-18 15:49:51 -07001134
Elliott Hughes6d3fc562014-08-27 11:47:01 -07001135 tlsPtr_.stack_begin += read_guard_size + kStackOverflowProtectedSize;
1136 tlsPtr_.stack_end += read_guard_size + kStackOverflowProtectedSize;
1137 tlsPtr_.stack_size -= read_guard_size;
Dave Allison648d7112014-07-25 16:15:27 -07001138
1139 InstallImplicitProtection();
Dave Allisonf9439142014-03-27 15:10:22 -07001140 }
Elliott Hughes449b4bd2011-09-09 12:01:38 -07001141
1142 // Sanity check.
Andreas Gampeb87c03f2016-06-10 20:34:55 -07001143 CHECK_GT(FindStackTop(), reinterpret_cast<void*>(tlsPtr_.stack_end));
Ian Rogersf4d4da12014-11-11 16:10:33 -08001144
1145 return true;
Elliott Hughesbe759c62011-09-08 19:38:21 -07001146}
1147
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001148void Thread::ShortDump(std::ostream& os) const {
1149 os << "Thread[";
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001150 if (GetThreadId() != 0) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001151 // If we're in kStarting, we won't have a thin lock id or tid yet.
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001152 os << GetThreadId()
Mathieu Chartierb28412e2015-04-24 15:28:36 -07001153 << ",tid=" << GetTid() << ',';
Elliott Hughese0918552011-10-28 17:18:29 -07001154 }
Ian Rogers474b6da2012-09-25 00:20:38 -07001155 os << GetState()
Mathieu Chartierb28412e2015-04-24 15:28:36 -07001156 << ",Thread*=" << this
1157 << ",peer=" << tlsPtr_.opeer
1158 << ",\"" << (tlsPtr_.name != nullptr ? *tlsPtr_.name : "null") << "\""
1159 << "]";
Elliott Hughesa0957642011-09-02 14:27:33 -07001160}
1161
Hiroshi Yamauchi13c16352017-01-31 10:15:08 -08001162void Thread::Dump(std::ostream& os, bool dump_native_stack, BacktraceMap* backtrace_map,
1163 bool force_dump_stack) const {
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001164 DumpState(os);
Hiroshi Yamauchi13c16352017-01-31 10:15:08 -08001165 DumpStack(os, dump_native_stack, backtrace_map, force_dump_stack);
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001166}
1167
Andreas Gampe08883de2016-11-08 13:20:52 -08001168mirror::String* Thread::GetThreadName() const {
1169 ArtField* f = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_name);
Mathieu Chartier3398c782016-09-30 10:27:43 -07001170 if (tlsPtr_.opeer == nullptr) {
1171 return nullptr;
1172 }
1173 ObjPtr<mirror::Object> name = f->GetObject(tlsPtr_.opeer);
1174 return name == nullptr ? nullptr : name->AsString();
Elliott Hughesfc861622011-10-17 17:57:47 -07001175}
1176
Elliott Hughesffb465f2012-03-01 18:46:05 -08001177void Thread::GetThreadName(std::string& name) const {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001178 name.assign(*tlsPtr_.name);
Elliott Hughesffb465f2012-03-01 18:46:05 -08001179}
1180
Jeff Hao57dac6e2013-08-15 16:36:24 -07001181uint64_t Thread::GetCpuMicroTime() const {
Elliott Hughes0a18df82015-01-09 15:16:16 -08001182#if defined(__linux__)
Jeff Hao57dac6e2013-08-15 16:36:24 -07001183 clockid_t cpu_clock_id;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001184 pthread_getcpuclockid(tlsPtr_.pthread_self, &cpu_clock_id);
Jeff Hao57dac6e2013-08-15 16:36:24 -07001185 timespec now;
1186 clock_gettime(cpu_clock_id, &now);
Ian Rogers0f678472014-03-10 16:18:37 -07001187 return static_cast<uint64_t>(now.tv_sec) * UINT64_C(1000000) + now.tv_nsec / UINT64_C(1000);
Elliott Hughes0a18df82015-01-09 15:16:16 -08001188#else // __APPLE__
Jeff Hao57dac6e2013-08-15 16:36:24 -07001189 UNIMPLEMENTED(WARNING);
1190 return -1;
1191#endif
1192}
1193
Ian Rogers01ae5802012-09-28 16:14:01 -07001194// Attempt to rectify locks so that we dump thread list with required locks before exiting.
1195static void UnsafeLogFatalForSuspendCount(Thread* self, Thread* thread) NO_THREAD_SAFETY_ANALYSIS {
Ian Rogers120f1c72012-09-28 17:17:10 -07001196 LOG(ERROR) << *thread << " suspend count already zero.";
Ian Rogers01ae5802012-09-28 16:14:01 -07001197 Locks::thread_suspend_count_lock_->Unlock(self);
1198 if (!Locks::mutator_lock_->IsSharedHeld(self)) {
1199 Locks::mutator_lock_->SharedTryLock(self);
1200 if (!Locks::mutator_lock_->IsSharedHeld(self)) {
1201 LOG(WARNING) << "Dumping thread list without holding mutator_lock_";
1202 }
1203 }
1204 if (!Locks::thread_list_lock_->IsExclusiveHeld(self)) {
1205 Locks::thread_list_lock_->TryLock(self);
1206 if (!Locks::thread_list_lock_->IsExclusiveHeld(self)) {
1207 LOG(WARNING) << "Dumping thread list without holding thread_list_lock_";
1208 }
1209 }
1210 std::ostringstream ss;
Ian Rogers7b078e82014-09-10 14:44:24 -07001211 Runtime::Current()->GetThreadList()->Dump(ss);
Ian Rogers120f1c72012-09-28 17:17:10 -07001212 LOG(FATAL) << ss.str();
Ian Rogers01ae5802012-09-28 16:14:01 -07001213}
1214
Hiroshi Yamauchi02e7f1a2016-10-03 15:32:01 -07001215bool Thread::ModifySuspendCountInternal(Thread* self,
1216 int delta,
1217 AtomicInteger* suspend_barrier,
Alex Light46f93402017-06-29 11:59:50 -07001218 SuspendReason reason) {
Ian Rogers2966e132014-04-02 08:34:36 -07001219 if (kIsDebugBuild) {
1220 DCHECK(delta == -1 || delta == +1 || delta == -tls32_.debug_suspend_count)
Alex Light46f93402017-06-29 11:59:50 -07001221 << reason << " " << delta << " " << tls32_.debug_suspend_count << " " << this;
Ian Rogers2966e132014-04-02 08:34:36 -07001222 DCHECK_GE(tls32_.suspend_count, tls32_.debug_suspend_count) << this;
1223 Locks::thread_suspend_count_lock_->AssertHeld(self);
1224 if (this != self && !IsSuspended()) {
1225 Locks::thread_list_lock_->AssertHeld(self);
1226 }
Ian Rogerscfaa4552012-11-26 21:00:08 -08001227 }
Alex Light88fd7202017-06-30 08:31:59 -07001228 // User code suspensions need to be checked more closely since they originate from code outside of
1229 // the runtime's control.
1230 if (UNLIKELY(reason == SuspendReason::kForUserCode)) {
1231 Locks::user_code_suspension_lock_->AssertHeld(self);
1232 if (UNLIKELY(delta + tls32_.user_code_suspend_count < 0)) {
1233 LOG(ERROR) << "attempting to modify suspend count in an illegal way.";
1234 return false;
1235 }
1236 }
Ian Rogersdd7624d2014-03-14 17:43:00 -07001237 if (UNLIKELY(delta < 0 && tls32_.suspend_count <= 0)) {
Ian Rogers01ae5802012-09-28 16:14:01 -07001238 UnsafeLogFatalForSuspendCount(self, this);
Yu Lieac44242015-06-29 10:50:03 +08001239 return false;
1240 }
1241
Hiroshi Yamauchi02e7f1a2016-10-03 15:32:01 -07001242 if (kUseReadBarrier && delta > 0 && this != self && tlsPtr_.flip_function != nullptr) {
1243 // Force retry of a suspend request if it's in the middle of a thread flip to avoid a
1244 // deadlock. b/31683379.
1245 return false;
1246 }
1247
Yu Lieac44242015-06-29 10:50:03 +08001248 uint16_t flags = kSuspendRequest;
1249 if (delta > 0 && suspend_barrier != nullptr) {
1250 uint32_t available_barrier = kMaxSuspendBarriers;
1251 for (uint32_t i = 0; i < kMaxSuspendBarriers; ++i) {
1252 if (tlsPtr_.active_suspend_barriers[i] == nullptr) {
1253 available_barrier = i;
1254 break;
1255 }
1256 }
1257 if (available_barrier == kMaxSuspendBarriers) {
1258 // No barrier spaces available, we can't add another.
1259 return false;
1260 }
1261 tlsPtr_.active_suspend_barriers[available_barrier] = suspend_barrier;
1262 flags |= kActiveSuspendBarrier;
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001263 }
Ian Rogers01ae5802012-09-28 16:14:01 -07001264
Ian Rogersdd7624d2014-03-14 17:43:00 -07001265 tls32_.suspend_count += delta;
Alex Light46f93402017-06-29 11:59:50 -07001266 switch (reason) {
1267 case SuspendReason::kForDebugger:
1268 tls32_.debug_suspend_count += delta;
1269 break;
Alex Light88fd7202017-06-30 08:31:59 -07001270 case SuspendReason::kForUserCode:
1271 tls32_.user_code_suspend_count += delta;
1272 break;
Alex Light46f93402017-06-29 11:59:50 -07001273 case SuspendReason::kInternal:
1274 break;
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001275 }
Ian Rogers01ae5802012-09-28 16:14:01 -07001276
Ian Rogersdd7624d2014-03-14 17:43:00 -07001277 if (tls32_.suspend_count == 0) {
Ian Rogers474b6da2012-09-25 00:20:38 -07001278 AtomicClearFlag(kSuspendRequest);
1279 } else {
Yu Lieac44242015-06-29 10:50:03 +08001280 // Two bits might be set simultaneously.
1281 tls32_.state_and_flags.as_atomic_int.FetchAndOrSequentiallyConsistent(flags);
Dave Allisonb373e092014-02-20 16:06:36 -08001282 TriggerSuspend();
Ian Rogers474b6da2012-09-25 00:20:38 -07001283 }
Yu Lieac44242015-06-29 10:50:03 +08001284 return true;
1285}
1286
1287bool Thread::PassActiveSuspendBarriers(Thread* self) {
1288 // Grab the suspend_count lock and copy the current set of
1289 // barriers. Then clear the list and the flag. The ModifySuspendCount
1290 // function requires the lock so we prevent a race between setting
1291 // the kActiveSuspendBarrier flag and clearing it.
1292 AtomicInteger* pass_barriers[kMaxSuspendBarriers];
1293 {
1294 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
1295 if (!ReadFlag(kActiveSuspendBarrier)) {
1296 // quick exit test: the barriers have already been claimed - this is
1297 // possible as there may be a race to claim and it doesn't matter
1298 // who wins.
1299 // All of the callers of this function (except the SuspendAllInternal)
1300 // will first test the kActiveSuspendBarrier flag without lock. Here
1301 // double-check whether the barrier has been passed with the
1302 // suspend_count lock.
1303 return false;
1304 }
1305
1306 for (uint32_t i = 0; i < kMaxSuspendBarriers; ++i) {
1307 pass_barriers[i] = tlsPtr_.active_suspend_barriers[i];
1308 tlsPtr_.active_suspend_barriers[i] = nullptr;
1309 }
1310 AtomicClearFlag(kActiveSuspendBarrier);
1311 }
1312
1313 uint32_t barrier_count = 0;
1314 for (uint32_t i = 0; i < kMaxSuspendBarriers; i++) {
1315 AtomicInteger* pending_threads = pass_barriers[i];
1316 if (pending_threads != nullptr) {
1317 bool done = false;
1318 do {
1319 int32_t cur_val = pending_threads->LoadRelaxed();
1320 CHECK_GT(cur_val, 0) << "Unexpected value for PassActiveSuspendBarriers(): " << cur_val;
1321 // Reduce value by 1.
1322 done = pending_threads->CompareExchangeWeakRelaxed(cur_val, cur_val - 1);
1323#if ART_USE_FUTEXES
1324 if (done && (cur_val - 1) == 0) { // Weak CAS may fail spuriously.
1325 futex(pending_threads->Address(), FUTEX_WAKE, -1, nullptr, nullptr, 0);
1326 }
1327#endif
1328 } while (!done);
1329 ++barrier_count;
1330 }
1331 }
1332 CHECK_GT(barrier_count, 0U);
1333 return true;
1334}
1335
1336void Thread::ClearSuspendBarrier(AtomicInteger* target) {
1337 CHECK(ReadFlag(kActiveSuspendBarrier));
1338 bool clear_flag = true;
1339 for (uint32_t i = 0; i < kMaxSuspendBarriers; ++i) {
1340 AtomicInteger* ptr = tlsPtr_.active_suspend_barriers[i];
1341 if (ptr == target) {
1342 tlsPtr_.active_suspend_barriers[i] = nullptr;
1343 } else if (ptr != nullptr) {
1344 clear_flag = false;
1345 }
1346 }
1347 if (LIKELY(clear_flag)) {
1348 AtomicClearFlag(kActiveSuspendBarrier);
1349 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001350}
1351
Mathieu Chartier752a0e62013-06-27 11:03:27 -07001352void Thread::RunCheckpointFunction() {
Alex Lightdf00a1e2017-11-01 09:29:53 -07001353 // Grab the suspend_count lock, get the next checkpoint and update all the checkpoint fields. If
1354 // there are no more checkpoints we will also clear the kCheckpointRequest flag.
1355 Closure* checkpoint;
1356 {
1357 MutexLock mu(this, *Locks::thread_suspend_count_lock_);
1358 checkpoint = tlsPtr_.checkpoint_function;
1359 if (!checkpoint_overflow_.empty()) {
1360 // Overflow list not empty, copy the first one out and continue.
1361 tlsPtr_.checkpoint_function = checkpoint_overflow_.front();
1362 checkpoint_overflow_.pop_front();
1363 } else {
1364 // No overflow checkpoints. Clear the kCheckpointRequest flag
1365 tlsPtr_.checkpoint_function = nullptr;
1366 AtomicClearFlag(kCheckpointRequest);
Dave Allison0aded082013-11-07 13:15:11 -08001367 }
Alex Lightdf00a1e2017-11-01 09:29:53 -07001368 }
1369 // Outside the lock, run the checkpoint function.
1370 ScopedTrace trace("Run checkpoint function");
1371 CHECK(checkpoint != nullptr) << "Checkpoint flag set without pending checkpoint";
1372 checkpoint->Run(this);
Mathieu Chartier752a0e62013-06-27 11:03:27 -07001373}
1374
Hiroshi Yamauchi30493242016-11-03 13:06:52 -07001375void Thread::RunEmptyCheckpoint() {
1376 DCHECK_EQ(Thread::Current(), this);
1377 AtomicClearFlag(kEmptyCheckpointRequest);
1378 Runtime::Current()->GetThreadList()->EmptyCheckpointBarrier()->Pass(this);
1379}
1380
Mathieu Chartier0e4627e2012-10-23 16:13:36 -07001381bool Thread::RequestCheckpoint(Closure* function) {
Chris Dearman59cde532013-12-04 18:53:49 -08001382 union StateAndFlags old_state_and_flags;
Ian Rogersdd7624d2014-03-14 17:43:00 -07001383 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001384 if (old_state_and_flags.as_struct.state != kRunnable) {
1385 return false; // Fail, thread is suspended and so can't run a checkpoint.
1386 }
Dave Allison0aded082013-11-07 13:15:11 -08001387
Mathieu Chartier858f1c52012-10-17 17:45:55 -07001388 // We must be runnable to request a checkpoint.
Mathieu Chartier5f51d4b2013-12-03 14:24:05 -08001389 DCHECK_EQ(old_state_and_flags.as_struct.state, kRunnable);
Chris Dearman59cde532013-12-04 18:53:49 -08001390 union StateAndFlags new_state_and_flags;
1391 new_state_and_flags.as_int = old_state_and_flags.as_int;
Mathieu Chartier858f1c52012-10-17 17:45:55 -07001392 new_state_and_flags.as_struct.flags |= kCheckpointRequest;
Mathieu Chartiere401d142015-04-22 13:56:20 -07001393 bool success = tls32_.state_and_flags.as_atomic_int.CompareExchangeStrongSequentiallyConsistent(
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001394 old_state_and_flags.as_int, new_state_and_flags.as_int);
Mathieu Chartier952e1e32016-06-13 14:04:02 -07001395 if (success) {
1396 // Succeeded setting checkpoint flag, now insert the actual checkpoint.
1397 if (tlsPtr_.checkpoint_function == nullptr) {
1398 tlsPtr_.checkpoint_function = function;
1399 } else {
1400 checkpoint_overflow_.push_back(function);
1401 }
Dave Allison0aded082013-11-07 13:15:11 -08001402 CHECK_EQ(ReadFlag(kCheckpointRequest), true);
Dave Allisonb373e092014-02-20 16:06:36 -08001403 TriggerSuspend();
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001404 }
Ian Rogers8c1b5f72014-07-09 22:02:36 -07001405 return success;
Mathieu Chartier858f1c52012-10-17 17:45:55 -07001406}
1407
Hiroshi Yamauchi30493242016-11-03 13:06:52 -07001408bool Thread::RequestEmptyCheckpoint() {
1409 union StateAndFlags old_state_and_flags;
1410 old_state_and_flags.as_int = tls32_.state_and_flags.as_int;
1411 if (old_state_and_flags.as_struct.state != kRunnable) {
1412 // If it's not runnable, we don't need to do anything because it won't be in the middle of a
1413 // heap access (eg. the read barrier).
1414 return false;
1415 }
1416
1417 // We must be runnable to request a checkpoint.
1418 DCHECK_EQ(old_state_and_flags.as_struct.state, kRunnable);
1419 union StateAndFlags new_state_and_flags;
1420 new_state_and_flags.as_int = old_state_and_flags.as_int;
1421 new_state_and_flags.as_struct.flags |= kEmptyCheckpointRequest;
1422 bool success = tls32_.state_and_flags.as_atomic_int.CompareExchangeStrongSequentiallyConsistent(
1423 old_state_and_flags.as_int, new_state_and_flags.as_int);
1424 if (success) {
1425 TriggerSuspend();
1426 }
1427 return success;
1428}
1429
Andreas Gampee9f67122016-10-27 19:21:23 -07001430class BarrierClosure : public Closure {
1431 public:
1432 explicit BarrierClosure(Closure* wrapped) : wrapped_(wrapped), barrier_(0) {}
1433
1434 void Run(Thread* self) OVERRIDE {
1435 wrapped_->Run(self);
1436 barrier_.Pass(self);
1437 }
1438
1439 void Wait(Thread* self) {
1440 barrier_.Increment(self, 1);
1441 }
1442
1443 private:
1444 Closure* wrapped_;
1445 Barrier barrier_;
1446};
1447
Alex Lightb1e31a82017-10-04 16:57:36 -07001448// RequestSynchronousCheckpoint releases the thread_list_lock_ as a part of its execution.
Andreas Gampe28c4a232017-06-21 21:21:31 -07001449bool Thread::RequestSynchronousCheckpoint(Closure* function) {
Alex Lightb1e31a82017-10-04 16:57:36 -07001450 Thread* self = Thread::Current();
Andreas Gampee9f67122016-10-27 19:21:23 -07001451 if (this == Thread::Current()) {
Alex Lightb1e31a82017-10-04 16:57:36 -07001452 Locks::thread_list_lock_->AssertExclusiveHeld(self);
1453 // Unlock the tll before running so that the state is the same regardless of thread.
1454 Locks::thread_list_lock_->ExclusiveUnlock(self);
Andreas Gampee9f67122016-10-27 19:21:23 -07001455 // Asked to run on this thread. Just run.
1456 function->Run(this);
Andreas Gampe28c4a232017-06-21 21:21:31 -07001457 return true;
Andreas Gampee9f67122016-10-27 19:21:23 -07001458 }
Andreas Gampee9f67122016-10-27 19:21:23 -07001459
1460 // The current thread is not this thread.
1461
Andreas Gampe28c4a232017-06-21 21:21:31 -07001462 if (GetState() == ThreadState::kTerminated) {
Alex Lightb1e31a82017-10-04 16:57:36 -07001463 Locks::thread_list_lock_->ExclusiveUnlock(self);
Andreas Gampe28c4a232017-06-21 21:21:31 -07001464 return false;
1465 }
1466
Andreas Gampe28c4a232017-06-21 21:21:31 -07001467 struct ScopedThreadListLockUnlock {
1468 explicit ScopedThreadListLockUnlock(Thread* self_in) RELEASE(*Locks::thread_list_lock_)
1469 : self_thread(self_in) {
1470 Locks::thread_list_lock_->AssertHeld(self_thread);
1471 Locks::thread_list_lock_->Unlock(self_thread);
1472 }
1473
1474 ~ScopedThreadListLockUnlock() ACQUIRE(*Locks::thread_list_lock_) {
1475 Locks::thread_list_lock_->AssertNotHeld(self_thread);
1476 Locks::thread_list_lock_->Lock(self_thread);
1477 }
1478
1479 Thread* self_thread;
1480 };
1481
Andreas Gampee9f67122016-10-27 19:21:23 -07001482 for (;;) {
Alex Lightb1e31a82017-10-04 16:57:36 -07001483 Locks::thread_list_lock_->AssertExclusiveHeld(self);
Andreas Gampee9f67122016-10-27 19:21:23 -07001484 // If this thread is runnable, try to schedule a checkpoint. Do some gymnastics to not hold the
1485 // suspend-count lock for too long.
1486 if (GetState() == ThreadState::kRunnable) {
1487 BarrierClosure barrier_closure(function);
1488 bool installed = false;
1489 {
1490 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
1491 installed = RequestCheckpoint(&barrier_closure);
1492 }
1493 if (installed) {
Alex Lightb1e31a82017-10-04 16:57:36 -07001494 // Relinquish the thread-list lock. We should not wait holding any locks. We cannot
1495 // reacquire it since we don't know if 'this' hasn't been deleted yet.
1496 Locks::thread_list_lock_->ExclusiveUnlock(self);
Andreas Gampe28c4a232017-06-21 21:21:31 -07001497 ScopedThreadSuspension sts(self, ThreadState::kWaiting);
Andreas Gampee9f67122016-10-27 19:21:23 -07001498 barrier_closure.Wait(self);
Andreas Gampe28c4a232017-06-21 21:21:31 -07001499 return true;
Andreas Gampee9f67122016-10-27 19:21:23 -07001500 }
1501 // Fall-through.
1502 }
1503
1504 // This thread is not runnable, make sure we stay suspended, then run the checkpoint.
1505 // Note: ModifySuspendCountInternal also expects the thread_list_lock to be held in
1506 // certain situations.
1507 {
Andreas Gampee9f67122016-10-27 19:21:23 -07001508 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
1509
Alex Light46f93402017-06-29 11:59:50 -07001510 if (!ModifySuspendCount(self, +1, nullptr, SuspendReason::kInternal)) {
Andreas Gampee9f67122016-10-27 19:21:23 -07001511 // Just retry the loop.
1512 sched_yield();
1513 continue;
1514 }
1515 }
1516
Andreas Gampe28c4a232017-06-21 21:21:31 -07001517 {
Alex Lightb1e31a82017-10-04 16:57:36 -07001518 // Release for the wait. The suspension will keep us from being deleted. Reacquire after so
1519 // that we can call ModifySuspendCount without racing against ThreadList::Unregister.
Andreas Gampe28c4a232017-06-21 21:21:31 -07001520 ScopedThreadListLockUnlock stllu(self);
Andreas Gampe117f9b32017-06-23 13:33:50 -07001521 {
1522 ScopedThreadSuspension sts(self, ThreadState::kWaiting);
1523 while (GetState() == ThreadState::kRunnable) {
1524 // We became runnable again. Wait till the suspend triggered in ModifySuspendCount
1525 // moves us to suspended.
1526 sched_yield();
1527 }
Andreas Gampe28c4a232017-06-21 21:21:31 -07001528 }
1529
1530 function->Run(this);
Andreas Gampee9f67122016-10-27 19:21:23 -07001531 }
1532
Andreas Gampee9f67122016-10-27 19:21:23 -07001533 {
Andreas Gampee9f67122016-10-27 19:21:23 -07001534 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
1535
1536 DCHECK_NE(GetState(), ThreadState::kRunnable);
Alex Light46f93402017-06-29 11:59:50 -07001537 bool updated = ModifySuspendCount(self, -1, nullptr, SuspendReason::kInternal);
Sebastien Hertz1c8f4ff2017-04-14 15:05:12 +02001538 DCHECK(updated);
Andreas Gampee9f67122016-10-27 19:21:23 -07001539 }
1540
Andreas Gampe117f9b32017-06-23 13:33:50 -07001541 {
1542 // Imitate ResumeAll, the thread may be waiting on Thread::resume_cond_ since we raised its
1543 // suspend count. Now the suspend_count_ is lowered so we must do the broadcast.
1544 MutexLock mu2(self, *Locks::thread_suspend_count_lock_);
1545 Thread::resume_cond_->Broadcast(self);
1546 }
1547
Alex Lightb1e31a82017-10-04 16:57:36 -07001548 // Release the thread_list_lock_ to be consistent with the barrier-closure path.
1549 Locks::thread_list_lock_->ExclusiveUnlock(self);
1550
Andreas Gampe28c4a232017-06-21 21:21:31 -07001551 return true; // We're done, break out of the loop.
Andreas Gampee9f67122016-10-27 19:21:23 -07001552 }
1553}
1554
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08001555Closure* Thread::GetFlipFunction() {
1556 Atomic<Closure*>* atomic_func = reinterpret_cast<Atomic<Closure*>*>(&tlsPtr_.flip_function);
1557 Closure* func;
1558 do {
1559 func = atomic_func->LoadRelaxed();
1560 if (func == nullptr) {
1561 return nullptr;
1562 }
1563 } while (!atomic_func->CompareExchangeWeakSequentiallyConsistent(func, nullptr));
1564 DCHECK(func != nullptr);
1565 return func;
1566}
1567
1568void Thread::SetFlipFunction(Closure* function) {
1569 CHECK(function != nullptr);
1570 Atomic<Closure*>* atomic_func = reinterpret_cast<Atomic<Closure*>*>(&tlsPtr_.flip_function);
1571 atomic_func->StoreSequentiallyConsistent(function);
1572}
1573
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001574void Thread::FullSuspendCheck() {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -08001575 ScopedTrace trace(__FUNCTION__);
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001576 VLOG(threads) << this << " self-suspending";
1577 // Make thread appear suspended to other threads, release mutator_lock_.
Mathieu Chartierf1d666e2015-09-03 16:13:34 -07001578 // Transition to suspended and back to runnable, re-acquire share on mutator_lock_.
1579 ScopedThreadSuspension(this, kSuspended);
Ian Rogers00f7d0e2012-07-19 15:28:27 -07001580 VLOG(threads) << this << " self-reviving";
1581}
1582
Andreas Gampe9186ced2016-12-12 14:28:21 -08001583static std::string GetSchedulerGroupName(pid_t tid) {
1584 // /proc/<pid>/cgroup looks like this:
1585 // 2:devices:/
1586 // 1:cpuacct,cpu:/
1587 // We want the third field from the line whose second field contains the "cpu" token.
1588 std::string cgroup_file;
1589 if (!ReadFileToString(StringPrintf("/proc/self/task/%d/cgroup", tid), &cgroup_file)) {
1590 return "";
1591 }
1592 std::vector<std::string> cgroup_lines;
1593 Split(cgroup_file, '\n', &cgroup_lines);
1594 for (size_t i = 0; i < cgroup_lines.size(); ++i) {
1595 std::vector<std::string> cgroup_fields;
1596 Split(cgroup_lines[i], ':', &cgroup_fields);
1597 std::vector<std::string> cgroups;
1598 Split(cgroup_fields[1], ',', &cgroups);
1599 for (size_t j = 0; j < cgroups.size(); ++j) {
1600 if (cgroups[j] == "cpu") {
1601 return cgroup_fields[2].substr(1); // Skip the leading slash.
1602 }
1603 }
1604 }
1605 return "";
1606}
1607
1608
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001609void Thread::DumpState(std::ostream& os, const Thread* thread, pid_t tid) {
Elliott Hughesd369bb72011-09-12 14:41:14 -07001610 std::string group_name;
1611 int priority;
1612 bool is_daemon = false;
Ian Rogers81d425b2012-09-27 16:03:43 -07001613 Thread* self = Thread::Current();
Elliott Hughesdcc24742011-09-07 14:02:44 -07001614
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08001615 // If flip_function is not null, it means we have run a checkpoint
1616 // before the thread wakes up to execute the flip function and the
1617 // thread roots haven't been forwarded. So the following access to
1618 // the roots (opeer or methods in the frames) would be bad. Run it
1619 // here. TODO: clean up.
1620 if (thread != nullptr) {
1621 ScopedObjectAccessUnchecked soa(self);
1622 Thread* this_thread = const_cast<Thread*>(thread);
1623 Closure* flip_func = this_thread->GetFlipFunction();
1624 if (flip_func != nullptr) {
1625 flip_func->Run(this_thread);
1626 }
1627 }
1628
Mathieu Chartierc7a966d2014-04-10 18:06:32 -07001629 // Don't do this if we are aborting since the GC may have all the threads suspended. This will
1630 // cause ScopedObjectAccessUnchecked to deadlock.
Nicolas Geoffraydb978712014-12-09 13:33:38 +00001631 if (gAborting == 0 && self != nullptr && thread != nullptr && thread->tlsPtr_.opeer != nullptr) {
Ian Rogerscfaa4552012-11-26 21:00:08 -08001632 ScopedObjectAccessUnchecked soa(self);
Andreas Gampe08883de2016-11-08 13:20:52 -08001633 priority = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_priority)
Ian Rogersdd7624d2014-03-14 17:43:00 -07001634 ->GetInt(thread->tlsPtr_.opeer);
Andreas Gampe08883de2016-11-08 13:20:52 -08001635 is_daemon = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_daemon)
Ian Rogersdd7624d2014-03-14 17:43:00 -07001636 ->GetBoolean(thread->tlsPtr_.opeer);
Elliott Hughesd369bb72011-09-12 14:41:14 -07001637
Mathieu Chartier3398c782016-09-30 10:27:43 -07001638 ObjPtr<mirror::Object> thread_group =
Andreas Gampe08883de2016-11-08 13:20:52 -08001639 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_group)
1640 ->GetObject(thread->tlsPtr_.opeer);
Ian Rogers120f1c72012-09-28 17:17:10 -07001641
Dave Allison0aded082013-11-07 13:15:11 -08001642 if (thread_group != nullptr) {
Mathieu Chartierc7853442015-03-27 14:35:38 -07001643 ArtField* group_name_field =
Andreas Gampe08883de2016-11-08 13:20:52 -08001644 jni::DecodeArtField(WellKnownClasses::java_lang_ThreadGroup_name);
Mathieu Chartier3398c782016-09-30 10:27:43 -07001645 ObjPtr<mirror::String> group_name_string =
1646 group_name_field->GetObject(thread_group)->AsString();
Dave Allison0aded082013-11-07 13:15:11 -08001647 group_name = (group_name_string != nullptr) ? group_name_string->ToModifiedUtf8() : "<null>";
Elliott Hughesd369bb72011-09-12 14:41:14 -07001648 }
1649 } else {
Elliott Hughesd369bb72011-09-12 14:41:14 -07001650 priority = GetNativePriority();
Elliott Hughesdcc24742011-09-07 14:02:44 -07001651 }
Elliott Hughesd92bec42011-09-02 17:04:36 -07001652
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001653 std::string scheduler_group_name(GetSchedulerGroupName(tid));
Elliott Hughes1bac54f2012-03-16 12:48:31 -07001654 if (scheduler_group_name.empty()) {
1655 scheduler_group_name = "default";
Elliott Hughesd92bec42011-09-02 17:04:36 -07001656 }
1657
Dave Allison0aded082013-11-07 13:15:11 -08001658 if (thread != nullptr) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001659 os << '"' << *thread->tlsPtr_.name << '"';
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001660 if (is_daemon) {
1661 os << " daemon";
1662 }
1663 os << " prio=" << priority
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001664 << " tid=" << thread->GetThreadId()
Elliott Hughes80537bb2013-01-04 16:37:26 -08001665 << " " << thread->GetState();
1666 if (thread->IsStillStarting()) {
1667 os << " (still starting up)";
1668 }
1669 os << "\n";
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001670 } else {
Elliott Hughes289be852012-06-12 13:57:20 -07001671 os << '"' << ::art::GetThreadName(tid) << '"'
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001672 << " prio=" << priority
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001673 << " (not attached)\n";
Elliott Hughesd92bec42011-09-02 17:04:36 -07001674 }
Elliott Hughesd92bec42011-09-02 17:04:36 -07001675
Dave Allison0aded082013-11-07 13:15:11 -08001676 if (thread != nullptr) {
Ian Rogers81d425b2012-09-27 16:03:43 -07001677 MutexLock mu(self, *Locks::thread_suspend_count_lock_);
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001678 os << " | group=\"" << group_name << "\""
Ian Rogersdd7624d2014-03-14 17:43:00 -07001679 << " sCount=" << thread->tls32_.suspend_count
1680 << " dsCount=" << thread->tls32_.debug_suspend_count
Hiroshi Yamauchia82769c2016-12-02 17:01:51 -08001681 << " flags=" << thread->tls32_.state_and_flags.as_struct.flags
Ian Rogersdd7624d2014-03-14 17:43:00 -07001682 << " obj=" << reinterpret_cast<void*>(thread->tlsPtr_.opeer)
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001683 << " self=" << reinterpret_cast<const void*>(thread) << "\n";
1684 }
Elliott Hughes0d39c122012-06-06 16:41:17 -07001685
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001686 os << " | sysTid=" << tid
1687 << " nice=" << getpriority(PRIO_PROCESS, tid)
Elliott Hughes0d39c122012-06-06 16:41:17 -07001688 << " cgrp=" << scheduler_group_name;
Dave Allison0aded082013-11-07 13:15:11 -08001689 if (thread != nullptr) {
Elliott Hughes0d39c122012-06-06 16:41:17 -07001690 int policy;
1691 sched_param sp;
Brian Carlstrom640a1042017-03-20 15:03:42 -07001692#if !defined(__APPLE__)
1693 // b/36445592 Don't use pthread_getschedparam since pthread may have exited.
1694 policy = sched_getscheduler(tid);
1695 if (policy == -1) {
1696 PLOG(WARNING) << "sched_getscheduler(" << tid << ")";
1697 }
1698 int sched_getparam_result = sched_getparam(tid, &sp);
1699 if (sched_getparam_result == -1) {
1700 PLOG(WARNING) << "sched_getparam(" << tid << ", &sp)";
1701 sp.sched_priority = -1;
1702 }
1703#else
Ian Rogersdd7624d2014-03-14 17:43:00 -07001704 CHECK_PTHREAD_CALL(pthread_getschedparam, (thread->tlsPtr_.pthread_self, &policy, &sp),
1705 __FUNCTION__);
Brian Carlstrom640a1042017-03-20 15:03:42 -07001706#endif
Elliott Hughes0d39c122012-06-06 16:41:17 -07001707 os << " sched=" << policy << "/" << sp.sched_priority
Ian Rogersdd7624d2014-03-14 17:43:00 -07001708 << " handle=" << reinterpret_cast<void*>(thread->tlsPtr_.pthread_self);
Elliott Hughes0d39c122012-06-06 16:41:17 -07001709 }
1710 os << "\n";
Elliott Hughesd92bec42011-09-02 17:04:36 -07001711
1712 // Grab the scheduler stats for this thread.
1713 std::string scheduler_stats;
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001714 if (ReadFileToString(StringPrintf("/proc/self/task/%d/schedstat", tid), &scheduler_stats)) {
Brian Carlstrom7934ac22013-07-26 10:54:15 -07001715 scheduler_stats.resize(scheduler_stats.size() - 1); // Lose the trailing '\n'.
Elliott Hughesd92bec42011-09-02 17:04:36 -07001716 } else {
1717 scheduler_stats = "0 0 0";
1718 }
1719
Elliott Hughesba0b9c52012-09-20 11:25:12 -07001720 char native_thread_state = '?';
Elliott Hughesd92bec42011-09-02 17:04:36 -07001721 int utime = 0;
1722 int stime = 0;
1723 int task_cpu = 0;
Brian Carlstrom29212012013-09-12 22:18:30 -07001724 GetTaskStats(tid, &native_thread_state, &utime, &stime, &task_cpu);
Elliott Hughesd92bec42011-09-02 17:04:36 -07001725
Elliott Hughesba0b9c52012-09-20 11:25:12 -07001726 os << " | state=" << native_thread_state
1727 << " schedstat=( " << scheduler_stats << " )"
Elliott Hughesd92bec42011-09-02 17:04:36 -07001728 << " utm=" << utime
1729 << " stm=" << stime
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001730 << " core=" << task_cpu
1731 << " HZ=" << sysconf(_SC_CLK_TCK) << "\n";
Dave Allison0aded082013-11-07 13:15:11 -08001732 if (thread != nullptr) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07001733 os << " | stack=" << reinterpret_cast<void*>(thread->tlsPtr_.stack_begin) << "-"
1734 << reinterpret_cast<void*>(thread->tlsPtr_.stack_end) << " stackSize="
1735 << PrettySize(thread->tlsPtr_.stack_size) << "\n";
Mathieu Chartier9db911e2014-06-04 11:23:58 -07001736 // Dump the held mutexes.
1737 os << " | held mutexes=";
1738 for (size_t i = 0; i < kLockLevelCount; ++i) {
1739 if (i != kMonitorLock) {
1740 BaseMutex* mutex = thread->GetHeldMutex(static_cast<LockLevel>(i));
1741 if (mutex != nullptr) {
1742 os << " \"" << mutex->GetName() << "\"";
1743 if (mutex->IsReaderWriterMutex()) {
1744 ReaderWriterMutex* rw_mutex = down_cast<ReaderWriterMutex*>(mutex);
Hans Boehm0882af22017-08-31 15:21:57 -07001745 if (rw_mutex->GetExclusiveOwnerTid() == tid) {
Mathieu Chartier9db911e2014-06-04 11:23:58 -07001746 os << "(exclusive held)";
1747 } else {
Mathieu Chartier9db911e2014-06-04 11:23:58 -07001748 os << "(shared held)";
1749 }
1750 }
1751 }
1752 }
1753 }
1754 os << "\n";
Elliott Hughesabbe07d2012-06-05 17:42:23 -07001755 }
1756}
1757
1758void Thread::DumpState(std::ostream& os) const {
1759 Thread::DumpState(os, this, GetTid());
Elliott Hughesd92bec42011-09-02 17:04:36 -07001760}
1761
Andreas Gampe93104952017-12-13 17:13:15 -08001762struct StackDumpVisitor : public MonitorObjectsStackVisitor {
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08001763 StackDumpVisitor(std::ostream& os_in,
1764 Thread* thread_in,
1765 Context* context,
Andreas Gampe93104952017-12-13 17:13:15 -08001766 bool can_allocate,
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08001767 bool check_suspended = true,
Andreas Gampe93104952017-12-13 17:13:15 -08001768 bool dump_locks = true)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001769 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampe93104952017-12-13 17:13:15 -08001770 : MonitorObjectsStackVisitor(thread_in,
1771 context,
1772 check_suspended,
1773 can_allocate && dump_locks),
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +01001774 os(os_in),
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +01001775 last_method(nullptr),
1776 last_line_number(0),
Andreas Gampe93104952017-12-13 17:13:15 -08001777 repetition_count(0) {}
Elliott Hughesd369bb72011-09-12 14:41:14 -07001778
Ian Rogersbdb03912011-09-14 00:55:44 -07001779 virtual ~StackDumpVisitor() {
Elliott Hughese85d2e92012-05-01 14:02:10 -07001780 if (frame_count == 0) {
1781 os << " (no managed stack frames)\n";
1782 }
Elliott Hughesd369bb72011-09-12 14:41:14 -07001783 }
1784
Andreas Gampe93104952017-12-13 17:13:15 -08001785 static constexpr size_t kMaxRepetition = 3u;
1786
1787 VisitMethodResult StartMethod(ArtMethod* m, size_t frame_nr ATTRIBUTE_UNUSED)
1788 OVERRIDE
1789 REQUIRES_SHARED(Locks::mutator_lock_) {
Andreas Gampe542451c2016-07-26 09:02:02 -07001790 m = m->GetInterfaceMethodIfProxy(kRuntimePointerSize);
Mathieu Chartierf5769e12017-01-10 15:54:41 -08001791 ObjPtr<mirror::Class> c = m->GetDeclaringClass();
1792 ObjPtr<mirror::DexCache> dex_cache = c->GetDexCache();
Ian Rogersb861dc02011-11-14 17:00:05 -08001793 int line_number = -1;
Dave Allison0aded082013-11-07 13:15:11 -08001794 if (dex_cache != nullptr) { // be tolerant of bad input
David Sehr9323e6e2016-09-13 08:58:35 -07001795 const DexFile* dex_file = dex_cache->GetDexFile();
1796 line_number = annotations::GetLineNumFromPC(dex_file, m, GetDexPc(false));
Ian Rogersb861dc02011-11-14 17:00:05 -08001797 }
Ian Rogers28ad40d2011-10-27 15:19:26 -07001798 if (line_number == last_line_number && last_method == m) {
Dave Allison0aded082013-11-07 13:15:11 -08001799 ++repetition_count;
Elliott Hughesd369bb72011-09-12 14:41:14 -07001800 } else {
Ian Rogers28ad40d2011-10-27 15:19:26 -07001801 if (repetition_count >= kMaxRepetition) {
1802 os << " ... repeated " << (repetition_count - kMaxRepetition) << " times\n";
1803 }
1804 repetition_count = 0;
1805 last_line_number = line_number;
1806 last_method = m;
Elliott Hughesd369bb72011-09-12 14:41:14 -07001807 }
Andreas Gampe93104952017-12-13 17:13:15 -08001808
1809 if (repetition_count >= kMaxRepetition) {
1810 // Skip visiting=printing anything.
1811 return VisitMethodResult::kSkipMethod;
Ian Rogers28ad40d2011-10-27 15:19:26 -07001812 }
Elliott Hughes8e4aac52011-09-26 17:03:36 -07001813
Andreas Gampe93104952017-12-13 17:13:15 -08001814 os << " at " << m->PrettyMethod(false);
1815 if (m->IsNative()) {
1816 os << "(Native method)";
1817 } else {
1818 const char* source_file(m->GetDeclaringClassSourceFile());
1819 os << "(" << (source_file != nullptr ? source_file : "unavailable")
1820 << ":" << line_number << ")";
1821 }
1822 os << "\n";
1823 // Go and visit locks.
1824 return VisitMethodResult::kContinueMethod;
Elliott Hughesd369bb72011-09-12 14:41:14 -07001825 }
Elliott Hughes4993bbc2013-01-10 15:41:25 -08001826
Andreas Gampe93104952017-12-13 17:13:15 -08001827 VisitMethodResult EndMethod(ArtMethod* m ATTRIBUTE_UNUSED) OVERRIDE {
1828 return VisitMethodResult::kContinueMethod;
1829 }
1830
1831 void VisitWaitingObject(mirror::Object* obj, ThreadState state ATTRIBUTE_UNUSED)
1832 OVERRIDE
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001833 REQUIRES_SHARED(Locks::mutator_lock_) {
Andreas Gampe93104952017-12-13 17:13:15 -08001834 PrintObject(obj, " - waiting on ", ThreadList::kInvalidThreadId);
1835 }
1836 void VisitSleepingObject(mirror::Object* obj)
1837 OVERRIDE
1838 REQUIRES_SHARED(Locks::mutator_lock_) {
1839 PrintObject(obj, " - sleeping on ", ThreadList::kInvalidThreadId);
1840 }
1841 void VisitBlockedOnObject(mirror::Object* obj,
1842 ThreadState state,
1843 uint32_t owner_tid)
1844 OVERRIDE
1845 REQUIRES_SHARED(Locks::mutator_lock_) {
1846 const char* msg;
1847 switch (state) {
1848 case kBlocked:
1849 msg = " - waiting to lock ";
1850 break;
1851
1852 case kWaitingForLockInflation:
1853 msg = " - waiting for lock inflation of ";
1854 break;
1855
1856 default:
1857 LOG(FATAL) << "Unreachable";
1858 UNREACHABLE();
1859 }
1860 PrintObject(obj, msg, owner_tid);
1861 }
1862 void VisitLockedObject(mirror::Object* obj)
1863 OVERRIDE
1864 REQUIRES_SHARED(Locks::mutator_lock_) {
1865 PrintObject(obj, " - locked ", ThreadList::kInvalidThreadId);
1866 }
1867
1868 void PrintObject(mirror::Object* obj,
1869 const char* msg,
1870 uint32_t owner_tid) REQUIRES_SHARED(Locks::mutator_lock_) {
1871 if (obj == nullptr) {
1872 os << msg << "an unknown object";
Ian Rogersd803bc72014-04-01 15:33:03 -07001873 } else {
Andreas Gampe93104952017-12-13 17:13:15 -08001874 if ((obj->GetLockWord(true).GetState() == LockWord::kThinLocked) &&
Ian Rogersd803bc72014-04-01 15:33:03 -07001875 Locks::mutator_lock_->IsExclusiveHeld(Thread::Current())) {
1876 // Getting the identity hashcode here would result in lock inflation and suspension of the
1877 // current thread, which isn't safe if this is the only runnable thread.
Andreas Gampe93104952017-12-13 17:13:15 -08001878 os << msg << StringPrintf("<@addr=0x%" PRIxPTR "> (a %s)",
1879 reinterpret_cast<intptr_t>(obj),
1880 obj->PrettyTypeOf().c_str());
Ian Rogersd803bc72014-04-01 15:33:03 -07001881 } else {
Andreas Gampe93104952017-12-13 17:13:15 -08001882 // - waiting on <0x6008c468> (a java.lang.Class<java.lang.ref.ReferenceQueue>)
1883 // Call PrettyTypeOf before IdentityHashCode since IdentityHashCode can cause thread
1884 // suspension and move pretty_object.
1885 const std::string pretty_type(obj->PrettyTypeOf());
1886 os << msg << StringPrintf("<0x%08x> (a %s)", obj->IdentityHashCode(), pretty_type.c_str());
Ian Rogersd803bc72014-04-01 15:33:03 -07001887 }
1888 }
Andreas Gampe93104952017-12-13 17:13:15 -08001889 if (owner_tid != ThreadList::kInvalidThreadId) {
1890 os << " held by thread " << owner_tid;
1891 }
Ian Rogersd803bc72014-04-01 15:33:03 -07001892 os << "\n";
Elliott Hughes4993bbc2013-01-10 15:41:25 -08001893 }
1894
Elliott Hughes08fc03a2012-06-26 17:34:00 -07001895 std::ostream& os;
Mathieu Chartiere401d142015-04-22 13:56:20 -07001896 ArtMethod* last_method;
Ian Rogers28ad40d2011-10-27 15:19:26 -07001897 int last_line_number;
Andreas Gampe93104952017-12-13 17:13:15 -08001898 size_t repetition_count;
Elliott Hughesd369bb72011-09-12 14:41:14 -07001899};
1900
Ian Rogers33e95662013-05-20 20:29:14 -07001901static bool ShouldShowNativeStack(const Thread* thread)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001902 REQUIRES_SHARED(Locks::mutator_lock_) {
Elliott Hughesaef701d2013-04-05 18:15:40 -07001903 ThreadState state = thread->GetState();
1904
1905 // In native code somewhere in the VM (one of the kWaitingFor* states)? That's interesting.
1906 if (state > kWaiting && state < kStarting) {
1907 return true;
1908 }
1909
1910 // In an Object.wait variant or Thread.sleep? That's not interesting.
1911 if (state == kTimedWaiting || state == kSleeping || state == kWaiting) {
1912 return false;
1913 }
1914
Christopher Ferris2366f4e2014-09-19 17:23:59 -07001915 // Threads with no managed stack frames should be shown.
Vladimir Markoe7441632017-11-29 13:00:56 +00001916 if (!thread->HasManagedStack()) {
Christopher Ferris2366f4e2014-09-19 17:23:59 -07001917 return true;
1918 }
1919
Elliott Hughesaef701d2013-04-05 18:15:40 -07001920 // In some other native method? That's interesting.
1921 // We don't just check kNative because native methods will be in state kSuspended if they're
1922 // calling back into the VM, or kBlocked if they're blocked on a monitor, or one of the
1923 // thread-startup states if it's early enough in their life cycle (http://b/7432159).
Mathieu Chartiere401d142015-04-22 13:56:20 -07001924 ArtMethod* current_method = thread->GetCurrentMethod(nullptr);
Dave Allison0aded082013-11-07 13:15:11 -08001925 return current_method != nullptr && current_method->IsNative();
Elliott Hughesaef701d2013-04-05 18:15:40 -07001926}
1927
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08001928void Thread::DumpJavaStack(std::ostream& os, bool check_suspended, bool dump_locks) const {
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08001929 // If flip_function is not null, it means we have run a checkpoint
1930 // before the thread wakes up to execute the flip function and the
1931 // thread roots haven't been forwarded. So the following access to
1932 // the roots (locks or methods in the frames) would be bad. Run it
1933 // here. TODO: clean up.
1934 {
1935 Thread* this_thread = const_cast<Thread*>(this);
1936 Closure* flip_func = this_thread->GetFlipFunction();
1937 if (flip_func != nullptr) {
1938 flip_func->Run(this_thread);
1939 }
1940 }
1941
Andreas Gampe986c6fb2014-10-02 21:00:06 -07001942 // Dumping the Java stack involves the verifier for locks. The verifier operates under the
1943 // assumption that there is no exception pending on entry. Thus, stash any pending exception.
Mathieu Chartierbef89c92015-01-09 09:46:49 -08001944 // Thread::Current() instead of this in case a thread is dumping the stack of another suspended
1945 // thread.
Nicolas Geoffray14691c52015-03-05 10:40:17 +00001946 StackHandleScope<1> scope(Thread::Current());
Andreas Gampe986c6fb2014-10-02 21:00:06 -07001947 Handle<mirror::Throwable> exc;
Andreas Gampe986c6fb2014-10-02 21:00:06 -07001948 bool have_exception = false;
1949 if (IsExceptionPending()) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +00001950 exc = scope.NewHandle(GetException());
Andreas Gampe986c6fb2014-10-02 21:00:06 -07001951 const_cast<Thread*>(this)->ClearException();
1952 have_exception = true;
1953 }
1954
Ian Rogers700a4022014-05-19 16:49:03 -07001955 std::unique_ptr<Context> context(Context::Create());
Mathieu Chartierc751fdc2014-03-30 15:25:44 -07001956 StackDumpVisitor dumper(os, const_cast<Thread*>(this), context.get(),
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08001957 !tls32_.throwing_OutOfMemoryError, check_suspended, dump_locks);
Mathieu Chartierc751fdc2014-03-30 15:25:44 -07001958 dumper.WalkStack();
Andreas Gampe986c6fb2014-10-02 21:00:06 -07001959
1960 if (have_exception) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +00001961 const_cast<Thread*>(this)->SetException(exc.Get());
Andreas Gampe986c6fb2014-10-02 21:00:06 -07001962 }
Mathieu Chartierc751fdc2014-03-30 15:25:44 -07001963}
1964
Nicolas Geoffraya73280d2016-02-15 13:05:16 +00001965void Thread::DumpStack(std::ostream& os,
1966 bool dump_native_stack,
Hiroshi Yamauchi13c16352017-01-31 10:15:08 -08001967 BacktraceMap* backtrace_map,
1968 bool force_dump_stack) const {
Jeff Haoed1790e2013-04-12 09:58:14 -07001969 // TODO: we call this code when dying but may not have suspended the thread ourself. The
1970 // IsSuspended check is therefore racy with the use for dumping (normally we inhibit
1971 // the race with the thread_suspend_count_lock_).
Ian Rogerseef2e542014-06-24 22:48:01 -07001972 bool dump_for_abort = (gAborting > 0);
1973 bool safe_to_dump = (this == Thread::Current() || IsSuspended());
1974 if (!kIsDebugBuild) {
1975 // We always want to dump the stack for an abort, however, there is no point dumping another
1976 // thread's stack in debug builds where we'll hit the not suspended check in the stack walk.
1977 safe_to_dump = (safe_to_dump || dump_for_abort);
1978 }
Hiroshi Yamauchi13c16352017-01-31 10:15:08 -08001979 if (safe_to_dump || force_dump_stack) {
Ian Rogersf08e4732013-04-09 09:45:49 -07001980 // If we're currently in native code, dump that stack before dumping the managed stack.
Hiroshi Yamauchi13c16352017-01-31 10:15:08 -08001981 if (dump_native_stack && (dump_for_abort || force_dump_stack || ShouldShowNativeStack(this))) {
Ian Rogersf08e4732013-04-09 09:45:49 -07001982 DumpKernelStack(os, GetTid(), " kernel: ", false);
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08001983 ArtMethod* method =
1984 GetCurrentMethod(nullptr,
1985 /*check_suspended*/ !force_dump_stack,
1986 /*abort_on_error*/ !(dump_for_abort || force_dump_stack));
Christopher Ferris6cff48f2014-01-26 21:36:13 -08001987 DumpNativeStack(os, GetTid(), backtrace_map, " native: ", method);
Ian Rogersf08e4732013-04-09 09:45:49 -07001988 }
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08001989 DumpJavaStack(os,
1990 /*check_suspended*/ !force_dump_stack,
1991 /*dump_locks*/ !force_dump_stack);
Ian Rogersf08e4732013-04-09 09:45:49 -07001992 } else {
1993 os << "Not able to dump stack of thread that isn't suspended";
Elliott Hughesffb465f2012-03-01 18:46:05 -08001994 }
Elliott Hughese27955c2011-08-26 15:21:24 -07001995}
1996
Elliott Hughesbe759c62011-09-08 19:38:21 -07001997void Thread::ThreadExitCallback(void* arg) {
1998 Thread* self = reinterpret_cast<Thread*>(arg);
Ian Rogersdd7624d2014-03-14 17:43:00 -07001999 if (self->tls32_.thread_exit_check_count == 0) {
2000 LOG(WARNING) << "Native thread exiting without having called DetachCurrentThread (maybe it's "
2001 "going to use a pthread_key_create destructor?): " << *self;
Ian Rogers0878d652013-04-18 17:38:35 -07002002 CHECK(is_started_);
Bilyan Borisovbb661c02016-04-04 16:27:32 +01002003#ifdef ART_TARGET_ANDROID
Andreas Gampe4382f1e2015-08-05 01:08:53 +00002004 __get_tls()[TLS_SLOT_ART_THREAD_SELF] = self;
2005#else
Elliott Hughes6a607ad2012-07-13 20:40:00 -07002006 CHECK_PTHREAD_CALL(pthread_setspecific, (Thread::pthread_key_self_, self), "reattach self");
Andreas Gampe4382f1e2015-08-05 01:08:53 +00002007#endif
Ian Rogersdd7624d2014-03-14 17:43:00 -07002008 self->tls32_.thread_exit_check_count = 1;
Elliott Hughes6a607ad2012-07-13 20:40:00 -07002009 } else {
2010 LOG(FATAL) << "Native thread exited without calling DetachCurrentThread: " << *self;
2011 }
Carl Shapirob5573532011-07-12 18:22:59 -07002012}
2013
Elliott Hughesbe759c62011-09-08 19:38:21 -07002014void Thread::Startup() {
Ian Rogers0878d652013-04-18 17:38:35 -07002015 CHECK(!is_started_);
2016 is_started_ = true;
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002017 {
Brian Carlstrom6d69f592013-07-16 17:18:16 -07002018 // MutexLock to keep annotalysis happy.
2019 //
Mathieu Chartier2cebb242015-04-21 16:50:40 -07002020 // Note we use null for the thread because Thread::Current can
Brian Carlstrom6d69f592013-07-16 17:18:16 -07002021 // return garbage since (is_started_ == true) and
2022 // Thread::pthread_key_self_ is not yet initialized.
2023 // This was seen on glibc.
Dave Allison0aded082013-11-07 13:15:11 -08002024 MutexLock mu(nullptr, *Locks::thread_suspend_count_lock_);
Ian Rogersc604d732012-10-14 16:09:54 -07002025 resume_cond_ = new ConditionVariable("Thread resumption condition variable",
2026 *Locks::thread_suspend_count_lock_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002027 }
2028
Carl Shapirob5573532011-07-12 18:22:59 -07002029 // Allocate a TLS slot.
Ian Rogersf4d4da12014-11-11 16:10:33 -08002030 CHECK_PTHREAD_CALL(pthread_key_create, (&Thread::pthread_key_self_, Thread::ThreadExitCallback),
2031 "self key");
Carl Shapirob5573532011-07-12 18:22:59 -07002032
2033 // Double-check the TLS slot allocation.
Dave Allison0aded082013-11-07 13:15:11 -08002034 if (pthread_getspecific(pthread_key_self_) != nullptr) {
2035 LOG(FATAL) << "Newly-created pthread TLS slot is not nullptr";
Carl Shapirob5573532011-07-12 18:22:59 -07002036 }
Elliott Hughes038a8062011-09-18 14:12:41 -07002037}
Carl Shapirob5573532011-07-12 18:22:59 -07002038
Elliott Hughes038a8062011-09-18 14:12:41 -07002039void Thread::FinishStartup() {
Ian Rogers365c1022012-06-22 15:05:28 -07002040 Runtime* runtime = Runtime::Current();
2041 CHECK(runtime->IsStarted());
Brian Carlstromb82b6872011-10-26 17:18:07 -07002042
Elliott Hughes01158d72011-09-19 19:47:10 -07002043 // Finish attaching the main thread.
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002044 ScopedObjectAccess soa(Thread::Current());
Ian Rogers365c1022012-06-22 15:05:28 -07002045 Thread::Current()->CreatePeer("main", false, runtime->GetMainThreadGroup());
Andreas Gampe4b1d4ec2015-10-01 16:47:26 -07002046 Thread::Current()->AssertNoPendingException();
Jesse Wilson9a6bae82011-11-14 14:57:30 -05002047
Elliott Hughesaf8d15a2012-05-29 09:12:18 -07002048 Runtime::Current()->GetClassLinker()->RunRootClinits();
Andreas Gampe21cf95d2017-04-17 20:19:14 -07002049
2050 // The thread counts as started from now on. We need to add it to the ThreadGroup. For regular
2051 // threads, this is done in Thread.start() on the Java side.
2052 {
2053 // This is only ever done once. There's no benefit in caching the method.
2054 jmethodID thread_group_add = soa.Env()->GetMethodID(WellKnownClasses::java_lang_ThreadGroup,
2055 "add",
2056 "(Ljava/lang/Thread;)V");
2057 CHECK(thread_group_add != nullptr);
2058 ScopedLocalRef<jobject> thread_jobject(
2059 soa.Env(), soa.Env()->AddLocalReference<jobject>(Thread::Current()->GetPeer()));
2060 soa.Env()->CallNonvirtualVoidMethod(runtime->GetMainThreadGroup(),
2061 WellKnownClasses::java_lang_ThreadGroup,
2062 thread_group_add,
2063 thread_jobject.get());
2064 Thread::Current()->AssertNoPendingException();
2065 }
Carl Shapirob5573532011-07-12 18:22:59 -07002066}
2067
Elliott Hughesc1674ed2011-08-25 18:09:09 -07002068void Thread::Shutdown() {
Ian Rogers0878d652013-04-18 17:38:35 -07002069 CHECK(is_started_);
2070 is_started_ = false;
Elliott Hughes8d768a92011-09-14 16:35:25 -07002071 CHECK_PTHREAD_CALL(pthread_key_delete, (Thread::pthread_key_self_), "self key");
Ian Rogers33e95662013-05-20 20:29:14 -07002072 MutexLock mu(Thread::Current(), *Locks::thread_suspend_count_lock_);
Dave Allison0aded082013-11-07 13:15:11 -08002073 if (resume_cond_ != nullptr) {
Ian Rogers0878d652013-04-18 17:38:35 -07002074 delete resume_cond_;
Dave Allison0aded082013-11-07 13:15:11 -08002075 resume_cond_ = nullptr;
Ian Rogers0878d652013-04-18 17:38:35 -07002076 }
Elliott Hughesc1674ed2011-08-25 18:09:09 -07002077}
2078
Calin Juravleccd56952016-12-15 17:57:38 +00002079Thread::Thread(bool daemon)
2080 : tls32_(daemon),
2081 wait_monitor_(nullptr),
Andreas Gampe202f85a2017-02-06 10:23:26 -08002082 custom_tls_(nullptr),
Calin Juravleccd56952016-12-15 17:57:38 +00002083 can_call_into_java_(true) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07002084 wait_mutex_ = new Mutex("a thread wait mutex");
2085 wait_cond_ = new ConditionVariable("a thread wait condition variable", *wait_mutex_);
Ian Rogersdd7624d2014-03-14 17:43:00 -07002086 tlsPtr_.instrumentation_stack = new std::deque<instrumentation::InstrumentationStackFrame>;
2087 tlsPtr_.name = new std::string(kThreadNameDuringStartup);
2088
Roland Levillain33d69032015-06-18 18:20:59 +01002089 static_assert((sizeof(Thread) % 4) == 0U,
2090 "art::Thread has a size which is not a multiple of 4.");
Ian Rogersdd7624d2014-03-14 17:43:00 -07002091 tls32_.state_and_flags.as_struct.flags = 0;
2092 tls32_.state_and_flags.as_struct.state = kNative;
Nicolas Geoffray365719c2017-03-08 13:11:50 +00002093 tls32_.interrupted.StoreRelaxed(false);
Ian Rogersdd7624d2014-03-14 17:43:00 -07002094 memset(&tlsPtr_.held_mutexes[0], 0, sizeof(tlsPtr_.held_mutexes));
Mathieu Chartier0651d412014-04-29 14:37:57 -07002095 std::fill(tlsPtr_.rosalloc_runs,
Hiroshi Yamauchi7ed9c562016-02-02 15:22:09 -08002096 tlsPtr_.rosalloc_runs + kNumRosAllocThreadLocalSizeBracketsInThread,
Mathieu Chartier73d1e172014-04-11 17:53:48 -07002097 gc::allocator::RosAlloc::GetDedicatedFullRun());
Mathieu Chartier952e1e32016-06-13 14:04:02 -07002098 tlsPtr_.checkpoint_function = nullptr;
Yu Lieac44242015-06-29 10:50:03 +08002099 for (uint32_t i = 0; i < kMaxSuspendBarriers; ++i) {
2100 tlsPtr_.active_suspend_barriers[i] = nullptr;
2101 }
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08002102 tlsPtr_.flip_function = nullptr;
Hiroshi Yamauchi0b713572015-06-16 18:29:23 -07002103 tlsPtr_.thread_local_mark_stack = nullptr;
Hiroshi Yamauchiee235822016-08-19 17:03:27 -07002104 tls32_.is_transitioning_to_runnable = false;
Elliott Hughesdcc24742011-09-07 14:02:44 -07002105}
2106
Elliott Hughes7dc51662012-05-16 14:48:43 -07002107bool Thread::IsStillStarting() const {
2108 // You might think you can check whether the state is kStarting, but for much of thread startup,
Elliott Hughes80537bb2013-01-04 16:37:26 -08002109 // the thread is in kNative; it might also be in kVmWait.
Mathieu Chartier2cebb242015-04-21 16:50:40 -07002110 // 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 -07002111 // assigned fairly early on, and needs to be.
2112 // It turns out that the last thing to change is the thread name; that's a good proxy for "has
2113 // this thread _ever_ entered kRunnable".
Ian Rogersdd7624d2014-03-14 17:43:00 -07002114 return (tlsPtr_.jpeer == nullptr && tlsPtr_.opeer == nullptr) ||
2115 (*tlsPtr_.name == kThreadNameDuringStartup);
Elliott Hughes7dc51662012-05-16 14:48:43 -07002116}
2117
Andreas Gamped9efea62014-07-21 22:56:08 -07002118void Thread::AssertPendingException() const {
Mathieu Chartiera61894d2015-04-23 16:32:54 -07002119 CHECK(IsExceptionPending()) << "Pending exception expected.";
2120}
2121
2122void Thread::AssertPendingOOMException() const {
2123 AssertPendingException();
2124 auto* e = GetException();
2125 CHECK_EQ(e->GetClass(), DecodeJObject(WellKnownClasses::java_lang_OutOfMemoryError)->AsClass())
2126 << e->Dump();
Andreas Gamped9efea62014-07-21 22:56:08 -07002127}
2128
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002129void Thread::AssertNoPendingException() const {
2130 if (UNLIKELY(IsExceptionPending())) {
2131 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002132 LOG(FATAL) << "No pending exception expected: " << GetException()->Dump();
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002133 }
2134}
2135
Mathieu Chartier8d7672e2014-02-25 10:57:16 -08002136void Thread::AssertNoPendingExceptionForNewException(const char* msg) const {
2137 if (UNLIKELY(IsExceptionPending())) {
2138 ScopedObjectAccess soa(Thread::Current());
Ian Rogersc114b5f2014-07-21 08:55:01 -07002139 LOG(FATAL) << "Throwing new exception '" << msg << "' with unexpected pending exception: "
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002140 << GetException()->Dump();
Mathieu Chartier8d7672e2014-02-25 10:57:16 -08002141 }
2142}
2143
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07002144class MonitorExitVisitor : public SingleRootVisitor {
2145 public:
2146 explicit MonitorExitVisitor(Thread* self) : self_(self) { }
2147
2148 // NO_THREAD_SAFETY_ANALYSIS due to MonitorExit.
2149 void VisitRoot(mirror::Object* entered_monitor, const RootInfo& info ATTRIBUTE_UNUSED)
2150 OVERRIDE NO_THREAD_SAFETY_ANALYSIS {
2151 if (self_->HoldsLock(entered_monitor)) {
2152 LOG(WARNING) << "Calling MonitorExit on object "
David Sehr709b0702016-10-13 09:12:37 -07002153 << entered_monitor << " (" << entered_monitor->PrettyTypeOf() << ")"
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07002154 << " left locked by native thread "
2155 << *Thread::Current() << " which is detaching";
2156 entered_monitor->MonitorExit(self_);
2157 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002158 }
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07002159
2160 private:
2161 Thread* const self_;
2162};
Elliott Hughes02b48d12011-09-07 17:15:51 -07002163
Elliott Hughesc0f09332012-03-26 13:27:06 -07002164void Thread::Destroy() {
Ian Rogers120f1c72012-09-28 17:17:10 -07002165 Thread* self = this;
2166 DCHECK_EQ(self, Thread::Current());
Elliott Hughes02b48d12011-09-07 17:15:51 -07002167
Ian Rogers68d8b422014-07-17 11:09:10 -07002168 if (tlsPtr_.jni_env != nullptr) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07002169 {
2170 ScopedObjectAccess soa(self);
2171 MonitorExitVisitor visitor(self);
2172 // On thread detach, all monitors entered with JNI MonitorEnter are automatically exited.
2173 tlsPtr_.jni_env->monitors.VisitRoots(&visitor, RootInfo(kRootVMInternal));
2174 }
Ian Rogers68d8b422014-07-17 11:09:10 -07002175 // Release locally held global references which releasing may require the mutator lock.
2176 if (tlsPtr_.jpeer != nullptr) {
2177 // If pthread_create fails we don't have a jni env here.
2178 tlsPtr_.jni_env->DeleteGlobalRef(tlsPtr_.jpeer);
2179 tlsPtr_.jpeer = nullptr;
2180 }
2181 if (tlsPtr_.class_loader_override != nullptr) {
2182 tlsPtr_.jni_env->DeleteGlobalRef(tlsPtr_.class_loader_override);
2183 tlsPtr_.class_loader_override = nullptr;
2184 }
2185 }
2186
Ian Rogersdd7624d2014-03-14 17:43:00 -07002187 if (tlsPtr_.opeer != nullptr) {
Ian Rogerscfaa4552012-11-26 21:00:08 -08002188 ScopedObjectAccess soa(self);
Ian Rogers120f1c72012-09-28 17:17:10 -07002189 // We may need to call user-supplied managed code, do this before final clean-up.
Ian Rogerscfaa4552012-11-26 21:00:08 -08002190 HandleUncaughtExceptions(soa);
Alex Lightdf132402017-09-29 12:54:33 -07002191 RemoveFromThreadGroup(soa);
Alex Light8c5e2da2017-07-11 10:32:20 -07002192 Runtime* runtime = Runtime::Current();
2193 if (runtime != nullptr) {
2194 runtime->GetRuntimeCallbacks()->ThreadDeath(self);
2195 }
Elliott Hughes534da072012-03-27 15:17:42 -07002196
Anwar Ghuloum3c50a4b2013-06-21 13:05:23 -07002197 // this.nativePeer = 0;
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01002198 if (Runtime::Current()->IsActiveTransaction()) {
Andreas Gampe08883de2016-11-08 13:20:52 -08002199 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_nativePeer)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002200 ->SetLong<true>(tlsPtr_.opeer, 0);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01002201 } else {
Andreas Gampe08883de2016-11-08 13:20:52 -08002202 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_nativePeer)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002203 ->SetLong<false>(tlsPtr_.opeer, 0);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01002204 }
Elliott Hughes02b48d12011-09-07 17:15:51 -07002205
Ian Rogerscfaa4552012-11-26 21:00:08 -08002206 // Thread.join() is implemented as an Object.wait() on the Thread.lock object. Signal anyone
2207 // who is waiting.
Mathieu Chartier3398c782016-09-30 10:27:43 -07002208 ObjPtr<mirror::Object> lock =
Andreas Gampe08883de2016-11-08 13:20:52 -08002209 jni::DecodeArtField(WellKnownClasses::java_lang_Thread_lock)->GetObject(tlsPtr_.opeer);
Elliott Hughes038a8062011-09-18 14:12:41 -07002210 // (This conditional is only needed for tests, where Thread.lock won't have been set.)
Mathieu Chartierc528dba2013-11-26 12:00:11 -08002211 if (lock != nullptr) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002212 StackHandleScope<1> hs(self);
2213 Handle<mirror::Object> h_obj(hs.NewHandle(lock));
Mathieu Chartierdb2633c2014-05-16 09:59:29 -07002214 ObjectLock<mirror::Object> locker(self, h_obj);
Yevgeny Rouban63e8a682014-04-16 18:26:09 +07002215 locker.NotifyAll();
Elliott Hughes5f791332011-09-15 17:45:30 -07002216 }
Ian Rogers68d8b422014-07-17 11:09:10 -07002217 tlsPtr_.opeer = nullptr;
Elliott Hughes5f791332011-09-15 17:45:30 -07002218 }
Ian Rogers120f1c72012-09-28 17:17:10 -07002219
Hiroshi Yamauchia1b94c62014-12-17 15:49:56 -08002220 {
2221 ScopedObjectAccess soa(self);
2222 Runtime::Current()->GetHeap()->RevokeThreadLocalBuffers(this);
Hiroshi Yamauchi0b713572015-06-16 18:29:23 -07002223 if (kUseReadBarrier) {
2224 Runtime::Current()->GetHeap()->ConcurrentCopyingCollector()->RevokeThreadLocalMarkStack(this);
2225 }
Hiroshi Yamauchia1b94c62014-12-17 15:49:56 -08002226 }
Elliott Hughesc0f09332012-03-26 13:27:06 -07002227}
Elliott Hughes02b48d12011-09-07 17:15:51 -07002228
Elliott Hughesc0f09332012-03-26 13:27:06 -07002229Thread::~Thread() {
Ian Rogers68d8b422014-07-17 11:09:10 -07002230 CHECK(tlsPtr_.class_loader_override == nullptr);
2231 CHECK(tlsPtr_.jpeer == nullptr);
2232 CHECK(tlsPtr_.opeer == nullptr);
Ian Rogersdd7624d2014-03-14 17:43:00 -07002233 bool initialized = (tlsPtr_.jni_env != nullptr); // Did Thread::Init run?
Alexei Zavjalov1efa0a92014-02-04 02:08:31 +07002234 if (initialized) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07002235 delete tlsPtr_.jni_env;
2236 tlsPtr_.jni_env = nullptr;
Alexei Zavjalov1efa0a92014-02-04 02:08:31 +07002237 }
Mathieu Chartierdbe6f462012-09-25 16:54:50 -07002238 CHECK_NE(GetState(), kRunnable);
Hiroshi Yamauchi30493242016-11-03 13:06:52 -07002239 CHECK(!ReadFlag(kCheckpointRequest));
2240 CHECK(!ReadFlag(kEmptyCheckpointRequest));
Mathieu Chartier952e1e32016-06-13 14:04:02 -07002241 CHECK(tlsPtr_.checkpoint_function == nullptr);
2242 CHECK_EQ(checkpoint_overflow_.size(), 0u);
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -08002243 CHECK(tlsPtr_.flip_function == nullptr);
Hiroshi Yamauchiee235822016-08-19 17:03:27 -07002244 CHECK_EQ(tls32_.is_transitioning_to_runnable, false);
Dave Allison0aded082013-11-07 13:15:11 -08002245
Sebastien Hertz07474662015-08-25 15:12:33 +00002246 // Make sure we processed all deoptimization requests.
2247 CHECK(tlsPtr_.deoptimization_context_stack == nullptr) << "Missed deoptimization";
Mingyao Yang99170c62015-07-06 11:10:37 -07002248 CHECK(tlsPtr_.frame_id_to_shadow_frame == nullptr) <<
2249 "Not all deoptimized frames have been consumed by the debugger.";
Sebastien Hertz07474662015-08-25 15:12:33 +00002250
Mathieu Chartierdbe6f462012-09-25 16:54:50 -07002251 // We may be deleting a still born thread.
2252 SetStateUnsafe(kTerminated);
Elliott Hughes85d15452011-09-16 17:33:01 -07002253
2254 delete wait_cond_;
2255 delete wait_mutex_;
2256
Ian Rogersdd7624d2014-03-14 17:43:00 -07002257 if (tlsPtr_.long_jump_context != nullptr) {
2258 delete tlsPtr_.long_jump_context;
Ian Rogersc928de92013-02-27 14:30:44 -08002259 }
Elliott Hughes475fc232011-10-25 15:00:35 -07002260
Alexei Zavjalov1efa0a92014-02-04 02:08:31 +07002261 if (initialized) {
2262 CleanupCpu();
2263 }
2264
Sebastien Hertz597c4f02015-01-26 17:37:14 +01002265 if (tlsPtr_.single_step_control != nullptr) {
2266 delete tlsPtr_.single_step_control;
2267 }
Ian Rogersdd7624d2014-03-14 17:43:00 -07002268 delete tlsPtr_.instrumentation_stack;
2269 delete tlsPtr_.name;
Nicolas Geoffray340dafa2016-11-18 16:03:10 +00002270 delete tlsPtr_.deps_or_stack_trace_sample.stack_trace_sample;
Elliott Hughesd8af1592012-04-16 20:40:15 -07002271
Ian Rogers68d8b422014-07-17 11:09:10 -07002272 Runtime::Current()->GetHeap()->AssertThreadLocalBuffersAreRevoked(this);
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -07002273
Elliott Hughesd8af1592012-04-16 20:40:15 -07002274 TearDownAlternateSignalStack();
Elliott Hughesc1674ed2011-08-25 18:09:09 -07002275}
2276
Andreas Gampe513061a2017-06-01 09:17:34 -07002277void Thread::HandleUncaughtExceptions(ScopedObjectAccessAlreadyRunnable& soa) {
Elliott Hughesaccd83d2011-10-17 14:25:58 -07002278 if (!IsExceptionPending()) {
2279 return;
2280 }
Ian Rogersdd7624d2014-03-14 17:43:00 -07002281 ScopedLocalRef<jobject> peer(tlsPtr_.jni_env, soa.AddLocalReference<jobject>(tlsPtr_.opeer));
Ian Rogerscfaa4552012-11-26 21:00:08 -08002282 ScopedThreadStateChange tsc(this, kNative);
Ian Rogers120f1c72012-09-28 17:17:10 -07002283
Elliott Hughesaccd83d2011-10-17 14:25:58 -07002284 // Get and clear the exception.
Ian Rogersdd7624d2014-03-14 17:43:00 -07002285 ScopedLocalRef<jthrowable> exception(tlsPtr_.jni_env, tlsPtr_.jni_env->ExceptionOccurred());
2286 tlsPtr_.jni_env->ExceptionClear();
Elliott Hughesaccd83d2011-10-17 14:25:58 -07002287
Tobias Thierer5cbe65d2016-07-22 18:37:59 +01002288 // Call the Thread instance's dispatchUncaughtException(Throwable)
2289 tlsPtr_.jni_env->CallVoidMethod(peer.get(),
2290 WellKnownClasses::java_lang_Thread_dispatchUncaughtException,
2291 exception.get());
Elliott Hughesaccd83d2011-10-17 14:25:58 -07002292
Tobias Thierer5cbe65d2016-07-22 18:37:59 +01002293 // If the dispatchUncaughtException threw, clear that exception too.
Ian Rogersdd7624d2014-03-14 17:43:00 -07002294 tlsPtr_.jni_env->ExceptionClear();
Elliott Hughesaccd83d2011-10-17 14:25:58 -07002295}
2296
Andreas Gampe513061a2017-06-01 09:17:34 -07002297void Thread::RemoveFromThreadGroup(ScopedObjectAccessAlreadyRunnable& soa) {
Brian Carlstrom4514d3c2011-10-21 17:01:31 -07002298 // this.group.removeThread(this);
2299 // group can be null if we're in the compiler or a test.
Andreas Gampe08883de2016-11-08 13:20:52 -08002300 ObjPtr<mirror::Object> ogroup = jni::DecodeArtField(WellKnownClasses::java_lang_Thread_group)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002301 ->GetObject(tlsPtr_.opeer);
Dave Allison0aded082013-11-07 13:15:11 -08002302 if (ogroup != nullptr) {
Ian Rogerscfaa4552012-11-26 21:00:08 -08002303 ScopedLocalRef<jobject> group(soa.Env(), soa.AddLocalReference<jobject>(ogroup));
Ian Rogersdd7624d2014-03-14 17:43:00 -07002304 ScopedLocalRef<jobject> peer(soa.Env(), soa.AddLocalReference<jobject>(tlsPtr_.opeer));
Ian Rogerscfaa4552012-11-26 21:00:08 -08002305 ScopedThreadStateChange tsc(soa.Self(), kNative);
Ian Rogersdd7624d2014-03-14 17:43:00 -07002306 tlsPtr_.jni_env->CallVoidMethod(group.get(),
2307 WellKnownClasses::java_lang_ThreadGroup_removeThread,
2308 peer.get());
Brian Carlstrom4514d3c2011-10-21 17:01:31 -07002309 }
2310}
2311
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002312bool Thread::HandleScopeContains(jobject obj) const {
2313 StackReference<mirror::Object>* hs_entry =
Ian Rogersef7d42f2014-01-06 12:55:46 -08002314 reinterpret_cast<StackReference<mirror::Object>*>(obj);
Mathieu Chartiere8a3c572016-10-11 16:52:17 -07002315 for (BaseHandleScope* cur = tlsPtr_.top_handle_scope; cur!= nullptr; cur = cur->GetLink()) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002316 if (cur->Contains(hs_entry)) {
Ian Rogersa8cd9f42011-08-19 16:43:41 -07002317 return true;
2318 }
2319 }
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002320 // JNI code invoked from portable code uses shadow frames rather than the handle scope.
2321 return tlsPtr_.managed_stack.ShadowFramesContain(hs_entry);
TDYa12728f1a142012-03-15 21:51:52 -07002322}
2323
Hans Boehm0882af22017-08-31 15:21:57 -07002324void Thread::HandleScopeVisitRoots(RootVisitor* visitor, pid_t thread_id) {
Mathieu Chartier4809d0a2015-04-07 10:39:04 -07002325 BufferedRootVisitor<kDefaultBufferedRootCount> buffered_visitor(
2326 visitor, RootInfo(kRootNativeStack, thread_id));
Mathieu Chartiere8a3c572016-10-11 16:52:17 -07002327 for (BaseHandleScope* cur = tlsPtr_.top_handle_scope; cur; cur = cur->GetLink()) {
2328 cur->VisitRoots(buffered_visitor);
Shih-wei Liao8dfc9d52011-09-28 18:06:15 -07002329 }
2330}
2331
Mathieu Chartierc4f39252016-10-05 18:32:08 -07002332ObjPtr<mirror::Object> Thread::DecodeJObject(jobject obj) const {
Dave Allison0aded082013-11-07 13:15:11 -08002333 if (obj == nullptr) {
2334 return nullptr;
Ian Rogers408f79a2011-08-23 18:22:33 -07002335 }
2336 IndirectRef ref = reinterpret_cast<IndirectRef>(obj);
Andreas Gampedc061d02016-10-24 13:19:37 -07002337 IndirectRefKind kind = IndirectReferenceTable::GetIndirectRefKind(ref);
Mathieu Chartier8778c522016-10-04 19:06:30 -07002338 ObjPtr<mirror::Object> result;
Ian Rogersc0542af2014-09-03 16:16:56 -07002339 bool expect_null = false;
Ian Rogers4f6ad8a2013-03-18 15:27:28 -07002340 // The "kinds" below are sorted by the frequency we expect to encounter them.
2341 if (kind == kLocal) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07002342 IndirectReferenceTable& locals = tlsPtr_.jni_env->locals;
Hiroshi Yamauchi196851b2014-05-29 12:16:04 -07002343 // Local references do not need a read barrier.
2344 result = locals.Get<kWithoutReadBarrier>(ref);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002345 } else if (kind == kHandleScopeOrInvalid) {
Ian Rogersef7d42f2014-01-06 12:55:46 -08002346 // TODO: make stack indirect reference table lookup more efficient.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002347 // Check if this is a local reference in the handle scope.
2348 if (LIKELY(HandleScopeContains(obj))) {
2349 // Read from handle scope.
Ian Rogersef7d42f2014-01-06 12:55:46 -08002350 result = reinterpret_cast<StackReference<mirror::Object>*>(obj)->AsMirrorPtr();
Mathieu Chartier9d156d52016-10-06 17:44:26 -07002351 VerifyObject(result);
Ian Rogers408f79a2011-08-23 18:22:33 -07002352 } else {
Ian Rogersc0542af2014-09-03 16:16:56 -07002353 tlsPtr_.jni_env->vm->JniAbortF(nullptr, "use of invalid jobject %p", obj);
2354 expect_null = true;
2355 result = nullptr;
Ian Rogers408f79a2011-08-23 18:22:33 -07002356 }
Ian Rogers4f6ad8a2013-03-18 15:27:28 -07002357 } else if (kind == kGlobal) {
Mathieu Chartier30b5e272015-09-01 11:14:34 -07002358 result = tlsPtr_.jni_env->vm->DecodeGlobal(ref);
Ian Rogers4f6ad8a2013-03-18 15:27:28 -07002359 } else {
2360 DCHECK_EQ(kind, kWeakGlobal);
Ian Rogers68d8b422014-07-17 11:09:10 -07002361 result = tlsPtr_.jni_env->vm->DecodeWeakGlobal(const_cast<Thread*>(this), ref);
Ian Rogersc0542af2014-09-03 16:16:56 -07002362 if (Runtime::Current()->IsClearedJniWeakGlobal(result)) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -07002363 // This is a special case where it's okay to return null.
Ian Rogersc0542af2014-09-03 16:16:56 -07002364 expect_null = true;
2365 result = nullptr;
Ian Rogers4f6ad8a2013-03-18 15:27:28 -07002366 }
Ian Rogers408f79a2011-08-23 18:22:33 -07002367 }
2368
Ian Rogersc0542af2014-09-03 16:16:56 -07002369 if (UNLIKELY(!expect_null && result == nullptr)) {
Ian Rogers68d8b422014-07-17 11:09:10 -07002370 tlsPtr_.jni_env->vm->JniAbortF(nullptr, "use of deleted %s %p",
2371 ToStr<IndirectRefKind>(kind).c_str(), obj);
Ian Rogers408f79a2011-08-23 18:22:33 -07002372 }
Mathieu Chartierc4f39252016-10-05 18:32:08 -07002373 return result;
Ian Rogers408f79a2011-08-23 18:22:33 -07002374}
2375
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08002376bool Thread::IsJWeakCleared(jweak obj) const {
2377 CHECK(obj != nullptr);
2378 IndirectRef ref = reinterpret_cast<IndirectRef>(obj);
Andreas Gampedc061d02016-10-24 13:19:37 -07002379 IndirectRefKind kind = IndirectReferenceTable::GetIndirectRefKind(ref);
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08002380 CHECK_EQ(kind, kWeakGlobal);
2381 return tlsPtr_.jni_env->vm->IsWeakGlobalCleared(const_cast<Thread*>(this), ref);
2382}
2383
Ian Rogers81d425b2012-09-27 16:03:43 -07002384// Implements java.lang.Thread.interrupted.
2385bool Thread::Interrupted() {
Nicolas Geoffray365719c2017-03-08 13:11:50 +00002386 DCHECK_EQ(Thread::Current(), this);
2387 // No other thread can concurrently reset the interrupted flag.
2388 bool interrupted = tls32_.interrupted.LoadSequentiallyConsistent();
2389 if (interrupted) {
2390 tls32_.interrupted.StoreSequentiallyConsistent(false);
2391 }
Ian Rogers81d425b2012-09-27 16:03:43 -07002392 return interrupted;
2393}
2394
2395// Implements java.lang.Thread.isInterrupted.
2396bool Thread::IsInterrupted() {
Nicolas Geoffray365719c2017-03-08 13:11:50 +00002397 return tls32_.interrupted.LoadSequentiallyConsistent();
Ian Rogers81d425b2012-09-27 16:03:43 -07002398}
2399
Ian Rogersdd7624d2014-03-14 17:43:00 -07002400void Thread::Interrupt(Thread* self) {
Ian Rogersc604d732012-10-14 16:09:54 -07002401 MutexLock mu(self, *wait_mutex_);
Nicolas Geoffray365719c2017-03-08 13:11:50 +00002402 if (tls32_.interrupted.LoadSequentiallyConsistent()) {
Ian Rogers81d425b2012-09-27 16:03:43 -07002403 return;
2404 }
Nicolas Geoffray365719c2017-03-08 13:11:50 +00002405 tls32_.interrupted.StoreSequentiallyConsistent(true);
Ian Rogersc604d732012-10-14 16:09:54 -07002406 NotifyLocked(self);
Ian Rogers81d425b2012-09-27 16:03:43 -07002407}
2408
2409void Thread::Notify() {
Ian Rogersc604d732012-10-14 16:09:54 -07002410 Thread* self = Thread::Current();
2411 MutexLock mu(self, *wait_mutex_);
2412 NotifyLocked(self);
Ian Rogers81d425b2012-09-27 16:03:43 -07002413}
2414
Ian Rogersc604d732012-10-14 16:09:54 -07002415void Thread::NotifyLocked(Thread* self) {
Dave Allison0aded082013-11-07 13:15:11 -08002416 if (wait_monitor_ != nullptr) {
Ian Rogersc604d732012-10-14 16:09:54 -07002417 wait_cond_->Signal(self);
Ian Rogers81d425b2012-09-27 16:03:43 -07002418 }
2419}
2420
Ian Rogers68d8b422014-07-17 11:09:10 -07002421void Thread::SetClassLoaderOverride(jobject class_loader_override) {
2422 if (tlsPtr_.class_loader_override != nullptr) {
2423 GetJniEnv()->DeleteGlobalRef(tlsPtr_.class_loader_override);
2424 }
2425 tlsPtr_.class_loader_override = GetJniEnv()->NewGlobalRef(class_loader_override);
2426}
2427
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002428using ArtMethodDexPcPair = std::pair<ArtMethod*, uint32_t>;
2429
2430// Counts the stack trace depth and also fetches the first max_saved_frames frames.
2431class FetchStackTraceVisitor : public StackVisitor {
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002432 public:
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002433 explicit FetchStackTraceVisitor(Thread* thread,
2434 ArtMethodDexPcPair* saved_frames = nullptr,
2435 size_t max_saved_frames = 0)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07002436 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +01002437 : StackVisitor(thread, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002438 saved_frames_(saved_frames),
2439 max_saved_frames_(max_saved_frames) {}
Elliott Hughesd369bb72011-09-12 14:41:14 -07002440
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07002441 bool VisitFrame() REQUIRES_SHARED(Locks::mutator_lock_) {
Elliott Hughes29f27422011-09-18 16:02:18 -07002442 // We want to skip frames up to and including the exception's constructor.
Ian Rogers90865722011-09-19 11:11:44 -07002443 // Note we also skip the frame if it doesn't have a method (namely the callee
2444 // save frame)
Mathieu Chartiere401d142015-04-22 13:56:20 -07002445 ArtMethod* m = GetMethod();
Ian Rogers0399dde2012-06-06 17:09:28 -07002446 if (skipping_ && !m->IsRuntimeMethod() &&
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08002447 !mirror::Throwable::GetJavaLangThrowable()->IsAssignableFrom(m->GetDeclaringClass())) {
Elliott Hughes29f27422011-09-18 16:02:18 -07002448 skipping_ = false;
2449 }
2450 if (!skipping_) {
Ian Rogers0399dde2012-06-06 17:09:28 -07002451 if (!m->IsRuntimeMethod()) { // Ignore runtime frames (in particular callee save).
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002452 if (depth_ < max_saved_frames_) {
2453 saved_frames_[depth_].first = m;
Andreas Gampee2abbc62017-09-15 11:59:26 -07002454 saved_frames_[depth_].second = m->IsProxyMethod() ? dex::kDexNoIndex : GetDexPc();
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002455 }
Ian Rogers6b0870d2011-12-15 19:38:12 -08002456 ++depth_;
2457 }
Elliott Hughes29f27422011-09-18 16:02:18 -07002458 } else {
2459 ++skip_depth_;
2460 }
Elliott Hughes530fa002012-03-12 11:44:49 -07002461 return true;
Shih-wei Liao55df06b2011-08-26 14:39:27 -07002462 }
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002463
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002464 uint32_t GetDepth() const {
Ian Rogersaaa20802011-09-11 21:47:37 -07002465 return depth_;
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002466 }
2467
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002468 uint32_t GetSkipDepth() const {
Elliott Hughes29f27422011-09-18 16:02:18 -07002469 return skip_depth_;
2470 }
2471
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002472 private:
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002473 uint32_t depth_ = 0;
2474 uint32_t skip_depth_ = 0;
2475 bool skipping_ = true;
2476 ArtMethodDexPcPair* saved_frames_;
2477 const size_t max_saved_frames_;
Sebastien Hertz26f72862015-09-15 09:52:07 +02002478
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002479 DISALLOW_COPY_AND_ASSIGN(FetchStackTraceVisitor);
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002480};
2481
Sebastien Hertzee1d79a2014-02-21 15:46:30 +01002482template<bool kTransactionActive>
Ian Rogers0399dde2012-06-06 17:09:28 -07002483class BuildInternalStackTraceVisitor : public StackVisitor {
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002484 public:
Roland Levillain3887c462015-08-12 18:15:42 +01002485 BuildInternalStackTraceVisitor(Thread* self, Thread* thread, int skip_depth)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +01002486 : StackVisitor(thread, nullptr, StackVisitor::StackWalkKind::kIncludeInlinedFrames),
2487 self_(self),
2488 skip_depth_(skip_depth),
Mathieu Chartiere401d142015-04-22 13:56:20 -07002489 pointer_size_(Runtime::Current()->GetClassLinker()->GetImagePointerSize()) {}
Ian Rogers283ed0d2012-02-16 15:25:09 -08002490
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07002491 bool Init(int depth) REQUIRES_SHARED(Locks::mutator_lock_) ACQUIRE(Roles::uninterruptible_) {
Mathieu Chartier910e8272015-09-30 09:24:22 -07002492 // Allocate method trace as an object array where the first element is a pointer array that
2493 // contains the ArtMethod pointers and dex PCs. The rest of the elements are the declaring
2494 // class of the ArtMethod pointers.
2495 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
2496 StackHandleScope<1> hs(self_);
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002497 ObjPtr<mirror::Class> array_class = class_linker->GetClassRoot(ClassLinker::kObjectArrayClass);
Mathieu Chartier910e8272015-09-30 09:24:22 -07002498 // The first element is the methods and dex pc array, the other elements are declaring classes
2499 // for the methods to ensure classes in the stack trace don't get unloaded.
2500 Handle<mirror::ObjectArray<mirror::Object>> trace(
2501 hs.NewHandle(
2502 mirror::ObjectArray<mirror::Object>::Alloc(hs.Self(), array_class, depth + 1)));
Andreas Gampefa4333d2017-02-14 11:10:34 -08002503 if (trace == nullptr) {
Mathieu Chartier910e8272015-09-30 09:24:22 -07002504 // Acquire uninterruptible_ in all paths.
2505 self_->StartAssertNoThreadSuspension("Building internal stack trace");
Mathieu Chartier566fc922015-09-29 10:21:55 -07002506 self_->AssertPendingOOMException();
2507 return false;
2508 }
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002509 ObjPtr<mirror::PointerArray> methods_and_pcs =
2510 class_linker->AllocPointerArray(self_, depth * 2);
Mathieu Chartier910e8272015-09-30 09:24:22 -07002511 const char* last_no_suspend_cause =
2512 self_->StartAssertNoThreadSuspension("Building internal stack trace");
2513 if (methods_and_pcs == nullptr) {
2514 self_->AssertPendingOOMException();
2515 return false;
2516 }
2517 trace->Set(0, methods_and_pcs);
2518 trace_ = trace.Get();
Mathieu Chartiere401d142015-04-22 13:56:20 -07002519 // If We are called from native, use non-transactional mode.
Dave Allison0aded082013-11-07 13:15:11 -08002520 CHECK(last_no_suspend_cause == nullptr) << last_no_suspend_cause;
Ian Rogers283ed0d2012-02-16 15:25:09 -08002521 return true;
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002522 }
2523
Mathieu Chartier4e2cb092015-07-22 16:17:51 -07002524 virtual ~BuildInternalStackTraceVisitor() RELEASE(Roles::uninterruptible_) {
2525 self_->EndAssertNoThreadSuspension(nullptr);
Ian Rogers0399dde2012-06-06 17:09:28 -07002526 }
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002527
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07002528 bool VisitFrame() REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07002529 if (trace_ == nullptr) {
Brian Carlstrom7934ac22013-07-26 10:54:15 -07002530 return true; // We're probably trying to fillInStackTrace for an OutOfMemoryError.
Elliott Hughes726079d2011-10-07 18:43:44 -07002531 }
Elliott Hughes29f27422011-09-18 16:02:18 -07002532 if (skip_depth_ > 0) {
2533 skip_depth_--;
Elliott Hughes530fa002012-03-12 11:44:49 -07002534 return true;
Elliott Hughes29f27422011-09-18 16:02:18 -07002535 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07002536 ArtMethod* m = GetMethod();
Ian Rogers0399dde2012-06-06 17:09:28 -07002537 if (m->IsRuntimeMethod()) {
2538 return true; // Ignore runtime frames (in particular callee save).
Ian Rogers6b0870d2011-12-15 19:38:12 -08002539 }
Andreas Gampee2abbc62017-09-15 11:59:26 -07002540 AddFrame(m, m->IsProxyMethod() ? dex::kDexNoIndex : GetDexPc());
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002541 return true;
2542 }
2543
2544 void AddFrame(ArtMethod* method, uint32_t dex_pc) REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002545 ObjPtr<mirror::PointerArray> trace_methods_and_pcs = GetTraceMethodsAndPCs();
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002546 trace_methods_and_pcs->SetElementPtrSize<kTransactionActive>(count_, method, pointer_size_);
Mathieu Chartier910e8272015-09-30 09:24:22 -07002547 trace_methods_and_pcs->SetElementPtrSize<kTransactionActive>(
2548 trace_methods_and_pcs->GetLength() / 2 + count_,
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002549 dex_pc,
Mathieu Chartier910e8272015-09-30 09:24:22 -07002550 pointer_size_);
2551 // Save the declaring class of the method to ensure that the declaring classes of the methods
2552 // do not get unloaded while the stack trace is live.
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002553 trace_->Set(count_ + 1, method->GetDeclaringClass());
Ian Rogersaaa20802011-09-11 21:47:37 -07002554 ++count_;
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002555 }
2556
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002557 ObjPtr<mirror::PointerArray> GetTraceMethodsAndPCs() const REQUIRES_SHARED(Locks::mutator_lock_) {
2558 return ObjPtr<mirror::PointerArray>::DownCast(MakeObjPtr(trace_->Get(0)));
Mathieu Chartier910e8272015-09-30 09:24:22 -07002559 }
2560
2561 mirror::ObjectArray<mirror::Object>* GetInternalStackTrace() const {
Mathieu Chartiere401d142015-04-22 13:56:20 -07002562 return trace_;
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002563 }
2564
2565 private:
Ian Rogers1f539342012-10-03 21:09:42 -07002566 Thread* const self_;
Elliott Hughes29f27422011-09-18 16:02:18 -07002567 // How many more frames to skip.
2568 int32_t skip_depth_;
Ian Rogers0399dde2012-06-06 17:09:28 -07002569 // Current position down stack trace.
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002570 uint32_t count_ = 0;
Mathieu Chartier910e8272015-09-30 09:24:22 -07002571 // An object array where the first element is a pointer array that contains the ArtMethod
2572 // pointers on the stack and dex PCs. The rest of the elements are the declaring
2573 // class of the ArtMethod pointers. trace_[i+1] contains the declaring class of the ArtMethod of
2574 // the i'th frame.
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002575 mirror::ObjectArray<mirror::Object>* trace_ = nullptr;
Mathieu Chartiere401d142015-04-22 13:56:20 -07002576 // For cross compilation.
Andreas Gampe542451c2016-07-26 09:02:02 -07002577 const PointerSize pointer_size_;
Sebastien Hertz26f72862015-09-15 09:52:07 +02002578
2579 DISALLOW_COPY_AND_ASSIGN(BuildInternalStackTraceVisitor);
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002580};
2581
Sebastien Hertzee1d79a2014-02-21 15:46:30 +01002582template<bool kTransactionActive>
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -07002583jobject Thread::CreateInternalStackTrace(const ScopedObjectAccessAlreadyRunnable& soa) const {
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002584 // Compute depth of stack, save frames if possible to avoid needing to recompute many.
2585 constexpr size_t kMaxSavedFrames = 256;
2586 std::unique_ptr<ArtMethodDexPcPair[]> saved_frames(new ArtMethodDexPcPair[kMaxSavedFrames]);
2587 FetchStackTraceVisitor count_visitor(const_cast<Thread*>(this),
2588 &saved_frames[0],
2589 kMaxSavedFrames);
Ian Rogers0399dde2012-06-06 17:09:28 -07002590 count_visitor.WalkStack();
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002591 const uint32_t depth = count_visitor.GetDepth();
2592 const uint32_t skip_depth = count_visitor.GetSkipDepth();
Shih-wei Liao44175362011-08-28 16:59:17 -07002593
Ian Rogers1f539342012-10-03 21:09:42 -07002594 // Build internal stack trace.
Sebastien Hertzee1d79a2014-02-21 15:46:30 +01002595 BuildInternalStackTraceVisitor<kTransactionActive> build_trace_visitor(soa.Self(),
2596 const_cast<Thread*>(this),
2597 skip_depth);
Ian Rogers1f539342012-10-03 21:09:42 -07002598 if (!build_trace_visitor.Init(depth)) {
Dave Allison0aded082013-11-07 13:15:11 -08002599 return nullptr; // Allocation failed.
Ian Rogers283ed0d2012-02-16 15:25:09 -08002600 }
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002601 // If we saved all of the frames we don't even need to do the actual stack walk. This is faster
2602 // than doing the stack walk twice.
2603 if (depth < kMaxSavedFrames) {
2604 for (size_t i = 0; i < depth; ++i) {
2605 build_trace_visitor.AddFrame(saved_frames[i].first, saved_frames[i].second);
2606 }
2607 } else {
2608 build_trace_visitor.WalkStack();
2609 }
2610
Mathieu Chartier910e8272015-09-30 09:24:22 -07002611 mirror::ObjectArray<mirror::Object>* trace = build_trace_visitor.GetInternalStackTrace();
Ian Rogers7a22fa62013-01-23 12:16:16 -08002612 if (kIsDebugBuild) {
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002613 ObjPtr<mirror::PointerArray> trace_methods = build_trace_visitor.GetTraceMethodsAndPCs();
Mathieu Chartier910e8272015-09-30 09:24:22 -07002614 // Second half of trace_methods is dex PCs.
2615 for (uint32_t i = 0; i < static_cast<uint32_t>(trace_methods->GetLength() / 2); ++i) {
2616 auto* method = trace_methods->GetElementPtrSize<ArtMethod*>(
Mathieu Chartiere401d142015-04-22 13:56:20 -07002617 i, Runtime::Current()->GetClassLinker()->GetImagePointerSize());
2618 CHECK(method != nullptr);
Ian Rogers7a22fa62013-01-23 12:16:16 -08002619 }
2620 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07002621 return soa.AddLocalReference<jobject>(trace);
Ian Rogersaaa20802011-09-11 21:47:37 -07002622}
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -07002623template jobject Thread::CreateInternalStackTrace<false>(
2624 const ScopedObjectAccessAlreadyRunnable& soa) const;
2625template jobject Thread::CreateInternalStackTrace<true>(
2626 const ScopedObjectAccessAlreadyRunnable& soa) const;
Ian Rogersaaa20802011-09-11 21:47:37 -07002627
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002628bool Thread::IsExceptionThrownByCurrentMethod(ObjPtr<mirror::Throwable> exception) const {
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002629 // Only count the depth since we do not pass a stack frame array as an argument.
2630 FetchStackTraceVisitor count_visitor(const_cast<Thread*>(this));
Nicolas Geoffray7642cfc2015-02-26 10:56:09 +00002631 count_visitor.WalkStack();
Mathieu Chartier65b8bb22017-02-01 11:03:50 -08002632 return count_visitor.GetDepth() == static_cast<uint32_t>(exception->GetStackDepth());
Nicolas Geoffray7642cfc2015-02-26 10:56:09 +00002633}
2634
Andreas Gampeb6f309e2017-12-11 20:45:41 -08002635static ObjPtr<mirror::StackTraceElement> CreateStackTraceElement(
2636 const ScopedObjectAccessAlreadyRunnable& soa,
2637 ArtMethod* method,
2638 uint32_t dex_pc) REQUIRES_SHARED(Locks::mutator_lock_) {
2639 int32_t line_number;
2640 StackHandleScope<3> hs(soa.Self());
2641 auto class_name_object(hs.NewHandle<mirror::String>(nullptr));
2642 auto source_name_object(hs.NewHandle<mirror::String>(nullptr));
2643 if (method->IsProxyMethod()) {
2644 line_number = -1;
2645 class_name_object.Assign(method->GetDeclaringClass()->GetName());
2646 // source_name_object intentionally left null for proxy methods
2647 } else {
2648 line_number = method->GetLineNumFromDexPC(dex_pc);
2649 // Allocate element, potentially triggering GC
2650 // TODO: reuse class_name_object via Class::name_?
2651 const char* descriptor = method->GetDeclaringClassDescriptor();
2652 CHECK(descriptor != nullptr);
2653 std::string class_name(PrettyDescriptor(descriptor));
2654 class_name_object.Assign(
2655 mirror::String::AllocFromModifiedUtf8(soa.Self(), class_name.c_str()));
2656 if (class_name_object == nullptr) {
2657 soa.Self()->AssertPendingOOMException();
2658 return nullptr;
2659 }
2660 const char* source_file = method->GetDeclaringClassSourceFile();
2661 if (line_number == -1) {
2662 // Make the line_number field of StackTraceElement hold the dex pc.
2663 // source_name_object is intentionally left null if we failed to map the dex pc to
2664 // a line number (most probably because there is no debug info). See b/30183883.
2665 line_number = dex_pc;
2666 } else {
2667 if (source_file != nullptr) {
2668 source_name_object.Assign(mirror::String::AllocFromModifiedUtf8(soa.Self(), source_file));
2669 if (source_name_object == nullptr) {
2670 soa.Self()->AssertPendingOOMException();
2671 return nullptr;
2672 }
2673 }
2674 }
2675 }
2676 const char* method_name = method->GetInterfaceMethodIfProxy(kRuntimePointerSize)->GetName();
2677 CHECK(method_name != nullptr);
2678 Handle<mirror::String> method_name_object(
2679 hs.NewHandle(mirror::String::AllocFromModifiedUtf8(soa.Self(), method_name)));
2680 if (method_name_object == nullptr) {
2681 return nullptr;
2682 }
2683 return mirror::StackTraceElement::Alloc(soa.Self(),
2684 class_name_object,
2685 method_name_object,
2686 source_name_object,
2687 line_number);
2688}
2689
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -07002690jobjectArray Thread::InternalStackTraceToStackTraceElementArray(
Mathieu Chartier910e8272015-09-30 09:24:22 -07002691 const ScopedObjectAccessAlreadyRunnable& soa,
2692 jobject internal,
2693 jobjectArray output_array,
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -07002694 int* stack_depth) {
Mathieu Chartier910e8272015-09-30 09:24:22 -07002695 // Decode the internal stack trace into the depth, method trace and PC trace.
2696 // Subtract one for the methods and PC trace.
Mathieu Chartier0795f232016-09-27 18:43:30 -07002697 int32_t depth = soa.Decode<mirror::Array>(internal)->GetLength() - 1;
Mathieu Chartier910e8272015-09-30 09:24:22 -07002698 DCHECK_GE(depth, 0);
Ian Rogersaaa20802011-09-11 21:47:37 -07002699
Mathieu Chartier910e8272015-09-30 09:24:22 -07002700 ClassLinker* const class_linker = Runtime::Current()->GetClassLinker();
Ian Rogersaaa20802011-09-11 21:47:37 -07002701
Elliott Hughes01158d72011-09-19 19:47:10 -07002702 jobjectArray result;
Mathieu Chartier530825b2013-09-25 17:56:49 -07002703
Dave Allison0aded082013-11-07 13:15:11 -08002704 if (output_array != nullptr) {
Elliott Hughes01158d72011-09-19 19:47:10 -07002705 // Reuse the array we were given.
2706 result = output_array;
Elliott Hughes01158d72011-09-19 19:47:10 -07002707 // ...adjusting the number of frames we'll write to not exceed the array length.
Mathieu Chartier530825b2013-09-25 17:56:49 -07002708 const int32_t traces_length =
Mathieu Chartier0795f232016-09-27 18:43:30 -07002709 soa.Decode<mirror::ObjectArray<mirror::StackTraceElement>>(result)->GetLength();
Mathieu Chartier530825b2013-09-25 17:56:49 -07002710 depth = std::min(depth, traces_length);
Elliott Hughes01158d72011-09-19 19:47:10 -07002711 } else {
2712 // Create java_trace array and place in local reference table
Mathieu Chartier530825b2013-09-25 17:56:49 -07002713 mirror::ObjectArray<mirror::StackTraceElement>* java_traces =
Mathieu Chartier910e8272015-09-30 09:24:22 -07002714 class_linker->AllocStackTraceElementArray(soa.Self(), depth);
Dave Allison0aded082013-11-07 13:15:11 -08002715 if (java_traces == nullptr) {
2716 return nullptr;
Elliott Hughes30646832011-10-13 16:59:46 -07002717 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -07002718 result = soa.AddLocalReference<jobjectArray>(java_traces);
Elliott Hughes01158d72011-09-19 19:47:10 -07002719 }
2720
Dave Allison0aded082013-11-07 13:15:11 -08002721 if (stack_depth != nullptr) {
Elliott Hughes01158d72011-09-19 19:47:10 -07002722 *stack_depth = depth;
2723 }
Shih-wei Liao55df06b2011-08-26 14:39:27 -07002724
Shih-wei Liao9b576b42011-08-29 01:45:07 -07002725 for (int32_t i = 0; i < depth; ++i) {
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002726 ObjPtr<mirror::ObjectArray<mirror::Object>> decoded_traces =
Mathieu Chartier0795f232016-09-27 18:43:30 -07002727 soa.Decode<mirror::Object>(internal)->AsObjectArray<mirror::Object>();
Mathieu Chartier910e8272015-09-30 09:24:22 -07002728 // Methods and dex PC trace is element 0.
2729 DCHECK(decoded_traces->Get(0)->IsIntArray() || decoded_traces->Get(0)->IsLongArray());
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002730 ObjPtr<mirror::PointerArray> const method_trace =
2731 ObjPtr<mirror::PointerArray>::DownCast(MakeObjPtr(decoded_traces->Get(0)));
Ian Rogersaaa20802011-09-11 21:47:37 -07002732 // Prepare parameters for StackTraceElement(String cls, String method, String file, int line)
Andreas Gampe542451c2016-07-26 09:02:02 -07002733 ArtMethod* method = method_trace->GetElementPtrSize<ArtMethod*>(i, kRuntimePointerSize);
Mathieu Chartiere401d142015-04-22 13:56:20 -07002734 uint32_t dex_pc = method_trace->GetElementPtrSize<uint32_t>(
Andreas Gampe542451c2016-07-26 09:02:02 -07002735 i + method_trace->GetLength() / 2, kRuntimePointerSize);
Andreas Gampeb6f309e2017-12-11 20:45:41 -08002736 ObjPtr<mirror::StackTraceElement> obj = CreateStackTraceElement(soa, method, dex_pc);
Dave Allison0aded082013-11-07 13:15:11 -08002737 if (obj == nullptr) {
2738 return nullptr;
Elliott Hughes30646832011-10-13 16:59:46 -07002739 }
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +01002740 // We are called from native: use non-transactional mode.
Mathieu Chartier0795f232016-09-27 18:43:30 -07002741 soa.Decode<mirror::ObjectArray<mirror::StackTraceElement>>(result)->Set<false>(i, obj);
Shih-wei Liao55df06b2011-08-26 14:39:27 -07002742 }
Ian Rogersaaa20802011-09-11 21:47:37 -07002743 return result;
Shih-wei Liao55df06b2011-08-26 14:39:27 -07002744}
2745
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00002746void Thread::ThrowNewExceptionF(const char* exception_class_descriptor, const char* fmt, ...) {
Elliott Hughesa5b897e2011-08-16 11:33:06 -07002747 va_list args;
2748 va_start(args, fmt);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00002749 ThrowNewExceptionV(exception_class_descriptor, fmt, args);
Elliott Hughesa5b897e2011-08-16 11:33:06 -07002750 va_end(args);
Elliott Hughes4a2b4172011-09-20 17:08:25 -07002751}
2752
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00002753void Thread::ThrowNewExceptionV(const char* exception_class_descriptor,
Ian Rogers62d6c772013-02-27 08:32:07 -08002754 const char* fmt, va_list ap) {
Elliott Hughes4a2b4172011-09-20 17:08:25 -07002755 std::string msg;
2756 StringAppendV(&msg, fmt, ap);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00002757 ThrowNewException(exception_class_descriptor, msg.c_str());
Elliott Hughes5cb5ad22011-10-02 12:13:39 -07002758}
Elliott Hughes37f7a402011-08-22 18:56:01 -07002759
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00002760void Thread::ThrowNewException(const char* exception_class_descriptor,
Ian Rogers62d6c772013-02-27 08:32:07 -08002761 const char* msg) {
Mathieu Chartier8d7672e2014-02-25 10:57:16 -08002762 // Callers should either clear or call ThrowNewWrappedException.
2763 AssertNoPendingExceptionForNewException(msg);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00002764 ThrowNewWrappedException(exception_class_descriptor, msg);
Elliott Hughesa4f94742012-05-29 16:28:38 -07002765}
2766
Mathieu Chartierf5769e12017-01-10 15:54:41 -08002767static ObjPtr<mirror::ClassLoader> GetCurrentClassLoader(Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07002768 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07002769 ArtMethod* method = self->GetCurrentMethod(nullptr);
Nicolas Geoffrayee077032015-03-09 14:56:37 +00002770 return method != nullptr
2771 ? method->GetDeclaringClass()->GetClassLoader()
Nicolas Geoffray14691c52015-03-05 10:40:17 +00002772 : nullptr;
2773}
2774
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00002775void Thread::ThrowNewWrappedException(const char* exception_class_descriptor,
Ian Rogers62d6c772013-02-27 08:32:07 -08002776 const char* msg) {
2777 DCHECK_EQ(this, Thread::Current());
Ian Rogers53b8b092014-03-13 23:45:53 -07002778 ScopedObjectAccessUnchecked soa(this);
Nicolas Geoffray14691c52015-03-05 10:40:17 +00002779 StackHandleScope<3> hs(soa.Self());
Nicolas Geoffrayee077032015-03-09 14:56:37 +00002780 Handle<mirror::ClassLoader> class_loader(hs.NewHandle(GetCurrentClassLoader(soa.Self())));
Nicolas Geoffray14691c52015-03-05 10:40:17 +00002781 ScopedLocalRef<jobject> cause(GetJniEnv(), soa.AddLocalReference<jobject>(GetException()));
Ian Rogers62d6c772013-02-27 08:32:07 -08002782 ClearException();
2783 Runtime* runtime = Runtime::Current();
Mathieu Chartiere401d142015-04-22 13:56:20 -07002784 auto* cl = runtime->GetClassLinker();
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002785 Handle<mirror::Class> exception_class(
Mathieu Chartiere401d142015-04-22 13:56:20 -07002786 hs.NewHandle(cl->FindClass(this, exception_class_descriptor, class_loader)));
Andreas Gampefa4333d2017-02-14 11:10:34 -08002787 if (UNLIKELY(exception_class == nullptr)) {
Elliott Hughes30646832011-10-13 16:59:46 -07002788 CHECK(IsExceptionPending());
Ian Rogers62d6c772013-02-27 08:32:07 -08002789 LOG(ERROR) << "No exception class " << PrettyDescriptor(exception_class_descriptor);
Elliott Hughes30646832011-10-13 16:59:46 -07002790 return;
2791 }
Ian Rogers62d6c772013-02-27 08:32:07 -08002792
Ian Rogers7b078e82014-09-10 14:44:24 -07002793 if (UNLIKELY(!runtime->GetClassLinker()->EnsureInitialized(soa.Self(), exception_class, true,
2794 true))) {
Ian Rogers62d6c772013-02-27 08:32:07 -08002795 DCHECK(IsExceptionPending());
2796 return;
2797 }
2798 DCHECK(!runtime->IsStarted() || exception_class->IsThrowableClass());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002799 Handle<mirror::Throwable> exception(
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07002800 hs.NewHandle(ObjPtr<mirror::Throwable>::DownCast(exception_class->AllocObject(this))));
Ian Rogers62d6c772013-02-27 08:32:07 -08002801
Mathieu Chartier590fee92013-09-13 13:46:47 -07002802 // If we couldn't allocate the exception, throw the pre-allocated out of memory exception.
Andreas Gampefa4333d2017-02-14 11:10:34 -08002803 if (exception == nullptr) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +00002804 SetException(Runtime::Current()->GetPreAllocatedOutOfMemoryError());
Mathieu Chartier590fee92013-09-13 13:46:47 -07002805 return;
2806 }
2807
Ian Rogers62d6c772013-02-27 08:32:07 -08002808 // Choose an appropriate constructor and set up the arguments.
2809 const char* signature;
Ian Rogers53b8b092014-03-13 23:45:53 -07002810 ScopedLocalRef<jstring> msg_string(GetJniEnv(), nullptr);
Dave Allison0aded082013-11-07 13:15:11 -08002811 if (msg != nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -08002812 // Ensure we remember this and the method over the String allocation.
Ian Rogers53b8b092014-03-13 23:45:53 -07002813 msg_string.reset(
2814 soa.AddLocalReference<jstring>(mirror::String::AllocFromModifiedUtf8(this, msg)));
Dave Allison0aded082013-11-07 13:15:11 -08002815 if (UNLIKELY(msg_string.get() == nullptr)) {
Ian Rogers62d6c772013-02-27 08:32:07 -08002816 CHECK(IsExceptionPending()); // OOME.
2817 return;
Brian Carlstromebd1fd22011-12-07 15:46:26 -08002818 }
Dave Allison0aded082013-11-07 13:15:11 -08002819 if (cause.get() == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -08002820 signature = "(Ljava/lang/String;)V";
2821 } else {
2822 signature = "(Ljava/lang/String;Ljava/lang/Throwable;)V";
2823 }
2824 } else {
Dave Allison0aded082013-11-07 13:15:11 -08002825 if (cause.get() == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -08002826 signature = "()V";
2827 } else {
2828 signature = "(Ljava/lang/Throwable;)V";
2829 }
Brian Carlstromebd1fd22011-12-07 15:46:26 -08002830 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07002831 ArtMethod* exception_init_method =
Vladimir Markoba118822017-06-12 15:41:56 +01002832 exception_class->FindConstructor(signature, cl->GetImagePointerSize());
Ian Rogers62d6c772013-02-27 08:32:07 -08002833
Dave Allison0aded082013-11-07 13:15:11 -08002834 CHECK(exception_init_method != nullptr) << "No <init>" << signature << " in "
Ian Rogers62d6c772013-02-27 08:32:07 -08002835 << PrettyDescriptor(exception_class_descriptor);
2836
2837 if (UNLIKELY(!runtime->IsStarted())) {
2838 // Something is trying to throw an exception without a started runtime, which is the common
2839 // case in the compiler. We won't be able to invoke the constructor of the exception, so set
2840 // the exception fields directly.
Dave Allison0aded082013-11-07 13:15:11 -08002841 if (msg != nullptr) {
Mathieu Chartierc4f39252016-10-05 18:32:08 -07002842 exception->SetDetailMessage(DecodeJObject(msg_string.get())->AsString());
Ian Rogers62d6c772013-02-27 08:32:07 -08002843 }
Dave Allison0aded082013-11-07 13:15:11 -08002844 if (cause.get() != nullptr) {
Mathieu Chartierc4f39252016-10-05 18:32:08 -07002845 exception->SetCause(DecodeJObject(cause.get())->AsThrowable());
Ian Rogers62d6c772013-02-27 08:32:07 -08002846 }
Ian Rogersc45b8b52014-05-03 01:39:59 -07002847 ScopedLocalRef<jobject> trace(GetJniEnv(),
2848 Runtime::Current()->IsActiveTransaction()
2849 ? CreateInternalStackTrace<true>(soa)
2850 : CreateInternalStackTrace<false>(soa));
2851 if (trace.get() != nullptr) {
Mathieu Chartierc4f39252016-10-05 18:32:08 -07002852 exception->SetStackState(DecodeJObject(trace.get()).Ptr());
Ian Rogersc45b8b52014-05-03 01:39:59 -07002853 }
Nicolas Geoffray14691c52015-03-05 10:40:17 +00002854 SetException(exception.Get());
Ian Rogers62d6c772013-02-27 08:32:07 -08002855 } else {
Ian Rogers53b8b092014-03-13 23:45:53 -07002856 jvalue jv_args[2];
2857 size_t i = 0;
2858
Dave Allison0aded082013-11-07 13:15:11 -08002859 if (msg != nullptr) {
Ian Rogers53b8b092014-03-13 23:45:53 -07002860 jv_args[i].l = msg_string.get();
2861 ++i;
Ian Rogers62d6c772013-02-27 08:32:07 -08002862 }
Dave Allison0aded082013-11-07 13:15:11 -08002863 if (cause.get() != nullptr) {
Ian Rogers53b8b092014-03-13 23:45:53 -07002864 jv_args[i].l = cause.get();
2865 ++i;
Ian Rogers62d6c772013-02-27 08:32:07 -08002866 }
Jeff Hao39b6c242015-05-19 20:30:23 -07002867 ScopedLocalRef<jobject> ref(soa.Env(), soa.AddLocalReference<jobject>(exception.Get()));
Andreas Gampe13b27842016-11-07 16:48:23 -08002868 InvokeWithJValues(soa, ref.get(), jni::EncodeArtMethod(exception_init_method), jv_args);
Ian Rogers62d6c772013-02-27 08:32:07 -08002869 if (LIKELY(!IsExceptionPending())) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +00002870 SetException(exception.Get());
Ian Rogers62d6c772013-02-27 08:32:07 -08002871 }
Elliott Hughes30646832011-10-13 16:59:46 -07002872 }
Elliott Hughesa5b897e2011-08-16 11:33:06 -07002873}
2874
Elliott Hughes2ced6a52011-10-16 18:44:48 -07002875void Thread::ThrowOutOfMemoryError(const char* msg) {
Andreas Gampee4301ff2015-02-17 19:25:29 -08002876 LOG(WARNING) << StringPrintf("Throwing OutOfMemoryError \"%s\"%s",
Ian Rogersdd7624d2014-03-14 17:43:00 -07002877 msg, (tls32_.throwing_OutOfMemoryError ? " (recursive case)" : ""));
Ian Rogersdd7624d2014-03-14 17:43:00 -07002878 if (!tls32_.throwing_OutOfMemoryError) {
2879 tls32_.throwing_OutOfMemoryError = true;
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +00002880 ThrowNewException("Ljava/lang/OutOfMemoryError;", msg);
Ian Rogersdd7624d2014-03-14 17:43:00 -07002881 tls32_.throwing_OutOfMemoryError = false;
Elliott Hughes418dfe72011-10-06 18:56:27 -07002882 } else {
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07002883 Dump(LOG_STREAM(WARNING)); // The pre-allocated OOME has no stack, so help out and log one.
Nicolas Geoffray14691c52015-03-05 10:40:17 +00002884 SetException(Runtime::Current()->GetPreAllocatedOutOfMemoryError());
Elliott Hughes418dfe72011-10-06 18:56:27 -07002885 }
Elliott Hughes79082e32011-08-25 12:07:32 -07002886}
2887
Elliott Hughes498508c2011-10-17 14:58:22 -07002888Thread* Thread::CurrentFromGdb() {
Elliott Hughesaccd83d2011-10-17 14:25:58 -07002889 return Thread::Current();
2890}
2891
2892void Thread::DumpFromGdb() const {
Brian Carlstrom6b4ef022011-10-23 14:59:04 -07002893 std::ostringstream ss;
2894 Dump(ss);
Elliott Hughes95572412011-12-13 18:14:20 -08002895 std::string str(ss.str());
Brian Carlstrom6b4ef022011-10-23 14:59:04 -07002896 // log to stderr for debugging command line processes
2897 std::cerr << str;
Bilyan Borisovbb661c02016-04-04 16:27:32 +01002898#ifdef ART_TARGET_ANDROID
Brian Carlstrom6b4ef022011-10-23 14:59:04 -07002899 // log to logcat for debugging frameworks processes
2900 LOG(INFO) << str;
2901#endif
Elliott Hughesaccd83d2011-10-17 14:25:58 -07002902}
2903
Ian Rogersdd7624d2014-03-14 17:43:00 -07002904// Explicitly instantiate 32 and 64bit thread offset dumping support.
Andreas Gampe542451c2016-07-26 09:02:02 -07002905template
2906void Thread::DumpThreadOffset<PointerSize::k32>(std::ostream& os, uint32_t offset);
2907template
2908void Thread::DumpThreadOffset<PointerSize::k64>(std::ostream& os, uint32_t offset);
Elliott Hughes98e20172012-04-24 15:38:13 -07002909
Andreas Gampe542451c2016-07-26 09:02:02 -07002910template<PointerSize ptr_size>
Ian Rogersdd7624d2014-03-14 17:43:00 -07002911void Thread::DumpThreadOffset(std::ostream& os, uint32_t offset) {
2912#define DO_THREAD_OFFSET(x, y) \
Chih-Hung Hsiehfba39972016-05-11 11:26:48 -07002913 if (offset == (x).Uint32Value()) { \
2914 os << (y); \
Brian Carlstromf69863b2013-07-17 21:53:13 -07002915 return; \
2916 }
Ian Rogersdd7624d2014-03-14 17:43:00 -07002917 DO_THREAD_OFFSET(ThreadFlagsOffset<ptr_size>(), "state_and_flags")
2918 DO_THREAD_OFFSET(CardTableOffset<ptr_size>(), "card_table")
2919 DO_THREAD_OFFSET(ExceptionOffset<ptr_size>(), "exception")
2920 DO_THREAD_OFFSET(PeerOffset<ptr_size>(), "peer");
2921 DO_THREAD_OFFSET(JniEnvOffset<ptr_size>(), "jni_env")
2922 DO_THREAD_OFFSET(SelfOffset<ptr_size>(), "self")
2923 DO_THREAD_OFFSET(StackEndOffset<ptr_size>(), "stack_end")
2924 DO_THREAD_OFFSET(ThinLockIdOffset<ptr_size>(), "thin_lock_thread_id")
Roland Levillain97c46462017-05-11 14:04:03 +01002925 DO_THREAD_OFFSET(IsGcMarkingOffset<ptr_size>(), "is_gc_marking")
Ian Rogersdd7624d2014-03-14 17:43:00 -07002926 DO_THREAD_OFFSET(TopOfManagedStackOffset<ptr_size>(), "top_quick_frame_method")
Ian Rogersdd7624d2014-03-14 17:43:00 -07002927 DO_THREAD_OFFSET(TopShadowFrameOffset<ptr_size>(), "top_shadow_frame")
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07002928 DO_THREAD_OFFSET(TopHandleScopeOffset<ptr_size>(), "top_handle_scope")
Ian Rogersdd7624d2014-03-14 17:43:00 -07002929 DO_THREAD_OFFSET(ThreadSuspendTriggerOffset<ptr_size>(), "suspend_trigger")
Elliott Hughes28fa76d2012-04-09 17:31:46 -07002930#undef DO_THREAD_OFFSET
Elliott Hughes98e20172012-04-24 15:38:13 -07002931
Ian Rogersdd7624d2014-03-14 17:43:00 -07002932#define JNI_ENTRY_POINT_INFO(x) \
2933 if (JNI_ENTRYPOINT_OFFSET(ptr_size, x).Uint32Value() == offset) { \
2934 os << #x; \
2935 return; \
2936 }
2937 JNI_ENTRY_POINT_INFO(pDlsymLookup)
2938#undef JNI_ENTRY_POINT_INFO
2939
Ian Rogersdd7624d2014-03-14 17:43:00 -07002940#define QUICK_ENTRY_POINT_INFO(x) \
2941 if (QUICK_ENTRYPOINT_OFFSET(ptr_size, x).Uint32Value() == offset) { \
2942 os << #x; \
2943 return; \
2944 }
Ian Rogersdd7624d2014-03-14 17:43:00 -07002945 QUICK_ENTRY_POINT_INFO(pAllocArrayResolved)
Nicolas Geoffrayb048cb72017-01-23 22:50:24 +00002946 QUICK_ENTRY_POINT_INFO(pAllocArrayResolved8)
2947 QUICK_ENTRY_POINT_INFO(pAllocArrayResolved16)
2948 QUICK_ENTRY_POINT_INFO(pAllocArrayResolved32)
2949 QUICK_ENTRY_POINT_INFO(pAllocArrayResolved64)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002950 QUICK_ENTRY_POINT_INFO(pAllocObjectResolved)
2951 QUICK_ENTRY_POINT_INFO(pAllocObjectInitialized)
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +00002952 QUICK_ENTRY_POINT_INFO(pAllocObjectWithChecks)
Jeff Hao848f70a2014-01-15 13:49:50 -08002953 QUICK_ENTRY_POINT_INFO(pAllocStringFromBytes)
2954 QUICK_ENTRY_POINT_INFO(pAllocStringFromChars)
2955 QUICK_ENTRY_POINT_INFO(pAllocStringFromString)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002956 QUICK_ENTRY_POINT_INFO(pInstanceofNonTrivial)
Mathieu Chartierb99f4d62016-11-07 16:17:26 -08002957 QUICK_ENTRY_POINT_INFO(pCheckInstanceOf)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002958 QUICK_ENTRY_POINT_INFO(pInitializeStaticStorage)
2959 QUICK_ENTRY_POINT_INFO(pInitializeTypeAndVerifyAccess)
2960 QUICK_ENTRY_POINT_INFO(pInitializeType)
2961 QUICK_ENTRY_POINT_INFO(pResolveString)
Fred Shih37f05ef2014-07-16 18:38:08 -07002962 QUICK_ENTRY_POINT_INFO(pSet8Instance)
2963 QUICK_ENTRY_POINT_INFO(pSet8Static)
2964 QUICK_ENTRY_POINT_INFO(pSet16Instance)
2965 QUICK_ENTRY_POINT_INFO(pSet16Static)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002966 QUICK_ENTRY_POINT_INFO(pSet32Instance)
2967 QUICK_ENTRY_POINT_INFO(pSet32Static)
2968 QUICK_ENTRY_POINT_INFO(pSet64Instance)
2969 QUICK_ENTRY_POINT_INFO(pSet64Static)
2970 QUICK_ENTRY_POINT_INFO(pSetObjInstance)
2971 QUICK_ENTRY_POINT_INFO(pSetObjStatic)
Fred Shih37f05ef2014-07-16 18:38:08 -07002972 QUICK_ENTRY_POINT_INFO(pGetByteInstance)
2973 QUICK_ENTRY_POINT_INFO(pGetBooleanInstance)
2974 QUICK_ENTRY_POINT_INFO(pGetByteStatic)
2975 QUICK_ENTRY_POINT_INFO(pGetBooleanStatic)
2976 QUICK_ENTRY_POINT_INFO(pGetShortInstance)
2977 QUICK_ENTRY_POINT_INFO(pGetCharInstance)
2978 QUICK_ENTRY_POINT_INFO(pGetShortStatic)
2979 QUICK_ENTRY_POINT_INFO(pGetCharStatic)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002980 QUICK_ENTRY_POINT_INFO(pGet32Instance)
2981 QUICK_ENTRY_POINT_INFO(pGet32Static)
2982 QUICK_ENTRY_POINT_INFO(pGet64Instance)
2983 QUICK_ENTRY_POINT_INFO(pGet64Static)
2984 QUICK_ENTRY_POINT_INFO(pGetObjInstance)
2985 QUICK_ENTRY_POINT_INFO(pGetObjStatic)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002986 QUICK_ENTRY_POINT_INFO(pAputObject)
Ian Rogersdd7624d2014-03-14 17:43:00 -07002987 QUICK_ENTRY_POINT_INFO(pJniMethodStart)
2988 QUICK_ENTRY_POINT_INFO(pJniMethodStartSynchronized)
2989 QUICK_ENTRY_POINT_INFO(pJniMethodEnd)
2990 QUICK_ENTRY_POINT_INFO(pJniMethodEndSynchronized)
2991 QUICK_ENTRY_POINT_INFO(pJniMethodEndWithReference)
2992 QUICK_ENTRY_POINT_INFO(pJniMethodEndWithReferenceSynchronized)
2993 QUICK_ENTRY_POINT_INFO(pQuickGenericJniTrampoline)
2994 QUICK_ENTRY_POINT_INFO(pLockObject)
2995 QUICK_ENTRY_POINT_INFO(pUnlockObject)
2996 QUICK_ENTRY_POINT_INFO(pCmpgDouble)
2997 QUICK_ENTRY_POINT_INFO(pCmpgFloat)
2998 QUICK_ENTRY_POINT_INFO(pCmplDouble)
2999 QUICK_ENTRY_POINT_INFO(pCmplFloat)
Mark Mendella4f12202015-08-06 15:23:34 -04003000 QUICK_ENTRY_POINT_INFO(pCos)
3001 QUICK_ENTRY_POINT_INFO(pSin)
3002 QUICK_ENTRY_POINT_INFO(pAcos)
3003 QUICK_ENTRY_POINT_INFO(pAsin)
3004 QUICK_ENTRY_POINT_INFO(pAtan)
3005 QUICK_ENTRY_POINT_INFO(pAtan2)
3006 QUICK_ENTRY_POINT_INFO(pCbrt)
3007 QUICK_ENTRY_POINT_INFO(pCosh)
3008 QUICK_ENTRY_POINT_INFO(pExp)
3009 QUICK_ENTRY_POINT_INFO(pExpm1)
3010 QUICK_ENTRY_POINT_INFO(pHypot)
3011 QUICK_ENTRY_POINT_INFO(pLog)
3012 QUICK_ENTRY_POINT_INFO(pLog10)
3013 QUICK_ENTRY_POINT_INFO(pNextAfter)
3014 QUICK_ENTRY_POINT_INFO(pSinh)
3015 QUICK_ENTRY_POINT_INFO(pTan)
3016 QUICK_ENTRY_POINT_INFO(pTanh)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003017 QUICK_ENTRY_POINT_INFO(pFmod)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003018 QUICK_ENTRY_POINT_INFO(pL2d)
3019 QUICK_ENTRY_POINT_INFO(pFmodf)
3020 QUICK_ENTRY_POINT_INFO(pL2f)
3021 QUICK_ENTRY_POINT_INFO(pD2iz)
3022 QUICK_ENTRY_POINT_INFO(pF2iz)
3023 QUICK_ENTRY_POINT_INFO(pIdivmod)
3024 QUICK_ENTRY_POINT_INFO(pD2l)
3025 QUICK_ENTRY_POINT_INFO(pF2l)
3026 QUICK_ENTRY_POINT_INFO(pLdiv)
3027 QUICK_ENTRY_POINT_INFO(pLmod)
3028 QUICK_ENTRY_POINT_INFO(pLmul)
3029 QUICK_ENTRY_POINT_INFO(pShlLong)
3030 QUICK_ENTRY_POINT_INFO(pShrLong)
3031 QUICK_ENTRY_POINT_INFO(pUshrLong)
3032 QUICK_ENTRY_POINT_INFO(pIndexOf)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003033 QUICK_ENTRY_POINT_INFO(pStringCompareTo)
3034 QUICK_ENTRY_POINT_INFO(pMemcpy)
3035 QUICK_ENTRY_POINT_INFO(pQuickImtConflictTrampoline)
3036 QUICK_ENTRY_POINT_INFO(pQuickResolutionTrampoline)
3037 QUICK_ENTRY_POINT_INFO(pQuickToInterpreterBridge)
3038 QUICK_ENTRY_POINT_INFO(pInvokeDirectTrampolineWithAccessCheck)
3039 QUICK_ENTRY_POINT_INFO(pInvokeInterfaceTrampolineWithAccessCheck)
3040 QUICK_ENTRY_POINT_INFO(pInvokeStaticTrampolineWithAccessCheck)
3041 QUICK_ENTRY_POINT_INFO(pInvokeSuperTrampolineWithAccessCheck)
3042 QUICK_ENTRY_POINT_INFO(pInvokeVirtualTrampolineWithAccessCheck)
Orion Hodsonac141392017-01-13 11:53:47 +00003043 QUICK_ENTRY_POINT_INFO(pInvokePolymorphic)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003044 QUICK_ENTRY_POINT_INFO(pTestSuspend)
3045 QUICK_ENTRY_POINT_INFO(pDeliverException)
3046 QUICK_ENTRY_POINT_INFO(pThrowArrayBounds)
3047 QUICK_ENTRY_POINT_INFO(pThrowDivZero)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003048 QUICK_ENTRY_POINT_INFO(pThrowNullPointer)
3049 QUICK_ENTRY_POINT_INFO(pThrowStackOverflow)
Mingyao Yangd43b3ac2015-04-01 14:03:04 -07003050 QUICK_ENTRY_POINT_INFO(pDeoptimize)
Douglas Leungd9cb8ae2014-07-09 14:28:35 -07003051 QUICK_ENTRY_POINT_INFO(pA64Load)
3052 QUICK_ENTRY_POINT_INFO(pA64Store)
Jeff Hao848f70a2014-01-15 13:49:50 -08003053 QUICK_ENTRY_POINT_INFO(pNewEmptyString)
3054 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_B)
3055 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BI)
3056 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BII)
3057 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BIII)
3058 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BIIString)
3059 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BString)
3060 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BIICharset)
3061 QUICK_ENTRY_POINT_INFO(pNewStringFromBytes_BCharset)
3062 QUICK_ENTRY_POINT_INFO(pNewStringFromChars_C)
3063 QUICK_ENTRY_POINT_INFO(pNewStringFromChars_CII)
3064 QUICK_ENTRY_POINT_INFO(pNewStringFromChars_IIC)
3065 QUICK_ENTRY_POINT_INFO(pNewStringFromCodePoints)
3066 QUICK_ENTRY_POINT_INFO(pNewStringFromString)
3067 QUICK_ENTRY_POINT_INFO(pNewStringFromStringBuffer)
3068 QUICK_ENTRY_POINT_INFO(pNewStringFromStringBuilder)
Hiroshi Yamauchi1cc71eb2015-05-07 10:47:27 -07003069 QUICK_ENTRY_POINT_INFO(pReadBarrierJni)
Roland Levillain02b75802016-07-13 11:54:35 +01003070 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg00)
3071 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg01)
3072 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg02)
3073 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg03)
3074 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg04)
3075 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg05)
3076 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg06)
3077 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg07)
3078 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg08)
3079 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg09)
3080 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg10)
3081 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg11)
3082 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg12)
3083 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg13)
3084 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg14)
3085 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg15)
3086 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg16)
3087 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg17)
3088 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg18)
3089 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg19)
3090 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg20)
3091 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg21)
3092 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg22)
3093 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg23)
3094 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg24)
3095 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg25)
3096 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg26)
3097 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg27)
3098 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg28)
3099 QUICK_ENTRY_POINT_INFO(pReadBarrierMarkReg29)
Man Cao1aee9002015-07-14 22:31:42 -07003100 QUICK_ENTRY_POINT_INFO(pReadBarrierSlow)
Roland Levillain0d5a2812015-11-13 10:07:31 +00003101 QUICK_ENTRY_POINT_INFO(pReadBarrierForRootSlow)
Igor Murashkin9d4b6da2016-07-29 09:51:58 -07003102
3103 QUICK_ENTRY_POINT_INFO(pJniMethodFastStart)
3104 QUICK_ENTRY_POINT_INFO(pJniMethodFastEnd)
Ian Rogersdd7624d2014-03-14 17:43:00 -07003105#undef QUICK_ENTRY_POINT_INFO
3106
Elliott Hughes98e20172012-04-24 15:38:13 -07003107 os << offset;
Elliott Hughes28fa76d2012-04-09 17:31:46 -07003108}
3109
jeffhao94d6df42012-11-26 16:02:12 -08003110void Thread::QuickDeliverException() {
Ian Rogers62d6c772013-02-27 08:32:07 -08003111 // Get exception from thread.
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003112 ObjPtr<mirror::Throwable> exception = GetException();
Dave Allison0aded082013-11-07 13:15:11 -08003113 CHECK(exception != nullptr);
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003114 if (exception == GetDeoptimizationException()) {
3115 artDeoptimize(this);
3116 UNREACHABLE();
3117 }
3118
Roland Levillaina78f5b62017-09-29 13:50:44 +01003119 ReadBarrier::MaybeAssertToSpaceInvariant(exception.Ptr());
Roland Levillainb77b6982017-06-08 18:03:48 +01003120
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003121 // This is a real exception: let the instrumentation know about it.
3122 instrumentation::Instrumentation* instrumentation = Runtime::Current()->GetInstrumentation();
Alex Light6e1607e2017-08-23 10:06:18 -07003123 if (instrumentation->HasExceptionThrownListeners() &&
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003124 IsExceptionThrownByCurrentMethod(exception)) {
3125 // Instrumentation may cause GC so keep the exception object safe.
3126 StackHandleScope<1> hs(this);
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003127 HandleWrapperObjPtr<mirror::Throwable> h_exception(hs.NewHandleWrapper(&exception));
Alex Light6e1607e2017-08-23 10:06:18 -07003128 instrumentation->ExceptionThrownEvent(this, exception.Ptr());
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003129 }
3130 // Does instrumentation need to deoptimize the stack?
3131 // Note: we do this *after* reporting the exception to instrumentation in case it
3132 // now requires deoptimization. It may happen if a debugger is attached and requests
3133 // new events (single-step, breakpoint, ...) when the exception is reported.
3134 if (Dbg::IsForcedInterpreterNeededForException(this)) {
3135 NthCallerVisitor visitor(this, 0, false);
3136 visitor.WalkStack();
Nicolas Geoffray433b79a2017-01-30 20:54:45 +00003137 if (Runtime::Current()->IsAsyncDeoptimizeable(visitor.caller_pc)) {
Mingyao Yang2ee17902017-08-30 11:37:08 -07003138 // method_type shouldn't matter due to exception handling.
3139 const DeoptimizationMethodType method_type = DeoptimizationMethodType::kDefault;
Sebastien Hertz520633b2015-09-08 17:03:36 +02003140 // Save the exception into the deoptimization context so it can be restored
3141 // before entering the interpreter.
Nicolas Geoffray73be1e82015-09-17 15:22:56 +01003142 PushDeoptimizationContext(
Mingyao Yang2ee17902017-08-30 11:37:08 -07003143 JValue(),
3144 false /* is_reference */,
3145 exception,
3146 false /* from_code */,
3147 method_type);
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003148 artDeoptimize(this);
3149 UNREACHABLE();
Nicolas Geoffray433b79a2017-01-30 20:54:45 +00003150 } else {
3151 LOG(WARNING) << "Got a deoptimization request on un-deoptimizable method "
3152 << visitor.caller->PrettyMethod();
Sebastien Hertz520633b2015-09-08 17:03:36 +02003153 }
3154 }
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003155
Ian Rogers28ad40d2011-10-27 15:19:26 -07003156 // Don't leave exception visible while we try to find the handler, which may cause class
Elliott Hughesd07986f2011-12-06 18:27:45 -08003157 // resolution.
Ian Rogers28ad40d2011-10-27 15:19:26 -07003158 ClearException();
Mingyao Yangf711f2c2016-05-23 12:29:39 -07003159 QuickExceptionHandler exception_handler(this, false);
3160 exception_handler.FindCatch(exception);
Sebastien Hertzfd3077e2014-04-23 10:32:43 +02003161 exception_handler.UpdateInstrumentationStack();
Roland Levillainb77b6982017-06-08 18:03:48 +01003162 if (exception_handler.GetClearException()) {
3163 // Exception was cleared as part of delivery.
3164 DCHECK(!IsExceptionPending());
3165 } else {
3166 // Exception was put back with a throw location.
3167 DCHECK(IsExceptionPending());
Roland Levillaina78f5b62017-09-29 13:50:44 +01003168 // Check the to-space invariant on the re-installed exception (if applicable).
3169 ReadBarrier::MaybeAssertToSpaceInvariant(GetException());
Roland Levillainb77b6982017-06-08 18:03:48 +01003170 }
Sebastien Hertzfd3077e2014-04-23 10:32:43 +02003171 exception_handler.DoLongJump();
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -07003172}
3173
Ian Rogersbdb03912011-09-14 00:55:44 -07003174Context* Thread::GetLongJumpContext() {
Ian Rogersdd7624d2014-03-14 17:43:00 -07003175 Context* result = tlsPtr_.long_jump_context;
Dave Allison0aded082013-11-07 13:15:11 -08003176 if (result == nullptr) {
Ian Rogersbdb03912011-09-14 00:55:44 -07003177 result = Context::Create();
Ian Rogers0399dde2012-06-06 17:09:28 -07003178 } else {
Ian Rogersdd7624d2014-03-14 17:43:00 -07003179 tlsPtr_.long_jump_context = nullptr; // Avoid context being shared.
Mathieu Chartier67022432012-11-29 18:04:50 -08003180 result->Reset();
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -07003181 }
Ian Rogersbdb03912011-09-14 00:55:44 -07003182 return result;
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -07003183}
3184
Andreas Gampe4a8c3fa2014-07-16 22:20:31 -07003185// Note: this visitor may return with a method set, but dex_pc_ being DexFile:kDexNoIndex. This is
3186// so we don't abort in a special situation (thinlocked monitor) when dumping the Java stack.
Ian Rogerse0dcd462014-03-08 15:21:04 -08003187struct CurrentMethodVisitor FINAL : public StackVisitor {
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08003188 CurrentMethodVisitor(Thread* thread, Context* context, bool check_suspended, bool abort_on_error)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003189 REQUIRES_SHARED(Locks::mutator_lock_)
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08003190 : StackVisitor(thread,
3191 context,
3192 StackVisitor::StackWalkKind::kIncludeInlinedFrames,
3193 check_suspended),
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +01003194 this_object_(nullptr),
3195 method_(nullptr),
3196 dex_pc_(0),
Andreas Gampe6ec8ebd2014-07-25 13:36:56 -07003197 abort_on_error_(abort_on_error) {}
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003198 bool VisitFrame() OVERRIDE REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07003199 ArtMethod* m = GetMethod();
Ian Rogers62d6c772013-02-27 08:32:07 -08003200 if (m->IsRuntimeMethod()) {
3201 // Continue if this is a runtime method.
3202 return true;
Ian Rogers0399dde2012-06-06 17:09:28 -07003203 }
Dave Allison0aded082013-11-07 13:15:11 -08003204 if (context_ != nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -08003205 this_object_ = GetThisObject();
3206 }
3207 method_ = m;
Andreas Gampe6ec8ebd2014-07-25 13:36:56 -07003208 dex_pc_ = GetDexPc(abort_on_error_);
Ian Rogers62d6c772013-02-27 08:32:07 -08003209 return false;
3210 }
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003211 ObjPtr<mirror::Object> this_object_;
Mathieu Chartiere401d142015-04-22 13:56:20 -07003212 ArtMethod* method_;
Ian Rogers62d6c772013-02-27 08:32:07 -08003213 uint32_t dex_pc_;
Andreas Gampe6ec8ebd2014-07-25 13:36:56 -07003214 const bool abort_on_error_;
Ian Rogers62d6c772013-02-27 08:32:07 -08003215};
Ian Rogers0399dde2012-06-06 17:09:28 -07003216
Hiroshi Yamauchi02f365f2017-02-03 15:06:00 -08003217ArtMethod* Thread::GetCurrentMethod(uint32_t* dex_pc,
3218 bool check_suspended,
3219 bool abort_on_error) const {
3220 CurrentMethodVisitor visitor(const_cast<Thread*>(this),
3221 nullptr,
3222 check_suspended,
3223 abort_on_error);
Ian Rogers0399dde2012-06-06 17:09:28 -07003224 visitor.WalkStack(false);
Dave Allison0aded082013-11-07 13:15:11 -08003225 if (dex_pc != nullptr) {
Ian Rogers0399dde2012-06-06 17:09:28 -07003226 *dex_pc = visitor.dex_pc_;
Elliott Hughes9fd66f52011-10-16 12:13:26 -07003227 }
Ian Rogers0399dde2012-06-06 17:09:28 -07003228 return visitor.method_;
jeffhao33dc7712011-11-09 17:54:24 -08003229}
3230
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003231bool Thread::HoldsLock(ObjPtr<mirror::Object> object) const {
3232 return object != nullptr && object->GetLockOwnerThreadId() == GetThreadId();
Elliott Hughes5f791332011-09-15 17:45:30 -07003233}
3234
Ian Rogers40e3bac2012-11-20 00:09:14 -08003235// RootVisitor parameters are: (const Object* obj, size_t vreg, const StackVisitor* visitor).
Andreas Gampe585da952016-12-02 14:52:29 -08003236template <typename RootVisitor, bool kPrecise = false>
Ian Rogers0399dde2012-06-06 17:09:28 -07003237class ReferenceMapVisitor : public StackVisitor {
Ian Rogersd6b1f612011-09-27 13:38:14 -07003238 public:
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003239 ReferenceMapVisitor(Thread* thread, Context* context, RootVisitor& visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003240 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +01003241 // We are visiting the references in compiled frames, so we do not need
3242 // to know the inlined frames.
3243 : StackVisitor(thread, context, StackVisitor::StackWalkKind::kSkipInlinedFrames),
3244 visitor_(visitor) {}
Ian Rogersd6b1f612011-09-27 13:38:14 -07003245
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003246 bool VisitFrame() REQUIRES_SHARED(Locks::mutator_lock_) {
Brian Carlstrom6a4be3a2011-10-20 16:34:03 -07003247 if (false) {
David Sehr709b0702016-10-13 09:12:37 -07003248 LOG(INFO) << "Visiting stack roots in " << ArtMethod::PrettyMethod(GetMethod())
Sebastien Hertz714f1752014-04-28 15:03:08 +02003249 << StringPrintf("@ PC:%04x", GetDexPc());
Brian Carlstrom6a4be3a2011-10-20 16:34:03 -07003250 }
Ian Rogers0399dde2012-06-06 17:09:28 -07003251 ShadowFrame* shadow_frame = GetCurrentShadowFrame();
Dave Allison0aded082013-11-07 13:15:11 -08003252 if (shadow_frame != nullptr) {
Sebastien Hertz714f1752014-04-28 15:03:08 +02003253 VisitShadowFrame(shadow_frame);
3254 } else {
3255 VisitQuickFrame();
3256 }
3257 return true;
3258 }
3259
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003260 void VisitShadowFrame(ShadowFrame* shadow_frame) REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07003261 ArtMethod* m = shadow_frame->GetMethod();
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003262 VisitDeclaringClass(m);
Hiroshi Yamauchi92d1a662014-05-15 21:43:59 -07003263 DCHECK(m != nullptr);
Sebastien Hertz714f1752014-04-28 15:03:08 +02003264 size_t num_regs = shadow_frame->NumberOfVRegs();
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +01003265 DCHECK(m->IsNative() || shadow_frame->HasReferenceArray());
3266 // handle scope for JNI or References for interpreter.
3267 for (size_t reg = 0; reg < num_regs; ++reg) {
3268 mirror::Object* ref = shadow_frame->GetVRegReference(reg);
3269 if (ref != nullptr) {
3270 mirror::Object* new_ref = ref;
3271 visitor_(&new_ref, reg, this);
3272 if (new_ref != ref) {
3273 shadow_frame->SetVRegReference(reg, new_ref);
TDYa127ce4cc0d2012-11-18 16:59:53 -08003274 }
3275 }
Sebastien Hertz714f1752014-04-28 15:03:08 +02003276 }
Andreas Gampe03ec9302015-08-27 17:41:47 -07003277 // Mark lock count map required for structured locking checks.
3278 shadow_frame->GetLockCountData().VisitMonitors(visitor_, -1, this);
Sebastien Hertz714f1752014-04-28 15:03:08 +02003279 }
3280
3281 private:
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003282 // 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 -07003283 // is executing. We need to ensure that the code stays mapped. NO_THREAD_SAFETY_ANALYSIS since
3284 // the threads do not all hold the heap bitmap lock for parallel GC.
3285 void VisitDeclaringClass(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003286 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003287 NO_THREAD_SAFETY_ANALYSIS {
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003288 ObjPtr<mirror::Class> klass = method->GetDeclaringClassUnchecked<kWithoutReadBarrier>();
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003289 // klass can be null for runtime methods.
3290 if (klass != nullptr) {
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003291 if (kVerifyImageObjectsMarked) {
3292 gc::Heap* const heap = Runtime::Current()->GetHeap();
3293 gc::space::ContinuousSpace* space = heap->FindContinuousSpaceFromObject(klass,
3294 /*fail_ok*/true);
3295 if (space != nullptr && space->IsImageSpace()) {
3296 bool failed = false;
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003297 if (!space->GetLiveBitmap()->Test(klass.Ptr())) {
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003298 failed = true;
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07003299 LOG(FATAL_WITHOUT_ABORT) << "Unmarked object in image " << *space;
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003300 } else if (!heap->GetLiveBitmap()->Test(klass.Ptr())) {
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003301 failed = true;
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07003302 LOG(FATAL_WITHOUT_ABORT) << "Unmarked object in image through live bitmap " << *space;
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003303 }
3304 if (failed) {
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07003305 GetThread()->Dump(LOG_STREAM(FATAL_WITHOUT_ABORT));
3306 space->AsImageSpace()->DumpSections(LOG_STREAM(FATAL_WITHOUT_ABORT));
3307 LOG(FATAL_WITHOUT_ABORT) << "Method@" << method->GetDexMethodIndex() << ":" << method
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003308 << " klass@" << klass.Ptr();
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003309 // Pretty info last in case it crashes.
David Sehr709b0702016-10-13 09:12:37 -07003310 LOG(FATAL) << "Method " << method->PrettyMethod() << " klass "
3311 << klass->PrettyClass();
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07003312 }
3313 }
3314 }
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003315 mirror::Object* new_ref = klass.Ptr();
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003316 visitor_(&new_ref, -1, this);
3317 if (new_ref != klass) {
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003318 method->CASDeclaringClass(klass.Ptr(), new_ref->AsClass());
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003319 }
3320 }
3321 }
3322
Andreas Gampe585da952016-12-02 14:52:29 -08003323 template <typename T>
3324 ALWAYS_INLINE
3325 inline void VisitQuickFrameWithVregCallback() REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003326 ArtMethod** cur_quick_frame = GetCurrentQuickFrame();
Mathieu Chartiere401d142015-04-22 13:56:20 -07003327 DCHECK(cur_quick_frame != nullptr);
Mathieu Chartier10e5ea92015-08-13 12:56:31 -07003328 ArtMethod* m = *cur_quick_frame;
3329 VisitDeclaringClass(m);
Andreas Gampecf4035a2014-05-28 22:43:01 -07003330
Sebastien Hertz714f1752014-04-28 15:03:08 +02003331 // Process register map (which native and runtime methods don't have)
Jeff Hao84949432016-05-13 14:46:28 -07003332 if (!m->IsNative() && !m->IsRuntimeMethod() && (!m->IsProxyMethod() || m->IsConstructor())) {
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +01003333 const OatQuickMethodHeader* method_header = GetCurrentOatQuickMethodHeader();
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003334 DCHECK(method_header->IsOptimized());
3335 auto* vreg_base = reinterpret_cast<StackReference<mirror::Object>*>(
3336 reinterpret_cast<uintptr_t>(cur_quick_frame));
3337 uintptr_t native_pc_offset = method_header->NativeQuickPcOffset(GetCurrentQuickFramePc());
3338 CodeInfo code_info = method_header->GetOptimizedCodeInfo();
3339 CodeInfoEncoding encoding = code_info.ExtractEncoding();
3340 StackMap map = code_info.GetStackMapForNativePcOffset(native_pc_offset, encoding);
3341 DCHECK(map.IsValid());
Andreas Gampe585da952016-12-02 14:52:29 -08003342
3343 T vreg_info(m, code_info, encoding, map, visitor_);
3344
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003345 // Visit stack entries that hold pointers.
David Srbecky45aa5982016-03-18 02:15:09 +00003346 const size_t number_of_bits = code_info.GetNumberOfStackMaskBits(encoding);
3347 BitMemoryRegion stack_mask = code_info.GetStackMaskOf(encoding, map);
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003348 for (size_t i = 0; i < number_of_bits; ++i) {
David Srbecky45aa5982016-03-18 02:15:09 +00003349 if (stack_mask.LoadBit(i)) {
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003350 auto* ref_addr = vreg_base + i;
3351 mirror::Object* ref = ref_addr->AsMirrorPtr();
3352 if (ref != nullptr) {
3353 mirror::Object* new_ref = ref;
Andreas Gampe585da952016-12-02 14:52:29 -08003354 vreg_info.VisitStack(&new_ref, i, this);
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003355 if (ref != new_ref) {
3356 ref_addr->Assign(new_ref);
David Srbecky45aa5982016-03-18 02:15:09 +00003357 }
Nicolas Geoffray39468442014-09-02 15:17:15 +01003358 }
3359 }
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003360 }
3361 // Visit callee-save registers that hold pointers.
Mathieu Chartier1a20b682017-01-31 14:25:16 -08003362 uint32_t register_mask = code_info.GetRegisterMaskOf(encoding, map);
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003363 for (size_t i = 0; i < BitSizeOf<uint32_t>(); ++i) {
3364 if (register_mask & (1 << i)) {
3365 mirror::Object** ref_addr = reinterpret_cast<mirror::Object**>(GetGPRAddress(i));
Hiroshi Yamauchieb1680f2016-09-12 12:10:08 -07003366 if (kIsDebugBuild && ref_addr == nullptr) {
3367 std::string thread_name;
3368 GetThread()->GetThreadName(thread_name);
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07003369 LOG(FATAL_WITHOUT_ABORT) << "On thread " << thread_name;
Hiroshi Yamauchieb1680f2016-09-12 12:10:08 -07003370 DescribeStack(GetThread());
3371 LOG(FATAL) << "Found an unsaved callee-save register " << i << " (null GPRAddress) "
3372 << "set in register_mask=" << register_mask << " at " << DescribeLocation();
3373 }
Vladimir Marko9d07e3d2016-03-31 12:02:28 +01003374 if (*ref_addr != nullptr) {
Andreas Gampe585da952016-12-02 14:52:29 -08003375 vreg_info.VisitRegister(ref_addr, i, this);
Shih-wei Liao4f894e32011-09-27 21:33:19 -07003376 }
Ian Rogersd6b1f612011-09-27 13:38:14 -07003377 }
3378 }
3379 }
Ian Rogersd6b1f612011-09-27 13:38:14 -07003380 }
3381
Andreas Gampe585da952016-12-02 14:52:29 -08003382 void VisitQuickFrame() REQUIRES_SHARED(Locks::mutator_lock_) {
3383 if (kPrecise) {
3384 VisitQuickFramePrecise();
3385 } else {
3386 VisitQuickFrameNonPrecise();
3387 }
3388 }
3389
3390 void VisitQuickFrameNonPrecise() REQUIRES_SHARED(Locks::mutator_lock_) {
3391 struct UndefinedVRegInfo {
3392 UndefinedVRegInfo(ArtMethod* method ATTRIBUTE_UNUSED,
3393 const CodeInfo& code_info ATTRIBUTE_UNUSED,
3394 const CodeInfoEncoding& encoding ATTRIBUTE_UNUSED,
3395 const StackMap& map ATTRIBUTE_UNUSED,
3396 RootVisitor& _visitor)
3397 : visitor(_visitor) {
3398 }
3399
3400 ALWAYS_INLINE
3401 void VisitStack(mirror::Object** ref,
3402 size_t stack_index ATTRIBUTE_UNUSED,
3403 const StackVisitor* stack_visitor)
3404 REQUIRES_SHARED(Locks::mutator_lock_) {
3405 visitor(ref, -1, stack_visitor);
3406 }
3407
3408 ALWAYS_INLINE
3409 void VisitRegister(mirror::Object** ref,
3410 size_t register_index ATTRIBUTE_UNUSED,
3411 const StackVisitor* stack_visitor)
3412 REQUIRES_SHARED(Locks::mutator_lock_) {
3413 visitor(ref, -1, stack_visitor);
3414 }
3415
3416 RootVisitor& visitor;
3417 };
3418 VisitQuickFrameWithVregCallback<UndefinedVRegInfo>();
3419 }
3420
3421 void VisitQuickFramePrecise() REQUIRES_SHARED(Locks::mutator_lock_) {
3422 struct StackMapVRegInfo {
3423 StackMapVRegInfo(ArtMethod* method,
3424 const CodeInfo& _code_info,
3425 const CodeInfoEncoding& _encoding,
3426 const StackMap& map,
3427 RootVisitor& _visitor)
3428 : number_of_dex_registers(method->GetCodeItem()->registers_size_),
3429 code_info(_code_info),
3430 encoding(_encoding),
3431 dex_register_map(code_info.GetDexRegisterMapOf(map,
3432 encoding,
3433 number_of_dex_registers)),
3434 visitor(_visitor) {
3435 }
3436
3437 // TODO: If necessary, we should consider caching a reverse map instead of the linear
3438 // lookups for each location.
3439 void FindWithType(const size_t index,
3440 const DexRegisterLocation::Kind kind,
3441 mirror::Object** ref,
3442 const StackVisitor* stack_visitor)
3443 REQUIRES_SHARED(Locks::mutator_lock_) {
3444 bool found = false;
3445 for (size_t dex_reg = 0; dex_reg != number_of_dex_registers; ++dex_reg) {
3446 DexRegisterLocation location = dex_register_map.GetDexRegisterLocation(
3447 dex_reg, number_of_dex_registers, code_info, encoding);
3448 if (location.GetKind() == kind && static_cast<size_t>(location.GetValue()) == index) {
3449 visitor(ref, dex_reg, stack_visitor);
3450 found = true;
3451 }
3452 }
3453
3454 if (!found) {
3455 // If nothing found, report with -1.
3456 visitor(ref, -1, stack_visitor);
3457 }
3458 }
3459
3460 void VisitStack(mirror::Object** ref, size_t stack_index, const StackVisitor* stack_visitor)
3461 REQUIRES_SHARED(Locks::mutator_lock_) {
3462 const size_t stack_offset = stack_index * kFrameSlotSize;
3463 FindWithType(stack_offset,
3464 DexRegisterLocation::Kind::kInStack,
3465 ref,
3466 stack_visitor);
3467 }
3468
3469 void VisitRegister(mirror::Object** ref,
3470 size_t register_index,
3471 const StackVisitor* stack_visitor)
3472 REQUIRES_SHARED(Locks::mutator_lock_) {
3473 FindWithType(register_index,
3474 DexRegisterLocation::Kind::kInRegister,
3475 ref,
3476 stack_visitor);
3477 }
3478
3479 size_t number_of_dex_registers;
3480 const CodeInfo& code_info;
3481 const CodeInfoEncoding& encoding;
3482 DexRegisterMap dex_register_map;
3483 RootVisitor& visitor;
3484 };
3485 VisitQuickFrameWithVregCallback<StackMapVRegInfo>();
3486 }
3487
Mathieu Chartier6f1c9492012-10-15 12:08:41 -07003488 // Visitor for when we visit a root.
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003489 RootVisitor& visitor_;
Ian Rogersd6b1f612011-09-27 13:38:14 -07003490};
3491
Mathieu Chartier6f1c9492012-10-15 12:08:41 -07003492class RootCallbackVisitor {
3493 public:
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003494 RootCallbackVisitor(RootVisitor* visitor, uint32_t tid) : visitor_(visitor), tid_(tid) {}
Mathieu Chartier6f1c9492012-10-15 12:08:41 -07003495
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003496 void operator()(mirror::Object** obj, size_t vreg, const StackVisitor* stack_visitor) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003497 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003498 visitor_->VisitRoot(obj, JavaFrameRootInfo(tid_, stack_visitor, vreg));
Mathieu Chartier6f1c9492012-10-15 12:08:41 -07003499 }
3500
3501 private:
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003502 RootVisitor* const visitor_;
Mathieu Chartier83c8ee02014-01-28 14:50:23 -08003503 const uint32_t tid_;
Mathieu Chartier6f1c9492012-10-15 12:08:41 -07003504};
3505
Andreas Gampe585da952016-12-02 14:52:29 -08003506template <bool kPrecise>
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003507void Thread::VisitRoots(RootVisitor* visitor) {
Hans Boehm0882af22017-08-31 15:21:57 -07003508 const pid_t thread_id = GetThreadId();
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003509 visitor->VisitRootIfNonNull(&tlsPtr_.opeer, RootInfo(kRootThreadObject, thread_id));
Sebastien Hertzfd3077e2014-04-23 10:32:43 +02003510 if (tlsPtr_.exception != nullptr && tlsPtr_.exception != GetDeoptimizationException()) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003511 visitor->VisitRoot(reinterpret_cast<mirror::Object**>(&tlsPtr_.exception),
Sebastien Hertz07474662015-08-25 15:12:33 +00003512 RootInfo(kRootNativeStack, thread_id));
Elliott Hughesd369bb72011-09-12 14:41:14 -07003513 }
Alex Light848574c2017-09-25 16:59:39 -07003514 if (tlsPtr_.async_exception != nullptr) {
3515 visitor->VisitRoot(reinterpret_cast<mirror::Object**>(&tlsPtr_.async_exception),
3516 RootInfo(kRootNativeStack, thread_id));
3517 }
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003518 visitor->VisitRootIfNonNull(&tlsPtr_.monitor_enter_object, RootInfo(kRootNativeStack, thread_id));
3519 tlsPtr_.jni_env->locals.VisitRoots(visitor, RootInfo(kRootJNILocal, thread_id));
3520 tlsPtr_.jni_env->monitors.VisitRoots(visitor, RootInfo(kRootJNIMonitor, thread_id));
3521 HandleScopeVisitRoots(visitor, thread_id);
Ian Rogersdd7624d2014-03-14 17:43:00 -07003522 if (tlsPtr_.debug_invoke_req != nullptr) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003523 tlsPtr_.debug_invoke_req->VisitRoots(visitor, RootInfo(kRootDebugger, thread_id));
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -07003524 }
Sebastien Hertz07474662015-08-25 15:12:33 +00003525 // Visit roots for deoptimization.
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -07003526 if (tlsPtr_.stacked_shadow_frame_record != nullptr) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003527 RootCallbackVisitor visitor_to_callback(visitor, thread_id);
Andreas Gampe585da952016-12-02 14:52:29 -08003528 ReferenceMapVisitor<RootCallbackVisitor, kPrecise> mapper(this, nullptr, visitor_to_callback);
Mingyao Yang1f2d3ba2015-05-18 12:12:50 -07003529 for (StackedShadowFrameRecord* record = tlsPtr_.stacked_shadow_frame_record;
3530 record != nullptr;
3531 record = record->GetLink()) {
3532 for (ShadowFrame* shadow_frame = record->GetShadowFrame();
3533 shadow_frame != nullptr;
3534 shadow_frame = shadow_frame->GetLink()) {
3535 mapper.VisitShadowFrame(shadow_frame);
3536 }
Sebastien Hertz714f1752014-04-28 15:03:08 +02003537 }
3538 }
Mingyao Yang99170c62015-07-06 11:10:37 -07003539 for (DeoptimizationContextRecord* record = tlsPtr_.deoptimization_context_stack;
3540 record != nullptr;
3541 record = record->GetLink()) {
3542 if (record->IsReference()) {
3543 visitor->VisitRootIfNonNull(record->GetReturnValueAsGCRoot(),
Sebastien Hertz07474662015-08-25 15:12:33 +00003544 RootInfo(kRootThreadObject, thread_id));
Andreas Gampe2a0d4ec2014-06-02 22:05:22 -07003545 }
Mingyao Yang99170c62015-07-06 11:10:37 -07003546 visitor->VisitRootIfNonNull(record->GetPendingExceptionAsGCRoot(),
3547 RootInfo(kRootThreadObject, thread_id));
3548 }
3549 if (tlsPtr_.frame_id_to_shadow_frame != nullptr) {
3550 RootCallbackVisitor visitor_to_callback(visitor, thread_id);
Andreas Gampe585da952016-12-02 14:52:29 -08003551 ReferenceMapVisitor<RootCallbackVisitor, kPrecise> mapper(this, nullptr, visitor_to_callback);
Mingyao Yang99170c62015-07-06 11:10:37 -07003552 for (FrameIdToShadowFrame* record = tlsPtr_.frame_id_to_shadow_frame;
3553 record != nullptr;
3554 record = record->GetNext()) {
3555 mapper.VisitShadowFrame(record->GetShadowFrame());
3556 }
Andreas Gampe2a0d4ec2014-06-02 22:05:22 -07003557 }
Mathieu Chartierd0ad2ee2015-03-31 14:59:59 -07003558 for (auto* verifier = tlsPtr_.method_verifier; verifier != nullptr; verifier = verifier->link_) {
3559 verifier->VisitRoots(visitor, RootInfo(kRootNativeStack, thread_id));
Mathieu Chartier12d625f2015-03-13 11:33:37 -07003560 }
Ian Rogersd6b1f612011-09-27 13:38:14 -07003561 // Visit roots on this thread's stack
Mathieu Chartiera62b4532017-04-26 13:16:25 -07003562 RuntimeContextType context;
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003563 RootCallbackVisitor visitor_to_callback(visitor, thread_id);
Mathieu Chartiera62b4532017-04-26 13:16:25 -07003564 ReferenceMapVisitor<RootCallbackVisitor, kPrecise> mapper(this, &context, visitor_to_callback);
Andreas Gampe585da952016-12-02 14:52:29 -08003565 mapper.template WalkStack<StackVisitor::CountTransitions::kNo>(false);
Mathieu Chartier423d2a32013-09-12 17:33:56 -07003566 for (instrumentation::InstrumentationStackFrame& frame : *GetInstrumentationStack()) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003567 visitor->VisitRootIfNonNull(&frame.this_object_, RootInfo(kRootVMInternal, thread_id));
Ian Rogers62d6c772013-02-27 08:32:07 -08003568 }
Elliott Hughes410c0c82011-09-01 17:58:25 -07003569}
3570
Andreas Gampe585da952016-12-02 14:52:29 -08003571void Thread::VisitRoots(RootVisitor* visitor, VisitRootFlags flags) {
3572 if ((flags & VisitRootFlags::kVisitRootFlagPrecise) != 0) {
3573 VisitRoots<true>(visitor);
3574 } else {
3575 VisitRoots<false>(visitor);
3576 }
3577}
3578
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003579class VerifyRootVisitor : public SingleRootVisitor {
3580 public:
3581 void VisitRoot(mirror::Object* root, const RootInfo& info ATTRIBUTE_UNUSED)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07003582 OVERRIDE REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -07003583 VerifyObject(root);
3584 }
3585};
jeffhao25045522012-03-13 19:34:37 -07003586
Ian Rogers04d7aa92013-03-16 14:29:17 -07003587void Thread::VerifyStackImpl() {
Andreas Gamped4901292017-05-30 18:41:34 -07003588 if (Runtime::Current()->GetHeap()->IsObjectValidationEnabled()) {
3589 VerifyRootVisitor visitor;
3590 std::unique_ptr<Context> context(Context::Create());
3591 RootCallbackVisitor visitor_to_callback(&visitor, GetThreadId());
3592 ReferenceMapVisitor<RootCallbackVisitor> mapper(this, context.get(), visitor_to_callback);
3593 mapper.WalkStack();
3594 }
jeffhao25045522012-03-13 19:34:37 -07003595}
jeffhao25045522012-03-13 19:34:37 -07003596
Ian Rogers00f7d0e2012-07-19 15:28:27 -07003597// Set the stack end to that to be used during a stack overflow
3598void Thread::SetStackEndForStackOverflow() {
Brian Carlstrom7571e8b2013-08-12 17:04:14 -07003599 // During stack overflow we allow use of the full stack.
Ian Rogersdd7624d2014-03-14 17:43:00 -07003600 if (tlsPtr_.stack_end == tlsPtr_.stack_begin) {
Brian Carlstrom7571e8b2013-08-12 17:04:14 -07003601 // However, we seem to have already extended to use the full stack.
3602 LOG(ERROR) << "Need to increase kStackOverflowReservedBytes (currently "
Andreas Gampe7ea6f792014-07-14 16:21:44 -07003603 << GetStackOverflowReservedBytes(kRuntimeISA) << ")?";
Andreas Gampe3fec9ac2016-09-13 10:47:28 -07003604 DumpStack(LOG_STREAM(ERROR));
Brian Carlstrom7571e8b2013-08-12 17:04:14 -07003605 LOG(FATAL) << "Recursive stack overflow.";
Ian Rogers00f7d0e2012-07-19 15:28:27 -07003606 }
3607
Ian Rogersdd7624d2014-03-14 17:43:00 -07003608 tlsPtr_.stack_end = tlsPtr_.stack_begin;
Dave Allison648d7112014-07-25 16:15:27 -07003609
3610 // Remove the stack overflow protection if is it set up.
3611 bool implicit_stack_check = !Runtime::Current()->ExplicitStackOverflowChecks();
3612 if (implicit_stack_check) {
3613 if (!UnprotectStack()) {
3614 LOG(ERROR) << "Unable to remove stack protection for stack overflow";
3615 }
3616 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -07003617}
3618
Mathieu Chartier6bc77742017-04-18 17:46:23 -07003619void Thread::SetTlab(uint8_t* start, uint8_t* end, uint8_t* limit) {
Mathieu Chartier692fafd2013-11-29 17:24:40 -08003620 DCHECK_LE(start, end);
Mathieu Chartier6bc77742017-04-18 17:46:23 -07003621 DCHECK_LE(end, limit);
Ian Rogersdd7624d2014-03-14 17:43:00 -07003622 tlsPtr_.thread_local_start = start;
3623 tlsPtr_.thread_local_pos = tlsPtr_.thread_local_start;
3624 tlsPtr_.thread_local_end = end;
Mathieu Chartier6bc77742017-04-18 17:46:23 -07003625 tlsPtr_.thread_local_limit = limit;
Ian Rogersdd7624d2014-03-14 17:43:00 -07003626 tlsPtr_.thread_local_objects = 0;
Mathieu Chartier692fafd2013-11-29 17:24:40 -08003627}
3628
Hiroshi Yamauchic93c5302014-03-20 16:15:37 -07003629bool Thread::HasTlab() const {
Ian Rogersdd7624d2014-03-14 17:43:00 -07003630 bool has_tlab = tlsPtr_.thread_local_pos != nullptr;
Hiroshi Yamauchic93c5302014-03-20 16:15:37 -07003631 if (has_tlab) {
Ian Rogersdd7624d2014-03-14 17:43:00 -07003632 DCHECK(tlsPtr_.thread_local_start != nullptr && tlsPtr_.thread_local_end != nullptr);
Hiroshi Yamauchic93c5302014-03-20 16:15:37 -07003633 } else {
Ian Rogersdd7624d2014-03-14 17:43:00 -07003634 DCHECK(tlsPtr_.thread_local_start == nullptr && tlsPtr_.thread_local_end == nullptr);
Hiroshi Yamauchic93c5302014-03-20 16:15:37 -07003635 }
3636 return has_tlab;
3637}
3638
Elliott Hughes330304d2011-08-12 14:28:05 -07003639std::ostream& operator<<(std::ostream& os, const Thread& thread) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -07003640 thread.ShortDump(os);
Elliott Hughes330304d2011-08-12 14:28:05 -07003641 return os;
3642}
3643
Andreas Gampe2c2d2a02016-03-17 21:27:19 -07003644bool Thread::ProtectStack(bool fatal_on_error) {
Dave Allison648d7112014-07-25 16:15:27 -07003645 void* pregion = tlsPtr_.stack_begin - kStackOverflowProtectedSize;
3646 VLOG(threads) << "Protecting stack at " << pregion;
3647 if (mprotect(pregion, kStackOverflowProtectedSize, PROT_NONE) == -1) {
Andreas Gampe2c2d2a02016-03-17 21:27:19 -07003648 if (fatal_on_error) {
3649 LOG(FATAL) << "Unable to create protected region in stack for implicit overflow check. "
3650 "Reason: "
3651 << strerror(errno) << " size: " << kStackOverflowProtectedSize;
3652 }
3653 return false;
Dave Allison648d7112014-07-25 16:15:27 -07003654 }
Andreas Gampe2c2d2a02016-03-17 21:27:19 -07003655 return true;
Dave Allison648d7112014-07-25 16:15:27 -07003656}
3657
3658bool Thread::UnprotectStack() {
3659 void* pregion = tlsPtr_.stack_begin - kStackOverflowProtectedSize;
3660 VLOG(threads) << "Unprotecting stack at " << pregion;
3661 return mprotect(pregion, kStackOverflowProtectedSize, PROT_READ|PROT_WRITE) == 0;
3662}
3663
Sebastien Hertz597c4f02015-01-26 17:37:14 +01003664void Thread::ActivateSingleStepControl(SingleStepControl* ssc) {
3665 CHECK(Dbg::IsDebuggerActive());
3666 CHECK(GetSingleStepControl() == nullptr) << "Single step already active in thread " << *this;
3667 CHECK(ssc != nullptr);
3668 tlsPtr_.single_step_control = ssc;
3669}
3670
3671void Thread::DeactivateSingleStepControl() {
3672 CHECK(Dbg::IsDebuggerActive());
3673 CHECK(GetSingleStepControl() != nullptr) << "Single step not active in thread " << *this;
3674 SingleStepControl* ssc = GetSingleStepControl();
3675 tlsPtr_.single_step_control = nullptr;
3676 delete ssc;
3677}
Dave Allison648d7112014-07-25 16:15:27 -07003678
Sebastien Hertz1558b572015-02-25 15:05:59 +01003679void Thread::SetDebugInvokeReq(DebugInvokeReq* req) {
3680 CHECK(Dbg::IsDebuggerActive());
3681 CHECK(GetInvokeReq() == nullptr) << "Debug invoke req already active in thread " << *this;
3682 CHECK(Thread::Current() != this) << "Debug invoke can't be dispatched by the thread itself";
3683 CHECK(req != nullptr);
3684 tlsPtr_.debug_invoke_req = req;
3685}
3686
3687void Thread::ClearDebugInvokeReq() {
Sebastien Hertz1558b572015-02-25 15:05:59 +01003688 CHECK(GetInvokeReq() != nullptr) << "Debug invoke req not active in thread " << *this;
3689 CHECK(Thread::Current() == this) << "Debug invoke must be finished by the thread itself";
Sebastien Hertzcbc50642015-06-01 17:33:12 +02003690 DebugInvokeReq* req = tlsPtr_.debug_invoke_req;
Sebastien Hertz1558b572015-02-25 15:05:59 +01003691 tlsPtr_.debug_invoke_req = nullptr;
Sebastien Hertzcbc50642015-06-01 17:33:12 +02003692 delete req;
Sebastien Hertz1558b572015-02-25 15:05:59 +01003693}
3694
Mathieu Chartierd0ad2ee2015-03-31 14:59:59 -07003695void Thread::PushVerifier(verifier::MethodVerifier* verifier) {
3696 verifier->link_ = tlsPtr_.method_verifier;
Mathieu Chartier12d625f2015-03-13 11:33:37 -07003697 tlsPtr_.method_verifier = verifier;
3698}
3699
Mathieu Chartierd0ad2ee2015-03-31 14:59:59 -07003700void Thread::PopVerifier(verifier::MethodVerifier* verifier) {
Mathieu Chartier12d625f2015-03-13 11:33:37 -07003701 CHECK_EQ(tlsPtr_.method_verifier, verifier);
Mathieu Chartierd0ad2ee2015-03-31 14:59:59 -07003702 tlsPtr_.method_verifier = verifier->link_;
Mathieu Chartier12d625f2015-03-13 11:33:37 -07003703}
3704
Mathieu Chartier14c3bf92015-07-13 14:35:43 -07003705size_t Thread::NumberOfHeldMutexes() const {
3706 size_t count = 0;
3707 for (BaseMutex* mu : tlsPtr_.held_mutexes) {
Mathieu Chartier90ef3db2015-08-04 15:19:41 -07003708 count += mu != nullptr ? 1 : 0;
Mathieu Chartier14c3bf92015-07-13 14:35:43 -07003709 }
3710 return count;
3711}
3712
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00003713void Thread::DeoptimizeWithDeoptimizationException(JValue* result) {
3714 DCHECK_EQ(GetException(), Thread::GetDeoptimizationException());
3715 ClearException();
3716 ShadowFrame* shadow_frame =
3717 PopStackedShadowFrame(StackedShadowFrameType::kDeoptimizationShadowFrame);
Mathieu Chartierf5769e12017-01-10 15:54:41 -08003718 ObjPtr<mirror::Throwable> pending_exception;
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00003719 bool from_code = false;
Mingyao Yang2ee17902017-08-30 11:37:08 -07003720 DeoptimizationMethodType method_type;
3721 PopDeoptimizationContext(result, &pending_exception, &from_code, &method_type);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00003722 SetTopOfStack(nullptr);
3723 SetTopOfShadowStack(shadow_frame);
3724
3725 // Restore the exception that was pending before deoptimization then interpret the
3726 // deoptimized frames.
3727 if (pending_exception != nullptr) {
3728 SetException(pending_exception);
3729 }
Mingyao Yang2ee17902017-08-30 11:37:08 -07003730 interpreter::EnterInterpreterFromDeoptimize(this,
3731 shadow_frame,
3732 result,
3733 from_code,
3734 method_type);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00003735}
3736
Alex Light848574c2017-09-25 16:59:39 -07003737void Thread::SetAsyncException(ObjPtr<mirror::Throwable> new_exception) {
3738 CHECK(new_exception != nullptr);
Alex Light7919db92017-11-29 09:00:55 -08003739 Runtime::Current()->SetAsyncExceptionsThrown();
Alex Light848574c2017-09-25 16:59:39 -07003740 if (kIsDebugBuild) {
3741 // Make sure we are in a checkpoint.
3742 MutexLock mu(Thread::Current(), *Locks::thread_suspend_count_lock_);
3743 CHECK(this == Thread::Current() || GetSuspendCount() >= 1)
3744 << "It doesn't look like this was called in a checkpoint! this: "
3745 << this << " count: " << GetSuspendCount();
3746 }
3747 tlsPtr_.async_exception = new_exception.Ptr();
3748}
3749
3750bool Thread::ObserveAsyncException() {
3751 DCHECK(this == Thread::Current());
3752 if (tlsPtr_.async_exception != nullptr) {
3753 if (tlsPtr_.exception != nullptr) {
3754 LOG(WARNING) << "Overwriting pending exception with async exception. Pending exception is: "
3755 << tlsPtr_.exception->Dump();
3756 LOG(WARNING) << "Async exception is " << tlsPtr_.async_exception->Dump();
3757 }
3758 tlsPtr_.exception = tlsPtr_.async_exception;
3759 tlsPtr_.async_exception = nullptr;
3760 return true;
3761 } else {
3762 return IsExceptionPending();
3763 }
3764}
3765
Mathieu Chartier0795f232016-09-27 18:43:30 -07003766void Thread::SetException(ObjPtr<mirror::Throwable> new_exception) {
Mathieu Chartiere42888f2016-04-14 10:49:19 -07003767 CHECK(new_exception != nullptr);
3768 // TODO: DCHECK(!IsExceptionPending());
Mathieu Chartier1cc62e42016-10-03 18:01:28 -07003769 tlsPtr_.exception = new_exception.Ptr();
Mathieu Chartiere42888f2016-04-14 10:49:19 -07003770}
3771
Andreas Gampe2c19f5b2016-11-28 08:10:18 -08003772bool Thread::IsAotCompiler() {
3773 return Runtime::Current()->IsAotCompiler();
3774}
3775
Andreas Gampe202f85a2017-02-06 10:23:26 -08003776mirror::Object* Thread::GetPeerFromOtherThread() const {
Nicolas Geoffrayffc8cad2017-02-10 10:59:22 +00003777 DCHECK(tlsPtr_.jpeer == nullptr);
3778 mirror::Object* peer = tlsPtr_.opeer;
Andreas Gampe202f85a2017-02-06 10:23:26 -08003779 if (kUseReadBarrier && Current()->GetIsGcMarking()) {
3780 // We may call Thread::Dump() in the middle of the CC thread flip and this thread's stack
3781 // may have not been flipped yet and peer may be a from-space (stale) ref. So explicitly
3782 // mark/forward it here.
3783 peer = art::ReadBarrier::Mark(peer);
3784 }
3785 return peer;
3786}
3787
Mathieu Chartier3768ade2017-05-02 14:04:39 -07003788void Thread::SetReadBarrierEntrypoints() {
3789 // Make sure entrypoints aren't null.
3790 UpdateReadBarrierEntrypoints(&tlsPtr_.quick_entrypoints, /* is_active*/ true);
3791}
3792
Elliott Hughes8daa0922011-09-11 13:46:25 -07003793} // namespace art