blob: 838b5b5083b84eeaa51d6b3bcd0b0f4f5d7cab54 [file] [log] [blame]
Ian Rogers57b86d42012-03-27 16:05:41 -07001/*
2 * Copyright (C) 2012 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
Mathieu Chartiere401d142015-04-22 13:56:20 -070017#include "art_method-inl.h"
Andreas Gampe8228cdf2017-05-30 15:03:54 -070018#include "base/callee_save_type.h"
Ian Rogers57b86d42012-03-27 16:05:41 -070019#include "callee_save_frame.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080020#include "class_linker-inl.h"
Vladimir Markoaad75c62016-10-03 08:46:48 +000021#include "class_table-inl.h"
David Sehr9e734c72018-01-04 17:56:19 -080022#include "dex/dex_file-inl.h"
23#include "dex/dex_file_types.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070024#include "entrypoints/entrypoint_utils-inl.h"
Vladimir Markoaad75c62016-10-03 08:46:48 +000025#include "gc/heap.h"
26#include "mirror/class-inl.h"
27#include "mirror/class_loader.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070028#include "mirror/object-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070029#include "mirror/object_array-inl.h"
Vladimir Markoaad75c62016-10-03 08:46:48 +000030#include "oat_file.h"
31#include "runtime.h"
Ian Rogers57b86d42012-03-27 16:05:41 -070032
33namespace art {
34
Vladimir Markof3c52b42017-11-17 17:32:12 +000035static void StoreObjectInBss(ArtMethod* outer_method,
36 const OatFile* oat_file,
37 size_t bss_offset,
38 ObjPtr<mirror::Object> object) REQUIRES_SHARED(Locks::mutator_lock_) {
39 // Used for storing Class or String in .bss GC roots.
40 static_assert(sizeof(GcRoot<mirror::Class>) == sizeof(GcRoot<mirror::Object>), "Size check.");
41 static_assert(sizeof(GcRoot<mirror::String>) == sizeof(GcRoot<mirror::Object>), "Size check.");
42 DCHECK_NE(bss_offset, IndexBssMappingLookup::npos);
43 DCHECK_ALIGNED(bss_offset, sizeof(GcRoot<mirror::Object>));
Vladimir Marko8bb72b62017-11-30 17:09:50 +000044 if (UNLIKELY(!oat_file->IsExecutable())) {
45 // There are situations where we execute bytecode tied to an oat file opened
46 // as non-executable (i.e. the AOT-compiled code cannot be executed) and we
47 // can JIT that bytecode and get here without the .bss being mmapped.
48 return;
49 }
Vladimir Markof3c52b42017-11-17 17:32:12 +000050 GcRoot<mirror::Object>* slot = reinterpret_cast<GcRoot<mirror::Object>*>(
51 const_cast<uint8_t*>(oat_file->BssBegin() + bss_offset));
52 DCHECK_GE(slot, oat_file->GetBssGcRoots().data());
53 DCHECK_LT(slot, oat_file->GetBssGcRoots().data() + oat_file->GetBssGcRoots().size());
54 if (slot->IsNull()) {
55 // This may race with another thread trying to store the very same value but that's OK.
Vladimir Markod5fd5c32019-07-02 14:46:32 +010056 std::atomic<GcRoot<mirror::Object>>* atomic_slot =
57 reinterpret_cast<std::atomic<GcRoot<mirror::Object>>*>(slot);
58 static_assert(sizeof(*slot) == sizeof(*atomic_slot), "Size check");
59 atomic_slot->store(GcRoot<mirror::Object>(object), std::memory_order_release);
Vladimir Markof3c52b42017-11-17 17:32:12 +000060 // We need a write barrier for the class loader that holds the GC roots in the .bss.
Vladimir Marko9b03cb42017-02-16 16:37:03 +000061 ObjPtr<mirror::ClassLoader> class_loader = outer_method->GetClassLoader();
Vladimir Markof3c52b42017-11-17 17:32:12 +000062 Runtime* runtime = Runtime::Current();
Vladimir Marko9b03cb42017-02-16 16:37:03 +000063 if (kIsDebugBuild) {
Vladimir Markof3c52b42017-11-17 17:32:12 +000064 ClassTable* class_table = runtime->GetClassLinker()->ClassTableForClassLoader(class_loader);
65 CHECK(class_table != nullptr && !class_table->InsertOatFile(oat_file))
Vladimir Marko1998cd02017-01-13 13:02:58 +000066 << "Oat file with .bss GC roots was not registered in class table: "
Vladimir Markof3c52b42017-11-17 17:32:12 +000067 << oat_file->GetLocation();
Vladimir Marko9b03cb42017-02-16 16:37:03 +000068 }
Mathieu Chartiera1467d02017-02-22 09:22:50 -080069 if (class_loader != nullptr) {
Mathieu Chartier88ea61e2018-06-20 17:45:41 -070070 WriteBarrier::ForEveryFieldWrite(class_loader);
Mathieu Chartiera1467d02017-02-22 09:22:50 -080071 } else {
Vladimir Markof3c52b42017-11-17 17:32:12 +000072 runtime->GetClassLinker()->WriteBarrierForBootOatFileBssRoots(oat_file);
73 }
74 } else {
75 // Each slot serves to store exactly one Class or String.
76 DCHECK_EQ(object, slot->Read());
77 }
78}
79
80static inline void StoreTypeInBss(ArtMethod* outer_method,
81 dex::TypeIndex type_idx,
82 ObjPtr<mirror::Class> resolved_type)
83 REQUIRES_SHARED(Locks::mutator_lock_) {
84 const DexFile* dex_file = outer_method->GetDexFile();
85 DCHECK(dex_file != nullptr);
86 const OatDexFile* oat_dex_file = dex_file->GetOatDexFile();
87 if (oat_dex_file != nullptr) {
88 size_t bss_offset = IndexBssMappingLookup::GetBssOffset(oat_dex_file->GetTypeBssMapping(),
89 type_idx.index_,
90 dex_file->NumTypeIds(),
91 sizeof(GcRoot<mirror::Class>));
92 if (bss_offset != IndexBssMappingLookup::npos) {
93 StoreObjectInBss(outer_method, oat_dex_file->GetOatFile(), bss_offset, resolved_type);
94 }
95 }
96}
97
98static inline void StoreStringInBss(ArtMethod* outer_method,
99 dex::StringIndex string_idx,
100 ObjPtr<mirror::String> resolved_string)
Vladimir Markoa9f303c2018-07-20 16:43:56 +0100101 REQUIRES_SHARED(Locks::mutator_lock_) {
Vladimir Markof3c52b42017-11-17 17:32:12 +0000102 const DexFile* dex_file = outer_method->GetDexFile();
103 DCHECK(dex_file != nullptr);
104 const OatDexFile* oat_dex_file = dex_file->GetOatDexFile();
105 if (oat_dex_file != nullptr) {
106 size_t bss_offset = IndexBssMappingLookup::GetBssOffset(oat_dex_file->GetStringBssMapping(),
107 string_idx.index_,
108 dex_file->NumStringIds(),
109 sizeof(GcRoot<mirror::Class>));
110 if (bss_offset != IndexBssMappingLookup::npos) {
111 StoreObjectInBss(outer_method, oat_dex_file->GetOatFile(), bss_offset, resolved_string);
Vladimir Marko1998cd02017-01-13 13:02:58 +0000112 }
Vladimir Marko6bec91c2017-01-09 15:03:12 +0000113 }
114}
115
Vladimir Marko4e08fad2017-11-23 12:52:36 +0000116static ALWAYS_INLINE bool CanReferenceBss(ArtMethod* outer_method, ArtMethod* caller)
117 REQUIRES_SHARED(Locks::mutator_lock_) {
118 // .bss references are used only for AOT-compiled code and only when the instruction
119 // originates from the outer method's dex file and the type or string index is tied to
120 // that dex file. As we do not want to check if the call is coming from AOT-compiled
121 // code (that could be expensive), simply check if the caller has the same dex file.
122 //
123 // If we've accepted running AOT-compiled code despite the runtime class loader
124 // resolving the caller to a different dex file, this check shall prevent us from
125 // filling the .bss slot and we shall keep going through the slow path. This is slow
126 // but correct; we do not really care that much about performance in this odd case.
127 //
128 // JIT can inline throwing instructions across dex files and this check prevents
129 // looking up the index in the wrong dex file in that case. If the caller and outer
130 // method have the same dex file, we may or may not find a .bss slot to update;
131 // if we do, this can still benefit AOT-compiled code executed later.
132 return outer_method->GetDexFile() == caller->GetDexFile();
133}
134
Vladimir Markoa9f303c2018-07-20 16:43:56 +0100135extern "C" mirror::Class* artInitializeStaticStorageFromCode(mirror::Class* klass, Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700136 REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogerse2645d32012-04-11 14:42:42 -0700137 // Called to ensure static storage base is initialized for direct static field reads and writes.
138 // A class may be accessing another class' fields when it doesn't have access, as access has been
139 // given by inheritance.
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700140 ScopedQuickEntrypointChecks sqec(self);
Vladimir Markoa9f303c2018-07-20 16:43:56 +0100141 DCHECK(klass != nullptr);
142 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
143 StackHandleScope<1> hs(self);
144 Handle<mirror::Class> h_klass = hs.NewHandle(klass);
145 bool success = class_linker->EnsureInitialized(
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700146 self, h_klass, /* can_init_fields= */ true, /* can_init_parents= */ true);
Vladimir Markoa9f303c2018-07-20 16:43:56 +0100147 if (UNLIKELY(!success)) {
148 return nullptr;
Vladimir Marko6bec91c2017-01-09 15:03:12 +0000149 }
Vladimir Markoa9f303c2018-07-20 16:43:56 +0100150 return h_klass.Get();
Ian Rogers57b86d42012-03-27 16:05:41 -0700151}
152
Vladimir Marko9d479252018-07-24 11:35:20 +0100153extern "C" mirror::Class* artResolveTypeFromCode(uint32_t type_idx, Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700154 REQUIRES_SHARED(Locks::mutator_lock_) {
Vladimir Markof3c52b42017-11-17 17:32:12 +0000155 // Called when the .bss slot was empty or for main-path runtime call.
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700156 ScopedQuickEntrypointChecks sqec(self);
Mingyao Yang0a87a652017-04-12 13:43:15 -0700157 auto caller_and_outer = GetCalleeSaveMethodCallerAndOuterMethod(
158 self, CalleeSaveType::kSaveEverythingForClinit);
Vladimir Marko6bec91c2017-01-09 15:03:12 +0000159 ArtMethod* caller = caller_and_outer.caller;
Vladimir Marko28e012a2017-12-07 11:22:59 +0000160 ObjPtr<mirror::Class> result = ResolveVerifyAndClinit(dex::TypeIndex(type_idx),
161 caller,
162 self,
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700163 /* can_run_clinit= */ false,
164 /* verify_access= */ false);
Vladimir Marko4e08fad2017-11-23 12:52:36 +0000165 if (LIKELY(result != nullptr) && CanReferenceBss(caller_and_outer.outer_method, caller)) {
Vladimir Markof3c52b42017-11-17 17:32:12 +0000166 StoreTypeInBss(caller_and_outer.outer_method, dex::TypeIndex(type_idx), result);
Vladimir Marko6bec91c2017-01-09 15:03:12 +0000167 }
Vladimir Marko28e012a2017-12-07 11:22:59 +0000168 return result.Ptr();
Ian Rogers57b86d42012-03-27 16:05:41 -0700169}
170
Vladimir Marko9d479252018-07-24 11:35:20 +0100171extern "C" mirror::Class* artResolveTypeAndVerifyAccessFromCode(uint32_t type_idx, Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700172 REQUIRES_SHARED(Locks::mutator_lock_) {
Vladimir Markof3c52b42017-11-17 17:32:12 +0000173 // Called when caller isn't guaranteed to have access to a type.
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700174 ScopedQuickEntrypointChecks sqec(self);
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700175 auto caller_and_outer = GetCalleeSaveMethodCallerAndOuterMethod(self,
176 CalleeSaveType::kSaveEverything);
Vladimir Marko6bec91c2017-01-09 15:03:12 +0000177 ArtMethod* caller = caller_and_outer.caller;
Vladimir Marko28e012a2017-12-07 11:22:59 +0000178 ObjPtr<mirror::Class> result = ResolveVerifyAndClinit(dex::TypeIndex(type_idx),
179 caller,
180 self,
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700181 /* can_run_clinit= */ false,
182 /* verify_access= */ true);
Vladimir Markof3c52b42017-11-17 17:32:12 +0000183 // Do not StoreTypeInBss(); access check entrypoint is never used together with .bss.
Vladimir Marko28e012a2017-12-07 11:22:59 +0000184 return result.Ptr();
Ian Rogers57b86d42012-03-27 16:05:41 -0700185}
186
Orion Hodsondbaa5c72018-05-10 08:22:46 +0100187extern "C" mirror::MethodHandle* artResolveMethodHandleFromCode(uint32_t method_handle_idx,
188 Thread* self)
189 REQUIRES_SHARED(Locks::mutator_lock_) {
190 ScopedQuickEntrypointChecks sqec(self);
191 auto caller_and_outer =
192 GetCalleeSaveMethodCallerAndOuterMethod(self, CalleeSaveType::kSaveEverything);
193 ArtMethod* caller = caller_and_outer.caller;
194 ObjPtr<mirror::MethodHandle> result = ResolveMethodHandleFromCode(caller, method_handle_idx);
195 return result.Ptr();
196}
197
Orion Hodson18259d72018-04-12 11:18:23 +0100198extern "C" mirror::MethodType* artResolveMethodTypeFromCode(uint32_t proto_idx, Thread* self)
199 REQUIRES_SHARED(Locks::mutator_lock_) {
200 ScopedQuickEntrypointChecks sqec(self);
201 auto caller_and_outer = GetCalleeSaveMethodCallerAndOuterMethod(self,
202 CalleeSaveType::kSaveEverything);
203 ArtMethod* caller = caller_and_outer.caller;
Orion Hodson06d10a72018-05-14 08:53:38 +0100204 ObjPtr<mirror::MethodType> result = ResolveMethodTypeFromCode(caller, dex::ProtoIndex(proto_idx));
Orion Hodson18259d72018-04-12 11:18:23 +0100205 return result.Ptr();
206}
207
Nicolas Geoffray7ea6a172015-05-19 18:58:54 +0100208extern "C" mirror::String* artResolveStringFromCode(int32_t string_idx, Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700209 REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700210 ScopedQuickEntrypointChecks sqec(self);
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700211 auto caller_and_outer = GetCalleeSaveMethodCallerAndOuterMethod(self,
212 CalleeSaveType::kSaveEverything);
Vladimir Marko6bec91c2017-01-09 15:03:12 +0000213 ArtMethod* caller = caller_and_outer.caller;
Vladimir Marko18090d12018-06-01 16:53:12 +0100214 ObjPtr<mirror::String> result =
215 Runtime::Current()->GetClassLinker()->ResolveString(dex::StringIndex(string_idx), caller);
Vladimir Marko4e08fad2017-11-23 12:52:36 +0000216 if (LIKELY(result != nullptr) && CanReferenceBss(caller_and_outer.outer_method, caller)) {
Vladimir Markof3c52b42017-11-17 17:32:12 +0000217 StoreStringInBss(caller_and_outer.outer_method, dex::StringIndex(string_idx), result);
Vladimir Markoaad75c62016-10-03 08:46:48 +0000218 }
Vladimir Marko28e012a2017-12-07 11:22:59 +0000219 return result.Ptr();
Ian Rogers57b86d42012-03-27 16:05:41 -0700220}
221
222} // namespace art