blob: 9727adff4404659e046637960c7789ed39531969 [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
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080046namespace mirror {
Ian Rogers33e95662013-05-20 20:29:14 -070047 class ClassLoader;
48 class DexCache;
Mathieu Chartiere401d142015-04-22 13:56:20 -070049 class DexCachePointerArray;
Narayan Kamath25352fc2016-08-03 12:46:58 +010050 class DexCacheMethodHandlesTest_Open_Test;
Ian Rogers33e95662013-05-20 20:29:14 -070051 class DexCacheTest_Open_Test;
52 class IfTable;
Orion Hodsonc069a302017-01-18 09:23:12 +000053 class MethodHandle;
54 class MethodHandlesLookup;
Narayan Kamathafa48272016-08-03 12:46:58 +010055 class MethodType;
Ian Rogers33e95662013-05-20 20:29:14 -070056 template<class T> class ObjectArray;
57 class StackTraceElement;
Vladimir Marko07bfbac2017-07-06 14:55:02 +010058 template <typename T> struct NativeDexCachePair;
59 using MethodDexCachePair = NativeDexCachePair<ArtMethod>;
60 using MethodDexCacheType = std::atomic<MethodDexCachePair>;
Ian Rogers33e95662013-05-20 20:29:14 -070061} // namespace mirror
Ian Rogers1d54e732013-05-02 21:10:01 -070062
Andreas Gampec1ac9ee2017-07-24 22:35:49 -070063class ClassHierarchyAnalysis;
Andreas Gampe2af99022017-04-25 08:32:59 -070064class ClassTable;
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070065template<class T> class Handle;
Vladimir Marko97d7e1c2016-10-04 14:44:28 +010066class ImtConflictTable;
67template<typename T> class LengthPrefixedArray;
Hiroshi Yamauchi679b1cf2015-05-21 12:05:27 -070068template<class T> class MutableHandle;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070069class InternTable;
Andreas Gamped482e732017-04-24 17:59:09 -070070class LinearAlloc;
Vladimir Marko1998cd02017-01-13 13:02:58 +000071class OatFile;
Mathieu Chartierc528dba2013-11-26 12:00:11 -080072template<class T> class ObjectLock;
Andreas Gampe7ba64962014-10-23 11:37:40 -070073class Runtime;
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070074class ScopedObjectAccessAlreadyRunnable;
Mathieu Chartier2d2621a2014-10-23 16:48:06 -070075template<size_t kNumReferences> class PACKED(4) StackHandleScope;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070076
Mathieu Chartier893263b2014-03-04 11:07:42 -080077enum VisitRootFlags : uint8_t;
78
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -080079class ClassVisitor {
80 public:
81 virtual ~ClassVisitor() {}
82 // Return true to continue visiting.
Mathieu Chartier28357fa2016-10-18 16:27:40 -070083 virtual bool operator()(ObjPtr<mirror::Class> klass) = 0;
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -080084};
85
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -070086class ClassLoaderVisitor {
87 public:
88 virtual ~ClassLoaderVisitor() {}
Mathieu Chartier28357fa2016-10-18 16:27:40 -070089 virtual void Visit(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070090 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_) = 0;
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -070091};
92
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070093class ClassLinker {
94 public:
Ian Rogers6f3dbba2014-10-14 17:41:57 -070095 // Well known mirror::Class roots accessed via GetClassRoot.
96 enum ClassRoot {
97 kJavaLangClass,
98 kJavaLangObject,
99 kClassArrayClass,
100 kObjectArrayClass,
101 kJavaLangString,
102 kJavaLangDexCache,
103 kJavaLangRefReference,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700104 kJavaLangReflectConstructor,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700105 kJavaLangReflectField,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700106 kJavaLangReflectMethod,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700107 kJavaLangReflectProxy,
108 kJavaLangStringArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700109 kJavaLangReflectConstructorArrayClass,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700110 kJavaLangReflectFieldArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700111 kJavaLangReflectMethodArrayClass,
Orion Hodsonc069a302017-01-18 09:23:12 +0000112 kJavaLangInvokeCallSite,
Narayan Kamathafa48272016-08-03 12:46:58 +0100113 kJavaLangInvokeMethodHandleImpl,
Orion Hodsonc069a302017-01-18 09:23:12 +0000114 kJavaLangInvokeMethodHandlesLookup,
Narayan Kamathafa48272016-08-03 12:46:58 +0100115 kJavaLangInvokeMethodType,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700116 kJavaLangClassLoader,
117 kJavaLangThrowable,
118 kJavaLangClassNotFoundException,
119 kJavaLangStackTraceElement,
Narayan Kamath000e1882016-10-24 17:14:25 +0100120 kDalvikSystemEmulatedStackFrame,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700121 kPrimitiveBoolean,
122 kPrimitiveByte,
123 kPrimitiveChar,
124 kPrimitiveDouble,
125 kPrimitiveFloat,
126 kPrimitiveInt,
127 kPrimitiveLong,
128 kPrimitiveShort,
129 kPrimitiveVoid,
130 kBooleanArrayClass,
131 kByteArrayClass,
132 kCharArrayClass,
133 kDoubleArrayClass,
134 kFloatArrayClass,
135 kIntArrayClass,
136 kLongArrayClass,
137 kShortArrayClass,
138 kJavaLangStackTraceElementArrayClass,
Alex Lightd6251582016-10-31 11:12:30 -0700139 kDalvikSystemClassExt,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700140 kClassRootsMax,
141 };
142
Mathieu Chartier590fee92013-09-13 13:46:47 -0700143 explicit ClassLinker(InternTable* intern_table);
Chang Xing605fe242017-07-20 15:57:21 -0700144 virtual ~ClassLinker();
Carl Shapiro565f5072011-07-10 13:39:43 -0700145
Alex Light64ad14d2014-08-19 14:23:13 -0700146 // Initialize class linker by bootstraping from dex files.
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800147 bool InitWithoutImage(std::vector<std::unique_ptr<const DexFile>> boot_class_path,
148 std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700149 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800150 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700151
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800152 // Initialize class linker from one or more boot images.
153 bool InitFromBootImage(std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700154 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800155 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700156
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800157 // Add an image space to the class linker, may fix up classloader fields and dex cache fields.
158 // The dex files that were newly opened for the space are placed in the out argument
159 // out_dex_files. Returns true if the operation succeeded.
160 // The space must be already added to the heap before calling AddImageSpace since we need to
161 // properly handle read barriers and object marking.
162 bool AddImageSpace(gc::space::ImageSpace* space,
163 Handle<mirror::ClassLoader> class_loader,
164 jobjectArray dex_elements,
165 const char* dex_location,
166 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
167 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800168 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700169 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800170
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800171 bool OpenImageDexFiles(gc::space::ImageSpace* space,
172 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
173 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800174 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700175 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800176
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700177 // Finds a class by its descriptor, loading it if necessary.
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700178 // If class_loader is null, searches boot_class_path_.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700179 mirror::Class* FindClass(Thread* self,
180 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700181 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700182 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800183 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700184
Ian Rogers98379392014-02-24 16:53:16 -0800185 // Finds a class by its descriptor using the "system" class loader, ie by searching the
186 // boot_class_path_.
187 mirror::Class* FindSystemClass(Thread* self, const char* descriptor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700188 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800189 REQUIRES(!Locks::dex_lock_) {
190 return FindClass(self, descriptor, ScopedNullHandle<mirror::ClassLoader>());
191 }
Ian Rogers98379392014-02-24 16:53:16 -0800192
193 // Finds the array class given for the element class.
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700194 mirror::Class* FindArrayClass(Thread* self, ObjPtr<mirror::Class>* element_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700195 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800196 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700197
Ian Rogers63557452014-06-04 16:57:15 -0700198 // Returns true if the class linker is initialized.
Ian Rogers7b078e82014-09-10 14:44:24 -0700199 bool IsInitialized() const {
200 return init_done_;
201 }
Mathieu Chartier590fee92013-09-13 13:46:47 -0700202
Brian Carlstromaded5f72011-10-07 17:15:04 -0700203 // Define a new a class based on a ClassDef from a DexFile
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700204 mirror::Class* DefineClass(Thread* self,
205 const char* descriptor,
206 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700207 Handle<mirror::ClassLoader> class_loader,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700208 const DexFile& dex_file,
209 const DexFile::ClassDef& dex_class_def)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700210 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800211 REQUIRES(!Locks::dex_lock_);
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700212
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700213 // Finds a class by its descriptor, returning null if it isn't wasn't loaded
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700214 // by the given 'class_loader'.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700215 mirror::Class* LookupClass(Thread* self,
216 const char* descriptor,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700217 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700218 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampe2ff3b972017-06-05 18:14:53 -0700219 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700220
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800221 // Finds all the classes with the given descriptor, regardless of ClassLoader.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700222 void LookupClasses(const char* descriptor, std::vector<ObjPtr<mirror::Class>>& classes)
Mathieu Chartier90443472015-07-16 20:32:27 -0700223 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700224 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800225
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700226 mirror::Class* FindPrimitiveClass(char type) REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700227
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700228 void DumpForSigQuit(std::ostream& os) REQUIRES(!Locks::classlinker_classes_lock_);
Elliott Hughescac6cc72011-11-03 20:31:21 -0700229
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700230 size_t NumLoadedClasses()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700231 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700232 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughese27955c2011-08-26 15:21:24 -0700233
Brian Carlstromb63ec392011-08-27 17:38:27 -0700234 // Resolve a String with the given index from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700235 // result in the DexCache.
Andreas Gampe8a0128a2016-11-28 07:38:35 -0800236 mirror::String* ResolveString(const DexFile& dex_file,
237 dex::StringIndex string_idx,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700238 Handle<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700239 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700240
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000241 // Find a String with the given index from the DexFile, storing the
242 // result in the DexCache if found. Return null if not found.
Andreas Gampe8a0128a2016-11-28 07:38:35 -0800243 mirror::String* LookupString(const DexFile& dex_file,
244 dex::StringIndex string_idx,
Vladimir Markof25cc732017-03-16 16:18:15 +0000245 ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700246 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000247
Brian Carlstromb63ec392011-08-27 17:38:27 -0700248 // Resolve a Type with the given index from the DexFile, storing the
Roland Levillainab880f42016-05-12 16:24:36 +0100249 // result in the DexCache. The referrer is used to identify the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700250 // target DexCache and ClassLoader to use for resolution.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700251 mirror::Class* ResolveType(const DexFile& dex_file,
Andreas Gampea5b09a62016-11-17 15:21:22 -0800252 dex::TypeIndex type_idx,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700253 ObjPtr<mirror::Class> referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700254 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800255 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700256
Brian Carlstromb63ec392011-08-27 17:38:27 -0700257 // Resolve a Type with the given index from the DexFile, storing the
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700258 // result in the DexCache. The referrer is used to identify the
Brian Carlstromb63ec392011-08-27 17:38:27 -0700259 // target DexCache and ClassLoader to use for resolution.
Andreas Gampea5b09a62016-11-17 15:21:22 -0800260 mirror::Class* ResolveType(dex::TypeIndex type_idx, ArtMethod* 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_);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700263
Mathieu Chartierb8901302016-09-30 10:27:43 -0700264 // Look up a resolved type with the given ID from the DexFile. The ClassLoader is used to search
265 // for the type, since it may be referenced from but not contained within the given DexFile.
266 ObjPtr<mirror::Class> LookupResolvedType(const DexFile& dex_file,
Andreas Gampea5b09a62016-11-17 15:21:22 -0800267 dex::TypeIndex type_idx,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700268 ObjPtr<mirror::DexCache> dex_cache,
269 ObjPtr<mirror::ClassLoader> class_loader)
270 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Marko8d6768d2017-03-14 10:13:21 +0000271 static ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx,
272 ObjPtr<mirror::DexCache> dex_cache,
273 ObjPtr<mirror::ClassLoader> class_loader)
274 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierb8901302016-09-30 10:27:43 -0700275
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700276 // Resolve a type with the given ID from the DexFile, storing the
277 // result in DexCache. The ClassLoader is used to search for the
278 // type, since it may be referenced from but not contained within
279 // the given DexFile.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700280 mirror::Class* ResolveType(const DexFile& dex_file,
Andreas Gampea5b09a62016-11-17 15:21:22 -0800281 dex::TypeIndex type_idx,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700282 Handle<mirror::DexCache> dex_cache,
283 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700284 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800285 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700286
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800287 // Determine whether a dex cache result should be trusted, or an IncompatibleClassChangeError
Vladimir Markoba118822017-06-12 15:41:56 +0100288 // check and IllegalAccessError check should be performed even after a hit.
289 enum class ResolveMode { // private.
290 kNoChecks,
291 kCheckICCEAndIAE
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800292 };
293
Vladimir Marko07bfbac2017-07-06 14:55:02 +0100294 // Look up a previously resolved method with the given index.
295 ArtMethod* LookupResolvedMethod(uint32_t method_idx,
296 ObjPtr<mirror::DexCache> dex_cache,
297 ObjPtr<mirror::ClassLoader> class_loader)
298 REQUIRES_SHARED(Locks::mutator_lock_);
299
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700300 // Resolve a method with a given ID from the DexFile, storing the
301 // result in DexCache. The ClassLinker and ClassLoader are used as
302 // in ResolveType. What is unique is the method type argument which
303 // is used to determine if this method is a direct, static, or
304 // virtual method.
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800305 template <ResolveMode kResolveMode>
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700306 ArtMethod* ResolveMethod(const DexFile& dex_file,
307 uint32_t method_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700308 Handle<mirror::DexCache> dex_cache,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700309 Handle<mirror::ClassLoader> class_loader,
310 ArtMethod* referrer,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700311 InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700312 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800313 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700314
Vladimir Markoba118822017-06-12 15:41:56 +0100315 template <InvokeType type, ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700316 ArtMethod* GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700317 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightfedd91d2016-01-07 14:49:16 -0800318
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800319 template <ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700320 ArtMethod* ResolveMethod(Thread* self, uint32_t method_idx, ArtMethod* referrer, InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700321 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800322 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Jeff Hao0042c6d2015-07-29 20:14:10 -0700323 ArtMethod* ResolveMethodWithoutInvokeType(const DexFile& dex_file,
324 uint32_t method_idx,
325 Handle<mirror::DexCache> dex_cache,
326 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700327 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800328 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom16192862011-09-12 17:50:06 -0700329
Vladimir Markof44d36c2017-03-14 14:18:46 +0000330 ArtField* LookupResolvedField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700331 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700332 ArtField* ResolveField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
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_);
Brian Carlstromb9edb842011-08-28 16:31:06 -0700335
Brian Carlstrom16192862011-09-12 17:50:06 -0700336 // Resolve a field with a given ID from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700337 // result in DexCache. The ClassLinker and ClassLoader are used as
338 // in ResolveType. What is unique is the is_static argument which is
339 // used to determine if we are resolving a static or non-static
340 // field.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700341 ArtField* ResolveField(const DexFile& dex_file, uint32_t field_idx,
Mathieu Chartier90443472015-07-16 20:32:27 -0700342 Handle<mirror::DexCache> dex_cache,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700343 Handle<mirror::ClassLoader> class_loader, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700344 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800345 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700346
Ian Rogersb067ac22011-12-13 18:05:09 -0800347 // Resolve a field with a given ID from the DexFile, storing the
348 // result in DexCache. The ClassLinker and ClassLoader are used as
349 // in ResolveType. No is_static argument is provided so that Java
350 // field resolution semantics are followed.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700351 ArtField* ResolveFieldJLS(const DexFile& dex_file,
352 uint32_t field_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700353 Handle<mirror::DexCache> dex_cache,
354 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700355 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800356 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersb067ac22011-12-13 18:05:09 -0800357
Narayan Kamath25352fc2016-08-03 12:46:58 +0100358 // Resolve a method type with a given ID from the DexFile, storing
359 // the result in the DexCache.
360 mirror::MethodType* ResolveMethodType(const DexFile& dex_file,
361 uint32_t proto_idx,
362 Handle<mirror::DexCache> dex_cache,
363 Handle<mirror::ClassLoader> class_loader)
364 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800365 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersad25ac52011-10-04 19:13:33 -0700366
Orion Hodsonc069a302017-01-18 09:23:12 +0000367 // Resolve a method handle with a given ID from the DexFile. The
368 // result is not cached in the DexCache as the instance will only be
369 // used once in most circumstances.
370 mirror::MethodHandle* ResolveMethodHandle(uint32_t method_handle_idx, ArtMethod* referrer)
371 REQUIRES_SHARED(Locks::mutator_lock_);
372
Elliott Hughesf4c21c92011-08-19 17:31:31 -0700373 // Returns true on success, false if there's an exception pending.
Brian Carlstrom25c33252011-09-18 15:58:35 -0700374 // can_run_clinit=false allows the compiler to attempt to init a class,
375 // given the restriction that no <clinit> execution is possible.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700376 bool EnsureInitialized(Thread* self,
377 Handle<mirror::Class> c,
378 bool can_init_fields,
Ian Rogers7b078e82014-09-10 14:44:24 -0700379 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700380 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800381 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700382
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700383 // Initializes classes that have instances in the image but that have
384 // <clinit> methods so they could not be initialized by the compiler.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700385 void RunRootClinits()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700386 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800387 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700388
Alex Light07f06212017-06-01 14:01:43 -0700389 // Directly register an already existing dex cache. RegisterDexFile should be preferred since that
390 // reduplicates DexCaches when possible. The DexCache given to this function must already be fully
391 // initialized and not already registered.
392 void RegisterExistingDexCache(ObjPtr<mirror::DexCache> cache,
393 ObjPtr<mirror::ClassLoader> class_loader)
394 REQUIRES(!Locks::dex_lock_)
395 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000396 ObjPtr<mirror::DexCache> RegisterDexFile(const DexFile& dex_file,
397 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800398 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700399 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700400
Brian Carlstrom8a487412011-08-29 20:08:52 -0700401 const std::vector<const DexFile*>& GetBootClassPath() {
402 return boot_class_path_;
403 }
404
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700405 void VisitClasses(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700406 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700407 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -0700408
409 // Less efficient variant of VisitClasses that copies the class_table_ into secondary storage
410 // so that it can visit individual classes without holding the doesn't hold the
411 // Locks::classlinker_classes_lock_. As the Locks::classlinker_classes_lock_ isn't held this code
412 // can race with insertion and deletion of classes while the visitor is being called.
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700413 void VisitClassesWithoutClassesLock(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700414 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800415 REQUIRES(!Locks::dex_lock_);
Elliott Hughesa2155262011-11-16 16:26:58 -0800416
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700417 void VisitClassRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gamped98b4ed2016-11-04 20:27:24 -0700418 REQUIRES(!Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700419 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700420 void VisitRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800421 REQUIRES(!Locks::dex_lock_, !Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700422 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700423
Vladimir Markocd556b02017-02-03 11:47:34 +0000424 bool IsDexFileRegistered(Thread* self, const DexFile& dex_file)
425 REQUIRES(!Locks::dex_lock_)
426 REQUIRES_SHARED(Locks::mutator_lock_);
427 ObjPtr<mirror::DexCache> FindDexCache(Thread* self, const DexFile& dex_file)
428 REQUIRES(!Locks::dex_lock_)
429 REQUIRES_SHARED(Locks::mutator_lock_);
430 ClassTable* FindClassTable(Thread* self, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800431 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700432 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom1d9f52b2011-10-13 10:50:45 -0700433
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700434 LengthPrefixedArray<ArtField>* AllocArtFieldArray(Thread* self,
435 LinearAlloc* allocator,
436 size_t length);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800437
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700438 LengthPrefixedArray<ArtMethod>* AllocArtMethodArray(Thread* self,
439 LinearAlloc* allocator,
440 size_t length);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700441
442 mirror::PointerArray* AllocPointerArray(Thread* self, size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700443 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700444 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800445
446 mirror::IfTable* AllocIfTable(Thread* self, size_t ifcount)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700447 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700448 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800449
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700450 mirror::ObjectArray<mirror::StackTraceElement>* AllocStackTraceElementArray(Thread* self,
451 size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700452 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700453 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800454
Andreas Gampe6d7abbd2017-04-24 13:19:09 -0700455 verifier::FailureKind VerifyClass(
Nicolas Geoffray08025182016-10-25 17:20:18 +0100456 Thread* self,
457 Handle<mirror::Class> klass,
458 verifier::HardFailLogMode log_level = verifier::HardFailLogMode::kLogNone)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700459 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800460 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700461 bool VerifyClassUsingOatFile(const DexFile& dex_file,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700462 ObjPtr<mirror::Class> klass,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800463 mirror::Class::Status& oat_file_class_status)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700464 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800465 REQUIRES(!Locks::dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800466 void ResolveClassExceptionHandlerTypes(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700467 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800468 REQUIRES(!Locks::dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800469 void ResolveMethodExceptionHandlerTypes(ArtMethod* klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700470 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800471 REQUIRES(!Locks::dex_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800472
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700473 mirror::Class* CreateProxyClass(ScopedObjectAccessAlreadyRunnable& soa,
474 jstring name,
475 jobjectArray interfaces,
476 jobject loader,
477 jobjectArray methods,
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700478 jobjectArray throws)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700479 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700480 std::string GetDescriptorForProxy(ObjPtr<mirror::Class> proxy_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700481 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -0400482
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100483 // Get the oat code for a method when its class isn't yet initialized.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700484 const void* GetQuickOatCodeFor(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700485 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800486
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700487 pid_t GetClassesLockOwner(); // For SignalCatcher.
488 pid_t GetDexLockOwner(); // For SignalCatcher.
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -0700489
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700490 mirror::Class* GetClassRoot(ClassRoot class_root) REQUIRES_SHARED(Locks::mutator_lock_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700491
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700492 static const char* GetClassRootDescriptor(ClassRoot class_root);
Andreas Gampe2da88232014-02-27 12:26:20 -0800493
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700494 // Is the given entry point quick code to run the resolution stub?
495 bool IsQuickResolutionStub(const void* entry_point) const;
Jeff Hao88474b42013-10-23 16:24:40 -0700496
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700497 // Is the given entry point quick code to bridge into the interpreter?
498 bool IsQuickToInterpreterBridge(const void* entry_point) const;
499
500 // Is the given entry point quick code to run the generic JNI stub?
501 bool IsQuickGenericJniStub(const void* entry_point) const;
Vladimir Marko8a630572014-04-09 18:45:35 +0100502
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100503 const void* GetQuickToInterpreterBridgeTrampoline() const {
504 return quick_to_interpreter_bridge_trampoline_;
505 }
506
Jeff Hao88474b42013-10-23 16:24:40 -0700507 InternTable* GetInternTable() const {
508 return intern_table_;
509 }
510
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700511 // Set the entrypoints up for method to the enter the interpreter.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700512 void SetEntryPointsToInterpreter(ArtMethod* method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700513 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700514
Alex Lightdb01a092017-04-03 15:39:55 -0700515 // Set the entrypoints up for an obsolete method.
516 void SetEntryPointsForObsoleteMethod(ArtMethod* method) const
517 REQUIRES_SHARED(Locks::mutator_lock_);
518
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700519 // Attempts to insert a class into a class table. Returns null if
Ian Rogers848871b2013-08-05 10:56:33 -0700520 // the class was inserted, otherwise returns an existing class with
521 // the same descriptor and ClassLoader.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700522 mirror::Class* InsertClass(const char* descriptor, ObjPtr<mirror::Class> klass, size_t hash)
Mathieu Chartier90443472015-07-16 20:32:27 -0700523 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700524 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers848871b2013-08-05 10:56:33 -0700525
Vladimir Marko1998cd02017-01-13 13:02:58 +0000526 // Add an oat file with .bss GC roots to be visited again at the end of GC
527 // for collector types that need it.
528 void WriteBarrierForBootOatFileBssRoots(const OatFile* oat_file)
529 REQUIRES(!Locks::classlinker_classes_lock_)
530 REQUIRES_SHARED(Locks::mutator_lock_);
531
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700532 mirror::ObjectArray<mirror::Class>* GetClassRoots() REQUIRES_SHARED(Locks::mutator_lock_) {
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -0700533 mirror::ObjectArray<mirror::Class>* class_roots = class_roots_.Read();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700534 DCHECK(class_roots != nullptr);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700535 return class_roots;
536 }
537
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800538 // Move the class table to the pre-zygote table to reduce memory usage. This works by ensuring
539 // that no more classes are ever added to the pre zygote table which makes it that the pages
540 // always remain shared dirty instead of private dirty.
541 void MoveClassTableToPreZygote()
Mathieu Chartier90443472015-07-16 20:32:27 -0700542 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700543 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800544
Calin Juravle7865ac72017-06-28 11:03:12 -0700545 // Creates a GlobalRef PathClassLoader or DelegateLastClassLoader (specified by loader_class)
546 // that can be used to load classes from the given dex files. The parent of the class loader
547 // will be set to `parent_loader`. If `parent_loader` is null the parent will be
548 // the boot class loader.
549 // If class_loader points to a different class than PathClassLoader or DelegateLastClassLoader
550 // this method will abort.
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700551 // 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 -0700552 jobject CreateWellKnownClassLoader(Thread* self,
553 const std::vector<const DexFile*>& dex_files,
554 jclass loader_class,
555 jobject parent_loader)
556 REQUIRES_SHARED(Locks::mutator_lock_)
557 REQUIRES(!Locks::dex_lock_);
558
559 // Calls CreateWellKnownClassLoader(self,
560 // dex_files,
561 // WellKnownClasses::dalvik_system_PathClassLoader,
562 // nullptr)
Jeff Haof0192c82016-03-28 20:39:50 -0700563 jobject CreatePathClassLoader(Thread* self, const std::vector<const DexFile*>& dex_files)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700564 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800565 REQUIRES(!Locks::dex_lock_);
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700566
Andreas Gampe542451c2016-07-26 09:02:02 -0700567 PointerSize GetImagePointerSize() const {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700568 return image_pointer_size_;
569 }
570
571 // Used by image writer for checking.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700572 bool ClassInClassTable(ObjPtr<mirror::Class> klass)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700573 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700574 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiera89d7ed2014-12-05 10:57:13 -0800575
Andreas Gampe8ac75952015-06-02 21:01:45 -0700576 // Clear the ArrayClass cache. This is necessary when cleaning up for the image, as the cache
577 // entries are roots, but potentially not image classes.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700578 void DropFindArrayClassCache() REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe8ac75952015-06-02 21:01:45 -0700579
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700580 // Clean up class loaders, this needs to happen after JNI weak globals are cleared.
581 void CleanupClassLoaders()
Mathieu Chartier00310e02015-10-17 12:46:42 -0700582 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700583 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700584
Mathieu Chartier32cc9ee2015-10-15 09:19:15 -0700585 // Unlike GetOrCreateAllocatorForClassLoader, GetAllocatorForClassLoader asserts that the
586 // allocator for this class loader is already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700587 LinearAlloc* GetAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700588 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700589
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700590 // Return the linear alloc for a class loader if it is already allocated, otherwise allocate and
591 // set it. TODO: Consider using a lock other than classlinker_classes_lock_.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700592 LinearAlloc* GetOrCreateAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700593 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700594 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier00310e02015-10-17 12:46:42 -0700595
Mathieu Chartier6d25cf62016-04-12 16:54:48 -0700596 // May be called with null class_loader due to legacy code. b/27954959
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700597 void InsertDexFileInToClassLoader(ObjPtr<mirror::Object> dex_file,
598 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700599 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700600 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700601
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000602 static bool ShouldUseInterpreterEntrypoint(ArtMethod* method, const void* quick_code)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700603 REQUIRES_SHARED(Locks::mutator_lock_);
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000604
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800605 std::set<DexCacheResolvedClasses> GetResolvedClasses(bool ignore_boot_classes)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800606 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800607
Jeff Haof0192c82016-03-28 20:39:50 -0700608 static bool IsBootClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700609 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700610 REQUIRES_SHARED(Locks::mutator_lock_);
Jeff Haof0192c82016-03-28 20:39:50 -0700611
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700612 ArtMethod* AddMethodToConflictTable(ObjPtr<mirror::Class> klass,
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700613 ArtMethod* conflict_method,
614 ArtMethod* interface_method,
615 ArtMethod* method,
616 bool force_new_conflict_method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700617 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700618
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700619 // Create a conflict table with a specified capacity.
620 ImtConflictTable* CreateImtConflictTable(size_t count, LinearAlloc* linear_alloc);
621
622 // Static version for when the class linker is not yet created.
623 static ImtConflictTable* CreateImtConflictTable(size_t count,
624 LinearAlloc* linear_alloc,
Andreas Gampe542451c2016-07-26 09:02:02 -0700625 PointerSize pointer_size);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700626
627
628 // Create the IMT and conflict tables for a class.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700629 void FillIMTAndConflictTables(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700630
Mathieu Chartier72041a02017-07-14 18:23:25 -0700631 // Visit all of the class tables. This is used by dex2oat to allow pruning dex caches.
632 template <class Visitor>
633 void VisitClassTables(const Visitor& visitor)
Mathieu Chartier696632e2016-06-03 17:47:32 -0700634 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700635 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700636
Jeff Haoc92a7a12016-06-06 11:09:20 -0700637 // Throw the class initialization failure recorded when first trying to initialize the given
638 // class.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700639 void ThrowEarlierClassFailure(ObjPtr<mirror::Class> c, bool wrap_in_no_class_def = false)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700640 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800641 REQUIRES(!Locks::dex_lock_);
Jeff Haoc92a7a12016-06-06 11:09:20 -0700642
Mathieu Chartier65975772016-08-05 10:46:36 -0700643 // Get the actual holding class for a copied method. Pretty slow, don't call often.
644 mirror::Class* GetHoldingClassOfCopiedMethod(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700645 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier65975772016-08-05 10:46:36 -0700646
Andreas Gampe70f16392017-01-16 14:20:10 -0800647 // Returns null if not found.
Andreas Gampe2af99022017-04-25 08:32:59 -0700648 // This returns a pointer to the class-table, without requiring any locking - including the
649 // boot class-table. It is the caller's responsibility to access this under lock, if required.
Andreas Gampe70f16392017-01-16 14:20:10 -0800650 ClassTable* ClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampe2af99022017-04-25 08:32:59 -0700651 REQUIRES_SHARED(Locks::mutator_lock_)
652 NO_THREAD_SAFETY_ANALYSIS;
Andreas Gampe70f16392017-01-16 14:20:10 -0800653
Andreas Gampece7732b2017-01-17 15:50:26 -0800654 void AppendToBootClassPath(Thread* self, const DexFile& dex_file)
655 REQUIRES_SHARED(Locks::mutator_lock_)
656 REQUIRES(!Locks::dex_lock_);
657
Mathieu Chartier06bed302017-07-13 13:23:18 -0700658 // Visit all of the class loaders in the class linker.
659 void VisitClassLoaders(ClassLoaderVisitor* visitor) const
660 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
661
Jeff Hao0cb17282017-07-12 14:51:49 -0700662 // Checks that a class and its superclass from another class loader have the same virtual methods.
663 bool ValidateSuperClassDescriptors(Handle<mirror::Class> klass)
664 REQUIRES_SHARED(Locks::mutator_lock_);
665
Andreas Gampec1ac9ee2017-07-24 22:35:49 -0700666 ClassHierarchyAnalysis* GetClassHierarchyAnalysis() {
667 return cha_.get();
668 }
669
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800670 struct DexCacheData {
Vladimir Markocd556b02017-02-03 11:47:34 +0000671 // Construct an invalid data object.
672 DexCacheData()
673 : weak_root(nullptr),
674 dex_file(nullptr),
Vladimir Markocd556b02017-02-03 11:47:34 +0000675 class_table(nullptr) { }
676
677 // Check if the data is valid.
678 bool IsValid() const {
679 return dex_file != nullptr;
680 }
681
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800682 // Weak root to the DexCache. Note: Do not decode this unnecessarily or else class unloading may
683 // not work properly.
684 jweak weak_root;
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000685 // The following field caches the DexCache's field here to avoid unnecessary jweak decode that
686 // triggers read barriers (and marks them alive unnecessarily and messes with class unloading.)
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800687 const DexFile* dex_file;
Vladimir Markocd556b02017-02-03 11:47:34 +0000688 // Identify the associated class loader's class table. This is used to make sure that
689 // the Java call to native DexCache.setResolvedType() inserts the resolved type in that
690 // class table. It is also used to make sure we don't register the same dex cache with
691 // multiple class loaders.
692 ClassTable* class_table;
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800693 };
694
Chang Xing605fe242017-07-20 15:57:21 -0700695 protected:
696 virtual bool InitializeClass(Thread* self,
697 Handle<mirror::Class> klass,
698 bool can_run_clinit,
699 bool can_init_parents)
700 REQUIRES_SHARED(Locks::mutator_lock_)
701 REQUIRES(!Locks::dex_lock_);
702
Mathieu Chartier9e050df2017-08-09 10:05:47 -0700703 virtual verifier::FailureKind PerformClassVerification(Thread* self,
704 Handle<mirror::Class> klass,
705 verifier::HardFailLogMode log_level,
706 std::string* error_msg)
707 REQUIRES_SHARED(Locks::mutator_lock_);
708
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700709 private:
Vladimir Marko921094a2017-01-12 18:37:06 +0000710 class LinkInterfaceMethodsHelper;
711
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700712 struct ClassLoaderData {
Mathieu Chartierc3fcd412015-09-25 16:54:59 -0700713 jweak weak_root; // Weak root to enable class unloading.
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700714 ClassTable* class_table;
715 LinearAlloc* allocator;
716 };
717
Alex Lightf1f10492015-10-07 16:08:36 -0700718 // Ensures that the supertype of 'klass' ('supertype') is verified. Returns false and throws
719 // appropriate exceptions if verification failed hard. Returns true for successful verification or
720 // soft-failures.
721 bool AttemptSupertypeVerification(Thread* self,
722 Handle<mirror::Class> klass,
723 Handle<mirror::Class> supertype)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800724 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700725 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightf1f10492015-10-07 16:08:36 -0700726
Andreas Gampec1ac9ee2017-07-24 22:35:49 -0700727 void DeleteClassLoader(Thread* self, const ClassLoaderData& data)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700728 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100729
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700730 void VisitClassesInternal(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700731 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700732
733 // Returns the number of zygote and image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700734 size_t NumZygoteClasses() const
735 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700736 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700737
738 // Returns the number of non zygote nor image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700739 size_t NumNonZygoteClasses() const
740 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700741 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700742
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700743 void FinishInit(Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700744 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800745 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma663ea52011-08-19 23:33:41 -0700746
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700747 // For early bootstrapping by Init
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700748 mirror::Class* AllocClass(Thread* self,
749 ObjPtr<mirror::Class> java_lang_Class,
750 uint32_t class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700751 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700752 REQUIRES(!Roles::uninterruptible_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700753
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800754 // Alloc* convenience functions to avoid needing to pass in mirror::Class*
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700755 // values that are known to the ClassLinker such as
756 // kObjectArrayClass and kJavaLangString etc.
Ian Rogers6fac4472014-02-25 17:01:10 -0800757 mirror::Class* AllocClass(Thread* self, uint32_t class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700758 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700759 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700760
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700761 mirror::DexCache* AllocDexCache(ObjPtr<mirror::String>* out_location,
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700762 Thread* self,
763 const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700764 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700765 REQUIRES(!Roles::uninterruptible_);
Ian Rogersbdb03912011-09-14 00:55:44 -0700766
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700767 // Used for tests and AppendToBootClassPath.
768 mirror::DexCache* AllocAndInitializeDexCache(Thread* self,
769 const DexFile& dex_file,
770 LinearAlloc* linear_alloc)
771 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800772 REQUIRES(!Locks::dex_lock_)
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700773 REQUIRES(!Roles::uninterruptible_);
774
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800775 mirror::Class* CreatePrimitiveClass(Thread* self, Primitive::Type type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700776 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700777 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700778 mirror::Class* InitializePrimitiveClass(ObjPtr<mirror::Class> primitive_class,
779 Primitive::Type type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700780 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700781 REQUIRES(!Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700782
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700783 mirror::Class* CreateArrayClass(Thread* self,
784 const char* descriptor,
785 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700786 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700787 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800788 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700789
Vladimir Markocd556b02017-02-03 11:47:34 +0000790 void AppendToBootClassPath(const DexFile& dex_file, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700791 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800792 REQUIRES(!Locks::dex_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700793
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700794 // Precomputes size needed for Class, in the case of a non-temporary class this size must be
795 // sufficient to hold all static fields.
796 uint32_t SizeOfClassWithoutEmbeddedTables(const DexFile& dex_file,
797 const DexFile::ClassDef& dex_class_def);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700798
Mathieu Chartierc7853442015-03-27 14:35:38 -0700799 // Setup the classloader, class def index, type idx so that we can insert this class in the class
800 // table.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700801 void SetupClass(const DexFile& dex_file,
802 const DexFile::ClassDef& dex_class_def,
803 Handle<mirror::Class> klass,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700804 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700805 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700806
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700807 void LoadClass(Thread* self,
808 const DexFile& dex_file,
809 const DexFile::ClassDef& dex_class_def,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700810 Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700811 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700812 void LoadClassMembers(Thread* self,
813 const DexFile& dex_file,
814 const uint8_t* class_data,
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100815 Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700816 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700817
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700818 void LoadField(const ClassDataItemIterator& it, Handle<mirror::Class> klass, ArtField* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700819 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700820
Mathieu Chartier268764d2016-09-13 12:09:38 -0700821 void LoadMethod(const DexFile& dex_file,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700822 const ClassDataItemIterator& it,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700823 Handle<mirror::Class> klass, ArtMethod* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700824 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700825
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700826 void FixupStaticTrampolines(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800827
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000828 // Finds a class in a Path- or DexClassLoader, loading it if necessary without using JNI. Hash
Andreas Gampe34ee6842014-12-02 15:43:52 -0800829 // function is supposed to be ComputeModifiedUtf8Hash(descriptor). Returns true if the
830 // class-loader chain could be handled, false otherwise, i.e., a non-supported class-loader
831 // was encountered while walking the parent chain (currently only BootClassLoader and
832 // PathClassLoader are supported).
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000833 bool FindClassInBaseDexClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
834 Thread* self,
835 const char* descriptor,
836 size_t hash,
837 Handle<mirror::ClassLoader> class_loader,
838 ObjPtr<mirror::Class>* result)
Andreas Gampe34ee6842014-12-02 15:43:52 -0800839 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800840 REQUIRES(!Locks::dex_lock_);
Andreas Gampe34ee6842014-12-02 15:43:52 -0800841
Calin Juravle415dc3d2017-06-28 11:03:12 -0700842 // Finds the class in the classpath of the given class loader. It only searches the class loader
843 // dex files and does not recurse into its parent.
844 // The method checks that the provided class loader is either a PathClassLoader or a
845 // DexClassLoader.
846 // If the class is found the method returns the resolved class. Otherwise it returns null.
847 ObjPtr<mirror::Class> FindClassInBaseDexClassLoaderClassPath(
848 ScopedObjectAccessAlreadyRunnable& soa,
849 const char* descriptor,
850 size_t hash,
851 Handle<mirror::ClassLoader> class_loader)
852 REQUIRES_SHARED(Locks::mutator_lock_)
853 REQUIRES(!Locks::dex_lock_);
854
855 // Finds the class in the boot class loader.
856 // If the class is found the method returns the resolved class. Otherwise it returns null.
857 ObjPtr<mirror::Class> FindClassInBootClassLoaderClassPath(Thread* self,
858 const char* descriptor,
859 size_t hash)
860 REQUIRES_SHARED(Locks::mutator_lock_)
861 REQUIRES(!Locks::dex_lock_);
862
Andreas Gampe34ee6842014-12-02 15:43:52 -0800863 // Finds a class by its descriptor, returning NULL if it isn't wasn't loaded
864 // by the given 'class_loader'. Uses the provided hash for the descriptor.
865 mirror::Class* LookupClass(Thread* self,
866 const char* descriptor,
867 size_t hash,
868 ObjPtr<mirror::ClassLoader> class_loader)
869 REQUIRES(!Locks::classlinker_classes_lock_)
870 REQUIRES_SHARED(Locks::mutator_lock_);
871
Vladimir Markof44d36c2017-03-14 14:18:46 +0000872 // Find a field by its field index.
873 ArtField* LookupResolvedField(uint32_t field_idx,
874 ObjPtr<mirror::DexCache> dex_cache,
875 ObjPtr<mirror::ClassLoader> class_loader,
876 bool is_static)
877 REQUIRES_SHARED(Locks::mutator_lock_);
878
Vladimir Markocd556b02017-02-03 11:47:34 +0000879 void RegisterDexFileLocked(const DexFile& dex_file,
880 ObjPtr<mirror::DexCache> dex_cache,
881 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800882 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700883 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000884 DexCacheData FindDexCacheDataLocked(const DexFile& dex_file)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800885 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700886 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000887 static ObjPtr<mirror::DexCache> DecodeDexCache(Thread* self, const DexCacheData& data)
888 REQUIRES_SHARED(Locks::mutator_lock_);
889 // Called to ensure that the dex cache has been registered with the same class loader.
890 // If yes, returns the dex cache, otherwise throws InternalError and returns null.
891 ObjPtr<mirror::DexCache> EnsureSameClassLoader(Thread* self,
892 ObjPtr<mirror::DexCache> dex_cache,
893 const DexCacheData& data,
894 ObjPtr<mirror::ClassLoader> class_loader)
895 REQUIRES(!Locks::dex_lock_)
896 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700897
Alex Lighteb7c1442015-08-31 13:17:42 -0700898 bool InitializeDefaultInterfaceRecursive(Thread* self,
899 Handle<mirror::Class> klass,
900 bool can_run_clinit,
901 bool can_init_parents)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800902 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700903 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700904 bool WaitForInitializeClass(Handle<mirror::Class> klass,
905 Thread* self,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700906 ObjectLock<mirror::Class>& lock);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700907
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700908 bool IsSameDescriptorInDifferentClassContexts(Thread* self,
909 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700910 Handle<mirror::ClassLoader> class_loader1,
911 Handle<mirror::ClassLoader> class_loader2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700912 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700913
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700914 bool IsSameMethodSignatureInDifferentClassContexts(Thread* self,
915 ArtMethod* method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700916 ObjPtr<mirror::Class> klass1,
917 ObjPtr<mirror::Class> klass2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700918 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700919
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700920 bool LinkClass(Thread* self,
921 const char* descriptor,
922 Handle<mirror::Class> klass,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700923 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700924 MutableHandle<mirror::Class>* h_new_class_out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700925 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700926 REQUIRES(!Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700927
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700928 bool LinkSuperClass(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700929 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700930
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700931 bool LoadSuperAndInterfaces(Handle<mirror::Class> klass, const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700932 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800933 REQUIRES(!Locks::dex_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700934
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700935 bool LinkMethods(Thread* self,
936 Handle<mirror::Class> klass,
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700937 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000938 bool* out_new_conflict,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700939 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700940 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700941
Orion Hodsonf8db2c32017-07-07 20:07:12 +0100942 mirror::MethodHandle* ResolveMethodHandleForField(Thread* self,
943 const DexFile::MethodHandleItem& method_handle,
944 ArtMethod* referrer)
945 REQUIRES_SHARED(Locks::mutator_lock_);
946
947 mirror::MethodHandle* ResolveMethodHandleForMethod(Thread* self,
948 const DexFile* const dex_file,
949 const DexFile::MethodHandleItem& method_handle,
950 ArtMethod* referrer)
951 REQUIRES_SHARED(Locks::mutator_lock_);
952
Alex Light9139e002015-10-09 15:59:48 -0700953 // A wrapper class representing the result of a method translation used for linking methods and
954 // updating superclass default methods. For each method in a classes vtable there are 4 states it
955 // could be in:
956 // 1) No translation is necessary. In this case there is no MethodTranslation object for it. This
957 // is the standard case and is true when the method is not overridable by a default method,
958 // the class defines a concrete implementation of the method, the default method implementation
959 // remains the same, or an abstract method stayed abstract.
960 // 2) The method must be translated to a different default method. We note this with
961 // CreateTranslatedMethod.
962 // 3) The method must be replaced with a conflict method. This happens when a superclass
963 // implements an interface with a default method and this class implements an unrelated
964 // interface that also defines that default method. We note this with CreateConflictingMethod.
965 // 4) The method must be replaced with an abstract miranda method. This happens when a superclass
966 // implements an interface with a default method and this class implements a subinterface of
967 // the superclass's interface which declares the default method abstract. We note this with
968 // CreateAbstractMethod.
969 //
970 // When a method translation is unnecessary (case #1), we don't put it into the
971 // default_translation maps. So an instance of MethodTranslation must be in one of #2-#4.
972 class MethodTranslation {
973 public:
974 // This slot must become a default conflict method.
975 static MethodTranslation CreateConflictingMethod() {
976 return MethodTranslation(Type::kConflict, /*translation*/nullptr);
977 }
978
979 // This slot must become an abstract method.
980 static MethodTranslation CreateAbstractMethod() {
981 return MethodTranslation(Type::kAbstract, /*translation*/nullptr);
982 }
983
984 // Use the given method as the current value for this vtable slot during translation.
985 static MethodTranslation CreateTranslatedMethod(ArtMethod* new_method) {
986 return MethodTranslation(Type::kTranslation, new_method);
987 }
988
989 // Returns true if this is a method that must become a conflict method.
990 bool IsInConflict() const {
991 return type_ == Type::kConflict;
992 }
993
994 // Returns true if this is a method that must become an abstract method.
995 bool IsAbstract() const {
996 return type_ == Type::kAbstract;
997 }
998
999 // Returns true if this is a method that must become a different method.
1000 bool IsTranslation() const {
1001 return type_ == Type::kTranslation;
1002 }
1003
1004 // Get the translated version of this method.
1005 ArtMethod* GetTranslation() const {
1006 DCHECK(IsTranslation());
1007 DCHECK(translation_ != nullptr);
1008 return translation_;
1009 }
1010
1011 private:
1012 enum class Type {
1013 kTranslation,
1014 kConflict,
1015 kAbstract,
1016 };
1017
1018 MethodTranslation(Type type, ArtMethod* translation)
1019 : translation_(translation), type_(type) {}
1020
1021 ArtMethod* const translation_;
1022 const Type type_;
1023 };
1024
Alex Lighteb7c1442015-08-31 13:17:42 -07001025 // Links the virtual methods for the given class and records any default methods that will need to
1026 // be updated later.
1027 //
1028 // Arguments:
1029 // * self - The current thread.
1030 // * klass - class, whose vtable will be filled in.
1031 // * default_translations - Vtable index to new method map.
1032 // Any vtable entries that need to be updated with new default methods
1033 // are stored into the default_translations map. The default_translations
1034 // map is keyed on the vtable index that needs to be updated. We use this
1035 // map because if we override a default method with another default
1036 // method we need to update the vtable to point to the new method.
1037 // Unfortunately since we copy the ArtMethod* we cannot just do a simple
1038 // scan, we therefore store the vtable index's that might need to be
1039 // updated with the method they will turn into.
1040 // TODO This whole default_translations thing is very dirty. There should be a better way.
Alex Light9139e002015-10-09 15:59:48 -07001041 bool LinkVirtualMethods(
1042 Thread* self,
1043 Handle<mirror::Class> klass,
1044 /*out*/std::unordered_map<size_t, MethodTranslation>* default_translations)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001045 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001046
Alex Lighteb7c1442015-08-31 13:17:42 -07001047 // Sets up the interface lookup table (IFTable) in the correct order to allow searching for
1048 // default methods.
1049 bool SetupInterfaceLookupTable(Thread* self,
1050 Handle<mirror::Class> klass,
1051 Handle<mirror::ObjectArray<mirror::Class>> interfaces)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001052 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001053
Alex Light9139e002015-10-09 15:59:48 -07001054
1055 enum class DefaultMethodSearchResult {
1056 kDefaultFound,
1057 kAbstractFound,
1058 kDefaultConflict
1059 };
1060
Alex Lighteb7c1442015-08-31 13:17:42 -07001061 // Find the default method implementation for 'interface_method' in 'klass', if one exists.
1062 //
1063 // Arguments:
1064 // * self - The current thread.
1065 // * target_method - The method we are trying to find a default implementation for.
1066 // * klass - The class we are searching for a definition of target_method.
1067 // * out_default_method - The pointer we will store the found default method to on success.
Alex Lighteb7c1442015-08-31 13:17:42 -07001068 //
1069 // Return value:
Alex Light9139e002015-10-09 15:59:48 -07001070 // * kDefaultFound - There were no conflicting method implementations found in the class while
1071 // searching for target_method. The default method implementation is stored into
1072 // out_default_method.
1073 // * kAbstractFound - There were no conflicting method implementations found in the class while
1074 // searching for target_method but no default implementation was found either.
1075 // out_default_method is set to null and the method should be considered not
1076 // implemented.
1077 // * kDefaultConflict - Conflicting method implementations were found when searching for
1078 // target_method. The value of *out_default_method is null.
1079 DefaultMethodSearchResult FindDefaultMethodImplementation(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001080 Thread* self,
1081 ArtMethod* target_method,
1082 Handle<mirror::Class> klass,
1083 /*out*/ArtMethod** out_default_method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001084 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001085
1086 // Sets the imt entries and fixes up the vtable for the given class by linking all the interface
1087 // methods. See LinkVirtualMethods for an explanation of what default_translations is.
Alex Light9139e002015-10-09 15:59:48 -07001088 bool LinkInterfaceMethods(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001089 Thread* self,
1090 Handle<mirror::Class> klass,
1091 const std::unordered_map<size_t, MethodTranslation>& default_translations,
1092 bool* out_new_conflict,
1093 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001094 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001095
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001096 bool LinkStaticFields(Thread* self, Handle<mirror::Class> klass, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001097 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001098 bool LinkInstanceFields(Thread* self, Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001099 REQUIRES_SHARED(Locks::mutator_lock_);
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001100 bool LinkFields(Thread* self, Handle<mirror::Class> klass, bool is_static, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001101 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001102 void CreateReferenceInstanceOffsets(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001103 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001104
Mathieu Chartiere401d142015-04-22 13:56:20 -07001105 void CheckProxyConstructor(ArtMethod* constructor) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001106 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001107 void CheckProxyMethod(ArtMethod* method, ArtMethod* prototype) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001108 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001109
Andreas Gampecc1b5352016-12-01 16:58:38 -08001110 size_t GetDexCacheCount() REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001111 return dex_caches_.size();
1112 }
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001113 const std::list<DexCacheData>& GetDexCachesData()
Andreas Gampecc1b5352016-12-01 16:58:38 -08001114 REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001115 return dex_caches_;
1116 }
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001117
Mathieu Chartiere401d142015-04-22 13:56:20 -07001118 void CreateProxyConstructor(Handle<mirror::Class> klass, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001119 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001120 void CreateProxyMethod(Handle<mirror::Class> klass, ArtMethod* prototype, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001121 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -04001122
Mathieu Chartier5b830502016-03-02 10:30:23 -08001123 // Register a class loader and create its class table and allocator. Should not be called if
1124 // these are already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001125 void RegisterClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001126 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier5b830502016-03-02 10:30:23 -08001127 REQUIRES(Locks::classlinker_classes_lock_);
1128
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001129 // Insert a new class table if not found.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001130 ClassTable* InsertClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001131 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001132 REQUIRES(Locks::classlinker_classes_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001133
Ian Rogersdbf3be02014-08-29 15:40:08 -07001134 // EnsureResolved is called to make sure that a class in the class_table_ has been resolved
1135 // before returning it to the caller. Its the responsibility of the thread that placed the class
1136 // in the table to make it resolved. The thread doing resolution must notify on the class' lock
1137 // when resolution has occurred. This happens in mirror::Class::SetStatus. As resolution may
1138 // retire a class, the version of the class in the table is returned and this may differ from
1139 // the class passed in.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001140 mirror::Class* EnsureResolved(Thread* self, const char* descriptor, ObjPtr<mirror::Class> klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001141 WARN_UNUSED
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001142 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001143 REQUIRES(!Locks::dex_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001144
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001145 void FixupTemporaryDeclaringClass(ObjPtr<mirror::Class> temp_class,
1146 ObjPtr<mirror::Class> new_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001147 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001148
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001149 void SetClassRoot(ClassRoot class_root, ObjPtr<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001150 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001151
1152 // Return the quick generic JNI stub for testing.
1153 const void* GetRuntimeQuickGenericJniStub() const;
1154
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001155 bool CanWeInitializeClass(ObjPtr<mirror::Class> klass,
1156 bool can_init_statics,
1157 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001158 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001159
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001160 void UpdateClassMethods(ObjPtr<mirror::Class> klass,
Alex Lighte64300b2015-12-15 15:02:47 -08001161 LengthPrefixedArray<ArtMethod>* new_methods)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001162 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001163 REQUIRES(!Locks::classlinker_classes_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001164
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001165 // Check that c1 == FindSystemClass(self, descriptor). Abort with class dumps otherwise.
1166 void CheckSystemClass(Thread* self, Handle<mirror::Class> c1, const char* descriptor)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001167 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001168 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001169
Vladimir Marko921094a2017-01-12 18:37:06 +00001170 // Allocate method arrays for interfaces.
1171 bool AllocateIfTableMethodArrays(Thread* self,
1172 Handle<mirror::Class> klass,
1173 Handle<mirror::IfTable> iftable)
1174 REQUIRES_SHARED(Locks::mutator_lock_);
1175
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001176 // Sets imt_ref appropriately for LinkInterfaceMethods.
1177 // If there is no method in the imt location of imt_ref it will store the given method there.
1178 // Otherwise it will set the conflict method which will figure out which method to use during
1179 // runtime.
1180 void SetIMTRef(ArtMethod* unimplemented_method,
1181 ArtMethod* imt_conflict_method,
1182 ArtMethod* current_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001183 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001184 /*out*/ArtMethod** imt_ref) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001185
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001186 void FillIMTFromIfTable(ObjPtr<mirror::IfTable> if_table,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001187 ArtMethod* unimplemented_method,
1188 ArtMethod* imt_conflict_method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001189 ObjPtr<mirror::Class> klass,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001190 bool create_conflict_tables,
1191 bool ignore_copied_methods,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001192 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001193 /*out*/ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001194
1195 void FillImtFromSuperClass(Handle<mirror::Class> klass,
1196 ArtMethod* unimplemented_method,
1197 ArtMethod* imt_conflict_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001198 bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001199 ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001200
Vladimir Markoba118822017-06-12 15:41:56 +01001201 // Check invoke type against the referenced class. Throws IncompatibleClassChangeError
1202 // (if `kThrowOnError`) and returns true on mismatch (kInterface on a non-interface class,
1203 // kVirtual on interface, kDefault on interface for dex files not supporting default methods),
1204 // otherwise returns false.
1205 template <bool kThrowOnError, typename ClassGetter>
1206 static bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1207 InvokeType type,
1208 ClassGetter class_getter)
1209 REQUIRES_SHARED(Locks::mutator_lock_);
1210 // Helper that feeds the above function with `ClassGetter` doing `LookupResolvedType()`.
1211 template <bool kThrow>
1212 bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1213 InvokeType type,
1214 uint32_t method_idx,
1215 ObjPtr<mirror::ClassLoader> class_loader)
1216 REQUIRES_SHARED(Locks::mutator_lock_);
1217
Brian Carlstrom4a96b602011-07-26 16:40:23 -07001218 std::vector<const DexFile*> boot_class_path_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001219 std::vector<std::unique_ptr<const DexFile>> boot_dex_files_;
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07001220
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001221 // JNI weak globals and side data to allow dex caches to get unloaded. We lazily delete weak
1222 // globals when we register new dex files.
Andreas Gampecc1b5352016-12-01 16:58:38 -08001223 std::list<DexCacheData> dex_caches_ GUARDED_BY(Locks::dex_lock_);
Brian Carlstrom47d237a2011-10-18 15:08:33 -07001224
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -07001225 // This contains the class loaders which have class tables. It is populated by
Mathieu Chartier951ec2c2015-09-22 08:50:05 -07001226 // InsertClassTableForClassLoader.
1227 std::list<ClassLoaderData> class_loaders_
Mathieu Chartier6b069532015-08-05 15:08:12 -07001228 GUARDED_BY(Locks::classlinker_classes_lock_);
1229
1230 // Boot class path table. Since the class loader for this is null.
Andreas Gampe2af99022017-04-25 08:32:59 -07001231 std::unique_ptr<ClassTable> boot_class_table_ GUARDED_BY(Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001232
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001233 // New class roots, only used by CMS since the GC needs to mark these in the pause.
1234 std::vector<GcRoot<mirror::Class>> new_class_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Elliott Hughesf8349362012-06-18 15:00:06 -07001235
Vladimir Marko1998cd02017-01-13 13:02:58 +00001236 // Boot image oat files with new .bss GC roots to be visited in the pause by CMS.
1237 std::vector<const OatFile*> new_bss_roots_boot_oat_files_
1238 GUARDED_BY(Locks::classlinker_classes_lock_);
1239
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001240 // Number of times we've searched dex caches for a class. After a certain number of misses we move
1241 // the classes into the class_table_ to avoid dex cache based searches.
Ian Rogers68b56852014-08-29 20:19:11 -07001242 Atomic<uint32_t> failed_dex_cache_class_lookups_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001243
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001244 // Well known mirror::Class roots.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001245 GcRoot<mirror::ObjectArray<mirror::Class>> class_roots_;
Brian Carlstrom913af1b2011-07-23 21:41:13 -07001246
Ian Rogers98379392014-02-24 16:53:16 -08001247 // The interface table used by all arrays.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001248 GcRoot<mirror::IfTable> array_iftable_;
Carl Shapiro565f5072011-07-10 13:39:43 -07001249
Ian Rogers98379392014-02-24 16:53:16 -08001250 // A cache of the last FindArrayClass results. The cache serves to avoid creating array class
1251 // descriptors for the sake of performing FindClass.
1252 static constexpr size_t kFindArrayCacheSize = 16;
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001253 GcRoot<mirror::Class> find_array_class_cache_[kFindArrayCacheSize];
Ian Rogers98379392014-02-24 16:53:16 -08001254 size_t find_array_class_cache_next_victim_;
1255
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001256 bool init_done_;
Vladimir Marko1998cd02017-01-13 13:02:58 +00001257 bool log_new_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001258
Elliott Hughescf4c6c42011-09-01 15:16:42 -07001259 InternTable* intern_table_;
1260
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001261 // Trampolines within the image the bounce to runtime entrypoints. Done so that there is a single
1262 // patch point within the image. TODO: make these proper relocations.
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001263 const void* quick_resolution_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -07001264 const void* quick_imt_conflict_trampoline_;
Andreas Gampe2da88232014-02-27 12:26:20 -08001265 const void* quick_generic_jni_trampoline_;
Vladimir Marko8a630572014-04-09 18:45:35 +01001266 const void* quick_to_interpreter_bridge_trampoline_;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001267
Mathieu Chartier2d721012014-11-10 11:08:06 -08001268 // Image pointer size.
Andreas Gampe542451c2016-07-26 09:02:02 -07001269 PointerSize image_pointer_size_;
Mathieu Chartier2d721012014-11-10 11:08:06 -08001270
Andreas Gampec1ac9ee2017-07-24 22:35:49 -07001271 std::unique_ptr<ClassHierarchyAnalysis> cha_;
1272
Mathieu Chartier65975772016-08-05 10:46:36 -07001273 class FindVirtualMethodHolderVisitor;
Andreas Gampe2af99022017-04-25 08:32:59 -07001274
1275 friend class AppImageClassLoadersAndDexCachesHelper;
Mathieu Chartier496577f2016-09-20 15:33:31 -07001276 friend struct CompilationHelper; // For Compile in ImageTest.
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001277 friend class ImageDumper; // for DexLock
Brian Carlstrom34f426c2011-10-04 12:58:02 -07001278 friend class ImageWriter; // for GetClassRoots
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001279 friend class JniCompilerTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe5f4a09a2015-09-28 13:16:33 -07001280 friend class JniInternalTest; // for GetRuntimeQuickGenericJniStub
Vladimir Marko94ec2db2017-09-06 17:21:03 +01001281 friend class OatWriter; // for boot image string/class table slot address lookup.
Andreas Gampe2af99022017-04-25 08:32:59 -07001282 friend class VMClassLoader; // for LookupClass and FindClassInBaseDexClassLoader.
Mathieu Chartier76172162016-01-26 14:54:06 -08001283 ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for DexLock, and RegisterDexFileLocked
Narayan Kamath25352fc2016-08-03 12:46:58 +01001284 ART_FRIEND_TEST(mirror::DexCacheMethodHandlesTest, Open); // for AllocDexCache
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001285 ART_FRIEND_TEST(mirror::DexCacheTest, Open); // for AllocDexCache
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001286 DISALLOW_COPY_AND_ASSIGN(ClassLinker);
1287};
1288
Andreas Gampe0f01b582017-01-18 15:22:37 -08001289class ClassLoadCallback {
1290 public:
1291 virtual ~ClassLoadCallback() {}
1292
Alex Lightb0f11922017-01-23 14:25:17 -08001293 // If set we will replace initial_class_def & initial_dex_file with the final versions. The
1294 // callback author is responsible for ensuring these are allocated in such a way they can be
1295 // cleaned up if another transformation occurs. Note that both must be set or null/unchanged on
1296 // return.
1297 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1298 // different object. It is the listener's responsibility to handle this.
1299 // Note: This callback is rarely useful so a default implementation has been given that does
1300 // nothing.
1301 virtual void ClassPreDefine(const char* descriptor ATTRIBUTE_UNUSED,
1302 Handle<mirror::Class> klass ATTRIBUTE_UNUSED,
1303 Handle<mirror::ClassLoader> class_loader ATTRIBUTE_UNUSED,
1304 const DexFile& initial_dex_file ATTRIBUTE_UNUSED,
1305 const DexFile::ClassDef& initial_class_def ATTRIBUTE_UNUSED,
1306 /*out*/DexFile const** final_dex_file ATTRIBUTE_UNUSED,
Alex Light4b0cedf2017-01-24 11:15:20 -08001307 /*out*/DexFile::ClassDef const** final_class_def ATTRIBUTE_UNUSED)
Alex Lightb0f11922017-01-23 14:25:17 -08001308 REQUIRES_SHARED(Locks::mutator_lock_) {}
1309
Andreas Gampe0f01b582017-01-18 15:22:37 -08001310 // A class has been loaded.
1311 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1312 // different object. It is the listener's responsibility to handle this.
1313 virtual void ClassLoad(Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1314
1315 // A class has been prepared, i.e., resolved. As the ClassLoad event might have been for a
1316 // temporary class, provide both the former and the current class.
1317 virtual void ClassPrepare(Handle<mirror::Class> temp_klass,
1318 Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1319};
1320
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001321} // namespace art
1322
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001323#endif // ART_RUNTIME_CLASS_LINKER_H_