blob: 2dd2b7d403047be00b7e943849bf001f8b563489 [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"
Nicolas Geoffray6bc43742015-10-12 18:11:10 +010022#include "art_code.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070023#include "art_method-inl.h"
Ian Rogersef7d42f2014-01-06 12:55:46 -080024#include "atomic.h"
jeffhao725a9572012-11-13 18:20:12 -080025#include "class_linker.h"
26#include "debugger.h"
Ian Rogers62d6c772013-02-27 08:32:07 -080027#include "dex_file-inl.h"
Ian Rogersc7dd2952014-10-21 23:31:19 -070028#include "entrypoints/quick/quick_entrypoints.h"
Mathieu Chartierd8891782014-03-02 13:28:37 -080029#include "entrypoints/quick/quick_alloc_entrypoints.h"
Ian Rogers6f3dbba2014-10-14 17:41:57 -070030#include "entrypoints/runtime_asm_entrypoints.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070031#include "gc_root-inl.h"
Sebastien Hertz138dbfc2013-12-04 18:15:25 +010032#include "interpreter/interpreter.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080033#include "jit/jit.h"
34#include "jit/jit_code_cache.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080035#include "mirror/class-inl.h"
36#include "mirror/dex_cache.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080037#include "mirror/object_array-inl.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070038#include "mirror/object-inl.h"
Ian Rogers62d6c772013-02-27 08:32:07 -080039#include "nth_caller_visitor.h"
jeffhao725a9572012-11-13 18:20:12 -080040#include "thread.h"
41#include "thread_list.h"
jeffhao725a9572012-11-13 18:20:12 -080042
43namespace art {
Ian Rogers62d6c772013-02-27 08:32:07 -080044namespace instrumentation {
jeffhao725a9572012-11-13 18:20:12 -080045
Sebastien Hertz0462c4c2015-04-01 16:34:17 +020046constexpr bool kVerboseInstrumentation = false;
Sebastien Hertz5bfd5c92013-11-15 11:36:07 +010047
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +010048// Instrumentation works on non-inlined frames by updating returned PCs
49// of compiled frames.
50static constexpr StackVisitor::StackWalkKind kInstrumentationStackWalk =
51 StackVisitor::StackWalkKind::kSkipInlinedFrames;
52
Mathieu Chartiere0671ce2015-07-28 17:23:28 -070053class InstallStubsClassVisitor : public ClassVisitor {
54 public:
55 explicit InstallStubsClassVisitor(Instrumentation* instrumentation)
56 : instrumentation_(instrumentation) {}
57
58 bool Visit(mirror::Class* klass) OVERRIDE REQUIRES(Locks::mutator_lock_) {
59 instrumentation_->InstallStubsForClass(klass);
60 return true; // we visit all classes.
61 }
62
63 private:
64 Instrumentation* const instrumentation_;
65};
66
Ian Rogers62d6c772013-02-27 08:32:07 -080067
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -070068Instrumentation::Instrumentation()
69 : instrumentation_stubs_installed_(false), entry_exit_stubs_installed_(false),
70 interpreter_stubs_installed_(false),
71 interpret_only_(false), forced_interpret_only_(false),
72 have_method_entry_listeners_(false), have_method_exit_listeners_(false),
73 have_method_unwind_listeners_(false), have_dex_pc_listeners_(false),
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +020074 have_field_read_listeners_(false), have_field_write_listeners_(false),
Sebastien Hertz0462c4c2015-04-01 16:34:17 +020075 have_exception_caught_listeners_(false), have_backward_branch_listeners_(false),
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -070076 deoptimized_methods_lock_("deoptimized methods lock"),
77 deoptimization_enabled_(false),
78 interpreter_handler_table_(kMainHandlerTable),
79 quick_alloc_entry_points_instrumentation_counter_(0) {
80}
81
Sebastien Hertza10aa372015-01-21 17:30:58 +010082void Instrumentation::InstallStubsForClass(mirror::Class* klass) {
Sebastien Hertza8a697f2015-01-15 12:28:47 +010083 if (klass->IsErroneous()) {
84 // We can't execute code in a erroneous class: do nothing.
85 } else if (!klass->IsResolved()) {
86 // We need the class to be resolved to install/uninstall stubs. Otherwise its methods
87 // could not be initialized or linked with regards to class inheritance.
88 } else {
89 for (size_t i = 0, e = klass->NumDirectMethods(); i < e; i++) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070090 InstallStubsForMethod(klass->GetDirectMethod(i, sizeof(void*)));
Sebastien Hertza8a697f2015-01-15 12:28:47 +010091 }
92 for (size_t i = 0, e = klass->NumVirtualMethods(); i < e; i++) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070093 InstallStubsForMethod(klass->GetVirtualMethod(i, sizeof(void*)));
Sebastien Hertza8a697f2015-01-15 12:28:47 +010094 }
jeffhao725a9572012-11-13 18:20:12 -080095 }
jeffhao725a9572012-11-13 18:20:12 -080096}
97
Mathieu Chartiere401d142015-04-22 13:56:20 -070098static void UpdateEntrypoints(ArtMethod* method, const void* quick_code)
Mathieu Chartier90443472015-07-16 20:32:27 -070099 SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800100 Runtime* const runtime = Runtime::Current();
101 jit::Jit* jit = runtime->GetJit();
102 if (jit != nullptr) {
103 const void* old_code_ptr = method->GetEntryPointFromQuickCompiledCode();
104 jit::JitCodeCache* code_cache = jit->GetCodeCache();
105 if (code_cache->ContainsCodePtr(old_code_ptr)) {
106 // Save the old compiled code since we need it to implement ClassLinker::GetQuickOatCodeFor.
107 code_cache->SaveCompiledCode(method, old_code_ptr);
108 }
109 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800110 method->SetEntryPointFromQuickCompiledCode(quick_code);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100111}
112
Mathieu Chartiere401d142015-04-22 13:56:20 -0700113void Instrumentation::InstallStubsForMethod(ArtMethod* method) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100114 if (method->IsAbstract() || method->IsProxyMethod()) {
115 // Do not change stubs for these methods.
116 return;
117 }
Jeff Hao56802772014-08-19 10:17:36 -0700118 // Don't stub Proxy.<init>. Note that the Proxy class itself is not a proxy class.
119 if (method->IsConstructor() &&
120 method->GetDeclaringClass()->DescriptorEquals("Ljava/lang/reflect/Proxy;")) {
Jeff Haodb8a6642014-08-14 17:18:52 -0700121 return;
122 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800123 const void* new_quick_code;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100124 bool uninstall = !entry_exit_stubs_installed_ && !interpreter_stubs_installed_;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800125 Runtime* const runtime = Runtime::Current();
126 ClassLinker* const class_linker = runtime->GetClassLinker();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100127 bool is_class_initialized = method->GetDeclaringClass()->IsInitialized();
128 if (uninstall) {
129 if ((forced_interpret_only_ || IsDeoptimized(method)) && !method->IsNative()) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800130 new_quick_code = GetQuickToInterpreterBridge();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100131 } else if (is_class_initialized || !method->IsStatic() || method->IsConstructor()) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800132 new_quick_code = class_linker->GetQuickOatCodeFor(method);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100133 } else {
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700134 new_quick_code = GetQuickResolutionStub();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100135 }
136 } else { // !uninstall
Sebastien Hertzbae182c2013-12-17 10:42:03 +0100137 if ((interpreter_stubs_installed_ || forced_interpret_only_ || IsDeoptimized(method)) &&
138 !method->IsNative()) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800139 new_quick_code = GetQuickToInterpreterBridge();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100140 } else {
141 // Do not overwrite resolution trampoline. When the trampoline initializes the method's
142 // class, all its static methods code will be set to the instrumentation entry point.
143 // For more details, see ClassLinker::FixupStaticTrampolines.
144 if (is_class_initialized || !method->IsStatic() || method->IsConstructor()) {
Sebastien Hertz320deb22014-06-11 19:45:05 +0200145 if (entry_exit_stubs_installed_) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800146 new_quick_code = GetQuickInstrumentationEntryPoint();
Sebastien Hertz320deb22014-06-11 19:45:05 +0200147 } else {
Sebastien Hertz320deb22014-06-11 19:45:05 +0200148 new_quick_code = class_linker->GetQuickOatCodeFor(method);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100149 }
150 } else {
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700151 new_quick_code = GetQuickResolutionStub();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100152 }
153 }
154 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800155 UpdateEntrypoints(method, new_quick_code);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100156}
157
Ian Rogers62d6c772013-02-27 08:32:07 -0800158// Places the instrumentation exit pc as the return PC for every quick frame. This also allows
159// deoptimization of quick frames to interpreter frames.
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100160// Since we may already have done this previously, we need to push new instrumentation frame before
161// existing instrumentation frames.
Ian Rogers62d6c772013-02-27 08:32:07 -0800162static void InstrumentationInstallStack(Thread* thread, void* arg)
Mathieu Chartier90443472015-07-16 20:32:27 -0700163 SHARED_REQUIRES(Locks::mutator_lock_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200164 struct InstallStackVisitor FINAL : public StackVisitor {
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800165 InstallStackVisitor(Thread* thread_in, Context* context, uintptr_t instrumentation_exit_pc)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100166 : StackVisitor(thread_in, context, kInstrumentationStackWalk),
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800167 instrumentation_stack_(thread_in->GetInstrumentationStack()),
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100168 instrumentation_exit_pc_(instrumentation_exit_pc),
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100169 reached_existing_instrumentation_frames_(false), instrumentation_stack_depth_(0),
170 last_return_pc_(0) {
171 }
jeffhao725a9572012-11-13 18:20:12 -0800172
Mathieu Chartier90443472015-07-16 20:32:27 -0700173 bool VisitFrame() OVERRIDE SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700174 ArtMethod* m = GetMethod();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700175 if (m == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800176 if (kVerboseInstrumentation) {
177 LOG(INFO) << " Skipping upcall. Frame " << GetFrameId();
178 }
179 last_return_pc_ = 0;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700180 return true; // Ignore upcalls.
Ian Rogers306057f2012-11-26 12:45:53 -0800181 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700182 if (GetCurrentQuickFrame() == nullptr) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800183 bool interpreter_frame = true;
Sebastien Hertz320deb22014-06-11 19:45:05 +0200184 InstrumentationStackFrame instrumentation_frame(GetThisObject(), m, 0, GetFrameId(),
185 interpreter_frame);
Jeff Haoa15a81b2014-05-27 18:25:47 -0700186 if (kVerboseInstrumentation) {
187 LOG(INFO) << "Pushing shadow frame " << instrumentation_frame.Dump();
188 }
189 shadow_stack_.push_back(instrumentation_frame);
190 return true; // Continue.
191 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800192 uintptr_t return_pc = GetReturnPc();
Sebastien Hertz320deb22014-06-11 19:45:05 +0200193 if (m->IsRuntimeMethod()) {
194 if (return_pc == instrumentation_exit_pc_) {
195 if (kVerboseInstrumentation) {
196 LOG(INFO) << " Handling quick to interpreter transition. Frame " << GetFrameId();
197 }
198 CHECK_LT(instrumentation_stack_depth_, instrumentation_stack_->size());
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200199 const InstrumentationStackFrame& frame =
200 instrumentation_stack_->at(instrumentation_stack_depth_);
Sebastien Hertz320deb22014-06-11 19:45:05 +0200201 CHECK(frame.interpreter_entry_);
202 // This is an interpreter frame so method enter event must have been reported. However we
203 // need to push a DEX pc into the dex_pcs_ list to match size of instrumentation stack.
204 // Since we won't report method entry here, we can safely push any DEX pc.
205 dex_pcs_.push_back(0);
206 last_return_pc_ = frame.return_pc_;
207 ++instrumentation_stack_depth_;
208 return true;
209 } else {
210 if (kVerboseInstrumentation) {
211 LOG(INFO) << " Skipping runtime method. Frame " << GetFrameId();
212 }
213 last_return_pc_ = GetReturnPc();
214 return true; // Ignore unresolved methods since they will be instrumented after resolution.
215 }
216 }
217 if (kVerboseInstrumentation) {
218 LOG(INFO) << " Installing exit stub in " << DescribeLocation();
219 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100220 if (return_pc == instrumentation_exit_pc_) {
221 // We've reached a frame which has already been installed with instrumentation exit stub.
222 // We should have already installed instrumentation on previous frames.
223 reached_existing_instrumentation_frames_ = true;
224
225 CHECK_LT(instrumentation_stack_depth_, instrumentation_stack_->size());
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200226 const InstrumentationStackFrame& frame =
227 instrumentation_stack_->at(instrumentation_stack_depth_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100228 CHECK_EQ(m, frame.method_) << "Expected " << PrettyMethod(m)
229 << ", Found " << PrettyMethod(frame.method_);
230 return_pc = frame.return_pc_;
231 if (kVerboseInstrumentation) {
232 LOG(INFO) << "Ignoring already instrumented " << frame.Dump();
233 }
234 } else {
235 CHECK_NE(return_pc, 0U);
236 CHECK(!reached_existing_instrumentation_frames_);
237 InstrumentationStackFrame instrumentation_frame(GetThisObject(), m, return_pc, GetFrameId(),
238 false);
239 if (kVerboseInstrumentation) {
240 LOG(INFO) << "Pushing frame " << instrumentation_frame.Dump();
241 }
242
Sebastien Hertz320deb22014-06-11 19:45:05 +0200243 // Insert frame at the right position so we do not corrupt the instrumentation stack.
244 // Instrumentation stack frames are in descending frame id order.
245 auto it = instrumentation_stack_->begin();
246 for (auto end = instrumentation_stack_->end(); it != end; ++it) {
247 const InstrumentationStackFrame& current = *it;
248 if (instrumentation_frame.frame_id_ >= current.frame_id_) {
249 break;
250 }
251 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100252 instrumentation_stack_->insert(it, instrumentation_frame);
253 SetReturnPc(instrumentation_exit_pc_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800254 }
Nicolas Geoffray6bc43742015-10-12 18:11:10 +0100255 dex_pcs_.push_back(GetCurrentCode().ToDexPc(last_return_pc_));
Ian Rogers62d6c772013-02-27 08:32:07 -0800256 last_return_pc_ = return_pc;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100257 ++instrumentation_stack_depth_;
Ian Rogers306057f2012-11-26 12:45:53 -0800258 return true; // Continue.
259 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800260 std::deque<InstrumentationStackFrame>* const instrumentation_stack_;
Jeff Haoa15a81b2014-05-27 18:25:47 -0700261 std::vector<InstrumentationStackFrame> shadow_stack_;
Ian Rogers62d6c772013-02-27 08:32:07 -0800262 std::vector<uint32_t> dex_pcs_;
Ian Rogers306057f2012-11-26 12:45:53 -0800263 const uintptr_t instrumentation_exit_pc_;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100264 bool reached_existing_instrumentation_frames_;
265 size_t instrumentation_stack_depth_;
Ian Rogers62d6c772013-02-27 08:32:07 -0800266 uintptr_t last_return_pc_;
Ian Rogers306057f2012-11-26 12:45:53 -0800267 };
Ian Rogers62d6c772013-02-27 08:32:07 -0800268 if (kVerboseInstrumentation) {
269 std::string thread_name;
270 thread->GetThreadName(thread_name);
271 LOG(INFO) << "Installing exit stubs in " << thread_name;
Ian Rogers306057f2012-11-26 12:45:53 -0800272 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100273
274 Instrumentation* instrumentation = reinterpret_cast<Instrumentation*>(arg);
Ian Rogers700a4022014-05-19 16:49:03 -0700275 std::unique_ptr<Context> context(Context::Create());
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700276 uintptr_t instrumentation_exit_pc = reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc());
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100277 InstallStackVisitor visitor(thread, context.get(), instrumentation_exit_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -0800278 visitor.WalkStack(true);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100279 CHECK_EQ(visitor.dex_pcs_.size(), thread->GetInstrumentationStack()->size());
Ian Rogers62d6c772013-02-27 08:32:07 -0800280
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100281 if (instrumentation->ShouldNotifyMethodEnterExitEvents()) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100282 // Create method enter events for all methods currently on the thread's stack. We only do this
283 // if no debugger is attached to prevent from posting events twice.
Jeff Haoa15a81b2014-05-27 18:25:47 -0700284 auto ssi = visitor.shadow_stack_.rbegin();
285 for (auto isi = thread->GetInstrumentationStack()->rbegin(),
286 end = thread->GetInstrumentationStack()->rend(); isi != end; ++isi) {
287 while (ssi != visitor.shadow_stack_.rend() && (*ssi).frame_id_ < (*isi).frame_id_) {
288 instrumentation->MethodEnterEvent(thread, (*ssi).this_object_, (*ssi).method_, 0);
289 ++ssi;
290 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100291 uint32_t dex_pc = visitor.dex_pcs_.back();
292 visitor.dex_pcs_.pop_back();
Sebastien Hertz320deb22014-06-11 19:45:05 +0200293 if (!isi->interpreter_entry_) {
294 instrumentation->MethodEnterEvent(thread, (*isi).this_object_, (*isi).method_, dex_pc);
295 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100296 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800297 }
298 thread->VerifyStack();
Ian Rogers306057f2012-11-26 12:45:53 -0800299}
300
Mingyao Yang99170c62015-07-06 11:10:37 -0700301void Instrumentation::InstrumentThreadStack(Thread* thread) {
302 instrumentation_stubs_installed_ = true;
303 InstrumentationInstallStack(thread, this);
304}
305
Ian Rogers62d6c772013-02-27 08:32:07 -0800306// Removes the instrumentation exit pc as the return PC for every quick frame.
307static void InstrumentationRestoreStack(Thread* thread, void* arg)
Mathieu Chartier90443472015-07-16 20:32:27 -0700308 SHARED_REQUIRES(Locks::mutator_lock_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200309 struct RestoreStackVisitor FINAL : public StackVisitor {
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800310 RestoreStackVisitor(Thread* thread_in, uintptr_t instrumentation_exit_pc,
Ian Rogers62d6c772013-02-27 08:32:07 -0800311 Instrumentation* instrumentation)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100312 : StackVisitor(thread_in, nullptr, kInstrumentationStackWalk),
313 thread_(thread_in),
Ian Rogers62d6c772013-02-27 08:32:07 -0800314 instrumentation_exit_pc_(instrumentation_exit_pc),
315 instrumentation_(instrumentation),
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800316 instrumentation_stack_(thread_in->GetInstrumentationStack()),
Ian Rogers62d6c772013-02-27 08:32:07 -0800317 frames_removed_(0) {}
Ian Rogers306057f2012-11-26 12:45:53 -0800318
Mathieu Chartier90443472015-07-16 20:32:27 -0700319 bool VisitFrame() OVERRIDE SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800320 if (instrumentation_stack_->size() == 0) {
jeffhao725a9572012-11-13 18:20:12 -0800321 return false; // Stop.
322 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700323 ArtMethod* m = GetMethod();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700324 if (GetCurrentQuickFrame() == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800325 if (kVerboseInstrumentation) {
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200326 LOG(INFO) << " Ignoring a shadow frame. Frame " << GetFrameId()
327 << " Method=" << PrettyMethod(m);
Ian Rogers62d6c772013-02-27 08:32:07 -0800328 }
329 return true; // Ignore shadow frames.
330 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700331 if (m == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800332 if (kVerboseInstrumentation) {
333 LOG(INFO) << " Skipping upcall. Frame " << GetFrameId();
334 }
Ian Rogers306057f2012-11-26 12:45:53 -0800335 return true; // Ignore upcalls.
336 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800337 bool removed_stub = false;
338 // TODO: make this search more efficient?
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100339 const size_t frameId = GetFrameId();
340 for (const InstrumentationStackFrame& instrumentation_frame : *instrumentation_stack_) {
341 if (instrumentation_frame.frame_id_ == frameId) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800342 if (kVerboseInstrumentation) {
343 LOG(INFO) << " Removing exit stub in " << DescribeLocation();
344 }
Jeff Hao9a916d32013-06-27 18:45:37 -0700345 if (instrumentation_frame.interpreter_entry_) {
346 CHECK(m == Runtime::Current()->GetCalleeSaveMethod(Runtime::kRefsAndArgs));
347 } else {
348 CHECK(m == instrumentation_frame.method_) << PrettyMethod(m);
349 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800350 SetReturnPc(instrumentation_frame.return_pc_);
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100351 if (instrumentation_->ShouldNotifyMethodEnterExitEvents()) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100352 // Create the method exit events. As the methods didn't really exit the result is 0.
353 // We only do this if no debugger is attached to prevent from posting events twice.
354 instrumentation_->MethodExitEvent(thread_, instrumentation_frame.this_object_, m,
355 GetDexPc(), JValue());
356 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800357 frames_removed_++;
358 removed_stub = true;
359 break;
360 }
361 }
362 if (!removed_stub) {
363 if (kVerboseInstrumentation) {
364 LOG(INFO) << " No exit stub in " << DescribeLocation();
Ian Rogers306057f2012-11-26 12:45:53 -0800365 }
jeffhao725a9572012-11-13 18:20:12 -0800366 }
367 return true; // Continue.
368 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800369 Thread* const thread_;
Ian Rogers306057f2012-11-26 12:45:53 -0800370 const uintptr_t instrumentation_exit_pc_;
Ian Rogers62d6c772013-02-27 08:32:07 -0800371 Instrumentation* const instrumentation_;
372 std::deque<instrumentation::InstrumentationStackFrame>* const instrumentation_stack_;
373 size_t frames_removed_;
jeffhao725a9572012-11-13 18:20:12 -0800374 };
Ian Rogers62d6c772013-02-27 08:32:07 -0800375 if (kVerboseInstrumentation) {
376 std::string thread_name;
377 thread->GetThreadName(thread_name);
378 LOG(INFO) << "Removing exit stubs in " << thread_name;
379 }
380 std::deque<instrumentation::InstrumentationStackFrame>* stack = thread->GetInstrumentationStack();
381 if (stack->size() > 0) {
382 Instrumentation* instrumentation = reinterpret_cast<Instrumentation*>(arg);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700383 uintptr_t instrumentation_exit_pc =
384 reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc());
Ian Rogers62d6c772013-02-27 08:32:07 -0800385 RestoreStackVisitor visitor(thread, instrumentation_exit_pc, instrumentation);
386 visitor.WalkStack(true);
387 CHECK_EQ(visitor.frames_removed_, stack->size());
388 while (stack->size() > 0) {
389 stack->pop_front();
390 }
jeffhao725a9572012-11-13 18:20:12 -0800391 }
392}
393
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200394static bool HasEvent(Instrumentation::InstrumentationEvent expected, uint32_t events) {
395 return (events & expected) != 0;
396}
397
Ian Rogers62d6c772013-02-27 08:32:07 -0800398void Instrumentation::AddListener(InstrumentationListener* listener, uint32_t events) {
399 Locks::mutator_lock_->AssertExclusiveHeld(Thread::Current());
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200400 if (HasEvent(kMethodEntered, events)) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800401 method_entry_listeners_.push_back(listener);
Ian Rogers62d6c772013-02-27 08:32:07 -0800402 have_method_entry_listeners_ = true;
403 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200404 if (HasEvent(kMethodExited, events)) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800405 method_exit_listeners_.push_back(listener);
Ian Rogers62d6c772013-02-27 08:32:07 -0800406 have_method_exit_listeners_ = true;
407 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200408 if (HasEvent(kMethodUnwind, events)) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800409 method_unwind_listeners_.push_back(listener);
410 have_method_unwind_listeners_ = true;
411 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200412 if (HasEvent(kBackwardBranch, events)) {
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800413 backward_branch_listeners_.push_back(listener);
414 have_backward_branch_listeners_ = true;
415 }
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100416 if (HasEvent(kInvokeVirtualOrInterface, events)) {
417 invoke_virtual_or_interface_listeners_.push_back(listener);
418 have_invoke_virtual_or_interface_listeners_ = true;
419 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200420 if (HasEvent(kDexPcMoved, events)) {
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200421 std::list<InstrumentationListener*>* modified;
422 if (have_dex_pc_listeners_) {
423 modified = new std::list<InstrumentationListener*>(*dex_pc_listeners_.get());
424 } else {
425 modified = new std::list<InstrumentationListener*>();
426 }
427 modified->push_back(listener);
428 dex_pc_listeners_.reset(modified);
Ian Rogers62d6c772013-02-27 08:32:07 -0800429 have_dex_pc_listeners_ = true;
430 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200431 if (HasEvent(kFieldRead, events)) {
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200432 std::list<InstrumentationListener*>* modified;
433 if (have_field_read_listeners_) {
434 modified = new std::list<InstrumentationListener*>(*field_read_listeners_.get());
435 } else {
436 modified = new std::list<InstrumentationListener*>();
437 }
438 modified->push_back(listener);
439 field_read_listeners_.reset(modified);
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200440 have_field_read_listeners_ = true;
441 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200442 if (HasEvent(kFieldWritten, events)) {
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200443 std::list<InstrumentationListener*>* modified;
444 if (have_field_write_listeners_) {
445 modified = new std::list<InstrumentationListener*>(*field_write_listeners_.get());
446 } else {
447 modified = new std::list<InstrumentationListener*>();
448 }
449 modified->push_back(listener);
450 field_write_listeners_.reset(modified);
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200451 have_field_write_listeners_ = true;
452 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200453 if (HasEvent(kExceptionCaught, events)) {
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200454 std::list<InstrumentationListener*>* modified;
455 if (have_exception_caught_listeners_) {
456 modified = new std::list<InstrumentationListener*>(*exception_caught_listeners_.get());
457 } else {
458 modified = new std::list<InstrumentationListener*>();
459 }
460 modified->push_back(listener);
461 exception_caught_listeners_.reset(modified);
Jeff Hao14dd5a82013-04-11 10:23:36 -0700462 have_exception_caught_listeners_ = true;
463 }
Sebastien Hertzee1997a2013-09-19 14:47:09 +0200464 UpdateInterpreterHandlerTable();
jeffhao725a9572012-11-13 18:20:12 -0800465}
466
Ian Rogers62d6c772013-02-27 08:32:07 -0800467void Instrumentation::RemoveListener(InstrumentationListener* listener, uint32_t events) {
468 Locks::mutator_lock_->AssertExclusiveHeld(Thread::Current());
Ian Rogers62d6c772013-02-27 08:32:07 -0800469
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200470 if (HasEvent(kMethodEntered, events) && have_method_entry_listeners_) {
471 method_entry_listeners_.remove(listener);
472 have_method_entry_listeners_ = !method_entry_listeners_.empty();
Ian Rogers62d6c772013-02-27 08:32:07 -0800473 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200474 if (HasEvent(kMethodExited, events) && have_method_exit_listeners_) {
475 method_exit_listeners_.remove(listener);
476 have_method_exit_listeners_ = !method_exit_listeners_.empty();
Ian Rogers62d6c772013-02-27 08:32:07 -0800477 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200478 if (HasEvent(kMethodUnwind, events) && have_method_unwind_listeners_) {
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100479 method_unwind_listeners_.remove(listener);
480 have_method_unwind_listeners_ = !method_unwind_listeners_.empty();
Ian Rogers62d6c772013-02-27 08:32:07 -0800481 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200482 if (HasEvent(kBackwardBranch, events) && have_backward_branch_listeners_) {
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100483 backward_branch_listeners_.remove(listener);
484 have_backward_branch_listeners_ = !backward_branch_listeners_.empty();
485 }
486 if (HasEvent(kInvokeVirtualOrInterface, events) && have_invoke_virtual_or_interface_listeners_) {
487 invoke_virtual_or_interface_listeners_.remove(listener);
488 have_invoke_virtual_or_interface_listeners_ = !invoke_virtual_or_interface_listeners_.empty();
489 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200490 if (HasEvent(kDexPcMoved, events) && have_dex_pc_listeners_) {
491 std::list<InstrumentationListener*>* modified =
492 new std::list<InstrumentationListener*>(*dex_pc_listeners_.get());
493 modified->remove(listener);
494 have_dex_pc_listeners_ = !modified->empty();
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200495 if (have_dex_pc_listeners_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200496 dex_pc_listeners_.reset(modified);
497 } else {
498 dex_pc_listeners_.reset();
499 delete modified;
Ian Rogers62d6c772013-02-27 08:32:07 -0800500 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800501 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200502 if (HasEvent(kFieldRead, events) && have_field_read_listeners_) {
503 std::list<InstrumentationListener*>* modified =
504 new std::list<InstrumentationListener*>(*field_read_listeners_.get());
505 modified->remove(listener);
506 have_field_read_listeners_ = !modified->empty();
Daniel Mihalyi66445212014-08-21 15:57:25 +0200507 if (have_field_read_listeners_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200508 field_read_listeners_.reset(modified);
509 } else {
510 field_read_listeners_.reset();
511 delete modified;
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200512 }
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200513 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200514 if (HasEvent(kFieldWritten, events) && have_field_write_listeners_) {
515 std::list<InstrumentationListener*>* modified =
516 new std::list<InstrumentationListener*>(*field_write_listeners_.get());
517 modified->remove(listener);
518 have_field_write_listeners_ = !modified->empty();
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200519 if (have_field_write_listeners_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200520 field_write_listeners_.reset(modified);
521 } else {
522 field_write_listeners_.reset();
523 delete modified;
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200524 }
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200525 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200526 if (HasEvent(kExceptionCaught, events) && have_exception_caught_listeners_) {
527 std::list<InstrumentationListener*>* modified =
528 new std::list<InstrumentationListener*>(*exception_caught_listeners_.get());
529 modified->remove(listener);
530 have_exception_caught_listeners_ = !modified->empty();
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200531 if (have_exception_caught_listeners_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200532 exception_caught_listeners_.reset(modified);
533 } else {
534 exception_caught_listeners_.reset();
535 delete modified;
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200536 }
Jeff Hao14dd5a82013-04-11 10:23:36 -0700537 }
Sebastien Hertzee1997a2013-09-19 14:47:09 +0200538 UpdateInterpreterHandlerTable();
jeffhao725a9572012-11-13 18:20:12 -0800539}
540
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200541Instrumentation::InstrumentationLevel Instrumentation::GetCurrentInstrumentationLevel() const {
Ian Rogers62d6c772013-02-27 08:32:07 -0800542 if (interpreter_stubs_installed_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200543 return InstrumentationLevel::kInstrumentWithInterpreter;
Ian Rogers62d6c772013-02-27 08:32:07 -0800544 } else if (entry_exit_stubs_installed_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200545 return InstrumentationLevel::kInstrumentWithInstrumentationStubs;
Ian Rogers62d6c772013-02-27 08:32:07 -0800546 } else {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200547 return InstrumentationLevel::kInstrumentNothing;
Ian Rogers62d6c772013-02-27 08:32:07 -0800548 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200549}
550
551void Instrumentation::ConfigureStubs(const char* key, InstrumentationLevel desired_level) {
552 // Store the instrumentation level for this key or remove it.
553 if (desired_level == InstrumentationLevel::kInstrumentNothing) {
554 // The client no longer needs instrumentation.
555 requested_instrumentation_levels_.erase(key);
556 } else {
557 // The client needs instrumentation.
558 requested_instrumentation_levels_.Overwrite(key, desired_level);
559 }
560
561 // Look for the highest required instrumentation level.
562 InstrumentationLevel requested_level = InstrumentationLevel::kInstrumentNothing;
563 for (const auto& v : requested_instrumentation_levels_) {
564 requested_level = std::max(requested_level, v.second);
565 }
566
567 interpret_only_ = (requested_level == InstrumentationLevel::kInstrumentWithInterpreter) ||
568 forced_interpret_only_;
569
570 InstrumentationLevel current_level = GetCurrentInstrumentationLevel();
571 if (requested_level == current_level) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800572 // We're already set.
573 return;
574 }
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100575 Thread* const self = Thread::Current();
Ian Rogers62d6c772013-02-27 08:32:07 -0800576 Runtime* runtime = Runtime::Current();
Sebastien Hertza8a697f2015-01-15 12:28:47 +0100577 Locks::mutator_lock_->AssertExclusiveHeld(self);
Ian Rogers62d6c772013-02-27 08:32:07 -0800578 Locks::thread_list_lock_->AssertNotHeld(self);
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200579 if (requested_level > InstrumentationLevel::kInstrumentNothing) {
580 if (requested_level == InstrumentationLevel::kInstrumentWithInterpreter) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800581 interpreter_stubs_installed_ = true;
Ian Rogers62d6c772013-02-27 08:32:07 -0800582 entry_exit_stubs_installed_ = true;
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200583 } else {
584 CHECK_EQ(requested_level, InstrumentationLevel::kInstrumentWithInstrumentationStubs);
585 entry_exit_stubs_installed_ = true;
586 interpreter_stubs_installed_ = false;
Ian Rogers62d6c772013-02-27 08:32:07 -0800587 }
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700588 InstallStubsClassVisitor visitor(this);
589 runtime->GetClassLinker()->VisitClasses(&visitor);
Ian Rogers62d6c772013-02-27 08:32:07 -0800590 instrumentation_stubs_installed_ = true;
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100591 MutexLock mu(self, *Locks::thread_list_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800592 runtime->GetThreadList()->ForEach(InstrumentationInstallStack, this);
593 } else {
594 interpreter_stubs_installed_ = false;
595 entry_exit_stubs_installed_ = false;
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700596 InstallStubsClassVisitor visitor(this);
597 runtime->GetClassLinker()->VisitClasses(&visitor);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100598 // Restore stack only if there is no method currently deoptimized.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700599 bool empty;
600 {
601 ReaderMutexLock mu(self, deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700602 empty = IsDeoptimizedMethodsEmpty(); // Avoid lock violation.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700603 }
604 if (empty) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100605 instrumentation_stubs_installed_ = false;
606 MutexLock mu(self, *Locks::thread_list_lock_);
607 Runtime::Current()->GetThreadList()->ForEach(InstrumentationRestoreStack, this);
608 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800609 }
jeffhao725a9572012-11-13 18:20:12 -0800610}
611
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200612static void ResetQuickAllocEntryPointsForThread(Thread* thread, void* arg ATTRIBUTE_UNUSED) {
Ian Rogersfa824272013-11-05 16:12:57 -0800613 thread->ResetQuickAllocEntryPointsForThread();
614}
615
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700616void Instrumentation::SetEntrypointsInstrumented(bool instrumented) {
617 Thread* self = Thread::Current();
Mathieu Chartier661974a2014-01-09 11:23:53 -0800618 Runtime* runtime = Runtime::Current();
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700619 Locks::mutator_lock_->AssertNotHeld(self);
620 Locks::instrument_entrypoints_lock_->AssertHeld(self);
621 if (runtime->IsStarted()) {
Mathieu Chartier4f55e222015-09-04 13:26:21 -0700622 ScopedSuspendAll ssa(__FUNCTION__);
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700623 MutexLock mu(self, *Locks::runtime_shutdown_lock_);
Mathieu Chartier661974a2014-01-09 11:23:53 -0800624 SetQuickAllocEntryPointsInstrumented(instrumented);
625 ResetQuickAllocEntryPoints();
Mathieu Chartier4f55e222015-09-04 13:26:21 -0700626 } else {
627 MutexLock mu(self, *Locks::runtime_shutdown_lock_);
628 SetQuickAllocEntryPointsInstrumented(instrumented);
629 ResetQuickAllocEntryPoints();
Mathieu Chartier661974a2014-01-09 11:23:53 -0800630 }
631}
632
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700633void Instrumentation::InstrumentQuickAllocEntryPoints() {
634 MutexLock mu(Thread::Current(), *Locks::instrument_entrypoints_lock_);
635 InstrumentQuickAllocEntryPointsLocked();
Ian Rogersfa824272013-11-05 16:12:57 -0800636}
637
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700638void Instrumentation::UninstrumentQuickAllocEntryPoints() {
639 MutexLock mu(Thread::Current(), *Locks::instrument_entrypoints_lock_);
640 UninstrumentQuickAllocEntryPointsLocked();
641}
642
643void Instrumentation::InstrumentQuickAllocEntryPointsLocked() {
644 Locks::instrument_entrypoints_lock_->AssertHeld(Thread::Current());
645 if (quick_alloc_entry_points_instrumentation_counter_ == 0) {
646 SetEntrypointsInstrumented(true);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800647 }
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700648 ++quick_alloc_entry_points_instrumentation_counter_;
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700649}
650
651void Instrumentation::UninstrumentQuickAllocEntryPointsLocked() {
652 Locks::instrument_entrypoints_lock_->AssertHeld(Thread::Current());
653 CHECK_GT(quick_alloc_entry_points_instrumentation_counter_, 0U);
654 --quick_alloc_entry_points_instrumentation_counter_;
655 if (quick_alloc_entry_points_instrumentation_counter_ == 0) {
656 SetEntrypointsInstrumented(false);
657 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800658}
659
660void Instrumentation::ResetQuickAllocEntryPoints() {
661 Runtime* runtime = Runtime::Current();
662 if (runtime->IsStarted()) {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800663 MutexLock mu(Thread::Current(), *Locks::thread_list_lock_);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700664 runtime->GetThreadList()->ForEach(ResetQuickAllocEntryPointsForThread, nullptr);
Ian Rogersfa824272013-11-05 16:12:57 -0800665 }
666}
667
Mathieu Chartiere401d142015-04-22 13:56:20 -0700668void Instrumentation::UpdateMethodsCode(ArtMethod* method, const void* quick_code) {
Sebastien Hertza8a697f2015-01-15 12:28:47 +0100669 DCHECK(method->GetDeclaringClass()->IsResolved());
Ian Rogersef7d42f2014-01-06 12:55:46 -0800670 const void* new_quick_code;
Ian Rogers62d6c772013-02-27 08:32:07 -0800671 if (LIKELY(!instrumentation_stubs_installed_)) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800672 new_quick_code = quick_code;
Jeff Hao65d15d92013-07-16 16:39:33 -0700673 } else {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100674 if ((interpreter_stubs_installed_ || IsDeoptimized(method)) && !method->IsNative()) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800675 new_quick_code = GetQuickToInterpreterBridge();
Jeff Hao65d15d92013-07-16 16:39:33 -0700676 } else {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700677 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700678 if (class_linker->IsQuickResolutionStub(quick_code) ||
679 class_linker->IsQuickToInterpreterBridge(quick_code)) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700680 new_quick_code = quick_code;
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700681 } else if (entry_exit_stubs_installed_) {
682 new_quick_code = GetQuickInstrumentationEntryPoint();
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700683 } else {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700684 new_quick_code = quick_code;
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700685 }
Jeff Hao65d15d92013-07-16 16:39:33 -0700686 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800687 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800688 UpdateEntrypoints(method, new_quick_code);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100689}
690
Mathieu Chartiere401d142015-04-22 13:56:20 -0700691bool Instrumentation::AddDeoptimizedMethod(ArtMethod* method) {
692 if (IsDeoptimizedMethod(method)) {
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700693 // Already in the map. Return.
694 return false;
695 }
696 // Not found. Add it.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700697 deoptimized_methods_.insert(method);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700698 return true;
699}
700
Mathieu Chartiere401d142015-04-22 13:56:20 -0700701bool Instrumentation::IsDeoptimizedMethod(ArtMethod* method) {
702 return deoptimized_methods_.find(method) != deoptimized_methods_.end();
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700703}
704
Mathieu Chartiere401d142015-04-22 13:56:20 -0700705ArtMethod* Instrumentation::BeginDeoptimizedMethod() {
706 if (deoptimized_methods_.empty()) {
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700707 // Empty.
708 return nullptr;
709 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700710 return *deoptimized_methods_.begin();
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700711}
712
Mathieu Chartiere401d142015-04-22 13:56:20 -0700713bool Instrumentation::RemoveDeoptimizedMethod(ArtMethod* method) {
714 auto it = deoptimized_methods_.find(method);
715 if (it == deoptimized_methods_.end()) {
716 return false;
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700717 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700718 deoptimized_methods_.erase(it);
719 return true;
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700720}
721
722bool Instrumentation::IsDeoptimizedMethodsEmpty() const {
723 return deoptimized_methods_.empty();
724}
725
Mathieu Chartiere401d142015-04-22 13:56:20 -0700726void Instrumentation::Deoptimize(ArtMethod* method) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100727 CHECK(!method->IsNative());
728 CHECK(!method->IsProxyMethod());
729 CHECK(!method->IsAbstract());
730
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700731 Thread* self = Thread::Current();
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700732 {
733 WriterMutexLock mu(self, deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700734 bool has_not_been_deoptimized = AddDeoptimizedMethod(method);
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200735 CHECK(has_not_been_deoptimized) << "Method " << PrettyMethod(method)
736 << " is already deoptimized";
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700737 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100738 if (!interpreter_stubs_installed_) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800739 UpdateEntrypoints(method, GetQuickInstrumentationEntryPoint());
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100740
741 // Install instrumentation exit stub and instrumentation frames. We may already have installed
742 // these previously so it will only cover the newly created frames.
743 instrumentation_stubs_installed_ = true;
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700744 MutexLock mu(self, *Locks::thread_list_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100745 Runtime::Current()->GetThreadList()->ForEach(InstrumentationInstallStack, this);
746 }
747}
748
Mathieu Chartiere401d142015-04-22 13:56:20 -0700749void Instrumentation::Undeoptimize(ArtMethod* method) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100750 CHECK(!method->IsNative());
751 CHECK(!method->IsProxyMethod());
752 CHECK(!method->IsAbstract());
753
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700754 Thread* self = Thread::Current();
755 bool empty;
756 {
757 WriterMutexLock mu(self, deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700758 bool found_and_erased = RemoveDeoptimizedMethod(method);
759 CHECK(found_and_erased) << "Method " << PrettyMethod(method)
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700760 << " is not deoptimized";
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700761 empty = IsDeoptimizedMethodsEmpty();
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700762 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100763
764 // Restore code and possibly stack only if we did not deoptimize everything.
765 if (!interpreter_stubs_installed_) {
766 // Restore its code or resolution trampoline.
767 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogersef7d42f2014-01-06 12:55:46 -0800768 if (method->IsStatic() && !method->IsConstructor() &&
769 !method->GetDeclaringClass()->IsInitialized()) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800770 UpdateEntrypoints(method, GetQuickResolutionStub());
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100771 } else {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800772 const void* quick_code = class_linker->GetQuickOatCodeFor(method);
Elliott Hughes956af0f2014-12-11 14:34:28 -0800773 UpdateEntrypoints(method, quick_code);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100774 }
775
776 // If there is no deoptimized method left, we can restore the stack of each thread.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700777 if (empty) {
778 MutexLock mu(self, *Locks::thread_list_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100779 Runtime::Current()->GetThreadList()->ForEach(InstrumentationRestoreStack, this);
780 instrumentation_stubs_installed_ = false;
781 }
782 }
783}
784
Mathieu Chartiere401d142015-04-22 13:56:20 -0700785bool Instrumentation::IsDeoptimized(ArtMethod* method) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100786 DCHECK(method != nullptr);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700787 ReaderMutexLock mu(Thread::Current(), deoptimized_methods_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700788 return IsDeoptimizedMethod(method);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100789}
790
791void Instrumentation::EnableDeoptimization() {
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700792 ReaderMutexLock mu(Thread::Current(), deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700793 CHECK(IsDeoptimizedMethodsEmpty());
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100794 CHECK_EQ(deoptimization_enabled_, false);
795 deoptimization_enabled_ = true;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100796}
797
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200798void Instrumentation::DisableDeoptimization(const char* key) {
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100799 CHECK_EQ(deoptimization_enabled_, true);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100800 // If we deoptimized everything, undo it.
801 if (interpreter_stubs_installed_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200802 UndeoptimizeEverything(key);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100803 }
804 // Undeoptimized selected methods.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700805 while (true) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700806 ArtMethod* method;
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700807 {
808 ReaderMutexLock mu(Thread::Current(), deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700809 if (IsDeoptimizedMethodsEmpty()) {
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700810 break;
811 }
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700812 method = BeginDeoptimizedMethod();
813 CHECK(method != nullptr);
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700814 }
815 Undeoptimize(method);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100816 }
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100817 deoptimization_enabled_ = false;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100818}
819
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100820// Indicates if instrumentation should notify method enter/exit events to the listeners.
821bool Instrumentation::ShouldNotifyMethodEnterExitEvents() const {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200822 if (!HasMethodEntryListeners() && !HasMethodExitListeners()) {
823 return false;
824 }
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100825 return !deoptimization_enabled_ && !interpreter_stubs_installed_;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100826}
827
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200828void Instrumentation::DeoptimizeEverything(const char* key) {
829 CHECK(deoptimization_enabled_);
830 ConfigureStubs(key, InstrumentationLevel::kInstrumentWithInterpreter);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100831}
832
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200833void Instrumentation::UndeoptimizeEverything(const char* key) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100834 CHECK(interpreter_stubs_installed_);
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200835 CHECK(deoptimization_enabled_);
836 ConfigureStubs(key, InstrumentationLevel::kInstrumentNothing);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100837}
838
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200839void Instrumentation::EnableMethodTracing(const char* key, bool needs_interpreter) {
840 InstrumentationLevel level;
841 if (needs_interpreter) {
842 level = InstrumentationLevel::kInstrumentWithInterpreter;
843 } else {
844 level = InstrumentationLevel::kInstrumentWithInstrumentationStubs;
845 }
846 ConfigureStubs(key, level);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100847}
848
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200849void Instrumentation::DisableMethodTracing(const char* key) {
850 ConfigureStubs(key, InstrumentationLevel::kInstrumentNothing);
jeffhao725a9572012-11-13 18:20:12 -0800851}
852
Mathieu Chartiere401d142015-04-22 13:56:20 -0700853const void* Instrumentation::GetQuickCodeFor(ArtMethod* method, size_t pointer_size) const {
Ian Rogers62d6c772013-02-27 08:32:07 -0800854 Runtime* runtime = Runtime::Current();
855 if (LIKELY(!instrumentation_stubs_installed_)) {
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800856 const void* code = method->GetEntryPointFromQuickCompiledCodePtrSize(pointer_size);
Vladimir Marko8a630572014-04-09 18:45:35 +0100857 DCHECK(code != nullptr);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700858 ClassLinker* class_linker = runtime->GetClassLinker();
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700859 if (LIKELY(!class_linker->IsQuickResolutionStub(code) &&
860 !class_linker->IsQuickToInterpreterBridge(code)) &&
861 !class_linker->IsQuickResolutionStub(code) &&
862 !class_linker->IsQuickToInterpreterBridge(code)) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800863 return code;
864 }
865 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800866 return runtime->GetClassLinker()->GetQuickOatCodeFor(method);
jeffhao725a9572012-11-13 18:20:12 -0800867}
868
Ian Rogers62d6c772013-02-27 08:32:07 -0800869void Instrumentation::MethodEnterEventImpl(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700870 ArtMethod* method,
Ian Rogers62d6c772013-02-27 08:32:07 -0800871 uint32_t dex_pc) const {
Mathieu Chartier02e25112013-08-14 16:14:24 -0700872 auto it = method_entry_listeners_.begin();
Jeff Hao65d15d92013-07-16 16:39:33 -0700873 bool is_end = (it == method_entry_listeners_.end());
874 // Implemented this way to prevent problems caused by modification of the list while iterating.
875 while (!is_end) {
876 InstrumentationListener* cur = *it;
877 ++it;
878 is_end = (it == method_entry_listeners_.end());
879 cur->MethodEntered(thread, this_object, method, dex_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -0800880 }
881}
882
883void Instrumentation::MethodExitEventImpl(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700884 ArtMethod* method,
Ian Rogers62d6c772013-02-27 08:32:07 -0800885 uint32_t dex_pc, const JValue& return_value) const {
Mathieu Chartier02e25112013-08-14 16:14:24 -0700886 auto it = method_exit_listeners_.begin();
Jeff Hao65d15d92013-07-16 16:39:33 -0700887 bool is_end = (it == method_exit_listeners_.end());
888 // Implemented this way to prevent problems caused by modification of the list while iterating.
889 while (!is_end) {
890 InstrumentationListener* cur = *it;
891 ++it;
892 is_end = (it == method_exit_listeners_.end());
893 cur->MethodExited(thread, this_object, method, dex_pc, return_value);
Ian Rogers62d6c772013-02-27 08:32:07 -0800894 }
895}
896
897void Instrumentation::MethodUnwindEvent(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700898 ArtMethod* method,
Ian Rogers62d6c772013-02-27 08:32:07 -0800899 uint32_t dex_pc) const {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200900 if (HasMethodUnwindListeners()) {
Mathieu Chartier02e25112013-08-14 16:14:24 -0700901 for (InstrumentationListener* listener : method_unwind_listeners_) {
Sebastien Hertz51db44a2013-11-19 10:00:29 +0100902 listener->MethodUnwind(thread, this_object, method, dex_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -0800903 }
904 }
905}
906
907void Instrumentation::DexPcMovedEventImpl(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700908 ArtMethod* method,
Ian Rogers62d6c772013-02-27 08:32:07 -0800909 uint32_t dex_pc) const {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200910 std::shared_ptr<std::list<InstrumentationListener*>> original(dex_pc_listeners_);
911 for (InstrumentationListener* listener : *original.get()) {
912 listener->DexPcMoved(thread, this_object, method, dex_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -0800913 }
914}
915
Mathieu Chartiere401d142015-04-22 13:56:20 -0700916void Instrumentation::BackwardBranchImpl(Thread* thread, ArtMethod* method,
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800917 int32_t offset) const {
918 for (InstrumentationListener* listener : backward_branch_listeners_) {
919 listener->BackwardBranch(thread, method, offset);
920 }
921}
922
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100923void Instrumentation::InvokeVirtualOrInterfaceImpl(Thread* thread,
924 mirror::Object* this_object,
925 ArtMethod* caller,
926 uint32_t dex_pc,
927 ArtMethod* callee) const {
928 for (InstrumentationListener* listener : invoke_virtual_or_interface_listeners_) {
929 listener->InvokeVirtualOrInterface(thread, this_object, caller, dex_pc, callee);
930 }
931}
932
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200933void Instrumentation::FieldReadEventImpl(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700934 ArtMethod* method, uint32_t dex_pc,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700935 ArtField* field) const {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200936 std::shared_ptr<std::list<InstrumentationListener*>> original(field_read_listeners_);
937 for (InstrumentationListener* listener : *original.get()) {
938 listener->FieldRead(thread, this_object, method, dex_pc, field);
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200939 }
940}
941
942void Instrumentation::FieldWriteEventImpl(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700943 ArtMethod* method, uint32_t dex_pc,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700944 ArtField* field, const JValue& field_value) const {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200945 std::shared_ptr<std::list<InstrumentationListener*>> original(field_write_listeners_);
946 for (InstrumentationListener* listener : *original.get()) {
947 listener->FieldWritten(thread, this_object, method, dex_pc, field, field_value);
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200948 }
949}
950
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000951void Instrumentation::ExceptionCaughtEvent(Thread* thread,
Sebastien Hertz947ff082013-09-17 14:10:13 +0200952 mirror::Throwable* exception_object) const {
Sebastien Hertz9f102032014-05-23 08:59:42 +0200953 if (HasExceptionCaughtListeners()) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000954 DCHECK_EQ(thread->GetException(), exception_object);
Jeff Haoc0bd4da2013-04-11 15:52:28 -0700955 thread->ClearException();
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200956 std::shared_ptr<std::list<InstrumentationListener*>> original(exception_caught_listeners_);
957 for (InstrumentationListener* listener : *original.get()) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000958 listener->ExceptionCaught(thread, exception_object);
Ian Rogers62d6c772013-02-27 08:32:07 -0800959 }
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000960 thread->SetException(exception_object);
Ian Rogers62d6c772013-02-27 08:32:07 -0800961 }
962}
963
Sebastien Hertzb2feaaf2015-10-12 13:40:10 +0000964// Computes a frame ID by ignoring inlined frames.
965size_t Instrumentation::ComputeFrameId(Thread* self,
966 size_t frame_depth,
967 size_t inlined_frames_before_frame) {
968 CHECK_GE(frame_depth, inlined_frames_before_frame);
969 size_t no_inline_depth = frame_depth - inlined_frames_before_frame;
970 return StackVisitor::ComputeNumFrames(self, kInstrumentationStackWalk) - no_inline_depth;
971}
972
Ian Rogers62d6c772013-02-27 08:32:07 -0800973static void CheckStackDepth(Thread* self, const InstrumentationStackFrame& instrumentation_frame,
974 int delta)
Mathieu Chartier90443472015-07-16 20:32:27 -0700975 SHARED_REQUIRES(Locks::mutator_lock_) {
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100976 size_t frame_id = StackVisitor::ComputeNumFrames(self, kInstrumentationStackWalk) + delta;
Ian Rogers62d6c772013-02-27 08:32:07 -0800977 if (frame_id != instrumentation_frame.frame_id_) {
978 LOG(ERROR) << "Expected frame_id=" << frame_id << " but found "
979 << instrumentation_frame.frame_id_;
980 StackVisitor::DescribeStack(self);
981 CHECK_EQ(frame_id, instrumentation_frame.frame_id_);
982 }
983}
984
985void Instrumentation::PushInstrumentationStackFrame(Thread* self, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700986 ArtMethod* method,
Jeff Hao9a916d32013-06-27 18:45:37 -0700987 uintptr_t lr, bool interpreter_entry) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800988 // We have a callee-save frame meaning this value is guaranteed to never be 0.
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100989 size_t frame_id = StackVisitor::ComputeNumFrames(self, kInstrumentationStackWalk);
Ian Rogers62d6c772013-02-27 08:32:07 -0800990 std::deque<instrumentation::InstrumentationStackFrame>* stack = self->GetInstrumentationStack();
991 if (kVerboseInstrumentation) {
Brian Carlstrom2d888622013-07-18 17:02:00 -0700992 LOG(INFO) << "Entering " << PrettyMethod(method) << " from PC " << reinterpret_cast<void*>(lr);
Ian Rogers62d6c772013-02-27 08:32:07 -0800993 }
994 instrumentation::InstrumentationStackFrame instrumentation_frame(this_object, method, lr,
Jeff Hao9a916d32013-06-27 18:45:37 -0700995 frame_id, interpreter_entry);
Ian Rogers62d6c772013-02-27 08:32:07 -0800996 stack->push_front(instrumentation_frame);
997
Sebastien Hertz320deb22014-06-11 19:45:05 +0200998 if (!interpreter_entry) {
999 MethodEnterEvent(self, this_object, method, 0);
1000 }
Ian Rogers62d6c772013-02-27 08:32:07 -08001001}
1002
Andreas Gamped58342c2014-06-05 14:18:08 -07001003TwoWordReturn Instrumentation::PopInstrumentationStackFrame(Thread* self, uintptr_t* return_pc,
1004 uint64_t gpr_result,
1005 uint64_t fpr_result) {
Ian Rogers62d6c772013-02-27 08:32:07 -08001006 // Do the pop.
1007 std::deque<instrumentation::InstrumentationStackFrame>* stack = self->GetInstrumentationStack();
1008 CHECK_GT(stack->size(), 0U);
1009 InstrumentationStackFrame instrumentation_frame = stack->front();
1010 stack->pop_front();
1011
1012 // Set return PC and check the sanity of the stack.
1013 *return_pc = instrumentation_frame.return_pc_;
1014 CheckStackDepth(self, instrumentation_frame, 0);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001015 self->VerifyStack();
Ian Rogers62d6c772013-02-27 08:32:07 -08001016
Mathieu Chartiere401d142015-04-22 13:56:20 -07001017 ArtMethod* method = instrumentation_frame.method_;
Mathieu Chartierbfd9a432014-05-21 17:43:44 -07001018 uint32_t length;
Mingyao Yang99170c62015-07-06 11:10:37 -07001019 const size_t pointer_size = Runtime::Current()->GetClassLinker()->GetImagePointerSize();
1020 char return_shorty = method->GetInterfaceMethodIfProxy(pointer_size)->GetShorty(&length)[0];
Ian Rogers62d6c772013-02-27 08:32:07 -08001021 JValue return_value;
1022 if (return_shorty == 'V') {
1023 return_value.SetJ(0);
1024 } else if (return_shorty == 'F' || return_shorty == 'D') {
1025 return_value.SetJ(fpr_result);
1026 } else {
1027 return_value.SetJ(gpr_result);
1028 }
1029 // TODO: improve the dex pc information here, requires knowledge of current PC as opposed to
1030 // return_pc.
1031 uint32_t dex_pc = DexFile::kDexNoIndex;
1032 mirror::Object* this_object = instrumentation_frame.this_object_;
Sebastien Hertz320deb22014-06-11 19:45:05 +02001033 if (!instrumentation_frame.interpreter_entry_) {
1034 MethodExitEvent(self, this_object, instrumentation_frame.method_, dex_pc, return_value);
1035 }
jeffhao725a9572012-11-13 18:20:12 -08001036
Sebastien Hertz138dbfc2013-12-04 18:15:25 +01001037 // Deoptimize if the caller needs to continue execution in the interpreter. Do nothing if we get
1038 // back to an upcall.
1039 NthCallerVisitor visitor(self, 1, true);
1040 visitor.WalkStack(true);
Sebastien Hertz270a0e12015-01-16 19:49:09 +01001041 bool deoptimize = (visitor.caller != nullptr) &&
Daniel Mihalyieb076692014-08-22 17:33:31 +02001042 (interpreter_stubs_installed_ || IsDeoptimized(visitor.caller) ||
1043 Dbg::IsForcedInterpreterNeededForUpcall(self, visitor.caller));
Ian Rogers62d6c772013-02-27 08:32:07 -08001044 if (deoptimize) {
1045 if (kVerboseInstrumentation) {
Sebastien Hertz270a0e12015-01-16 19:49:09 +01001046 LOG(INFO) << StringPrintf("Deoptimizing %s by returning from %s with result %#" PRIx64 " in ",
1047 PrettyMethod(visitor.caller).c_str(),
1048 PrettyMethod(method).c_str(),
1049 return_value.GetJ()) << *self;
Ian Rogers62d6c772013-02-27 08:32:07 -08001050 }
Sebastien Hertz07474662015-08-25 15:12:33 +00001051 self->PushDeoptimizationContext(return_value, return_shorty == 'L',
1052 nullptr /* no pending exception */);
Andreas Gamped58342c2014-06-05 14:18:08 -07001053 return GetTwoWordSuccessValue(*return_pc,
1054 reinterpret_cast<uintptr_t>(GetQuickDeoptimizationEntryPoint()));
Ian Rogers62d6c772013-02-27 08:32:07 -08001055 } else {
1056 if (kVerboseInstrumentation) {
Brian Carlstrom2d888622013-07-18 17:02:00 -07001057 LOG(INFO) << "Returning from " << PrettyMethod(method)
1058 << " to PC " << reinterpret_cast<void*>(*return_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -08001059 }
Andreas Gamped58342c2014-06-05 14:18:08 -07001060 return GetTwoWordSuccessValue(0, *return_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -08001061 }
jeffhao725a9572012-11-13 18:20:12 -08001062}
1063
Ian Rogers62d6c772013-02-27 08:32:07 -08001064void Instrumentation::PopMethodForUnwind(Thread* self, bool is_deoptimization) const {
1065 // Do the pop.
1066 std::deque<instrumentation::InstrumentationStackFrame>* stack = self->GetInstrumentationStack();
1067 CHECK_GT(stack->size(), 0U);
1068 InstrumentationStackFrame instrumentation_frame = stack->front();
1069 // TODO: bring back CheckStackDepth(self, instrumentation_frame, 2);
1070 stack->pop_front();
1071
Mathieu Chartiere401d142015-04-22 13:56:20 -07001072 ArtMethod* method = instrumentation_frame.method_;
Ian Rogers62d6c772013-02-27 08:32:07 -08001073 if (is_deoptimization) {
1074 if (kVerboseInstrumentation) {
1075 LOG(INFO) << "Popping for deoptimization " << PrettyMethod(method);
1076 }
1077 } else {
1078 if (kVerboseInstrumentation) {
1079 LOG(INFO) << "Popping for unwind " << PrettyMethod(method);
1080 }
1081
1082 // Notify listeners of method unwind.
1083 // TODO: improve the dex pc information here, requires knowledge of current PC as opposed to
1084 // return_pc.
1085 uint32_t dex_pc = DexFile::kDexNoIndex;
1086 MethodUnwindEvent(self, instrumentation_frame.this_object_, method, dex_pc);
1087 }
1088}
1089
1090std::string InstrumentationStackFrame::Dump() const {
1091 std::ostringstream os;
1092 os << "Frame " << frame_id_ << " " << PrettyMethod(method_) << ":"
1093 << reinterpret_cast<void*>(return_pc_) << " this=" << reinterpret_cast<void*>(this_object_);
1094 return os.str();
1095}
1096
1097} // namespace instrumentation
jeffhao725a9572012-11-13 18:20:12 -08001098} // namespace art