blob: 94d19995c10b1ebc4dad85c7de7b1718f0136283 [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>
Vladimir Marko86c87522020-05-11 16:55:55 +010021#include <map>
Mathieu Chartierc5dd3192015-12-09 16:38:30 -080022#include <set>
Ian Rogers6d4d9fc2011-11-30 16:24:48 -080023#include <string>
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +000024#include <type_traits>
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 Marko782fb712020-12-23 12:47:31 +000029#include "base/hash_map.h"
Vladimir Markobf121912019-06-04 13:49:05 +010030#include "base/mutex.h"
31#include "base/intrusive_forward_list.h"
Andreas Gampe7fbc4a52018-11-28 08:26:47 -080032#include "base/locks.h"
Elliott Hughes76160052012-12-12 16:31:20 -080033#include "base/macros.h"
Mathieu Chartier1f1cb9f2018-06-04 09:22:46 -070034#include "dex/class_accessor.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
Vladimir Marko86c87522020-05-11 16:55:55 +010044class ArtField;
45class ArtMethod;
46class ClassHierarchyAnalysis;
47enum class ClassRoot : uint32_t;
48class ClassTable;
49class DexFile;
50template<class T> class Handle;
51class ImtConflictTable;
52template<typename T> class LengthPrefixedArray;
53template<class T> class MutableHandle;
54class InternTable;
55class LinearAlloc;
56class OatFile;
57template<class T> class ObjectLock;
58class Runtime;
59class ScopedObjectAccessAlreadyRunnable;
Calin Juravle33787682019-07-26 14:27:18 -070060class SdkChecker;
Vladimir Marko86c87522020-05-11 16:55:55 +010061template<size_t kNumReferences> class PACKED(4) StackHandleScope;
62class Thread;
63
64enum VisitRootFlags : uint8_t;
65
Andreas Gampe3f1dcd32018-12-28 09:39:56 -080066namespace dex {
67struct ClassDef;
Andreas Gampe62629592019-01-03 16:08:31 -080068struct MethodHandleItem;
Andreas Gampe3f1dcd32018-12-28 09:39:56 -080069} // namespace dex
70
Ian Rogers1d54e732013-05-02 21:10:01 -070071namespace gc {
72namespace space {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080073class ImageSpace;
Ian Rogers1d54e732013-05-02 21:10:01 -070074} // namespace space
75} // namespace gc
Vladimir Marko74527972016-11-29 15:57:32 +000076
77namespace linker {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080078struct CompilationHelper;
79class ImageWriter;
80class OatWriter;
Vladimir Marko74527972016-11-29 15:57:32 +000081} // namespace linker
82
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080083namespace mirror {
Igor Murashkin2ffb7032017-11-08 13:35:21 -080084class ClassLoader;
85class DexCache;
86class DexCachePointerArray;
87class DexCacheMethodHandlesTest_Open_Test;
88class DexCacheTest_Open_Test;
89class IfTable;
90class MethodHandle;
91class MethodHandlesLookup;
92class MethodType;
93template<class T> class ObjectArray;
94class StackTraceElement;
95template <typename T> struct NativeDexCachePair;
96using MethodDexCachePair = NativeDexCachePair<ArtMethod>;
97using MethodDexCacheType = std::atomic<MethodDexCachePair>;
Ian Rogers33e95662013-05-20 20:29:14 -070098} // namespace mirror
Ian Rogers1d54e732013-05-02 21:10:01 -070099
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -0800100class ClassVisitor {
101 public:
102 virtual ~ClassVisitor() {}
103 // Return true to continue visiting.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700104 virtual bool operator()(ObjPtr<mirror::Class> klass) = 0;
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -0800105};
106
Alex Light3f0dca12020-01-27 17:20:28 -0800107template <typename Func>
108class ClassFuncVisitor final : public ClassVisitor {
109 public:
110 explicit ClassFuncVisitor(Func func) : func_(func) {}
111 bool operator()(ObjPtr<mirror::Class> klass) override REQUIRES_SHARED(Locks::mutator_lock_) {
112 return func_(klass);
113 }
114
115 private:
116 Func func_;
117};
118
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -0700119class ClassLoaderVisitor {
120 public:
121 virtual ~ClassLoaderVisitor() {}
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700122 virtual void Visit(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700123 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_) = 0;
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -0700124};
125
Alex Lightabd8f052019-12-06 10:49:17 -0800126template <typename Func>
127class ClassLoaderFuncVisitor final : public ClassLoaderVisitor {
128 public:
129 explicit ClassLoaderFuncVisitor(Func func) : func_(func) {}
130 void Visit(ObjPtr<mirror::ClassLoader> cl) override REQUIRES_SHARED(Locks::mutator_lock_) {
131 func_(cl);
132 }
133
134 private:
135 Func func_;
136};
137
Alexey Grebenkin252a4e42018-04-02 18:18:01 +0300138class AllocatorVisitor {
139 public:
140 virtual ~AllocatorVisitor() {}
141 // Return true to continue visiting.
142 virtual bool Visit(LinearAlloc* alloc)
143 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_) = 0;
144};
145
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700146class ClassLinker {
147 public:
Chris Wailes55c880e2018-10-24 13:10:35 -0700148 static constexpr bool kAppImageMayContainStrings = true;
Mathieu Chartier0933cc52018-03-23 14:25:08 -0700149
Andreas Gampe87658f32019-04-18 18:39:02 +0000150 explicit ClassLinker(InternTable* intern_table,
151 bool fast_class_not_found_exceptions = true);
Chang Xing605fe242017-07-20 15:57:21 -0700152 virtual ~ClassLinker();
Carl Shapiro565f5072011-07-10 13:39:43 -0700153
Alex Light64ad14d2014-08-19 14:23:13 -0700154 // Initialize class linker by bootstraping from dex files.
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800155 bool InitWithoutImage(std::vector<std::unique_ptr<const DexFile>> boot_class_path,
156 std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700157 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800158 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700159
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800160 // Initialize class linker from one or more boot images.
161 bool InitFromBootImage(std::string* error_msg)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700162 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800163 REQUIRES(!Locks::dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700164
Vladimir Marko0ace5632018-12-14 11:11:47 +0000165 // Add boot class path dex files that were not included in the boot image.
166 // ClassLinker takes ownership of these dex files.
167 void AddExtraBootDexFiles(Thread* self,
168 std::vector<std::unique_ptr<const DexFile>>&& additional_dex_files)
169 REQUIRES_SHARED(Locks::mutator_lock_);
170
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800171 // Add an image space to the class linker, may fix up classloader fields and dex cache fields.
172 // The dex files that were newly opened for the space are placed in the out argument
173 // out_dex_files. Returns true if the operation succeeded.
174 // The space must be already added to the heap before calling AddImageSpace since we need to
175 // properly handle read barriers and object marking.
176 bool AddImageSpace(gc::space::ImageSpace* space,
177 Handle<mirror::ClassLoader> class_loader,
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800178 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
179 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800180 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700181 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800182
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800183 bool OpenImageDexFiles(gc::space::ImageSpace* space,
184 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
185 std::string* error_msg)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800186 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700187 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800188
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700189 // Finds a class by its descriptor, loading it if necessary.
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700190 // If class_loader is null, searches boot_class_path_.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100191 ObjPtr<mirror::Class> FindClass(Thread* self,
192 const char* descriptor,
193 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700194 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800195 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700196
Ian Rogers98379392014-02-24 16:53:16 -0800197 // Finds a class by its descriptor using the "system" class loader, ie by searching the
198 // boot_class_path_.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100199 ObjPtr<mirror::Class> FindSystemClass(Thread* self, const char* descriptor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700200 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800201 REQUIRES(!Locks::dex_lock_) {
202 return FindClass(self, descriptor, ScopedNullHandle<mirror::ClassLoader>());
203 }
Ian Rogers98379392014-02-24 16:53:16 -0800204
205 // Finds the array class given for the element class.
Vladimir Markobcf17522018-06-01 13:14:32 +0100206 ObjPtr<mirror::Class> FindArrayClass(Thread* self, ObjPtr<mirror::Class> element_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700207 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800208 REQUIRES(!Locks::dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700209
Ian Rogers63557452014-06-04 16:57:15 -0700210 // Returns true if the class linker is initialized.
Ian Rogers7b078e82014-09-10 14:44:24 -0700211 bool IsInitialized() const {
212 return init_done_;
213 }
Mathieu Chartier590fee92013-09-13 13:46:47 -0700214
Brian Carlstromaded5f72011-10-07 17:15:04 -0700215 // Define a new a class based on a ClassDef from a DexFile
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100216 ObjPtr<mirror::Class> DefineClass(Thread* self,
217 const char* descriptor,
218 size_t hash,
219 Handle<mirror::ClassLoader> class_loader,
220 const DexFile& dex_file,
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800221 const dex::ClassDef& dex_class_def)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700222 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800223 REQUIRES(!Locks::dex_lock_);
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700224
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700225 // Finds a class by its descriptor, returning null if it isn't wasn't loaded
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700226 // by the given 'class_loader'.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100227 ObjPtr<mirror::Class> LookupClass(Thread* self,
228 const char* descriptor,
229 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700230 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampe2ff3b972017-06-05 18:14:53 -0700231 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700232
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800233 // Finds all the classes with the given descriptor, regardless of ClassLoader.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700234 void LookupClasses(const char* descriptor, std::vector<ObjPtr<mirror::Class>>& classes)
Mathieu Chartier90443472015-07-16 20:32:27 -0700235 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700236 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800237
Vladimir Marko9186b182018-11-06 14:55:54 +0000238 ObjPtr<mirror::Class> LookupPrimitiveClass(char type) REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100239 ObjPtr<mirror::Class> FindPrimitiveClass(char type) REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700240
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700241 void DumpForSigQuit(std::ostream& os) REQUIRES(!Locks::classlinker_classes_lock_);
Elliott Hughescac6cc72011-11-03 20:31:21 -0700242
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700243 size_t NumLoadedClasses()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700244 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700245 REQUIRES_SHARED(Locks::mutator_lock_);
Elliott Hughese27955c2011-08-26 15:21:24 -0700246
Vladimir Marko18090d12018-06-01 16:53:12 +0100247 // Resolve a String with the given index from the DexFile associated with the given `referrer`,
248 // storing the result in the DexCache. The `referrer` is used to identify the target DexCache
249 // to use for resolution.
250 ObjPtr<mirror::String> ResolveString(dex::StringIndex string_idx,
251 ArtField* referrer)
252 REQUIRES_SHARED(Locks::mutator_lock_);
253 ObjPtr<mirror::String> ResolveString(dex::StringIndex string_idx,
254 ArtMethod* referrer)
255 REQUIRES_SHARED(Locks::mutator_lock_);
256
Vladimir Markoa64b52d2017-12-08 16:27:49 +0000257 // Resolve a String with the given index from the DexFile associated with the given DexCache,
258 // storing the result in the DexCache.
259 ObjPtr<mirror::String> ResolveString(dex::StringIndex string_idx,
Vladimir Marko28e012a2017-12-07 11:22:59 +0000260 Handle<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700261 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700262
Vladimir Markoa64b52d2017-12-08 16:27:49 +0000263 // Find a String with the given index from the DexFile associated with the given DexCache,
264 // storing the result in the DexCache if found. Return null if not found.
265 ObjPtr<mirror::String> LookupString(dex::StringIndex string_idx,
Vladimir Marko28e012a2017-12-07 11:22:59 +0000266 ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700267 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000268
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000269 // Resolve a Type with the given index from the DexFile associated with the given `referrer`,
270 // storing the result in the DexCache. The `referrer` is used to identify the target DexCache
271 // and ClassLoader to use for resolution.
272 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx, ObjPtr<mirror::Class> referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700273 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800274 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Vladimir Marko09c5ca42018-05-31 15:15:31 +0100275 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx, ArtField* referrer)
276 REQUIRES_SHARED(Locks::mutator_lock_)
277 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Vladimir Marko28e012a2017-12-07 11:22:59 +0000278 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700279 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800280 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700281
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000282 // Resolve a type with the given index from the DexFile associated with the given DexCache
283 // and ClassLoader, storing the result in DexCache. The ClassLoader is used to search for
284 // the type, since it may be referenced from but not contained within the DexFile.
285 ObjPtr<mirror::Class> ResolveType(dex::TypeIndex type_idx,
Vladimir Marko28e012a2017-12-07 11:22:59 +0000286 Handle<mirror::DexCache> dex_cache,
287 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700288 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800289 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700290
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000291 // Look up a resolved type with the given index from the DexFile associated with the given
292 // `referrer`, storing the result in the DexCache. The `referrer` is used to identify the
293 // target DexCache and ClassLoader to use for lookup.
294 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx,
295 ObjPtr<mirror::Class> referrer)
296 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Marko09c5ca42018-05-31 15:15:31 +0100297 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx, ArtField* referrer)
298 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Marko666ee3d2017-12-11 18:37:36 +0000299 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx, ArtMethod* referrer)
300 REQUIRES_SHARED(Locks::mutator_lock_);
301
302 // Look up a resolved type with the given index from the DexFile associated with the given
303 // DexCache and ClassLoader. The ClassLoader is used to search for the type, since it may
304 // be referenced from but not contained within the DexFile.
305 ObjPtr<mirror::Class> LookupResolvedType(dex::TypeIndex type_idx,
306 ObjPtr<mirror::DexCache> dex_cache,
307 ObjPtr<mirror::ClassLoader> class_loader)
308 REQUIRES_SHARED(Locks::mutator_lock_);
309
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800310 // Determine whether a dex cache result should be trusted, or an IncompatibleClassChangeError
Vladimir Markoba118822017-06-12 15:41:56 +0100311 // check and IllegalAccessError check should be performed even after a hit.
312 enum class ResolveMode { // private.
313 kNoChecks,
314 kCheckICCEAndIAE
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800315 };
316
Vladimir Marko07bfbac2017-07-06 14:55:02 +0100317 // Look up a previously resolved method with the given index.
318 ArtMethod* LookupResolvedMethod(uint32_t method_idx,
319 ObjPtr<mirror::DexCache> dex_cache,
320 ObjPtr<mirror::ClassLoader> class_loader)
321 REQUIRES_SHARED(Locks::mutator_lock_);
322
Nicolas Geoffrayea179f42018-02-08 22:30:18 +0000323 // Find a method with the given index from class `klass`, and update the dex cache.
324 ArtMethod* FindResolvedMethod(ObjPtr<mirror::Class> klass,
325 ObjPtr<mirror::DexCache> dex_cache,
326 ObjPtr<mirror::ClassLoader> class_loader,
327 uint32_t method_idx)
328 REQUIRES_SHARED(Locks::mutator_lock_);
329
David Brazdil4525e0b2018-04-05 16:57:32 +0100330 // Find a method using the wrong lookup mechanism. If `klass` is an interface,
331 // search for a class method. If it is a class, search for an interface method.
332 // This is useful when throwing IncompatibleClassChangeError.
333 ArtMethod* FindIncompatibleMethod(ObjPtr<mirror::Class> klass,
334 ObjPtr<mirror::DexCache> dex_cache,
335 ObjPtr<mirror::ClassLoader> class_loader,
336 uint32_t method_idx)
337 REQUIRES_SHARED(Locks::mutator_lock_);
338
Vladimir Marko89011192017-12-11 13:45:05 +0000339 // Resolve a method with a given ID from the DexFile associated with the given DexCache
340 // and ClassLoader, storing the result in DexCache. The ClassLinker and ClassLoader are
341 // used as in ResolveType. What is unique is the method type argument which is used to
342 // determine if this method is a direct, static, or virtual method.
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800343 template <ResolveMode kResolveMode>
Vladimir Marko89011192017-12-11 13:45:05 +0000344 ArtMethod* ResolveMethod(uint32_t method_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700345 Handle<mirror::DexCache> dex_cache,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700346 Handle<mirror::ClassLoader> class_loader,
347 ArtMethod* referrer,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700348 InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700349 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800350 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700351
Vladimir Markoba118822017-06-12 15:41:56 +0100352 template <InvokeType type, ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700353 ArtMethod* GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700354 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightfedd91d2016-01-07 14:49:16 -0800355
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800356 template <ResolveMode kResolveMode>
David Srbecky9cc67b12018-10-25 10:10:35 +0000357 ArtMethod* ResolveMethod(Thread* self, uint32_t method_idx, ArtMethod* referrer, InvokeType type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700358 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800359 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Vladimir Marko89011192017-12-11 13:45:05 +0000360 ArtMethod* ResolveMethodWithoutInvokeType(uint32_t method_idx,
Jeff Hao0042c6d2015-07-29 20:14:10 -0700361 Handle<mirror::DexCache> dex_cache,
362 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700363 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800364 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom16192862011-09-12 17:50:06 -0700365
Vladimir Markof44d36c2017-03-14 14:18:46 +0000366 ArtField* LookupResolvedField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700367 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700368 ArtField* ResolveField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700369 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800370 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstromb9edb842011-08-28 16:31:06 -0700371
Vladimir Markoe11dd502017-12-08 14:09:45 +0000372 // Resolve a field with a given ID from the DexFile associated with the given DexCache
373 // and ClassLoader, storing the result in DexCache. The ClassLinker and ClassLoader
374 // are used as in ResolveType. What is unique is the is_static argument which is used
375 // to determine if we are resolving a static or non-static field.
376 ArtField* ResolveField(uint32_t field_idx,
Mathieu Chartier90443472015-07-16 20:32:27 -0700377 Handle<mirror::DexCache> dex_cache,
Vladimir Markoe11dd502017-12-08 14:09:45 +0000378 Handle<mirror::ClassLoader> class_loader,
379 bool is_static)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700380 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800381 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700382
Vladimir Markoe11dd502017-12-08 14:09:45 +0000383 // Resolve a field with a given ID from the DexFile associated with the given DexCache
384 // and ClassLoader, storing the result in DexCache. The ClassLinker and ClassLoader
385 // are used as in ResolveType. No is_static argument is provided so that Java
Ian Rogersb067ac22011-12-13 18:05:09 -0800386 // field resolution semantics are followed.
Vladimir Markoe11dd502017-12-08 14:09:45 +0000387 ArtField* ResolveFieldJLS(uint32_t field_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700388 Handle<mirror::DexCache> dex_cache,
389 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700390 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800391 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersb067ac22011-12-13 18:05:09 -0800392
David Brazdil1ab0fa82018-05-04 11:28:03 +0100393 // Find a field with a given ID from the DexFile associated with the given DexCache
394 // and ClassLoader, storing the result in DexCache. The declaring class is assumed
395 // to have been already resolved into `klass`. The `is_static` argument is used to
396 // determine if we are resolving a static or non-static field.
397 ArtField* FindResolvedField(ObjPtr<mirror::Class> klass,
398 ObjPtr<mirror::DexCache> dex_cache,
399 ObjPtr<mirror::ClassLoader> class_loader,
400 uint32_t field_idx,
401 bool is_static)
402 REQUIRES_SHARED(Locks::mutator_lock_);
403
404 // Find a field with a given ID from the DexFile associated with the given DexCache
405 // and ClassLoader, storing the result in DexCache. The declaring class is assumed
406 // to have been already resolved into `klass`. No is_static argument is provided
407 // so that Java field resolution semantics are followed.
408 ArtField* FindResolvedFieldJLS(ObjPtr<mirror::Class> klass,
409 ObjPtr<mirror::DexCache> dex_cache,
410 ObjPtr<mirror::ClassLoader> class_loader,
411 uint32_t field_idx)
412 REQUIRES_SHARED(Locks::mutator_lock_);
413
Vladimir Markoaf940202017-12-08 15:01:18 +0000414 // Resolve a method type with a given ID from the DexFile associated with a given DexCache
415 // and ClassLoader, storing the result in the DexCache.
416 ObjPtr<mirror::MethodType> ResolveMethodType(Thread* self,
Orion Hodson06d10a72018-05-14 08:53:38 +0100417 dex::ProtoIndex proto_idx,
Vladimir Markoaf940202017-12-08 15:01:18 +0000418 Handle<mirror::DexCache> dex_cache,
419 Handle<mirror::ClassLoader> class_loader)
Narayan Kamath25352fc2016-08-03 12:46:58 +0100420 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800421 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Ian Rogersad25ac52011-10-04 19:13:33 -0700422
Vladimir Markoaf940202017-12-08 15:01:18 +0000423 ObjPtr<mirror::MethodType> ResolveMethodType(Thread* self,
Orion Hodson06d10a72018-05-14 08:53:38 +0100424 dex::ProtoIndex proto_idx,
Vladimir Markoaf940202017-12-08 15:01:18 +0000425 ArtMethod* referrer)
Orion Hodson2e599942017-09-22 16:17:41 +0100426 REQUIRES_SHARED(Locks::mutator_lock_);
427
Orion Hodsonc069a302017-01-18 09:23:12 +0000428 // Resolve a method handle with a given ID from the DexFile. The
429 // result is not cached in the DexCache as the instance will only be
430 // used once in most circumstances.
Vladimir Markoaf940202017-12-08 15:01:18 +0000431 ObjPtr<mirror::MethodHandle> ResolveMethodHandle(Thread* self,
432 uint32_t method_handle_idx,
433 ArtMethod* referrer)
Orion Hodsonc069a302017-01-18 09:23:12 +0000434 REQUIRES_SHARED(Locks::mutator_lock_);
435
Elliott Hughesf4c21c92011-08-19 17:31:31 -0700436 // Returns true on success, false if there's an exception pending.
Brian Carlstrom25c33252011-09-18 15:58:35 -0700437 // can_run_clinit=false allows the compiler to attempt to init a class,
438 // given the restriction that no <clinit> execution is possible.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700439 bool EnsureInitialized(Thread* self,
440 Handle<mirror::Class> c,
441 bool can_init_fields,
Ian Rogers7b078e82014-09-10 14:44:24 -0700442 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700443 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800444 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700445
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700446 // Initializes classes that have instances in the image but that have
447 // <clinit> methods so they could not be initialized by the compiler.
Vladimir Markodcfcce42018-06-27 10:00:28 +0000448 void RunRootClinits(Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700449 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800450 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700451
Alex Light07f06212017-06-01 14:01:43 -0700452 // Directly register an already existing dex cache. RegisterDexFile should be preferred since that
453 // reduplicates DexCaches when possible. The DexCache given to this function must already be fully
454 // initialized and not already registered.
455 void RegisterExistingDexCache(ObjPtr<mirror::DexCache> cache,
456 ObjPtr<mirror::ClassLoader> class_loader)
457 REQUIRES(!Locks::dex_lock_)
458 REQUIRES_SHARED(Locks::mutator_lock_);
Vladimir Markocd556b02017-02-03 11:47:34 +0000459 ObjPtr<mirror::DexCache> RegisterDexFile(const DexFile& dex_file,
460 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800461 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700462 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700463
Brian Carlstrom8a487412011-08-29 20:08:52 -0700464 const std::vector<const DexFile*>& GetBootClassPath() {
465 return boot_class_path_;
466 }
467
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700468 void VisitClasses(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700469 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700470 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -0700471
472 // Less efficient variant of VisitClasses that copies the class_table_ into secondary storage
473 // so that it can visit individual classes without holding the doesn't hold the
474 // Locks::classlinker_classes_lock_. As the Locks::classlinker_classes_lock_ isn't held this code
475 // can race with insertion and deletion of classes while the visitor is being called.
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700476 void VisitClassesWithoutClassesLock(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700477 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800478 REQUIRES(!Locks::dex_lock_);
Elliott Hughesa2155262011-11-16 16:26:58 -0800479
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700480 void VisitClassRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gamped98b4ed2016-11-04 20:27:24 -0700481 REQUIRES(!Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700482 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700483 void VisitRoots(RootVisitor* visitor, VisitRootFlags flags)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800484 REQUIRES(!Locks::dex_lock_, !Locks::classlinker_classes_lock_, !Locks::trace_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700485 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightabd8f052019-12-06 10:49:17 -0800486 // Visits all dex-files accessible by any class-loader or the BCP.
487 template<typename Visitor>
488 void VisitKnownDexFiles(Thread* self, Visitor visitor) REQUIRES(Locks::mutator_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700489
Vladimir Markocd556b02017-02-03 11:47:34 +0000490 bool IsDexFileRegistered(Thread* self, const DexFile& dex_file)
491 REQUIRES(!Locks::dex_lock_)
492 REQUIRES_SHARED(Locks::mutator_lock_);
493 ObjPtr<mirror::DexCache> FindDexCache(Thread* self, const DexFile& dex_file)
494 REQUIRES(!Locks::dex_lock_)
495 REQUIRES_SHARED(Locks::mutator_lock_);
496 ClassTable* FindClassTable(Thread* self, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800497 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700498 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom1d9f52b2011-10-13 10:50:45 -0700499
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700500 LengthPrefixedArray<ArtField>* AllocArtFieldArray(Thread* self,
501 LinearAlloc* allocator,
502 size_t length);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800503
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700504 LengthPrefixedArray<ArtMethod>* AllocArtMethodArray(Thread* self,
505 LinearAlloc* allocator,
506 size_t length);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700507
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +0000508 // Convenience AllocClass() overload that uses mirror::Class::InitializeClassVisitor
509 // for the class initialization and uses the `java_lang_Class` from class roots
510 // instead of an explicit argument.
511 ObjPtr<mirror::Class> AllocClass(Thread* self, uint32_t class_size)
512 REQUIRES_SHARED(Locks::mutator_lock_)
513 REQUIRES(!Roles::uninterruptible_);
514
515 // Setup the classloader, class def index, type idx so that we can insert this class in the class
516 // table.
517 void SetupClass(const DexFile& dex_file,
518 const dex::ClassDef& dex_class_def,
519 Handle<mirror::Class> klass,
520 ObjPtr<mirror::ClassLoader> class_loader)
521 REQUIRES_SHARED(Locks::mutator_lock_);
522
523 void LoadClass(Thread* self,
524 const DexFile& dex_file,
525 const dex::ClassDef& dex_class_def,
526 Handle<mirror::Class> klass)
527 REQUIRES_SHARED(Locks::mutator_lock_);
528
529 // Link the class and place it into the class-table using the given descriptor. NB if the
530 // descriptor is null the class will not be placed in any class-table. This is useful implementing
531 // obsolete classes and should not be used otherwise.
532 bool LinkClass(Thread* self,
533 const char* descriptor,
534 Handle<mirror::Class> klass,
535 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
536 MutableHandle<mirror::Class>* h_new_class_out)
537 REQUIRES_SHARED(Locks::mutator_lock_)
538 REQUIRES(!Locks::classlinker_classes_lock_);
539
Vladimir Markobcf17522018-06-01 13:14:32 +0100540 ObjPtr<mirror::PointerArray> AllocPointerArray(Thread* self, size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700541 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700542 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800543
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100544 ObjPtr<mirror::IfTable> AllocIfTable(Thread* self, size_t ifcount)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700545 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700546 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800547
Vladimir Markobcf17522018-06-01 13:14:32 +0100548 ObjPtr<mirror::ObjectArray<mirror::StackTraceElement>> AllocStackTraceElementArray(Thread* self,
549 size_t length)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700550 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700551 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800552
Andreas Gampe6d7abbd2017-04-24 13:19:09 -0700553 verifier::FailureKind VerifyClass(
Nicolas Geoffray08025182016-10-25 17:20:18 +0100554 Thread* self,
555 Handle<mirror::Class> klass,
556 verifier::HardFailLogMode log_level = verifier::HardFailLogMode::kLogNone)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700557 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800558 REQUIRES(!Locks::dex_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700559 bool VerifyClassUsingOatFile(const DexFile& dex_file,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700560 ObjPtr<mirror::Class> klass,
Vladimir Marko2c64a832018-01-04 11:31:56 +0000561 ClassStatus& oat_file_class_status)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700562 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800563 REQUIRES(!Locks::dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800564 void ResolveClassExceptionHandlerTypes(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700565 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800566 REQUIRES(!Locks::dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800567 void ResolveMethodExceptionHandlerTypes(ArtMethod* klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700568 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800569 REQUIRES(!Locks::dex_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800570
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100571 ObjPtr<mirror::Class> CreateProxyClass(ScopedObjectAccessAlreadyRunnable& soa,
572 jstring name,
573 jobjectArray interfaces,
574 jobject loader,
575 jobjectArray methods,
576 jobjectArray throws)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700577 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -0400578
Alex Lightfc49fec2018-01-16 22:28:36 +0000579 // Get the oat code for a method when its class isn't yet initialized.
580 const void* GetQuickOatCodeFor(ArtMethod* method)
581 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800582
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700583 pid_t GetClassesLockOwner(); // For SignalCatcher.
584 pid_t GetDexLockOwner(); // For SignalCatcher.
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -0700585
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700586 // Is the given entry point quick code to run the resolution stub?
587 bool IsQuickResolutionStub(const void* entry_point) const;
Jeff Hao88474b42013-10-23 16:24:40 -0700588
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700589 // Is the given entry point quick code to bridge into the interpreter?
590 bool IsQuickToInterpreterBridge(const void* entry_point) const;
591
592 // Is the given entry point quick code to run the generic JNI stub?
593 bool IsQuickGenericJniStub(const void* entry_point) const;
Vladimir Marko8a630572014-04-09 18:45:35 +0100594
David Sehra49e0532017-08-25 08:05:29 -0700595 // Is the given entry point the JNI dlsym lookup stub?
596 bool IsJniDlsymLookupStub(const void* entry_point) const;
597
Vladimir Markofa458ac2020-02-12 14:08:07 +0000598 // Is the given entry point the JNI dlsym lookup critical stub?
599 bool IsJniDlsymLookupCriticalStub(const void* entry_point) const;
600
Vladimir Marko97d7e1c2016-10-04 14:44:28 +0100601 const void* GetQuickToInterpreterBridgeTrampoline() const {
602 return quick_to_interpreter_bridge_trampoline_;
603 }
604
Jeff Hao88474b42013-10-23 16:24:40 -0700605 InternTable* GetInternTable() const {
606 return intern_table_;
607 }
608
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700609 // Set the entrypoints up for method to the enter the interpreter.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700610 void SetEntryPointsToInterpreter(ArtMethod* method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700611 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700612
Alex Lightdb01a092017-04-03 15:39:55 -0700613 // Set the entrypoints up for an obsolete method.
614 void SetEntryPointsForObsoleteMethod(ArtMethod* method) const
615 REQUIRES_SHARED(Locks::mutator_lock_);
616
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700617 // Attempts to insert a class into a class table. Returns null if
Ian Rogers848871b2013-08-05 10:56:33 -0700618 // the class was inserted, otherwise returns an existing class with
619 // the same descriptor and ClassLoader.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100620 ObjPtr<mirror::Class> InsertClass(const char* descriptor,
621 ObjPtr<mirror::Class> klass,
622 size_t hash)
Mathieu Chartier90443472015-07-16 20:32:27 -0700623 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700624 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers848871b2013-08-05 10:56:33 -0700625
Vladimir Marko1998cd02017-01-13 13:02:58 +0000626 // Add an oat file with .bss GC roots to be visited again at the end of GC
627 // for collector types that need it.
628 void WriteBarrierForBootOatFileBssRoots(const OatFile* oat_file)
629 REQUIRES(!Locks::classlinker_classes_lock_)
630 REQUIRES_SHARED(Locks::mutator_lock_);
631
Vladimir Markob4eb1b12018-05-24 11:09:38 +0100632 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Andreas Gampe88dbad32018-06-26 19:54:12 -0700633 ObjPtr<mirror::ObjectArray<mirror::Class>> GetClassRoots() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700634
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800635 // Move the class table to the pre-zygote table to reduce memory usage. This works by ensuring
636 // that no more classes are ever added to the pre zygote table which makes it that the pages
637 // always remain shared dirty instead of private dirty.
638 void MoveClassTableToPreZygote()
Mathieu Chartier90443472015-07-16 20:32:27 -0700639 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700640 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800641
Calin Juravle7865ac72017-06-28 11:03:12 -0700642 // Creates a GlobalRef PathClassLoader or DelegateLastClassLoader (specified by loader_class)
643 // that can be used to load classes from the given dex files. The parent of the class loader
644 // will be set to `parent_loader`. If `parent_loader` is null the parent will be
645 // the boot class loader.
646 // If class_loader points to a different class than PathClassLoader or DelegateLastClassLoader
647 // this method will abort.
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700648 // 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 -0700649 jobject CreateWellKnownClassLoader(Thread* self,
650 const std::vector<const DexFile*>& dex_files,
651 jclass loader_class,
Nicolas Geoffraye1672732018-11-30 01:09:49 +0000652 jobject parent_loader,
653 jobject shared_libraries = nullptr)
Calin Juravle7865ac72017-06-28 11:03:12 -0700654 REQUIRES_SHARED(Locks::mutator_lock_)
655 REQUIRES(!Locks::dex_lock_);
656
657 // Calls CreateWellKnownClassLoader(self,
658 // dex_files,
659 // WellKnownClasses::dalvik_system_PathClassLoader,
660 // nullptr)
Jeff Haof0192c82016-03-28 20:39:50 -0700661 jobject CreatePathClassLoader(Thread* self, const std::vector<const DexFile*>& dex_files)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700662 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800663 REQUIRES(!Locks::dex_lock_);
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700664
Nicolas Geoffray6b9fd8c2018-11-16 10:25:42 +0000665 // Non-GlobalRef version of CreateWellKnownClassLoader
666 ObjPtr<mirror::ClassLoader> CreateWellKnownClassLoader(
667 Thread* self,
668 const std::vector<const DexFile*>& dex_files,
669 Handle<mirror::Class> loader_class,
Nicolas Geoffraye1672732018-11-30 01:09:49 +0000670 Handle<mirror::ClassLoader> parent_loader,
671 Handle<mirror::ObjectArray<mirror::ClassLoader>> shared_libraries)
Nicolas Geoffray6b9fd8c2018-11-16 10:25:42 +0000672 REQUIRES_SHARED(Locks::mutator_lock_)
673 REQUIRES(!Locks::dex_lock_);
674
Andreas Gampe542451c2016-07-26 09:02:02 -0700675 PointerSize GetImagePointerSize() const {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700676 return image_pointer_size_;
677 }
678
679 // Used by image writer for checking.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700680 bool ClassInClassTable(ObjPtr<mirror::Class> klass)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700681 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700682 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiera89d7ed2014-12-05 10:57:13 -0800683
Andreas Gampe8ac75952015-06-02 21:01:45 -0700684 // Clear the ArrayClass cache. This is necessary when cleaning up for the image, as the cache
685 // entries are roots, but potentially not image classes.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700686 void DropFindArrayClassCache() REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe8ac75952015-06-02 21:01:45 -0700687
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700688 // Clean up class loaders, this needs to happen after JNI weak globals are cleared.
689 void CleanupClassLoaders()
Mathieu Chartier00310e02015-10-17 12:46:42 -0700690 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700691 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700692
Mathieu Chartier32cc9ee2015-10-15 09:19:15 -0700693 // Unlike GetOrCreateAllocatorForClassLoader, GetAllocatorForClassLoader asserts that the
694 // allocator for this class loader is already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700695 LinearAlloc* GetAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700696 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700697
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700698 // Return the linear alloc for a class loader if it is already allocated, otherwise allocate and
699 // set it. TODO: Consider using a lock other than classlinker_classes_lock_.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700700 LinearAlloc* GetOrCreateAllocatorForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700701 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700702 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier00310e02015-10-17 12:46:42 -0700703
Mathieu Chartier6d25cf62016-04-12 16:54:48 -0700704 // May be called with null class_loader due to legacy code. b/27954959
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700705 void InsertDexFileInToClassLoader(ObjPtr<mirror::Object> dex_file,
706 ObjPtr<mirror::ClassLoader> class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700707 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700708 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700709
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000710 static bool ShouldUseInterpreterEntrypoint(ArtMethod* method, const void* quick_code)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700711 REQUIRES_SHARED(Locks::mutator_lock_);
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000712
Jeff Haof0192c82016-03-28 20:39:50 -0700713 static bool IsBootClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700714 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700715 REQUIRES_SHARED(Locks::mutator_lock_);
Jeff Haof0192c82016-03-28 20:39:50 -0700716
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700717 ArtMethod* AddMethodToConflictTable(ObjPtr<mirror::Class> klass,
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700718 ArtMethod* conflict_method,
719 ArtMethod* interface_method,
Nicolas Geoffray47213e42020-12-30 15:12:00 +0000720 ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700721 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700722
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700723 // Create a conflict table with a specified capacity.
724 ImtConflictTable* CreateImtConflictTable(size_t count, LinearAlloc* linear_alloc);
725
726 // Static version for when the class linker is not yet created.
727 static ImtConflictTable* CreateImtConflictTable(size_t count,
728 LinearAlloc* linear_alloc,
Andreas Gampe542451c2016-07-26 09:02:02 -0700729 PointerSize pointer_size);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700730
731
732 // Create the IMT and conflict tables for a class.
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700733 void FillIMTAndConflictTables(ObjPtr<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700734
Mathieu Chartier72041a02017-07-14 18:23:25 -0700735 // Visit all of the class tables. This is used by dex2oat to allow pruning dex caches.
736 template <class Visitor>
737 void VisitClassTables(const Visitor& visitor)
Mathieu Chartier696632e2016-06-03 17:47:32 -0700738 REQUIRES(!Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700739 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700740
Alexey Grebenkin252a4e42018-04-02 18:18:01 +0300741 // Visit all of the allocators that belong to classloaders except boot classloader.
742 // This is used by 616-cha-unloading test to confirm memory reuse.
743 void VisitAllocators(AllocatorVisitor* visitor) const
744 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
745
Jeff Haoc92a7a12016-06-06 11:09:20 -0700746 // Throw the class initialization failure recorded when first trying to initialize the given
747 // class.
Andreas Gampe7b3063b2019-01-07 14:12:52 -0800748 void ThrowEarlierClassFailure(ObjPtr<mirror::Class> c,
749 bool wrap_in_no_class_def = false,
750 bool log = false)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700751 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800752 REQUIRES(!Locks::dex_lock_);
Jeff Haoc92a7a12016-06-06 11:09:20 -0700753
Mathieu Chartier65975772016-08-05 10:46:36 -0700754 // Get the actual holding class for a copied method. Pretty slow, don't call often.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100755 ObjPtr<mirror::Class> GetHoldingClassOfCopiedMethod(ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700756 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier65975772016-08-05 10:46:36 -0700757
Andreas Gampe70f16392017-01-16 14:20:10 -0800758 // Returns null if not found.
Andreas Gampe2af99022017-04-25 08:32:59 -0700759 // This returns a pointer to the class-table, without requiring any locking - including the
760 // boot class-table. It is the caller's responsibility to access this under lock, if required.
Andreas Gampe70f16392017-01-16 14:20:10 -0800761 ClassTable* ClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampe2af99022017-04-25 08:32:59 -0700762 REQUIRES_SHARED(Locks::mutator_lock_)
763 NO_THREAD_SAFETY_ANALYSIS;
Andreas Gampe70f16392017-01-16 14:20:10 -0800764
Mathieu Chartier0a19e212019-11-27 14:35:24 -0800765 void AppendToBootClassPath(Thread* self, const DexFile* dex_file)
Andreas Gampece7732b2017-01-17 15:50:26 -0800766 REQUIRES_SHARED(Locks::mutator_lock_)
767 REQUIRES(!Locks::dex_lock_);
768
Mathieu Chartier06bed302017-07-13 13:23:18 -0700769 // Visit all of the class loaders in the class linker.
770 void VisitClassLoaders(ClassLoaderVisitor* visitor) const
771 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
772
Jeff Hao0cb17282017-07-12 14:51:49 -0700773 // Checks that a class and its superclass from another class loader have the same virtual methods.
774 bool ValidateSuperClassDescriptors(Handle<mirror::Class> klass)
775 REQUIRES_SHARED(Locks::mutator_lock_);
776
Andreas Gampec1ac9ee2017-07-24 22:35:49 -0700777 ClassHierarchyAnalysis* GetClassHierarchyAnalysis() {
778 return cha_.get();
779 }
780
Vladimir Markobf121912019-06-04 13:49:05 +0100781 void MakeInitializedClassesVisiblyInitialized(Thread* self, bool wait);
782
Vladimir Marko86c87522020-05-11 16:55:55 +0100783 // Registers the native method and returns the new entry point. NB The returned entry point
784 // might be different from the native_method argument if some MethodCallback modifies it.
785 const void* RegisterNative(Thread* self, ArtMethod* method, const void* native_method)
786 REQUIRES_SHARED(Locks::mutator_lock_) WARN_UNUSED;
787
788 // Unregister native code for a method.
789 void UnregisterNative(Thread* self, ArtMethod* method) REQUIRES_SHARED(Locks::mutator_lock_);
790
791 // Get the registered native method entrypoint, if any, otherwise null.
792 const void* GetRegisteredNative(Thread* self, ArtMethod* method)
793 REQUIRES_SHARED(Locks::mutator_lock_)
794 REQUIRES(!critical_native_code_with_clinit_check_lock_);
795
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800796 struct DexCacheData {
Vladimir Markocd556b02017-02-03 11:47:34 +0000797 // Construct an invalid data object.
798 DexCacheData()
799 : weak_root(nullptr),
800 dex_file(nullptr),
Vladimir Markocd556b02017-02-03 11:47:34 +0000801 class_table(nullptr) { }
802
803 // Check if the data is valid.
804 bool IsValid() const {
805 return dex_file != nullptr;
806 }
807
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800808 // Weak root to the DexCache. Note: Do not decode this unnecessarily or else class unloading may
809 // not work properly.
810 jweak weak_root;
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000811 // The following field caches the DexCache's field here to avoid unnecessary jweak decode that
812 // triggers read barriers (and marks them alive unnecessarily and messes with class unloading.)
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800813 const DexFile* dex_file;
Vladimir Markocd556b02017-02-03 11:47:34 +0000814 // Identify the associated class loader's class table. This is used to make sure that
815 // the Java call to native DexCache.setResolvedType() inserts the resolved type in that
816 // class table. It is also used to make sure we don't register the same dex cache with
817 // multiple class loaders.
818 ClassTable* class_table;
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800819 };
820
Alex Lightfb119572019-09-18 15:04:53 -0700821 // Forces a class to be marked as initialized without actually running initializers. Should only
822 // be used by plugin code when creating new classes directly.
823 void ForceClassInitialized(Thread* self, Handle<mirror::Class> klass)
824 REQUIRES_SHARED(Locks::mutator_lock_)
825 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
826
Calin Juravle33787682019-07-26 14:27:18 -0700827 // Verifies if the method is accesible according to the SdkChecker (if installed).
828 virtual bool DenyAccessBasedOnPublicSdk(ArtMethod* art_method ATTRIBUTE_UNUSED) const
829 REQUIRES_SHARED(Locks::mutator_lock_);
830 // Verifies if the field is accesible according to the SdkChecker (if installed).
831 virtual bool DenyAccessBasedOnPublicSdk(ArtField* art_field ATTRIBUTE_UNUSED) const
832 REQUIRES_SHARED(Locks::mutator_lock_);
833 // Verifies if the descriptor is accesible according to the SdkChecker (if installed).
834 virtual bool DenyAccessBasedOnPublicSdk(const char* type_descriptor ATTRIBUTE_UNUSED) const;
835
Chang Xing605fe242017-07-20 15:57:21 -0700836 protected:
837 virtual bool InitializeClass(Thread* self,
838 Handle<mirror::Class> klass,
839 bool can_run_clinit,
840 bool can_init_parents)
841 REQUIRES_SHARED(Locks::mutator_lock_)
842 REQUIRES(!Locks::dex_lock_);
843
Mathieu Chartier9e050df2017-08-09 10:05:47 -0700844 virtual verifier::FailureKind PerformClassVerification(Thread* self,
845 Handle<mirror::Class> klass,
846 verifier::HardFailLogMode log_level,
847 std::string* error_msg)
848 REQUIRES_SHARED(Locks::mutator_lock_);
849
Chang Xing0c2c2222017-08-04 14:36:17 -0700850 virtual bool CanAllocClass() REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Locks::dex_lock_) {
851 return true;
852 }
853
Vladimir Markod1f73512020-04-02 10:50:35 +0100854 virtual bool IsUpdatableBootClassPathDescriptor(const char* descriptor);
855
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700856 private:
Vladimir Marko921094a2017-01-12 18:37:06 +0000857 class LinkInterfaceMethodsHelper;
Vladimir Marko782fb712020-12-23 12:47:31 +0000858 class MethodTranslation;
Vladimir Markobf121912019-06-04 13:49:05 +0100859 class VisiblyInitializedCallback;
Vladimir Marko921094a2017-01-12 18:37:06 +0000860
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700861 struct ClassLoaderData {
Mathieu Chartierc3fcd412015-09-25 16:54:59 -0700862 jweak weak_root; // Weak root to enable class unloading.
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700863 ClassTable* class_table;
864 LinearAlloc* allocator;
865 };
866
Vladimir Markobf121912019-06-04 13:49:05 +0100867 void VisiblyInitializedCallbackDone(Thread* self, VisiblyInitializedCallback* callback);
868 VisiblyInitializedCallback* MarkClassInitialized(Thread* self, Handle<mirror::Class> klass)
869 REQUIRES_SHARED(Locks::mutator_lock_);
870
Alex Lightf1f10492015-10-07 16:08:36 -0700871 // Ensures that the supertype of 'klass' ('supertype') is verified. Returns false and throws
872 // appropriate exceptions if verification failed hard. Returns true for successful verification or
873 // soft-failures.
874 bool AttemptSupertypeVerification(Thread* self,
875 Handle<mirror::Class> klass,
876 Handle<mirror::Class> supertype)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800877 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700878 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lightf1f10492015-10-07 16:08:36 -0700879
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300880 void DeleteClassLoader(Thread* self, const ClassLoaderData& data, bool cleanup_cha)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700881 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100882
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700883 void VisitClassesInternal(ClassVisitor* visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700884 REQUIRES_SHARED(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700885
886 // Returns the number of zygote and image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700887 size_t NumZygoteClasses() const
888 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700889 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700890
891 // Returns the number of non zygote nor image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700892 size_t NumNonZygoteClasses() const
893 REQUIRES(Locks::classlinker_classes_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700894 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700895
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700896 void FinishInit(Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700897 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800898 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma663ea52011-08-19 23:33:41 -0700899
Roland Levillain0e840272018-08-23 19:55:30 +0100900 // If we do not allow moving classes (`art::kMovingClass` is false) or if
901 // parameter `kMovable` is false (or both), the class object is allocated in
902 // the non-moving space.
Vladimir Marko70e2a762019-07-12 16:49:00 +0100903 template <bool kMovable = true, class PreFenceVisitor>
904 ObjPtr<mirror::Class> AllocClass(Thread* self,
905 ObjPtr<mirror::Class> java_lang_Class,
906 uint32_t class_size,
907 const PreFenceVisitor& pre_fence_visitor)
908 REQUIRES_SHARED(Locks::mutator_lock_)
909 REQUIRES(!Roles::uninterruptible_);
910
911 // Convenience AllocClass() overload that uses mirror::Class::InitializeClassVisitor
912 // for the class initialization.
Roland Levillain0e840272018-08-23 19:55:30 +0100913 template <bool kMovable = true>
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100914 ObjPtr<mirror::Class> AllocClass(Thread* self,
915 ObjPtr<mirror::Class> java_lang_Class,
916 uint32_t class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700917 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700918 REQUIRES(!Roles::uninterruptible_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700919
Vladimir Marko70e2a762019-07-12 16:49:00 +0100920 // Allocate a primitive array class and store it in appropriate class root.
921 void AllocPrimitiveArrayClass(Thread* self,
922 ClassRoot primitive_root,
923 ClassRoot array_root)
924 REQUIRES_SHARED(Locks::mutator_lock_)
925 REQUIRES(!Roles::uninterruptible_);
926
927 // Finish setup of an array class.
928 void FinishArrayClassSetup(ObjPtr<mirror::Class> array_class)
929 REQUIRES_SHARED(Locks::mutator_lock_)
930 REQUIRES(!Roles::uninterruptible_);
931
932 // Finish setup of a core array class (Object[], Class[], String[] and
933 // primitive arrays) and insert it into the class table.
934 void FinishCoreArrayClassSetup(ClassRoot array_root)
Roland Levillain0e840272018-08-23 19:55:30 +0100935 REQUIRES_SHARED(Locks::mutator_lock_)
936 REQUIRES(!Roles::uninterruptible_);
937
David Srbecky86d6cd52020-12-02 18:13:10 +0000938 ObjPtr<mirror::DexCache> AllocDexCache(Thread* self, const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700939 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700940 REQUIRES(!Roles::uninterruptible_);
Ian Rogersbdb03912011-09-14 00:55:44 -0700941
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700942 // Used for tests and AppendToBootClassPath.
Vladimir Markobcf17522018-06-01 13:14:32 +0100943 ObjPtr<mirror::DexCache> AllocAndInitializeDexCache(Thread* self,
944 const DexFile& dex_file,
945 LinearAlloc* linear_alloc)
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700946 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800947 REQUIRES(!Locks::dex_lock_)
Mathieu Chartier6c60d842016-09-15 10:24:43 -0700948 REQUIRES(!Roles::uninterruptible_);
949
Vladimir Marko70e2a762019-07-12 16:49:00 +0100950 // Create a primitive class and store it in the appropriate class root.
951 void CreatePrimitiveClass(Thread* self, Primitive::Type type, ClassRoot primitive_root)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700952 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700953 REQUIRES(!Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700954
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100955 ObjPtr<mirror::Class> CreateArrayClass(Thread* self,
956 const char* descriptor,
957 size_t hash,
958 Handle<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700959 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800960 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700961
Mathieu Chartier0a19e212019-11-27 14:35:24 -0800962 void AppendToBootClassPath(const DexFile* dex_file, ObjPtr<mirror::DexCache> dex_cache)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700963 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800964 REQUIRES(!Locks::dex_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700965
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700966 // Precomputes size needed for Class, in the case of a non-temporary class this size must be
967 // sufficient to hold all static fields.
968 uint32_t SizeOfClassWithoutEmbeddedTables(const DexFile& dex_file,
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800969 const dex::ClassDef& dex_class_def);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700970
Mathieu Chartier1f1cb9f2018-06-04 09:22:46 -0700971 void LoadField(const ClassAccessor::Field& field, Handle<mirror::Class> klass, ArtField* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700972 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700973
Mathieu Chartier268764d2016-09-13 12:09:38 -0700974 void LoadMethod(const DexFile& dex_file,
Mathieu Chartier1f1cb9f2018-06-04 09:22:46 -0700975 const ClassAccessor::Method& method,
976 Handle<mirror::Class> klass,
977 ArtMethod* dst)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700978 REQUIRES_SHARED(Locks::mutator_lock_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700979
Vladimir Marko86c87522020-05-11 16:55:55 +0100980 void FixupStaticTrampolines(Thread* self, ObjPtr<mirror::Class> klass)
981 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800982
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000983 // Finds a class in a Path- or DexClassLoader, loading it if necessary without using JNI. Hash
Andreas Gampe34ee6842014-12-02 15:43:52 -0800984 // function is supposed to be ComputeModifiedUtf8Hash(descriptor). Returns true if the
985 // class-loader chain could be handled, false otherwise, i.e., a non-supported class-loader
986 // was encountered while walking the parent chain (currently only BootClassLoader and
987 // PathClassLoader are supported).
Nicolas Geoffray7d8d8ff2016-11-02 12:38:05 +0000988 bool FindClassInBaseDexClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
989 Thread* self,
990 const char* descriptor,
991 size_t hash,
992 Handle<mirror::ClassLoader> class_loader,
Vladimir Markobcf17522018-06-01 13:14:32 +0100993 /*out*/ ObjPtr<mirror::Class>* result)
Andreas Gampe34ee6842014-12-02 15:43:52 -0800994 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -0800995 REQUIRES(!Locks::dex_lock_);
Andreas Gampe34ee6842014-12-02 15:43:52 -0800996
Nicolas Geoffray80a560c2018-10-26 13:48:51 +0100997 bool FindClassInSharedLibraries(ScopedObjectAccessAlreadyRunnable& soa,
998 Thread* self,
999 const char* descriptor,
1000 size_t hash,
1001 Handle<mirror::ClassLoader> class_loader,
1002 /*out*/ ObjPtr<mirror::Class>* result)
1003 REQUIRES_SHARED(Locks::mutator_lock_)
1004 REQUIRES(!Locks::dex_lock_);
1005
Calin Juravle415dc3d2017-06-28 11:03:12 -07001006 // Finds the class in the classpath of the given class loader. It only searches the class loader
1007 // dex files and does not recurse into its parent.
1008 // The method checks that the provided class loader is either a PathClassLoader or a
1009 // DexClassLoader.
1010 // If the class is found the method returns the resolved class. Otherwise it returns null.
1011 ObjPtr<mirror::Class> FindClassInBaseDexClassLoaderClassPath(
1012 ScopedObjectAccessAlreadyRunnable& soa,
1013 const char* descriptor,
1014 size_t hash,
1015 Handle<mirror::ClassLoader> class_loader)
1016 REQUIRES_SHARED(Locks::mutator_lock_)
1017 REQUIRES(!Locks::dex_lock_);
1018
1019 // Finds the class in the boot class loader.
1020 // If the class is found the method returns the resolved class. Otherwise it returns null.
1021 ObjPtr<mirror::Class> FindClassInBootClassLoaderClassPath(Thread* self,
1022 const char* descriptor,
1023 size_t hash)
1024 REQUIRES_SHARED(Locks::mutator_lock_)
1025 REQUIRES(!Locks::dex_lock_);
1026
Vladimir Marko666ee3d2017-12-11 18:37:36 +00001027 // Implementation of LookupResolvedType() called when the type was not found in the dex cache.
1028 ObjPtr<mirror::Class> DoLookupResolvedType(dex::TypeIndex type_idx,
Vladimir Marko09c5ca42018-05-31 15:15:31 +01001029 ObjPtr<mirror::Class> referrer)
1030 REQUIRES_SHARED(Locks::mutator_lock_);
1031 ObjPtr<mirror::Class> DoLookupResolvedType(dex::TypeIndex type_idx,
Vladimir Marko666ee3d2017-12-11 18:37:36 +00001032 ObjPtr<mirror::DexCache> dex_cache,
1033 ObjPtr<mirror::ClassLoader> class_loader)
1034 REQUIRES_SHARED(Locks::mutator_lock_);
1035
Vladimir Marko18090d12018-06-01 16:53:12 +01001036 // Implementation of ResolveString() called when the string was not found in the dex cache.
1037 ObjPtr<mirror::String> DoResolveString(dex::StringIndex string_idx,
1038 ObjPtr<mirror::DexCache> dex_cache)
1039 REQUIRES_SHARED(Locks::mutator_lock_);
1040 ObjPtr<mirror::String> DoResolveString(dex::StringIndex string_idx,
1041 Handle<mirror::DexCache> dex_cache)
1042 REQUIRES_SHARED(Locks::mutator_lock_);
1043
1044 // Implementation of LookupString() called when the string was not found in the dex cache.
1045 ObjPtr<mirror::String> DoLookupString(dex::StringIndex string_idx,
1046 ObjPtr<mirror::DexCache> dex_cache)
1047 REQUIRES_SHARED(Locks::mutator_lock_);
1048
Andreas Gampeb0625e02019-05-01 12:43:31 -07001049 // Implementation of ResolveType() called when the type was not found in the dex cache. May be
1050 // used with ArtField*, ArtMethod* or ObjPtr<Class>.
1051 template <typename RefType>
1052 ObjPtr<mirror::Class> DoResolveType(dex::TypeIndex type_idx, RefType referrer)
Vladimir Marko09c5ca42018-05-31 15:15:31 +01001053 REQUIRES_SHARED(Locks::mutator_lock_)
1054 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
1055 ObjPtr<mirror::Class> DoResolveType(dex::TypeIndex type_idx,
Vladimir Marko666ee3d2017-12-11 18:37:36 +00001056 Handle<mirror::DexCache> dex_cache,
1057 Handle<mirror::ClassLoader> class_loader)
1058 REQUIRES_SHARED(Locks::mutator_lock_)
1059 REQUIRES(!Locks::dex_lock_, !Roles::uninterruptible_);
1060
Andreas Gampe34ee6842014-12-02 15:43:52 -08001061 // Finds a class by its descriptor, returning NULL if it isn't wasn't loaded
1062 // by the given 'class_loader'. Uses the provided hash for the descriptor.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +01001063 ObjPtr<mirror::Class> LookupClass(Thread* self,
1064 const char* descriptor,
1065 size_t hash,
1066 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampe34ee6842014-12-02 15:43:52 -08001067 REQUIRES(!Locks::classlinker_classes_lock_)
1068 REQUIRES_SHARED(Locks::mutator_lock_);
1069
Vladimir Markof44d36c2017-03-14 14:18:46 +00001070 // Find a field by its field index.
1071 ArtField* LookupResolvedField(uint32_t field_idx,
1072 ObjPtr<mirror::DexCache> dex_cache,
1073 ObjPtr<mirror::ClassLoader> class_loader,
1074 bool is_static)
1075 REQUIRES_SHARED(Locks::mutator_lock_);
1076
Vladimir Markocd556b02017-02-03 11:47:34 +00001077 void RegisterDexFileLocked(const DexFile& dex_file,
1078 ObjPtr<mirror::DexCache> dex_cache,
1079 ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001080 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001081 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Light725da8f2020-02-19 14:46:33 -08001082 const DexCacheData* FindDexCacheDataLocked(const DexFile& dex_file)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001083 REQUIRES(Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001084 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Light725da8f2020-02-19 14:46:33 -08001085 static ObjPtr<mirror::DexCache> DecodeDexCacheLocked(Thread* self, const DexCacheData* data)
1086 REQUIRES_SHARED(Locks::dex_lock_, Locks::mutator_lock_);
1087 bool IsSameClassLoader(ObjPtr<mirror::DexCache> dex_cache,
1088 const DexCacheData* data,
1089 ObjPtr<mirror::ClassLoader> class_loader)
1090 REQUIRES_SHARED(Locks::dex_lock_, Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -07001091
Alex Lighteb7c1442015-08-31 13:17:42 -07001092 bool InitializeDefaultInterfaceRecursive(Thread* self,
1093 Handle<mirror::Class> klass,
1094 bool can_run_clinit,
1095 bool can_init_parents)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001096 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001097 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001098 bool WaitForInitializeClass(Handle<mirror::Class> klass,
1099 Thread* self,
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001100 ObjectLock<mirror::Class>& lock);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001101
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001102 bool IsSameDescriptorInDifferentClassContexts(Thread* self,
1103 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001104 Handle<mirror::ClassLoader> class_loader1,
1105 Handle<mirror::ClassLoader> class_loader2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001106 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001107
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001108 bool IsSameMethodSignatureInDifferentClassContexts(Thread* self,
1109 ArtMethod* method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001110 ObjPtr<mirror::Class> klass1,
1111 ObjPtr<mirror::Class> klass2)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001112 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001113
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001114 bool LinkSuperClass(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001115 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001116
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001117 bool LoadSuperAndInterfaces(Handle<mirror::Class> klass, const DexFile& dex_file)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001118 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001119 REQUIRES(!Locks::dex_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001120
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001121 bool LinkMethods(Thread* self,
1122 Handle<mirror::Class> klass,
Mathieu Chartier2d2621a2014-10-23 16:48:06 -07001123 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001124 bool* out_new_conflict,
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001125 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001126 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001127
Vladimir Marko5aead702019-03-27 11:00:36 +00001128 ObjPtr<mirror::MethodHandle> ResolveMethodHandleForField(
1129 Thread* self,
1130 const dex::MethodHandleItem& method_handle,
1131 ArtMethod* referrer) REQUIRES_SHARED(Locks::mutator_lock_);
Orion Hodsonf8db2c32017-07-07 20:07:12 +01001132
Vladimir Marko5aead702019-03-27 11:00:36 +00001133 ObjPtr<mirror::MethodHandle> ResolveMethodHandleForMethod(
1134 Thread* self,
1135 const dex::MethodHandleItem& method_handle,
1136 ArtMethod* referrer) REQUIRES_SHARED(Locks::mutator_lock_);
Orion Hodsonf8db2c32017-07-07 20:07:12 +01001137
Alex Lighteb7c1442015-08-31 13:17:42 -07001138 // Links the virtual methods for the given class and records any default methods that will need to
1139 // be updated later.
1140 //
1141 // Arguments:
1142 // * self - The current thread.
1143 // * klass - class, whose vtable will be filled in.
1144 // * default_translations - Vtable index to new method map.
1145 // Any vtable entries that need to be updated with new default methods
1146 // are stored into the default_translations map. The default_translations
1147 // map is keyed on the vtable index that needs to be updated. We use this
1148 // map because if we override a default method with another default
1149 // method we need to update the vtable to point to the new method.
1150 // Unfortunately since we copy the ArtMethod* we cannot just do a simple
1151 // scan, we therefore store the vtable index's that might need to be
1152 // updated with the method they will turn into.
1153 // TODO This whole default_translations thing is very dirty. There should be a better way.
Alex Light9139e002015-10-09 15:59:48 -07001154 bool LinkVirtualMethods(
1155 Thread* self,
1156 Handle<mirror::Class> klass,
Vladimir Marko782fb712020-12-23 12:47:31 +00001157 /*out*/HashMap<size_t, MethodTranslation>* default_translations)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001158 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001159
Alex Lighteb7c1442015-08-31 13:17:42 -07001160 // Sets up the interface lookup table (IFTable) in the correct order to allow searching for
1161 // default methods.
1162 bool SetupInterfaceLookupTable(Thread* self,
1163 Handle<mirror::Class> klass,
1164 Handle<mirror::ObjectArray<mirror::Class>> interfaces)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001165 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001166
Alex Light9139e002015-10-09 15:59:48 -07001167
1168 enum class DefaultMethodSearchResult {
1169 kDefaultFound,
1170 kAbstractFound,
1171 kDefaultConflict
1172 };
1173
Alex Lighteb7c1442015-08-31 13:17:42 -07001174 // Find the default method implementation for 'interface_method' in 'klass', if one exists.
1175 //
1176 // Arguments:
1177 // * self - The current thread.
1178 // * target_method - The method we are trying to find a default implementation for.
1179 // * klass - The class we are searching for a definition of target_method.
1180 // * out_default_method - The pointer we will store the found default method to on success.
Alex Lighteb7c1442015-08-31 13:17:42 -07001181 //
1182 // Return value:
Alex Light9139e002015-10-09 15:59:48 -07001183 // * kDefaultFound - There were no conflicting method implementations found in the class while
1184 // searching for target_method. The default method implementation is stored into
1185 // out_default_method.
1186 // * kAbstractFound - There were no conflicting method implementations found in the class while
1187 // searching for target_method but no default implementation was found either.
1188 // out_default_method is set to null and the method should be considered not
1189 // implemented.
1190 // * kDefaultConflict - Conflicting method implementations were found when searching for
1191 // target_method. The value of *out_default_method is null.
1192 DefaultMethodSearchResult FindDefaultMethodImplementation(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001193 Thread* self,
1194 ArtMethod* target_method,
1195 Handle<mirror::Class> klass,
1196 /*out*/ArtMethod** out_default_method) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001197 REQUIRES_SHARED(Locks::mutator_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -07001198
1199 // Sets the imt entries and fixes up the vtable for the given class by linking all the interface
1200 // methods. See LinkVirtualMethods for an explanation of what default_translations is.
Alex Light9139e002015-10-09 15:59:48 -07001201 bool LinkInterfaceMethods(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001202 Thread* self,
1203 Handle<mirror::Class> klass,
Vladimir Marko782fb712020-12-23 12:47:31 +00001204 const HashMap<size_t, MethodTranslation>& default_translations,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001205 bool* out_new_conflict,
1206 ArtMethod** out_imt)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001207 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001208
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001209 bool LinkStaticFields(Thread* self, Handle<mirror::Class> klass, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001210 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001211 bool LinkInstanceFields(Thread* self, Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001212 REQUIRES_SHARED(Locks::mutator_lock_);
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001213 bool LinkFields(Thread* self, Handle<mirror::Class> klass, bool is_static, size_t* class_size)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001214 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -07001215 void CreateReferenceInstanceOffsets(Handle<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001216 REQUIRES_SHARED(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001217
Mathieu Chartiere401d142015-04-22 13:56:20 -07001218 void CheckProxyConstructor(ArtMethod* constructor) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001219 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001220 void CheckProxyMethod(ArtMethod* method, ArtMethod* prototype) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001221 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001222
Andreas Gampecc1b5352016-12-01 16:58:38 -08001223 size_t GetDexCacheCount() REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001224 return dex_caches_.size();
1225 }
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001226 const std::list<DexCacheData>& GetDexCachesData()
Andreas Gampecc1b5352016-12-01 16:58:38 -08001227 REQUIRES_SHARED(Locks::mutator_lock_, Locks::dex_lock_) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001228 return dex_caches_;
1229 }
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001230
Mathieu Chartiere401d142015-04-22 13:56:20 -07001231 void CreateProxyConstructor(Handle<mirror::Class> klass, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001232 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001233 void CreateProxyMethod(Handle<mirror::Class> klass, ArtMethod* prototype, ArtMethod* out)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001234 REQUIRES_SHARED(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -04001235
Mathieu Chartier5b830502016-03-02 10:30:23 -08001236 // Register a class loader and create its class table and allocator. Should not be called if
1237 // these are already created.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001238 void RegisterClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001239 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier5b830502016-03-02 10:30:23 -08001240 REQUIRES(Locks::classlinker_classes_lock_);
1241
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001242 // Insert a new class table if not found.
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001243 ClassTable* InsertClassTableForClassLoader(ObjPtr<mirror::ClassLoader> class_loader)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001244 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001245 REQUIRES(Locks::classlinker_classes_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001246
Ian Rogersdbf3be02014-08-29 15:40:08 -07001247 // EnsureResolved is called to make sure that a class in the class_table_ has been resolved
1248 // before returning it to the caller. Its the responsibility of the thread that placed the class
1249 // in the table to make it resolved. The thread doing resolution must notify on the class' lock
1250 // when resolution has occurred. This happens in mirror::Class::SetStatus. As resolution may
1251 // retire a class, the version of the class in the table is returned and this may differ from
1252 // the class passed in.
Vladimir Markoa8bba7d2018-05-30 15:18:48 +01001253 ObjPtr<mirror::Class> EnsureResolved(Thread* self,
1254 const char* descriptor,
1255 ObjPtr<mirror::Class> klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001256 WARN_UNUSED
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001257 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001258 REQUIRES(!Locks::dex_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001259
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001260 void FixupTemporaryDeclaringClass(ObjPtr<mirror::Class> temp_class,
1261 ObjPtr<mirror::Class> new_class)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001262 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001263
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001264 void SetClassRoot(ClassRoot class_root, ObjPtr<mirror::Class> klass)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001265 REQUIRES_SHARED(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001266
1267 // Return the quick generic JNI stub for testing.
1268 const void* GetRuntimeQuickGenericJniStub() const;
1269
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001270 bool CanWeInitializeClass(ObjPtr<mirror::Class> klass,
1271 bool can_init_statics,
1272 bool can_init_parents)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001273 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001274
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001275 void UpdateClassMethods(ObjPtr<mirror::Class> klass,
Alex Lighte64300b2015-12-15 15:02:47 -08001276 LengthPrefixedArray<ArtMethod>* new_methods)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001277 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001278 REQUIRES(!Locks::classlinker_classes_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001279
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001280 // Check that c1 == FindSystemClass(self, descriptor). Abort with class dumps otherwise.
1281 void CheckSystemClass(Thread* self, Handle<mirror::Class> c1, const char* descriptor)
Andreas Gampecc1b5352016-12-01 16:58:38 -08001282 REQUIRES(!Locks::dex_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001283 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001284
Vladimir Marko921094a2017-01-12 18:37:06 +00001285 // Allocate method arrays for interfaces.
1286 bool AllocateIfTableMethodArrays(Thread* self,
1287 Handle<mirror::Class> klass,
1288 Handle<mirror::IfTable> iftable)
1289 REQUIRES_SHARED(Locks::mutator_lock_);
1290
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001291 // Sets imt_ref appropriately for LinkInterfaceMethods.
1292 // If there is no method in the imt location of imt_ref it will store the given method there.
1293 // Otherwise it will set the conflict method which will figure out which method to use during
1294 // runtime.
1295 void SetIMTRef(ArtMethod* unimplemented_method,
1296 ArtMethod* imt_conflict_method,
1297 ArtMethod* current_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001298 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001299 /*out*/ArtMethod** imt_ref) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001300
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001301 void FillIMTFromIfTable(ObjPtr<mirror::IfTable> if_table,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001302 ArtMethod* unimplemented_method,
1303 ArtMethod* imt_conflict_method,
Mathieu Chartier28357fa2016-10-18 16:27:40 -07001304 ObjPtr<mirror::Class> klass,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001305 bool create_conflict_tables,
1306 bool ignore_copied_methods,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001307 /*out*/bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001308 /*out*/ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001309
1310 void FillImtFromSuperClass(Handle<mirror::Class> klass,
1311 ArtMethod* unimplemented_method,
1312 ArtMethod* imt_conflict_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001313 bool* new_conflict,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001314 ArtMethod** imt) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001315
Vladimir Markoba118822017-06-12 15:41:56 +01001316 // Check invoke type against the referenced class. Throws IncompatibleClassChangeError
1317 // (if `kThrowOnError`) and returns true on mismatch (kInterface on a non-interface class,
1318 // kVirtual on interface, kDefault on interface for dex files not supporting default methods),
1319 // otherwise returns false.
1320 template <bool kThrowOnError, typename ClassGetter>
1321 static bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1322 InvokeType type,
1323 ClassGetter class_getter)
1324 REQUIRES_SHARED(Locks::mutator_lock_);
1325 // Helper that feeds the above function with `ClassGetter` doing `LookupResolvedType()`.
1326 template <bool kThrow>
1327 bool CheckInvokeClassMismatch(ObjPtr<mirror::DexCache> dex_cache,
1328 InvokeType type,
1329 uint32_t method_idx,
1330 ObjPtr<mirror::ClassLoader> class_loader)
1331 REQUIRES_SHARED(Locks::mutator_lock_);
1332
Vladimir Marko02610552018-06-04 14:38:00 +01001333 ObjPtr<mirror::IfTable> GetArrayIfTable() REQUIRES_SHARED(Locks::mutator_lock_);
1334
Brian Carlstrom4a96b602011-07-26 16:40:23 -07001335 std::vector<const DexFile*> boot_class_path_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001336 std::vector<std::unique_ptr<const DexFile>> boot_dex_files_;
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07001337
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001338 // JNI weak globals and side data to allow dex caches to get unloaded. We lazily delete weak
1339 // globals when we register new dex files.
Andreas Gampecc1b5352016-12-01 16:58:38 -08001340 std::list<DexCacheData> dex_caches_ GUARDED_BY(Locks::dex_lock_);
Brian Carlstrom47d237a2011-10-18 15:08:33 -07001341
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -07001342 // This contains the class loaders which have class tables. It is populated by
Mathieu Chartier951ec2c2015-09-22 08:50:05 -07001343 // InsertClassTableForClassLoader.
1344 std::list<ClassLoaderData> class_loaders_
Mathieu Chartier6b069532015-08-05 15:08:12 -07001345 GUARDED_BY(Locks::classlinker_classes_lock_);
1346
1347 // Boot class path table. Since the class loader for this is null.
Andreas Gampe2af99022017-04-25 08:32:59 -07001348 std::unique_ptr<ClassTable> boot_class_table_ GUARDED_BY(Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001349
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001350 // New class roots, only used by CMS since the GC needs to mark these in the pause.
1351 std::vector<GcRoot<mirror::Class>> new_class_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Elliott Hughesf8349362012-06-18 15:00:06 -07001352
Vladimir Marko1998cd02017-01-13 13:02:58 +00001353 // Boot image oat files with new .bss GC roots to be visited in the pause by CMS.
1354 std::vector<const OatFile*> new_bss_roots_boot_oat_files_
1355 GUARDED_BY(Locks::classlinker_classes_lock_);
1356
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001357 // Number of times we've searched dex caches for a class. After a certain number of misses we move
1358 // the classes into the class_table_ to avoid dex cache based searches.
Ian Rogers68b56852014-08-29 20:19:11 -07001359 Atomic<uint32_t> failed_dex_cache_class_lookups_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001360
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001361 // Well known mirror::Class roots.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001362 GcRoot<mirror::ObjectArray<mirror::Class>> class_roots_;
Brian Carlstrom913af1b2011-07-23 21:41:13 -07001363
Ian Rogers98379392014-02-24 16:53:16 -08001364 // A cache of the last FindArrayClass results. The cache serves to avoid creating array class
1365 // descriptors for the sake of performing FindClass.
1366 static constexpr size_t kFindArrayCacheSize = 16;
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001367 GcRoot<mirror::Class> find_array_class_cache_[kFindArrayCacheSize];
Ian Rogers98379392014-02-24 16:53:16 -08001368 size_t find_array_class_cache_next_victim_;
1369
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001370 bool init_done_;
Vladimir Marko1998cd02017-01-13 13:02:58 +00001371 bool log_new_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001372
Elliott Hughescf4c6c42011-09-01 15:16:42 -07001373 InternTable* intern_table_;
1374
Andreas Gampe87658f32019-04-18 18:39:02 +00001375 const bool fast_class_not_found_exceptions_;
1376
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001377 // Trampolines within the image the bounce to runtime entrypoints. Done so that there is a single
1378 // patch point within the image. TODO: make these proper relocations.
Vladimir Marko7dac8642019-11-06 17:09:30 +00001379 const void* jni_dlsym_lookup_trampoline_;
Vladimir Markofa458ac2020-02-12 14:08:07 +00001380 const void* jni_dlsym_lookup_critical_trampoline_;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001381 const void* quick_resolution_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -07001382 const void* quick_imt_conflict_trampoline_;
Andreas Gampe2da88232014-02-27 12:26:20 -08001383 const void* quick_generic_jni_trampoline_;
Vladimir Marko8a630572014-04-09 18:45:35 +01001384 const void* quick_to_interpreter_bridge_trampoline_;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001385
Mathieu Chartier2d721012014-11-10 11:08:06 -08001386 // Image pointer size.
Andreas Gampe542451c2016-07-26 09:02:02 -07001387 PointerSize image_pointer_size_;
Mathieu Chartier2d721012014-11-10 11:08:06 -08001388
Vladimir Markobf121912019-06-04 13:49:05 +01001389 // Classes to transition from ClassStatus::kInitialized to ClassStatus::kVisiblyInitialized.
1390 Mutex visibly_initialized_callback_lock_;
1391 std::unique_ptr<VisiblyInitializedCallback> visibly_initialized_callback_
1392 GUARDED_BY(visibly_initialized_callback_lock_);
1393 IntrusiveForwardList<VisiblyInitializedCallback> running_visibly_initialized_callbacks_
1394 GUARDED_BY(visibly_initialized_callback_lock_);
1395
Vladimir Marko86c87522020-05-11 16:55:55 +01001396 // Registered native code for @CriticalNative methods of classes that are not visibly
1397 // initialized. These code pointers cannot be stored in ArtMethod as that would risk
1398 // skipping the class initialization check for direct calls from compiled code.
1399 Mutex critical_native_code_with_clinit_check_lock_;
1400 std::map<ArtMethod*, void*> critical_native_code_with_clinit_check_
1401 GUARDED_BY(critical_native_code_with_clinit_check_lock_);
1402
Andreas Gampec1ac9ee2017-07-24 22:35:49 -07001403 std::unique_ptr<ClassHierarchyAnalysis> cha_;
1404
Mathieu Chartier65975772016-08-05 10:46:36 -07001405 class FindVirtualMethodHolderVisitor;
Andreas Gampe2af99022017-04-25 08:32:59 -07001406
Mathieu Chartier74ccee62018-10-10 10:30:29 -07001407 friend class AppImageLoadingHelper;
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001408 friend class ImageDumper; // for DexLock
Vladimir Marko74527972016-11-29 15:57:32 +00001409 friend struct linker::CompilationHelper; // For Compile in ImageTest.
1410 friend class linker::ImageWriter; // for GetClassRoots
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001411 friend class JniCompilerTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe5f4a09a2015-09-28 13:16:33 -07001412 friend class JniInternalTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe2af99022017-04-25 08:32:59 -07001413 friend class VMClassLoader; // for LookupClass and FindClassInBaseDexClassLoader.
Mathieu Chartier76172162016-01-26 14:54:06 -08001414 ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for DexLock, and RegisterDexFileLocked
Narayan Kamath25352fc2016-08-03 12:46:58 +01001415 ART_FRIEND_TEST(mirror::DexCacheMethodHandlesTest, Open); // for AllocDexCache
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001416 ART_FRIEND_TEST(mirror::DexCacheTest, Open); // for AllocDexCache
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001417 DISALLOW_COPY_AND_ASSIGN(ClassLinker);
1418};
1419
Andreas Gampe0f01b582017-01-18 15:22:37 -08001420class ClassLoadCallback {
1421 public:
1422 virtual ~ClassLoadCallback() {}
1423
Alex Light270db1c2019-12-03 12:20:01 +00001424 // Called immediately before beginning class-definition and immediately before returning from it.
1425 virtual void BeginDefineClass() REQUIRES_SHARED(Locks::mutator_lock_) {}
1426 virtual void EndDefineClass() REQUIRES_SHARED(Locks::mutator_lock_) {}
1427
Alex Lightb0f11922017-01-23 14:25:17 -08001428 // If set we will replace initial_class_def & initial_dex_file with the final versions. The
1429 // callback author is responsible for ensuring these are allocated in such a way they can be
1430 // cleaned up if another transformation occurs. Note that both must be set or null/unchanged on
1431 // return.
1432 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1433 // different object. It is the listener's responsibility to handle this.
1434 // Note: This callback is rarely useful so a default implementation has been given that does
1435 // nothing.
1436 virtual void ClassPreDefine(const char* descriptor ATTRIBUTE_UNUSED,
1437 Handle<mirror::Class> klass ATTRIBUTE_UNUSED,
1438 Handle<mirror::ClassLoader> class_loader ATTRIBUTE_UNUSED,
1439 const DexFile& initial_dex_file ATTRIBUTE_UNUSED,
Andreas Gampe3f1dcd32018-12-28 09:39:56 -08001440 const dex::ClassDef& initial_class_def ATTRIBUTE_UNUSED,
Alex Lightb0f11922017-01-23 14:25:17 -08001441 /*out*/DexFile const** final_dex_file ATTRIBUTE_UNUSED,
Andreas Gampe3f1dcd32018-12-28 09:39:56 -08001442 /*out*/dex::ClassDef const** final_class_def ATTRIBUTE_UNUSED)
Alex Lightb0f11922017-01-23 14:25:17 -08001443 REQUIRES_SHARED(Locks::mutator_lock_) {}
1444
Andreas Gampe0f01b582017-01-18 15:22:37 -08001445 // A class has been loaded.
1446 // Note: the class may be temporary, in which case a following ClassPrepare event will be a
1447 // different object. It is the listener's responsibility to handle this.
1448 virtual void ClassLoad(Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1449
1450 // A class has been prepared, i.e., resolved. As the ClassLoad event might have been for a
1451 // temporary class, provide both the former and the current class.
1452 virtual void ClassPrepare(Handle<mirror::Class> temp_klass,
1453 Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_) = 0;
1454};
1455
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001456} // namespace art
1457
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001458#endif // ART_RUNTIME_CLASS_LINKER_H_