blob: a4c4f3d9abc272d6cf00b19d3915e9c3169f215e [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
Andreas Gampe542451c2016-07-26 09:02:02 -070027#include "base/enums.h"
Elliott Hughes76160052012-12-12 16:31:20 -080028#include "base/macros.h"
Elliott Hughes76b61672012-12-12 17:47:30 -080029#include "base/mutex.h"
Mathieu Chartierc5dd3192015-12-09 16:38:30 -080030#include "dex_cache_resolved_classes.h"
Brian Carlstrom7e49dca2011-07-22 18:07:34 -070031#include "dex_file.h"
Andreas Gampea5b09a62016-11-17 15:21:22 -080032#include "dex_file_types.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070033#include "gc_root.h"
Andreas Gampe0f01b582017-01-18 15:22:37 -080034#include "handle.h"
Mathieu Chartier590fee92013-09-13 13:46:47 -070035#include "jni.h"
Vladimir Marko97d7e1c2016-10-04 14:44:28 +010036#include "mirror/class.h"
Andreas Gampe6d7abbd2017-04-24 13:19:09 -070037#include "verifier/verifier_enums.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 {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080043class ImageSpace;
Ian Rogers1d54e732013-05-02 21:10:01 -070044} // namespace space
45} // namespace gc
Vladimir Marko74527972016-11-29 15:57:32 +000046
47namespace linker {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080048struct CompilationHelper;
49class ImageWriter;
50class OatWriter;
Vladimir Marko74527972016-11-29 15:57:32 +000051} // namespace linker
52
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080053namespace mirror {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080054class ClassLoader;
55class DexCache;
56class DexCachePointerArray;
57class DexCacheMethodHandlesTest_Open_Test;
58class DexCacheTest_Open_Test;
59class IfTable;
60class MethodHandle;
61class MethodHandlesLookup;
62class MethodType;
63template<class T> class ObjectArray;
64class StackTraceElement;
65template <typename T> struct NativeDexCachePair;
66using MethodDexCachePair = NativeDexCachePair<ArtMethod>;
67using MethodDexCacheType = std::atomic<MethodDexCachePair>;
Ian Rogers33e95662013-05-20 20:29:14 -070068} // namespace mirror
Ian Rogers1d54e732013-05-02 21:10:01 -070069
Andreas Gampec1ac9ee2017-07-24 22:35:49 -070070class ClassHierarchyAnalysis;
Andreas Gampe2af99022017-04-25 08:32:59 -070071class ClassTable;
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070072template<class T> class Handle;
Vladimir Marko97d7e1c2016-10-04 14:44:28 +010073class ImtConflictTable;
74template<typename T> class LengthPrefixedArray;
Hiroshi Yamauchi679b1cf2015-05-21 12:05:27 -070075template<class T> class MutableHandle;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070076class InternTable;
Andreas Gamped482e732017-04-24 17:59:09 -070077class LinearAlloc;
Vladimir Marko1998cd02017-01-13 13:02:58 +000078class OatFile;
Mathieu Chartierc528dba2013-11-26 12:00:11 -080079template<class T> class ObjectLock;
Andreas Gampe7ba64962014-10-23 11:37:40 -070080class Runtime;
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070081class ScopedObjectAccessAlreadyRunnable;
Mathieu Chartier2d2621a2014-10-23 16:48:06 -070082template<size_t kNumReferences> class PACKED(4) StackHandleScope;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070083
Mathieu Chartier893263b2014-03-04 11:07:42 -080084enum VisitRootFlags : uint8_t;
85
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -080086class ClassVisitor {
87 public:
88 virtual ~ClassVisitor() {}
89 // Return true to continue visiting.
Mathieu Chartier28357fa2016-10-18 16:27:40 -070090 virtual bool operator()(ObjPtr<mirror::Class> klass) = 0;
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -080091};
92
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -070093class ClassLoaderVisitor {
94 public:
95 virtual ~ClassLoaderVisitor() {}
Mathieu Chartier28357fa2016-10-18 16:27:40 -070096 virtual void Visit(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070097 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_) = 0;
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -070098};
99
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700100class ClassLinker {
101 public:
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700102 // Well known mirror::Class roots accessed via GetClassRoot.
103 enum ClassRoot {
104 kJavaLangClass,
105 kJavaLangObject,
106 kClassArrayClass,
107 kObjectArrayClass,
108 kJavaLangString,
109 kJavaLangDexCache,
110 kJavaLangRefReference,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700111 kJavaLangReflectConstructor,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700112 kJavaLangReflectField,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700113 kJavaLangReflectMethod,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700114 kJavaLangReflectProxy,
115 kJavaLangStringArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700116 kJavaLangReflectConstructorArrayClass,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700117 kJavaLangReflectFieldArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700118 kJavaLangReflectMethodArrayClass,
Orion Hodsonc069a302017-01-18 09:23:12 +0000119 kJavaLangInvokeCallSite,
Narayan Kamathafa48272016-08-03 12:46:58 +0100120 kJavaLangInvokeMethodHandleImpl,
Orion Hodsonc069a302017-01-18 09:23:12 +0000121 kJavaLangInvokeMethodHandlesLookup,
Narayan Kamathafa48272016-08-03 12:46:58 +0100122 kJavaLangInvokeMethodType,
Orion Hodson005ac512017-10-24 15:43:43 +0100123 kJavaLangInvokeVarHandle,
124 kJavaLangInvokeFieldVarHandle,
125 kJavaLangInvokeArrayElementVarHandle,
126 kJavaLangInvokeByteArrayViewVarHandle,
127 kJavaLangInvokeByteBufferViewVarHandle,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700128 kJavaLangClassLoader,
129 kJavaLangThrowable,
130 kJavaLangClassNotFoundException,
131 kJavaLangStackTraceElement,
Narayan Kamath000e1882016-10-24 17:14:25 +0100132 kDalvikSystemEmulatedStackFrame,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700133 kPrimitiveBoolean,
134 kPrimitiveByte,
135 kPrimitiveChar,
136 kPrimitiveDouble,
137 kPrimitiveFloat,
138 kPrimitiveInt,
139 kPrimitiveLong,
140 kPrimitiveShort,
141 kPrimitiveVoid,
142 kBooleanArrayClass,
143 kByteArrayClass,
144 kCharArrayClass,
145 kDoubleArrayClass,
146 kFloatArrayClass,
147 kIntArrayClass,
148 kLongArrayClass,
149 kShortArrayClass,
150 kJavaLangStackTraceElementArrayClass,
Alex Lightd6251582016-10-31 11:12:30 -0700151 kDalvikSystemClassExt,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700152 kClassRootsMax,
153 };
154
Mathieu Chartier590fee92013-09-13 13:46:47 -0700155 explicit ClassLinker(InternTable* intern_table);
Chang Xing605fe242017-07-20 15:57:21 -0700156 virtual ~ClassLinker();
Carl Shapiro565f5072011-07-10 13:39:43 -0700157
Alex Light64ad14d2014-08-19 14:23:13 -0700158 // Initialize class linker by bootstraping from dex files.
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800159 bool InitWithoutImage(std::vector<std::unique_ptr<const DexFile>> boot_class_path,
160 std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700161 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800162 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700163
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800164 // Initialize class linker from one or more boot images.
165 bool InitFromBootImage(std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700166 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800167 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700168
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800169 // Add an image space to the class linker, may fix up classloader fields and dex cache fields.
170 // The dex files that were newly opened for the space are placed in the out argument
171 // out_dex_files. Returns true if the operation succeeded.
172 // The space must be already added to the heap before calling AddImageSpace since we need to
173 // properly handle read barriers and object marking.
174 bool AddImageSpace(gc::space::ImageSpace* space,
175 Handle<mirror::ClassLoader> class_loader,
176 jobjectArray dex_elements,
177 const char* dex_location,
178 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
179 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800180 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700181 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800182
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800183 bool OpenImageDexFiles(gc::space::ImageSpace* space,
184 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
185 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800186 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700187 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800188
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700189 // Finds a class by its descriptor, loading it if necessary.
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700190 // If class_loader is null, searches boot_class_path_.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700191 mirror::Class* FindClass(Thread* self,
192 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700193 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700194 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800195 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700196
Ian Rogers98379392014-02-24 16:53:16 -0800197 // Finds a class by its descriptor using the "system" class loader, ie by searching the
198 // boot_class_path_.
199 mirror::Class* FindSystemClass(Thread* self, const char* descriptor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700200 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800201 REQUIRES(!Locks::dex_lock_) {
202 return FindClass(self, descriptor, ScopedNullHandle<mirror::ClassLoader>());
203 }
Ian Rogers98379392014-02-24 16:53:16 -0800204
205 // Finds the array class given for the element class.
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700206 mirror::Class* FindArrayClass(Thread* self, ObjPtr<mirror::Class>* element_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700207 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800208 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700209
Ian Rogers63557452014-06-04 16:57:15 -0700210 // Returns true if the class linker is initialized.
Ian Rogers7b078e82014-09-10 14:44:24 -0700211 bool IsInitialized() const {
212 return init_done_;
213 }
Mathieu Chartier590fee92013-09-13 13:46:47 -0700214
Brian Carlstromaded5f72011-10-07 17:15:04 -0700215 // Define a new a class based on a ClassDef from a DexFile
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700216 mirror::Class* DefineClass(Thread* self,
217 const char* descriptor,
218 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700219 Handle<mirror::ClassLoader> class_loader,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700220 const DexFile& dex_file,
221 const DexFile::ClassDef& dex_class_def)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700222 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800223 REQUIRES(!Locks::dex_lock_);
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700224
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700225 // Finds a class by its descriptor, returning null if it isn't wasn't loaded
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700226 // by the given 'class_loader'.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700227 mirror::Class* LookupClass(Thread* self,
228 const char* descriptor,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700229 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700230 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampe2ff3b972017-06-05 18:14:53 -0700231 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700232
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800233 // Finds all the classes with the given descriptor, regardless of ClassLoader.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700234 void LookupClasses(const char* descriptor, std::vector<ObjPtr<mirror::Class>>& classes)
Mathieu Chartier90443472015-07-16 20:32:27 -0700235 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700236 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800237
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700238 mirror::Class* FindPrimitiveClass(char type) REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700239
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700240 void DumpForSigQuit(std::ostream& os) REQUIRES(!Locks::classlinker_classes_lock_);
Elliott Hughescac6cc72011-11-03 20:31:21 -0700241
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700242 size_t NumLoadedClasses()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700243 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700244 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughese27955c2011-08-26 15:21:24 -0700245
Brian Carlstromb63ec392011-08-27 17:38:27 -0700246 // Resolve a String with the given index from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700247 // result in the DexCache.
Andreas Gampe8a0128a2016-11-28 07:38:35 -0800248 mirror::String* ResolveString(const DexFile& dex_file,
249 dex::StringIndex string_idx,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700250 Handle<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700251 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700252
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000253 // Find a String with the given index from the DexFile, storing the
254 // result in the DexCache if found. Return null if not found.
Andreas Gampe8a0128a2016-11-28 07:38:35 -0800255 mirror::String* LookupString(const DexFile& dex_file,
256 dex::StringIndex string_idx,
Vladimir Markof25cc732017-03-16 16:18:15 +0000257 ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700258 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000259
Brian Carlstromb63ec392011-08-27 17:38:27 -0700260 // Resolve a Type with the given index from the DexFile, storing the
Roland Levillainab880f42016-05-12 16:24:36 +0100261 // result in the DexCache. The referrer is used to identify the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700262 // target DexCache and ClassLoader to use for resolution.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700263 mirror::Class* ResolveType(const DexFile& dex_file,
Andreas Gampea5b09a62016-11-17 15:21:22 -0800264 dex::TypeIndex type_idx,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700265 ObjPtr<mirror::Class> referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700266 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800267 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700268
Brian Carlstromb63ec392011-08-27 17:38:27 -0700269 // Resolve a Type with the given index from the DexFile, storing the
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700270 // result in the DexCache. The referrer is used to identify the
Brian Carlstromb63ec392011-08-27 17:38:27 -0700271 // target DexCache and ClassLoader to use for resolution.
Andreas Gampea5b09a62016-11-17 15:21:22 -0800272 mirror::Class* ResolveType(dex::TypeIndex type_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700273 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800274 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700275
Mathieu Chartierb8901302016-09-30 10:27:43 -0700276 // Look up a resolved type with the given ID from the DexFile. The ClassLoader is used to search
277 // for the type, since it may be referenced from but not contained within the given DexFile.
278 ObjPtr<mirror::Class> LookupResolvedType(const DexFile& dex_file,
Andreas Gampea5b09a62016-11-17 15:21:22 -0800279 dex::TypeIndex type_idx,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700280 ObjPtr<mirror::DexCache> dex_cache,
281 ObjPtr<mirror::ClassLoader> class_loader)
282 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Marko8d6768d2017-03-14 10:13:21 +0000283 static ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx,
284 ObjPtr<mirror::DexCache> dex_cache,
285 ObjPtr<mirror::ClassLoader> class_loader)
286 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierb8901302016-09-30 10:27:43 -0700287
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700288 // Resolve a type with the given ID from the DexFile, storing the
289 // result in DexCache. The ClassLoader is used to search for the
290 // type, since it may be referenced from but not contained within
291 // the given DexFile.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700292 mirror::Class* ResolveType(const DexFile& dex_file,
Andreas Gampea5b09a62016-11-17 15:21:22 -0800293 dex::TypeIndex type_idx,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700294 Handle<mirror::DexCache> dex_cache,
295 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700296 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800297 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700298
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800299 // Determine whether a dex cache result should be trusted, or an IncompatibleClassChangeError
Vladimir Markoba118822017-06-12 15:41:56 +0100300 // check and IllegalAccessError check should be performed even after a hit.
301 enum class ResolveMode { // private.
302 kNoChecks,
303 kCheckICCEAndIAE
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800304 };
305
Vladimir Marko07bfbac2017-07-06 14:55:02 +0100306 // Look up a previously resolved method with the given index.
307 ArtMethod* LookupResolvedMethod(uint32_t method_idx,
308 ObjPtr<mirror::DexCache> dex_cache,
309 ObjPtr<mirror::ClassLoader> class_loader)
310 REQUIRES_SHARED(Locks::mutator_lock_);
311
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700312 // Resolve a method with a given ID from the DexFile, storing the
313 // result in DexCache. The ClassLinker and ClassLoader are used as
314 // in ResolveType. What is unique is the method type argument which
315 // is used to determine if this method is a direct, static, or
316 // virtual method.
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800317 template <ResolveMode kResolveMode>
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700318 ArtMethod* ResolveMethod(const DexFile& dex_file,
319 uint32_t method_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700320 Handle<mirror::DexCache> dex_cache,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700321 Handle<mirror::ClassLoader> class_loader,
322 ArtMethod* referrer,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700323 InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700324 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800325 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700326
Vladimir Markoba118822017-06-12 15:41:56 +0100327 template <InvokeType type, ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700328 ArtMethod* GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700329 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightfedd91d2016-01-07 14:49:16 -0800330
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800331 template <ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700332 ArtMethod* ResolveMethod(Thread* self, uint32_t method_idx, ArtMethod* referrer, InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700333 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800334 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Jeff Hao0042c6d2015-07-29 20:14:10 -0700335 ArtMethod* ResolveMethodWithoutInvokeType(const DexFile& dex_file,
336 uint32_t method_idx,
337 Handle<mirror::DexCache> dex_cache,
338 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700339 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800340 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom16192862011-09-12 17:50:06 -0700341
Vladimir Markof44d36c2017-03-14 14:18:46 +0000342 ArtField* LookupResolvedField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700343 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700344 ArtField* ResolveField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700345 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800346 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstromb9edb842011-08-28 16:31:06 -0700347
Brian Carlstrom16192862011-09-12 17:50:06 -0700348 // Resolve a field with a given ID from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700349 // result in DexCache. The ClassLinker and ClassLoader are used as
350 // in ResolveType. What is unique is the is_static argument which is
351 // used to determine if we are resolving a static or non-static
352 // field.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700353 ArtField* ResolveField(const DexFile& dex_file, uint32_t field_idx,
Mathieu Chartier90443472015-07-16 20:32:27 -0700354 Handle<mirror::DexCache> dex_cache,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700355 Handle<mirror::ClassLoader> class_loader, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700356 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800357 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700358
Ian Rogersb067ac22011-12-13 18:05:09 -0800359 // Resolve a field with a given ID from the DexFile, storing the
360 // result in DexCache. The ClassLinker and ClassLoader are used as
361 // in ResolveType. No is_static argument is provided so that Java
362 // field resolution semantics are followed.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700363 ArtField* ResolveFieldJLS(const DexFile& dex_file,
364 uint32_t field_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700365 Handle<mirror::DexCache> dex_cache,
366 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700367 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800368 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersb067ac22011-12-13 18:05:09 -0800369
Narayan Kamath25352fc2016-08-03 12:46:58 +0100370 // Resolve a method type with a given ID from the DexFile, storing
371 // the result in the DexCache.
Orion Hodsone7732be2017-10-11 14:35:20 +0100372 mirror::MethodType* ResolveMethodType(Thread* self,
373 const DexFile& dex_file,
Narayan Kamath25352fc2016-08-03 12:46:58 +0100374 uint32_t proto_idx,
375 Handle<mirror::DexCache> dex_cache,
376 Handle<mirror::ClassLoader> class_loader)
377 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800378 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersad25ac52011-10-04 19:13:33 -0700379
Orion Hodsone7732be2017-10-11 14:35:20 +0100380 mirror::MethodType* ResolveMethodType(Thread* self, uint32_t proto_idx, ArtMethod* referrer)
Orion Hodson2e599942017-09-22 16:17:41 +0100381 REQUIRES_SHARED(Locks::mutator_lock_);
382
Orion Hodsonc069a302017-01-18 09:23:12 +0000383 // Resolve a method handle with a given ID from the DexFile. The
384 // result is not cached in the DexCache as the instance will only be
385 // used once in most circumstances.
Orion Hodsone7732be2017-10-11 14:35:20 +0100386 mirror::MethodHandle* ResolveMethodHandle(Thread* self,
387 uint32_t method_handle_idx,
388 ArtMethod* referrer)
Orion Hodsonc069a302017-01-18 09:23:12 +0000389 REQUIRES_SHARED(Locks::mutator_lock_);
390
Elliott Hughesf4c21c92011-08-19 17:31:31 -0700391 // Returns true on success, false if there's an exception pending.
Brian Carlstrom25c33252011-09-18 15:58:35 -0700392 // can_run_clinit=false allows the compiler to attempt to init a class,
393 // given the restriction that no <clinit> execution is possible.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700394 bool EnsureInitialized(Thread* self,
395 Handle<mirror::Class> c,
396 bool can_init_fields,
Ian Rogers7b078e82014-09-10 14:44:24 -0700397 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700398 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800399 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700400
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700401 // Initializes classes that have instances in the image but that have
402 // <clinit> methods so they could not be initialized by the compiler.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700403 void RunRootClinits()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700404 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800405 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700406
Alex Light07f06212017-06-01 14:01:43 -0700407 // Directly register an already existing dex cache. RegisterDexFile should be preferred since that
408 // reduplicates DexCaches when possible. The DexCache given to this function must already be fully
409 // initialized and not already registered.
410 void RegisterExistingDexCache(ObjPtr<mirror::DexCache> cache,
411 ObjPtr<mirror::ClassLoader> class_loader)
412 REQUIRES(!Locks::dex_lock_)
413 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000414 ObjPtr<mirror::DexCache> RegisterDexFile(const DexFile& dex_file,
415 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800416 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700417 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700418
Brian Carlstrom8a487412011-08-29 20:08:52 -0700419 const std::vector<const DexFile*>& GetBootClassPath() {
420 return boot_class_path_;
421 }
422
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700423 void VisitClasses(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700424 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700425 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -0700426
427 // Less efficient variant of VisitClasses that copies the class_table_ into secondary storage
428 // so that it can visit individual classes without holding the doesn't hold the
429 // Locks::classlinker_classes_lock_. As the Locks::classlinker_classes_lock_ isn't held this code
430 // can race with insertion and deletion of classes while the visitor is being called.
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700431 void VisitClassesWithoutClassesLock(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700432 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800433 REQUIRES(!Locks::dex_lock_);
Elliott Hughesa2155262011-11-16 16:26:58 -0800434
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700435 void VisitClassRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gamped98b4ed2016-11-04 20:27:24 -0700436 REQUIRES(!Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700437 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700438 void VisitRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800439 REQUIRES(!Locks::dex_lock_, !Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700440 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700441
Vladimir Markocd556b02017-02-03 11:47:34 +0000442 bool IsDexFileRegistered(Thread* self, const DexFile& dex_file)
443 REQUIRES(!Locks::dex_lock_)
444 REQUIRES_SHARED(Locks::mutator_lock_);
445 ObjPtr<mirror::DexCache> FindDexCache(Thread* self, const DexFile& dex_file)
446 REQUIRES(!Locks::dex_lock_)
447 REQUIRES_SHARED(Locks::mutator_lock_);
448 ClassTable* FindClassTable(Thread* self, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800449 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700450 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom1d9f52b2011-10-13 10:50:45 -0700451
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700452 LengthPrefixedArray<ArtField>* AllocArtFieldArray(Thread* self,
453 LinearAlloc* allocator,
454 size_t length);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800455
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700456 LengthPrefixedArray<ArtMethod>* AllocArtMethodArray(Thread* self,
457 LinearAlloc* allocator,
458 size_t length);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700459
460 mirror::PointerArray* AllocPointerArray(Thread* self, size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700461 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700462 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800463
464 mirror::IfTable* AllocIfTable(Thread* self, size_t ifcount)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700465 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700466 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800467
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700468 mirror::ObjectArray<mirror::StackTraceElement>* AllocStackTraceElementArray(Thread* self,
469 size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700470 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700471 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800472
Andreas Gampe6d7abbd2017-04-24 13:19:09 -0700473 verifier::FailureKind VerifyClass(
Nicolas Geoffray08025182016-10-25 17:20:18 +0100474 Thread* self,
475 Handle<mirror::Class> klass,
476 verifier::HardFailLogMode log_level = verifier::HardFailLogMode::kLogNone)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700477 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800478 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700479 bool VerifyClassUsingOatFile(const DexFile& dex_file,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700480 ObjPtr<mirror::Class> klass,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800481 mirror::Class::Status& oat_file_class_status)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700482 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800483 REQUIRES(!Locks::dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800484 void ResolveClassExceptionHandlerTypes(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700485 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800486 REQUIRES(!Locks::dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800487 void ResolveMethodExceptionHandlerTypes(ArtMethod* klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700488 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800489 REQUIRES(!Locks::dex_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800490
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700491 mirror::Class* CreateProxyClass(ScopedObjectAccessAlreadyRunnable& soa,
492 jstring name,
493 jobjectArray interfaces,
494 jobject loader,
495 jobjectArray methods,
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700496 jobjectArray throws)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700497 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700498 std::string GetDescriptorForProxy(ObjPtr<mirror::Class> proxy_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700499 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -0400500
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100501 // Get the oat code for a method when its class isn't yet initialized.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700502 const void* GetQuickOatCodeFor(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700503 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800504
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700505 pid_t GetClassesLockOwner(); // For SignalCatcher.
506 pid_t GetDexLockOwner(); // For SignalCatcher.
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -0700507
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700508 mirror::Class* GetClassRoot(ClassRoot class_root) REQUIRES_SHARED(Locks::mutator_lock_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700509
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700510 static const char* GetClassRootDescriptor(ClassRoot class_root);
Andreas Gampe2da88232014-02-27 12:26:20 -0800511
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700512 // Is the given entry point quick code to run the resolution stub?
513 bool IsQuickResolutionStub(const void* entry_point) const;
Jeff Hao88474b42013-10-23 16:24:40 -0700514
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700515 // Is the given entry point quick code to bridge into the interpreter?
516 bool IsQuickToInterpreterBridge(const void* entry_point) const;
517
518 // Is the given entry point quick code to run the generic JNI stub?
519 bool IsQuickGenericJniStub(const void* entry_point) const;
Vladimir Marko8a630572014-04-09 18:45:35 +0100520
David Sehra49e0532017-08-25 08:05:29 -0700521 // Is the given entry point the JNI dlsym lookup stub?
522 bool IsJniDlsymLookupStub(const void* entry_point) const;
523
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100524 const void* GetQuickToInterpreterBridgeTrampoline() const {
525 return quick_to_interpreter_bridge_trampoline_;
526 }
527
Jeff Hao88474b42013-10-23 16:24:40 -0700528 InternTable* GetInternTable() const {
529 return intern_table_;
530 }
531
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700532 // Set the entrypoints up for method to the enter the interpreter.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700533 void SetEntryPointsToInterpreter(ArtMethod* method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700534 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700535
Alex Lightdb01a092017-04-03 15:39:55 -0700536 // Set the entrypoints up for an obsolete method.
537 void SetEntryPointsForObsoleteMethod(ArtMethod* method) const
538 REQUIRES_SHARED(Locks::mutator_lock_);
539
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700540 // Attempts to insert a class into a class table. Returns null if
Ian Rogers848871b2013-08-05 10:56:33 -0700541 // the class was inserted, otherwise returns an existing class with
542 // the same descriptor and ClassLoader.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700543 mirror::Class* InsertClass(const char* descriptor, ObjPtr<mirror::Class> klass, size_t hash)
Mathieu Chartier90443472015-07-16 20:32:27 -0700544 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700545 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers848871b2013-08-05 10:56:33 -0700546
Vladimir Marko1998cd02017-01-13 13:02:58 +0000547 // Add an oat file with .bss GC roots to be visited again at the end of GC
548 // for collector types that need it.
549 void WriteBarrierForBootOatFileBssRoots(const OatFile* oat_file)
550 REQUIRES(!Locks::classlinker_classes_lock_)
551 REQUIRES_SHARED(Locks::mutator_lock_);
552
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700553 mirror::ObjectArray<mirror::Class>* GetClassRoots() REQUIRES_SHARED(Locks::mutator_lock_) {
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -0700554 mirror::ObjectArray<mirror::Class>* class_roots = class_roots_.Read();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700555 DCHECK(class_roots != nullptr);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700556 return class_roots;
557 }
558
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800559 // Move the class table to the pre-zygote table to reduce memory usage. This works by ensuring
560 // that no more classes are ever added to the pre zygote table which makes it that the pages
561 // always remain shared dirty instead of private dirty.
562 void MoveClassTableToPreZygote()
Mathieu Chartier90443472015-07-16 20:32:27 -0700563 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700564 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800565
Calin Juravle7865ac72017-06-28 11:03:12 -0700566 // Creates a GlobalRef PathClassLoader or DelegateLastClassLoader (specified by loader_class)
567 // that can be used to load classes from the given dex files. The parent of the class loader
568 // will be set to `parent_loader`. If `parent_loader` is null the parent will be
569 // the boot class loader.
570 // If class_loader points to a different class than PathClassLoader or DelegateLastClassLoader
571 // this method will abort.
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700572 // Note: the objects are not completely set up. Do not use this outside of tests and the compiler.
Calin Juravle7865ac72017-06-28 11:03:12 -0700573 jobject CreateWellKnownClassLoader(Thread* self,
574 const std::vector<const DexFile*>& dex_files,
575 jclass loader_class,
576 jobject parent_loader)
577 REQUIRES_SHARED(Locks::mutator_lock_)
578 REQUIRES(!Locks::dex_lock_);
579
580 // Calls CreateWellKnownClassLoader(self,
581 // dex_files,
582 // WellKnownClasses::dalvik_system_PathClassLoader,
583 // nullptr)
Jeff Haof0192c82016-03-28 20:39:50 -0700584 jobject CreatePathClassLoader(Thread* self, const std::vector<const DexFile*>& dex_files)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700585 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800586 REQUIRES(!Locks::dex_lock_);
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700587
Andreas Gampe542451c2016-07-26 09:02:02 -0700588 PointerSize GetImagePointerSize() const {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700589 return image_pointer_size_;
590 }
591
592 // Used by image writer for checking.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700593 bool ClassInClassTable(ObjPtr<mirror::Class> klass)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700594 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700595 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiera89d7ed2014-12-05 10:57:13 -0800596
Andreas Gampe8ac75952015-06-02 21:01:45 -0700597 // Clear the ArrayClass cache. This is necessary when cleaning up for the image, as the cache
598 // entries are roots, but potentially not image classes.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700599 void DropFindArrayClassCache() REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe8ac75952015-06-02 21:01:45 -0700600
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700601 // Clean up class loaders, this needs to happen after JNI weak globals are cleared.
602 void CleanupClassLoaders()
Mathieu Chartier00310e02015-10-17 12:46:42 -0700603 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700604 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700605
Mathieu Chartier32cc9ee2015-10-15 09:19:15 -0700606 // Unlike GetOrCreateAllocatorForClassLoader, GetAllocatorForClassLoader asserts that the
607 // allocator for this class loader is already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700608 LinearAlloc* GetAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700609 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700610
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700611 // Return the linear alloc for a class loader if it is already allocated, otherwise allocate and
612 // set it. TODO: Consider using a lock other than classlinker_classes_lock_.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700613 LinearAlloc* GetOrCreateAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700614 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700615 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier00310e02015-10-17 12:46:42 -0700616
Mathieu Chartier6d25cf62016-04-12 16:54:48 -0700617 // May be called with null class_loader due to legacy code. b/27954959
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700618 void InsertDexFileInToClassLoader(ObjPtr<mirror::Object> dex_file,
619 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700620 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700621 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700622
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000623 static bool ShouldUseInterpreterEntrypoint(ArtMethod* method, const void* quick_code)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700624 REQUIRES_SHARED(Locks::mutator_lock_);
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000625
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800626 std::set<DexCacheResolvedClasses> GetResolvedClasses(bool ignore_boot_classes)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800627 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800628
Jeff Haof0192c82016-03-28 20:39:50 -0700629 static bool IsBootClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700630 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700631 REQUIRES_SHARED(Locks::mutator_lock_);
Jeff Haof0192c82016-03-28 20:39:50 -0700632
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700633 ArtMethod* AddMethodToConflictTable(ObjPtr<mirror::Class> klass,
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700634 ArtMethod* conflict_method,
635 ArtMethod* interface_method,
636 ArtMethod* method,
637 bool force_new_conflict_method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700638 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700639
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700640 // Create a conflict table with a specified capacity.
641 ImtConflictTable* CreateImtConflictTable(size_t count, LinearAlloc* linear_alloc);
642
643 // Static version for when the class linker is not yet created.
644 static ImtConflictTable* CreateImtConflictTable(size_t count,
645 LinearAlloc* linear_alloc,
Andreas Gampe542451c2016-07-26 09:02:02 -0700646 PointerSize pointer_size);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700647
648
649 // Create the IMT and conflict tables for a class.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700650 void FillIMTAndConflictTables(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700651
Mathieu Chartier72041a02017-07-14 18:23:25 -0700652 // Visit all of the class tables. This is used by dex2oat to allow pruning dex caches.
653 template <class Visitor>
654 void VisitClassTables(const Visitor& visitor)
Mathieu Chartier696632e2016-06-03 17:47:32 -0700655 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700656 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700657
Jeff Haoc92a7a12016-06-06 11:09:20 -0700658 // Throw the class initialization failure recorded when first trying to initialize the given
659 // class.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700660 void ThrowEarlierClassFailure(ObjPtr<mirror::Class> c, bool wrap_in_no_class_def = false)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700661 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800662 REQUIRES(!Locks::dex_lock_);
Jeff Haoc92a7a12016-06-06 11:09:20 -0700663
Mathieu Chartier65975772016-08-05 10:46:36 -0700664 // Get the actual holding class for a copied method. Pretty slow, don't call often.
665 mirror::Class* GetHoldingClassOfCopiedMethod(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700666 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier65975772016-08-05 10:46:36 -0700667
Andreas Gampe70f16392017-01-16 14:20:10 -0800668 // Returns null if not found.
Andreas Gampe2af99022017-04-25 08:32:59 -0700669 // This returns a pointer to the class-table, without requiring any locking - including the
670 // boot class-table. It is the caller's responsibility to access this under lock, if required.
Andreas Gampe70f16392017-01-16 14:20:10 -0800671 ClassTable* ClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampe2af99022017-04-25 08:32:59 -0700672 REQUIRES_SHARED(Locks::mutator_lock_)
673 NO_THREAD_SAFETY_ANALYSIS;
Andreas Gampe70f16392017-01-16 14:20:10 -0800674
Andreas Gampece7732b2017-01-17 15:50:26 -0800675 void AppendToBootClassPath(Thread* self, const DexFile& dex_file)
676 REQUIRES_SHARED(Locks::mutator_lock_)
677 REQUIRES(!Locks::dex_lock_);
678
Mathieu Chartier06bed302017-07-13 13:23:18 -0700679 // Visit all of the class loaders in the class linker.
680 void VisitClassLoaders(ClassLoaderVisitor* visitor) const
681 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
682
Jeff Hao0cb17282017-07-12 14:51:49 -0700683 // Checks that a class and its superclass from another class loader have the same virtual methods.
684 bool ValidateSuperClassDescriptors(Handle<mirror::Class> klass)
685 REQUIRES_SHARED(Locks::mutator_lock_);
686
Andreas Gampec1ac9ee2017-07-24 22:35:49 -0700687 ClassHierarchyAnalysis* GetClassHierarchyAnalysis() {
688 return cha_.get();
689 }
690
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800691 struct DexCacheData {
Vladimir Markocd556b02017-02-03 11:47:34 +0000692 // Construct an invalid data object.
693 DexCacheData()
694 : weak_root(nullptr),
695 dex_file(nullptr),
Vladimir Markocd556b02017-02-03 11:47:34 +0000696 class_table(nullptr) { }
697
698 // Check if the data is valid.
699 bool IsValid() const {
700 return dex_file != nullptr;
701 }
702
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800703 // Weak root to the DexCache. Note: Do not decode this unnecessarily or else class unloading may
704 // not work properly.
705 jweak weak_root;
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000706 // The following field caches the DexCache's field here to avoid unnecessary jweak decode that
707 // triggers read barriers (and marks them alive unnecessarily and messes with class unloading.)
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800708 const DexFile* dex_file;
Vladimir Markocd556b02017-02-03 11:47:34 +0000709 // Identify the associated class loader's class table. This is used to make sure that
710 // the Java call to native DexCache.setResolvedType() inserts the resolved type in that
711 // class table. It is also used to make sure we don't register the same dex cache with
712 // multiple class loaders.
713 ClassTable* class_table;
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800714 };
715
Chang Xing605fe242017-07-20 15:57:21 -0700716 protected:
717 virtual bool InitializeClass(Thread* self,
718 Handle<mirror::Class> klass,
719 bool can_run_clinit,
720 bool can_init_parents)
721 REQUIRES_SHARED(Locks::mutator_lock_)
722 REQUIRES(!Locks::dex_lock_);
723
Mathieu Chartier9e050df2017-08-09 10:05:47 -0700724 virtual verifier::FailureKind PerformClassVerification(Thread* self,
725 Handle<mirror::Class> klass,
726 verifier::HardFailLogMode log_level,
727 std::string* error_msg)
728 REQUIRES_SHARED(Locks::mutator_lock_);
729
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700730 private:
Vladimir Marko921094a2017-01-12 18:37:06 +0000731 class LinkInterfaceMethodsHelper;
732
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700733 struct ClassLoaderData {
Mathieu Chartierc3fcd412015-09-25 16:54:59 -0700734 jweak weak_root; // Weak root to enable class unloading.
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700735 ClassTable* class_table;
736 LinearAlloc* allocator;
737 };
738
Alex Lightf1f10492015-10-07 16:08:36 -0700739 // Ensures that the supertype of 'klass' ('supertype') is verified. Returns false and throws
740 // appropriate exceptions if verification failed hard. Returns true for successful verification or
741 // soft-failures.
742 bool AttemptSupertypeVerification(Thread* self,
743 Handle<mirror::Class> klass,
744 Handle<mirror::Class> supertype)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800745 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700746 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightf1f10492015-10-07 16:08:36 -0700747
Andreas Gampec1ac9ee2017-07-24 22:35:49 -0700748 void DeleteClassLoader(Thread* self, const ClassLoaderData& data)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700749 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100750
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700751 void VisitClassesInternal(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700752 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700753
754 // Returns the number of zygote and image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700755 size_t NumZygoteClasses() const
756 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700757 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700758
759 // Returns the number of non zygote nor image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700760 size_t NumNonZygoteClasses() const
761 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700762 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700763
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700764 void FinishInit(Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700765 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800766 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma663ea52011-08-19 23:33:41 -0700767
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700768 // For early bootstrapping by Init
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700769 mirror::Class* AllocClass(Thread* self,
770 ObjPtr<mirror::Class> java_lang_Class,
771 uint32_t class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700772 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700773 REQUIRES(!Roles::uninterruptible_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700774
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800775 // Alloc* convenience functions to avoid needing to pass in mirror::Class*
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700776 // values that are known to the ClassLinker such as
777 // kObjectArrayClass and kJavaLangString etc.
Ian Rogers6fac4472014-02-25 17:01:10 -0800778 mirror::Class* AllocClass(Thread* self, uint32_t class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700779 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700780 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700781
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700782 mirror::DexCache* AllocDexCache(ObjPtr<mirror::String>* out_location,
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700783 Thread* self,
784 const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700785 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700786 REQUIRES(!Roles::uninterruptible_);
Ian Rogersbdb03912011-09-14 00:55:44 -0700787
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700788 // Used for tests and AppendToBootClassPath.
789 mirror::DexCache* AllocAndInitializeDexCache(Thread* self,
790 const DexFile& dex_file,
791 LinearAlloc* linear_alloc)
792 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800793 REQUIRES(!Locks::dex_lock_)
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700794 REQUIRES(!Roles::uninterruptible_);
795
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800796 mirror::Class* CreatePrimitiveClass(Thread* self, Primitive::Type type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700797 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700798 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700799 mirror::Class* InitializePrimitiveClass(ObjPtr<mirror::Class> primitive_class,
800 Primitive::Type type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700801 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700802 REQUIRES(!Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700803
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700804 mirror::Class* CreateArrayClass(Thread* self,
805 const char* descriptor,
806 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700807 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700808 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800809 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700810
Vladimir Markocd556b02017-02-03 11:47:34 +0000811 void AppendToBootClassPath(const DexFile& dex_file, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700812 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800813 REQUIRES(!Locks::dex_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700814
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700815 // Precomputes size needed for Class, in the case of a non-temporary class this size must be
816 // sufficient to hold all static fields.
817 uint32_t SizeOfClassWithoutEmbeddedTables(const DexFile& dex_file,
818 const DexFile::ClassDef& dex_class_def);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700819
Mathieu Chartierc7853442015-03-27 14:35:38 -0700820 // Setup the classloader, class def index, type idx so that we can insert this class in the class
821 // table.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700822 void SetupClass(const DexFile& dex_file,
823 const DexFile::ClassDef& dex_class_def,
824 Handle<mirror::Class> klass,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700825 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700826 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700827
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700828 void LoadClass(Thread* self,
829 const DexFile& dex_file,
830 const DexFile::ClassDef& dex_class_def,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700831 Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700832 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700833 void LoadClassMembers(Thread* self,
834 const DexFile& dex_file,
835 const uint8_t* class_data,
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100836 Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700837 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700838
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700839 void LoadField(const ClassDataItemIterator& it, Handle<mirror::Class> klass, ArtField* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700840 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700841
Mathieu Chartier268764d2016-09-13 12:09:38 -0700842 void LoadMethod(const DexFile& dex_file,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700843 const ClassDataItemIterator& it,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700844 Handle<mirror::Class> klass, ArtMethod* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700845 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700846
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700847 void FixupStaticTrampolines(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800848
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000849 // Finds a class in a Path- or DexClassLoader, loading it if necessary without using JNI. Hash
Andreas Gampe34ee6842014-12-02 15:43:52 -0800850 // function is supposed to be ComputeModifiedUtf8Hash(descriptor). Returns true if the
851 // class-loader chain could be handled, false otherwise, i.e., a non-supported class-loader
852 // was encountered while walking the parent chain (currently only BootClassLoader and
853 // PathClassLoader are supported).
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000854 bool FindClassInBaseDexClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
855 Thread* self,
856 const char* descriptor,
857 size_t hash,
858 Handle<mirror::ClassLoader> class_loader,
859 ObjPtr<mirror::Class>* result)
Andreas Gampe34ee6842014-12-02 15:43:52 -0800860 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800861 REQUIRES(!Locks::dex_lock_);
Andreas Gampe34ee6842014-12-02 15:43:52 -0800862
Calin Juravle415dc3d2017-06-28 11:03:12 -0700863 // Finds the class in the classpath of the given class loader. It only searches the class loader
864 // dex files and does not recurse into its parent.
865 // The method checks that the provided class loader is either a PathClassLoader or a
866 // DexClassLoader.
867 // If the class is found the method returns the resolved class. Otherwise it returns null.
868 ObjPtr<mirror::Class> FindClassInBaseDexClassLoaderClassPath(
869 ScopedObjectAccessAlreadyRunnable& soa,
870 const char* descriptor,
871 size_t hash,
872 Handle<mirror::ClassLoader> class_loader)
873 REQUIRES_SHARED(Locks::mutator_lock_)
874 REQUIRES(!Locks::dex_lock_);
875
876 // Finds the class in the boot class loader.
877 // If the class is found the method returns the resolved class. Otherwise it returns null.
878 ObjPtr<mirror::Class> FindClassInBootClassLoaderClassPath(Thread* self,
879 const char* descriptor,
880 size_t hash)
881 REQUIRES_SHARED(Locks::mutator_lock_)
882 REQUIRES(!Locks::dex_lock_);
883
Andreas Gampe34ee6842014-12-02 15:43:52 -0800884 // Finds a class by its descriptor, returning NULL if it isn't wasn't loaded
885 // by the given 'class_loader'. Uses the provided hash for the descriptor.
886 mirror::Class* LookupClass(Thread* self,
887 const char* descriptor,
888 size_t hash,
889 ObjPtr<mirror::ClassLoader> class_loader)
890 REQUIRES(!Locks::classlinker_classes_lock_)
891 REQUIRES_SHARED(Locks::mutator_lock_);
892
Vladimir Markof44d36c2017-03-14 14:18:46 +0000893 // Find a field by its field index.
894 ArtField* LookupResolvedField(uint32_t field_idx,
895 ObjPtr<mirror::DexCache> dex_cache,
896 ObjPtr<mirror::ClassLoader> class_loader,
897 bool is_static)
898 REQUIRES_SHARED(Locks::mutator_lock_);
899
Vladimir Markocd556b02017-02-03 11:47:34 +0000900 void RegisterDexFileLocked(const DexFile& dex_file,
901 ObjPtr<mirror::DexCache> dex_cache,
902 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800903 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700904 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000905 DexCacheData FindDexCacheDataLocked(const DexFile& dex_file)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800906 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700907 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000908 static ObjPtr<mirror::DexCache> DecodeDexCache(Thread* self, const DexCacheData& data)
909 REQUIRES_SHARED(Locks::mutator_lock_);
910 // Called to ensure that the dex cache has been registered with the same class loader.
911 // If yes, returns the dex cache, otherwise throws InternalError and returns null.
912 ObjPtr<mirror::DexCache> EnsureSameClassLoader(Thread* self,
913 ObjPtr<mirror::DexCache> dex_cache,
914 const DexCacheData& data,
915 ObjPtr<mirror::ClassLoader> class_loader)
916 REQUIRES(!Locks::dex_lock_)
917 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700918
Alex Lighteb7c1442015-08-31 13:17:42 -0700919 bool InitializeDefaultInterfaceRecursive(Thread* self,
920 Handle<mirror::Class> klass,
921 bool can_run_clinit,
922 bool can_init_parents)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800923 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700924 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700925 bool WaitForInitializeClass(Handle<mirror::Class> klass,
926 Thread* self,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700927 ObjectLock<mirror::Class>& lock);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700928
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700929 bool IsSameDescriptorInDifferentClassContexts(Thread* self,
930 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700931 Handle<mirror::ClassLoader> class_loader1,
932 Handle<mirror::ClassLoader> class_loader2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700933 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700934
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700935 bool IsSameMethodSignatureInDifferentClassContexts(Thread* self,
936 ArtMethod* method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700937 ObjPtr<mirror::Class> klass1,
938 ObjPtr<mirror::Class> klass2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700939 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700940
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700941 bool LinkClass(Thread* self,
942 const char* descriptor,
943 Handle<mirror::Class> klass,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700944 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700945 MutableHandle<mirror::Class>* h_new_class_out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700946 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700947 REQUIRES(!Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700948
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700949 bool LinkSuperClass(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700950 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700951
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700952 bool LoadSuperAndInterfaces(Handle<mirror::Class> klass, const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700953 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800954 REQUIRES(!Locks::dex_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700955
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700956 bool LinkMethods(Thread* self,
957 Handle<mirror::Class> klass,
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700958 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000959 bool* out_new_conflict,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700960 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700961 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700962
Orion Hodsonf8db2c32017-07-07 20:07:12 +0100963 mirror::MethodHandle* ResolveMethodHandleForField(Thread* self,
964 const DexFile::MethodHandleItem& method_handle,
965 ArtMethod* referrer)
966 REQUIRES_SHARED(Locks::mutator_lock_);
967
968 mirror::MethodHandle* ResolveMethodHandleForMethod(Thread* self,
969 const DexFile* const dex_file,
970 const DexFile::MethodHandleItem& method_handle,
971 ArtMethod* referrer)
972 REQUIRES_SHARED(Locks::mutator_lock_);
973
Alex Light9139e002015-10-09 15:59:48 -0700974 // A wrapper class representing the result of a method translation used for linking methods and
975 // updating superclass default methods. For each method in a classes vtable there are 4 states it
976 // could be in:
977 // 1) No translation is necessary. In this case there is no MethodTranslation object for it. This
978 // is the standard case and is true when the method is not overridable by a default method,
979 // the class defines a concrete implementation of the method, the default method implementation
980 // remains the same, or an abstract method stayed abstract.
981 // 2) The method must be translated to a different default method. We note this with
982 // CreateTranslatedMethod.
983 // 3) The method must be replaced with a conflict method. This happens when a superclass
984 // implements an interface with a default method and this class implements an unrelated
985 // interface that also defines that default method. We note this with CreateConflictingMethod.
986 // 4) The method must be replaced with an abstract miranda method. This happens when a superclass
987 // implements an interface with a default method and this class implements a subinterface of
988 // the superclass's interface which declares the default method abstract. We note this with
989 // CreateAbstractMethod.
990 //
991 // When a method translation is unnecessary (case #1), we don't put it into the
992 // default_translation maps. So an instance of MethodTranslation must be in one of #2-#4.
993 class MethodTranslation {
994 public:
995 // This slot must become a default conflict method.
996 static MethodTranslation CreateConflictingMethod() {
997 return MethodTranslation(Type::kConflict, /*translation*/nullptr);
998 }
999
1000 // This slot must become an abstract method.
1001 static MethodTranslation CreateAbstractMethod() {
1002 return MethodTranslation(Type::kAbstract, /*translation*/nullptr);
1003 }
1004
1005 // Use the given method as the current value for this vtable slot during translation.
1006 static MethodTranslation CreateTranslatedMethod(ArtMethod* new_method) {
1007 return MethodTranslation(Type::kTranslation, new_method);
1008 }
1009
1010 // Returns true if this is a method that must become a conflict method.
1011 bool IsInConflict() const {
1012 return type_ == Type::kConflict;
1013 }
1014
1015 // Returns true if this is a method that must become an abstract method.
1016 bool IsAbstract() const {
1017 return type_ == Type::kAbstract;
1018 }
1019
1020 // Returns true if this is a method that must become a different method.
1021 bool IsTranslation() const {
1022 return type_ == Type::kTranslation;
1023 }
1024
1025 // Get the translated version of this method.
1026 ArtMethod* GetTranslation() const {
1027 DCHECK(IsTranslation());
1028 DCHECK(translation_ != nullptr);
1029 return translation_;
1030 }
1031
1032 private:
1033 enum class Type {
1034 kTranslation,
1035 kConflict,
1036 kAbstract,
1037 };
1038
1039 MethodTranslation(Type type, ArtMethod* translation)
1040 : translation_(translation), type_(type) {}
1041
1042 ArtMethod* const translation_;
1043 const Type type_;
1044 };
1045
Alex Lighteb7c1442015-08-31 13:17:42 -07001046 // Links the virtual methods for the given class and records any default methods that will need to
1047 // be updated later.
1048 //
1049 // Arguments:
1050 // * self - The current thread.
1051 // * klass - class, whose vtable will be filled in.
1052 // * default_translations - Vtable index to new method map.
1053 // Any vtable entries that need to be updated with new default methods
1054 // are stored into the default_translations map. The default_translations
1055 // map is keyed on the vtable index that needs to be updated. We use this
1056 // map because if we override a default method with another default
1057 // method we need to update the vtable to point to the new method.
1058 // Unfortunately since we copy the ArtMethod* we cannot just do a simple
1059 // scan, we therefore store the vtable index's that might need to be
1060 // updated with the method they will turn into.
1061 // TODO This whole default_translations thing is very dirty. There should be a better way.
Alex Light9139e002015-10-09 15:59:48 -07001062 bool LinkVirtualMethods(
1063 Thread* self,
1064 Handle<mirror::Class> klass,
1065 /*out*/std::unordered_map<size_t, MethodTranslation>* default_translations)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001066 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001067
Alex Lighteb7c1442015-08-31 13:17:42 -07001068 // Sets up the interface lookup table (IFTable) in the correct order to allow searching for
1069 // default methods.
1070 bool SetupInterfaceLookupTable(Thread* self,
1071 Handle<mirror::Class> klass,
1072 Handle<mirror::ObjectArray<mirror::Class>> interfaces)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001073 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001074
Alex Light9139e002015-10-09 15:59:48 -07001075
1076 enum class DefaultMethodSearchResult {
1077 kDefaultFound,
1078 kAbstractFound,
1079 kDefaultConflict
1080 };
1081
Alex Lighteb7c1442015-08-31 13:17:42 -07001082 // Find the default method implementation for 'interface_method' in 'klass', if one exists.
1083 //
1084 // Arguments:
1085 // * self - The current thread.
1086 // * target_method - The method we are trying to find a default implementation for.
1087 // * klass - The class we are searching for a definition of target_method.
1088 // * out_default_method - The pointer we will store the found default method to on success.
Alex Lighteb7c1442015-08-31 13:17:42 -07001089 //
1090 // Return value:
Alex Light9139e002015-10-09 15:59:48 -07001091 // * kDefaultFound - There were no conflicting method implementations found in the class while
1092 // searching for target_method. The default method implementation is stored into
1093 // out_default_method.
1094 // * kAbstractFound - There were no conflicting method implementations found in the class while
1095 // searching for target_method but no default implementation was found either.
1096 // out_default_method is set to null and the method should be considered not
1097 // implemented.
1098 // * kDefaultConflict - Conflicting method implementations were found when searching for
1099 // target_method. The value of *out_default_method is null.
1100 DefaultMethodSearchResult FindDefaultMethodImplementation(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001101 Thread* self,
1102 ArtMethod* target_method,
1103 Handle<mirror::Class> klass,
1104 /*out*/ArtMethod** out_default_method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001105 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001106
1107 // Sets the imt entries and fixes up the vtable for the given class by linking all the interface
1108 // methods. See LinkVirtualMethods for an explanation of what default_translations is.
Alex Light9139e002015-10-09 15:59:48 -07001109 bool LinkInterfaceMethods(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001110 Thread* self,
1111 Handle<mirror::Class> klass,
1112 const std::unordered_map<size_t, MethodTranslation>& default_translations,
1113 bool* out_new_conflict,
1114 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001115 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001116
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001117 bool LinkStaticFields(Thread* self, Handle<mirror::Class> klass, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001118 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001119 bool LinkInstanceFields(Thread* self, Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001120 REQUIRES_SHARED(Locks::mutator_lock_);
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001121 bool LinkFields(Thread* self, Handle<mirror::Class> klass, bool is_static, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001122 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001123 void CreateReferenceInstanceOffsets(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001124 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001125
Mathieu Chartiere401d142015-04-22 13:56:20 -07001126 void CheckProxyConstructor(ArtMethod* constructor) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001127 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001128 void CheckProxyMethod(ArtMethod* method, ArtMethod* prototype) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001129 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001130
Andreas Gampecc1b5352016-12-01 16:58:38 -08001131 size_t GetDexCacheCount() REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001132 return dex_caches_.size();
1133 }
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001134 const std::list<DexCacheData>& GetDexCachesData()
Andreas Gampecc1b5352016-12-01 16:58:38 -08001135 REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001136 return dex_caches_;
1137 }
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001138
Mathieu Chartiere401d142015-04-22 13:56:20 -07001139 void CreateProxyConstructor(Handle<mirror::Class> klass, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001140 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001141 void CreateProxyMethod(Handle<mirror::Class> klass, ArtMethod* prototype, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001142 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -04001143
Mathieu Chartier5b830502016-03-02 10:30:23 -08001144 // Register a class loader and create its class table and allocator. Should not be called if
1145 // these are already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001146 void RegisterClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001147 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier5b830502016-03-02 10:30:23 -08001148 REQUIRES(Locks::classlinker_classes_lock_);
1149
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001150 // Insert a new class table if not found.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001151 ClassTable* InsertClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001152 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001153 REQUIRES(Locks::classlinker_classes_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001154
Ian Rogersdbf3be02014-08-29 15:40:08 -07001155 // EnsureResolved is called to make sure that a class in the class_table_ has been resolved
1156 // before returning it to the caller. Its the responsibility of the thread that placed the class
1157 // in the table to make it resolved. The thread doing resolution must notify on the class' lock
1158 // when resolution has occurred. This happens in mirror::Class::SetStatus. As resolution may
1159 // retire a class, the version of the class in the table is returned and this may differ from
1160 // the class passed in.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001161 mirror::Class* EnsureResolved(Thread* self, const char* descriptor, ObjPtr<mirror::Class> klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001162 WARN_UNUSED
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001163 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001164 REQUIRES(!Locks::dex_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001165
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001166 void FixupTemporaryDeclaringClass(ObjPtr<mirror::Class> temp_class,
1167 ObjPtr<mirror::Class> new_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001168 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001169
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001170 void SetClassRoot(ClassRoot class_root, ObjPtr<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001171 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001172
1173 // Return the quick generic JNI stub for testing.
1174 const void* GetRuntimeQuickGenericJniStub() const;
1175
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001176 bool CanWeInitializeClass(ObjPtr<mirror::Class> klass,
1177 bool can_init_statics,
1178 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001179 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001180
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001181 void UpdateClassMethods(ObjPtr<mirror::Class> klass,
Alex Lighte64300b2015-12-15 15:02:47 -08001182 LengthPrefixedArray<ArtMethod>* new_methods)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001183 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001184 REQUIRES(!Locks::classlinker_classes_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001185
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001186 // Check that c1 == FindSystemClass(self, descriptor). Abort with class dumps otherwise.
1187 void CheckSystemClass(Thread* self, Handle<mirror::Class> c1, const char* descriptor)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001188 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001189 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001190
Vladimir Marko921094a2017-01-12 18:37:06 +00001191 // Allocate method arrays for interfaces.
1192 bool AllocateIfTableMethodArrays(Thread* self,
1193 Handle<mirror::Class> klass,
1194 Handle<mirror::IfTable> iftable)
1195 REQUIRES_SHARED(Locks::mutator_lock_);
1196
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001197 // Sets imt_ref appropriately for LinkInterfaceMethods.
1198 // If there is no method in the imt location of imt_ref it will store the given method there.
1199 // Otherwise it will set the conflict method which will figure out which method to use during
1200 // runtime.
1201 void SetIMTRef(ArtMethod* unimplemented_method,
1202 ArtMethod* imt_conflict_method,
1203 ArtMethod* current_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001204 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001205 /*out*/ArtMethod** imt_ref) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001206
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001207 void FillIMTFromIfTable(ObjPtr<mirror::IfTable> if_table,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001208 ArtMethod* unimplemented_method,
1209 ArtMethod* imt_conflict_method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001210 ObjPtr<mirror::Class> klass,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001211 bool create_conflict_tables,
1212 bool ignore_copied_methods,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001213 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001214 /*out*/ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001215
1216 void FillImtFromSuperClass(Handle<mirror::Class> klass,
1217 ArtMethod* unimplemented_method,
1218 ArtMethod* imt_conflict_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001219 bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001220 ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001221
Vladimir Markoba118822017-06-12 15:41:56 +01001222 // Check invoke type against the referenced class. Throws IncompatibleClassChangeError
1223 // (if `kThrowOnError`) and returns true on mismatch (kInterface on a non-interface class,
1224 // kVirtual on interface, kDefault on interface for dex files not supporting default methods),
1225 // otherwise returns false.
1226 template <bool kThrowOnError, typename ClassGetter>
1227 static bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1228 InvokeType type,
1229 ClassGetter class_getter)
1230 REQUIRES_SHARED(Locks::mutator_lock_);
1231 // Helper that feeds the above function with `ClassGetter` doing `LookupResolvedType()`.
1232 template <bool kThrow>
1233 bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1234 InvokeType type,
1235 uint32_t method_idx,
1236 ObjPtr<mirror::ClassLoader> class_loader)
1237 REQUIRES_SHARED(Locks::mutator_lock_);
1238
Brian Carlstrom4a96b602011-07-26 16:40:23 -07001239 std::vector<const DexFile*> boot_class_path_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001240 std::vector<std::unique_ptr<const DexFile>> boot_dex_files_;
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07001241
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001242 // JNI weak globals and side data to allow dex caches to get unloaded. We lazily delete weak
1243 // globals when we register new dex files.
Andreas Gampecc1b5352016-12-01 16:58:38 -08001244 std::list<DexCacheData> dex_caches_ GUARDED_BY(Locks::dex_lock_);
Brian Carlstrom47d237a2011-10-18 15:08:33 -07001245
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -07001246 // This contains the class loaders which have class tables. It is populated by
Mathieu Chartier951ec2c2015-09-22 08:50:05 -07001247 // InsertClassTableForClassLoader.
1248 std::list<ClassLoaderData> class_loaders_
Mathieu Chartier6b069532015-08-05 15:08:12 -07001249 GUARDED_BY(Locks::classlinker_classes_lock_);
1250
1251 // Boot class path table. Since the class loader for this is null.
Andreas Gampe2af99022017-04-25 08:32:59 -07001252 std::unique_ptr<ClassTable> boot_class_table_ GUARDED_BY(Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001253
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001254 // New class roots, only used by CMS since the GC needs to mark these in the pause.
1255 std::vector<GcRoot<mirror::Class>> new_class_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Elliott Hughesf8349362012-06-18 15:00:06 -07001256
Vladimir Marko1998cd02017-01-13 13:02:58 +00001257 // Boot image oat files with new .bss GC roots to be visited in the pause by CMS.
1258 std::vector<const OatFile*> new_bss_roots_boot_oat_files_
1259 GUARDED_BY(Locks::classlinker_classes_lock_);
1260
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001261 // Number of times we've searched dex caches for a class. After a certain number of misses we move
1262 // the classes into the class_table_ to avoid dex cache based searches.
Ian Rogers68b56852014-08-29 20:19:11 -07001263 Atomic<uint32_t> failed_dex_cache_class_lookups_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001264
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001265 // Well known mirror::Class roots.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001266 GcRoot<mirror::ObjectArray<mirror::Class>> class_roots_;
Brian Carlstrom913af1b2011-07-23 21:41:13 -07001267
Ian Rogers98379392014-02-24 16:53:16 -08001268 // The interface table used by all arrays.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001269 GcRoot<mirror::IfTable> array_iftable_;
Carl Shapiro565f5072011-07-10 13:39:43 -07001270
Ian Rogers98379392014-02-24 16:53:16 -08001271 // A cache of the last FindArrayClass results. The cache serves to avoid creating array class
1272 // descriptors for the sake of performing FindClass.
1273 static constexpr size_t kFindArrayCacheSize = 16;
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001274 GcRoot<mirror::Class> find_array_class_cache_[kFindArrayCacheSize];
Ian Rogers98379392014-02-24 16:53:16 -08001275 size_t find_array_class_cache_next_victim_;
1276
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001277 bool init_done_;
Vladimir Marko1998cd02017-01-13 13:02:58 +00001278 bool log_new_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001279
Elliott Hughescf4c6c42011-09-01 15:16:42 -07001280 InternTable* intern_table_;
1281
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001282 // Trampolines within the image the bounce to runtime entrypoints. Done so that there is a single
1283 // patch point within the image. TODO: make these proper relocations.
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001284 const void* quick_resolution_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -07001285 const void* quick_imt_conflict_trampoline_;
Andreas Gampe2da88232014-02-27 12:26:20 -08001286 const void* quick_generic_jni_trampoline_;
Vladimir Marko8a630572014-04-09 18:45:35 +01001287 const void* quick_to_interpreter_bridge_trampoline_;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001288
Mathieu Chartier2d721012014-11-10 11:08:06 -08001289 // Image pointer size.
Andreas Gampe542451c2016-07-26 09:02:02 -07001290 PointerSize image_pointer_size_;
Mathieu Chartier2d721012014-11-10 11:08:06 -08001291
Andreas Gampec1ac9ee2017-07-24 22:35:49 -07001292 std::unique_ptr<ClassHierarchyAnalysis> cha_;
1293
Mathieu Chartier65975772016-08-05 10:46:36 -07001294 class FindVirtualMethodHolderVisitor;
Andreas Gampe2af99022017-04-25 08:32:59 -07001295
1296 friend class AppImageClassLoadersAndDexCachesHelper;
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001297 friend class ImageDumper; // for DexLock
Vladimir Marko74527972016-11-29 15:57:32 +00001298 friend struct linker::CompilationHelper; // For Compile in ImageTest.
1299 friend class linker::ImageWriter; // for GetClassRoots
1300 friend class linker::OatWriter; // for boot image string/class table slot address lookup.
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001301 friend class JniCompilerTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe5f4a09a2015-09-28 13:16:33 -07001302 friend class JniInternalTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe2af99022017-04-25 08:32:59 -07001303 friend class VMClassLoader; // for LookupClass and FindClassInBaseDexClassLoader.
Mathieu Chartier76172162016-01-26 14:54:06 -08001304 ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for DexLock, and RegisterDexFileLocked
Narayan Kamath25352fc2016-08-03 12:46:58 +01001305 ART_FRIEND_TEST(mirror::DexCacheMethodHandlesTest, Open); // for AllocDexCache
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001306 ART_FRIEND_TEST(mirror::DexCacheTest, Open); // for AllocDexCache
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001307 DISALLOW_COPY_AND_ASSIGN(ClassLinker);
1308};
1309
Andreas Gampe0f01b582017-01-18 15:22:37 -08001310class ClassLoadCallback {
1311 public:
1312 virtual ~ClassLoadCallback() {}
1313
Alex Lightb0f11922017-01-23 14:25:17 -08001314 // If set we will replace initial_class_def & initial_dex_file with the final versions. The
1315 // callback author is responsible for ensuring these are allocated in such a way they can be
1316 // cleaned up if another transformation occurs. Note that both must be set or null/unchanged on
1317 // return.
1318 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1319 // different object. It is the listener's responsibility to handle this.
1320 // Note: This callback is rarely useful so a default implementation has been given that does
1321 // nothing.
1322 virtual void ClassPreDefine(const char* descriptor ATTRIBUTE_UNUSED,
1323 Handle<mirror::Class> klass ATTRIBUTE_UNUSED,
1324 Handle<mirror::ClassLoader> class_loader ATTRIBUTE_UNUSED,
1325 const DexFile& initial_dex_file ATTRIBUTE_UNUSED,
1326 const DexFile::ClassDef& initial_class_def ATTRIBUTE_UNUSED,
1327 /*out*/DexFile const** final_dex_file ATTRIBUTE_UNUSED,
Alex Light4b0cedf2017-01-24 11:15:20 -08001328 /*out*/DexFile::ClassDef const** final_class_def ATTRIBUTE_UNUSED)
Alex Lightb0f11922017-01-23 14:25:17 -08001329 REQUIRES_SHARED(Locks::mutator_lock_) {}
1330
Andreas Gampe0f01b582017-01-18 15:22:37 -08001331 // A class has been loaded.
1332 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1333 // different object. It is the listener's responsibility to handle this.
1334 virtual void ClassLoad(Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1335
1336 // A class has been prepared, i.e., resolved. As the ClassLoad event might have been for a
1337 // temporary class, provide both the former and the current class.
1338 virtual void ClassPrepare(Handle<mirror::Class> temp_klass,
1339 Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1340};
1341
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001342} // namespace art
1343
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001344#endif // ART_RUNTIME_CLASS_LINKER_H_