blob: bc965a232f5f6ddae48f9ba8b753c71b581f3423 [file] [log] [blame]
Andreas Gampedb6dcb62016-09-13 09:05:59 -07001/* Copyright (C) 2016 The Android Open Source Project
2 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
3 *
4 * This file implements interfaces from the file jvmti.h. This implementation
5 * is licensed under the same terms as the file jvmti.h. The
6 * copyright and license information for the file jvmti.h follows.
7 *
8 * Copyright (c) 2003, 2011, Oracle and/or its affiliates. All rights reserved.
9 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
10 *
11 * This code is free software; you can redistribute it and/or modify it
12 * under the terms of the GNU General Public License version 2 only, as
13 * published by the Free Software Foundation. Oracle designates this
14 * particular file as subject to the "Classpath" exception as provided
15 * by Oracle in the LICENSE file that accompanied this code.
16 *
17 * This code is distributed in the hope that it will be useful, but WITHOUT
18 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
19 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
20 * version 2 for more details (a copy is included in the LICENSE file that
21 * accompanied this code).
22 *
23 * You should have received a copy of the GNU General Public License version
24 * 2 along with this work; if not, write to the Free Software Foundation,
25 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
26 *
27 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
28 * or visit www.oracle.com if you need additional information or have any
29 * questions.
30 */
31
Andreas Gampe06c42a52017-07-26 14:17:14 -070032#ifndef ART_OPENJDKJVMTI_ART_JVMTI_H_
33#define ART_OPENJDKJVMTI_ART_JVMTI_H_
Andreas Gampedb6dcb62016-09-13 09:05:59 -070034
Andreas Gampe77708d92016-10-07 11:48:21 -070035#include <memory>
Andreas Gampe54711412017-02-21 12:41:43 -080036#include <type_traits>
Alex Lighta26e3492017-06-27 17:55:37 -070037#include <unordered_map>
Alex Light084fa372017-06-16 08:58:34 -070038#include <unordered_set>
Andreas Gampe77708d92016-10-07 11:48:21 -070039
Andreas Gampedb6dcb62016-09-13 09:05:59 -070040#include <jni.h>
41
Andreas Gampe57943812017-12-06 21:39:13 -080042#include <android-base/logging.h>
43
Alex Light0fa17862017-10-24 13:43:05 -070044#include "deopt_manager.h"
Andreas Gampe77708d92016-10-07 11:48:21 -070045#include "base/casts.h"
Andreas Gampe3c252f02016-10-27 18:25:17 -070046#include "base/macros.h"
Andreas Gampef45d61c2017-06-07 10:29:33 -070047#include "base/strlcpy.h"
Alex Lightb6106d52017-10-18 15:02:15 -070048#include "base/mutex.h"
Andreas Gampe77708d92016-10-07 11:48:21 -070049#include "events.h"
Mythri Alle6ecfa912022-08-01 14:31:25 +000050#include "instrumentation.h"
Vladimir Markoa3ad0cd2018-05-04 10:06:38 +010051#include "jni/java_vm_ext.h"
52#include "jni/jni_env_ext.h"
Andreas Gampedb6dcb62016-09-13 09:05:59 -070053#include "jvmti.h"
Mythri Alle6ecfa912022-08-01 14:31:25 +000054#include "runtime.h"
Alex Lighta26e3492017-06-27 17:55:37 -070055#include "ti_breakpoint.h"
Andreas Gampedb6dcb62016-09-13 09:05:59 -070056
Alex Light084fa372017-06-16 08:58:34 -070057namespace art {
58class ArtField;
Alex Lighta26e3492017-06-27 17:55:37 -070059class ArtMethod;
Alex Lighte814f9d2017-07-31 16:14:39 -070060class ShadowFrame;
Alex Lighta26e3492017-06-27 17:55:37 -070061} // namespace art
Alex Light084fa372017-06-16 08:58:34 -070062
Andreas Gampedb6dcb62016-09-13 09:05:59 -070063namespace openjdkjvmti {
64
Andreas Gampede19eb92017-02-24 16:21:18 -080065class ObjectTagTable;
Andreas Gampedb6dcb62016-09-13 09:05:59 -070066
Alex Light2ce6fc82017-12-18 16:42:36 -080067// A special version that we use to identify special tooling interface versions which mostly matches
68// the jvmti spec but everything is best effort. This is used to implement the userdebug
69// 'debug-anything' behavior.
70//
71// This is the value 0x70010200.
72static constexpr jint kArtTiVersion = JVMTI_VERSION_1_2 | 0x40000000;
73
Mythri Alle6ecfa912022-08-01 14:31:25 +000074// Returns whether we are able to use all jvmti features.
75static inline bool IsFullJvmtiAvailable() {
76 art::Runtime* runtime = art::Runtime::Current();
77 return runtime->GetInstrumentation()->IsForcedInterpretOnly() ||
78 runtime->IsJavaDebuggableAtInit();
79}
80
Andreas Gampedb6dcb62016-09-13 09:05:59 -070081// A structure that is a jvmtiEnv with additional information for the runtime.
82struct ArtJvmTiEnv : public jvmtiEnv {
83 art::JavaVMExt* art_vm;
84 void* local_data;
Alex Light2ce6fc82017-12-18 16:42:36 -080085
86 // The ti_version we are compatible with. This is only for giving the correct value for GetVersion
87 // when running on a userdebug/eng device.
88 jint ti_version;
89
Alex Lighte6574242016-08-17 09:56:24 -070090 jvmtiCapabilities capabilities;
Andreas Gampedb6dcb62016-09-13 09:05:59 -070091
Andreas Gampe77708d92016-10-07 11:48:21 -070092 EventMasks event_masks;
Alex Light8c2b9292017-11-09 13:21:01 -080093 std::unique_ptr<ArtJvmtiEventCallbacks> event_callbacks;
Andreas Gampe77708d92016-10-07 11:48:21 -070094
Andreas Gampede19eb92017-02-24 16:21:18 -080095 // Tagging is specific to the jvmtiEnv.
96 std::unique_ptr<ObjectTagTable> object_tag_table;
97
Alex Light084fa372017-06-16 08:58:34 -070098 // Set of watched fields is unique to each jvmtiEnv.
99 // TODO It might be good to follow the RI and only let one jvmtiEnv ever have the watch caps so
100 // we can record this on the field directly. We could do this either using free access-flag bits
101 // or by putting a list in the ClassExt of a field's DeclaringClass.
102 // TODO Maybe just have an extension to let one put a watch on every field, that would probably be
103 // good enough maybe since you probably want either a few or all/almost all of them.
Alex Lightb6106d52017-10-18 15:02:15 -0700104 std::unordered_set<art::ArtField*> access_watched_fields GUARDED_BY(event_info_mutex_);
105 std::unordered_set<art::ArtField*> modify_watched_fields GUARDED_BY(event_info_mutex_);
Alex Light084fa372017-06-16 08:58:34 -0700106
Alex Lighta26e3492017-06-27 17:55:37 -0700107 // Set of breakpoints is unique to each jvmtiEnv.
Alex Lightb6106d52017-10-18 15:02:15 -0700108 std::unordered_set<Breakpoint> breakpoints GUARDED_BY(event_info_mutex_);
109 std::unordered_set<const art::ShadowFrame*> notify_frames GUARDED_BY(event_info_mutex_);
110
111 // RW lock to protect access to all of the event data.
112 art::ReaderWriterMutex event_info_mutex_ DEFAULT_MUTEX_ACQUIRED_AFTER;
Alex Lighta26e3492017-06-27 17:55:37 -0700113
Alex Lightae45cbb2018-10-18 15:49:56 -0700114 std::string last_error_ GUARDED_BY(last_error_mutex_);
115 // Lock to touch the last-error-message.
116 art::Mutex last_error_mutex_ BOTTOM_MUTEX_ACQUIRED_AFTER;
117
Alex Light2ce6fc82017-12-18 16:42:36 -0800118 ArtJvmTiEnv(art::JavaVMExt* runtime, EventHandler* event_handler, jint ti_version);
Andreas Gampe77708d92016-10-07 11:48:21 -0700119
120 static ArtJvmTiEnv* AsArtJvmTiEnv(jvmtiEnv* env) {
121 return art::down_cast<ArtJvmTiEnv*>(env);
122 }
Alex Lightb284f8d2017-11-21 00:00:48 +0000123
124 // Top level lock. Nothing can be held when we get this except for mutator lock for full
125 // thread-suspension.
126 static art::Mutex *gEnvMutex ACQUIRED_AFTER(art::Locks::mutator_lock_);
Andreas Gampedb6dcb62016-09-13 09:05:59 -0700127};
128
129// Macro and constexpr to make error values less annoying to write.
130#define ERR(e) JVMTI_ERROR_ ## e
131static constexpr jvmtiError OK = JVMTI_ERROR_NONE;
132
133// Special error code for unimplemented functions in JVMTI
134static constexpr jvmtiError ERR(NOT_IMPLEMENTED) = JVMTI_ERROR_NOT_AVAILABLE;
135
136static inline JNIEnv* GetJniEnv(jvmtiEnv* env) {
137 JNIEnv* ret_value = nullptr;
138 jint res = reinterpret_cast<ArtJvmTiEnv*>(env)->art_vm->GetEnv(
139 reinterpret_cast<void**>(&ret_value), JNI_VERSION_1_1);
140 if (res != JNI_OK) {
141 return nullptr;
142 }
143 return ret_value;
144}
145
Andreas Gampe54711412017-02-21 12:41:43 -0800146template <typename T>
Andreas Gampe3c252f02016-10-27 18:25:17 -0700147class JvmtiDeleter {
148 public:
149 JvmtiDeleter() : env_(nullptr) {}
150 explicit JvmtiDeleter(jvmtiEnv* env) : env_(env) {}
151
152 JvmtiDeleter(JvmtiDeleter&) = default;
Stefano Cianciulli2de4a822022-07-01 15:33:36 +0000153 JvmtiDeleter(JvmtiDeleter&&) noexcept = default;
Andreas Gampe3c252f02016-10-27 18:25:17 -0700154 JvmtiDeleter& operator=(const JvmtiDeleter&) = default;
155
Andreas Gampe54711412017-02-21 12:41:43 -0800156 void operator()(T* ptr) const {
Andreas Gampe3c252f02016-10-27 18:25:17 -0700157 CHECK(env_ != nullptr);
Andreas Gampe54711412017-02-21 12:41:43 -0800158 jvmtiError ret = env_->Deallocate(reinterpret_cast<unsigned char*>(ptr));
Andreas Gampe3c252f02016-10-27 18:25:17 -0700159 CHECK(ret == ERR(NONE));
160 }
161
162 private:
163 mutable jvmtiEnv* env_;
164};
165
Andreas Gampe54711412017-02-21 12:41:43 -0800166template <typename T>
167class JvmtiDeleter<T[]> {
Igor Murashkin2ffb7032017-11-08 13:35:21 -0800168 public:
Andreas Gampe54711412017-02-21 12:41:43 -0800169 JvmtiDeleter() : env_(nullptr) {}
170 explicit JvmtiDeleter(jvmtiEnv* env) : env_(env) {}
171
172 JvmtiDeleter(JvmtiDeleter&) = default;
Stefano Cianciulli2de4a822022-07-01 15:33:36 +0000173 JvmtiDeleter(JvmtiDeleter&&) noexcept = default;
Andreas Gampe54711412017-02-21 12:41:43 -0800174 JvmtiDeleter& operator=(const JvmtiDeleter&) = default;
175
176 template <typename U>
177 void operator()(U* ptr) const {
178 CHECK(env_ != nullptr);
179 jvmtiError ret = env_->Deallocate(reinterpret_cast<unsigned char*>(ptr));
180 CHECK(ret == ERR(NONE));
181 }
182
183 private:
184 mutable jvmtiEnv* env_;
185};
186
187template <typename T>
188using JvmtiUniquePtr = std::unique_ptr<T, JvmtiDeleter<T>>;
Andreas Gampe3c252f02016-10-27 18:25:17 -0700189
Andreas Gampe1bdaf732017-01-09 19:21:06 -0800190template <typename T>
Andreas Gampe3c252f02016-10-27 18:25:17 -0700191ALWAYS_INLINE
Andreas Gampe54711412017-02-21 12:41:43 -0800192static inline JvmtiUniquePtr<T> MakeJvmtiUniquePtr(jvmtiEnv* env, T* mem) {
193 return JvmtiUniquePtr<T>(mem, JvmtiDeleter<T>(env));
194}
195
196template <typename T>
197ALWAYS_INLINE
198static inline JvmtiUniquePtr<T> MakeJvmtiUniquePtr(jvmtiEnv* env, unsigned char* mem) {
199 return JvmtiUniquePtr<T>(reinterpret_cast<T*>(mem), JvmtiDeleter<T>(env));
200}
201
202template <typename T>
203ALWAYS_INLINE
204static inline JvmtiUniquePtr<T> AllocJvmtiUniquePtr(jvmtiEnv* env, jvmtiError* error) {
205 unsigned char* tmp;
206 *error = env->Allocate(sizeof(T), &tmp);
207 if (*error != ERR(NONE)) {
208 return JvmtiUniquePtr<T>();
209 }
210 return JvmtiUniquePtr<T>(tmp, JvmtiDeleter<T>(env));
211}
212
213template <typename T>
214ALWAYS_INLINE
215static inline JvmtiUniquePtr<T> AllocJvmtiUniquePtr(jvmtiEnv* env,
216 size_t count,
217 jvmtiError* error) {
218 unsigned char* tmp;
219 *error = env->Allocate(sizeof(typename std::remove_extent<T>::type) * count, &tmp);
220 if (*error != ERR(NONE)) {
221 return JvmtiUniquePtr<T>();
222 }
223 return JvmtiUniquePtr<T>(reinterpret_cast<typename std::remove_extent<T>::type*>(tmp),
224 JvmtiDeleter<T>(env));
Andreas Gampe3c252f02016-10-27 18:25:17 -0700225}
226
Andreas Gampee492ae32016-10-28 19:34:57 -0700227ALWAYS_INLINE
Alex Light440b5d92017-01-24 15:32:25 -0800228static inline jvmtiError CopyDataIntoJvmtiBuffer(ArtJvmTiEnv* env,
229 const unsigned char* source,
230 jint len,
231 /*out*/unsigned char** dest) {
232 jvmtiError res = env->Allocate(len, dest);
233 if (res != OK) {
234 return res;
235 }
236 memcpy(reinterpret_cast<void*>(*dest),
237 reinterpret_cast<const void*>(source),
238 len);
239 return OK;
240}
241
242ALWAYS_INLINE
Andreas Gampe54711412017-02-21 12:41:43 -0800243static inline JvmtiUniquePtr<char[]> CopyString(jvmtiEnv* env, const char* src, jvmtiError* error) {
Alex Lightce68cc62017-07-26 10:30:38 -0700244 if (src == nullptr) {
245 JvmtiUniquePtr<char[]> ret = AllocJvmtiUniquePtr<char[]>(env, 0, error);
246 return ret;
247 }
Andreas Gampee492ae32016-10-28 19:34:57 -0700248 size_t len = strlen(src) + 1;
Andreas Gampe54711412017-02-21 12:41:43 -0800249 JvmtiUniquePtr<char[]> ret = AllocJvmtiUniquePtr<char[]>(env, len, error);
250 if (ret != nullptr) {
Andreas Gampef45d61c2017-06-07 10:29:33 -0700251 strlcpy(ret.get(), src, len);
Andreas Gampee492ae32016-10-28 19:34:57 -0700252 }
Andreas Gampee492ae32016-10-28 19:34:57 -0700253 return ret;
254}
255
Alex Lighte6574242016-08-17 09:56:24 -0700256const jvmtiCapabilities kPotentialCapabilities = {
257 .can_tag_objects = 1,
Alex Light084fa372017-06-16 08:58:34 -0700258 .can_generate_field_modification_events = 1,
259 .can_generate_field_access_events = 1,
Alex Light4c174282017-07-05 10:18:18 -0700260 .can_get_bytecodes = 1,
Alex Light9db679d2017-01-25 15:28:04 -0800261 .can_get_synthetic_attribute = 1,
Alex Light88e1ddd2017-08-21 13:09:55 -0700262 .can_get_owned_monitor_info = 1,
Alex Light41006c62017-09-14 09:51:14 -0700263 .can_get_current_contended_monitor = 1,
Alex Lightce568642017-09-05 16:54:25 -0700264 .can_get_monitor_info = 1,
Alex Light0aa7a5a2018-10-10 15:58:14 +0000265 .can_pop_frame = 1,
Alex Light6ac57502017-01-19 15:05:06 -0800266 .can_redefine_classes = 1,
Alex Light54d39dc2017-09-25 17:00:16 -0700267 .can_signal_thread = 1,
Alex Light6fa7b812017-06-16 09:04:29 -0700268 .can_get_source_file_name = 1,
Alex Light9db679d2017-01-25 15:28:04 -0800269 .can_get_line_numbers = 1,
Alex Light6fa7b812017-06-16 09:04:29 -0700270 .can_get_source_debug_extension = 1,
Alex Lightce68cc62017-07-26 10:30:38 -0700271 .can_access_local_variables = 1,
Alex Lightb566fed2017-07-28 15:17:00 -0700272 .can_maintain_original_method_order = 1,
Alex Lighta26e3492017-06-27 17:55:37 -0700273 .can_generate_single_step_events = 1,
Alex Light9fb1ab12017-09-05 09:32:49 -0700274 .can_generate_exception_events = 1,
Alex Lighte814f9d2017-07-31 16:14:39 -0700275 .can_generate_frame_pop_events = 1,
Alex Lighta26e3492017-06-27 17:55:37 -0700276 .can_generate_breakpoint_events = 1,
Alex Light88fd7202017-06-30 08:31:59 -0700277 .can_suspend = 1,
Alex Lighte6574242016-08-17 09:56:24 -0700278 .can_redefine_any_class = 0,
279 .can_get_current_thread_cpu_time = 0,
280 .can_get_thread_cpu_time = 0,
Alex Lightb7edcda2017-04-27 13:20:31 -0700281 .can_generate_method_entry_events = 1,
282 .can_generate_method_exit_events = 1,
Alex Lighte6574242016-08-17 09:56:24 -0700283 .can_generate_all_class_hook_events = 0,
284 .can_generate_compiled_method_load_events = 0,
Alex Light77fee872017-09-05 14:51:49 -0700285 .can_generate_monitor_events = 1,
Alex Light9db679d2017-01-25 15:28:04 -0800286 .can_generate_vm_object_alloc_events = 1,
Alex Lightd78ddec2017-04-18 15:20:38 -0700287 .can_generate_native_method_bind_events = 1,
Alex Light9db679d2017-01-25 15:28:04 -0800288 .can_generate_garbage_collection_events = 1,
289 .can_generate_object_free_events = 1,
Alex Lightb7c640d2019-03-20 15:52:13 -0700290 .can_force_early_return = 1,
Alex Light88e1ddd2017-08-21 13:09:55 -0700291 .can_get_owned_monitor_stack_depth_info = 1,
Alex Lighte6574242016-08-17 09:56:24 -0700292 .can_get_constant_pool = 0,
293 .can_set_native_method_prefix = 0,
Alex Light6ac57502017-01-19 15:05:06 -0800294 .can_retransform_classes = 1,
Alex Lighte6574242016-08-17 09:56:24 -0700295 .can_retransform_any_class = 0,
296 .can_generate_resource_exhaustion_heap_events = 0,
297 .can_generate_resource_exhaustion_threads_events = 0,
298};
299
Alex Light2ce6fc82017-12-18 16:42:36 -0800300// These are capabilities that are disabled if we were loaded without being debuggable.
301//
302// This includes the following capabilities:
303// can_retransform_any_class:
304// can_retransform_classes:
305// can_redefine_any_class:
306// can_redefine_classes:
Alex Light0aa7a5a2018-10-10 15:58:14 +0000307// can_pop_frame:
Alex Lightb7c640d2019-03-20 15:52:13 -0700308// can_force_early_return:
Alex Light2ce6fc82017-12-18 16:42:36 -0800309// We need to ensure that inlined code is either not present or can always be deoptimized. This
310// is not guaranteed for non-debuggable processes since we might have inlined bootclasspath code
311// on a threads stack.
312const jvmtiCapabilities kNonDebuggableUnsupportedCapabilities = {
313 .can_tag_objects = 0,
314 .can_generate_field_modification_events = 0,
315 .can_generate_field_access_events = 0,
316 .can_get_bytecodes = 0,
317 .can_get_synthetic_attribute = 0,
318 .can_get_owned_monitor_info = 0,
319 .can_get_current_contended_monitor = 0,
320 .can_get_monitor_info = 0,
Alex Light0aa7a5a2018-10-10 15:58:14 +0000321 .can_pop_frame = 1,
Alex Light2ce6fc82017-12-18 16:42:36 -0800322 .can_redefine_classes = 1,
323 .can_signal_thread = 0,
324 .can_get_source_file_name = 0,
325 .can_get_line_numbers = 0,
326 .can_get_source_debug_extension = 0,
327 .can_access_local_variables = 0,
328 .can_maintain_original_method_order = 0,
329 .can_generate_single_step_events = 0,
330 .can_generate_exception_events = 0,
331 .can_generate_frame_pop_events = 0,
332 .can_generate_breakpoint_events = 0,
333 .can_suspend = 0,
334 .can_redefine_any_class = 1,
335 .can_get_current_thread_cpu_time = 0,
336 .can_get_thread_cpu_time = 0,
337 .can_generate_method_entry_events = 0,
338 .can_generate_method_exit_events = 0,
339 .can_generate_all_class_hook_events = 0,
340 .can_generate_compiled_method_load_events = 0,
341 .can_generate_monitor_events = 0,
342 .can_generate_vm_object_alloc_events = 0,
343 .can_generate_native_method_bind_events = 0,
344 .can_generate_garbage_collection_events = 0,
345 .can_generate_object_free_events = 0,
Alex Lightb7c640d2019-03-20 15:52:13 -0700346 .can_force_early_return = 1,
Alex Light2ce6fc82017-12-18 16:42:36 -0800347 .can_get_owned_monitor_stack_depth_info = 0,
348 .can_get_constant_pool = 0,
349 .can_set_native_method_prefix = 0,
350 .can_retransform_classes = 1,
351 .can_retransform_any_class = 1,
352 .can_generate_resource_exhaustion_heap_events = 0,
353 .can_generate_resource_exhaustion_threads_events = 0,
354};
355
Andreas Gampedb6dcb62016-09-13 09:05:59 -0700356} // namespace openjdkjvmti
357
Andreas Gampe06c42a52017-07-26 14:17:14 -0700358#endif // ART_OPENJDKJVMTI_ART_JVMTI_H_