1 /* 2 * Copyright (C) 2017 The Android Open Source Project 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 #include "aot_class_linker.h" 18 19 #include "class_status.h" 20 #include "compiler_callbacks.h" 21 #include "dex/class_reference.h" 22 #include "handle_scope-inl.h" 23 #include "mirror/class-inl.h" 24 #include "runtime.h" 25 #include "verifier/verifier_enums.h" 26 27 namespace art { 28 29 AotClassLinker::AotClassLinker(InternTable *intern_table) : ClassLinker(intern_table) {} 30 31 AotClassLinker::~AotClassLinker() {} 32 33 // Wrap the original InitializeClass with creation of transaction when in strict mode. 34 bool AotClassLinker::InitializeClass(Thread* self, Handle<mirror::Class> klass, 35 bool can_init_statics, bool can_init_parents) { 36 Runtime* const runtime = Runtime::Current(); 37 bool strict_mode_ = runtime->IsActiveStrictTransactionMode(); 38 39 DCHECK(klass != nullptr); 40 if (klass->IsInitialized() || klass->IsInitializing()) { 41 return ClassLinker::InitializeClass(self, klass, can_init_statics, can_init_parents); 42 } 43 44 // Don't initialize klass if it's superclass is not initialized, because superclass might abort 45 // the transaction and rolled back after klass's change is commited. 46 if (strict_mode_ && !klass->IsInterface() && klass->HasSuperClass()) { 47 if (klass->GetSuperClass()->GetStatus() == ClassStatus::kInitializing) { 48 runtime->AbortTransactionAndThrowAbortError(self, "Can't resolve " 49 + klass->PrettyTypeOf() + " because it's superclass is not initialized."); 50 return false; 51 } 52 } 53 54 if (strict_mode_) { 55 runtime->EnterTransactionMode(true, klass.Get()->AsClass()); 56 } 57 bool success = ClassLinker::InitializeClass(self, klass, can_init_statics, can_init_parents); 58 59 if (strict_mode_) { 60 if (success) { 61 // Exit Transaction if success. 62 runtime->ExitTransactionMode(); 63 } else { 64 // If not successfully initialized, the last transaction must abort. Don't rollback 65 // immediately, leave the cleanup to compiler driver which needs abort message and exception. 66 DCHECK(runtime->IsTransactionAborted()); 67 DCHECK(self->IsExceptionPending()); 68 } 69 } 70 return success; 71 } 72 73 verifier::FailureKind AotClassLinker::PerformClassVerification(Thread* self, 74 Handle<mirror::Class> klass, 75 verifier::HardFailLogMode log_level, 76 std::string* error_msg) { 77 Runtime* const runtime = Runtime::Current(); 78 CompilerCallbacks* callbacks = runtime->GetCompilerCallbacks(); 79 ClassStatus old_status = callbacks->GetPreviousClassState( 80 ClassReference(&klass->GetDexFile(), klass->GetDexClassDefIndex())); 81 // Was it verified? Report no failure. 82 if (old_status >= ClassStatus::kVerified) { 83 return verifier::FailureKind::kNoFailure; 84 } 85 // Does it need to be verified at runtime? Report soft failure. 86 if (old_status >= ClassStatus::kRetryVerificationAtRuntime) { 87 // Error messages from here are only reported through -verbose:class. It is not worth it to 88 // create a message. 89 return verifier::FailureKind::kSoftFailure; 90 } 91 // Do the actual work. 92 return ClassLinker::PerformClassVerification(self, klass, log_level, error_msg); 93 } 94 95 } // namespace art 96