blob: 29a7e1f3acf0c7009371ef86b00aa6f59f9b000d [file] [log] [blame]
Alex Lighta01de592016-11-15 10:43:06 -08001/* 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
32#ifndef ART_RUNTIME_OPENJDKJVMTI_TI_REDEFINE_H_
33#define ART_RUNTIME_OPENJDKJVMTI_TI_REDEFINE_H_
34
35#include <string>
36
37#include <jni.h>
38
39#include "art_jvmti.h"
40#include "art_method.h"
Alex Lighta7e38d82017-01-19 14:57:28 -080041#include "base/array_slice.h"
Alex Lighta01de592016-11-15 10:43:06 -080042#include "class_linker.h"
43#include "dex_file.h"
44#include "gc_root-inl.h"
45#include "globals.h"
46#include "jni_env_ext-inl.h"
47#include "jvmti.h"
48#include "linear_alloc.h"
49#include "mem_map.h"
50#include "mirror/array-inl.h"
51#include "mirror/array.h"
52#include "mirror/class-inl.h"
53#include "mirror/class.h"
54#include "mirror/class_loader-inl.h"
55#include "mirror/string-inl.h"
56#include "oat_file.h"
57#include "obj_ptr.h"
58#include "scoped_thread_state_change-inl.h"
59#include "stack.h"
Alex Lighta7e38d82017-01-19 14:57:28 -080060#include "ti_class_definition.h"
Alex Lighta01de592016-11-15 10:43:06 -080061#include "thread_list.h"
62#include "transform.h"
63#include "utf.h"
64#include "utils/dex_cache_arrays_layout-inl.h"
65
66namespace openjdkjvmti {
67
Alex Light0e692732017-01-10 15:00:05 -080068class RedefinitionDataHolder;
69
Alex Lighta01de592016-11-15 10:43:06 -080070// Class that can redefine a single class's methods.
Alex Lightdba61482016-12-21 08:20:29 -080071// TODO We should really make this be driven by an outside class so we can do multiple classes at
72// the same time and have less required cleanup.
Alex Lighta01de592016-11-15 10:43:06 -080073class Redefiner {
74 public:
Alex Light0e692732017-01-10 15:00:05 -080075 // Redefine the given classes with the given dex data. Note this function does not take ownership
76 // of the dex_data pointers. It is not used after this call however and may be freed if desired.
Alex Light6ac57502017-01-19 15:05:06 -080077 // The caller is responsible for freeing it. The runtime makes its own copy of the data. This
78 // function does not call the transformation events.
79 // TODO Check modified flag of the definitions.
80 static jvmtiError RedefineClassesDirect(ArtJvmTiEnv* env,
81 art::Runtime* runtime,
82 art::Thread* self,
83 const std::vector<ArtClassDefinition>& definitions,
84 /*out*/std::string* error_msg);
85
86 // Redefine the given classes with the given dex data. Note this function does not take ownership
87 // of the dex_data pointers. It is not used after this call however and may be freed if desired.
Alex Light0b772572016-12-02 17:27:31 -080088 // The caller is responsible for freeing it. The runtime makes its own copy of the data.
Alex Light6ac57502017-01-19 15:05:06 -080089 // TODO This function should call the transformation events.
Alex Light0e692732017-01-10 15:00:05 -080090 static jvmtiError RedefineClasses(ArtJvmTiEnv* env,
91 art::Runtime* runtime,
92 art::Thread* self,
93 jint class_count,
94 const jvmtiClassDefinition* definitions,
Alex Light6ac57502017-01-19 15:05:06 -080095 /*out*/std::string* error_msg);
Alex Lighta01de592016-11-15 10:43:06 -080096
Alex Lighte4a88632017-01-10 07:41:24 -080097 static jvmtiError IsModifiableClass(jvmtiEnv* env, jclass klass, jboolean* is_redefinable);
98
Alex Lighta01de592016-11-15 10:43:06 -080099 private:
Alex Light0e692732017-01-10 15:00:05 -0800100 class ClassRedefinition {
101 public:
102 ClassRedefinition(Redefiner* driver,
103 jclass klass,
104 const art::DexFile* redefined_dex_file,
Alex Lighta7e38d82017-01-19 14:57:28 -0800105 const char* class_sig,
106 art::ArraySlice<const unsigned char> orig_dex_file)
Alex Light0e692732017-01-10 15:00:05 -0800107 REQUIRES_SHARED(art::Locks::mutator_lock_);
108
109 // NO_THREAD_SAFETY_ANALYSIS so we can unlock the class in the destructor.
110 ~ClassRedefinition() NO_THREAD_SAFETY_ANALYSIS;
111
112 // Move constructor so we can put these into a vector.
113 ClassRedefinition(ClassRedefinition&& other)
114 : driver_(other.driver_),
115 klass_(other.klass_),
116 dex_file_(std::move(other.dex_file_)),
Alex Lighta7e38d82017-01-19 14:57:28 -0800117 class_sig_(std::move(other.class_sig_)),
118 original_dex_file_(other.original_dex_file_) {
Alex Light0e692732017-01-10 15:00:05 -0800119 other.driver_ = nullptr;
120 }
121
122 art::mirror::Class* GetMirrorClass() REQUIRES_SHARED(art::Locks::mutator_lock_);
123 art::mirror::ClassLoader* GetClassLoader() REQUIRES_SHARED(art::Locks::mutator_lock_);
124
125 // This finds the java.lang.DexFile we will add the native DexFile to as part of the classpath.
126 // TODO Make sure the DexFile object returned is the one that the klass_ actually comes from.
127 art::mirror::Object* FindSourceDexFileObject(art::Handle<art::mirror::ClassLoader> loader)
128 REQUIRES_SHARED(art::Locks::mutator_lock_);
129
130 art::mirror::DexCache* CreateNewDexCache(art::Handle<art::mirror::ClassLoader> loader)
131 REQUIRES_SHARED(art::Locks::mutator_lock_);
132
133 // Allocates and fills the new DexFileCookie
134 art::mirror::LongArray* AllocateDexFileCookie(art::Handle<art::mirror::Object> j_dex_file_obj)
135 REQUIRES_SHARED(art::Locks::mutator_lock_);
136
Alex Lighta7e38d82017-01-19 14:57:28 -0800137 // This may return nullptr with a OOME pending if allocation fails.
138 art::mirror::ByteArray* AllocateOrGetOriginalDexFileBytes()
139 REQUIRES_SHARED(art::Locks::mutator_lock_);
140
Alex Light0e692732017-01-10 15:00:05 -0800141 void RecordFailure(jvmtiError e, const std::string& err) {
142 driver_->RecordFailure(e, class_sig_, err);
143 }
144
Alex Lighta7e38d82017-01-19 14:57:28 -0800145 bool FinishRemainingAllocations(int32_t klass_index, /*out*/RedefinitionDataHolder* holder)
Alex Light0e692732017-01-10 15:00:05 -0800146 REQUIRES_SHARED(art::Locks::mutator_lock_);
147
148 void FindAndAllocateObsoleteMethods(art::mirror::Class* art_klass)
149 REQUIRES(art::Locks::mutator_lock_);
150
151 void FillObsoleteMethodMap(
152 art::mirror::Class* art_klass,
153 const std::unordered_map<art::ArtMethod*, art::ArtMethod*>& obsoletes)
154 REQUIRES(art::Locks::mutator_lock_);
155
156
157 // Checks that the dex file contains only the single expected class and that the top-level class
158 // data has not been modified in an incompatible manner.
159 bool CheckClass() REQUIRES_SHARED(art::Locks::mutator_lock_);
160
161 // Preallocates all needed allocations in klass so that we can pause execution safely.
162 // TODO We should be able to free the arrays if they end up not being used. Investigate doing
163 // this in the future. For now we will just take the memory hit.
164 bool EnsureClassAllocationsFinished() REQUIRES_SHARED(art::Locks::mutator_lock_);
165
166 // This will check that no constraints are violated (more than 1 class in dex file, any changes
167 // in number/declaration of methods & fields, changes in access flags, etc.)
168 bool CheckRedefinitionIsValid() REQUIRES_SHARED(art::Locks::mutator_lock_);
169
170 // Checks that the class can even be redefined.
171 bool CheckRedefinable() REQUIRES_SHARED(art::Locks::mutator_lock_);
172
173 // Checks that the dex file does not add/remove methods.
174 bool CheckSameMethods() REQUIRES_SHARED(art::Locks::mutator_lock_) {
175 LOG(WARNING) << "methods are not checked for modification currently";
176 return true;
177 }
178
179 // Checks that the dex file does not modify fields
180 bool CheckSameFields() REQUIRES_SHARED(art::Locks::mutator_lock_) {
181 LOG(WARNING) << "Fields are not checked for modification currently";
182 return true;
183 }
184
185 void UpdateJavaDexFile(art::ObjPtr<art::mirror::Object> java_dex_file,
186 art::ObjPtr<art::mirror::LongArray> new_cookie)
187 REQUIRES(art::Locks::mutator_lock_);
188
189 void UpdateFields(art::ObjPtr<art::mirror::Class> mclass)
190 REQUIRES(art::Locks::mutator_lock_);
191
192 void UpdateMethods(art::ObjPtr<art::mirror::Class> mclass,
193 art::ObjPtr<art::mirror::DexCache> new_dex_cache,
194 const art::DexFile::ClassDef& class_def)
195 REQUIRES(art::Locks::mutator_lock_);
196
197 void UpdateClass(art::ObjPtr<art::mirror::Class> mclass,
Alex Lighta7e38d82017-01-19 14:57:28 -0800198 art::ObjPtr<art::mirror::DexCache> new_dex_cache,
199 art::ObjPtr<art::mirror::ByteArray> original_dex_file)
Alex Light0e692732017-01-10 15:00:05 -0800200 REQUIRES(art::Locks::mutator_lock_);
201
202 void ReleaseDexFile() REQUIRES_SHARED(art::Locks::mutator_lock_);
203
204 private:
205 Redefiner* driver_;
206 jclass klass_;
207 std::unique_ptr<const art::DexFile> dex_file_;
208 std::string class_sig_;
Alex Lighta7e38d82017-01-19 14:57:28 -0800209 art::ArraySlice<const unsigned char> original_dex_file_;
Alex Light0e692732017-01-10 15:00:05 -0800210 };
211
Alex Lighta01de592016-11-15 10:43:06 -0800212 jvmtiError result_;
213 art::Runtime* runtime_;
214 art::Thread* self_;
Alex Light0e692732017-01-10 15:00:05 -0800215 std::vector<ClassRedefinition> redefinitions_;
Alex Lighta01de592016-11-15 10:43:06 -0800216 // Kept as a jclass since we have weird run-state changes that make keeping it around as a
217 // mirror::Class difficult and confusing.
Alex Lighta01de592016-11-15 10:43:06 -0800218 std::string* error_msg_;
Alex Lighta01de592016-11-15 10:43:06 -0800219
220 // TODO Maybe change jclass to a mirror::Class
221 Redefiner(art::Runtime* runtime,
222 art::Thread* self,
Alex Lighta01de592016-11-15 10:43:06 -0800223 std::string* error_msg)
224 : result_(ERR(INTERNAL)),
225 runtime_(runtime),
226 self_(self),
Alex Light0e692732017-01-10 15:00:05 -0800227 redefinitions_(),
228 error_msg_(error_msg) { }
229
Alex Light6ac57502017-01-19 15:05:06 -0800230 jvmtiError AddRedefinition(ArtJvmTiEnv* env, const ArtClassDefinition& def)
Alex Light0e692732017-01-10 15:00:05 -0800231 REQUIRES_SHARED(art::Locks::mutator_lock_);
Alex Lighta01de592016-11-15 10:43:06 -0800232
Alex Lighte4a88632017-01-10 07:41:24 -0800233 static jvmtiError GetClassRedefinitionError(art::Handle<art::mirror::Class> klass,
234 /*out*/std::string* error_msg)
235 REQUIRES_SHARED(art::Locks::mutator_lock_);
236
Alex Lighta01de592016-11-15 10:43:06 -0800237 static std::unique_ptr<art::MemMap> MoveDataToMemMap(const std::string& original_location,
238 jint data_len,
Alex Light0e692732017-01-10 15:00:05 -0800239 const unsigned char* dex_data,
Alex Lighta01de592016-11-15 10:43:06 -0800240 std::string* error_msg);
241
242 // TODO Put on all the lock qualifiers.
243 jvmtiError Run() REQUIRES_SHARED(art::Locks::mutator_lock_);
244
Alex Light0e692732017-01-10 15:00:05 -0800245 bool CheckAllRedefinitionAreValid() REQUIRES_SHARED(art::Locks::mutator_lock_);
246 bool EnsureAllClassAllocationsFinished() REQUIRES_SHARED(art::Locks::mutator_lock_);
247 bool FinishAllRemainingAllocations(RedefinitionDataHolder& holder)
Alex Lighta01de592016-11-15 10:43:06 -0800248 REQUIRES_SHARED(art::Locks::mutator_lock_);
Alex Light0e692732017-01-10 15:00:05 -0800249 void ReleaseAllDexFiles() REQUIRES_SHARED(art::Locks::mutator_lock_);
Alex Lighta01de592016-11-15 10:43:06 -0800250
Alex Lightdba61482016-12-21 08:20:29 -0800251 // Ensure that obsolete methods are deoptimized. This is needed since optimized methods may have
252 // pointers to their ArtMethods stashed in registers that they then use to attempt to hit the
253 // DexCache.
254 void EnsureObsoleteMethodsAreDeoptimized()
255 REQUIRES(art::Locks::mutator_lock_)
256 REQUIRES(!art::Locks::thread_list_lock_,
257 !art::Locks::classlinker_classes_lock_);
258
Alex Light0e692732017-01-10 15:00:05 -0800259 void RecordFailure(jvmtiError result, const std::string& class_sig, const std::string& error_msg);
260 void RecordFailure(jvmtiError result, const std::string& error_msg) {
261 RecordFailure(result, "NO CLASS", error_msg);
Alex Lighta01de592016-11-15 10:43:06 -0800262 }
263
Alex Light0e692732017-01-10 15:00:05 -0800264 friend struct CallbackCtx;
Alex Lighta01de592016-11-15 10:43:06 -0800265};
266
267} // namespace openjdkjvmti
268
269#endif // ART_RUNTIME_OPENJDKJVMTI_TI_REDEFINE_H_