Home | History | Annotate | Download | only in compiler
      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  */
     16 
     17 #ifndef ART_COMPILER_IMAGE_WRITER_H_
     18 #define ART_COMPILER_IMAGE_WRITER_H_
     19 
     20 #include <stdint.h>
     21 #include "base/memory_tool.h"
     22 
     23 #include <cstddef>
     24 #include <memory>
     25 #include <set>
     26 #include <stack>
     27 #include <string>
     28 #include <ostream>
     29 
     30 #include "base/bit_utils.h"
     31 #include "base/dchecked_vector.h"
     32 #include "base/length_prefixed_array.h"
     33 #include "base/macros.h"
     34 #include "driver/compiler_driver.h"
     35 #include "gc/space/space.h"
     36 #include "image.h"
     37 #include "lock_word.h"
     38 #include "mem_map.h"
     39 #include "oat_file.h"
     40 #include "mirror/dex_cache.h"
     41 #include "os.h"
     42 #include "safe_map.h"
     43 #include "utils.h"
     44 
     45 namespace art {
     46 namespace gc {
     47 namespace space {
     48 class ImageSpace;
     49 }  // namespace space
     50 }  // namespace gc
     51 
     52 class ClassTable;
     53 
     54 static constexpr int kInvalidFd = -1;
     55 
     56 // Write a Space built during compilation for use during execution.
     57 class ImageWriter FINAL {
     58  public:
     59   ImageWriter(const CompilerDriver& compiler_driver,
     60               uintptr_t image_begin,
     61               bool compile_pic,
     62               bool compile_app_image,
     63               ImageHeader::StorageMode image_storage_mode,
     64               const std::vector<const char*>& oat_filenames,
     65               const std::unordered_map<const DexFile*, size_t>& dex_file_oat_index_map);
     66 
     67   bool PrepareImageAddressSpace();
     68 
     69   bool IsImageAddressSpaceReady() const {
     70     DCHECK(!image_infos_.empty());
     71     for (const ImageInfo& image_info : image_infos_) {
     72       if (image_info.image_roots_address_ == 0u) {
     73         return false;
     74       }
     75     }
     76     return true;
     77   }
     78 
     79   template <typename T>
     80   T* GetImageAddress(T* object) const SHARED_REQUIRES(Locks::mutator_lock_) {
     81     if (object == nullptr || IsInBootImage(object)) {
     82       return object;
     83     } else {
     84       size_t oat_index = GetOatIndex(object);
     85       const ImageInfo& image_info = GetImageInfo(oat_index);
     86       return reinterpret_cast<T*>(image_info.image_begin_ + GetImageOffset(object));
     87     }
     88   }
     89 
     90   ArtMethod* GetImageMethodAddress(ArtMethod* method) SHARED_REQUIRES(Locks::mutator_lock_);
     91 
     92   template <typename PtrType>
     93   PtrType GetDexCacheArrayElementImageAddress(const DexFile* dex_file, uint32_t offset)
     94       const SHARED_REQUIRES(Locks::mutator_lock_) {
     95     auto oat_it = dex_file_oat_index_map_.find(dex_file);
     96     DCHECK(oat_it != dex_file_oat_index_map_.end());
     97     const ImageInfo& image_info = GetImageInfo(oat_it->second);
     98     auto it = image_info.dex_cache_array_starts_.find(dex_file);
     99     DCHECK(it != image_info.dex_cache_array_starts_.end());
    100     return reinterpret_cast<PtrType>(
    101         image_info.image_begin_ + image_info.bin_slot_offsets_[kBinDexCacheArray] +
    102             it->second + offset);
    103   }
    104 
    105   size_t GetOatFileOffset(size_t oat_index) const {
    106     return GetImageInfo(oat_index).oat_offset_;
    107   }
    108 
    109   const uint8_t* GetOatFileBegin(size_t oat_index) const {
    110     return GetImageInfo(oat_index).oat_file_begin_;
    111   }
    112 
    113   // If image_fd is not kInvalidFd, then we use that for the image file. Otherwise we open
    114   // the names in image_filenames.
    115   // If oat_fd is not kInvalidFd, then we use that for the oat file. Otherwise we open
    116   // the names in oat_filenames.
    117   bool Write(int image_fd,
    118              const std::vector<const char*>& image_filenames,
    119              const std::vector<const char*>& oat_filenames)
    120       REQUIRES(!Locks::mutator_lock_);
    121 
    122   uintptr_t GetOatDataBegin(size_t oat_index) {
    123     return reinterpret_cast<uintptr_t>(GetImageInfo(oat_index).oat_data_begin_);
    124   }
    125 
    126   // Get the index of the oat file containing the dex file.
    127   //
    128   // This "oat_index" is used to retrieve information about the the memory layout
    129   // of the oat file and its associated image file, needed for link-time patching
    130   // of references to the image or across oat files.
    131   size_t GetOatIndexForDexFile(const DexFile* dex_file) const;
    132 
    133   // Get the index of the oat file containing the dex file served by the dex cache.
    134   size_t GetOatIndexForDexCache(mirror::DexCache* dex_cache) const
    135       SHARED_REQUIRES(Locks::mutator_lock_);
    136 
    137   // Update the oat layout for the given oat file.
    138   // This will make the oat_offset for the next oat file valid.
    139   void UpdateOatFileLayout(size_t oat_index,
    140                            size_t oat_loaded_size,
    141                            size_t oat_data_offset,
    142                            size_t oat_data_size);
    143   // Update information about the oat header, i.e. checksum and trampoline offsets.
    144   void UpdateOatFileHeader(size_t oat_index, const OatHeader& oat_header);
    145 
    146  private:
    147   using WorkStack = std::stack<std::pair<mirror::Object*, size_t>>;
    148 
    149   bool AllocMemory();
    150 
    151   // Mark the objects defined in this space in the given live bitmap.
    152   void RecordImageAllocations() SHARED_REQUIRES(Locks::mutator_lock_);
    153 
    154   // Classify different kinds of bins that objects end up getting packed into during image writing.
    155   // Ordered from dirtiest to cleanest (until ArtMethods).
    156   enum Bin {
    157     kBinMiscDirty,                // Dex caches, object locks, etc...
    158     kBinClassVerified,            // Class verified, but initializers haven't been run
    159     // Unknown mix of clean/dirty:
    160     kBinRegular,
    161     kBinClassInitialized,         // Class initializers have been run
    162     // All classes get their own bins since their fields often dirty
    163     kBinClassInitializedFinalStatics,  // Class initializers have been run, no non-final statics
    164     // Likely-clean:
    165     kBinString,                        // [String] Almost always immutable (except for obj header).
    166     // Add more bins here if we add more segregation code.
    167     // Non mirror fields must be below.
    168     // ArtFields should be always clean.
    169     kBinArtField,
    170     // If the class is initialized, then the ArtMethods are probably clean.
    171     kBinArtMethodClean,
    172     // ArtMethods may be dirty if the class has native methods or a declaring class that isn't
    173     // initialized.
    174     kBinArtMethodDirty,
    175     // IMT (clean)
    176     kBinImTable,
    177     // Conflict tables (clean).
    178     kBinIMTConflictTable,
    179     // Runtime methods (always clean, do not have a length prefix array).
    180     kBinRuntimeMethod,
    181     // Dex cache arrays have a special slot for PC-relative addressing. Since they are
    182     // huge, and as such their dirtiness is not important for the clean/dirty separation,
    183     // we arbitrarily keep them at the end of the native data.
    184     kBinDexCacheArray,            // Arrays belonging to dex cache.
    185     kBinSize,
    186     // Number of bins which are for mirror objects.
    187     kBinMirrorCount = kBinArtField,
    188   };
    189   friend std::ostream& operator<<(std::ostream& stream, const Bin& bin);
    190 
    191   enum NativeObjectRelocationType {
    192     kNativeObjectRelocationTypeArtField,
    193     kNativeObjectRelocationTypeArtFieldArray,
    194     kNativeObjectRelocationTypeArtMethodClean,
    195     kNativeObjectRelocationTypeArtMethodArrayClean,
    196     kNativeObjectRelocationTypeArtMethodDirty,
    197     kNativeObjectRelocationTypeArtMethodArrayDirty,
    198     kNativeObjectRelocationTypeRuntimeMethod,
    199     kNativeObjectRelocationTypeIMTable,
    200     kNativeObjectRelocationTypeIMTConflictTable,
    201     kNativeObjectRelocationTypeDexCacheArray,
    202   };
    203   friend std::ostream& operator<<(std::ostream& stream, const NativeObjectRelocationType& type);
    204 
    205   enum OatAddress {
    206     kOatAddressInterpreterToInterpreterBridge,
    207     kOatAddressInterpreterToCompiledCodeBridge,
    208     kOatAddressJNIDlsymLookup,
    209     kOatAddressQuickGenericJNITrampoline,
    210     kOatAddressQuickIMTConflictTrampoline,
    211     kOatAddressQuickResolutionTrampoline,
    212     kOatAddressQuickToInterpreterBridge,
    213     // Number of elements in the enum.
    214     kOatAddressCount,
    215   };
    216   friend std::ostream& operator<<(std::ostream& stream, const OatAddress& oat_address);
    217 
    218   static constexpr size_t kBinBits = MinimumBitsToStore<uint32_t>(kBinMirrorCount - 1);
    219   // uint32 = typeof(lockword_)
    220   // Subtract read barrier bits since we want these to remain 0, or else it may result in DCHECK
    221   // failures due to invalid read barrier bits during object field reads.
    222   static const size_t kBinShift = BitSizeOf<uint32_t>() - kBinBits -
    223       LockWord::kReadBarrierStateSize;
    224   // 111000.....0
    225   static const size_t kBinMask = ((static_cast<size_t>(1) << kBinBits) - 1) << kBinShift;
    226 
    227   // We use the lock word to store the bin # and bin index of the object in the image.
    228   //
    229   // The struct size must be exactly sizeof(LockWord), currently 32-bits, since this will end up
    230   // stored in the lock word bit-for-bit when object forwarding addresses are being calculated.
    231   struct BinSlot {
    232     explicit BinSlot(uint32_t lockword);
    233     BinSlot(Bin bin, uint32_t index);
    234 
    235     // The bin an object belongs to, i.e. regular, class/verified, class/initialized, etc.
    236     Bin GetBin() const;
    237     // The offset in bytes from the beginning of the bin. Aligned to object size.
    238     uint32_t GetIndex() const;
    239     // Pack into a single uint32_t, for storing into a lock word.
    240     uint32_t Uint32Value() const { return lockword_; }
    241     // Comparison operator for map support
    242     bool operator<(const BinSlot& other) const  { return lockword_ < other.lockword_; }
    243 
    244   private:
    245     // Must be the same size as LockWord, any larger and we would truncate the data.
    246     const uint32_t lockword_;
    247   };
    248 
    249   struct ImageInfo {
    250     ImageInfo();
    251     ImageInfo(ImageInfo&&) = default;
    252 
    253     // Create the image sections into the out sections variable, returns the size of the image
    254     // excluding the bitmap.
    255     size_t CreateImageSections(ImageSection* out_sections) const;
    256 
    257     std::unique_ptr<MemMap> image_;  // Memory mapped for generating the image.
    258 
    259     // Target begin of this image. Notes: It is not valid to write here, this is the address
    260     // of the target image, not necessarily where image_ is mapped. The address is only valid
    261     // after layouting (otherwise null).
    262     uint8_t* image_begin_ = nullptr;
    263 
    264     // Offset to the free space in image_, initially size of image header.
    265     size_t image_end_ = RoundUp(sizeof(ImageHeader), kObjectAlignment);
    266     uint32_t image_roots_address_ = 0;  // The image roots address in the image.
    267     size_t image_offset_ = 0;  // Offset of this image from the start of the first image.
    268 
    269     // Image size is the *address space* covered by this image. As the live bitmap is aligned
    270     // to the page size, the live bitmap will cover more address space than necessary. But live
    271     // bitmaps may not overlap, so an image has a "shadow," which is accounted for in the size.
    272     // The next image may only start at image_begin_ + image_size_ (which is guaranteed to be
    273     // page-aligned).
    274     size_t image_size_ = 0;
    275 
    276     // Oat data.
    277     // Offset of the oat file for this image from start of oat files. This is
    278     // valid when the previous oat file has been written.
    279     size_t oat_offset_ = 0;
    280     // Layout of the loaded ELF file containing the oat file, valid after UpdateOatFileLayout().
    281     const uint8_t* oat_file_begin_ = nullptr;
    282     size_t oat_loaded_size_ = 0;
    283     const uint8_t* oat_data_begin_ = nullptr;
    284     size_t oat_size_ = 0;  // Size of the corresponding oat data.
    285     // The oat header checksum, valid after UpdateOatFileHeader().
    286     uint32_t oat_checksum_ = 0u;
    287 
    288     // Image bitmap which lets us know where the objects inside of the image reside.
    289     std::unique_ptr<gc::accounting::ContinuousSpaceBitmap> image_bitmap_;
    290 
    291     // The start offsets of the dex cache arrays.
    292     SafeMap<const DexFile*, size_t> dex_cache_array_starts_;
    293 
    294     // Offset from oat_data_begin_ to the stubs.
    295     uint32_t oat_address_offsets_[kOatAddressCount] = {};
    296 
    297     // Bin slot tracking for dirty object packing.
    298     size_t bin_slot_sizes_[kBinSize] = {};  // Number of bytes in a bin.
    299     size_t bin_slot_offsets_[kBinSize] = {};  // Number of bytes in previous bins.
    300     size_t bin_slot_count_[kBinSize] = {};  // Number of objects in a bin.
    301 
    302     // Cached size of the intern table for when we allocate memory.
    303     size_t intern_table_bytes_ = 0;
    304 
    305     // Number of image class table bytes.
    306     size_t class_table_bytes_ = 0;
    307 
    308     // Intern table associated with this image for serialization.
    309     std::unique_ptr<InternTable> intern_table_;
    310 
    311     // Class table associated with this image for serialization.
    312     std::unique_ptr<ClassTable> class_table_;
    313   };
    314 
    315   // We use the lock word to store the offset of the object in the image.
    316   void AssignImageOffset(mirror::Object* object, BinSlot bin_slot)
    317       SHARED_REQUIRES(Locks::mutator_lock_);
    318   void SetImageOffset(mirror::Object* object, size_t offset)
    319       SHARED_REQUIRES(Locks::mutator_lock_);
    320   bool IsImageOffsetAssigned(mirror::Object* object) const
    321       SHARED_REQUIRES(Locks::mutator_lock_);
    322   size_t GetImageOffset(mirror::Object* object) const SHARED_REQUIRES(Locks::mutator_lock_);
    323   void UpdateImageOffset(mirror::Object* obj, uintptr_t offset)
    324       SHARED_REQUIRES(Locks::mutator_lock_);
    325 
    326   void PrepareDexCacheArraySlots() SHARED_REQUIRES(Locks::mutator_lock_);
    327   void AssignImageBinSlot(mirror::Object* object, size_t oat_index)
    328       SHARED_REQUIRES(Locks::mutator_lock_);
    329   mirror::Object* TryAssignBinSlot(WorkStack& work_stack, mirror::Object* obj, size_t oat_index)
    330       SHARED_REQUIRES(Locks::mutator_lock_);
    331   void SetImageBinSlot(mirror::Object* object, BinSlot bin_slot)
    332       SHARED_REQUIRES(Locks::mutator_lock_);
    333   bool IsImageBinSlotAssigned(mirror::Object* object) const
    334       SHARED_REQUIRES(Locks::mutator_lock_);
    335   BinSlot GetImageBinSlot(mirror::Object* object) const SHARED_REQUIRES(Locks::mutator_lock_);
    336 
    337   void AddDexCacheArrayRelocation(void* array, size_t offset, mirror::DexCache* dex_cache)
    338       SHARED_REQUIRES(Locks::mutator_lock_);
    339   void AddMethodPointerArray(mirror::PointerArray* arr) SHARED_REQUIRES(Locks::mutator_lock_);
    340 
    341   static void* GetImageAddressCallback(void* writer, mirror::Object* obj)
    342       SHARED_REQUIRES(Locks::mutator_lock_) {
    343     return reinterpret_cast<ImageWriter*>(writer)->GetImageAddress(obj);
    344   }
    345 
    346   mirror::Object* GetLocalAddress(mirror::Object* object) const
    347       SHARED_REQUIRES(Locks::mutator_lock_) {
    348     size_t offset = GetImageOffset(object);
    349     size_t oat_index = GetOatIndex(object);
    350     const ImageInfo& image_info = GetImageInfo(oat_index);
    351     uint8_t* dst = image_info.image_->Begin() + offset;
    352     return reinterpret_cast<mirror::Object*>(dst);
    353   }
    354 
    355   // Returns the address in the boot image if we are compiling the app image.
    356   const uint8_t* GetOatAddress(OatAddress type) const;
    357 
    358   const uint8_t* GetOatAddressForOffset(uint32_t offset, const ImageInfo& image_info) const {
    359     // With Quick, code is within the OatFile, as there are all in one
    360     // .o ELF object. But interpret it as signed.
    361     DCHECK_LE(static_cast<int32_t>(offset), static_cast<int32_t>(image_info.oat_size_));
    362     DCHECK(image_info.oat_data_begin_ != nullptr);
    363     return offset == 0u ? nullptr : image_info.oat_data_begin_ + static_cast<int32_t>(offset);
    364   }
    365 
    366   // Returns true if the class was in the original requested image classes list.
    367   bool KeepClass(mirror::Class* klass) SHARED_REQUIRES(Locks::mutator_lock_);
    368 
    369   // Debug aid that list of requested image classes.
    370   void DumpImageClasses();
    371 
    372   // Preinitializes some otherwise lazy fields (such as Class name) to avoid runtime image dirtying.
    373   void ComputeLazyFieldsForImageClasses()
    374       SHARED_REQUIRES(Locks::mutator_lock_);
    375 
    376   // Remove unwanted classes from various roots.
    377   void PruneNonImageClasses() SHARED_REQUIRES(Locks::mutator_lock_);
    378 
    379   // Verify unwanted classes removed.
    380   void CheckNonImageClassesRemoved() SHARED_REQUIRES(Locks::mutator_lock_);
    381   static void CheckNonImageClassesRemovedCallback(mirror::Object* obj, void* arg)
    382       SHARED_REQUIRES(Locks::mutator_lock_);
    383 
    384   // Lays out where the image objects will be at runtime.
    385   void CalculateNewObjectOffsets()
    386       SHARED_REQUIRES(Locks::mutator_lock_);
    387   void ProcessWorkStack(WorkStack* work_stack)
    388       SHARED_REQUIRES(Locks::mutator_lock_);
    389   void CreateHeader(size_t oat_index)
    390       SHARED_REQUIRES(Locks::mutator_lock_);
    391   mirror::ObjectArray<mirror::Object>* CreateImageRoots(size_t oat_index) const
    392       SHARED_REQUIRES(Locks::mutator_lock_);
    393   void UnbinObjectsIntoOffset(mirror::Object* obj)
    394       SHARED_REQUIRES(Locks::mutator_lock_);
    395 
    396   static void EnsureBinSlotAssignedCallback(mirror::Object* obj, void* arg)
    397       SHARED_REQUIRES(Locks::mutator_lock_);
    398   static void DeflateMonitorCallback(mirror::Object* obj, void* arg)
    399       SHARED_REQUIRES(Locks::mutator_lock_);
    400   static void UnbinObjectsIntoOffsetCallback(mirror::Object* obj, void* arg)
    401       SHARED_REQUIRES(Locks::mutator_lock_);
    402 
    403   // Creates the contiguous image in memory and adjusts pointers.
    404   void CopyAndFixupNativeData(size_t oat_index) SHARED_REQUIRES(Locks::mutator_lock_);
    405   void CopyAndFixupObjects() SHARED_REQUIRES(Locks::mutator_lock_);
    406   static void CopyAndFixupObjectsCallback(mirror::Object* obj, void* arg)
    407       SHARED_REQUIRES(Locks::mutator_lock_);
    408   void CopyAndFixupObject(mirror::Object* obj) SHARED_REQUIRES(Locks::mutator_lock_);
    409   void CopyAndFixupMethod(ArtMethod* orig, ArtMethod* copy, const ImageInfo& image_info)
    410       SHARED_REQUIRES(Locks::mutator_lock_);
    411   void CopyAndFixupImTable(ImTable* orig, ImTable* copy) SHARED_REQUIRES(Locks::mutator_lock_);
    412   void CopyAndFixupImtConflictTable(ImtConflictTable* orig, ImtConflictTable* copy)
    413       SHARED_REQUIRES(Locks::mutator_lock_);
    414   void FixupClass(mirror::Class* orig, mirror::Class* copy)
    415       SHARED_REQUIRES(Locks::mutator_lock_);
    416   void FixupObject(mirror::Object* orig, mirror::Object* copy)
    417       SHARED_REQUIRES(Locks::mutator_lock_);
    418   void FixupDexCache(mirror::DexCache* orig_dex_cache, mirror::DexCache* copy_dex_cache)
    419       SHARED_REQUIRES(Locks::mutator_lock_);
    420   void FixupPointerArray(mirror::Object* dst,
    421                          mirror::PointerArray* arr,
    422                          mirror::Class* klass,
    423                          Bin array_type)
    424       SHARED_REQUIRES(Locks::mutator_lock_);
    425 
    426   // Get quick code for non-resolution/imt_conflict/abstract method.
    427   const uint8_t* GetQuickCode(ArtMethod* method,
    428                               const ImageInfo& image_info,
    429                               bool* quick_is_interpreted)
    430       SHARED_REQUIRES(Locks::mutator_lock_);
    431 
    432   // Calculate the sum total of the bin slot sizes in [0, up_to). Defaults to all bins.
    433   size_t GetBinSizeSum(ImageInfo& image_info, Bin up_to = kBinSize) const;
    434 
    435   // Return true if a method is likely to be dirtied at runtime.
    436   bool WillMethodBeDirty(ArtMethod* m) const SHARED_REQUIRES(Locks::mutator_lock_);
    437 
    438   // Assign the offset for an ArtMethod.
    439   void AssignMethodOffset(ArtMethod* method,
    440                           NativeObjectRelocationType type,
    441                           size_t oat_index)
    442       SHARED_REQUIRES(Locks::mutator_lock_);
    443 
    444   void TryAssignImTableOffset(ImTable* imt, size_t oat_index) SHARED_REQUIRES(Locks::mutator_lock_);
    445 
    446   // Assign the offset for an IMT conflict table. Does nothing if the table already has a native
    447   // relocation.
    448   void TryAssignConflictTableOffset(ImtConflictTable* table, size_t oat_index)
    449       SHARED_REQUIRES(Locks::mutator_lock_);
    450 
    451   // Return true if klass is loaded by the boot class loader but not in the boot image.
    452   bool IsBootClassLoaderNonImageClass(mirror::Class* klass) SHARED_REQUIRES(Locks::mutator_lock_);
    453 
    454   // Return true if klass depends on a boot class loader non image class. We want to prune these
    455   // classes since we do not want any boot class loader classes in the image. This means that
    456   // we also cannot have any classes which refer to these boot class loader non image classes.
    457   // PruneAppImageClass also prunes if klass depends on a non-image class according to the compiler
    458   // driver.
    459   bool PruneAppImageClass(mirror::Class* klass)
    460       SHARED_REQUIRES(Locks::mutator_lock_);
    461 
    462   // early_exit is true if we had a cyclic dependency anywhere down the chain.
    463   bool PruneAppImageClassInternal(mirror::Class* klass,
    464                                   bool* early_exit,
    465                                   std::unordered_set<mirror::Class*>* visited)
    466       SHARED_REQUIRES(Locks::mutator_lock_);
    467 
    468   bool IsMultiImage() const {
    469     return image_infos_.size() > 1;
    470   }
    471 
    472   static Bin BinTypeForNativeRelocationType(NativeObjectRelocationType type);
    473 
    474   uintptr_t NativeOffsetInImage(void* obj) SHARED_REQUIRES(Locks::mutator_lock_);
    475 
    476   // Location of where the object will be when the image is loaded at runtime.
    477   template <typename T>
    478   T* NativeLocationInImage(T* obj) SHARED_REQUIRES(Locks::mutator_lock_);
    479 
    480   // Location of where the temporary copy of the object currently is.
    481   template <typename T>
    482   T* NativeCopyLocation(T* obj, mirror::DexCache* dex_cache) SHARED_REQUIRES(Locks::mutator_lock_);
    483 
    484   // Return true of obj is inside of the boot image space. This may only return true if we are
    485   // compiling an app image.
    486   bool IsInBootImage(const void* obj) const;
    487 
    488   // Return true if ptr is within the boot oat file.
    489   bool IsInBootOatFile(const void* ptr) const;
    490 
    491   // Get the index of the oat file associated with the object.
    492   size_t GetOatIndex(mirror::Object* object) const SHARED_REQUIRES(Locks::mutator_lock_);
    493 
    494   // The oat index for shared data in multi-image and all data in single-image compilation.
    495   size_t GetDefaultOatIndex() const {
    496     return 0u;
    497   }
    498 
    499   ImageInfo& GetImageInfo(size_t oat_index) {
    500     return image_infos_[oat_index];
    501   }
    502 
    503   const ImageInfo& GetImageInfo(size_t oat_index) const {
    504     return image_infos_[oat_index];
    505   }
    506 
    507   // Find an already strong interned string in the other images or in the boot image. Used to
    508   // remove duplicates in the multi image and app image case.
    509   mirror::String* FindInternedString(mirror::String* string) SHARED_REQUIRES(Locks::mutator_lock_);
    510 
    511   // Return true if there already exists a native allocation for an object.
    512   bool NativeRelocationAssigned(void* ptr) const;
    513 
    514   const CompilerDriver& compiler_driver_;
    515 
    516   // Beginning target image address for the first image.
    517   uint8_t* global_image_begin_;
    518 
    519   // Offset from image_begin_ to where the first object is in image_.
    520   size_t image_objects_offset_begin_;
    521 
    522   // Pointer arrays that need to be updated. Since these are only some int and long arrays, we need
    523   // to keep track. These include vtable arrays, iftable arrays, and dex caches.
    524   std::unordered_map<mirror::PointerArray*, Bin> pointer_arrays_;
    525 
    526   // Saved hash codes. We use these to restore lockwords which were temporarily used to have
    527   // forwarding addresses as well as copying over hash codes.
    528   std::unordered_map<mirror::Object*, uint32_t> saved_hashcode_map_;
    529 
    530   // Oat index map for objects.
    531   std::unordered_map<mirror::Object*, uint32_t> oat_index_map_;
    532 
    533   // Boolean flags.
    534   const bool compile_pic_;
    535   const bool compile_app_image_;
    536 
    537   // Size of pointers on the target architecture.
    538   size_t target_ptr_size_;
    539 
    540   // Image data indexed by the oat file index.
    541   dchecked_vector<ImageInfo> image_infos_;
    542 
    543   // ArtField, ArtMethod relocating map. These are allocated as array of structs but we want to
    544   // have one entry per art field for convenience. ArtFields are placed right after the end of the
    545   // image objects (aka sum of bin_slot_sizes_). ArtMethods are placed right after the ArtFields.
    546   struct NativeObjectRelocation {
    547     size_t oat_index;
    548     uintptr_t offset;
    549     NativeObjectRelocationType type;
    550 
    551     bool IsArtMethodRelocation() const {
    552       return type == kNativeObjectRelocationTypeArtMethodClean ||
    553           type == kNativeObjectRelocationTypeArtMethodDirty ||
    554           type == kNativeObjectRelocationTypeRuntimeMethod;
    555     }
    556   };
    557   std::unordered_map<void*, NativeObjectRelocation> native_object_relocations_;
    558 
    559   // Runtime ArtMethods which aren't reachable from any Class but need to be copied into the image.
    560   ArtMethod* image_methods_[ImageHeader::kImageMethodsCount];
    561 
    562   // Counters for measurements, used for logging only.
    563   uint64_t dirty_methods_;
    564   uint64_t clean_methods_;
    565 
    566   // Prune class memoization table to speed up ContainsBootClassLoaderNonImageClass.
    567   std::unordered_map<mirror::Class*, bool> prune_class_memo_;
    568 
    569   // Class loaders with a class table to write out. There should only be one class loader because
    570   // dex2oat loads the dex files to be compiled into a single class loader. For the boot image,
    571   // null is a valid entry.
    572   std::unordered_set<mirror::ClassLoader*> class_loaders_;
    573 
    574   // Which mode the image is stored as, see image.h
    575   const ImageHeader::StorageMode image_storage_mode_;
    576 
    577   // The file names of oat files.
    578   const std::vector<const char*>& oat_filenames_;
    579 
    580   // Map of dex files to the indexes of oat files that they were compiled into.
    581   const std::unordered_map<const DexFile*, size_t>& dex_file_oat_index_map_;
    582 
    583   friend class ContainsBootClassLoaderNonImageClassVisitor;
    584   friend class FixupClassVisitor;
    585   friend class FixupRootVisitor;
    586   friend class FixupVisitor;
    587   class GetRootsVisitor;
    588   friend class NativeLocationVisitor;
    589   friend class NonImageClassesVisitor;
    590   class VisitReferencesVisitor;
    591   DISALLOW_COPY_AND_ASSIGN(ImageWriter);
    592 };
    593 
    594 }  // namespace art
    595 
    596 #endif  // ART_COMPILER_IMAGE_WRITER_H_
    597