blob: 7005c292c890001a6ea2724b59d54e618b31238b [file] [log] [blame]
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001/*
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 Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_CLASS_LINKER_INL_H_
18#define ART_RUNTIME_CLASS_LINKER_INL_H_
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080019
Mathieu Chartierc7853442015-03-27 14:35:38 -070020#include "art_field.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080021#include "class_linker.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070022#include "gc_root-inl.h"
Mathieu Chartier52e4b432014-06-10 11:22:31 -070023#include "gc/heap-inl.h"
Mathieu Chartier28357fa2016-10-18 16:27:40 -070024#include "obj_ptr-inl.h"
Mathieu Chartier590fee92013-09-13 13:46:47 -070025#include "mirror/class_loader.h"
Mathieu Chartierbc56fc32014-06-03 15:37:03 -070026#include "mirror/dex_cache-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080027#include "mirror/iftable.h"
28#include "mirror/object_array.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070029#include "handle_scope-inl.h"
Mathieu Chartierc4f39252016-10-05 18:32:08 -070030#include "scoped_thread_state_change-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080031
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -070032#include <atomic>
33
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080034namespace art {
35
Ian Rogers98379392014-02-24 16:53:16 -080036inline mirror::Class* ClassLinker::FindSystemClass(Thread* self, const char* descriptor) {
Mathieu Chartier9865bde2015-12-21 09:58:16 -080037 return FindClass(self, descriptor, ScopedNullHandle<mirror::ClassLoader>());
Ian Rogers98379392014-02-24 16:53:16 -080038}
39
Mathieu Chartierbc5a7952016-10-17 15:46:31 -070040inline mirror::Class* ClassLinker::FindArrayClass(Thread* self,
41 ObjPtr<mirror::Class>* element_class) {
Ian Rogers98379392014-02-24 16:53:16 -080042 for (size_t i = 0; i < kFindArrayCacheSize; ++i) {
Ian Rogersa55cf412014-02-27 00:31:26 -080043 // Read the cached array class once to avoid races with other threads setting it.
Mathieu Chartier28357fa2016-10-18 16:27:40 -070044 ObjPtr<mirror::Class> array_class = find_array_class_cache_[i].Read();
Mathieu Chartierb74cd292014-05-29 14:31:33 -070045 if (array_class != nullptr && array_class->GetComponentType() == *element_class) {
Mathieu Chartier28357fa2016-10-18 16:27:40 -070046 return array_class.Ptr();
Ian Rogers98379392014-02-24 16:53:16 -080047 }
48 }
Ian Rogers1ff3c982014-08-12 02:30:58 -070049 std::string descriptor = "[";
50 std::string temp;
51 descriptor += (*element_class)->GetDescriptor(&temp);
Mathieu Chartierb74cd292014-05-29 14:31:33 -070052 StackHandleScope<2> hs(Thread::Current());
53 Handle<mirror::ClassLoader> class_loader(hs.NewHandle((*element_class)->GetClassLoader()));
Mathieu Chartierbc5a7952016-10-17 15:46:31 -070054 HandleWrapperObjPtr<mirror::Class> h_element_class(hs.NewHandleWrapper(element_class));
Mathieu Chartier28357fa2016-10-18 16:27:40 -070055 ObjPtr<mirror::Class> array_class = FindClass(self, descriptor.c_str(), class_loader);
Nicolas Geoffray9638b642015-06-23 18:16:46 +010056 if (array_class != nullptr) {
57 // Benign races in storing array class and incrementing index.
58 size_t victim_index = find_array_class_cache_next_victim_;
59 find_array_class_cache_[victim_index] = GcRoot<mirror::Class>(array_class);
60 find_array_class_cache_next_victim_ = (victim_index + 1) % kFindArrayCacheSize;
61 } else {
62 // We should have a NoClassDefFoundError.
63 self->AssertPendingException();
64 }
Mathieu Chartier28357fa2016-10-18 16:27:40 -070065 return array_class.Ptr();
Ian Rogers98379392014-02-24 16:53:16 -080066}
67
Andreas Gampe8a0128a2016-11-28 07:38:35 -080068inline mirror::String* ClassLinker::ResolveString(dex::StringIndex string_idx,
69 ArtMethod* referrer) {
Mathieu Chartier3398c782016-09-30 10:27:43 -070070 Thread::PoisonObjectPointersIfDebug();
Mathieu Chartier28357fa2016-10-18 16:27:40 -070071 ObjPtr<mirror::Class> declaring_class = referrer->GetDeclaringClass();
Vladimir Marko05792b92015-08-03 11:56:49 +010072 // MethodVerifier refuses methods with string_idx out of bounds.
Andreas Gampe8a0128a2016-11-28 07:38:35 -080073 DCHECK_LT(string_idx.index_, declaring_class->GetDexFile().NumStringIds());
Mathieu Chartier28357fa2016-10-18 16:27:40 -070074 ObjPtr<mirror::String> string =
Narayan Kamathc38a6f82016-09-29 17:07:20 +010075 mirror::StringDexCachePair::Lookup(declaring_class->GetDexCacheStrings(),
Andreas Gampe8a0128a2016-11-28 07:38:35 -080076 string_idx.index_,
Narayan Kamathc38a6f82016-09-29 17:07:20 +010077 mirror::DexCache::kDexCacheStringCacheSize).Read();
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -070078 if (UNLIKELY(string == nullptr)) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070079 StackHandleScope<1> hs(Thread::Current());
80 Handle<mirror::DexCache> dex_cache(hs.NewHandle(declaring_class->GetDexCache()));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080081 const DexFile& dex_file = *dex_cache->GetDexFile();
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -070082 string = ResolveString(dex_file, string_idx, dex_cache);
83 if (string != nullptr) {
84 DCHECK_EQ(dex_cache->GetResolvedString(string_idx), string);
Ian Rogerseebe03a2014-05-02 11:09:57 -070085 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080086 }
Mathieu Chartier28357fa2016-10-18 16:27:40 -070087 return string.Ptr();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080088}
89
Andreas Gampea5b09a62016-11-17 15:21:22 -080090inline mirror::Class* ClassLinker::ResolveType(dex::TypeIndex type_idx, ArtMethod* referrer) {
Mathieu Chartiera59d9b22016-09-26 18:13:17 -070091 Thread::PoisonObjectPointersIfDebug();
Mathieu Chartier28357fa2016-10-18 16:27:40 -070092 ObjPtr<mirror::Class> resolved_type =
93 referrer->GetDexCacheResolvedType(type_idx, image_pointer_size_);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070094 if (UNLIKELY(resolved_type == nullptr)) {
Mathieu Chartier28357fa2016-10-18 16:27:40 -070095 ObjPtr<mirror::Class> declaring_class = referrer->GetDeclaringClass();
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070096 StackHandleScope<2> hs(Thread::Current());
97 Handle<mirror::DexCache> dex_cache(hs.NewHandle(declaring_class->GetDexCache()));
98 Handle<mirror::ClassLoader> class_loader(hs.NewHandle(declaring_class->GetClassLoader()));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080099 const DexFile& dex_file = *dex_cache->GetDexFile();
100 resolved_type = ResolveType(dex_file, type_idx, dex_cache, class_loader);
Andreas Gampe58a5af82014-07-31 16:23:49 -0700101 // Note: We cannot check here to see whether we added the type to the cache. The type
102 // might be an erroneous class, which results in it being hidden from us.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800103 }
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700104 return resolved_type.Ptr();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800105}
106
Andreas Gampea5b09a62016-11-17 15:21:22 -0800107inline mirror::Class* ClassLinker::ResolveType(dex::TypeIndex type_idx, ArtField* referrer) {
Mathieu Chartier3398c782016-09-30 10:27:43 -0700108 Thread::PoisonObjectPointersIfDebug();
109 ObjPtr<mirror::Class> declaring_class = referrer->GetDeclaringClass();
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700110 ObjPtr<mirror::DexCache> dex_cache_ptr = declaring_class->GetDexCache();
111 ObjPtr<mirror::Class> resolved_type = dex_cache_ptr->GetResolvedType(type_idx);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700112 if (UNLIKELY(resolved_type == nullptr)) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700113 StackHandleScope<2> hs(Thread::Current());
114 Handle<mirror::DexCache> dex_cache(hs.NewHandle(dex_cache_ptr));
115 Handle<mirror::ClassLoader> class_loader(hs.NewHandle(declaring_class->GetClassLoader()));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800116 const DexFile& dex_file = *dex_cache->GetDexFile();
117 resolved_type = ResolveType(dex_file, type_idx, dex_cache, class_loader);
Andreas Gampe58a5af82014-07-31 16:23:49 -0700118 // Note: We cannot check here to see whether we added the type to the cache. The type
119 // might be an erroneous class, which results in it being hidden from us.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800120 }
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700121 return resolved_type.Ptr();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800122}
123
Mathieu Chartiere401d142015-04-22 13:56:20 -0700124inline ArtMethod* ClassLinker::GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer) {
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700125 ArtMethod* resolved_method = referrer->GetDexCacheResolvedMethod(method_idx, image_pointer_size_);
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700126 if (resolved_method == nullptr || resolved_method->IsRuntimeMethod()) {
127 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800128 }
129 return resolved_method;
130}
131
Nicolas Geoffray393fdb82016-04-25 14:58:06 +0100132inline mirror::Class* ClassLinker::ResolveReferencedClassOfMethod(
133 uint32_t method_idx,
134 Handle<mirror::DexCache> dex_cache,
135 Handle<mirror::ClassLoader> class_loader) {
Alex Lightfedd91d2016-01-07 14:49:16 -0800136 // NB: We cannot simply use `GetResolvedMethod(method_idx, ...)->GetDeclaringClass()`. This is
137 // because if we did so than an invoke-super could be incorrectly dispatched in cases where
138 // GetMethodId(method_idx).class_idx_ refers to a non-interface, non-direct-superclass
139 // (super*-class?) of the referrer and the direct superclass of the referrer contains a concrete
140 // implementation of the method. If this class's implementation of the method is copied from an
141 // interface (either miranda, default or conflict) we would incorrectly assume that is what we
142 // want to invoke on, instead of the 'concrete' implementation that the direct superclass
143 // contains.
Nicolas Geoffray393fdb82016-04-25 14:58:06 +0100144 const DexFile* dex_file = dex_cache->GetDexFile();
Alex Lightfedd91d2016-01-07 14:49:16 -0800145 const DexFile::MethodId& method = dex_file->GetMethodId(method_idx);
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700146 ObjPtr<mirror::Class> resolved_type = dex_cache->GetResolvedType(method.class_idx_);
Alex Lightfedd91d2016-01-07 14:49:16 -0800147 if (UNLIKELY(resolved_type == nullptr)) {
Nicolas Geoffray393fdb82016-04-25 14:58:06 +0100148 resolved_type = ResolveType(*dex_file, method.class_idx_, dex_cache, class_loader);
Alex Lightfedd91d2016-01-07 14:49:16 -0800149 }
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700150 return resolved_type.Ptr();
Alex Lightfedd91d2016-01-07 14:49:16 -0800151}
152
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800153template <ClassLinker::ResolveMode kResolveMode>
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700154inline ArtMethod* ClassLinker::ResolveMethod(Thread* self,
155 uint32_t method_idx,
156 ArtMethod* referrer,
157 InvokeType type) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700158 ArtMethod* resolved_method = GetResolvedMethod(method_idx, referrer);
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700159 Thread::PoisonObjectPointersIfDebug();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700160 if (UNLIKELY(resolved_method == nullptr)) {
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700161 ObjPtr<mirror::Class> declaring_class = referrer->GetDeclaringClass();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700162 StackHandleScope<2> hs(self);
163 Handle<mirror::DexCache> h_dex_cache(hs.NewHandle(declaring_class->GetDexCache()));
164 Handle<mirror::ClassLoader> h_class_loader(hs.NewHandle(declaring_class->GetClassLoader()));
165 const DexFile* dex_file = h_dex_cache->GetDexFile();
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800166 resolved_method = ResolveMethod<kResolveMode>(*dex_file,
167 method_idx,
168 h_dex_cache,
169 h_class_loader,
170 referrer,
171 type);
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700172 }
Andreas Gampe58a5af82014-07-31 16:23:49 -0700173 // Note: We cannot check here to see whether we added the method to the cache. It
174 // might be an erroneous class, which results in it being hidden from us.
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700175 return resolved_method;
176}
177
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700178inline ArtField* ClassLinker::GetResolvedField(uint32_t field_idx,
179 ObjPtr<mirror::DexCache> dex_cache) {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700180 return dex_cache->GetResolvedField(field_idx, image_pointer_size_);
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700181}
182
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700183inline ArtField* ClassLinker::GetResolvedField(uint32_t field_idx,
184 ObjPtr<mirror::Class> field_declaring_class) {
185 return GetResolvedField(field_idx, MakeObjPtr(field_declaring_class->GetDexCache()));
Mathieu Chartierc7853442015-03-27 14:35:38 -0700186}
187
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700188inline ArtField* ClassLinker::ResolveField(uint32_t field_idx,
189 ArtMethod* referrer,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700190 bool is_static) {
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700191 Thread::PoisonObjectPointersIfDebug();
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700192 ObjPtr<mirror::Class> declaring_class = referrer->GetDeclaringClass();
193 ArtField* resolved_field = GetResolvedField(field_idx, declaring_class);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700194 if (UNLIKELY(resolved_field == nullptr)) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700195 StackHandleScope<2> hs(Thread::Current());
196 Handle<mirror::DexCache> dex_cache(hs.NewHandle(declaring_class->GetDexCache()));
197 Handle<mirror::ClassLoader> class_loader(hs.NewHandle(declaring_class->GetClassLoader()));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800198 const DexFile& dex_file = *dex_cache->GetDexFile();
199 resolved_field = ResolveField(dex_file, field_idx, dex_cache, class_loader, is_static);
Andreas Gampe58a5af82014-07-31 16:23:49 -0700200 // Note: We cannot check here to see whether we added the field to the cache. The type
201 // might be an erroneous class, which results in it being hidden from us.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800202 }
203 return resolved_field;
204}
205
Ian Rogersc0542af2014-09-03 16:16:56 -0700206inline mirror::Object* ClassLinker::AllocObject(Thread* self) {
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700207 return GetClassRoot(kJavaLangObject)->Alloc<true, false>(
208 self,
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700209 Runtime::Current()->GetHeap()->GetCurrentAllocator()).Ptr();
Ian Rogersc0542af2014-09-03 16:16:56 -0700210}
211
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800212template <class T>
213inline mirror::ObjectArray<T>* ClassLinker::AllocObjectArray(Thread* self, size_t length) {
214 return mirror::ObjectArray<T>::Alloc(self, GetClassRoot(kObjectArrayClass), length);
215}
216
217inline mirror::ObjectArray<mirror::Class>* ClassLinker::AllocClassArray(Thread* self,
218 size_t length) {
219 return mirror::ObjectArray<mirror::Class>::Alloc(self, GetClassRoot(kClassArrayClass), length);
220}
221
222inline mirror::ObjectArray<mirror::String>* ClassLinker::AllocStringArray(Thread* self,
223 size_t length) {
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700224 return mirror::ObjectArray<mirror::String>::Alloc(self,
225 GetClassRoot(kJavaLangStringArrayClass),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800226 length);
227}
228
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800229inline mirror::IfTable* ClassLinker::AllocIfTable(Thread* self, size_t ifcount) {
230 return down_cast<mirror::IfTable*>(
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700231 mirror::IfTable::Alloc(self,
232 GetClassRoot(kObjectArrayClass),
Mathieu Chartier52e4b432014-06-10 11:22:31 -0700233 ifcount * mirror::IfTable::kMax));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800234}
235
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700236inline mirror::Class* ClassLinker::GetClassRoot(ClassRoot class_root) {
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -0700237 DCHECK(!class_roots_.IsNull());
238 mirror::ObjectArray<mirror::Class>* class_roots = class_roots_.Read();
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700239 ObjPtr<mirror::Class> klass = class_roots->Get(class_root);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700240 DCHECK(klass != nullptr);
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700241 return klass.Ptr();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800242}
243
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700244template<ReadBarrierOption kReadBarrierOption>
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700245ArtMethod* ClassLinker::FindMethodForProxy(ObjPtr<mirror::Class> proxy_class,
246 ArtMethod* proxy_method) {
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700247 DCHECK(proxy_class->IsProxyClass());
248 DCHECK(proxy_method->IsProxyMethod<kReadBarrierOption>());
249 {
250 Thread* const self = Thread::Current();
251 ReaderMutexLock mu(self, dex_lock_);
252 // Locate the dex cache of the original interface/Object
253 for (const DexCacheData& data : dex_caches_) {
254 if (!self->IsJWeakCleared(data.weak_root) &&
255 proxy_method->HasSameDexCacheResolvedTypes(data.resolved_types,
256 image_pointer_size_)) {
Mathieu Chartierc4f39252016-10-05 18:32:08 -0700257 ObjPtr<mirror::DexCache> dex_cache =
258 ObjPtr<mirror::DexCache>::DownCast(self->DecodeJObject(data.weak_root));
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700259 if (dex_cache != nullptr) {
260 ArtMethod* resolved_method = dex_cache->GetResolvedMethod(
261 proxy_method->GetDexMethodIndex(), image_pointer_size_);
262 CHECK(resolved_method != nullptr);
263 return resolved_method;
264 }
265 }
266 }
267 }
David Sehr709b0702016-10-13 09:12:37 -0700268 LOG(FATAL) << "Didn't find dex cache for " << proxy_class->PrettyClass() << " "
269 << proxy_method->PrettyMethod();
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700270 UNREACHABLE();
271}
272
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800273} // namespace art
274
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700275#endif // ART_RUNTIME_CLASS_LINKER_INL_H_