Elliott Hughes | 418d20f | 2011-09-22 14:00:39 -0700 | [diff] [blame] | 1 | /* |
| 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 Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 16 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 17 | #ifndef ART_RUNTIME_CLASS_LINKER_H_ |
| 18 | #define ART_RUNTIME_CLASS_LINKER_H_ |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 19 | |
Ian Rogers | 6d4d9fc | 2011-11-30 16:24:48 -0800 | [diff] [blame] | 20 | #include <string> |
Alex Light | eb7c144 | 2015-08-31 13:17:42 -0700 | [diff] [blame] | 21 | #include <unordered_map> |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 22 | #include <utility> |
| 23 | #include <vector> |
| 24 | |
Mathieu Chartier | bad0267 | 2014-08-25 13:08:22 -0700 | [diff] [blame] | 25 | #include "base/allocator.h" |
Mathieu Chartier | c2e2062 | 2014-11-03 11:41:47 -0800 | [diff] [blame] | 26 | #include "base/hash_set.h" |
Elliott Hughes | 7616005 | 2012-12-12 16:31:20 -0800 | [diff] [blame] | 27 | #include "base/macros.h" |
Elliott Hughes | 76b6167 | 2012-12-12 17:47:30 -0800 | [diff] [blame] | 28 | #include "base/mutex.h" |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 29 | #include "class_table.h" |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 30 | #include "dex_file.h" |
Hiroshi Yamauchi | 94f7b49 | 2014-07-22 18:08:23 -0700 | [diff] [blame] | 31 | #include "gc_root.h" |
Mathieu Chartier | 590fee9 | 2013-09-13 13:46:47 -0700 | [diff] [blame] | 32 | #include "jni.h" |
Brian Carlstrom | 58ae941 | 2011-10-04 00:56:06 -0700 | [diff] [blame] | 33 | #include "oat_file.h" |
Mathieu Chartier | 83c8ee0 | 2014-01-28 14:50:23 -0800 | [diff] [blame] | 34 | #include "object_callbacks.h" |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 35 | |
| 36 | namespace art { |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 37 | |
Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 38 | namespace gc { |
| 39 | namespace space { |
| 40 | class ImageSpace; |
| 41 | } // namespace space |
| 42 | } // namespace gc |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 43 | namespace mirror { |
Ian Rogers | 33e9566 | 2013-05-20 20:29:14 -0700 | [diff] [blame] | 44 | class ClassLoader; |
| 45 | class DexCache; |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 46 | class DexCachePointerArray; |
Ian Rogers | 33e9566 | 2013-05-20 20:29:14 -0700 | [diff] [blame] | 47 | class DexCacheTest_Open_Test; |
| 48 | class IfTable; |
| 49 | template<class T> class ObjectArray; |
| 50 | class StackTraceElement; |
| 51 | } // namespace mirror |
Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 52 | |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 53 | template<class T> class Handle; |
Hiroshi Yamauchi | 679b1cf | 2015-05-21 12:05:27 -0700 | [diff] [blame] | 54 | template<class T> class MutableHandle; |
Elliott Hughes | cf4c6c4 | 2011-09-01 15:16:42 -0700 | [diff] [blame] | 55 | class InternTable; |
Mathieu Chartier | c528dba | 2013-11-26 12:00:11 -0800 | [diff] [blame] | 56 | template<class T> class ObjectLock; |
Andreas Gampe | 7ba6496 | 2014-10-23 11:37:40 -0700 | [diff] [blame] | 57 | class Runtime; |
Mathieu Chartier | 2b7c4d1 | 2014-05-19 10:52:16 -0700 | [diff] [blame] | 58 | class ScopedObjectAccessAlreadyRunnable; |
Mathieu Chartier | 2d2621a | 2014-10-23 16:48:06 -0700 | [diff] [blame] | 59 | template<size_t kNumReferences> class PACKED(4) StackHandleScope; |
Elliott Hughes | cf4c6c4 | 2011-09-01 15:16:42 -0700 | [diff] [blame] | 60 | |
Mathieu Chartier | 893263b | 2014-03-04 11:07:42 -0800 | [diff] [blame] | 61 | enum VisitRootFlags : uint8_t; |
| 62 | |
Mathieu Chartier | 1aa8ec2 | 2016-02-01 10:34:47 -0800 | [diff] [blame] | 63 | class ClassVisitor { |
| 64 | public: |
| 65 | virtual ~ClassVisitor() {} |
| 66 | // Return true to continue visiting. |
| 67 | virtual bool operator()(mirror::Class* klass) = 0; |
| 68 | }; |
| 69 | |
Mathieu Chartier | 9b1c71e | 2015-09-02 18:51:54 -0700 | [diff] [blame] | 70 | class ClassLoaderVisitor { |
| 71 | public: |
| 72 | virtual ~ClassLoaderVisitor() {} |
| 73 | virtual void Visit(mirror::ClassLoader* class_loader) |
| 74 | SHARED_REQUIRES(Locks::classlinker_classes_lock_, Locks::mutator_lock_) = 0; |
| 75 | }; |
| 76 | |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 77 | class ClassLinker { |
| 78 | public: |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 79 | // Well known mirror::Class roots accessed via GetClassRoot. |
| 80 | enum ClassRoot { |
| 81 | kJavaLangClass, |
| 82 | kJavaLangObject, |
| 83 | kClassArrayClass, |
| 84 | kObjectArrayClass, |
| 85 | kJavaLangString, |
| 86 | kJavaLangDexCache, |
| 87 | kJavaLangRefReference, |
Mathieu Chartier | fc58af4 | 2015-04-16 18:00:39 -0700 | [diff] [blame] | 88 | kJavaLangReflectConstructor, |
Mathieu Chartier | daaf326 | 2015-03-24 13:30:28 -0700 | [diff] [blame] | 89 | kJavaLangReflectField, |
Mathieu Chartier | fc58af4 | 2015-04-16 18:00:39 -0700 | [diff] [blame] | 90 | kJavaLangReflectMethod, |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 91 | kJavaLangReflectProxy, |
| 92 | kJavaLangStringArrayClass, |
Mathieu Chartier | fc58af4 | 2015-04-16 18:00:39 -0700 | [diff] [blame] | 93 | kJavaLangReflectConstructorArrayClass, |
Mathieu Chartier | daaf326 | 2015-03-24 13:30:28 -0700 | [diff] [blame] | 94 | kJavaLangReflectFieldArrayClass, |
Mathieu Chartier | fc58af4 | 2015-04-16 18:00:39 -0700 | [diff] [blame] | 95 | kJavaLangReflectMethodArrayClass, |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 96 | kJavaLangClassLoader, |
| 97 | kJavaLangThrowable, |
| 98 | kJavaLangClassNotFoundException, |
| 99 | kJavaLangStackTraceElement, |
| 100 | kPrimitiveBoolean, |
| 101 | kPrimitiveByte, |
| 102 | kPrimitiveChar, |
| 103 | kPrimitiveDouble, |
| 104 | kPrimitiveFloat, |
| 105 | kPrimitiveInt, |
| 106 | kPrimitiveLong, |
| 107 | kPrimitiveShort, |
| 108 | kPrimitiveVoid, |
| 109 | kBooleanArrayClass, |
| 110 | kByteArrayClass, |
| 111 | kCharArrayClass, |
| 112 | kDoubleArrayClass, |
| 113 | kFloatArrayClass, |
| 114 | kIntArrayClass, |
| 115 | kLongArrayClass, |
| 116 | kShortArrayClass, |
| 117 | kJavaLangStackTraceElementArrayClass, |
| 118 | kClassRootsMax, |
| 119 | }; |
| 120 | |
Mathieu Chartier | 590fee9 | 2013-09-13 13:46:47 -0700 | [diff] [blame] | 121 | explicit ClassLinker(InternTable* intern_table); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 122 | ~ClassLinker(); |
Carl Shapiro | 565f507 | 2011-07-10 13:39:43 -0700 | [diff] [blame] | 123 | |
Alex Light | 64ad14d | 2014-08-19 14:23:13 -0700 | [diff] [blame] | 124 | // Initialize class linker by bootstraping from dex files. |
Andreas Gampe | 3db9c5d | 2015-11-17 11:52:46 -0800 | [diff] [blame] | 125 | bool InitWithoutImage(std::vector<std::unique_ptr<const DexFile>> boot_class_path, |
| 126 | std::string* error_msg) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 127 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 128 | REQUIRES(!dex_lock_); |
Mathieu Chartier | 590fee9 | 2013-09-13 13:46:47 -0700 | [diff] [blame] | 129 | |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 130 | // Initialize class linker from one or more boot images. |
| 131 | bool InitFromBootImage(std::string* error_msg) |
Andreas Gampe | 3db9c5d | 2015-11-17 11:52:46 -0800 | [diff] [blame] | 132 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 133 | REQUIRES(!dex_lock_); |
Mathieu Chartier | 590fee9 | 2013-09-13 13:46:47 -0700 | [diff] [blame] | 134 | |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 135 | // Add an image space to the class linker, may fix up classloader fields and dex cache fields. |
| 136 | // The dex files that were newly opened for the space are placed in the out argument |
| 137 | // out_dex_files. Returns true if the operation succeeded. |
| 138 | // The space must be already added to the heap before calling AddImageSpace since we need to |
| 139 | // properly handle read barriers and object marking. |
| 140 | bool AddImageSpace(gc::space::ImageSpace* space, |
| 141 | Handle<mirror::ClassLoader> class_loader, |
| 142 | jobjectArray dex_elements, |
| 143 | const char* dex_location, |
| 144 | std::vector<std::unique_ptr<const DexFile>>* out_dex_files, |
| 145 | std::string* error_msg) |
| 146 | REQUIRES(!dex_lock_) |
| 147 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 148 | |
Elliott Hughes | 64bf5a3 | 2011-09-20 14:43:12 -0700 | [diff] [blame] | 149 | // Finds a class by its descriptor, loading it if necessary. |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 150 | // If class_loader is null, searches boot_class_path_. |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 151 | mirror::Class* FindClass(Thread* self, |
| 152 | const char* descriptor, |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 153 | Handle<mirror::ClassLoader> class_loader) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 154 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 155 | REQUIRES(!dex_lock_); |
Brian Carlstrom | aded5f7 | 2011-10-07 17:15:04 -0700 | [diff] [blame] | 156 | |
Andreas Gampe | f865ea9 | 2015-04-13 22:14:19 -0700 | [diff] [blame] | 157 | // Finds a class in the path class loader, loading it if necessary without using JNI. Hash |
| 158 | // function is supposed to be ComputeModifiedUtf8Hash(descriptor). Returns true if the |
| 159 | // class-loader chain could be handled, false otherwise, i.e., a non-supported class-loader |
| 160 | // was encountered while walking the parent chain (currently only BootClassLoader and |
| 161 | // PathClassLoader are supported). |
| 162 | bool FindClassInPathClassLoader(ScopedObjectAccessAlreadyRunnable& soa, |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 163 | Thread* self, |
| 164 | const char* descriptor, |
| 165 | size_t hash, |
Andreas Gampe | f865ea9 | 2015-04-13 22:14:19 -0700 | [diff] [blame] | 166 | Handle<mirror::ClassLoader> class_loader, |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 167 | mirror::Class** result) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 168 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 169 | REQUIRES(!dex_lock_); |
Mathieu Chartier | ab0ed82 | 2014-09-11 14:21:41 -0700 | [diff] [blame] | 170 | |
Ian Rogers | 9837939 | 2014-02-24 16:53:16 -0800 | [diff] [blame] | 171 | // Finds a class by its descriptor using the "system" class loader, ie by searching the |
| 172 | // boot_class_path_. |
| 173 | mirror::Class* FindSystemClass(Thread* self, const char* descriptor) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 174 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 175 | REQUIRES(!dex_lock_); |
Ian Rogers | 9837939 | 2014-02-24 16:53:16 -0800 | [diff] [blame] | 176 | |
| 177 | // Finds the array class given for the element class. |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 178 | mirror::Class* FindArrayClass(Thread* self, mirror::Class** element_class) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 179 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 180 | REQUIRES(!dex_lock_); |
Brian Carlstrom | aded5f7 | 2011-10-07 17:15:04 -0700 | [diff] [blame] | 181 | |
Ian Rogers | 6355745 | 2014-06-04 16:57:15 -0700 | [diff] [blame] | 182 | // Returns true if the class linker is initialized. |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 183 | bool IsInitialized() const { |
| 184 | return init_done_; |
| 185 | } |
Mathieu Chartier | 590fee9 | 2013-09-13 13:46:47 -0700 | [diff] [blame] | 186 | |
Brian Carlstrom | aded5f7 | 2011-10-07 17:15:04 -0700 | [diff] [blame] | 187 | // Define a new a class based on a ClassDef from a DexFile |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 188 | mirror::Class* DefineClass(Thread* self, |
| 189 | const char* descriptor, |
| 190 | size_t hash, |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 191 | Handle<mirror::ClassLoader> class_loader, |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 192 | const DexFile& dex_file, |
| 193 | const DexFile::ClassDef& dex_class_def) |
| 194 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 195 | REQUIRES(!dex_lock_); |
Elliott Hughes | 64bf5a3 | 2011-09-20 14:43:12 -0700 | [diff] [blame] | 196 | |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 197 | // Finds a class by its descriptor, returning null if it isn't wasn't loaded |
Elliott Hughes | 64bf5a3 | 2011-09-20 14:43:12 -0700 | [diff] [blame] | 198 | // by the given 'class_loader'. |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 199 | mirror::Class* LookupClass(Thread* self, |
| 200 | const char* descriptor, |
| 201 | size_t hash, |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 202 | mirror::ClassLoader* class_loader) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 203 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 204 | SHARED_REQUIRES(Locks::mutator_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 205 | |
Elliott Hughes | 6fa602d | 2011-12-02 17:54:25 -0800 | [diff] [blame] | 206 | // Finds all the classes with the given descriptor, regardless of ClassLoader. |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 207 | void LookupClasses(const char* descriptor, std::vector<mirror::Class*>& classes) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 208 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 209 | SHARED_REQUIRES(Locks::mutator_lock_); |
Elliott Hughes | 6fa602d | 2011-12-02 17:54:25 -0800 | [diff] [blame] | 210 | |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 211 | mirror::Class* FindPrimitiveClass(char type) SHARED_REQUIRES(Locks::mutator_lock_); |
Elliott Hughes | d8ddfd5 | 2011-08-15 14:32:53 -0700 | [diff] [blame] | 212 | |
Brian Carlstrom | ae82698 | 2011-11-09 01:33:42 -0800 | [diff] [blame] | 213 | // General class unloading is not supported, this is used to prune |
| 214 | // unwanted classes during image writing. |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 215 | bool RemoveClass(const char* descriptor, mirror::ClassLoader* class_loader) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 216 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 217 | SHARED_REQUIRES(Locks::mutator_lock_); |
Brian Carlstrom | ae82698 | 2011-11-09 01:33:42 -0800 | [diff] [blame] | 218 | |
Ian Rogers | 7dfb28c | 2013-08-22 08:18:36 -0700 | [diff] [blame] | 219 | void DumpAllClasses(int flags) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 220 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 221 | SHARED_REQUIRES(Locks::mutator_lock_); |
Elliott Hughes | 9d5ccec | 2011-09-19 13:19:50 -0700 | [diff] [blame] | 222 | |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 223 | void DumpForSigQuit(std::ostream& os) REQUIRES(!Locks::classlinker_classes_lock_); |
Elliott Hughes | cac6cc7 | 2011-11-03 20:31:21 -0700 | [diff] [blame] | 224 | |
Ian Rogers | 7dfb28c | 2013-08-22 08:18:36 -0700 | [diff] [blame] | 225 | size_t NumLoadedClasses() |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 226 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 227 | SHARED_REQUIRES(Locks::mutator_lock_); |
Elliott Hughes | e27955c | 2011-08-26 15:21:24 -0700 | [diff] [blame] | 228 | |
Brian Carlstrom | b63ec39 | 2011-08-27 17:38:27 -0700 | [diff] [blame] | 229 | // Resolve a String with the given index from the DexFile, storing the |
Brian Carlstrom | aded5f7 | 2011-10-07 17:15:04 -0700 | [diff] [blame] | 230 | // result in the DexCache. The referrer is used to identify the |
| 231 | // target DexCache and ClassLoader to use for resolution. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 232 | mirror::String* ResolveString(uint32_t string_idx, ArtMethod* referrer) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 233 | SHARED_REQUIRES(Locks::mutator_lock_); |
Brian Carlstrom | aded5f7 | 2011-10-07 17:15:04 -0700 | [diff] [blame] | 234 | |
| 235 | // Resolve a String with the given index from the DexFile, storing the |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 236 | // result in the DexCache. |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 237 | mirror::String* ResolveString(const DexFile& dex_file, uint32_t string_idx, |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 238 | Handle<mirror::DexCache> dex_cache) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 239 | SHARED_REQUIRES(Locks::mutator_lock_); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 240 | |
Brian Carlstrom | b63ec39 | 2011-08-27 17:38:27 -0700 | [diff] [blame] | 241 | // Resolve a Type with the given index from the DexFile, storing the |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 242 | // result in the DexCache. The referrer is used to identity the |
| 243 | // target DexCache and ClassLoader to use for resolution. |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 244 | mirror::Class* ResolveType(const DexFile& dex_file, uint16_t type_idx, mirror::Class* referrer) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 245 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 246 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 247 | |
Brian Carlstrom | b63ec39 | 2011-08-27 17:38:27 -0700 | [diff] [blame] | 248 | // Resolve a Type with the given index from the DexFile, storing the |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 249 | // result in the DexCache. The referrer is used to identify the |
Brian Carlstrom | b63ec39 | 2011-08-27 17:38:27 -0700 | [diff] [blame] | 250 | // target DexCache and ClassLoader to use for resolution. |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 251 | mirror::Class* ResolveType(uint16_t type_idx, ArtMethod* referrer) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 252 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 253 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 254 | |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 255 | mirror::Class* ResolveType(uint16_t type_idx, ArtField* referrer) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 256 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 257 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Brian Carlstrom | b63ec39 | 2011-08-27 17:38:27 -0700 | [diff] [blame] | 258 | |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 259 | // Resolve a type with the given ID from the DexFile, storing the |
| 260 | // result in DexCache. The ClassLoader is used to search for the |
| 261 | // type, since it may be referenced from but not contained within |
| 262 | // the given DexFile. |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 263 | mirror::Class* ResolveType(const DexFile& dex_file, |
| 264 | uint16_t type_idx, |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 265 | Handle<mirror::DexCache> dex_cache, |
| 266 | Handle<mirror::ClassLoader> class_loader) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 267 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 268 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 269 | |
Andreas Gampe | 42ef8ab | 2015-12-03 17:27:32 -0800 | [diff] [blame] | 270 | // Determine whether a dex cache result should be trusted, or an IncompatibleClassChangeError |
| 271 | // check should be performed even after a hit. |
| 272 | enum ResolveMode { // private. |
| 273 | kNoICCECheckForCache, |
| 274 | kForceICCECheck |
| 275 | }; |
| 276 | |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 277 | // Resolve a method with a given ID from the DexFile, storing the |
| 278 | // result in DexCache. The ClassLinker and ClassLoader are used as |
| 279 | // in ResolveType. What is unique is the method type argument which |
| 280 | // is used to determine if this method is a direct, static, or |
| 281 | // virtual method. |
Andreas Gampe | 42ef8ab | 2015-12-03 17:27:32 -0800 | [diff] [blame] | 282 | template <ResolveMode kResolveMode> |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 283 | ArtMethod* ResolveMethod(const DexFile& dex_file, |
| 284 | uint32_t method_idx, |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 285 | Handle<mirror::DexCache> dex_cache, |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 286 | Handle<mirror::ClassLoader> class_loader, |
| 287 | ArtMethod* referrer, |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 288 | InvokeType type) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 289 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 290 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 291 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 292 | ArtMethod* GetResolvedMethod(uint32_t method_idx, ArtMethod* referrer) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 293 | SHARED_REQUIRES(Locks::mutator_lock_); |
Alex Light | fedd91d | 2016-01-07 14:49:16 -0800 | [diff] [blame] | 294 | |
| 295 | // This returns the class referred to by GetMethodId(method_idx).class_idx_. This might be |
| 296 | // different then the declaring class of the resolved method due to copied |
| 297 | // miranda/default/conflict methods. |
| 298 | mirror::Class* ResolveReferencedClassOfMethod(Thread* self, |
| 299 | uint32_t method_idx, |
| 300 | ArtMethod* referrer) |
| 301 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 302 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Andreas Gampe | 42ef8ab | 2015-12-03 17:27:32 -0800 | [diff] [blame] | 303 | template <ResolveMode kResolveMode> |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 304 | ArtMethod* ResolveMethod(Thread* self, uint32_t method_idx, ArtMethod* referrer, InvokeType type) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 305 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 306 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Jeff Hao | 0042c6d | 2015-07-29 20:14:10 -0700 | [diff] [blame] | 307 | ArtMethod* ResolveMethodWithoutInvokeType(const DexFile& dex_file, |
| 308 | uint32_t method_idx, |
| 309 | Handle<mirror::DexCache> dex_cache, |
| 310 | Handle<mirror::ClassLoader> class_loader) |
| 311 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 312 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Brian Carlstrom | 1619286 | 2011-09-12 17:50:06 -0700 | [diff] [blame] | 313 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 314 | ArtField* GetResolvedField(uint32_t field_idx, mirror::Class* field_declaring_class) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 315 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 316 | ArtField* GetResolvedField(uint32_t field_idx, mirror::DexCache* dex_cache) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 317 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 318 | ArtField* ResolveField(uint32_t field_idx, ArtMethod* referrer, bool is_static) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 319 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 320 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Brian Carlstrom | b9edb84 | 2011-08-28 16:31:06 -0700 | [diff] [blame] | 321 | |
Brian Carlstrom | 1619286 | 2011-09-12 17:50:06 -0700 | [diff] [blame] | 322 | // Resolve a field with a given ID from the DexFile, storing the |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 323 | // result in DexCache. The ClassLinker and ClassLoader are used as |
| 324 | // in ResolveType. What is unique is the is_static argument which is |
| 325 | // used to determine if we are resolving a static or non-static |
| 326 | // field. |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 327 | ArtField* ResolveField(const DexFile& dex_file, uint32_t field_idx, |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 328 | Handle<mirror::DexCache> dex_cache, |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 329 | Handle<mirror::ClassLoader> class_loader, bool is_static) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 330 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 331 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 332 | |
Ian Rogers | b067ac2 | 2011-12-13 18:05:09 -0800 | [diff] [blame] | 333 | // Resolve a field with a given ID from the DexFile, storing the |
| 334 | // result in DexCache. The ClassLinker and ClassLoader are used as |
| 335 | // in ResolveType. No is_static argument is provided so that Java |
| 336 | // field resolution semantics are followed. |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 337 | ArtField* ResolveFieldJLS(const DexFile& dex_file, |
| 338 | uint32_t field_idx, |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 339 | Handle<mirror::DexCache> dex_cache, |
| 340 | Handle<mirror::ClassLoader> class_loader) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 341 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 342 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Ian Rogers | b067ac2 | 2011-12-13 18:05:09 -0800 | [diff] [blame] | 343 | |
Ian Rogers | ad25ac5 | 2011-10-04 19:13:33 -0700 | [diff] [blame] | 344 | // Get shorty from method index without resolution. Used to do handlerization. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 345 | const char* MethodShorty(uint32_t method_idx, ArtMethod* referrer, uint32_t* length) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 346 | SHARED_REQUIRES(Locks::mutator_lock_); |
Ian Rogers | ad25ac5 | 2011-10-04 19:13:33 -0700 | [diff] [blame] | 347 | |
Elliott Hughes | f4c21c9 | 2011-08-19 17:31:31 -0700 | [diff] [blame] | 348 | // Returns true on success, false if there's an exception pending. |
Brian Carlstrom | 25c3325 | 2011-09-18 15:58:35 -0700 | [diff] [blame] | 349 | // can_run_clinit=false allows the compiler to attempt to init a class, |
| 350 | // given the restriction that no <clinit> execution is possible. |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 351 | bool EnsureInitialized(Thread* self, |
| 352 | Handle<mirror::Class> c, |
| 353 | bool can_init_fields, |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 354 | bool can_init_parents) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 355 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 356 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 357 | |
Elliott Hughes | 2a20cfd | 2011-09-23 19:30:41 -0700 | [diff] [blame] | 358 | // Initializes classes that have instances in the image but that have |
| 359 | // <clinit> methods so they could not be initialized by the compiler. |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 360 | void RunRootClinits() |
| 361 | SHARED_REQUIRES(Locks::mutator_lock_) |
Mathieu Chartier | 4e2cb09 | 2015-07-22 16:17:51 -0700 | [diff] [blame] | 362 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Elliott Hughes | 2a20cfd | 2011-09-23 19:30:41 -0700 | [diff] [blame] | 363 | |
Mathieu Chartier | d57d454 | 2015-10-14 10:55:30 -0700 | [diff] [blame] | 364 | mirror::DexCache* RegisterDexFile(const DexFile& dex_file, LinearAlloc* linear_alloc) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 365 | REQUIRES(!dex_lock_) |
| 366 | SHARED_REQUIRES(Locks::mutator_lock_); |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 367 | void RegisterDexFile(const DexFile& dex_file, Handle<mirror::DexCache> dex_cache) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 368 | REQUIRES(!dex_lock_) |
| 369 | SHARED_REQUIRES(Locks::mutator_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 370 | |
Brian Carlstrom | 8a48741 | 2011-08-29 20:08:52 -0700 | [diff] [blame] | 371 | const std::vector<const DexFile*>& GetBootClassPath() { |
| 372 | return boot_class_path_; |
| 373 | } |
| 374 | |
Mathieu Chartier | e0671ce | 2015-07-28 17:23:28 -0700 | [diff] [blame] | 375 | void VisitClasses(ClassVisitor* visitor) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 376 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 377 | SHARED_REQUIRES(Locks::mutator_lock_); |
Ian Rogers | dbf3be0 | 2014-08-29 15:40:08 -0700 | [diff] [blame] | 378 | |
| 379 | // Less efficient variant of VisitClasses that copies the class_table_ into secondary storage |
| 380 | // so that it can visit individual classes without holding the doesn't hold the |
| 381 | // Locks::classlinker_classes_lock_. As the Locks::classlinker_classes_lock_ isn't held this code |
| 382 | // can race with insertion and deletion of classes while the visitor is being called. |
Mathieu Chartier | e0671ce | 2015-07-28 17:23:28 -0700 | [diff] [blame] | 383 | void VisitClassesWithoutClassesLock(ClassVisitor* visitor) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 384 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 385 | REQUIRES(!dex_lock_); |
Elliott Hughes | a215526 | 2011-11-16 16:26:58 -0800 | [diff] [blame] | 386 | |
Mathieu Chartier | bb87e0f | 2015-04-03 11:21:55 -0700 | [diff] [blame] | 387 | void VisitClassRoots(RootVisitor* visitor, VisitRootFlags flags) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 388 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 389 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | bb87e0f | 2015-04-03 11:21:55 -0700 | [diff] [blame] | 390 | void VisitRoots(RootVisitor* visitor, VisitRootFlags flags) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 391 | REQUIRES(!dex_lock_) |
| 392 | SHARED_REQUIRES(Locks::mutator_lock_); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 393 | |
Mathieu Chartier | 673ed3d | 2015-08-28 14:56:43 -0700 | [diff] [blame] | 394 | mirror::DexCache* FindDexCache(Thread* self, |
| 395 | const DexFile& dex_file, |
| 396 | bool allow_failure = false) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 397 | REQUIRES(!dex_lock_) |
| 398 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 399 | void FixupDexCaches(ArtMethod* resolution_method) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 400 | REQUIRES(!dex_lock_) |
| 401 | SHARED_REQUIRES(Locks::mutator_lock_); |
Brian Carlstrom | 1d9f52b | 2011-10-13 10:50:45 -0700 | [diff] [blame] | 402 | |
Ian Rogers | c0542af | 2014-09-03 16:16:56 -0700 | [diff] [blame] | 403 | // Allocate an instance of a java.lang.Object. |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 404 | mirror::Object* AllocObject(Thread* self) |
| 405 | SHARED_REQUIRES(Locks::mutator_lock_) |
Mathieu Chartier | 4e2cb09 | 2015-07-22 16:17:51 -0700 | [diff] [blame] | 406 | REQUIRES(!Roles::uninterruptible_); |
Ian Rogers | c0542af | 2014-09-03 16:16:56 -0700 | [diff] [blame] | 407 | |
Elliott Hughes | 418d20f | 2011-09-22 14:00:39 -0700 | [diff] [blame] | 408 | // TODO: replace this with multiple methods that allocate the correct managed type. |
Shih-wei Liao | 4417536 | 2011-08-28 16:59:17 -0700 | [diff] [blame] | 409 | template <class T> |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 410 | mirror::ObjectArray<T>* AllocObjectArray(Thread* self, size_t length) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 411 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 412 | REQUIRES(!Roles::uninterruptible_); |
Shih-wei Liao | 55df06b | 2011-08-26 14:39:27 -0700 | [diff] [blame] | 413 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 414 | mirror::ObjectArray<mirror::Class>* AllocClassArray(Thread* self, size_t length) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 415 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 416 | REQUIRES(!Roles::uninterruptible_); |
jeffhao | 98eacac | 2011-09-14 16:11:53 -0700 | [diff] [blame] | 417 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 418 | mirror::ObjectArray<mirror::String>* AllocStringArray(Thread* self, size_t length) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 419 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 420 | REQUIRES(!Roles::uninterruptible_); |
Mathieu Chartier | 4e2cb09 | 2015-07-22 16:17:51 -0700 | [diff] [blame] | 421 | |
Mathieu Chartier | 951ec2c | 2015-09-22 08:50:05 -0700 | [diff] [blame] | 422 | LengthPrefixedArray<ArtField>* AllocArtFieldArray(Thread* self, |
| 423 | LinearAlloc* allocator, |
| 424 | size_t length); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 425 | |
Mathieu Chartier | 951ec2c | 2015-09-22 08:50:05 -0700 | [diff] [blame] | 426 | LengthPrefixedArray<ArtMethod>* AllocArtMethodArray(Thread* self, |
| 427 | LinearAlloc* allocator, |
| 428 | size_t length); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 429 | |
| 430 | mirror::PointerArray* AllocPointerArray(Thread* self, size_t length) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 431 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 432 | REQUIRES(!Roles::uninterruptible_); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 433 | |
| 434 | mirror::IfTable* AllocIfTable(Thread* self, size_t ifcount) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 435 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 436 | REQUIRES(!Roles::uninterruptible_); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 437 | |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 438 | mirror::ObjectArray<mirror::StackTraceElement>* AllocStackTraceElementArray(Thread* self, |
| 439 | size_t length) |
| 440 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 441 | REQUIRES(!Roles::uninterruptible_); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 442 | |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 443 | void VerifyClass(Thread* self, Handle<mirror::Class> klass) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 444 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 445 | REQUIRES(!dex_lock_); |
| 446 | bool VerifyClassUsingOatFile(const DexFile& dex_file, |
| 447 | mirror::Class* klass, |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 448 | mirror::Class::Status& oat_file_class_status) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 449 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 450 | REQUIRES(!dex_lock_); |
Alex Light | 5a55986 | 2016-01-29 12:24:48 -0800 | [diff] [blame] | 451 | void ResolveClassExceptionHandlerTypes(Handle<mirror::Class> klass) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 452 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 453 | REQUIRES(!dex_lock_); |
Alex Light | 5a55986 | 2016-01-29 12:24:48 -0800 | [diff] [blame] | 454 | void ResolveMethodExceptionHandlerTypes(ArtMethod* klass) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 455 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 456 | REQUIRES(!dex_lock_); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 457 | |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 458 | mirror::Class* CreateProxyClass(ScopedObjectAccessAlreadyRunnable& soa, |
| 459 | jstring name, |
| 460 | jobjectArray interfaces, |
| 461 | jobject loader, |
| 462 | jobjectArray methods, |
Mathieu Chartier | 2b7c4d1 | 2014-05-19 10:52:16 -0700 | [diff] [blame] | 463 | jobjectArray throws) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 464 | SHARED_REQUIRES(Locks::mutator_lock_); |
Nicolas Geoffray | 3a09092 | 2015-11-24 09:17:30 +0000 | [diff] [blame] | 465 | std::string GetDescriptorForProxy(mirror::Class* proxy_class) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 466 | SHARED_REQUIRES(Locks::mutator_lock_); |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 467 | ArtMethod* FindMethodForProxy(mirror::Class* proxy_class, ArtMethod* proxy_method) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 468 | REQUIRES(!dex_lock_) |
| 469 | SHARED_REQUIRES(Locks::mutator_lock_); |
Jesse Wilson | 95caa79 | 2011-10-12 18:14:17 -0400 | [diff] [blame] | 470 | |
Ian Rogers | 1984651 | 2012-02-24 11:42:47 -0800 | [diff] [blame] | 471 | // Get the oat code for a method when its class isn't yet initialized |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 472 | const void* GetQuickOatCodeFor(ArtMethod* method) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 473 | SHARED_REQUIRES(Locks::mutator_lock_); |
Ian Rogers | 1984651 | 2012-02-24 11:42:47 -0800 | [diff] [blame] | 474 | |
Mathieu Chartier | e35517a | 2012-10-30 18:49:55 -0700 | [diff] [blame] | 475 | // Get the oat code for a method from a method index. |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 476 | const void* GetQuickOatCodeFor(const DexFile& dex_file, |
| 477 | uint16_t class_def_idx, |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 478 | uint32_t method_idx) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 479 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | e35517a | 2012-10-30 18:49:55 -0700 | [diff] [blame] | 480 | |
Hiroshi Yamauchi | 9bdec88 | 2014-08-15 17:11:12 -0700 | [diff] [blame] | 481 | // Get compiled code for a method, return null if no code |
| 482 | // exists. This is unlike Get..OatCodeFor which will return a bridge |
| 483 | // or interpreter entrypoint. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 484 | const void* GetOatMethodQuickCodeFor(ArtMethod* method) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 485 | SHARED_REQUIRES(Locks::mutator_lock_); |
Hiroshi Yamauchi | 9bdec88 | 2014-08-15 17:11:12 -0700 | [diff] [blame] | 486 | |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 487 | const OatFile::OatMethod FindOatMethodFor(ArtMethod* method, bool* found) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 488 | SHARED_REQUIRES(Locks::mutator_lock_); |
Nicolas Geoffray | 9523a3e | 2015-07-17 11:51:28 +0000 | [diff] [blame] | 489 | |
Brian Carlstrom | 7934ac2 | 2013-07-26 10:54:15 -0700 | [diff] [blame] | 490 | pid_t GetClassesLockOwner(); // For SignalCatcher. |
| 491 | pid_t GetDexLockOwner(); // For SignalCatcher. |
Brian Carlstrom | 24a3c2e | 2011-10-17 18:07:52 -0700 | [diff] [blame] | 492 | |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 493 | mirror::Class* GetClassRoot(ClassRoot class_root) SHARED_REQUIRES(Locks::mutator_lock_); |
Jeff Hao | 0aba0ba | 2013-06-03 14:49:28 -0700 | [diff] [blame] | 494 | |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 495 | static const char* GetClassRootDescriptor(ClassRoot class_root); |
Andreas Gampe | 2da8823 | 2014-02-27 12:26:20 -0800 | [diff] [blame] | 496 | |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 497 | // Is the given entry point quick code to run the resolution stub? |
| 498 | bool IsQuickResolutionStub(const void* entry_point) const; |
Jeff Hao | 88474b4 | 2013-10-23 16:24:40 -0700 | [diff] [blame] | 499 | |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 500 | // Is the given entry point quick code to bridge into the interpreter? |
| 501 | bool IsQuickToInterpreterBridge(const void* entry_point) const; |
| 502 | |
| 503 | // Is the given entry point quick code to run the generic JNI stub? |
| 504 | bool IsQuickGenericJniStub(const void* entry_point) const; |
Vladimir Marko | 8a63057 | 2014-04-09 18:45:35 +0100 | [diff] [blame] | 505 | |
Jeff Hao | 88474b4 | 2013-10-23 16:24:40 -0700 | [diff] [blame] | 506 | InternTable* GetInternTable() const { |
| 507 | return intern_table_; |
| 508 | } |
| 509 | |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 510 | // Set the entrypoints up for method to the given code. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 511 | void SetEntryPointsToCompiledCode(ArtMethod* method, const void* method_code) const |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 512 | SHARED_REQUIRES(Locks::mutator_lock_); |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 513 | |
| 514 | // Set the entrypoints up for method to the enter the interpreter. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 515 | void SetEntryPointsToInterpreter(ArtMethod* method) const |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 516 | SHARED_REQUIRES(Locks::mutator_lock_); |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 517 | |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 518 | // Attempts to insert a class into a class table. Returns null if |
Ian Rogers | 848871b | 2013-08-05 10:56:33 -0700 | [diff] [blame] | 519 | // the class was inserted, otherwise returns an existing class with |
| 520 | // the same descriptor and ClassLoader. |
Ian Rogers | 7dfb28c | 2013-08-22 08:18:36 -0700 | [diff] [blame] | 521 | mirror::Class* InsertClass(const char* descriptor, mirror::Class* klass, size_t hash) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 522 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 523 | SHARED_REQUIRES(Locks::mutator_lock_); |
Ian Rogers | 848871b | 2013-08-05 10:56:33 -0700 | [diff] [blame] | 524 | |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 525 | mirror::ObjectArray<mirror::Class>* GetClassRoots() SHARED_REQUIRES(Locks::mutator_lock_) { |
Hiroshi Yamauchi | 94f7b49 | 2014-07-22 18:08:23 -0700 | [diff] [blame] | 526 | mirror::ObjectArray<mirror::Class>* class_roots = class_roots_.Read(); |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 527 | DCHECK(class_roots != nullptr); |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 528 | return class_roots; |
| 529 | } |
| 530 | |
Mathieu Chartier | 073b16c | 2015-11-10 14:13:23 -0800 | [diff] [blame] | 531 | // Move all of the boot image classes into the class table for faster lookups. |
| 532 | void AddBootImageClassesToClassTable() |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 533 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 534 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | 073b16c | 2015-11-10 14:13:23 -0800 | [diff] [blame] | 535 | |
| 536 | // Add image classes to the class table. |
Jeff Hao | dcdc85b | 2015-12-04 14:06:18 -0800 | [diff] [blame] | 537 | void AddImageClassesToClassTable(std::vector<gc::space::ImageSpace*> image_spaces, |
Mathieu Chartier | 073b16c | 2015-11-10 14:13:23 -0800 | [diff] [blame] | 538 | mirror::ClassLoader* class_loader) |
| 539 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 540 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 541 | |
Mathieu Chartier | c2e2062 | 2014-11-03 11:41:47 -0800 | [diff] [blame] | 542 | // Move the class table to the pre-zygote table to reduce memory usage. This works by ensuring |
| 543 | // that no more classes are ever added to the pre zygote table which makes it that the pages |
| 544 | // always remain shared dirty instead of private dirty. |
| 545 | void MoveClassTableToPreZygote() |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 546 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 547 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | c2e2062 | 2014-11-03 11:41:47 -0800 | [diff] [blame] | 548 | |
Sebastien Hertz | 6963e44 | 2014-11-26 22:11:27 +0100 | [diff] [blame] | 549 | // Returns true if the method can be called with its direct code pointer, false otherwise. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 550 | bool MayBeCalledWithDirectCodePointer(ArtMethod* m) |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 551 | SHARED_REQUIRES(Locks::mutator_lock_) REQUIRES(!dex_lock_); |
Sebastien Hertz | 6963e44 | 2014-11-26 22:11:27 +0100 | [diff] [blame] | 552 | |
Andreas Gampe | 81c6f8d | 2015-03-25 17:19:53 -0700 | [diff] [blame] | 553 | // Creates a GlobalRef PathClassLoader that can be used to load classes from the given dex files. |
| 554 | // Note: the objects are not completely set up. Do not use this outside of tests and the compiler. |
Mathieu Chartier | 966878d | 2016-01-14 14:33:29 -0800 | [diff] [blame] | 555 | jobject CreatePathClassLoader(Thread* self, std::vector<const DexFile*>& dex_files) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 556 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 557 | REQUIRES(!dex_lock_); |
Andreas Gampe | 81c6f8d | 2015-03-25 17:19:53 -0700 | [diff] [blame] | 558 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 559 | size_t GetImagePointerSize() const { |
| 560 | DCHECK(ValidPointerSize(image_pointer_size_)) << image_pointer_size_; |
| 561 | return image_pointer_size_; |
| 562 | } |
| 563 | |
| 564 | // Used by image writer for checking. |
| 565 | bool ClassInClassTable(mirror::Class* klass) |
Mathieu Chartier | 673ed3d | 2015-08-28 14:56:43 -0700 | [diff] [blame] | 566 | REQUIRES(Locks::classlinker_classes_lock_) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 567 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | a89d7ed | 2014-12-05 10:57:13 -0800 | [diff] [blame] | 568 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 569 | ArtMethod* CreateRuntimeMethod(); |
| 570 | |
Andreas Gampe | 8ac7595 | 2015-06-02 21:01:45 -0700 | [diff] [blame] | 571 | // Clear the ArrayClass cache. This is necessary when cleaning up for the image, as the cache |
| 572 | // entries are roots, but potentially not image classes. |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 573 | void DropFindArrayClassCache() SHARED_REQUIRES(Locks::mutator_lock_); |
Andreas Gampe | 8ac7595 | 2015-06-02 21:01:45 -0700 | [diff] [blame] | 574 | |
Mathieu Chartier | 951ec2c | 2015-09-22 08:50:05 -0700 | [diff] [blame] | 575 | // Clean up class loaders, this needs to happen after JNI weak globals are cleared. |
| 576 | void CleanupClassLoaders() |
Mathieu Chartier | 00310e0 | 2015-10-17 12:46:42 -0700 | [diff] [blame] | 577 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 578 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | 951ec2c | 2015-09-22 08:50:05 -0700 | [diff] [blame] | 579 | |
Mathieu Chartier | 32cc9ee | 2015-10-15 09:19:15 -0700 | [diff] [blame] | 580 | // Unlike GetOrCreateAllocatorForClassLoader, GetAllocatorForClassLoader asserts that the |
| 581 | // allocator for this class loader is already created. |
Mathieu Chartier | 951ec2c | 2015-09-22 08:50:05 -0700 | [diff] [blame] | 582 | static LinearAlloc* GetAllocatorForClassLoader(mirror::ClassLoader* class_loader) |
Nicolas Geoffray | 7de5dfe | 2015-09-22 09:48:02 +0000 | [diff] [blame] | 583 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | 951ec2c | 2015-09-22 08:50:05 -0700 | [diff] [blame] | 584 | |
Mathieu Chartier | d57d454 | 2015-10-14 10:55:30 -0700 | [diff] [blame] | 585 | // Return the linear alloc for a class loader if it is already allocated, otherwise allocate and |
| 586 | // set it. TODO: Consider using a lock other than classlinker_classes_lock_. |
| 587 | static LinearAlloc* GetOrCreateAllocatorForClassLoader(mirror::ClassLoader* class_loader) |
Mathieu Chartier | 00310e0 | 2015-10-17 12:46:42 -0700 | [diff] [blame] | 588 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 589 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 590 | |
| 591 | void InsertDexFileInToClassLoader(mirror::Object* dex_file, mirror::ClassLoader* class_loader) |
| 592 | REQUIRES(!Locks::classlinker_classes_lock_) |
| 593 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | d57d454 | 2015-10-14 10:55:30 -0700 | [diff] [blame] | 594 | |
Tamas Berghammer | dd5e5e9 | 2016-02-12 16:29:00 +0000 | [diff] [blame] | 595 | static bool ShouldUseInterpreterEntrypoint(ArtMethod* method, const void* quick_code) |
| 596 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 597 | |
Hiroshi Yamauchi | 04302db | 2015-11-11 23:45:34 -0800 | [diff] [blame] | 598 | struct DexCacheData { |
| 599 | // Weak root to the DexCache. Note: Do not decode this unnecessarily or else class unloading may |
| 600 | // not work properly. |
| 601 | jweak weak_root; |
| 602 | // The following two fields are caches to the DexCache's fields and here to avoid unnecessary |
| 603 | // jweak decode that triggers read barriers (and mark them alive unnecessarily and mess with |
| 604 | // class unloading.) |
| 605 | const DexFile* dex_file; |
| 606 | GcRoot<mirror::Class>* resolved_types; |
| 607 | }; |
| 608 | |
Mathieu Chartier | 951ec2c | 2015-09-22 08:50:05 -0700 | [diff] [blame] | 609 | private: |
| 610 | struct ClassLoaderData { |
Mathieu Chartier | c3fcd41 | 2015-09-25 16:54:59 -0700 | [diff] [blame] | 611 | jweak weak_root; // Weak root to enable class unloading. |
Mathieu Chartier | 951ec2c | 2015-09-22 08:50:05 -0700 | [diff] [blame] | 612 | ClassTable* class_table; |
| 613 | LinearAlloc* allocator; |
| 614 | }; |
| 615 | |
Alex Light | f1f1049 | 2015-10-07 16:08:36 -0700 | [diff] [blame] | 616 | // Ensures that the supertype of 'klass' ('supertype') is verified. Returns false and throws |
| 617 | // appropriate exceptions if verification failed hard. Returns true for successful verification or |
| 618 | // soft-failures. |
| 619 | bool AttemptSupertypeVerification(Thread* self, |
| 620 | Handle<mirror::Class> klass, |
| 621 | Handle<mirror::Class> supertype) |
| 622 | REQUIRES(!dex_lock_) |
| 623 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 624 | |
Nicolas Geoffray | 1dad3f6 | 2015-10-23 14:59:54 +0100 | [diff] [blame] | 625 | static void DeleteClassLoader(Thread* self, const ClassLoaderData& data) |
| 626 | REQUIRES(Locks::classlinker_classes_lock_) |
| 627 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 628 | |
Mathieu Chartier | 9b1c71e | 2015-09-02 18:51:54 -0700 | [diff] [blame] | 629 | void VisitClassLoaders(ClassLoaderVisitor* visitor) const |
| 630 | SHARED_REQUIRES(Locks::classlinker_classes_lock_, Locks::mutator_lock_); |
| 631 | |
Mathieu Chartier | e0671ce | 2015-07-28 17:23:28 -0700 | [diff] [blame] | 632 | void VisitClassesInternal(ClassVisitor* visitor) |
Mathieu Chartier | 9b1c71e | 2015-09-02 18:51:54 -0700 | [diff] [blame] | 633 | SHARED_REQUIRES(Locks::classlinker_classes_lock_, Locks::mutator_lock_); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 634 | |
| 635 | // Returns the number of zygote and image classes. |
Mathieu Chartier | 6b06953 | 2015-08-05 15:08:12 -0700 | [diff] [blame] | 636 | size_t NumZygoteClasses() const |
| 637 | REQUIRES(Locks::classlinker_classes_lock_) |
| 638 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 639 | |
| 640 | // Returns the number of non zygote nor image classes. |
Mathieu Chartier | 6b06953 | 2015-08-05 15:08:12 -0700 | [diff] [blame] | 641 | size_t NumNonZygoteClasses() const |
| 642 | REQUIRES(Locks::classlinker_classes_lock_) |
| 643 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 644 | |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 645 | void FinishInit(Thread* self) |
Mathieu Chartier | a808bac | 2015-11-05 16:33:15 -0800 | [diff] [blame] | 646 | SHARED_REQUIRES(Locks::mutator_lock_) |
Mathieu Chartier | 4e2cb09 | 2015-07-22 16:17:51 -0700 | [diff] [blame] | 647 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame] | 648 | |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 649 | // For early bootstrapping by Init |
Ian Rogers | 6fac447 | 2014-02-25 17:01:10 -0800 | [diff] [blame] | 650 | mirror::Class* AllocClass(Thread* self, mirror::Class* java_lang_Class, uint32_t class_size) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 651 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 652 | REQUIRES(!Roles::uninterruptible_); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 653 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 654 | // Alloc* convenience functions to avoid needing to pass in mirror::Class* |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 655 | // values that are known to the ClassLinker such as |
| 656 | // kObjectArrayClass and kJavaLangString etc. |
Ian Rogers | 6fac447 | 2014-02-25 17:01:10 -0800 | [diff] [blame] | 657 | mirror::Class* AllocClass(Thread* self, uint32_t class_size) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 658 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 659 | REQUIRES(!Roles::uninterruptible_); |
Mathieu Chartier | d57d454 | 2015-10-14 10:55:30 -0700 | [diff] [blame] | 660 | mirror::DexCache* AllocDexCache(Thread* self, |
| 661 | const DexFile& dex_file, |
| 662 | LinearAlloc* linear_alloc) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 663 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 664 | REQUIRES(!Roles::uninterruptible_); |
Ian Rogers | bdb0391 | 2011-09-14 00:55:44 -0700 | [diff] [blame] | 665 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 666 | mirror::Class* CreatePrimitiveClass(Thread* self, Primitive::Type type) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 667 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 668 | REQUIRES(!Roles::uninterruptible_); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 669 | mirror::Class* InitializePrimitiveClass(mirror::Class* primitive_class, Primitive::Type type) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 670 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 671 | REQUIRES(!Roles::uninterruptible_); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 672 | |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 673 | mirror::Class* CreateArrayClass(Thread* self, |
| 674 | const char* descriptor, |
| 675 | size_t hash, |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 676 | Handle<mirror::ClassLoader> class_loader) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 677 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 678 | REQUIRES(!dex_lock_, !Roles::uninterruptible_); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 679 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 680 | void AppendToBootClassPath(Thread* self, const DexFile& dex_file) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 681 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 682 | REQUIRES(!dex_lock_); |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 683 | void AppendToBootClassPath(const DexFile& dex_file, Handle<mirror::DexCache> dex_cache) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 684 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 685 | REQUIRES(!dex_lock_); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 686 | |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 687 | // Precomputes size needed for Class, in the case of a non-temporary class this size must be |
| 688 | // sufficient to hold all static fields. |
| 689 | uint32_t SizeOfClassWithoutEmbeddedTables(const DexFile& dex_file, |
| 690 | const DexFile::ClassDef& dex_class_def); |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 691 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 692 | // Setup the classloader, class def index, type idx so that we can insert this class in the class |
| 693 | // table. |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 694 | void SetupClass(const DexFile& dex_file, |
| 695 | const DexFile::ClassDef& dex_class_def, |
| 696 | Handle<mirror::Class> klass, |
| 697 | mirror::ClassLoader* class_loader) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 698 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 699 | |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 700 | void LoadClass(Thread* self, |
| 701 | const DexFile& dex_file, |
| 702 | const DexFile::ClassDef& dex_class_def, |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 703 | Handle<mirror::Class> klass) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 704 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 705 | void LoadClassMembers(Thread* self, |
| 706 | const DexFile& dex_file, |
| 707 | const uint8_t* class_data, |
| 708 | Handle<mirror::Class> klass, |
| 709 | const OatFile::OatClass* oat_class) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 710 | SHARED_REQUIRES(Locks::mutator_lock_); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 711 | |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 712 | void LoadField(const ClassDataItemIterator& it, Handle<mirror::Class> klass, ArtField* dst) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 713 | SHARED_REQUIRES(Locks::mutator_lock_); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 714 | |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 715 | void LoadMethod(Thread* self, |
| 716 | const DexFile& dex_file, |
| 717 | const ClassDataItemIterator& it, |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 718 | Handle<mirror::Class> klass, ArtMethod* dst) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 719 | SHARED_REQUIRES(Locks::mutator_lock_); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 720 | |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 721 | void FixupStaticTrampolines(mirror::Class* klass) SHARED_REQUIRES(Locks::mutator_lock_); |
Ian Rogers | 1984651 | 2012-02-24 11:42:47 -0800 | [diff] [blame] | 722 | |
Ian Rogers | 97b52f8 | 2014-08-14 11:34:07 -0700 | [diff] [blame] | 723 | // Finds the associated oat class for a dex_file and descriptor. Returns an invalid OatClass on |
| 724 | // error and sets found to false. |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 725 | OatFile::OatClass FindOatClass(const DexFile& dex_file, uint16_t class_def_idx, bool* found) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 726 | SHARED_REQUIRES(Locks::mutator_lock_); |
Ian Rogers | 1984651 | 2012-02-24 11:42:47 -0800 | [diff] [blame] | 727 | |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 728 | void RegisterDexFileLocked(const DexFile& dex_file, Handle<mirror::DexCache> dex_cache) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 729 | REQUIRES(dex_lock_) |
| 730 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 731 | mirror::DexCache* FindDexCacheLocked(Thread* self, const DexFile& dex_file, bool allow_failure) |
Mathieu Chartier | 673ed3d | 2015-08-28 14:56:43 -0700 | [diff] [blame] | 732 | REQUIRES(dex_lock_) |
| 733 | SHARED_REQUIRES(Locks::mutator_lock_); |
Brian Carlstrom | aded5f7 | 2011-10-07 17:15:04 -0700 | [diff] [blame] | 734 | |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 735 | bool InitializeClass(Thread* self, |
| 736 | Handle<mirror::Class> klass, |
| 737 | bool can_run_clinit, |
Mathieu Chartier | c528dba | 2013-11-26 12:00:11 -0800 | [diff] [blame] | 738 | bool can_init_parents) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 739 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 740 | REQUIRES(!dex_lock_); |
Alex Light | eb7c144 | 2015-08-31 13:17:42 -0700 | [diff] [blame] | 741 | bool InitializeDefaultInterfaceRecursive(Thread* self, |
| 742 | Handle<mirror::Class> klass, |
| 743 | bool can_run_clinit, |
| 744 | bool can_init_parents) |
| 745 | REQUIRES(!dex_lock_) |
| 746 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 747 | bool WaitForInitializeClass(Handle<mirror::Class> klass, |
| 748 | Thread* self, |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 749 | ObjectLock<mirror::Class>& lock); |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 750 | bool ValidateSuperClassDescriptors(Handle<mirror::Class> klass) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 751 | SHARED_REQUIRES(Locks::mutator_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 752 | |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 753 | bool IsSameDescriptorInDifferentClassContexts(Thread* self, |
| 754 | const char* descriptor, |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 755 | Handle<mirror::ClassLoader> class_loader1, |
| 756 | Handle<mirror::ClassLoader> class_loader2) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 757 | SHARED_REQUIRES(Locks::mutator_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 758 | |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 759 | bool IsSameMethodSignatureInDifferentClassContexts(Thread* self, |
| 760 | ArtMethod* method, |
| 761 | mirror::Class* klass1, |
| 762 | mirror::Class* klass2) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 763 | SHARED_REQUIRES(Locks::mutator_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 764 | |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 765 | bool LinkClass(Thread* self, |
| 766 | const char* descriptor, |
| 767 | Handle<mirror::Class> klass, |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 768 | Handle<mirror::ObjectArray<mirror::Class>> interfaces, |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 769 | MutableHandle<mirror::Class>* h_new_class_out) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 770 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 771 | REQUIRES(!Locks::classlinker_classes_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 772 | |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 773 | bool LinkSuperClass(Handle<mirror::Class> klass) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 774 | SHARED_REQUIRES(Locks::mutator_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 775 | |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 776 | bool LoadSuperAndInterfaces(Handle<mirror::Class> klass, const DexFile& dex_file) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 777 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 778 | REQUIRES(!dex_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 779 | |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 780 | bool LinkMethods(Thread* self, |
| 781 | Handle<mirror::Class> klass, |
Mathieu Chartier | 2d2621a | 2014-10-23 16:48:06 -0700 | [diff] [blame] | 782 | Handle<mirror::ObjectArray<mirror::Class>> interfaces, |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 783 | ArtMethod** out_imt) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 784 | SHARED_REQUIRES(Locks::mutator_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 785 | |
Alex Light | 9139e00 | 2015-10-09 15:59:48 -0700 | [diff] [blame] | 786 | // Does anything needed to make sure that the compiler will not generate a direct invoke to this |
| 787 | // method. Should only be called on non-invokable methods. |
| 788 | void EnsureThrowsInvocationError(ArtMethod* method) |
| 789 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 790 | |
| 791 | // A wrapper class representing the result of a method translation used for linking methods and |
| 792 | // updating superclass default methods. For each method in a classes vtable there are 4 states it |
| 793 | // could be in: |
| 794 | // 1) No translation is necessary. In this case there is no MethodTranslation object for it. This |
| 795 | // is the standard case and is true when the method is not overridable by a default method, |
| 796 | // the class defines a concrete implementation of the method, the default method implementation |
| 797 | // remains the same, or an abstract method stayed abstract. |
| 798 | // 2) The method must be translated to a different default method. We note this with |
| 799 | // CreateTranslatedMethod. |
| 800 | // 3) The method must be replaced with a conflict method. This happens when a superclass |
| 801 | // implements an interface with a default method and this class implements an unrelated |
| 802 | // interface that also defines that default method. We note this with CreateConflictingMethod. |
| 803 | // 4) The method must be replaced with an abstract miranda method. This happens when a superclass |
| 804 | // implements an interface with a default method and this class implements a subinterface of |
| 805 | // the superclass's interface which declares the default method abstract. We note this with |
| 806 | // CreateAbstractMethod. |
| 807 | // |
| 808 | // When a method translation is unnecessary (case #1), we don't put it into the |
| 809 | // default_translation maps. So an instance of MethodTranslation must be in one of #2-#4. |
| 810 | class MethodTranslation { |
| 811 | public: |
| 812 | // This slot must become a default conflict method. |
| 813 | static MethodTranslation CreateConflictingMethod() { |
| 814 | return MethodTranslation(Type::kConflict, /*translation*/nullptr); |
| 815 | } |
| 816 | |
| 817 | // This slot must become an abstract method. |
| 818 | static MethodTranslation CreateAbstractMethod() { |
| 819 | return MethodTranslation(Type::kAbstract, /*translation*/nullptr); |
| 820 | } |
| 821 | |
| 822 | // Use the given method as the current value for this vtable slot during translation. |
| 823 | static MethodTranslation CreateTranslatedMethod(ArtMethod* new_method) { |
| 824 | return MethodTranslation(Type::kTranslation, new_method); |
| 825 | } |
| 826 | |
| 827 | // Returns true if this is a method that must become a conflict method. |
| 828 | bool IsInConflict() const { |
| 829 | return type_ == Type::kConflict; |
| 830 | } |
| 831 | |
| 832 | // Returns true if this is a method that must become an abstract method. |
| 833 | bool IsAbstract() const { |
| 834 | return type_ == Type::kAbstract; |
| 835 | } |
| 836 | |
| 837 | // Returns true if this is a method that must become a different method. |
| 838 | bool IsTranslation() const { |
| 839 | return type_ == Type::kTranslation; |
| 840 | } |
| 841 | |
| 842 | // Get the translated version of this method. |
| 843 | ArtMethod* GetTranslation() const { |
| 844 | DCHECK(IsTranslation()); |
| 845 | DCHECK(translation_ != nullptr); |
| 846 | return translation_; |
| 847 | } |
| 848 | |
| 849 | private: |
| 850 | enum class Type { |
| 851 | kTranslation, |
| 852 | kConflict, |
| 853 | kAbstract, |
| 854 | }; |
| 855 | |
| 856 | MethodTranslation(Type type, ArtMethod* translation) |
| 857 | : translation_(translation), type_(type) {} |
| 858 | |
| 859 | ArtMethod* const translation_; |
| 860 | const Type type_; |
| 861 | }; |
| 862 | |
Alex Light | eb7c144 | 2015-08-31 13:17:42 -0700 | [diff] [blame] | 863 | // Links the virtual methods for the given class and records any default methods that will need to |
| 864 | // be updated later. |
| 865 | // |
| 866 | // Arguments: |
| 867 | // * self - The current thread. |
| 868 | // * klass - class, whose vtable will be filled in. |
| 869 | // * default_translations - Vtable index to new method map. |
| 870 | // Any vtable entries that need to be updated with new default methods |
| 871 | // are stored into the default_translations map. The default_translations |
| 872 | // map is keyed on the vtable index that needs to be updated. We use this |
| 873 | // map because if we override a default method with another default |
| 874 | // method we need to update the vtable to point to the new method. |
| 875 | // Unfortunately since we copy the ArtMethod* we cannot just do a simple |
| 876 | // scan, we therefore store the vtable index's that might need to be |
| 877 | // updated with the method they will turn into. |
| 878 | // TODO This whole default_translations thing is very dirty. There should be a better way. |
Alex Light | 9139e00 | 2015-10-09 15:59:48 -0700 | [diff] [blame] | 879 | bool LinkVirtualMethods( |
| 880 | Thread* self, |
| 881 | Handle<mirror::Class> klass, |
| 882 | /*out*/std::unordered_map<size_t, MethodTranslation>* default_translations) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 883 | SHARED_REQUIRES(Locks::mutator_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 884 | |
Alex Light | eb7c144 | 2015-08-31 13:17:42 -0700 | [diff] [blame] | 885 | // Sets up the interface lookup table (IFTable) in the correct order to allow searching for |
| 886 | // default methods. |
| 887 | bool SetupInterfaceLookupTable(Thread* self, |
| 888 | Handle<mirror::Class> klass, |
| 889 | Handle<mirror::ObjectArray<mirror::Class>> interfaces) |
| 890 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 891 | |
Alex Light | 9139e00 | 2015-10-09 15:59:48 -0700 | [diff] [blame] | 892 | |
| 893 | enum class DefaultMethodSearchResult { |
| 894 | kDefaultFound, |
| 895 | kAbstractFound, |
| 896 | kDefaultConflict |
| 897 | }; |
| 898 | |
Alex Light | eb7c144 | 2015-08-31 13:17:42 -0700 | [diff] [blame] | 899 | // Find the default method implementation for 'interface_method' in 'klass', if one exists. |
| 900 | // |
| 901 | // Arguments: |
| 902 | // * self - The current thread. |
| 903 | // * target_method - The method we are trying to find a default implementation for. |
| 904 | // * klass - The class we are searching for a definition of target_method. |
| 905 | // * out_default_method - The pointer we will store the found default method to on success. |
Alex Light | eb7c144 | 2015-08-31 13:17:42 -0700 | [diff] [blame] | 906 | // |
| 907 | // Return value: |
Alex Light | 9139e00 | 2015-10-09 15:59:48 -0700 | [diff] [blame] | 908 | // * kDefaultFound - There were no conflicting method implementations found in the class while |
| 909 | // searching for target_method. The default method implementation is stored into |
| 910 | // out_default_method. |
| 911 | // * kAbstractFound - There were no conflicting method implementations found in the class while |
| 912 | // searching for target_method but no default implementation was found either. |
| 913 | // out_default_method is set to null and the method should be considered not |
| 914 | // implemented. |
| 915 | // * kDefaultConflict - Conflicting method implementations were found when searching for |
| 916 | // target_method. The value of *out_default_method is null. |
| 917 | DefaultMethodSearchResult FindDefaultMethodImplementation( |
| 918 | Thread* self, |
| 919 | ArtMethod* target_method, |
| 920 | Handle<mirror::Class> klass, |
| 921 | /*out*/ArtMethod** out_default_method) const |
Alex Light | eb7c144 | 2015-08-31 13:17:42 -0700 | [diff] [blame] | 922 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 923 | |
| 924 | // Sets the imt entries and fixes up the vtable for the given class by linking all the interface |
| 925 | // methods. See LinkVirtualMethods for an explanation of what default_translations is. |
Alex Light | 9139e00 | 2015-10-09 15:59:48 -0700 | [diff] [blame] | 926 | bool LinkInterfaceMethods( |
| 927 | Thread* self, |
| 928 | Handle<mirror::Class> klass, |
| 929 | const std::unordered_map<size_t, MethodTranslation>& default_translations, |
| 930 | ArtMethod** out_imt) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 931 | SHARED_REQUIRES(Locks::mutator_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 932 | |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 933 | bool LinkStaticFields(Thread* self, Handle<mirror::Class> klass, size_t* class_size) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 934 | SHARED_REQUIRES(Locks::mutator_lock_); |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 935 | bool LinkInstanceFields(Thread* self, Handle<mirror::Class> klass) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 936 | SHARED_REQUIRES(Locks::mutator_lock_); |
Igor Murashkin | b1d8c31 | 2015-08-04 11:18:43 -0700 | [diff] [blame] | 937 | bool LinkFields(Thread* self, Handle<mirror::Class> klass, bool is_static, size_t* class_size) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 938 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 939 | void LinkCode(ArtMethod* method, |
| 940 | const OatFile::OatClass* oat_class, |
Ian Rogers | 6a3c1fc | 2014-10-31 00:33:20 -0700 | [diff] [blame] | 941 | uint32_t class_def_method_index) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 942 | SHARED_REQUIRES(Locks::mutator_lock_); |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 943 | void CreateReferenceInstanceOffsets(Handle<mirror::Class> klass) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 944 | SHARED_REQUIRES(Locks::mutator_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 945 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 946 | void CheckProxyConstructor(ArtMethod* constructor) const |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 947 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 948 | void CheckProxyMethod(ArtMethod* method, ArtMethod* prototype) const |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 949 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 950 | |
Brian Carlstrom | 58ae941 | 2011-10-04 00:56:06 -0700 | [diff] [blame] | 951 | // For use by ImageWriter to find DexCaches for its roots |
Hiroshi Yamauchi | e9e3e69 | 2014-06-24 14:31:37 -0700 | [diff] [blame] | 952 | ReaderWriterMutex* DexLock() |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 953 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 954 | LOCK_RETURNED(dex_lock_) { |
Hiroshi Yamauchi | e9e3e69 | 2014-06-24 14:31:37 -0700 | [diff] [blame] | 955 | return &dex_lock_; |
Brian Carlstrom | 58ae941 | 2011-10-04 00:56:06 -0700 | [diff] [blame] | 956 | } |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 957 | size_t GetDexCacheCount() SHARED_REQUIRES(Locks::mutator_lock_, dex_lock_) { |
Hiroshi Yamauchi | e9e3e69 | 2014-06-24 14:31:37 -0700 | [diff] [blame] | 958 | return dex_caches_.size(); |
| 959 | } |
Hiroshi Yamauchi | 04302db | 2015-11-11 23:45:34 -0800 | [diff] [blame] | 960 | const std::list<DexCacheData>& GetDexCachesData() |
| 961 | SHARED_REQUIRES(Locks::mutator_lock_, dex_lock_) { |
Mathieu Chartier | 673ed3d | 2015-08-28 14:56:43 -0700 | [diff] [blame] | 962 | return dex_caches_; |
| 963 | } |
Brian Carlstrom | 58ae941 | 2011-10-04 00:56:06 -0700 | [diff] [blame] | 964 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 965 | void CreateProxyConstructor(Handle<mirror::Class> klass, ArtMethod* out) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 966 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 967 | void CreateProxyMethod(Handle<mirror::Class> klass, ArtMethod* prototype, ArtMethod* out) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 968 | SHARED_REQUIRES(Locks::mutator_lock_); |
Jesse Wilson | 95caa79 | 2011-10-12 18:14:17 -0400 | [diff] [blame] | 969 | |
Igor Murashkin | df707e4 | 2016-02-02 16:56:50 -0800 | [diff] [blame] | 970 | // Ensures that methods have the kAccSkipAccessChecks bit set. We use the |
| 971 | // kAccVerificationAttempted bit on the class access flags to determine whether this has been done |
| 972 | // before. |
| 973 | void EnsureSkipAccessChecksMethods(Handle<mirror::Class> c) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 974 | SHARED_REQUIRES(Locks::mutator_lock_); |
Andreas Gampe | 4849859 | 2014-09-10 19:48:05 -0700 | [diff] [blame] | 975 | |
Mathieu Chartier | 073b16c | 2015-11-10 14:13:23 -0800 | [diff] [blame] | 976 | mirror::Class* LookupClassFromBootImage(const char* descriptor) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 977 | SHARED_REQUIRES(Locks::mutator_lock_); |
Ian Rogers | dbf3be0 | 2014-08-29 15:40:08 -0700 | [diff] [blame] | 978 | |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 979 | // Returns null if not found. |
| 980 | ClassTable* ClassTableForClassLoader(mirror::ClassLoader* class_loader) |
| 981 | SHARED_REQUIRES(Locks::mutator_lock_, Locks::classlinker_classes_lock_); |
Nicolas Geoffray | 3a09092 | 2015-11-24 09:17:30 +0000 | [diff] [blame] | 982 | // Insert a new class table if not found. |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 983 | ClassTable* InsertClassTableForClassLoader(mirror::ClassLoader* class_loader) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 984 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 985 | REQUIRES(Locks::classlinker_classes_lock_); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 986 | |
Ian Rogers | dbf3be0 | 2014-08-29 15:40:08 -0700 | [diff] [blame] | 987 | // EnsureResolved is called to make sure that a class in the class_table_ has been resolved |
| 988 | // before returning it to the caller. Its the responsibility of the thread that placed the class |
| 989 | // in the table to make it resolved. The thread doing resolution must notify on the class' lock |
| 990 | // when resolution has occurred. This happens in mirror::Class::SetStatus. As resolution may |
| 991 | // retire a class, the version of the class in the table is returned and this may differ from |
| 992 | // the class passed in. |
| 993 | mirror::Class* EnsureResolved(Thread* self, const char* descriptor, mirror::Class* klass) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 994 | WARN_UNUSED |
| 995 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 996 | REQUIRES(!dex_lock_); |
Ian Rogers | dbf3be0 | 2014-08-29 15:40:08 -0700 | [diff] [blame] | 997 | |
| 998 | void FixupTemporaryDeclaringClass(mirror::Class* temp_class, mirror::Class* new_class) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 999 | SHARED_REQUIRES(Locks::mutator_lock_); |
Ian Rogers | dbf3be0 | 2014-08-29 15:40:08 -0700 | [diff] [blame] | 1000 | |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 1001 | void SetClassRoot(ClassRoot class_root, mirror::Class* klass) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 1002 | SHARED_REQUIRES(Locks::mutator_lock_); |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 1003 | |
| 1004 | // Return the quick generic JNI stub for testing. |
| 1005 | const void* GetRuntimeQuickGenericJniStub() const; |
| 1006 | |
Andreas Gampe | bfdcdc1 | 2015-04-22 18:10:36 -0700 | [diff] [blame] | 1007 | // Throw the class initialization failure recorded when first trying to initialize the given |
| 1008 | // class. |
Andreas Gampe | cb08695 | 2015-11-02 16:20:00 -0800 | [diff] [blame] | 1009 | void ThrowEarlierClassFailure(mirror::Class* c, bool wrap_in_no_class_def = false) |
Mathieu Chartier | c77f3ab | 2015-09-03 19:41:50 -0700 | [diff] [blame] | 1010 | SHARED_REQUIRES(Locks::mutator_lock_) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 1011 | REQUIRES(!dex_lock_); |
Andreas Gampe | bfdcdc1 | 2015-04-22 18:10:36 -0700 | [diff] [blame] | 1012 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 1013 | bool CanWeInitializeClass(mirror::Class* klass, bool can_init_statics, bool can_init_parents) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 1014 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 1015 | |
Alex Light | e64300b | 2015-12-15 15:02:47 -0800 | [diff] [blame] | 1016 | void UpdateClassMethods(mirror::Class* klass, |
| 1017 | LengthPrefixedArray<ArtMethod>* new_methods) |
Mathieu Chartier | 54d220e | 2015-07-30 16:20:06 -0700 | [diff] [blame] | 1018 | SHARED_REQUIRES(Locks::mutator_lock_) |
| 1019 | REQUIRES(!Locks::classlinker_classes_lock_); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 1020 | |
Mathieu Chartier | 1aa8ec2 | 2016-02-01 10:34:47 -0800 | [diff] [blame] | 1021 | bool UpdateAppImageClassLoadersAndDexCaches( |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 1022 | gc::space::ImageSpace* space, |
| 1023 | Handle<mirror::ClassLoader> class_loader, |
| 1024 | Handle<mirror::ObjectArray<mirror::DexCache>> dex_caches, |
Mathieu Chartier | 1aa8ec2 | 2016-02-01 10:34:47 -0800 | [diff] [blame] | 1025 | bool added_class_table, |
| 1026 | bool* out_forward_dex_cache_array, |
| 1027 | std::string* out_error_msg) |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 1028 | REQUIRES(!dex_lock_) |
| 1029 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 1030 | |
Andreas Gampe | 7ba5a67 | 2016-02-04 21:45:01 -0800 | [diff] [blame] | 1031 | // Check that c1 == FindSystemClass(self, descriptor). Abort with class dumps otherwise. |
| 1032 | void CheckSystemClass(Thread* self, Handle<mirror::Class> c1, const char* descriptor) |
| 1033 | REQUIRES(!dex_lock_) |
| 1034 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 1035 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 1036 | std::vector<const DexFile*> boot_class_path_; |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 1037 | std::vector<std::unique_ptr<const DexFile>> boot_dex_files_; |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 1038 | |
Ian Rogers | 1bf8d4d | 2013-05-30 00:18:49 -0700 | [diff] [blame] | 1039 | mutable ReaderWriterMutex dex_lock_ DEFAULT_MUTEX_ACQUIRED_AFTER; |
Hiroshi Yamauchi | 04302db | 2015-11-11 23:45:34 -0800 | [diff] [blame] | 1040 | // JNI weak globals and side data to allow dex caches to get unloaded. We lazily delete weak |
| 1041 | // globals when we register new dex files. |
| 1042 | std::list<DexCacheData> dex_caches_ GUARDED_BY(dex_lock_); |
Brian Carlstrom | 47d237a | 2011-10-18 15:08:33 -0700 | [diff] [blame] | 1043 | |
Mathieu Chartier | 9b1c71e | 2015-09-02 18:51:54 -0700 | [diff] [blame] | 1044 | // This contains the class loaders which have class tables. It is populated by |
Mathieu Chartier | 951ec2c | 2015-09-22 08:50:05 -0700 | [diff] [blame] | 1045 | // InsertClassTableForClassLoader. |
| 1046 | std::list<ClassLoaderData> class_loaders_ |
Mathieu Chartier | 6b06953 | 2015-08-05 15:08:12 -0700 | [diff] [blame] | 1047 | GUARDED_BY(Locks::classlinker_classes_lock_); |
| 1048 | |
| 1049 | // Boot class path table. Since the class loader for this is null. |
| 1050 | ClassTable boot_class_table_ GUARDED_BY(Locks::classlinker_classes_lock_); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 1051 | |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 1052 | // New class roots, only used by CMS since the GC needs to mark these in the pause. |
| 1053 | std::vector<GcRoot<mirror::Class>> new_class_roots_ GUARDED_BY(Locks::classlinker_classes_lock_); |
Elliott Hughes | f834936 | 2012-06-18 15:00:06 -0700 | [diff] [blame] | 1054 | |
Mathieu Chartier | 073b16c | 2015-11-10 14:13:23 -0800 | [diff] [blame] | 1055 | // Do we need to search dex caches to find boot image classes? |
| 1056 | bool dex_cache_boot_image_class_lookup_required_; |
Ian Rogers | 7dfb28c | 2013-08-22 08:18:36 -0700 | [diff] [blame] | 1057 | // Number of times we've searched dex caches for a class. After a certain number of misses we move |
| 1058 | // the classes into the class_table_ to avoid dex cache based searches. |
Ian Rogers | 68b5685 | 2014-08-29 20:19:11 -0700 | [diff] [blame] | 1059 | Atomic<uint32_t> failed_dex_cache_class_lookups_; |
Ian Rogers | 7dfb28c | 2013-08-22 08:18:36 -0700 | [diff] [blame] | 1060 | |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 1061 | // Well known mirror::Class roots. |
Hiroshi Yamauchi | 94f7b49 | 2014-07-22 18:08:23 -0700 | [diff] [blame] | 1062 | GcRoot<mirror::ObjectArray<mirror::Class>> class_roots_; |
Brian Carlstrom | 913af1b | 2011-07-23 21:41:13 -0700 | [diff] [blame] | 1063 | |
Ian Rogers | 9837939 | 2014-02-24 16:53:16 -0800 | [diff] [blame] | 1064 | // The interface table used by all arrays. |
Hiroshi Yamauchi | 94f7b49 | 2014-07-22 18:08:23 -0700 | [diff] [blame] | 1065 | GcRoot<mirror::IfTable> array_iftable_; |
Carl Shapiro | 565f507 | 2011-07-10 13:39:43 -0700 | [diff] [blame] | 1066 | |
Ian Rogers | 9837939 | 2014-02-24 16:53:16 -0800 | [diff] [blame] | 1067 | // A cache of the last FindArrayClass results. The cache serves to avoid creating array class |
| 1068 | // descriptors for the sake of performing FindClass. |
| 1069 | static constexpr size_t kFindArrayCacheSize = 16; |
Hiroshi Yamauchi | 94f7b49 | 2014-07-22 18:08:23 -0700 | [diff] [blame] | 1070 | GcRoot<mirror::Class> find_array_class_cache_[kFindArrayCacheSize]; |
Ian Rogers | 9837939 | 2014-02-24 16:53:16 -0800 | [diff] [blame] | 1071 | size_t find_array_class_cache_next_victim_; |
| 1072 | |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 1073 | bool init_done_; |
Mathieu Chartier | 893263b | 2014-03-04 11:07:42 -0800 | [diff] [blame] | 1074 | bool log_new_class_table_roots_ GUARDED_BY(Locks::classlinker_classes_lock_); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 1075 | |
Elliott Hughes | cf4c6c4 | 2011-09-01 15:16:42 -0700 | [diff] [blame] | 1076 | InternTable* intern_table_; |
| 1077 | |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 1078 | // Trampolines within the image the bounce to runtime entrypoints. Done so that there is a single |
| 1079 | // patch point within the image. TODO: make these proper relocations. |
Jeff Hao | 0aba0ba | 2013-06-03 14:49:28 -0700 | [diff] [blame] | 1080 | const void* quick_resolution_trampoline_; |
Jeff Hao | 88474b4 | 2013-10-23 16:24:40 -0700 | [diff] [blame] | 1081 | const void* quick_imt_conflict_trampoline_; |
Andreas Gampe | 2da8823 | 2014-02-27 12:26:20 -0800 | [diff] [blame] | 1082 | const void* quick_generic_jni_trampoline_; |
Vladimir Marko | 8a63057 | 2014-04-09 18:45:35 +0100 | [diff] [blame] | 1083 | const void* quick_to_interpreter_bridge_trampoline_; |
Jeff Hao | 0aba0ba | 2013-06-03 14:49:28 -0700 | [diff] [blame] | 1084 | |
Mathieu Chartier | 2d72101 | 2014-11-10 11:08:06 -0800 | [diff] [blame] | 1085 | // Image pointer size. |
| 1086 | size_t image_pointer_size_; |
| 1087 | |
Mathieu Chartier | f9c6fc6 | 2015-10-07 11:44:05 -0700 | [diff] [blame] | 1088 | friend class ImageDumper; // for DexLock |
Brian Carlstrom | 34f426c | 2011-10-04 12:58:02 -0700 | [diff] [blame] | 1089 | friend class ImageWriter; // for GetClassRoots |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 1090 | friend class JniCompilerTest; // for GetRuntimeQuickGenericJniStub |
Andreas Gampe | 5f4a09a | 2015-09-28 13:16:33 -0700 | [diff] [blame] | 1091 | friend class JniInternalTest; // for GetRuntimeQuickGenericJniStub |
Mathieu Chartier | 7617216 | 2016-01-26 14:54:06 -0800 | [diff] [blame] | 1092 | ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for DexLock, and RegisterDexFileLocked |
Ian Rogers | 6f3dbba | 2014-10-14 17:41:57 -0700 | [diff] [blame] | 1093 | ART_FRIEND_TEST(mirror::DexCacheTest, Open); // for AllocDexCache |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 1094 | DISALLOW_COPY_AND_ASSIGN(ClassLinker); |
| 1095 | }; |
| 1096 | |
| 1097 | } // namespace art |
| 1098 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 1099 | #endif // ART_RUNTIME_CLASS_LINKER_H_ |