blob: 3cf0fb6e3bd296bb74205d5ca5a1d2c7dad4fe8e [file] [log] [blame]
Elliott Hughes418d20f2011-09-22 14:00:39 -07001/*
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 */
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070016
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_CLASS_LINKER_H_
18#define ART_RUNTIME_CLASS_LINKER_H_
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070019
Mathieu Chartierc5dd3192015-12-09 16:38:30 -080020#include <set>
Ian Rogers6d4d9fc2011-11-30 16:24:48 -080021#include <string>
Alex Lighteb7c1442015-08-31 13:17:42 -070022#include <unordered_map>
Mathieu Chartierc5dd3192015-12-09 16:38:30 -080023#include <unordered_set>
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070024#include <utility>
25#include <vector>
26
Mathieu Chartierbad02672014-08-25 13:08:22 -070027#include "base/allocator.h"
Mathieu Chartierc2e20622014-11-03 11:41:47 -080028#include "base/hash_set.h"
Elliott Hughes76160052012-12-12 16:31:20 -080029#include "base/macros.h"
Elliott Hughes76b61672012-12-12 17:47:30 -080030#include "base/mutex.h"
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -070031#include "class_table.h"
Mathieu Chartierc5dd3192015-12-09 16:38:30 -080032#include "dex_cache_resolved_classes.h"
Brian Carlstrom7e49dca2011-07-22 18:07:34 -070033#include "dex_file.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070034#include "gc_root.h"
Mathieu Chartier590fee92013-09-13 13:46:47 -070035#include "jni.h"
Brian Carlstrom58ae9412011-10-04 00:56:06 -070036#include "oat_file.h"
Mathieu Chartier83c8ee02014-01-28 14:50:23 -080037#include "object_callbacks.h"
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070038
39namespace art {
Mingyao Yang98d1cc82014-05-15 17:02:16 -070040
Ian Rogers1d54e732013-05-02 21:10:01 -070041namespace gc {
42namespace space {
43 class ImageSpace;
44} // namespace space
45} // namespace gc
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080046namespace mirror {
Ian Rogers33e95662013-05-20 20:29:14 -070047 class ClassLoader;
48 class DexCache;
Mathieu Chartiere401d142015-04-22 13:56:20 -070049 class DexCachePointerArray;
Ian Rogers33e95662013-05-20 20:29:14 -070050 class DexCacheTest_Open_Test;
51 class IfTable;
52 template<class T> class ObjectArray;
53 class StackTraceElement;
54} // namespace mirror
Ian Rogers1d54e732013-05-02 21:10:01 -070055
Mathieu Chartiere42888f2016-04-14 10:49:19 -070056class ImtConflictTable;
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070057template<class T> class Handle;
Hiroshi Yamauchi679b1cf2015-05-21 12:05:27 -070058template<class T> class MutableHandle;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070059class InternTable;
Mathieu Chartierc528dba2013-11-26 12:00:11 -080060template<class T> class ObjectLock;
Andreas Gampe7ba64962014-10-23 11:37:40 -070061class Runtime;
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070062class ScopedObjectAccessAlreadyRunnable;
Mathieu Chartier2d2621a2014-10-23 16:48:06 -070063template<size_t kNumReferences> class PACKED(4) StackHandleScope;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070064
Mathieu Chartier893263b2014-03-04 11:07:42 -080065enum VisitRootFlags : uint8_t;
66
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -080067class ClassVisitor {
68 public:
69 virtual ~ClassVisitor() {}
70 // Return true to continue visiting.
71 virtual bool operator()(mirror::Class* klass) = 0;
72};
73
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -070074class ClassLoaderVisitor {
75 public:
76 virtual ~ClassLoaderVisitor() {}
77 virtual void Visit(mirror::ClassLoader* class_loader)
78 SHARED_REQUIRES(Locks::classlinker_classes_lock_, Locks::mutator_lock_) = 0;
79};
80
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070081class ClassLinker {
82 public:
Ian Rogers6f3dbba2014-10-14 17:41:57 -070083 // Well known mirror::Class roots accessed via GetClassRoot.
84 enum ClassRoot {
85 kJavaLangClass,
86 kJavaLangObject,
87 kClassArrayClass,
88 kObjectArrayClass,
89 kJavaLangString,
90 kJavaLangDexCache,
91 kJavaLangRefReference,
Mathieu Chartierfc58af42015-04-16 18:00:39 -070092 kJavaLangReflectConstructor,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -070093 kJavaLangReflectField,
Mathieu Chartierfc58af42015-04-16 18:00:39 -070094 kJavaLangReflectMethod,
Ian Rogers6f3dbba2014-10-14 17:41:57 -070095 kJavaLangReflectProxy,
96 kJavaLangStringArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -070097 kJavaLangReflectConstructorArrayClass,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -070098 kJavaLangReflectFieldArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -070099 kJavaLangReflectMethodArrayClass,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700100 kJavaLangClassLoader,
101 kJavaLangThrowable,
102 kJavaLangClassNotFoundException,
103 kJavaLangStackTraceElement,
104 kPrimitiveBoolean,
105 kPrimitiveByte,
106 kPrimitiveChar,
107 kPrimitiveDouble,
108 kPrimitiveFloat,
109 kPrimitiveInt,
110 kPrimitiveLong,
111 kPrimitiveShort,
112 kPrimitiveVoid,
113 kBooleanArrayClass,
114 kByteArrayClass,
115 kCharArrayClass,
116 kDoubleArrayClass,
117 kFloatArrayClass,
118 kIntArrayClass,
119 kLongArrayClass,
120 kShortArrayClass,
121 kJavaLangStackTraceElementArrayClass,
122 kClassRootsMax,
123 };
124
Mathieu Chartier590fee92013-09-13 13:46:47 -0700125 explicit ClassLinker(InternTable* intern_table);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700126 ~ClassLinker();
Carl Shapiro565f5072011-07-10 13:39:43 -0700127
Alex Light64ad14d2014-08-19 14:23:13 -0700128 // Initialize class linker by bootstraping from dex files.
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800129 bool InitWithoutImage(std::vector<std::unique_ptr<const DexFile>> boot_class_path,
130 std::string* error_msg)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700131 SHARED_REQUIRES(Locks::mutator_lock_)
132 REQUIRES(!dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700133
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800134 // Initialize class linker from one or more boot images.
135 bool InitFromBootImage(std::string* error_msg)
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800136 SHARED_REQUIRES(Locks::mutator_lock_)
137 REQUIRES(!dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700138
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800139 // Add an image space to the class linker, may fix up classloader fields and dex cache fields.
140 // The dex files that were newly opened for the space are placed in the out argument
141 // out_dex_files. Returns true if the operation succeeded.
142 // The space must be already added to the heap before calling AddImageSpace since we need to
143 // properly handle read barriers and object marking.
144 bool AddImageSpace(gc::space::ImageSpace* space,
145 Handle<mirror::ClassLoader> class_loader,
146 jobjectArray dex_elements,
147 const char* dex_location,
148 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
149 std::string* error_msg)
150 REQUIRES(!dex_lock_)
151 SHARED_REQUIRES(Locks::mutator_lock_);
152
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800153 bool OpenImageDexFiles(gc::space::ImageSpace* space,
154 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
155 std::string* error_msg)
156 REQUIRES(!dex_lock_)
157 SHARED_REQUIRES(Locks::mutator_lock_);
158
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700159 // Finds a class by its descriptor, loading it if necessary.
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700160 // If class_loader is null, searches boot_class_path_.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700161 mirror::Class* FindClass(Thread* self,
162 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700163 Handle<mirror::ClassLoader> class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700164 SHARED_REQUIRES(Locks::mutator_lock_)
165 REQUIRES(!dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700166
Andreas Gampef865ea92015-04-13 22:14:19 -0700167 // Finds a class in the path class loader, loading it if necessary without using JNI. Hash
168 // function is supposed to be ComputeModifiedUtf8Hash(descriptor). Returns true if the
169 // class-loader chain could be handled, false otherwise, i.e., a non-supported class-loader
170 // was encountered while walking the parent chain (currently only BootClassLoader and
171 // PathClassLoader are supported).
172 bool FindClassInPathClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700173 Thread* self,
174 const char* descriptor,
175 size_t hash,
Andreas Gampef865ea92015-04-13 22:14:19 -0700176 Handle<mirror::ClassLoader> class_loader,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700177 mirror::Class** result)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700178 SHARED_REQUIRES(Locks::mutator_lock_)
179 REQUIRES(!dex_lock_);
Mathieu Chartierab0ed822014-09-11 14:21:41 -0700180
Ian Rogers98379392014-02-24 16:53:16 -0800181 // Finds a class by its descriptor using the "system" class loader, ie by searching the
182 // boot_class_path_.
183 mirror::Class* FindSystemClass(Thread* self, const char* descriptor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700184 SHARED_REQUIRES(Locks::mutator_lock_)
185 REQUIRES(!dex_lock_);
Ian Rogers98379392014-02-24 16:53:16 -0800186
187 // Finds the array class given for the element class.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700188 mirror::Class* FindArrayClass(Thread* self, mirror::Class** element_class)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700189 SHARED_REQUIRES(Locks::mutator_lock_)
190 REQUIRES(!dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700191
Ian Rogers63557452014-06-04 16:57:15 -0700192 // Returns true if the class linker is initialized.
Ian Rogers7b078e82014-09-10 14:44:24 -0700193 bool IsInitialized() const {
194 return init_done_;
195 }
Mathieu Chartier590fee92013-09-13 13:46:47 -0700196
Brian Carlstromaded5f72011-10-07 17:15:04 -0700197 // Define a new a class based on a ClassDef from a DexFile
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700198 mirror::Class* DefineClass(Thread* self,
199 const char* descriptor,
200 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700201 Handle<mirror::ClassLoader> class_loader,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700202 const DexFile& dex_file,
203 const DexFile::ClassDef& dex_class_def)
204 SHARED_REQUIRES(Locks::mutator_lock_)
205 REQUIRES(!dex_lock_);
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700206
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700207 // Finds a class by its descriptor, returning null if it isn't wasn't loaded
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700208 // by the given 'class_loader'.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700209 mirror::Class* LookupClass(Thread* self,
210 const char* descriptor,
211 size_t hash,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700212 mirror::ClassLoader* class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700213 REQUIRES(!Locks::classlinker_classes_lock_)
214 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700215
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800216 // Finds all the classes with the given descriptor, regardless of ClassLoader.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700217 void LookupClasses(const char* descriptor, std::vector<mirror::Class*>& classes)
Mathieu Chartier90443472015-07-16 20:32:27 -0700218 REQUIRES(!Locks::classlinker_classes_lock_)
219 SHARED_REQUIRES(Locks::mutator_lock_);
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800220
Mathieu Chartier90443472015-07-16 20:32:27 -0700221 mirror::Class* FindPrimitiveClass(char type) SHARED_REQUIRES(Locks::mutator_lock_);
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700222
Brian Carlstromae826982011-11-09 01:33:42 -0800223 // General class unloading is not supported, this is used to prune
224 // unwanted classes during image writing.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700225 bool RemoveClass(const char* descriptor, mirror::ClassLoader* class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700226 REQUIRES(!Locks::classlinker_classes_lock_)
227 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstromae826982011-11-09 01:33:42 -0800228
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700229 void DumpAllClasses(int flags)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700230 REQUIRES(!Locks::classlinker_classes_lock_)
231 SHARED_REQUIRES(Locks::mutator_lock_);
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700232
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700233 void DumpForSigQuit(std::ostream& os) REQUIRES(!Locks::classlinker_classes_lock_);
Elliott Hughescac6cc72011-11-03 20:31:21 -0700234
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700235 size_t NumLoadedClasses()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700236 REQUIRES(!Locks::classlinker_classes_lock_)
237 SHARED_REQUIRES(Locks::mutator_lock_);
Elliott Hughese27955c2011-08-26 15:21:24 -0700238
Brian Carlstromb63ec392011-08-27 17:38:27 -0700239 // Resolve a String with the given index from the DexFile, storing the
Brian Carlstromaded5f72011-10-07 17:15:04 -0700240 // result in the DexCache. The referrer is used to identify the
241 // target DexCache and ClassLoader to use for resolution.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700242 mirror::String* ResolveString(uint32_t string_idx, ArtMethod* referrer)
Mathieu Chartier90443472015-07-16 20:32:27 -0700243 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700244
245 // Resolve a String with the given index from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700246 // result in the DexCache.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700247 mirror::String* ResolveString(const DexFile& dex_file, uint32_t string_idx,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700248 Handle<mirror::DexCache> dex_cache)
Mathieu Chartier90443472015-07-16 20:32:27 -0700249 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700250
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000251 // Find a String with the given index from the DexFile, storing the
252 // result in the DexCache if found. Return null if not found.
253 mirror::String* LookupString(const DexFile& dex_file, uint32_t string_idx,
254 Handle<mirror::DexCache> dex_cache)
255 SHARED_REQUIRES(Locks::mutator_lock_);
256
Brian Carlstromb63ec392011-08-27 17:38:27 -0700257 // Resolve a Type with the given index from the DexFile, storing the
Roland Levillainab880f42016-05-12 16:24:36 +0100258 // result in the DexCache. The referrer is used to identify the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700259 // target DexCache and ClassLoader to use for resolution.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700260 mirror::Class* ResolveType(const DexFile& dex_file, uint16_t type_idx, mirror::Class* referrer)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700261 SHARED_REQUIRES(Locks::mutator_lock_)
262 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700263
Brian Carlstromb63ec392011-08-27 17:38:27 -0700264 // Resolve a Type with the given index from the DexFile, storing the
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700265 // result in the DexCache. The referrer is used to identify the
Brian Carlstromb63ec392011-08-27 17:38:27 -0700266 // target DexCache and ClassLoader to use for resolution.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700267 mirror::Class* ResolveType(uint16_t type_idx, ArtMethod* referrer)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700268 SHARED_REQUIRES(Locks::mutator_lock_)
269 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700270
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700271 mirror::Class* ResolveType(uint16_t type_idx, ArtField* referrer)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700272 SHARED_REQUIRES(Locks::mutator_lock_)
273 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstromb63ec392011-08-27 17:38:27 -0700274
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700275 // Resolve a type with the given ID from the DexFile, storing the
276 // result in DexCache. The ClassLoader is used to search for the
277 // type, since it may be referenced from but not contained within
278 // the given DexFile.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700279 mirror::Class* ResolveType(const DexFile& dex_file,
280 uint16_t type_idx,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700281 Handle<mirror::DexCache> dex_cache,
282 Handle<mirror::ClassLoader> class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700283 SHARED_REQUIRES(Locks::mutator_lock_)
284 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700285
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800286 // Determine whether a dex cache result should be trusted, or an IncompatibleClassChangeError
287 // check should be performed even after a hit.
288 enum ResolveMode { // private.
289 kNoICCECheckForCache,
290 kForceICCECheck
291 };
292
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700293 // Resolve a method with a given ID from the DexFile, storing the
294 // result in DexCache. The ClassLinker and ClassLoader are used as
295 // in ResolveType. What is unique is the method type argument which
296 // is used to determine if this method is a direct, static, or
297 // virtual method.
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800298 template <ResolveMode kResolveMode>
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700299 ArtMethod* ResolveMethod(const DexFile& dex_file,
300 uint32_t method_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700301 Handle<mirror::DexCache> dex_cache,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700302 Handle<mirror::ClassLoader> class_loader,
303 ArtMethod* referrer,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700304 InvokeType type)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700305 SHARED_REQUIRES(Locks::mutator_lock_)
306 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700307
Mathieu Chartiere401d142015-04-22 13:56:20 -0700308 ArtMethod* GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer)
Mathieu Chartier90443472015-07-16 20:32:27 -0700309 SHARED_REQUIRES(Locks::mutator_lock_);
Alex Lightfedd91d2016-01-07 14:49:16 -0800310
311 // This returns the class referred to by GetMethodId(method_idx).class_idx_. This might be
312 // different then the declaring class of the resolved method due to copied
313 // miranda/default/conflict methods.
Nicolas Geoffray393fdb82016-04-25 14:58:06 +0100314 mirror::Class* ResolveReferencedClassOfMethod(uint32_t method_idx,
315 Handle<mirror::DexCache> dex_cache,
316 Handle<mirror::ClassLoader> class_loader)
Alex Lightfedd91d2016-01-07 14:49:16 -0800317 SHARED_REQUIRES(Locks::mutator_lock_)
318 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800319 template <ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700320 ArtMethod* ResolveMethod(Thread* self, uint32_t method_idx, ArtMethod* referrer, InvokeType type)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700321 SHARED_REQUIRES(Locks::mutator_lock_)
322 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Jeff Hao0042c6d2015-07-29 20:14:10 -0700323 ArtMethod* ResolveMethodWithoutInvokeType(const DexFile& dex_file,
324 uint32_t method_idx,
325 Handle<mirror::DexCache> dex_cache,
326 Handle<mirror::ClassLoader> class_loader)
327 SHARED_REQUIRES(Locks::mutator_lock_)
328 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom16192862011-09-12 17:50:06 -0700329
Mathieu Chartierc7853442015-03-27 14:35:38 -0700330 ArtField* GetResolvedField(uint32_t field_idx, mirror::Class* field_declaring_class)
Mathieu Chartier90443472015-07-16 20:32:27 -0700331 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700332 ArtField* GetResolvedField(uint32_t field_idx, mirror::DexCache* dex_cache)
Mathieu Chartier90443472015-07-16 20:32:27 -0700333 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700334 ArtField* ResolveField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700335 SHARED_REQUIRES(Locks::mutator_lock_)
336 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstromb9edb842011-08-28 16:31:06 -0700337
Brian Carlstrom16192862011-09-12 17:50:06 -0700338 // Resolve a field with a given ID from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700339 // result in DexCache. The ClassLinker and ClassLoader are used as
340 // in ResolveType. What is unique is the is_static argument which is
341 // used to determine if we are resolving a static or non-static
342 // field.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700343 ArtField* ResolveField(const DexFile& dex_file, uint32_t field_idx,
Mathieu Chartier90443472015-07-16 20:32:27 -0700344 Handle<mirror::DexCache> dex_cache,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700345 Handle<mirror::ClassLoader> class_loader, bool is_static)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700346 SHARED_REQUIRES(Locks::mutator_lock_)
347 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700348
Ian Rogersb067ac22011-12-13 18:05:09 -0800349 // Resolve a field with a given ID from the DexFile, storing the
350 // result in DexCache. The ClassLinker and ClassLoader are used as
351 // in ResolveType. No is_static argument is provided so that Java
352 // field resolution semantics are followed.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700353 ArtField* ResolveFieldJLS(const DexFile& dex_file,
354 uint32_t field_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700355 Handle<mirror::DexCache> dex_cache,
356 Handle<mirror::ClassLoader> class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700357 SHARED_REQUIRES(Locks::mutator_lock_)
358 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Ian Rogersb067ac22011-12-13 18:05:09 -0800359
Ian Rogersad25ac52011-10-04 19:13:33 -0700360 // Get shorty from method index without resolution. Used to do handlerization.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700361 const char* MethodShorty(uint32_t method_idx, ArtMethod* referrer, uint32_t* length)
Mathieu Chartier90443472015-07-16 20:32:27 -0700362 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersad25ac52011-10-04 19:13:33 -0700363
Elliott Hughesf4c21c92011-08-19 17:31:31 -0700364 // Returns true on success, false if there's an exception pending.
Brian Carlstrom25c33252011-09-18 15:58:35 -0700365 // can_run_clinit=false allows the compiler to attempt to init a class,
366 // given the restriction that no <clinit> execution is possible.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700367 bool EnsureInitialized(Thread* self,
368 Handle<mirror::Class> c,
369 bool can_init_fields,
Ian Rogers7b078e82014-09-10 14:44:24 -0700370 bool can_init_parents)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700371 SHARED_REQUIRES(Locks::mutator_lock_)
372 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700373
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700374 // Initializes classes that have instances in the image but that have
375 // <clinit> methods so they could not be initialized by the compiler.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700376 void RunRootClinits()
377 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700378 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700379
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700380 mirror::DexCache* RegisterDexFile(const DexFile& dex_file, LinearAlloc* linear_alloc)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700381 REQUIRES(!dex_lock_)
382 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700383 void RegisterDexFile(const DexFile& dex_file, Handle<mirror::DexCache> dex_cache)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700384 REQUIRES(!dex_lock_)
385 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700386
Brian Carlstrom8a487412011-08-29 20:08:52 -0700387 const std::vector<const DexFile*>& GetBootClassPath() {
388 return boot_class_path_;
389 }
390
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700391 void VisitClasses(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700392 REQUIRES(!Locks::classlinker_classes_lock_)
393 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -0700394
395 // Less efficient variant of VisitClasses that copies the class_table_ into secondary storage
396 // so that it can visit individual classes without holding the doesn't hold the
397 // Locks::classlinker_classes_lock_. As the Locks::classlinker_classes_lock_ isn't held this code
398 // can race with insertion and deletion of classes while the visitor is being called.
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700399 void VisitClassesWithoutClassesLock(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700400 SHARED_REQUIRES(Locks::mutator_lock_)
401 REQUIRES(!dex_lock_);
Elliott Hughesa2155262011-11-16 16:26:58 -0800402
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700403 void VisitClassRoots(RootVisitor* visitor, VisitRootFlags flags)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700404 REQUIRES(!Locks::classlinker_classes_lock_)
405 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700406 void VisitRoots(RootVisitor* visitor, VisitRootFlags flags)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700407 REQUIRES(!dex_lock_)
408 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700409
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700410 mirror::DexCache* FindDexCache(Thread* self,
411 const DexFile& dex_file,
412 bool allow_failure = false)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700413 REQUIRES(!dex_lock_)
414 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700415 void FixupDexCaches(ArtMethod* resolution_method)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700416 REQUIRES(!dex_lock_)
417 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom1d9f52b2011-10-13 10:50:45 -0700418
Ian Rogersc0542af2014-09-03 16:16:56 -0700419 // Allocate an instance of a java.lang.Object.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700420 mirror::Object* AllocObject(Thread* self)
421 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700422 REQUIRES(!Roles::uninterruptible_);
Ian Rogersc0542af2014-09-03 16:16:56 -0700423
Elliott Hughes418d20f2011-09-22 14:00:39 -0700424 // TODO: replace this with multiple methods that allocate the correct managed type.
Shih-wei Liao44175362011-08-28 16:59:17 -0700425 template <class T>
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800426 mirror::ObjectArray<T>* AllocObjectArray(Thread* self, size_t length)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700427 SHARED_REQUIRES(Locks::mutator_lock_)
428 REQUIRES(!Roles::uninterruptible_);
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700429
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800430 mirror::ObjectArray<mirror::Class>* AllocClassArray(Thread* self, size_t length)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700431 SHARED_REQUIRES(Locks::mutator_lock_)
432 REQUIRES(!Roles::uninterruptible_);
jeffhao98eacac2011-09-14 16:11:53 -0700433
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800434 mirror::ObjectArray<mirror::String>* AllocStringArray(Thread* self, size_t length)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700435 SHARED_REQUIRES(Locks::mutator_lock_)
436 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700437
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700438 LengthPrefixedArray<ArtField>* AllocArtFieldArray(Thread* self,
439 LinearAlloc* allocator,
440 size_t length);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800441
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700442 LengthPrefixedArray<ArtMethod>* AllocArtMethodArray(Thread* self,
443 LinearAlloc* allocator,
444 size_t length);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700445
446 mirror::PointerArray* AllocPointerArray(Thread* self, size_t length)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700447 SHARED_REQUIRES(Locks::mutator_lock_)
448 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800449
450 mirror::IfTable* AllocIfTable(Thread* self, size_t ifcount)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700451 SHARED_REQUIRES(Locks::mutator_lock_)
452 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800453
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700454 mirror::ObjectArray<mirror::StackTraceElement>* AllocStackTraceElementArray(Thread* self,
455 size_t length)
456 SHARED_REQUIRES(Locks::mutator_lock_)
457 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800458
Andreas Gampe7fe30232016-03-25 16:58:00 -0700459 void VerifyClass(Thread* self,
460 Handle<mirror::Class> klass,
461 LogSeverity log_level = LogSeverity::NONE)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700462 SHARED_REQUIRES(Locks::mutator_lock_)
463 REQUIRES(!dex_lock_);
464 bool VerifyClassUsingOatFile(const DexFile& dex_file,
465 mirror::Class* klass,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800466 mirror::Class::Status& oat_file_class_status)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700467 SHARED_REQUIRES(Locks::mutator_lock_)
468 REQUIRES(!dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800469 void ResolveClassExceptionHandlerTypes(Handle<mirror::Class> klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700470 SHARED_REQUIRES(Locks::mutator_lock_)
471 REQUIRES(!dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800472 void ResolveMethodExceptionHandlerTypes(ArtMethod* klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700473 SHARED_REQUIRES(Locks::mutator_lock_)
474 REQUIRES(!dex_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800475
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700476 mirror::Class* CreateProxyClass(ScopedObjectAccessAlreadyRunnable& soa,
477 jstring name,
478 jobjectArray interfaces,
479 jobject loader,
480 jobjectArray methods,
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700481 jobjectArray throws)
Mathieu Chartier90443472015-07-16 20:32:27 -0700482 SHARED_REQUIRES(Locks::mutator_lock_);
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000483 std::string GetDescriptorForProxy(mirror::Class* proxy_class)
Mathieu Chartier90443472015-07-16 20:32:27 -0700484 SHARED_REQUIRES(Locks::mutator_lock_);
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700485 template<ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700486 ArtMethod* FindMethodForProxy(mirror::Class* proxy_class, ArtMethod* proxy_method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700487 REQUIRES(!dex_lock_)
488 SHARED_REQUIRES(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -0400489
Ian Rogers19846512012-02-24 11:42:47 -0800490 // Get the oat code for a method when its class isn't yet initialized
Mathieu Chartiere401d142015-04-22 13:56:20 -0700491 const void* GetQuickOatCodeFor(ArtMethod* method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700492 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800493
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700494 // Get compiled code for a method, return null if no code
495 // exists. This is unlike Get..OatCodeFor which will return a bridge
496 // or interpreter entrypoint.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700497 const void* GetOatMethodQuickCodeFor(ArtMethod* method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700498 SHARED_REQUIRES(Locks::mutator_lock_);
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700499
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700500 const OatFile::OatMethod FindOatMethodFor(ArtMethod* method, bool* found)
Mathieu Chartier90443472015-07-16 20:32:27 -0700501 SHARED_REQUIRES(Locks::mutator_lock_);
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000502
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700503 pid_t GetClassesLockOwner(); // For SignalCatcher.
504 pid_t GetDexLockOwner(); // For SignalCatcher.
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -0700505
Mathieu Chartier90443472015-07-16 20:32:27 -0700506 mirror::Class* GetClassRoot(ClassRoot class_root) SHARED_REQUIRES(Locks::mutator_lock_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700507
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700508 static const char* GetClassRootDescriptor(ClassRoot class_root);
Andreas Gampe2da88232014-02-27 12:26:20 -0800509
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700510 // Is the given entry point quick code to run the resolution stub?
511 bool IsQuickResolutionStub(const void* entry_point) const;
Jeff Hao88474b42013-10-23 16:24:40 -0700512
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700513 // Is the given entry point quick code to bridge into the interpreter?
514 bool IsQuickToInterpreterBridge(const void* entry_point) const;
515
516 // Is the given entry point quick code to run the generic JNI stub?
517 bool IsQuickGenericJniStub(const void* entry_point) const;
Vladimir Marko8a630572014-04-09 18:45:35 +0100518
Jeff Hao88474b42013-10-23 16:24:40 -0700519 InternTable* GetInternTable() const {
520 return intern_table_;
521 }
522
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700523 // Set the entrypoints up for method to the given code.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700524 void SetEntryPointsToCompiledCode(ArtMethod* method, const void* method_code) const
Mathieu Chartier90443472015-07-16 20:32:27 -0700525 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700526
527 // Set the entrypoints up for method to the enter the interpreter.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700528 void SetEntryPointsToInterpreter(ArtMethod* method) const
Mathieu Chartier90443472015-07-16 20:32:27 -0700529 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700530
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700531 // Attempts to insert a class into a class table. Returns null if
Ian Rogers848871b2013-08-05 10:56:33 -0700532 // the class was inserted, otherwise returns an existing class with
533 // the same descriptor and ClassLoader.
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700534 mirror::Class* InsertClass(const char* descriptor, mirror::Class* klass, size_t hash)
Mathieu Chartier90443472015-07-16 20:32:27 -0700535 REQUIRES(!Locks::classlinker_classes_lock_)
536 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers848871b2013-08-05 10:56:33 -0700537
Mathieu Chartier90443472015-07-16 20:32:27 -0700538 mirror::ObjectArray<mirror::Class>* GetClassRoots() SHARED_REQUIRES(Locks::mutator_lock_) {
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -0700539 mirror::ObjectArray<mirror::Class>* class_roots = class_roots_.Read();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700540 DCHECK(class_roots != nullptr);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700541 return class_roots;
542 }
543
Mathieu Chartier073b16c2015-11-10 14:13:23 -0800544 // Move all of the boot image classes into the class table for faster lookups.
545 void AddBootImageClassesToClassTable()
Mathieu Chartier90443472015-07-16 20:32:27 -0700546 REQUIRES(!Locks::classlinker_classes_lock_)
547 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier073b16c2015-11-10 14:13:23 -0800548
549 // Add image classes to the class table.
Jeff Haodcdc85b2015-12-04 14:06:18 -0800550 void AddImageClassesToClassTable(std::vector<gc::space::ImageSpace*> image_spaces,
Mathieu Chartier073b16c2015-11-10 14:13:23 -0800551 mirror::ClassLoader* class_loader)
552 REQUIRES(!Locks::classlinker_classes_lock_)
553 SHARED_REQUIRES(Locks::mutator_lock_);
554
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800555 // Move the class table to the pre-zygote table to reduce memory usage. This works by ensuring
556 // that no more classes are ever added to the pre zygote table which makes it that the pages
557 // always remain shared dirty instead of private dirty.
558 void MoveClassTableToPreZygote()
Mathieu Chartier90443472015-07-16 20:32:27 -0700559 REQUIRES(!Locks::classlinker_classes_lock_)
560 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800561
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700562 // Creates a GlobalRef PathClassLoader that can be used to load classes from the given dex files.
563 // Note: the objects are not completely set up. Do not use this outside of tests and the compiler.
Jeff Haof0192c82016-03-28 20:39:50 -0700564 jobject CreatePathClassLoader(Thread* self, const std::vector<const DexFile*>& dex_files)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700565 SHARED_REQUIRES(Locks::mutator_lock_)
566 REQUIRES(!dex_lock_);
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700567
Mathieu Chartiere401d142015-04-22 13:56:20 -0700568 size_t GetImagePointerSize() const {
569 DCHECK(ValidPointerSize(image_pointer_size_)) << image_pointer_size_;
570 return image_pointer_size_;
571 }
572
573 // Used by image writer for checking.
574 bool ClassInClassTable(mirror::Class* klass)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700575 REQUIRES(Locks::classlinker_classes_lock_)
Mathieu Chartier90443472015-07-16 20:32:27 -0700576 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiera89d7ed2014-12-05 10:57:13 -0800577
Nicolas Geoffray796d6302016-03-13 22:22:31 +0000578 ArtMethod* CreateRuntimeMethod(LinearAlloc* linear_alloc);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700579
Andreas Gampe8ac75952015-06-02 21:01:45 -0700580 // Clear the ArrayClass cache. This is necessary when cleaning up for the image, as the cache
581 // entries are roots, but potentially not image classes.
Mathieu Chartier90443472015-07-16 20:32:27 -0700582 void DropFindArrayClassCache() SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe8ac75952015-06-02 21:01:45 -0700583
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700584 // Clean up class loaders, this needs to happen after JNI weak globals are cleared.
585 void CleanupClassLoaders()
Mathieu Chartier00310e02015-10-17 12:46:42 -0700586 REQUIRES(!Locks::classlinker_classes_lock_)
587 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700588
Mathieu Chartier32cc9ee2015-10-15 09:19:15 -0700589 // Unlike GetOrCreateAllocatorForClassLoader, GetAllocatorForClassLoader asserts that the
590 // allocator for this class loader is already created.
Mathieu Chartier5b830502016-03-02 10:30:23 -0800591 LinearAlloc* GetAllocatorForClassLoader(mirror::ClassLoader* class_loader)
Nicolas Geoffray7de5dfe2015-09-22 09:48:02 +0000592 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700593
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700594 // Return the linear alloc for a class loader if it is already allocated, otherwise allocate and
595 // set it. TODO: Consider using a lock other than classlinker_classes_lock_.
Mathieu Chartier5b830502016-03-02 10:30:23 -0800596 LinearAlloc* GetOrCreateAllocatorForClassLoader(mirror::ClassLoader* class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700597 REQUIRES(!Locks::classlinker_classes_lock_)
598 SHARED_REQUIRES(Locks::mutator_lock_);
599
Mathieu Chartier6d25cf62016-04-12 16:54:48 -0700600 // May be called with null class_loader due to legacy code. b/27954959
Mathieu Chartier00310e02015-10-17 12:46:42 -0700601 void InsertDexFileInToClassLoader(mirror::Object* dex_file, mirror::ClassLoader* class_loader)
602 REQUIRES(!Locks::classlinker_classes_lock_)
603 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700604
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000605 static bool ShouldUseInterpreterEntrypoint(ArtMethod* method, const void* quick_code)
606 SHARED_REQUIRES(Locks::mutator_lock_);
607
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800608 std::set<DexCacheResolvedClasses> GetResolvedClasses(bool ignore_boot_classes)
609 REQUIRES(!dex_lock_);
610
611 std::unordered_set<std::string> GetClassDescriptorsForProfileKeys(
612 const std::set<DexCacheResolvedClasses>& classes)
613 REQUIRES(!dex_lock_);
614
Jeff Haof0192c82016-03-28 20:39:50 -0700615 static bool IsBootClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
616 mirror::ClassLoader* class_loader)
617 SHARED_REQUIRES(Locks::mutator_lock_);
618
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700619 ArtMethod* AddMethodToConflictTable(mirror::Class* klass,
620 ArtMethod* conflict_method,
621 ArtMethod* interface_method,
622 ArtMethod* method,
623 bool force_new_conflict_method)
624 SHARED_REQUIRES(Locks::mutator_lock_);
625
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700626 // Create a conflict table with a specified capacity.
627 ImtConflictTable* CreateImtConflictTable(size_t count, LinearAlloc* linear_alloc);
628
629 // Static version for when the class linker is not yet created.
630 static ImtConflictTable* CreateImtConflictTable(size_t count,
631 LinearAlloc* linear_alloc,
632 size_t pointer_size);
633
634
635 // Create the IMT and conflict tables for a class.
636 void FillIMTAndConflictTables(mirror::Class* klass) SHARED_REQUIRES(Locks::mutator_lock_);
637
638
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800639 struct DexCacheData {
640 // Weak root to the DexCache. Note: Do not decode this unnecessarily or else class unloading may
641 // not work properly.
642 jweak weak_root;
643 // The following two fields are caches to the DexCache's fields and here to avoid unnecessary
644 // jweak decode that triggers read barriers (and mark them alive unnecessarily and mess with
645 // class unloading.)
646 const DexFile* dex_file;
647 GcRoot<mirror::Class>* resolved_types;
648 };
649
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700650 private:
651 struct ClassLoaderData {
Mathieu Chartierc3fcd412015-09-25 16:54:59 -0700652 jweak weak_root; // Weak root to enable class unloading.
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700653 ClassTable* class_table;
654 LinearAlloc* allocator;
655 };
656
Alex Lightf1f10492015-10-07 16:08:36 -0700657 // Ensures that the supertype of 'klass' ('supertype') is verified. Returns false and throws
658 // appropriate exceptions if verification failed hard. Returns true for successful verification or
659 // soft-failures.
660 bool AttemptSupertypeVerification(Thread* self,
661 Handle<mirror::Class> klass,
662 Handle<mirror::Class> supertype)
663 REQUIRES(!dex_lock_)
664 SHARED_REQUIRES(Locks::mutator_lock_);
665
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100666 static void DeleteClassLoader(Thread* self, const ClassLoaderData& data)
667 REQUIRES(Locks::classlinker_classes_lock_)
668 SHARED_REQUIRES(Locks::mutator_lock_);
669
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -0700670 void VisitClassLoaders(ClassLoaderVisitor* visitor) const
671 SHARED_REQUIRES(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
672
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700673 void VisitClassesInternal(ClassVisitor* visitor)
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -0700674 SHARED_REQUIRES(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700675
676 // Returns the number of zygote and image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700677 size_t NumZygoteClasses() const
678 REQUIRES(Locks::classlinker_classes_lock_)
679 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700680
681 // Returns the number of non zygote nor image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700682 size_t NumNonZygoteClasses() const
683 REQUIRES(Locks::classlinker_classes_lock_)
684 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700685
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700686 void FinishInit(Thread* self)
Mathieu Chartiera808bac2015-11-05 16:33:15 -0800687 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700688 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma663ea52011-08-19 23:33:41 -0700689
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700690 // For early bootstrapping by Init
Ian Rogers6fac4472014-02-25 17:01:10 -0800691 mirror::Class* AllocClass(Thread* self, mirror::Class* java_lang_Class, uint32_t class_size)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700692 SHARED_REQUIRES(Locks::mutator_lock_)
693 REQUIRES(!Roles::uninterruptible_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700694
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800695 // Alloc* convenience functions to avoid needing to pass in mirror::Class*
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700696 // values that are known to the ClassLinker such as
697 // kObjectArrayClass and kJavaLangString etc.
Ian Rogers6fac4472014-02-25 17:01:10 -0800698 mirror::Class* AllocClass(Thread* self, uint32_t class_size)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700699 SHARED_REQUIRES(Locks::mutator_lock_)
700 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700701 mirror::DexCache* AllocDexCache(Thread* self,
702 const DexFile& dex_file,
703 LinearAlloc* linear_alloc)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700704 SHARED_REQUIRES(Locks::mutator_lock_)
705 REQUIRES(!Roles::uninterruptible_);
Ian Rogersbdb03912011-09-14 00:55:44 -0700706
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800707 mirror::Class* CreatePrimitiveClass(Thread* self, Primitive::Type type)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700708 SHARED_REQUIRES(Locks::mutator_lock_)
709 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800710 mirror::Class* InitializePrimitiveClass(mirror::Class* primitive_class, Primitive::Type type)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700711 SHARED_REQUIRES(Locks::mutator_lock_)
712 REQUIRES(!Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700713
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700714 mirror::Class* CreateArrayClass(Thread* self,
715 const char* descriptor,
716 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700717 Handle<mirror::ClassLoader> class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700718 SHARED_REQUIRES(Locks::mutator_lock_)
719 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700720
Ian Rogers7b078e82014-09-10 14:44:24 -0700721 void AppendToBootClassPath(Thread* self, const DexFile& dex_file)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700722 SHARED_REQUIRES(Locks::mutator_lock_)
723 REQUIRES(!dex_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700724 void AppendToBootClassPath(const DexFile& dex_file, Handle<mirror::DexCache> dex_cache)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700725 SHARED_REQUIRES(Locks::mutator_lock_)
726 REQUIRES(!dex_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700727
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700728 // Precomputes size needed for Class, in the case of a non-temporary class this size must be
729 // sufficient to hold all static fields.
730 uint32_t SizeOfClassWithoutEmbeddedTables(const DexFile& dex_file,
731 const DexFile::ClassDef& dex_class_def);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700732
Mathieu Chartierc7853442015-03-27 14:35:38 -0700733 // Setup the classloader, class def index, type idx so that we can insert this class in the class
734 // table.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700735 void SetupClass(const DexFile& dex_file,
736 const DexFile::ClassDef& dex_class_def,
737 Handle<mirror::Class> klass,
738 mirror::ClassLoader* class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700739 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700740
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700741 void LoadClass(Thread* self,
742 const DexFile& dex_file,
743 const DexFile::ClassDef& dex_class_def,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700744 Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700745 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700746 void LoadClassMembers(Thread* self,
747 const DexFile& dex_file,
748 const uint8_t* class_data,
749 Handle<mirror::Class> klass,
750 const OatFile::OatClass* oat_class)
Mathieu Chartier90443472015-07-16 20:32:27 -0700751 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700752
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700753 void LoadField(const ClassDataItemIterator& it, Handle<mirror::Class> klass, ArtField* dst)
Mathieu Chartier90443472015-07-16 20:32:27 -0700754 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700755
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700756 void LoadMethod(Thread* self,
757 const DexFile& dex_file,
758 const ClassDataItemIterator& it,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700759 Handle<mirror::Class> klass, ArtMethod* dst)
Mathieu Chartier90443472015-07-16 20:32:27 -0700760 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700761
Mathieu Chartier90443472015-07-16 20:32:27 -0700762 void FixupStaticTrampolines(mirror::Class* klass) SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800763
Ian Rogers97b52f82014-08-14 11:34:07 -0700764 // Finds the associated oat class for a dex_file and descriptor. Returns an invalid OatClass on
765 // error and sets found to false.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700766 OatFile::OatClass FindOatClass(const DexFile& dex_file, uint16_t class_def_idx, bool* found)
Mathieu Chartier90443472015-07-16 20:32:27 -0700767 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800768
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700769 void RegisterDexFileLocked(const DexFile& dex_file, Handle<mirror::DexCache> dex_cache)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700770 REQUIRES(dex_lock_)
771 SHARED_REQUIRES(Locks::mutator_lock_);
772 mirror::DexCache* FindDexCacheLocked(Thread* self, const DexFile& dex_file, bool allow_failure)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700773 REQUIRES(dex_lock_)
774 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700775
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700776 bool InitializeClass(Thread* self,
777 Handle<mirror::Class> klass,
778 bool can_run_clinit,
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800779 bool can_init_parents)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700780 SHARED_REQUIRES(Locks::mutator_lock_)
781 REQUIRES(!dex_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -0700782 bool InitializeDefaultInterfaceRecursive(Thread* self,
783 Handle<mirror::Class> klass,
784 bool can_run_clinit,
785 bool can_init_parents)
786 REQUIRES(!dex_lock_)
787 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700788 bool WaitForInitializeClass(Handle<mirror::Class> klass,
789 Thread* self,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700790 ObjectLock<mirror::Class>& lock);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700791 bool ValidateSuperClassDescriptors(Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700792 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700793
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700794 bool IsSameDescriptorInDifferentClassContexts(Thread* self,
795 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700796 Handle<mirror::ClassLoader> class_loader1,
797 Handle<mirror::ClassLoader> class_loader2)
Mathieu Chartier90443472015-07-16 20:32:27 -0700798 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700799
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700800 bool IsSameMethodSignatureInDifferentClassContexts(Thread* self,
801 ArtMethod* method,
802 mirror::Class* klass1,
803 mirror::Class* klass2)
Mathieu Chartier90443472015-07-16 20:32:27 -0700804 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700805
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700806 bool LinkClass(Thread* self,
807 const char* descriptor,
808 Handle<mirror::Class> klass,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700809 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700810 MutableHandle<mirror::Class>* h_new_class_out)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700811 SHARED_REQUIRES(Locks::mutator_lock_)
812 REQUIRES(!Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700813
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700814 bool LinkSuperClass(Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700815 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700816
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700817 bool LoadSuperAndInterfaces(Handle<mirror::Class> klass, const DexFile& dex_file)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700818 SHARED_REQUIRES(Locks::mutator_lock_)
819 REQUIRES(!dex_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700820
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700821 bool LinkMethods(Thread* self,
822 Handle<mirror::Class> klass,
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700823 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700824 ArtMethod** out_imt)
Mathieu Chartier90443472015-07-16 20:32:27 -0700825 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700826
Alex Light9139e002015-10-09 15:59:48 -0700827 // Does anything needed to make sure that the compiler will not generate a direct invoke to this
828 // method. Should only be called on non-invokable methods.
829 void EnsureThrowsInvocationError(ArtMethod* method)
830 SHARED_REQUIRES(Locks::mutator_lock_);
831
832 // A wrapper class representing the result of a method translation used for linking methods and
833 // updating superclass default methods. For each method in a classes vtable there are 4 states it
834 // could be in:
835 // 1) No translation is necessary. In this case there is no MethodTranslation object for it. This
836 // is the standard case and is true when the method is not overridable by a default method,
837 // the class defines a concrete implementation of the method, the default method implementation
838 // remains the same, or an abstract method stayed abstract.
839 // 2) The method must be translated to a different default method. We note this with
840 // CreateTranslatedMethod.
841 // 3) The method must be replaced with a conflict method. This happens when a superclass
842 // implements an interface with a default method and this class implements an unrelated
843 // interface that also defines that default method. We note this with CreateConflictingMethod.
844 // 4) The method must be replaced with an abstract miranda method. This happens when a superclass
845 // implements an interface with a default method and this class implements a subinterface of
846 // the superclass's interface which declares the default method abstract. We note this with
847 // CreateAbstractMethod.
848 //
849 // When a method translation is unnecessary (case #1), we don't put it into the
850 // default_translation maps. So an instance of MethodTranslation must be in one of #2-#4.
851 class MethodTranslation {
852 public:
853 // This slot must become a default conflict method.
854 static MethodTranslation CreateConflictingMethod() {
855 return MethodTranslation(Type::kConflict, /*translation*/nullptr);
856 }
857
858 // This slot must become an abstract method.
859 static MethodTranslation CreateAbstractMethod() {
860 return MethodTranslation(Type::kAbstract, /*translation*/nullptr);
861 }
862
863 // Use the given method as the current value for this vtable slot during translation.
864 static MethodTranslation CreateTranslatedMethod(ArtMethod* new_method) {
865 return MethodTranslation(Type::kTranslation, new_method);
866 }
867
868 // Returns true if this is a method that must become a conflict method.
869 bool IsInConflict() const {
870 return type_ == Type::kConflict;
871 }
872
873 // Returns true if this is a method that must become an abstract method.
874 bool IsAbstract() const {
875 return type_ == Type::kAbstract;
876 }
877
878 // Returns true if this is a method that must become a different method.
879 bool IsTranslation() const {
880 return type_ == Type::kTranslation;
881 }
882
883 // Get the translated version of this method.
884 ArtMethod* GetTranslation() const {
885 DCHECK(IsTranslation());
886 DCHECK(translation_ != nullptr);
887 return translation_;
888 }
889
890 private:
891 enum class Type {
892 kTranslation,
893 kConflict,
894 kAbstract,
895 };
896
897 MethodTranslation(Type type, ArtMethod* translation)
898 : translation_(translation), type_(type) {}
899
900 ArtMethod* const translation_;
901 const Type type_;
902 };
903
Alex Lighteb7c1442015-08-31 13:17:42 -0700904 // Links the virtual methods for the given class and records any default methods that will need to
905 // be updated later.
906 //
907 // Arguments:
908 // * self - The current thread.
909 // * klass - class, whose vtable will be filled in.
910 // * default_translations - Vtable index to new method map.
911 // Any vtable entries that need to be updated with new default methods
912 // are stored into the default_translations map. The default_translations
913 // map is keyed on the vtable index that needs to be updated. We use this
914 // map because if we override a default method with another default
915 // method we need to update the vtable to point to the new method.
916 // Unfortunately since we copy the ArtMethod* we cannot just do a simple
917 // scan, we therefore store the vtable index's that might need to be
918 // updated with the method they will turn into.
919 // TODO This whole default_translations thing is very dirty. There should be a better way.
Alex Light9139e002015-10-09 15:59:48 -0700920 bool LinkVirtualMethods(
921 Thread* self,
922 Handle<mirror::Class> klass,
923 /*out*/std::unordered_map<size_t, MethodTranslation>* default_translations)
Mathieu Chartier90443472015-07-16 20:32:27 -0700924 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700925
Alex Lighteb7c1442015-08-31 13:17:42 -0700926 // Sets up the interface lookup table (IFTable) in the correct order to allow searching for
927 // default methods.
928 bool SetupInterfaceLookupTable(Thread* self,
929 Handle<mirror::Class> klass,
930 Handle<mirror::ObjectArray<mirror::Class>> interfaces)
931 SHARED_REQUIRES(Locks::mutator_lock_);
932
Alex Light9139e002015-10-09 15:59:48 -0700933
934 enum class DefaultMethodSearchResult {
935 kDefaultFound,
936 kAbstractFound,
937 kDefaultConflict
938 };
939
Alex Lighteb7c1442015-08-31 13:17:42 -0700940 // Find the default method implementation for 'interface_method' in 'klass', if one exists.
941 //
942 // Arguments:
943 // * self - The current thread.
944 // * target_method - The method we are trying to find a default implementation for.
945 // * klass - The class we are searching for a definition of target_method.
946 // * out_default_method - The pointer we will store the found default method to on success.
Alex Lighteb7c1442015-08-31 13:17:42 -0700947 //
948 // Return value:
Alex Light9139e002015-10-09 15:59:48 -0700949 // * kDefaultFound - There were no conflicting method implementations found in the class while
950 // searching for target_method. The default method implementation is stored into
951 // out_default_method.
952 // * kAbstractFound - There were no conflicting method implementations found in the class while
953 // searching for target_method but no default implementation was found either.
954 // out_default_method is set to null and the method should be considered not
955 // implemented.
956 // * kDefaultConflict - Conflicting method implementations were found when searching for
957 // target_method. The value of *out_default_method is null.
958 DefaultMethodSearchResult FindDefaultMethodImplementation(
959 Thread* self,
960 ArtMethod* target_method,
961 Handle<mirror::Class> klass,
962 /*out*/ArtMethod** out_default_method) const
Alex Lighteb7c1442015-08-31 13:17:42 -0700963 SHARED_REQUIRES(Locks::mutator_lock_);
964
965 // Sets the imt entries and fixes up the vtable for the given class by linking all the interface
966 // methods. See LinkVirtualMethods for an explanation of what default_translations is.
Alex Light9139e002015-10-09 15:59:48 -0700967 bool LinkInterfaceMethods(
968 Thread* self,
969 Handle<mirror::Class> klass,
970 const std::unordered_map<size_t, MethodTranslation>& default_translations,
971 ArtMethod** out_imt)
Mathieu Chartier90443472015-07-16 20:32:27 -0700972 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700973
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700974 bool LinkStaticFields(Thread* self, Handle<mirror::Class> klass, size_t* class_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700975 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700976 bool LinkInstanceFields(Thread* self, Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700977 SHARED_REQUIRES(Locks::mutator_lock_);
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700978 bool LinkFields(Thread* self, Handle<mirror::Class> klass, bool is_static, size_t* class_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700979 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700980 void LinkCode(ArtMethod* method,
981 const OatFile::OatClass* oat_class,
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700982 uint32_t class_def_method_index)
Mathieu Chartier90443472015-07-16 20:32:27 -0700983 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700984 void CreateReferenceInstanceOffsets(Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700985 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700986
Mathieu Chartiere401d142015-04-22 13:56:20 -0700987 void CheckProxyConstructor(ArtMethod* constructor) const
Mathieu Chartier90443472015-07-16 20:32:27 -0700988 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700989 void CheckProxyMethod(ArtMethod* method, ArtMethod* prototype) const
Mathieu Chartier90443472015-07-16 20:32:27 -0700990 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700991
Brian Carlstrom58ae9412011-10-04 00:56:06 -0700992 // For use by ImageWriter to find DexCaches for its roots
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -0700993 ReaderWriterMutex* DexLock()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700994 SHARED_REQUIRES(Locks::mutator_lock_)
995 LOCK_RETURNED(dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -0700996 return &dex_lock_;
Brian Carlstrom58ae9412011-10-04 00:56:06 -0700997 }
Mathieu Chartier90443472015-07-16 20:32:27 -0700998 size_t GetDexCacheCount() SHARED_REQUIRES(Locks::mutator_lock_, dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -0700999 return dex_caches_.size();
1000 }
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001001 const std::list<DexCacheData>& GetDexCachesData()
1002 SHARED_REQUIRES(Locks::mutator_lock_, dex_lock_) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001003 return dex_caches_;
1004 }
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001005
Mathieu Chartiere401d142015-04-22 13:56:20 -07001006 void CreateProxyConstructor(Handle<mirror::Class> klass, ArtMethod* out)
Mathieu Chartier90443472015-07-16 20:32:27 -07001007 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001008 void CreateProxyMethod(Handle<mirror::Class> klass, ArtMethod* prototype, ArtMethod* out)
Mathieu Chartier90443472015-07-16 20:32:27 -07001009 SHARED_REQUIRES(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -04001010
Igor Murashkindf707e42016-02-02 16:56:50 -08001011 // Ensures that methods have the kAccSkipAccessChecks bit set. We use the
1012 // kAccVerificationAttempted bit on the class access flags to determine whether this has been done
1013 // before.
1014 void EnsureSkipAccessChecksMethods(Handle<mirror::Class> c)
Mathieu Chartier90443472015-07-16 20:32:27 -07001015 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe48498592014-09-10 19:48:05 -07001016
Mathieu Chartier073b16c2015-11-10 14:13:23 -08001017 mirror::Class* LookupClassFromBootImage(const char* descriptor)
Mathieu Chartier90443472015-07-16 20:32:27 -07001018 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001019
Mathieu Chartier5b830502016-03-02 10:30:23 -08001020 // Register a class loader and create its class table and allocator. Should not be called if
1021 // these are already created.
1022 void RegisterClassLoader(mirror::ClassLoader* class_loader)
1023 SHARED_REQUIRES(Locks::mutator_lock_)
1024 REQUIRES(Locks::classlinker_classes_lock_);
1025
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001026 // Returns null if not found.
1027 ClassTable* ClassTableForClassLoader(mirror::ClassLoader* class_loader)
Mathieu Chartier10c5f562016-05-10 18:13:20 -07001028 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier5b830502016-03-02 10:30:23 -08001029
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001030 // Insert a new class table if not found.
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001031 ClassTable* InsertClassTableForClassLoader(mirror::ClassLoader* class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001032 SHARED_REQUIRES(Locks::mutator_lock_)
1033 REQUIRES(Locks::classlinker_classes_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001034
Ian Rogersdbf3be02014-08-29 15:40:08 -07001035 // EnsureResolved is called to make sure that a class in the class_table_ has been resolved
1036 // before returning it to the caller. Its the responsibility of the thread that placed the class
1037 // in the table to make it resolved. The thread doing resolution must notify on the class' lock
1038 // when resolution has occurred. This happens in mirror::Class::SetStatus. As resolution may
1039 // retire a class, the version of the class in the table is returned and this may differ from
1040 // the class passed in.
1041 mirror::Class* EnsureResolved(Thread* self, const char* descriptor, mirror::Class* klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001042 WARN_UNUSED
1043 SHARED_REQUIRES(Locks::mutator_lock_)
1044 REQUIRES(!dex_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001045
1046 void FixupTemporaryDeclaringClass(mirror::Class* temp_class, mirror::Class* new_class)
Mathieu Chartier90443472015-07-16 20:32:27 -07001047 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001048
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001049 void SetClassRoot(ClassRoot class_root, mirror::Class* klass)
Mathieu Chartier90443472015-07-16 20:32:27 -07001050 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001051
1052 // Return the quick generic JNI stub for testing.
1053 const void* GetRuntimeQuickGenericJniStub() const;
1054
Andreas Gampebfdcdc12015-04-22 18:10:36 -07001055 // Throw the class initialization failure recorded when first trying to initialize the given
1056 // class.
Andreas Gampecb086952015-11-02 16:20:00 -08001057 void ThrowEarlierClassFailure(mirror::Class* c, bool wrap_in_no_class_def = false)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001058 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier90443472015-07-16 20:32:27 -07001059 REQUIRES(!dex_lock_);
Andreas Gampebfdcdc12015-04-22 18:10:36 -07001060
Mathieu Chartiere401d142015-04-22 13:56:20 -07001061 bool CanWeInitializeClass(mirror::Class* klass, bool can_init_statics, bool can_init_parents)
Mathieu Chartier90443472015-07-16 20:32:27 -07001062 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001063
Alex Lighte64300b2015-12-15 15:02:47 -08001064 void UpdateClassMethods(mirror::Class* klass,
1065 LengthPrefixedArray<ArtMethod>* new_methods)
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001066 SHARED_REQUIRES(Locks::mutator_lock_)
1067 REQUIRES(!Locks::classlinker_classes_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001068
Mathieu Chartier69731002016-03-02 16:08:31 -08001069 // new_class_set is the set of classes that were read from the class table section in the image.
1070 // If there was no class table section, it is null.
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -08001071 bool UpdateAppImageClassLoadersAndDexCaches(
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001072 gc::space::ImageSpace* space,
1073 Handle<mirror::ClassLoader> class_loader,
1074 Handle<mirror::ObjectArray<mirror::DexCache>> dex_caches,
Mathieu Chartier69731002016-03-02 16:08:31 -08001075 ClassTable::ClassSet* new_class_set,
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -08001076 bool* out_forward_dex_cache_array,
1077 std::string* out_error_msg)
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001078 REQUIRES(!dex_lock_)
1079 SHARED_REQUIRES(Locks::mutator_lock_);
1080
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001081 // Check that c1 == FindSystemClass(self, descriptor). Abort with class dumps otherwise.
1082 void CheckSystemClass(Thread* self, Handle<mirror::Class> c1, const char* descriptor)
1083 REQUIRES(!dex_lock_)
1084 SHARED_REQUIRES(Locks::mutator_lock_);
1085
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001086 // Sets imt_ref appropriately for LinkInterfaceMethods.
1087 // If there is no method in the imt location of imt_ref it will store the given method there.
1088 // Otherwise it will set the conflict method which will figure out which method to use during
1089 // runtime.
1090 void SetIMTRef(ArtMethod* unimplemented_method,
1091 ArtMethod* imt_conflict_method,
1092 ArtMethod* current_method,
1093 /*out*/ArtMethod** imt_ref) SHARED_REQUIRES(Locks::mutator_lock_);
1094
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001095 void FillIMTFromIfTable(mirror::IfTable* if_table,
1096 ArtMethod* unimplemented_method,
1097 ArtMethod* imt_conflict_method,
1098 mirror::Class* klass,
1099 bool create_conflict_tables,
1100 bool ignore_copied_methods,
1101 ArtMethod** imt) SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001102
1103 void FillImtFromSuperClass(Handle<mirror::Class> klass,
1104 ArtMethod* unimplemented_method,
1105 ArtMethod* imt_conflict_method,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001106 ArtMethod** imt) SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001107
Brian Carlstrom4a96b602011-07-26 16:40:23 -07001108 std::vector<const DexFile*> boot_class_path_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001109 std::vector<std::unique_ptr<const DexFile>> boot_dex_files_;
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07001110
Ian Rogers1bf8d4d2013-05-30 00:18:49 -07001111 mutable ReaderWriterMutex dex_lock_ DEFAULT_MUTEX_ACQUIRED_AFTER;
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001112 // JNI weak globals and side data to allow dex caches to get unloaded. We lazily delete weak
1113 // globals when we register new dex files.
1114 std::list<DexCacheData> dex_caches_ GUARDED_BY(dex_lock_);
Brian Carlstrom47d237a2011-10-18 15:08:33 -07001115
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -07001116 // This contains the class loaders which have class tables. It is populated by
Mathieu Chartier951ec2c2015-09-22 08:50:05 -07001117 // InsertClassTableForClassLoader.
1118 std::list<ClassLoaderData> class_loaders_
Mathieu Chartier6b069532015-08-05 15:08:12 -07001119 GUARDED_BY(Locks::classlinker_classes_lock_);
1120
1121 // Boot class path table. Since the class loader for this is null.
1122 ClassTable boot_class_table_ GUARDED_BY(Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001123
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001124 // New class roots, only used by CMS since the GC needs to mark these in the pause.
1125 std::vector<GcRoot<mirror::Class>> new_class_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Elliott Hughesf8349362012-06-18 15:00:06 -07001126
Mathieu Chartier073b16c2015-11-10 14:13:23 -08001127 // Do we need to search dex caches to find boot image classes?
1128 bool dex_cache_boot_image_class_lookup_required_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001129 // Number of times we've searched dex caches for a class. After a certain number of misses we move
1130 // the classes into the class_table_ to avoid dex cache based searches.
Ian Rogers68b56852014-08-29 20:19:11 -07001131 Atomic<uint32_t> failed_dex_cache_class_lookups_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001132
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001133 // Well known mirror::Class roots.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001134 GcRoot<mirror::ObjectArray<mirror::Class>> class_roots_;
Brian Carlstrom913af1b2011-07-23 21:41:13 -07001135
Ian Rogers98379392014-02-24 16:53:16 -08001136 // The interface table used by all arrays.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001137 GcRoot<mirror::IfTable> array_iftable_;
Carl Shapiro565f5072011-07-10 13:39:43 -07001138
Ian Rogers98379392014-02-24 16:53:16 -08001139 // A cache of the last FindArrayClass results. The cache serves to avoid creating array class
1140 // descriptors for the sake of performing FindClass.
1141 static constexpr size_t kFindArrayCacheSize = 16;
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001142 GcRoot<mirror::Class> find_array_class_cache_[kFindArrayCacheSize];
Ian Rogers98379392014-02-24 16:53:16 -08001143 size_t find_array_class_cache_next_victim_;
1144
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001145 bool init_done_;
Mathieu Chartier893263b2014-03-04 11:07:42 -08001146 bool log_new_class_table_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001147
Elliott Hughescf4c6c42011-09-01 15:16:42 -07001148 InternTable* intern_table_;
1149
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001150 // Trampolines within the image the bounce to runtime entrypoints. Done so that there is a single
1151 // patch point within the image. TODO: make these proper relocations.
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001152 const void* quick_resolution_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -07001153 const void* quick_imt_conflict_trampoline_;
Andreas Gampe2da88232014-02-27 12:26:20 -08001154 const void* quick_generic_jni_trampoline_;
Vladimir Marko8a630572014-04-09 18:45:35 +01001155 const void* quick_to_interpreter_bridge_trampoline_;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001156
Mathieu Chartier2d721012014-11-10 11:08:06 -08001157 // Image pointer size.
1158 size_t image_pointer_size_;
1159
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001160 friend class ImageDumper; // for DexLock
Brian Carlstrom34f426c2011-10-04 12:58:02 -07001161 friend class ImageWriter; // for GetClassRoots
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001162 friend class JniCompilerTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe5f4a09a2015-09-28 13:16:33 -07001163 friend class JniInternalTest; // for GetRuntimeQuickGenericJniStub
Mathieu Chartier76172162016-01-26 14:54:06 -08001164 ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for DexLock, and RegisterDexFileLocked
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001165 ART_FRIEND_TEST(mirror::DexCacheTest, Open); // for AllocDexCache
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001166 DISALLOW_COPY_AND_ASSIGN(ClassLinker);
1167};
1168
1169} // namespace art
1170
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001171#endif // ART_RUNTIME_CLASS_LINKER_H_