blob: 6e457a47bf174dce19c33ba2298d1b32c1e822ed [file] [log] [blame]
jeffhao725a9572012-11-13 18:20:12 -08001/*
2 * Copyright (C) 2011 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "instrumentation.h"
18
Ian Rogersc7dd2952014-10-21 23:31:19 -070019#include <sstream>
20
Ian Rogerse63db272014-07-15 15:36:11 -070021#include "arch/context.h"
Alex Lightd7661582017-05-01 13:48:16 -070022#include "art_field-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070023#include "art_method-inl.h"
Ian Rogersef7d42f2014-01-06 12:55:46 -080024#include "atomic.h"
Andreas Gampe8228cdf2017-05-30 15:03:54 -070025#include "base/callee_save_type.h"
jeffhao725a9572012-11-13 18:20:12 -080026#include "class_linker.h"
27#include "debugger.h"
Ian Rogers62d6c772013-02-27 08:32:07 -080028#include "dex_file-inl.h"
Mathieu Chartierd8891782014-03-02 13:28:37 -080029#include "entrypoints/quick/quick_alloc_entrypoints.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070030#include "entrypoints/quick/quick_entrypoints.h"
Ian Rogers6f3dbba2014-10-14 17:41:57 -070031#include "entrypoints/runtime_asm_entrypoints.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070032#include "gc_root-inl.h"
Sebastien Hertz138dbfc2013-12-04 18:15:25 +010033#include "interpreter/interpreter.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080034#include "jit/jit.h"
35#include "jit/jit_code_cache.h"
Alex Lightd7661582017-05-01 13:48:16 -070036#include "jvalue-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080037#include "mirror/class-inl.h"
38#include "mirror/dex_cache.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070039#include "mirror/object-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070040#include "mirror/object_array-inl.h"
Ian Rogers62d6c772013-02-27 08:32:07 -080041#include "nth_caller_visitor.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010042#include "oat_quick_method_header.h"
jeffhao725a9572012-11-13 18:20:12 -080043#include "thread.h"
44#include "thread_list.h"
jeffhao725a9572012-11-13 18:20:12 -080045
46namespace art {
Ian Rogers62d6c772013-02-27 08:32:07 -080047namespace instrumentation {
jeffhao725a9572012-11-13 18:20:12 -080048
Sebastien Hertz0462c4c2015-04-01 16:34:17 +020049constexpr bool kVerboseInstrumentation = false;
Sebastien Hertz5bfd5c92013-11-15 11:36:07 +010050
Alex Lightd7661582017-05-01 13:48:16 -070051void InstrumentationListener::MethodExited(Thread* thread,
52 Handle<mirror::Object> this_object,
53 ArtMethod* method,
54 uint32_t dex_pc,
55 Handle<mirror::Object> return_value) {
56 DCHECK_EQ(method->GetInterfaceMethodIfProxy(kRuntimePointerSize)->GetReturnTypePrimitive(),
57 Primitive::kPrimNot);
58 JValue v;
59 v.SetL(return_value.Get());
60 MethodExited(thread, this_object, method, dex_pc, v);
61}
62
63void InstrumentationListener::FieldWritten(Thread* thread,
64 Handle<mirror::Object> this_object,
65 ArtMethod* method,
66 uint32_t dex_pc,
67 ArtField* field,
68 Handle<mirror::Object> field_value) {
69 DCHECK(!field->IsPrimitiveType());
70 JValue v;
71 v.SetL(field_value.Get());
72 FieldWritten(thread, this_object, method, dex_pc, field, v);
73}
74
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +010075// Instrumentation works on non-inlined frames by updating returned PCs
76// of compiled frames.
77static constexpr StackVisitor::StackWalkKind kInstrumentationStackWalk =
78 StackVisitor::StackWalkKind::kSkipInlinedFrames;
79
Mathieu Chartiere0671ce2015-07-28 17:23:28 -070080class InstallStubsClassVisitor : public ClassVisitor {
81 public:
82 explicit InstallStubsClassVisitor(Instrumentation* instrumentation)
83 : instrumentation_(instrumentation) {}
84
Mathieu Chartier28357fa2016-10-18 16:27:40 -070085 bool operator()(ObjPtr<mirror::Class> klass) OVERRIDE REQUIRES(Locks::mutator_lock_) {
86 instrumentation_->InstallStubsForClass(klass.Ptr());
Mathieu Chartiere0671ce2015-07-28 17:23:28 -070087 return true; // we visit all classes.
88 }
89
90 private:
91 Instrumentation* const instrumentation_;
92};
93
Ian Rogers62d6c772013-02-27 08:32:07 -080094
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -070095Instrumentation::Instrumentation()
Nicolas Geoffray5a23d2e2015-11-03 18:58:57 +000096 : instrumentation_stubs_installed_(false),
97 entry_exit_stubs_installed_(false),
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -070098 interpreter_stubs_installed_(false),
Nicolas Geoffray5a23d2e2015-11-03 18:58:57 +000099 interpret_only_(false),
100 forced_interpret_only_(false),
101 have_method_entry_listeners_(false),
102 have_method_exit_listeners_(false),
103 have_method_unwind_listeners_(false),
104 have_dex_pc_listeners_(false),
105 have_field_read_listeners_(false),
106 have_field_write_listeners_(false),
Alex Light6e1607e2017-08-23 10:06:18 -0700107 have_exception_thrown_listeners_(false),
Alex Lighte814f9d2017-07-31 16:14:39 -0700108 have_watched_frame_pop_listeners_(false),
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000109 have_branch_listeners_(false),
Nicolas Geoffray5a23d2e2015-11-03 18:58:57 +0000110 have_invoke_virtual_or_interface_listeners_(false),
Alex Light9fb1ab12017-09-05 09:32:49 -0700111 have_exception_handled_listeners_(false),
Mathieu Chartierb8aa1e42016-04-05 14:36:57 -0700112 deoptimized_methods_lock_("deoptimized methods lock", kDeoptimizedMethodsLock),
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700113 deoptimization_enabled_(false),
114 interpreter_handler_table_(kMainHandlerTable),
Mathieu Chartier50e93312016-03-16 11:25:29 -0700115 quick_alloc_entry_points_instrumentation_counter_(0),
116 alloc_entrypoints_instrumented_(false) {
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700117}
118
Sebastien Hertza10aa372015-01-21 17:30:58 +0100119void Instrumentation::InstallStubsForClass(mirror::Class* klass) {
Vladimir Marko72ab6842017-01-20 19:32:50 +0000120 if (!klass->IsResolved()) {
Sebastien Hertza8a697f2015-01-15 12:28:47 +0100121 // We need the class to be resolved to install/uninstall stubs. Otherwise its methods
122 // could not be initialized or linked with regards to class inheritance.
Vladimir Marko72ab6842017-01-20 19:32:50 +0000123 } else if (klass->IsErroneousResolved()) {
124 // We can't execute code in a erroneous class: do nothing.
Sebastien Hertza8a697f2015-01-15 12:28:47 +0100125 } else {
Andreas Gampe542451c2016-07-26 09:02:02 -0700126 for (ArtMethod& method : klass->GetMethods(kRuntimePointerSize)) {
Alex Light51a64d52015-12-17 13:55:59 -0800127 InstallStubsForMethod(&method);
Sebastien Hertza8a697f2015-01-15 12:28:47 +0100128 }
jeffhao725a9572012-11-13 18:20:12 -0800129 }
jeffhao725a9572012-11-13 18:20:12 -0800130}
131
Mathieu Chartiere401d142015-04-22 13:56:20 -0700132static void UpdateEntrypoints(ArtMethod* method, const void* quick_code)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700133 REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800134 method->SetEntryPointFromQuickCompiledCode(quick_code);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100135}
136
Nicolas Geoffraya0619e22016-12-20 13:57:43 +0000137bool Instrumentation::NeedDebugVersionFor(ArtMethod* method) const REQUIRES_SHARED(Locks::mutator_lock_) {
Mingyao Yang6ea1a0e2016-01-29 12:12:49 -0800138 return Dbg::IsDebuggerActive() &&
Nicolas Geoffraya0619e22016-12-20 13:57:43 +0000139 Runtime::Current()->IsJavaDebuggable() &&
Mingyao Yang6ea1a0e2016-01-29 12:12:49 -0800140 !method->IsNative() &&
141 !method->IsProxyMethod();
142}
143
Mathieu Chartiere401d142015-04-22 13:56:20 -0700144void Instrumentation::InstallStubsForMethod(ArtMethod* method) {
Alex Light9139e002015-10-09 15:59:48 -0700145 if (!method->IsInvokable() || method->IsProxyMethod()) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100146 // Do not change stubs for these methods.
147 return;
148 }
Jeff Hao56802772014-08-19 10:17:36 -0700149 // Don't stub Proxy.<init>. Note that the Proxy class itself is not a proxy class.
150 if (method->IsConstructor() &&
151 method->GetDeclaringClass()->DescriptorEquals("Ljava/lang/reflect/Proxy;")) {
Jeff Haodb8a6642014-08-14 17:18:52 -0700152 return;
153 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800154 const void* new_quick_code;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100155 bool uninstall = !entry_exit_stubs_installed_ && !interpreter_stubs_installed_;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800156 Runtime* const runtime = Runtime::Current();
157 ClassLinker* const class_linker = runtime->GetClassLinker();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100158 bool is_class_initialized = method->GetDeclaringClass()->IsInitialized();
159 if (uninstall) {
160 if ((forced_interpret_only_ || IsDeoptimized(method)) && !method->IsNative()) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800161 new_quick_code = GetQuickToInterpreterBridge();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100162 } else if (is_class_initialized || !method->IsStatic() || method->IsConstructor()) {
Nicolas Geoffraya0619e22016-12-20 13:57:43 +0000163 if (NeedDebugVersionFor(method)) {
Mingyao Yang6ea1a0e2016-01-29 12:12:49 -0800164 new_quick_code = GetQuickToInterpreterBridge();
Nicolas Geoffraya0619e22016-12-20 13:57:43 +0000165 } else {
166 new_quick_code = class_linker->GetQuickOatCodeFor(method);
Mingyao Yang6ea1a0e2016-01-29 12:12:49 -0800167 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100168 } else {
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700169 new_quick_code = GetQuickResolutionStub();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100170 }
171 } else { // !uninstall
Sebastien Hertzbae182c2013-12-17 10:42:03 +0100172 if ((interpreter_stubs_installed_ || forced_interpret_only_ || IsDeoptimized(method)) &&
173 !method->IsNative()) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800174 new_quick_code = GetQuickToInterpreterBridge();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100175 } else {
176 // Do not overwrite resolution trampoline. When the trampoline initializes the method's
177 // class, all its static methods code will be set to the instrumentation entry point.
178 // For more details, see ClassLinker::FixupStaticTrampolines.
179 if (is_class_initialized || !method->IsStatic() || method->IsConstructor()) {
Nicolas Geoffraya0619e22016-12-20 13:57:43 +0000180 if (NeedDebugVersionFor(method)) {
Mingyao Yang6ea1a0e2016-01-29 12:12:49 -0800181 // Oat code should not be used. Don't install instrumentation stub and
182 // use interpreter for instrumentation.
183 new_quick_code = GetQuickToInterpreterBridge();
184 } else if (entry_exit_stubs_installed_) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800185 new_quick_code = GetQuickInstrumentationEntryPoint();
Nicolas Geoffraya0619e22016-12-20 13:57:43 +0000186 } else {
187 new_quick_code = class_linker->GetQuickOatCodeFor(method);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100188 }
189 } else {
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700190 new_quick_code = GetQuickResolutionStub();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100191 }
192 }
193 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800194 UpdateEntrypoints(method, new_quick_code);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100195}
196
Ian Rogers62d6c772013-02-27 08:32:07 -0800197// Places the instrumentation exit pc as the return PC for every quick frame. This also allows
198// deoptimization of quick frames to interpreter frames.
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100199// Since we may already have done this previously, we need to push new instrumentation frame before
200// existing instrumentation frames.
Ian Rogers62d6c772013-02-27 08:32:07 -0800201static void InstrumentationInstallStack(Thread* thread, void* arg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700202 REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200203 struct InstallStackVisitor FINAL : public StackVisitor {
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800204 InstallStackVisitor(Thread* thread_in, Context* context, uintptr_t instrumentation_exit_pc)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100205 : StackVisitor(thread_in, context, kInstrumentationStackWalk),
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800206 instrumentation_stack_(thread_in->GetInstrumentationStack()),
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100207 instrumentation_exit_pc_(instrumentation_exit_pc),
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100208 reached_existing_instrumentation_frames_(false), instrumentation_stack_depth_(0),
209 last_return_pc_(0) {
210 }
jeffhao725a9572012-11-13 18:20:12 -0800211
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700212 bool VisitFrame() OVERRIDE REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700213 ArtMethod* m = GetMethod();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700214 if (m == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800215 if (kVerboseInstrumentation) {
216 LOG(INFO) << " Skipping upcall. Frame " << GetFrameId();
217 }
218 last_return_pc_ = 0;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700219 return true; // Ignore upcalls.
Ian Rogers306057f2012-11-26 12:45:53 -0800220 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700221 if (GetCurrentQuickFrame() == nullptr) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800222 bool interpreter_frame = true;
Sebastien Hertz320deb22014-06-11 19:45:05 +0200223 InstrumentationStackFrame instrumentation_frame(GetThisObject(), m, 0, GetFrameId(),
224 interpreter_frame);
Jeff Haoa15a81b2014-05-27 18:25:47 -0700225 if (kVerboseInstrumentation) {
226 LOG(INFO) << "Pushing shadow frame " << instrumentation_frame.Dump();
227 }
228 shadow_stack_.push_back(instrumentation_frame);
229 return true; // Continue.
230 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800231 uintptr_t return_pc = GetReturnPc();
Nicolas Geoffray07c70282017-08-30 08:09:42 +0000232 if (m->IsRuntimeMethod()) {
233 if (return_pc == instrumentation_exit_pc_) {
234 if (kVerboseInstrumentation) {
235 LOG(INFO) << " Handling quick to interpreter transition. Frame " << GetFrameId();
236 }
237 CHECK_LT(instrumentation_stack_depth_, instrumentation_stack_->size());
238 const InstrumentationStackFrame& frame =
239 instrumentation_stack_->at(instrumentation_stack_depth_);
240 CHECK(frame.interpreter_entry_);
241 // This is an interpreter frame so method enter event must have been reported. However we
242 // need to push a DEX pc into the dex_pcs_ list to match size of instrumentation stack.
243 // Since we won't report method entry here, we can safely push any DEX pc.
244 dex_pcs_.push_back(0);
245 last_return_pc_ = frame.return_pc_;
246 ++instrumentation_stack_depth_;
247 return true;
248 } else {
249 if (kVerboseInstrumentation) {
250 LOG(INFO) << " Skipping runtime method. Frame " << GetFrameId();
251 }
252 last_return_pc_ = GetReturnPc();
253 return true; // Ignore unresolved methods since they will be instrumented after resolution.
254 }
255 }
Sebastien Hertz320deb22014-06-11 19:45:05 +0200256 if (kVerboseInstrumentation) {
257 LOG(INFO) << " Installing exit stub in " << DescribeLocation();
258 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100259 if (return_pc == instrumentation_exit_pc_) {
260 // We've reached a frame which has already been installed with instrumentation exit stub.
261 // We should have already installed instrumentation on previous frames.
262 reached_existing_instrumentation_frames_ = true;
263
Nicolas Geoffray07c70282017-08-30 08:09:42 +0000264 CHECK_LT(instrumentation_stack_depth_, instrumentation_stack_->size());
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200265 const InstrumentationStackFrame& frame =
266 instrumentation_stack_->at(instrumentation_stack_depth_);
David Sehr709b0702016-10-13 09:12:37 -0700267 CHECK_EQ(m, frame.method_) << "Expected " << ArtMethod::PrettyMethod(m)
268 << ", Found " << ArtMethod::PrettyMethod(frame.method_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100269 return_pc = frame.return_pc_;
270 if (kVerboseInstrumentation) {
271 LOG(INFO) << "Ignoring already instrumented " << frame.Dump();
272 }
273 } else {
274 CHECK_NE(return_pc, 0U);
275 CHECK(!reached_existing_instrumentation_frames_);
Nicolas Geoffray07c70282017-08-30 08:09:42 +0000276 InstrumentationStackFrame instrumentation_frame(GetThisObject(), m, return_pc, GetFrameId(),
277 false);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100278 if (kVerboseInstrumentation) {
279 LOG(INFO) << "Pushing frame " << instrumentation_frame.Dump();
280 }
281
Sebastien Hertz320deb22014-06-11 19:45:05 +0200282 // Insert frame at the right position so we do not corrupt the instrumentation stack.
283 // Instrumentation stack frames are in descending frame id order.
284 auto it = instrumentation_stack_->begin();
285 for (auto end = instrumentation_stack_->end(); it != end; ++it) {
286 const InstrumentationStackFrame& current = *it;
287 if (instrumentation_frame.frame_id_ >= current.frame_id_) {
288 break;
289 }
290 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100291 instrumentation_stack_->insert(it, instrumentation_frame);
292 SetReturnPc(instrumentation_exit_pc_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800293 }
Nicolas Geoffray07c70282017-08-30 08:09:42 +0000294 dex_pcs_.push_back((GetCurrentOatQuickMethodHeader() == nullptr)
295 ? DexFile::kDexNoIndex
296 : GetCurrentOatQuickMethodHeader()->ToDexPc(m, last_return_pc_));
Ian Rogers62d6c772013-02-27 08:32:07 -0800297 last_return_pc_ = return_pc;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100298 ++instrumentation_stack_depth_;
Ian Rogers306057f2012-11-26 12:45:53 -0800299 return true; // Continue.
300 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800301 std::deque<InstrumentationStackFrame>* const instrumentation_stack_;
Jeff Haoa15a81b2014-05-27 18:25:47 -0700302 std::vector<InstrumentationStackFrame> shadow_stack_;
Ian Rogers62d6c772013-02-27 08:32:07 -0800303 std::vector<uint32_t> dex_pcs_;
Ian Rogers306057f2012-11-26 12:45:53 -0800304 const uintptr_t instrumentation_exit_pc_;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100305 bool reached_existing_instrumentation_frames_;
306 size_t instrumentation_stack_depth_;
Ian Rogers62d6c772013-02-27 08:32:07 -0800307 uintptr_t last_return_pc_;
Ian Rogers306057f2012-11-26 12:45:53 -0800308 };
Ian Rogers62d6c772013-02-27 08:32:07 -0800309 if (kVerboseInstrumentation) {
310 std::string thread_name;
311 thread->GetThreadName(thread_name);
312 LOG(INFO) << "Installing exit stubs in " << thread_name;
Ian Rogers306057f2012-11-26 12:45:53 -0800313 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100314
315 Instrumentation* instrumentation = reinterpret_cast<Instrumentation*>(arg);
Ian Rogers700a4022014-05-19 16:49:03 -0700316 std::unique_ptr<Context> context(Context::Create());
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700317 uintptr_t instrumentation_exit_pc = reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc());
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100318 InstallStackVisitor visitor(thread, context.get(), instrumentation_exit_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -0800319 visitor.WalkStack(true);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100320 CHECK_EQ(visitor.dex_pcs_.size(), thread->GetInstrumentationStack()->size());
Ian Rogers62d6c772013-02-27 08:32:07 -0800321
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100322 if (instrumentation->ShouldNotifyMethodEnterExitEvents()) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100323 // Create method enter events for all methods currently on the thread's stack. We only do this
324 // if no debugger is attached to prevent from posting events twice.
Jeff Haoa15a81b2014-05-27 18:25:47 -0700325 auto ssi = visitor.shadow_stack_.rbegin();
326 for (auto isi = thread->GetInstrumentationStack()->rbegin(),
327 end = thread->GetInstrumentationStack()->rend(); isi != end; ++isi) {
328 while (ssi != visitor.shadow_stack_.rend() && (*ssi).frame_id_ < (*isi).frame_id_) {
329 instrumentation->MethodEnterEvent(thread, (*ssi).this_object_, (*ssi).method_, 0);
330 ++ssi;
331 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100332 uint32_t dex_pc = visitor.dex_pcs_.back();
333 visitor.dex_pcs_.pop_back();
Sebastien Hertz320deb22014-06-11 19:45:05 +0200334 if (!isi->interpreter_entry_) {
335 instrumentation->MethodEnterEvent(thread, (*isi).this_object_, (*isi).method_, dex_pc);
336 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100337 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800338 }
339 thread->VerifyStack();
Ian Rogers306057f2012-11-26 12:45:53 -0800340}
341
Mingyao Yang99170c62015-07-06 11:10:37 -0700342void Instrumentation::InstrumentThreadStack(Thread* thread) {
343 instrumentation_stubs_installed_ = true;
344 InstrumentationInstallStack(thread, this);
345}
346
Ian Rogers62d6c772013-02-27 08:32:07 -0800347// Removes the instrumentation exit pc as the return PC for every quick frame.
348static void InstrumentationRestoreStack(Thread* thread, void* arg)
Nicolas Geoffray5a23d2e2015-11-03 18:58:57 +0000349 REQUIRES(Locks::mutator_lock_) {
350 Locks::mutator_lock_->AssertExclusiveHeld(Thread::Current());
351
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200352 struct RestoreStackVisitor FINAL : public StackVisitor {
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800353 RestoreStackVisitor(Thread* thread_in, uintptr_t instrumentation_exit_pc,
Ian Rogers62d6c772013-02-27 08:32:07 -0800354 Instrumentation* instrumentation)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100355 : StackVisitor(thread_in, nullptr, kInstrumentationStackWalk),
356 thread_(thread_in),
Ian Rogers62d6c772013-02-27 08:32:07 -0800357 instrumentation_exit_pc_(instrumentation_exit_pc),
358 instrumentation_(instrumentation),
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800359 instrumentation_stack_(thread_in->GetInstrumentationStack()),
Ian Rogers62d6c772013-02-27 08:32:07 -0800360 frames_removed_(0) {}
Ian Rogers306057f2012-11-26 12:45:53 -0800361
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700362 bool VisitFrame() OVERRIDE REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800363 if (instrumentation_stack_->size() == 0) {
jeffhao725a9572012-11-13 18:20:12 -0800364 return false; // Stop.
365 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700366 ArtMethod* m = GetMethod();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700367 if (GetCurrentQuickFrame() == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800368 if (kVerboseInstrumentation) {
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200369 LOG(INFO) << " Ignoring a shadow frame. Frame " << GetFrameId()
David Sehr709b0702016-10-13 09:12:37 -0700370 << " Method=" << ArtMethod::PrettyMethod(m);
Ian Rogers62d6c772013-02-27 08:32:07 -0800371 }
372 return true; // Ignore shadow frames.
373 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700374 if (m == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800375 if (kVerboseInstrumentation) {
376 LOG(INFO) << " Skipping upcall. Frame " << GetFrameId();
377 }
Ian Rogers306057f2012-11-26 12:45:53 -0800378 return true; // Ignore upcalls.
379 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800380 bool removed_stub = false;
381 // TODO: make this search more efficient?
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100382 const size_t frameId = GetFrameId();
383 for (const InstrumentationStackFrame& instrumentation_frame : *instrumentation_stack_) {
384 if (instrumentation_frame.frame_id_ == frameId) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800385 if (kVerboseInstrumentation) {
386 LOG(INFO) << " Removing exit stub in " << DescribeLocation();
387 }
Jeff Hao9a916d32013-06-27 18:45:37 -0700388 if (instrumentation_frame.interpreter_entry_) {
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700389 CHECK(m == Runtime::Current()->GetCalleeSaveMethod(CalleeSaveType::kSaveRefsAndArgs));
Jeff Hao9a916d32013-06-27 18:45:37 -0700390 } else {
David Sehr709b0702016-10-13 09:12:37 -0700391 CHECK(m == instrumentation_frame.method_) << ArtMethod::PrettyMethod(m);
Jeff Hao9a916d32013-06-27 18:45:37 -0700392 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800393 SetReturnPc(instrumentation_frame.return_pc_);
Nicolas Geoffray07c70282017-08-30 08:09:42 +0000394 if (instrumentation_->ShouldNotifyMethodEnterExitEvents()) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100395 // Create the method exit events. As the methods didn't really exit the result is 0.
396 // We only do this if no debugger is attached to prevent from posting events twice.
397 instrumentation_->MethodExitEvent(thread_, instrumentation_frame.this_object_, m,
398 GetDexPc(), JValue());
399 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800400 frames_removed_++;
401 removed_stub = true;
402 break;
403 }
404 }
405 if (!removed_stub) {
406 if (kVerboseInstrumentation) {
407 LOG(INFO) << " No exit stub in " << DescribeLocation();
Ian Rogers306057f2012-11-26 12:45:53 -0800408 }
jeffhao725a9572012-11-13 18:20:12 -0800409 }
410 return true; // Continue.
411 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800412 Thread* const thread_;
Ian Rogers306057f2012-11-26 12:45:53 -0800413 const uintptr_t instrumentation_exit_pc_;
Ian Rogers62d6c772013-02-27 08:32:07 -0800414 Instrumentation* const instrumentation_;
415 std::deque<instrumentation::InstrumentationStackFrame>* const instrumentation_stack_;
416 size_t frames_removed_;
jeffhao725a9572012-11-13 18:20:12 -0800417 };
Ian Rogers62d6c772013-02-27 08:32:07 -0800418 if (kVerboseInstrumentation) {
419 std::string thread_name;
420 thread->GetThreadName(thread_name);
421 LOG(INFO) << "Removing exit stubs in " << thread_name;
422 }
423 std::deque<instrumentation::InstrumentationStackFrame>* stack = thread->GetInstrumentationStack();
424 if (stack->size() > 0) {
425 Instrumentation* instrumentation = reinterpret_cast<Instrumentation*>(arg);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700426 uintptr_t instrumentation_exit_pc =
427 reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc());
Ian Rogers62d6c772013-02-27 08:32:07 -0800428 RestoreStackVisitor visitor(thread, instrumentation_exit_pc, instrumentation);
429 visitor.WalkStack(true);
430 CHECK_EQ(visitor.frames_removed_, stack->size());
431 while (stack->size() > 0) {
432 stack->pop_front();
433 }
jeffhao725a9572012-11-13 18:20:12 -0800434 }
435}
436
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200437static bool HasEvent(Instrumentation::InstrumentationEvent expected, uint32_t events) {
438 return (events & expected) != 0;
439}
440
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000441static void PotentiallyAddListenerTo(Instrumentation::InstrumentationEvent event,
442 uint32_t events,
443 std::list<InstrumentationListener*>& list,
444 InstrumentationListener* listener,
445 bool* has_listener)
446 REQUIRES(Locks::mutator_lock_, !Locks::thread_list_lock_, !Locks::classlinker_classes_lock_) {
447 Locks::mutator_lock_->AssertExclusiveHeld(Thread::Current());
448 if (!HasEvent(event, events)) {
449 return;
450 }
451 // If there is a free slot in the list, we insert the listener in that slot.
452 // Otherwise we add it to the end of the list.
453 auto it = std::find(list.begin(), list.end(), nullptr);
454 if (it != list.end()) {
455 *it = listener;
456 } else {
457 list.push_back(listener);
458 }
459 *has_listener = true;
460}
461
Ian Rogers62d6c772013-02-27 08:32:07 -0800462void Instrumentation::AddListener(InstrumentationListener* listener, uint32_t events) {
463 Locks::mutator_lock_->AssertExclusiveHeld(Thread::Current());
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000464 PotentiallyAddListenerTo(kMethodEntered,
465 events,
466 method_entry_listeners_,
467 listener,
468 &have_method_entry_listeners_);
469 PotentiallyAddListenerTo(kMethodExited,
470 events,
471 method_exit_listeners_,
472 listener,
473 &have_method_exit_listeners_);
474 PotentiallyAddListenerTo(kMethodUnwind,
475 events,
476 method_unwind_listeners_,
477 listener,
478 &have_method_unwind_listeners_);
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000479 PotentiallyAddListenerTo(kBranch,
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000480 events,
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000481 branch_listeners_,
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000482 listener,
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000483 &have_branch_listeners_);
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000484 PotentiallyAddListenerTo(kInvokeVirtualOrInterface,
485 events,
486 invoke_virtual_or_interface_listeners_,
487 listener,
488 &have_invoke_virtual_or_interface_listeners_);
489 PotentiallyAddListenerTo(kDexPcMoved,
490 events,
491 dex_pc_listeners_,
492 listener,
493 &have_dex_pc_listeners_);
494 PotentiallyAddListenerTo(kFieldRead,
495 events,
496 field_read_listeners_,
497 listener,
498 &have_field_read_listeners_);
499 PotentiallyAddListenerTo(kFieldWritten,
500 events,
501 field_write_listeners_,
502 listener,
503 &have_field_write_listeners_);
Alex Light6e1607e2017-08-23 10:06:18 -0700504 PotentiallyAddListenerTo(kExceptionThrown,
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000505 events,
Alex Light6e1607e2017-08-23 10:06:18 -0700506 exception_thrown_listeners_,
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000507 listener,
Alex Light6e1607e2017-08-23 10:06:18 -0700508 &have_exception_thrown_listeners_);
Alex Lighte814f9d2017-07-31 16:14:39 -0700509 PotentiallyAddListenerTo(kWatchedFramePop,
510 events,
511 watched_frame_pop_listeners_,
512 listener,
513 &have_watched_frame_pop_listeners_);
Alex Light9fb1ab12017-09-05 09:32:49 -0700514 PotentiallyAddListenerTo(kExceptionHandled,
515 events,
516 exception_handled_listeners_,
517 listener,
518 &have_exception_handled_listeners_);
Sebastien Hertzee1997a2013-09-19 14:47:09 +0200519 UpdateInterpreterHandlerTable();
jeffhao725a9572012-11-13 18:20:12 -0800520}
521
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000522static void PotentiallyRemoveListenerFrom(Instrumentation::InstrumentationEvent event,
523 uint32_t events,
524 std::list<InstrumentationListener*>& list,
525 InstrumentationListener* listener,
526 bool* has_listener)
527 REQUIRES(Locks::mutator_lock_, !Locks::thread_list_lock_, !Locks::classlinker_classes_lock_) {
528 Locks::mutator_lock_->AssertExclusiveHeld(Thread::Current());
529 if (!HasEvent(event, events)) {
530 return;
531 }
532 auto it = std::find(list.begin(), list.end(), listener);
533 if (it != list.end()) {
534 // Just update the entry, do not remove from the list. Removing entries in the list
535 // is unsafe when mutators are iterating over it.
536 *it = nullptr;
537 }
538
539 // Check if the list contains any non-null listener, and update 'has_listener'.
540 for (InstrumentationListener* l : list) {
541 if (l != nullptr) {
542 *has_listener = true;
543 return;
544 }
545 }
546 *has_listener = false;
547}
548
Ian Rogers62d6c772013-02-27 08:32:07 -0800549void Instrumentation::RemoveListener(InstrumentationListener* listener, uint32_t events) {
550 Locks::mutator_lock_->AssertExclusiveHeld(Thread::Current());
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000551 PotentiallyRemoveListenerFrom(kMethodEntered,
552 events,
553 method_entry_listeners_,
554 listener,
555 &have_method_entry_listeners_);
556 PotentiallyRemoveListenerFrom(kMethodExited,
557 events,
558 method_exit_listeners_,
559 listener,
560 &have_method_exit_listeners_);
561 PotentiallyRemoveListenerFrom(kMethodUnwind,
562 events,
563 method_unwind_listeners_,
564 listener,
565 &have_method_unwind_listeners_);
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000566 PotentiallyRemoveListenerFrom(kBranch,
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000567 events,
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000568 branch_listeners_,
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000569 listener,
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000570 &have_branch_listeners_);
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000571 PotentiallyRemoveListenerFrom(kInvokeVirtualOrInterface,
572 events,
573 invoke_virtual_or_interface_listeners_,
574 listener,
575 &have_invoke_virtual_or_interface_listeners_);
576 PotentiallyRemoveListenerFrom(kDexPcMoved,
577 events,
578 dex_pc_listeners_,
579 listener,
580 &have_dex_pc_listeners_);
581 PotentiallyRemoveListenerFrom(kFieldRead,
582 events,
583 field_read_listeners_,
584 listener,
585 &have_field_read_listeners_);
586 PotentiallyRemoveListenerFrom(kFieldWritten,
587 events,
588 field_write_listeners_,
589 listener,
590 &have_field_write_listeners_);
Alex Light6e1607e2017-08-23 10:06:18 -0700591 PotentiallyRemoveListenerFrom(kExceptionThrown,
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000592 events,
Alex Light6e1607e2017-08-23 10:06:18 -0700593 exception_thrown_listeners_,
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000594 listener,
Alex Light6e1607e2017-08-23 10:06:18 -0700595 &have_exception_thrown_listeners_);
Alex Lighte814f9d2017-07-31 16:14:39 -0700596 PotentiallyRemoveListenerFrom(kWatchedFramePop,
597 events,
598 watched_frame_pop_listeners_,
599 listener,
600 &have_watched_frame_pop_listeners_);
Alex Light9fb1ab12017-09-05 09:32:49 -0700601 PotentiallyRemoveListenerFrom(kExceptionHandled,
602 events,
603 exception_handled_listeners_,
604 listener,
605 &have_exception_handled_listeners_);
Sebastien Hertzee1997a2013-09-19 14:47:09 +0200606 UpdateInterpreterHandlerTable();
jeffhao725a9572012-11-13 18:20:12 -0800607}
608
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200609Instrumentation::InstrumentationLevel Instrumentation::GetCurrentInstrumentationLevel() const {
Alex Light4ba388a2017-01-27 10:26:49 -0800610 if (interpreter_stubs_installed_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200611 return InstrumentationLevel::kInstrumentWithInterpreter;
Ian Rogers62d6c772013-02-27 08:32:07 -0800612 } else if (entry_exit_stubs_installed_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200613 return InstrumentationLevel::kInstrumentWithInstrumentationStubs;
Ian Rogers62d6c772013-02-27 08:32:07 -0800614 } else {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200615 return InstrumentationLevel::kInstrumentNothing;
Ian Rogers62d6c772013-02-27 08:32:07 -0800616 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200617}
618
Alex Lightdba61482016-12-21 08:20:29 -0800619bool Instrumentation::RequiresInstrumentationInstallation(InstrumentationLevel new_level) const {
Alex Light4ba388a2017-01-27 10:26:49 -0800620 // We need to reinstall instrumentation if we go to a different level.
621 return GetCurrentInstrumentationLevel() != new_level;
Alex Lightdba61482016-12-21 08:20:29 -0800622}
623
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200624void Instrumentation::ConfigureStubs(const char* key, InstrumentationLevel desired_level) {
625 // Store the instrumentation level for this key or remove it.
626 if (desired_level == InstrumentationLevel::kInstrumentNothing) {
627 // The client no longer needs instrumentation.
628 requested_instrumentation_levels_.erase(key);
629 } else {
630 // The client needs instrumentation.
631 requested_instrumentation_levels_.Overwrite(key, desired_level);
632 }
633
634 // Look for the highest required instrumentation level.
635 InstrumentationLevel requested_level = InstrumentationLevel::kInstrumentNothing;
636 for (const auto& v : requested_instrumentation_levels_) {
637 requested_level = std::max(requested_level, v.second);
638 }
639
640 interpret_only_ = (requested_level == InstrumentationLevel::kInstrumentWithInterpreter) ||
641 forced_interpret_only_;
642
Alex Lightdba61482016-12-21 08:20:29 -0800643 if (!RequiresInstrumentationInstallation(requested_level)) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800644 // We're already set.
645 return;
646 }
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100647 Thread* const self = Thread::Current();
Ian Rogers62d6c772013-02-27 08:32:07 -0800648 Runtime* runtime = Runtime::Current();
Sebastien Hertza8a697f2015-01-15 12:28:47 +0100649 Locks::mutator_lock_->AssertExclusiveHeld(self);
Ian Rogers62d6c772013-02-27 08:32:07 -0800650 Locks::thread_list_lock_->AssertNotHeld(self);
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200651 if (requested_level > InstrumentationLevel::kInstrumentNothing) {
Alex Light4ba388a2017-01-27 10:26:49 -0800652 if (requested_level == InstrumentationLevel::kInstrumentWithInterpreter) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800653 interpreter_stubs_installed_ = true;
Ian Rogers62d6c772013-02-27 08:32:07 -0800654 entry_exit_stubs_installed_ = true;
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200655 } else {
656 CHECK_EQ(requested_level, InstrumentationLevel::kInstrumentWithInstrumentationStubs);
657 entry_exit_stubs_installed_ = true;
658 interpreter_stubs_installed_ = false;
Ian Rogers62d6c772013-02-27 08:32:07 -0800659 }
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700660 InstallStubsClassVisitor visitor(this);
661 runtime->GetClassLinker()->VisitClasses(&visitor);
Ian Rogers62d6c772013-02-27 08:32:07 -0800662 instrumentation_stubs_installed_ = true;
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100663 MutexLock mu(self, *Locks::thread_list_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800664 runtime->GetThreadList()->ForEach(InstrumentationInstallStack, this);
665 } else {
666 interpreter_stubs_installed_ = false;
667 entry_exit_stubs_installed_ = false;
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700668 InstallStubsClassVisitor visitor(this);
669 runtime->GetClassLinker()->VisitClasses(&visitor);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100670 // Restore stack only if there is no method currently deoptimized.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700671 bool empty;
672 {
673 ReaderMutexLock mu(self, deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700674 empty = IsDeoptimizedMethodsEmpty(); // Avoid lock violation.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700675 }
676 if (empty) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100677 MutexLock mu(self, *Locks::thread_list_lock_);
678 Runtime::Current()->GetThreadList()->ForEach(InstrumentationRestoreStack, this);
Nicolas Geoffray5a23d2e2015-11-03 18:58:57 +0000679 // Only do this after restoring, as walking the stack when restoring will see
680 // the instrumentation exit pc.
681 instrumentation_stubs_installed_ = false;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100682 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800683 }
jeffhao725a9572012-11-13 18:20:12 -0800684}
685
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200686static void ResetQuickAllocEntryPointsForThread(Thread* thread, void* arg ATTRIBUTE_UNUSED) {
Mathieu Chartier5ace2012016-11-30 10:15:41 -0800687 thread->ResetQuickAllocEntryPointsForThread(kUseReadBarrier && thread->GetIsGcMarking());
Ian Rogersfa824272013-11-05 16:12:57 -0800688}
689
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700690void Instrumentation::SetEntrypointsInstrumented(bool instrumented) {
691 Thread* self = Thread::Current();
Mathieu Chartier661974a2014-01-09 11:23:53 -0800692 Runtime* runtime = Runtime::Current();
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700693 Locks::mutator_lock_->AssertNotHeld(self);
694 Locks::instrument_entrypoints_lock_->AssertHeld(self);
695 if (runtime->IsStarted()) {
Mathieu Chartier4f55e222015-09-04 13:26:21 -0700696 ScopedSuspendAll ssa(__FUNCTION__);
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700697 MutexLock mu(self, *Locks::runtime_shutdown_lock_);
Mathieu Chartier661974a2014-01-09 11:23:53 -0800698 SetQuickAllocEntryPointsInstrumented(instrumented);
699 ResetQuickAllocEntryPoints();
Mathieu Chartier50e93312016-03-16 11:25:29 -0700700 alloc_entrypoints_instrumented_ = instrumented;
Mathieu Chartier4f55e222015-09-04 13:26:21 -0700701 } else {
702 MutexLock mu(self, *Locks::runtime_shutdown_lock_);
703 SetQuickAllocEntryPointsInstrumented(instrumented);
Andreas Gampe157c77e2016-10-17 17:44:41 -0700704
705 // Note: ResetQuickAllocEntryPoints only works when the runtime is started. Manually run the
706 // update for just this thread.
Andreas Gampe162ae502016-10-18 10:03:42 -0700707 // Note: self may be null. One of those paths is setting instrumentation in the Heap
708 // constructor for gcstress mode.
709 if (self != nullptr) {
710 ResetQuickAllocEntryPointsForThread(self, nullptr);
711 }
Andreas Gampe157c77e2016-10-17 17:44:41 -0700712
Mathieu Chartier50e93312016-03-16 11:25:29 -0700713 alloc_entrypoints_instrumented_ = instrumented;
Mathieu Chartier661974a2014-01-09 11:23:53 -0800714 }
715}
716
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700717void Instrumentation::InstrumentQuickAllocEntryPoints() {
718 MutexLock mu(Thread::Current(), *Locks::instrument_entrypoints_lock_);
719 InstrumentQuickAllocEntryPointsLocked();
Ian Rogersfa824272013-11-05 16:12:57 -0800720}
721
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700722void Instrumentation::UninstrumentQuickAllocEntryPoints() {
723 MutexLock mu(Thread::Current(), *Locks::instrument_entrypoints_lock_);
724 UninstrumentQuickAllocEntryPointsLocked();
725}
726
727void Instrumentation::InstrumentQuickAllocEntryPointsLocked() {
728 Locks::instrument_entrypoints_lock_->AssertHeld(Thread::Current());
729 if (quick_alloc_entry_points_instrumentation_counter_ == 0) {
730 SetEntrypointsInstrumented(true);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800731 }
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700732 ++quick_alloc_entry_points_instrumentation_counter_;
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700733}
734
735void Instrumentation::UninstrumentQuickAllocEntryPointsLocked() {
736 Locks::instrument_entrypoints_lock_->AssertHeld(Thread::Current());
737 CHECK_GT(quick_alloc_entry_points_instrumentation_counter_, 0U);
738 --quick_alloc_entry_points_instrumentation_counter_;
739 if (quick_alloc_entry_points_instrumentation_counter_ == 0) {
740 SetEntrypointsInstrumented(false);
741 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800742}
743
744void Instrumentation::ResetQuickAllocEntryPoints() {
745 Runtime* runtime = Runtime::Current();
746 if (runtime->IsStarted()) {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800747 MutexLock mu(Thread::Current(), *Locks::thread_list_lock_);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700748 runtime->GetThreadList()->ForEach(ResetQuickAllocEntryPointsForThread, nullptr);
Ian Rogersfa824272013-11-05 16:12:57 -0800749 }
750}
751
Mingyao Yang3fd448a2016-05-10 14:30:41 -0700752void Instrumentation::UpdateMethodsCodeImpl(ArtMethod* method, const void* quick_code) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800753 const void* new_quick_code;
Ian Rogers62d6c772013-02-27 08:32:07 -0800754 if (LIKELY(!instrumentation_stubs_installed_)) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800755 new_quick_code = quick_code;
Jeff Hao65d15d92013-07-16 16:39:33 -0700756 } else {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100757 if ((interpreter_stubs_installed_ || IsDeoptimized(method)) && !method->IsNative()) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800758 new_quick_code = GetQuickToInterpreterBridge();
Jeff Hao65d15d92013-07-16 16:39:33 -0700759 } else {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700760 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700761 if (class_linker->IsQuickResolutionStub(quick_code) ||
762 class_linker->IsQuickToInterpreterBridge(quick_code)) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700763 new_quick_code = quick_code;
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700764 } else if (entry_exit_stubs_installed_) {
765 new_quick_code = GetQuickInstrumentationEntryPoint();
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700766 } else {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700767 new_quick_code = quick_code;
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700768 }
Jeff Hao65d15d92013-07-16 16:39:33 -0700769 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800770 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800771 UpdateEntrypoints(method, new_quick_code);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100772}
773
Mingyao Yang3fd448a2016-05-10 14:30:41 -0700774void Instrumentation::UpdateMethodsCode(ArtMethod* method, const void* quick_code) {
775 DCHECK(method->GetDeclaringClass()->IsResolved());
776 UpdateMethodsCodeImpl(method, quick_code);
777}
778
Nicolas Geoffraya0619e22016-12-20 13:57:43 +0000779void Instrumentation::UpdateMethodsCodeForJavaDebuggable(ArtMethod* method,
780 const void* quick_code) {
781 // When the runtime is set to Java debuggable, we may update the entry points of
782 // all methods of a class to the interpreter bridge. A method's declaring class
783 // might not be in resolved state yet in that case, so we bypass the DCHECK in
784 // UpdateMethodsCode.
Mingyao Yang3fd448a2016-05-10 14:30:41 -0700785 UpdateMethodsCodeImpl(method, quick_code);
786}
787
Mathieu Chartiere401d142015-04-22 13:56:20 -0700788bool Instrumentation::AddDeoptimizedMethod(ArtMethod* method) {
789 if (IsDeoptimizedMethod(method)) {
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700790 // Already in the map. Return.
791 return false;
792 }
793 // Not found. Add it.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700794 deoptimized_methods_.insert(method);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700795 return true;
796}
797
Mathieu Chartiere401d142015-04-22 13:56:20 -0700798bool Instrumentation::IsDeoptimizedMethod(ArtMethod* method) {
799 return deoptimized_methods_.find(method) != deoptimized_methods_.end();
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700800}
801
Mathieu Chartiere401d142015-04-22 13:56:20 -0700802ArtMethod* Instrumentation::BeginDeoptimizedMethod() {
803 if (deoptimized_methods_.empty()) {
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700804 // Empty.
805 return nullptr;
806 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700807 return *deoptimized_methods_.begin();
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700808}
809
Mathieu Chartiere401d142015-04-22 13:56:20 -0700810bool Instrumentation::RemoveDeoptimizedMethod(ArtMethod* method) {
811 auto it = deoptimized_methods_.find(method);
812 if (it == deoptimized_methods_.end()) {
813 return false;
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700814 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700815 deoptimized_methods_.erase(it);
816 return true;
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700817}
818
819bool Instrumentation::IsDeoptimizedMethodsEmpty() const {
820 return deoptimized_methods_.empty();
821}
822
Mathieu Chartiere401d142015-04-22 13:56:20 -0700823void Instrumentation::Deoptimize(ArtMethod* method) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100824 CHECK(!method->IsNative());
825 CHECK(!method->IsProxyMethod());
Alex Light9139e002015-10-09 15:59:48 -0700826 CHECK(method->IsInvokable());
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100827
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700828 Thread* self = Thread::Current();
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700829 {
830 WriterMutexLock mu(self, deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700831 bool has_not_been_deoptimized = AddDeoptimizedMethod(method);
David Sehr709b0702016-10-13 09:12:37 -0700832 CHECK(has_not_been_deoptimized) << "Method " << ArtMethod::PrettyMethod(method)
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200833 << " is already deoptimized";
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700834 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100835 if (!interpreter_stubs_installed_) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800836 UpdateEntrypoints(method, GetQuickInstrumentationEntryPoint());
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100837
838 // Install instrumentation exit stub and instrumentation frames. We may already have installed
839 // these previously so it will only cover the newly created frames.
840 instrumentation_stubs_installed_ = true;
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700841 MutexLock mu(self, *Locks::thread_list_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100842 Runtime::Current()->GetThreadList()->ForEach(InstrumentationInstallStack, this);
843 }
844}
845
Mathieu Chartiere401d142015-04-22 13:56:20 -0700846void Instrumentation::Undeoptimize(ArtMethod* method) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100847 CHECK(!method->IsNative());
848 CHECK(!method->IsProxyMethod());
Alex Light9139e002015-10-09 15:59:48 -0700849 CHECK(method->IsInvokable());
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100850
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700851 Thread* self = Thread::Current();
852 bool empty;
853 {
854 WriterMutexLock mu(self, deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700855 bool found_and_erased = RemoveDeoptimizedMethod(method);
David Sehr709b0702016-10-13 09:12:37 -0700856 CHECK(found_and_erased) << "Method " << ArtMethod::PrettyMethod(method)
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700857 << " is not deoptimized";
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700858 empty = IsDeoptimizedMethodsEmpty();
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700859 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100860
861 // Restore code and possibly stack only if we did not deoptimize everything.
862 if (!interpreter_stubs_installed_) {
863 // Restore its code or resolution trampoline.
864 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogersef7d42f2014-01-06 12:55:46 -0800865 if (method->IsStatic() && !method->IsConstructor() &&
866 !method->GetDeclaringClass()->IsInitialized()) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800867 UpdateEntrypoints(method, GetQuickResolutionStub());
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100868 } else {
Nicolas Geoffraya0619e22016-12-20 13:57:43 +0000869 const void* quick_code = NeedDebugVersionFor(method)
870 ? GetQuickToInterpreterBridge()
871 : class_linker->GetQuickOatCodeFor(method);
Elliott Hughes956af0f2014-12-11 14:34:28 -0800872 UpdateEntrypoints(method, quick_code);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100873 }
874
875 // If there is no deoptimized method left, we can restore the stack of each thread.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700876 if (empty) {
877 MutexLock mu(self, *Locks::thread_list_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100878 Runtime::Current()->GetThreadList()->ForEach(InstrumentationRestoreStack, this);
879 instrumentation_stubs_installed_ = false;
880 }
881 }
882}
883
Mathieu Chartiere401d142015-04-22 13:56:20 -0700884bool Instrumentation::IsDeoptimized(ArtMethod* method) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100885 DCHECK(method != nullptr);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700886 ReaderMutexLock mu(Thread::Current(), deoptimized_methods_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700887 return IsDeoptimizedMethod(method);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100888}
889
890void Instrumentation::EnableDeoptimization() {
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700891 ReaderMutexLock mu(Thread::Current(), deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700892 CHECK(IsDeoptimizedMethodsEmpty());
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100893 CHECK_EQ(deoptimization_enabled_, false);
894 deoptimization_enabled_ = true;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100895}
896
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200897void Instrumentation::DisableDeoptimization(const char* key) {
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100898 CHECK_EQ(deoptimization_enabled_, true);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100899 // If we deoptimized everything, undo it.
Alex Lightdba61482016-12-21 08:20:29 -0800900 InstrumentationLevel level = GetCurrentInstrumentationLevel();
901 if (level == InstrumentationLevel::kInstrumentWithInterpreter) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200902 UndeoptimizeEverything(key);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100903 }
904 // Undeoptimized selected methods.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700905 while (true) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700906 ArtMethod* method;
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700907 {
908 ReaderMutexLock mu(Thread::Current(), deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700909 if (IsDeoptimizedMethodsEmpty()) {
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700910 break;
911 }
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700912 method = BeginDeoptimizedMethod();
913 CHECK(method != nullptr);
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700914 }
915 Undeoptimize(method);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100916 }
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100917 deoptimization_enabled_ = false;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100918}
919
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100920// Indicates if instrumentation should notify method enter/exit events to the listeners.
921bool Instrumentation::ShouldNotifyMethodEnterExitEvents() const {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200922 if (!HasMethodEntryListeners() && !HasMethodExitListeners()) {
923 return false;
924 }
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100925 return !deoptimization_enabled_ && !interpreter_stubs_installed_;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100926}
927
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200928void Instrumentation::DeoptimizeEverything(const char* key) {
929 CHECK(deoptimization_enabled_);
930 ConfigureStubs(key, InstrumentationLevel::kInstrumentWithInterpreter);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100931}
932
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200933void Instrumentation::UndeoptimizeEverything(const char* key) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100934 CHECK(interpreter_stubs_installed_);
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200935 CHECK(deoptimization_enabled_);
936 ConfigureStubs(key, InstrumentationLevel::kInstrumentNothing);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100937}
938
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200939void Instrumentation::EnableMethodTracing(const char* key, bool needs_interpreter) {
940 InstrumentationLevel level;
941 if (needs_interpreter) {
942 level = InstrumentationLevel::kInstrumentWithInterpreter;
943 } else {
944 level = InstrumentationLevel::kInstrumentWithInstrumentationStubs;
945 }
946 ConfigureStubs(key, level);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100947}
948
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200949void Instrumentation::DisableMethodTracing(const char* key) {
950 ConfigureStubs(key, InstrumentationLevel::kInstrumentNothing);
jeffhao725a9572012-11-13 18:20:12 -0800951}
952
Andreas Gampe542451c2016-07-26 09:02:02 -0700953const void* Instrumentation::GetQuickCodeFor(ArtMethod* method, PointerSize pointer_size) const {
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100954 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogers62d6c772013-02-27 08:32:07 -0800955 if (LIKELY(!instrumentation_stubs_installed_)) {
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800956 const void* code = method->GetEntryPointFromQuickCompiledCodePtrSize(pointer_size);
Vladimir Marko8a630572014-04-09 18:45:35 +0100957 DCHECK(code != nullptr);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700958 if (LIKELY(!class_linker->IsQuickResolutionStub(code) &&
959 !class_linker->IsQuickToInterpreterBridge(code)) &&
960 !class_linker->IsQuickResolutionStub(code) &&
961 !class_linker->IsQuickToInterpreterBridge(code)) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800962 return code;
963 }
964 }
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100965 return class_linker->GetQuickOatCodeFor(method);
jeffhao725a9572012-11-13 18:20:12 -0800966}
967
Alex Lightd7661582017-05-01 13:48:16 -0700968void Instrumentation::MethodEnterEventImpl(Thread* thread,
969 ObjPtr<mirror::Object> this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700970 ArtMethod* method,
Ian Rogers62d6c772013-02-27 08:32:07 -0800971 uint32_t dex_pc) const {
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000972 if (HasMethodEntryListeners()) {
Alex Lightd7661582017-05-01 13:48:16 -0700973 Thread* self = Thread::Current();
974 StackHandleScope<1> hs(self);
975 Handle<mirror::Object> thiz(hs.NewHandle(this_object));
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000976 for (InstrumentationListener* listener : method_entry_listeners_) {
977 if (listener != nullptr) {
Alex Lightd7661582017-05-01 13:48:16 -0700978 listener->MethodEntered(thread, thiz, method, dex_pc);
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000979 }
980 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800981 }
982}
983
Alex Lightd7661582017-05-01 13:48:16 -0700984void Instrumentation::MethodExitEventImpl(Thread* thread,
985 ObjPtr<mirror::Object> this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700986 ArtMethod* method,
Alex Lightd7661582017-05-01 13:48:16 -0700987 uint32_t dex_pc,
988 const JValue& return_value) const {
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000989 if (HasMethodExitListeners()) {
Alex Lightd7661582017-05-01 13:48:16 -0700990 Thread* self = Thread::Current();
991 StackHandleScope<2> hs(self);
992 Handle<mirror::Object> thiz(hs.NewHandle(this_object));
993 if (method->GetInterfaceMethodIfProxy(kRuntimePointerSize)
994 ->GetReturnTypePrimitive() != Primitive::kPrimNot) {
995 for (InstrumentationListener* listener : method_exit_listeners_) {
996 if (listener != nullptr) {
997 listener->MethodExited(thread, thiz, method, dex_pc, return_value);
998 }
999 }
1000 } else {
1001 Handle<mirror::Object> ret(hs.NewHandle(return_value.GetL()));
1002 for (InstrumentationListener* listener : method_exit_listeners_) {
1003 if (listener != nullptr) {
1004 listener->MethodExited(thread, thiz, method, dex_pc, ret);
1005 }
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001006 }
1007 }
Ian Rogers62d6c772013-02-27 08:32:07 -08001008 }
1009}
1010
Alex Lightd7661582017-05-01 13:48:16 -07001011void Instrumentation::MethodUnwindEvent(Thread* thread,
1012 mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -07001013 ArtMethod* method,
Ian Rogers62d6c772013-02-27 08:32:07 -08001014 uint32_t dex_pc) const {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +02001015 if (HasMethodUnwindListeners()) {
Alex Lightd7661582017-05-01 13:48:16 -07001016 Thread* self = Thread::Current();
1017 StackHandleScope<1> hs(self);
1018 Handle<mirror::Object> thiz(hs.NewHandle(this_object));
Mathieu Chartier02e25112013-08-14 16:14:24 -07001019 for (InstrumentationListener* listener : method_unwind_listeners_) {
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001020 if (listener != nullptr) {
Alex Lightd7661582017-05-01 13:48:16 -07001021 listener->MethodUnwind(thread, thiz, method, dex_pc);
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001022 }
Ian Rogers62d6c772013-02-27 08:32:07 -08001023 }
1024 }
1025}
1026
Alex Lightd7661582017-05-01 13:48:16 -07001027void Instrumentation::DexPcMovedEventImpl(Thread* thread,
1028 ObjPtr<mirror::Object> this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -07001029 ArtMethod* method,
Ian Rogers62d6c772013-02-27 08:32:07 -08001030 uint32_t dex_pc) const {
Alex Lightd7661582017-05-01 13:48:16 -07001031 Thread* self = Thread::Current();
1032 StackHandleScope<1> hs(self);
1033 Handle<mirror::Object> thiz(hs.NewHandle(this_object));
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001034 for (InstrumentationListener* listener : dex_pc_listeners_) {
1035 if (listener != nullptr) {
Alex Lightd7661582017-05-01 13:48:16 -07001036 listener->DexPcMoved(thread, thiz, method, dex_pc);
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001037 }
Ian Rogers62d6c772013-02-27 08:32:07 -08001038 }
1039}
1040
Nicolas Geoffray81f0f952016-01-20 16:25:19 +00001041void Instrumentation::BranchImpl(Thread* thread,
1042 ArtMethod* method,
1043 uint32_t dex_pc,
1044 int32_t offset) const {
1045 for (InstrumentationListener* listener : branch_listeners_) {
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001046 if (listener != nullptr) {
Nicolas Geoffray81f0f952016-01-20 16:25:19 +00001047 listener->Branch(thread, method, dex_pc, offset);
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001048 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001049 }
1050}
1051
Nicolas Geoffray5550ca82015-08-21 18:38:30 +01001052void Instrumentation::InvokeVirtualOrInterfaceImpl(Thread* thread,
Alex Lightd7661582017-05-01 13:48:16 -07001053 ObjPtr<mirror::Object> this_object,
Nicolas Geoffray5550ca82015-08-21 18:38:30 +01001054 ArtMethod* caller,
1055 uint32_t dex_pc,
1056 ArtMethod* callee) const {
Alex Lightd7661582017-05-01 13:48:16 -07001057 Thread* self = Thread::Current();
1058 StackHandleScope<1> hs(self);
1059 Handle<mirror::Object> thiz(hs.NewHandle(this_object));
Nicolas Geoffray5550ca82015-08-21 18:38:30 +01001060 for (InstrumentationListener* listener : invoke_virtual_or_interface_listeners_) {
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001061 if (listener != nullptr) {
Alex Lightd7661582017-05-01 13:48:16 -07001062 listener->InvokeVirtualOrInterface(thread, thiz, caller, dex_pc, callee);
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001063 }
Nicolas Geoffray5550ca82015-08-21 18:38:30 +01001064 }
1065}
1066
Alex Lighte814f9d2017-07-31 16:14:39 -07001067void Instrumentation::WatchedFramePopImpl(Thread* thread, const ShadowFrame& frame) const {
1068 for (InstrumentationListener* listener : watched_frame_pop_listeners_) {
1069 if (listener != nullptr) {
1070 listener->WatchedFramePop(thread, frame);
1071 }
1072 }
1073}
1074
Alex Lightd7661582017-05-01 13:48:16 -07001075void Instrumentation::FieldReadEventImpl(Thread* thread,
1076 ObjPtr<mirror::Object> this_object,
1077 ArtMethod* method,
1078 uint32_t dex_pc,
Mathieu Chartierc7853442015-03-27 14:35:38 -07001079 ArtField* field) const {
Alex Lightd7661582017-05-01 13:48:16 -07001080 Thread* self = Thread::Current();
1081 StackHandleScope<1> hs(self);
1082 Handle<mirror::Object> thiz(hs.NewHandle(this_object));
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001083 for (InstrumentationListener* listener : field_read_listeners_) {
1084 if (listener != nullptr) {
Alex Lightd7661582017-05-01 13:48:16 -07001085 listener->FieldRead(thread, thiz, method, dex_pc, field);
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001086 }
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +02001087 }
1088}
1089
Alex Lightd7661582017-05-01 13:48:16 -07001090void Instrumentation::FieldWriteEventImpl(Thread* thread,
1091 ObjPtr<mirror::Object> this_object,
1092 ArtMethod* method,
1093 uint32_t dex_pc,
1094 ArtField* field,
1095 const JValue& field_value) const {
1096 Thread* self = Thread::Current();
1097 StackHandleScope<2> hs(self);
1098 Handle<mirror::Object> thiz(hs.NewHandle(this_object));
1099 if (field->IsPrimitiveType()) {
1100 for (InstrumentationListener* listener : field_write_listeners_) {
1101 if (listener != nullptr) {
1102 listener->FieldWritten(thread, thiz, method, dex_pc, field, field_value);
1103 }
1104 }
1105 } else {
1106 Handle<mirror::Object> val(hs.NewHandle(field_value.GetL()));
1107 for (InstrumentationListener* listener : field_write_listeners_) {
1108 if (listener != nullptr) {
1109 listener->FieldWritten(thread, thiz, method, dex_pc, field, val);
1110 }
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001111 }
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +02001112 }
1113}
1114
Alex Light6e1607e2017-08-23 10:06:18 -07001115void Instrumentation::ExceptionThrownEvent(Thread* thread,
Sebastien Hertz947ff082013-09-17 14:10:13 +02001116 mirror::Throwable* exception_object) const {
Hiroshi Yamauchi3481f7a2017-02-10 12:07:36 -08001117 Thread* self = Thread::Current();
1118 StackHandleScope<1> hs(self);
1119 Handle<mirror::Throwable> h_exception(hs.NewHandle(exception_object));
Alex Light6e1607e2017-08-23 10:06:18 -07001120 if (HasExceptionThrownListeners()) {
Hiroshi Yamauchi3481f7a2017-02-10 12:07:36 -08001121 DCHECK_EQ(thread->GetException(), h_exception.Get());
Jeff Haoc0bd4da2013-04-11 15:52:28 -07001122 thread->ClearException();
Alex Light6e1607e2017-08-23 10:06:18 -07001123 for (InstrumentationListener* listener : exception_thrown_listeners_) {
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001124 if (listener != nullptr) {
Alex Light6e1607e2017-08-23 10:06:18 -07001125 listener->ExceptionThrown(thread, h_exception);
Nicolas Geoffray514a6162015-11-03 11:44:24 +00001126 }
Ian Rogers62d6c772013-02-27 08:32:07 -08001127 }
Alex Light9fb1ab12017-09-05 09:32:49 -07001128 // See b/65049545 for discussion about this behavior.
1129 thread->AssertNoPendingException();
Hiroshi Yamauchi3481f7a2017-02-10 12:07:36 -08001130 thread->SetException(h_exception.Get());
Ian Rogers62d6c772013-02-27 08:32:07 -08001131 }
1132}
1133
Alex Light9fb1ab12017-09-05 09:32:49 -07001134void Instrumentation::ExceptionHandledEvent(Thread* thread,
1135 mirror::Throwable* exception_object) const {
1136 Thread* self = Thread::Current();
1137 StackHandleScope<1> hs(self);
1138 Handle<mirror::Throwable> h_exception(hs.NewHandle(exception_object));
1139 if (HasExceptionHandledListeners()) {
1140 // We should have cleared the exception so that callers can detect a new one.
1141 DCHECK(thread->GetException() == nullptr);
1142 for (InstrumentationListener* listener : exception_handled_listeners_) {
1143 if (listener != nullptr) {
1144 listener->ExceptionHandled(thread, h_exception);
1145 }
1146 }
1147 }
1148}
1149
Sebastien Hertzb2feaaf2015-10-12 13:40:10 +00001150// Computes a frame ID by ignoring inlined frames.
1151size_t Instrumentation::ComputeFrameId(Thread* self,
1152 size_t frame_depth,
1153 size_t inlined_frames_before_frame) {
1154 CHECK_GE(frame_depth, inlined_frames_before_frame);
1155 size_t no_inline_depth = frame_depth - inlined_frames_before_frame;
1156 return StackVisitor::ComputeNumFrames(self, kInstrumentationStackWalk) - no_inline_depth;
1157}
1158
Ian Rogers62d6c772013-02-27 08:32:07 -08001159static void CheckStackDepth(Thread* self, const InstrumentationStackFrame& instrumentation_frame,
1160 int delta)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001161 REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +01001162 size_t frame_id = StackVisitor::ComputeNumFrames(self, kInstrumentationStackWalk) + delta;
Ian Rogers62d6c772013-02-27 08:32:07 -08001163 if (frame_id != instrumentation_frame.frame_id_) {
1164 LOG(ERROR) << "Expected frame_id=" << frame_id << " but found "
1165 << instrumentation_frame.frame_id_;
1166 StackVisitor::DescribeStack(self);
1167 CHECK_EQ(frame_id, instrumentation_frame.frame_id_);
1168 }
1169}
1170
1171void Instrumentation::PushInstrumentationStackFrame(Thread* self, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -07001172 ArtMethod* method,
Jeff Hao9a916d32013-06-27 18:45:37 -07001173 uintptr_t lr, bool interpreter_entry) {
Alex Lightb7edcda2017-04-27 13:20:31 -07001174 DCHECK(!self->IsExceptionPending());
Ian Rogers62d6c772013-02-27 08:32:07 -08001175 std::deque<instrumentation::InstrumentationStackFrame>* stack = self->GetInstrumentationStack();
1176 if (kVerboseInstrumentation) {
David Sehr709b0702016-10-13 09:12:37 -07001177 LOG(INFO) << "Entering " << ArtMethod::PrettyMethod(method) << " from PC "
1178 << reinterpret_cast<void*>(lr);
Ian Rogers62d6c772013-02-27 08:32:07 -08001179 }
Alex Lightb7edcda2017-04-27 13:20:31 -07001180
1181 // We send the enter event before pushing the instrumentation frame to make cleanup easier. If the
1182 // event causes an exception we can simply send the unwind event and return.
1183 StackHandleScope<1> hs(self);
1184 Handle<mirror::Object> h_this(hs.NewHandle(this_object));
1185 if (!interpreter_entry) {
1186 MethodEnterEvent(self, h_this.Get(), method, 0);
1187 if (self->IsExceptionPending()) {
1188 MethodUnwindEvent(self, h_this.Get(), method, 0);
1189 return;
1190 }
1191 }
1192
1193 // We have a callee-save frame meaning this value is guaranteed to never be 0.
1194 DCHECK(!self->IsExceptionPending());
1195 size_t frame_id = StackVisitor::ComputeNumFrames(self, kInstrumentationStackWalk);
1196
1197 instrumentation::InstrumentationStackFrame instrumentation_frame(h_this.Get(), method, lr,
Jeff Hao9a916d32013-06-27 18:45:37 -07001198 frame_id, interpreter_entry);
Ian Rogers62d6c772013-02-27 08:32:07 -08001199 stack->push_front(instrumentation_frame);
Ian Rogers62d6c772013-02-27 08:32:07 -08001200}
1201
Alex Lightb7edcda2017-04-27 13:20:31 -07001202TwoWordReturn Instrumentation::PopInstrumentationStackFrame(Thread* self,
1203 uintptr_t* return_pc,
1204 uint64_t* gpr_result,
1205 uint64_t* fpr_result) {
1206 DCHECK(gpr_result != nullptr);
1207 DCHECK(fpr_result != nullptr);
Ian Rogers62d6c772013-02-27 08:32:07 -08001208 // Do the pop.
1209 std::deque<instrumentation::InstrumentationStackFrame>* stack = self->GetInstrumentationStack();
1210 CHECK_GT(stack->size(), 0U);
1211 InstrumentationStackFrame instrumentation_frame = stack->front();
1212 stack->pop_front();
1213
1214 // Set return PC and check the sanity of the stack.
1215 *return_pc = instrumentation_frame.return_pc_;
1216 CheckStackDepth(self, instrumentation_frame, 0);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001217 self->VerifyStack();
Ian Rogers62d6c772013-02-27 08:32:07 -08001218
Mathieu Chartiere401d142015-04-22 13:56:20 -07001219 ArtMethod* method = instrumentation_frame.method_;
Mathieu Chartierbfd9a432014-05-21 17:43:44 -07001220 uint32_t length;
Andreas Gampe542451c2016-07-26 09:02:02 -07001221 const PointerSize pointer_size = Runtime::Current()->GetClassLinker()->GetImagePointerSize();
Nicolas Geoffray07c70282017-08-30 08:09:42 +00001222 char return_shorty = method->GetInterfaceMethodIfProxy(pointer_size)->GetShorty(&length)[0];
Alex Lightb7edcda2017-04-27 13:20:31 -07001223 bool is_ref = return_shorty == '[' || return_shorty == 'L';
1224 StackHandleScope<1> hs(self);
1225 MutableHandle<mirror::Object> res(hs.NewHandle<mirror::Object>(nullptr));
Ian Rogers62d6c772013-02-27 08:32:07 -08001226 JValue return_value;
1227 if (return_shorty == 'V') {
1228 return_value.SetJ(0);
1229 } else if (return_shorty == 'F' || return_shorty == 'D') {
Alex Lightb7edcda2017-04-27 13:20:31 -07001230 return_value.SetJ(*fpr_result);
Ian Rogers62d6c772013-02-27 08:32:07 -08001231 } else {
Alex Lightb7edcda2017-04-27 13:20:31 -07001232 return_value.SetJ(*gpr_result);
1233 }
1234 if (is_ref) {
1235 // Take a handle to the return value so we won't lose it if we suspend.
1236 res.Assign(return_value.GetL());
Ian Rogers62d6c772013-02-27 08:32:07 -08001237 }
1238 // TODO: improve the dex pc information here, requires knowledge of current PC as opposed to
1239 // return_pc.
1240 uint32_t dex_pc = DexFile::kDexNoIndex;
1241 mirror::Object* this_object = instrumentation_frame.this_object_;
Nicolas Geoffray07c70282017-08-30 08:09:42 +00001242 if (!instrumentation_frame.interpreter_entry_) {
Sebastien Hertz320deb22014-06-11 19:45:05 +02001243 MethodExitEvent(self, this_object, instrumentation_frame.method_, dex_pc, return_value);
1244 }
jeffhao725a9572012-11-13 18:20:12 -08001245
Sebastien Hertz138dbfc2013-12-04 18:15:25 +01001246 // Deoptimize if the caller needs to continue execution in the interpreter. Do nothing if we get
1247 // back to an upcall.
1248 NthCallerVisitor visitor(self, 1, true);
1249 visitor.WalkStack(true);
Sebastien Hertz270a0e12015-01-16 19:49:09 +01001250 bool deoptimize = (visitor.caller != nullptr) &&
Daniel Mihalyieb076692014-08-22 17:33:31 +02001251 (interpreter_stubs_installed_ || IsDeoptimized(visitor.caller) ||
1252 Dbg::IsForcedInterpreterNeededForUpcall(self, visitor.caller));
Alex Lightb7edcda2017-04-27 13:20:31 -07001253 if (is_ref) {
1254 // Restore the return value if it's a reference since it might have moved.
1255 *reinterpret_cast<mirror::Object**>(gpr_result) = res.Get();
1256 }
Nicolas Geoffraya0619e22016-12-20 13:57:43 +00001257 if (deoptimize && Runtime::Current()->IsAsyncDeoptimizeable(*return_pc)) {
Ian Rogers62d6c772013-02-27 08:32:07 -08001258 if (kVerboseInstrumentation) {
Andreas Gampe46ee31b2016-12-14 10:11:49 -08001259 LOG(INFO) << "Deoptimizing "
1260 << visitor.caller->PrettyMethod()
1261 << " by returning from "
1262 << method->PrettyMethod()
1263 << " with result "
1264 << std::hex << return_value.GetJ() << std::dec
1265 << " in "
1266 << *self;
Ian Rogers62d6c772013-02-27 08:32:07 -08001267 }
Nicolas Geoffray73be1e82015-09-17 15:22:56 +01001268 self->PushDeoptimizationContext(return_value,
Nicolas Geoffray07c70282017-08-30 08:09:42 +00001269 return_shorty == 'L',
Nicolas Geoffray73be1e82015-09-17 15:22:56 +01001270 false /* from_code */,
Nicolas Geoffray07c70282017-08-30 08:09:42 +00001271 nullptr /* no pending exception */);
Andreas Gamped58342c2014-06-05 14:18:08 -07001272 return GetTwoWordSuccessValue(*return_pc,
1273 reinterpret_cast<uintptr_t>(GetQuickDeoptimizationEntryPoint()));
Ian Rogers62d6c772013-02-27 08:32:07 -08001274 } else {
Nicolas Geoffraya0619e22016-12-20 13:57:43 +00001275 if (deoptimize && !Runtime::Current()->IsAsyncDeoptimizeable(*return_pc)) {
1276 LOG(WARNING) << "Got a deoptimization request on un-deoptimizable " << method->PrettyMethod()
1277 << " at PC " << reinterpret_cast<void*>(*return_pc);
1278 }
Ian Rogers62d6c772013-02-27 08:32:07 -08001279 if (kVerboseInstrumentation) {
David Sehr709b0702016-10-13 09:12:37 -07001280 LOG(INFO) << "Returning from " << method->PrettyMethod()
Brian Carlstrom2d888622013-07-18 17:02:00 -07001281 << " to PC " << reinterpret_cast<void*>(*return_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -08001282 }
Andreas Gamped58342c2014-06-05 14:18:08 -07001283 return GetTwoWordSuccessValue(0, *return_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -08001284 }
jeffhao725a9572012-11-13 18:20:12 -08001285}
1286
Mingyao Yangf711f2c2016-05-23 12:29:39 -07001287uintptr_t Instrumentation::PopMethodForUnwind(Thread* self, bool is_deoptimization) const {
Ian Rogers62d6c772013-02-27 08:32:07 -08001288 // Do the pop.
1289 std::deque<instrumentation::InstrumentationStackFrame>* stack = self->GetInstrumentationStack();
1290 CHECK_GT(stack->size(), 0U);
Alex Lightb7edcda2017-04-27 13:20:31 -07001291 size_t idx = stack->size();
Ian Rogers62d6c772013-02-27 08:32:07 -08001292 InstrumentationStackFrame instrumentation_frame = stack->front();
Ian Rogers62d6c772013-02-27 08:32:07 -08001293
Mathieu Chartiere401d142015-04-22 13:56:20 -07001294 ArtMethod* method = instrumentation_frame.method_;
Ian Rogers62d6c772013-02-27 08:32:07 -08001295 if (is_deoptimization) {
1296 if (kVerboseInstrumentation) {
David Sehr709b0702016-10-13 09:12:37 -07001297 LOG(INFO) << "Popping for deoptimization " << ArtMethod::PrettyMethod(method);
Ian Rogers62d6c772013-02-27 08:32:07 -08001298 }
1299 } else {
1300 if (kVerboseInstrumentation) {
David Sehr709b0702016-10-13 09:12:37 -07001301 LOG(INFO) << "Popping for unwind " << ArtMethod::PrettyMethod(method);
Ian Rogers62d6c772013-02-27 08:32:07 -08001302 }
1303
1304 // Notify listeners of method unwind.
1305 // TODO: improve the dex pc information here, requires knowledge of current PC as opposed to
1306 // return_pc.
1307 uint32_t dex_pc = DexFile::kDexNoIndex;
Nicolas Geoffray07c70282017-08-30 08:09:42 +00001308 MethodUnwindEvent(self, instrumentation_frame.this_object_, method, dex_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -08001309 }
Alex Lightb7edcda2017-04-27 13:20:31 -07001310 // TODO: bring back CheckStackDepth(self, instrumentation_frame, 2);
1311 CHECK_EQ(stack->size(), idx);
1312 DCHECK(instrumentation_frame.method_ == stack->front().method_);
1313 stack->pop_front();
Mingyao Yangf711f2c2016-05-23 12:29:39 -07001314 return instrumentation_frame.return_pc_;
Ian Rogers62d6c772013-02-27 08:32:07 -08001315}
1316
1317std::string InstrumentationStackFrame::Dump() const {
1318 std::ostringstream os;
David Sehr709b0702016-10-13 09:12:37 -07001319 os << "Frame " << frame_id_ << " " << ArtMethod::PrettyMethod(method_) << ":"
Ian Rogers62d6c772013-02-27 08:32:07 -08001320 << reinterpret_cast<void*>(return_pc_) << " this=" << reinterpret_cast<void*>(this_object_);
1321 return os.str();
1322}
1323
1324} // namespace instrumentation
jeffhao725a9572012-11-13 18:20:12 -08001325} // namespace art