blob: b39ffe5690a48ac45401dc077349424ed4ec0a48 [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
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 Carlstrom4a289ed2011-08-16 17:17:49 -070016
17#include "image.h"
18
Mathieu Chartier1a842962018-11-13 15:09:51 -080019#include <lz4.h>
20#include <sstream>
21
Vladimir Marko80afd022015-05-19 18:08:00 +010022#include "base/bit_utils.h"
Andreas Gampec6ea7d02017-02-01 16:46:28 -080023#include "base/length_prefixed_array.h"
David Sehrc431b9d2018-03-02 12:01:51 -080024#include "base/utils.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070025#include "mirror/object-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070026#include "mirror/object_array-inl.h"
27#include "mirror/object_array.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080028
Brian Carlstrom4a289ed2011-08-16 17:17:49 -070029namespace art {
30
Ian Rogers13735952014-10-08 12:43:28 -070031const uint8_t ImageHeader::kImageMagic[] = { 'a', 'r', 't', '\n' };
Shalini Salomi Bodapati6545ee32021-11-02 20:01:06 +053032// Last change: Math.fma(double, double, double) intrinsic.
Nikita Iashchenko3fa6e462021-09-10 17:30:04 +010033const uint8_t ImageHeader::kImageVersion[] = { '1', '0', '6', '\0' };
Brian Carlstrom4a289ed2011-08-16 17:17:49 -070034
Vladimir Marko7391c8c2018-11-21 17:58:44 +000035ImageHeader::ImageHeader(uint32_t image_reservation_size,
36 uint32_t component_count,
37 uint32_t image_begin,
Mathieu Chartier31e89252013-08-28 11:29:12 -070038 uint32_t image_size,
Mathieu Chartiere401d142015-04-22 13:56:20 -070039 ImageSection* sections,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080040 uint32_t image_roots,
41 uint32_t oat_checksum,
42 uint32_t oat_file_begin,
43 uint32_t oat_data_begin,
44 uint32_t oat_data_end,
Igor Murashkin46774762014-10-22 11:37:02 -070045 uint32_t oat_file_end,
Mathieu Chartierfbc31082016-01-24 11:59:56 -080046 uint32_t boot_image_begin,
47 uint32_t boot_image_size,
Vladimir Marko92eec3a2019-11-05 10:59:36 +000048 uint32_t boot_image_component_count,
49 uint32_t boot_image_checksum,
Mathieu Chartier1a842962018-11-13 15:09:51 -080050 uint32_t pointer_size)
Vladimir Marko7391c8c2018-11-21 17:58:44 +000051 : image_reservation_size_(image_reservation_size),
52 component_count_(component_count),
53 image_begin_(image_begin),
Mathieu Chartier31e89252013-08-28 11:29:12 -070054 image_size_(image_size),
Vladimir Markoc10a0c62018-11-16 11:39:22 +000055 image_checksum_(0u),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080056 oat_checksum_(oat_checksum),
57 oat_file_begin_(oat_file_begin),
58 oat_data_begin_(oat_data_begin),
59 oat_data_end_(oat_data_end),
60 oat_file_end_(oat_file_end),
Mathieu Chartierfbc31082016-01-24 11:59:56 -080061 boot_image_begin_(boot_image_begin),
62 boot_image_size_(boot_image_size),
Vladimir Marko92eec3a2019-11-05 10:59:36 +000063 boot_image_component_count_(boot_image_component_count),
64 boot_image_checksum_(boot_image_checksum),
Igor Murashkin46774762014-10-22 11:37:02 -070065 image_roots_(image_roots),
Mathieu Chartier1a842962018-11-13 15:09:51 -080066 pointer_size_(pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080067 CHECK_EQ(image_begin, RoundUp(image_begin, kPageSize));
68 CHECK_EQ(oat_file_begin, RoundUp(oat_file_begin, kPageSize));
69 CHECK_EQ(oat_data_begin, RoundUp(oat_data_begin, kPageSize));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080070 CHECK_LT(image_roots, oat_file_begin);
71 CHECK_LE(oat_file_begin, oat_data_begin);
72 CHECK_LT(oat_data_begin, oat_data_end);
73 CHECK_LE(oat_data_end, oat_file_end);
Mathieu Chartiere401d142015-04-22 13:56:20 -070074 CHECK(ValidPointerSize(pointer_size_)) << pointer_size_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080075 memcpy(magic_, kImageMagic, sizeof(kImageMagic));
76 memcpy(version_, kImageVersion, sizeof(kImageVersion));
Mathieu Chartiere401d142015-04-22 13:56:20 -070077 std::copy_n(sections, kSectionCount, sections_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080078}
79
Vladimir Markoc0b30c92019-07-23 14:58:25 +010080void ImageHeader::RelocateImageReferences(int64_t delta) {
81 CHECK_ALIGNED(delta, kPageSize) << "relocation delta must be page aligned";
Alex Light53cb16b2014-06-12 11:26:29 -070082 oat_file_begin_ += delta;
83 oat_data_begin_ += delta;
84 oat_data_end_ += delta;
85 oat_file_end_ += delta;
Mathieu Chartierfbc31082016-01-24 11:59:56 -080086 image_begin_ += delta;
87 image_roots_ += delta;
88}
89
Vladimir Markoc0b30c92019-07-23 14:58:25 +010090void ImageHeader::RelocateBootImageReferences(int64_t delta) {
91 CHECK_ALIGNED(delta, kPageSize) << "relocation delta must be page aligned";
92 DCHECK_EQ(boot_image_begin_ != 0u, boot_image_size_ != 0u);
93 if (boot_image_begin_ != 0u) {
94 boot_image_begin_ += delta;
95 }
Mathieu Chartiere401d142015-04-22 13:56:20 -070096 for (size_t i = 0; i < kImageMethodsCount; ++i) {
97 image_methods_[i] += delta;
98 }
Alex Light53cb16b2014-06-12 11:26:29 -070099}
100
Vladimir Marko21910692019-11-06 13:27:03 +0000101bool ImageHeader::IsAppImage() const {
102 // Unlike boot image and boot image extensions which include address space for
103 // oat files in their reservation size, app images are loaded separately from oat
104 // files and their reservation size is the image size rounded up to full page.
105 return image_reservation_size_ == RoundUp(image_size_, kPageSize);
106}
107
Vladimir Markod0036ac2019-11-21 11:47:12 +0000108uint32_t ImageHeader::GetImageSpaceCount() const {
109 DCHECK(!IsAppImage());
110 DCHECK_NE(component_count_, 0u); // Must be the header for the first component.
111 // For images compiled with --single-image, there is only one oat file. To detect
112 // that, check whether the reservation ends at the end of the first oat file.
113 return (image_begin_ + image_reservation_size_ == oat_file_end_) ? 1u : component_count_;
114}
115
Brian Carlstrom68708f52013-09-03 14:15:31 -0700116bool ImageHeader::IsValid() const {
117 if (memcmp(magic_, kImageMagic, sizeof(kImageMagic)) != 0) {
118 return false;
119 }
120 if (memcmp(version_, kImageVersion, sizeof(kImageVersion)) != 0) {
121 return false;
122 }
Vladimir Marko7391c8c2018-11-21 17:58:44 +0000123 if (!IsAligned<kPageSize>(image_reservation_size_)) {
124 return false;
125 }
Alex Light53cb16b2014-06-12 11:26:29 -0700126 // Unsigned so wraparound is well defined.
127 if (image_begin_ >= image_begin_ + image_size_) {
128 return false;
129 }
130 if (oat_file_begin_ > oat_file_end_) {
131 return false;
132 }
133 if (oat_data_begin_ > oat_data_end_) {
134 return false;
135 }
136 if (oat_file_begin_ >= oat_data_begin_) {
137 return false;
138 }
Brian Carlstrom68708f52013-09-03 14:15:31 -0700139 return true;
140}
141
142const char* ImageHeader::GetMagic() const {
143 CHECK(IsValid());
144 return reinterpret_cast<const char*>(magic_);
145}
146
Mathieu Chartiere401d142015-04-22 13:56:20 -0700147ArtMethod* ImageHeader::GetImageMethod(ImageMethod index) const {
148 CHECK_LT(static_cast<size_t>(index), kImageMethodsCount);
149 return reinterpret_cast<ArtMethod*>(image_methods_[index]);
150}
151
Mathieu Chartiere401d142015-04-22 13:56:20 -0700152std::ostream& operator<<(std::ostream& os, const ImageSection& section) {
153 return os << "size=" << section.Size() << " range=" << section.Offset() << "-" << section.End();
154}
155
David Sehra49e0532017-08-25 08:05:29 -0700156void ImageHeader::VisitObjects(ObjectVisitor* visitor,
157 uint8_t* base,
158 PointerSize pointer_size) const {
159 DCHECK_EQ(pointer_size, GetPointerSize());
160 const ImageSection& objects = GetObjectsSection();
161 static const size_t kStartPos = RoundUp(sizeof(ImageHeader), kObjectAlignment);
162 for (size_t pos = kStartPos; pos < objects.Size(); ) {
163 mirror::Object* object = reinterpret_cast<mirror::Object*>(base + objects.Offset() + pos);
164 visitor->Visit(object);
165 pos += RoundUp(object->SizeOf(), kObjectAlignment);
166 }
167}
168
Andreas Gampebda1d602016-08-29 17:43:45 -0700169PointerSize ImageHeader::GetPointerSize() const {
170 return ConvertToPointerSize(pointer_size_);
171}
172
Mathieu Chartier1a842962018-11-13 15:09:51 -0800173bool ImageHeader::Block::Decompress(uint8_t* out_ptr,
174 const uint8_t* in_ptr,
175 std::string* error_msg) const {
176 switch (storage_mode_) {
177 case kStorageModeUncompressed: {
178 CHECK_EQ(image_size_, data_size_);
179 memcpy(out_ptr + image_offset_, in_ptr + data_offset_, data_size_);
180 break;
181 }
182 case kStorageModeLZ4:
183 case kStorageModeLZ4HC: {
184 // LZ4HC and LZ4 have same internal format, both use LZ4_decompress.
185 const size_t decompressed_size = LZ4_decompress_safe(
186 reinterpret_cast<const char*>(in_ptr) + data_offset_,
187 reinterpret_cast<char*>(out_ptr) + image_offset_,
188 data_size_,
189 image_size_);
190 CHECK_EQ(decompressed_size, image_size_);
191 break;
192 }
193 default: {
194 if (error_msg != nullptr) {
195 *error_msg = (std::ostringstream() << "Invalid image format " << storage_mode_).str();
196 }
197 return false;
198 }
199 }
200 return true;
201}
202
David Srbeckybc1748f2021-02-22 10:51:32 +0000203const char* ImageHeader::GetImageSectionName(ImageSections index) {
204 switch (index) {
205 case kSectionObjects: return "Objects";
206 case kSectionArtFields: return "ArtFields";
207 case kSectionArtMethods: return "ArtMethods";
208 case kSectionRuntimeMethods: return "RuntimeMethods";
209 case kSectionImTables: return "ImTables";
210 case kSectionIMTConflictTables: return "IMTConflictTables";
211 case kSectionInternedStrings: return "InternedStrings";
212 case kSectionClassTable: return "ClassTable";
213 case kSectionStringReferenceOffsets: return "StringReferenceOffsets";
214 case kSectionMetadata: return "Metadata";
215 case kSectionImageBitmap: return "ImageBitmap";
216 case kSectionCount: return nullptr;
217 }
218}
219
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700220} // namespace art