Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 1 | // Copyright 2011 Google Inc. All Rights Reserved. |
| 2 | |
| 3 | #ifndef ART_SRC_CLASS_LINKER_H_ |
| 4 | #define ART_SRC_CLASS_LINKER_H_ |
| 5 | |
| 6 | #include <map> |
| 7 | #include <utility> |
| 8 | #include <vector> |
| 9 | |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 10 | #include "dex_file.h" |
Brian Carlstrom | 7e93b50 | 2011-08-04 14:16:22 -0700 | [diff] [blame] | 11 | #include "heap.h" |
| 12 | #include "intern_table.h" |
| 13 | #include "macros.h" |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 14 | #include "object.h" |
Brian Carlstrom | 7e93b50 | 2011-08-04 14:16:22 -0700 | [diff] [blame] | 15 | #include "thread.h" |
| 16 | #include "unordered_map.h" |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 17 | #include "unordered_set.h" |
Brian Carlstrom | 7e93b50 | 2011-08-04 14:16:22 -0700 | [diff] [blame] | 18 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 19 | #include "gtest/gtest.h" |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 20 | |
| 21 | namespace art { |
| 22 | |
| 23 | class ClassLinker { |
| 24 | public: |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 25 | // Initializes the class linker using DexFile and an optional boot Space. |
| 26 | static ClassLinker* Create(const std::vector<DexFile*>& boot_class_path, Space* boot_space); |
Carl Shapiro | 61e019d | 2011-07-14 16:53:09 -0700 | [diff] [blame] | 27 | |
Elliott Hughes | de69d7f | 2011-08-18 16:49:37 -0700 | [diff] [blame] | 28 | ~ClassLinker() { |
| 29 | delete classes_lock_; |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 30 | String::ResetClass(); |
| 31 | BooleanArray::ResetArrayClass(); |
| 32 | ByteArray::ResetArrayClass(); |
| 33 | CharArray::ResetArrayClass(); |
| 34 | DoubleArray::ResetArrayClass(); |
| 35 | FloatArray::ResetArrayClass(); |
| 36 | IntArray::ResetArrayClass(); |
| 37 | LongArray::ResetArrayClass(); |
| 38 | ShortArray::ResetArrayClass(); |
Elliott Hughes | de69d7f | 2011-08-18 16:49:37 -0700 | [diff] [blame] | 39 | } |
Carl Shapiro | 565f507 | 2011-07-10 13:39:43 -0700 | [diff] [blame] | 40 | |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 41 | // Finds a class by its descriptor name. |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 42 | // If class_loader is null, searches boot_class_path_. |
Brian Carlstrom | 6cc1845 | 2011-07-18 15:10:33 -0700 | [diff] [blame] | 43 | Class* FindClass(const StringPiece& descriptor, |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 44 | ClassLoader* class_loader); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 45 | |
Elliott Hughes | d8ddfd5 | 2011-08-15 14:32:53 -0700 | [diff] [blame] | 46 | Class* FindPrimitiveClass(char type); |
| 47 | |
Brian Carlstrom | 6cc1845 | 2011-07-18 15:10:33 -0700 | [diff] [blame] | 48 | Class* FindSystemClass(const StringPiece& descriptor) { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 49 | return FindClass(descriptor, NULL); |
Carl Shapiro | 565f507 | 2011-07-10 13:39:43 -0700 | [diff] [blame] | 50 | } |
| 51 | |
Elliott Hughes | f4c21c9 | 2011-08-19 17:31:31 -0700 | [diff] [blame] | 52 | // Returns true on success, false if there's an exception pending. |
| 53 | bool EnsureInitialized(Class* c); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 54 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 55 | void RegisterDexFile(const DexFile* dex_file); |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 56 | void RegisterDexFile(const DexFile* dex_file, DexCache* dex_cache); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 57 | |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 58 | const InternTable& GetInternTable() { |
| 59 | return intern_table_; |
| 60 | } |
| 61 | |
| 62 | void VisitRoots(Heap::RootVistor* root_visitor, void* arg) const; |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 63 | |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 64 | private: |
Elliott Hughes | d8ddfd5 | 2011-08-15 14:32:53 -0700 | [diff] [blame] | 65 | ClassLinker() |
| 66 | : classes_lock_(Mutex::Create("ClassLinker::Lock")), |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 67 | class_roots_(NULL), |
Elliott Hughes | d8ddfd5 | 2011-08-15 14:32:53 -0700 | [diff] [blame] | 68 | init_done_(false) { |
Brian Carlstrom | 7e93b50 | 2011-08-04 14:16:22 -0700 | [diff] [blame] | 69 | } |
Carl Shapiro | 61e019d | 2011-07-14 16:53:09 -0700 | [diff] [blame] | 70 | |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 71 | // Initialize class linker from DexFile instances. |
Carl Shapiro | 2ed144c | 2011-07-26 16:52:08 -0700 | [diff] [blame] | 72 | void Init(const std::vector<DexFile*>& boot_class_path_); |
Carl Shapiro | 61e019d | 2011-07-14 16:53:09 -0700 | [diff] [blame] | 73 | |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 74 | // Initialize class linker from pre-initialized space. |
| 75 | void Init(const std::vector<DexFile*>& boot_class_path_, Space* space); |
| 76 | static void InitCallback(Object *obj, void *arg); |
| 77 | struct InitCallbackState; |
| 78 | |
| 79 | void FinishInit(); |
| 80 | |
Elliott Hughes | f4c21c9 | 2011-08-19 17:31:31 -0700 | [diff] [blame] | 81 | bool InitializeClass(Class* klass); |
| 82 | |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 83 | // For early bootstrapping by Init |
| 84 | Class* AllocClass(Class* java_lang_Class); |
| 85 | |
| 86 | // Alloc* convenience functions to avoid needing to pass in Class* |
| 87 | // values that are known to the ClassLinker such as |
| 88 | // kObjectArrayClass and kJavaLangString etc. |
| 89 | Class* AllocClass(); |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 90 | DexCache* AllocDexCache(const DexFile* dex_file); |
Jesse Wilson | 35baaab | 2011-08-10 16:18:03 -0400 | [diff] [blame] | 91 | Field* AllocField(); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 92 | Method* AllocMethod(); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 93 | template <class T> |
| 94 | ObjectArray<T>* AllocObjectArray(size_t length) { |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 95 | return ObjectArray<T>::Alloc(GetClassRoot(kObjectArrayClass), length); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 96 | } |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 97 | PathClassLoader* AllocPathClassLoader(std::vector<const DexFile*> dex_files); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 98 | |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 99 | Class* CreatePrimitiveClass(const char* descriptor); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 100 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 101 | Class* CreateArrayClass(const StringPiece& descriptor, |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 102 | ClassLoader* class_loader); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 103 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 104 | const DexFile& FindDexFile(const DexCache* dex_cache) const; |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 105 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 106 | DexCache* FindDexCache(const DexFile* dex_file) const; |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 107 | |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 108 | void AppendToBootClassPath(const DexFile* dex_file); |
| 109 | void AppendToBootClassPath(const DexFile* dex_file, DexCache* dex_cache); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 110 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 111 | void LoadClass(const DexFile& dex_file, |
| 112 | const DexFile::ClassDef& dex_class_def, |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 113 | Class* klass, |
| 114 | ClassLoader* class_loader); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 115 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 116 | void LoadInterfaces(const DexFile& dex_file, |
| 117 | const DexFile::ClassDef& dex_class_def, |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 118 | Class *klass); |
| 119 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 120 | void LoadField(const DexFile& dex_file, |
| 121 | const DexFile::Field& dex_field, |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 122 | Class* klass, |
| 123 | Field* dst); |
| 124 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 125 | void LoadMethod(const DexFile& dex_file, |
| 126 | const DexFile::Method& dex_method, |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 127 | Class* klass, |
| 128 | Method* dst); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 129 | |
Brian Carlstrom | 7e93b50 | 2011-08-04 14:16:22 -0700 | [diff] [blame] | 130 | Class* ResolveClass(const Class* referring, |
| 131 | uint32_t class_idx, |
| 132 | const DexFile& dex_file); |
| 133 | |
| 134 | String* ResolveString(const Class* referring, |
| 135 | uint32_t string_idx, |
| 136 | const DexFile& dex_file); |
| 137 | |
| 138 | Class* LookupClass(const StringPiece& descriptor, ClassLoader* class_loader); |
| 139 | |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 140 | // Inserts a class into the class table. Returns true if the class |
| 141 | // was inserted. |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 142 | bool InsertClass(const StringPiece& descriptor, Class* klass); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 143 | |
| 144 | bool InitializeSuperClass(Class* klass); |
| 145 | |
| 146 | void InitializeStaticFields(Class* klass); |
| 147 | |
| 148 | bool ValidateSuperClassDescriptors(const Class* klass); |
| 149 | |
| 150 | bool HasSameDescriptorClasses(const char* descriptor, |
| 151 | const Class* klass1, |
| 152 | const Class* klass2); |
| 153 | |
| 154 | bool HasSameMethodDescriptorClasses(const Method* descriptor, |
| 155 | const Class* klass1, |
| 156 | const Class* klass2); |
| 157 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 158 | bool LinkClass(Class* klass, const DexFile& dex_file); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 159 | |
| 160 | bool LinkSuperClass(Class* klass); |
| 161 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 162 | bool LoadSuperAndInterfaces(Class* klass, const DexFile& dex_file); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 163 | |
| 164 | bool LinkMethods(Class* klass); |
| 165 | |
| 166 | bool LinkVirtualMethods(Class* klass); |
| 167 | |
| 168 | bool LinkInterfaceMethods(Class* klass); |
| 169 | |
| 170 | void LinkAbstractMethods(Class* klass); |
| 171 | |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 172 | bool LinkStaticFields(Class* klass); |
| 173 | |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 174 | bool LinkInstanceFields(Class* klass); |
| 175 | |
| 176 | void CreateReferenceOffsets(Class* klass); |
| 177 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 178 | std::vector<const DexFile*> boot_class_path_; |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 179 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 180 | std::vector<const DexFile*> dex_files_; |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 181 | |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 182 | std::vector<DexCache*> dex_caches_; |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 183 | |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 184 | // multimap from a StringPiece hash code of a class descriptor to |
| 185 | // Class* instances. Results should be compared for a matching |
| 186 | // Class::descriptor_ and Class::class_loader_. |
| 187 | typedef std::tr1::unordered_multimap<size_t, Class*> Table; |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 188 | Table classes_; |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 189 | Mutex* classes_lock_; |
| 190 | |
Brian Carlstrom | 7e93b50 | 2011-08-04 14:16:22 -0700 | [diff] [blame] | 191 | InternTable intern_table_; |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 192 | |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 193 | // indexes into class_roots_. |
| 194 | // needs to be kept in sync with class_roots_descriptors_. |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 195 | enum ClassRoot { |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 196 | kJavaLangClass, |
| 197 | kJavaLangObject, |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 198 | kObjectArrayClass, |
| 199 | kJavaLangString, |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 200 | kJavaLangReflectField, |
| 201 | kJavaLangReflectMethod, |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 202 | kJavaLangClassLoader, |
| 203 | kDalvikSystemBaseDexClassLoader, |
| 204 | kDalvikSystemPathClassLoader, |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 205 | kPrimitiveBoolean, |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 206 | kPrimitiveByte, |
Elliott Hughes | d8ddfd5 | 2011-08-15 14:32:53 -0700 | [diff] [blame] | 207 | kPrimitiveChar, |
| 208 | kPrimitiveDouble, |
| 209 | kPrimitiveFloat, |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 210 | kPrimitiveInt, |
| 211 | kPrimitiveLong, |
Elliott Hughes | d8ddfd5 | 2011-08-15 14:32:53 -0700 | [diff] [blame] | 212 | kPrimitiveShort, |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 213 | kPrimitiveVoid, |
Elliott Hughes | d8ddfd5 | 2011-08-15 14:32:53 -0700 | [diff] [blame] | 214 | kBooleanArrayClass, |
| 215 | kByteArrayClass, |
| 216 | kCharArrayClass, |
| 217 | kDoubleArrayClass, |
| 218 | kFloatArrayClass, |
| 219 | kIntArrayClass, |
| 220 | kLongArrayClass, |
| 221 | kShortArrayClass, |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 222 | kClassRootsMax, |
| 223 | }; |
| 224 | ObjectArray<Class>* class_roots_; |
Brian Carlstrom | 913af1b | 2011-07-23 21:41:13 -0700 | [diff] [blame] | 225 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 226 | Class* GetClassRoot(ClassRoot class_root) { |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 227 | DCHECK(class_roots_ != NULL); |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 228 | Class* klass = class_roots_->Get(class_root); |
| 229 | DCHECK(klass != NULL); |
| 230 | return klass; |
| 231 | } |
| 232 | |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 233 | void SetClassRoot(ClassRoot class_root, Class* klass) { |
| 234 | DCHECK(!init_done_); |
| 235 | |
| 236 | DCHECK(klass != NULL); |
| 237 | DCHECK(klass->class_loader_ == NULL); |
| 238 | DCHECK(klass->descriptor_ != NULL); |
| 239 | DCHECK(klass->descriptor_->Equals(GetClassRootDescriptor(class_root))); |
| 240 | |
| 241 | DCHECK(class_roots_ != NULL); |
| 242 | DCHECK(class_roots_->Get(class_root) == NULL); |
| 243 | class_roots_->Set(class_root, klass); |
| 244 | } |
| 245 | |
| 246 | static const char* class_roots_descriptors_[kClassRootsMax]; |
| 247 | |
| 248 | const char* GetClassRootDescriptor(ClassRoot class_root) { |
| 249 | const char* descriptor = class_roots_descriptors_[class_root]; |
| 250 | CHECK(descriptor != NULL); |
| 251 | return descriptor; |
| 252 | } |
| 253 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 254 | ObjectArray<Class>* array_interfaces_; |
Brian Carlstrom | 913af1b | 2011-07-23 21:41:13 -0700 | [diff] [blame] | 255 | InterfaceEntry* array_iftable_; |
Carl Shapiro | 565f507 | 2011-07-10 13:39:43 -0700 | [diff] [blame] | 256 | |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 257 | bool init_done_; |
| 258 | |
Brian Carlstrom | f734cf5 | 2011-08-17 16:28:14 -0700 | [diff] [blame] | 259 | friend class CommonTest; |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 260 | FRIEND_TEST(DexCacheTest, Open); |
| 261 | friend class ObjectTest; |
| 262 | FRIEND_TEST(ObjectTest, AllocObjectArray); |
Shih-wei Liao | 2fb9753 | 2011-08-11 16:17:23 -0700 | [diff] [blame] | 263 | FRIEND_TEST(ExceptionTest, MyClass_F_G); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 264 | DISALLOW_COPY_AND_ASSIGN(ClassLinker); |
| 265 | }; |
| 266 | |
| 267 | } // namespace art |
| 268 | |
| 269 | #endif // ART_SRC_CLASS_LINKER_H_ |