Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 1 | /* |
| 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 Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 17 | #include "art_method-inl.h" |
Andreas Gampe | 8228cdf | 2017-05-30 15:03:54 -0700 | [diff] [blame] | 18 | #include "base/callee_save_type.h" |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 19 | #include "callee_save_frame.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 20 | #include "class_linker-inl.h" |
Vladimir Marko | aad75c6 | 2016-10-03 08:46:48 +0000 | [diff] [blame] | 21 | #include "class_table-inl.h" |
David Sehr | 9e734c7 | 2018-01-04 17:56:19 -0800 | [diff] [blame] | 22 | #include "dex/dex_file-inl.h" |
| 23 | #include "dex/dex_file_types.h" |
Andreas Gampe | 8cf9cb3 | 2017-07-19 09:28:38 -0700 | [diff] [blame] | 24 | #include "entrypoints/entrypoint_utils-inl.h" |
Vladimir Marko | aad75c6 | 2016-10-03 08:46:48 +0000 | [diff] [blame] | 25 | #include "gc/heap.h" |
| 26 | #include "mirror/class-inl.h" |
| 27 | #include "mirror/class_loader.h" |
Ian Rogers | 4f6ad8a | 2013-03-18 15:27:28 -0700 | [diff] [blame] | 28 | #include "mirror/object-inl.h" |
Andreas Gampe | 8cf9cb3 | 2017-07-19 09:28:38 -0700 | [diff] [blame] | 29 | #include "mirror/object_array-inl.h" |
Vladimir Marko | aad75c6 | 2016-10-03 08:46:48 +0000 | [diff] [blame] | 30 | #include "oat_file.h" |
| 31 | #include "runtime.h" |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 32 | |
| 33 | namespace art { |
| 34 | |
Vladimir Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 35 | static 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 Marko | 8bb72b6 | 2017-11-30 17:09:50 +0000 | [diff] [blame] | 44 | 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 Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 50 | 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 Marko | d5fd5c3 | 2019-07-02 14:46:32 +0100 | [diff] [blame^] | 56 | 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 Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 60 | // We need a write barrier for the class loader that holds the GC roots in the .bss. |
Vladimir Marko | 9b03cb4 | 2017-02-16 16:37:03 +0000 | [diff] [blame] | 61 | ObjPtr<mirror::ClassLoader> class_loader = outer_method->GetClassLoader(); |
Vladimir Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 62 | Runtime* runtime = Runtime::Current(); |
Vladimir Marko | 9b03cb4 | 2017-02-16 16:37:03 +0000 | [diff] [blame] | 63 | if (kIsDebugBuild) { |
Vladimir Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 64 | ClassTable* class_table = runtime->GetClassLinker()->ClassTableForClassLoader(class_loader); |
| 65 | CHECK(class_table != nullptr && !class_table->InsertOatFile(oat_file)) |
Vladimir Marko | 1998cd0 | 2017-01-13 13:02:58 +0000 | [diff] [blame] | 66 | << "Oat file with .bss GC roots was not registered in class table: " |
Vladimir Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 67 | << oat_file->GetLocation(); |
Vladimir Marko | 9b03cb4 | 2017-02-16 16:37:03 +0000 | [diff] [blame] | 68 | } |
Mathieu Chartier | a1467d0 | 2017-02-22 09:22:50 -0800 | [diff] [blame] | 69 | if (class_loader != nullptr) { |
Mathieu Chartier | 88ea61e | 2018-06-20 17:45:41 -0700 | [diff] [blame] | 70 | WriteBarrier::ForEveryFieldWrite(class_loader); |
Mathieu Chartier | a1467d0 | 2017-02-22 09:22:50 -0800 | [diff] [blame] | 71 | } else { |
Vladimir Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 72 | 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 | |
| 80 | static 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 | |
| 98 | static inline void StoreStringInBss(ArtMethod* outer_method, |
| 99 | dex::StringIndex string_idx, |
| 100 | ObjPtr<mirror::String> resolved_string) |
Vladimir Marko | a9f303c | 2018-07-20 16:43:56 +0100 | [diff] [blame] | 101 | REQUIRES_SHARED(Locks::mutator_lock_) { |
Vladimir Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 102 | 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 Marko | 1998cd0 | 2017-01-13 13:02:58 +0000 | [diff] [blame] | 112 | } |
Vladimir Marko | 6bec91c | 2017-01-09 15:03:12 +0000 | [diff] [blame] | 113 | } |
| 114 | } |
| 115 | |
Vladimir Marko | 4e08fad | 2017-11-23 12:52:36 +0000 | [diff] [blame] | 116 | static 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 Marko | a9f303c | 2018-07-20 16:43:56 +0100 | [diff] [blame] | 135 | extern "C" mirror::Class* artInitializeStaticStorageFromCode(mirror::Class* klass, Thread* self) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 136 | REQUIRES_SHARED(Locks::mutator_lock_) { |
Ian Rogers | e2645d3 | 2012-04-11 14:42:42 -0700 | [diff] [blame] | 137 | // 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 Rogers | 1d8cdbc | 2014-09-22 22:51:09 -0700 | [diff] [blame] | 140 | ScopedQuickEntrypointChecks sqec(self); |
Vladimir Marko | a9f303c | 2018-07-20 16:43:56 +0100 | [diff] [blame] | 141 | 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 Gampe | 98ea9d9 | 2018-10-19 14:06:15 -0700 | [diff] [blame] | 146 | self, h_klass, /* can_init_fields= */ true, /* can_init_parents= */ true); |
Vladimir Marko | a9f303c | 2018-07-20 16:43:56 +0100 | [diff] [blame] | 147 | if (UNLIKELY(!success)) { |
| 148 | return nullptr; |
Vladimir Marko | 6bec91c | 2017-01-09 15:03:12 +0000 | [diff] [blame] | 149 | } |
Vladimir Marko | a9f303c | 2018-07-20 16:43:56 +0100 | [diff] [blame] | 150 | return h_klass.Get(); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 151 | } |
| 152 | |
Vladimir Marko | 9d47925 | 2018-07-24 11:35:20 +0100 | [diff] [blame] | 153 | extern "C" mirror::Class* artResolveTypeFromCode(uint32_t type_idx, Thread* self) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 154 | REQUIRES_SHARED(Locks::mutator_lock_) { |
Vladimir Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 155 | // Called when the .bss slot was empty or for main-path runtime call. |
Ian Rogers | 1d8cdbc | 2014-09-22 22:51:09 -0700 | [diff] [blame] | 156 | ScopedQuickEntrypointChecks sqec(self); |
Mingyao Yang | 0a87a65 | 2017-04-12 13:43:15 -0700 | [diff] [blame] | 157 | auto caller_and_outer = GetCalleeSaveMethodCallerAndOuterMethod( |
| 158 | self, CalleeSaveType::kSaveEverythingForClinit); |
Vladimir Marko | 6bec91c | 2017-01-09 15:03:12 +0000 | [diff] [blame] | 159 | ArtMethod* caller = caller_and_outer.caller; |
Vladimir Marko | 28e012a | 2017-12-07 11:22:59 +0000 | [diff] [blame] | 160 | ObjPtr<mirror::Class> result = ResolveVerifyAndClinit(dex::TypeIndex(type_idx), |
| 161 | caller, |
| 162 | self, |
Andreas Gampe | 98ea9d9 | 2018-10-19 14:06:15 -0700 | [diff] [blame] | 163 | /* can_run_clinit= */ false, |
| 164 | /* verify_access= */ false); |
Vladimir Marko | 4e08fad | 2017-11-23 12:52:36 +0000 | [diff] [blame] | 165 | if (LIKELY(result != nullptr) && CanReferenceBss(caller_and_outer.outer_method, caller)) { |
Vladimir Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 166 | StoreTypeInBss(caller_and_outer.outer_method, dex::TypeIndex(type_idx), result); |
Vladimir Marko | 6bec91c | 2017-01-09 15:03:12 +0000 | [diff] [blame] | 167 | } |
Vladimir Marko | 28e012a | 2017-12-07 11:22:59 +0000 | [diff] [blame] | 168 | return result.Ptr(); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 169 | } |
| 170 | |
Vladimir Marko | 9d47925 | 2018-07-24 11:35:20 +0100 | [diff] [blame] | 171 | extern "C" mirror::Class* artResolveTypeAndVerifyAccessFromCode(uint32_t type_idx, Thread* self) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 172 | REQUIRES_SHARED(Locks::mutator_lock_) { |
Vladimir Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 173 | // Called when caller isn't guaranteed to have access to a type. |
Ian Rogers | 1d8cdbc | 2014-09-22 22:51:09 -0700 | [diff] [blame] | 174 | ScopedQuickEntrypointChecks sqec(self); |
Andreas Gampe | 8228cdf | 2017-05-30 15:03:54 -0700 | [diff] [blame] | 175 | auto caller_and_outer = GetCalleeSaveMethodCallerAndOuterMethod(self, |
| 176 | CalleeSaveType::kSaveEverything); |
Vladimir Marko | 6bec91c | 2017-01-09 15:03:12 +0000 | [diff] [blame] | 177 | ArtMethod* caller = caller_and_outer.caller; |
Vladimir Marko | 28e012a | 2017-12-07 11:22:59 +0000 | [diff] [blame] | 178 | ObjPtr<mirror::Class> result = ResolveVerifyAndClinit(dex::TypeIndex(type_idx), |
| 179 | caller, |
| 180 | self, |
Andreas Gampe | 98ea9d9 | 2018-10-19 14:06:15 -0700 | [diff] [blame] | 181 | /* can_run_clinit= */ false, |
| 182 | /* verify_access= */ true); |
Vladimir Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 183 | // Do not StoreTypeInBss(); access check entrypoint is never used together with .bss. |
Vladimir Marko | 28e012a | 2017-12-07 11:22:59 +0000 | [diff] [blame] | 184 | return result.Ptr(); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 185 | } |
| 186 | |
Orion Hodson | dbaa5c7 | 2018-05-10 08:22:46 +0100 | [diff] [blame] | 187 | extern "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 Hodson | 18259d7 | 2018-04-12 11:18:23 +0100 | [diff] [blame] | 198 | extern "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 Hodson | 06d10a7 | 2018-05-14 08:53:38 +0100 | [diff] [blame] | 204 | ObjPtr<mirror::MethodType> result = ResolveMethodTypeFromCode(caller, dex::ProtoIndex(proto_idx)); |
Orion Hodson | 18259d7 | 2018-04-12 11:18:23 +0100 | [diff] [blame] | 205 | return result.Ptr(); |
| 206 | } |
| 207 | |
Nicolas Geoffray | 7ea6a17 | 2015-05-19 18:58:54 +0100 | [diff] [blame] | 208 | extern "C" mirror::String* artResolveStringFromCode(int32_t string_idx, Thread* self) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 209 | REQUIRES_SHARED(Locks::mutator_lock_) { |
Ian Rogers | 1d8cdbc | 2014-09-22 22:51:09 -0700 | [diff] [blame] | 210 | ScopedQuickEntrypointChecks sqec(self); |
Andreas Gampe | 8228cdf | 2017-05-30 15:03:54 -0700 | [diff] [blame] | 211 | auto caller_and_outer = GetCalleeSaveMethodCallerAndOuterMethod(self, |
| 212 | CalleeSaveType::kSaveEverything); |
Vladimir Marko | 6bec91c | 2017-01-09 15:03:12 +0000 | [diff] [blame] | 213 | ArtMethod* caller = caller_and_outer.caller; |
Vladimir Marko | 18090d1 | 2018-06-01 16:53:12 +0100 | [diff] [blame] | 214 | ObjPtr<mirror::String> result = |
| 215 | Runtime::Current()->GetClassLinker()->ResolveString(dex::StringIndex(string_idx), caller); |
Vladimir Marko | 4e08fad | 2017-11-23 12:52:36 +0000 | [diff] [blame] | 216 | if (LIKELY(result != nullptr) && CanReferenceBss(caller_and_outer.outer_method, caller)) { |
Vladimir Marko | f3c52b4 | 2017-11-17 17:32:12 +0000 | [diff] [blame] | 217 | StoreStringInBss(caller_and_outer.outer_method, dex::StringIndex(string_idx), result); |
Vladimir Marko | aad75c6 | 2016-10-03 08:46:48 +0000 | [diff] [blame] | 218 | } |
Vladimir Marko | 28e012a | 2017-12-07 11:22:59 +0000 | [diff] [blame] | 219 | return result.Ptr(); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 220 | } |
| 221 | |
| 222 | } // namespace art |