blob: dd9f56fd905ae4f155cd7538a3bc484748dc03cd [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
Andreas Gampe49b74a82019-01-07 10:19:49 -080020#include <list>
Mathieu Chartierc5dd3192015-12-09 16:38:30 -080021#include <set>
Ian Rogers6d4d9fc2011-11-30 16:24:48 -080022#include <string>
Alex Lighteb7c1442015-08-31 13:17:42 -070023#include <unordered_map>
Mathieu Chartierc5dd3192015-12-09 16:38:30 -080024#include <unordered_set>
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070025#include <utility>
26#include <vector>
27
Andreas Gampe542451c2016-07-26 09:02:02 -070028#include "base/enums.h"
Vladimir Markobf121912019-06-04 13:49:05 +010029#include "base/mutex.h"
30#include "base/intrusive_forward_list.h"
Andreas Gampe7fbc4a52018-11-28 08:26:47 -080031#include "base/locks.h"
Elliott Hughes76160052012-12-12 16:31:20 -080032#include "base/macros.h"
Mathieu Chartier1f1cb9f2018-06-04 09:22:46 -070033#include "dex/class_accessor.h"
David Sehr999646d2018-02-16 10:22:33 -080034#include "dex/dex_cache_resolved_classes.h"
David Sehr9e734c72018-01-04 17:56:19 -080035#include "dex/dex_file_types.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070036#include "gc_root.h"
Andreas Gampe0f01b582017-01-18 15:22:37 -080037#include "handle.h"
Mathieu Chartier590fee92013-09-13 13:46:47 -070038#include "jni.h"
Vladimir Marko97d7e1c2016-10-04 14:44:28 +010039#include "mirror/class.h"
Andreas Gampe6d7abbd2017-04-24 13:19:09 -070040#include "verifier/verifier_enums.h"
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070041
42namespace art {
Mingyao Yang98d1cc82014-05-15 17:02:16 -070043
Andreas Gampe3f1dcd32018-12-28 09:39:56 -080044namespace dex {
45struct ClassDef;
Andreas Gampe62629592019-01-03 16:08:31 -080046struct MethodHandleItem;
Andreas Gampe3f1dcd32018-12-28 09:39:56 -080047} // namespace dex
48
Ian Rogers1d54e732013-05-02 21:10:01 -070049namespace gc {
50namespace space {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080051class ImageSpace;
Ian Rogers1d54e732013-05-02 21:10:01 -070052} // namespace space
53} // namespace gc
Vladimir Marko74527972016-11-29 15:57:32 +000054
55namespace linker {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080056struct CompilationHelper;
57class ImageWriter;
58class OatWriter;
Vladimir Marko74527972016-11-29 15:57:32 +000059} // namespace linker
60
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080061namespace mirror {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080062class ClassLoader;
63class DexCache;
64class DexCachePointerArray;
65class DexCacheMethodHandlesTest_Open_Test;
66class DexCacheTest_Open_Test;
67class IfTable;
68class MethodHandle;
69class MethodHandlesLookup;
70class MethodType;
71template<class T> class ObjectArray;
72class StackTraceElement;
73template <typename T> struct NativeDexCachePair;
74using MethodDexCachePair = NativeDexCachePair<ArtMethod>;
75using MethodDexCacheType = std::atomic<MethodDexCachePair>;
Ian Rogers33e95662013-05-20 20:29:14 -070076} // namespace mirror
Ian Rogers1d54e732013-05-02 21:10:01 -070077
Vladimir Marko09c5ca42018-05-31 15:15:31 +010078class ArtField;
79class ArtMethod;
Andreas Gampec1ac9ee2017-07-24 22:35:49 -070080class ClassHierarchyAnalysis;
Vladimir Markob4eb1b12018-05-24 11:09:38 +010081enum class ClassRoot : uint32_t;
Andreas Gampe2af99022017-04-25 08:32:59 -070082class ClassTable;
Andreas Gampe3f1dcd32018-12-28 09:39:56 -080083class DexFile;
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070084template<class T> class Handle;
Vladimir Marko97d7e1c2016-10-04 14:44:28 +010085class ImtConflictTable;
86template<typename T> class LengthPrefixedArray;
Hiroshi Yamauchi679b1cf2015-05-21 12:05:27 -070087template<class T> class MutableHandle;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070088class InternTable;
Andreas Gamped482e732017-04-24 17:59:09 -070089class LinearAlloc;
Vladimir Marko1998cd02017-01-13 13:02:58 +000090class OatFile;
Mathieu Chartierc528dba2013-11-26 12:00:11 -080091template<class T> class ObjectLock;
Andreas Gampe7ba64962014-10-23 11:37:40 -070092class Runtime;
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070093class ScopedObjectAccessAlreadyRunnable;
Mathieu Chartier2d2621a2014-10-23 16:48:06 -070094template<size_t kNumReferences> class PACKED(4) StackHandleScope;
Andreas Gampe49b74a82019-01-07 10:19:49 -080095class Thread;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070096
Mathieu Chartier893263b2014-03-04 11:07:42 -080097enum VisitRootFlags : uint8_t;
98
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -080099class ClassVisitor {
100 public:
101 virtual ~ClassVisitor() {}
102 // Return true to continue visiting.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700103 virtual bool operator()(ObjPtr<mirror::Class> klass) = 0;
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -0800104};
105
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -0700106class ClassLoaderVisitor {
107 public:
108 virtual ~ClassLoaderVisitor() {}
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700109 virtual void Visit(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700110 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_) = 0;
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -0700111};
112
Alexey Grebenkin252a4e42018-04-02 18:18:01 +0300113class AllocatorVisitor {
114 public:
115 virtual ~AllocatorVisitor() {}
116 // Return true to continue visiting.
117 virtual bool Visit(LinearAlloc* alloc)
118 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_) = 0;
119};
120
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700121class ClassLinker {
122 public:
Chris Wailes55c880e2018-10-24 13:10:35 -0700123 static constexpr bool kAppImageMayContainStrings = true;
Mathieu Chartier0933cc52018-03-23 14:25:08 -0700124
Andreas Gampe87658f32019-04-18 18:39:02 +0000125 explicit ClassLinker(InternTable* intern_table,
126 bool fast_class_not_found_exceptions = true);
Chang Xing605fe242017-07-20 15:57:21 -0700127 virtual ~ClassLinker();
Carl Shapiro565f5072011-07-10 13:39:43 -0700128
Alex Light64ad14d2014-08-19 14:23:13 -0700129 // Initialize class linker by bootstraping from dex files.
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800130 bool InitWithoutImage(std::vector<std::unique_ptr<const DexFile>> boot_class_path,
131 std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700132 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800133 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700134
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800135 // Initialize class linker from one or more boot images.
136 bool InitFromBootImage(std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700137 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800138 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700139
Vladimir Marko0ace5632018-12-14 11:11:47 +0000140 // Add boot class path dex files that were not included in the boot image.
141 // ClassLinker takes ownership of these dex files.
142 void AddExtraBootDexFiles(Thread* self,
143 std::vector<std::unique_ptr<const DexFile>>&& additional_dex_files)
144 REQUIRES_SHARED(Locks::mutator_lock_);
145
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800146 // Add an image space to the class linker, may fix up classloader fields and dex cache fields.
147 // The dex files that were newly opened for the space are placed in the out argument
148 // out_dex_files. Returns true if the operation succeeded.
149 // The space must be already added to the heap before calling AddImageSpace since we need to
150 // properly handle read barriers and object marking.
151 bool AddImageSpace(gc::space::ImageSpace* space,
152 Handle<mirror::ClassLoader> class_loader,
153 jobjectArray dex_elements,
154 const char* dex_location,
155 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
156 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800157 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700158 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800159
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800160 bool OpenImageDexFiles(gc::space::ImageSpace* space,
161 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
162 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800163 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700164 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800165
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700166 // Finds a class by its descriptor, loading it if necessary.
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700167 // If class_loader is null, searches boot_class_path_.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100168 ObjPtr<mirror::Class> FindClass(Thread* self,
169 const char* descriptor,
170 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700171 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800172 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700173
Ian Rogers98379392014-02-24 16:53:16 -0800174 // Finds a class by its descriptor using the "system" class loader, ie by searching the
175 // boot_class_path_.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100176 ObjPtr<mirror::Class> FindSystemClass(Thread* self, const char* descriptor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700177 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800178 REQUIRES(!Locks::dex_lock_) {
179 return FindClass(self, descriptor, ScopedNullHandle<mirror::ClassLoader>());
180 }
Ian Rogers98379392014-02-24 16:53:16 -0800181
182 // Finds the array class given for the element class.
Vladimir Markobcf17522018-06-01 13:14:32 +0100183 ObjPtr<mirror::Class> FindArrayClass(Thread* self, ObjPtr<mirror::Class> element_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700184 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800185 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700186
Ian Rogers63557452014-06-04 16:57:15 -0700187 // Returns true if the class linker is initialized.
Ian Rogers7b078e82014-09-10 14:44:24 -0700188 bool IsInitialized() const {
189 return init_done_;
190 }
Mathieu Chartier590fee92013-09-13 13:46:47 -0700191
Brian Carlstromaded5f72011-10-07 17:15:04 -0700192 // Define a new a class based on a ClassDef from a DexFile
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100193 ObjPtr<mirror::Class> DefineClass(Thread* self,
194 const char* descriptor,
195 size_t hash,
196 Handle<mirror::ClassLoader> class_loader,
197 const DexFile& dex_file,
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800198 const dex::ClassDef& dex_class_def)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700199 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800200 REQUIRES(!Locks::dex_lock_);
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700201
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700202 // Finds a class by its descriptor, returning null if it isn't wasn't loaded
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700203 // by the given 'class_loader'.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100204 ObjPtr<mirror::Class> LookupClass(Thread* self,
205 const char* descriptor,
206 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700207 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampe2ff3b972017-06-05 18:14:53 -0700208 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700209
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800210 // Finds all the classes with the given descriptor, regardless of ClassLoader.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700211 void LookupClasses(const char* descriptor, std::vector<ObjPtr<mirror::Class>>& classes)
Mathieu Chartier90443472015-07-16 20:32:27 -0700212 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700213 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800214
Vladimir Marko9186b182018-11-06 14:55:54 +0000215 ObjPtr<mirror::Class> LookupPrimitiveClass(char type) REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100216 ObjPtr<mirror::Class> FindPrimitiveClass(char type) REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700217
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700218 void DumpForSigQuit(std::ostream& os) REQUIRES(!Locks::classlinker_classes_lock_);
Elliott Hughescac6cc72011-11-03 20:31:21 -0700219
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700220 size_t NumLoadedClasses()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700221 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700222 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughese27955c2011-08-26 15:21:24 -0700223
Vladimir Marko18090d12018-06-01 16:53:12 +0100224 // Resolve a String with the given index from the DexFile associated with the given `referrer`,
225 // storing the result in the DexCache. The `referrer` is used to identify the target DexCache
226 // to use for resolution.
227 ObjPtr<mirror::String> ResolveString(dex::StringIndex string_idx,
228 ArtField* referrer)
229 REQUIRES_SHARED(Locks::mutator_lock_);
230 ObjPtr<mirror::String> ResolveString(dex::StringIndex string_idx,
231 ArtMethod* referrer)
232 REQUIRES_SHARED(Locks::mutator_lock_);
233
Vladimir Markoa64b52d2017-12-08 16:27:49 +0000234 // Resolve a String with the given index from the DexFile associated with the given DexCache,
235 // storing the result in the DexCache.
236 ObjPtr<mirror::String> ResolveString(dex::StringIndex string_idx,
Vladimir Marko28e012a2017-12-07 11:22:59 +0000237 Handle<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700238 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700239
Vladimir Markoa64b52d2017-12-08 16:27:49 +0000240 // Find a String with the given index from the DexFile associated with the given DexCache,
241 // storing the result in the DexCache if found. Return null if not found.
242 ObjPtr<mirror::String> LookupString(dex::StringIndex string_idx,
Vladimir Marko28e012a2017-12-07 11:22:59 +0000243 ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700244 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000245
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000246 // Resolve a Type with the given index from the DexFile associated with the given `referrer`,
247 // storing the result in the DexCache. The `referrer` is used to identify the target DexCache
248 // and ClassLoader to use for resolution.
249 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx, ObjPtr<mirror::Class> referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700250 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800251 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Vladimir Marko09c5ca42018-05-31 15:15:31 +0100252 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx, ArtField* referrer)
253 REQUIRES_SHARED(Locks::mutator_lock_)
254 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Vladimir Marko28e012a2017-12-07 11:22:59 +0000255 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700256 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800257 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700258
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000259 // Resolve a type with the given index from the DexFile associated with the given DexCache
260 // and ClassLoader, storing the result in DexCache. The ClassLoader is used to search for
261 // the type, since it may be referenced from but not contained within the DexFile.
262 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx,
Vladimir Marko28e012a2017-12-07 11:22:59 +0000263 Handle<mirror::DexCache> dex_cache,
264 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700265 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800266 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700267
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000268 // Look up a resolved type with the given index from the DexFile associated with the given
269 // `referrer`, storing the result in the DexCache. The `referrer` is used to identify the
270 // target DexCache and ClassLoader to use for lookup.
271 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx,
272 ObjPtr<mirror::Class> referrer)
273 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Marko09c5ca42018-05-31 15:15:31 +0100274 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx, ArtField* referrer)
275 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000276 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx, ArtMethod* referrer)
277 REQUIRES_SHARED(Locks::mutator_lock_);
278
279 // Look up a resolved type with the given index from the DexFile associated with the given
280 // DexCache and ClassLoader. The ClassLoader is used to search for the type, since it may
281 // be referenced from but not contained within the DexFile.
282 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx,
283 ObjPtr<mirror::DexCache> dex_cache,
284 ObjPtr<mirror::ClassLoader> class_loader)
285 REQUIRES_SHARED(Locks::mutator_lock_);
286
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800287 // Determine whether a dex cache result should be trusted, or an IncompatibleClassChangeError
Vladimir Markoba118822017-06-12 15:41:56 +0100288 // check and IllegalAccessError check should be performed even after a hit.
289 enum class ResolveMode { // private.
290 kNoChecks,
291 kCheckICCEAndIAE
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800292 };
293
Vladimir Marko07bfbac2017-07-06 14:55:02 +0100294 // Look up a previously resolved method with the given index.
295 ArtMethod* LookupResolvedMethod(uint32_t method_idx,
296 ObjPtr<mirror::DexCache> dex_cache,
297 ObjPtr<mirror::ClassLoader> class_loader)
298 REQUIRES_SHARED(Locks::mutator_lock_);
299
Nicolas Geoffrayea179f42018-02-08 22:30:18 +0000300 // Find a method with the given index from class `klass`, and update the dex cache.
301 ArtMethod* FindResolvedMethod(ObjPtr<mirror::Class> klass,
302 ObjPtr<mirror::DexCache> dex_cache,
303 ObjPtr<mirror::ClassLoader> class_loader,
304 uint32_t method_idx)
305 REQUIRES_SHARED(Locks::mutator_lock_);
306
David Brazdil4525e0b2018-04-05 16:57:32 +0100307 // Find a method using the wrong lookup mechanism. If `klass` is an interface,
308 // search for a class method. If it is a class, search for an interface method.
309 // This is useful when throwing IncompatibleClassChangeError.
310 ArtMethod* FindIncompatibleMethod(ObjPtr<mirror::Class> klass,
311 ObjPtr<mirror::DexCache> dex_cache,
312 ObjPtr<mirror::ClassLoader> class_loader,
313 uint32_t method_idx)
314 REQUIRES_SHARED(Locks::mutator_lock_);
315
Vladimir Marko89011192017-12-11 13:45:05 +0000316 // Resolve a method with a given ID from the DexFile associated with the given DexCache
317 // and ClassLoader, storing the result in DexCache. The ClassLinker and ClassLoader are
318 // used as in ResolveType. What is unique is the method type argument which is used to
319 // determine if this method is a direct, static, or virtual method.
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800320 template <ResolveMode kResolveMode>
Vladimir Marko89011192017-12-11 13:45:05 +0000321 ArtMethod* ResolveMethod(uint32_t method_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700322 Handle<mirror::DexCache> dex_cache,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700323 Handle<mirror::ClassLoader> class_loader,
324 ArtMethod* referrer,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700325 InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700326 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800327 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700328
Vladimir Markoba118822017-06-12 15:41:56 +0100329 template <InvokeType type, ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700330 ArtMethod* GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700331 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightfedd91d2016-01-07 14:49:16 -0800332
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800333 template <ResolveMode kResolveMode>
David Srbecky9cc67b12018-10-25 10:10:35 +0000334 ArtMethod* ResolveMethod(Thread* self, uint32_t method_idx, ArtMethod* referrer, InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700335 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800336 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Vladimir Marko89011192017-12-11 13:45:05 +0000337 ArtMethod* ResolveMethodWithoutInvokeType(uint32_t method_idx,
Jeff Hao0042c6d2015-07-29 20:14:10 -0700338 Handle<mirror::DexCache> dex_cache,
339 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700340 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800341 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom16192862011-09-12 17:50:06 -0700342
Vladimir Markof44d36c2017-03-14 14:18:46 +0000343 ArtField* LookupResolvedField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700344 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700345 ArtField* ResolveField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700346 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800347 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstromb9edb842011-08-28 16:31:06 -0700348
Vladimir Markoe11dd502017-12-08 14:09:45 +0000349 // Resolve a field with a given ID from the DexFile associated with the given DexCache
350 // and ClassLoader, storing the result in DexCache. The ClassLinker and ClassLoader
351 // are used as in ResolveType. What is unique is the is_static argument which is used
352 // to determine if we are resolving a static or non-static field.
353 ArtField* ResolveField(uint32_t field_idx,
Mathieu Chartier90443472015-07-16 20:32:27 -0700354 Handle<mirror::DexCache> dex_cache,
Vladimir Markoe11dd502017-12-08 14:09:45 +0000355 Handle<mirror::ClassLoader> class_loader,
356 bool is_static)
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 Carlstrom9ea1cb12011-08-24 23:18:18 -0700359
Vladimir Markoe11dd502017-12-08 14:09:45 +0000360 // Resolve a field with a given ID from the DexFile associated with the given DexCache
361 // and ClassLoader, storing the result in DexCache. The ClassLinker and ClassLoader
362 // are used as in ResolveType. No is_static argument is provided so that Java
Ian Rogersb067ac22011-12-13 18:05:09 -0800363 // field resolution semantics are followed.
Vladimir Markoe11dd502017-12-08 14:09:45 +0000364 ArtField* ResolveFieldJLS(uint32_t field_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700365 Handle<mirror::DexCache> dex_cache,
366 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700367 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800368 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersb067ac22011-12-13 18:05:09 -0800369
David Brazdil1ab0fa82018-05-04 11:28:03 +0100370 // Find a field with a given ID from the DexFile associated with the given DexCache
371 // and ClassLoader, storing the result in DexCache. The declaring class is assumed
372 // to have been already resolved into `klass`. The `is_static` argument is used to
373 // determine if we are resolving a static or non-static field.
374 ArtField* FindResolvedField(ObjPtr<mirror::Class> klass,
375 ObjPtr<mirror::DexCache> dex_cache,
376 ObjPtr<mirror::ClassLoader> class_loader,
377 uint32_t field_idx,
378 bool is_static)
379 REQUIRES_SHARED(Locks::mutator_lock_);
380
381 // Find a field with a given ID from the DexFile associated with the given DexCache
382 // and ClassLoader, storing the result in DexCache. The declaring class is assumed
383 // to have been already resolved into `klass`. No is_static argument is provided
384 // so that Java field resolution semantics are followed.
385 ArtField* FindResolvedFieldJLS(ObjPtr<mirror::Class> klass,
386 ObjPtr<mirror::DexCache> dex_cache,
387 ObjPtr<mirror::ClassLoader> class_loader,
388 uint32_t field_idx)
389 REQUIRES_SHARED(Locks::mutator_lock_);
390
Vladimir Markoaf940202017-12-08 15:01:18 +0000391 // Resolve a method type with a given ID from the DexFile associated with a given DexCache
392 // and ClassLoader, storing the result in the DexCache.
393 ObjPtr<mirror::MethodType> ResolveMethodType(Thread* self,
Orion Hodson06d10a72018-05-14 08:53:38 +0100394 dex::ProtoIndex proto_idx,
Vladimir Markoaf940202017-12-08 15:01:18 +0000395 Handle<mirror::DexCache> dex_cache,
396 Handle<mirror::ClassLoader> class_loader)
Narayan Kamath25352fc2016-08-03 12:46:58 +0100397 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800398 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersad25ac52011-10-04 19:13:33 -0700399
Vladimir Markoaf940202017-12-08 15:01:18 +0000400 ObjPtr<mirror::MethodType> ResolveMethodType(Thread* self,
Orion Hodson06d10a72018-05-14 08:53:38 +0100401 dex::ProtoIndex proto_idx,
Vladimir Markoaf940202017-12-08 15:01:18 +0000402 ArtMethod* referrer)
Orion Hodson2e599942017-09-22 16:17:41 +0100403 REQUIRES_SHARED(Locks::mutator_lock_);
404
Orion Hodsonc069a302017-01-18 09:23:12 +0000405 // Resolve a method handle with a given ID from the DexFile. The
406 // result is not cached in the DexCache as the instance will only be
407 // used once in most circumstances.
Vladimir Markoaf940202017-12-08 15:01:18 +0000408 ObjPtr<mirror::MethodHandle> ResolveMethodHandle(Thread* self,
409 uint32_t method_handle_idx,
410 ArtMethod* referrer)
Orion Hodsonc069a302017-01-18 09:23:12 +0000411 REQUIRES_SHARED(Locks::mutator_lock_);
412
Elliott Hughesf4c21c92011-08-19 17:31:31 -0700413 // Returns true on success, false if there's an exception pending.
Brian Carlstrom25c33252011-09-18 15:58:35 -0700414 // can_run_clinit=false allows the compiler to attempt to init a class,
415 // given the restriction that no <clinit> execution is possible.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700416 bool EnsureInitialized(Thread* self,
417 Handle<mirror::Class> c,
418 bool can_init_fields,
Ian Rogers7b078e82014-09-10 14:44:24 -0700419 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700420 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800421 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700422
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700423 // Initializes classes that have instances in the image but that have
424 // <clinit> methods so they could not be initialized by the compiler.
Vladimir Markodcfcce42018-06-27 10:00:28 +0000425 void RunRootClinits(Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700426 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800427 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700428
Alex Light07f06212017-06-01 14:01:43 -0700429 // Directly register an already existing dex cache. RegisterDexFile should be preferred since that
430 // reduplicates DexCaches when possible. The DexCache given to this function must already be fully
431 // initialized and not already registered.
432 void RegisterExistingDexCache(ObjPtr<mirror::DexCache> cache,
433 ObjPtr<mirror::ClassLoader> class_loader)
434 REQUIRES(!Locks::dex_lock_)
435 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000436 ObjPtr<mirror::DexCache> RegisterDexFile(const DexFile& dex_file,
437 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800438 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700439 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700440
Brian Carlstrom8a487412011-08-29 20:08:52 -0700441 const std::vector<const DexFile*>& GetBootClassPath() {
442 return boot_class_path_;
443 }
444
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700445 void VisitClasses(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700446 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700447 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -0700448
449 // Less efficient variant of VisitClasses that copies the class_table_ into secondary storage
450 // so that it can visit individual classes without holding the doesn't hold the
451 // Locks::classlinker_classes_lock_. As the Locks::classlinker_classes_lock_ isn't held this code
452 // can race with insertion and deletion of classes while the visitor is being called.
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700453 void VisitClassesWithoutClassesLock(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700454 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800455 REQUIRES(!Locks::dex_lock_);
Elliott Hughesa2155262011-11-16 16:26:58 -0800456
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700457 void VisitClassRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gamped98b4ed2016-11-04 20:27:24 -0700458 REQUIRES(!Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700459 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700460 void VisitRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800461 REQUIRES(!Locks::dex_lock_, !Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700462 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700463
Vladimir Markocd556b02017-02-03 11:47:34 +0000464 bool IsDexFileRegistered(Thread* self, const DexFile& dex_file)
465 REQUIRES(!Locks::dex_lock_)
466 REQUIRES_SHARED(Locks::mutator_lock_);
467 ObjPtr<mirror::DexCache> FindDexCache(Thread* self, const DexFile& dex_file)
468 REQUIRES(!Locks::dex_lock_)
469 REQUIRES_SHARED(Locks::mutator_lock_);
470 ClassTable* FindClassTable(Thread* self, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800471 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700472 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom1d9f52b2011-10-13 10:50:45 -0700473
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700474 LengthPrefixedArray<ArtField>* AllocArtFieldArray(Thread* self,
475 LinearAlloc* allocator,
476 size_t length);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800477
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700478 LengthPrefixedArray<ArtMethod>* AllocArtMethodArray(Thread* self,
479 LinearAlloc* allocator,
480 size_t length);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700481
Vladimir Markobcf17522018-06-01 13:14:32 +0100482 ObjPtr<mirror::PointerArray> AllocPointerArray(Thread* self, size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700483 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700484 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800485
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100486 ObjPtr<mirror::IfTable> AllocIfTable(Thread* self, size_t ifcount)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700487 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700488 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800489
Vladimir Markobcf17522018-06-01 13:14:32 +0100490 ObjPtr<mirror::ObjectArray<mirror::StackTraceElement>> AllocStackTraceElementArray(Thread* self,
491 size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700492 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700493 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800494
Andreas Gampe6d7abbd2017-04-24 13:19:09 -0700495 verifier::FailureKind VerifyClass(
Nicolas Geoffray08025182016-10-25 17:20:18 +0100496 Thread* self,
497 Handle<mirror::Class> klass,
498 verifier::HardFailLogMode log_level = verifier::HardFailLogMode::kLogNone)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700499 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800500 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700501 bool VerifyClassUsingOatFile(const DexFile& dex_file,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700502 ObjPtr<mirror::Class> klass,
Vladimir Marko2c64a832018-01-04 11:31:56 +0000503 ClassStatus& oat_file_class_status)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700504 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800505 REQUIRES(!Locks::dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800506 void ResolveClassExceptionHandlerTypes(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700507 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800508 REQUIRES(!Locks::dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800509 void ResolveMethodExceptionHandlerTypes(ArtMethod* klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700510 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800511 REQUIRES(!Locks::dex_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800512
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100513 ObjPtr<mirror::Class> CreateProxyClass(ScopedObjectAccessAlreadyRunnable& soa,
514 jstring name,
515 jobjectArray interfaces,
516 jobject loader,
517 jobjectArray methods,
518 jobjectArray throws)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700519 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -0400520
Alex Lightfc49fec2018-01-16 22:28:36 +0000521 // Get the oat code for a method when its class isn't yet initialized.
522 const void* GetQuickOatCodeFor(ArtMethod* method)
523 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800524
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700525 pid_t GetClassesLockOwner(); // For SignalCatcher.
526 pid_t GetDexLockOwner(); // For SignalCatcher.
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -0700527
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700528 // Is the given entry point quick code to run the resolution stub?
529 bool IsQuickResolutionStub(const void* entry_point) const;
Jeff Hao88474b42013-10-23 16:24:40 -0700530
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700531 // Is the given entry point quick code to bridge into the interpreter?
532 bool IsQuickToInterpreterBridge(const void* entry_point) const;
533
534 // Is the given entry point quick code to run the generic JNI stub?
535 bool IsQuickGenericJniStub(const void* entry_point) const;
Vladimir Marko8a630572014-04-09 18:45:35 +0100536
David Sehra49e0532017-08-25 08:05:29 -0700537 // Is the given entry point the JNI dlsym lookup stub?
538 bool IsJniDlsymLookupStub(const void* entry_point) const;
539
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100540 const void* GetQuickToInterpreterBridgeTrampoline() const {
541 return quick_to_interpreter_bridge_trampoline_;
542 }
543
Jeff Hao88474b42013-10-23 16:24:40 -0700544 InternTable* GetInternTable() const {
545 return intern_table_;
546 }
547
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700548 // Set the entrypoints up for method to the enter the interpreter.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700549 void SetEntryPointsToInterpreter(ArtMethod* method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700550 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700551
Alex Lightdb01a092017-04-03 15:39:55 -0700552 // Set the entrypoints up for an obsolete method.
553 void SetEntryPointsForObsoleteMethod(ArtMethod* method) const
554 REQUIRES_SHARED(Locks::mutator_lock_);
555
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700556 // Attempts to insert a class into a class table. Returns null if
Ian Rogers848871b2013-08-05 10:56:33 -0700557 // the class was inserted, otherwise returns an existing class with
558 // the same descriptor and ClassLoader.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100559 ObjPtr<mirror::Class> InsertClass(const char* descriptor,
560 ObjPtr<mirror::Class> klass,
561 size_t hash)
Mathieu Chartier90443472015-07-16 20:32:27 -0700562 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700563 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers848871b2013-08-05 10:56:33 -0700564
Vladimir Marko1998cd02017-01-13 13:02:58 +0000565 // Add an oat file with .bss GC roots to be visited again at the end of GC
566 // for collector types that need it.
567 void WriteBarrierForBootOatFileBssRoots(const OatFile* oat_file)
568 REQUIRES(!Locks::classlinker_classes_lock_)
569 REQUIRES_SHARED(Locks::mutator_lock_);
570
Vladimir Markob4eb1b12018-05-24 11:09:38 +0100571 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Andreas Gampe88dbad32018-06-26 19:54:12 -0700572 ObjPtr<mirror::ObjectArray<mirror::Class>> GetClassRoots() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700573
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800574 // Move the class table to the pre-zygote table to reduce memory usage. This works by ensuring
575 // that no more classes are ever added to the pre zygote table which makes it that the pages
576 // always remain shared dirty instead of private dirty.
577 void MoveClassTableToPreZygote()
Mathieu Chartier90443472015-07-16 20:32:27 -0700578 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700579 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800580
Calin Juravle7865ac72017-06-28 11:03:12 -0700581 // Creates a GlobalRef PathClassLoader or DelegateLastClassLoader (specified by loader_class)
582 // that can be used to load classes from the given dex files. The parent of the class loader
583 // will be set to `parent_loader`. If `parent_loader` is null the parent will be
584 // the boot class loader.
585 // If class_loader points to a different class than PathClassLoader or DelegateLastClassLoader
586 // this method will abort.
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700587 // 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 -0700588 jobject CreateWellKnownClassLoader(Thread* self,
589 const std::vector<const DexFile*>& dex_files,
590 jclass loader_class,
Nicolas Geoffraye1672732018-11-30 01:09:49 +0000591 jobject parent_loader,
592 jobject shared_libraries = nullptr)
Calin Juravle7865ac72017-06-28 11:03:12 -0700593 REQUIRES_SHARED(Locks::mutator_lock_)
594 REQUIRES(!Locks::dex_lock_);
595
596 // Calls CreateWellKnownClassLoader(self,
597 // dex_files,
598 // WellKnownClasses::dalvik_system_PathClassLoader,
599 // nullptr)
Jeff Haof0192c82016-03-28 20:39:50 -0700600 jobject CreatePathClassLoader(Thread* self, const std::vector<const DexFile*>& dex_files)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700601 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800602 REQUIRES(!Locks::dex_lock_);
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700603
Nicolas Geoffray6b9fd8c2018-11-16 10:25:42 +0000604 // Non-GlobalRef version of CreateWellKnownClassLoader
605 ObjPtr<mirror::ClassLoader> CreateWellKnownClassLoader(
606 Thread* self,
607 const std::vector<const DexFile*>& dex_files,
608 Handle<mirror::Class> loader_class,
Nicolas Geoffraye1672732018-11-30 01:09:49 +0000609 Handle<mirror::ClassLoader> parent_loader,
610 Handle<mirror::ObjectArray<mirror::ClassLoader>> shared_libraries)
Nicolas Geoffray6b9fd8c2018-11-16 10:25:42 +0000611 REQUIRES_SHARED(Locks::mutator_lock_)
612 REQUIRES(!Locks::dex_lock_);
613
Andreas Gampe542451c2016-07-26 09:02:02 -0700614 PointerSize GetImagePointerSize() const {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700615 return image_pointer_size_;
616 }
617
618 // Used by image writer for checking.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700619 bool ClassInClassTable(ObjPtr<mirror::Class> klass)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700620 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700621 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiera89d7ed2014-12-05 10:57:13 -0800622
Andreas Gampe8ac75952015-06-02 21:01:45 -0700623 // Clear the ArrayClass cache. This is necessary when cleaning up for the image, as the cache
624 // entries are roots, but potentially not image classes.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700625 void DropFindArrayClassCache() REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe8ac75952015-06-02 21:01:45 -0700626
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700627 // Clean up class loaders, this needs to happen after JNI weak globals are cleared.
628 void CleanupClassLoaders()
Mathieu Chartier00310e02015-10-17 12:46:42 -0700629 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700630 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700631
Mathieu Chartier32cc9ee2015-10-15 09:19:15 -0700632 // Unlike GetOrCreateAllocatorForClassLoader, GetAllocatorForClassLoader asserts that the
633 // allocator for this class loader is already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700634 LinearAlloc* GetAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700635 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700636
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700637 // Return the linear alloc for a class loader if it is already allocated, otherwise allocate and
638 // set it. TODO: Consider using a lock other than classlinker_classes_lock_.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700639 LinearAlloc* GetOrCreateAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700640 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700641 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier00310e02015-10-17 12:46:42 -0700642
Mathieu Chartier6d25cf62016-04-12 16:54:48 -0700643 // May be called with null class_loader due to legacy code. b/27954959
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700644 void InsertDexFileInToClassLoader(ObjPtr<mirror::Object> dex_file,
645 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700646 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700647 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700648
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000649 static bool ShouldUseInterpreterEntrypoint(ArtMethod* method, const void* quick_code)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700650 REQUIRES_SHARED(Locks::mutator_lock_);
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000651
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800652 std::set<DexCacheResolvedClasses> GetResolvedClasses(bool ignore_boot_classes)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800653 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800654
Jeff Haof0192c82016-03-28 20:39:50 -0700655 static bool IsBootClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700656 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700657 REQUIRES_SHARED(Locks::mutator_lock_);
Jeff Haof0192c82016-03-28 20:39:50 -0700658
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700659 ArtMethod* AddMethodToConflictTable(ObjPtr<mirror::Class> klass,
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700660 ArtMethod* conflict_method,
661 ArtMethod* interface_method,
662 ArtMethod* method,
663 bool force_new_conflict_method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700664 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700665
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700666 // Create a conflict table with a specified capacity.
667 ImtConflictTable* CreateImtConflictTable(size_t count, LinearAlloc* linear_alloc);
668
669 // Static version for when the class linker is not yet created.
670 static ImtConflictTable* CreateImtConflictTable(size_t count,
671 LinearAlloc* linear_alloc,
Andreas Gampe542451c2016-07-26 09:02:02 -0700672 PointerSize pointer_size);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700673
674
675 // Create the IMT and conflict tables for a class.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700676 void FillIMTAndConflictTables(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700677
Mathieu Chartier72041a02017-07-14 18:23:25 -0700678 // Visit all of the class tables. This is used by dex2oat to allow pruning dex caches.
679 template <class Visitor>
680 void VisitClassTables(const Visitor& visitor)
Mathieu Chartier696632e2016-06-03 17:47:32 -0700681 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700682 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700683
Alexey Grebenkin252a4e42018-04-02 18:18:01 +0300684 // Visit all of the allocators that belong to classloaders except boot classloader.
685 // This is used by 616-cha-unloading test to confirm memory reuse.
686 void VisitAllocators(AllocatorVisitor* visitor) const
687 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
688
Jeff Haoc92a7a12016-06-06 11:09:20 -0700689 // Throw the class initialization failure recorded when first trying to initialize the given
690 // class.
Andreas Gampe7b3063b2019-01-07 14:12:52 -0800691 void ThrowEarlierClassFailure(ObjPtr<mirror::Class> c,
692 bool wrap_in_no_class_def = false,
693 bool log = false)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700694 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800695 REQUIRES(!Locks::dex_lock_);
Jeff Haoc92a7a12016-06-06 11:09:20 -0700696
Mathieu Chartier65975772016-08-05 10:46:36 -0700697 // Get the actual holding class for a copied method. Pretty slow, don't call often.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100698 ObjPtr<mirror::Class> GetHoldingClassOfCopiedMethod(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700699 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier65975772016-08-05 10:46:36 -0700700
Andreas Gampe70f16392017-01-16 14:20:10 -0800701 // Returns null if not found.
Andreas Gampe2af99022017-04-25 08:32:59 -0700702 // This returns a pointer to the class-table, without requiring any locking - including the
703 // boot class-table. It is the caller's responsibility to access this under lock, if required.
Andreas Gampe70f16392017-01-16 14:20:10 -0800704 ClassTable* ClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampe2af99022017-04-25 08:32:59 -0700705 REQUIRES_SHARED(Locks::mutator_lock_)
706 NO_THREAD_SAFETY_ANALYSIS;
Andreas Gampe70f16392017-01-16 14:20:10 -0800707
Andreas Gampece7732b2017-01-17 15:50:26 -0800708 void AppendToBootClassPath(Thread* self, const DexFile& dex_file)
709 REQUIRES_SHARED(Locks::mutator_lock_)
710 REQUIRES(!Locks::dex_lock_);
711
Mathieu Chartier06bed302017-07-13 13:23:18 -0700712 // Visit all of the class loaders in the class linker.
713 void VisitClassLoaders(ClassLoaderVisitor* visitor) const
714 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
715
Jeff Hao0cb17282017-07-12 14:51:49 -0700716 // Checks that a class and its superclass from another class loader have the same virtual methods.
717 bool ValidateSuperClassDescriptors(Handle<mirror::Class> klass)
718 REQUIRES_SHARED(Locks::mutator_lock_);
719
Andreas Gampec1ac9ee2017-07-24 22:35:49 -0700720 ClassHierarchyAnalysis* GetClassHierarchyAnalysis() {
721 return cha_.get();
722 }
723
Vladimir Markobf121912019-06-04 13:49:05 +0100724 void MakeInitializedClassesVisiblyInitialized(Thread* self, bool wait);
725
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800726 struct DexCacheData {
Vladimir Markocd556b02017-02-03 11:47:34 +0000727 // Construct an invalid data object.
728 DexCacheData()
729 : weak_root(nullptr),
730 dex_file(nullptr),
Vladimir Markocd556b02017-02-03 11:47:34 +0000731 class_table(nullptr) { }
732
733 // Check if the data is valid.
734 bool IsValid() const {
735 return dex_file != nullptr;
736 }
737
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800738 // Weak root to the DexCache. Note: Do not decode this unnecessarily or else class unloading may
739 // not work properly.
740 jweak weak_root;
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000741 // The following field caches the DexCache's field here to avoid unnecessary jweak decode that
742 // triggers read barriers (and marks them alive unnecessarily and messes with class unloading.)
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800743 const DexFile* dex_file;
Vladimir Markocd556b02017-02-03 11:47:34 +0000744 // Identify the associated class loader's class table. This is used to make sure that
745 // the Java call to native DexCache.setResolvedType() inserts the resolved type in that
746 // class table. It is also used to make sure we don't register the same dex cache with
747 // multiple class loaders.
748 ClassTable* class_table;
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800749 };
750
Chang Xing605fe242017-07-20 15:57:21 -0700751 protected:
752 virtual bool InitializeClass(Thread* self,
753 Handle<mirror::Class> klass,
754 bool can_run_clinit,
755 bool can_init_parents)
756 REQUIRES_SHARED(Locks::mutator_lock_)
757 REQUIRES(!Locks::dex_lock_);
758
Mathieu Chartier9e050df2017-08-09 10:05:47 -0700759 virtual verifier::FailureKind PerformClassVerification(Thread* self,
760 Handle<mirror::Class> klass,
761 verifier::HardFailLogMode log_level,
762 std::string* error_msg)
763 REQUIRES_SHARED(Locks::mutator_lock_);
764
Chang Xing0c2c2222017-08-04 14:36:17 -0700765 virtual bool CanAllocClass() REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Locks::dex_lock_) {
766 return true;
767 }
768
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700769 private:
Vladimir Marko921094a2017-01-12 18:37:06 +0000770 class LinkInterfaceMethodsHelper;
Vladimir Markobf121912019-06-04 13:49:05 +0100771 class VisiblyInitializedCallback;
Vladimir Marko921094a2017-01-12 18:37:06 +0000772
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700773 struct ClassLoaderData {
Mathieu Chartierc3fcd412015-09-25 16:54:59 -0700774 jweak weak_root; // Weak root to enable class unloading.
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700775 ClassTable* class_table;
776 LinearAlloc* allocator;
777 };
778
Vladimir Markobf121912019-06-04 13:49:05 +0100779 void VisiblyInitializedCallbackDone(Thread* self, VisiblyInitializedCallback* callback);
780 VisiblyInitializedCallback* MarkClassInitialized(Thread* self, Handle<mirror::Class> klass)
781 REQUIRES_SHARED(Locks::mutator_lock_);
782
Alex Lightf1f10492015-10-07 16:08:36 -0700783 // Ensures that the supertype of 'klass' ('supertype') is verified. Returns false and throws
784 // appropriate exceptions if verification failed hard. Returns true for successful verification or
785 // soft-failures.
786 bool AttemptSupertypeVerification(Thread* self,
787 Handle<mirror::Class> klass,
788 Handle<mirror::Class> supertype)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800789 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700790 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightf1f10492015-10-07 16:08:36 -0700791
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300792 void DeleteClassLoader(Thread* self, const ClassLoaderData& data, bool cleanup_cha)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700793 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100794
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700795 void VisitClassesInternal(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700796 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700797
798 // Returns the number of zygote and image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700799 size_t NumZygoteClasses() 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
803 // Returns the number of non zygote nor image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700804 size_t NumNonZygoteClasses() const
805 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700806 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700807
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700808 void FinishInit(Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700809 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800810 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma663ea52011-08-19 23:33:41 -0700811
Roland Levillain0e840272018-08-23 19:55:30 +0100812 // If we do not allow moving classes (`art::kMovingClass` is false) or if
813 // parameter `kMovable` is false (or both), the class object is allocated in
814 // the non-moving space.
Vladimir Marko70e2a762019-07-12 16:49:00 +0100815 template <bool kMovable = true, class PreFenceVisitor>
816 ObjPtr<mirror::Class> AllocClass(Thread* self,
817 ObjPtr<mirror::Class> java_lang_Class,
818 uint32_t class_size,
819 const PreFenceVisitor& pre_fence_visitor)
820 REQUIRES_SHARED(Locks::mutator_lock_)
821 REQUIRES(!Roles::uninterruptible_);
822
823 // Convenience AllocClass() overload that uses mirror::Class::InitializeClassVisitor
824 // for the class initialization.
Roland Levillain0e840272018-08-23 19:55:30 +0100825 template <bool kMovable = true>
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100826 ObjPtr<mirror::Class> AllocClass(Thread* self,
827 ObjPtr<mirror::Class> java_lang_Class,
828 uint32_t class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700829 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700830 REQUIRES(!Roles::uninterruptible_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700831
Nicolas Geoffray5a2301d2019-09-18 06:11:22 +0000832 // Convenience AllocClass() overload that uses mirror::Class::InitializeClassVisitor
833 // for the class initialization and uses the `java_lang_Class` from class roots
834 // instead of an explicit argument.
835 ObjPtr<mirror::Class> AllocClass(Thread* self, uint32_t class_size)
836 REQUIRES_SHARED(Locks::mutator_lock_)
837 REQUIRES(!Roles::uninterruptible_);
838
Vladimir Marko70e2a762019-07-12 16:49:00 +0100839 // Allocate a primitive array class and store it in appropriate class root.
840 void AllocPrimitiveArrayClass(Thread* self,
841 ClassRoot primitive_root,
842 ClassRoot array_root)
843 REQUIRES_SHARED(Locks::mutator_lock_)
844 REQUIRES(!Roles::uninterruptible_);
845
846 // Finish setup of an array class.
847 void FinishArrayClassSetup(ObjPtr<mirror::Class> array_class)
848 REQUIRES_SHARED(Locks::mutator_lock_)
849 REQUIRES(!Roles::uninterruptible_);
850
851 // Finish setup of a core array class (Object[], Class[], String[] and
852 // primitive arrays) and insert it into the class table.
853 void FinishCoreArrayClassSetup(ClassRoot array_root)
Roland Levillain0e840272018-08-23 19:55:30 +0100854 REQUIRES_SHARED(Locks::mutator_lock_)
855 REQUIRES(!Roles::uninterruptible_);
856
Vladimir Markobcf17522018-06-01 13:14:32 +0100857 ObjPtr<mirror::DexCache> AllocDexCache(/*out*/ ObjPtr<mirror::String>* out_location,
858 Thread* self,
859 const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700860 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700861 REQUIRES(!Roles::uninterruptible_);
Ian Rogersbdb03912011-09-14 00:55:44 -0700862
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700863 // Used for tests and AppendToBootClassPath.
Vladimir Markobcf17522018-06-01 13:14:32 +0100864 ObjPtr<mirror::DexCache> AllocAndInitializeDexCache(Thread* self,
865 const DexFile& dex_file,
866 LinearAlloc* linear_alloc)
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700867 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800868 REQUIRES(!Locks::dex_lock_)
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700869 REQUIRES(!Roles::uninterruptible_);
870
Vladimir Marko70e2a762019-07-12 16:49:00 +0100871 // Create a primitive class and store it in the appropriate class root.
872 void CreatePrimitiveClass(Thread* self, Primitive::Type type, ClassRoot primitive_root)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700873 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700874 REQUIRES(!Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700875
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100876 ObjPtr<mirror::Class> CreateArrayClass(Thread* self,
877 const char* descriptor,
878 size_t hash,
879 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700880 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800881 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700882
Vladimir Markocd556b02017-02-03 11:47:34 +0000883 void AppendToBootClassPath(const DexFile& dex_file, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700884 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800885 REQUIRES(!Locks::dex_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700886
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700887 // Precomputes size needed for Class, in the case of a non-temporary class this size must be
888 // sufficient to hold all static fields.
889 uint32_t SizeOfClassWithoutEmbeddedTables(const DexFile& dex_file,
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800890 const dex::ClassDef& dex_class_def);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700891
Nicolas Geoffray5a2301d2019-09-18 06:11:22 +0000892 // Setup the classloader, class def index, type idx so that we can insert this class in the class
893 // table.
894 void SetupClass(const DexFile& dex_file,
895 const dex::ClassDef& dex_class_def,
896 Handle<mirror::Class> klass,
897 ObjPtr<mirror::ClassLoader> class_loader)
898 REQUIRES_SHARED(Locks::mutator_lock_);
899
900 void LoadClass(Thread* self,
901 const DexFile& dex_file,
902 const dex::ClassDef& dex_class_def,
903 Handle<mirror::Class> klass)
904 REQUIRES_SHARED(Locks::mutator_lock_);
905
Mathieu Chartier1f1cb9f2018-06-04 09:22:46 -0700906 void LoadField(const ClassAccessor::Field& field, Handle<mirror::Class> klass, ArtField* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700907 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700908
Mathieu Chartier268764d2016-09-13 12:09:38 -0700909 void LoadMethod(const DexFile& dex_file,
Mathieu Chartier1f1cb9f2018-06-04 09:22:46 -0700910 const ClassAccessor::Method& method,
911 Handle<mirror::Class> klass,
912 ArtMethod* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700913 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700914
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700915 void FixupStaticTrampolines(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800916
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000917 // Finds a class in a Path- or DexClassLoader, loading it if necessary without using JNI. Hash
Andreas Gampe34ee6842014-12-02 15:43:52 -0800918 // function is supposed to be ComputeModifiedUtf8Hash(descriptor). Returns true if the
919 // class-loader chain could be handled, false otherwise, i.e., a non-supported class-loader
920 // was encountered while walking the parent chain (currently only BootClassLoader and
921 // PathClassLoader are supported).
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000922 bool FindClassInBaseDexClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
923 Thread* self,
924 const char* descriptor,
925 size_t hash,
926 Handle<mirror::ClassLoader> class_loader,
Vladimir Markobcf17522018-06-01 13:14:32 +0100927 /*out*/ ObjPtr<mirror::Class>* result)
Andreas Gampe34ee6842014-12-02 15:43:52 -0800928 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800929 REQUIRES(!Locks::dex_lock_);
Andreas Gampe34ee6842014-12-02 15:43:52 -0800930
Nicolas Geoffray80a560c2018-10-26 13:48:51 +0100931 bool FindClassInSharedLibraries(ScopedObjectAccessAlreadyRunnable& soa,
932 Thread* self,
933 const char* descriptor,
934 size_t hash,
935 Handle<mirror::ClassLoader> class_loader,
936 /*out*/ ObjPtr<mirror::Class>* result)
937 REQUIRES_SHARED(Locks::mutator_lock_)
938 REQUIRES(!Locks::dex_lock_);
939
Calin Juravle415dc3d2017-06-28 11:03:12 -0700940 // Finds the class in the classpath of the given class loader. It only searches the class loader
941 // dex files and does not recurse into its parent.
942 // The method checks that the provided class loader is either a PathClassLoader or a
943 // DexClassLoader.
944 // If the class is found the method returns the resolved class. Otherwise it returns null.
945 ObjPtr<mirror::Class> FindClassInBaseDexClassLoaderClassPath(
946 ScopedObjectAccessAlreadyRunnable& soa,
947 const char* descriptor,
948 size_t hash,
949 Handle<mirror::ClassLoader> class_loader)
950 REQUIRES_SHARED(Locks::mutator_lock_)
951 REQUIRES(!Locks::dex_lock_);
952
953 // Finds the class in the boot class loader.
954 // If the class is found the method returns the resolved class. Otherwise it returns null.
955 ObjPtr<mirror::Class> FindClassInBootClassLoaderClassPath(Thread* self,
956 const char* descriptor,
957 size_t hash)
958 REQUIRES_SHARED(Locks::mutator_lock_)
959 REQUIRES(!Locks::dex_lock_);
960
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000961 // Implementation of LookupResolvedType() called when the type was not found in the dex cache.
962 ObjPtr<mirror::Class> DoLookupResolvedType(dex::TypeIndex type_idx,
Vladimir Marko09c5ca42018-05-31 15:15:31 +0100963 ObjPtr<mirror::Class> referrer)
964 REQUIRES_SHARED(Locks::mutator_lock_);
965 ObjPtr<mirror::Class> DoLookupResolvedType(dex::TypeIndex type_idx,
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000966 ObjPtr<mirror::DexCache> dex_cache,
967 ObjPtr<mirror::ClassLoader> class_loader)
968 REQUIRES_SHARED(Locks::mutator_lock_);
969
Vladimir Marko18090d12018-06-01 16:53:12 +0100970 // Implementation of ResolveString() called when the string was not found in the dex cache.
971 ObjPtr<mirror::String> DoResolveString(dex::StringIndex string_idx,
972 ObjPtr<mirror::DexCache> dex_cache)
973 REQUIRES_SHARED(Locks::mutator_lock_);
974 ObjPtr<mirror::String> DoResolveString(dex::StringIndex string_idx,
975 Handle<mirror::DexCache> dex_cache)
976 REQUIRES_SHARED(Locks::mutator_lock_);
977
978 // Implementation of LookupString() called when the string was not found in the dex cache.
979 ObjPtr<mirror::String> DoLookupString(dex::StringIndex string_idx,
980 ObjPtr<mirror::DexCache> dex_cache)
981 REQUIRES_SHARED(Locks::mutator_lock_);
982
Andreas Gampeb0625e02019-05-01 12:43:31 -0700983 // Implementation of ResolveType() called when the type was not found in the dex cache. May be
984 // used with ArtField*, ArtMethod* or ObjPtr<Class>.
985 template <typename RefType>
986 ObjPtr<mirror::Class> DoResolveType(dex::TypeIndex type_idx, RefType referrer)
Vladimir Marko09c5ca42018-05-31 15:15:31 +0100987 REQUIRES_SHARED(Locks::mutator_lock_)
988 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
989 ObjPtr<mirror::Class> DoResolveType(dex::TypeIndex type_idx,
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000990 Handle<mirror::DexCache> dex_cache,
991 Handle<mirror::ClassLoader> class_loader)
992 REQUIRES_SHARED(Locks::mutator_lock_)
993 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
994
Andreas Gampe34ee6842014-12-02 15:43:52 -0800995 // Finds a class by its descriptor, returning NULL if it isn't wasn't loaded
996 // by the given 'class_loader'. Uses the provided hash for the descriptor.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100997 ObjPtr<mirror::Class> LookupClass(Thread* self,
998 const char* descriptor,
999 size_t hash,
1000 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampe34ee6842014-12-02 15:43:52 -08001001 REQUIRES(!Locks::classlinker_classes_lock_)
1002 REQUIRES_SHARED(Locks::mutator_lock_);
1003
Vladimir Markof44d36c2017-03-14 14:18:46 +00001004 // Find a field by its field index.
1005 ArtField* LookupResolvedField(uint32_t field_idx,
1006 ObjPtr<mirror::DexCache> dex_cache,
1007 ObjPtr<mirror::ClassLoader> class_loader,
1008 bool is_static)
1009 REQUIRES_SHARED(Locks::mutator_lock_);
1010
Vladimir Markocd556b02017-02-03 11:47:34 +00001011 void RegisterDexFileLocked(const DexFile& dex_file,
1012 ObjPtr<mirror::DexCache> dex_cache,
1013 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001014 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001015 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +00001016 DexCacheData FindDexCacheDataLocked(const DexFile& dex_file)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001017 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001018 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +00001019 static ObjPtr<mirror::DexCache> DecodeDexCache(Thread* self, const DexCacheData& data)
1020 REQUIRES_SHARED(Locks::mutator_lock_);
1021 // Called to ensure that the dex cache has been registered with the same class loader.
1022 // If yes, returns the dex cache, otherwise throws InternalError and returns null.
1023 ObjPtr<mirror::DexCache> EnsureSameClassLoader(Thread* self,
1024 ObjPtr<mirror::DexCache> dex_cache,
1025 const DexCacheData& data,
1026 ObjPtr<mirror::ClassLoader> class_loader)
1027 REQUIRES(!Locks::dex_lock_)
1028 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -07001029
Alex Lighteb7c1442015-08-31 13:17:42 -07001030 bool InitializeDefaultInterfaceRecursive(Thread* self,
1031 Handle<mirror::Class> klass,
1032 bool can_run_clinit,
1033 bool can_init_parents)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001034 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001035 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001036 bool WaitForInitializeClass(Handle<mirror::Class> klass,
1037 Thread* self,
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001038 ObjectLock<mirror::Class>& lock);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001039
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001040 bool IsSameDescriptorInDifferentClassContexts(Thread* self,
1041 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001042 Handle<mirror::ClassLoader> class_loader1,
1043 Handle<mirror::ClassLoader> class_loader2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001044 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001045
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001046 bool IsSameMethodSignatureInDifferentClassContexts(Thread* self,
1047 ArtMethod* method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001048 ObjPtr<mirror::Class> klass1,
1049 ObjPtr<mirror::Class> klass2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001050 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001051
Nicolas Geoffray5a2301d2019-09-18 06:11:22 +00001052 bool LinkClass(Thread* self,
1053 const char* descriptor,
1054 Handle<mirror::Class> klass,
1055 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
1056 MutableHandle<mirror::Class>* h_new_class_out)
1057 REQUIRES_SHARED(Locks::mutator_lock_)
1058 REQUIRES(!Locks::classlinker_classes_lock_);
1059
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001060 bool LinkSuperClass(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001061 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001062
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001063 bool LoadSuperAndInterfaces(Handle<mirror::Class> klass, const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001064 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001065 REQUIRES(!Locks::dex_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001066
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001067 bool LinkMethods(Thread* self,
1068 Handle<mirror::Class> klass,
Mathieu Chartier2d2621a2014-10-23 16:48:06 -07001069 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001070 bool* out_new_conflict,
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001071 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001072 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001073
Vladimir Marko5aead702019-03-27 11:00:36 +00001074 ObjPtr<mirror::MethodHandle> ResolveMethodHandleForField(
1075 Thread* self,
1076 const dex::MethodHandleItem& method_handle,
1077 ArtMethod* referrer) REQUIRES_SHARED(Locks::mutator_lock_);
Orion Hodsonf8db2c32017-07-07 20:07:12 +01001078
Vladimir Marko5aead702019-03-27 11:00:36 +00001079 ObjPtr<mirror::MethodHandle> ResolveMethodHandleForMethod(
1080 Thread* self,
1081 const dex::MethodHandleItem& method_handle,
1082 ArtMethod* referrer) REQUIRES_SHARED(Locks::mutator_lock_);
Orion Hodsonf8db2c32017-07-07 20:07:12 +01001083
Alex Light9139e002015-10-09 15:59:48 -07001084 // A wrapper class representing the result of a method translation used for linking methods and
1085 // updating superclass default methods. For each method in a classes vtable there are 4 states it
1086 // could be in:
1087 // 1) No translation is necessary. In this case there is no MethodTranslation object for it. This
1088 // is the standard case and is true when the method is not overridable by a default method,
1089 // the class defines a concrete implementation of the method, the default method implementation
1090 // remains the same, or an abstract method stayed abstract.
1091 // 2) The method must be translated to a different default method. We note this with
1092 // CreateTranslatedMethod.
1093 // 3) The method must be replaced with a conflict method. This happens when a superclass
1094 // implements an interface with a default method and this class implements an unrelated
1095 // interface that also defines that default method. We note this with CreateConflictingMethod.
1096 // 4) The method must be replaced with an abstract miranda method. This happens when a superclass
1097 // implements an interface with a default method and this class implements a subinterface of
1098 // the superclass's interface which declares the default method abstract. We note this with
1099 // CreateAbstractMethod.
1100 //
1101 // When a method translation is unnecessary (case #1), we don't put it into the
1102 // default_translation maps. So an instance of MethodTranslation must be in one of #2-#4.
1103 class MethodTranslation {
1104 public:
1105 // This slot must become a default conflict method.
1106 static MethodTranslation CreateConflictingMethod() {
Andreas Gampe98ea9d92018-10-19 14:06:15 -07001107 return MethodTranslation(Type::kConflict, /*translation=*/nullptr);
Alex Light9139e002015-10-09 15:59:48 -07001108 }
1109
1110 // This slot must become an abstract method.
1111 static MethodTranslation CreateAbstractMethod() {
Andreas Gampe98ea9d92018-10-19 14:06:15 -07001112 return MethodTranslation(Type::kAbstract, /*translation=*/nullptr);
Alex Light9139e002015-10-09 15:59:48 -07001113 }
1114
1115 // Use the given method as the current value for this vtable slot during translation.
1116 static MethodTranslation CreateTranslatedMethod(ArtMethod* new_method) {
1117 return MethodTranslation(Type::kTranslation, new_method);
1118 }
1119
1120 // Returns true if this is a method that must become a conflict method.
1121 bool IsInConflict() const {
1122 return type_ == Type::kConflict;
1123 }
1124
1125 // Returns true if this is a method that must become an abstract method.
1126 bool IsAbstract() const {
1127 return type_ == Type::kAbstract;
1128 }
1129
1130 // Returns true if this is a method that must become a different method.
1131 bool IsTranslation() const {
1132 return type_ == Type::kTranslation;
1133 }
1134
1135 // Get the translated version of this method.
1136 ArtMethod* GetTranslation() const {
1137 DCHECK(IsTranslation());
1138 DCHECK(translation_ != nullptr);
1139 return translation_;
1140 }
1141
1142 private:
1143 enum class Type {
1144 kTranslation,
1145 kConflict,
1146 kAbstract,
1147 };
1148
1149 MethodTranslation(Type type, ArtMethod* translation)
1150 : translation_(translation), type_(type) {}
1151
1152 ArtMethod* const translation_;
1153 const Type type_;
1154 };
1155
Alex Lighteb7c1442015-08-31 13:17:42 -07001156 // Links the virtual methods for the given class and records any default methods that will need to
1157 // be updated later.
1158 //
1159 // Arguments:
1160 // * self - The current thread.
1161 // * klass - class, whose vtable will be filled in.
1162 // * default_translations - Vtable index to new method map.
1163 // Any vtable entries that need to be updated with new default methods
1164 // are stored into the default_translations map. The default_translations
1165 // map is keyed on the vtable index that needs to be updated. We use this
1166 // map because if we override a default method with another default
1167 // method we need to update the vtable to point to the new method.
1168 // Unfortunately since we copy the ArtMethod* we cannot just do a simple
1169 // scan, we therefore store the vtable index's that might need to be
1170 // updated with the method they will turn into.
1171 // TODO This whole default_translations thing is very dirty. There should be a better way.
Alex Light9139e002015-10-09 15:59:48 -07001172 bool LinkVirtualMethods(
1173 Thread* self,
1174 Handle<mirror::Class> klass,
1175 /*out*/std::unordered_map<size_t, MethodTranslation>* default_translations)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001176 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001177
Alex Lighteb7c1442015-08-31 13:17:42 -07001178 // Sets up the interface lookup table (IFTable) in the correct order to allow searching for
1179 // default methods.
1180 bool SetupInterfaceLookupTable(Thread* self,
1181 Handle<mirror::Class> klass,
1182 Handle<mirror::ObjectArray<mirror::Class>> interfaces)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001183 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001184
Alex Light9139e002015-10-09 15:59:48 -07001185
1186 enum class DefaultMethodSearchResult {
1187 kDefaultFound,
1188 kAbstractFound,
1189 kDefaultConflict
1190 };
1191
Alex Lighteb7c1442015-08-31 13:17:42 -07001192 // Find the default method implementation for 'interface_method' in 'klass', if one exists.
1193 //
1194 // Arguments:
1195 // * self - The current thread.
1196 // * target_method - The method we are trying to find a default implementation for.
1197 // * klass - The class we are searching for a definition of target_method.
1198 // * out_default_method - The pointer we will store the found default method to on success.
Alex Lighteb7c1442015-08-31 13:17:42 -07001199 //
1200 // Return value:
Alex Light9139e002015-10-09 15:59:48 -07001201 // * kDefaultFound - There were no conflicting method implementations found in the class while
1202 // searching for target_method. The default method implementation is stored into
1203 // out_default_method.
1204 // * kAbstractFound - There were no conflicting method implementations found in the class while
1205 // searching for target_method but no default implementation was found either.
1206 // out_default_method is set to null and the method should be considered not
1207 // implemented.
1208 // * kDefaultConflict - Conflicting method implementations were found when searching for
1209 // target_method. The value of *out_default_method is null.
1210 DefaultMethodSearchResult FindDefaultMethodImplementation(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001211 Thread* self,
1212 ArtMethod* target_method,
1213 Handle<mirror::Class> klass,
1214 /*out*/ArtMethod** out_default_method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001215 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001216
1217 // Sets the imt entries and fixes up the vtable for the given class by linking all the interface
1218 // methods. See LinkVirtualMethods for an explanation of what default_translations is.
Alex Light9139e002015-10-09 15:59:48 -07001219 bool LinkInterfaceMethods(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001220 Thread* self,
1221 Handle<mirror::Class> klass,
1222 const std::unordered_map<size_t, MethodTranslation>& default_translations,
1223 bool* out_new_conflict,
1224 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001225 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001226
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001227 bool LinkStaticFields(Thread* self, Handle<mirror::Class> klass, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001228 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001229 bool LinkInstanceFields(Thread* self, Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001230 REQUIRES_SHARED(Locks::mutator_lock_);
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001231 bool LinkFields(Thread* self, Handle<mirror::Class> klass, bool is_static, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001232 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001233 void CreateReferenceInstanceOffsets(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001234 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001235
Mathieu Chartiere401d142015-04-22 13:56:20 -07001236 void CheckProxyConstructor(ArtMethod* constructor) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001237 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001238 void CheckProxyMethod(ArtMethod* method, ArtMethod* prototype) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001239 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001240
Andreas Gampecc1b5352016-12-01 16:58:38 -08001241 size_t GetDexCacheCount() REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001242 return dex_caches_.size();
1243 }
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001244 const std::list<DexCacheData>& GetDexCachesData()
Andreas Gampecc1b5352016-12-01 16:58:38 -08001245 REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001246 return dex_caches_;
1247 }
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001248
Mathieu Chartiere401d142015-04-22 13:56:20 -07001249 void CreateProxyConstructor(Handle<mirror::Class> klass, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001250 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001251 void CreateProxyMethod(Handle<mirror::Class> klass, ArtMethod* prototype, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001252 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -04001253
Mathieu Chartier5b830502016-03-02 10:30:23 -08001254 // Register a class loader and create its class table and allocator. Should not be called if
1255 // these are already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001256 void RegisterClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001257 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier5b830502016-03-02 10:30:23 -08001258 REQUIRES(Locks::classlinker_classes_lock_);
1259
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001260 // Insert a new class table if not found.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001261 ClassTable* InsertClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001262 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001263 REQUIRES(Locks::classlinker_classes_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001264
Ian Rogersdbf3be02014-08-29 15:40:08 -07001265 // EnsureResolved is called to make sure that a class in the class_table_ has been resolved
1266 // before returning it to the caller. Its the responsibility of the thread that placed the class
1267 // in the table to make it resolved. The thread doing resolution must notify on the class' lock
1268 // when resolution has occurred. This happens in mirror::Class::SetStatus. As resolution may
1269 // retire a class, the version of the class in the table is returned and this may differ from
1270 // the class passed in.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +01001271 ObjPtr<mirror::Class> EnsureResolved(Thread* self,
1272 const char* descriptor,
1273 ObjPtr<mirror::Class> klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001274 WARN_UNUSED
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001275 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001276 REQUIRES(!Locks::dex_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001277
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001278 void FixupTemporaryDeclaringClass(ObjPtr<mirror::Class> temp_class,
1279 ObjPtr<mirror::Class> new_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001280 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001281
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001282 void SetClassRoot(ClassRoot class_root, ObjPtr<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001283 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001284
1285 // Return the quick generic JNI stub for testing.
1286 const void* GetRuntimeQuickGenericJniStub() const;
1287
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001288 bool CanWeInitializeClass(ObjPtr<mirror::Class> klass,
1289 bool can_init_statics,
1290 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001291 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001292
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001293 void UpdateClassMethods(ObjPtr<mirror::Class> klass,
Alex Lighte64300b2015-12-15 15:02:47 -08001294 LengthPrefixedArray<ArtMethod>* new_methods)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001295 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001296 REQUIRES(!Locks::classlinker_classes_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001297
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001298 // Check that c1 == FindSystemClass(self, descriptor). Abort with class dumps otherwise.
1299 void CheckSystemClass(Thread* self, Handle<mirror::Class> c1, const char* descriptor)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001300 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001301 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001302
Vladimir Marko921094a2017-01-12 18:37:06 +00001303 // Allocate method arrays for interfaces.
1304 bool AllocateIfTableMethodArrays(Thread* self,
1305 Handle<mirror::Class> klass,
1306 Handle<mirror::IfTable> iftable)
1307 REQUIRES_SHARED(Locks::mutator_lock_);
1308
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001309 // Sets imt_ref appropriately for LinkInterfaceMethods.
1310 // If there is no method in the imt location of imt_ref it will store the given method there.
1311 // Otherwise it will set the conflict method which will figure out which method to use during
1312 // runtime.
1313 void SetIMTRef(ArtMethod* unimplemented_method,
1314 ArtMethod* imt_conflict_method,
1315 ArtMethod* current_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001316 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001317 /*out*/ArtMethod** imt_ref) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001318
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001319 void FillIMTFromIfTable(ObjPtr<mirror::IfTable> if_table,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001320 ArtMethod* unimplemented_method,
1321 ArtMethod* imt_conflict_method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001322 ObjPtr<mirror::Class> klass,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001323 bool create_conflict_tables,
1324 bool ignore_copied_methods,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001325 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001326 /*out*/ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001327
1328 void FillImtFromSuperClass(Handle<mirror::Class> klass,
1329 ArtMethod* unimplemented_method,
1330 ArtMethod* imt_conflict_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001331 bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001332 ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001333
Vladimir Markoba118822017-06-12 15:41:56 +01001334 // Check invoke type against the referenced class. Throws IncompatibleClassChangeError
1335 // (if `kThrowOnError`) and returns true on mismatch (kInterface on a non-interface class,
1336 // kVirtual on interface, kDefault on interface for dex files not supporting default methods),
1337 // otherwise returns false.
1338 template <bool kThrowOnError, typename ClassGetter>
1339 static bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1340 InvokeType type,
1341 ClassGetter class_getter)
1342 REQUIRES_SHARED(Locks::mutator_lock_);
1343 // Helper that feeds the above function with `ClassGetter` doing `LookupResolvedType()`.
1344 template <bool kThrow>
1345 bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1346 InvokeType type,
1347 uint32_t method_idx,
1348 ObjPtr<mirror::ClassLoader> class_loader)
1349 REQUIRES_SHARED(Locks::mutator_lock_);
1350
Vladimir Marko02610552018-06-04 14:38:00 +01001351 ObjPtr<mirror::IfTable> GetArrayIfTable() REQUIRES_SHARED(Locks::mutator_lock_);
1352
Brian Carlstrom4a96b602011-07-26 16:40:23 -07001353 std::vector<const DexFile*> boot_class_path_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001354 std::vector<std::unique_ptr<const DexFile>> boot_dex_files_;
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07001355
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001356 // JNI weak globals and side data to allow dex caches to get unloaded. We lazily delete weak
1357 // globals when we register new dex files.
Andreas Gampecc1b5352016-12-01 16:58:38 -08001358 std::list<DexCacheData> dex_caches_ GUARDED_BY(Locks::dex_lock_);
Brian Carlstrom47d237a2011-10-18 15:08:33 -07001359
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -07001360 // This contains the class loaders which have class tables. It is populated by
Mathieu Chartier951ec2c2015-09-22 08:50:05 -07001361 // InsertClassTableForClassLoader.
1362 std::list<ClassLoaderData> class_loaders_
Mathieu Chartier6b069532015-08-05 15:08:12 -07001363 GUARDED_BY(Locks::classlinker_classes_lock_);
1364
1365 // Boot class path table. Since the class loader for this is null.
Andreas Gampe2af99022017-04-25 08:32:59 -07001366 std::unique_ptr<ClassTable> boot_class_table_ GUARDED_BY(Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001367
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001368 // New class roots, only used by CMS since the GC needs to mark these in the pause.
1369 std::vector<GcRoot<mirror::Class>> new_class_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Elliott Hughesf8349362012-06-18 15:00:06 -07001370
Vladimir Marko1998cd02017-01-13 13:02:58 +00001371 // Boot image oat files with new .bss GC roots to be visited in the pause by CMS.
1372 std::vector<const OatFile*> new_bss_roots_boot_oat_files_
1373 GUARDED_BY(Locks::classlinker_classes_lock_);
1374
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001375 // Number of times we've searched dex caches for a class. After a certain number of misses we move
1376 // the classes into the class_table_ to avoid dex cache based searches.
Ian Rogers68b56852014-08-29 20:19:11 -07001377 Atomic<uint32_t> failed_dex_cache_class_lookups_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001378
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001379 // Well known mirror::Class roots.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001380 GcRoot<mirror::ObjectArray<mirror::Class>> class_roots_;
Brian Carlstrom913af1b2011-07-23 21:41:13 -07001381
Ian Rogers98379392014-02-24 16:53:16 -08001382 // A cache of the last FindArrayClass results. The cache serves to avoid creating array class
1383 // descriptors for the sake of performing FindClass.
1384 static constexpr size_t kFindArrayCacheSize = 16;
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001385 GcRoot<mirror::Class> find_array_class_cache_[kFindArrayCacheSize];
Ian Rogers98379392014-02-24 16:53:16 -08001386 size_t find_array_class_cache_next_victim_;
1387
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001388 bool init_done_;
Vladimir Marko1998cd02017-01-13 13:02:58 +00001389 bool log_new_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001390
Elliott Hughescf4c6c42011-09-01 15:16:42 -07001391 InternTable* intern_table_;
1392
Andreas Gampe87658f32019-04-18 18:39:02 +00001393 const bool fast_class_not_found_exceptions_;
1394
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001395 // Trampolines within the image the bounce to runtime entrypoints. Done so that there is a single
1396 // patch point within the image. TODO: make these proper relocations.
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001397 const void* quick_resolution_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -07001398 const void* quick_imt_conflict_trampoline_;
Andreas Gampe2da88232014-02-27 12:26:20 -08001399 const void* quick_generic_jni_trampoline_;
Vladimir Marko8a630572014-04-09 18:45:35 +01001400 const void* quick_to_interpreter_bridge_trampoline_;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001401
Mathieu Chartier2d721012014-11-10 11:08:06 -08001402 // Image pointer size.
Andreas Gampe542451c2016-07-26 09:02:02 -07001403 PointerSize image_pointer_size_;
Mathieu Chartier2d721012014-11-10 11:08:06 -08001404
Vladimir Markobf121912019-06-04 13:49:05 +01001405 // Classes to transition from ClassStatus::kInitialized to ClassStatus::kVisiblyInitialized.
1406 Mutex visibly_initialized_callback_lock_;
1407 std::unique_ptr<VisiblyInitializedCallback> visibly_initialized_callback_
1408 GUARDED_BY(visibly_initialized_callback_lock_);
1409 IntrusiveForwardList<VisiblyInitializedCallback> running_visibly_initialized_callbacks_
1410 GUARDED_BY(visibly_initialized_callback_lock_);
1411
Andreas Gampec1ac9ee2017-07-24 22:35:49 -07001412 std::unique_ptr<ClassHierarchyAnalysis> cha_;
1413
Mathieu Chartier65975772016-08-05 10:46:36 -07001414 class FindVirtualMethodHolderVisitor;
Andreas Gampe2af99022017-04-25 08:32:59 -07001415
Mathieu Chartier74ccee62018-10-10 10:30:29 -07001416 friend class AppImageLoadingHelper;
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001417 friend class ImageDumper; // for DexLock
Vladimir Marko74527972016-11-29 15:57:32 +00001418 friend struct linker::CompilationHelper; // For Compile in ImageTest.
1419 friend class linker::ImageWriter; // for GetClassRoots
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001420 friend class JniCompilerTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe5f4a09a2015-09-28 13:16:33 -07001421 friend class JniInternalTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe2af99022017-04-25 08:32:59 -07001422 friend class VMClassLoader; // for LookupClass and FindClassInBaseDexClassLoader.
Mathieu Chartier76172162016-01-26 14:54:06 -08001423 ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for DexLock, and RegisterDexFileLocked
Narayan Kamath25352fc2016-08-03 12:46:58 +01001424 ART_FRIEND_TEST(mirror::DexCacheMethodHandlesTest, Open); // for AllocDexCache
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001425 ART_FRIEND_TEST(mirror::DexCacheTest, Open); // for AllocDexCache
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001426 DISALLOW_COPY_AND_ASSIGN(ClassLinker);
1427};
1428
Andreas Gampe0f01b582017-01-18 15:22:37 -08001429class ClassLoadCallback {
1430 public:
1431 virtual ~ClassLoadCallback() {}
1432
Alex Lightb0f11922017-01-23 14:25:17 -08001433 // If set we will replace initial_class_def & initial_dex_file with the final versions. The
1434 // callback author is responsible for ensuring these are allocated in such a way they can be
1435 // cleaned up if another transformation occurs. Note that both must be set or null/unchanged on
1436 // return.
1437 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1438 // different object. It is the listener's responsibility to handle this.
1439 // Note: This callback is rarely useful so a default implementation has been given that does
1440 // nothing.
1441 virtual void ClassPreDefine(const char* descriptor ATTRIBUTE_UNUSED,
1442 Handle<mirror::Class> klass ATTRIBUTE_UNUSED,
1443 Handle<mirror::ClassLoader> class_loader ATTRIBUTE_UNUSED,
1444 const DexFile& initial_dex_file ATTRIBUTE_UNUSED,
Andreas Gampe3f1dcd32018-12-28 09:39:56 -08001445 const dex::ClassDef& initial_class_def ATTRIBUTE_UNUSED,
Alex Lightb0f11922017-01-23 14:25:17 -08001446 /*out*/DexFile const** final_dex_file ATTRIBUTE_UNUSED,
Andreas Gampe3f1dcd32018-12-28 09:39:56 -08001447 /*out*/dex::ClassDef const** final_class_def ATTRIBUTE_UNUSED)
Alex Lightb0f11922017-01-23 14:25:17 -08001448 REQUIRES_SHARED(Locks::mutator_lock_) {}
1449
Andreas Gampe0f01b582017-01-18 15:22:37 -08001450 // A class has been loaded.
1451 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1452 // different object. It is the listener's responsibility to handle this.
1453 virtual void ClassLoad(Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1454
1455 // A class has been prepared, i.e., resolved. As the ClassLoad event might have been for a
1456 // temporary class, provide both the former and the current class.
1457 virtual void ClassPrepare(Handle<mirror::Class> temp_klass,
1458 Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1459};
1460
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001461} // namespace art
1462
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001463#endif // ART_RUNTIME_CLASS_LINKER_H_