blob: c810b417fd318146ac71a0dba1d103bf0ea19457 [file] [log] [blame]
Chang Xing605fe242017-07-20 15:57:21 -07001/*
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
Andreas Gampe5d3b0022017-08-31 10:36:31 -070019#include "class_status.h"
Mathieu Chartier9e050df2017-08-09 10:05:47 -070020#include "compiler_callbacks.h"
David Sehr312f3b22018-03-19 08:39:26 -070021#include "dex/class_reference.h"
Chang Xing605fe242017-07-20 15:57:21 -070022#include "handle_scope-inl.h"
Mathieu Chartier9e050df2017-08-09 10:05:47 -070023#include "mirror/class-inl.h"
Chang Xing605fe242017-07-20 15:57:21 -070024#include "runtime.h"
Mathieu Chartier9e050df2017-08-09 10:05:47 -070025#include "verifier/verifier_enums.h"
Chang Xing605fe242017-07-20 15:57:21 -070026
27namespace art {
28
29AotClassLinker::AotClassLinker(InternTable *intern_table) : ClassLinker(intern_table) {}
30
31AotClassLinker::~AotClassLinker() {}
32
33// Wrap the original InitializeClass with creation of transaction when in strict mode.
34bool AotClassLinker::InitializeClass(Thread* self, Handle<mirror::Class> klass,
35 bool can_init_statics, bool can_init_parents) {
36 Runtime* const runtime = Runtime::Current();
Chang Xingadbb91c2017-07-17 11:23:55 -070037 bool strict_mode_ = runtime->IsActiveStrictTransactionMode();
Chang Xing605fe242017-07-20 15:57:21 -070038
39 DCHECK(klass != nullptr);
40 if (klass->IsInitialized() || klass->IsInitializing()) {
41 return ClassLinker::InitializeClass(self, klass, can_init_statics, can_init_parents);
42 }
43
Chang Xingadbb91c2017-07-17 11:23:55 -070044 // 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()) {
Vladimir Marko2c64a832018-01-04 11:31:56 +000047 if (klass->GetSuperClass()->GetStatus() == ClassStatus::kInitializing) {
Chang Xingadbb91c2017-07-17 11:23:55 -070048 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_) {
Chang Xing605fe242017-07-20 15:57:21 -070055 runtime->EnterTransactionMode(true, klass.Get()->AsClass());
56 }
57 bool success = ClassLinker::InitializeClass(self, klass, can_init_statics, can_init_parents);
58
Chang Xingadbb91c2017-07-17 11:23:55 -070059 if (strict_mode_) {
Chang Xing605fe242017-07-20 15:57:21 -070060 if (success) {
61 // Exit Transaction if success.
62 runtime->ExitTransactionMode();
63 } else {
Nicolas Geoffrayabadf022017-08-03 08:25:41 +000064 // 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());
Chang Xing605fe242017-07-20 15:57:21 -070067 DCHECK(self->IsExceptionPending());
68 }
69 }
70 return success;
71}
Mathieu Chartier9e050df2017-08-09 10:05:47 -070072
73verifier::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();
Andreas Gampe5d3b0022017-08-31 10:36:31 -070079 ClassStatus old_status = callbacks->GetPreviousClassState(
80 ClassReference(&klass->GetDexFile(), klass->GetDexClassDefIndex()));
Andreas Gamped3ea5b32017-09-04 14:55:34 -070081 // Was it verified? Report no failure.
Vladimir Marko2c64a832018-01-04 11:31:56 +000082 if (old_status >= ClassStatus::kVerified) {
Mathieu Chartier9e050df2017-08-09 10:05:47 -070083 return verifier::FailureKind::kNoFailure;
84 }
Andreas Gamped3ea5b32017-09-04 14:55:34 -070085 // Does it need to be verified at runtime? Report soft failure.
Vladimir Marko2c64a832018-01-04 11:31:56 +000086 if (old_status >= ClassStatus::kRetryVerificationAtRuntime) {
Andreas Gamped3ea5b32017-09-04 14:55:34 -070087 // 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.
Mathieu Chartier9e050df2017-08-09 10:05:47 -070092 return ClassLinker::PerformClassVerification(self, klass, log_level, error_msg);
93}
94
Chang Xing605fe242017-07-20 15:57:21 -070095} // namespace art