blob: ca5af199762797ac5bf597fb0f94e433c683cd83 [file] [log] [blame]
Elliott Hughes418d20f2011-09-22 14:00:39 -07001/*
2 * Copyright (C) 2011 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070016
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_CLASS_LINKER_H_
18#define ART_RUNTIME_CLASS_LINKER_H_
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070019
Mathieu Chartierc5dd3192015-12-09 16:38:30 -080020#include <set>
Ian Rogers6d4d9fc2011-11-30 16:24:48 -080021#include <string>
Alex Lighteb7c1442015-08-31 13:17:42 -070022#include <unordered_map>
Mathieu Chartierc5dd3192015-12-09 16:38:30 -080023#include <unordered_set>
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070024#include <utility>
25#include <vector>
26
Mathieu Chartierbad02672014-08-25 13:08:22 -070027#include "base/allocator.h"
Mathieu Chartierc2e20622014-11-03 11:41:47 -080028#include "base/hash_set.h"
Elliott Hughes76160052012-12-12 16:31:20 -080029#include "base/macros.h"
Elliott Hughes76b61672012-12-12 17:47:30 -080030#include "base/mutex.h"
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -070031#include "class_table.h"
Mathieu Chartierc5dd3192015-12-09 16:38:30 -080032#include "dex_cache_resolved_classes.h"
Brian Carlstrom7e49dca2011-07-22 18:07:34 -070033#include "dex_file.h"
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070034#include "gc_root.h"
Mathieu Chartier590fee92013-09-13 13:46:47 -070035#include "jni.h"
Brian Carlstrom58ae9412011-10-04 00:56:06 -070036#include "oat_file.h"
Mathieu Chartier83c8ee02014-01-28 14:50:23 -080037#include "object_callbacks.h"
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070038
39namespace art {
Mingyao Yang98d1cc82014-05-15 17:02:16 -070040
Ian Rogers1d54e732013-05-02 21:10:01 -070041namespace gc {
42namespace space {
43 class ImageSpace;
44} // namespace space
45} // namespace gc
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080046namespace mirror {
Ian Rogers33e95662013-05-20 20:29:14 -070047 class ClassLoader;
48 class DexCache;
Mathieu Chartiere401d142015-04-22 13:56:20 -070049 class DexCachePointerArray;
Ian Rogers33e95662013-05-20 20:29:14 -070050 class DexCacheTest_Open_Test;
51 class IfTable;
52 template<class T> class ObjectArray;
53 class StackTraceElement;
54} // namespace mirror
Ian Rogers1d54e732013-05-02 21:10:01 -070055
Mathieu Chartiere42888f2016-04-14 10:49:19 -070056class ImtConflictTable;
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070057template<class T> class Handle;
Hiroshi Yamauchi679b1cf2015-05-21 12:05:27 -070058template<class T> class MutableHandle;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070059class InternTable;
Mathieu Chartierc528dba2013-11-26 12:00:11 -080060template<class T> class ObjectLock;
Andreas Gampe7ba64962014-10-23 11:37:40 -070061class Runtime;
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070062class ScopedObjectAccessAlreadyRunnable;
Mathieu Chartier2d2621a2014-10-23 16:48:06 -070063template<size_t kNumReferences> class PACKED(4) StackHandleScope;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070064
Mathieu Chartier893263b2014-03-04 11:07:42 -080065enum VisitRootFlags : uint8_t;
66
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -080067class ClassVisitor {
68 public:
69 virtual ~ClassVisitor() {}
70 // Return true to continue visiting.
71 virtual bool operator()(mirror::Class* klass) = 0;
72};
73
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -070074class ClassLoaderVisitor {
75 public:
76 virtual ~ClassLoaderVisitor() {}
77 virtual void Visit(mirror::ClassLoader* class_loader)
78 SHARED_REQUIRES(Locks::classlinker_classes_lock_, Locks::mutator_lock_) = 0;
79};
80
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070081class ClassLinker {
82 public:
Ian Rogers6f3dbba2014-10-14 17:41:57 -070083 // Well known mirror::Class roots accessed via GetClassRoot.
84 enum ClassRoot {
85 kJavaLangClass,
86 kJavaLangObject,
87 kClassArrayClass,
88 kObjectArrayClass,
89 kJavaLangString,
90 kJavaLangDexCache,
91 kJavaLangRefReference,
Mathieu Chartierfc58af42015-04-16 18:00:39 -070092 kJavaLangReflectConstructor,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -070093 kJavaLangReflectField,
Mathieu Chartierfc58af42015-04-16 18:00:39 -070094 kJavaLangReflectMethod,
Ian Rogers6f3dbba2014-10-14 17:41:57 -070095 kJavaLangReflectProxy,
96 kJavaLangStringArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -070097 kJavaLangReflectConstructorArrayClass,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -070098 kJavaLangReflectFieldArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -070099 kJavaLangReflectMethodArrayClass,
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700100 kJavaLangClassLoader,
101 kJavaLangThrowable,
102 kJavaLangClassNotFoundException,
103 kJavaLangStackTraceElement,
104 kPrimitiveBoolean,
105 kPrimitiveByte,
106 kPrimitiveChar,
107 kPrimitiveDouble,
108 kPrimitiveFloat,
109 kPrimitiveInt,
110 kPrimitiveLong,
111 kPrimitiveShort,
112 kPrimitiveVoid,
113 kBooleanArrayClass,
114 kByteArrayClass,
115 kCharArrayClass,
116 kDoubleArrayClass,
117 kFloatArrayClass,
118 kIntArrayClass,
119 kLongArrayClass,
120 kShortArrayClass,
121 kJavaLangStackTraceElementArrayClass,
122 kClassRootsMax,
123 };
124
Mathieu Chartier590fee92013-09-13 13:46:47 -0700125 explicit ClassLinker(InternTable* intern_table);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700126 ~ClassLinker();
Carl Shapiro565f5072011-07-10 13:39:43 -0700127
Alex Light64ad14d2014-08-19 14:23:13 -0700128 // Initialize class linker by bootstraping from dex files.
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800129 bool InitWithoutImage(std::vector<std::unique_ptr<const DexFile>> boot_class_path,
130 std::string* error_msg)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700131 SHARED_REQUIRES(Locks::mutator_lock_)
132 REQUIRES(!dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700133
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800134 // Initialize class linker from one or more boot images.
135 bool InitFromBootImage(std::string* error_msg)
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800136 SHARED_REQUIRES(Locks::mutator_lock_)
137 REQUIRES(!dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700138
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800139 // Add an image space to the class linker, may fix up classloader fields and dex cache fields.
140 // The dex files that were newly opened for the space are placed in the out argument
141 // out_dex_files. Returns true if the operation succeeded.
142 // The space must be already added to the heap before calling AddImageSpace since we need to
143 // properly handle read barriers and object marking.
144 bool AddImageSpace(gc::space::ImageSpace* space,
145 Handle<mirror::ClassLoader> class_loader,
146 jobjectArray dex_elements,
147 const char* dex_location,
148 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
149 std::string* error_msg)
150 REQUIRES(!dex_lock_)
151 SHARED_REQUIRES(Locks::mutator_lock_);
152
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800153 bool OpenImageDexFiles(gc::space::ImageSpace* space,
154 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
155 std::string* error_msg)
156 REQUIRES(!dex_lock_)
157 SHARED_REQUIRES(Locks::mutator_lock_);
158
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700159 // Finds a class by its descriptor, loading it if necessary.
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700160 // If class_loader is null, searches boot_class_path_.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700161 mirror::Class* FindClass(Thread* self,
162 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700163 Handle<mirror::ClassLoader> class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700164 SHARED_REQUIRES(Locks::mutator_lock_)
165 REQUIRES(!dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700166
Andreas Gampef865ea92015-04-13 22:14:19 -0700167 // Finds a class in the path class loader, loading it if necessary without using JNI. Hash
168 // function is supposed to be ComputeModifiedUtf8Hash(descriptor). Returns true if the
169 // class-loader chain could be handled, false otherwise, i.e., a non-supported class-loader
170 // was encountered while walking the parent chain (currently only BootClassLoader and
171 // PathClassLoader are supported).
172 bool FindClassInPathClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700173 Thread* self,
174 const char* descriptor,
175 size_t hash,
Andreas Gampef865ea92015-04-13 22:14:19 -0700176 Handle<mirror::ClassLoader> class_loader,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700177 mirror::Class** result)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700178 SHARED_REQUIRES(Locks::mutator_lock_)
179 REQUIRES(!dex_lock_);
Mathieu Chartierab0ed822014-09-11 14:21:41 -0700180
Ian Rogers98379392014-02-24 16:53:16 -0800181 // Finds a class by its descriptor using the "system" class loader, ie by searching the
182 // boot_class_path_.
183 mirror::Class* FindSystemClass(Thread* self, const char* descriptor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700184 SHARED_REQUIRES(Locks::mutator_lock_)
185 REQUIRES(!dex_lock_);
Ian Rogers98379392014-02-24 16:53:16 -0800186
187 // Finds the array class given for the element class.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700188 mirror::Class* FindArrayClass(Thread* self, mirror::Class** element_class)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700189 SHARED_REQUIRES(Locks::mutator_lock_)
190 REQUIRES(!dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700191
Ian Rogers63557452014-06-04 16:57:15 -0700192 // Returns true if the class linker is initialized.
Ian Rogers7b078e82014-09-10 14:44:24 -0700193 bool IsInitialized() const {
194 return init_done_;
195 }
Mathieu Chartier590fee92013-09-13 13:46:47 -0700196
Brian Carlstromaded5f72011-10-07 17:15:04 -0700197 // Define a new a class based on a ClassDef from a DexFile
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700198 mirror::Class* DefineClass(Thread* self,
199 const char* descriptor,
200 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700201 Handle<mirror::ClassLoader> class_loader,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700202 const DexFile& dex_file,
203 const DexFile::ClassDef& dex_class_def)
204 SHARED_REQUIRES(Locks::mutator_lock_)
205 REQUIRES(!dex_lock_);
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700206
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700207 // Finds a class by its descriptor, returning null if it isn't wasn't loaded
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700208 // by the given 'class_loader'.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700209 mirror::Class* LookupClass(Thread* self,
210 const char* descriptor,
211 size_t hash,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700212 mirror::ClassLoader* class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700213 REQUIRES(!Locks::classlinker_classes_lock_)
214 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700215
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800216 // Finds all the classes with the given descriptor, regardless of ClassLoader.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700217 void LookupClasses(const char* descriptor, std::vector<mirror::Class*>& classes)
Mathieu Chartier90443472015-07-16 20:32:27 -0700218 REQUIRES(!Locks::classlinker_classes_lock_)
219 SHARED_REQUIRES(Locks::mutator_lock_);
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800220
Mathieu Chartier90443472015-07-16 20:32:27 -0700221 mirror::Class* FindPrimitiveClass(char type) SHARED_REQUIRES(Locks::mutator_lock_);
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700222
Brian Carlstromae826982011-11-09 01:33:42 -0800223 // General class unloading is not supported, this is used to prune
224 // unwanted classes during image writing.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700225 bool RemoveClass(const char* descriptor, mirror::ClassLoader* class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700226 REQUIRES(!Locks::classlinker_classes_lock_)
227 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstromae826982011-11-09 01:33:42 -0800228
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700229 void DumpAllClasses(int flags)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700230 REQUIRES(!Locks::classlinker_classes_lock_)
231 SHARED_REQUIRES(Locks::mutator_lock_);
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700232
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700233 void DumpForSigQuit(std::ostream& os) REQUIRES(!Locks::classlinker_classes_lock_);
Elliott Hughescac6cc72011-11-03 20:31:21 -0700234
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700235 size_t NumLoadedClasses()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700236 REQUIRES(!Locks::classlinker_classes_lock_)
237 SHARED_REQUIRES(Locks::mutator_lock_);
Elliott Hughese27955c2011-08-26 15:21:24 -0700238
Brian Carlstromb63ec392011-08-27 17:38:27 -0700239 // Resolve a String with the given index from the DexFile, storing the
Brian Carlstromaded5f72011-10-07 17:15:04 -0700240 // result in the DexCache. The referrer is used to identify the
241 // target DexCache and ClassLoader to use for resolution.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700242 mirror::String* ResolveString(uint32_t string_idx, ArtMethod* referrer)
Mathieu Chartier90443472015-07-16 20:32:27 -0700243 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700244
245 // Resolve a String with the given index from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700246 // result in the DexCache.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700247 mirror::String* ResolveString(const DexFile& dex_file, uint32_t string_idx,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700248 Handle<mirror::DexCache> dex_cache)
Mathieu Chartier90443472015-07-16 20:32:27 -0700249 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700250
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000251 // Find a String with the given index from the DexFile, storing the
252 // result in the DexCache if found. Return null if not found.
253 mirror::String* LookupString(const DexFile& dex_file, uint32_t string_idx,
254 Handle<mirror::DexCache> dex_cache)
255 SHARED_REQUIRES(Locks::mutator_lock_);
256
Brian Carlstromb63ec392011-08-27 17:38:27 -0700257 // Resolve a Type with the given index from the DexFile, storing the
Roland Levillainab880f42016-05-12 16:24:36 +0100258 // result in the DexCache. The referrer is used to identify the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700259 // target DexCache and ClassLoader to use for resolution.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700260 mirror::Class* ResolveType(const DexFile& dex_file, uint16_t type_idx, mirror::Class* referrer)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700261 SHARED_REQUIRES(Locks::mutator_lock_)
262 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700263
Brian Carlstromb63ec392011-08-27 17:38:27 -0700264 // Resolve a Type with the given index from the DexFile, storing the
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700265 // result in the DexCache. The referrer is used to identify the
Brian Carlstromb63ec392011-08-27 17:38:27 -0700266 // target DexCache and ClassLoader to use for resolution.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700267 mirror::Class* ResolveType(uint16_t type_idx, ArtMethod* referrer)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700268 SHARED_REQUIRES(Locks::mutator_lock_)
269 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700270
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700271 mirror::Class* ResolveType(uint16_t type_idx, ArtField* referrer)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700272 SHARED_REQUIRES(Locks::mutator_lock_)
273 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstromb63ec392011-08-27 17:38:27 -0700274
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700275 // Resolve a type with the given ID from the DexFile, storing the
276 // result in DexCache. The ClassLoader is used to search for the
277 // type, since it may be referenced from but not contained within
278 // the given DexFile.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700279 mirror::Class* ResolveType(const DexFile& dex_file,
280 uint16_t type_idx,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700281 Handle<mirror::DexCache> dex_cache,
282 Handle<mirror::ClassLoader> class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700283 SHARED_REQUIRES(Locks::mutator_lock_)
284 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700285
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800286 // Determine whether a dex cache result should be trusted, or an IncompatibleClassChangeError
287 // check should be performed even after a hit.
288 enum ResolveMode { // private.
289 kNoICCECheckForCache,
290 kForceICCECheck
291 };
292
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700293 // Resolve a method with a given ID from the DexFile, storing the
294 // result in DexCache. The ClassLinker and ClassLoader are used as
295 // in ResolveType. What is unique is the method type argument which
296 // is used to determine if this method is a direct, static, or
297 // virtual method.
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800298 template <ResolveMode kResolveMode>
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700299 ArtMethod* ResolveMethod(const DexFile& dex_file,
300 uint32_t method_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700301 Handle<mirror::DexCache> dex_cache,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700302 Handle<mirror::ClassLoader> class_loader,
303 ArtMethod* referrer,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700304 InvokeType type)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700305 SHARED_REQUIRES(Locks::mutator_lock_)
306 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700307
Mathieu Chartiere401d142015-04-22 13:56:20 -0700308 ArtMethod* GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer)
Mathieu Chartier90443472015-07-16 20:32:27 -0700309 SHARED_REQUIRES(Locks::mutator_lock_);
Alex Lightfedd91d2016-01-07 14:49:16 -0800310
311 // This returns the class referred to by GetMethodId(method_idx).class_idx_. This might be
312 // different then the declaring class of the resolved method due to copied
313 // miranda/default/conflict methods.
Nicolas Geoffray393fdb82016-04-25 14:58:06 +0100314 mirror::Class* ResolveReferencedClassOfMethod(uint32_t method_idx,
315 Handle<mirror::DexCache> dex_cache,
316 Handle<mirror::ClassLoader> class_loader)
Alex Lightfedd91d2016-01-07 14:49:16 -0800317 SHARED_REQUIRES(Locks::mutator_lock_)
318 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800319 template <ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700320 ArtMethod* ResolveMethod(Thread* self, uint32_t method_idx, ArtMethod* referrer, InvokeType type)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700321 SHARED_REQUIRES(Locks::mutator_lock_)
322 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Jeff Hao0042c6d2015-07-29 20:14:10 -0700323 ArtMethod* ResolveMethodWithoutInvokeType(const DexFile& dex_file,
324 uint32_t method_idx,
325 Handle<mirror::DexCache> dex_cache,
326 Handle<mirror::ClassLoader> class_loader)
327 SHARED_REQUIRES(Locks::mutator_lock_)
328 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom16192862011-09-12 17:50:06 -0700329
Mathieu Chartierc7853442015-03-27 14:35:38 -0700330 ArtField* GetResolvedField(uint32_t field_idx, mirror::Class* field_declaring_class)
Mathieu Chartier90443472015-07-16 20:32:27 -0700331 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700332 ArtField* GetResolvedField(uint32_t field_idx, mirror::DexCache* dex_cache)
Mathieu Chartier90443472015-07-16 20:32:27 -0700333 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700334 ArtField* ResolveField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700335 SHARED_REQUIRES(Locks::mutator_lock_)
336 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstromb9edb842011-08-28 16:31:06 -0700337
Brian Carlstrom16192862011-09-12 17:50:06 -0700338 // Resolve a field with a given ID from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700339 // result in DexCache. The ClassLinker and ClassLoader are used as
340 // in ResolveType. What is unique is the is_static argument which is
341 // used to determine if we are resolving a static or non-static
342 // field.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700343 ArtField* ResolveField(const DexFile& dex_file, uint32_t field_idx,
Mathieu Chartier90443472015-07-16 20:32:27 -0700344 Handle<mirror::DexCache> dex_cache,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700345 Handle<mirror::ClassLoader> class_loader, bool is_static)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700346 SHARED_REQUIRES(Locks::mutator_lock_)
347 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700348
Ian Rogersb067ac22011-12-13 18:05:09 -0800349 // Resolve a field with a given ID from the DexFile, storing the
350 // result in DexCache. The ClassLinker and ClassLoader are used as
351 // in ResolveType. No is_static argument is provided so that Java
352 // field resolution semantics are followed.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700353 ArtField* ResolveFieldJLS(const DexFile& dex_file,
354 uint32_t field_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700355 Handle<mirror::DexCache> dex_cache,
356 Handle<mirror::ClassLoader> class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700357 SHARED_REQUIRES(Locks::mutator_lock_)
358 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Ian Rogersb067ac22011-12-13 18:05:09 -0800359
Ian Rogersad25ac52011-10-04 19:13:33 -0700360 // Get shorty from method index without resolution. Used to do handlerization.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700361 const char* MethodShorty(uint32_t method_idx, ArtMethod* referrer, uint32_t* length)
Mathieu Chartier90443472015-07-16 20:32:27 -0700362 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersad25ac52011-10-04 19:13:33 -0700363
Elliott Hughesf4c21c92011-08-19 17:31:31 -0700364 // Returns true on success, false if there's an exception pending.
Brian Carlstrom25c33252011-09-18 15:58:35 -0700365 // can_run_clinit=false allows the compiler to attempt to init a class,
366 // given the restriction that no <clinit> execution is possible.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700367 bool EnsureInitialized(Thread* self,
368 Handle<mirror::Class> c,
369 bool can_init_fields,
Ian Rogers7b078e82014-09-10 14:44:24 -0700370 bool can_init_parents)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700371 SHARED_REQUIRES(Locks::mutator_lock_)
372 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700373
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700374 // Initializes classes that have instances in the image but that have
375 // <clinit> methods so they could not be initialized by the compiler.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700376 void RunRootClinits()
377 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700378 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700379
Mathieu Chartier696632e2016-06-03 17:47:32 -0700380 mirror::DexCache* RegisterDexFile(const DexFile& dex_file,
381 mirror::ClassLoader* class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700382 REQUIRES(!dex_lock_)
383 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700384 void RegisterDexFile(const DexFile& dex_file, Handle<mirror::DexCache> dex_cache)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700385 REQUIRES(!dex_lock_)
386 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700387
Brian Carlstrom8a487412011-08-29 20:08:52 -0700388 const std::vector<const DexFile*>& GetBootClassPath() {
389 return boot_class_path_;
390 }
391
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700392 void VisitClasses(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700393 REQUIRES(!Locks::classlinker_classes_lock_)
394 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -0700395
396 // Less efficient variant of VisitClasses that copies the class_table_ into secondary storage
397 // so that it can visit individual classes without holding the doesn't hold the
398 // Locks::classlinker_classes_lock_. As the Locks::classlinker_classes_lock_ isn't held this code
399 // can race with insertion and deletion of classes while the visitor is being called.
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700400 void VisitClassesWithoutClassesLock(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700401 SHARED_REQUIRES(Locks::mutator_lock_)
402 REQUIRES(!dex_lock_);
Elliott Hughesa2155262011-11-16 16:26:58 -0800403
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700404 void VisitClassRoots(RootVisitor* visitor, VisitRootFlags flags)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700405 REQUIRES(!Locks::classlinker_classes_lock_)
406 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700407 void VisitRoots(RootVisitor* visitor, VisitRootFlags flags)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700408 REQUIRES(!dex_lock_)
409 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700410
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700411 mirror::DexCache* FindDexCache(Thread* self,
412 const DexFile& dex_file,
413 bool allow_failure = false)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700414 REQUIRES(!dex_lock_)
415 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700416 void FixupDexCaches(ArtMethod* resolution_method)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700417 REQUIRES(!dex_lock_)
418 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom1d9f52b2011-10-13 10:50:45 -0700419
Ian Rogersc0542af2014-09-03 16:16:56 -0700420 // Allocate an instance of a java.lang.Object.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700421 mirror::Object* AllocObject(Thread* self)
422 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700423 REQUIRES(!Roles::uninterruptible_);
Ian Rogersc0542af2014-09-03 16:16:56 -0700424
Elliott Hughes418d20f2011-09-22 14:00:39 -0700425 // TODO: replace this with multiple methods that allocate the correct managed type.
Shih-wei Liao44175362011-08-28 16:59:17 -0700426 template <class T>
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800427 mirror::ObjectArray<T>* AllocObjectArray(Thread* self, size_t length)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700428 SHARED_REQUIRES(Locks::mutator_lock_)
429 REQUIRES(!Roles::uninterruptible_);
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700430
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800431 mirror::ObjectArray<mirror::Class>* AllocClassArray(Thread* self, size_t length)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700432 SHARED_REQUIRES(Locks::mutator_lock_)
433 REQUIRES(!Roles::uninterruptible_);
jeffhao98eacac2011-09-14 16:11:53 -0700434
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800435 mirror::ObjectArray<mirror::String>* AllocStringArray(Thread* self, size_t length)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700436 SHARED_REQUIRES(Locks::mutator_lock_)
437 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700438
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700439 LengthPrefixedArray<ArtField>* AllocArtFieldArray(Thread* self,
440 LinearAlloc* allocator,
441 size_t length);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800442
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700443 LengthPrefixedArray<ArtMethod>* AllocArtMethodArray(Thread* self,
444 LinearAlloc* allocator,
445 size_t length);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700446
447 mirror::PointerArray* AllocPointerArray(Thread* self, size_t length)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700448 SHARED_REQUIRES(Locks::mutator_lock_)
449 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800450
451 mirror::IfTable* AllocIfTable(Thread* self, size_t ifcount)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700452 SHARED_REQUIRES(Locks::mutator_lock_)
453 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800454
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700455 mirror::ObjectArray<mirror::StackTraceElement>* AllocStackTraceElementArray(Thread* self,
456 size_t length)
457 SHARED_REQUIRES(Locks::mutator_lock_)
458 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800459
Andreas Gampe7fe30232016-03-25 16:58:00 -0700460 void VerifyClass(Thread* self,
461 Handle<mirror::Class> klass,
462 LogSeverity log_level = LogSeverity::NONE)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700463 SHARED_REQUIRES(Locks::mutator_lock_)
464 REQUIRES(!dex_lock_);
465 bool VerifyClassUsingOatFile(const DexFile& dex_file,
466 mirror::Class* klass,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800467 mirror::Class::Status& oat_file_class_status)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700468 SHARED_REQUIRES(Locks::mutator_lock_)
469 REQUIRES(!dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800470 void ResolveClassExceptionHandlerTypes(Handle<mirror::Class> klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700471 SHARED_REQUIRES(Locks::mutator_lock_)
472 REQUIRES(!dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800473 void ResolveMethodExceptionHandlerTypes(ArtMethod* klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700474 SHARED_REQUIRES(Locks::mutator_lock_)
475 REQUIRES(!dex_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800476
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700477 mirror::Class* CreateProxyClass(ScopedObjectAccessAlreadyRunnable& soa,
478 jstring name,
479 jobjectArray interfaces,
480 jobject loader,
481 jobjectArray methods,
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700482 jobjectArray throws)
Mathieu Chartier90443472015-07-16 20:32:27 -0700483 SHARED_REQUIRES(Locks::mutator_lock_);
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000484 std::string GetDescriptorForProxy(mirror::Class* proxy_class)
Mathieu Chartier90443472015-07-16 20:32:27 -0700485 SHARED_REQUIRES(Locks::mutator_lock_);
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700486 template<ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700487 ArtMethod* FindMethodForProxy(mirror::Class* proxy_class, ArtMethod* proxy_method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700488 REQUIRES(!dex_lock_)
489 SHARED_REQUIRES(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -0400490
Ian Rogers19846512012-02-24 11:42:47 -0800491 // Get the oat code for a method when its class isn't yet initialized
Mathieu Chartiere401d142015-04-22 13:56:20 -0700492 const void* GetQuickOatCodeFor(ArtMethod* method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700493 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800494
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700495 // Get compiled code for a method, return null if no code
496 // exists. This is unlike Get..OatCodeFor which will return a bridge
497 // or interpreter entrypoint.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700498 const void* GetOatMethodQuickCodeFor(ArtMethod* method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700499 SHARED_REQUIRES(Locks::mutator_lock_);
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700500
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700501 const OatFile::OatMethod FindOatMethodFor(ArtMethod* method, bool* found)
Mathieu Chartier90443472015-07-16 20:32:27 -0700502 SHARED_REQUIRES(Locks::mutator_lock_);
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000503
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700504 pid_t GetClassesLockOwner(); // For SignalCatcher.
505 pid_t GetDexLockOwner(); // For SignalCatcher.
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -0700506
Mathieu Chartier90443472015-07-16 20:32:27 -0700507 mirror::Class* GetClassRoot(ClassRoot class_root) SHARED_REQUIRES(Locks::mutator_lock_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700508
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700509 static const char* GetClassRootDescriptor(ClassRoot class_root);
Andreas Gampe2da88232014-02-27 12:26:20 -0800510
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700511 // Is the given entry point quick code to run the resolution stub?
512 bool IsQuickResolutionStub(const void* entry_point) const;
Jeff Hao88474b42013-10-23 16:24:40 -0700513
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700514 // Is the given entry point quick code to bridge into the interpreter?
515 bool IsQuickToInterpreterBridge(const void* entry_point) const;
516
517 // Is the given entry point quick code to run the generic JNI stub?
518 bool IsQuickGenericJniStub(const void* entry_point) const;
Vladimir Marko8a630572014-04-09 18:45:35 +0100519
Jeff Hao88474b42013-10-23 16:24:40 -0700520 InternTable* GetInternTable() const {
521 return intern_table_;
522 }
523
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700524 // Set the entrypoints up for method to the given code.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700525 void SetEntryPointsToCompiledCode(ArtMethod* method, const void* method_code) const
Mathieu Chartier90443472015-07-16 20:32:27 -0700526 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700527
528 // Set the entrypoints up for method to the enter the interpreter.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700529 void SetEntryPointsToInterpreter(ArtMethod* method) const
Mathieu Chartier90443472015-07-16 20:32:27 -0700530 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700531
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700532 // Attempts to insert a class into a class table. Returns null if
Ian Rogers848871b2013-08-05 10:56:33 -0700533 // the class was inserted, otherwise returns an existing class with
534 // the same descriptor and ClassLoader.
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700535 mirror::Class* InsertClass(const char* descriptor, mirror::Class* klass, size_t hash)
Mathieu Chartier90443472015-07-16 20:32:27 -0700536 REQUIRES(!Locks::classlinker_classes_lock_)
537 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers848871b2013-08-05 10:56:33 -0700538
Mathieu Chartier90443472015-07-16 20:32:27 -0700539 mirror::ObjectArray<mirror::Class>* GetClassRoots() SHARED_REQUIRES(Locks::mutator_lock_) {
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -0700540 mirror::ObjectArray<mirror::Class>* class_roots = class_roots_.Read();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700541 DCHECK(class_roots != nullptr);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700542 return class_roots;
543 }
544
Mathieu Chartier073b16c2015-11-10 14:13:23 -0800545 // Move all of the boot image classes into the class table for faster lookups.
546 void AddBootImageClassesToClassTable()
Mathieu Chartier90443472015-07-16 20:32:27 -0700547 REQUIRES(!Locks::classlinker_classes_lock_)
548 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier073b16c2015-11-10 14:13:23 -0800549
550 // Add image classes to the class table.
Jeff Haodcdc85b2015-12-04 14:06:18 -0800551 void AddImageClassesToClassTable(std::vector<gc::space::ImageSpace*> image_spaces,
Mathieu Chartier073b16c2015-11-10 14:13:23 -0800552 mirror::ClassLoader* class_loader)
553 REQUIRES(!Locks::classlinker_classes_lock_)
554 SHARED_REQUIRES(Locks::mutator_lock_);
555
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800556 // Move the class table to the pre-zygote table to reduce memory usage. This works by ensuring
557 // that no more classes are ever added to the pre zygote table which makes it that the pages
558 // always remain shared dirty instead of private dirty.
559 void MoveClassTableToPreZygote()
Mathieu Chartier90443472015-07-16 20:32:27 -0700560 REQUIRES(!Locks::classlinker_classes_lock_)
561 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800562
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700563 // Creates a GlobalRef PathClassLoader that can be used to load classes from the given dex files.
564 // Note: the objects are not completely set up. Do not use this outside of tests and the compiler.
Jeff Haof0192c82016-03-28 20:39:50 -0700565 jobject CreatePathClassLoader(Thread* self, const std::vector<const DexFile*>& dex_files)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700566 SHARED_REQUIRES(Locks::mutator_lock_)
567 REQUIRES(!dex_lock_);
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700568
Mathieu Chartiere401d142015-04-22 13:56:20 -0700569 size_t GetImagePointerSize() const {
570 DCHECK(ValidPointerSize(image_pointer_size_)) << image_pointer_size_;
571 return image_pointer_size_;
572 }
573
574 // Used by image writer for checking.
575 bool ClassInClassTable(mirror::Class* klass)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700576 REQUIRES(Locks::classlinker_classes_lock_)
Mathieu Chartier90443472015-07-16 20:32:27 -0700577 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiera89d7ed2014-12-05 10:57:13 -0800578
Nicolas Geoffray796d6302016-03-13 22:22:31 +0000579 ArtMethod* CreateRuntimeMethod(LinearAlloc* linear_alloc);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700580
Andreas Gampe8ac75952015-06-02 21:01:45 -0700581 // Clear the ArrayClass cache. This is necessary when cleaning up for the image, as the cache
582 // entries are roots, but potentially not image classes.
Mathieu Chartier90443472015-07-16 20:32:27 -0700583 void DropFindArrayClassCache() SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe8ac75952015-06-02 21:01:45 -0700584
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700585 // Clean up class loaders, this needs to happen after JNI weak globals are cleared.
586 void CleanupClassLoaders()
Mathieu Chartier00310e02015-10-17 12:46:42 -0700587 REQUIRES(!Locks::classlinker_classes_lock_)
588 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700589
Mathieu Chartier32cc9ee2015-10-15 09:19:15 -0700590 // Unlike GetOrCreateAllocatorForClassLoader, GetAllocatorForClassLoader asserts that the
591 // allocator for this class loader is already created.
Mathieu Chartier5b830502016-03-02 10:30:23 -0800592 LinearAlloc* GetAllocatorForClassLoader(mirror::ClassLoader* class_loader)
Nicolas Geoffray7de5dfe2015-09-22 09:48:02 +0000593 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700594
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700595 // Return the linear alloc for a class loader if it is already allocated, otherwise allocate and
596 // set it. TODO: Consider using a lock other than classlinker_classes_lock_.
Mathieu Chartier5b830502016-03-02 10:30:23 -0800597 LinearAlloc* GetOrCreateAllocatorForClassLoader(mirror::ClassLoader* class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700598 REQUIRES(!Locks::classlinker_classes_lock_)
599 SHARED_REQUIRES(Locks::mutator_lock_);
600
Mathieu Chartier6d25cf62016-04-12 16:54:48 -0700601 // May be called with null class_loader due to legacy code. b/27954959
Mathieu Chartier00310e02015-10-17 12:46:42 -0700602 void InsertDexFileInToClassLoader(mirror::Object* dex_file, mirror::ClassLoader* class_loader)
603 REQUIRES(!Locks::classlinker_classes_lock_)
604 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700605
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000606 static bool ShouldUseInterpreterEntrypoint(ArtMethod* method, const void* quick_code)
607 SHARED_REQUIRES(Locks::mutator_lock_);
608
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800609 std::set<DexCacheResolvedClasses> GetResolvedClasses(bool ignore_boot_classes)
610 REQUIRES(!dex_lock_);
611
612 std::unordered_set<std::string> GetClassDescriptorsForProfileKeys(
613 const std::set<DexCacheResolvedClasses>& classes)
614 REQUIRES(!dex_lock_);
615
Jeff Haof0192c82016-03-28 20:39:50 -0700616 static bool IsBootClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
617 mirror::ClassLoader* class_loader)
618 SHARED_REQUIRES(Locks::mutator_lock_);
619
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -0700620 ArtMethod* AddMethodToConflictTable(mirror::Class* klass,
621 ArtMethod* conflict_method,
622 ArtMethod* interface_method,
623 ArtMethod* method,
624 bool force_new_conflict_method)
625 SHARED_REQUIRES(Locks::mutator_lock_);
626
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700627 // Create a conflict table with a specified capacity.
628 ImtConflictTable* CreateImtConflictTable(size_t count, LinearAlloc* linear_alloc);
629
630 // Static version for when the class linker is not yet created.
631 static ImtConflictTable* CreateImtConflictTable(size_t count,
632 LinearAlloc* linear_alloc,
633 size_t pointer_size);
634
635
636 // Create the IMT and conflict tables for a class.
637 void FillIMTAndConflictTables(mirror::Class* klass) SHARED_REQUIRES(Locks::mutator_lock_);
638
Mathieu Chartier696632e2016-06-03 17:47:32 -0700639 // Clear class table strong roots (other than classes themselves). This is done by dex2oat to
640 // allow pruning dex caches.
641 void ClearClassTableStrongRoots() const
642 REQUIRES(!Locks::classlinker_classes_lock_)
643 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere42888f2016-04-14 10:49:19 -0700644
Jeff Haoc92a7a12016-06-06 11:09:20 -0700645 // Throw the class initialization failure recorded when first trying to initialize the given
646 // class.
647 void ThrowEarlierClassFailure(mirror::Class* c, bool wrap_in_no_class_def = false)
648 SHARED_REQUIRES(Locks::mutator_lock_)
649 REQUIRES(!dex_lock_);
650
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800651 struct DexCacheData {
652 // Weak root to the DexCache. Note: Do not decode this unnecessarily or else class unloading may
653 // not work properly.
654 jweak weak_root;
655 // The following two fields are caches to the DexCache's fields and here to avoid unnecessary
656 // jweak decode that triggers read barriers (and mark them alive unnecessarily and mess with
657 // class unloading.)
658 const DexFile* dex_file;
659 GcRoot<mirror::Class>* resolved_types;
660 };
661
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700662 private:
663 struct ClassLoaderData {
Mathieu Chartierc3fcd412015-09-25 16:54:59 -0700664 jweak weak_root; // Weak root to enable class unloading.
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700665 ClassTable* class_table;
666 LinearAlloc* allocator;
667 };
668
Alex Lightf1f10492015-10-07 16:08:36 -0700669 // Ensures that the supertype of 'klass' ('supertype') is verified. Returns false and throws
670 // appropriate exceptions if verification failed hard. Returns true for successful verification or
671 // soft-failures.
672 bool AttemptSupertypeVerification(Thread* self,
673 Handle<mirror::Class> klass,
674 Handle<mirror::Class> supertype)
675 REQUIRES(!dex_lock_)
676 SHARED_REQUIRES(Locks::mutator_lock_);
677
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100678 static void DeleteClassLoader(Thread* self, const ClassLoaderData& data)
679 REQUIRES(Locks::classlinker_classes_lock_)
680 SHARED_REQUIRES(Locks::mutator_lock_);
681
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -0700682 void VisitClassLoaders(ClassLoaderVisitor* visitor) const
683 SHARED_REQUIRES(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
684
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700685 void VisitClassesInternal(ClassVisitor* visitor)
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -0700686 SHARED_REQUIRES(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700687
688 // Returns the number of zygote and image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700689 size_t NumZygoteClasses() const
690 REQUIRES(Locks::classlinker_classes_lock_)
691 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700692
693 // Returns the number of non zygote nor image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700694 size_t NumNonZygoteClasses() const
695 REQUIRES(Locks::classlinker_classes_lock_)
696 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700697
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700698 void FinishInit(Thread* self)
Mathieu Chartiera808bac2015-11-05 16:33:15 -0800699 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700700 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma663ea52011-08-19 23:33:41 -0700701
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700702 // For early bootstrapping by Init
Ian Rogers6fac4472014-02-25 17:01:10 -0800703 mirror::Class* AllocClass(Thread* self, mirror::Class* java_lang_Class, uint32_t class_size)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700704 SHARED_REQUIRES(Locks::mutator_lock_)
705 REQUIRES(!Roles::uninterruptible_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700706
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800707 // Alloc* convenience functions to avoid needing to pass in mirror::Class*
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700708 // values that are known to the ClassLinker such as
709 // kObjectArrayClass and kJavaLangString etc.
Ian Rogers6fac4472014-02-25 17:01:10 -0800710 mirror::Class* AllocClass(Thread* self, uint32_t class_size)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700711 SHARED_REQUIRES(Locks::mutator_lock_)
712 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700713 mirror::DexCache* AllocDexCache(Thread* self,
714 const DexFile& dex_file,
715 LinearAlloc* linear_alloc)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700716 SHARED_REQUIRES(Locks::mutator_lock_)
717 REQUIRES(!Roles::uninterruptible_);
Ian Rogersbdb03912011-09-14 00:55:44 -0700718
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800719 mirror::Class* CreatePrimitiveClass(Thread* self, Primitive::Type type)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700720 SHARED_REQUIRES(Locks::mutator_lock_)
721 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800722 mirror::Class* InitializePrimitiveClass(mirror::Class* primitive_class, Primitive::Type type)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700723 SHARED_REQUIRES(Locks::mutator_lock_)
724 REQUIRES(!Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700725
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700726 mirror::Class* CreateArrayClass(Thread* self,
727 const char* descriptor,
728 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700729 Handle<mirror::ClassLoader> class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700730 SHARED_REQUIRES(Locks::mutator_lock_)
731 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700732
Ian Rogers7b078e82014-09-10 14:44:24 -0700733 void AppendToBootClassPath(Thread* self, const DexFile& dex_file)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700734 SHARED_REQUIRES(Locks::mutator_lock_)
735 REQUIRES(!dex_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700736 void AppendToBootClassPath(const DexFile& dex_file, Handle<mirror::DexCache> dex_cache)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700737 SHARED_REQUIRES(Locks::mutator_lock_)
738 REQUIRES(!dex_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700739
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700740 // Precomputes size needed for Class, in the case of a non-temporary class this size must be
741 // sufficient to hold all static fields.
742 uint32_t SizeOfClassWithoutEmbeddedTables(const DexFile& dex_file,
743 const DexFile::ClassDef& dex_class_def);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700744
Mathieu Chartierc7853442015-03-27 14:35:38 -0700745 // Setup the classloader, class def index, type idx so that we can insert this class in the class
746 // table.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700747 void SetupClass(const DexFile& dex_file,
748 const DexFile::ClassDef& dex_class_def,
749 Handle<mirror::Class> klass,
750 mirror::ClassLoader* class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700751 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700752
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700753 void LoadClass(Thread* self,
754 const DexFile& dex_file,
755 const DexFile::ClassDef& dex_class_def,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700756 Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700757 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700758 void LoadClassMembers(Thread* self,
759 const DexFile& dex_file,
760 const uint8_t* class_data,
761 Handle<mirror::Class> klass,
762 const OatFile::OatClass* oat_class)
Mathieu Chartier90443472015-07-16 20:32:27 -0700763 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700764
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700765 void LoadField(const ClassDataItemIterator& it, Handle<mirror::Class> klass, ArtField* dst)
Mathieu Chartier90443472015-07-16 20:32:27 -0700766 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700767
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700768 void LoadMethod(Thread* self,
769 const DexFile& dex_file,
770 const ClassDataItemIterator& it,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700771 Handle<mirror::Class> klass, ArtMethod* dst)
Mathieu Chartier90443472015-07-16 20:32:27 -0700772 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700773
Mathieu Chartier90443472015-07-16 20:32:27 -0700774 void FixupStaticTrampolines(mirror::Class* klass) SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800775
Ian Rogers97b52f82014-08-14 11:34:07 -0700776 // Finds the associated oat class for a dex_file and descriptor. Returns an invalid OatClass on
777 // error and sets found to false.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700778 OatFile::OatClass FindOatClass(const DexFile& dex_file, uint16_t class_def_idx, bool* found)
Mathieu Chartier90443472015-07-16 20:32:27 -0700779 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800780
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700781 void RegisterDexFileLocked(const DexFile& dex_file, Handle<mirror::DexCache> dex_cache)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700782 REQUIRES(dex_lock_)
783 SHARED_REQUIRES(Locks::mutator_lock_);
784 mirror::DexCache* FindDexCacheLocked(Thread* self, const DexFile& dex_file, bool allow_failure)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700785 REQUIRES(dex_lock_)
786 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700787
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700788 bool InitializeClass(Thread* self,
789 Handle<mirror::Class> klass,
790 bool can_run_clinit,
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800791 bool can_init_parents)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700792 SHARED_REQUIRES(Locks::mutator_lock_)
793 REQUIRES(!dex_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -0700794 bool InitializeDefaultInterfaceRecursive(Thread* self,
795 Handle<mirror::Class> klass,
796 bool can_run_clinit,
797 bool can_init_parents)
798 REQUIRES(!dex_lock_)
799 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700800 bool WaitForInitializeClass(Handle<mirror::Class> klass,
801 Thread* self,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700802 ObjectLock<mirror::Class>& lock);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700803 bool ValidateSuperClassDescriptors(Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700804 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700805
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700806 bool IsSameDescriptorInDifferentClassContexts(Thread* self,
807 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700808 Handle<mirror::ClassLoader> class_loader1,
809 Handle<mirror::ClassLoader> class_loader2)
Mathieu Chartier90443472015-07-16 20:32:27 -0700810 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700811
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700812 bool IsSameMethodSignatureInDifferentClassContexts(Thread* self,
813 ArtMethod* method,
814 mirror::Class* klass1,
815 mirror::Class* klass2)
Mathieu Chartier90443472015-07-16 20:32:27 -0700816 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700817
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700818 bool LinkClass(Thread* self,
819 const char* descriptor,
820 Handle<mirror::Class> klass,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700821 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700822 MutableHandle<mirror::Class>* h_new_class_out)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700823 SHARED_REQUIRES(Locks::mutator_lock_)
824 REQUIRES(!Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700825
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700826 bool LinkSuperClass(Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700827 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700828
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700829 bool LoadSuperAndInterfaces(Handle<mirror::Class> klass, const DexFile& dex_file)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700830 SHARED_REQUIRES(Locks::mutator_lock_)
831 REQUIRES(!dex_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700832
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700833 bool LinkMethods(Thread* self,
834 Handle<mirror::Class> klass,
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700835 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700836 ArtMethod** out_imt)
Mathieu Chartier90443472015-07-16 20:32:27 -0700837 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700838
Alex Light9139e002015-10-09 15:59:48 -0700839 // Does anything needed to make sure that the compiler will not generate a direct invoke to this
840 // method. Should only be called on non-invokable methods.
841 void EnsureThrowsInvocationError(ArtMethod* method)
842 SHARED_REQUIRES(Locks::mutator_lock_);
843
844 // A wrapper class representing the result of a method translation used for linking methods and
845 // updating superclass default methods. For each method in a classes vtable there are 4 states it
846 // could be in:
847 // 1) No translation is necessary. In this case there is no MethodTranslation object for it. This
848 // is the standard case and is true when the method is not overridable by a default method,
849 // the class defines a concrete implementation of the method, the default method implementation
850 // remains the same, or an abstract method stayed abstract.
851 // 2) The method must be translated to a different default method. We note this with
852 // CreateTranslatedMethod.
853 // 3) The method must be replaced with a conflict method. This happens when a superclass
854 // implements an interface with a default method and this class implements an unrelated
855 // interface that also defines that default method. We note this with CreateConflictingMethod.
856 // 4) The method must be replaced with an abstract miranda method. This happens when a superclass
857 // implements an interface with a default method and this class implements a subinterface of
858 // the superclass's interface which declares the default method abstract. We note this with
859 // CreateAbstractMethod.
860 //
861 // When a method translation is unnecessary (case #1), we don't put it into the
862 // default_translation maps. So an instance of MethodTranslation must be in one of #2-#4.
863 class MethodTranslation {
864 public:
865 // This slot must become a default conflict method.
866 static MethodTranslation CreateConflictingMethod() {
867 return MethodTranslation(Type::kConflict, /*translation*/nullptr);
868 }
869
870 // This slot must become an abstract method.
871 static MethodTranslation CreateAbstractMethod() {
872 return MethodTranslation(Type::kAbstract, /*translation*/nullptr);
873 }
874
875 // Use the given method as the current value for this vtable slot during translation.
876 static MethodTranslation CreateTranslatedMethod(ArtMethod* new_method) {
877 return MethodTranslation(Type::kTranslation, new_method);
878 }
879
880 // Returns true if this is a method that must become a conflict method.
881 bool IsInConflict() const {
882 return type_ == Type::kConflict;
883 }
884
885 // Returns true if this is a method that must become an abstract method.
886 bool IsAbstract() const {
887 return type_ == Type::kAbstract;
888 }
889
890 // Returns true if this is a method that must become a different method.
891 bool IsTranslation() const {
892 return type_ == Type::kTranslation;
893 }
894
895 // Get the translated version of this method.
896 ArtMethod* GetTranslation() const {
897 DCHECK(IsTranslation());
898 DCHECK(translation_ != nullptr);
899 return translation_;
900 }
901
902 private:
903 enum class Type {
904 kTranslation,
905 kConflict,
906 kAbstract,
907 };
908
909 MethodTranslation(Type type, ArtMethod* translation)
910 : translation_(translation), type_(type) {}
911
912 ArtMethod* const translation_;
913 const Type type_;
914 };
915
Alex Lighteb7c1442015-08-31 13:17:42 -0700916 // Links the virtual methods for the given class and records any default methods that will need to
917 // be updated later.
918 //
919 // Arguments:
920 // * self - The current thread.
921 // * klass - class, whose vtable will be filled in.
922 // * default_translations - Vtable index to new method map.
923 // Any vtable entries that need to be updated with new default methods
924 // are stored into the default_translations map. The default_translations
925 // map is keyed on the vtable index that needs to be updated. We use this
926 // map because if we override a default method with another default
927 // method we need to update the vtable to point to the new method.
928 // Unfortunately since we copy the ArtMethod* we cannot just do a simple
929 // scan, we therefore store the vtable index's that might need to be
930 // updated with the method they will turn into.
931 // TODO This whole default_translations thing is very dirty. There should be a better way.
Alex Light9139e002015-10-09 15:59:48 -0700932 bool LinkVirtualMethods(
933 Thread* self,
934 Handle<mirror::Class> klass,
935 /*out*/std::unordered_map<size_t, MethodTranslation>* default_translations)
Mathieu Chartier90443472015-07-16 20:32:27 -0700936 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700937
Alex Lighteb7c1442015-08-31 13:17:42 -0700938 // Sets up the interface lookup table (IFTable) in the correct order to allow searching for
939 // default methods.
940 bool SetupInterfaceLookupTable(Thread* self,
941 Handle<mirror::Class> klass,
942 Handle<mirror::ObjectArray<mirror::Class>> interfaces)
943 SHARED_REQUIRES(Locks::mutator_lock_);
944
Alex Light9139e002015-10-09 15:59:48 -0700945
946 enum class DefaultMethodSearchResult {
947 kDefaultFound,
948 kAbstractFound,
949 kDefaultConflict
950 };
951
Alex Lighteb7c1442015-08-31 13:17:42 -0700952 // Find the default method implementation for 'interface_method' in 'klass', if one exists.
953 //
954 // Arguments:
955 // * self - The current thread.
956 // * target_method - The method we are trying to find a default implementation for.
957 // * klass - The class we are searching for a definition of target_method.
958 // * out_default_method - The pointer we will store the found default method to on success.
Alex Lighteb7c1442015-08-31 13:17:42 -0700959 //
960 // Return value:
Alex Light9139e002015-10-09 15:59:48 -0700961 // * kDefaultFound - There were no conflicting method implementations found in the class while
962 // searching for target_method. The default method implementation is stored into
963 // out_default_method.
964 // * kAbstractFound - There were no conflicting method implementations found in the class while
965 // searching for target_method but no default implementation was found either.
966 // out_default_method is set to null and the method should be considered not
967 // implemented.
968 // * kDefaultConflict - Conflicting method implementations were found when searching for
969 // target_method. The value of *out_default_method is null.
970 DefaultMethodSearchResult FindDefaultMethodImplementation(
Nicolas Geoffray88f288e2016-06-29 08:17:52 +0000971 Thread* self,
972 ArtMethod* target_method,
973 Handle<mirror::Class> klass,
974 /*out*/ArtMethod** out_default_method) const
Alex Lighteb7c1442015-08-31 13:17:42 -0700975 SHARED_REQUIRES(Locks::mutator_lock_);
976
977 // Sets the imt entries and fixes up the vtable for the given class by linking all the interface
978 // methods. See LinkVirtualMethods for an explanation of what default_translations is.
Alex Light9139e002015-10-09 15:59:48 -0700979 bool LinkInterfaceMethods(
Nicolas Geoffray88f288e2016-06-29 08:17:52 +0000980 Thread* self,
981 Handle<mirror::Class> klass,
982 const std::unordered_map<size_t, MethodTranslation>& default_translations,
983 ArtMethod** out_imt)
Mathieu Chartier90443472015-07-16 20:32:27 -0700984 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700985
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700986 bool LinkStaticFields(Thread* self, Handle<mirror::Class> klass, size_t* class_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700987 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700988 bool LinkInstanceFields(Thread* self, Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700989 SHARED_REQUIRES(Locks::mutator_lock_);
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700990 bool LinkFields(Thread* self, Handle<mirror::Class> klass, bool is_static, size_t* class_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700991 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700992 void LinkCode(ArtMethod* method,
993 const OatFile::OatClass* oat_class,
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700994 uint32_t class_def_method_index)
Mathieu Chartier90443472015-07-16 20:32:27 -0700995 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700996 void CreateReferenceInstanceOffsets(Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700997 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700998
Mathieu Chartiere401d142015-04-22 13:56:20 -0700999 void CheckProxyConstructor(ArtMethod* constructor) const
Mathieu Chartier90443472015-07-16 20:32:27 -07001000 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001001 void CheckProxyMethod(ArtMethod* method, ArtMethod* prototype) const
Mathieu Chartier90443472015-07-16 20:32:27 -07001002 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001003
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001004 // For use by ImageWriter to find DexCaches for its roots
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001005 ReaderWriterMutex* DexLock()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001006 SHARED_REQUIRES(Locks::mutator_lock_)
1007 LOCK_RETURNED(dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001008 return &dex_lock_;
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001009 }
Mathieu Chartier90443472015-07-16 20:32:27 -07001010 size_t GetDexCacheCount() SHARED_REQUIRES(Locks::mutator_lock_, dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001011 return dex_caches_.size();
1012 }
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001013 const std::list<DexCacheData>& GetDexCachesData()
1014 SHARED_REQUIRES(Locks::mutator_lock_, dex_lock_) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001015 return dex_caches_;
1016 }
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001017
Mathieu Chartiere401d142015-04-22 13:56:20 -07001018 void CreateProxyConstructor(Handle<mirror::Class> klass, ArtMethod* out)
Mathieu Chartier90443472015-07-16 20:32:27 -07001019 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001020 void CreateProxyMethod(Handle<mirror::Class> klass, ArtMethod* prototype, ArtMethod* out)
Mathieu Chartier90443472015-07-16 20:32:27 -07001021 SHARED_REQUIRES(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -04001022
Igor Murashkindf707e42016-02-02 16:56:50 -08001023 // Ensures that methods have the kAccSkipAccessChecks bit set. We use the
1024 // kAccVerificationAttempted bit on the class access flags to determine whether this has been done
1025 // before.
1026 void EnsureSkipAccessChecksMethods(Handle<mirror::Class> c)
Mathieu Chartier90443472015-07-16 20:32:27 -07001027 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe48498592014-09-10 19:48:05 -07001028
Mathieu Chartier073b16c2015-11-10 14:13:23 -08001029 mirror::Class* LookupClassFromBootImage(const char* descriptor)
Mathieu Chartier90443472015-07-16 20:32:27 -07001030 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001031
Mathieu Chartier5b830502016-03-02 10:30:23 -08001032 // Register a class loader and create its class table and allocator. Should not be called if
1033 // these are already created.
1034 void RegisterClassLoader(mirror::ClassLoader* class_loader)
1035 SHARED_REQUIRES(Locks::mutator_lock_)
1036 REQUIRES(Locks::classlinker_classes_lock_);
1037
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001038 // Returns null if not found.
1039 ClassTable* ClassTableForClassLoader(mirror::ClassLoader* class_loader)
Mathieu Chartier10c5f562016-05-10 18:13:20 -07001040 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier5b830502016-03-02 10:30:23 -08001041
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001042 // Insert a new class table if not found.
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001043 ClassTable* InsertClassTableForClassLoader(mirror::ClassLoader* class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001044 SHARED_REQUIRES(Locks::mutator_lock_)
1045 REQUIRES(Locks::classlinker_classes_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001046
Ian Rogersdbf3be02014-08-29 15:40:08 -07001047 // EnsureResolved is called to make sure that a class in the class_table_ has been resolved
1048 // before returning it to the caller. Its the responsibility of the thread that placed the class
1049 // in the table to make it resolved. The thread doing resolution must notify on the class' lock
1050 // when resolution has occurred. This happens in mirror::Class::SetStatus. As resolution may
1051 // retire a class, the version of the class in the table is returned and this may differ from
1052 // the class passed in.
1053 mirror::Class* EnsureResolved(Thread* self, const char* descriptor, mirror::Class* klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001054 WARN_UNUSED
1055 SHARED_REQUIRES(Locks::mutator_lock_)
1056 REQUIRES(!dex_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001057
1058 void FixupTemporaryDeclaringClass(mirror::Class* temp_class, mirror::Class* new_class)
Mathieu Chartier90443472015-07-16 20:32:27 -07001059 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001060
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001061 void SetClassRoot(ClassRoot class_root, mirror::Class* klass)
Mathieu Chartier90443472015-07-16 20:32:27 -07001062 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001063
1064 // Return the quick generic JNI stub for testing.
1065 const void* GetRuntimeQuickGenericJniStub() const;
1066
Mathieu Chartiere401d142015-04-22 13:56:20 -07001067 bool CanWeInitializeClass(mirror::Class* klass, bool can_init_statics, bool can_init_parents)
Mathieu Chartier90443472015-07-16 20:32:27 -07001068 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001069
Alex Lighte64300b2015-12-15 15:02:47 -08001070 void UpdateClassMethods(mirror::Class* klass,
1071 LengthPrefixedArray<ArtMethod>* new_methods)
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001072 SHARED_REQUIRES(Locks::mutator_lock_)
1073 REQUIRES(!Locks::classlinker_classes_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001074
Mathieu Chartier69731002016-03-02 16:08:31 -08001075 // new_class_set is the set of classes that were read from the class table section in the image.
1076 // If there was no class table section, it is null.
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -08001077 bool UpdateAppImageClassLoadersAndDexCaches(
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001078 gc::space::ImageSpace* space,
1079 Handle<mirror::ClassLoader> class_loader,
1080 Handle<mirror::ObjectArray<mirror::DexCache>> dex_caches,
Mathieu Chartier69731002016-03-02 16:08:31 -08001081 ClassTable::ClassSet* new_class_set,
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -08001082 bool* out_forward_dex_cache_array,
1083 std::string* out_error_msg)
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001084 REQUIRES(!dex_lock_)
1085 SHARED_REQUIRES(Locks::mutator_lock_);
1086
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001087 // Check that c1 == FindSystemClass(self, descriptor). Abort with class dumps otherwise.
1088 void CheckSystemClass(Thread* self, Handle<mirror::Class> c1, const char* descriptor)
1089 REQUIRES(!dex_lock_)
1090 SHARED_REQUIRES(Locks::mutator_lock_);
1091
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001092 // Sets imt_ref appropriately for LinkInterfaceMethods.
1093 // If there is no method in the imt location of imt_ref it will store the given method there.
1094 // Otherwise it will set the conflict method which will figure out which method to use during
1095 // runtime.
1096 void SetIMTRef(ArtMethod* unimplemented_method,
1097 ArtMethod* imt_conflict_method,
1098 ArtMethod* current_method,
1099 /*out*/ArtMethod** imt_ref) SHARED_REQUIRES(Locks::mutator_lock_);
1100
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001101 void FillIMTFromIfTable(mirror::IfTable* if_table,
1102 ArtMethod* unimplemented_method,
1103 ArtMethod* imt_conflict_method,
1104 mirror::Class* klass,
1105 bool create_conflict_tables,
1106 bool ignore_copied_methods,
Nicolas Geoffray88f288e2016-06-29 08:17:52 +00001107 ArtMethod** imt) SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001108
1109 void FillImtFromSuperClass(Handle<mirror::Class> klass,
1110 ArtMethod* unimplemented_method,
1111 ArtMethod* imt_conflict_method,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001112 ArtMethod** imt) SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001113
Brian Carlstrom4a96b602011-07-26 16:40:23 -07001114 std::vector<const DexFile*> boot_class_path_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001115 std::vector<std::unique_ptr<const DexFile>> boot_dex_files_;
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07001116
Ian Rogers1bf8d4d2013-05-30 00:18:49 -07001117 mutable ReaderWriterMutex dex_lock_ DEFAULT_MUTEX_ACQUIRED_AFTER;
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001118 // JNI weak globals and side data to allow dex caches to get unloaded. We lazily delete weak
1119 // globals when we register new dex files.
1120 std::list<DexCacheData> dex_caches_ GUARDED_BY(dex_lock_);
Brian Carlstrom47d237a2011-10-18 15:08:33 -07001121
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -07001122 // This contains the class loaders which have class tables. It is populated by
Mathieu Chartier951ec2c2015-09-22 08:50:05 -07001123 // InsertClassTableForClassLoader.
1124 std::list<ClassLoaderData> class_loaders_
Mathieu Chartier6b069532015-08-05 15:08:12 -07001125 GUARDED_BY(Locks::classlinker_classes_lock_);
1126
1127 // Boot class path table. Since the class loader for this is null.
1128 ClassTable boot_class_table_ GUARDED_BY(Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001129
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001130 // New class roots, only used by CMS since the GC needs to mark these in the pause.
1131 std::vector<GcRoot<mirror::Class>> new_class_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Elliott Hughesf8349362012-06-18 15:00:06 -07001132
Mathieu Chartier073b16c2015-11-10 14:13:23 -08001133 // Do we need to search dex caches to find boot image classes?
1134 bool dex_cache_boot_image_class_lookup_required_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001135 // Number of times we've searched dex caches for a class. After a certain number of misses we move
1136 // the classes into the class_table_ to avoid dex cache based searches.
Ian Rogers68b56852014-08-29 20:19:11 -07001137 Atomic<uint32_t> failed_dex_cache_class_lookups_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001138
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001139 // Well known mirror::Class roots.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001140 GcRoot<mirror::ObjectArray<mirror::Class>> class_roots_;
Brian Carlstrom913af1b2011-07-23 21:41:13 -07001141
Ian Rogers98379392014-02-24 16:53:16 -08001142 // The interface table used by all arrays.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001143 GcRoot<mirror::IfTable> array_iftable_;
Carl Shapiro565f5072011-07-10 13:39:43 -07001144
Ian Rogers98379392014-02-24 16:53:16 -08001145 // A cache of the last FindArrayClass results. The cache serves to avoid creating array class
1146 // descriptors for the sake of performing FindClass.
1147 static constexpr size_t kFindArrayCacheSize = 16;
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001148 GcRoot<mirror::Class> find_array_class_cache_[kFindArrayCacheSize];
Ian Rogers98379392014-02-24 16:53:16 -08001149 size_t find_array_class_cache_next_victim_;
1150
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001151 bool init_done_;
Mathieu Chartier893263b2014-03-04 11:07:42 -08001152 bool log_new_class_table_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001153
Elliott Hughescf4c6c42011-09-01 15:16:42 -07001154 InternTable* intern_table_;
1155
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001156 // Trampolines within the image the bounce to runtime entrypoints. Done so that there is a single
1157 // patch point within the image. TODO: make these proper relocations.
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001158 const void* quick_resolution_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -07001159 const void* quick_imt_conflict_trampoline_;
Andreas Gampe2da88232014-02-27 12:26:20 -08001160 const void* quick_generic_jni_trampoline_;
Vladimir Marko8a630572014-04-09 18:45:35 +01001161 const void* quick_to_interpreter_bridge_trampoline_;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001162
Mathieu Chartier2d721012014-11-10 11:08:06 -08001163 // Image pointer size.
1164 size_t image_pointer_size_;
1165
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001166 friend class ImageDumper; // for DexLock
Brian Carlstrom34f426c2011-10-04 12:58:02 -07001167 friend class ImageWriter; // for GetClassRoots
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001168 friend class JniCompilerTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe5f4a09a2015-09-28 13:16:33 -07001169 friend class JniInternalTest; // for GetRuntimeQuickGenericJniStub
Mathieu Chartier76172162016-01-26 14:54:06 -08001170 ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for DexLock, and RegisterDexFileLocked
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001171 ART_FRIEND_TEST(mirror::DexCacheTest, Open); // for AllocDexCache
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001172 DISALLOW_COPY_AND_ASSIGN(ClassLinker);
1173};
1174
1175} // namespace art
1176
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001177#endif // ART_RUNTIME_CLASS_LINKER_H_