blob: a2f450b784b62d0dd1b4de2e67af2aea6834ff84 [file] [log] [blame]
/*
* Copyright (C) 2017 The Android Open Source Project
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#include "aot_class_linker.h"
#include "class_status.h"
#include "compiler_callbacks.h"
#include "dex/class_reference.h"
#include "gc/heap.h"
#include "handle_scope-inl.h"
#include "mirror/class-inl.h"
#include "runtime.h"
#include "verifier/verifier_enums.h"
namespace art {
AotClassLinker::AotClassLinker(InternTable* intern_table)
: ClassLinker(intern_table, /*fast_class_not_found_exceptions=*/ false) {}
AotClassLinker::~AotClassLinker() {}
bool AotClassLinker::CanAllocClass() {
// AllocClass doesn't work under transaction, so we abort.
if (Runtime::Current()->IsActiveTransaction()) {
Runtime::Current()->AbortTransactionAndThrowAbortError(
Thread::Current(), "Can't resolve type within transaction.");
return false;
}
return ClassLinker::CanAllocClass();
}
// Wrap the original InitializeClass with creation of transaction when in strict mode.
bool AotClassLinker::InitializeClass(Thread* self,
Handle<mirror::Class> klass,
bool can_init_statics,
bool can_init_parents) {
Runtime* const runtime = Runtime::Current();
bool strict_mode = runtime->IsActiveStrictTransactionMode();
DCHECK(klass != nullptr);
if (klass->IsInitialized() || klass->IsInitializing()) {
return ClassLinker::InitializeClass(self, klass, can_init_statics, can_init_parents);
}
// When compiling a boot image extension, do not initialize a class defined
// in a dex file belonging to the boot image we're compiling against.
// However, we must allow the initialization of TransactionAbortError,
// VerifyError, etc. outside of a transaction.
if (!strict_mode && runtime->GetHeap()->ObjectIsInBootImageSpace(klass->GetDexCache())) {
if (runtime->IsActiveTransaction()) {
runtime->AbortTransactionAndThrowAbortError(self, "Can't initialize " + klass->PrettyTypeOf()
+ " because it is defined in a boot image dex file.");
return false;
}
CHECK(klass->IsThrowableClass()) << klass->PrettyDescriptor();
}
// When in strict_mode, don't initialize a class if it belongs to boot but not initialized.
if (strict_mode && klass->IsBootStrapClassLoaded()) {
runtime->AbortTransactionAndThrowAbortError(self, "Can't resolve "
+ klass->PrettyTypeOf() + " because it is an uninitialized boot class.");
return false;
}
// Don't initialize klass if it's superclass is not initialized, because superclass might abort
// the transaction and rolled back after klass's change is commited.
if (strict_mode && !klass->IsInterface() && klass->HasSuperClass()) {
if (klass->GetSuperClass()->GetStatus() == ClassStatus::kInitializing) {
runtime->AbortTransactionAndThrowAbortError(self, "Can't resolve "
+ klass->PrettyTypeOf() + " because it's superclass is not initialized.");
return false;
}
}
if (strict_mode) {
runtime->EnterTransactionMode(/*strict=*/ true, klass.Get());
}
bool success = ClassLinker::InitializeClass(self, klass, can_init_statics, can_init_parents);
if (strict_mode) {
if (success) {
// Exit Transaction if success.
runtime->ExitTransactionMode();
} else {
// If not successfully initialized, don't rollback immediately, leave the cleanup to compiler
// driver which needs abort message and exception.
DCHECK(self->IsExceptionPending());
}
}
return success;
}
verifier::FailureKind AotClassLinker::PerformClassVerification(Thread* self,
Handle<mirror::Class> klass,
verifier::HardFailLogMode log_level,
std::string* error_msg) {
Runtime* const runtime = Runtime::Current();
CompilerCallbacks* callbacks = runtime->GetCompilerCallbacks();
ClassStatus old_status = callbacks->GetPreviousClassState(
ClassReference(&klass->GetDexFile(), klass->GetDexClassDefIndex()));
// Was it verified? Report no failure.
if (old_status >= ClassStatus::kVerified) {
return verifier::FailureKind::kNoFailure;
}
if (old_status >= ClassStatus::kVerifiedNeedsAccessChecks) {
return verifier::FailureKind::kAccessChecksFailure;
}
// Does it need to be verified at runtime? Report soft failure.
if (old_status >= ClassStatus::kRetryVerificationAtRuntime) {
// Error messages from here are only reported through -verbose:class. It is not worth it to
// create a message.
return verifier::FailureKind::kSoftFailure;
}
// Do the actual work.
return ClassLinker::PerformClassVerification(self, klass, log_level, error_msg);
}
bool AotClassLinker::CanReferenceInBootImageExtension(ObjPtr<mirror::Class> klass, gc::Heap* heap) {
// Do not allow referencing a class or instance of a class defined in a dex file
// belonging to the boot image we're compiling against but not itself in the boot image;
// or a class referencing such classes as component type, superclass or interface.
// Allowing this could yield duplicate class objects from multiple extensions.
if (heap->ObjectIsInBootImageSpace(klass)) {
return true; // Already included in the boot image we're compiling against.
}
// Treat arrays and primitive types specially because they do not have a DexCache that we
// can use to check whether the dex file belongs to the boot image we're compiling against.
DCHECK(!klass->IsPrimitive()); // Primitive classes must be in the primary boot image.
if (klass->IsArrayClass()) {
DCHECK(heap->ObjectIsInBootImageSpace(klass->GetIfTable())); // IfTable is OK.
// Arrays of all dimensions are tied to the dex file of the non-array component type.
do {
klass = klass->GetComponentType();
} while (klass->IsArrayClass());
if (klass->IsPrimitive()) {
return false;
}
// Do not allow arrays of erroneous classes (the array class is not itself erroneous).
if (klass->IsErroneous()) {
return false;
}
}
// Check the class itself.
if (heap->ObjectIsInBootImageSpace(klass->GetDexCache())) {
return false;
}
// Check superclasses.
ObjPtr<mirror::Class> superclass = klass->GetSuperClass();
while (!heap->ObjectIsInBootImageSpace(superclass)) {
DCHECK(superclass != nullptr); // Cannot skip Object which is in the primary boot image.
if (heap->ObjectIsInBootImageSpace(superclass->GetDexCache())) {
return false;
}
superclass = superclass->GetSuperClass();
}
// Check IfTable. This includes direct and indirect interfaces.
ObjPtr<mirror::IfTable> if_table = klass->GetIfTable();
for (size_t i = 0, num_interfaces = klass->GetIfTableCount(); i < num_interfaces; ++i) {
ObjPtr<mirror::Class> interface = if_table->GetInterface(i);
DCHECK(interface != nullptr);
if (!heap->ObjectIsInBootImageSpace(interface) &&
heap->ObjectIsInBootImageSpace(interface->GetDexCache())) {
return false;
}
}
if (kIsDebugBuild) {
// All virtual methods must come from classes we have already checked above.
PointerSize pointer_size = Runtime::Current()->GetClassLinker()->GetImagePointerSize();
ObjPtr<mirror::Class> k = klass;
while (!heap->ObjectIsInBootImageSpace(k)) {
for (auto& m : k->GetVirtualMethods(pointer_size)) {
ObjPtr<mirror::Class> declaring_class = m.GetDeclaringClass();
CHECK(heap->ObjectIsInBootImageSpace(declaring_class) ||
!heap->ObjectIsInBootImageSpace(declaring_class->GetDexCache()));
}
k = k->GetSuperClass();
}
}
return true;
}
bool AotClassLinker::SetUpdatableBootClassPackages(const std::vector<std::string>& packages) {
DCHECK(updatable_boot_class_path_descriptor_prefixes_.empty());
// Transform package names to descriptor prefixes.
std::vector<std::string> prefixes;
prefixes.reserve(packages.size());
for (const std::string& package : packages) {
if (package.empty() || package.find('/') != std::string::npos) {
LOG(ERROR) << "Invalid package name: " << package;
return false;
}
std::string prefix = 'L' + package + '/';
std::replace(prefix.begin(), prefix.end(), '.', '/');
prefixes.push_back(std::move(prefix));
}
// Sort and remove unnecessary prefixes.
std::sort(prefixes.begin(), prefixes.end());
std::string last_prefix;
auto end_it = std::remove_if(
prefixes.begin(),
prefixes.end(),
[&last_prefix](const std::string& s) {
if (!last_prefix.empty() && StartsWith(s, last_prefix)) {
return true;
} else {
last_prefix = s;
return false;
}
});
prefixes.resize(std::distance(prefixes.begin(), end_it));
prefixes.shrink_to_fit();
updatable_boot_class_path_descriptor_prefixes_.swap(prefixes);
return true;
}
bool AotClassLinker::IsUpdatableBootClassPathDescriptor(const char* descriptor) {
std::string_view descriptor_sv(descriptor);
for (const std::string& prefix : updatable_boot_class_path_descriptor_prefixes_) {
if (StartsWith(descriptor_sv, prefix)) {
return true;
}
}
return false;
}
} // namespace art