blob: e436b99c4dc467025a08177248b4c1dd037dc06c [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 {
43 class ImageSpace;
44} // namespace space
45} // namespace gc
Vladimir Marko74527972016-11-29 15:57:32 +000046
47namespace linker {
48 struct CompilationHelper;
49 class ImageWriter;
50 class OatWriter;
51} // namespace linker
52
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080053namespace mirror {
Ian Rogers33e95662013-05-20 20:29:14 -070054 class ClassLoader;
55 class DexCache;
Mathieu Chartiere401d142015-04-22 13:56:20 -070056 class DexCachePointerArray;
Narayan Kamath25352fc2016-08-03 12:46:58 +010057 class DexCacheMethodHandlesTest_Open_Test;
Ian Rogers33e95662013-05-20 20:29:14 -070058 class DexCacheTest_Open_Test;
59 class IfTable;
Orion Hodsonc069a302017-01-18 09:23:12 +000060 class MethodHandle;
61 class MethodHandlesLookup;
Narayan Kamathafa48272016-08-03 12:46:58 +010062 class MethodType;
Ian Rogers33e95662013-05-20 20:29:14 -070063 template<class T> class ObjectArray;
64 class StackTraceElement;
Vladimir Marko07bfbac2017-07-06 14:55:02 +010065 template <typename T> struct NativeDexCachePair;
66 using MethodDexCachePair = NativeDexCachePair<ArtMethod>;
67 using 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,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700123 kJavaLangClassLoader,
124 kJavaLangThrowable,
125 kJavaLangClassNotFoundException,
126 kJavaLangStackTraceElement,
Narayan Kamath000e1882016-10-24 17:14:25 +0100127 kDalvikSystemEmulatedStackFrame,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700128 kPrimitiveBoolean,
129 kPrimitiveByte,
130 kPrimitiveChar,
131 kPrimitiveDouble,
132 kPrimitiveFloat,
133 kPrimitiveInt,
134 kPrimitiveLong,
135 kPrimitiveShort,
136 kPrimitiveVoid,
137 kBooleanArrayClass,
138 kByteArrayClass,
139 kCharArrayClass,
140 kDoubleArrayClass,
141 kFloatArrayClass,
142 kIntArrayClass,
143 kLongArrayClass,
144 kShortArrayClass,
145 kJavaLangStackTraceElementArrayClass,
Alex Lightd6251582016-10-31 11:12:30 -0700146 kDalvikSystemClassExt,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700147 kClassRootsMax,
148 };
149
Mathieu Chartier590fee92013-09-13 13:46:47 -0700150 explicit ClassLinker(InternTable* intern_table);
Chang Xing605fe242017-07-20 15:57:21 -0700151 virtual ~ClassLinker();
Carl Shapiro565f5072011-07-10 13:39:43 -0700152
Alex Light64ad14d2014-08-19 14:23:13 -0700153 // Initialize class linker by bootstraping from dex files.
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800154 bool InitWithoutImage(std::vector<std::unique_ptr<const DexFile>> boot_class_path,
155 std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700156 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800157 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700158
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800159 // Initialize class linker from one or more boot images.
160 bool InitFromBootImage(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 // Add an image space to the class linker, may fix up classloader fields and dex cache fields.
165 // The dex files that were newly opened for the space are placed in the out argument
166 // out_dex_files. Returns true if the operation succeeded.
167 // The space must be already added to the heap before calling AddImageSpace since we need to
168 // properly handle read barriers and object marking.
169 bool AddImageSpace(gc::space::ImageSpace* space,
170 Handle<mirror::ClassLoader> class_loader,
171 jobjectArray dex_elements,
172 const char* dex_location,
173 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
174 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800175 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700176 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800177
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800178 bool OpenImageDexFiles(gc::space::ImageSpace* space,
179 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
180 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800181 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700182 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800183
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700184 // Finds a class by its descriptor, loading it if necessary.
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700185 // If class_loader is null, searches boot_class_path_.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700186 mirror::Class* FindClass(Thread* self,
187 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700188 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700189 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800190 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700191
Ian Rogers98379392014-02-24 16:53:16 -0800192 // Finds a class by its descriptor using the "system" class loader, ie by searching the
193 // boot_class_path_.
194 mirror::Class* FindSystemClass(Thread* self, const char* descriptor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700195 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800196 REQUIRES(!Locks::dex_lock_) {
197 return FindClass(self, descriptor, ScopedNullHandle<mirror::ClassLoader>());
198 }
Ian Rogers98379392014-02-24 16:53:16 -0800199
200 // Finds the array class given for the element class.
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700201 mirror::Class* FindArrayClass(Thread* self, ObjPtr<mirror::Class>* element_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700202 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800203 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700204
Ian Rogers63557452014-06-04 16:57:15 -0700205 // Returns true if the class linker is initialized.
Ian Rogers7b078e82014-09-10 14:44:24 -0700206 bool IsInitialized() const {
207 return init_done_;
208 }
Mathieu Chartier590fee92013-09-13 13:46:47 -0700209
Brian Carlstromaded5f72011-10-07 17:15:04 -0700210 // Define a new a class based on a ClassDef from a DexFile
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700211 mirror::Class* DefineClass(Thread* self,
212 const char* descriptor,
213 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700214 Handle<mirror::ClassLoader> class_loader,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700215 const DexFile& dex_file,
216 const DexFile::ClassDef& dex_class_def)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700217 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800218 REQUIRES(!Locks::dex_lock_);
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700219
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700220 // Finds a class by its descriptor, returning null if it isn't wasn't loaded
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700221 // by the given 'class_loader'.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700222 mirror::Class* LookupClass(Thread* self,
223 const char* descriptor,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700224 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700225 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampe2ff3b972017-06-05 18:14:53 -0700226 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700227
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800228 // Finds all the classes with the given descriptor, regardless of ClassLoader.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700229 void LookupClasses(const char* descriptor, std::vector<ObjPtr<mirror::Class>>& classes)
Mathieu Chartier90443472015-07-16 20:32:27 -0700230 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700231 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800232
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700233 mirror::Class* FindPrimitiveClass(char type) REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700234
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700235 void DumpForSigQuit(std::ostream& os) REQUIRES(!Locks::classlinker_classes_lock_);
Elliott Hughescac6cc72011-11-03 20:31:21 -0700236
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700237 size_t NumLoadedClasses()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700238 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700239 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughese27955c2011-08-26 15:21:24 -0700240
Brian Carlstromb63ec392011-08-27 17:38:27 -0700241 // Resolve a String with the given index from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700242 // result in the DexCache.
Andreas Gampe8a0128a2016-11-28 07:38:35 -0800243 mirror::String* ResolveString(const DexFile& dex_file,
244 dex::StringIndex string_idx,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700245 Handle<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700246 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700247
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000248 // Find a String with the given index from the DexFile, storing the
249 // result in the DexCache if found. Return null if not found.
Andreas Gampe8a0128a2016-11-28 07:38:35 -0800250 mirror::String* LookupString(const DexFile& dex_file,
251 dex::StringIndex string_idx,
Vladimir Markof25cc732017-03-16 16:18:15 +0000252 ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700253 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000254
Brian Carlstromb63ec392011-08-27 17:38:27 -0700255 // Resolve a Type with the given index from the DexFile, storing the
Roland Levillainab880f42016-05-12 16:24:36 +0100256 // result in the DexCache. The referrer is used to identify the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700257 // target DexCache and ClassLoader to use for resolution.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700258 mirror::Class* ResolveType(const DexFile& dex_file,
Andreas Gampea5b09a62016-11-17 15:21:22 -0800259 dex::TypeIndex type_idx,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700260 ObjPtr<mirror::Class> referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700261 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800262 REQUIRES(!Locks::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.
Andreas Gampea5b09a62016-11-17 15:21:22 -0800267 mirror::Class* ResolveType(dex::TypeIndex type_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700268 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800269 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700270
Mathieu Chartierb8901302016-09-30 10:27:43 -0700271 // Look up a resolved type with the given ID from the DexFile. The ClassLoader is used to search
272 // for the type, since it may be referenced from but not contained within the given DexFile.
273 ObjPtr<mirror::Class> LookupResolvedType(const DexFile& dex_file,
Andreas Gampea5b09a62016-11-17 15:21:22 -0800274 dex::TypeIndex type_idx,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700275 ObjPtr<mirror::DexCache> dex_cache,
276 ObjPtr<mirror::ClassLoader> class_loader)
277 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Marko8d6768d2017-03-14 10:13:21 +0000278 static ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx,
279 ObjPtr<mirror::DexCache> dex_cache,
280 ObjPtr<mirror::ClassLoader> class_loader)
281 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierb8901302016-09-30 10:27:43 -0700282
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700283 // Resolve a type with the given ID from the DexFile, storing the
284 // result in DexCache. The ClassLoader is used to search for the
285 // type, since it may be referenced from but not contained within
286 // the given DexFile.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700287 mirror::Class* ResolveType(const DexFile& dex_file,
Andreas Gampea5b09a62016-11-17 15:21:22 -0800288 dex::TypeIndex type_idx,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700289 Handle<mirror::DexCache> dex_cache,
290 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700291 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800292 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700293
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800294 // Determine whether a dex cache result should be trusted, or an IncompatibleClassChangeError
Vladimir Markoba118822017-06-12 15:41:56 +0100295 // check and IllegalAccessError check should be performed even after a hit.
296 enum class ResolveMode { // private.
297 kNoChecks,
298 kCheckICCEAndIAE
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800299 };
300
Vladimir Marko07bfbac2017-07-06 14:55:02 +0100301 // Look up a previously resolved method with the given index.
302 ArtMethod* LookupResolvedMethod(uint32_t method_idx,
303 ObjPtr<mirror::DexCache> dex_cache,
304 ObjPtr<mirror::ClassLoader> class_loader)
305 REQUIRES_SHARED(Locks::mutator_lock_);
306
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700307 // Resolve a method with a given ID from the DexFile, storing the
308 // result in DexCache. The ClassLinker and ClassLoader are used as
309 // in ResolveType. What is unique is the method type argument which
310 // is used to determine if this method is a direct, static, or
311 // virtual method.
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800312 template <ResolveMode kResolveMode>
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700313 ArtMethod* ResolveMethod(const DexFile& dex_file,
314 uint32_t method_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700315 Handle<mirror::DexCache> dex_cache,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700316 Handle<mirror::ClassLoader> class_loader,
317 ArtMethod* referrer,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700318 InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700319 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800320 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700321
Vladimir Markoba118822017-06-12 15:41:56 +0100322 template <InvokeType type, ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700323 ArtMethod* GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700324 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightfedd91d2016-01-07 14:49:16 -0800325
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800326 template <ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700327 ArtMethod* ResolveMethod(Thread* self, uint32_t method_idx, ArtMethod* referrer, InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700328 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800329 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Jeff Hao0042c6d2015-07-29 20:14:10 -0700330 ArtMethod* ResolveMethodWithoutInvokeType(const DexFile& dex_file,
331 uint32_t method_idx,
332 Handle<mirror::DexCache> dex_cache,
333 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700334 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800335 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom16192862011-09-12 17:50:06 -0700336
Vladimir Markof44d36c2017-03-14 14:18:46 +0000337 ArtField* LookupResolvedField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700338 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700339 ArtField* ResolveField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700340 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800341 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstromb9edb842011-08-28 16:31:06 -0700342
Brian Carlstrom16192862011-09-12 17:50:06 -0700343 // Resolve a field with a given ID from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700344 // result in DexCache. The ClassLinker and ClassLoader are used as
345 // in ResolveType. What is unique is the is_static argument which is
346 // used to determine if we are resolving a static or non-static
347 // field.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700348 ArtField* ResolveField(const DexFile& dex_file, uint32_t field_idx,
Mathieu Chartier90443472015-07-16 20:32:27 -0700349 Handle<mirror::DexCache> dex_cache,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700350 Handle<mirror::ClassLoader> class_loader, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700351 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800352 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700353
Ian Rogersb067ac22011-12-13 18:05:09 -0800354 // Resolve a field with a given ID from the DexFile, storing the
355 // result in DexCache. The ClassLinker and ClassLoader are used as
356 // in ResolveType. No is_static argument is provided so that Java
357 // field resolution semantics are followed.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700358 ArtField* ResolveFieldJLS(const DexFile& dex_file,
359 uint32_t field_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700360 Handle<mirror::DexCache> dex_cache,
361 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700362 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800363 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersb067ac22011-12-13 18:05:09 -0800364
Narayan Kamath25352fc2016-08-03 12:46:58 +0100365 // Resolve a method type with a given ID from the DexFile, storing
366 // the result in the DexCache.
367 mirror::MethodType* ResolveMethodType(const DexFile& dex_file,
368 uint32_t proto_idx,
369 Handle<mirror::DexCache> dex_cache,
370 Handle<mirror::ClassLoader> class_loader)
371 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800372 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersad25ac52011-10-04 19:13:33 -0700373
Orion Hodson2e599942017-09-22 16:17:41 +0100374 mirror::MethodType* ResolveMethodType(uint32_t proto_idx, ArtMethod* referrer)
375 REQUIRES_SHARED(Locks::mutator_lock_);
376
Orion Hodsonc069a302017-01-18 09:23:12 +0000377 // Resolve a method handle with a given ID from the DexFile. The
378 // result is not cached in the DexCache as the instance will only be
379 // used once in most circumstances.
380 mirror::MethodHandle* ResolveMethodHandle(uint32_t method_handle_idx, ArtMethod* referrer)
381 REQUIRES_SHARED(Locks::mutator_lock_);
382
Elliott Hughesf4c21c92011-08-19 17:31:31 -0700383 // Returns true on success, false if there's an exception pending.
Brian Carlstrom25c33252011-09-18 15:58:35 -0700384 // can_run_clinit=false allows the compiler to attempt to init a class,
385 // given the restriction that no <clinit> execution is possible.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700386 bool EnsureInitialized(Thread* self,
387 Handle<mirror::Class> c,
388 bool can_init_fields,
Ian Rogers7b078e82014-09-10 14:44:24 -0700389 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700390 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800391 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700392
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700393 // Initializes classes that have instances in the image but that have
394 // <clinit> methods so they could not be initialized by the compiler.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700395 void RunRootClinits()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700396 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800397 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700398
Alex Light07f06212017-06-01 14:01:43 -0700399 // Directly register an already existing dex cache. RegisterDexFile should be preferred since that
400 // reduplicates DexCaches when possible. The DexCache given to this function must already be fully
401 // initialized and not already registered.
402 void RegisterExistingDexCache(ObjPtr<mirror::DexCache> cache,
403 ObjPtr<mirror::ClassLoader> class_loader)
404 REQUIRES(!Locks::dex_lock_)
405 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000406 ObjPtr<mirror::DexCache> RegisterDexFile(const DexFile& dex_file,
407 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800408 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700409 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700410
Brian Carlstrom8a487412011-08-29 20:08:52 -0700411 const std::vector<const DexFile*>& GetBootClassPath() {
412 return boot_class_path_;
413 }
414
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700415 void VisitClasses(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700416 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700417 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -0700418
419 // Less efficient variant of VisitClasses that copies the class_table_ into secondary storage
420 // so that it can visit individual classes without holding the doesn't hold the
421 // Locks::classlinker_classes_lock_. As the Locks::classlinker_classes_lock_ isn't held this code
422 // can race with insertion and deletion of classes while the visitor is being called.
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700423 void VisitClassesWithoutClassesLock(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700424 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800425 REQUIRES(!Locks::dex_lock_);
Elliott Hughesa2155262011-11-16 16:26:58 -0800426
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700427 void VisitClassRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gamped98b4ed2016-11-04 20:27:24 -0700428 REQUIRES(!Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700429 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700430 void VisitRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800431 REQUIRES(!Locks::dex_lock_, !Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700432 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700433
Vladimir Markocd556b02017-02-03 11:47:34 +0000434 bool IsDexFileRegistered(Thread* self, const DexFile& dex_file)
435 REQUIRES(!Locks::dex_lock_)
436 REQUIRES_SHARED(Locks::mutator_lock_);
437 ObjPtr<mirror::DexCache> FindDexCache(Thread* self, const DexFile& dex_file)
438 REQUIRES(!Locks::dex_lock_)
439 REQUIRES_SHARED(Locks::mutator_lock_);
440 ClassTable* FindClassTable(Thread* self, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800441 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700442 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom1d9f52b2011-10-13 10:50:45 -0700443
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700444 LengthPrefixedArray<ArtField>* AllocArtFieldArray(Thread* self,
445 LinearAlloc* allocator,
446 size_t length);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800447
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700448 LengthPrefixedArray<ArtMethod>* AllocArtMethodArray(Thread* self,
449 LinearAlloc* allocator,
450 size_t length);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700451
452 mirror::PointerArray* AllocPointerArray(Thread* self, size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700453 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700454 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800455
456 mirror::IfTable* AllocIfTable(Thread* self, size_t ifcount)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700457 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700458 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800459
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700460 mirror::ObjectArray<mirror::StackTraceElement>* AllocStackTraceElementArray(Thread* self,
461 size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700462 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700463 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800464
Andreas Gampe6d7abbd2017-04-24 13:19:09 -0700465 verifier::FailureKind VerifyClass(
Nicolas Geoffray08025182016-10-25 17:20:18 +0100466 Thread* self,
467 Handle<mirror::Class> klass,
468 verifier::HardFailLogMode log_level = verifier::HardFailLogMode::kLogNone)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700469 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800470 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700471 bool VerifyClassUsingOatFile(const DexFile& dex_file,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700472 ObjPtr<mirror::Class> klass,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800473 mirror::Class::Status& oat_file_class_status)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700474 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800475 REQUIRES(!Locks::dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800476 void ResolveClassExceptionHandlerTypes(Handle<mirror::Class> klass)
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_);
Alex Light5a559862016-01-29 12:24:48 -0800479 void ResolveMethodExceptionHandlerTypes(ArtMethod* klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700480 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800481 REQUIRES(!Locks::dex_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800482
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700483 mirror::Class* CreateProxyClass(ScopedObjectAccessAlreadyRunnable& soa,
484 jstring name,
485 jobjectArray interfaces,
486 jobject loader,
487 jobjectArray methods,
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700488 jobjectArray throws)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700489 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700490 std::string GetDescriptorForProxy(ObjPtr<mirror::Class> proxy_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700491 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -0400492
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100493 // Get the oat code for a method when its class isn't yet initialized.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700494 const void* GetQuickOatCodeFor(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700495 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800496
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700497 pid_t GetClassesLockOwner(); // For SignalCatcher.
498 pid_t GetDexLockOwner(); // For SignalCatcher.
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -0700499
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700500 mirror::Class* GetClassRoot(ClassRoot class_root) REQUIRES_SHARED(Locks::mutator_lock_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700501
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700502 static const char* GetClassRootDescriptor(ClassRoot class_root);
Andreas Gampe2da88232014-02-27 12:26:20 -0800503
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700504 // Is the given entry point quick code to run the resolution stub?
505 bool IsQuickResolutionStub(const void* entry_point) const;
Jeff Hao88474b42013-10-23 16:24:40 -0700506
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700507 // Is the given entry point quick code to bridge into the interpreter?
508 bool IsQuickToInterpreterBridge(const void* entry_point) const;
509
510 // Is the given entry point quick code to run the generic JNI stub?
511 bool IsQuickGenericJniStub(const void* entry_point) const;
Vladimir Marko8a630572014-04-09 18:45:35 +0100512
David Sehra49e0532017-08-25 08:05:29 -0700513 // Is the given entry point the JNI dlsym lookup stub?
514 bool IsJniDlsymLookupStub(const void* entry_point) const;
515
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100516 const void* GetQuickToInterpreterBridgeTrampoline() const {
517 return quick_to_interpreter_bridge_trampoline_;
518 }
519
Jeff Hao88474b42013-10-23 16:24:40 -0700520 InternTable* GetInternTable() const {
521 return intern_table_;
522 }
523
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700524 // Set the entrypoints up for method to the enter the interpreter.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700525 void SetEntryPointsToInterpreter(ArtMethod* method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700526 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700527
Alex Lightdb01a092017-04-03 15:39:55 -0700528 // Set the entrypoints up for an obsolete method.
529 void SetEntryPointsForObsoleteMethod(ArtMethod* method) const
530 REQUIRES_SHARED(Locks::mutator_lock_);
531
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700532 // Attempts to insert a class into a class table. Returns null if
Ian Rogers848871b2013-08-05 10:56:33 -0700533 // the class was inserted, otherwise returns an existing class with
534 // the same descriptor and ClassLoader.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700535 mirror::Class* InsertClass(const char* descriptor, ObjPtr<mirror::Class> klass, size_t hash)
Mathieu Chartier90443472015-07-16 20:32:27 -0700536 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700537 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers848871b2013-08-05 10:56:33 -0700538
Vladimir Marko1998cd02017-01-13 13:02:58 +0000539 // Add an oat file with .bss GC roots to be visited again at the end of GC
540 // for collector types that need it.
541 void WriteBarrierForBootOatFileBssRoots(const OatFile* oat_file)
542 REQUIRES(!Locks::classlinker_classes_lock_)
543 REQUIRES_SHARED(Locks::mutator_lock_);
544
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700545 mirror::ObjectArray<mirror::Class>* GetClassRoots() REQUIRES_SHARED(Locks::mutator_lock_) {
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -0700546 mirror::ObjectArray<mirror::Class>* class_roots = class_roots_.Read();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700547 DCHECK(class_roots != nullptr);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700548 return class_roots;
549 }
550
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800551 // Move the class table to the pre-zygote table to reduce memory usage. This works by ensuring
552 // that no more classes are ever added to the pre zygote table which makes it that the pages
553 // always remain shared dirty instead of private dirty.
554 void MoveClassTableToPreZygote()
Mathieu Chartier90443472015-07-16 20:32:27 -0700555 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700556 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800557
Calin Juravle7865ac72017-06-28 11:03:12 -0700558 // Creates a GlobalRef PathClassLoader or DelegateLastClassLoader (specified by loader_class)
559 // that can be used to load classes from the given dex files. The parent of the class loader
560 // will be set to `parent_loader`. If `parent_loader` is null the parent will be
561 // the boot class loader.
562 // If class_loader points to a different class than PathClassLoader or DelegateLastClassLoader
563 // this method will abort.
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700564 // 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 -0700565 jobject CreateWellKnownClassLoader(Thread* self,
566 const std::vector<const DexFile*>& dex_files,
567 jclass loader_class,
568 jobject parent_loader)
569 REQUIRES_SHARED(Locks::mutator_lock_)
570 REQUIRES(!Locks::dex_lock_);
571
572 // Calls CreateWellKnownClassLoader(self,
573 // dex_files,
574 // WellKnownClasses::dalvik_system_PathClassLoader,
575 // nullptr)
Jeff Haof0192c82016-03-28 20:39:50 -0700576 jobject CreatePathClassLoader(Thread* self, const std::vector<const DexFile*>& dex_files)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700577 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800578 REQUIRES(!Locks::dex_lock_);
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700579
Andreas Gampe542451c2016-07-26 09:02:02 -0700580 PointerSize GetImagePointerSize() const {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700581 return image_pointer_size_;
582 }
583
584 // Used by image writer for checking.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700585 bool ClassInClassTable(ObjPtr<mirror::Class> klass)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700586 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700587 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiera89d7ed2014-12-05 10:57:13 -0800588
Andreas Gampe8ac75952015-06-02 21:01:45 -0700589 // Clear the ArrayClass cache. This is necessary when cleaning up for the image, as the cache
590 // entries are roots, but potentially not image classes.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700591 void DropFindArrayClassCache() REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe8ac75952015-06-02 21:01:45 -0700592
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700593 // Clean up class loaders, this needs to happen after JNI weak globals are cleared.
594 void CleanupClassLoaders()
Mathieu Chartier00310e02015-10-17 12:46:42 -0700595 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700596 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700597
Mathieu Chartier32cc9ee2015-10-15 09:19:15 -0700598 // Unlike GetOrCreateAllocatorForClassLoader, GetAllocatorForClassLoader asserts that the
599 // allocator for this class loader is already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700600 LinearAlloc* GetAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700601 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700602
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700603 // Return the linear alloc for a class loader if it is already allocated, otherwise allocate and
604 // set it. TODO: Consider using a lock other than classlinker_classes_lock_.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700605 LinearAlloc* GetOrCreateAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700606 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700607 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier00310e02015-10-17 12:46:42 -0700608
Mathieu Chartier6d25cf62016-04-12 16:54:48 -0700609 // May be called with null class_loader due to legacy code. b/27954959
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700610 void InsertDexFileInToClassLoader(ObjPtr<mirror::Object> dex_file,
611 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700612 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700613 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700614
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000615 static bool ShouldUseInterpreterEntrypoint(ArtMethod* method, const void* quick_code)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700616 REQUIRES_SHARED(Locks::mutator_lock_);
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000617
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800618 std::set<DexCacheResolvedClasses> GetResolvedClasses(bool ignore_boot_classes)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800619 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800620
Jeff Haof0192c82016-03-28 20:39:50 -0700621 static bool IsBootClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700622 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700623 REQUIRES_SHARED(Locks::mutator_lock_);
Jeff Haof0192c82016-03-28 20:39:50 -0700624
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700625 ArtMethod* AddMethodToConflictTable(ObjPtr<mirror::Class> klass,
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700626 ArtMethod* conflict_method,
627 ArtMethod* interface_method,
628 ArtMethod* method,
629 bool force_new_conflict_method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700630 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700631
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700632 // Create a conflict table with a specified capacity.
633 ImtConflictTable* CreateImtConflictTable(size_t count, LinearAlloc* linear_alloc);
634
635 // Static version for when the class linker is not yet created.
636 static ImtConflictTable* CreateImtConflictTable(size_t count,
637 LinearAlloc* linear_alloc,
Andreas Gampe542451c2016-07-26 09:02:02 -0700638 PointerSize pointer_size);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700639
640
641 // Create the IMT and conflict tables for a class.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700642 void FillIMTAndConflictTables(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700643
Mathieu Chartier72041a02017-07-14 18:23:25 -0700644 // Visit all of the class tables. This is used by dex2oat to allow pruning dex caches.
645 template <class Visitor>
646 void VisitClassTables(const Visitor& visitor)
Mathieu Chartier696632e2016-06-03 17:47:32 -0700647 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700648 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700649
Jeff Haoc92a7a12016-06-06 11:09:20 -0700650 // Throw the class initialization failure recorded when first trying to initialize the given
651 // class.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700652 void ThrowEarlierClassFailure(ObjPtr<mirror::Class> c, bool wrap_in_no_class_def = false)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700653 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800654 REQUIRES(!Locks::dex_lock_);
Jeff Haoc92a7a12016-06-06 11:09:20 -0700655
Mathieu Chartier65975772016-08-05 10:46:36 -0700656 // Get the actual holding class for a copied method. Pretty slow, don't call often.
657 mirror::Class* GetHoldingClassOfCopiedMethod(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700658 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier65975772016-08-05 10:46:36 -0700659
Andreas Gampe70f16392017-01-16 14:20:10 -0800660 // Returns null if not found.
Andreas Gampe2af99022017-04-25 08:32:59 -0700661 // This returns a pointer to the class-table, without requiring any locking - including the
662 // boot class-table. It is the caller's responsibility to access this under lock, if required.
Andreas Gampe70f16392017-01-16 14:20:10 -0800663 ClassTable* ClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampe2af99022017-04-25 08:32:59 -0700664 REQUIRES_SHARED(Locks::mutator_lock_)
665 NO_THREAD_SAFETY_ANALYSIS;
Andreas Gampe70f16392017-01-16 14:20:10 -0800666
Andreas Gampece7732b2017-01-17 15:50:26 -0800667 void AppendToBootClassPath(Thread* self, const DexFile& dex_file)
668 REQUIRES_SHARED(Locks::mutator_lock_)
669 REQUIRES(!Locks::dex_lock_);
670
Mathieu Chartier06bed302017-07-13 13:23:18 -0700671 // Visit all of the class loaders in the class linker.
672 void VisitClassLoaders(ClassLoaderVisitor* visitor) const
673 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
674
Jeff Hao0cb17282017-07-12 14:51:49 -0700675 // Checks that a class and its superclass from another class loader have the same virtual methods.
676 bool ValidateSuperClassDescriptors(Handle<mirror::Class> klass)
677 REQUIRES_SHARED(Locks::mutator_lock_);
678
Andreas Gampec1ac9ee2017-07-24 22:35:49 -0700679 ClassHierarchyAnalysis* GetClassHierarchyAnalysis() {
680 return cha_.get();
681 }
682
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800683 struct DexCacheData {
Vladimir Markocd556b02017-02-03 11:47:34 +0000684 // Construct an invalid data object.
685 DexCacheData()
686 : weak_root(nullptr),
687 dex_file(nullptr),
Vladimir Markocd556b02017-02-03 11:47:34 +0000688 class_table(nullptr) { }
689
690 // Check if the data is valid.
691 bool IsValid() const {
692 return dex_file != nullptr;
693 }
694
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800695 // Weak root to the DexCache. Note: Do not decode this unnecessarily or else class unloading may
696 // not work properly.
697 jweak weak_root;
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000698 // The following field caches the DexCache's field here to avoid unnecessary jweak decode that
699 // triggers read barriers (and marks them alive unnecessarily and messes with class unloading.)
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800700 const DexFile* dex_file;
Vladimir Markocd556b02017-02-03 11:47:34 +0000701 // Identify the associated class loader's class table. This is used to make sure that
702 // the Java call to native DexCache.setResolvedType() inserts the resolved type in that
703 // class table. It is also used to make sure we don't register the same dex cache with
704 // multiple class loaders.
705 ClassTable* class_table;
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800706 };
707
Chang Xing605fe242017-07-20 15:57:21 -0700708 protected:
709 virtual bool InitializeClass(Thread* self,
710 Handle<mirror::Class> klass,
711 bool can_run_clinit,
712 bool can_init_parents)
713 REQUIRES_SHARED(Locks::mutator_lock_)
714 REQUIRES(!Locks::dex_lock_);
715
Mathieu Chartier9e050df2017-08-09 10:05:47 -0700716 virtual verifier::FailureKind PerformClassVerification(Thread* self,
717 Handle<mirror::Class> klass,
718 verifier::HardFailLogMode log_level,
719 std::string* error_msg)
720 REQUIRES_SHARED(Locks::mutator_lock_);
721
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700722 private:
Vladimir Marko921094a2017-01-12 18:37:06 +0000723 class LinkInterfaceMethodsHelper;
724
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700725 struct ClassLoaderData {
Mathieu Chartierc3fcd412015-09-25 16:54:59 -0700726 jweak weak_root; // Weak root to enable class unloading.
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700727 ClassTable* class_table;
728 LinearAlloc* allocator;
729 };
730
Alex Lightf1f10492015-10-07 16:08:36 -0700731 // Ensures that the supertype of 'klass' ('supertype') is verified. Returns false and throws
732 // appropriate exceptions if verification failed hard. Returns true for successful verification or
733 // soft-failures.
734 bool AttemptSupertypeVerification(Thread* self,
735 Handle<mirror::Class> klass,
736 Handle<mirror::Class> supertype)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800737 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700738 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightf1f10492015-10-07 16:08:36 -0700739
Andreas Gampec1ac9ee2017-07-24 22:35:49 -0700740 void DeleteClassLoader(Thread* self, const ClassLoaderData& data)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700741 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100742
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700743 void VisitClassesInternal(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700744 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700745
746 // Returns the number of zygote and image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700747 size_t NumZygoteClasses() const
748 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700749 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700750
751 // Returns the number of non zygote nor image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700752 size_t NumNonZygoteClasses() const
753 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700754 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700755
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700756 void FinishInit(Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700757 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800758 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma663ea52011-08-19 23:33:41 -0700759
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700760 // For early bootstrapping by Init
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700761 mirror::Class* AllocClass(Thread* self,
762 ObjPtr<mirror::Class> java_lang_Class,
763 uint32_t class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700764 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700765 REQUIRES(!Roles::uninterruptible_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700766
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800767 // Alloc* convenience functions to avoid needing to pass in mirror::Class*
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700768 // values that are known to the ClassLinker such as
769 // kObjectArrayClass and kJavaLangString etc.
Ian Rogers6fac4472014-02-25 17:01:10 -0800770 mirror::Class* AllocClass(Thread* self, uint32_t class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700771 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700772 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700773
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700774 mirror::DexCache* AllocDexCache(ObjPtr<mirror::String>* out_location,
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700775 Thread* self,
776 const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700777 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700778 REQUIRES(!Roles::uninterruptible_);
Ian Rogersbdb03912011-09-14 00:55:44 -0700779
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700780 // Used for tests and AppendToBootClassPath.
781 mirror::DexCache* AllocAndInitializeDexCache(Thread* self,
782 const DexFile& dex_file,
783 LinearAlloc* linear_alloc)
784 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800785 REQUIRES(!Locks::dex_lock_)
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700786 REQUIRES(!Roles::uninterruptible_);
787
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800788 mirror::Class* CreatePrimitiveClass(Thread* self, Primitive::Type type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700789 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700790 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700791 mirror::Class* InitializePrimitiveClass(ObjPtr<mirror::Class> primitive_class,
792 Primitive::Type type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700793 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700794 REQUIRES(!Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700795
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700796 mirror::Class* CreateArrayClass(Thread* self,
797 const char* descriptor,
798 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700799 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700800 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800801 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700802
Vladimir Markocd556b02017-02-03 11:47:34 +0000803 void AppendToBootClassPath(const DexFile& dex_file, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700804 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800805 REQUIRES(!Locks::dex_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700806
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700807 // Precomputes size needed for Class, in the case of a non-temporary class this size must be
808 // sufficient to hold all static fields.
809 uint32_t SizeOfClassWithoutEmbeddedTables(const DexFile& dex_file,
810 const DexFile::ClassDef& dex_class_def);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700811
Mathieu Chartierc7853442015-03-27 14:35:38 -0700812 // Setup the classloader, class def index, type idx so that we can insert this class in the class
813 // table.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700814 void SetupClass(const DexFile& dex_file,
815 const DexFile::ClassDef& dex_class_def,
816 Handle<mirror::Class> klass,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700817 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700818 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700819
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700820 void LoadClass(Thread* self,
821 const DexFile& dex_file,
822 const DexFile::ClassDef& dex_class_def,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700823 Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700824 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700825 void LoadClassMembers(Thread* self,
826 const DexFile& dex_file,
827 const uint8_t* class_data,
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100828 Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700829 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700830
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700831 void LoadField(const ClassDataItemIterator& it, Handle<mirror::Class> klass, ArtField* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700832 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700833
Mathieu Chartier268764d2016-09-13 12:09:38 -0700834 void LoadMethod(const DexFile& dex_file,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700835 const ClassDataItemIterator& it,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700836 Handle<mirror::Class> klass, ArtMethod* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700837 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700838
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700839 void FixupStaticTrampolines(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800840
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000841 // Finds a class in a Path- or DexClassLoader, loading it if necessary without using JNI. Hash
Andreas Gampe34ee6842014-12-02 15:43:52 -0800842 // function is supposed to be ComputeModifiedUtf8Hash(descriptor). Returns true if the
843 // class-loader chain could be handled, false otherwise, i.e., a non-supported class-loader
844 // was encountered while walking the parent chain (currently only BootClassLoader and
845 // PathClassLoader are supported).
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000846 bool FindClassInBaseDexClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
847 Thread* self,
848 const char* descriptor,
849 size_t hash,
850 Handle<mirror::ClassLoader> class_loader,
851 ObjPtr<mirror::Class>* result)
Andreas Gampe34ee6842014-12-02 15:43:52 -0800852 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800853 REQUIRES(!Locks::dex_lock_);
Andreas Gampe34ee6842014-12-02 15:43:52 -0800854
Calin Juravle415dc3d2017-06-28 11:03:12 -0700855 // Finds the class in the classpath of the given class loader. It only searches the class loader
856 // dex files and does not recurse into its parent.
857 // The method checks that the provided class loader is either a PathClassLoader or a
858 // DexClassLoader.
859 // If the class is found the method returns the resolved class. Otherwise it returns null.
860 ObjPtr<mirror::Class> FindClassInBaseDexClassLoaderClassPath(
861 ScopedObjectAccessAlreadyRunnable& soa,
862 const char* descriptor,
863 size_t hash,
864 Handle<mirror::ClassLoader> class_loader)
865 REQUIRES_SHARED(Locks::mutator_lock_)
866 REQUIRES(!Locks::dex_lock_);
867
868 // Finds the class in the boot class loader.
869 // If the class is found the method returns the resolved class. Otherwise it returns null.
870 ObjPtr<mirror::Class> FindClassInBootClassLoaderClassPath(Thread* self,
871 const char* descriptor,
872 size_t hash)
873 REQUIRES_SHARED(Locks::mutator_lock_)
874 REQUIRES(!Locks::dex_lock_);
875
Andreas Gampe34ee6842014-12-02 15:43:52 -0800876 // Finds a class by its descriptor, returning NULL if it isn't wasn't loaded
877 // by the given 'class_loader'. Uses the provided hash for the descriptor.
878 mirror::Class* LookupClass(Thread* self,
879 const char* descriptor,
880 size_t hash,
881 ObjPtr<mirror::ClassLoader> class_loader)
882 REQUIRES(!Locks::classlinker_classes_lock_)
883 REQUIRES_SHARED(Locks::mutator_lock_);
884
Vladimir Markof44d36c2017-03-14 14:18:46 +0000885 // Find a field by its field index.
886 ArtField* LookupResolvedField(uint32_t field_idx,
887 ObjPtr<mirror::DexCache> dex_cache,
888 ObjPtr<mirror::ClassLoader> class_loader,
889 bool is_static)
890 REQUIRES_SHARED(Locks::mutator_lock_);
891
Vladimir Markocd556b02017-02-03 11:47:34 +0000892 void RegisterDexFileLocked(const DexFile& dex_file,
893 ObjPtr<mirror::DexCache> dex_cache,
894 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800895 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700896 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000897 DexCacheData FindDexCacheDataLocked(const DexFile& dex_file)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800898 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700899 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000900 static ObjPtr<mirror::DexCache> DecodeDexCache(Thread* self, const DexCacheData& data)
901 REQUIRES_SHARED(Locks::mutator_lock_);
902 // Called to ensure that the dex cache has been registered with the same class loader.
903 // If yes, returns the dex cache, otherwise throws InternalError and returns null.
904 ObjPtr<mirror::DexCache> EnsureSameClassLoader(Thread* self,
905 ObjPtr<mirror::DexCache> dex_cache,
906 const DexCacheData& data,
907 ObjPtr<mirror::ClassLoader> class_loader)
908 REQUIRES(!Locks::dex_lock_)
909 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700910
Alex Lighteb7c1442015-08-31 13:17:42 -0700911 bool InitializeDefaultInterfaceRecursive(Thread* self,
912 Handle<mirror::Class> klass,
913 bool can_run_clinit,
914 bool can_init_parents)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800915 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700916 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700917 bool WaitForInitializeClass(Handle<mirror::Class> klass,
918 Thread* self,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700919 ObjectLock<mirror::Class>& lock);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700920
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700921 bool IsSameDescriptorInDifferentClassContexts(Thread* self,
922 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700923 Handle<mirror::ClassLoader> class_loader1,
924 Handle<mirror::ClassLoader> class_loader2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700925 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700926
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700927 bool IsSameMethodSignatureInDifferentClassContexts(Thread* self,
928 ArtMethod* method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700929 ObjPtr<mirror::Class> klass1,
930 ObjPtr<mirror::Class> klass2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700931 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700932
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700933 bool LinkClass(Thread* self,
934 const char* descriptor,
935 Handle<mirror::Class> klass,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700936 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700937 MutableHandle<mirror::Class>* h_new_class_out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700938 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700939 REQUIRES(!Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700940
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700941 bool LinkSuperClass(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700942 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700943
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700944 bool LoadSuperAndInterfaces(Handle<mirror::Class> klass, const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700945 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800946 REQUIRES(!Locks::dex_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700947
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700948 bool LinkMethods(Thread* self,
949 Handle<mirror::Class> klass,
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700950 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000951 bool* out_new_conflict,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700952 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700953 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700954
Orion Hodsonf8db2c32017-07-07 20:07:12 +0100955 mirror::MethodHandle* ResolveMethodHandleForField(Thread* self,
956 const DexFile::MethodHandleItem& method_handle,
957 ArtMethod* referrer)
958 REQUIRES_SHARED(Locks::mutator_lock_);
959
960 mirror::MethodHandle* ResolveMethodHandleForMethod(Thread* self,
961 const DexFile* const dex_file,
962 const DexFile::MethodHandleItem& method_handle,
963 ArtMethod* referrer)
964 REQUIRES_SHARED(Locks::mutator_lock_);
965
Alex Light9139e002015-10-09 15:59:48 -0700966 // A wrapper class representing the result of a method translation used for linking methods and
967 // updating superclass default methods. For each method in a classes vtable there are 4 states it
968 // could be in:
969 // 1) No translation is necessary. In this case there is no MethodTranslation object for it. This
970 // is the standard case and is true when the method is not overridable by a default method,
971 // the class defines a concrete implementation of the method, the default method implementation
972 // remains the same, or an abstract method stayed abstract.
973 // 2) The method must be translated to a different default method. We note this with
974 // CreateTranslatedMethod.
975 // 3) The method must be replaced with a conflict method. This happens when a superclass
976 // implements an interface with a default method and this class implements an unrelated
977 // interface that also defines that default method. We note this with CreateConflictingMethod.
978 // 4) The method must be replaced with an abstract miranda method. This happens when a superclass
979 // implements an interface with a default method and this class implements a subinterface of
980 // the superclass's interface which declares the default method abstract. We note this with
981 // CreateAbstractMethod.
982 //
983 // When a method translation is unnecessary (case #1), we don't put it into the
984 // default_translation maps. So an instance of MethodTranslation must be in one of #2-#4.
985 class MethodTranslation {
986 public:
987 // This slot must become a default conflict method.
988 static MethodTranslation CreateConflictingMethod() {
989 return MethodTranslation(Type::kConflict, /*translation*/nullptr);
990 }
991
992 // This slot must become an abstract method.
993 static MethodTranslation CreateAbstractMethod() {
994 return MethodTranslation(Type::kAbstract, /*translation*/nullptr);
995 }
996
997 // Use the given method as the current value for this vtable slot during translation.
998 static MethodTranslation CreateTranslatedMethod(ArtMethod* new_method) {
999 return MethodTranslation(Type::kTranslation, new_method);
1000 }
1001
1002 // Returns true if this is a method that must become a conflict method.
1003 bool IsInConflict() const {
1004 return type_ == Type::kConflict;
1005 }
1006
1007 // Returns true if this is a method that must become an abstract method.
1008 bool IsAbstract() const {
1009 return type_ == Type::kAbstract;
1010 }
1011
1012 // Returns true if this is a method that must become a different method.
1013 bool IsTranslation() const {
1014 return type_ == Type::kTranslation;
1015 }
1016
1017 // Get the translated version of this method.
1018 ArtMethod* GetTranslation() const {
1019 DCHECK(IsTranslation());
1020 DCHECK(translation_ != nullptr);
1021 return translation_;
1022 }
1023
1024 private:
1025 enum class Type {
1026 kTranslation,
1027 kConflict,
1028 kAbstract,
1029 };
1030
1031 MethodTranslation(Type type, ArtMethod* translation)
1032 : translation_(translation), type_(type) {}
1033
1034 ArtMethod* const translation_;
1035 const Type type_;
1036 };
1037
Alex Lighteb7c1442015-08-31 13:17:42 -07001038 // Links the virtual methods for the given class and records any default methods that will need to
1039 // be updated later.
1040 //
1041 // Arguments:
1042 // * self - The current thread.
1043 // * klass - class, whose vtable will be filled in.
1044 // * default_translations - Vtable index to new method map.
1045 // Any vtable entries that need to be updated with new default methods
1046 // are stored into the default_translations map. The default_translations
1047 // map is keyed on the vtable index that needs to be updated. We use this
1048 // map because if we override a default method with another default
1049 // method we need to update the vtable to point to the new method.
1050 // Unfortunately since we copy the ArtMethod* we cannot just do a simple
1051 // scan, we therefore store the vtable index's that might need to be
1052 // updated with the method they will turn into.
1053 // TODO This whole default_translations thing is very dirty. There should be a better way.
Alex Light9139e002015-10-09 15:59:48 -07001054 bool LinkVirtualMethods(
1055 Thread* self,
1056 Handle<mirror::Class> klass,
1057 /*out*/std::unordered_map<size_t, MethodTranslation>* default_translations)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001058 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001059
Alex Lighteb7c1442015-08-31 13:17:42 -07001060 // Sets up the interface lookup table (IFTable) in the correct order to allow searching for
1061 // default methods.
1062 bool SetupInterfaceLookupTable(Thread* self,
1063 Handle<mirror::Class> klass,
1064 Handle<mirror::ObjectArray<mirror::Class>> interfaces)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001065 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001066
Alex Light9139e002015-10-09 15:59:48 -07001067
1068 enum class DefaultMethodSearchResult {
1069 kDefaultFound,
1070 kAbstractFound,
1071 kDefaultConflict
1072 };
1073
Alex Lighteb7c1442015-08-31 13:17:42 -07001074 // Find the default method implementation for 'interface_method' in 'klass', if one exists.
1075 //
1076 // Arguments:
1077 // * self - The current thread.
1078 // * target_method - The method we are trying to find a default implementation for.
1079 // * klass - The class we are searching for a definition of target_method.
1080 // * out_default_method - The pointer we will store the found default method to on success.
Alex Lighteb7c1442015-08-31 13:17:42 -07001081 //
1082 // Return value:
Alex Light9139e002015-10-09 15:59:48 -07001083 // * kDefaultFound - There were no conflicting method implementations found in the class while
1084 // searching for target_method. The default method implementation is stored into
1085 // out_default_method.
1086 // * kAbstractFound - There were no conflicting method implementations found in the class while
1087 // searching for target_method but no default implementation was found either.
1088 // out_default_method is set to null and the method should be considered not
1089 // implemented.
1090 // * kDefaultConflict - Conflicting method implementations were found when searching for
1091 // target_method. The value of *out_default_method is null.
1092 DefaultMethodSearchResult FindDefaultMethodImplementation(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001093 Thread* self,
1094 ArtMethod* target_method,
1095 Handle<mirror::Class> klass,
1096 /*out*/ArtMethod** out_default_method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001097 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001098
1099 // Sets the imt entries and fixes up the vtable for the given class by linking all the interface
1100 // methods. See LinkVirtualMethods for an explanation of what default_translations is.
Alex Light9139e002015-10-09 15:59:48 -07001101 bool LinkInterfaceMethods(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001102 Thread* self,
1103 Handle<mirror::Class> klass,
1104 const std::unordered_map<size_t, MethodTranslation>& default_translations,
1105 bool* out_new_conflict,
1106 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001107 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001108
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001109 bool LinkStaticFields(Thread* self, Handle<mirror::Class> klass, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001110 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001111 bool LinkInstanceFields(Thread* self, Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001112 REQUIRES_SHARED(Locks::mutator_lock_);
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001113 bool LinkFields(Thread* self, Handle<mirror::Class> klass, bool is_static, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001114 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001115 void CreateReferenceInstanceOffsets(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001116 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001117
Mathieu Chartiere401d142015-04-22 13:56:20 -07001118 void CheckProxyConstructor(ArtMethod* constructor) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001119 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001120 void CheckProxyMethod(ArtMethod* method, ArtMethod* prototype) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001121 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001122
Andreas Gampecc1b5352016-12-01 16:58:38 -08001123 size_t GetDexCacheCount() REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001124 return dex_caches_.size();
1125 }
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001126 const std::list<DexCacheData>& GetDexCachesData()
Andreas Gampecc1b5352016-12-01 16:58:38 -08001127 REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001128 return dex_caches_;
1129 }
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001130
Mathieu Chartiere401d142015-04-22 13:56:20 -07001131 void CreateProxyConstructor(Handle<mirror::Class> klass, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001132 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001133 void CreateProxyMethod(Handle<mirror::Class> klass, ArtMethod* prototype, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001134 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -04001135
Mathieu Chartier5b830502016-03-02 10:30:23 -08001136 // Register a class loader and create its class table and allocator. Should not be called if
1137 // these are already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001138 void RegisterClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001139 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier5b830502016-03-02 10:30:23 -08001140 REQUIRES(Locks::classlinker_classes_lock_);
1141
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001142 // Insert a new class table if not found.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001143 ClassTable* InsertClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001144 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001145 REQUIRES(Locks::classlinker_classes_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001146
Ian Rogersdbf3be02014-08-29 15:40:08 -07001147 // EnsureResolved is called to make sure that a class in the class_table_ has been resolved
1148 // before returning it to the caller. Its the responsibility of the thread that placed the class
1149 // in the table to make it resolved. The thread doing resolution must notify on the class' lock
1150 // when resolution has occurred. This happens in mirror::Class::SetStatus. As resolution may
1151 // retire a class, the version of the class in the table is returned and this may differ from
1152 // the class passed in.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001153 mirror::Class* EnsureResolved(Thread* self, const char* descriptor, ObjPtr<mirror::Class> klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001154 WARN_UNUSED
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001155 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001156 REQUIRES(!Locks::dex_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001157
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001158 void FixupTemporaryDeclaringClass(ObjPtr<mirror::Class> temp_class,
1159 ObjPtr<mirror::Class> new_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001160 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001161
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001162 void SetClassRoot(ClassRoot class_root, ObjPtr<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001163 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001164
1165 // Return the quick generic JNI stub for testing.
1166 const void* GetRuntimeQuickGenericJniStub() const;
1167
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001168 bool CanWeInitializeClass(ObjPtr<mirror::Class> klass,
1169 bool can_init_statics,
1170 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001171 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001172
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001173 void UpdateClassMethods(ObjPtr<mirror::Class> klass,
Alex Lighte64300b2015-12-15 15:02:47 -08001174 LengthPrefixedArray<ArtMethod>* new_methods)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001175 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001176 REQUIRES(!Locks::classlinker_classes_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001177
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001178 // Check that c1 == FindSystemClass(self, descriptor). Abort with class dumps otherwise.
1179 void CheckSystemClass(Thread* self, Handle<mirror::Class> c1, const char* descriptor)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001180 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001181 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001182
Vladimir Marko921094a2017-01-12 18:37:06 +00001183 // Allocate method arrays for interfaces.
1184 bool AllocateIfTableMethodArrays(Thread* self,
1185 Handle<mirror::Class> klass,
1186 Handle<mirror::IfTable> iftable)
1187 REQUIRES_SHARED(Locks::mutator_lock_);
1188
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001189 // Sets imt_ref appropriately for LinkInterfaceMethods.
1190 // If there is no method in the imt location of imt_ref it will store the given method there.
1191 // Otherwise it will set the conflict method which will figure out which method to use during
1192 // runtime.
1193 void SetIMTRef(ArtMethod* unimplemented_method,
1194 ArtMethod* imt_conflict_method,
1195 ArtMethod* current_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001196 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001197 /*out*/ArtMethod** imt_ref) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001198
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001199 void FillIMTFromIfTable(ObjPtr<mirror::IfTable> if_table,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001200 ArtMethod* unimplemented_method,
1201 ArtMethod* imt_conflict_method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001202 ObjPtr<mirror::Class> klass,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001203 bool create_conflict_tables,
1204 bool ignore_copied_methods,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001205 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001206 /*out*/ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001207
1208 void FillImtFromSuperClass(Handle<mirror::Class> klass,
1209 ArtMethod* unimplemented_method,
1210 ArtMethod* imt_conflict_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001211 bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001212 ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001213
Vladimir Markoba118822017-06-12 15:41:56 +01001214 // Check invoke type against the referenced class. Throws IncompatibleClassChangeError
1215 // (if `kThrowOnError`) and returns true on mismatch (kInterface on a non-interface class,
1216 // kVirtual on interface, kDefault on interface for dex files not supporting default methods),
1217 // otherwise returns false.
1218 template <bool kThrowOnError, typename ClassGetter>
1219 static bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1220 InvokeType type,
1221 ClassGetter class_getter)
1222 REQUIRES_SHARED(Locks::mutator_lock_);
1223 // Helper that feeds the above function with `ClassGetter` doing `LookupResolvedType()`.
1224 template <bool kThrow>
1225 bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1226 InvokeType type,
1227 uint32_t method_idx,
1228 ObjPtr<mirror::ClassLoader> class_loader)
1229 REQUIRES_SHARED(Locks::mutator_lock_);
1230
Brian Carlstrom4a96b602011-07-26 16:40:23 -07001231 std::vector<const DexFile*> boot_class_path_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001232 std::vector<std::unique_ptr<const DexFile>> boot_dex_files_;
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07001233
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001234 // JNI weak globals and side data to allow dex caches to get unloaded. We lazily delete weak
1235 // globals when we register new dex files.
Andreas Gampecc1b5352016-12-01 16:58:38 -08001236 std::list<DexCacheData> dex_caches_ GUARDED_BY(Locks::dex_lock_);
Brian Carlstrom47d237a2011-10-18 15:08:33 -07001237
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -07001238 // This contains the class loaders which have class tables. It is populated by
Mathieu Chartier951ec2c2015-09-22 08:50:05 -07001239 // InsertClassTableForClassLoader.
1240 std::list<ClassLoaderData> class_loaders_
Mathieu Chartier6b069532015-08-05 15:08:12 -07001241 GUARDED_BY(Locks::classlinker_classes_lock_);
1242
1243 // Boot class path table. Since the class loader for this is null.
Andreas Gampe2af99022017-04-25 08:32:59 -07001244 std::unique_ptr<ClassTable> boot_class_table_ GUARDED_BY(Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001245
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001246 // New class roots, only used by CMS since the GC needs to mark these in the pause.
1247 std::vector<GcRoot<mirror::Class>> new_class_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Elliott Hughesf8349362012-06-18 15:00:06 -07001248
Vladimir Marko1998cd02017-01-13 13:02:58 +00001249 // Boot image oat files with new .bss GC roots to be visited in the pause by CMS.
1250 std::vector<const OatFile*> new_bss_roots_boot_oat_files_
1251 GUARDED_BY(Locks::classlinker_classes_lock_);
1252
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001253 // Number of times we've searched dex caches for a class. After a certain number of misses we move
1254 // the classes into the class_table_ to avoid dex cache based searches.
Ian Rogers68b56852014-08-29 20:19:11 -07001255 Atomic<uint32_t> failed_dex_cache_class_lookups_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001256
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001257 // Well known mirror::Class roots.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001258 GcRoot<mirror::ObjectArray<mirror::Class>> class_roots_;
Brian Carlstrom913af1b2011-07-23 21:41:13 -07001259
Ian Rogers98379392014-02-24 16:53:16 -08001260 // The interface table used by all arrays.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001261 GcRoot<mirror::IfTable> array_iftable_;
Carl Shapiro565f5072011-07-10 13:39:43 -07001262
Ian Rogers98379392014-02-24 16:53:16 -08001263 // A cache of the last FindArrayClass results. The cache serves to avoid creating array class
1264 // descriptors for the sake of performing FindClass.
1265 static constexpr size_t kFindArrayCacheSize = 16;
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001266 GcRoot<mirror::Class> find_array_class_cache_[kFindArrayCacheSize];
Ian Rogers98379392014-02-24 16:53:16 -08001267 size_t find_array_class_cache_next_victim_;
1268
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001269 bool init_done_;
Vladimir Marko1998cd02017-01-13 13:02:58 +00001270 bool log_new_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001271
Elliott Hughescf4c6c42011-09-01 15:16:42 -07001272 InternTable* intern_table_;
1273
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001274 // Trampolines within the image the bounce to runtime entrypoints. Done so that there is a single
1275 // patch point within the image. TODO: make these proper relocations.
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001276 const void* quick_resolution_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -07001277 const void* quick_imt_conflict_trampoline_;
Andreas Gampe2da88232014-02-27 12:26:20 -08001278 const void* quick_generic_jni_trampoline_;
Vladimir Marko8a630572014-04-09 18:45:35 +01001279 const void* quick_to_interpreter_bridge_trampoline_;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001280
Mathieu Chartier2d721012014-11-10 11:08:06 -08001281 // Image pointer size.
Andreas Gampe542451c2016-07-26 09:02:02 -07001282 PointerSize image_pointer_size_;
Mathieu Chartier2d721012014-11-10 11:08:06 -08001283
Andreas Gampec1ac9ee2017-07-24 22:35:49 -07001284 std::unique_ptr<ClassHierarchyAnalysis> cha_;
1285
Mathieu Chartier65975772016-08-05 10:46:36 -07001286 class FindVirtualMethodHolderVisitor;
Andreas Gampe2af99022017-04-25 08:32:59 -07001287
1288 friend class AppImageClassLoadersAndDexCachesHelper;
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001289 friend class ImageDumper; // for DexLock
Vladimir Marko74527972016-11-29 15:57:32 +00001290 friend struct linker::CompilationHelper; // For Compile in ImageTest.
1291 friend class linker::ImageWriter; // for GetClassRoots
1292 friend class linker::OatWriter; // for boot image string/class table slot address lookup.
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001293 friend class JniCompilerTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe5f4a09a2015-09-28 13:16:33 -07001294 friend class JniInternalTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe2af99022017-04-25 08:32:59 -07001295 friend class VMClassLoader; // for LookupClass and FindClassInBaseDexClassLoader.
Mathieu Chartier76172162016-01-26 14:54:06 -08001296 ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for DexLock, and RegisterDexFileLocked
Narayan Kamath25352fc2016-08-03 12:46:58 +01001297 ART_FRIEND_TEST(mirror::DexCacheMethodHandlesTest, Open); // for AllocDexCache
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001298 ART_FRIEND_TEST(mirror::DexCacheTest, Open); // for AllocDexCache
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001299 DISALLOW_COPY_AND_ASSIGN(ClassLinker);
1300};
1301
Andreas Gampe0f01b582017-01-18 15:22:37 -08001302class ClassLoadCallback {
1303 public:
1304 virtual ~ClassLoadCallback() {}
1305
Alex Lightb0f11922017-01-23 14:25:17 -08001306 // If set we will replace initial_class_def & initial_dex_file with the final versions. The
1307 // callback author is responsible for ensuring these are allocated in such a way they can be
1308 // cleaned up if another transformation occurs. Note that both must be set or null/unchanged on
1309 // return.
1310 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1311 // different object. It is the listener's responsibility to handle this.
1312 // Note: This callback is rarely useful so a default implementation has been given that does
1313 // nothing.
1314 virtual void ClassPreDefine(const char* descriptor ATTRIBUTE_UNUSED,
1315 Handle<mirror::Class> klass ATTRIBUTE_UNUSED,
1316 Handle<mirror::ClassLoader> class_loader ATTRIBUTE_UNUSED,
1317 const DexFile& initial_dex_file ATTRIBUTE_UNUSED,
1318 const DexFile::ClassDef& initial_class_def ATTRIBUTE_UNUSED,
1319 /*out*/DexFile const** final_dex_file ATTRIBUTE_UNUSED,
Alex Light4b0cedf2017-01-24 11:15:20 -08001320 /*out*/DexFile::ClassDef const** final_class_def ATTRIBUTE_UNUSED)
Alex Lightb0f11922017-01-23 14:25:17 -08001321 REQUIRES_SHARED(Locks::mutator_lock_) {}
1322
Andreas Gampe0f01b582017-01-18 15:22:37 -08001323 // A class has been loaded.
1324 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1325 // different object. It is the listener's responsibility to handle this.
1326 virtual void ClassLoad(Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1327
1328 // A class has been prepared, i.e., resolved. As the ClassLoad event might have been for a
1329 // temporary class, provide both the former and the current class.
1330 virtual void ClassPrepare(Handle<mirror::Class> temp_klass,
1331 Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1332};
1333
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001334} // namespace art
1335
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001336#endif // ART_RUNTIME_CLASS_LINKER_H_