blob: 94c3b39ca8621d0f9f9f0ac556c7e5bf72783e0e [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
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700100class ClassLinker {
101 public:
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700102 // Well known mirror::Class roots accessed via GetClassRoot.
103 enum ClassRoot {
104 kJavaLangClass,
105 kJavaLangObject,
106 kClassArrayClass,
107 kObjectArrayClass,
108 kJavaLangString,
109 kJavaLangDexCache,
110 kJavaLangRefReference,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700111 kJavaLangReflectConstructor,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700112 kJavaLangReflectField,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700113 kJavaLangReflectMethod,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700114 kJavaLangReflectProxy,
115 kJavaLangStringArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700116 kJavaLangReflectConstructorArrayClass,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700117 kJavaLangReflectFieldArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -0700118 kJavaLangReflectMethodArrayClass,
Orion Hodsonc069a302017-01-18 09:23:12 +0000119 kJavaLangInvokeCallSite,
Narayan Kamathafa48272016-08-03 12:46:58 +0100120 kJavaLangInvokeMethodHandleImpl,
Orion Hodsonc069a302017-01-18 09:23:12 +0000121 kJavaLangInvokeMethodHandlesLookup,
Narayan Kamathafa48272016-08-03 12:46:58 +0100122 kJavaLangInvokeMethodType,
Orion Hodson005ac512017-10-24 15:43:43 +0100123 kJavaLangInvokeVarHandle,
124 kJavaLangInvokeFieldVarHandle,
125 kJavaLangInvokeArrayElementVarHandle,
126 kJavaLangInvokeByteArrayViewVarHandle,
127 kJavaLangInvokeByteBufferViewVarHandle,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700128 kJavaLangClassLoader,
129 kJavaLangThrowable,
130 kJavaLangClassNotFoundException,
131 kJavaLangStackTraceElement,
Narayan Kamath000e1882016-10-24 17:14:25 +0100132 kDalvikSystemEmulatedStackFrame,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700133 kPrimitiveBoolean,
134 kPrimitiveByte,
135 kPrimitiveChar,
136 kPrimitiveDouble,
137 kPrimitiveFloat,
138 kPrimitiveInt,
139 kPrimitiveLong,
140 kPrimitiveShort,
141 kPrimitiveVoid,
142 kBooleanArrayClass,
143 kByteArrayClass,
144 kCharArrayClass,
145 kDoubleArrayClass,
146 kFloatArrayClass,
147 kIntArrayClass,
148 kLongArrayClass,
149 kShortArrayClass,
150 kJavaLangStackTraceElementArrayClass,
Alex Lightd6251582016-10-31 11:12:30 -0700151 kDalvikSystemClassExt,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700152 kClassRootsMax,
153 };
154
Mathieu Chartier743aac32018-03-23 14:25:08 -0700155 static constexpr bool kAppImageMayContainStrings = false;
156
Mathieu Chartier590fee92013-09-13 13:46:47 -0700157 explicit ClassLinker(InternTable* intern_table);
Chang Xing605fe242017-07-20 15:57:21 -0700158 virtual ~ClassLinker();
Carl Shapiro565f5072011-07-10 13:39:43 -0700159
Alex Light64ad14d2014-08-19 14:23:13 -0700160 // Initialize class linker by bootstraping from dex files.
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800161 bool InitWithoutImage(std::vector<std::unique_ptr<const DexFile>> boot_class_path,
162 std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700163 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800164 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700165
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800166 // Initialize class linker from one or more boot images.
167 bool InitFromBootImage(std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700168 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800169 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700170
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800171 // Add an image space to the class linker, may fix up classloader fields and dex cache fields.
172 // The dex files that were newly opened for the space are placed in the out argument
173 // out_dex_files. Returns true if the operation succeeded.
174 // The space must be already added to the heap before calling AddImageSpace since we need to
175 // properly handle read barriers and object marking.
176 bool AddImageSpace(gc::space::ImageSpace* space,
177 Handle<mirror::ClassLoader> class_loader,
178 jobjectArray dex_elements,
179 const char* dex_location,
180 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
181 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800182 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700183 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800184
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800185 bool OpenImageDexFiles(gc::space::ImageSpace* space,
186 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
187 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800188 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700189 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800190
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700191 // Finds a class by its descriptor, loading it if necessary.
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700192 // If class_loader is null, searches boot_class_path_.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700193 mirror::Class* FindClass(Thread* self,
194 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700195 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700196 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800197 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700198
Ian Rogers98379392014-02-24 16:53:16 -0800199 // Finds a class by its descriptor using the "system" class loader, ie by searching the
200 // boot_class_path_.
201 mirror::Class* FindSystemClass(Thread* self, const char* descriptor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700202 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800203 REQUIRES(!Locks::dex_lock_) {
204 return FindClass(self, descriptor, ScopedNullHandle<mirror::ClassLoader>());
205 }
Ian Rogers98379392014-02-24 16:53:16 -0800206
207 // Finds the array class given for the element class.
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700208 mirror::Class* FindArrayClass(Thread* self, ObjPtr<mirror::Class>* element_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700209 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800210 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700211
Ian Rogers63557452014-06-04 16:57:15 -0700212 // Returns true if the class linker is initialized.
Ian Rogers7b078e82014-09-10 14:44:24 -0700213 bool IsInitialized() const {
214 return init_done_;
215 }
Mathieu Chartier590fee92013-09-13 13:46:47 -0700216
Brian Carlstromaded5f72011-10-07 17:15:04 -0700217 // Define a new a class based on a ClassDef from a DexFile
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700218 mirror::Class* DefineClass(Thread* self,
219 const char* descriptor,
220 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700221 Handle<mirror::ClassLoader> class_loader,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700222 const DexFile& dex_file,
223 const DexFile::ClassDef& dex_class_def)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700224 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800225 REQUIRES(!Locks::dex_lock_);
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700226
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700227 // Finds a class by its descriptor, returning null if it isn't wasn't loaded
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700228 // by the given 'class_loader'.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700229 mirror::Class* LookupClass(Thread* self,
230 const char* descriptor,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700231 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700232 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampe2ff3b972017-06-05 18:14:53 -0700233 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700234
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800235 // Finds all the classes with the given descriptor, regardless of ClassLoader.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700236 void LookupClasses(const char* descriptor, std::vector<ObjPtr<mirror::Class>>& classes)
Mathieu Chartier90443472015-07-16 20:32:27 -0700237 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700238 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800239
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700240 mirror::Class* FindPrimitiveClass(char type) REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700241
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700242 void DumpForSigQuit(std::ostream& os) REQUIRES(!Locks::classlinker_classes_lock_);
Elliott Hughescac6cc72011-11-03 20:31:21 -0700243
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700244 size_t NumLoadedClasses()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700245 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700246 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughese27955c2011-08-26 15:21:24 -0700247
Vladimir Markoa64b52d2017-12-08 16:27:49 +0000248 // Resolve a String with the given index from the DexFile associated with the given DexCache,
249 // storing the result in the DexCache.
250 ObjPtr<mirror::String> ResolveString(dex::StringIndex string_idx,
Vladimir Marko28e012a2017-12-07 11:22:59 +0000251 Handle<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700252 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700253
Vladimir Markoa64b52d2017-12-08 16:27:49 +0000254 // Find a String with the given index from the DexFile associated with the given DexCache,
255 // storing the result in the DexCache if found. Return null if not found.
256 ObjPtr<mirror::String> LookupString(dex::StringIndex string_idx,
Vladimir Marko28e012a2017-12-07 11:22:59 +0000257 ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700258 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000259
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000260 // Resolve a Type with the given index from the DexFile associated with the given `referrer`,
261 // storing the result in the DexCache. The `referrer` is used to identify the target DexCache
262 // and ClassLoader to use for resolution.
263 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx, ObjPtr<mirror::Class> referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700264 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800265 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700266
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000267 // Resolve a type with the given index from the DexFile associated with the given `referrer`,
268 // storing the result in the DexCache. The `referrer` is used to identify the target DexCache
269 // and ClassLoader to use for resolution.
Vladimir Marko28e012a2017-12-07 11:22:59 +0000270 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700271 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800272 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700273
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000274 // Resolve a type with the given index from the DexFile associated with the given DexCache
275 // and ClassLoader, storing the result in DexCache. The ClassLoader is used to search for
276 // the type, since it may be referenced from but not contained within the DexFile.
277 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx,
Vladimir Marko28e012a2017-12-07 11:22:59 +0000278 Handle<mirror::DexCache> dex_cache,
279 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700280 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800281 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700282
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000283 // Look up a resolved type with the given index from the DexFile associated with the given
284 // `referrer`, storing the result in the DexCache. The `referrer` is used to identify the
285 // target DexCache and ClassLoader to use for lookup.
286 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx,
287 ObjPtr<mirror::Class> referrer)
288 REQUIRES_SHARED(Locks::mutator_lock_);
289
290 // Look up a resolved type with the given index from the DexFile associated with the given
291 // `referrer`, storing the result in the DexCache. The `referrer` is used to identify the
292 // target DexCache and ClassLoader to use for lookup.
293 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx, ArtMethod* referrer)
294 REQUIRES_SHARED(Locks::mutator_lock_);
295
296 // Look up a resolved type with the given index from the DexFile associated with the given
297 // DexCache and ClassLoader. The ClassLoader is used to search for the type, since it may
298 // be referenced from but not contained within the DexFile.
299 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx,
300 ObjPtr<mirror::DexCache> dex_cache,
301 ObjPtr<mirror::ClassLoader> class_loader)
302 REQUIRES_SHARED(Locks::mutator_lock_);
303
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800304 // Determine whether a dex cache result should be trusted, or an IncompatibleClassChangeError
Vladimir Markoba118822017-06-12 15:41:56 +0100305 // check and IllegalAccessError check should be performed even after a hit.
306 enum class ResolveMode { // private.
307 kNoChecks,
308 kCheckICCEAndIAE
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800309 };
310
Vladimir Marko07bfbac2017-07-06 14:55:02 +0100311 // Look up a previously resolved method with the given index.
312 ArtMethod* LookupResolvedMethod(uint32_t method_idx,
313 ObjPtr<mirror::DexCache> dex_cache,
314 ObjPtr<mirror::ClassLoader> class_loader)
315 REQUIRES_SHARED(Locks::mutator_lock_);
316
Nicolas Geoffrayea179f42018-02-08 22:30:18 +0000317 // Find a method with the given index from class `klass`, and update the dex cache.
318 ArtMethod* FindResolvedMethod(ObjPtr<mirror::Class> klass,
319 ObjPtr<mirror::DexCache> dex_cache,
320 ObjPtr<mirror::ClassLoader> class_loader,
321 uint32_t method_idx)
322 REQUIRES_SHARED(Locks::mutator_lock_);
323
David Brazdil54a99cf2018-04-05 16:57:32 +0100324 // Find a method using the wrong lookup mechanism. If `klass` is an interface,
325 // search for a class method. If it is a class, search for an interface method.
326 // This is useful when throwing IncompatibleClassChangeError.
327 ArtMethod* FindIncompatibleMethod(ObjPtr<mirror::Class> klass,
328 ObjPtr<mirror::DexCache> dex_cache,
329 ObjPtr<mirror::ClassLoader> class_loader,
330 uint32_t method_idx)
331 REQUIRES_SHARED(Locks::mutator_lock_);
332
Vladimir Marko89011192017-12-11 13:45:05 +0000333 // Resolve a method with a given ID from the DexFile associated with the given DexCache
334 // and ClassLoader, storing the result in DexCache. The ClassLinker and ClassLoader are
335 // used as in ResolveType. What is unique is the method type argument which is used to
336 // determine if this method is a direct, static, or virtual method.
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800337 template <ResolveMode kResolveMode>
Vladimir Marko89011192017-12-11 13:45:05 +0000338 ArtMethod* ResolveMethod(uint32_t method_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700339 Handle<mirror::DexCache> dex_cache,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700340 Handle<mirror::ClassLoader> class_loader,
341 ArtMethod* referrer,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700342 InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700343 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800344 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700345
Vladimir Markoba118822017-06-12 15:41:56 +0100346 template <InvokeType type, ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700347 ArtMethod* GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700348 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightfedd91d2016-01-07 14:49:16 -0800349
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800350 template <ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700351 ArtMethod* ResolveMethod(Thread* self, uint32_t method_idx, ArtMethod* referrer, InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700352 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800353 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Vladimir Marko89011192017-12-11 13:45:05 +0000354 ArtMethod* ResolveMethodWithoutInvokeType(uint32_t method_idx,
Jeff Hao0042c6d2015-07-29 20:14:10 -0700355 Handle<mirror::DexCache> dex_cache,
356 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700357 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800358 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom16192862011-09-12 17:50:06 -0700359
Vladimir Markof44d36c2017-03-14 14:18:46 +0000360 ArtField* LookupResolvedField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700361 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700362 ArtField* ResolveField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700363 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800364 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstromb9edb842011-08-28 16:31:06 -0700365
Vladimir Markoe11dd502017-12-08 14:09:45 +0000366 // Resolve a field with a given ID from the DexFile associated with the given DexCache
367 // and ClassLoader, storing the result in DexCache. The ClassLinker and ClassLoader
368 // are used as in ResolveType. What is unique is the is_static argument which is used
369 // to determine if we are resolving a static or non-static field.
370 ArtField* ResolveField(uint32_t field_idx,
Mathieu Chartier90443472015-07-16 20:32:27 -0700371 Handle<mirror::DexCache> dex_cache,
Vladimir Markoe11dd502017-12-08 14:09:45 +0000372 Handle<mirror::ClassLoader> class_loader,
373 bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700374 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800375 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700376
Vladimir Markoe11dd502017-12-08 14:09:45 +0000377 // Resolve a field with a given ID from the DexFile associated with the given DexCache
378 // and ClassLoader, storing the result in DexCache. The ClassLinker and ClassLoader
379 // are used as in ResolveType. No is_static argument is provided so that Java
Ian Rogersb067ac22011-12-13 18:05:09 -0800380 // field resolution semantics are followed.
Vladimir Markoe11dd502017-12-08 14:09:45 +0000381 ArtField* ResolveFieldJLS(uint32_t field_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700382 Handle<mirror::DexCache> dex_cache,
383 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700384 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800385 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersb067ac22011-12-13 18:05:09 -0800386
David Brazdild5274382018-05-04 11:28:03 +0100387 // Find a field with a given ID from the DexFile associated with the given DexCache
388 // and ClassLoader, storing the result in DexCache. The declaring class is assumed
389 // to have been already resolved into `klass`. The `is_static` argument is used to
390 // determine if we are resolving a static or non-static field.
391 ArtField* FindResolvedField(ObjPtr<mirror::Class> klass,
392 ObjPtr<mirror::DexCache> dex_cache,
393 ObjPtr<mirror::ClassLoader> class_loader,
394 uint32_t field_idx,
395 bool is_static)
396 REQUIRES_SHARED(Locks::mutator_lock_);
397
398 // Find a field with a given ID from the DexFile associated with the given DexCache
399 // and ClassLoader, storing the result in DexCache. The declaring class is assumed
400 // to have been already resolved into `klass`. No is_static argument is provided
401 // so that Java field resolution semantics are followed.
402 ArtField* FindResolvedFieldJLS(ObjPtr<mirror::Class> klass,
403 ObjPtr<mirror::DexCache> dex_cache,
404 ObjPtr<mirror::ClassLoader> class_loader,
405 uint32_t field_idx)
406 REQUIRES_SHARED(Locks::mutator_lock_);
407
Vladimir Markoaf940202017-12-08 15:01:18 +0000408 // Resolve a method type with a given ID from the DexFile associated with a given DexCache
409 // and ClassLoader, storing the result in the DexCache.
410 ObjPtr<mirror::MethodType> ResolveMethodType(Thread* self,
411 uint32_t proto_idx,
412 Handle<mirror::DexCache> dex_cache,
413 Handle<mirror::ClassLoader> class_loader)
Narayan Kamath25352fc2016-08-03 12:46:58 +0100414 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800415 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersad25ac52011-10-04 19:13:33 -0700416
Vladimir Markoaf940202017-12-08 15:01:18 +0000417 ObjPtr<mirror::MethodType> ResolveMethodType(Thread* self,
418 uint32_t proto_idx,
419 ArtMethod* referrer)
Orion Hodson2e599942017-09-22 16:17:41 +0100420 REQUIRES_SHARED(Locks::mutator_lock_);
421
Orion Hodsonc069a302017-01-18 09:23:12 +0000422 // Resolve a method handle with a given ID from the DexFile. The
423 // result is not cached in the DexCache as the instance will only be
424 // used once in most circumstances.
Vladimir Markoaf940202017-12-08 15:01:18 +0000425 ObjPtr<mirror::MethodHandle> ResolveMethodHandle(Thread* self,
426 uint32_t method_handle_idx,
427 ArtMethod* referrer)
Orion Hodsonc069a302017-01-18 09:23:12 +0000428 REQUIRES_SHARED(Locks::mutator_lock_);
429
Elliott Hughesf4c21c92011-08-19 17:31:31 -0700430 // Returns true on success, false if there's an exception pending.
Brian Carlstrom25c33252011-09-18 15:58:35 -0700431 // can_run_clinit=false allows the compiler to attempt to init a class,
432 // given the restriction that no <clinit> execution is possible.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700433 bool EnsureInitialized(Thread* self,
434 Handle<mirror::Class> c,
435 bool can_init_fields,
Ian Rogers7b078e82014-09-10 14:44:24 -0700436 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700437 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800438 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700439
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700440 // Initializes classes that have instances in the image but that have
441 // <clinit> methods so they could not be initialized by the compiler.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700442 void RunRootClinits()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700443 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800444 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700445
Alex Light07f06212017-06-01 14:01:43 -0700446 // Directly register an already existing dex cache. RegisterDexFile should be preferred since that
447 // reduplicates DexCaches when possible. The DexCache given to this function must already be fully
448 // initialized and not already registered.
449 void RegisterExistingDexCache(ObjPtr<mirror::DexCache> cache,
450 ObjPtr<mirror::ClassLoader> class_loader)
451 REQUIRES(!Locks::dex_lock_)
452 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000453 ObjPtr<mirror::DexCache> RegisterDexFile(const DexFile& dex_file,
454 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800455 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700456 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700457
Brian Carlstrom8a487412011-08-29 20:08:52 -0700458 const std::vector<const DexFile*>& GetBootClassPath() {
459 return boot_class_path_;
460 }
461
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700462 void VisitClasses(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700463 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700464 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -0700465
466 // Less efficient variant of VisitClasses that copies the class_table_ into secondary storage
467 // so that it can visit individual classes without holding the doesn't hold the
468 // Locks::classlinker_classes_lock_. As the Locks::classlinker_classes_lock_ isn't held this code
469 // can race with insertion and deletion of classes while the visitor is being called.
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700470 void VisitClassesWithoutClassesLock(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700471 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800472 REQUIRES(!Locks::dex_lock_);
Elliott Hughesa2155262011-11-16 16:26:58 -0800473
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700474 void VisitClassRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gamped98b4ed2016-11-04 20:27:24 -0700475 REQUIRES(!Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700476 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700477 void VisitRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800478 REQUIRES(!Locks::dex_lock_, !Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700479 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700480
Vladimir Markocd556b02017-02-03 11:47:34 +0000481 bool IsDexFileRegistered(Thread* self, const DexFile& dex_file)
482 REQUIRES(!Locks::dex_lock_)
483 REQUIRES_SHARED(Locks::mutator_lock_);
484 ObjPtr<mirror::DexCache> FindDexCache(Thread* self, const DexFile& dex_file)
485 REQUIRES(!Locks::dex_lock_)
486 REQUIRES_SHARED(Locks::mutator_lock_);
487 ClassTable* FindClassTable(Thread* self, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800488 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700489 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom1d9f52b2011-10-13 10:50:45 -0700490
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700491 LengthPrefixedArray<ArtField>* AllocArtFieldArray(Thread* self,
492 LinearAlloc* allocator,
493 size_t length);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800494
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700495 LengthPrefixedArray<ArtMethod>* AllocArtMethodArray(Thread* self,
496 LinearAlloc* allocator,
497 size_t length);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700498
499 mirror::PointerArray* AllocPointerArray(Thread* self, size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700500 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700501 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800502
503 mirror::IfTable* AllocIfTable(Thread* self, size_t ifcount)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700504 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700505 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800506
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700507 mirror::ObjectArray<mirror::StackTraceElement>* AllocStackTraceElementArray(Thread* self,
508 size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700509 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700510 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800511
Andreas Gampe6d7abbd2017-04-24 13:19:09 -0700512 verifier::FailureKind VerifyClass(
Nicolas Geoffray08025182016-10-25 17:20:18 +0100513 Thread* self,
514 Handle<mirror::Class> klass,
515 verifier::HardFailLogMode log_level = verifier::HardFailLogMode::kLogNone)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700516 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800517 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700518 bool VerifyClassUsingOatFile(const DexFile& dex_file,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700519 ObjPtr<mirror::Class> klass,
Vladimir Marko2c64a832018-01-04 11:31:56 +0000520 ClassStatus& oat_file_class_status)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700521 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800522 REQUIRES(!Locks::dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800523 void ResolveClassExceptionHandlerTypes(Handle<mirror::Class> klass)
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_);
Alex Light5a559862016-01-29 12:24:48 -0800526 void ResolveMethodExceptionHandlerTypes(ArtMethod* klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700527 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800528 REQUIRES(!Locks::dex_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800529
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700530 mirror::Class* CreateProxyClass(ScopedObjectAccessAlreadyRunnable& soa,
531 jstring name,
532 jobjectArray interfaces,
533 jobject loader,
534 jobjectArray methods,
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700535 jobjectArray throws)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700536 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700537 std::string GetDescriptorForProxy(ObjPtr<mirror::Class> proxy_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700538 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -0400539
Alex Lightfc49fec2018-01-16 22:28:36 +0000540 // Get the oat code for a method when its class isn't yet initialized.
541 const void* GetQuickOatCodeFor(ArtMethod* method)
542 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800543
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700544 pid_t GetClassesLockOwner(); // For SignalCatcher.
545 pid_t GetDexLockOwner(); // For SignalCatcher.
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -0700546
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700547 mirror::Class* GetClassRoot(ClassRoot class_root) REQUIRES_SHARED(Locks::mutator_lock_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700548
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700549 static const char* GetClassRootDescriptor(ClassRoot class_root);
Andreas Gampe2da88232014-02-27 12:26:20 -0800550
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700551 // Is the given entry point quick code to run the resolution stub?
552 bool IsQuickResolutionStub(const void* entry_point) const;
Jeff Hao88474b42013-10-23 16:24:40 -0700553
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700554 // Is the given entry point quick code to bridge into the interpreter?
555 bool IsQuickToInterpreterBridge(const void* entry_point) const;
556
557 // Is the given entry point quick code to run the generic JNI stub?
558 bool IsQuickGenericJniStub(const void* entry_point) const;
Vladimir Marko8a630572014-04-09 18:45:35 +0100559
David Sehra49e0532017-08-25 08:05:29 -0700560 // Is the given entry point the JNI dlsym lookup stub?
561 bool IsJniDlsymLookupStub(const void* entry_point) const;
562
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100563 const void* GetQuickToInterpreterBridgeTrampoline() const {
564 return quick_to_interpreter_bridge_trampoline_;
565 }
566
Jeff Hao88474b42013-10-23 16:24:40 -0700567 InternTable* GetInternTable() const {
568 return intern_table_;
569 }
570
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700571 // Set the entrypoints up for method to the enter the interpreter.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700572 void SetEntryPointsToInterpreter(ArtMethod* method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700573 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700574
Alex Lightdb01a092017-04-03 15:39:55 -0700575 // Set the entrypoints up for an obsolete method.
576 void SetEntryPointsForObsoleteMethod(ArtMethod* method) const
577 REQUIRES_SHARED(Locks::mutator_lock_);
578
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700579 // Attempts to insert a class into a class table. Returns null if
Ian Rogers848871b2013-08-05 10:56:33 -0700580 // the class was inserted, otherwise returns an existing class with
581 // the same descriptor and ClassLoader.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700582 mirror::Class* InsertClass(const char* descriptor, ObjPtr<mirror::Class> klass, size_t hash)
Mathieu Chartier90443472015-07-16 20:32:27 -0700583 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700584 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers848871b2013-08-05 10:56:33 -0700585
Vladimir Marko1998cd02017-01-13 13:02:58 +0000586 // Add an oat file with .bss GC roots to be visited again at the end of GC
587 // for collector types that need it.
588 void WriteBarrierForBootOatFileBssRoots(const OatFile* oat_file)
589 REQUIRES(!Locks::classlinker_classes_lock_)
590 REQUIRES_SHARED(Locks::mutator_lock_);
591
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700592 mirror::ObjectArray<mirror::Class>* GetClassRoots() REQUIRES_SHARED(Locks::mutator_lock_) {
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -0700593 mirror::ObjectArray<mirror::Class>* class_roots = class_roots_.Read();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700594 DCHECK(class_roots != nullptr);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700595 return class_roots;
596 }
597
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800598 // Move the class table to the pre-zygote table to reduce memory usage. This works by ensuring
599 // that no more classes are ever added to the pre zygote table which makes it that the pages
600 // always remain shared dirty instead of private dirty.
601 void MoveClassTableToPreZygote()
Mathieu Chartier90443472015-07-16 20:32:27 -0700602 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700603 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800604
Calin Juravle7865ac72017-06-28 11:03:12 -0700605 // Creates a GlobalRef PathClassLoader or DelegateLastClassLoader (specified by loader_class)
606 // that can be used to load classes from the given dex files. The parent of the class loader
607 // will be set to `parent_loader`. If `parent_loader` is null the parent will be
608 // the boot class loader.
609 // If class_loader points to a different class than PathClassLoader or DelegateLastClassLoader
610 // this method will abort.
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700611 // 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 -0700612 jobject CreateWellKnownClassLoader(Thread* self,
613 const std::vector<const DexFile*>& dex_files,
614 jclass loader_class,
615 jobject parent_loader)
616 REQUIRES_SHARED(Locks::mutator_lock_)
617 REQUIRES(!Locks::dex_lock_);
618
619 // Calls CreateWellKnownClassLoader(self,
620 // dex_files,
621 // WellKnownClasses::dalvik_system_PathClassLoader,
622 // nullptr)
Jeff Haof0192c82016-03-28 20:39:50 -0700623 jobject CreatePathClassLoader(Thread* self, const std::vector<const DexFile*>& dex_files)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700624 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800625 REQUIRES(!Locks::dex_lock_);
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700626
Andreas Gampe542451c2016-07-26 09:02:02 -0700627 PointerSize GetImagePointerSize() const {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700628 return image_pointer_size_;
629 }
630
631 // Used by image writer for checking.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700632 bool ClassInClassTable(ObjPtr<mirror::Class> klass)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700633 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700634 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiera89d7ed2014-12-05 10:57:13 -0800635
Andreas Gampe8ac75952015-06-02 21:01:45 -0700636 // Clear the ArrayClass cache. This is necessary when cleaning up for the image, as the cache
637 // entries are roots, but potentially not image classes.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700638 void DropFindArrayClassCache() REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe8ac75952015-06-02 21:01:45 -0700639
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700640 // Clean up class loaders, this needs to happen after JNI weak globals are cleared.
641 void CleanupClassLoaders()
Mathieu Chartier00310e02015-10-17 12:46:42 -0700642 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700643 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700644
Mathieu Chartier32cc9ee2015-10-15 09:19:15 -0700645 // Unlike GetOrCreateAllocatorForClassLoader, GetAllocatorForClassLoader asserts that the
646 // allocator for this class loader is already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700647 LinearAlloc* GetAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700648 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700649
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700650 // Return the linear alloc for a class loader if it is already allocated, otherwise allocate and
651 // set it. TODO: Consider using a lock other than classlinker_classes_lock_.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700652 LinearAlloc* GetOrCreateAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700653 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700654 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier00310e02015-10-17 12:46:42 -0700655
Mathieu Chartier6d25cf62016-04-12 16:54:48 -0700656 // May be called with null class_loader due to legacy code. b/27954959
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700657 void InsertDexFileInToClassLoader(ObjPtr<mirror::Object> dex_file,
658 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700659 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700660 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700661
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000662 static bool ShouldUseInterpreterEntrypoint(ArtMethod* method, const void* quick_code)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700663 REQUIRES_SHARED(Locks::mutator_lock_);
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000664
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800665 std::set<DexCacheResolvedClasses> GetResolvedClasses(bool ignore_boot_classes)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800666 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800667
Jeff Haof0192c82016-03-28 20:39:50 -0700668 static bool IsBootClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700669 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700670 REQUIRES_SHARED(Locks::mutator_lock_);
Jeff Haof0192c82016-03-28 20:39:50 -0700671
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700672 ArtMethod* AddMethodToConflictTable(ObjPtr<mirror::Class> klass,
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700673 ArtMethod* conflict_method,
674 ArtMethod* interface_method,
675 ArtMethod* method,
676 bool force_new_conflict_method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700677 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700678
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700679 // Create a conflict table with a specified capacity.
680 ImtConflictTable* CreateImtConflictTable(size_t count, LinearAlloc* linear_alloc);
681
682 // Static version for when the class linker is not yet created.
683 static ImtConflictTable* CreateImtConflictTable(size_t count,
684 LinearAlloc* linear_alloc,
Andreas Gampe542451c2016-07-26 09:02:02 -0700685 PointerSize pointer_size);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700686
687
688 // Create the IMT and conflict tables for a class.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700689 void FillIMTAndConflictTables(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700690
Mathieu Chartier72041a02017-07-14 18:23:25 -0700691 // Visit all of the class tables. This is used by dex2oat to allow pruning dex caches.
692 template <class Visitor>
693 void VisitClassTables(const Visitor& visitor)
Mathieu Chartier696632e2016-06-03 17:47:32 -0700694 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700695 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700696
Jeff Haoc92a7a12016-06-06 11:09:20 -0700697 // Throw the class initialization failure recorded when first trying to initialize the given
698 // class.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700699 void ThrowEarlierClassFailure(ObjPtr<mirror::Class> c, bool wrap_in_no_class_def = false)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700700 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800701 REQUIRES(!Locks::dex_lock_);
Jeff Haoc92a7a12016-06-06 11:09:20 -0700702
Mathieu Chartier65975772016-08-05 10:46:36 -0700703 // Get the actual holding class for a copied method. Pretty slow, don't call often.
704 mirror::Class* GetHoldingClassOfCopiedMethod(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700705 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier65975772016-08-05 10:46:36 -0700706
Andreas Gampe70f16392017-01-16 14:20:10 -0800707 // Returns null if not found.
Andreas Gampe2af99022017-04-25 08:32:59 -0700708 // This returns a pointer to the class-table, without requiring any locking - including the
709 // boot class-table. It is the caller's responsibility to access this under lock, if required.
Andreas Gampe70f16392017-01-16 14:20:10 -0800710 ClassTable* ClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampe2af99022017-04-25 08:32:59 -0700711 REQUIRES_SHARED(Locks::mutator_lock_)
712 NO_THREAD_SAFETY_ANALYSIS;
Andreas Gampe70f16392017-01-16 14:20:10 -0800713
Andreas Gampece7732b2017-01-17 15:50:26 -0800714 void AppendToBootClassPath(Thread* self, const DexFile& dex_file)
715 REQUIRES_SHARED(Locks::mutator_lock_)
716 REQUIRES(!Locks::dex_lock_);
717
Mathieu Chartier06bed302017-07-13 13:23:18 -0700718 // Visit all of the class loaders in the class linker.
719 void VisitClassLoaders(ClassLoaderVisitor* visitor) const
720 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
721
Jeff Hao0cb17282017-07-12 14:51:49 -0700722 // Checks that a class and its superclass from another class loader have the same virtual methods.
723 bool ValidateSuperClassDescriptors(Handle<mirror::Class> klass)
724 REQUIRES_SHARED(Locks::mutator_lock_);
725
Andreas Gampec1ac9ee2017-07-24 22:35:49 -0700726 ClassHierarchyAnalysis* GetClassHierarchyAnalysis() {
727 return cha_.get();
728 }
729
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800730 struct DexCacheData {
Vladimir Markocd556b02017-02-03 11:47:34 +0000731 // Construct an invalid data object.
732 DexCacheData()
733 : weak_root(nullptr),
734 dex_file(nullptr),
Vladimir Markocd556b02017-02-03 11:47:34 +0000735 class_table(nullptr) { }
736
737 // Check if the data is valid.
738 bool IsValid() const {
739 return dex_file != nullptr;
740 }
741
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800742 // Weak root to the DexCache. Note: Do not decode this unnecessarily or else class unloading may
743 // not work properly.
744 jweak weak_root;
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000745 // The following field caches the DexCache's field here to avoid unnecessary jweak decode that
746 // triggers read barriers (and marks them alive unnecessarily and messes with class unloading.)
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800747 const DexFile* dex_file;
Vladimir Markocd556b02017-02-03 11:47:34 +0000748 // Identify the associated class loader's class table. This is used to make sure that
749 // the Java call to native DexCache.setResolvedType() inserts the resolved type in that
750 // class table. It is also used to make sure we don't register the same dex cache with
751 // multiple class loaders.
752 ClassTable* class_table;
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800753 };
754
Chang Xing605fe242017-07-20 15:57:21 -0700755 protected:
756 virtual bool InitializeClass(Thread* self,
757 Handle<mirror::Class> klass,
758 bool can_run_clinit,
759 bool can_init_parents)
760 REQUIRES_SHARED(Locks::mutator_lock_)
761 REQUIRES(!Locks::dex_lock_);
762
Mathieu Chartier9e050df2017-08-09 10:05:47 -0700763 virtual verifier::FailureKind PerformClassVerification(Thread* self,
764 Handle<mirror::Class> klass,
765 verifier::HardFailLogMode log_level,
766 std::string* error_msg)
767 REQUIRES_SHARED(Locks::mutator_lock_);
768
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700769 private:
Vladimir Marko921094a2017-01-12 18:37:06 +0000770 class LinkInterfaceMethodsHelper;
771
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700772 struct ClassLoaderData {
Mathieu Chartierc3fcd412015-09-25 16:54:59 -0700773 jweak weak_root; // Weak root to enable class unloading.
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700774 ClassTable* class_table;
775 LinearAlloc* allocator;
776 };
777
Alex Lightf1f10492015-10-07 16:08:36 -0700778 // Ensures that the supertype of 'klass' ('supertype') is verified. Returns false and throws
779 // appropriate exceptions if verification failed hard. Returns true for successful verification or
780 // soft-failures.
781 bool AttemptSupertypeVerification(Thread* self,
782 Handle<mirror::Class> klass,
783 Handle<mirror::Class> supertype)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800784 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700785 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightf1f10492015-10-07 16:08:36 -0700786
Alexey Grebenkinab2ce842018-02-01 19:09:59 +0300787 void DeleteClassLoader(Thread* self, const ClassLoaderData& data, bool cleanup_cha)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700788 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100789
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700790 void VisitClassesInternal(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700791 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700792
793 // Returns the number of zygote and image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700794 size_t NumZygoteClasses() const
795 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700796 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700797
798 // Returns the number of non zygote nor image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700799 size_t NumNonZygoteClasses() const
800 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700801 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700802
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700803 void FinishInit(Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700804 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800805 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma663ea52011-08-19 23:33:41 -0700806
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700807 // For early bootstrapping by Init
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700808 mirror::Class* AllocClass(Thread* self,
809 ObjPtr<mirror::Class> java_lang_Class,
810 uint32_t class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700811 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700812 REQUIRES(!Roles::uninterruptible_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700813
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800814 // Alloc* convenience functions to avoid needing to pass in mirror::Class*
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700815 // values that are known to the ClassLinker such as
816 // kObjectArrayClass and kJavaLangString etc.
Ian Rogers6fac4472014-02-25 17:01:10 -0800817 mirror::Class* AllocClass(Thread* self, uint32_t class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700818 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700819 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700820
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700821 mirror::DexCache* AllocDexCache(ObjPtr<mirror::String>* out_location,
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700822 Thread* self,
823 const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700824 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700825 REQUIRES(!Roles::uninterruptible_);
Ian Rogersbdb03912011-09-14 00:55:44 -0700826
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700827 // Used for tests and AppendToBootClassPath.
828 mirror::DexCache* AllocAndInitializeDexCache(Thread* self,
829 const DexFile& dex_file,
830 LinearAlloc* linear_alloc)
831 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800832 REQUIRES(!Locks::dex_lock_)
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700833 REQUIRES(!Roles::uninterruptible_);
834
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800835 mirror::Class* CreatePrimitiveClass(Thread* self, Primitive::Type type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700836 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700837 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700838 mirror::Class* InitializePrimitiveClass(ObjPtr<mirror::Class> primitive_class,
839 Primitive::Type type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700840 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700841 REQUIRES(!Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700842
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700843 mirror::Class* CreateArrayClass(Thread* self,
844 const char* descriptor,
845 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700846 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700847 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800848 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700849
Vladimir Markocd556b02017-02-03 11:47:34 +0000850 void AppendToBootClassPath(const DexFile& dex_file, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700851 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800852 REQUIRES(!Locks::dex_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700853
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700854 // Precomputes size needed for Class, in the case of a non-temporary class this size must be
855 // sufficient to hold all static fields.
856 uint32_t SizeOfClassWithoutEmbeddedTables(const DexFile& dex_file,
857 const DexFile::ClassDef& dex_class_def);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700858
Mathieu Chartierc7853442015-03-27 14:35:38 -0700859 // Setup the classloader, class def index, type idx so that we can insert this class in the class
860 // table.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700861 void SetupClass(const DexFile& dex_file,
862 const DexFile::ClassDef& dex_class_def,
863 Handle<mirror::Class> klass,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700864 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700865 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700866
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700867 void LoadClass(Thread* self,
868 const DexFile& dex_file,
869 const DexFile::ClassDef& dex_class_def,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700870 Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700871 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700872 void LoadClassMembers(Thread* self,
873 const DexFile& dex_file,
874 const uint8_t* class_data,
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100875 Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700876 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700877
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700878 void LoadField(const ClassDataItemIterator& it, Handle<mirror::Class> klass, ArtField* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700879 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700880
Mathieu Chartier268764d2016-09-13 12:09:38 -0700881 void LoadMethod(const DexFile& dex_file,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700882 const ClassDataItemIterator& it,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700883 Handle<mirror::Class> klass, ArtMethod* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700884 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700885
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700886 void FixupStaticTrampolines(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800887
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000888 // Finds a class in a Path- or DexClassLoader, loading it if necessary without using JNI. Hash
Andreas Gampe34ee6842014-12-02 15:43:52 -0800889 // function is supposed to be ComputeModifiedUtf8Hash(descriptor). Returns true if the
890 // class-loader chain could be handled, false otherwise, i.e., a non-supported class-loader
891 // was encountered while walking the parent chain (currently only BootClassLoader and
892 // PathClassLoader are supported).
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000893 bool FindClassInBaseDexClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
894 Thread* self,
895 const char* descriptor,
896 size_t hash,
897 Handle<mirror::ClassLoader> class_loader,
898 ObjPtr<mirror::Class>* result)
Andreas Gampe34ee6842014-12-02 15:43:52 -0800899 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800900 REQUIRES(!Locks::dex_lock_);
Andreas Gampe34ee6842014-12-02 15:43:52 -0800901
Calin Juravle415dc3d2017-06-28 11:03:12 -0700902 // Finds the class in the classpath of the given class loader. It only searches the class loader
903 // dex files and does not recurse into its parent.
904 // The method checks that the provided class loader is either a PathClassLoader or a
905 // DexClassLoader.
906 // If the class is found the method returns the resolved class. Otherwise it returns null.
907 ObjPtr<mirror::Class> FindClassInBaseDexClassLoaderClassPath(
908 ScopedObjectAccessAlreadyRunnable& soa,
909 const char* descriptor,
910 size_t hash,
911 Handle<mirror::ClassLoader> class_loader)
912 REQUIRES_SHARED(Locks::mutator_lock_)
913 REQUIRES(!Locks::dex_lock_);
914
915 // Finds the class in the boot class loader.
916 // If the class is found the method returns the resolved class. Otherwise it returns null.
917 ObjPtr<mirror::Class> FindClassInBootClassLoaderClassPath(Thread* self,
918 const char* descriptor,
919 size_t hash)
920 REQUIRES_SHARED(Locks::mutator_lock_)
921 REQUIRES(!Locks::dex_lock_);
922
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000923 // Implementation of LookupResolvedType() called when the type was not found in the dex cache.
924 ObjPtr<mirror::Class> DoLookupResolvedType(dex::TypeIndex type_idx,
925 ObjPtr<mirror::DexCache> dex_cache,
926 ObjPtr<mirror::ClassLoader> class_loader)
927 REQUIRES_SHARED(Locks::mutator_lock_);
928
929 // Implementation of ResolveType() called when the type was not found in the dex cache.
930 ObjPtr<mirror::Class> DoResolveType(dex::TypeIndex type_idx,
931 Handle<mirror::DexCache> dex_cache,
932 Handle<mirror::ClassLoader> class_loader)
933 REQUIRES_SHARED(Locks::mutator_lock_)
934 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
935
Andreas Gampe34ee6842014-12-02 15:43:52 -0800936 // Finds a class by its descriptor, returning NULL if it isn't wasn't loaded
937 // by the given 'class_loader'. Uses the provided hash for the descriptor.
938 mirror::Class* LookupClass(Thread* self,
939 const char* descriptor,
940 size_t hash,
941 ObjPtr<mirror::ClassLoader> class_loader)
942 REQUIRES(!Locks::classlinker_classes_lock_)
943 REQUIRES_SHARED(Locks::mutator_lock_);
944
Vladimir Markof44d36c2017-03-14 14:18:46 +0000945 // Find a field by its field index.
946 ArtField* LookupResolvedField(uint32_t field_idx,
947 ObjPtr<mirror::DexCache> dex_cache,
948 ObjPtr<mirror::ClassLoader> class_loader,
949 bool is_static)
950 REQUIRES_SHARED(Locks::mutator_lock_);
951
Vladimir Markocd556b02017-02-03 11:47:34 +0000952 void RegisterDexFileLocked(const DexFile& dex_file,
953 ObjPtr<mirror::DexCache> dex_cache,
954 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800955 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700956 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000957 DexCacheData FindDexCacheDataLocked(const DexFile& dex_file)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800958 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700959 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000960 static ObjPtr<mirror::DexCache> DecodeDexCache(Thread* self, const DexCacheData& data)
961 REQUIRES_SHARED(Locks::mutator_lock_);
962 // Called to ensure that the dex cache has been registered with the same class loader.
963 // If yes, returns the dex cache, otherwise throws InternalError and returns null.
964 ObjPtr<mirror::DexCache> EnsureSameClassLoader(Thread* self,
965 ObjPtr<mirror::DexCache> dex_cache,
966 const DexCacheData& data,
967 ObjPtr<mirror::ClassLoader> class_loader)
968 REQUIRES(!Locks::dex_lock_)
969 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700970
Alex Lighteb7c1442015-08-31 13:17:42 -0700971 bool InitializeDefaultInterfaceRecursive(Thread* self,
972 Handle<mirror::Class> klass,
973 bool can_run_clinit,
974 bool can_init_parents)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800975 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700976 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700977 bool WaitForInitializeClass(Handle<mirror::Class> klass,
978 Thread* self,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700979 ObjectLock<mirror::Class>& lock);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700980
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700981 bool IsSameDescriptorInDifferentClassContexts(Thread* self,
982 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700983 Handle<mirror::ClassLoader> class_loader1,
984 Handle<mirror::ClassLoader> class_loader2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700985 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700986
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700987 bool IsSameMethodSignatureInDifferentClassContexts(Thread* self,
988 ArtMethod* method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700989 ObjPtr<mirror::Class> klass1,
990 ObjPtr<mirror::Class> klass2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700991 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700992
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700993 bool LinkClass(Thread* self,
994 const char* descriptor,
995 Handle<mirror::Class> klass,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700996 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700997 MutableHandle<mirror::Class>* h_new_class_out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700998 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700999 REQUIRES(!Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001000
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001001 bool LinkSuperClass(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001002 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001003
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001004 bool LoadSuperAndInterfaces(Handle<mirror::Class> klass, const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001005 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001006 REQUIRES(!Locks::dex_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001007
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001008 bool LinkMethods(Thread* self,
1009 Handle<mirror::Class> klass,
Mathieu Chartier2d2621a2014-10-23 16:48:06 -07001010 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001011 bool* out_new_conflict,
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001012 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001013 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001014
Orion Hodsonf8db2c32017-07-07 20:07:12 +01001015 mirror::MethodHandle* ResolveMethodHandleForField(Thread* self,
1016 const DexFile::MethodHandleItem& method_handle,
1017 ArtMethod* referrer)
1018 REQUIRES_SHARED(Locks::mutator_lock_);
1019
1020 mirror::MethodHandle* ResolveMethodHandleForMethod(Thread* self,
Orion Hodsonf8db2c32017-07-07 20:07:12 +01001021 const DexFile::MethodHandleItem& method_handle,
1022 ArtMethod* referrer)
1023 REQUIRES_SHARED(Locks::mutator_lock_);
1024
Alex Light9139e002015-10-09 15:59:48 -07001025 // A wrapper class representing the result of a method translation used for linking methods and
1026 // updating superclass default methods. For each method in a classes vtable there are 4 states it
1027 // could be in:
1028 // 1) No translation is necessary. In this case there is no MethodTranslation object for it. This
1029 // is the standard case and is true when the method is not overridable by a default method,
1030 // the class defines a concrete implementation of the method, the default method implementation
1031 // remains the same, or an abstract method stayed abstract.
1032 // 2) The method must be translated to a different default method. We note this with
1033 // CreateTranslatedMethod.
1034 // 3) The method must be replaced with a conflict method. This happens when a superclass
1035 // implements an interface with a default method and this class implements an unrelated
1036 // interface that also defines that default method. We note this with CreateConflictingMethod.
1037 // 4) The method must be replaced with an abstract miranda method. This happens when a superclass
1038 // implements an interface with a default method and this class implements a subinterface of
1039 // the superclass's interface which declares the default method abstract. We note this with
1040 // CreateAbstractMethod.
1041 //
1042 // When a method translation is unnecessary (case #1), we don't put it into the
1043 // default_translation maps. So an instance of MethodTranslation must be in one of #2-#4.
1044 class MethodTranslation {
1045 public:
1046 // This slot must become a default conflict method.
1047 static MethodTranslation CreateConflictingMethod() {
1048 return MethodTranslation(Type::kConflict, /*translation*/nullptr);
1049 }
1050
1051 // This slot must become an abstract method.
1052 static MethodTranslation CreateAbstractMethod() {
1053 return MethodTranslation(Type::kAbstract, /*translation*/nullptr);
1054 }
1055
1056 // Use the given method as the current value for this vtable slot during translation.
1057 static MethodTranslation CreateTranslatedMethod(ArtMethod* new_method) {
1058 return MethodTranslation(Type::kTranslation, new_method);
1059 }
1060
1061 // Returns true if this is a method that must become a conflict method.
1062 bool IsInConflict() const {
1063 return type_ == Type::kConflict;
1064 }
1065
1066 // Returns true if this is a method that must become an abstract method.
1067 bool IsAbstract() const {
1068 return type_ == Type::kAbstract;
1069 }
1070
1071 // Returns true if this is a method that must become a different method.
1072 bool IsTranslation() const {
1073 return type_ == Type::kTranslation;
1074 }
1075
1076 // Get the translated version of this method.
1077 ArtMethod* GetTranslation() const {
1078 DCHECK(IsTranslation());
1079 DCHECK(translation_ != nullptr);
1080 return translation_;
1081 }
1082
1083 private:
1084 enum class Type {
1085 kTranslation,
1086 kConflict,
1087 kAbstract,
1088 };
1089
1090 MethodTranslation(Type type, ArtMethod* translation)
1091 : translation_(translation), type_(type) {}
1092
1093 ArtMethod* const translation_;
1094 const Type type_;
1095 };
1096
Alex Lighteb7c1442015-08-31 13:17:42 -07001097 // Links the virtual methods for the given class and records any default methods that will need to
1098 // be updated later.
1099 //
1100 // Arguments:
1101 // * self - The current thread.
1102 // * klass - class, whose vtable will be filled in.
1103 // * default_translations - Vtable index to new method map.
1104 // Any vtable entries that need to be updated with new default methods
1105 // are stored into the default_translations map. The default_translations
1106 // map is keyed on the vtable index that needs to be updated. We use this
1107 // map because if we override a default method with another default
1108 // method we need to update the vtable to point to the new method.
1109 // Unfortunately since we copy the ArtMethod* we cannot just do a simple
1110 // scan, we therefore store the vtable index's that might need to be
1111 // updated with the method they will turn into.
1112 // TODO This whole default_translations thing is very dirty. There should be a better way.
Alex Light9139e002015-10-09 15:59:48 -07001113 bool LinkVirtualMethods(
1114 Thread* self,
1115 Handle<mirror::Class> klass,
1116 /*out*/std::unordered_map<size_t, MethodTranslation>* default_translations)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001117 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001118
Alex Lighteb7c1442015-08-31 13:17:42 -07001119 // Sets up the interface lookup table (IFTable) in the correct order to allow searching for
1120 // default methods.
1121 bool SetupInterfaceLookupTable(Thread* self,
1122 Handle<mirror::Class> klass,
1123 Handle<mirror::ObjectArray<mirror::Class>> interfaces)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001124 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001125
Alex Light9139e002015-10-09 15:59:48 -07001126
1127 enum class DefaultMethodSearchResult {
1128 kDefaultFound,
1129 kAbstractFound,
1130 kDefaultConflict
1131 };
1132
Alex Lighteb7c1442015-08-31 13:17:42 -07001133 // Find the default method implementation for 'interface_method' in 'klass', if one exists.
1134 //
1135 // Arguments:
1136 // * self - The current thread.
1137 // * target_method - The method we are trying to find a default implementation for.
1138 // * klass - The class we are searching for a definition of target_method.
1139 // * out_default_method - The pointer we will store the found default method to on success.
Alex Lighteb7c1442015-08-31 13:17:42 -07001140 //
1141 // Return value:
Alex Light9139e002015-10-09 15:59:48 -07001142 // * kDefaultFound - There were no conflicting method implementations found in the class while
1143 // searching for target_method. The default method implementation is stored into
1144 // out_default_method.
1145 // * kAbstractFound - There were no conflicting method implementations found in the class while
1146 // searching for target_method but no default implementation was found either.
1147 // out_default_method is set to null and the method should be considered not
1148 // implemented.
1149 // * kDefaultConflict - Conflicting method implementations were found when searching for
1150 // target_method. The value of *out_default_method is null.
1151 DefaultMethodSearchResult FindDefaultMethodImplementation(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001152 Thread* self,
1153 ArtMethod* target_method,
1154 Handle<mirror::Class> klass,
1155 /*out*/ArtMethod** out_default_method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001156 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001157
1158 // Sets the imt entries and fixes up the vtable for the given class by linking all the interface
1159 // methods. See LinkVirtualMethods for an explanation of what default_translations is.
Alex Light9139e002015-10-09 15:59:48 -07001160 bool LinkInterfaceMethods(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001161 Thread* self,
1162 Handle<mirror::Class> klass,
1163 const std::unordered_map<size_t, MethodTranslation>& default_translations,
1164 bool* out_new_conflict,
1165 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001166 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001167
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001168 bool LinkStaticFields(Thread* self, Handle<mirror::Class> klass, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001169 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001170 bool LinkInstanceFields(Thread* self, Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001171 REQUIRES_SHARED(Locks::mutator_lock_);
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001172 bool LinkFields(Thread* self, Handle<mirror::Class> klass, bool is_static, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001173 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001174 void CreateReferenceInstanceOffsets(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001175 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001176
Mathieu Chartiere401d142015-04-22 13:56:20 -07001177 void CheckProxyConstructor(ArtMethod* constructor) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001178 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001179 void CheckProxyMethod(ArtMethod* method, ArtMethod* prototype) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001180 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001181
Andreas Gampecc1b5352016-12-01 16:58:38 -08001182 size_t GetDexCacheCount() REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001183 return dex_caches_.size();
1184 }
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001185 const std::list<DexCacheData>& GetDexCachesData()
Andreas Gampecc1b5352016-12-01 16:58:38 -08001186 REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001187 return dex_caches_;
1188 }
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001189
Mathieu Chartiere401d142015-04-22 13:56:20 -07001190 void CreateProxyConstructor(Handle<mirror::Class> klass, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001191 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001192 void CreateProxyMethod(Handle<mirror::Class> klass, ArtMethod* prototype, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001193 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -04001194
Mathieu Chartier5b830502016-03-02 10:30:23 -08001195 // Register a class loader and create its class table and allocator. Should not be called if
1196 // these are already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001197 void RegisterClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001198 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier5b830502016-03-02 10:30:23 -08001199 REQUIRES(Locks::classlinker_classes_lock_);
1200
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001201 // Insert a new class table if not found.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001202 ClassTable* InsertClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001203 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001204 REQUIRES(Locks::classlinker_classes_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001205
Ian Rogersdbf3be02014-08-29 15:40:08 -07001206 // EnsureResolved is called to make sure that a class in the class_table_ has been resolved
1207 // before returning it to the caller. Its the responsibility of the thread that placed the class
1208 // in the table to make it resolved. The thread doing resolution must notify on the class' lock
1209 // when resolution has occurred. This happens in mirror::Class::SetStatus. As resolution may
1210 // retire a class, the version of the class in the table is returned and this may differ from
1211 // the class passed in.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001212 mirror::Class* EnsureResolved(Thread* self, const char* descriptor, ObjPtr<mirror::Class> klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001213 WARN_UNUSED
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001214 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001215 REQUIRES(!Locks::dex_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001216
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001217 void FixupTemporaryDeclaringClass(ObjPtr<mirror::Class> temp_class,
1218 ObjPtr<mirror::Class> new_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001219 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001220
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001221 void SetClassRoot(ClassRoot class_root, ObjPtr<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001222 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001223
1224 // Return the quick generic JNI stub for testing.
1225 const void* GetRuntimeQuickGenericJniStub() const;
1226
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001227 bool CanWeInitializeClass(ObjPtr<mirror::Class> klass,
1228 bool can_init_statics,
1229 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001230 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001231
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001232 void UpdateClassMethods(ObjPtr<mirror::Class> klass,
Alex Lighte64300b2015-12-15 15:02:47 -08001233 LengthPrefixedArray<ArtMethod>* new_methods)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001234 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001235 REQUIRES(!Locks::classlinker_classes_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001236
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001237 // Check that c1 == FindSystemClass(self, descriptor). Abort with class dumps otherwise.
1238 void CheckSystemClass(Thread* self, Handle<mirror::Class> c1, const char* descriptor)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001239 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001240 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001241
Vladimir Marko921094a2017-01-12 18:37:06 +00001242 // Allocate method arrays for interfaces.
1243 bool AllocateIfTableMethodArrays(Thread* self,
1244 Handle<mirror::Class> klass,
1245 Handle<mirror::IfTable> iftable)
1246 REQUIRES_SHARED(Locks::mutator_lock_);
1247
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001248 // Sets imt_ref appropriately for LinkInterfaceMethods.
1249 // If there is no method in the imt location of imt_ref it will store the given method there.
1250 // Otherwise it will set the conflict method which will figure out which method to use during
1251 // runtime.
1252 void SetIMTRef(ArtMethod* unimplemented_method,
1253 ArtMethod* imt_conflict_method,
1254 ArtMethod* current_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001255 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001256 /*out*/ArtMethod** imt_ref) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001257
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001258 void FillIMTFromIfTable(ObjPtr<mirror::IfTable> if_table,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001259 ArtMethod* unimplemented_method,
1260 ArtMethod* imt_conflict_method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001261 ObjPtr<mirror::Class> klass,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001262 bool create_conflict_tables,
1263 bool ignore_copied_methods,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001264 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001265 /*out*/ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001266
1267 void FillImtFromSuperClass(Handle<mirror::Class> klass,
1268 ArtMethod* unimplemented_method,
1269 ArtMethod* imt_conflict_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001270 bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001271 ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001272
Vladimir Markoba118822017-06-12 15:41:56 +01001273 // Check invoke type against the referenced class. Throws IncompatibleClassChangeError
1274 // (if `kThrowOnError`) and returns true on mismatch (kInterface on a non-interface class,
1275 // kVirtual on interface, kDefault on interface for dex files not supporting default methods),
1276 // otherwise returns false.
1277 template <bool kThrowOnError, typename ClassGetter>
1278 static bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1279 InvokeType type,
1280 ClassGetter class_getter)
1281 REQUIRES_SHARED(Locks::mutator_lock_);
1282 // Helper that feeds the above function with `ClassGetter` doing `LookupResolvedType()`.
1283 template <bool kThrow>
1284 bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1285 InvokeType type,
1286 uint32_t method_idx,
1287 ObjPtr<mirror::ClassLoader> class_loader)
1288 REQUIRES_SHARED(Locks::mutator_lock_);
1289
Brian Carlstrom4a96b602011-07-26 16:40:23 -07001290 std::vector<const DexFile*> boot_class_path_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001291 std::vector<std::unique_ptr<const DexFile>> boot_dex_files_;
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07001292
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001293 // JNI weak globals and side data to allow dex caches to get unloaded. We lazily delete weak
1294 // globals when we register new dex files.
Andreas Gampecc1b5352016-12-01 16:58:38 -08001295 std::list<DexCacheData> dex_caches_ GUARDED_BY(Locks::dex_lock_);
Brian Carlstrom47d237a2011-10-18 15:08:33 -07001296
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -07001297 // This contains the class loaders which have class tables. It is populated by
Mathieu Chartier951ec2c2015-09-22 08:50:05 -07001298 // InsertClassTableForClassLoader.
1299 std::list<ClassLoaderData> class_loaders_
Mathieu Chartier6b069532015-08-05 15:08:12 -07001300 GUARDED_BY(Locks::classlinker_classes_lock_);
1301
1302 // Boot class path table. Since the class loader for this is null.
Andreas Gampe2af99022017-04-25 08:32:59 -07001303 std::unique_ptr<ClassTable> boot_class_table_ GUARDED_BY(Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001304
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001305 // New class roots, only used by CMS since the GC needs to mark these in the pause.
1306 std::vector<GcRoot<mirror::Class>> new_class_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Elliott Hughesf8349362012-06-18 15:00:06 -07001307
Vladimir Marko1998cd02017-01-13 13:02:58 +00001308 // Boot image oat files with new .bss GC roots to be visited in the pause by CMS.
1309 std::vector<const OatFile*> new_bss_roots_boot_oat_files_
1310 GUARDED_BY(Locks::classlinker_classes_lock_);
1311
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001312 // Number of times we've searched dex caches for a class. After a certain number of misses we move
1313 // the classes into the class_table_ to avoid dex cache based searches.
Ian Rogers68b56852014-08-29 20:19:11 -07001314 Atomic<uint32_t> failed_dex_cache_class_lookups_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001315
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001316 // Well known mirror::Class roots.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001317 GcRoot<mirror::ObjectArray<mirror::Class>> class_roots_;
Brian Carlstrom913af1b2011-07-23 21:41:13 -07001318
Ian Rogers98379392014-02-24 16:53:16 -08001319 // The interface table used by all arrays.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001320 GcRoot<mirror::IfTable> array_iftable_;
Carl Shapiro565f5072011-07-10 13:39:43 -07001321
Ian Rogers98379392014-02-24 16:53:16 -08001322 // A cache of the last FindArrayClass results. The cache serves to avoid creating array class
1323 // descriptors for the sake of performing FindClass.
1324 static constexpr size_t kFindArrayCacheSize = 16;
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001325 GcRoot<mirror::Class> find_array_class_cache_[kFindArrayCacheSize];
Ian Rogers98379392014-02-24 16:53:16 -08001326 size_t find_array_class_cache_next_victim_;
1327
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001328 bool init_done_;
Vladimir Marko1998cd02017-01-13 13:02:58 +00001329 bool log_new_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001330
Elliott Hughescf4c6c42011-09-01 15:16:42 -07001331 InternTable* intern_table_;
1332
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001333 // Trampolines within the image the bounce to runtime entrypoints. Done so that there is a single
1334 // patch point within the image. TODO: make these proper relocations.
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001335 const void* quick_resolution_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -07001336 const void* quick_imt_conflict_trampoline_;
Andreas Gampe2da88232014-02-27 12:26:20 -08001337 const void* quick_generic_jni_trampoline_;
Vladimir Marko8a630572014-04-09 18:45:35 +01001338 const void* quick_to_interpreter_bridge_trampoline_;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001339
Mathieu Chartier2d721012014-11-10 11:08:06 -08001340 // Image pointer size.
Andreas Gampe542451c2016-07-26 09:02:02 -07001341 PointerSize image_pointer_size_;
Mathieu Chartier2d721012014-11-10 11:08:06 -08001342
Andreas Gampec1ac9ee2017-07-24 22:35:49 -07001343 std::unique_ptr<ClassHierarchyAnalysis> cha_;
1344
Mathieu Chartier65975772016-08-05 10:46:36 -07001345 class FindVirtualMethodHolderVisitor;
Andreas Gampe2af99022017-04-25 08:32:59 -07001346
1347 friend class AppImageClassLoadersAndDexCachesHelper;
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001348 friend class ImageDumper; // for DexLock
Vladimir Marko74527972016-11-29 15:57:32 +00001349 friend struct linker::CompilationHelper; // For Compile in ImageTest.
1350 friend class linker::ImageWriter; // for GetClassRoots
1351 friend class linker::OatWriter; // for boot image string/class table slot address lookup.
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001352 friend class JniCompilerTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe5f4a09a2015-09-28 13:16:33 -07001353 friend class JniInternalTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe2af99022017-04-25 08:32:59 -07001354 friend class VMClassLoader; // for LookupClass and FindClassInBaseDexClassLoader.
Mathieu Chartier76172162016-01-26 14:54:06 -08001355 ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for DexLock, and RegisterDexFileLocked
Narayan Kamath25352fc2016-08-03 12:46:58 +01001356 ART_FRIEND_TEST(mirror::DexCacheMethodHandlesTest, Open); // for AllocDexCache
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001357 ART_FRIEND_TEST(mirror::DexCacheTest, Open); // for AllocDexCache
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001358 DISALLOW_COPY_AND_ASSIGN(ClassLinker);
1359};
1360
Andreas Gampe0f01b582017-01-18 15:22:37 -08001361class ClassLoadCallback {
1362 public:
1363 virtual ~ClassLoadCallback() {}
1364
Alex Lightb0f11922017-01-23 14:25:17 -08001365 // If set we will replace initial_class_def & initial_dex_file with the final versions. The
1366 // callback author is responsible for ensuring these are allocated in such a way they can be
1367 // cleaned up if another transformation occurs. Note that both must be set or null/unchanged on
1368 // return.
1369 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1370 // different object. It is the listener's responsibility to handle this.
1371 // Note: This callback is rarely useful so a default implementation has been given that does
1372 // nothing.
1373 virtual void ClassPreDefine(const char* descriptor ATTRIBUTE_UNUSED,
1374 Handle<mirror::Class> klass ATTRIBUTE_UNUSED,
1375 Handle<mirror::ClassLoader> class_loader ATTRIBUTE_UNUSED,
1376 const DexFile& initial_dex_file ATTRIBUTE_UNUSED,
1377 const DexFile::ClassDef& initial_class_def ATTRIBUTE_UNUSED,
1378 /*out*/DexFile const** final_dex_file ATTRIBUTE_UNUSED,
Alex Light4b0cedf2017-01-24 11:15:20 -08001379 /*out*/DexFile::ClassDef const** final_class_def ATTRIBUTE_UNUSED)
Alex Lightb0f11922017-01-23 14:25:17 -08001380 REQUIRES_SHARED(Locks::mutator_lock_) {}
1381
Andreas Gampe0f01b582017-01-18 15:22:37 -08001382 // A class has been loaded.
1383 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1384 // different object. It is the listener's responsibility to handle this.
1385 virtual void ClassLoad(Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1386
1387 // A class has been prepared, i.e., resolved. As the ClassLoad event might have been for a
1388 // temporary class, provide both the former and the current class.
1389 virtual void ClassPrepare(Handle<mirror::Class> temp_klass,
1390 Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1391};
1392
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001393} // namespace art
1394
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001395#endif // ART_RUNTIME_CLASS_LINKER_H_