• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /* 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 #include <error.h>
33 #include <stddef.h>
34 #include <sys/types.h>
35 
36 #include <unordered_map>
37 #include <unordered_set>
38 
39 #include "transform.h"
40 
41 #include "art_method.h"
42 #include "base/array_ref.h"
43 #include "base/globals.h"
44 #include "base/logging.h"
45 #include "base/mem_map.h"
46 #include "class_linker.h"
47 #include "dex/dex_file.h"
48 #include "dex/dex_file_types.h"
49 #include "dex/utf.h"
50 #include "events-inl.h"
51 #include "events.h"
52 #include "fault_handler.h"
53 #include "gc_root-inl.h"
54 #include "handle_scope-inl.h"
55 #include "jni/jni_env_ext-inl.h"
56 #include "jvalue.h"
57 #include "jvmti.h"
58 #include "linear_alloc.h"
59 #include "mirror/array.h"
60 #include "mirror/class-inl.h"
61 #include "mirror/class_ext.h"
62 #include "mirror/class_loader-inl.h"
63 #include "mirror/string-inl.h"
64 #include "oat_file.h"
65 #include "scoped_thread_state_change-inl.h"
66 #include "stack.h"
67 #include "thread_list.h"
68 #include "ti_redefine.h"
69 #include "ti_logging.h"
70 #include "transform.h"
71 
72 namespace openjdkjvmti {
73 
74 // A FaultHandler that will deal with initializing ClassDefinitions when they are actually needed.
75 class TransformationFaultHandler final : public art::FaultHandler {
76  public:
TransformationFaultHandler(art::FaultManager * manager)77   explicit TransformationFaultHandler(art::FaultManager* manager)
78       : art::FaultHandler(manager),
79         uninitialized_class_definitions_lock_("JVMTI Initialized class definitions lock",
80                                               art::LockLevel::kSignalHandlingLock),
81         class_definition_initialized_cond_("JVMTI Initialized class definitions condition",
82                                            uninitialized_class_definitions_lock_) {
83     manager->AddHandler(this, /* generated_code= */ false);
84   }
85 
~TransformationFaultHandler()86   ~TransformationFaultHandler() {
87     art::MutexLock mu(art::Thread::Current(), uninitialized_class_definitions_lock_);
88     uninitialized_class_definitions_.clear();
89   }
90 
Action(int sig,siginfo_t * siginfo,void * context ATTRIBUTE_UNUSED)91   bool Action(int sig, siginfo_t* siginfo, void* context ATTRIBUTE_UNUSED) override {
92     DCHECK_EQ(sig, SIGSEGV);
93     art::Thread* self = art::Thread::Current();
94     uintptr_t ptr = reinterpret_cast<uintptr_t>(siginfo->si_addr);
95     if (UNLIKELY(uninitialized_class_definitions_lock_.IsExclusiveHeld(self))) {
96       // It's possible this is just some other unrelated segv that should be
97       // handled separately, continue to later handlers. This is likely due to
98       // running out of memory somewhere along the FixedUpDexFile pipeline and
99       // is likely unrecoverable. By returning false here though we will get a
100       // better, more accurate, stack-trace later that points to the actual
101       // issue.
102       LOG(WARNING) << "Recursive SEGV occurred during Transformation dequickening at 0x" << std::hex
103                    << ptr;
104       return false;
105     }
106     ArtClassDefinition* res = nullptr;
107 
108     {
109       // NB Technically using a mutex and condition variables here is non-posix compliant but
110       // everything should be fine since both glibc and bionic implementations of mutexs and
111       // condition variables work fine so long as the thread was not interrupted during a
112       // lock/unlock (which it wasn't) on all architectures we care about.
113       art::MutexLock mu(self, uninitialized_class_definitions_lock_);
114       auto it = std::find_if(uninitialized_class_definitions_.begin(),
115                              uninitialized_class_definitions_.end(),
116                              [&](const auto op) { return op->ContainsAddress(ptr); });
117       if (it != uninitialized_class_definitions_.end()) {
118         res = *it;
119         // Remove the class definition.
120         uninitialized_class_definitions_.erase(it);
121         // Put it in the initializing list
122         initializing_class_definitions_.push_back(res);
123       } else {
124         // Wait for the ptr to be initialized (if it is currently initializing).
125         while (DefinitionIsInitializing(ptr)) {
126           WaitForClassInitializationToFinish();
127         }
128         // Return true (continue with user code) if we find that the definition has been
129         // initialized. Return false (continue on to next signal handler) if the definition is not
130         // initialized or found.
131         return std::find_if(initialized_class_definitions_.begin(),
132                             initialized_class_definitions_.end(),
133                             [&](const auto op) { return op->ContainsAddress(ptr); }) !=
134             initialized_class_definitions_.end();
135       }
136     }
137 
138     if (LIKELY(self != nullptr)) {
139       CHECK_EQ(self->GetState(), art::ThreadState::kNative)
140           << "Transformation fault handler occurred outside of native mode";
141     }
142 
143     VLOG(signals) << "Lazy initialization of dex file for transformation of " << res->GetName()
144                   << " during SEGV";
145     res->InitializeMemory();
146 
147     {
148       art::MutexLock mu(self, uninitialized_class_definitions_lock_);
149       // Move to initialized state and notify waiters.
150       initializing_class_definitions_.erase(std::find(initializing_class_definitions_.begin(),
151                                                       initializing_class_definitions_.end(),
152                                                       res));
153       initialized_class_definitions_.push_back(res);
154       class_definition_initialized_cond_.Broadcast(self);
155     }
156 
157     return true;
158   }
159 
RemoveDefinition(ArtClassDefinition * def)160   void RemoveDefinition(ArtClassDefinition* def) REQUIRES(!uninitialized_class_definitions_lock_) {
161     art::MutexLock mu(art::Thread::Current(), uninitialized_class_definitions_lock_);
162     auto it = std::find(uninitialized_class_definitions_.begin(),
163                         uninitialized_class_definitions_.end(),
164                         def);
165     if (it != uninitialized_class_definitions_.end()) {
166       uninitialized_class_definitions_.erase(it);
167       return;
168     }
169     while (std::find(initializing_class_definitions_.begin(),
170                      initializing_class_definitions_.end(),
171                      def) != initializing_class_definitions_.end()) {
172       WaitForClassInitializationToFinish();
173     }
174     it = std::find(initialized_class_definitions_.begin(),
175                    initialized_class_definitions_.end(),
176                    def);
177     CHECK(it != initialized_class_definitions_.end()) << "Could not find class definition for "
178                                                       << def->GetName();
179     initialized_class_definitions_.erase(it);
180   }
181 
AddArtDefinition(ArtClassDefinition * def)182   void AddArtDefinition(ArtClassDefinition* def) REQUIRES(!uninitialized_class_definitions_lock_) {
183     DCHECK(def->IsLazyDefinition());
184     art::MutexLock mu(art::Thread::Current(), uninitialized_class_definitions_lock_);
185     uninitialized_class_definitions_.push_back(def);
186   }
187 
188  private:
DefinitionIsInitializing(uintptr_t ptr)189   bool DefinitionIsInitializing(uintptr_t ptr) REQUIRES(uninitialized_class_definitions_lock_) {
190     return std::find_if(initializing_class_definitions_.begin(),
191                         initializing_class_definitions_.end(),
192                         [&](const auto op) { return op->ContainsAddress(ptr); }) !=
193         initializing_class_definitions_.end();
194   }
195 
WaitForClassInitializationToFinish()196   void WaitForClassInitializationToFinish() REQUIRES(uninitialized_class_definitions_lock_) {
197     class_definition_initialized_cond_.Wait(art::Thread::Current());
198   }
199 
200   art::Mutex uninitialized_class_definitions_lock_ ACQUIRED_BEFORE(art::Locks::abort_lock_);
201   art::ConditionVariable class_definition_initialized_cond_
202       GUARDED_BY(uninitialized_class_definitions_lock_);
203 
204   // A list of the class definitions that have a non-readable map.
205   std::vector<ArtClassDefinition*> uninitialized_class_definitions_
206       GUARDED_BY(uninitialized_class_definitions_lock_);
207 
208   // A list of class definitions that are currently undergoing unquickening. Threads should wait
209   // until the definition is no longer in this before returning.
210   std::vector<ArtClassDefinition*> initializing_class_definitions_
211       GUARDED_BY(uninitialized_class_definitions_lock_);
212 
213   // A list of class definitions that are already unquickened. Threads should immediately return if
214   // it is here.
215   std::vector<ArtClassDefinition*> initialized_class_definitions_
216       GUARDED_BY(uninitialized_class_definitions_lock_);
217 };
218 
219 static TransformationFaultHandler* gTransformFaultHandler = nullptr;
220 static EventHandler* gEventHandler = nullptr;
221 
222 
Register(EventHandler * eh)223 void Transformer::Register(EventHandler* eh) {
224   // Although we create this the fault handler is actually owned by the 'art::fault_manager' which
225   // will take care of destroying it.
226   if (art::MemMap::kCanReplaceMapping && ArtClassDefinition::kEnableOnDemandDexDequicken) {
227     gTransformFaultHandler = new TransformationFaultHandler(&art::fault_manager);
228   }
229   gEventHandler = eh;
230 }
231 
232 // Simple helper to add and remove the class definition from the fault handler.
233 class ScopedDefinitionHandler {
234  public:
ScopedDefinitionHandler(ArtClassDefinition * def)235   explicit ScopedDefinitionHandler(ArtClassDefinition* def)
236       : def_(def), is_lazy_(def_->IsLazyDefinition()) {
237     if (is_lazy_) {
238       gTransformFaultHandler->AddArtDefinition(def_);
239     }
240   }
241 
~ScopedDefinitionHandler()242   ~ScopedDefinitionHandler() {
243     if (is_lazy_) {
244       gTransformFaultHandler->RemoveDefinition(def_);
245     }
246   }
247 
248  private:
249   ArtClassDefinition* def_;
250   bool is_lazy_;
251 };
252 
253 // Initialize templates.
254 template
255 void Transformer::TransformSingleClassDirect<ArtJvmtiEvent::kClassFileLoadHookNonRetransformable>(
256     EventHandler* event_handler, art::Thread* self, /*in-out*/ArtClassDefinition* def);
257 template
258 void Transformer::TransformSingleClassDirect<ArtJvmtiEvent::kClassFileLoadHookRetransformable>(
259     EventHandler* event_handler, art::Thread* self, /*in-out*/ArtClassDefinition* def);
260 template
261 void Transformer::TransformSingleClassDirect<ArtJvmtiEvent::kStructuralDexFileLoadHook>(
262     EventHandler* event_handler, art::Thread* self, /*in-out*/ArtClassDefinition* def);
263 
264 template<ArtJvmtiEvent kEvent>
TransformSingleClassDirect(EventHandler * event_handler,art::Thread * self,ArtClassDefinition * def)265 void Transformer::TransformSingleClassDirect(EventHandler* event_handler,
266                                              art::Thread* self,
267                                              /*in-out*/ArtClassDefinition* def) {
268   static_assert(kEvent == ArtJvmtiEvent::kClassFileLoadHookNonRetransformable ||
269                 kEvent == ArtJvmtiEvent::kClassFileLoadHookRetransformable ||
270                 kEvent == ArtJvmtiEvent::kStructuralDexFileLoadHook,
271                 "bad event type");
272   // We don't want to do transitions between calling the event and setting the new data so change to
273   // native state early. This also avoids any problems that the FaultHandler might have in
274   // determining if an access to the dex_data is from generated code or not.
275   art::ScopedThreadStateChange stsc(self, art::ThreadState::kNative);
276   ScopedDefinitionHandler handler(def);
277   jint new_len = -1;
278   unsigned char* new_data = nullptr;
279   art::ArrayRef<const unsigned char> dex_data = def->GetDexData();
280   event_handler->DispatchEvent<kEvent>(
281       self,
282       static_cast<JNIEnv*>(self->GetJniEnv()),
283       def->GetClass(),
284       def->GetLoader(),
285       def->GetName().c_str(),
286       def->GetProtectionDomain(),
287       static_cast<jint>(dex_data.size()),
288       dex_data.data(),
289       /*out*/&new_len,
290       /*out*/&new_data);
291   def->SetNewDexData(new_len, new_data, kEvent);
292 }
293 
294 template <RedefinitionType kType>
RetransformClassesDirect(art::Thread * self,std::vector<ArtClassDefinition> * definitions)295 void Transformer::RetransformClassesDirect(
296     art::Thread* self,
297     /*in-out*/ std::vector<ArtClassDefinition>* definitions) {
298   constexpr ArtJvmtiEvent kEvent = kType == RedefinitionType::kNormal
299                                        ? ArtJvmtiEvent::kClassFileLoadHookRetransformable
300                                        : ArtJvmtiEvent::kStructuralDexFileLoadHook;
301   for (ArtClassDefinition& def : *definitions) {
302     TransformSingleClassDirect<kEvent>(gEventHandler, self, &def);
303   }
304 }
305 
306 template void Transformer::RetransformClassesDirect<RedefinitionType::kNormal>(
307       art::Thread* self, /*in-out*/std::vector<ArtClassDefinition>* definitions);
308 template void Transformer::RetransformClassesDirect<RedefinitionType::kStructural>(
309       art::Thread* self, /*in-out*/std::vector<ArtClassDefinition>* definitions);
310 
RetransformClasses(jvmtiEnv * env,jint class_count,const jclass * classes)311 jvmtiError Transformer::RetransformClasses(jvmtiEnv* env,
312                                            jint class_count,
313                                            const jclass* classes) {
314   if (class_count < 0) {
315     JVMTI_LOG(WARNING, env) << "FAILURE TO RETRANSFORM class_count was less then 0";
316     return ERR(ILLEGAL_ARGUMENT);
317   } else if (class_count == 0) {
318     // We don't actually need to do anything. Just return OK.
319     return OK;
320   } else if (classes == nullptr) {
321     JVMTI_LOG(WARNING, env) << "FAILURE TO RETRANSFORM null classes!";
322     return ERR(NULL_POINTER);
323   }
324   art::Thread* self = art::Thread::Current();
325   art::Runtime* runtime = art::Runtime::Current();
326   // A holder that will Deallocate all the class bytes buffers on destruction.
327   std::string error_msg;
328   std::vector<ArtClassDefinition> definitions;
329   jvmtiError res = OK;
330   for (jint i = 0; i < class_count; i++) {
331     res = Redefiner::GetClassRedefinitionError<RedefinitionType::kNormal>(classes[i], &error_msg);
332     if (res != OK) {
333       JVMTI_LOG(WARNING, env) << "FAILURE TO RETRANSFORM " << error_msg;
334       return res;
335     }
336     ArtClassDefinition def;
337     res = def.Init(self, classes[i]);
338     if (res != OK) {
339       JVMTI_LOG(WARNING, env) << "FAILURE TO RETRANSFORM definition init failed";
340       return res;
341     }
342     definitions.push_back(std::move(def));
343   }
344   RetransformClassesDirect<RedefinitionType::kStructural>(self, &definitions);
345   RetransformClassesDirect<RedefinitionType::kNormal>(self, &definitions);
346   RedefinitionType redef_type =
347       std::any_of(definitions.cbegin(),
348                   definitions.cend(),
349                   [](const auto& it) { return it.HasStructuralChanges(); })
350           ? RedefinitionType::kStructural
351           : RedefinitionType::kNormal;
352   res = Redefiner::RedefineClassesDirect(
353       ArtJvmTiEnv::AsArtJvmTiEnv(env), runtime, self, definitions, redef_type, &error_msg);
354   if (res != OK) {
355     JVMTI_LOG(WARNING, env) << "FAILURE TO RETRANSFORM " << error_msg;
356   }
357   return res;
358 }
359 
360 // TODO Move this somewhere else, ti_class?
GetClassLocation(ArtJvmTiEnv * env,jclass klass,std::string * location)361 jvmtiError GetClassLocation(ArtJvmTiEnv* env, jclass klass, /*out*/std::string* location) {
362   JNIEnv* jni_env = nullptr;
363   jint ret = env->art_vm->GetEnv(reinterpret_cast<void**>(&jni_env), JNI_VERSION_1_1);
364   if (ret != JNI_OK) {
365     // TODO Different error might be better?
366     return ERR(INTERNAL);
367   }
368   art::ScopedObjectAccess soa(jni_env);
369   art::StackHandleScope<1> hs(art::Thread::Current());
370   art::Handle<art::mirror::Class> hs_klass(hs.NewHandle(soa.Decode<art::mirror::Class>(klass)));
371   const art::DexFile& dex = hs_klass->GetDexFile();
372   *location = dex.GetLocation();
373   return OK;
374 }
375 
376 }  // namespace openjdkjvmti
377