Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2014 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_PATCHOAT_PATCHOAT_H_ |
| 18 | #define ART_PATCHOAT_PATCHOAT_H_ |
| 19 | |
Ian Rogers | d582fa4 | 2014-11-05 23:46:43 -0800 | [diff] [blame] | 20 | #include "arch/instruction_set.h" |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 21 | #include "base/macros.h" |
| 22 | #include "base/mutex.h" |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 23 | #include "elf_file.h" |
| 24 | #include "elf_utils.h" |
| 25 | #include "gc/accounting/space_bitmap.h" |
| 26 | #include "gc/heap.h" |
Ian Rogers | d582fa4 | 2014-11-05 23:46:43 -0800 | [diff] [blame] | 27 | #include "os.h" |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 28 | |
| 29 | namespace art { |
| 30 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 31 | class ArtMethod; |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 32 | class ImageHeader; |
Igor Murashkin | 4677476 | 2014-10-22 11:37:02 -0700 | [diff] [blame] | 33 | class OatHeader; |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 34 | |
| 35 | namespace mirror { |
| 36 | class Object; |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 37 | class PointerArray; |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 38 | class Reference; |
| 39 | class Class; |
Andreas Gampe | c8ccf68 | 2014-09-29 20:07:43 -0700 | [diff] [blame] | 40 | } // namespace mirror |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 41 | |
| 42 | class PatchOat { |
| 43 | public: |
Igor Murashkin | 4677476 | 2014-10-22 11:37:02 -0700 | [diff] [blame] | 44 | // Patch only the oat file |
| 45 | static bool Patch(File* oat_in, off_t delta, File* oat_out, TimingLogger* timings, |
| 46 | bool output_oat_opened_from_fd, // Was this using --oatput-oat-fd ? |
| 47 | bool new_oat_out); // Output oat was a new file created by us? |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 48 | |
Igor Murashkin | 4677476 | 2014-10-22 11:37:02 -0700 | [diff] [blame] | 49 | // Patch only the image (art file) |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 50 | static bool Patch(const std::string& art_location, off_t delta, File* art_out, InstructionSet isa, |
Alex Light | eefbe39 | 2014-07-08 09:53:18 -0700 | [diff] [blame] | 51 | TimingLogger* timings); |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 52 | |
Igor Murashkin | 4677476 | 2014-10-22 11:37:02 -0700 | [diff] [blame] | 53 | // Patch both the image and the oat file |
| 54 | static bool Patch(File* oat_in, const std::string& art_location, |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 55 | off_t delta, File* oat_out, File* art_out, InstructionSet isa, |
Igor Murashkin | 4677476 | 2014-10-22 11:37:02 -0700 | [diff] [blame] | 56 | TimingLogger* timings, |
| 57 | bool output_oat_opened_from_fd, // Was this using --oatput-oat-fd ? |
| 58 | bool new_oat_out); // Output oat was a new file created by us? |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 59 | |
| 60 | private: |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 61 | // Takes ownership only of the ElfFile. All other pointers are only borrowed. |
Alex Light | eefbe39 | 2014-07-08 09:53:18 -0700 | [diff] [blame] | 62 | PatchOat(ElfFile* oat_file, off_t delta, TimingLogger* timings) |
Ian Rogers | d4c4d95 | 2014-10-16 20:31:53 -0700 | [diff] [blame] | 63 | : oat_file_(oat_file), image_(nullptr), bitmap_(nullptr), heap_(nullptr), delta_(delta), |
Mathieu Chartier | 2d72101 | 2014-11-10 11:08:06 -0800 | [diff] [blame] | 64 | isa_(kNone), timings_(timings) {} |
| 65 | PatchOat(InstructionSet isa, MemMap* image, gc::accounting::ContinuousSpaceBitmap* bitmap, |
Alex Light | eefbe39 | 2014-07-08 09:53:18 -0700 | [diff] [blame] | 66 | MemMap* heap, off_t delta, TimingLogger* timings) |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 67 | : image_(image), bitmap_(bitmap), heap_(heap), |
Mathieu Chartier | 2d72101 | 2014-11-10 11:08:06 -0800 | [diff] [blame] | 68 | delta_(delta), isa_(isa), timings_(timings) {} |
| 69 | PatchOat(InstructionSet isa, ElfFile* oat_file, MemMap* image, |
| 70 | gc::accounting::ContinuousSpaceBitmap* bitmap, MemMap* heap, off_t delta, |
| 71 | TimingLogger* timings) |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 72 | : oat_file_(oat_file), image_(image), bitmap_(bitmap), heap_(heap), |
Mathieu Chartier | 2d72101 | 2014-11-10 11:08:06 -0800 | [diff] [blame] | 73 | delta_(delta), isa_(isa), timings_(timings) {} |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 74 | ~PatchOat() {} |
| 75 | |
Igor Murashkin | 4677476 | 2014-10-22 11:37:02 -0700 | [diff] [blame] | 76 | // Was the .art image at image_path made with --compile-pic ? |
| 77 | static bool IsImagePic(const ImageHeader& image_header, const std::string& image_path); |
| 78 | |
| 79 | enum MaybePic { |
| 80 | NOT_PIC, // Code not pic. Patch as usual. |
| 81 | PIC, // Code was pic. Create symlink; skip OAT patching. |
| 82 | ERROR_OAT_FILE, // Failed to symlink oat file |
| 83 | ERROR_FIRST = ERROR_OAT_FILE, |
| 84 | }; |
| 85 | |
| 86 | // Was the .oat image at oat_in made with --compile-pic ? |
| 87 | static MaybePic IsOatPic(const ElfFile* oat_in); |
| 88 | |
| 89 | // Attempt to replace the file with a symlink |
| 90 | // Returns false if it fails |
| 91 | static bool ReplaceOatFileWithSymlink(const std::string& input_oat_filename, |
| 92 | const std::string& output_oat_filename, |
| 93 | bool output_oat_opened_from_fd, |
| 94 | bool new_oat_out); // Output oat was newly created? |
| 95 | |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 96 | static void BitmapCallback(mirror::Object* obj, void* arg) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 97 | SHARED_REQUIRES(Locks::mutator_lock_) { |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 98 | reinterpret_cast<PatchOat*>(arg)->VisitObject(obj); |
| 99 | } |
| 100 | |
| 101 | void VisitObject(mirror::Object* obj) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 102 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 103 | void FixupMethod(ArtMethod* object, ArtMethod* copy) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 104 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 105 | void FixupNativePointerArray(mirror::PointerArray* object) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 106 | SHARED_REQUIRES(Locks::mutator_lock_); |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 107 | bool InHeap(mirror::Object*); |
| 108 | |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 109 | // Patches oat in place, modifying the oat_file given to the constructor. |
| 110 | bool PatchElf(); |
Tong Shen | 62d1ca3 | 2014-09-03 17:24:56 -0700 | [diff] [blame] | 111 | template <typename ElfFileImpl> |
| 112 | bool PatchElf(ElfFileImpl* oat_file); |
| 113 | template <typename ElfFileImpl> |
Tong Shen | 62d1ca3 | 2014-09-03 17:24:56 -0700 | [diff] [blame] | 114 | bool PatchOatHeader(ElfFileImpl* oat_file); |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 115 | |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 116 | bool PatchImage() SHARED_REQUIRES(Locks::mutator_lock_); |
| 117 | void PatchArtFields(const ImageHeader* image_header) SHARED_REQUIRES(Locks::mutator_lock_); |
| 118 | void PatchArtMethods(const ImageHeader* image_header) SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | d39645e | 2015-06-09 17:50:29 -0700 | [diff] [blame] | 119 | void PatchInternedStrings(const ImageHeader* image_header) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 120 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 121 | void PatchDexFileArrays(mirror::ObjectArray<mirror::Object>* img_roots) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 122 | SHARED_REQUIRES(Locks::mutator_lock_); |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 123 | |
| 124 | bool WriteElf(File* out); |
| 125 | bool WriteImage(File* out); |
| 126 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 127 | template <typename T> |
Mathieu Chartier | d39645e | 2015-06-09 17:50:29 -0700 | [diff] [blame] | 128 | T* RelocatedCopyOf(T* obj) const { |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 129 | if (obj == nullptr) { |
| 130 | return nullptr; |
| 131 | } |
| 132 | DCHECK_GT(reinterpret_cast<uintptr_t>(obj), reinterpret_cast<uintptr_t>(heap_->Begin())); |
| 133 | DCHECK_LT(reinterpret_cast<uintptr_t>(obj), reinterpret_cast<uintptr_t>(heap_->End())); |
| 134 | uintptr_t heap_off = |
| 135 | reinterpret_cast<uintptr_t>(obj) - reinterpret_cast<uintptr_t>(heap_->Begin()); |
| 136 | DCHECK_LT(heap_off, image_->Size()); |
| 137 | return reinterpret_cast<T*>(image_->Begin() + heap_off); |
| 138 | } |
| 139 | |
| 140 | template <typename T> |
Mathieu Chartier | d39645e | 2015-06-09 17:50:29 -0700 | [diff] [blame] | 141 | T* RelocatedAddressOfPointer(T* obj) const { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 142 | if (obj == nullptr) { |
| 143 | return obj; |
| 144 | } |
| 145 | auto ret = reinterpret_cast<uintptr_t>(obj) + delta_; |
| 146 | // Trim off high bits in case negative relocation with 64 bit patchoat. |
| 147 | if (InstructionSetPointerSize(isa_) == sizeof(uint32_t)) { |
| 148 | ret = static_cast<uintptr_t>(static_cast<uint32_t>(ret)); |
| 149 | } |
| 150 | return reinterpret_cast<T*>(ret); |
| 151 | } |
| 152 | |
| 153 | template <typename T> |
Mathieu Chartier | d39645e | 2015-06-09 17:50:29 -0700 | [diff] [blame] | 154 | T RelocatedAddressOfIntPointer(T obj) const { |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 155 | if (obj == 0) { |
| 156 | return obj; |
| 157 | } |
| 158 | T ret = obj + delta_; |
| 159 | // Trim off high bits in case negative relocation with 64 bit patchoat. |
| 160 | if (InstructionSetPointerSize(isa_) == 4) { |
| 161 | ret = static_cast<T>(static_cast<uint32_t>(ret)); |
| 162 | } |
| 163 | return ret; |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 164 | } |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 165 | |
Igor Murashkin | 4677476 | 2014-10-22 11:37:02 -0700 | [diff] [blame] | 166 | // Look up the oat header from any elf file. |
| 167 | static const OatHeader* GetOatHeader(const ElfFile* elf_file); |
| 168 | |
| 169 | // Templatized version to actually look up the oat header |
| 170 | template <typename ElfFileImpl> |
| 171 | static const OatHeader* GetOatHeader(const ElfFileImpl* elf_file); |
| 172 | |
Alex Light | eefbe39 | 2014-07-08 09:53:18 -0700 | [diff] [blame] | 173 | // Walks through the old image and patches the mmap'd copy of it to the new offset. It does not |
| 174 | // change the heap. |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 175 | class PatchVisitor { |
| 176 | public: |
| 177 | PatchVisitor(PatchOat* patcher, mirror::Object* copy) : patcher_(patcher), copy_(copy) {} |
| 178 | ~PatchVisitor() {} |
| 179 | void operator() (mirror::Object* obj, MemberOffset off, bool b) const |
Mathieu Chartier | da7c650 | 2015-07-23 16:01:26 -0700 | [diff] [blame] | 180 | REQUIRES(Locks::mutator_lock_, Locks::heap_bitmap_lock_); |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 181 | // For reference classes. |
| 182 | void operator() (mirror::Class* cls, mirror::Reference* ref) const |
Mathieu Chartier | da7c650 | 2015-07-23 16:01:26 -0700 | [diff] [blame] | 183 | REQUIRES(Locks::mutator_lock_, Locks::heap_bitmap_lock_); |
| 184 | // TODO: Consider using these for updating native class roots? |
| 185 | void VisitRootIfNonNull(mirror::CompressedReference<mirror::Object>* root ATTRIBUTE_UNUSED) |
| 186 | const {} |
| 187 | void VisitRoot(mirror::CompressedReference<mirror::Object>* root ATTRIBUTE_UNUSED) const {} |
| 188 | |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 189 | private: |
Ian Rogers | d4c4d95 | 2014-10-16 20:31:53 -0700 | [diff] [blame] | 190 | PatchOat* const patcher_; |
| 191 | mirror::Object* const copy_; |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 192 | }; |
| 193 | |
Alex Light | eefbe39 | 2014-07-08 09:53:18 -0700 | [diff] [blame] | 194 | // The elf file we are patching. |
| 195 | std::unique_ptr<ElfFile> oat_file_; |
| 196 | // A mmap of the image we are patching. This is modified. |
Ian Rogers | d4c4d95 | 2014-10-16 20:31:53 -0700 | [diff] [blame] | 197 | const MemMap* const image_; |
| 198 | // The bitmap over the image within the heap we are patching. This is not modified. |
| 199 | gc::accounting::ContinuousSpaceBitmap* const bitmap_; |
Alex Light | eefbe39 | 2014-07-08 09:53:18 -0700 | [diff] [blame] | 200 | // The heap we are patching. This is not modified. |
Ian Rogers | d4c4d95 | 2014-10-16 20:31:53 -0700 | [diff] [blame] | 201 | const MemMap* const heap_; |
Alex Light | eefbe39 | 2014-07-08 09:53:18 -0700 | [diff] [blame] | 202 | // The amount we are changing the offset by. |
Ian Rogers | d4c4d95 | 2014-10-16 20:31:53 -0700 | [diff] [blame] | 203 | const off_t delta_; |
Mathieu Chartier | 2d72101 | 2014-11-10 11:08:06 -0800 | [diff] [blame] | 204 | // Active instruction set, used to know the entrypoint size. |
| 205 | const InstructionSet isa_; |
| 206 | |
| 207 | TimingLogger* timings_; |
Alex Light | eefbe39 | 2014-07-08 09:53:18 -0700 | [diff] [blame] | 208 | |
Mathieu Chartier | d39645e | 2015-06-09 17:50:29 -0700 | [diff] [blame] | 209 | friend class FixupRootVisitor; |
Mathieu Chartier | 54d220e | 2015-07-30 16:20:06 -0700 | [diff] [blame^] | 210 | friend class PatchOatArtFieldVisitor; |
| 211 | friend class PatchOatArtMethodVisitor; |
Alex Light | 53cb16b | 2014-06-12 11:26:29 -0700 | [diff] [blame] | 212 | DISALLOW_IMPLICIT_CONSTRUCTORS(PatchOat); |
| 213 | }; |
| 214 | |
| 215 | } // namespace art |
| 216 | #endif // ART_PATCHOAT_PATCHOAT_H_ |