blob: 90b5def9febf926000d0cf7874d4b4773af79c6f [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
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_INSTRUMENTATION_H_
18#define ART_RUNTIME_INSTRUMENTATION_H_
jeffhao725a9572012-11-13 18:20:12 -080019
Ian Rogers576ca0c2014-06-06 15:58:22 -070020#include <stdint.h>
Ian Rogers576ca0c2014-06-06 15:58:22 -070021#include <list>
Mathieu Chartiere401d142015-04-22 13:56:20 -070022#include <unordered_set>
Ian Rogers576ca0c2014-06-06 15:58:22 -070023
Ian Rogersd582fa42014-11-05 23:46:43 -080024#include "arch/instruction_set.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070025#include "base/enums.h"
Elliott Hughes76160052012-12-12 16:31:20 -080026#include "base/macros.h"
Ian Rogers719d1a32014-03-06 12:13:39 -080027#include "base/mutex.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070028#include "gc_root.h"
Sebastien Hertz0462c4c2015-04-01 16:34:17 +020029#include "safe_map.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080030
jeffhao725a9572012-11-13 18:20:12 -080031namespace art {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080032namespace mirror {
Brian Carlstromea46f952013-07-30 01:26:50 -070033 class Class;
34 class Object;
35 class Throwable;
Ian Rogers62d6c772013-02-27 08:32:07 -080036} // namespace mirror
Mathieu Chartierc7853442015-03-27 14:35:38 -070037class ArtField;
Mathieu Chartiere401d142015-04-22 13:56:20 -070038class ArtMethod;
Alex Lightd7661582017-05-01 13:48:16 -070039template <typename T> class Handle;
Ian Rogers62d6c772013-02-27 08:32:07 -080040union JValue;
jeffhao725a9572012-11-13 18:20:12 -080041class Thread;
42
Ian Rogers62d6c772013-02-27 08:32:07 -080043namespace instrumentation {
jeffhao725a9572012-11-13 18:20:12 -080044
Sebastien Hertzee1997a2013-09-19 14:47:09 +020045// Interpreter handler tables.
46enum InterpreterHandlerTable {
47 kMainHandlerTable = 0, // Main handler table: no suspend check, no instrumentation.
48 kAlternativeHandlerTable = 1, // Alternative handler table: suspend check and/or instrumentation
49 // enabled.
50 kNumHandlerTables
51};
52
Andreas Gampe40da2862015-02-27 12:49:04 -080053// Do we want to deoptimize for method entry and exit listeners or just try to intercept
54// invocations? Deoptimization forces all code to run in the interpreter and considerably hurts the
55// application's performance.
56static constexpr bool kDeoptimizeForAccurateMethodEntryExitListeners = true;
57
Ian Rogers62d6c772013-02-27 08:32:07 -080058// Instrumentation event listener API. Registered listeners will get the appropriate call back for
59// the events they are listening for. The call backs supply the thread, method and dex_pc the event
60// occurred upon. The thread may or may not be Thread::Current().
61struct InstrumentationListener {
62 InstrumentationListener() {}
63 virtual ~InstrumentationListener() {}
64
65 // Call-back for when a method is entered.
Alex Lightd7661582017-05-01 13:48:16 -070066 virtual void MethodEntered(Thread* thread,
67 Handle<mirror::Object> this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -070068 ArtMethod* method,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070069 uint32_t dex_pc) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
Ian Rogers62d6c772013-02-27 08:32:07 -080070
Alex Lightd7661582017-05-01 13:48:16 -070071 virtual void MethodExited(Thread* thread,
72 Handle<mirror::Object> this_object,
73 ArtMethod* method,
74 uint32_t dex_pc,
75 Handle<mirror::Object> return_value)
76 REQUIRES_SHARED(Locks::mutator_lock_);
77
78 // Call-back for when a method is exited. The implementor should either handler-ize the return
79 // value (if appropriate) or use the alternate MethodExited callback instead if they need to
80 // go through a suspend point.
81 virtual void MethodExited(Thread* thread,
82 Handle<mirror::Object> this_object,
83 ArtMethod* method,
84 uint32_t dex_pc,
Ian Rogers62d6c772013-02-27 08:32:07 -080085 const JValue& return_value)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070086 REQUIRES_SHARED(Locks::mutator_lock_) = 0;
Ian Rogers62d6c772013-02-27 08:32:07 -080087
88 // Call-back for when a method is popped due to an exception throw. A method will either cause a
89 // MethodExited call-back or a MethodUnwind call-back when its activation is removed.
Alex Lightd7661582017-05-01 13:48:16 -070090 virtual void MethodUnwind(Thread* thread,
91 Handle<mirror::Object> this_object,
92 ArtMethod* method,
93 uint32_t dex_pc)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070094 REQUIRES_SHARED(Locks::mutator_lock_) = 0;
Ian Rogers62d6c772013-02-27 08:32:07 -080095
96 // Call-back for when the dex pc moves in a method.
Alex Lightd7661582017-05-01 13:48:16 -070097 virtual void DexPcMoved(Thread* thread,
98 Handle<mirror::Object> this_object,
99 ArtMethod* method,
100 uint32_t new_dex_pc)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700101 REQUIRES_SHARED(Locks::mutator_lock_) = 0;
Ian Rogers62d6c772013-02-27 08:32:07 -0800102
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200103 // Call-back for when we read from a field.
Alex Lightd7661582017-05-01 13:48:16 -0700104 virtual void FieldRead(Thread* thread,
105 Handle<mirror::Object> this_object,
106 ArtMethod* method,
107 uint32_t dex_pc,
108 ArtField* field) = 0;
109
110 virtual void FieldWritten(Thread* thread,
111 Handle<mirror::Object> this_object,
112 ArtMethod* method,
113 uint32_t dex_pc,
114 ArtField* field,
115 Handle<mirror::Object> field_value)
116 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200117
118 // Call-back for when we write into a field.
Alex Lightd7661582017-05-01 13:48:16 -0700119 virtual void FieldWritten(Thread* thread,
120 Handle<mirror::Object> this_object,
121 ArtMethod* method,
122 uint32_t dex_pc,
123 ArtField* field,
124 const JValue& field_value)
125 REQUIRES_SHARED(Locks::mutator_lock_) = 0;
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200126
Ian Rogers62d6c772013-02-27 08:32:07 -0800127 // Call-back when an exception is caught.
Alex Lightd7661582017-05-01 13:48:16 -0700128 virtual void ExceptionCaught(Thread* thread,
129 Handle<mirror::Throwable> exception_object)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700130 REQUIRES_SHARED(Locks::mutator_lock_) = 0;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800131
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000132 // Call-back for when we execute a branch.
133 virtual void Branch(Thread* thread,
134 ArtMethod* method,
135 uint32_t dex_pc,
136 int32_t dex_pc_offset)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700137 REQUIRES_SHARED(Locks::mutator_lock_) = 0;
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100138
139 // Call-back for when we get an invokevirtual or an invokeinterface.
140 virtual void InvokeVirtualOrInterface(Thread* thread,
Alex Lightd7661582017-05-01 13:48:16 -0700141 Handle<mirror::Object> this_object,
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100142 ArtMethod* caller,
143 uint32_t dex_pc,
144 ArtMethod* callee)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700145 REQUIRES_SHARED(Locks::mutator_lock_) = 0;
jeffhao725a9572012-11-13 18:20:12 -0800146};
147
Ian Rogers62d6c772013-02-27 08:32:07 -0800148// Instrumentation is a catch-all for when extra information is required from the runtime. The
149// typical use for instrumentation is for profiling and debugging. Instrumentation may add stubs
150// to method entry and exit, it may also force execution to be switched to the interpreter and
151// trigger deoptimization.
jeffhao725a9572012-11-13 18:20:12 -0800152class Instrumentation {
153 public:
Ian Rogers62d6c772013-02-27 08:32:07 -0800154 enum InstrumentationEvent {
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800155 kMethodEntered = 0x1,
156 kMethodExited = 0x2,
157 kMethodUnwind = 0x4,
158 kDexPcMoved = 0x8,
159 kFieldRead = 0x10,
160 kFieldWritten = 0x20,
161 kExceptionCaught = 0x40,
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000162 kBranch = 0x80,
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100163 kInvokeVirtualOrInterface = 0x100,
Ian Rogers62d6c772013-02-27 08:32:07 -0800164 };
jeffhao725a9572012-11-13 18:20:12 -0800165
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200166 enum class InstrumentationLevel {
167 kInstrumentNothing, // execute without instrumentation
168 kInstrumentWithInstrumentationStubs, // execute with instrumentation entry/exit stubs
169 kInstrumentWithInterpreter // execute with interpreter
170 };
171
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700172 Instrumentation();
jeffhao725a9572012-11-13 18:20:12 -0800173
Ian Rogers62d6c772013-02-27 08:32:07 -0800174 // Add a listener to be notified of the masked together sent of instrumentation events. This
175 // suspend the runtime to install stubs. You are expected to hold the mutator lock as a proxy
176 // for saying you should have suspended all threads (installing stubs while threads are running
177 // will break).
178 void AddListener(InstrumentationListener* listener, uint32_t events)
Mathieu Chartier90443472015-07-16 20:32:27 -0700179 REQUIRES(Locks::mutator_lock_, !Locks::thread_list_lock_, !Locks::classlinker_classes_lock_);
jeffhao725a9572012-11-13 18:20:12 -0800180
Ian Rogers62d6c772013-02-27 08:32:07 -0800181 // Removes a listener possibly removing instrumentation stubs.
182 void RemoveListener(InstrumentationListener* listener, uint32_t events)
Mathieu Chartier90443472015-07-16 20:32:27 -0700183 REQUIRES(Locks::mutator_lock_, !Locks::thread_list_lock_, !Locks::classlinker_classes_lock_);
jeffhao725a9572012-11-13 18:20:12 -0800184
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100185 // Deoptimization.
Sebastien Hertza76a6d42014-03-20 16:40:17 +0100186 void EnableDeoptimization()
Mathieu Chartieraa516822015-10-02 15:53:37 -0700187 REQUIRES(Locks::mutator_lock_)
188 REQUIRES(!deoptimized_methods_lock_);
189 // Calls UndeoptimizeEverything which may visit class linker classes through ConfigureStubs.
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200190 void DisableDeoptimization(const char* key)
Mathieu Chartieraa516822015-10-02 15:53:37 -0700191 REQUIRES(Locks::mutator_lock_, Roles::uninterruptible_)
192 REQUIRES(!deoptimized_methods_lock_);
193
Sebastien Hertza76a6d42014-03-20 16:40:17 +0100194 bool AreAllMethodsDeoptimized() const {
195 return interpreter_stubs_installed_;
196 }
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700197 bool ShouldNotifyMethodEnterExitEvents() const REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100198
199 // Executes everything with interpreter.
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200200 void DeoptimizeEverything(const char* key)
Mathieu Chartieraa516822015-10-02 15:53:37 -0700201 REQUIRES(Locks::mutator_lock_, Roles::uninterruptible_)
202 REQUIRES(!Locks::thread_list_lock_,
203 !Locks::classlinker_classes_lock_,
Mathieu Chartier90443472015-07-16 20:32:27 -0700204 !deoptimized_methods_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100205
Mathieu Chartieraa516822015-10-02 15:53:37 -0700206 // Executes everything with compiled code (or interpreter if there is no code). May visit class
207 // linker classes through ConfigureStubs.
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200208 void UndeoptimizeEverything(const char* key)
Mathieu Chartieraa516822015-10-02 15:53:37 -0700209 REQUIRES(Locks::mutator_lock_, Roles::uninterruptible_)
210 REQUIRES(!Locks::thread_list_lock_,
211 !Locks::classlinker_classes_lock_,
Mathieu Chartier90443472015-07-16 20:32:27 -0700212 !deoptimized_methods_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100213
214 // Deoptimize a method by forcing its execution with the interpreter. Nevertheless, a static
215 // method (except a class initializer) set to the resolution trampoline will be deoptimized only
216 // once its declaring class is initialized.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700217 void Deoptimize(ArtMethod* method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700218 REQUIRES(Locks::mutator_lock_, !Locks::thread_list_lock_, !deoptimized_methods_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100219
220 // Undeoptimze the method by restoring its entrypoints. Nevertheless, a static method
221 // (except a class initializer) set to the resolution trampoline will be updated only once its
222 // declaring class is initialized.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700223 void Undeoptimize(ArtMethod* method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700224 REQUIRES(Locks::mutator_lock_, !Locks::thread_list_lock_, !deoptimized_methods_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100225
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200226 // Indicates whether the method has been deoptimized so it is executed with the interpreter.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700227 bool IsDeoptimized(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700228 REQUIRES(!deoptimized_methods_lock_) REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100229
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200230 // Enable method tracing by installing instrumentation entry/exit stubs or interpreter.
231 void EnableMethodTracing(const char* key,
232 bool needs_interpreter = kDeoptimizeForAccurateMethodEntryExitListeners)
Mathieu Chartieraa516822015-10-02 15:53:37 -0700233 REQUIRES(Locks::mutator_lock_, Roles::uninterruptible_)
234 REQUIRES(!Locks::thread_list_lock_,
235 !Locks::classlinker_classes_lock_,
Mathieu Chartier90443472015-07-16 20:32:27 -0700236 !deoptimized_methods_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100237
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200238 // Disable method tracing by uninstalling instrumentation entry/exit stubs or interpreter.
239 void DisableMethodTracing(const char* key)
Mathieu Chartieraa516822015-10-02 15:53:37 -0700240 REQUIRES(Locks::mutator_lock_, Roles::uninterruptible_)
241 REQUIRES(!Locks::thread_list_lock_,
242 !Locks::classlinker_classes_lock_,
Mathieu Chartier90443472015-07-16 20:32:27 -0700243 !deoptimized_methods_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100244
Sebastien Hertzed2be172014-08-19 15:33:43 +0200245 InterpreterHandlerTable GetInterpreterHandlerTable() const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700246 REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertzee1997a2013-09-19 14:47:09 +0200247 return interpreter_handler_table_;
248 }
249
Mathieu Chartier90443472015-07-16 20:32:27 -0700250 void InstrumentQuickAllocEntryPoints() REQUIRES(!Locks::instrument_entrypoints_lock_);
251 void UninstrumentQuickAllocEntryPoints() REQUIRES(!Locks::instrument_entrypoints_lock_);
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700252 void InstrumentQuickAllocEntryPointsLocked()
Mathieu Chartier90443472015-07-16 20:32:27 -0700253 REQUIRES(Locks::instrument_entrypoints_lock_, !Locks::thread_list_lock_,
254 !Locks::runtime_shutdown_lock_);
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700255 void UninstrumentQuickAllocEntryPointsLocked()
Mathieu Chartier90443472015-07-16 20:32:27 -0700256 REQUIRES(Locks::instrument_entrypoints_lock_, !Locks::thread_list_lock_,
257 !Locks::runtime_shutdown_lock_);
258 void ResetQuickAllocEntryPoints() REQUIRES(Locks::runtime_shutdown_lock_);
Ian Rogersfa824272013-11-05 16:12:57 -0800259
Ian Rogers62d6c772013-02-27 08:32:07 -0800260 // Update the code of a method respecting any installed stubs.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700261 void UpdateMethodsCode(ArtMethod* method, const void* quick_code)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700262 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!deoptimized_methods_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800263
Mingyao Yang3fd448a2016-05-10 14:30:41 -0700264 // Update the code of a method respecting any installed stubs from debugger.
Nicolas Geoffraya0619e22016-12-20 13:57:43 +0000265 void UpdateMethodsCodeForJavaDebuggable(ArtMethod* method, const void* quick_code)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700266 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!deoptimized_methods_lock_);
Mingyao Yang3fd448a2016-05-10 14:30:41 -0700267
Ian Rogers62d6c772013-02-27 08:32:07 -0800268 // Get the quick code for the given method. More efficient than asking the class linker as it
269 // will short-cut to GetCode if instrumentation and static method resolution stubs aren't
270 // installed.
Andreas Gampe542451c2016-07-26 09:02:02 -0700271 const void* GetQuickCodeFor(ArtMethod* method, PointerSize pointer_size) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700272 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800273
274 void ForceInterpretOnly() {
275 interpret_only_ = true;
276 forced_interpret_only_ = true;
277 }
278
Brian Carlstromea46f952013-07-30 01:26:50 -0700279 // Called by ArtMethod::Invoke to determine dispatch mechanism.
Ian Rogers62d6c772013-02-27 08:32:07 -0800280 bool InterpretOnly() const {
281 return interpret_only_;
282 }
283
Hiroshi Yamauchi563b47c2014-02-28 17:18:37 -0800284 bool IsForcedInterpretOnly() const {
285 return forced_interpret_only_;
286 }
287
Mingyao Yang6ea1a0e2016-01-29 12:12:49 -0800288 // Code is in boot image oat file which isn't compiled as debuggable.
289 // Need debug version (interpreter or jitted) if that's the case.
Nicolas Geoffraya0619e22016-12-20 13:57:43 +0000290 bool NeedDebugVersionFor(ArtMethod* method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700291 REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang6ea1a0e2016-01-29 12:12:49 -0800292
Ian Rogers62d6c772013-02-27 08:32:07 -0800293 bool AreExitStubsInstalled() const {
294 return instrumentation_stubs_installed_;
295 }
296
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700297 bool HasMethodEntryListeners() const REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz74109f62013-06-07 17:40:09 +0200298 return have_method_entry_listeners_;
299 }
300
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700301 bool HasMethodExitListeners() const REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz74109f62013-06-07 17:40:09 +0200302 return have_method_exit_listeners_;
303 }
304
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700305 bool HasMethodUnwindListeners() const REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200306 return have_method_unwind_listeners_;
307 }
308
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700309 bool HasDexPcListeners() const REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz74109f62013-06-07 17:40:09 +0200310 return have_dex_pc_listeners_;
311 }
312
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700313 bool HasFieldReadListeners() const REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200314 return have_field_read_listeners_;
315 }
316
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700317 bool HasFieldWriteListeners() const REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200318 return have_field_write_listeners_;
319 }
320
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700321 bool HasExceptionCaughtListeners() const REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz9f102032014-05-23 08:59:42 +0200322 return have_exception_caught_listeners_;
323 }
324
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700325 bool HasBranchListeners() const REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000326 return have_branch_listeners_;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800327 }
328
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700329 bool HasInvokeVirtualOrInterfaceListeners() const REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100330 return have_invoke_virtual_or_interface_listeners_;
331 }
332
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700333 bool IsActive() const REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertzee1997a2013-09-19 14:47:09 +0200334 return have_dex_pc_listeners_ || have_method_entry_listeners_ || have_method_exit_listeners_ ||
Sebastien Hertz42cd43f2014-05-13 14:15:41 +0200335 have_field_read_listeners_ || have_field_write_listeners_ ||
Bill Buzbeefd522f92016-02-11 22:37:42 +0000336 have_exception_caught_listeners_ || have_method_unwind_listeners_ ||
337 have_branch_listeners_ || have_invoke_virtual_or_interface_listeners_;
338 }
339
340 // Any instrumentation *other* than what is needed for Jit profiling active?
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700341 bool NonJitProfilingActive() const REQUIRES_SHARED(Locks::mutator_lock_) {
Bill Buzbeefd522f92016-02-11 22:37:42 +0000342 return have_dex_pc_listeners_ || have_method_exit_listeners_ ||
343 have_field_read_listeners_ || have_field_write_listeners_ ||
Bill Buzbee1d011d92016-04-04 16:59:29 +0000344 have_exception_caught_listeners_ || have_method_unwind_listeners_ ||
345 have_branch_listeners_;
Sebastien Hertzee1997a2013-09-19 14:47:09 +0200346 }
347
Ian Rogers62d6c772013-02-27 08:32:07 -0800348 // Inform listeners that a method has been entered. A dex PC is provided as we may install
349 // listeners into executing code and get method enter events for methods already on the stack.
350 void MethodEnterEvent(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700351 ArtMethod* method, uint32_t dex_pc) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700352 REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz74109f62013-06-07 17:40:09 +0200353 if (UNLIKELY(HasMethodEntryListeners())) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800354 MethodEnterEventImpl(thread, this_object, method, dex_pc);
355 }
356 }
357
358 // Inform listeners that a method has been exited.
Alex Lightd7661582017-05-01 13:48:16 -0700359 void MethodExitEvent(Thread* thread,
360 mirror::Object* this_object,
361 ArtMethod* method,
362 uint32_t dex_pc,
Ian Rogers62d6c772013-02-27 08:32:07 -0800363 const JValue& return_value) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700364 REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz74109f62013-06-07 17:40:09 +0200365 if (UNLIKELY(HasMethodExitListeners())) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800366 MethodExitEventImpl(thread, this_object, method, dex_pc, return_value);
367 }
368 }
369
370 // Inform listeners that a method has been exited due to an exception.
371 void MethodUnwindEvent(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700372 ArtMethod* method, uint32_t dex_pc) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700373 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800374
375 // Inform listeners that the dex pc has moved (only supported by the interpreter).
376 void DexPcMovedEvent(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700377 ArtMethod* method, uint32_t dex_pc) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700378 REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz74109f62013-06-07 17:40:09 +0200379 if (UNLIKELY(HasDexPcListeners())) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800380 DexPcMovedEventImpl(thread, this_object, method, dex_pc);
381 }
382 }
383
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000384 // Inform listeners that a branch has been taken (only supported by the interpreter).
385 void Branch(Thread* thread, ArtMethod* method, uint32_t dex_pc, int32_t offset) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700386 REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000387 if (UNLIKELY(HasBranchListeners())) {
388 BranchImpl(thread, method, dex_pc, offset);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800389 }
390 }
391
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200392 // Inform listeners that we read a field (only supported by the interpreter).
393 void FieldReadEvent(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700394 ArtMethod* method, uint32_t dex_pc,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700395 ArtField* field) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700396 REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200397 if (UNLIKELY(HasFieldReadListeners())) {
398 FieldReadEventImpl(thread, this_object, method, dex_pc, field);
399 }
400 }
401
402 // Inform listeners that we write a field (only supported by the interpreter).
403 void FieldWriteEvent(Thread* thread, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700404 ArtMethod* method, uint32_t dex_pc,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700405 ArtField* field, const JValue& field_value) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700406 REQUIRES_SHARED(Locks::mutator_lock_) {
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200407 if (UNLIKELY(HasFieldWriteListeners())) {
408 FieldWriteEventImpl(thread, this_object, method, dex_pc, field, field_value);
409 }
410 }
411
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100412 void InvokeVirtualOrInterface(Thread* thread,
413 mirror::Object* this_object,
414 ArtMethod* caller,
415 uint32_t dex_pc,
416 ArtMethod* callee) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700417 REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100418 if (UNLIKELY(HasInvokeVirtualOrInterfaceListeners())) {
419 InvokeVirtualOrInterfaceImpl(thread, this_object, caller, dex_pc, callee);
420 }
421 }
422
Ian Rogers62d6c772013-02-27 08:32:07 -0800423 // Inform listeners that an exception was caught.
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000424 void ExceptionCaughtEvent(Thread* thread, mirror::Throwable* exception_object) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700425 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800426
427 // Called when an instrumented method is entered. The intended link register (lr) is saved so
428 // that returning causes a branch to the method exit stub. Generates method enter events.
429 void PushInstrumentationStackFrame(Thread* self, mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700430 ArtMethod* method, uintptr_t lr,
Jeff Hao9a916d32013-06-27 18:45:37 -0700431 bool interpreter_entry)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700432 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800433
434 // Called when an instrumented method is exited. Removes the pushed instrumentation frame
Alex Lightb7edcda2017-04-27 13:20:31 -0700435 // returning the intended link register. Generates method exit events. The gpr_result and
436 // fpr_result pointers are pointers to the locations where the integer/pointer and floating point
437 // result values of the function are stored. Both pointers must always be valid but the values
438 // held there will only be meaningful if interpreted as the appropriate type given the function
439 // being returned from.
Andreas Gamped58342c2014-06-05 14:18:08 -0700440 TwoWordReturn PopInstrumentationStackFrame(Thread* self, uintptr_t* return_pc,
Alex Lightb7edcda2017-04-27 13:20:31 -0700441 uint64_t* gpr_result, uint64_t* fpr_result)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700442 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!deoptimized_methods_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800443
444 // Pops an instrumentation frame from the current thread and generate an unwind event.
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700445 // Returns the return pc for the instrumentation frame that's popped.
446 uintptr_t PopMethodForUnwind(Thread* self, bool is_deoptimization) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700447 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800448
449 // Call back for configure stubs.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700450 void InstallStubsForClass(mirror::Class* klass) REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier90443472015-07-16 20:32:27 -0700451 REQUIRES(!deoptimized_methods_lock_);
jeffhao725a9572012-11-13 18:20:12 -0800452
Mathieu Chartiere401d142015-04-22 13:56:20 -0700453 void InstallStubsForMethod(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700454 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!deoptimized_methods_lock_);
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100455
Mingyao Yang99170c62015-07-06 11:10:37 -0700456 // Install instrumentation exit stub on every method of the stack of the given thread.
457 // This is used by the debugger to cause a deoptimization of the thread's stack after updating
458 // local variable(s).
459 void InstrumentThreadStack(Thread* thread)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700460 REQUIRES_SHARED(Locks::mutator_lock_)
Mingyao Yang99170c62015-07-06 11:10:37 -0700461 REQUIRES(!Locks::thread_list_lock_);
462
Sebastien Hertzb2feaaf2015-10-12 13:40:10 +0000463 static size_t ComputeFrameId(Thread* self,
464 size_t frame_depth,
465 size_t inlined_frames_before_frame)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700466 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertzb2feaaf2015-10-12 13:40:10 +0000467
Mathieu Chartiereebc3af2016-02-29 18:13:38 -0800468 // Does not hold lock, used to check if someone changed from not instrumented to instrumented
469 // during a GC suspend point.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700470 bool AllocEntrypointsInstrumented() const REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier50e93312016-03-16 11:25:29 -0700471 return alloc_entrypoints_instrumented_;
Mathieu Chartiereebc3af2016-02-29 18:13:38 -0800472 }
473
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200474 InstrumentationLevel GetCurrentInstrumentationLevel() const;
475
Alex Lightdba61482016-12-21 08:20:29 -0800476 private:
477 // Returns true if moving to the given instrumentation level requires the installation of stubs.
478 // False otherwise.
479 bool RequiresInstrumentationInstallation(InstrumentationLevel new_level) const;
480
Ian Rogers62d6c772013-02-27 08:32:07 -0800481 // Does the job of installing or removing instrumentation code within methods.
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200482 // In order to support multiple clients using instrumentation at the same time,
483 // the caller must pass a unique key (a string) identifying it so we remind which
484 // instrumentation level it needs. Therefore the current instrumentation level
485 // becomes the highest instrumentation level required by a client.
486 void ConfigureStubs(const char* key, InstrumentationLevel desired_instrumentation_level)
Mathieu Chartieraa516822015-10-02 15:53:37 -0700487 REQUIRES(Locks::mutator_lock_, Roles::uninterruptible_)
488 REQUIRES(!deoptimized_methods_lock_,
489 !Locks::thread_list_lock_,
Mathieu Chartier90443472015-07-16 20:32:27 -0700490 !Locks::classlinker_classes_lock_);
jeffhao725a9572012-11-13 18:20:12 -0800491
Mathieu Chartier90443472015-07-16 20:32:27 -0700492 void UpdateInterpreterHandlerTable() REQUIRES(Locks::mutator_lock_) {
buzbee1452bee2015-03-06 14:43:04 -0800493 /*
494 * TUNING: Dalvik's mterp stashes the actual current handler table base in a
495 * tls field. For Arm, this enables all suspend, debug & tracing checks to be
496 * collapsed into a single conditionally-executed ldw instruction.
497 * Move to Dalvik-style handler-table management for both the goto interpreter and
498 * mterp.
499 */
Sebastien Hertzee1997a2013-09-19 14:47:09 +0200500 interpreter_handler_table_ = IsActive() ? kAlternativeHandlerTable : kMainHandlerTable;
501 }
502
Mathieu Chartier661974a2014-01-09 11:23:53 -0800503 // No thread safety analysis to get around SetQuickAllocEntryPointsInstrumented requiring
504 // exclusive access to mutator lock which you can't get if the runtime isn't started.
Mathieu Chartier9ef78b52014-09-25 17:03:12 -0700505 void SetEntrypointsInstrumented(bool instrumented) NO_THREAD_SAFETY_ANALYSIS;
Mathieu Chartier661974a2014-01-09 11:23:53 -0800506
Alex Lightd7661582017-05-01 13:48:16 -0700507 void MethodEnterEventImpl(Thread* thread,
508 ObjPtr<mirror::Object> this_object,
509 ArtMethod* method,
510 uint32_t dex_pc) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700511 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightd7661582017-05-01 13:48:16 -0700512 void MethodExitEventImpl(Thread* thread,
513 ObjPtr<mirror::Object> this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700514 ArtMethod* method,
Alex Lightd7661582017-05-01 13:48:16 -0700515 uint32_t dex_pc,
516 const JValue& return_value) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700517 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightd7661582017-05-01 13:48:16 -0700518 void DexPcMovedEventImpl(Thread* thread,
519 ObjPtr<mirror::Object> this_object,
520 ArtMethod* method,
521 uint32_t dex_pc) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700522 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000523 void BranchImpl(Thread* thread, ArtMethod* method, uint32_t dex_pc, int32_t offset) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700524 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100525 void InvokeVirtualOrInterfaceImpl(Thread* thread,
Alex Lightd7661582017-05-01 13:48:16 -0700526 ObjPtr<mirror::Object> this_object,
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100527 ArtMethod* caller,
528 uint32_t dex_pc,
529 ArtMethod* callee) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700530 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightd7661582017-05-01 13:48:16 -0700531 void FieldReadEventImpl(Thread* thread,
532 ObjPtr<mirror::Object> this_object,
533 ArtMethod* method,
534 uint32_t dex_pc,
535 ArtField* field) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700536 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightd7661582017-05-01 13:48:16 -0700537 void FieldWriteEventImpl(Thread* thread,
538 ObjPtr<mirror::Object> this_object,
539 ArtMethod* method,
540 uint32_t dex_pc,
541 ArtField* field,
542 const JValue& field_value) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700543 REQUIRES_SHARED(Locks::mutator_lock_);
jeffhao725a9572012-11-13 18:20:12 -0800544
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700545 // Read barrier-aware utility functions for accessing deoptimized_methods_
Mathieu Chartiere401d142015-04-22 13:56:20 -0700546 bool AddDeoptimizedMethod(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700547 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(deoptimized_methods_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700548 bool IsDeoptimizedMethod(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700549 REQUIRES_SHARED(Locks::mutator_lock_, deoptimized_methods_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700550 bool RemoveDeoptimizedMethod(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700551 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(deoptimized_methods_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700552 ArtMethod* BeginDeoptimizedMethod()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700553 REQUIRES_SHARED(Locks::mutator_lock_, deoptimized_methods_lock_);
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700554 bool IsDeoptimizedMethodsEmpty() const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700555 REQUIRES_SHARED(Locks::mutator_lock_, deoptimized_methods_lock_);
Mingyao Yang3fd448a2016-05-10 14:30:41 -0700556 void UpdateMethodsCodeImpl(ArtMethod* method, const void* quick_code)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700557 REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!deoptimized_methods_lock_);
Mingyao Yang3fd448a2016-05-10 14:30:41 -0700558
Hiroshi Yamauchi799eb3a2014-07-18 15:38:17 -0700559
Brian Carlstromea46f952013-07-30 01:26:50 -0700560 // Have we hijacked ArtMethod::code_ so that it calls instrumentation/interpreter code?
Ian Rogers62d6c772013-02-27 08:32:07 -0800561 bool instrumentation_stubs_installed_;
562
Brian Carlstromea46f952013-07-30 01:26:50 -0700563 // Have we hijacked ArtMethod::code_ to reference the enter/exit stubs?
Ian Rogers62d6c772013-02-27 08:32:07 -0800564 bool entry_exit_stubs_installed_;
565
Brian Carlstromea46f952013-07-30 01:26:50 -0700566 // Have we hijacked ArtMethod::code_ to reference the enter interpreter stub?
Ian Rogers62d6c772013-02-27 08:32:07 -0800567 bool interpreter_stubs_installed_;
568
569 // Do we need the fidelity of events that we only get from running within the interpreter?
570 bool interpret_only_;
571
572 // Did the runtime request we only run in the interpreter? ie -Xint mode.
573 bool forced_interpret_only_;
574
575 // Do we have any listeners for method entry events? Short-cut to avoid taking the
576 // instrumentation_lock_.
Sebastien Hertzed2be172014-08-19 15:33:43 +0200577 bool have_method_entry_listeners_ GUARDED_BY(Locks::mutator_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800578
579 // Do we have any listeners for method exit events? Short-cut to avoid taking the
580 // instrumentation_lock_.
Sebastien Hertzed2be172014-08-19 15:33:43 +0200581 bool have_method_exit_listeners_ GUARDED_BY(Locks::mutator_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800582
583 // Do we have any listeners for method unwind events? Short-cut to avoid taking the
584 // instrumentation_lock_.
Sebastien Hertzed2be172014-08-19 15:33:43 +0200585 bool have_method_unwind_listeners_ GUARDED_BY(Locks::mutator_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800586
587 // Do we have any listeners for dex move events? Short-cut to avoid taking the
588 // instrumentation_lock_.
Sebastien Hertzed2be172014-08-19 15:33:43 +0200589 bool have_dex_pc_listeners_ GUARDED_BY(Locks::mutator_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800590
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200591 // Do we have any listeners for field read events? Short-cut to avoid taking the
592 // instrumentation_lock_.
Sebastien Hertzed2be172014-08-19 15:33:43 +0200593 bool have_field_read_listeners_ GUARDED_BY(Locks::mutator_lock_);
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200594
595 // Do we have any listeners for field write events? Short-cut to avoid taking the
596 // instrumentation_lock_.
Sebastien Hertzed2be172014-08-19 15:33:43 +0200597 bool have_field_write_listeners_ GUARDED_BY(Locks::mutator_lock_);
Sebastien Hertz3f52eaf2014-04-04 17:50:18 +0200598
Ian Rogers62d6c772013-02-27 08:32:07 -0800599 // Do we have any exception caught listeners? Short-cut to avoid taking the instrumentation_lock_.
Sebastien Hertzed2be172014-08-19 15:33:43 +0200600 bool have_exception_caught_listeners_ GUARDED_BY(Locks::mutator_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800601
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000602 // Do we have any branch listeners? Short-cut to avoid taking the instrumentation_lock_.
603 bool have_branch_listeners_ GUARDED_BY(Locks::mutator_lock_);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800604
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100605 // Do we have any invoke listeners? Short-cut to avoid taking the instrumentation_lock_.
606 bool have_invoke_virtual_or_interface_listeners_ GUARDED_BY(Locks::mutator_lock_);
607
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200608 // Contains the instrumentation level required by each client of the instrumentation identified
609 // by a string key.
610 typedef SafeMap<const char*, InstrumentationLevel> InstrumentationLevelTable;
611 InstrumentationLevelTable requested_instrumentation_levels_ GUARDED_BY(Locks::mutator_lock_);
612
Ian Rogers62d6c772013-02-27 08:32:07 -0800613 // The event listeners, written to with the mutator_lock_ exclusively held.
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000614 // Mutators must be able to iterate over these lists concurrently, that is, with listeners being
615 // added or removed while iterating. The modifying thread holds exclusive lock,
616 // so other threads cannot iterate (i.e. read the data of the list) at the same time but they
617 // do keep iterators that need to remain valid. This is the reason these listeners are std::list
618 // and not for example std::vector: the existing storage for a std::list does not move.
619 // Note that mutators cannot make a copy of these lists before iterating, as the instrumentation
620 // listeners can also be deleted concurrently.
621 // As a result, these lists are never trimmed. That's acceptable given the low number of
622 // listeners we have.
Ian Rogers62d6c772013-02-27 08:32:07 -0800623 std::list<InstrumentationListener*> method_entry_listeners_ GUARDED_BY(Locks::mutator_lock_);
624 std::list<InstrumentationListener*> method_exit_listeners_ GUARDED_BY(Locks::mutator_lock_);
625 std::list<InstrumentationListener*> method_unwind_listeners_ GUARDED_BY(Locks::mutator_lock_);
Nicolas Geoffray81f0f952016-01-20 16:25:19 +0000626 std::list<InstrumentationListener*> branch_listeners_ GUARDED_BY(Locks::mutator_lock_);
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100627 std::list<InstrumentationListener*> invoke_virtual_or_interface_listeners_
628 GUARDED_BY(Locks::mutator_lock_);
Nicolas Geoffray514a6162015-11-03 11:44:24 +0000629 std::list<InstrumentationListener*> dex_pc_listeners_ GUARDED_BY(Locks::mutator_lock_);
630 std::list<InstrumentationListener*> field_read_listeners_ GUARDED_BY(Locks::mutator_lock_);
631 std::list<InstrumentationListener*> field_write_listeners_ GUARDED_BY(Locks::mutator_lock_);
632 std::list<InstrumentationListener*> exception_caught_listeners_ GUARDED_BY(Locks::mutator_lock_);
jeffhao725a9572012-11-13 18:20:12 -0800633
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100634 // The set of methods being deoptimized (by the debugger) which must be executed with interpreter
635 // only.
Mathieu Chartier3b05e9b2014-03-25 09:29:43 -0700636 mutable ReaderWriterMutex deoptimized_methods_lock_ DEFAULT_MUTEX_ACQUIRED_AFTER;
Mathieu Chartiere401d142015-04-22 13:56:20 -0700637 std::unordered_set<ArtMethod*> deoptimized_methods_ GUARDED_BY(deoptimized_methods_lock_);
Sebastien Hertz11d40c22014-02-19 18:00:17 +0100638 bool deoptimization_enabled_;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100639
Ian Rogersfa824272013-11-05 16:12:57 -0800640 // Current interpreter handler table. This is updated each time the thread state flags are
641 // modified.
Sebastien Hertzed2be172014-08-19 15:33:43 +0200642 InterpreterHandlerTable interpreter_handler_table_ GUARDED_BY(Locks::mutator_lock_);
Sebastien Hertzee1997a2013-09-19 14:47:09 +0200643
Ian Rogersfa824272013-11-05 16:12:57 -0800644 // Greater than 0 if quick alloc entry points instrumented.
Mathieu Chartiereebc3af2016-02-29 18:13:38 -0800645 size_t quick_alloc_entry_points_instrumentation_counter_;
Mathieu Chartier50e93312016-03-16 11:25:29 -0700646
647 // alloc_entrypoints_instrumented_ is only updated with all the threads suspended, this is done
648 // to prevent races with the GC where the GC relies on thread suspension only see
649 // alloc_entrypoints_instrumented_ change during suspend points.
650 bool alloc_entrypoints_instrumented_;
651
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200652 friend class InstrumentationTest; // For GetCurrentInstrumentationLevel and ConfigureStubs.
653
jeffhao725a9572012-11-13 18:20:12 -0800654 DISALLOW_COPY_AND_ASSIGN(Instrumentation);
655};
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700656std::ostream& operator<<(std::ostream& os, const Instrumentation::InstrumentationEvent& rhs);
Sebastien Hertz0462c4c2015-04-01 16:34:17 +0200657std::ostream& operator<<(std::ostream& os, const Instrumentation::InstrumentationLevel& rhs);
jeffhao725a9572012-11-13 18:20:12 -0800658
Ian Rogers62d6c772013-02-27 08:32:07 -0800659// An element in the instrumentation side stack maintained in art::Thread.
660struct InstrumentationStackFrame {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700661 InstrumentationStackFrame(mirror::Object* this_object, ArtMethod* method,
Jeff Hao9a916d32013-06-27 18:45:37 -0700662 uintptr_t return_pc, size_t frame_id, bool interpreter_entry)
663 : this_object_(this_object), method_(method), return_pc_(return_pc), frame_id_(frame_id),
664 interpreter_entry_(interpreter_entry) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800665 }
666
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700667 std::string Dump() const REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers62d6c772013-02-27 08:32:07 -0800668
669 mirror::Object* this_object_;
Mathieu Chartiere401d142015-04-22 13:56:20 -0700670 ArtMethod* method_;
Sebastien Hertz138dbfc2013-12-04 18:15:25 +0100671 uintptr_t return_pc_;
672 size_t frame_id_;
673 bool interpreter_entry_;
Ian Rogers62d6c772013-02-27 08:32:07 -0800674};
675
676} // namespace instrumentation
jeffhao725a9572012-11-13 18:20:12 -0800677} // namespace art
678
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700679#endif // ART_RUNTIME_INSTRUMENTATION_H_