blob: 4ced23d488e8e25b5d7ccde9f79e14bad59b8e27 [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"
Mathieu Chartiere401d142015-04-22 13:56:20 -070022#include "art_method-inl.h"
Ian Rogersef7d42f2014-01-06 12:55:46 -080023#include "atomic.h"
jeffhao725a9572012-11-13 18:20:12 -080024#include "class_linker.h"
25#include "debugger.h"
Ian Rogers62d6c772013-02-27 08:32:07 -080026#include "dex_file-inl.h"
Ian Rogersc7dd2952014-10-21 23:31:19 -070027#include "entrypoints/quick/quick_entrypoints.h"
Mathieu Chartierd8891782014-03-02 13:28:37 -080028#include "entrypoints/quick/quick_alloc_entrypoints.h"
Ian Rogers6f3dbba2014-10-14 17:41:57 -070029#include "entrypoints/runtime_asm_entrypoints.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070030#include "gc_root-inl.h"
Sebastien Hertz138dbfc2013-12-04 18:15:25 +010031#include "interpreter/interpreter.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080032#include "jit/jit.h"
33#include "jit/jit_code_cache.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080034#include "mirror/class-inl.h"
35#include "mirror/dex_cache.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080036#include "mirror/object_array-inl.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070037#include "mirror/object-inl.h"
Ian Rogers62d6c772013-02-27 08:32:07 -080038#include "nth_caller_visitor.h"
jeffhao725a9572012-11-13 18:20:12 -080039#include "thread.h"
40#include "thread_list.h"
jeffhao725a9572012-11-13 18:20:12 -080041
42namespace art {
Ian Rogers62d6c772013-02-27 08:32:07 -080043namespace instrumentation {
jeffhao725a9572012-11-13 18:20:12 -080044
Sebastien Hertz0462c4c2015-04-01 16:34:17 +020045constexpr bool kVerboseInstrumentation = false;
Sebastien Hertz5bfd5c92013-11-15 11:36:07 +010046
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +010047// Instrumentation works on non-inlined frames by updating returned PCs
48// of compiled frames.
49static constexpr StackVisitor::StackWalkKind kInstrumentationStackWalk =
50 StackVisitor::StackWalkKind::kSkipInlinedFrames;
51
Ian Rogers62d6c772013-02-27 08:32:07 -080052static bool InstallStubsClassVisitor(mirror::Class* klass, void* arg)
Sebastien Hertza8a697f2015-01-15 12:28:47 +010053 EXCLUSIVE_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers62d6c772013-02-27 08:32:07 -080054 Instrumentation* instrumentation = reinterpret_cast<Instrumentation*>(arg);
Sebastien Hertza10aa372015-01-21 17:30:58 +010055 instrumentation->InstallStubsForClass(klass);
56 return true; // we visit all classes.
Ian Rogers62d6c772013-02-27 08:32:07 -080057}
58
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -070059Instrumentation::Instrumentation()
60 : instrumentation_stubs_installed_(false), entry_exit_stubs_installed_(false),
61 interpreter_stubs_installed_(false),
62 interpret_only_(false), forced_interpret_only_(false),
63 have_method_entry_listeners_(false), have_method_exit_listeners_(false),
64 have_method_unwind_listeners_(false), have_dex_pc_listeners_(false),
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +020065 have_field_read_listeners_(false), have_field_write_listeners_(false),
Sebastien Hertz0462c4c2015-04-01 16:34:17 +020066 have_exception_caught_listeners_(false), have_backward_branch_listeners_(false),
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -070067 deoptimized_methods_lock_("deoptimized methods lock"),
68 deoptimization_enabled_(false),
69 interpreter_handler_table_(kMainHandlerTable),
70 quick_alloc_entry_points_instrumentation_counter_(0) {
71}
72
Sebastien Hertza10aa372015-01-21 17:30:58 +010073void Instrumentation::InstallStubsForClass(mirror::Class* klass) {
Sebastien Hertza8a697f2015-01-15 12:28:47 +010074 if (klass->IsErroneous()) {
75 // We can't execute code in a erroneous class: do nothing.
76 } else if (!klass->IsResolved()) {
77 // We need the class to be resolved to install/uninstall stubs. Otherwise its methods
78 // could not be initialized or linked with regards to class inheritance.
79 } else {
80 for (size_t i = 0, e = klass->NumDirectMethods(); i < e; i++) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070081 InstallStubsForMethod(klass->GetDirectMethod(i, sizeof(void*)));
Sebastien Hertza8a697f2015-01-15 12:28:47 +010082 }
83 for (size_t i = 0, e = klass->NumVirtualMethods(); i < e; i++) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070084 InstallStubsForMethod(klass->GetVirtualMethod(i, sizeof(void*)));
Sebastien Hertza8a697f2015-01-15 12:28:47 +010085 }
jeffhao725a9572012-11-13 18:20:12 -080086 }
jeffhao725a9572012-11-13 18:20:12 -080087}
88
Mathieu Chartiere401d142015-04-22 13:56:20 -070089static void UpdateEntrypoints(ArtMethod* method, const void* quick_code)
Ian Rogersef7d42f2014-01-06 12:55:46 -080090 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080091 Runtime* const runtime = Runtime::Current();
92 jit::Jit* jit = runtime->GetJit();
93 if (jit != nullptr) {
94 const void* old_code_ptr = method->GetEntryPointFromQuickCompiledCode();
95 jit::JitCodeCache* code_cache = jit->GetCodeCache();
96 if (code_cache->ContainsCodePtr(old_code_ptr)) {
97 // Save the old compiled code since we need it to implement ClassLinker::GetQuickOatCodeFor.
98 code_cache->SaveCompiledCode(method, old_code_ptr);
99 }
100 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800101 method->SetEntryPointFromQuickCompiledCode(quick_code);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100102 if (!method->IsResolutionMethod()) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700103 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700104 if (class_linker->IsQuickToInterpreterBridge(quick_code) ||
105 (class_linker->IsQuickResolutionStub(quick_code) &&
106 Runtime::Current()->GetInstrumentation()->IsForcedInterpretOnly() &&
107 !method->IsNative() && !method->IsProxyMethod())) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800108 DCHECK(!method->IsNative()) << PrettyMethod(method);
Hiroshi Yamauchi563b47c2014-02-28 17:18:37 -0800109 DCHECK(!method->IsProxyMethod()) << PrettyMethod(method);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700110 method->SetEntryPointFromInterpreter(art::artInterpreterToInterpreterBridge);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100111 } else {
112 method->SetEntryPointFromInterpreter(art::artInterpreterToCompiledCodeBridge);
113 }
114 }
115}
116
Mathieu Chartiere401d142015-04-22 13:56:20 -0700117void Instrumentation::InstallStubsForMethod(ArtMethod* method) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100118 if (method->IsAbstract() || method->IsProxyMethod()) {
119 // Do not change stubs for these methods.
120 return;
121 }
Jeff Hao56802772014-08-19 10:17:36 -0700122 // Don't stub Proxy.<init>. Note that the Proxy class itself is not a proxy class.
123 if (method->IsConstructor() &&
124 method->GetDeclaringClass()->DescriptorEquals("Ljava/lang/reflect/Proxy;")) {
Jeff Haodb8a6642014-08-14 17:18:52 -0700125 return;
126 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800127 const void* new_quick_code;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100128 bool uninstall = !entry_exit_stubs_installed_ && !interpreter_stubs_installed_;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800129 Runtime* const runtime = Runtime::Current();
130 ClassLinker* const class_linker = runtime->GetClassLinker();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100131 bool is_class_initialized = method->GetDeclaringClass()->IsInitialized();
132 if (uninstall) {
133 if ((forced_interpret_only_ || IsDeoptimized(method)) && !method->IsNative()) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800134 new_quick_code = GetQuickToInterpreterBridge();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100135 } else if (is_class_initialized || !method->IsStatic() || method->IsConstructor()) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800136 new_quick_code = class_linker->GetQuickOatCodeFor(method);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100137 } else {
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700138 new_quick_code = GetQuickResolutionStub();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100139 }
140 } else { // !uninstall
Sebastien Hertzbae182c2013-12-17 10:42:03 +0100141 if ((interpreter_stubs_installed_ || forced_interpret_only_ || IsDeoptimized(method)) &&
142 !method->IsNative()) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800143 new_quick_code = GetQuickToInterpreterBridge();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100144 } else {
145 // Do not overwrite resolution trampoline. When the trampoline initializes the method's
146 // class, all its static methods code will be set to the instrumentation entry point.
147 // For more details, see ClassLinker::FixupStaticTrampolines.
148 if (is_class_initialized || !method->IsStatic() || method->IsConstructor()) {
Sebastien Hertz320deb22014-06-11 19:45:05 +0200149 if (entry_exit_stubs_installed_) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800150 new_quick_code = GetQuickInstrumentationEntryPoint();
Sebastien Hertz320deb22014-06-11 19:45:05 +0200151 } else {
Sebastien Hertz320deb22014-06-11 19:45:05 +0200152 new_quick_code = class_linker->GetQuickOatCodeFor(method);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100153 }
154 } else {
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700155 new_quick_code = GetQuickResolutionStub();
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100156 }
157 }
158 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800159 UpdateEntrypoints(method, new_quick_code);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100160}
161
Ian Rogers62d6c772013-02-27 08:32:07 -0800162// Places the instrumentation exit pc as the return PC for every quick frame. This also allows
163// deoptimization of quick frames to interpreter frames.
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100164// Since we may already have done this previously, we need to push new instrumentation frame before
165// existing instrumentation frames.
Ian Rogers62d6c772013-02-27 08:32:07 -0800166static void InstrumentationInstallStack(Thread* thread, void* arg)
Ian Rogers306057f2012-11-26 12:45:53 -0800167 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200168 struct InstallStackVisitor FINAL : public StackVisitor {
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800169 InstallStackVisitor(Thread* thread_in, Context* context, uintptr_t instrumentation_exit_pc)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100170 : StackVisitor(thread_in, context, kInstrumentationStackWalk),
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800171 instrumentation_stack_(thread_in->GetInstrumentationStack()),
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100172 instrumentation_exit_pc_(instrumentation_exit_pc),
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100173 reached_existing_instrumentation_frames_(false), instrumentation_stack_depth_(0),
174 last_return_pc_(0) {
175 }
jeffhao725a9572012-11-13 18:20:12 -0800176
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200177 bool VisitFrame() OVERRIDE SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700178 ArtMethod* m = GetMethod();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700179 if (m == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800180 if (kVerboseInstrumentation) {
181 LOG(INFO) << " Skipping upcall. Frame " << GetFrameId();
182 }
183 last_return_pc_ = 0;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700184 return true; // Ignore upcalls.
Ian Rogers306057f2012-11-26 12:45:53 -0800185 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700186 if (GetCurrentQuickFrame() == nullptr) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800187 bool interpreter_frame = true;
Sebastien Hertz320deb22014-06-11 19:45:05 +0200188 InstrumentationStackFrame instrumentation_frame(GetThisObject(), m, 0, GetFrameId(),
189 interpreter_frame);
Jeff Haoa15a81b2014-05-27 18:25:47 -0700190 if (kVerboseInstrumentation) {
191 LOG(INFO) << "Pushing shadow frame " << instrumentation_frame.Dump();
192 }
193 shadow_stack_.push_back(instrumentation_frame);
194 return true; // Continue.
195 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800196 uintptr_t return_pc = GetReturnPc();
Sebastien Hertz320deb22014-06-11 19:45:05 +0200197 if (m->IsRuntimeMethod()) {
198 if (return_pc == instrumentation_exit_pc_) {
199 if (kVerboseInstrumentation) {
200 LOG(INFO) << " Handling quick to interpreter transition. Frame " << GetFrameId();
201 }
202 CHECK_LT(instrumentation_stack_depth_, instrumentation_stack_->size());
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200203 const InstrumentationStackFrame& frame =
204 instrumentation_stack_->at(instrumentation_stack_depth_);
Sebastien Hertz320deb22014-06-11 19:45:05 +0200205 CHECK(frame.interpreter_entry_);
206 // This is an interpreter frame so method enter event must have been reported. However we
207 // need to push a DEX pc into the dex_pcs_ list to match size of instrumentation stack.
208 // Since we won't report method entry here, we can safely push any DEX pc.
209 dex_pcs_.push_back(0);
210 last_return_pc_ = frame.return_pc_;
211 ++instrumentation_stack_depth_;
212 return true;
213 } else {
214 if (kVerboseInstrumentation) {
215 LOG(INFO) << " Skipping runtime method. Frame " << GetFrameId();
216 }
217 last_return_pc_ = GetReturnPc();
218 return true; // Ignore unresolved methods since they will be instrumented after resolution.
219 }
220 }
221 if (kVerboseInstrumentation) {
222 LOG(INFO) << " Installing exit stub in " << DescribeLocation();
223 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100224 if (return_pc == instrumentation_exit_pc_) {
225 // We've reached a frame which has already been installed with instrumentation exit stub.
226 // We should have already installed instrumentation on previous frames.
227 reached_existing_instrumentation_frames_ = true;
228
229 CHECK_LT(instrumentation_stack_depth_, instrumentation_stack_->size());
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200230 const InstrumentationStackFrame& frame =
231 instrumentation_stack_->at(instrumentation_stack_depth_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100232 CHECK_EQ(m, frame.method_) << "Expected " << PrettyMethod(m)
233 << ", Found " << PrettyMethod(frame.method_);
234 return_pc = frame.return_pc_;
235 if (kVerboseInstrumentation) {
236 LOG(INFO) << "Ignoring already instrumented " << frame.Dump();
237 }
238 } else {
239 CHECK_NE(return_pc, 0U);
240 CHECK(!reached_existing_instrumentation_frames_);
241 InstrumentationStackFrame instrumentation_frame(GetThisObject(), m, return_pc, GetFrameId(),
242 false);
243 if (kVerboseInstrumentation) {
244 LOG(INFO) << "Pushing frame " << instrumentation_frame.Dump();
245 }
246
Sebastien Hertz320deb22014-06-11 19:45:05 +0200247 // Insert frame at the right position so we do not corrupt the instrumentation stack.
248 // Instrumentation stack frames are in descending frame id order.
249 auto it = instrumentation_stack_->begin();
250 for (auto end = instrumentation_stack_->end(); it != end; ++it) {
251 const InstrumentationStackFrame& current = *it;
252 if (instrumentation_frame.frame_id_ >= current.frame_id_) {
253 break;
254 }
255 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100256 instrumentation_stack_->insert(it, instrumentation_frame);
257 SetReturnPc(instrumentation_exit_pc_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800258 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800259 dex_pcs_.push_back(m->ToDexPc(last_return_pc_));
Ian Rogers62d6c772013-02-27 08:32:07 -0800260 last_return_pc_ = return_pc;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100261 ++instrumentation_stack_depth_;
Ian Rogers306057f2012-11-26 12:45:53 -0800262 return true; // Continue.
263 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800264 std::deque<InstrumentationStackFrame>* const instrumentation_stack_;
Jeff Haoa15a81b2014-05-27 18:25:47 -0700265 std::vector<InstrumentationStackFrame> shadow_stack_;
Ian Rogers62d6c772013-02-27 08:32:07 -0800266 std::vector<uint32_t> dex_pcs_;
Ian Rogers306057f2012-11-26 12:45:53 -0800267 const uintptr_t instrumentation_exit_pc_;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100268 bool reached_existing_instrumentation_frames_;
269 size_t instrumentation_stack_depth_;
Ian Rogers62d6c772013-02-27 08:32:07 -0800270 uintptr_t last_return_pc_;
Ian Rogers306057f2012-11-26 12:45:53 -0800271 };
Ian Rogers62d6c772013-02-27 08:32:07 -0800272 if (kVerboseInstrumentation) {
273 std::string thread_name;
274 thread->GetThreadName(thread_name);
275 LOG(INFO) << "Installing exit stubs in " << thread_name;
Ian Rogers306057f2012-11-26 12:45:53 -0800276 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100277
278 Instrumentation* instrumentation = reinterpret_cast<Instrumentation*>(arg);
Ian Rogers700a4022014-05-19 16:49:03 -0700279 std::unique_ptr<Context> context(Context::Create());
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700280 uintptr_t instrumentation_exit_pc = reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc());
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100281 InstallStackVisitor visitor(thread, context.get(), instrumentation_exit_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -0800282 visitor.WalkStack(true);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100283 CHECK_EQ(visitor.dex_pcs_.size(), thread->GetInstrumentationStack()->size());
Ian Rogers62d6c772013-02-27 08:32:07 -0800284
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100285 if (instrumentation->ShouldNotifyMethodEnterExitEvents()) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100286 // Create method enter events for all methods currently on the thread's stack. We only do this
287 // if no debugger is attached to prevent from posting events twice.
Jeff Haoa15a81b2014-05-27 18:25:47 -0700288 auto ssi = visitor.shadow_stack_.rbegin();
289 for (auto isi = thread->GetInstrumentationStack()->rbegin(),
290 end = thread->GetInstrumentationStack()->rend(); isi != end; ++isi) {
291 while (ssi != visitor.shadow_stack_.rend() && (*ssi).frame_id_ < (*isi).frame_id_) {
292 instrumentation->MethodEnterEvent(thread, (*ssi).this_object_, (*ssi).method_, 0);
293 ++ssi;
294 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100295 uint32_t dex_pc = visitor.dex_pcs_.back();
296 visitor.dex_pcs_.pop_back();
Sebastien Hertz320deb22014-06-11 19:45:05 +0200297 if (!isi->interpreter_entry_) {
298 instrumentation->MethodEnterEvent(thread, (*isi).this_object_, (*isi).method_, dex_pc);
299 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100300 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800301 }
302 thread->VerifyStack();
Ian Rogers306057f2012-11-26 12:45:53 -0800303}
304
Ian Rogers62d6c772013-02-27 08:32:07 -0800305// Removes the instrumentation exit pc as the return PC for every quick frame.
306static void InstrumentationRestoreStack(Thread* thread, void* arg)
Ian Rogers306057f2012-11-26 12:45:53 -0800307 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200308 struct RestoreStackVisitor FINAL : public StackVisitor {
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800309 RestoreStackVisitor(Thread* thread_in, uintptr_t instrumentation_exit_pc,
Ian Rogers62d6c772013-02-27 08:32:07 -0800310 Instrumentation* instrumentation)
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100311 : StackVisitor(thread_in, nullptr, kInstrumentationStackWalk),
312 thread_(thread_in),
Ian Rogers62d6c772013-02-27 08:32:07 -0800313 instrumentation_exit_pc_(instrumentation_exit_pc),
314 instrumentation_(instrumentation),
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800315 instrumentation_stack_(thread_in->GetInstrumentationStack()),
Ian Rogers62d6c772013-02-27 08:32:07 -0800316 frames_removed_(0) {}
Ian Rogers306057f2012-11-26 12:45:53 -0800317
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200318 bool VisitFrame() OVERRIDE SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800319 if (instrumentation_stack_->size() == 0) {
jeffhao725a9572012-11-13 18:20:12 -0800320 return false; // Stop.
321 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700322 ArtMethod* m = GetMethod();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700323 if (GetCurrentQuickFrame() == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800324 if (kVerboseInstrumentation) {
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200325 LOG(INFO) << " Ignoring a shadow frame. Frame " << GetFrameId()
326 << " Method=" << PrettyMethod(m);
Ian Rogers62d6c772013-02-27 08:32:07 -0800327 }
328 return true; // Ignore shadow frames.
329 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700330 if (m == nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800331 if (kVerboseInstrumentation) {
332 LOG(INFO) << " Skipping upcall. Frame " << GetFrameId();
333 }
Ian Rogers306057f2012-11-26 12:45:53 -0800334 return true; // Ignore upcalls.
335 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800336 bool removed_stub = false;
337 // TODO: make this search more efficient?
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100338 const size_t frameId = GetFrameId();
339 for (const InstrumentationStackFrame& instrumentation_frame : *instrumentation_stack_) {
340 if (instrumentation_frame.frame_id_ == frameId) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800341 if (kVerboseInstrumentation) {
342 LOG(INFO) << " Removing exit stub in " << DescribeLocation();
343 }
Jeff Hao9a916d32013-06-27 18:45:37 -0700344 if (instrumentation_frame.interpreter_entry_) {
345 CHECK(m == Runtime::Current()->GetCalleeSaveMethod(Runtime::kRefsAndArgs));
346 } else {
347 CHECK(m == instrumentation_frame.method_) << PrettyMethod(m);
348 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800349 SetReturnPc(instrumentation_frame.return_pc_);
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100350 if (instrumentation_->ShouldNotifyMethodEnterExitEvents()) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100351 // Create the method exit events. As the methods didn't really exit the result is 0.
352 // We only do this if no debugger is attached to prevent from posting events twice.
353 instrumentation_->MethodExitEvent(thread_, instrumentation_frame.this_object_, m,
354 GetDexPc(), JValue());
355 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800356 frames_removed_++;
357 removed_stub = true;
358 break;
359 }
360 }
361 if (!removed_stub) {
362 if (kVerboseInstrumentation) {
363 LOG(INFO) << " No exit stub in " << DescribeLocation();
Ian Rogers306057f2012-11-26 12:45:53 -0800364 }
jeffhao725a9572012-11-13 18:20:12 -0800365 }
366 return true; // Continue.
367 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800368 Thread* const thread_;
Ian Rogers306057f2012-11-26 12:45:53 -0800369 const uintptr_t instrumentation_exit_pc_;
Ian Rogers62d6c772013-02-27 08:32:07 -0800370 Instrumentation* const instrumentation_;
371 std::deque<instrumentation::InstrumentationStackFrame>* const instrumentation_stack_;
372 size_t frames_removed_;
jeffhao725a9572012-11-13 18:20:12 -0800373 };
Ian Rogers62d6c772013-02-27 08:32:07 -0800374 if (kVerboseInstrumentation) {
375 std::string thread_name;
376 thread->GetThreadName(thread_name);
377 LOG(INFO) << "Removing exit stubs in " << thread_name;
378 }
379 std::deque<instrumentation::InstrumentationStackFrame>* stack = thread->GetInstrumentationStack();
380 if (stack->size() > 0) {
381 Instrumentation* instrumentation = reinterpret_cast<Instrumentation*>(arg);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700382 uintptr_t instrumentation_exit_pc =
383 reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc());
Ian Rogers62d6c772013-02-27 08:32:07 -0800384 RestoreStackVisitor visitor(thread, instrumentation_exit_pc, instrumentation);
385 visitor.WalkStack(true);
386 CHECK_EQ(visitor.frames_removed_, stack->size());
387 while (stack->size() > 0) {
388 stack->pop_front();
389 }
jeffhao725a9572012-11-13 18:20:12 -0800390 }
391}
392
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200393static bool HasEvent(Instrumentation::InstrumentationEvent expected, uint32_t events) {
394 return (events & expected) != 0;
395}
396
Ian Rogers62d6c772013-02-27 08:32:07 -0800397void Instrumentation::AddListener(InstrumentationListener* listener, uint32_t events) {
398 Locks::mutator_lock_->AssertExclusiveHeld(Thread::Current());
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200399 if (HasEvent(kMethodEntered, events)) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800400 method_entry_listeners_.push_back(listener);
Ian Rogers62d6c772013-02-27 08:32:07 -0800401 have_method_entry_listeners_ = true;
402 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200403 if (HasEvent(kMethodExited, events)) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800404 method_exit_listeners_.push_back(listener);
Ian Rogers62d6c772013-02-27 08:32:07 -0800405 have_method_exit_listeners_ = true;
406 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200407 if (HasEvent(kMethodUnwind, events)) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800408 method_unwind_listeners_.push_back(listener);
409 have_method_unwind_listeners_ = true;
410 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200411 if (HasEvent(kBackwardBranch, events)) {
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800412 backward_branch_listeners_.push_back(listener);
413 have_backward_branch_listeners_ = true;
414 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200415 if (HasEvent(kDexPcMoved, events)) {
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200416 std::list<InstrumentationListener*>* modified;
417 if (have_dex_pc_listeners_) {
418 modified = new std::list<InstrumentationListener*>(*dex_pc_listeners_.get());
419 } else {
420 modified = new std::list<InstrumentationListener*>();
421 }
422 modified->push_back(listener);
423 dex_pc_listeners_.reset(modified);
Ian Rogers62d6c772013-02-27 08:32:07 -0800424 have_dex_pc_listeners_ = true;
425 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200426 if (HasEvent(kFieldRead, events)) {
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200427 std::list<InstrumentationListener*>* modified;
428 if (have_field_read_listeners_) {
429 modified = new std::list<InstrumentationListener*>(*field_read_listeners_.get());
430 } else {
431 modified = new std::list<InstrumentationListener*>();
432 }
433 modified->push_back(listener);
434 field_read_listeners_.reset(modified);
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200435 have_field_read_listeners_ = true;
436 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200437 if (HasEvent(kFieldWritten, events)) {
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200438 std::list<InstrumentationListener*>* modified;
439 if (have_field_write_listeners_) {
440 modified = new std::list<InstrumentationListener*>(*field_write_listeners_.get());
441 } else {
442 modified = new std::list<InstrumentationListener*>();
443 }
444 modified->push_back(listener);
445 field_write_listeners_.reset(modified);
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200446 have_field_write_listeners_ = true;
447 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200448 if (HasEvent(kExceptionCaught, events)) {
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200449 std::list<InstrumentationListener*>* modified;
450 if (have_exception_caught_listeners_) {
451 modified = new std::list<InstrumentationListener*>(*exception_caught_listeners_.get());
452 } else {
453 modified = new std::list<InstrumentationListener*>();
454 }
455 modified->push_back(listener);
456 exception_caught_listeners_.reset(modified);
Jeff Hao14dd5a82013-04-11 10:23:36 -0700457 have_exception_caught_listeners_ = true;
458 }
Sebastien Hertzee1997a2013-09-19 14:47:09 +0200459 UpdateInterpreterHandlerTable();
jeffhao725a9572012-11-13 18:20:12 -0800460}
461
Ian Rogers62d6c772013-02-27 08:32:07 -0800462void Instrumentation::RemoveListener(InstrumentationListener* listener, uint32_t events) {
463 Locks::mutator_lock_->AssertExclusiveHeld(Thread::Current());
Ian Rogers62d6c772013-02-27 08:32:07 -0800464
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200465 if (HasEvent(kMethodEntered, events) && have_method_entry_listeners_) {
466 method_entry_listeners_.remove(listener);
467 have_method_entry_listeners_ = !method_entry_listeners_.empty();
Ian Rogers62d6c772013-02-27 08:32:07 -0800468 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200469 if (HasEvent(kMethodExited, events) && have_method_exit_listeners_) {
470 method_exit_listeners_.remove(listener);
471 have_method_exit_listeners_ = !method_exit_listeners_.empty();
Ian Rogers62d6c772013-02-27 08:32:07 -0800472 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200473 if (HasEvent(kMethodUnwind, events) && have_method_unwind_listeners_) {
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200474 method_unwind_listeners_.remove(listener);
475 have_method_unwind_listeners_ = !method_unwind_listeners_.empty();
Ian Rogers62d6c772013-02-27 08:32:07 -0800476 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200477 if (HasEvent(kBackwardBranch, events) && have_backward_branch_listeners_) {
478 backward_branch_listeners_.remove(listener);
479 have_backward_branch_listeners_ = !backward_branch_listeners_.empty();
480 }
481 if (HasEvent(kDexPcMoved, events) && have_dex_pc_listeners_) {
482 std::list<InstrumentationListener*>* modified =
483 new std::list<InstrumentationListener*>(*dex_pc_listeners_.get());
484 modified->remove(listener);
485 have_dex_pc_listeners_ = !modified->empty();
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200486 if (have_dex_pc_listeners_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200487 dex_pc_listeners_.reset(modified);
488 } else {
489 dex_pc_listeners_.reset();
490 delete modified;
Ian Rogers62d6c772013-02-27 08:32:07 -0800491 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800492 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200493 if (HasEvent(kFieldRead, events) && have_field_read_listeners_) {
494 std::list<InstrumentationListener*>* modified =
495 new std::list<InstrumentationListener*>(*field_read_listeners_.get());
496 modified->remove(listener);
497 have_field_read_listeners_ = !modified->empty();
Daniel Mihalyi66445212014-08-21 15:57:25 +0200498 if (have_field_read_listeners_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200499 field_read_listeners_.reset(modified);
500 } else {
501 field_read_listeners_.reset();
502 delete modified;
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200503 }
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200504 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200505 if (HasEvent(kFieldWritten, events) && have_field_write_listeners_) {
506 std::list<InstrumentationListener*>* modified =
507 new std::list<InstrumentationListener*>(*field_write_listeners_.get());
508 modified->remove(listener);
509 have_field_write_listeners_ = !modified->empty();
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200510 if (have_field_write_listeners_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200511 field_write_listeners_.reset(modified);
512 } else {
513 field_write_listeners_.reset();
514 delete modified;
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200515 }
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200516 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200517 if (HasEvent(kExceptionCaught, events) && have_exception_caught_listeners_) {
518 std::list<InstrumentationListener*>* modified =
519 new std::list<InstrumentationListener*>(*exception_caught_listeners_.get());
520 modified->remove(listener);
521 have_exception_caught_listeners_ = !modified->empty();
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200522 if (have_exception_caught_listeners_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200523 exception_caught_listeners_.reset(modified);
524 } else {
525 exception_caught_listeners_.reset();
526 delete modified;
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200527 }
Jeff Hao14dd5a82013-04-11 10:23:36 -0700528 }
Sebastien Hertzee1997a2013-09-19 14:47:09 +0200529 UpdateInterpreterHandlerTable();
jeffhao725a9572012-11-13 18:20:12 -0800530}
531
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200532Instrumentation::InstrumentationLevel Instrumentation::GetCurrentInstrumentationLevel() const {
Ian Rogers62d6c772013-02-27 08:32:07 -0800533 if (interpreter_stubs_installed_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200534 return InstrumentationLevel::kInstrumentWithInterpreter;
Ian Rogers62d6c772013-02-27 08:32:07 -0800535 } else if (entry_exit_stubs_installed_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200536 return InstrumentationLevel::kInstrumentWithInstrumentationStubs;
Ian Rogers62d6c772013-02-27 08:32:07 -0800537 } else {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200538 return InstrumentationLevel::kInstrumentNothing;
Ian Rogers62d6c772013-02-27 08:32:07 -0800539 }
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200540}
541
542void Instrumentation::ConfigureStubs(const char* key, InstrumentationLevel desired_level) {
543 // Store the instrumentation level for this key or remove it.
544 if (desired_level == InstrumentationLevel::kInstrumentNothing) {
545 // The client no longer needs instrumentation.
546 requested_instrumentation_levels_.erase(key);
547 } else {
548 // The client needs instrumentation.
549 requested_instrumentation_levels_.Overwrite(key, desired_level);
550 }
551
552 // Look for the highest required instrumentation level.
553 InstrumentationLevel requested_level = InstrumentationLevel::kInstrumentNothing;
554 for (const auto& v : requested_instrumentation_levels_) {
555 requested_level = std::max(requested_level, v.second);
556 }
557
558 interpret_only_ = (requested_level == InstrumentationLevel::kInstrumentWithInterpreter) ||
559 forced_interpret_only_;
560
561 InstrumentationLevel current_level = GetCurrentInstrumentationLevel();
562 if (requested_level == current_level) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800563 // We're already set.
564 return;
565 }
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100566 Thread* const self = Thread::Current();
Ian Rogers62d6c772013-02-27 08:32:07 -0800567 Runtime* runtime = Runtime::Current();
Sebastien Hertza8a697f2015-01-15 12:28:47 +0100568 Locks::mutator_lock_->AssertExclusiveHeld(self);
Ian Rogers62d6c772013-02-27 08:32:07 -0800569 Locks::thread_list_lock_->AssertNotHeld(self);
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200570 if (requested_level > InstrumentationLevel::kInstrumentNothing) {
571 if (requested_level == InstrumentationLevel::kInstrumentWithInterpreter) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800572 interpreter_stubs_installed_ = true;
Ian Rogers62d6c772013-02-27 08:32:07 -0800573 entry_exit_stubs_installed_ = true;
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200574 } else {
575 CHECK_EQ(requested_level, InstrumentationLevel::kInstrumentWithInstrumentationStubs);
576 entry_exit_stubs_installed_ = true;
577 interpreter_stubs_installed_ = false;
Ian Rogers62d6c772013-02-27 08:32:07 -0800578 }
579 runtime->GetClassLinker()->VisitClasses(InstallStubsClassVisitor, this);
580 instrumentation_stubs_installed_ = true;
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100581 MutexLock mu(self, *Locks::thread_list_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800582 runtime->GetThreadList()->ForEach(InstrumentationInstallStack, this);
583 } else {
584 interpreter_stubs_installed_ = false;
585 entry_exit_stubs_installed_ = false;
586 runtime->GetClassLinker()->VisitClasses(InstallStubsClassVisitor, this);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100587 // Restore stack only if there is no method currently deoptimized.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700588 bool empty;
589 {
590 ReaderMutexLock mu(self, deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700591 empty = IsDeoptimizedMethodsEmpty(); // Avoid lock violation.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700592 }
593 if (empty) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100594 instrumentation_stubs_installed_ = false;
595 MutexLock mu(self, *Locks::thread_list_lock_);
596 Runtime::Current()->GetThreadList()->ForEach(InstrumentationRestoreStack, this);
597 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800598 }
jeffhao725a9572012-11-13 18:20:12 -0800599}
600
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200601static void ResetQuickAllocEntryPointsForThread(Thread* thread, void* arg ATTRIBUTE_UNUSED) {
Ian Rogersfa824272013-11-05 16:12:57 -0800602 thread->ResetQuickAllocEntryPointsForThread();
603}
604
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700605void Instrumentation::SetEntrypointsInstrumented(bool instrumented) {
606 Thread* self = Thread::Current();
Mathieu Chartier661974a2014-01-09 11:23:53 -0800607 Runtime* runtime = Runtime::Current();
608 ThreadList* tl = runtime->GetThreadList();
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700609 Locks::mutator_lock_->AssertNotHeld(self);
610 Locks::instrument_entrypoints_lock_->AssertHeld(self);
611 if (runtime->IsStarted()) {
Mathieu Chartierbf9fc582015-03-13 17:21:25 -0700612 tl->SuspendAll(__FUNCTION__);
Mathieu Chartier661974a2014-01-09 11:23:53 -0800613 }
614 {
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700615 MutexLock mu(self, *Locks::runtime_shutdown_lock_);
Mathieu Chartier661974a2014-01-09 11:23:53 -0800616 SetQuickAllocEntryPointsInstrumented(instrumented);
617 ResetQuickAllocEntryPoints();
618 }
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700619 if (runtime->IsStarted()) {
Mathieu Chartier661974a2014-01-09 11:23:53 -0800620 tl->ResumeAll();
621 }
622}
623
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700624void Instrumentation::InstrumentQuickAllocEntryPoints() {
625 MutexLock mu(Thread::Current(), *Locks::instrument_entrypoints_lock_);
626 InstrumentQuickAllocEntryPointsLocked();
Ian Rogersfa824272013-11-05 16:12:57 -0800627}
628
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700629void Instrumentation::UninstrumentQuickAllocEntryPoints() {
630 MutexLock mu(Thread::Current(), *Locks::instrument_entrypoints_lock_);
631 UninstrumentQuickAllocEntryPointsLocked();
632}
633
634void Instrumentation::InstrumentQuickAllocEntryPointsLocked() {
635 Locks::instrument_entrypoints_lock_->AssertHeld(Thread::Current());
636 if (quick_alloc_entry_points_instrumentation_counter_ == 0) {
637 SetEntrypointsInstrumented(true);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800638 }
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700639 ++quick_alloc_entry_points_instrumentation_counter_;
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700640}
641
642void Instrumentation::UninstrumentQuickAllocEntryPointsLocked() {
643 Locks::instrument_entrypoints_lock_->AssertHeld(Thread::Current());
644 CHECK_GT(quick_alloc_entry_points_instrumentation_counter_, 0U);
645 --quick_alloc_entry_points_instrumentation_counter_;
646 if (quick_alloc_entry_points_instrumentation_counter_ == 0) {
647 SetEntrypointsInstrumented(false);
648 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800649}
650
651void Instrumentation::ResetQuickAllocEntryPoints() {
652 Runtime* runtime = Runtime::Current();
653 if (runtime->IsStarted()) {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800654 MutexLock mu(Thread::Current(), *Locks::thread_list_lock_);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700655 runtime->GetThreadList()->ForEach(ResetQuickAllocEntryPointsForThread, nullptr);
Ian Rogersfa824272013-11-05 16:12:57 -0800656 }
657}
658
Mathieu Chartiere401d142015-04-22 13:56:20 -0700659void Instrumentation::UpdateMethodsCode(ArtMethod* method, const void* quick_code) {
Sebastien Hertza8a697f2015-01-15 12:28:47 +0100660 DCHECK(method->GetDeclaringClass()->IsResolved());
Ian Rogersef7d42f2014-01-06 12:55:46 -0800661 const void* new_quick_code;
Ian Rogers62d6c772013-02-27 08:32:07 -0800662 if (LIKELY(!instrumentation_stubs_installed_)) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800663 new_quick_code = quick_code;
Jeff Hao65d15d92013-07-16 16:39:33 -0700664 } else {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100665 if ((interpreter_stubs_installed_ || IsDeoptimized(method)) && !method->IsNative()) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800666 new_quick_code = GetQuickToInterpreterBridge();
Jeff Hao65d15d92013-07-16 16:39:33 -0700667 } else {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700668 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700669 if (class_linker->IsQuickResolutionStub(quick_code) ||
670 class_linker->IsQuickToInterpreterBridge(quick_code)) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700671 new_quick_code = quick_code;
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700672 } else if (entry_exit_stubs_installed_) {
673 new_quick_code = GetQuickInstrumentationEntryPoint();
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700674 } else {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700675 new_quick_code = quick_code;
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700676 }
Jeff Hao65d15d92013-07-16 16:39:33 -0700677 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800678 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800679 UpdateEntrypoints(method, new_quick_code);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100680}
681
Mathieu Chartiere401d142015-04-22 13:56:20 -0700682bool Instrumentation::AddDeoptimizedMethod(ArtMethod* method) {
683 if (IsDeoptimizedMethod(method)) {
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700684 // Already in the map. Return.
685 return false;
686 }
687 // Not found. Add it.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700688 deoptimized_methods_.insert(method);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700689 return true;
690}
691
Mathieu Chartiere401d142015-04-22 13:56:20 -0700692bool Instrumentation::IsDeoptimizedMethod(ArtMethod* method) {
693 return deoptimized_methods_.find(method) != deoptimized_methods_.end();
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700694}
695
Mathieu Chartiere401d142015-04-22 13:56:20 -0700696ArtMethod* Instrumentation::BeginDeoptimizedMethod() {
697 if (deoptimized_methods_.empty()) {
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700698 // Empty.
699 return nullptr;
700 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700701 return *deoptimized_methods_.begin();
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700702}
703
Mathieu Chartiere401d142015-04-22 13:56:20 -0700704bool Instrumentation::RemoveDeoptimizedMethod(ArtMethod* method) {
705 auto it = deoptimized_methods_.find(method);
706 if (it == deoptimized_methods_.end()) {
707 return false;
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700708 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700709 deoptimized_methods_.erase(it);
710 return true;
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700711}
712
713bool Instrumentation::IsDeoptimizedMethodsEmpty() const {
714 return deoptimized_methods_.empty();
715}
716
Mathieu Chartiere401d142015-04-22 13:56:20 -0700717void Instrumentation::Deoptimize(ArtMethod* method) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100718 CHECK(!method->IsNative());
719 CHECK(!method->IsProxyMethod());
720 CHECK(!method->IsAbstract());
721
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700722 Thread* self = Thread::Current();
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700723 {
724 WriterMutexLock mu(self, deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700725 bool has_not_been_deoptimized = AddDeoptimizedMethod(method);
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200726 CHECK(has_not_been_deoptimized) << "Method " << PrettyMethod(method)
727 << " is already deoptimized";
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700728 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100729 if (!interpreter_stubs_installed_) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800730 UpdateEntrypoints(method, GetQuickInstrumentationEntryPoint());
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100731
732 // Install instrumentation exit stub and instrumentation frames. We may already have installed
733 // these previously so it will only cover the newly created frames.
734 instrumentation_stubs_installed_ = true;
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700735 MutexLock mu(self, *Locks::thread_list_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100736 Runtime::Current()->GetThreadList()->ForEach(InstrumentationInstallStack, this);
737 }
738}
739
Mathieu Chartiere401d142015-04-22 13:56:20 -0700740void Instrumentation::Undeoptimize(ArtMethod* method) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100741 CHECK(!method->IsNative());
742 CHECK(!method->IsProxyMethod());
743 CHECK(!method->IsAbstract());
744
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700745 Thread* self = Thread::Current();
746 bool empty;
747 {
748 WriterMutexLock mu(self, deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700749 bool found_and_erased = RemoveDeoptimizedMethod(method);
750 CHECK(found_and_erased) << "Method " << PrettyMethod(method)
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700751 << " is not deoptimized";
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700752 empty = IsDeoptimizedMethodsEmpty();
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700753 }
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100754
755 // Restore code and possibly stack only if we did not deoptimize everything.
756 if (!interpreter_stubs_installed_) {
757 // Restore its code or resolution trampoline.
758 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogersef7d42f2014-01-06 12:55:46 -0800759 if (method->IsStatic() && !method->IsConstructor() &&
760 !method->GetDeclaringClass()->IsInitialized()) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800761 UpdateEntrypoints(method, GetQuickResolutionStub());
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100762 } else {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800763 const void* quick_code = class_linker->GetQuickOatCodeFor(method);
Elliott Hughes956af0f2014-12-11 14:34:28 -0800764 UpdateEntrypoints(method, quick_code);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100765 }
766
767 // If there is no deoptimized method left, we can restore the stack of each thread.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700768 if (empty) {
769 MutexLock mu(self, *Locks::thread_list_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100770 Runtime::Current()->GetThreadList()->ForEach(InstrumentationRestoreStack, this);
771 instrumentation_stubs_installed_ = false;
772 }
773 }
774}
775
Mathieu Chartiere401d142015-04-22 13:56:20 -0700776bool Instrumentation::IsDeoptimized(ArtMethod* method) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100777 DCHECK(method != nullptr);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700778 ReaderMutexLock mu(Thread::Current(), deoptimized_methods_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700779 return IsDeoptimizedMethod(method);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100780}
781
782void Instrumentation::EnableDeoptimization() {
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700783 ReaderMutexLock mu(Thread::Current(), deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700784 CHECK(IsDeoptimizedMethodsEmpty());
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100785 CHECK_EQ(deoptimization_enabled_, false);
786 deoptimization_enabled_ = true;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100787}
788
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200789void Instrumentation::DisableDeoptimization(const char* key) {
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100790 CHECK_EQ(deoptimization_enabled_, true);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100791 // If we deoptimized everything, undo it.
792 if (interpreter_stubs_installed_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200793 UndeoptimizeEverything(key);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100794 }
795 // Undeoptimized selected methods.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700796 while (true) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700797 ArtMethod* method;
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700798 {
799 ReaderMutexLock mu(Thread::Current(), deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700800 if (IsDeoptimizedMethodsEmpty()) {
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700801 break;
802 }
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700803 method = BeginDeoptimizedMethod();
804 CHECK(method != nullptr);
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700805 }
806 Undeoptimize(method);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100807 }
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100808 deoptimization_enabled_ = false;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100809}
810
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100811// Indicates if instrumentation should notify method enter/exit events to the listeners.
812bool Instrumentation::ShouldNotifyMethodEnterExitEvents() const {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200813 if (!HasMethodEntryListeners() && !HasMethodExitListeners()) {
814 return false;
815 }
Sebastien Hertz7ec2f1c2014-03-27 20:06:47 +0100816 return !deoptimization_enabled_ && !interpreter_stubs_installed_;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100817}
818
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200819void Instrumentation::DeoptimizeEverything(const char* key) {
820 CHECK(deoptimization_enabled_);
821 ConfigureStubs(key, InstrumentationLevel::kInstrumentWithInterpreter);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100822}
823
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200824void Instrumentation::UndeoptimizeEverything(const char* key) {
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100825 CHECK(interpreter_stubs_installed_);
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200826 CHECK(deoptimization_enabled_);
827 ConfigureStubs(key, InstrumentationLevel::kInstrumentNothing);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100828}
829
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200830void Instrumentation::EnableMethodTracing(const char* key, bool needs_interpreter) {
831 InstrumentationLevel level;
832 if (needs_interpreter) {
833 level = InstrumentationLevel::kInstrumentWithInterpreter;
834 } else {
835 level = InstrumentationLevel::kInstrumentWithInstrumentationStubs;
836 }
837 ConfigureStubs(key, level);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100838}
839
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200840void Instrumentation::DisableMethodTracing(const char* key) {
841 ConfigureStubs(key, InstrumentationLevel::kInstrumentNothing);
jeffhao725a9572012-11-13 18:20:12 -0800842}
843
Mathieu Chartiere401d142015-04-22 13:56:20 -0700844const void* Instrumentation::GetQuickCodeFor(ArtMethod* method, size_t pointer_size) const {
Ian Rogers62d6c772013-02-27 08:32:07 -0800845 Runtime* runtime = Runtime::Current();
846 if (LIKELY(!instrumentation_stubs_installed_)) {
Mathieu Chartiera7dd0382014-11-20 17:08:58 -0800847 const void* code = method->GetEntryPointFromQuickCompiledCodePtrSize(pointer_size);
Vladimir Marko8a630572014-04-09 18:45:35 +0100848 DCHECK(code != nullptr);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700849 ClassLinker* class_linker = runtime->GetClassLinker();
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700850 if (LIKELY(!class_linker->IsQuickResolutionStub(code) &&
851 !class_linker->IsQuickToInterpreterBridge(code)) &&
852 !class_linker->IsQuickResolutionStub(code) &&
853 !class_linker->IsQuickToInterpreterBridge(code)) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800854 return code;
855 }
856 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800857 return runtime->GetClassLinker()->GetQuickOatCodeFor(method);
jeffhao725a9572012-11-13 18:20:12 -0800858}
859
Ian Rogers62d6c772013-02-27 08:32:07 -0800860void Instrumentation::MethodEnterEventImpl(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700861 ArtMethod* method,
Ian Rogers62d6c772013-02-27 08:32:07 -0800862 uint32_t dex_pc) const {
Mathieu Chartier02e25112013-08-14 16:14:24 -0700863 auto it = method_entry_listeners_.begin();
Jeff Hao65d15d92013-07-16 16:39:33 -0700864 bool is_end = (it == method_entry_listeners_.end());
865 // Implemented this way to prevent problems caused by modification of the list while iterating.
866 while (!is_end) {
867 InstrumentationListener* cur = *it;
868 ++it;
869 is_end = (it == method_entry_listeners_.end());
870 cur->MethodEntered(thread, this_object, method, dex_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -0800871 }
872}
873
874void Instrumentation::MethodExitEventImpl(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700875 ArtMethod* method,
Ian Rogers62d6c772013-02-27 08:32:07 -0800876 uint32_t dex_pc, const JValue& return_value) const {
Mathieu Chartier02e25112013-08-14 16:14:24 -0700877 auto it = method_exit_listeners_.begin();
Jeff Hao65d15d92013-07-16 16:39:33 -0700878 bool is_end = (it == method_exit_listeners_.end());
879 // Implemented this way to prevent problems caused by modification of the list while iterating.
880 while (!is_end) {
881 InstrumentationListener* cur = *it;
882 ++it;
883 is_end = (it == method_exit_listeners_.end());
884 cur->MethodExited(thread, this_object, method, dex_pc, return_value);
Ian Rogers62d6c772013-02-27 08:32:07 -0800885 }
886}
887
888void Instrumentation::MethodUnwindEvent(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700889 ArtMethod* method,
Ian Rogers62d6c772013-02-27 08:32:07 -0800890 uint32_t dex_pc) const {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200891 if (HasMethodUnwindListeners()) {
Mathieu Chartier02e25112013-08-14 16:14:24 -0700892 for (InstrumentationListener* listener : method_unwind_listeners_) {
Sebastien Hertz51db44a2013-11-19 10:00:29 +0100893 listener->MethodUnwind(thread, this_object, method, dex_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -0800894 }
895 }
896}
897
898void Instrumentation::DexPcMovedEventImpl(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700899 ArtMethod* method,
Ian Rogers62d6c772013-02-27 08:32:07 -0800900 uint32_t dex_pc) const {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200901 std::shared_ptr<std::list<InstrumentationListener*>> original(dex_pc_listeners_);
902 for (InstrumentationListener* listener : *original.get()) {
903 listener->DexPcMoved(thread, this_object, method, dex_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -0800904 }
905}
906
Mathieu Chartiere401d142015-04-22 13:56:20 -0700907void Instrumentation::BackwardBranchImpl(Thread* thread, ArtMethod* method,
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800908 int32_t offset) const {
909 for (InstrumentationListener* listener : backward_branch_listeners_) {
910 listener->BackwardBranch(thread, method, offset);
911 }
912}
913
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200914void Instrumentation::FieldReadEventImpl(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700915 ArtMethod* method, uint32_t dex_pc,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700916 ArtField* field) const {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200917 std::shared_ptr<std::list<InstrumentationListener*>> original(field_read_listeners_);
918 for (InstrumentationListener* listener : *original.get()) {
919 listener->FieldRead(thread, this_object, method, dex_pc, field);
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200920 }
921}
922
923void Instrumentation::FieldWriteEventImpl(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700924 ArtMethod* method, uint32_t dex_pc,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700925 ArtField* field, const JValue& field_value) const {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200926 std::shared_ptr<std::list<InstrumentationListener*>> original(field_write_listeners_);
927 for (InstrumentationListener* listener : *original.get()) {
928 listener->FieldWritten(thread, this_object, method, dex_pc, field, field_value);
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200929 }
930}
931
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000932void Instrumentation::ExceptionCaughtEvent(Thread* thread,
Sebastien Hertz947ff082013-09-17 14:10:13 +0200933 mirror::Throwable* exception_object) const {
Sebastien Hertz9f102032014-05-23 08:59:42 +0200934 if (HasExceptionCaughtListeners()) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000935 DCHECK_EQ(thread->GetException(), exception_object);
Jeff Haoc0bd4da2013-04-11 15:52:28 -0700936 thread->ClearException();
Daniel Mihalyica1d06c2014-08-18 18:45:31 +0200937 std::shared_ptr<std::list<InstrumentationListener*>> original(exception_caught_listeners_);
938 for (InstrumentationListener* listener : *original.get()) {
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000939 listener->ExceptionCaught(thread, exception_object);
Ian Rogers62d6c772013-02-27 08:32:07 -0800940 }
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000941 thread->SetException(exception_object);
Ian Rogers62d6c772013-02-27 08:32:07 -0800942 }
943}
944
945static void CheckStackDepth(Thread* self, const InstrumentationStackFrame& instrumentation_frame,
946 int delta)
947 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100948 size_t frame_id = StackVisitor::ComputeNumFrames(self, kInstrumentationStackWalk) + delta;
Ian Rogers62d6c772013-02-27 08:32:07 -0800949 if (frame_id != instrumentation_frame.frame_id_) {
950 LOG(ERROR) << "Expected frame_id=" << frame_id << " but found "
951 << instrumentation_frame.frame_id_;
952 StackVisitor::DescribeStack(self);
953 CHECK_EQ(frame_id, instrumentation_frame.frame_id_);
954 }
955}
956
957void Instrumentation::PushInstrumentationStackFrame(Thread* self, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700958 ArtMethod* method,
Jeff Hao9a916d32013-06-27 18:45:37 -0700959 uintptr_t lr, bool interpreter_entry) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800960 // We have a callee-save frame meaning this value is guaranteed to never be 0.
Nicolas Geoffray8e5bd182015-05-06 11:34:34 +0100961 size_t frame_id = StackVisitor::ComputeNumFrames(self, kInstrumentationStackWalk);
Ian Rogers62d6c772013-02-27 08:32:07 -0800962 std::deque<instrumentation::InstrumentationStackFrame>* stack = self->GetInstrumentationStack();
963 if (kVerboseInstrumentation) {
Brian Carlstrom2d888622013-07-18 17:02:00 -0700964 LOG(INFO) << "Entering " << PrettyMethod(method) << " from PC " << reinterpret_cast<void*>(lr);
Ian Rogers62d6c772013-02-27 08:32:07 -0800965 }
966 instrumentation::InstrumentationStackFrame instrumentation_frame(this_object, method, lr,
Jeff Hao9a916d32013-06-27 18:45:37 -0700967 frame_id, interpreter_entry);
Ian Rogers62d6c772013-02-27 08:32:07 -0800968 stack->push_front(instrumentation_frame);
969
Sebastien Hertz320deb22014-06-11 19:45:05 +0200970 if (!interpreter_entry) {
971 MethodEnterEvent(self, this_object, method, 0);
972 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800973}
974
Andreas Gamped58342c2014-06-05 14:18:08 -0700975TwoWordReturn Instrumentation::PopInstrumentationStackFrame(Thread* self, uintptr_t* return_pc,
976 uint64_t gpr_result,
977 uint64_t fpr_result) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800978 // Do the pop.
979 std::deque<instrumentation::InstrumentationStackFrame>* stack = self->GetInstrumentationStack();
980 CHECK_GT(stack->size(), 0U);
981 InstrumentationStackFrame instrumentation_frame = stack->front();
982 stack->pop_front();
983
984 // Set return PC and check the sanity of the stack.
985 *return_pc = instrumentation_frame.return_pc_;
986 CheckStackDepth(self, instrumentation_frame, 0);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700987 self->VerifyStack();
Ian Rogers62d6c772013-02-27 08:32:07 -0800988
Mathieu Chartiere401d142015-04-22 13:56:20 -0700989 ArtMethod* method = instrumentation_frame.method_;
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700990 uint32_t length;
991 char return_shorty = method->GetShorty(&length)[0];
Ian Rogers62d6c772013-02-27 08:32:07 -0800992 JValue return_value;
993 if (return_shorty == 'V') {
994 return_value.SetJ(0);
995 } else if (return_shorty == 'F' || return_shorty == 'D') {
996 return_value.SetJ(fpr_result);
997 } else {
998 return_value.SetJ(gpr_result);
999 }
1000 // TODO: improve the dex pc information here, requires knowledge of current PC as opposed to
1001 // return_pc.
1002 uint32_t dex_pc = DexFile::kDexNoIndex;
1003 mirror::Object* this_object = instrumentation_frame.this_object_;
Sebastien Hertz320deb22014-06-11 19:45:05 +02001004 if (!instrumentation_frame.interpreter_entry_) {
1005 MethodExitEvent(self, this_object, instrumentation_frame.method_, dex_pc, return_value);
1006 }
jeffhao725a9572012-11-13 18:20:12 -08001007
Sebastien Hertz138dbfc2013-12-04 18:15:25 +01001008 // Deoptimize if the caller needs to continue execution in the interpreter. Do nothing if we get
1009 // back to an upcall.
1010 NthCallerVisitor visitor(self, 1, true);
1011 visitor.WalkStack(true);
Sebastien Hertz270a0e12015-01-16 19:49:09 +01001012 bool deoptimize = (visitor.caller != nullptr) &&
Daniel Mihalyieb076692014-08-22 17:33:31 +02001013 (interpreter_stubs_installed_ || IsDeoptimized(visitor.caller) ||
1014 Dbg::IsForcedInterpreterNeededForUpcall(self, visitor.caller));
Ian Rogers62d6c772013-02-27 08:32:07 -08001015 if (deoptimize) {
1016 if (kVerboseInstrumentation) {
Sebastien Hertz270a0e12015-01-16 19:49:09 +01001017 LOG(INFO) << StringPrintf("Deoptimizing %s by returning from %s with result %#" PRIx64 " in ",
1018 PrettyMethod(visitor.caller).c_str(),
1019 PrettyMethod(method).c_str(),
1020 return_value.GetJ()) << *self;
Ian Rogers62d6c772013-02-27 08:32:07 -08001021 }
1022 self->SetDeoptimizationReturnValue(return_value);
Andreas Gamped58342c2014-06-05 14:18:08 -07001023 return GetTwoWordSuccessValue(*return_pc,
1024 reinterpret_cast<uintptr_t>(GetQuickDeoptimizationEntryPoint()));
Ian Rogers62d6c772013-02-27 08:32:07 -08001025 } else {
1026 if (kVerboseInstrumentation) {
Brian Carlstrom2d888622013-07-18 17:02:00 -07001027 LOG(INFO) << "Returning from " << PrettyMethod(method)
1028 << " to PC " << reinterpret_cast<void*>(*return_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -08001029 }
Andreas Gamped58342c2014-06-05 14:18:08 -07001030 return GetTwoWordSuccessValue(0, *return_pc);
Ian Rogers62d6c772013-02-27 08:32:07 -08001031 }
jeffhao725a9572012-11-13 18:20:12 -08001032}
1033
Ian Rogers62d6c772013-02-27 08:32:07 -08001034void Instrumentation::PopMethodForUnwind(Thread* self, bool is_deoptimization) const {
1035 // Do the pop.
1036 std::deque<instrumentation::InstrumentationStackFrame>* stack = self->GetInstrumentationStack();
1037 CHECK_GT(stack->size(), 0U);
1038 InstrumentationStackFrame instrumentation_frame = stack->front();
1039 // TODO: bring back CheckStackDepth(self, instrumentation_frame, 2);
1040 stack->pop_front();
1041
Mathieu Chartiere401d142015-04-22 13:56:20 -07001042 ArtMethod* method = instrumentation_frame.method_;
Ian Rogers62d6c772013-02-27 08:32:07 -08001043 if (is_deoptimization) {
1044 if (kVerboseInstrumentation) {
1045 LOG(INFO) << "Popping for deoptimization " << PrettyMethod(method);
1046 }
1047 } else {
1048 if (kVerboseInstrumentation) {
1049 LOG(INFO) << "Popping for unwind " << PrettyMethod(method);
1050 }
1051
1052 // Notify listeners of method unwind.
1053 // TODO: improve the dex pc information here, requires knowledge of current PC as opposed to
1054 // return_pc.
1055 uint32_t dex_pc = DexFile::kDexNoIndex;
1056 MethodUnwindEvent(self, instrumentation_frame.this_object_, method, dex_pc);
1057 }
1058}
1059
1060std::string InstrumentationStackFrame::Dump() const {
1061 std::ostringstream os;
1062 os << "Frame " << frame_id_ << " " << PrettyMethod(method_) << ":"
1063 << reinterpret_cast<void*>(return_pc_) << " this=" << reinterpret_cast<void*>(this_object_);
1064 return os.str();
1065}
1066
1067} // namespace instrumentation
jeffhao725a9572012-11-13 18:20:12 -08001068} // namespace art