blob: d6822c52252bc47071b0321bdf3e04e26c69bbff [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,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000836 bool* out_new_conflict,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700837 ArtMethod** out_imt)
Mathieu Chartier90443472015-07-16 20:32:27 -0700838 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700839
Alex Light9139e002015-10-09 15:59:48 -0700840 // Does anything needed to make sure that the compiler will not generate a direct invoke to this
841 // method. Should only be called on non-invokable methods.
842 void EnsureThrowsInvocationError(ArtMethod* method)
843 SHARED_REQUIRES(Locks::mutator_lock_);
844
845 // A wrapper class representing the result of a method translation used for linking methods and
846 // updating superclass default methods. For each method in a classes vtable there are 4 states it
847 // could be in:
848 // 1) No translation is necessary. In this case there is no MethodTranslation object for it. This
849 // is the standard case and is true when the method is not overridable by a default method,
850 // the class defines a concrete implementation of the method, the default method implementation
851 // remains the same, or an abstract method stayed abstract.
852 // 2) The method must be translated to a different default method. We note this with
853 // CreateTranslatedMethod.
854 // 3) The method must be replaced with a conflict method. This happens when a superclass
855 // implements an interface with a default method and this class implements an unrelated
856 // interface that also defines that default method. We note this with CreateConflictingMethod.
857 // 4) The method must be replaced with an abstract miranda method. This happens when a superclass
858 // implements an interface with a default method and this class implements a subinterface of
859 // the superclass's interface which declares the default method abstract. We note this with
860 // CreateAbstractMethod.
861 //
862 // When a method translation is unnecessary (case #1), we don't put it into the
863 // default_translation maps. So an instance of MethodTranslation must be in one of #2-#4.
864 class MethodTranslation {
865 public:
866 // This slot must become a default conflict method.
867 static MethodTranslation CreateConflictingMethod() {
868 return MethodTranslation(Type::kConflict, /*translation*/nullptr);
869 }
870
871 // This slot must become an abstract method.
872 static MethodTranslation CreateAbstractMethod() {
873 return MethodTranslation(Type::kAbstract, /*translation*/nullptr);
874 }
875
876 // Use the given method as the current value for this vtable slot during translation.
877 static MethodTranslation CreateTranslatedMethod(ArtMethod* new_method) {
878 return MethodTranslation(Type::kTranslation, new_method);
879 }
880
881 // Returns true if this is a method that must become a conflict method.
882 bool IsInConflict() const {
883 return type_ == Type::kConflict;
884 }
885
886 // Returns true if this is a method that must become an abstract method.
887 bool IsAbstract() const {
888 return type_ == Type::kAbstract;
889 }
890
891 // Returns true if this is a method that must become a different method.
892 bool IsTranslation() const {
893 return type_ == Type::kTranslation;
894 }
895
896 // Get the translated version of this method.
897 ArtMethod* GetTranslation() const {
898 DCHECK(IsTranslation());
899 DCHECK(translation_ != nullptr);
900 return translation_;
901 }
902
903 private:
904 enum class Type {
905 kTranslation,
906 kConflict,
907 kAbstract,
908 };
909
910 MethodTranslation(Type type, ArtMethod* translation)
911 : translation_(translation), type_(type) {}
912
913 ArtMethod* const translation_;
914 const Type type_;
915 };
916
Alex Lighteb7c1442015-08-31 13:17:42 -0700917 // Links the virtual methods for the given class and records any default methods that will need to
918 // be updated later.
919 //
920 // Arguments:
921 // * self - The current thread.
922 // * klass - class, whose vtable will be filled in.
923 // * default_translations - Vtable index to new method map.
924 // Any vtable entries that need to be updated with new default methods
925 // are stored into the default_translations map. The default_translations
926 // map is keyed on the vtable index that needs to be updated. We use this
927 // map because if we override a default method with another default
928 // method we need to update the vtable to point to the new method.
929 // Unfortunately since we copy the ArtMethod* we cannot just do a simple
930 // scan, we therefore store the vtable index's that might need to be
931 // updated with the method they will turn into.
932 // TODO This whole default_translations thing is very dirty. There should be a better way.
Alex Light9139e002015-10-09 15:59:48 -0700933 bool LinkVirtualMethods(
934 Thread* self,
935 Handle<mirror::Class> klass,
936 /*out*/std::unordered_map<size_t, MethodTranslation>* default_translations)
Mathieu Chartier90443472015-07-16 20:32:27 -0700937 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700938
Alex Lighteb7c1442015-08-31 13:17:42 -0700939 // Sets up the interface lookup table (IFTable) in the correct order to allow searching for
940 // default methods.
941 bool SetupInterfaceLookupTable(Thread* self,
942 Handle<mirror::Class> klass,
943 Handle<mirror::ObjectArray<mirror::Class>> interfaces)
944 SHARED_REQUIRES(Locks::mutator_lock_);
945
Alex Light9139e002015-10-09 15:59:48 -0700946
947 enum class DefaultMethodSearchResult {
948 kDefaultFound,
949 kAbstractFound,
950 kDefaultConflict
951 };
952
Alex Lighteb7c1442015-08-31 13:17:42 -0700953 // Find the default method implementation for 'interface_method' in 'klass', if one exists.
954 //
955 // Arguments:
956 // * self - The current thread.
957 // * target_method - The method we are trying to find a default implementation for.
958 // * klass - The class we are searching for a definition of target_method.
959 // * out_default_method - The pointer we will store the found default method to on success.
Alex Lighteb7c1442015-08-31 13:17:42 -0700960 //
961 // Return value:
Alex Light9139e002015-10-09 15:59:48 -0700962 // * kDefaultFound - There were no conflicting method implementations found in the class while
963 // searching for target_method. The default method implementation is stored into
964 // out_default_method.
965 // * kAbstractFound - There were no conflicting method implementations found in the class while
966 // searching for target_method but no default implementation was found either.
967 // out_default_method is set to null and the method should be considered not
968 // implemented.
969 // * kDefaultConflict - Conflicting method implementations were found when searching for
970 // target_method. The value of *out_default_method is null.
971 DefaultMethodSearchResult FindDefaultMethodImplementation(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000972 Thread* self,
973 ArtMethod* target_method,
974 Handle<mirror::Class> klass,
975 /*out*/ArtMethod** out_default_method) const
Alex Lighteb7c1442015-08-31 13:17:42 -0700976 SHARED_REQUIRES(Locks::mutator_lock_);
977
978 // Sets the imt entries and fixes up the vtable for the given class by linking all the interface
979 // methods. See LinkVirtualMethods for an explanation of what default_translations is.
Alex Light9139e002015-10-09 15:59:48 -0700980 bool LinkInterfaceMethods(
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000981 Thread* self,
982 Handle<mirror::Class> klass,
983 const std::unordered_map<size_t, MethodTranslation>& default_translations,
984 bool* out_new_conflict,
985 ArtMethod** out_imt)
Mathieu Chartier90443472015-07-16 20:32:27 -0700986 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700987
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700988 bool LinkStaticFields(Thread* self, Handle<mirror::Class> klass, size_t* class_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700989 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700990 bool LinkInstanceFields(Thread* self, Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700991 SHARED_REQUIRES(Locks::mutator_lock_);
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700992 bool LinkFields(Thread* self, Handle<mirror::Class> klass, bool is_static, size_t* class_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700993 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700994 void LinkCode(ArtMethod* method,
995 const OatFile::OatClass* oat_class,
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700996 uint32_t class_def_method_index)
Mathieu Chartier90443472015-07-16 20:32:27 -0700997 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700998 void CreateReferenceInstanceOffsets(Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700999 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001000
Mathieu Chartiere401d142015-04-22 13:56:20 -07001001 void CheckProxyConstructor(ArtMethod* constructor) const
Mathieu Chartier90443472015-07-16 20:32:27 -07001002 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001003 void CheckProxyMethod(ArtMethod* method, ArtMethod* prototype) const
Mathieu Chartier90443472015-07-16 20:32:27 -07001004 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001005
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001006 // For use by ImageWriter to find DexCaches for its roots
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001007 ReaderWriterMutex* DexLock()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001008 SHARED_REQUIRES(Locks::mutator_lock_)
1009 LOCK_RETURNED(dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001010 return &dex_lock_;
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001011 }
Mathieu Chartier90443472015-07-16 20:32:27 -07001012 size_t GetDexCacheCount() SHARED_REQUIRES(Locks::mutator_lock_, dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -07001013 return dex_caches_.size();
1014 }
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001015 const std::list<DexCacheData>& GetDexCachesData()
1016 SHARED_REQUIRES(Locks::mutator_lock_, dex_lock_) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -07001017 return dex_caches_;
1018 }
Brian Carlstrom58ae9412011-10-04 00:56:06 -07001019
Mathieu Chartiere401d142015-04-22 13:56:20 -07001020 void CreateProxyConstructor(Handle<mirror::Class> klass, ArtMethod* out)
Mathieu Chartier90443472015-07-16 20:32:27 -07001021 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001022 void CreateProxyMethod(Handle<mirror::Class> klass, ArtMethod* prototype, ArtMethod* out)
Mathieu Chartier90443472015-07-16 20:32:27 -07001023 SHARED_REQUIRES(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -04001024
Igor Murashkindf707e42016-02-02 16:56:50 -08001025 // Ensures that methods have the kAccSkipAccessChecks bit set. We use the
1026 // kAccVerificationAttempted bit on the class access flags to determine whether this has been done
1027 // before.
1028 void EnsureSkipAccessChecksMethods(Handle<mirror::Class> c)
Mathieu Chartier90443472015-07-16 20:32:27 -07001029 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe48498592014-09-10 19:48:05 -07001030
Mathieu Chartier073b16c2015-11-10 14:13:23 -08001031 mirror::Class* LookupClassFromBootImage(const char* descriptor)
Mathieu Chartier90443472015-07-16 20:32:27 -07001032 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001033
Mathieu Chartier5b830502016-03-02 10:30:23 -08001034 // Register a class loader and create its class table and allocator. Should not be called if
1035 // these are already created.
1036 void RegisterClassLoader(mirror::ClassLoader* class_loader)
1037 SHARED_REQUIRES(Locks::mutator_lock_)
1038 REQUIRES(Locks::classlinker_classes_lock_);
1039
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001040 // Returns null if not found.
1041 ClassTable* ClassTableForClassLoader(mirror::ClassLoader* class_loader)
Mathieu Chartier10c5f562016-05-10 18:13:20 -07001042 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier5b830502016-03-02 10:30:23 -08001043
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001044 // Insert a new class table if not found.
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001045 ClassTable* InsertClassTableForClassLoader(mirror::ClassLoader* class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001046 SHARED_REQUIRES(Locks::mutator_lock_)
1047 REQUIRES(Locks::classlinker_classes_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001048
Ian Rogersdbf3be02014-08-29 15:40:08 -07001049 // EnsureResolved is called to make sure that a class in the class_table_ has been resolved
1050 // before returning it to the caller. Its the responsibility of the thread that placed the class
1051 // in the table to make it resolved. The thread doing resolution must notify on the class' lock
1052 // when resolution has occurred. This happens in mirror::Class::SetStatus. As resolution may
1053 // retire a class, the version of the class in the table is returned and this may differ from
1054 // the class passed in.
1055 mirror::Class* EnsureResolved(Thread* self, const char* descriptor, mirror::Class* klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001056 WARN_UNUSED
1057 SHARED_REQUIRES(Locks::mutator_lock_)
1058 REQUIRES(!dex_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001059
1060 void FixupTemporaryDeclaringClass(mirror::Class* temp_class, mirror::Class* new_class)
Mathieu Chartier90443472015-07-16 20:32:27 -07001061 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001062
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001063 void SetClassRoot(ClassRoot class_root, mirror::Class* klass)
Mathieu Chartier90443472015-07-16 20:32:27 -07001064 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001065
1066 // Return the quick generic JNI stub for testing.
1067 const void* GetRuntimeQuickGenericJniStub() const;
1068
Mathieu Chartiere401d142015-04-22 13:56:20 -07001069 bool CanWeInitializeClass(mirror::Class* klass, bool can_init_statics, bool can_init_parents)
Mathieu Chartier90443472015-07-16 20:32:27 -07001070 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001071
Alex Lighte64300b2015-12-15 15:02:47 -08001072 void UpdateClassMethods(mirror::Class* klass,
1073 LengthPrefixedArray<ArtMethod>* new_methods)
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001074 SHARED_REQUIRES(Locks::mutator_lock_)
1075 REQUIRES(!Locks::classlinker_classes_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001076
Mathieu Chartier69731002016-03-02 16:08:31 -08001077 // new_class_set is the set of classes that were read from the class table section in the image.
1078 // If there was no class table section, it is null.
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -08001079 bool UpdateAppImageClassLoadersAndDexCaches(
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001080 gc::space::ImageSpace* space,
1081 Handle<mirror::ClassLoader> class_loader,
1082 Handle<mirror::ObjectArray<mirror::DexCache>> dex_caches,
Mathieu Chartier69731002016-03-02 16:08:31 -08001083 ClassTable::ClassSet* new_class_set,
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -08001084 bool* out_forward_dex_cache_array,
1085 std::string* out_error_msg)
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001086 REQUIRES(!dex_lock_)
1087 SHARED_REQUIRES(Locks::mutator_lock_);
1088
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001089 // Check that c1 == FindSystemClass(self, descriptor). Abort with class dumps otherwise.
1090 void CheckSystemClass(Thread* self, Handle<mirror::Class> c1, const char* descriptor)
1091 REQUIRES(!dex_lock_)
1092 SHARED_REQUIRES(Locks::mutator_lock_);
1093
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001094 // Sets imt_ref appropriately for LinkInterfaceMethods.
1095 // If there is no method in the imt location of imt_ref it will store the given method there.
1096 // Otherwise it will set the conflict method which will figure out which method to use during
1097 // runtime.
1098 void SetIMTRef(ArtMethod* unimplemented_method,
1099 ArtMethod* imt_conflict_method,
1100 ArtMethod* current_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001101 /*out*/bool* new_conflict,
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001102 /*out*/ArtMethod** imt_ref) SHARED_REQUIRES(Locks::mutator_lock_);
1103
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001104 void FillIMTFromIfTable(mirror::IfTable* if_table,
1105 ArtMethod* unimplemented_method,
1106 ArtMethod* imt_conflict_method,
1107 mirror::Class* klass,
1108 bool create_conflict_tables,
1109 bool ignore_copied_methods,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001110 /*out*/bool* new_conflict,
1111 /*out*/ArtMethod** imt) SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001112
1113 void FillImtFromSuperClass(Handle<mirror::Class> klass,
1114 ArtMethod* unimplemented_method,
1115 ArtMethod* imt_conflict_method,
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001116 bool* new_conflict,
Mathieu Chartiere42888f2016-04-14 10:49:19 -07001117 ArtMethod** imt) SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier7f98c9a2016-04-14 10:49:19 -07001118
Brian Carlstrom4a96b602011-07-26 16:40:23 -07001119 std::vector<const DexFile*> boot_class_path_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001120 std::vector<std::unique_ptr<const DexFile>> boot_dex_files_;
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07001121
Ian Rogers1bf8d4d2013-05-30 00:18:49 -07001122 mutable ReaderWriterMutex dex_lock_ DEFAULT_MUTEX_ACQUIRED_AFTER;
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001123 // JNI weak globals and side data to allow dex caches to get unloaded. We lazily delete weak
1124 // globals when we register new dex files.
1125 std::list<DexCacheData> dex_caches_ GUARDED_BY(dex_lock_);
Brian Carlstrom47d237a2011-10-18 15:08:33 -07001126
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -07001127 // This contains the class loaders which have class tables. It is populated by
Mathieu Chartier951ec2c2015-09-22 08:50:05 -07001128 // InsertClassTableForClassLoader.
1129 std::list<ClassLoaderData> class_loaders_
Mathieu Chartier6b069532015-08-05 15:08:12 -07001130 GUARDED_BY(Locks::classlinker_classes_lock_);
1131
1132 // Boot class path table. Since the class loader for this is null.
1133 ClassTable boot_class_table_ GUARDED_BY(Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001134
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001135 // New class roots, only used by CMS since the GC needs to mark these in the pause.
1136 std::vector<GcRoot<mirror::Class>> new_class_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Elliott Hughesf8349362012-06-18 15:00:06 -07001137
Mathieu Chartier073b16c2015-11-10 14:13:23 -08001138 // Do we need to search dex caches to find boot image classes?
1139 bool dex_cache_boot_image_class_lookup_required_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001140 // Number of times we've searched dex caches for a class. After a certain number of misses we move
1141 // the classes into the class_table_ to avoid dex cache based searches.
Ian Rogers68b56852014-08-29 20:19:11 -07001142 Atomic<uint32_t> failed_dex_cache_class_lookups_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001143
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001144 // Well known mirror::Class roots.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001145 GcRoot<mirror::ObjectArray<mirror::Class>> class_roots_;
Brian Carlstrom913af1b2011-07-23 21:41:13 -07001146
Ian Rogers98379392014-02-24 16:53:16 -08001147 // The interface table used by all arrays.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001148 GcRoot<mirror::IfTable> array_iftable_;
Carl Shapiro565f5072011-07-10 13:39:43 -07001149
Ian Rogers98379392014-02-24 16:53:16 -08001150 // A cache of the last FindArrayClass results. The cache serves to avoid creating array class
1151 // descriptors for the sake of performing FindClass.
1152 static constexpr size_t kFindArrayCacheSize = 16;
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001153 GcRoot<mirror::Class> find_array_class_cache_[kFindArrayCacheSize];
Ian Rogers98379392014-02-24 16:53:16 -08001154 size_t find_array_class_cache_next_victim_;
1155
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001156 bool init_done_;
Mathieu Chartier893263b2014-03-04 11:07:42 -08001157 bool log_new_class_table_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001158
Elliott Hughescf4c6c42011-09-01 15:16:42 -07001159 InternTable* intern_table_;
1160
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001161 // Trampolines within the image the bounce to runtime entrypoints. Done so that there is a single
1162 // patch point within the image. TODO: make these proper relocations.
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001163 const void* quick_resolution_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -07001164 const void* quick_imt_conflict_trampoline_;
Andreas Gampe2da88232014-02-27 12:26:20 -08001165 const void* quick_generic_jni_trampoline_;
Vladimir Marko8a630572014-04-09 18:45:35 +01001166 const void* quick_to_interpreter_bridge_trampoline_;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001167
Mathieu Chartier2d721012014-11-10 11:08:06 -08001168 // Image pointer size.
1169 size_t image_pointer_size_;
1170
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001171 friend class ImageDumper; // for DexLock
Brian Carlstrom34f426c2011-10-04 12:58:02 -07001172 friend class ImageWriter; // for GetClassRoots
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001173 friend class JniCompilerTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe5f4a09a2015-09-28 13:16:33 -07001174 friend class JniInternalTest; // for GetRuntimeQuickGenericJniStub
Mathieu Chartier76172162016-01-26 14:54:06 -08001175 ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for DexLock, and RegisterDexFileLocked
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001176 ART_FRIEND_TEST(mirror::DexCacheTest, Open); // for AllocDexCache
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001177 DISALLOW_COPY_AND_ASSIGN(ClassLinker);
1178};
1179
1180} // namespace art
1181
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001182#endif // ART_RUNTIME_CLASS_LINKER_H_