blob: 60cff9ee373bc7c6e3a23f5f086cf31987824966 [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"
David Sehr999646d2018-02-16 10:22:33 -080030#include "dex/dex_cache_resolved_classes.h"
David Sehr9e734c72018-01-04 17:56:19 -080031#include "dex/dex_file.h"
32#include "dex/dex_file_types.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070033#include "gc_root.h"
Andreas Gampe0f01b582017-01-18 15:22:37 -080034#include "handle.h"
Mathieu Chartier590fee92013-09-13 13:46:47 -070035#include "jni.h"
Vladimir Marko97d7e1c2016-10-04 14:44:28 +010036#include "mirror/class.h"
Andreas Gampe6d7abbd2017-04-24 13:19:09 -070037#include "verifier/verifier_enums.h"
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070038
39namespace art {
Mingyao Yang98d1cc82014-05-15 17:02:16 -070040
Ian Rogers1d54e732013-05-02 21:10:01 -070041namespace gc {
42namespace space {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080043class ImageSpace;
Ian Rogers1d54e732013-05-02 21:10:01 -070044} // namespace space
45} // namespace gc
Vladimir Marko74527972016-11-29 15:57:32 +000046
47namespace linker {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080048struct CompilationHelper;
49class ImageWriter;
50class OatWriter;
Vladimir Marko74527972016-11-29 15:57:32 +000051} // namespace linker
52
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080053namespace mirror {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080054class ClassLoader;
55class DexCache;
56class DexCachePointerArray;
57class DexCacheMethodHandlesTest_Open_Test;
58class DexCacheTest_Open_Test;
59class IfTable;
60class MethodHandle;
61class MethodHandlesLookup;
62class MethodType;
63template<class T> class ObjectArray;
64class StackTraceElement;
65template <typename T> struct NativeDexCachePair;
66using MethodDexCachePair = NativeDexCachePair<ArtMethod>;
67using MethodDexCacheType = std::atomic<MethodDexCachePair>;
Ian Rogers33e95662013-05-20 20:29:14 -070068} // namespace mirror
Ian Rogers1d54e732013-05-02 21:10:01 -070069
Andreas Gampec1ac9ee2017-07-24 22:35:49 -070070class ClassHierarchyAnalysis;
Andreas Gampe2af99022017-04-25 08:32:59 -070071class ClassTable;
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070072template<class T> class Handle;
Vladimir Marko97d7e1c2016-10-04 14:44:28 +010073class ImtConflictTable;
74template<typename T> class LengthPrefixedArray;
Hiroshi Yamauchi679b1cf2015-05-21 12:05:27 -070075template<class T> class MutableHandle;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070076class InternTable;
Andreas Gamped482e732017-04-24 17:59:09 -070077class LinearAlloc;
Vladimir Marko1998cd02017-01-13 13:02:58 +000078class OatFile;
Mathieu Chartierc528dba2013-11-26 12:00:11 -080079template<class T> class ObjectLock;
Andreas Gampe7ba64962014-10-23 11:37:40 -070080class Runtime;
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070081class ScopedObjectAccessAlreadyRunnable;
Mathieu Chartier2d2621a2014-10-23 16:48:06 -070082template<size_t kNumReferences> class PACKED(4) StackHandleScope;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070083
Mathieu Chartier893263b2014-03-04 11:07:42 -080084enum VisitRootFlags : uint8_t;
85
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -080086class ClassVisitor {
87 public:
88 virtual ~ClassVisitor() {}
89 // Return true to continue visiting.
Mathieu Chartier28357fa2016-10-18 16:27:40 -070090 virtual bool operator()(ObjPtr<mirror::Class> klass) = 0;
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -080091};
92
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -070093class ClassLoaderVisitor {
94 public:
95 virtual ~ClassLoaderVisitor() {}
Mathieu Chartier28357fa2016-10-18 16:27:40 -070096 virtual void Visit(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070097 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_) = 0;
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -070098};
99
Alexey Grebenkin252a4e42018-04-02 18:18:01 +0300100class AllocatorVisitor {
101 public:
102 virtual ~AllocatorVisitor() {}
103 // Return true to continue visiting.
104 virtual bool Visit(LinearAlloc* alloc)
105 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_) = 0;
106};
107
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700108class ClassLinker {
109 public:
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700110 // Well known mirror::Class roots accessed via GetClassRoot.
111 enum ClassRoot {
112 kJavaLangClass,
113 kJavaLangObject,
114 kClassArrayClass,
115 kObjectArrayClass,
116 kJavaLangString,
117 kJavaLangDexCache,
118 kJavaLangRefReference,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700119 kJavaLangReflectConstructor,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700120 kJavaLangReflectField,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700121 kJavaLangReflectMethod,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700122 kJavaLangReflectProxy,
123 kJavaLangStringArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700124 kJavaLangReflectConstructorArrayClass,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700125 kJavaLangReflectFieldArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700126 kJavaLangReflectMethodArrayClass,
Orion Hodsonc069a302017-01-18 09:23:12 +0000127 kJavaLangInvokeCallSite,
Narayan Kamathafa48272016-08-03 12:46:58 +0100128 kJavaLangInvokeMethodHandleImpl,
Orion Hodsonc069a302017-01-18 09:23:12 +0000129 kJavaLangInvokeMethodHandlesLookup,
Narayan Kamathafa48272016-08-03 12:46:58 +0100130 kJavaLangInvokeMethodType,
Orion Hodson005ac512017-10-24 15:43:43 +0100131 kJavaLangInvokeVarHandle,
132 kJavaLangInvokeFieldVarHandle,
133 kJavaLangInvokeArrayElementVarHandle,
134 kJavaLangInvokeByteArrayViewVarHandle,
135 kJavaLangInvokeByteBufferViewVarHandle,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700136 kJavaLangClassLoader,
137 kJavaLangThrowable,
138 kJavaLangClassNotFoundException,
139 kJavaLangStackTraceElement,
Narayan Kamath000e1882016-10-24 17:14:25 +0100140 kDalvikSystemEmulatedStackFrame,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700141 kPrimitiveBoolean,
142 kPrimitiveByte,
143 kPrimitiveChar,
144 kPrimitiveDouble,
145 kPrimitiveFloat,
146 kPrimitiveInt,
147 kPrimitiveLong,
148 kPrimitiveShort,
149 kPrimitiveVoid,
150 kBooleanArrayClass,
151 kByteArrayClass,
152 kCharArrayClass,
153 kDoubleArrayClass,
154 kFloatArrayClass,
155 kIntArrayClass,
156 kLongArrayClass,
157 kShortArrayClass,
158 kJavaLangStackTraceElementArrayClass,
Alex Lightd6251582016-10-31 11:12:30 -0700159 kDalvikSystemClassExt,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700160 kClassRootsMax,
161 };
162
Mathieu Chartier0933cc52018-03-23 14:25:08 -0700163 static constexpr bool kAppImageMayContainStrings = false;
164
Mathieu Chartier590fee92013-09-13 13:46:47 -0700165 explicit ClassLinker(InternTable* intern_table);
Chang Xing605fe242017-07-20 15:57:21 -0700166 virtual ~ClassLinker();
Carl Shapiro565f5072011-07-10 13:39:43 -0700167
Alex Light64ad14d2014-08-19 14:23:13 -0700168 // Initialize class linker by bootstraping from dex files.
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800169 bool InitWithoutImage(std::vector<std::unique_ptr<const DexFile>> boot_class_path,
170 std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700171 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800172 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700173
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800174 // Initialize class linker from one or more boot images.
175 bool InitFromBootImage(std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700176 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800177 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700178
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800179 // Add an image space to the class linker, may fix up classloader fields and dex cache fields.
180 // The dex files that were newly opened for the space are placed in the out argument
181 // out_dex_files. Returns true if the operation succeeded.
182 // The space must be already added to the heap before calling AddImageSpace since we need to
183 // properly handle read barriers and object marking.
184 bool AddImageSpace(gc::space::ImageSpace* space,
185 Handle<mirror::ClassLoader> class_loader,
186 jobjectArray dex_elements,
187 const char* dex_location,
188 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
189 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800190 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700191 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800192
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800193 bool OpenImageDexFiles(gc::space::ImageSpace* space,
194 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
195 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800196 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700197 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800198
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700199 // Finds a class by its descriptor, loading it if necessary.
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700200 // If class_loader is null, searches boot_class_path_.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700201 mirror::Class* FindClass(Thread* self,
202 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700203 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700204 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800205 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700206
Ian Rogers98379392014-02-24 16:53:16 -0800207 // Finds a class by its descriptor using the "system" class loader, ie by searching the
208 // boot_class_path_.
209 mirror::Class* FindSystemClass(Thread* self, const char* descriptor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700210 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800211 REQUIRES(!Locks::dex_lock_) {
212 return FindClass(self, descriptor, ScopedNullHandle<mirror::ClassLoader>());
213 }
Ian Rogers98379392014-02-24 16:53:16 -0800214
215 // Finds the array class given for the element class.
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700216 mirror::Class* FindArrayClass(Thread* self, ObjPtr<mirror::Class>* element_class)
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_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700219
Ian Rogers63557452014-06-04 16:57:15 -0700220 // Returns true if the class linker is initialized.
Ian Rogers7b078e82014-09-10 14:44:24 -0700221 bool IsInitialized() const {
222 return init_done_;
223 }
Mathieu Chartier590fee92013-09-13 13:46:47 -0700224
Brian Carlstromaded5f72011-10-07 17:15:04 -0700225 // Define a new a class based on a ClassDef from a DexFile
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700226 mirror::Class* DefineClass(Thread* self,
227 const char* descriptor,
228 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700229 Handle<mirror::ClassLoader> class_loader,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700230 const DexFile& dex_file,
231 const DexFile::ClassDef& dex_class_def)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700232 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800233 REQUIRES(!Locks::dex_lock_);
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700234
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700235 // Finds a class by its descriptor, returning null if it isn't wasn't loaded
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700236 // by the given 'class_loader'.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700237 mirror::Class* LookupClass(Thread* self,
238 const char* descriptor,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700239 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700240 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampe2ff3b972017-06-05 18:14:53 -0700241 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700242
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800243 // Finds all the classes with the given descriptor, regardless of ClassLoader.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700244 void LookupClasses(const char* descriptor, std::vector<ObjPtr<mirror::Class>>& classes)
Mathieu Chartier90443472015-07-16 20:32:27 -0700245 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700246 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800247
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700248 mirror::Class* FindPrimitiveClass(char type) REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700249
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700250 void DumpForSigQuit(std::ostream& os) REQUIRES(!Locks::classlinker_classes_lock_);
Elliott Hughescac6cc72011-11-03 20:31:21 -0700251
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700252 size_t NumLoadedClasses()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700253 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700254 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughese27955c2011-08-26 15:21:24 -0700255
Vladimir Markoa64b52d2017-12-08 16:27:49 +0000256 // Resolve a String with the given index from the DexFile associated with the given DexCache,
257 // storing the result in the DexCache.
258 ObjPtr<mirror::String> ResolveString(dex::StringIndex string_idx,
Vladimir Marko28e012a2017-12-07 11:22:59 +0000259 Handle<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700260 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700261
Vladimir Markoa64b52d2017-12-08 16:27:49 +0000262 // Find a String with the given index from the DexFile associated with the given DexCache,
263 // storing the result in the DexCache if found. Return null if not found.
264 ObjPtr<mirror::String> LookupString(dex::StringIndex string_idx,
Vladimir Marko28e012a2017-12-07 11:22:59 +0000265 ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700266 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000267
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000268 // Resolve a Type with the given index from the DexFile associated with the given `referrer`,
269 // storing the result in the DexCache. The `referrer` is used to identify the target DexCache
270 // and ClassLoader to use for resolution.
271 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx, ObjPtr<mirror::Class> referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700272 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800273 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700274
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000275 // Resolve a type with the given index from the DexFile associated with the given `referrer`,
276 // storing the result in the DexCache. The `referrer` is used to identify the target DexCache
277 // and ClassLoader to use for resolution.
Vladimir Marko28e012a2017-12-07 11:22:59 +0000278 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700279 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800280 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700281
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000282 // Resolve a type with the given index from the DexFile associated with the given DexCache
283 // and ClassLoader, storing the result in DexCache. The ClassLoader is used to search for
284 // the type, since it may be referenced from but not contained within the DexFile.
285 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx,
Vladimir Marko28e012a2017-12-07 11:22:59 +0000286 Handle<mirror::DexCache> dex_cache,
287 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700288 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800289 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700290
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000291 // Look up a resolved type with the given index from the DexFile associated with the given
292 // `referrer`, storing the result in the DexCache. The `referrer` is used to identify the
293 // target DexCache and ClassLoader to use for lookup.
294 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx,
295 ObjPtr<mirror::Class> referrer)
296 REQUIRES_SHARED(Locks::mutator_lock_);
297
298 // Look up a resolved type with the given index from the DexFile associated with the given
299 // `referrer`, storing the result in the DexCache. The `referrer` is used to identify the
300 // target DexCache and ClassLoader to use for lookup.
301 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx, ArtMethod* referrer)
302 REQUIRES_SHARED(Locks::mutator_lock_);
303
304 // Look up a resolved type with the given index from the DexFile associated with the given
305 // DexCache and ClassLoader. The ClassLoader is used to search for the type, since it may
306 // be referenced from but not contained within the DexFile.
307 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx,
308 ObjPtr<mirror::DexCache> dex_cache,
309 ObjPtr<mirror::ClassLoader> class_loader)
310 REQUIRES_SHARED(Locks::mutator_lock_);
311
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800312 // Determine whether a dex cache result should be trusted, or an IncompatibleClassChangeError
Vladimir Markoba118822017-06-12 15:41:56 +0100313 // check and IllegalAccessError check should be performed even after a hit.
314 enum class ResolveMode { // private.
315 kNoChecks,
316 kCheckICCEAndIAE
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800317 };
318
Vladimir Marko07bfbac2017-07-06 14:55:02 +0100319 // Look up a previously resolved method with the given index.
320 ArtMethod* LookupResolvedMethod(uint32_t method_idx,
321 ObjPtr<mirror::DexCache> dex_cache,
322 ObjPtr<mirror::ClassLoader> class_loader)
323 REQUIRES_SHARED(Locks::mutator_lock_);
324
Nicolas Geoffrayea179f42018-02-08 22:30:18 +0000325 // Find a method with the given index from class `klass`, and update the dex cache.
326 ArtMethod* FindResolvedMethod(ObjPtr<mirror::Class> klass,
327 ObjPtr<mirror::DexCache> dex_cache,
328 ObjPtr<mirror::ClassLoader> class_loader,
329 uint32_t method_idx)
330 REQUIRES_SHARED(Locks::mutator_lock_);
331
David Brazdil4525e0b2018-04-05 16:57:32 +0100332 // Find a method using the wrong lookup mechanism. If `klass` is an interface,
333 // search for a class method. If it is a class, search for an interface method.
334 // This is useful when throwing IncompatibleClassChangeError.
335 ArtMethod* FindIncompatibleMethod(ObjPtr<mirror::Class> klass,
336 ObjPtr<mirror::DexCache> dex_cache,
337 ObjPtr<mirror::ClassLoader> class_loader,
338 uint32_t method_idx)
339 REQUIRES_SHARED(Locks::mutator_lock_);
340
Vladimir Marko89011192017-12-11 13:45:05 +0000341 // Resolve a method with a given ID from the DexFile associated with the given DexCache
342 // and ClassLoader, storing the result in DexCache. The ClassLinker and ClassLoader are
343 // used as in ResolveType. What is unique is the method type argument which is used to
344 // determine if this method is a direct, static, or virtual method.
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800345 template <ResolveMode kResolveMode>
Vladimir Marko89011192017-12-11 13:45:05 +0000346 ArtMethod* ResolveMethod(uint32_t method_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700347 Handle<mirror::DexCache> dex_cache,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700348 Handle<mirror::ClassLoader> class_loader,
349 ArtMethod* referrer,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700350 InvokeType type)
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
Vladimir Markoba118822017-06-12 15:41:56 +0100354 template <InvokeType type, ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700355 ArtMethod* GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700356 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightfedd91d2016-01-07 14:49:16 -0800357
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800358 template <ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700359 ArtMethod* ResolveMethod(Thread* self, uint32_t method_idx, ArtMethod* referrer, InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700360 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800361 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Vladimir Marko89011192017-12-11 13:45:05 +0000362 ArtMethod* ResolveMethodWithoutInvokeType(uint32_t method_idx,
Jeff Hao0042c6d2015-07-29 20:14:10 -0700363 Handle<mirror::DexCache> dex_cache,
364 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700365 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800366 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom16192862011-09-12 17:50:06 -0700367
Vladimir Markof44d36c2017-03-14 14:18:46 +0000368 ArtField* LookupResolvedField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700369 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700370 ArtField* ResolveField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700371 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800372 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstromb9edb842011-08-28 16:31:06 -0700373
Vladimir Markoe11dd502017-12-08 14:09:45 +0000374 // Resolve a field with a given ID from the DexFile associated with the given DexCache
375 // and ClassLoader, storing the result in DexCache. The ClassLinker and ClassLoader
376 // are used as in ResolveType. What is unique is the is_static argument which is used
377 // to determine if we are resolving a static or non-static field.
378 ArtField* ResolveField(uint32_t field_idx,
Mathieu Chartier90443472015-07-16 20:32:27 -0700379 Handle<mirror::DexCache> dex_cache,
Vladimir Markoe11dd502017-12-08 14:09:45 +0000380 Handle<mirror::ClassLoader> class_loader,
381 bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700382 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800383 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700384
Vladimir Markoe11dd502017-12-08 14:09:45 +0000385 // Resolve a field with a given ID from the DexFile associated with the given DexCache
386 // and ClassLoader, storing the result in DexCache. The ClassLinker and ClassLoader
387 // are used as in ResolveType. No is_static argument is provided so that Java
Ian Rogersb067ac22011-12-13 18:05:09 -0800388 // field resolution semantics are followed.
Vladimir Markoe11dd502017-12-08 14:09:45 +0000389 ArtField* ResolveFieldJLS(uint32_t field_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700390 Handle<mirror::DexCache> dex_cache,
391 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700392 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800393 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersb067ac22011-12-13 18:05:09 -0800394
David Brazdil1ab0fa82018-05-04 11:28:03 +0100395 // Find a field with a given ID from the DexFile associated with the given DexCache
396 // and ClassLoader, storing the result in DexCache. The declaring class is assumed
397 // to have been already resolved into `klass`. The `is_static` argument is used to
398 // determine if we are resolving a static or non-static field.
399 ArtField* FindResolvedField(ObjPtr<mirror::Class> klass,
400 ObjPtr<mirror::DexCache> dex_cache,
401 ObjPtr<mirror::ClassLoader> class_loader,
402 uint32_t field_idx,
403 bool is_static)
404 REQUIRES_SHARED(Locks::mutator_lock_);
405
406 // Find a field with a given ID from the DexFile associated with the given DexCache
407 // and ClassLoader, storing the result in DexCache. The declaring class is assumed
408 // to have been already resolved into `klass`. No is_static argument is provided
409 // so that Java field resolution semantics are followed.
410 ArtField* FindResolvedFieldJLS(ObjPtr<mirror::Class> klass,
411 ObjPtr<mirror::DexCache> dex_cache,
412 ObjPtr<mirror::ClassLoader> class_loader,
413 uint32_t field_idx)
414 REQUIRES_SHARED(Locks::mutator_lock_);
415
Vladimir Markoaf940202017-12-08 15:01:18 +0000416 // Resolve a method type with a given ID from the DexFile associated with a given DexCache
417 // and ClassLoader, storing the result in the DexCache.
418 ObjPtr<mirror::MethodType> ResolveMethodType(Thread* self,
419 uint32_t proto_idx,
420 Handle<mirror::DexCache> dex_cache,
421 Handle<mirror::ClassLoader> class_loader)
Narayan Kamath25352fc2016-08-03 12:46:58 +0100422 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800423 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersad25ac52011-10-04 19:13:33 -0700424
Vladimir Markoaf940202017-12-08 15:01:18 +0000425 ObjPtr<mirror::MethodType> ResolveMethodType(Thread* self,
426 uint32_t proto_idx,
427 ArtMethod* referrer)
Orion Hodson2e599942017-09-22 16:17:41 +0100428 REQUIRES_SHARED(Locks::mutator_lock_);
429
Orion Hodsonc069a302017-01-18 09:23:12 +0000430 // Resolve a method handle with a given ID from the DexFile. The
431 // result is not cached in the DexCache as the instance will only be
432 // used once in most circumstances.
Vladimir Markoaf940202017-12-08 15:01:18 +0000433 ObjPtr<mirror::MethodHandle> ResolveMethodHandle(Thread* self,
434 uint32_t method_handle_idx,
435 ArtMethod* referrer)
Orion Hodsonc069a302017-01-18 09:23:12 +0000436 REQUIRES_SHARED(Locks::mutator_lock_);
437
Elliott Hughesf4c21c92011-08-19 17:31:31 -0700438 // Returns true on success, false if there's an exception pending.
Brian Carlstrom25c33252011-09-18 15:58:35 -0700439 // can_run_clinit=false allows the compiler to attempt to init a class,
440 // given the restriction that no <clinit> execution is possible.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700441 bool EnsureInitialized(Thread* self,
442 Handle<mirror::Class> c,
443 bool can_init_fields,
Ian Rogers7b078e82014-09-10 14:44:24 -0700444 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700445 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800446 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700447
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700448 // Initializes classes that have instances in the image but that have
449 // <clinit> methods so they could not be initialized by the compiler.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700450 void RunRootClinits()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700451 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800452 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700453
Alex Light07f06212017-06-01 14:01:43 -0700454 // Directly register an already existing dex cache. RegisterDexFile should be preferred since that
455 // reduplicates DexCaches when possible. The DexCache given to this function must already be fully
456 // initialized and not already registered.
457 void RegisterExistingDexCache(ObjPtr<mirror::DexCache> cache,
458 ObjPtr<mirror::ClassLoader> class_loader)
459 REQUIRES(!Locks::dex_lock_)
460 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000461 ObjPtr<mirror::DexCache> RegisterDexFile(const DexFile& dex_file,
462 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800463 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700464 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700465
Brian Carlstrom8a487412011-08-29 20:08:52 -0700466 const std::vector<const DexFile*>& GetBootClassPath() {
467 return boot_class_path_;
468 }
469
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700470 void VisitClasses(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700471 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700472 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -0700473
474 // Less efficient variant of VisitClasses that copies the class_table_ into secondary storage
475 // so that it can visit individual classes without holding the doesn't hold the
476 // Locks::classlinker_classes_lock_. As the Locks::classlinker_classes_lock_ isn't held this code
477 // can race with insertion and deletion of classes while the visitor is being called.
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700478 void VisitClassesWithoutClassesLock(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700479 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800480 REQUIRES(!Locks::dex_lock_);
Elliott Hughesa2155262011-11-16 16:26:58 -0800481
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700482 void VisitClassRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gamped98b4ed2016-11-04 20:27:24 -0700483 REQUIRES(!Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700484 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700485 void VisitRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800486 REQUIRES(!Locks::dex_lock_, !Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700487 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700488
Vladimir Markocd556b02017-02-03 11:47:34 +0000489 bool IsDexFileRegistered(Thread* self, const DexFile& dex_file)
490 REQUIRES(!Locks::dex_lock_)
491 REQUIRES_SHARED(Locks::mutator_lock_);
492 ObjPtr<mirror::DexCache> FindDexCache(Thread* self, const DexFile& dex_file)
493 REQUIRES(!Locks::dex_lock_)
494 REQUIRES_SHARED(Locks::mutator_lock_);
495 ClassTable* FindClassTable(Thread* self, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800496 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700497 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom1d9f52b2011-10-13 10:50:45 -0700498
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700499 LengthPrefixedArray<ArtField>* AllocArtFieldArray(Thread* self,
500 LinearAlloc* allocator,
501 size_t length);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800502
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700503 LengthPrefixedArray<ArtMethod>* AllocArtMethodArray(Thread* self,
504 LinearAlloc* allocator,
505 size_t length);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700506
507 mirror::PointerArray* AllocPointerArray(Thread* self, size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700508 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700509 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800510
511 mirror::IfTable* AllocIfTable(Thread* self, size_t ifcount)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700512 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700513 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800514
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700515 mirror::ObjectArray<mirror::StackTraceElement>* AllocStackTraceElementArray(Thread* self,
516 size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700517 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700518 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800519
Andreas Gampe6d7abbd2017-04-24 13:19:09 -0700520 verifier::FailureKind VerifyClass(
Nicolas Geoffray08025182016-10-25 17:20:18 +0100521 Thread* self,
522 Handle<mirror::Class> klass,
523 verifier::HardFailLogMode log_level = verifier::HardFailLogMode::kLogNone)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700524 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800525 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700526 bool VerifyClassUsingOatFile(const DexFile& dex_file,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700527 ObjPtr<mirror::Class> klass,
Vladimir Marko2c64a832018-01-04 11:31:56 +0000528 ClassStatus& oat_file_class_status)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700529 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800530 REQUIRES(!Locks::dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800531 void ResolveClassExceptionHandlerTypes(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700532 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800533 REQUIRES(!Locks::dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800534 void ResolveMethodExceptionHandlerTypes(ArtMethod* klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700535 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800536 REQUIRES(!Locks::dex_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800537
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700538 mirror::Class* CreateProxyClass(ScopedObjectAccessAlreadyRunnable& soa,
539 jstring name,
540 jobjectArray interfaces,
541 jobject loader,
542 jobjectArray methods,
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700543 jobjectArray throws)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700544 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700545 std::string GetDescriptorForProxy(ObjPtr<mirror::Class> proxy_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700546 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -0400547
Alex Lightfc49fec2018-01-16 22:28:36 +0000548 // Get the oat code for a method when its class isn't yet initialized.
549 const void* GetQuickOatCodeFor(ArtMethod* method)
550 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800551
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700552 pid_t GetClassesLockOwner(); // For SignalCatcher.
553 pid_t GetDexLockOwner(); // For SignalCatcher.
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -0700554
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700555 mirror::Class* GetClassRoot(ClassRoot class_root) REQUIRES_SHARED(Locks::mutator_lock_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700556
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700557 static const char* GetClassRootDescriptor(ClassRoot class_root);
Andreas Gampe2da88232014-02-27 12:26:20 -0800558
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700559 // Is the given entry point quick code to run the resolution stub?
560 bool IsQuickResolutionStub(const void* entry_point) const;
Jeff Hao88474b42013-10-23 16:24:40 -0700561
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700562 // Is the given entry point quick code to bridge into the interpreter?
563 bool IsQuickToInterpreterBridge(const void* entry_point) const;
564
565 // Is the given entry point quick code to run the generic JNI stub?
566 bool IsQuickGenericJniStub(const void* entry_point) const;
Vladimir Marko8a630572014-04-09 18:45:35 +0100567
David Sehra49e0532017-08-25 08:05:29 -0700568 // Is the given entry point the JNI dlsym lookup stub?
569 bool IsJniDlsymLookupStub(const void* entry_point) const;
570
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100571 const void* GetQuickToInterpreterBridgeTrampoline() const {
572 return quick_to_interpreter_bridge_trampoline_;
573 }
574
Jeff Hao88474b42013-10-23 16:24:40 -0700575 InternTable* GetInternTable() const {
576 return intern_table_;
577 }
578
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700579 // Set the entrypoints up for method to the enter the interpreter.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700580 void SetEntryPointsToInterpreter(ArtMethod* method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700581 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700582
Alex Lightdb01a092017-04-03 15:39:55 -0700583 // Set the entrypoints up for an obsolete method.
584 void SetEntryPointsForObsoleteMethod(ArtMethod* method) const
585 REQUIRES_SHARED(Locks::mutator_lock_);
586
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700587 // Attempts to insert a class into a class table. Returns null if
Ian Rogers848871b2013-08-05 10:56:33 -0700588 // the class was inserted, otherwise returns an existing class with
589 // the same descriptor and ClassLoader.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700590 mirror::Class* InsertClass(const char* descriptor, ObjPtr<mirror::Class> klass, size_t hash)
Mathieu Chartier90443472015-07-16 20:32:27 -0700591 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700592 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers848871b2013-08-05 10:56:33 -0700593
Vladimir Marko1998cd02017-01-13 13:02:58 +0000594 // Add an oat file with .bss GC roots to be visited again at the end of GC
595 // for collector types that need it.
596 void WriteBarrierForBootOatFileBssRoots(const OatFile* oat_file)
597 REQUIRES(!Locks::classlinker_classes_lock_)
598 REQUIRES_SHARED(Locks::mutator_lock_);
599
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700600 mirror::ObjectArray<mirror::Class>* GetClassRoots() REQUIRES_SHARED(Locks::mutator_lock_) {
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -0700601 mirror::ObjectArray<mirror::Class>* class_roots = class_roots_.Read();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700602 DCHECK(class_roots != nullptr);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700603 return class_roots;
604 }
605
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800606 // Move the class table to the pre-zygote table to reduce memory usage. This works by ensuring
607 // that no more classes are ever added to the pre zygote table which makes it that the pages
608 // always remain shared dirty instead of private dirty.
609 void MoveClassTableToPreZygote()
Mathieu Chartier90443472015-07-16 20:32:27 -0700610 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700611 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800612
Calin Juravle7865ac72017-06-28 11:03:12 -0700613 // Creates a GlobalRef PathClassLoader or DelegateLastClassLoader (specified by loader_class)
614 // that can be used to load classes from the given dex files. The parent of the class loader
615 // will be set to `parent_loader`. If `parent_loader` is null the parent will be
616 // the boot class loader.
617 // If class_loader points to a different class than PathClassLoader or DelegateLastClassLoader
618 // this method will abort.
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700619 // 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 -0700620 jobject CreateWellKnownClassLoader(Thread* self,
621 const std::vector<const DexFile*>& dex_files,
622 jclass loader_class,
623 jobject parent_loader)
624 REQUIRES_SHARED(Locks::mutator_lock_)
625 REQUIRES(!Locks::dex_lock_);
626
627 // Calls CreateWellKnownClassLoader(self,
628 // dex_files,
629 // WellKnownClasses::dalvik_system_PathClassLoader,
630 // nullptr)
Jeff Haof0192c82016-03-28 20:39:50 -0700631 jobject CreatePathClassLoader(Thread* self, const std::vector<const DexFile*>& dex_files)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700632 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800633 REQUIRES(!Locks::dex_lock_);
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700634
Andreas Gampe542451c2016-07-26 09:02:02 -0700635 PointerSize GetImagePointerSize() const {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700636 return image_pointer_size_;
637 }
638
639 // Used by image writer for checking.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700640 bool ClassInClassTable(ObjPtr<mirror::Class> klass)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700641 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700642 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiera89d7ed2014-12-05 10:57:13 -0800643
Andreas Gampe8ac75952015-06-02 21:01:45 -0700644 // Clear the ArrayClass cache. This is necessary when cleaning up for the image, as the cache
645 // entries are roots, but potentially not image classes.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700646 void DropFindArrayClassCache() REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe8ac75952015-06-02 21:01:45 -0700647
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700648 // Clean up class loaders, this needs to happen after JNI weak globals are cleared.
649 void CleanupClassLoaders()
Mathieu Chartier00310e02015-10-17 12:46:42 -0700650 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700651 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700652
Mathieu Chartier32cc9ee2015-10-15 09:19:15 -0700653 // Unlike GetOrCreateAllocatorForClassLoader, GetAllocatorForClassLoader asserts that the
654 // allocator for this class loader is already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700655 LinearAlloc* GetAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700656 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700657
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700658 // Return the linear alloc for a class loader if it is already allocated, otherwise allocate and
659 // set it. TODO: Consider using a lock other than classlinker_classes_lock_.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700660 LinearAlloc* GetOrCreateAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700661 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700662 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier00310e02015-10-17 12:46:42 -0700663
Mathieu Chartier6d25cf62016-04-12 16:54:48 -0700664 // May be called with null class_loader due to legacy code. b/27954959
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700665 void InsertDexFileInToClassLoader(ObjPtr<mirror::Object> dex_file,
666 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700667 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700668 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700669
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000670 static bool ShouldUseInterpreterEntrypoint(ArtMethod* method, const void* quick_code)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700671 REQUIRES_SHARED(Locks::mutator_lock_);
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000672
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800673 std::set<DexCacheResolvedClasses> GetResolvedClasses(bool ignore_boot_classes)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800674 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800675
Jeff Haof0192c82016-03-28 20:39:50 -0700676 static bool IsBootClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700677 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700678 REQUIRES_SHARED(Locks::mutator_lock_);
Jeff Haof0192c82016-03-28 20:39:50 -0700679
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700680 ArtMethod* AddMethodToConflictTable(ObjPtr<mirror::Class> klass,
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700681 ArtMethod* conflict_method,
682 ArtMethod* interface_method,
683 ArtMethod* method,
684 bool force_new_conflict_method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700685 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700686
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700687 // Create a conflict table with a specified capacity.
688 ImtConflictTable* CreateImtConflictTable(size_t count, LinearAlloc* linear_alloc);
689
690 // Static version for when the class linker is not yet created.
691 static ImtConflictTable* CreateImtConflictTable(size_t count,
692 LinearAlloc* linear_alloc,
Andreas Gampe542451c2016-07-26 09:02:02 -0700693 PointerSize pointer_size);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700694
695
696 // Create the IMT and conflict tables for a class.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700697 void FillIMTAndConflictTables(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700698
Mathieu Chartier72041a02017-07-14 18:23:25 -0700699 // Visit all of the class tables. This is used by dex2oat to allow pruning dex caches.
700 template <class Visitor>
701 void VisitClassTables(const Visitor& visitor)
Mathieu Chartier696632e2016-06-03 17:47:32 -0700702 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700703 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700704
Alexey Grebenkin252a4e42018-04-02 18:18:01 +0300705 // Visit all of the allocators that belong to classloaders except boot classloader.
706 // This is used by 616-cha-unloading test to confirm memory reuse.
707 void VisitAllocators(AllocatorVisitor* visitor) const
708 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
709
Jeff Haoc92a7a12016-06-06 11:09:20 -0700710 // Throw the class initialization failure recorded when first trying to initialize the given
711 // class.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700712 void ThrowEarlierClassFailure(ObjPtr<mirror::Class> c, bool wrap_in_no_class_def = false)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700713 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800714 REQUIRES(!Locks::dex_lock_);
Jeff Haoc92a7a12016-06-06 11:09:20 -0700715
Mathieu Chartier65975772016-08-05 10:46:36 -0700716 // Get the actual holding class for a copied method. Pretty slow, don't call often.
717 mirror::Class* GetHoldingClassOfCopiedMethod(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700718 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier65975772016-08-05 10:46:36 -0700719
Andreas Gampe70f16392017-01-16 14:20:10 -0800720 // Returns null if not found.
Andreas Gampe2af99022017-04-25 08:32:59 -0700721 // This returns a pointer to the class-table, without requiring any locking - including the
722 // boot class-table. It is the caller's responsibility to access this under lock, if required.
Andreas Gampe70f16392017-01-16 14:20:10 -0800723 ClassTable* ClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampe2af99022017-04-25 08:32:59 -0700724 REQUIRES_SHARED(Locks::mutator_lock_)
725 NO_THREAD_SAFETY_ANALYSIS;
Andreas Gampe70f16392017-01-16 14:20:10 -0800726
Andreas Gampece7732b2017-01-17 15:50:26 -0800727 void AppendToBootClassPath(Thread* self, const DexFile& dex_file)
728 REQUIRES_SHARED(Locks::mutator_lock_)
729 REQUIRES(!Locks::dex_lock_);
730
Mathieu Chartier06bed302017-07-13 13:23:18 -0700731 // Visit all of the class loaders in the class linker.
732 void VisitClassLoaders(ClassLoaderVisitor* visitor) const
733 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
734
Jeff Hao0cb17282017-07-12 14:51:49 -0700735 // Checks that a class and its superclass from another class loader have the same virtual methods.
736 bool ValidateSuperClassDescriptors(Handle<mirror::Class> klass)
737 REQUIRES_SHARED(Locks::mutator_lock_);
738
Andreas Gampec1ac9ee2017-07-24 22:35:49 -0700739 ClassHierarchyAnalysis* GetClassHierarchyAnalysis() {
740 return cha_.get();
741 }
742
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800743 struct DexCacheData {
Vladimir Markocd556b02017-02-03 11:47:34 +0000744 // Construct an invalid data object.
745 DexCacheData()
746 : weak_root(nullptr),
747 dex_file(nullptr),
Vladimir Markocd556b02017-02-03 11:47:34 +0000748 class_table(nullptr) { }
749
750 // Check if the data is valid.
751 bool IsValid() const {
752 return dex_file != nullptr;
753 }
754
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800755 // Weak root to the DexCache. Note: Do not decode this unnecessarily or else class unloading may
756 // not work properly.
757 jweak weak_root;
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000758 // The following field caches the DexCache's field here to avoid unnecessary jweak decode that
759 // triggers read barriers (and marks them alive unnecessarily and messes with class unloading.)
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800760 const DexFile* dex_file;
Vladimir Markocd556b02017-02-03 11:47:34 +0000761 // Identify the associated class loader's class table. This is used to make sure that
762 // the Java call to native DexCache.setResolvedType() inserts the resolved type in that
763 // class table. It is also used to make sure we don't register the same dex cache with
764 // multiple class loaders.
765 ClassTable* class_table;
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800766 };
767
Chang Xing605fe242017-07-20 15:57:21 -0700768 protected:
769 virtual bool InitializeClass(Thread* self,
770 Handle<mirror::Class> klass,
771 bool can_run_clinit,
772 bool can_init_parents)
773 REQUIRES_SHARED(Locks::mutator_lock_)
774 REQUIRES(!Locks::dex_lock_);
775
Mathieu Chartier9e050df2017-08-09 10:05:47 -0700776 virtual verifier::FailureKind PerformClassVerification(Thread* self,
777 Handle<mirror::Class> klass,
778 verifier::HardFailLogMode log_level,
779 std::string* error_msg)
780 REQUIRES_SHARED(Locks::mutator_lock_);
781
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700782 private:
Vladimir Marko921094a2017-01-12 18:37:06 +0000783 class LinkInterfaceMethodsHelper;
784
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700785 struct ClassLoaderData {
Mathieu Chartierc3fcd412015-09-25 16:54:59 -0700786 jweak weak_root; // Weak root to enable class unloading.
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700787 ClassTable* class_table;
788 LinearAlloc* allocator;
789 };
790
Alex Lightf1f10492015-10-07 16:08:36 -0700791 // Ensures that the supertype of 'klass' ('supertype') is verified. Returns false and throws
792 // appropriate exceptions if verification failed hard. Returns true for successful verification or
793 // soft-failures.
794 bool AttemptSupertypeVerification(Thread* self,
795 Handle<mirror::Class> klass,
796 Handle<mirror::Class> supertype)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800797 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700798 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightf1f10492015-10-07 16:08:36 -0700799
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300800 void DeleteClassLoader(Thread* self, const ClassLoaderData& data, bool cleanup_cha)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700801 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100802
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700803 void VisitClassesInternal(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700804 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700805
806 // Returns the number of zygote and image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700807 size_t NumZygoteClasses() const
808 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700809 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700810
811 // Returns the number of non zygote nor image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700812 size_t NumNonZygoteClasses() const
813 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700814 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700815
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700816 void FinishInit(Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700817 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800818 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma663ea52011-08-19 23:33:41 -0700819
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700820 // For early bootstrapping by Init
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700821 mirror::Class* AllocClass(Thread* self,
822 ObjPtr<mirror::Class> java_lang_Class,
823 uint32_t class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700824 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700825 REQUIRES(!Roles::uninterruptible_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700826
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800827 // Alloc* convenience functions to avoid needing to pass in mirror::Class*
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700828 // values that are known to the ClassLinker such as
829 // kObjectArrayClass and kJavaLangString etc.
Ian Rogers6fac4472014-02-25 17:01:10 -0800830 mirror::Class* AllocClass(Thread* self, uint32_t class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700831 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700832 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700833
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700834 mirror::DexCache* AllocDexCache(ObjPtr<mirror::String>* out_location,
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700835 Thread* self,
836 const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700837 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700838 REQUIRES(!Roles::uninterruptible_);
Ian Rogersbdb03912011-09-14 00:55:44 -0700839
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700840 // Used for tests and AppendToBootClassPath.
841 mirror::DexCache* AllocAndInitializeDexCache(Thread* self,
842 const DexFile& dex_file,
843 LinearAlloc* linear_alloc)
844 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800845 REQUIRES(!Locks::dex_lock_)
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700846 REQUIRES(!Roles::uninterruptible_);
847
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800848 mirror::Class* CreatePrimitiveClass(Thread* self, Primitive::Type type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700849 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700850 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700851 mirror::Class* InitializePrimitiveClass(ObjPtr<mirror::Class> primitive_class,
852 Primitive::Type type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700853 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700854 REQUIRES(!Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700855
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700856 mirror::Class* CreateArrayClass(Thread* self,
857 const char* descriptor,
858 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700859 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700860 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800861 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700862
Vladimir Markocd556b02017-02-03 11:47:34 +0000863 void AppendToBootClassPath(const DexFile& dex_file, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700864 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800865 REQUIRES(!Locks::dex_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700866
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700867 // Precomputes size needed for Class, in the case of a non-temporary class this size must be
868 // sufficient to hold all static fields.
869 uint32_t SizeOfClassWithoutEmbeddedTables(const DexFile& dex_file,
870 const DexFile::ClassDef& dex_class_def);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700871
Mathieu Chartierc7853442015-03-27 14:35:38 -0700872 // Setup the classloader, class def index, type idx so that we can insert this class in the class
873 // table.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700874 void SetupClass(const DexFile& dex_file,
875 const DexFile::ClassDef& dex_class_def,
876 Handle<mirror::Class> klass,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700877 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700878 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700879
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700880 void LoadClass(Thread* self,
881 const DexFile& dex_file,
882 const DexFile::ClassDef& dex_class_def,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700883 Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700884 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700885 void LoadClassMembers(Thread* self,
886 const DexFile& dex_file,
887 const uint8_t* class_data,
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100888 Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700889 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700890
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700891 void LoadField(const ClassDataItemIterator& it, Handle<mirror::Class> klass, ArtField* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700892 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700893
Mathieu Chartier268764d2016-09-13 12:09:38 -0700894 void LoadMethod(const DexFile& dex_file,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700895 const ClassDataItemIterator& it,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700896 Handle<mirror::Class> klass, ArtMethod* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700897 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700898
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700899 void FixupStaticTrampolines(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800900
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000901 // Finds a class in a Path- or DexClassLoader, loading it if necessary without using JNI. Hash
Andreas Gampe34ee6842014-12-02 15:43:52 -0800902 // function is supposed to be ComputeModifiedUtf8Hash(descriptor). Returns true if the
903 // class-loader chain could be handled, false otherwise, i.e., a non-supported class-loader
904 // was encountered while walking the parent chain (currently only BootClassLoader and
905 // PathClassLoader are supported).
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000906 bool FindClassInBaseDexClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
907 Thread* self,
908 const char* descriptor,
909 size_t hash,
910 Handle<mirror::ClassLoader> class_loader,
911 ObjPtr<mirror::Class>* result)
Andreas Gampe34ee6842014-12-02 15:43:52 -0800912 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800913 REQUIRES(!Locks::dex_lock_);
Andreas Gampe34ee6842014-12-02 15:43:52 -0800914
Calin Juravle415dc3d2017-06-28 11:03:12 -0700915 // Finds the class in the classpath of the given class loader. It only searches the class loader
916 // dex files and does not recurse into its parent.
917 // The method checks that the provided class loader is either a PathClassLoader or a
918 // DexClassLoader.
919 // If the class is found the method returns the resolved class. Otherwise it returns null.
920 ObjPtr<mirror::Class> FindClassInBaseDexClassLoaderClassPath(
921 ScopedObjectAccessAlreadyRunnable& soa,
922 const char* descriptor,
923 size_t hash,
924 Handle<mirror::ClassLoader> class_loader)
925 REQUIRES_SHARED(Locks::mutator_lock_)
926 REQUIRES(!Locks::dex_lock_);
927
928 // Finds the class in the boot class loader.
929 // If the class is found the method returns the resolved class. Otherwise it returns null.
930 ObjPtr<mirror::Class> FindClassInBootClassLoaderClassPath(Thread* self,
931 const char* descriptor,
932 size_t hash)
933 REQUIRES_SHARED(Locks::mutator_lock_)
934 REQUIRES(!Locks::dex_lock_);
935
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000936 // Implementation of LookupResolvedType() called when the type was not found in the dex cache.
937 ObjPtr<mirror::Class> DoLookupResolvedType(dex::TypeIndex type_idx,
938 ObjPtr<mirror::DexCache> dex_cache,
939 ObjPtr<mirror::ClassLoader> class_loader)
940 REQUIRES_SHARED(Locks::mutator_lock_);
941
942 // Implementation of ResolveType() called when the type was not found in the dex cache.
943 ObjPtr<mirror::Class> DoResolveType(dex::TypeIndex type_idx,
944 Handle<mirror::DexCache> dex_cache,
945 Handle<mirror::ClassLoader> class_loader)
946 REQUIRES_SHARED(Locks::mutator_lock_)
947 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
948
Andreas Gampe34ee6842014-12-02 15:43:52 -0800949 // Finds a class by its descriptor, returning NULL if it isn't wasn't loaded
950 // by the given 'class_loader'. Uses the provided hash for the descriptor.
951 mirror::Class* LookupClass(Thread* self,
952 const char* descriptor,
953 size_t hash,
954 ObjPtr<mirror::ClassLoader> class_loader)
955 REQUIRES(!Locks::classlinker_classes_lock_)
956 REQUIRES_SHARED(Locks::mutator_lock_);
957
Vladimir Markof44d36c2017-03-14 14:18:46 +0000958 // Find a field by its field index.
959 ArtField* LookupResolvedField(uint32_t field_idx,
960 ObjPtr<mirror::DexCache> dex_cache,
961 ObjPtr<mirror::ClassLoader> class_loader,
962 bool is_static)
963 REQUIRES_SHARED(Locks::mutator_lock_);
964
Vladimir Markocd556b02017-02-03 11:47:34 +0000965 void RegisterDexFileLocked(const DexFile& dex_file,
966 ObjPtr<mirror::DexCache> dex_cache,
967 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800968 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700969 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000970 DexCacheData FindDexCacheDataLocked(const DexFile& dex_file)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800971 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700972 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000973 static ObjPtr<mirror::DexCache> DecodeDexCache(Thread* self, const DexCacheData& data)
974 REQUIRES_SHARED(Locks::mutator_lock_);
975 // Called to ensure that the dex cache has been registered with the same class loader.
976 // If yes, returns the dex cache, otherwise throws InternalError and returns null.
977 ObjPtr<mirror::DexCache> EnsureSameClassLoader(Thread* self,
978 ObjPtr<mirror::DexCache> dex_cache,
979 const DexCacheData& data,
980 ObjPtr<mirror::ClassLoader> class_loader)
981 REQUIRES(!Locks::dex_lock_)
982 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700983
Alex Lighteb7c1442015-08-31 13:17:42 -0700984 bool InitializeDefaultInterfaceRecursive(Thread* self,
985 Handle<mirror::Class> klass,
986 bool can_run_clinit,
987 bool can_init_parents)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800988 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700989 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700990 bool WaitForInitializeClass(Handle<mirror::Class> klass,
991 Thread* self,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700992 ObjectLock<mirror::Class>& lock);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700993
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700994 bool IsSameDescriptorInDifferentClassContexts(Thread* self,
995 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700996 Handle<mirror::ClassLoader> class_loader1,
997 Handle<mirror::ClassLoader> class_loader2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700998 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700999
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001000 bool IsSameMethodSignatureInDifferentClassContexts(Thread* self,
1001 ArtMethod* method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001002 ObjPtr<mirror::Class> klass1,
1003 ObjPtr<mirror::Class> klass2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001004 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001005
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001006 bool LinkClass(Thread* self,
1007 const char* descriptor,
1008 Handle<mirror::Class> klass,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001009 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001010 MutableHandle<mirror::Class>* h_new_class_out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001011 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001012 REQUIRES(!Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001013
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001014 bool LinkSuperClass(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001015 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001016
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001017 bool LoadSuperAndInterfaces(Handle<mirror::Class> klass, const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001018 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001019 REQUIRES(!Locks::dex_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001020
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001021 bool LinkMethods(Thread* self,
1022 Handle<mirror::Class> klass,
Mathieu Chartier2d2621a2014-10-23 16:48:06 -07001023 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001024 bool* out_new_conflict,
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001025 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001026 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001027
Orion Hodsonf8db2c32017-07-07 20:07:12 +01001028 mirror::MethodHandle* ResolveMethodHandleForField(Thread* self,
1029 const DexFile::MethodHandleItem& method_handle,
1030 ArtMethod* referrer)
1031 REQUIRES_SHARED(Locks::mutator_lock_);
1032
1033 mirror::MethodHandle* ResolveMethodHandleForMethod(Thread* self,
Orion Hodsonf8db2c32017-07-07 20:07:12 +01001034 const DexFile::MethodHandleItem& method_handle,
1035 ArtMethod* referrer)
1036 REQUIRES_SHARED(Locks::mutator_lock_);
1037
Alex Light9139e002015-10-09 15:59:48 -07001038 // A wrapper class representing the result of a method translation used for linking methods and
1039 // updating superclass default methods. For each method in a classes vtable there are 4 states it
1040 // could be in:
1041 // 1) No translation is necessary. In this case there is no MethodTranslation object for it. This
1042 // is the standard case and is true when the method is not overridable by a default method,
1043 // the class defines a concrete implementation of the method, the default method implementation
1044 // remains the same, or an abstract method stayed abstract.
1045 // 2) The method must be translated to a different default method. We note this with
1046 // CreateTranslatedMethod.
1047 // 3) The method must be replaced with a conflict method. This happens when a superclass
1048 // implements an interface with a default method and this class implements an unrelated
1049 // interface that also defines that default method. We note this with CreateConflictingMethod.
1050 // 4) The method must be replaced with an abstract miranda method. This happens when a superclass
1051 // implements an interface with a default method and this class implements a subinterface of
1052 // the superclass's interface which declares the default method abstract. We note this with
1053 // CreateAbstractMethod.
1054 //
1055 // When a method translation is unnecessary (case #1), we don't put it into the
1056 // default_translation maps. So an instance of MethodTranslation must be in one of #2-#4.
1057 class MethodTranslation {
1058 public:
1059 // This slot must become a default conflict method.
1060 static MethodTranslation CreateConflictingMethod() {
1061 return MethodTranslation(Type::kConflict, /*translation*/nullptr);
1062 }
1063
1064 // This slot must become an abstract method.
1065 static MethodTranslation CreateAbstractMethod() {
1066 return MethodTranslation(Type::kAbstract, /*translation*/nullptr);
1067 }
1068
1069 // Use the given method as the current value for this vtable slot during translation.
1070 static MethodTranslation CreateTranslatedMethod(ArtMethod* new_method) {
1071 return MethodTranslation(Type::kTranslation, new_method);
1072 }
1073
1074 // Returns true if this is a method that must become a conflict method.
1075 bool IsInConflict() const {
1076 return type_ == Type::kConflict;
1077 }
1078
1079 // Returns true if this is a method that must become an abstract method.
1080 bool IsAbstract() const {
1081 return type_ == Type::kAbstract;
1082 }
1083
1084 // Returns true if this is a method that must become a different method.
1085 bool IsTranslation() const {
1086 return type_ == Type::kTranslation;
1087 }
1088
1089 // Get the translated version of this method.
1090 ArtMethod* GetTranslation() const {
1091 DCHECK(IsTranslation());
1092 DCHECK(translation_ != nullptr);
1093 return translation_;
1094 }
1095
1096 private:
1097 enum class Type {
1098 kTranslation,
1099 kConflict,
1100 kAbstract,
1101 };
1102
1103 MethodTranslation(Type type, ArtMethod* translation)
1104 : translation_(translation), type_(type) {}
1105
1106 ArtMethod* const translation_;
1107 const Type type_;
1108 };
1109
Alex Lighteb7c1442015-08-31 13:17:42 -07001110 // Links the virtual methods for the given class and records any default methods that will need to
1111 // be updated later.
1112 //
1113 // Arguments:
1114 // * self - The current thread.
1115 // * klass - class, whose vtable will be filled in.
1116 // * default_translations - Vtable index to new method map.
1117 // Any vtable entries that need to be updated with new default methods
1118 // are stored into the default_translations map. The default_translations
1119 // map is keyed on the vtable index that needs to be updated. We use this
1120 // map because if we override a default method with another default
1121 // method we need to update the vtable to point to the new method.
1122 // Unfortunately since we copy the ArtMethod* we cannot just do a simple
1123 // scan, we therefore store the vtable index's that might need to be
1124 // updated with the method they will turn into.
1125 // TODO This whole default_translations thing is very dirty. There should be a better way.
Alex Light9139e002015-10-09 15:59:48 -07001126 bool LinkVirtualMethods(
1127 Thread* self,
1128 Handle<mirror::Class> klass,
1129 /*out*/std::unordered_map<size_t, MethodTranslation>* default_translations)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001130 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001131
Alex Lighteb7c1442015-08-31 13:17:42 -07001132 // Sets up the interface lookup table (IFTable) in the correct order to allow searching for
1133 // default methods.
1134 bool SetupInterfaceLookupTable(Thread* self,
1135 Handle<mirror::Class> klass,
1136 Handle<mirror::ObjectArray<mirror::Class>> interfaces)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001137 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001138
Alex Light9139e002015-10-09 15:59:48 -07001139
1140 enum class DefaultMethodSearchResult {
1141 kDefaultFound,
1142 kAbstractFound,
1143 kDefaultConflict
1144 };
1145
Alex Lighteb7c1442015-08-31 13:17:42 -07001146 // Find the default method implementation for 'interface_method' in 'klass', if one exists.
1147 //
1148 // Arguments:
1149 // * self - The current thread.
1150 // * target_method - The method we are trying to find a default implementation for.
1151 // * klass - The class we are searching for a definition of target_method.
1152 // * out_default_method - The pointer we will store the found default method to on success.
Alex Lighteb7c1442015-08-31 13:17:42 -07001153 //
1154 // Return value:
Alex Light9139e002015-10-09 15:59:48 -07001155 // * kDefaultFound - There were no conflicting method implementations found in the class while
1156 // searching for target_method. The default method implementation is stored into
1157 // out_default_method.
1158 // * kAbstractFound - There were no conflicting method implementations found in the class while
1159 // searching for target_method but no default implementation was found either.
1160 // out_default_method is set to null and the method should be considered not
1161 // implemented.
1162 // * kDefaultConflict - Conflicting method implementations were found when searching for
1163 // target_method. The value of *out_default_method is null.
1164 DefaultMethodSearchResult FindDefaultMethodImplementation(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001165 Thread* self,
1166 ArtMethod* target_method,
1167 Handle<mirror::Class> klass,
1168 /*out*/ArtMethod** out_default_method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001169 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001170
1171 // Sets the imt entries and fixes up the vtable for the given class by linking all the interface
1172 // methods. See LinkVirtualMethods for an explanation of what default_translations is.
Alex Light9139e002015-10-09 15:59:48 -07001173 bool LinkInterfaceMethods(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001174 Thread* self,
1175 Handle<mirror::Class> klass,
1176 const std::unordered_map<size_t, MethodTranslation>& default_translations,
1177 bool* out_new_conflict,
1178 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001179 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001180
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001181 bool LinkStaticFields(Thread* self, Handle<mirror::Class> klass, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001182 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001183 bool LinkInstanceFields(Thread* self, Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001184 REQUIRES_SHARED(Locks::mutator_lock_);
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001185 bool LinkFields(Thread* self, Handle<mirror::Class> klass, bool is_static, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001186 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001187 void CreateReferenceInstanceOffsets(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001188 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001189
Mathieu Chartiere401d142015-04-22 13:56:20 -07001190 void CheckProxyConstructor(ArtMethod* constructor) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001191 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001192 void CheckProxyMethod(ArtMethod* method, ArtMethod* prototype) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001193 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001194
Andreas Gampecc1b5352016-12-01 16:58:38 -08001195 size_t GetDexCacheCount() REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001196 return dex_caches_.size();
1197 }
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001198 const std::list<DexCacheData>& GetDexCachesData()
Andreas Gampecc1b5352016-12-01 16:58:38 -08001199 REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001200 return dex_caches_;
1201 }
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001202
Mathieu Chartiere401d142015-04-22 13:56:20 -07001203 void CreateProxyConstructor(Handle<mirror::Class> klass, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001204 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001205 void CreateProxyMethod(Handle<mirror::Class> klass, ArtMethod* prototype, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001206 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -04001207
Mathieu Chartier5b830502016-03-02 10:30:23 -08001208 // Register a class loader and create its class table and allocator. Should not be called if
1209 // these are already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001210 void RegisterClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001211 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier5b830502016-03-02 10:30:23 -08001212 REQUIRES(Locks::classlinker_classes_lock_);
1213
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001214 // Insert a new class table if not found.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001215 ClassTable* InsertClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001216 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001217 REQUIRES(Locks::classlinker_classes_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001218
Ian Rogersdbf3be02014-08-29 15:40:08 -07001219 // EnsureResolved is called to make sure that a class in the class_table_ has been resolved
1220 // before returning it to the caller. Its the responsibility of the thread that placed the class
1221 // in the table to make it resolved. The thread doing resolution must notify on the class' lock
1222 // when resolution has occurred. This happens in mirror::Class::SetStatus. As resolution may
1223 // retire a class, the version of the class in the table is returned and this may differ from
1224 // the class passed in.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001225 mirror::Class* EnsureResolved(Thread* self, const char* descriptor, ObjPtr<mirror::Class> klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001226 WARN_UNUSED
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001227 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001228 REQUIRES(!Locks::dex_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001229
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001230 void FixupTemporaryDeclaringClass(ObjPtr<mirror::Class> temp_class,
1231 ObjPtr<mirror::Class> new_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001232 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001233
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001234 void SetClassRoot(ClassRoot class_root, ObjPtr<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001235 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001236
1237 // Return the quick generic JNI stub for testing.
1238 const void* GetRuntimeQuickGenericJniStub() const;
1239
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001240 bool CanWeInitializeClass(ObjPtr<mirror::Class> klass,
1241 bool can_init_statics,
1242 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001243 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001244
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001245 void UpdateClassMethods(ObjPtr<mirror::Class> klass,
Alex Lighte64300b2015-12-15 15:02:47 -08001246 LengthPrefixedArray<ArtMethod>* new_methods)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001247 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001248 REQUIRES(!Locks::classlinker_classes_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001249
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001250 // Check that c1 == FindSystemClass(self, descriptor). Abort with class dumps otherwise.
1251 void CheckSystemClass(Thread* self, Handle<mirror::Class> c1, const char* descriptor)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001252 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001253 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001254
Vladimir Marko921094a2017-01-12 18:37:06 +00001255 // Allocate method arrays for interfaces.
1256 bool AllocateIfTableMethodArrays(Thread* self,
1257 Handle<mirror::Class> klass,
1258 Handle<mirror::IfTable> iftable)
1259 REQUIRES_SHARED(Locks::mutator_lock_);
1260
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001261 // Sets imt_ref appropriately for LinkInterfaceMethods.
1262 // If there is no method in the imt location of imt_ref it will store the given method there.
1263 // Otherwise it will set the conflict method which will figure out which method to use during
1264 // runtime.
1265 void SetIMTRef(ArtMethod* unimplemented_method,
1266 ArtMethod* imt_conflict_method,
1267 ArtMethod* current_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001268 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001269 /*out*/ArtMethod** imt_ref) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001270
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001271 void FillIMTFromIfTable(ObjPtr<mirror::IfTable> if_table,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001272 ArtMethod* unimplemented_method,
1273 ArtMethod* imt_conflict_method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001274 ObjPtr<mirror::Class> klass,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001275 bool create_conflict_tables,
1276 bool ignore_copied_methods,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001277 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001278 /*out*/ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001279
1280 void FillImtFromSuperClass(Handle<mirror::Class> klass,
1281 ArtMethod* unimplemented_method,
1282 ArtMethod* imt_conflict_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001283 bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001284 ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001285
Vladimir Markoba118822017-06-12 15:41:56 +01001286 // Check invoke type against the referenced class. Throws IncompatibleClassChangeError
1287 // (if `kThrowOnError`) and returns true on mismatch (kInterface on a non-interface class,
1288 // kVirtual on interface, kDefault on interface for dex files not supporting default methods),
1289 // otherwise returns false.
1290 template <bool kThrowOnError, typename ClassGetter>
1291 static bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1292 InvokeType type,
1293 ClassGetter class_getter)
1294 REQUIRES_SHARED(Locks::mutator_lock_);
1295 // Helper that feeds the above function with `ClassGetter` doing `LookupResolvedType()`.
1296 template <bool kThrow>
1297 bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1298 InvokeType type,
1299 uint32_t method_idx,
1300 ObjPtr<mirror::ClassLoader> class_loader)
1301 REQUIRES_SHARED(Locks::mutator_lock_);
1302
Brian Carlstrom4a96b602011-07-26 16:40:23 -07001303 std::vector<const DexFile*> boot_class_path_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001304 std::vector<std::unique_ptr<const DexFile>> boot_dex_files_;
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07001305
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001306 // JNI weak globals and side data to allow dex caches to get unloaded. We lazily delete weak
1307 // globals when we register new dex files.
Andreas Gampecc1b5352016-12-01 16:58:38 -08001308 std::list<DexCacheData> dex_caches_ GUARDED_BY(Locks::dex_lock_);
Brian Carlstrom47d237a2011-10-18 15:08:33 -07001309
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -07001310 // This contains the class loaders which have class tables. It is populated by
Mathieu Chartier951ec2c2015-09-22 08:50:05 -07001311 // InsertClassTableForClassLoader.
1312 std::list<ClassLoaderData> class_loaders_
Mathieu Chartier6b069532015-08-05 15:08:12 -07001313 GUARDED_BY(Locks::classlinker_classes_lock_);
1314
1315 // Boot class path table. Since the class loader for this is null.
Andreas Gampe2af99022017-04-25 08:32:59 -07001316 std::unique_ptr<ClassTable> boot_class_table_ GUARDED_BY(Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001317
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001318 // New class roots, only used by CMS since the GC needs to mark these in the pause.
1319 std::vector<GcRoot<mirror::Class>> new_class_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Elliott Hughesf8349362012-06-18 15:00:06 -07001320
Vladimir Marko1998cd02017-01-13 13:02:58 +00001321 // Boot image oat files with new .bss GC roots to be visited in the pause by CMS.
1322 std::vector<const OatFile*> new_bss_roots_boot_oat_files_
1323 GUARDED_BY(Locks::classlinker_classes_lock_);
1324
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001325 // Number of times we've searched dex caches for a class. After a certain number of misses we move
1326 // the classes into the class_table_ to avoid dex cache based searches.
Ian Rogers68b56852014-08-29 20:19:11 -07001327 Atomic<uint32_t> failed_dex_cache_class_lookups_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001328
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001329 // Well known mirror::Class roots.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001330 GcRoot<mirror::ObjectArray<mirror::Class>> class_roots_;
Brian Carlstrom913af1b2011-07-23 21:41:13 -07001331
Ian Rogers98379392014-02-24 16:53:16 -08001332 // The interface table used by all arrays.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001333 GcRoot<mirror::IfTable> array_iftable_;
Carl Shapiro565f5072011-07-10 13:39:43 -07001334
Ian Rogers98379392014-02-24 16:53:16 -08001335 // A cache of the last FindArrayClass results. The cache serves to avoid creating array class
1336 // descriptors for the sake of performing FindClass.
1337 static constexpr size_t kFindArrayCacheSize = 16;
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001338 GcRoot<mirror::Class> find_array_class_cache_[kFindArrayCacheSize];
Ian Rogers98379392014-02-24 16:53:16 -08001339 size_t find_array_class_cache_next_victim_;
1340
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001341 bool init_done_;
Vladimir Marko1998cd02017-01-13 13:02:58 +00001342 bool log_new_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001343
Elliott Hughescf4c6c42011-09-01 15:16:42 -07001344 InternTable* intern_table_;
1345
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001346 // Trampolines within the image the bounce to runtime entrypoints. Done so that there is a single
1347 // patch point within the image. TODO: make these proper relocations.
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001348 const void* quick_resolution_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -07001349 const void* quick_imt_conflict_trampoline_;
Andreas Gampe2da88232014-02-27 12:26:20 -08001350 const void* quick_generic_jni_trampoline_;
Vladimir Marko8a630572014-04-09 18:45:35 +01001351 const void* quick_to_interpreter_bridge_trampoline_;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001352
Mathieu Chartier2d721012014-11-10 11:08:06 -08001353 // Image pointer size.
Andreas Gampe542451c2016-07-26 09:02:02 -07001354 PointerSize image_pointer_size_;
Mathieu Chartier2d721012014-11-10 11:08:06 -08001355
Andreas Gampec1ac9ee2017-07-24 22:35:49 -07001356 std::unique_ptr<ClassHierarchyAnalysis> cha_;
1357
Mathieu Chartier65975772016-08-05 10:46:36 -07001358 class FindVirtualMethodHolderVisitor;
Andreas Gampe2af99022017-04-25 08:32:59 -07001359
1360 friend class AppImageClassLoadersAndDexCachesHelper;
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001361 friend class ImageDumper; // for DexLock
Vladimir Marko74527972016-11-29 15:57:32 +00001362 friend struct linker::CompilationHelper; // For Compile in ImageTest.
1363 friend class linker::ImageWriter; // for GetClassRoots
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001364 friend class JniCompilerTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe5f4a09a2015-09-28 13:16:33 -07001365 friend class JniInternalTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe2af99022017-04-25 08:32:59 -07001366 friend class VMClassLoader; // for LookupClass and FindClassInBaseDexClassLoader.
Mathieu Chartier76172162016-01-26 14:54:06 -08001367 ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for DexLock, and RegisterDexFileLocked
Narayan Kamath25352fc2016-08-03 12:46:58 +01001368 ART_FRIEND_TEST(mirror::DexCacheMethodHandlesTest, Open); // for AllocDexCache
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001369 ART_FRIEND_TEST(mirror::DexCacheTest, Open); // for AllocDexCache
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001370 DISALLOW_COPY_AND_ASSIGN(ClassLinker);
1371};
1372
Andreas Gampe0f01b582017-01-18 15:22:37 -08001373class ClassLoadCallback {
1374 public:
1375 virtual ~ClassLoadCallback() {}
1376
Alex Lightb0f11922017-01-23 14:25:17 -08001377 // If set we will replace initial_class_def & initial_dex_file with the final versions. The
1378 // callback author is responsible for ensuring these are allocated in such a way they can be
1379 // cleaned up if another transformation occurs. Note that both must be set or null/unchanged on
1380 // return.
1381 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1382 // different object. It is the listener's responsibility to handle this.
1383 // Note: This callback is rarely useful so a default implementation has been given that does
1384 // nothing.
1385 virtual void ClassPreDefine(const char* descriptor ATTRIBUTE_UNUSED,
1386 Handle<mirror::Class> klass ATTRIBUTE_UNUSED,
1387 Handle<mirror::ClassLoader> class_loader ATTRIBUTE_UNUSED,
1388 const DexFile& initial_dex_file ATTRIBUTE_UNUSED,
1389 const DexFile::ClassDef& initial_class_def ATTRIBUTE_UNUSED,
1390 /*out*/DexFile const** final_dex_file ATTRIBUTE_UNUSED,
Alex Light4b0cedf2017-01-24 11:15:20 -08001391 /*out*/DexFile::ClassDef const** final_class_def ATTRIBUTE_UNUSED)
Alex Lightb0f11922017-01-23 14:25:17 -08001392 REQUIRES_SHARED(Locks::mutator_lock_) {}
1393
Andreas Gampe0f01b582017-01-18 15:22:37 -08001394 // A class has been loaded.
1395 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1396 // different object. It is the listener's responsibility to handle this.
1397 virtual void ClassLoad(Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1398
1399 // A class has been prepared, i.e., resolved. As the ClassLoad event might have been for a
1400 // temporary class, provide both the former and the current class.
1401 virtual void ClassPrepare(Handle<mirror::Class> temp_klass,
1402 Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1403};
1404
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001405} // namespace art
1406
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001407#endif // ART_RUNTIME_CLASS_LINKER_H_