Elliott Hughes | 2faa5f1 | 2012-01-30 14:42:07 -0800 | [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 | */ |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 16 | |
| 17 | #ifndef ART_SRC_OAT_WRITER_H_ |
| 18 | #define ART_SRC_OAT_WRITER_H_ |
| 19 | |
| 20 | #include <stdint.h> |
| 21 | |
| 22 | #include <cstddef> |
| 23 | |
Ian Rogers | 1212a02 | 2013-03-04 10:48:41 -0800 | [diff] [blame] | 24 | #include "compiler/driver/compiler_driver.h" |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 25 | #include "mem_map.h" |
| 26 | #include "oat.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 27 | #include "mirror/class.h" |
Elliott Hughes | a0e1806 | 2012-04-13 15:59:59 -0700 | [diff] [blame] | 28 | #include "safe_map.h" |
| 29 | #include "UniquePtr.h" |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 30 | |
| 31 | namespace art { |
| 32 | |
Brian Carlstrom | cd60ac7 | 2013-01-20 17:09:51 -0800 | [diff] [blame] | 33 | class OutputStream; |
| 34 | |
Brian Carlstrom | 81f3ca1 | 2012-03-17 00:27:35 -0700 | [diff] [blame] | 35 | // OatHeader variable length with count of D OatDexFiles |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 36 | // |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 37 | // OatDexFile[0] one variable sized OatDexFile with offsets to Dex and OatClasses |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 38 | // OatDexFile[1] |
| 39 | // ... |
| 40 | // OatDexFile[D] |
| 41 | // |
Brian Carlstrom | 8952189 | 2011-12-07 22:05:07 -0800 | [diff] [blame] | 42 | // Dex[0] one variable sized DexFile for each OatDexFile. |
| 43 | // Dex[1] these are literal copies of the input .dex files. |
| 44 | // ... |
| 45 | // Dex[D] |
| 46 | // |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 47 | // OatClass[0] one variable sized OatClass for each of C DexFile::ClassDefs |
| 48 | // OatClass[1] contains OatClass entries with class status, offsets to code, etc. |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 49 | // ... |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 50 | // OatClass[C] |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 51 | // |
Brian Carlstrom | f03c288 | 2012-03-05 20:29:06 -0800 | [diff] [blame] | 52 | // padding if necessary so that the following code will be page aligned |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 53 | // |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 54 | // CompiledMethod one variable sized blob with the contents of each CompiledMethod |
| 55 | // CompiledMethod |
| 56 | // CompiledMethod |
| 57 | // CompiledMethod |
| 58 | // CompiledMethod |
| 59 | // CompiledMethod |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 60 | // ... |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 61 | // CompiledMethod |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 62 | // |
| 63 | class OatWriter { |
| 64 | public: |
| 65 | // Write an oat file. Returns true on success, false on failure. |
Brian Carlstrom | cd60ac7 | 2013-01-20 17:09:51 -0800 | [diff] [blame] | 66 | static bool Create(OutputStream& out, |
Brian Carlstrom | 81f3ca1 | 2012-03-17 00:27:35 -0700 | [diff] [blame] | 67 | const std::vector<const DexFile*>& dex_files, |
Brian Carlstrom | 28db012 | 2012-10-18 16:20:41 -0700 | [diff] [blame] | 68 | uint32_t image_file_location_oat_checksum, |
| 69 | uint32_t image_file_location_oat_begin, |
Brian Carlstrom | 81f3ca1 | 2012-03-17 00:27:35 -0700 | [diff] [blame] | 70 | const std::string& image_file_location, |
Ian Rogers | 1212a02 | 2013-03-04 10:48:41 -0800 | [diff] [blame] | 71 | const CompilerDriver& compiler) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 72 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 73 | |
| 74 | private: |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 75 | OatWriter(const std::vector<const DexFile*>& dex_files, |
Brian Carlstrom | 28db012 | 2012-10-18 16:20:41 -0700 | [diff] [blame] | 76 | uint32_t image_file_location_oat_checksum, |
| 77 | uint32_t image_file_location_oat_begin, |
Brian Carlstrom | 81f3ca1 | 2012-03-17 00:27:35 -0700 | [diff] [blame] | 78 | const std::string& image_file_location, |
Ian Rogers | 1212a02 | 2013-03-04 10:48:41 -0800 | [diff] [blame] | 79 | const CompilerDriver* compiler) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 80 | ~OatWriter(); |
| 81 | |
Brian Carlstrom | 81f3ca1 | 2012-03-17 00:27:35 -0700 | [diff] [blame] | 82 | size_t InitOatHeader(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 83 | size_t InitOatDexFiles(size_t offset); |
Brian Carlstrom | 8952189 | 2011-12-07 22:05:07 -0800 | [diff] [blame] | 84 | size_t InitDexFiles(size_t offset); |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 85 | size_t InitOatClasses(size_t offset); |
Jeff Hao | 0aba0ba | 2013-06-03 14:49:28 -0700 | [diff] [blame] | 86 | size_t InitOatCode(size_t offset) |
| 87 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 88 | size_t InitOatCodeDexFiles(size_t offset) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 89 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 90 | size_t InitOatCodeDexFile(size_t offset, |
| 91 | size_t& oat_class_index, |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 92 | const DexFile& dex_file) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 93 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 94 | size_t InitOatCodeClassDef(size_t offset, |
Ian Rogers | c20a83e | 2012-01-18 18:15:32 -0800 | [diff] [blame] | 95 | size_t oat_class_index, size_t class_def_index, |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 96 | const DexFile& dex_file, |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 97 | const DexFile::ClassDef& class_def) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 98 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); |
Ian Rogers | c20a83e | 2012-01-18 18:15:32 -0800 | [diff] [blame] | 99 | size_t InitOatCodeMethod(size_t offset, size_t oat_class_index, size_t class_def_index, |
Ian Rogers | 08f753d | 2012-08-24 14:35:25 -0700 | [diff] [blame] | 100 | size_t class_def_method_index, bool is_native, InvokeType type, |
| 101 | uint32_t method_idx, const DexFile*) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 102 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 103 | |
Brian Carlstrom | cd60ac7 | 2013-01-20 17:09:51 -0800 | [diff] [blame] | 104 | bool Write(OutputStream& out); |
| 105 | bool WriteTables(OutputStream& out); |
| 106 | size_t WriteCode(OutputStream& out); |
| 107 | size_t WriteCodeDexFiles(OutputStream& out, size_t offset); |
| 108 | size_t WriteCodeDexFile(OutputStream& out, size_t offset, size_t& oat_class_index, |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 109 | const DexFile& dex_file); |
Brian Carlstrom | cd60ac7 | 2013-01-20 17:09:51 -0800 | [diff] [blame] | 110 | size_t WriteCodeClassDef(OutputStream& out, size_t offset, size_t oat_class_index, |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 111 | const DexFile& dex_file, const DexFile::ClassDef& class_def); |
Brian Carlstrom | cd60ac7 | 2013-01-20 17:09:51 -0800 | [diff] [blame] | 112 | size_t WriteCodeMethod(OutputStream& out, size_t offset, size_t oat_class_index, |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 113 | size_t class_def_method_index, bool is_static, uint32_t method_idx, |
| 114 | const DexFile& dex_file); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 115 | |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 116 | void ReportWriteFailure(const char* what, uint32_t method_idx, const DexFile& dex_file, |
Brian Carlstrom | cd60ac7 | 2013-01-20 17:09:51 -0800 | [diff] [blame] | 117 | OutputStream& out) const; |
Elliott Hughes | 234da57 | 2011-11-03 22:13:06 -0700 | [diff] [blame] | 118 | |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 119 | class OatDexFile { |
| 120 | public: |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 121 | explicit OatDexFile(size_t offset, const DexFile& dex_file); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 122 | size_t SizeOf() const; |
| 123 | void UpdateChecksum(OatHeader& oat_header) const; |
Jeff Hao | 0aba0ba | 2013-06-03 14:49:28 -0700 | [diff] [blame] | 124 | bool Write(OatWriter* oat_writer, OutputStream& out) const; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 125 | |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 126 | // Offset of start of OatDexFile from beginning of OatHeader. It is |
| 127 | // used to validate file position when writing. |
| 128 | size_t offset_; |
| 129 | |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 130 | // data to write |
| 131 | uint32_t dex_file_location_size_; |
| 132 | const uint8_t* dex_file_location_data_; |
Brian Carlstrom | 5b332c8 | 2012-02-01 15:02:31 -0800 | [diff] [blame] | 133 | uint32_t dex_file_location_checksum_; |
Brian Carlstrom | 8952189 | 2011-12-07 22:05:07 -0800 | [diff] [blame] | 134 | uint32_t dex_file_offset_; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 135 | std::vector<uint32_t> methods_offsets_; |
| 136 | |
| 137 | private: |
Brian Carlstrom | 6e3b1d9 | 2012-01-11 01:36:32 -0800 | [diff] [blame] | 138 | DISALLOW_COPY_AND_ASSIGN(OatDexFile); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 139 | }; |
| 140 | |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 141 | class OatClass { |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 142 | public: |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 143 | explicit OatClass(size_t offset, mirror::Class::Status status, uint32_t methods_count); |
| 144 | size_t GetOatMethodOffsetsOffsetFromOatHeader(size_t class_def_method_index_) const; |
| 145 | size_t GetOatMethodOffsetsOffsetFromOatClass(size_t class_def_method_index_) const; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 146 | size_t SizeOf() const; |
| 147 | void UpdateChecksum(OatHeader& oat_header) const; |
Jeff Hao | 0aba0ba | 2013-06-03 14:49:28 -0700 | [diff] [blame] | 148 | bool Write(OatWriter* oat_writer, OutputStream& out) const; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 149 | |
Brian Carlstrom | 265091e | 2013-01-30 14:08:26 -0800 | [diff] [blame] | 150 | // Offset of start of OatClass from beginning of OatHeader. It is |
| 151 | // used to validate file position when writing. For Portable, it |
| 152 | // is also used to calculate the position of the OatMethodOffsets |
| 153 | // so that code pointers within the OatMethodOffsets can be |
| 154 | // patched to point to code in the Portable .o ELF objects. |
| 155 | size_t offset_; |
| 156 | |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 157 | // data to write |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 158 | mirror::Class::Status status_; |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 159 | std::vector<OatMethodOffsets> method_offsets_; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 160 | |
| 161 | private: |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 162 | DISALLOW_COPY_AND_ASSIGN(OatClass); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 163 | }; |
| 164 | |
Ian Rogers | 1212a02 | 2013-03-04 10:48:41 -0800 | [diff] [blame] | 165 | const CompilerDriver* const compiler_driver_; |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 166 | |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 167 | // note OatFile does not take ownership of the DexFiles |
| 168 | const std::vector<const DexFile*>* dex_files_; |
| 169 | |
Brian Carlstrom | 28db012 | 2012-10-18 16:20:41 -0700 | [diff] [blame] | 170 | // dependencies on the image. |
| 171 | uint32_t image_file_location_oat_checksum_; |
| 172 | uint32_t image_file_location_oat_begin_; |
Brian Carlstrom | 81f3ca1 | 2012-03-17 00:27:35 -0700 | [diff] [blame] | 173 | std::string image_file_location_; |
| 174 | |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 175 | // data to write |
| 176 | OatHeader* oat_header_; |
| 177 | std::vector<OatDexFile*> oat_dex_files_; |
Brian Carlstrom | 389efb0 | 2012-01-11 12:06:26 -0800 | [diff] [blame] | 178 | std::vector<OatClass*> oat_classes_; |
Jeff Hao | 0aba0ba | 2013-06-03 14:49:28 -0700 | [diff] [blame] | 179 | UniquePtr<const std::vector<uint8_t> > interpreter_to_interpreter_entry_; |
| 180 | UniquePtr<const std::vector<uint8_t> > interpreter_to_quick_entry_; |
| 181 | UniquePtr<const std::vector<uint8_t> > portable_resolution_trampoline_; |
| 182 | UniquePtr<const std::vector<uint8_t> > quick_resolution_trampoline_; |
| 183 | |
| 184 | // output stats |
| 185 | uint32_t size_dex_file_alignment_; |
| 186 | uint32_t size_executable_offset_alignment_; |
| 187 | uint32_t size_oat_header_; |
| 188 | uint32_t size_oat_header_image_file_location_; |
| 189 | uint32_t size_dex_file_; |
| 190 | uint32_t size_interpreter_to_interpreter_entry_; |
| 191 | uint32_t size_interpreter_to_quick_entry_; |
| 192 | uint32_t size_portable_resolution_trampoline_; |
| 193 | uint32_t size_quick_resolution_trampoline_; |
| 194 | uint32_t size_stubs_alignment_; |
| 195 | uint32_t size_code_size_; |
| 196 | uint32_t size_code_; |
| 197 | uint32_t size_code_alignment_; |
| 198 | uint32_t size_mapping_table_; |
| 199 | uint32_t size_vmap_table_; |
| 200 | uint32_t size_gc_map_; |
| 201 | uint32_t size_oat_dex_file_location_size_; |
| 202 | uint32_t size_oat_dex_file_location_data_; |
| 203 | uint32_t size_oat_dex_file_location_checksum_; |
| 204 | uint32_t size_oat_dex_file_offset_; |
| 205 | uint32_t size_oat_dex_file_methods_offsets_; |
| 206 | uint32_t size_oat_class_status_; |
| 207 | uint32_t size_oat_class_method_offsets_; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 208 | |
jeffhao | f479dcc | 2011-11-02 15:54:15 -0700 | [diff] [blame] | 209 | template <class T> struct MapCompare { |
| 210 | public: |
| 211 | bool operator() (const T* const &a, const T* const &b) const { |
| 212 | return *a < *b; |
| 213 | } |
| 214 | }; |
| 215 | |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 216 | // code mappings for deduplication |
Elliott Hughes | a0e1806 | 2012-04-13 15:59:59 -0700 | [diff] [blame] | 217 | SafeMap<const std::vector<uint8_t>*, uint32_t, MapCompare<std::vector<uint8_t> > > code_offsets_; |
| 218 | SafeMap<const std::vector<uint16_t>*, uint32_t, MapCompare<std::vector<uint16_t> > > vmap_table_offsets_; |
| 219 | SafeMap<const std::vector<uint32_t>*, uint32_t, MapCompare<std::vector<uint32_t> > > mapping_table_offsets_; |
| 220 | SafeMap<const std::vector<uint8_t>*, uint32_t, MapCompare<std::vector<uint8_t> > > gc_map_offsets_; |
jeffhao | 55d7821 | 2011-11-02 11:41:50 -0700 | [diff] [blame] | 221 | |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 222 | DISALLOW_COPY_AND_ASSIGN(OatWriter); |
| 223 | }; |
| 224 | |
| 225 | } // namespace art |
| 226 | |
| 227 | #endif // ART_SRC_OAT_WRITER_H_ |