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 | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 27 | // If class_loader 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 | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 29 | ClassLoader* class_loader); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 30 | |
Brian Carlstrom | 6cc1845 | 2011-07-18 15:10:33 -0700 | [diff] [blame] | 31 | Class* FindSystemClass(const StringPiece& descriptor) { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 32 | return FindClass(descriptor, NULL); |
Carl Shapiro | 565f507 | 2011-07-10 13:39:43 -0700 | [diff] [blame] | 33 | } |
| 34 | |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 35 | bool InitializeClass(Class* klass); |
| 36 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 37 | Class* LookupClass(const StringPiece& descriptor, ClassLoader* class_loader); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 38 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 39 | Class* ResolveClass(const Class* referring, |
| 40 | uint32_t class_idx, |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 41 | const DexFile& dex_file); |
Carl Shapiro | 5fafe2b | 2011-07-09 15:34:41 -0700 | [diff] [blame] | 42 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 43 | String* ResolveString(const Class* referring, |
| 44 | uint32_t string_idx, |
| 45 | const DexFile& dex_file); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 46 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 47 | void RegisterDexFile(const DexFile* dex_file); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 48 | |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 49 | // TODO replace with heap interface |
| 50 | typedef void (RootVistor)(Object* root, void* arg); |
Brian Carlstrom | b88e944 | 2011-07-28 15:15:51 -0700 | [diff] [blame] | 51 | void VisitRoots(RootVistor* root_visitor, void* arg); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 52 | |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 53 | private: |
Carl Shapiro | 61e019d | 2011-07-14 16:53:09 -0700 | [diff] [blame] | 54 | ClassLinker() {} |
| 55 | |
Carl Shapiro | 2ed144c | 2011-07-26 16:52:08 -0700 | [diff] [blame] | 56 | void Init(const std::vector<DexFile*>& boot_class_path_); |
Carl Shapiro | 61e019d | 2011-07-14 16:53:09 -0700 | [diff] [blame] | 57 | |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 58 | // For early bootstrapping by Init |
| 59 | Class* AllocClass(Class* java_lang_Class); |
| 60 | |
| 61 | // Alloc* convenience functions to avoid needing to pass in Class* |
| 62 | // values that are known to the ClassLinker such as |
| 63 | // kObjectArrayClass and kJavaLangString etc. |
| 64 | Class* AllocClass(); |
| 65 | DexCache* AllocDexCache(); |
| 66 | StaticField* AllocStaticField(); |
| 67 | InstanceField* AllocInstanceField(); |
| 68 | Method* AllocMethod(); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 69 | template <class T> |
| 70 | ObjectArray<T>* AllocObjectArray(size_t length) { |
| 71 | return ObjectArray<T>::Alloc(class_roots_->Get(kObjectArrayClass), length); |
| 72 | } |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 73 | PathClassLoader* AllocPathClassLoader(std::vector<const DexFile*> dex_files); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 74 | |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 75 | Class* CreatePrimitiveClass(const StringPiece& descriptor); |
| 76 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 77 | Class* CreateArrayClass(const StringPiece& descriptor, |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 78 | ClassLoader* class_loader); |
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 | 74eb46a | 2011-08-02 20:10:14 -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 | void AppendToBootClassPath(DexFile* dex_file); |
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 LoadClass(const DexFile& dex_file, |
| 89 | const DexFile::ClassDef& dex_class_def, |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 90 | Class* klass, |
| 91 | ClassLoader* class_loader); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 92 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 93 | void LoadInterfaces(const DexFile& dex_file, |
| 94 | const DexFile::ClassDef& dex_class_def, |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 95 | Class *klass); |
| 96 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 97 | void LoadField(const DexFile& dex_file, |
| 98 | const DexFile::Field& dex_field, |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 99 | Class* klass, |
| 100 | Field* dst); |
| 101 | |
Brian Carlstrom | f615a61 | 2011-07-23 12:50:34 -0700 | [diff] [blame] | 102 | void LoadMethod(const DexFile& dex_file, |
| 103 | const DexFile::Method& dex_method, |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 104 | Class* klass, |
| 105 | Method* dst); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 106 | |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 107 | // Inserts a class into the class table. Returns true if the class |
| 108 | // was inserted. |
| 109 | bool InsertClass(Class* klass); |
| 110 | |
| 111 | bool InitializeSuperClass(Class* klass); |
| 112 | |
| 113 | void InitializeStaticFields(Class* klass); |
| 114 | |
| 115 | bool ValidateSuperClassDescriptors(const Class* klass); |
| 116 | |
| 117 | bool HasSameDescriptorClasses(const char* descriptor, |
| 118 | const Class* klass1, |
| 119 | const Class* klass2); |
| 120 | |
| 121 | bool HasSameMethodDescriptorClasses(const Method* descriptor, |
| 122 | const Class* klass1, |
| 123 | const Class* klass2); |
| 124 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 125 | bool HasSameNameAndPrototype(const Method* m1, const Method* m2) const { |
| 126 | return HasSameName(m1, m2) && HasSamePrototype(m1, m2); |
| 127 | } |
| 128 | |
| 129 | bool HasSameName(const Method* m1, const Method* m2) const { |
Jesse Wilson | f7e85a5 | 2011-08-01 18:45:58 -0700 | [diff] [blame] | 130 | return String::Equals(m1->GetName(), m2->GetName()); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 131 | } |
| 132 | |
| 133 | bool HasSamePrototype(const Method* m1, const Method* m2) const { |
| 134 | return HasSameReturnType(m1, m2) && HasSameArgumentTypes(m1, m2); |
| 135 | } |
| 136 | |
| 137 | bool HasSameReturnType(const Method* m1, const Method* m2) const; |
| 138 | |
| 139 | bool HasSameArgumentTypes(const Method* m1, const Method* m2) const; |
| 140 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 141 | bool LinkClass(Class* klass, const DexFile& dex_file); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 142 | |
| 143 | bool LinkSuperClass(Class* klass); |
| 144 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 145 | bool LoadSuperAndInterfaces(Class* klass, const DexFile& dex_file); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 146 | |
| 147 | bool LinkMethods(Class* klass); |
| 148 | |
| 149 | bool LinkVirtualMethods(Class* klass); |
| 150 | |
| 151 | bool LinkInterfaceMethods(Class* klass); |
| 152 | |
| 153 | void LinkAbstractMethods(Class* klass); |
| 154 | |
| 155 | bool LinkInstanceFields(Class* klass); |
| 156 | |
| 157 | void CreateReferenceOffsets(Class* klass); |
| 158 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 159 | std::vector<const DexFile*> boot_class_path_; |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 160 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 161 | std::vector<const DexFile*> dex_files_; |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 162 | |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 163 | std::vector<DexCache*> dex_caches_; |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 164 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 165 | // multimap from String::descriptor_ to Class* instances. Results |
| 166 | // should be compared for a matching Class::descriptor_ and |
| 167 | // Class::class_loader_. |
Brian Carlstrom | b0460ea | 2011-07-29 10:08:05 -0700 | [diff] [blame] | 168 | // TODO: unordered_multimap |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 169 | typedef std::multimap<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_ |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 178 | enum ClassRoot { |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 179 | kJavaLangClass, |
| 180 | kJavaLangObject, |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 181 | kObjectArrayClass, |
| 182 | kJavaLangString, |
| 183 | kCharArrayClass, |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 184 | kJavaLangReflectField, |
| 185 | kJavaLangReflectMethod, |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 186 | kJavaLangClassLoader, |
| 187 | kDalvikSystemBaseDexClassLoader, |
| 188 | kDalvikSystemPathClassLoader, |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 189 | kPrimitiveBoolean, |
| 190 | kPrimitiveChar, |
| 191 | kPrimitiveFloat, |
| 192 | kPrimitiveDouble, |
| 193 | kPrimitiveByte, |
| 194 | kPrimitiveShort, |
| 195 | kPrimitiveInt, |
| 196 | kPrimitiveLong, |
| 197 | kPrimitiveVoid, |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 198 | kClassRootsMax, |
| 199 | }; |
| 200 | ObjectArray<Class>* class_roots_; |
Brian Carlstrom | 913af1b | 2011-07-23 21:41:13 -0700 | [diff] [blame] | 201 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 202 | Class* GetClassRoot(ClassRoot class_root) { |
| 203 | Class* klass = class_roots_->Get(class_root); |
| 204 | DCHECK(klass != NULL); |
| 205 | return klass; |
| 206 | } |
| 207 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 208 | ObjectArray<Class>* array_interfaces_; |
Brian Carlstrom | 913af1b | 2011-07-23 21:41:13 -0700 | [diff] [blame] | 209 | InterfaceEntry* array_iftable_; |
Carl Shapiro | 565f507 | 2011-07-10 13:39:43 -0700 | [diff] [blame] | 210 | |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 211 | bool init_done_; |
| 212 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame^] | 213 | friend class RuntimeTest; |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 214 | FRIEND_TEST(ClassLinkerTest, ProtoCompare); |
| 215 | FRIEND_TEST(ClassLinkerTest, ProtoCompare2); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 216 | FRIEND_TEST(DexCacheTest, Open); |
| 217 | friend class ObjectTest; |
| 218 | FRIEND_TEST(ObjectTest, AllocObjectArray); |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 219 | DISALLOW_COPY_AND_ASSIGN(ClassLinker); |
| 220 | }; |
| 221 | |
| 222 | } // namespace art |
| 223 | |
| 224 | #endif // ART_SRC_CLASS_LINKER_H_ |