blob: f669aafec1810342055708f2e361f82005e6d5a3 [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
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070056template<class T> class Handle;
Hiroshi Yamauchi679b1cf2015-05-21 12:05:27 -070057template<class T> class MutableHandle;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070058class InternTable;
Mathieu Chartierc528dba2013-11-26 12:00:11 -080059template<class T> class ObjectLock;
Andreas Gampe7ba64962014-10-23 11:37:40 -070060class Runtime;
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -070061class ScopedObjectAccessAlreadyRunnable;
Mathieu Chartier2d2621a2014-10-23 16:48:06 -070062template<size_t kNumReferences> class PACKED(4) StackHandleScope;
Elliott Hughescf4c6c42011-09-01 15:16:42 -070063
Mathieu Chartier893263b2014-03-04 11:07:42 -080064enum VisitRootFlags : uint8_t;
65
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -080066class ClassVisitor {
67 public:
68 virtual ~ClassVisitor() {}
69 // Return true to continue visiting.
70 virtual bool operator()(mirror::Class* klass) = 0;
71};
72
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -070073class ClassLoaderVisitor {
74 public:
75 virtual ~ClassLoaderVisitor() {}
76 virtual void Visit(mirror::ClassLoader* class_loader)
77 SHARED_REQUIRES(Locks::classlinker_classes_lock_, Locks::mutator_lock_) = 0;
78};
79
Carl Shapiro0e5d75d2011-07-06 18:28:37 -070080class ClassLinker {
81 public:
Ian Rogers6f3dbba2014-10-14 17:41:57 -070082 // Well known mirror::Class roots accessed via GetClassRoot.
83 enum ClassRoot {
84 kJavaLangClass,
85 kJavaLangObject,
86 kClassArrayClass,
87 kObjectArrayClass,
88 kJavaLangString,
89 kJavaLangDexCache,
90 kJavaLangRefReference,
Mathieu Chartierfc58af42015-04-16 18:00:39 -070091 kJavaLangReflectConstructor,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -070092 kJavaLangReflectField,
Mathieu Chartierfc58af42015-04-16 18:00:39 -070093 kJavaLangReflectMethod,
Ian Rogers6f3dbba2014-10-14 17:41:57 -070094 kJavaLangReflectProxy,
95 kJavaLangStringArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -070096 kJavaLangReflectConstructorArrayClass,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -070097 kJavaLangReflectFieldArrayClass,
Mathieu Chartierfc58af42015-04-16 18:00:39 -070098 kJavaLangReflectMethodArrayClass,
Ian Rogers6f3dbba2014-10-14 17:41:57 -070099 kJavaLangClassLoader,
100 kJavaLangThrowable,
101 kJavaLangClassNotFoundException,
102 kJavaLangStackTraceElement,
103 kPrimitiveBoolean,
104 kPrimitiveByte,
105 kPrimitiveChar,
106 kPrimitiveDouble,
107 kPrimitiveFloat,
108 kPrimitiveInt,
109 kPrimitiveLong,
110 kPrimitiveShort,
111 kPrimitiveVoid,
112 kBooleanArrayClass,
113 kByteArrayClass,
114 kCharArrayClass,
115 kDoubleArrayClass,
116 kFloatArrayClass,
117 kIntArrayClass,
118 kLongArrayClass,
119 kShortArrayClass,
120 kJavaLangStackTraceElementArrayClass,
121 kClassRootsMax,
122 };
123
Mathieu Chartier590fee92013-09-13 13:46:47 -0700124 explicit ClassLinker(InternTable* intern_table);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700125 ~ClassLinker();
Carl Shapiro565f5072011-07-10 13:39:43 -0700126
Alex Light64ad14d2014-08-19 14:23:13 -0700127 // Initialize class linker by bootstraping from dex files.
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800128 bool InitWithoutImage(std::vector<std::unique_ptr<const DexFile>> boot_class_path,
129 std::string* error_msg)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700130 SHARED_REQUIRES(Locks::mutator_lock_)
131 REQUIRES(!dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700132
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800133 // Initialize class linker from one or more boot images.
134 bool InitFromBootImage(std::string* error_msg)
Andreas Gampe3db9c5d2015-11-17 11:52:46 -0800135 SHARED_REQUIRES(Locks::mutator_lock_)
136 REQUIRES(!dex_lock_);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700137
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800138 // Add an image space to the class linker, may fix up classloader fields and dex cache fields.
139 // The dex files that were newly opened for the space are placed in the out argument
140 // out_dex_files. Returns true if the operation succeeded.
141 // The space must be already added to the heap before calling AddImageSpace since we need to
142 // properly handle read barriers and object marking.
143 bool AddImageSpace(gc::space::ImageSpace* space,
144 Handle<mirror::ClassLoader> class_loader,
145 jobjectArray dex_elements,
146 const char* dex_location,
147 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
148 std::string* error_msg)
149 REQUIRES(!dex_lock_)
150 SHARED_REQUIRES(Locks::mutator_lock_);
151
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800152 bool OpenImageDexFiles(gc::space::ImageSpace* space,
153 std::vector<std::unique_ptr<const DexFile>>* out_dex_files,
154 std::string* error_msg)
155 REQUIRES(!dex_lock_)
156 SHARED_REQUIRES(Locks::mutator_lock_);
157
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700158 // Finds a class by its descriptor, loading it if necessary.
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700159 // If class_loader is null, searches boot_class_path_.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700160 mirror::Class* FindClass(Thread* self,
161 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700162 Handle<mirror::ClassLoader> class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700163 SHARED_REQUIRES(Locks::mutator_lock_)
164 REQUIRES(!dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700165
Andreas Gampef865ea92015-04-13 22:14:19 -0700166 // Finds a class in the path class loader, loading it if necessary without using JNI. Hash
167 // function is supposed to be ComputeModifiedUtf8Hash(descriptor). Returns true if the
168 // class-loader chain could be handled, false otherwise, i.e., a non-supported class-loader
169 // was encountered while walking the parent chain (currently only BootClassLoader and
170 // PathClassLoader are supported).
171 bool FindClassInPathClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700172 Thread* self,
173 const char* descriptor,
174 size_t hash,
Andreas Gampef865ea92015-04-13 22:14:19 -0700175 Handle<mirror::ClassLoader> class_loader,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700176 mirror::Class** result)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700177 SHARED_REQUIRES(Locks::mutator_lock_)
178 REQUIRES(!dex_lock_);
Mathieu Chartierab0ed822014-09-11 14:21:41 -0700179
Ian Rogers98379392014-02-24 16:53:16 -0800180 // Finds a class by its descriptor using the "system" class loader, ie by searching the
181 // boot_class_path_.
182 mirror::Class* FindSystemClass(Thread* self, const char* descriptor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700183 SHARED_REQUIRES(Locks::mutator_lock_)
184 REQUIRES(!dex_lock_);
Ian Rogers98379392014-02-24 16:53:16 -0800185
186 // Finds the array class given for the element class.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700187 mirror::Class* FindArrayClass(Thread* self, mirror::Class** element_class)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700188 SHARED_REQUIRES(Locks::mutator_lock_)
189 REQUIRES(!dex_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700190
Ian Rogers63557452014-06-04 16:57:15 -0700191 // Returns true if the class linker is initialized.
Ian Rogers7b078e82014-09-10 14:44:24 -0700192 bool IsInitialized() const {
193 return init_done_;
194 }
Mathieu Chartier590fee92013-09-13 13:46:47 -0700195
Brian Carlstromaded5f72011-10-07 17:15:04 -0700196 // Define a new a class based on a ClassDef from a DexFile
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700197 mirror::Class* DefineClass(Thread* self,
198 const char* descriptor,
199 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700200 Handle<mirror::ClassLoader> class_loader,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700201 const DexFile& dex_file,
202 const DexFile::ClassDef& dex_class_def)
203 SHARED_REQUIRES(Locks::mutator_lock_)
204 REQUIRES(!dex_lock_);
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700205
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700206 // Finds a class by its descriptor, returning null if it isn't wasn't loaded
Elliott Hughes64bf5a32011-09-20 14:43:12 -0700207 // by the given 'class_loader'.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700208 mirror::Class* LookupClass(Thread* self,
209 const char* descriptor,
210 size_t hash,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700211 mirror::ClassLoader* class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700212 REQUIRES(!Locks::classlinker_classes_lock_)
213 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700214
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800215 // Finds all the classes with the given descriptor, regardless of ClassLoader.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700216 void LookupClasses(const char* descriptor, std::vector<mirror::Class*>& classes)
Mathieu Chartier90443472015-07-16 20:32:27 -0700217 REQUIRES(!Locks::classlinker_classes_lock_)
218 SHARED_REQUIRES(Locks::mutator_lock_);
Elliott Hughes6fa602d2011-12-02 17:54:25 -0800219
Mathieu Chartier90443472015-07-16 20:32:27 -0700220 mirror::Class* FindPrimitiveClass(char type) SHARED_REQUIRES(Locks::mutator_lock_);
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700221
Brian Carlstromae826982011-11-09 01:33:42 -0800222 // General class unloading is not supported, this is used to prune
223 // unwanted classes during image writing.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700224 bool RemoveClass(const char* descriptor, mirror::ClassLoader* class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700225 REQUIRES(!Locks::classlinker_classes_lock_)
226 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstromae826982011-11-09 01:33:42 -0800227
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700228 void DumpAllClasses(int flags)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700229 REQUIRES(!Locks::classlinker_classes_lock_)
230 SHARED_REQUIRES(Locks::mutator_lock_);
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700231
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700232 void DumpForSigQuit(std::ostream& os) REQUIRES(!Locks::classlinker_classes_lock_);
Elliott Hughescac6cc72011-11-03 20:31:21 -0700233
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700234 size_t NumLoadedClasses()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700235 REQUIRES(!Locks::classlinker_classes_lock_)
236 SHARED_REQUIRES(Locks::mutator_lock_);
Elliott Hughese27955c2011-08-26 15:21:24 -0700237
Brian Carlstromb63ec392011-08-27 17:38:27 -0700238 // Resolve a String with the given index from the DexFile, storing the
Brian Carlstromaded5f72011-10-07 17:15:04 -0700239 // result in the DexCache. The referrer is used to identify the
240 // target DexCache and ClassLoader to use for resolution.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700241 mirror::String* ResolveString(uint32_t string_idx, ArtMethod* referrer)
Mathieu Chartier90443472015-07-16 20:32:27 -0700242 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700243
244 // Resolve a String with the given index from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700245 // result in the DexCache.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700246 mirror::String* ResolveString(const DexFile& dex_file, uint32_t string_idx,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700247 Handle<mirror::DexCache> dex_cache)
Mathieu Chartier90443472015-07-16 20:32:27 -0700248 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700249
Vladimir Markocac5a7e2016-02-22 10:39:50 +0000250 // Find a String with the given index from the DexFile, storing the
251 // result in the DexCache if found. Return null if not found.
252 mirror::String* LookupString(const DexFile& dex_file, uint32_t string_idx,
253 Handle<mirror::DexCache> dex_cache)
254 SHARED_REQUIRES(Locks::mutator_lock_);
255
Brian Carlstromb63ec392011-08-27 17:38:27 -0700256 // Resolve a Type with the given index from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700257 // result in the DexCache. The referrer is used to identity the
258 // target DexCache and ClassLoader to use for resolution.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700259 mirror::Class* ResolveType(const DexFile& dex_file, uint16_t type_idx, mirror::Class* referrer)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700260 SHARED_REQUIRES(Locks::mutator_lock_)
261 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700262
Brian Carlstromb63ec392011-08-27 17:38:27 -0700263 // Resolve a Type with the given index from the DexFile, storing the
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700264 // result in the DexCache. The referrer is used to identify the
Brian Carlstromb63ec392011-08-27 17:38:27 -0700265 // target DexCache and ClassLoader to use for resolution.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700266 mirror::Class* ResolveType(uint16_t type_idx, ArtMethod* referrer)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700267 SHARED_REQUIRES(Locks::mutator_lock_)
268 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700269
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700270 mirror::Class* ResolveType(uint16_t type_idx, ArtField* referrer)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700271 SHARED_REQUIRES(Locks::mutator_lock_)
272 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstromb63ec392011-08-27 17:38:27 -0700273
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700274 // Resolve a type with the given ID from the DexFile, storing the
275 // result in DexCache. The ClassLoader is used to search for the
276 // type, since it may be referenced from but not contained within
277 // the given DexFile.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700278 mirror::Class* ResolveType(const DexFile& dex_file,
279 uint16_t type_idx,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700280 Handle<mirror::DexCache> dex_cache,
281 Handle<mirror::ClassLoader> class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700282 SHARED_REQUIRES(Locks::mutator_lock_)
283 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700284
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800285 // Determine whether a dex cache result should be trusted, or an IncompatibleClassChangeError
286 // check should be performed even after a hit.
287 enum ResolveMode { // private.
288 kNoICCECheckForCache,
289 kForceICCECheck
290 };
291
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700292 // Resolve a method with a given ID from the DexFile, storing the
293 // result in DexCache. The ClassLinker and ClassLoader are used as
294 // in ResolveType. What is unique is the method type argument which
295 // is used to determine if this method is a direct, static, or
296 // virtual method.
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800297 template <ResolveMode kResolveMode>
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700298 ArtMethod* ResolveMethod(const DexFile& dex_file,
299 uint32_t method_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700300 Handle<mirror::DexCache> dex_cache,
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700301 Handle<mirror::ClassLoader> class_loader,
302 ArtMethod* referrer,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700303 InvokeType type)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700304 SHARED_REQUIRES(Locks::mutator_lock_)
305 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700306
Mathieu Chartiere401d142015-04-22 13:56:20 -0700307 ArtMethod* GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer)
Mathieu Chartier90443472015-07-16 20:32:27 -0700308 SHARED_REQUIRES(Locks::mutator_lock_);
Alex Lightfedd91d2016-01-07 14:49:16 -0800309
310 // This returns the class referred to by GetMethodId(method_idx).class_idx_. This might be
311 // different then the declaring class of the resolved method due to copied
312 // miranda/default/conflict methods.
Nicolas Geoffray21aa4d42016-04-25 14:58:06 +0100313 mirror::Class* ResolveReferencedClassOfMethod(uint32_t method_idx,
314 Handle<mirror::DexCache> dex_cache,
315 Handle<mirror::ClassLoader> class_loader)
Alex Lightfedd91d2016-01-07 14:49:16 -0800316 SHARED_REQUIRES(Locks::mutator_lock_)
317 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Andreas Gampe42ef8ab2015-12-03 17:27:32 -0800318 template <ResolveMode kResolveMode>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700319 ArtMethod* ResolveMethod(Thread* self, uint32_t method_idx, ArtMethod* referrer, InvokeType type)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700320 SHARED_REQUIRES(Locks::mutator_lock_)
321 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Jeff Hao0042c6d2015-07-29 20:14:10 -0700322 ArtMethod* ResolveMethodWithoutInvokeType(const DexFile& dex_file,
323 uint32_t method_idx,
324 Handle<mirror::DexCache> dex_cache,
325 Handle<mirror::ClassLoader> class_loader)
326 SHARED_REQUIRES(Locks::mutator_lock_)
327 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom16192862011-09-12 17:50:06 -0700328
Mathieu Chartierc7853442015-03-27 14:35:38 -0700329 ArtField* GetResolvedField(uint32_t field_idx, mirror::Class* field_declaring_class)
Mathieu Chartier90443472015-07-16 20:32:27 -0700330 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700331 ArtField* GetResolvedField(uint32_t field_idx, mirror::DexCache* dex_cache)
Mathieu Chartier90443472015-07-16 20:32:27 -0700332 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700333 ArtField* ResolveField(uint32_t field_idx, ArtMethod* referrer, bool is_static)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700334 SHARED_REQUIRES(Locks::mutator_lock_)
335 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstromb9edb842011-08-28 16:31:06 -0700336
Brian Carlstrom16192862011-09-12 17:50:06 -0700337 // Resolve a field with a given ID from the DexFile, storing the
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700338 // result in DexCache. The ClassLinker and ClassLoader are used as
339 // in ResolveType. What is unique is the is_static argument which is
340 // used to determine if we are resolving a static or non-static
341 // field.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700342 ArtField* ResolveField(const DexFile& dex_file, uint32_t field_idx,
Mathieu Chartier90443472015-07-16 20:32:27 -0700343 Handle<mirror::DexCache> dex_cache,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700344 Handle<mirror::ClassLoader> class_loader, bool is_static)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700345 SHARED_REQUIRES(Locks::mutator_lock_)
346 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700347
Ian Rogersb067ac22011-12-13 18:05:09 -0800348 // Resolve a field with a given ID from the DexFile, storing the
349 // result in DexCache. The ClassLinker and ClassLoader are used as
350 // in ResolveType. No is_static argument is provided so that Java
351 // field resolution semantics are followed.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700352 ArtField* ResolveFieldJLS(const DexFile& dex_file,
353 uint32_t field_idx,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700354 Handle<mirror::DexCache> dex_cache,
355 Handle<mirror::ClassLoader> class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700356 SHARED_REQUIRES(Locks::mutator_lock_)
357 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Ian Rogersb067ac22011-12-13 18:05:09 -0800358
Ian Rogersad25ac52011-10-04 19:13:33 -0700359 // Get shorty from method index without resolution. Used to do handlerization.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700360 const char* MethodShorty(uint32_t method_idx, ArtMethod* referrer, uint32_t* length)
Mathieu Chartier90443472015-07-16 20:32:27 -0700361 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersad25ac52011-10-04 19:13:33 -0700362
Elliott Hughesf4c21c92011-08-19 17:31:31 -0700363 // Returns true on success, false if there's an exception pending.
Brian Carlstrom25c33252011-09-18 15:58:35 -0700364 // can_run_clinit=false allows the compiler to attempt to init a class,
365 // given the restriction that no <clinit> execution is possible.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700366 bool EnsureInitialized(Thread* self,
367 Handle<mirror::Class> c,
368 bool can_init_fields,
Ian Rogers7b078e82014-09-10 14:44:24 -0700369 bool can_init_parents)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700370 SHARED_REQUIRES(Locks::mutator_lock_)
371 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700372
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700373 // Initializes classes that have instances in the image but that have
374 // <clinit> methods so they could not be initialized by the compiler.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700375 void RunRootClinits()
376 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700377 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700378
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700379 mirror::DexCache* RegisterDexFile(const DexFile& dex_file, LinearAlloc* linear_alloc)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700380 REQUIRES(!dex_lock_)
381 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700382 void RegisterDexFile(const DexFile& dex_file, Handle<mirror::DexCache> dex_cache)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700383 REQUIRES(!dex_lock_)
384 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700385
Brian Carlstrom8a487412011-08-29 20:08:52 -0700386 const std::vector<const DexFile*>& GetBootClassPath() {
387 return boot_class_path_;
388 }
389
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700390 void VisitClasses(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700391 REQUIRES(!Locks::classlinker_classes_lock_)
392 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -0700393
394 // Less efficient variant of VisitClasses that copies the class_table_ into secondary storage
395 // so that it can visit individual classes without holding the doesn't hold the
396 // Locks::classlinker_classes_lock_. As the Locks::classlinker_classes_lock_ isn't held this code
397 // can race with insertion and deletion of classes while the visitor is being called.
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700398 void VisitClassesWithoutClassesLock(ClassVisitor* visitor)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700399 SHARED_REQUIRES(Locks::mutator_lock_)
400 REQUIRES(!dex_lock_);
Elliott Hughesa2155262011-11-16 16:26:58 -0800401
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700402 void VisitClassRoots(RootVisitor* visitor, VisitRootFlags flags)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700403 REQUIRES(!Locks::classlinker_classes_lock_)
404 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700405 void VisitRoots(RootVisitor* visitor, VisitRootFlags flags)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700406 REQUIRES(!dex_lock_)
407 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700408
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700409 mirror::DexCache* FindDexCache(Thread* self,
410 const DexFile& dex_file,
411 bool allow_failure = false)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700412 REQUIRES(!dex_lock_)
413 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700414 void FixupDexCaches(ArtMethod* resolution_method)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700415 REQUIRES(!dex_lock_)
416 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom1d9f52b2011-10-13 10:50:45 -0700417
Ian Rogersc0542af2014-09-03 16:16:56 -0700418 // Allocate an instance of a java.lang.Object.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700419 mirror::Object* AllocObject(Thread* self)
420 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700421 REQUIRES(!Roles::uninterruptible_);
Ian Rogersc0542af2014-09-03 16:16:56 -0700422
Elliott Hughes418d20f2011-09-22 14:00:39 -0700423 // TODO: replace this with multiple methods that allocate the correct managed type.
Shih-wei Liao44175362011-08-28 16:59:17 -0700424 template <class T>
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800425 mirror::ObjectArray<T>* AllocObjectArray(Thread* self, size_t length)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700426 SHARED_REQUIRES(Locks::mutator_lock_)
427 REQUIRES(!Roles::uninterruptible_);
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700428
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800429 mirror::ObjectArray<mirror::Class>* AllocClassArray(Thread* self, size_t length)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700430 SHARED_REQUIRES(Locks::mutator_lock_)
431 REQUIRES(!Roles::uninterruptible_);
jeffhao98eacac2011-09-14 16:11:53 -0700432
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800433 mirror::ObjectArray<mirror::String>* AllocStringArray(Thread* self, size_t length)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700434 SHARED_REQUIRES(Locks::mutator_lock_)
435 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700436
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700437 LengthPrefixedArray<ArtField>* AllocArtFieldArray(Thread* self,
438 LinearAlloc* allocator,
439 size_t length);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800440
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700441 LengthPrefixedArray<ArtMethod>* AllocArtMethodArray(Thread* self,
442 LinearAlloc* allocator,
443 size_t length);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700444
445 mirror::PointerArray* AllocPointerArray(Thread* self, size_t length)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700446 SHARED_REQUIRES(Locks::mutator_lock_)
447 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800448
449 mirror::IfTable* AllocIfTable(Thread* self, size_t ifcount)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700450 SHARED_REQUIRES(Locks::mutator_lock_)
451 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800452
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700453 mirror::ObjectArray<mirror::StackTraceElement>* AllocStackTraceElementArray(Thread* self,
454 size_t length)
455 SHARED_REQUIRES(Locks::mutator_lock_)
456 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800457
Andreas Gampe7fe30232016-03-25 16:58:00 -0700458 void VerifyClass(Thread* self,
459 Handle<mirror::Class> klass,
460 LogSeverity log_level = LogSeverity::NONE)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700461 SHARED_REQUIRES(Locks::mutator_lock_)
462 REQUIRES(!dex_lock_);
463 bool VerifyClassUsingOatFile(const DexFile& dex_file,
464 mirror::Class* klass,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800465 mirror::Class::Status& oat_file_class_status)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700466 SHARED_REQUIRES(Locks::mutator_lock_)
467 REQUIRES(!dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800468 void ResolveClassExceptionHandlerTypes(Handle<mirror::Class> klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700469 SHARED_REQUIRES(Locks::mutator_lock_)
470 REQUIRES(!dex_lock_);
Alex Light5a559862016-01-29 12:24:48 -0800471 void ResolveMethodExceptionHandlerTypes(ArtMethod* klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700472 SHARED_REQUIRES(Locks::mutator_lock_)
473 REQUIRES(!dex_lock_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800474
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700475 mirror::Class* CreateProxyClass(ScopedObjectAccessAlreadyRunnable& soa,
476 jstring name,
477 jobjectArray interfaces,
478 jobject loader,
479 jobjectArray methods,
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700480 jobjectArray throws)
Mathieu Chartier90443472015-07-16 20:32:27 -0700481 SHARED_REQUIRES(Locks::mutator_lock_);
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000482 std::string GetDescriptorForProxy(mirror::Class* proxy_class)
Mathieu Chartier90443472015-07-16 20:32:27 -0700483 SHARED_REQUIRES(Locks::mutator_lock_);
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700484 ArtMethod* FindMethodForProxy(mirror::Class* proxy_class, ArtMethod* proxy_method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700485 REQUIRES(!dex_lock_)
486 SHARED_REQUIRES(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -0400487
Ian Rogers19846512012-02-24 11:42:47 -0800488 // Get the oat code for a method when its class isn't yet initialized
Mathieu Chartiere401d142015-04-22 13:56:20 -0700489 const void* GetQuickOatCodeFor(ArtMethod* method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700490 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800491
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700492 // Get compiled code for a method, return null if no code
493 // exists. This is unlike Get..OatCodeFor which will return a bridge
494 // or interpreter entrypoint.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700495 const void* GetOatMethodQuickCodeFor(ArtMethod* method)
Mathieu Chartier90443472015-07-16 20:32:27 -0700496 SHARED_REQUIRES(Locks::mutator_lock_);
Hiroshi Yamauchi9bdec882014-08-15 17:11:12 -0700497
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700498 const OatFile::OatMethod FindOatMethodFor(ArtMethod* method, bool* found)
Mathieu Chartier90443472015-07-16 20:32:27 -0700499 SHARED_REQUIRES(Locks::mutator_lock_);
Nicolas Geoffray9523a3e2015-07-17 11:51:28 +0000500
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700501 pid_t GetClassesLockOwner(); // For SignalCatcher.
502 pid_t GetDexLockOwner(); // For SignalCatcher.
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -0700503
Mathieu Chartier90443472015-07-16 20:32:27 -0700504 mirror::Class* GetClassRoot(ClassRoot class_root) SHARED_REQUIRES(Locks::mutator_lock_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700505
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700506 static const char* GetClassRootDescriptor(ClassRoot class_root);
Andreas Gampe2da88232014-02-27 12:26:20 -0800507
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700508 // Is the given entry point quick code to run the resolution stub?
509 bool IsQuickResolutionStub(const void* entry_point) const;
Jeff Hao88474b42013-10-23 16:24:40 -0700510
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700511 // Is the given entry point quick code to bridge into the interpreter?
512 bool IsQuickToInterpreterBridge(const void* entry_point) const;
513
514 // Is the given entry point quick code to run the generic JNI stub?
515 bool IsQuickGenericJniStub(const void* entry_point) const;
Vladimir Marko8a630572014-04-09 18:45:35 +0100516
Jeff Hao88474b42013-10-23 16:24:40 -0700517 InternTable* GetInternTable() const {
518 return intern_table_;
519 }
520
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700521 // Set the entrypoints up for method to the given code.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700522 void SetEntryPointsToCompiledCode(ArtMethod* method, const void* method_code) const
Mathieu Chartier90443472015-07-16 20:32:27 -0700523 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700524
525 // Set the entrypoints up for method to the enter the interpreter.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700526 void SetEntryPointsToInterpreter(ArtMethod* method) const
Mathieu Chartier90443472015-07-16 20:32:27 -0700527 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700528
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700529 // Attempts to insert a class into a class table. Returns null if
Ian Rogers848871b2013-08-05 10:56:33 -0700530 // the class was inserted, otherwise returns an existing class with
531 // the same descriptor and ClassLoader.
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700532 mirror::Class* InsertClass(const char* descriptor, mirror::Class* klass, size_t hash)
Mathieu Chartier90443472015-07-16 20:32:27 -0700533 REQUIRES(!Locks::classlinker_classes_lock_)
534 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers848871b2013-08-05 10:56:33 -0700535
Mathieu Chartier90443472015-07-16 20:32:27 -0700536 mirror::ObjectArray<mirror::Class>* GetClassRoots() SHARED_REQUIRES(Locks::mutator_lock_) {
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -0700537 mirror::ObjectArray<mirror::Class>* class_roots = class_roots_.Read();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700538 DCHECK(class_roots != nullptr);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700539 return class_roots;
540 }
541
Mathieu Chartier073b16c2015-11-10 14:13:23 -0800542 // Move all of the boot image classes into the class table for faster lookups.
543 void AddBootImageClassesToClassTable()
Mathieu Chartier90443472015-07-16 20:32:27 -0700544 REQUIRES(!Locks::classlinker_classes_lock_)
545 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier073b16c2015-11-10 14:13:23 -0800546
547 // Add image classes to the class table.
Jeff Haodcdc85b2015-12-04 14:06:18 -0800548 void AddImageClassesToClassTable(std::vector<gc::space::ImageSpace*> image_spaces,
Mathieu Chartier073b16c2015-11-10 14:13:23 -0800549 mirror::ClassLoader* class_loader)
550 REQUIRES(!Locks::classlinker_classes_lock_)
551 SHARED_REQUIRES(Locks::mutator_lock_);
552
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800553 // Move the class table to the pre-zygote table to reduce memory usage. This works by ensuring
554 // that no more classes are ever added to the pre zygote table which makes it that the pages
555 // always remain shared dirty instead of private dirty.
556 void MoveClassTableToPreZygote()
Mathieu Chartier90443472015-07-16 20:32:27 -0700557 REQUIRES(!Locks::classlinker_classes_lock_)
558 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc2e20622014-11-03 11:41:47 -0800559
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700560 // Creates a GlobalRef PathClassLoader that can be used to load classes from the given dex files.
561 // Note: the objects are not completely set up. Do not use this outside of tests and the compiler.
Jeff Hao5872d7c2016-04-27 11:07:41 -0700562 jobject CreatePathClassLoader(Thread* self, const std::vector<const DexFile*>& dex_files)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700563 SHARED_REQUIRES(Locks::mutator_lock_)
564 REQUIRES(!dex_lock_);
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700565
Mathieu Chartiere401d142015-04-22 13:56:20 -0700566 size_t GetImagePointerSize() const {
567 DCHECK(ValidPointerSize(image_pointer_size_)) << image_pointer_size_;
568 return image_pointer_size_;
569 }
570
571 // Used by image writer for checking.
572 bool ClassInClassTable(mirror::Class* klass)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700573 REQUIRES(Locks::classlinker_classes_lock_)
Mathieu Chartier90443472015-07-16 20:32:27 -0700574 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiera89d7ed2014-12-05 10:57:13 -0800575
Nicolas Geoffray796d6302016-03-13 22:22:31 +0000576 ArtMethod* CreateRuntimeMethod(LinearAlloc* linear_alloc);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700577
Andreas Gampe8ac75952015-06-02 21:01:45 -0700578 // Clear the ArrayClass cache. This is necessary when cleaning up for the image, as the cache
579 // entries are roots, but potentially not image classes.
Mathieu Chartier90443472015-07-16 20:32:27 -0700580 void DropFindArrayClassCache() SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe8ac75952015-06-02 21:01:45 -0700581
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700582 // Clean up class loaders, this needs to happen after JNI weak globals are cleared.
583 void CleanupClassLoaders()
Mathieu Chartier00310e02015-10-17 12:46:42 -0700584 REQUIRES(!Locks::classlinker_classes_lock_)
585 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700586
Mathieu Chartier32cc9ee2015-10-15 09:19:15 -0700587 // Unlike GetOrCreateAllocatorForClassLoader, GetAllocatorForClassLoader asserts that the
588 // allocator for this class loader is already created.
Mathieu Chartier5b830502016-03-02 10:30:23 -0800589 LinearAlloc* GetAllocatorForClassLoader(mirror::ClassLoader* class_loader)
Nicolas Geoffray7de5dfe2015-09-22 09:48:02 +0000590 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700591
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700592 // Return the linear alloc for a class loader if it is already allocated, otherwise allocate and
593 // set it. TODO: Consider using a lock other than classlinker_classes_lock_.
Mathieu Chartier5b830502016-03-02 10:30:23 -0800594 LinearAlloc* GetOrCreateAllocatorForClassLoader(mirror::ClassLoader* class_loader)
Mathieu Chartier00310e02015-10-17 12:46:42 -0700595 REQUIRES(!Locks::classlinker_classes_lock_)
596 SHARED_REQUIRES(Locks::mutator_lock_);
597
Mathieu Chartierf2bf9d62016-04-12 16:54:48 -0700598 // May be called with null class_loader due to legacy code. b/27954959
Mathieu Chartier00310e02015-10-17 12:46:42 -0700599 void InsertDexFileInToClassLoader(mirror::Object* dex_file, mirror::ClassLoader* class_loader)
600 REQUIRES(!Locks::classlinker_classes_lock_)
601 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700602
Tamas Berghammerdd5e5e92016-02-12 16:29:00 +0000603 static bool ShouldUseInterpreterEntrypoint(ArtMethod* method, const void* quick_code)
604 SHARED_REQUIRES(Locks::mutator_lock_);
605
Mathieu Chartierc5dd3192015-12-09 16:38:30 -0800606 std::set<DexCacheResolvedClasses> GetResolvedClasses(bool ignore_boot_classes)
607 REQUIRES(!dex_lock_);
608
609 std::unordered_set<std::string> GetClassDescriptorsForProfileKeys(
610 const std::set<DexCacheResolvedClasses>& classes)
611 REQUIRES(!dex_lock_);
612
Jeff Hao5872d7c2016-04-27 11:07:41 -0700613 static bool IsBootClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
614 mirror::ClassLoader* class_loader)
615 SHARED_REQUIRES(Locks::mutator_lock_);
616
Mathieu Chartier49b5ced2016-04-14 10:49:19 -0700617 ArtMethod* AddMethodToConflictTable(mirror::Class* klass,
618 ArtMethod* conflict_method,
619 ArtMethod* interface_method,
620 ArtMethod* method,
621 bool force_new_conflict_method)
622 SHARED_REQUIRES(Locks::mutator_lock_);
623
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800624 struct DexCacheData {
625 // Weak root to the DexCache. Note: Do not decode this unnecessarily or else class unloading may
626 // not work properly.
627 jweak weak_root;
628 // The following two fields are caches to the DexCache's fields and here to avoid unnecessary
629 // jweak decode that triggers read barriers (and mark them alive unnecessarily and mess with
630 // class unloading.)
631 const DexFile* dex_file;
632 GcRoot<mirror::Class>* resolved_types;
633 };
634
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700635 private:
636 struct ClassLoaderData {
Mathieu Chartierc3fcd412015-09-25 16:54:59 -0700637 jweak weak_root; // Weak root to enable class unloading.
Mathieu Chartier951ec2c2015-09-22 08:50:05 -0700638 ClassTable* class_table;
639 LinearAlloc* allocator;
640 };
641
Alex Lightf1f10492015-10-07 16:08:36 -0700642 // Ensures that the supertype of 'klass' ('supertype') is verified. Returns false and throws
643 // appropriate exceptions if verification failed hard. Returns true for successful verification or
644 // soft-failures.
645 bool AttemptSupertypeVerification(Thread* self,
646 Handle<mirror::Class> klass,
647 Handle<mirror::Class> supertype)
648 REQUIRES(!dex_lock_)
649 SHARED_REQUIRES(Locks::mutator_lock_);
650
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100651 static void DeleteClassLoader(Thread* self, const ClassLoaderData& data)
652 REQUIRES(Locks::classlinker_classes_lock_)
653 SHARED_REQUIRES(Locks::mutator_lock_);
654
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -0700655 void VisitClassLoaders(ClassLoaderVisitor* visitor) const
656 SHARED_REQUIRES(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
657
Mathieu Chartiere0671ce2015-07-28 17:23:28 -0700658 void VisitClassesInternal(ClassVisitor* visitor)
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -0700659 SHARED_REQUIRES(Locks::classlinker_classes_lock_, Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700660
661 // Returns the number of zygote and image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700662 size_t NumZygoteClasses() const
663 REQUIRES(Locks::classlinker_classes_lock_)
664 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700665
666 // Returns the number of non zygote nor image classes.
Mathieu Chartier6b069532015-08-05 15:08:12 -0700667 size_t NumNonZygoteClasses() const
668 REQUIRES(Locks::classlinker_classes_lock_)
669 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700670
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700671 void FinishInit(Thread* self)
Mathieu Chartiera808bac2015-11-05 16:33:15 -0800672 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier4e2cb092015-07-22 16:17:51 -0700673 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma663ea52011-08-19 23:33:41 -0700674
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700675 // For early bootstrapping by Init
Ian Rogers6fac4472014-02-25 17:01:10 -0800676 mirror::Class* AllocClass(Thread* self, mirror::Class* java_lang_Class, uint32_t class_size)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700677 SHARED_REQUIRES(Locks::mutator_lock_)
678 REQUIRES(!Roles::uninterruptible_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700679
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800680 // Alloc* convenience functions to avoid needing to pass in mirror::Class*
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700681 // values that are known to the ClassLinker such as
682 // kObjectArrayClass and kJavaLangString etc.
Ian Rogers6fac4472014-02-25 17:01:10 -0800683 mirror::Class* AllocClass(Thread* self, uint32_t class_size)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700684 SHARED_REQUIRES(Locks::mutator_lock_)
685 REQUIRES(!Roles::uninterruptible_);
Mathieu Chartierd57d4542015-10-14 10:55:30 -0700686 mirror::DexCache* AllocDexCache(Thread* self,
687 const DexFile& dex_file,
688 LinearAlloc* linear_alloc)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700689 SHARED_REQUIRES(Locks::mutator_lock_)
690 REQUIRES(!Roles::uninterruptible_);
Ian Rogersbdb03912011-09-14 00:55:44 -0700691
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800692 mirror::Class* CreatePrimitiveClass(Thread* self, Primitive::Type type)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700693 SHARED_REQUIRES(Locks::mutator_lock_)
694 REQUIRES(!Roles::uninterruptible_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800695 mirror::Class* InitializePrimitiveClass(mirror::Class* primitive_class, Primitive::Type type)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700696 SHARED_REQUIRES(Locks::mutator_lock_)
697 REQUIRES(!Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700698
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700699 mirror::Class* CreateArrayClass(Thread* self,
700 const char* descriptor,
701 size_t hash,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700702 Handle<mirror::ClassLoader> class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700703 SHARED_REQUIRES(Locks::mutator_lock_)
704 REQUIRES(!dex_lock_, !Roles::uninterruptible_);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700705
Ian Rogers7b078e82014-09-10 14:44:24 -0700706 void AppendToBootClassPath(Thread* self, const DexFile& dex_file)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700707 SHARED_REQUIRES(Locks::mutator_lock_)
708 REQUIRES(!dex_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700709 void AppendToBootClassPath(const DexFile& dex_file, Handle<mirror::DexCache> dex_cache)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700710 SHARED_REQUIRES(Locks::mutator_lock_)
711 REQUIRES(!dex_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700712
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700713 // Precomputes size needed for Class, in the case of a non-temporary class this size must be
714 // sufficient to hold all static fields.
715 uint32_t SizeOfClassWithoutEmbeddedTables(const DexFile& dex_file,
716 const DexFile::ClassDef& dex_class_def);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700717
Mathieu Chartierc7853442015-03-27 14:35:38 -0700718 // Setup the classloader, class def index, type idx so that we can insert this class in the class
719 // table.
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700720 void SetupClass(const DexFile& dex_file,
721 const DexFile::ClassDef& dex_class_def,
722 Handle<mirror::Class> klass,
723 mirror::ClassLoader* class_loader)
Mathieu Chartier90443472015-07-16 20:32:27 -0700724 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700725
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700726 void LoadClass(Thread* self,
727 const DexFile& dex_file,
728 const DexFile::ClassDef& dex_class_def,
Mathieu Chartierc7853442015-03-27 14:35:38 -0700729 Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700730 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700731 void LoadClassMembers(Thread* self,
732 const DexFile& dex_file,
733 const uint8_t* class_data,
734 Handle<mirror::Class> klass,
735 const OatFile::OatClass* oat_class)
Mathieu Chartier90443472015-07-16 20:32:27 -0700736 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700737
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700738 void LoadField(const ClassDataItemIterator& it, Handle<mirror::Class> klass, ArtField* dst)
Mathieu Chartier90443472015-07-16 20:32:27 -0700739 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700740
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700741 void LoadMethod(Thread* self,
742 const DexFile& dex_file,
743 const ClassDataItemIterator& it,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700744 Handle<mirror::Class> klass, ArtMethod* dst)
Mathieu Chartier90443472015-07-16 20:32:27 -0700745 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700746
Mathieu Chartier90443472015-07-16 20:32:27 -0700747 void FixupStaticTrampolines(mirror::Class* klass) SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800748
Ian Rogers97b52f82014-08-14 11:34:07 -0700749 // Finds the associated oat class for a dex_file and descriptor. Returns an invalid OatClass on
750 // error and sets found to false.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700751 OatFile::OatClass FindOatClass(const DexFile& dex_file, uint16_t class_def_idx, bool* found)
Mathieu Chartier90443472015-07-16 20:32:27 -0700752 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800753
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700754 void RegisterDexFileLocked(const DexFile& dex_file, Handle<mirror::DexCache> dex_cache)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700755 REQUIRES(dex_lock_)
756 SHARED_REQUIRES(Locks::mutator_lock_);
757 mirror::DexCache* FindDexCacheLocked(Thread* self, const DexFile& dex_file, bool allow_failure)
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700758 REQUIRES(dex_lock_)
759 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstromaded5f72011-10-07 17:15:04 -0700760
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700761 bool InitializeClass(Thread* self,
762 Handle<mirror::Class> klass,
763 bool can_run_clinit,
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800764 bool can_init_parents)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700765 SHARED_REQUIRES(Locks::mutator_lock_)
766 REQUIRES(!dex_lock_);
Alex Lighteb7c1442015-08-31 13:17:42 -0700767 bool InitializeDefaultInterfaceRecursive(Thread* self,
768 Handle<mirror::Class> klass,
769 bool can_run_clinit,
770 bool can_init_parents)
771 REQUIRES(!dex_lock_)
772 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700773 bool WaitForInitializeClass(Handle<mirror::Class> klass,
774 Thread* self,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700775 ObjectLock<mirror::Class>& lock);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700776 bool ValidateSuperClassDescriptors(Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700777 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700778
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700779 bool IsSameDescriptorInDifferentClassContexts(Thread* self,
780 const char* descriptor,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700781 Handle<mirror::ClassLoader> class_loader1,
782 Handle<mirror::ClassLoader> class_loader2)
Mathieu Chartier90443472015-07-16 20:32:27 -0700783 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700784
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700785 bool IsSameMethodSignatureInDifferentClassContexts(Thread* self,
786 ArtMethod* method,
787 mirror::Class* klass1,
788 mirror::Class* klass2)
Mathieu Chartier90443472015-07-16 20:32:27 -0700789 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700790
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700791 bool LinkClass(Thread* self,
792 const char* descriptor,
793 Handle<mirror::Class> klass,
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700794 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700795 MutableHandle<mirror::Class>* h_new_class_out)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700796 SHARED_REQUIRES(Locks::mutator_lock_)
797 REQUIRES(!Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700798
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700799 bool LinkSuperClass(Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700800 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700801
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700802 bool LoadSuperAndInterfaces(Handle<mirror::Class> klass, const DexFile& dex_file)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700803 SHARED_REQUIRES(Locks::mutator_lock_)
804 REQUIRES(!dex_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700805
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -0700806 bool LinkMethods(Thread* self,
807 Handle<mirror::Class> klass,
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700808 Handle<mirror::ObjectArray<mirror::Class>> interfaces,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700809 ArtMethod** out_imt)
Mathieu Chartier90443472015-07-16 20:32:27 -0700810 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700811
Alex Light9139e002015-10-09 15:59:48 -0700812 // Does anything needed to make sure that the compiler will not generate a direct invoke to this
813 // method. Should only be called on non-invokable methods.
814 void EnsureThrowsInvocationError(ArtMethod* method)
815 SHARED_REQUIRES(Locks::mutator_lock_);
816
817 // A wrapper class representing the result of a method translation used for linking methods and
818 // updating superclass default methods. For each method in a classes vtable there are 4 states it
819 // could be in:
820 // 1) No translation is necessary. In this case there is no MethodTranslation object for it. This
821 // is the standard case and is true when the method is not overridable by a default method,
822 // the class defines a concrete implementation of the method, the default method implementation
823 // remains the same, or an abstract method stayed abstract.
824 // 2) The method must be translated to a different default method. We note this with
825 // CreateTranslatedMethod.
826 // 3) The method must be replaced with a conflict method. This happens when a superclass
827 // implements an interface with a default method and this class implements an unrelated
828 // interface that also defines that default method. We note this with CreateConflictingMethod.
829 // 4) The method must be replaced with an abstract miranda method. This happens when a superclass
830 // implements an interface with a default method and this class implements a subinterface of
831 // the superclass's interface which declares the default method abstract. We note this with
832 // CreateAbstractMethod.
833 //
834 // When a method translation is unnecessary (case #1), we don't put it into the
835 // default_translation maps. So an instance of MethodTranslation must be in one of #2-#4.
836 class MethodTranslation {
837 public:
838 // This slot must become a default conflict method.
839 static MethodTranslation CreateConflictingMethod() {
840 return MethodTranslation(Type::kConflict, /*translation*/nullptr);
841 }
842
843 // This slot must become an abstract method.
844 static MethodTranslation CreateAbstractMethod() {
845 return MethodTranslation(Type::kAbstract, /*translation*/nullptr);
846 }
847
848 // Use the given method as the current value for this vtable slot during translation.
849 static MethodTranslation CreateTranslatedMethod(ArtMethod* new_method) {
850 return MethodTranslation(Type::kTranslation, new_method);
851 }
852
853 // Returns true if this is a method that must become a conflict method.
854 bool IsInConflict() const {
855 return type_ == Type::kConflict;
856 }
857
858 // Returns true if this is a method that must become an abstract method.
859 bool IsAbstract() const {
860 return type_ == Type::kAbstract;
861 }
862
863 // Returns true if this is a method that must become a different method.
864 bool IsTranslation() const {
865 return type_ == Type::kTranslation;
866 }
867
868 // Get the translated version of this method.
869 ArtMethod* GetTranslation() const {
870 DCHECK(IsTranslation());
871 DCHECK(translation_ != nullptr);
872 return translation_;
873 }
874
875 private:
876 enum class Type {
877 kTranslation,
878 kConflict,
879 kAbstract,
880 };
881
882 MethodTranslation(Type type, ArtMethod* translation)
883 : translation_(translation), type_(type) {}
884
885 ArtMethod* const translation_;
886 const Type type_;
887 };
888
Alex Lighteb7c1442015-08-31 13:17:42 -0700889 // Links the virtual methods for the given class and records any default methods that will need to
890 // be updated later.
891 //
892 // Arguments:
893 // * self - The current thread.
894 // * klass - class, whose vtable will be filled in.
895 // * default_translations - Vtable index to new method map.
896 // Any vtable entries that need to be updated with new default methods
897 // are stored into the default_translations map. The default_translations
898 // map is keyed on the vtable index that needs to be updated. We use this
899 // map because if we override a default method with another default
900 // method we need to update the vtable to point to the new method.
901 // Unfortunately since we copy the ArtMethod* we cannot just do a simple
902 // scan, we therefore store the vtable index's that might need to be
903 // updated with the method they will turn into.
904 // TODO This whole default_translations thing is very dirty. There should be a better way.
Alex Light9139e002015-10-09 15:59:48 -0700905 bool LinkVirtualMethods(
906 Thread* self,
907 Handle<mirror::Class> klass,
908 /*out*/std::unordered_map<size_t, MethodTranslation>* default_translations)
Mathieu Chartier90443472015-07-16 20:32:27 -0700909 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700910
Alex Lighteb7c1442015-08-31 13:17:42 -0700911 // Sets up the interface lookup table (IFTable) in the correct order to allow searching for
912 // default methods.
913 bool SetupInterfaceLookupTable(Thread* self,
914 Handle<mirror::Class> klass,
915 Handle<mirror::ObjectArray<mirror::Class>> interfaces)
916 SHARED_REQUIRES(Locks::mutator_lock_);
917
Alex Light9139e002015-10-09 15:59:48 -0700918
919 enum class DefaultMethodSearchResult {
920 kDefaultFound,
921 kAbstractFound,
922 kDefaultConflict
923 };
924
Alex Lighteb7c1442015-08-31 13:17:42 -0700925 // Find the default method implementation for 'interface_method' in 'klass', if one exists.
926 //
927 // Arguments:
928 // * self - The current thread.
929 // * target_method - The method we are trying to find a default implementation for.
930 // * klass - The class we are searching for a definition of target_method.
931 // * out_default_method - The pointer we will store the found default method to on success.
Alex Lighteb7c1442015-08-31 13:17:42 -0700932 //
933 // Return value:
Alex Light9139e002015-10-09 15:59:48 -0700934 // * kDefaultFound - There were no conflicting method implementations found in the class while
935 // searching for target_method. The default method implementation is stored into
936 // out_default_method.
937 // * kAbstractFound - There were no conflicting method implementations found in the class while
938 // searching for target_method but no default implementation was found either.
939 // out_default_method is set to null and the method should be considered not
940 // implemented.
941 // * kDefaultConflict - Conflicting method implementations were found when searching for
942 // target_method. The value of *out_default_method is null.
943 DefaultMethodSearchResult FindDefaultMethodImplementation(
944 Thread* self,
945 ArtMethod* target_method,
946 Handle<mirror::Class> klass,
947 /*out*/ArtMethod** out_default_method) const
Alex Lighteb7c1442015-08-31 13:17:42 -0700948 SHARED_REQUIRES(Locks::mutator_lock_);
949
950 // Sets the imt entries and fixes up the vtable for the given class by linking all the interface
951 // methods. See LinkVirtualMethods for an explanation of what default_translations is.
Alex Light9139e002015-10-09 15:59:48 -0700952 bool LinkInterfaceMethods(
953 Thread* self,
954 Handle<mirror::Class> klass,
955 const std::unordered_map<size_t, MethodTranslation>& default_translations,
956 ArtMethod** out_imt)
Mathieu Chartier90443472015-07-16 20:32:27 -0700957 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700958
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700959 bool LinkStaticFields(Thread* self, Handle<mirror::Class> klass, size_t* class_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700960 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700961 bool LinkInstanceFields(Thread* self, Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700962 SHARED_REQUIRES(Locks::mutator_lock_);
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700963 bool LinkFields(Thread* self, Handle<mirror::Class> klass, bool is_static, size_t* class_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700964 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700965 void LinkCode(ArtMethod* method,
966 const OatFile::OatClass* oat_class,
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700967 uint32_t class_def_method_index)
Mathieu Chartier90443472015-07-16 20:32:27 -0700968 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700969 void CreateReferenceInstanceOffsets(Handle<mirror::Class> klass)
Mathieu Chartier90443472015-07-16 20:32:27 -0700970 SHARED_REQUIRES(Locks::mutator_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700971
Mathieu Chartiere401d142015-04-22 13:56:20 -0700972 void CheckProxyConstructor(ArtMethod* constructor) const
Mathieu Chartier90443472015-07-16 20:32:27 -0700973 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700974 void CheckProxyMethod(ArtMethod* method, ArtMethod* prototype) const
Mathieu Chartier90443472015-07-16 20:32:27 -0700975 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700976
Brian Carlstrom58ae9412011-10-04 00:56:06 -0700977 // For use by ImageWriter to find DexCaches for its roots
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -0700978 ReaderWriterMutex* DexLock()
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -0700979 SHARED_REQUIRES(Locks::mutator_lock_)
980 LOCK_RETURNED(dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -0700981 return &dex_lock_;
Brian Carlstrom58ae9412011-10-04 00:56:06 -0700982 }
Mathieu Chartier90443472015-07-16 20:32:27 -0700983 size_t GetDexCacheCount() SHARED_REQUIRES(Locks::mutator_lock_, dex_lock_) {
Hiroshi Yamauchie9e3e692014-06-24 14:31:37 -0700984 return dex_caches_.size();
985 }
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -0800986 const std::list<DexCacheData>& GetDexCachesData()
987 SHARED_REQUIRES(Locks::mutator_lock_, dex_lock_) {
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700988 return dex_caches_;
989 }
Brian Carlstrom58ae9412011-10-04 00:56:06 -0700990
Mathieu Chartiere401d142015-04-22 13:56:20 -0700991 void CreateProxyConstructor(Handle<mirror::Class> klass, ArtMethod* out)
Mathieu Chartier90443472015-07-16 20:32:27 -0700992 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700993 void CreateProxyMethod(Handle<mirror::Class> klass, ArtMethod* prototype, ArtMethod* out)
Mathieu Chartier90443472015-07-16 20:32:27 -0700994 SHARED_REQUIRES(Locks::mutator_lock_);
Jesse Wilson95caa792011-10-12 18:14:17 -0400995
Igor Murashkindf707e42016-02-02 16:56:50 -0800996 // Ensures that methods have the kAccSkipAccessChecks bit set. We use the
997 // kAccVerificationAttempted bit on the class access flags to determine whether this has been done
998 // before.
999 void EnsureSkipAccessChecksMethods(Handle<mirror::Class> c)
Mathieu Chartier90443472015-07-16 20:32:27 -07001000 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe48498592014-09-10 19:48:05 -07001001
Mathieu Chartier073b16c2015-11-10 14:13:23 -08001002 mirror::Class* LookupClassFromBootImage(const char* descriptor)
Mathieu Chartier90443472015-07-16 20:32:27 -07001003 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001004
Mathieu Chartier5b830502016-03-02 10:30:23 -08001005 // Register a class loader and create its class table and allocator. Should not be called if
1006 // these are already created.
1007 void RegisterClassLoader(mirror::ClassLoader* class_loader)
1008 SHARED_REQUIRES(Locks::mutator_lock_)
1009 REQUIRES(Locks::classlinker_classes_lock_);
1010
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001011 // Returns null if not found.
1012 ClassTable* ClassTableForClassLoader(mirror::ClassLoader* class_loader)
1013 SHARED_REQUIRES(Locks::mutator_lock_, Locks::classlinker_classes_lock_);
Mathieu Chartier5b830502016-03-02 10:30:23 -08001014
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001015 // Insert a new class table if not found.
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001016 ClassTable* InsertClassTableForClassLoader(mirror::ClassLoader* class_loader)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001017 SHARED_REQUIRES(Locks::mutator_lock_)
1018 REQUIRES(Locks::classlinker_classes_lock_);
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001019
Ian Rogersdbf3be02014-08-29 15:40:08 -07001020 // EnsureResolved is called to make sure that a class in the class_table_ has been resolved
1021 // before returning it to the caller. Its the responsibility of the thread that placed the class
1022 // in the table to make it resolved. The thread doing resolution must notify on the class' lock
1023 // when resolution has occurred. This happens in mirror::Class::SetStatus. As resolution may
1024 // retire a class, the version of the class in the table is returned and this may differ from
1025 // the class passed in.
1026 mirror::Class* EnsureResolved(Thread* self, const char* descriptor, mirror::Class* klass)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001027 WARN_UNUSED
1028 SHARED_REQUIRES(Locks::mutator_lock_)
1029 REQUIRES(!dex_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001030
1031 void FixupTemporaryDeclaringClass(mirror::Class* temp_class, mirror::Class* new_class)
Mathieu Chartier90443472015-07-16 20:32:27 -07001032 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogersdbf3be02014-08-29 15:40:08 -07001033
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001034 void SetClassRoot(ClassRoot class_root, mirror::Class* klass)
Mathieu Chartier90443472015-07-16 20:32:27 -07001035 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001036
1037 // Return the quick generic JNI stub for testing.
1038 const void* GetRuntimeQuickGenericJniStub() const;
1039
Andreas Gampebfdcdc12015-04-22 18:10:36 -07001040 // Throw the class initialization failure recorded when first trying to initialize the given
1041 // class.
Andreas Gampecb086952015-11-02 16:20:00 -08001042 void ThrowEarlierClassFailure(mirror::Class* c, bool wrap_in_no_class_def = false)
Mathieu Chartierc77f3ab2015-09-03 19:41:50 -07001043 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier90443472015-07-16 20:32:27 -07001044 REQUIRES(!dex_lock_);
Andreas Gampebfdcdc12015-04-22 18:10:36 -07001045
Mathieu Chartiere401d142015-04-22 13:56:20 -07001046 bool CanWeInitializeClass(mirror::Class* klass, bool can_init_statics, bool can_init_parents)
Mathieu Chartier90443472015-07-16 20:32:27 -07001047 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001048
Alex Lighte64300b2015-12-15 15:02:47 -08001049 void UpdateClassMethods(mirror::Class* klass,
1050 LengthPrefixedArray<ArtMethod>* new_methods)
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001051 SHARED_REQUIRES(Locks::mutator_lock_)
1052 REQUIRES(!Locks::classlinker_classes_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001053
Mathieu Chartier69731002016-03-02 16:08:31 -08001054 // new_class_set is the set of classes that were read from the class table section in the image.
1055 // If there was no class table section, it is null.
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -08001056 bool UpdateAppImageClassLoadersAndDexCaches(
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001057 gc::space::ImageSpace* space,
1058 Handle<mirror::ClassLoader> class_loader,
1059 Handle<mirror::ObjectArray<mirror::DexCache>> dex_caches,
Mathieu Chartier69731002016-03-02 16:08:31 -08001060 ClassTable::ClassSet* new_class_set,
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -08001061 bool* out_forward_dex_cache_array,
1062 std::string* out_error_msg)
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001063 REQUIRES(!dex_lock_)
1064 SHARED_REQUIRES(Locks::mutator_lock_);
1065
Andreas Gampe7ba5a672016-02-04 21:45:01 -08001066 // Check that c1 == FindSystemClass(self, descriptor). Abort with class dumps otherwise.
1067 void CheckSystemClass(Thread* self, Handle<mirror::Class> c1, const char* descriptor)
1068 REQUIRES(!dex_lock_)
1069 SHARED_REQUIRES(Locks::mutator_lock_);
1070
Mathieu Chartier49b5ced2016-04-14 10:49:19 -07001071 // Sets imt_ref appropriately for LinkInterfaceMethods.
1072 // If there is no method in the imt location of imt_ref it will store the given method there.
1073 // Otherwise it will set the conflict method which will figure out which method to use during
1074 // runtime.
1075 void SetIMTRef(ArtMethod* unimplemented_method,
1076 ArtMethod* imt_conflict_method,
1077 ArtMethod* current_method,
1078 /*out*/ArtMethod** imt_ref) SHARED_REQUIRES(Locks::mutator_lock_);
1079
1080 void ConstructIMTFromIfTable(mirror::IfTable* if_table,
1081 ArtMethod* unimplemented_method,
1082 ArtMethod* imt_conflict_method,
1083 mirror::Class* klass,
1084 bool create_conflict_tables,
1085 bool ignore_copied_methods,
1086 ArtMethod** out_imt) SHARED_REQUIRES(Locks::mutator_lock_);
1087
1088 void FillImtFromSuperClass(Handle<mirror::Class> klass,
1089 ArtMethod* unimplemented_method,
1090 ArtMethod* imt_conflict_method,
1091 ArtMethod** out_imt) SHARED_REQUIRES(Locks::mutator_lock_);
1092
Brian Carlstrom4a96b602011-07-26 16:40:23 -07001093 std::vector<const DexFile*> boot_class_path_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001094 std::vector<std::unique_ptr<const DexFile>> boot_dex_files_;
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07001095
Ian Rogers1bf8d4d2013-05-30 00:18:49 -07001096 mutable ReaderWriterMutex dex_lock_ DEFAULT_MUTEX_ACQUIRED_AFTER;
Hiroshi Yamauchi04302db2015-11-11 23:45:34 -08001097 // JNI weak globals and side data to allow dex caches to get unloaded. We lazily delete weak
1098 // globals when we register new dex files.
1099 std::list<DexCacheData> dex_caches_ GUARDED_BY(dex_lock_);
Brian Carlstrom47d237a2011-10-18 15:08:33 -07001100
Mathieu Chartier9b1c71e2015-09-02 18:51:54 -07001101 // This contains the class loaders which have class tables. It is populated by
Mathieu Chartier951ec2c2015-09-22 08:50:05 -07001102 // InsertClassTableForClassLoader.
1103 std::list<ClassLoaderData> class_loaders_
Mathieu Chartier6b069532015-08-05 15:08:12 -07001104 GUARDED_BY(Locks::classlinker_classes_lock_);
1105
1106 // Boot class path table. Since the class loader for this is null.
1107 ClassTable boot_class_table_ GUARDED_BY(Locks::classlinker_classes_lock_);
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001108
Mathieu Chartiercc5ebdf2015-07-27 11:19:43 -07001109 // New class roots, only used by CMS since the GC needs to mark these in the pause.
1110 std::vector<GcRoot<mirror::Class>> new_class_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Elliott Hughesf8349362012-06-18 15:00:06 -07001111
Mathieu Chartier073b16c2015-11-10 14:13:23 -08001112 // Do we need to search dex caches to find boot image classes?
1113 bool dex_cache_boot_image_class_lookup_required_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001114 // Number of times we've searched dex caches for a class. After a certain number of misses we move
1115 // the classes into the class_table_ to avoid dex cache based searches.
Ian Rogers68b56852014-08-29 20:19:11 -07001116 Atomic<uint32_t> failed_dex_cache_class_lookups_;
Ian Rogers7dfb28c2013-08-22 08:18:36 -07001117
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001118 // Well known mirror::Class roots.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001119 GcRoot<mirror::ObjectArray<mirror::Class>> class_roots_;
Brian Carlstrom913af1b2011-07-23 21:41:13 -07001120
Ian Rogers98379392014-02-24 16:53:16 -08001121 // The interface table used by all arrays.
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001122 GcRoot<mirror::IfTable> array_iftable_;
Carl Shapiro565f5072011-07-10 13:39:43 -07001123
Ian Rogers98379392014-02-24 16:53:16 -08001124 // A cache of the last FindArrayClass results. The cache serves to avoid creating array class
1125 // descriptors for the sake of performing FindClass.
1126 static constexpr size_t kFindArrayCacheSize = 16;
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -07001127 GcRoot<mirror::Class> find_array_class_cache_[kFindArrayCacheSize];
Ian Rogers98379392014-02-24 16:53:16 -08001128 size_t find_array_class_cache_next_victim_;
1129
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001130 bool init_done_;
Mathieu Chartier893263b2014-03-04 11:07:42 -08001131 bool log_new_class_table_roots_ GUARDED_BY(Locks::classlinker_classes_lock_);
Brian Carlstrom75cb3b42011-07-28 02:13:36 -07001132
Elliott Hughescf4c6c42011-09-01 15:16:42 -07001133 InternTable* intern_table_;
1134
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001135 // Trampolines within the image the bounce to runtime entrypoints. Done so that there is a single
1136 // patch point within the image. TODO: make these proper relocations.
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001137 const void* quick_resolution_trampoline_;
Jeff Hao88474b42013-10-23 16:24:40 -07001138 const void* quick_imt_conflict_trampoline_;
Andreas Gampe2da88232014-02-27 12:26:20 -08001139 const void* quick_generic_jni_trampoline_;
Vladimir Marko8a630572014-04-09 18:45:35 +01001140 const void* quick_to_interpreter_bridge_trampoline_;
Jeff Hao0aba0ba2013-06-03 14:49:28 -07001141
Mathieu Chartier2d721012014-11-10 11:08:06 -08001142 // Image pointer size.
1143 size_t image_pointer_size_;
1144
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001145 friend class ImageDumper; // for DexLock
Brian Carlstrom34f426c2011-10-04 12:58:02 -07001146 friend class ImageWriter; // for GetClassRoots
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001147 friend class JniCompilerTest; // for GetRuntimeQuickGenericJniStub
Andreas Gampe5f4a09a2015-09-28 13:16:33 -07001148 friend class JniInternalTest; // for GetRuntimeQuickGenericJniStub
Mathieu Chartier76172162016-01-26 14:54:06 -08001149 ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for DexLock, and RegisterDexFileLocked
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001150 ART_FRIEND_TEST(mirror::DexCacheTest, Open); // for AllocDexCache
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001151 DISALLOW_COPY_AND_ASSIGN(ClassLinker);
1152};
1153
1154} // namespace art
1155
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001156#endif // ART_RUNTIME_CLASS_LINKER_H_