Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2011 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 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 17 | #ifndef ART_RUNTIME_CLASS_LINKER_INL_H_ |
| 18 | #define ART_RUNTIME_CLASS_LINKER_INL_H_ |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 19 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 20 | #include "art_field.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 21 | #include "class_linker.h" |
Hiroshi Yamauchi | 94f7b49 | 2014-07-22 18:08:23 -0700 | [diff] [blame] | 22 | #include "gc_root-inl.h" |
Mathieu Chartier | 52e4b43 | 2014-06-10 11:22:31 -0700 | [diff] [blame] | 23 | #include "gc/heap-inl.h" |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 24 | #include "obj_ptr-inl.h" |
Mathieu Chartier | 590fee9 | 2013-09-13 13:46:47 -0700 | [diff] [blame] | 25 | #include "mirror/class_loader.h" |
Mathieu Chartier | bc56fc3 | 2014-06-03 15:37:03 -0700 | [diff] [blame] | 26 | #include "mirror/dex_cache-inl.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 27 | #include "mirror/iftable.h" |
Andreas Gampe | c15a2f4 | 2017-04-21 12:09:39 -0700 | [diff] [blame^] | 28 | #include "mirror/object_array-inl.h" |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 29 | #include "handle_scope-inl.h" |
Mathieu Chartier | c4f3925 | 2016-10-05 18:32:08 -0700 | [diff] [blame] | 30 | #include "scoped_thread_state_change-inl.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 31 | |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 32 | #include <atomic> |
| 33 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 34 | namespace art { |
| 35 | |
Mathieu Chartier | bc5a795 | 2016-10-17 15:46:31 -0700 | [diff] [blame] | 36 | inline mirror::Class* ClassLinker::FindArrayClass(Thread* self, |
| 37 | ObjPtr<mirror::Class>* element_class) { |
Ian Rogers | 9837939 | 2014-02-24 16:53:16 -0800 | [diff] [blame] | 38 | for (size_t i = 0; i < kFindArrayCacheSize; ++i) { |
Ian Rogers | a55cf41 | 2014-02-27 00:31:26 -0800 | [diff] [blame] | 39 | // Read the cached array class once to avoid races with other threads setting it. |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 40 | ObjPtr<mirror::Class> array_class = find_array_class_cache_[i].Read(); |
Mathieu Chartier | b74cd29 | 2014-05-29 14:31:33 -0700 | [diff] [blame] | 41 | if (array_class != nullptr && array_class->GetComponentType() == *element_class) { |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 42 | return array_class.Ptr(); |
Ian Rogers | 9837939 | 2014-02-24 16:53:16 -0800 | [diff] [blame] | 43 | } |
| 44 | } |
Ian Rogers | 1ff3c98 | 2014-08-12 02:30:58 -0700 | [diff] [blame] | 45 | std::string descriptor = "["; |
| 46 | std::string temp; |
| 47 | descriptor += (*element_class)->GetDescriptor(&temp); |
Mathieu Chartier | b74cd29 | 2014-05-29 14:31:33 -0700 | [diff] [blame] | 48 | StackHandleScope<2> hs(Thread::Current()); |
| 49 | Handle<mirror::ClassLoader> class_loader(hs.NewHandle((*element_class)->GetClassLoader())); |
Mathieu Chartier | bc5a795 | 2016-10-17 15:46:31 -0700 | [diff] [blame] | 50 | HandleWrapperObjPtr<mirror::Class> h_element_class(hs.NewHandleWrapper(element_class)); |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 51 | ObjPtr<mirror::Class> array_class = FindClass(self, descriptor.c_str(), class_loader); |
Nicolas Geoffray | 9638b64 | 2015-06-23 18:16:46 +0100 | [diff] [blame] | 52 | if (array_class != nullptr) { |
| 53 | // Benign races in storing array class and incrementing index. |
| 54 | size_t victim_index = find_array_class_cache_next_victim_; |
| 55 | find_array_class_cache_[victim_index] = GcRoot<mirror::Class>(array_class); |
| 56 | find_array_class_cache_next_victim_ = (victim_index + 1) % kFindArrayCacheSize; |
| 57 | } else { |
| 58 | // We should have a NoClassDefFoundError. |
| 59 | self->AssertPendingException(); |
| 60 | } |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 61 | return array_class.Ptr(); |
Ian Rogers | 9837939 | 2014-02-24 16:53:16 -0800 | [diff] [blame] | 62 | } |
| 63 | |
Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 64 | inline ObjPtr<mirror::Class> ClassLinker::LookupResolvedType( |
| 65 | dex::TypeIndex type_idx, |
| 66 | ObjPtr<mirror::DexCache> dex_cache, |
| 67 | ObjPtr<mirror::ClassLoader> class_loader) { |
| 68 | ObjPtr<mirror::Class> type = dex_cache->GetResolvedType(type_idx); |
| 69 | if (type == nullptr) { |
| 70 | type = Runtime::Current()->GetClassLinker()->LookupResolvedType( |
| 71 | *dex_cache->GetDexFile(), type_idx, dex_cache, class_loader); |
| 72 | } |
| 73 | return type; |
| 74 | } |
| 75 | |
Andreas Gampe | a5b09a6 | 2016-11-17 15:21:22 -0800 | [diff] [blame] | 76 | inline mirror::Class* ClassLinker::ResolveType(dex::TypeIndex type_idx, ArtMethod* referrer) { |
Mathieu Chartier | a59d9b2 | 2016-09-26 18:13:17 -0700 | [diff] [blame] | 77 | Thread::PoisonObjectPointersIfDebug(); |
Mathieu Chartier | fb568d3 | 2016-12-06 13:21:38 -0800 | [diff] [blame] | 78 | if (kIsDebugBuild) { |
| 79 | Thread::Current()->AssertNoPendingException(); |
| 80 | } |
Vladimir Marko | 942fd31 | 2017-01-16 20:52:19 +0000 | [diff] [blame] | 81 | ObjPtr<mirror::Class> resolved_type = referrer->GetDexCache()->GetResolvedType(type_idx); |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 82 | if (UNLIKELY(resolved_type == nullptr)) { |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 83 | StackHandleScope<2> hs(Thread::Current()); |
Vladimir Marko | 942fd31 | 2017-01-16 20:52:19 +0000 | [diff] [blame] | 84 | ObjPtr<mirror::Class> declaring_class = referrer->GetDeclaringClass(); |
Alex Light | 4ba388a | 2017-01-27 10:26:49 -0800 | [diff] [blame] | 85 | Handle<mirror::DexCache> dex_cache(hs.NewHandle(referrer->GetDexCache())); |
Vladimir Marko | 942fd31 | 2017-01-16 20:52:19 +0000 | [diff] [blame] | 86 | Handle<mirror::ClassLoader> class_loader(hs.NewHandle(declaring_class->GetClassLoader())); |
| 87 | const DexFile& dex_file = *dex_cache->GetDexFile(); |
| 88 | resolved_type = ResolveType(dex_file, type_idx, dex_cache, class_loader); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 89 | } |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 90 | return resolved_type.Ptr(); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 91 | } |
| 92 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 93 | inline ArtMethod* ClassLinker::GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer) { |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 94 | ArtMethod* resolved_method = referrer->GetDexCacheResolvedMethod(method_idx, image_pointer_size_); |
Mathieu Chartier | 0cd8135 | 2014-05-22 16:48:55 -0700 | [diff] [blame] | 95 | if (resolved_method == nullptr || resolved_method->IsRuntimeMethod()) { |
| 96 | return nullptr; |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 97 | } |
| 98 | return resolved_method; |
| 99 | } |
| 100 | |
Nicolas Geoffray | 393fdb8 | 2016-04-25 14:58:06 +0100 | [diff] [blame] | 101 | inline mirror::Class* ClassLinker::ResolveReferencedClassOfMethod( |
| 102 | uint32_t method_idx, |
| 103 | Handle<mirror::DexCache> dex_cache, |
| 104 | Handle<mirror::ClassLoader> class_loader) { |
Alex Light | fedd91d | 2016-01-07 14:49:16 -0800 | [diff] [blame] | 105 | // NB: We cannot simply use `GetResolvedMethod(method_idx, ...)->GetDeclaringClass()`. This is |
| 106 | // because if we did so than an invoke-super could be incorrectly dispatched in cases where |
| 107 | // GetMethodId(method_idx).class_idx_ refers to a non-interface, non-direct-superclass |
| 108 | // (super*-class?) of the referrer and the direct superclass of the referrer contains a concrete |
| 109 | // implementation of the method. If this class's implementation of the method is copied from an |
| 110 | // interface (either miranda, default or conflict) we would incorrectly assume that is what we |
| 111 | // want to invoke on, instead of the 'concrete' implementation that the direct superclass |
| 112 | // contains. |
Nicolas Geoffray | 393fdb8 | 2016-04-25 14:58:06 +0100 | [diff] [blame] | 113 | const DexFile* dex_file = dex_cache->GetDexFile(); |
Alex Light | fedd91d | 2016-01-07 14:49:16 -0800 | [diff] [blame] | 114 | const DexFile::MethodId& method = dex_file->GetMethodId(method_idx); |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 115 | ObjPtr<mirror::Class> resolved_type = dex_cache->GetResolvedType(method.class_idx_); |
Alex Light | fedd91d | 2016-01-07 14:49:16 -0800 | [diff] [blame] | 116 | if (UNLIKELY(resolved_type == nullptr)) { |
Nicolas Geoffray | 393fdb8 | 2016-04-25 14:58:06 +0100 | [diff] [blame] | 117 | resolved_type = ResolveType(*dex_file, method.class_idx_, dex_cache, class_loader); |
Alex Light | fedd91d | 2016-01-07 14:49:16 -0800 | [diff] [blame] | 118 | } |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 119 | return resolved_type.Ptr(); |
Alex Light | fedd91d | 2016-01-07 14:49:16 -0800 | [diff] [blame] | 120 | } |
| 121 | |
Andreas Gampe | 42ef8ab | 2015-12-03 17:27:32 -0800 | [diff] [blame] | 122 | template <ClassLinker::ResolveMode kResolveMode> |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 123 | inline ArtMethod* ClassLinker::ResolveMethod(Thread* self, |
| 124 | uint32_t method_idx, |
| 125 | ArtMethod* referrer, |
| 126 | InvokeType type) { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 127 | ArtMethod* resolved_method = GetResolvedMethod(method_idx, referrer); |
Mathieu Chartier | a59d9b2 | 2016-09-26 18:13:17 -0700 | [diff] [blame] | 128 | Thread::PoisonObjectPointersIfDebug(); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 129 | if (UNLIKELY(resolved_method == nullptr)) { |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 130 | ObjPtr<mirror::Class> declaring_class = referrer->GetDeclaringClass(); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 131 | StackHandleScope<2> hs(self); |
Alex Light | 4ba388a | 2017-01-27 10:26:49 -0800 | [diff] [blame] | 132 | Handle<mirror::DexCache> h_dex_cache(hs.NewHandle(referrer->GetDexCache())); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 133 | Handle<mirror::ClassLoader> h_class_loader(hs.NewHandle(declaring_class->GetClassLoader())); |
| 134 | const DexFile* dex_file = h_dex_cache->GetDexFile(); |
Andreas Gampe | 42ef8ab | 2015-12-03 17:27:32 -0800 | [diff] [blame] | 135 | resolved_method = ResolveMethod<kResolveMode>(*dex_file, |
| 136 | method_idx, |
| 137 | h_dex_cache, |
| 138 | h_class_loader, |
| 139 | referrer, |
| 140 | type); |
Mathieu Chartier | 0cd8135 | 2014-05-22 16:48:55 -0700 | [diff] [blame] | 141 | } |
Andreas Gampe | 58a5af8 | 2014-07-31 16:23:49 -0700 | [diff] [blame] | 142 | // Note: We cannot check here to see whether we added the method to the cache. It |
| 143 | // might be an erroneous class, which results in it being hidden from us. |
Mathieu Chartier | 0cd8135 | 2014-05-22 16:48:55 -0700 | [diff] [blame] | 144 | return resolved_method; |
| 145 | } |
| 146 | |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 147 | inline ArtField* ClassLinker::LookupResolvedField(uint32_t field_idx, |
| 148 | ArtMethod* referrer, |
| 149 | bool is_static) { |
| 150 | ObjPtr<mirror::DexCache> dex_cache = referrer->GetDexCache(); |
| 151 | ArtField* field = dex_cache->GetResolvedField(field_idx, image_pointer_size_); |
| 152 | if (field == nullptr) { |
| 153 | field = LookupResolvedField(field_idx, dex_cache, referrer->GetClassLoader(), is_static); |
| 154 | } |
| 155 | return field; |
Mathieu Chartier | 0cd8135 | 2014-05-22 16:48:55 -0700 | [diff] [blame] | 156 | } |
| 157 | |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 158 | inline ArtField* ClassLinker::ResolveField(uint32_t field_idx, |
| 159 | ArtMethod* referrer, |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 160 | bool is_static) { |
Mathieu Chartier | a59d9b2 | 2016-09-26 18:13:17 -0700 | [diff] [blame] | 161 | Thread::PoisonObjectPointersIfDebug(); |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 162 | ObjPtr<mirror::Class> declaring_class = referrer->GetDeclaringClass(); |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 163 | ArtField* resolved_field = |
| 164 | referrer->GetDexCache()->GetResolvedField(field_idx, image_pointer_size_); |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 165 | if (UNLIKELY(resolved_field == nullptr)) { |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 166 | StackHandleScope<2> hs(Thread::Current()); |
Alex Light | dba6148 | 2016-12-21 08:20:29 -0800 | [diff] [blame] | 167 | Handle<mirror::DexCache> dex_cache(hs.NewHandle(referrer->GetDexCache())); |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 168 | Handle<mirror::ClassLoader> class_loader(hs.NewHandle(declaring_class->GetClassLoader())); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 169 | const DexFile& dex_file = *dex_cache->GetDexFile(); |
| 170 | resolved_field = ResolveField(dex_file, field_idx, dex_cache, class_loader, is_static); |
Andreas Gampe | 58a5af8 | 2014-07-31 16:23:49 -0700 | [diff] [blame] | 171 | // Note: We cannot check here to see whether we added the field to the cache. The type |
| 172 | // might be an erroneous class, which results in it being hidden from us. |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 173 | } |
| 174 | return resolved_field; |
| 175 | } |
| 176 | |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 177 | inline mirror::Class* ClassLinker::GetClassRoot(ClassRoot class_root) { |
Hiroshi Yamauchi | 94f7b49 | 2014-07-22 18:08:23 -0700 | [diff] [blame] | 178 | DCHECK(!class_roots_.IsNull()); |
| 179 | mirror::ObjectArray<mirror::Class>* class_roots = class_roots_.Read(); |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 180 | ObjPtr<mirror::Class> klass = class_roots->Get(class_root); |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 181 | DCHECK(klass != nullptr); |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 182 | return klass.Ptr(); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 183 | } |
| 184 | |
Hiroshi Yamauchi | 7a62e67 | 2016-06-10 17:22:48 -0700 | [diff] [blame] | 185 | template<ReadBarrierOption kReadBarrierOption> |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 186 | ArtMethod* ClassLinker::FindMethodForProxy(ObjPtr<mirror::Class> proxy_class, |
| 187 | ArtMethod* proxy_method) { |
Hiroshi Yamauchi | 7a62e67 | 2016-06-10 17:22:48 -0700 | [diff] [blame] | 188 | DCHECK(proxy_class->IsProxyClass()); |
Mathieu Chartier | 90c5a9b | 2017-02-01 13:10:06 -0800 | [diff] [blame] | 189 | DCHECK(proxy_method->IsProxyMethod()); |
Hiroshi Yamauchi | 7a62e67 | 2016-06-10 17:22:48 -0700 | [diff] [blame] | 190 | { |
| 191 | Thread* const self = Thread::Current(); |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 192 | ReaderMutexLock mu(self, *Locks::dex_lock_); |
Hiroshi Yamauchi | 7a62e67 | 2016-06-10 17:22:48 -0700 | [diff] [blame] | 193 | // Locate the dex cache of the original interface/Object |
| 194 | for (const DexCacheData& data : dex_caches_) { |
| 195 | if (!self->IsJWeakCleared(data.weak_root) && |
Vladimir Marko | 942fd31 | 2017-01-16 20:52:19 +0000 | [diff] [blame] | 196 | proxy_method->HasSameDexCacheResolvedMethods(data.resolved_methods, |
| 197 | image_pointer_size_)) { |
Mathieu Chartier | c4f3925 | 2016-10-05 18:32:08 -0700 | [diff] [blame] | 198 | ObjPtr<mirror::DexCache> dex_cache = |
| 199 | ObjPtr<mirror::DexCache>::DownCast(self->DecodeJObject(data.weak_root)); |
Hiroshi Yamauchi | 7a62e67 | 2016-06-10 17:22:48 -0700 | [diff] [blame] | 200 | if (dex_cache != nullptr) { |
| 201 | ArtMethod* resolved_method = dex_cache->GetResolvedMethod( |
| 202 | proxy_method->GetDexMethodIndex(), image_pointer_size_); |
| 203 | CHECK(resolved_method != nullptr); |
| 204 | return resolved_method; |
| 205 | } |
| 206 | } |
| 207 | } |
| 208 | } |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 209 | LOG(FATAL) << "Didn't find dex cache for " << proxy_class->PrettyClass() << " " |
| 210 | << proxy_method->PrettyMethod(); |
Hiroshi Yamauchi | 7a62e67 | 2016-06-10 17:22:48 -0700 | [diff] [blame] | 211 | UNREACHABLE(); |
| 212 | } |
| 213 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 214 | } // namespace art |
| 215 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 216 | #endif // ART_RUNTIME_CLASS_LINKER_INL_H_ |