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 | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 10 | #include "heap.h" |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 11 | #include "macros.h" |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 12 | #include "dex_file.h" |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 13 | #include "thread.h" |
| 14 | #include "object.h" |
| 15 | #include "gtest/gtest.h" |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 16 | |
| 17 | namespace art { |
| 18 | |
| 19 | class ClassLinker { |
| 20 | public: |
Carl Shapiro | 565f507 | 2011-07-10 13:39:43 -0700 | [diff] [blame] | 21 | // Initializes the class linker. |
Carl Shapiro | 2ed144c | 2011-07-26 16:52:08 -0700 | [diff] [blame] | 22 | static ClassLinker* Create(const std::vector<DexFile*>& boot_class_path); |
Carl Shapiro | 61e019d | 2011-07-14 16:53:09 -0700 | [diff] [blame] | 23 | |
| 24 | ~ClassLinker() {} |
Carl Shapiro | 565f507 | 2011-07-10 13:39:43 -0700 | [diff] [blame] | 25 | |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 26 | // Finds a class by its descriptor name. |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 27 | // If dex_file is null, searches boot_class_path_. |
Brian Carlstrom | 6cc1845 | 2011-07-18 15:10:33 -0700 | [diff] [blame] | 28 | Class* FindClass(const StringPiece& descriptor, |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 29 | Object* class_loader, |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 30 | const DexFile* dex_file); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 31 | |
Brian Carlstrom | 6cc1845 | 2011-07-18 15:10:33 -0700 | [diff] [blame] | 32 | Class* FindSystemClass(const StringPiece& descriptor) { |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 33 | return FindClass(descriptor, NULL, NULL); |
Carl Shapiro | 565f507 | 2011-07-10 13:39:43 -0700 | [diff] [blame] | 34 | } |
| 35 | |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 36 | bool InitializeClass(Class* klass); |
| 37 | |
Brian Carlstrom | 6cc1845 | 2011-07-18 15:10:33 -0700 | [diff] [blame] | 38 | Class* LookupClass(const StringPiece& descriptor, Object* class_loader); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 39 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 40 | Class* ResolveClass(const Class* referring, |
| 41 | uint32_t class_idx, |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 42 | const DexFile* dex_file); |
Carl Shapiro | 5fafe2b | 2011-07-09 15:34:41 -0700 | [diff] [blame] | 43 | |
| 44 | String* ResolveString(const Class* referring, uint32_t string_idx); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 45 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 46 | void RegisterDexFile(const DexFile* dex_file); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 47 | |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame^] | 48 | // TODO replace with heap interface |
| 49 | typedef void (RootVistor)(Object* root, void* arg); |
| 50 | void VisitRoots(RootVistor* rootVisitor, void* arg); |
| 51 | |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 52 | private: |
Carl Shapiro | 61e019d | 2011-07-14 16:53:09 -0700 | [diff] [blame] | 53 | ClassLinker() {} |
| 54 | |
Carl Shapiro | 2ed144c | 2011-07-26 16:52:08 -0700 | [diff] [blame] | 55 | void Init(const std::vector<DexFile*>& boot_class_path_); |
Carl Shapiro | 61e019d | 2011-07-14 16:53:09 -0700 | [diff] [blame] | 56 | |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame^] | 57 | // For early bootstrapping by Init |
| 58 | Class* AllocClass(Class* java_lang_Class); |
| 59 | |
| 60 | // Alloc* convenience functions to avoid needing to pass in Class* |
| 61 | // values that are known to the ClassLinker such as |
| 62 | // kObjectArrayClass and kJavaLangString etc. |
| 63 | Class* AllocClass(); |
| 64 | DexCache* AllocDexCache(); |
| 65 | StaticField* AllocStaticField(); |
| 66 | InstanceField* AllocInstanceField(); |
| 67 | Method* AllocMethod(); |
| 68 | String* AllocStringFromModifiedUtf8(int32_t utf16_length, const char* utf8_data_in); |
| 69 | template <class T> |
| 70 | ObjectArray<T>* AllocObjectArray(size_t length) { |
| 71 | return ObjectArray<T>::Alloc(class_roots_->Get(kObjectArrayClass), length); |
| 72 | } |
| 73 | |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 74 | Class* CreatePrimitiveClass(const StringPiece& descriptor); |
| 75 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 76 | Class* CreateArrayClass(const StringPiece& descriptor, |
| 77 | Object* class_loader, |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 78 | const DexFile* dex_file); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 79 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 80 | Class* FindPrimitiveClass(char type); |
Carl Shapiro | 565f507 | 2011-07-10 13:39:43 -0700 | [diff] [blame] | 81 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 82 | const DexFile* FindDexFile(const DexCache* dex_cache) const; |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 83 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 84 | DexCache* FindDexCache(const DexFile* dex_file) const; |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 85 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 86 | typedef std::pair<const DexFile*, const DexFile::ClassDef*> ClassPathEntry; |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 87 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 88 | void AppendToBootClassPath(DexFile* dex_file); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 89 | |
| 90 | ClassPathEntry FindInBootClassPath(const StringPiece& descriptor); |
| 91 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 92 | void LoadClass(const DexFile& dex_file, |
| 93 | const DexFile::ClassDef& dex_class_def, |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 94 | Class* klass); |
| 95 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 96 | void LoadInterfaces(const DexFile& dex_file, |
| 97 | const DexFile::ClassDef& dex_class_def, |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 98 | Class *klass); |
| 99 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 100 | void LoadField(const DexFile& dex_file, |
| 101 | const DexFile::Field& dex_field, |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 102 | Class* klass, |
| 103 | Field* dst); |
| 104 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 105 | void LoadMethod(const DexFile& dex_file, |
| 106 | const DexFile::Method& dex_method, |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 107 | Class* klass, |
| 108 | Method* dst); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 109 | |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 110 | // Inserts a class into the class table. Returns true if the class |
| 111 | // was inserted. |
| 112 | bool InsertClass(Class* klass); |
| 113 | |
| 114 | bool InitializeSuperClass(Class* klass); |
| 115 | |
| 116 | void InitializeStaticFields(Class* klass); |
| 117 | |
| 118 | bool ValidateSuperClassDescriptors(const Class* klass); |
| 119 | |
| 120 | bool HasSameDescriptorClasses(const char* descriptor, |
| 121 | const Class* klass1, |
| 122 | const Class* klass2); |
| 123 | |
| 124 | bool HasSameMethodDescriptorClasses(const Method* descriptor, |
| 125 | const Class* klass1, |
| 126 | const Class* klass2); |
| 127 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 128 | bool HasSameNameAndPrototype(const Method* m1, const Method* m2) const { |
| 129 | return HasSameName(m1, m2) && HasSamePrototype(m1, m2); |
| 130 | } |
| 131 | |
| 132 | bool HasSameName(const Method* m1, const Method* m2) const { |
| 133 | return m1->GetName() == m2->GetName(); |
| 134 | } |
| 135 | |
| 136 | bool HasSamePrototype(const Method* m1, const Method* m2) const { |
| 137 | return HasSameReturnType(m1, m2) && HasSameArgumentTypes(m1, m2); |
| 138 | } |
| 139 | |
| 140 | bool HasSameReturnType(const Method* m1, const Method* m2) const; |
| 141 | |
| 142 | bool HasSameArgumentTypes(const Method* m1, const Method* m2) const; |
| 143 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 144 | bool LinkClass(Class* klass, const DexFile* dex_file); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 145 | |
| 146 | bool LinkSuperClass(Class* klass); |
| 147 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 148 | bool LinkInterfaces(Class* klass, const DexFile* dex_file); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 149 | |
| 150 | bool LinkMethods(Class* klass); |
| 151 | |
| 152 | bool LinkVirtualMethods(Class* klass); |
| 153 | |
| 154 | bool LinkInterfaceMethods(Class* klass); |
| 155 | |
| 156 | void LinkAbstractMethods(Class* klass); |
| 157 | |
| 158 | bool LinkInstanceFields(Class* klass); |
| 159 | |
| 160 | void CreateReferenceOffsets(Class* klass); |
| 161 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 162 | std::vector<const DexFile*> boot_class_path_; |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 163 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 164 | std::vector<const DexFile*> dex_files_; |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 165 | |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 166 | std::vector<DexCache*> dex_caches_; |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 167 | |
| 168 | // TODO: multimap |
Brian Carlstrom | 6cc1845 | 2011-07-18 15:10:33 -0700 | [diff] [blame] | 169 | typedef std::map<const StringPiece, Class*> Table; |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 170 | |
| 171 | Table classes_; |
| 172 | |
| 173 | Mutex* classes_lock_; |
| 174 | |
| 175 | // TODO: classpath |
| 176 | |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame^] | 177 | // indexes into class_roots_ |
| 178 | enum ClassRoots { |
| 179 | kJavaLangClass, |
| 180 | kJavaLangObject, |
| 181 | kJavaLangReflectField, |
| 182 | kJavaLangReflectMethod, |
| 183 | kJavaLangString, |
| 184 | kPrimitiveBoolean, |
| 185 | kPrimitiveChar, |
| 186 | kPrimitiveFloat, |
| 187 | kPrimitiveDouble, |
| 188 | kPrimitiveByte, |
| 189 | kPrimitiveShort, |
| 190 | kPrimitiveInt, |
| 191 | kPrimitiveLong, |
| 192 | kPrimitiveVoid, |
| 193 | kObjectArrayClass, |
| 194 | kCharArrayClass, |
| 195 | kClassRootsMax, |
| 196 | }; |
| 197 | ObjectArray<Class>* class_roots_; |
Brian Carlstrom | 913af1b | 2011-07-23 21:41:13 -0700 | [diff] [blame] | 198 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 199 | ObjectArray<Class>* array_interfaces_; |
Brian Carlstrom | 913af1b | 2011-07-23 21:41:13 -0700 | [diff] [blame] | 200 | InterfaceEntry* array_iftable_; |
Carl Shapiro | 565f507 | 2011-07-10 13:39:43 -0700 | [diff] [blame] | 201 | |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame^] | 202 | bool init_done_; |
| 203 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 204 | FRIEND_TEST(ClassLinkerTest, ProtoCompare); |
| 205 | FRIEND_TEST(ClassLinkerTest, ProtoCompare2); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame^] | 206 | FRIEND_TEST(DexCacheTest, Open); |
| 207 | friend class ObjectTest; |
| 208 | FRIEND_TEST(ObjectTest, AllocObjectArray); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 209 | DISALLOW_COPY_AND_ASSIGN(ClassLinker); |
| 210 | }; |
| 211 | |
| 212 | } // namespace art |
| 213 | |
| 214 | #endif // ART_SRC_CLASS_LINKER_H_ |