blob: ae3d8e34e6c3d1beb017b1750e301f9b10396534 [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' };
Mathieu Chartier1a842962018-11-13 15:09:51 -080032const uint8_t ImageHeader::kImageVersion[] = { '0', '7', '1', '\0' }; // Add image blocks.
Brian Carlstrom4a289ed2011-08-16 17:17:49 -070033
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080034ImageHeader::ImageHeader(uint32_t image_begin,
Mathieu Chartier31e89252013-08-28 11:29:12 -070035 uint32_t image_size,
Mathieu Chartiere401d142015-04-22 13:56:20 -070036 ImageSection* sections,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080037 uint32_t image_roots,
38 uint32_t oat_checksum,
39 uint32_t oat_file_begin,
40 uint32_t oat_data_begin,
41 uint32_t oat_data_end,
Igor Murashkin46774762014-10-22 11:37:02 -070042 uint32_t oat_file_end,
Mathieu Chartierfbc31082016-01-24 11:59:56 -080043 uint32_t boot_image_begin,
44 uint32_t boot_image_size,
Mathieu Chartier1a842962018-11-13 15:09:51 -080045 uint32_t pointer_size)
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080046 : image_begin_(image_begin),
Mathieu Chartier31e89252013-08-28 11:29:12 -070047 image_size_(image_size),
Vladimir Markoc10a0c62018-11-16 11:39:22 +000048 image_checksum_(0u),
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080049 oat_checksum_(oat_checksum),
50 oat_file_begin_(oat_file_begin),
51 oat_data_begin_(oat_data_begin),
52 oat_data_end_(oat_data_end),
53 oat_file_end_(oat_file_end),
Mathieu Chartierfbc31082016-01-24 11:59:56 -080054 boot_image_begin_(boot_image_begin),
55 boot_image_size_(boot_image_size),
Igor Murashkin46774762014-10-22 11:37:02 -070056 image_roots_(image_roots),
Mathieu Chartier1a842962018-11-13 15:09:51 -080057 pointer_size_(pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080058 CHECK_EQ(image_begin, RoundUp(image_begin, kPageSize));
59 CHECK_EQ(oat_file_begin, RoundUp(oat_file_begin, kPageSize));
60 CHECK_EQ(oat_data_begin, RoundUp(oat_data_begin, kPageSize));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080061 CHECK_LT(image_roots, oat_file_begin);
62 CHECK_LE(oat_file_begin, oat_data_begin);
63 CHECK_LT(oat_data_begin, oat_data_end);
64 CHECK_LE(oat_data_end, oat_file_end);
Mathieu Chartiere401d142015-04-22 13:56:20 -070065 CHECK(ValidPointerSize(pointer_size_)) << pointer_size_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080066 memcpy(magic_, kImageMagic, sizeof(kImageMagic));
67 memcpy(version_, kImageVersion, sizeof(kImageVersion));
Mathieu Chartiere401d142015-04-22 13:56:20 -070068 std::copy_n(sections, kSectionCount, sections_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080069}
70
Vladimir Marko4df2d802018-09-27 16:42:44 +000071void ImageHeader::RelocateImage(int64_t delta) {
Alex Light53cb16b2014-06-12 11:26:29 -070072 CHECK_ALIGNED(delta, kPageSize) << " patch delta must be page aligned";
Alex Light53cb16b2014-06-12 11:26:29 -070073 oat_file_begin_ += delta;
74 oat_data_begin_ += delta;
75 oat_data_end_ += delta;
76 oat_file_end_ += delta;
Mathieu Chartierfbc31082016-01-24 11:59:56 -080077 RelocateImageObjects(delta);
78 RelocateImageMethods(delta);
79}
80
Vladimir Marko4df2d802018-09-27 16:42:44 +000081void ImageHeader::RelocateImageObjects(int64_t delta) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -080082 image_begin_ += delta;
83 image_roots_ += delta;
84}
85
Vladimir Marko4df2d802018-09-27 16:42:44 +000086void ImageHeader::RelocateImageMethods(int64_t delta) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070087 for (size_t i = 0; i < kImageMethodsCount; ++i) {
88 image_methods_[i] += delta;
89 }
Alex Light53cb16b2014-06-12 11:26:29 -070090}
91
Brian Carlstrom68708f52013-09-03 14:15:31 -070092bool ImageHeader::IsValid() const {
93 if (memcmp(magic_, kImageMagic, sizeof(kImageMagic)) != 0) {
94 return false;
95 }
96 if (memcmp(version_, kImageVersion, sizeof(kImageVersion)) != 0) {
97 return false;
98 }
Alex Light53cb16b2014-06-12 11:26:29 -070099 // Unsigned so wraparound is well defined.
100 if (image_begin_ >= image_begin_ + image_size_) {
101 return false;
102 }
103 if (oat_file_begin_ > oat_file_end_) {
104 return false;
105 }
106 if (oat_data_begin_ > oat_data_end_) {
107 return false;
108 }
109 if (oat_file_begin_ >= oat_data_begin_) {
110 return false;
111 }
Brian Carlstrom68708f52013-09-03 14:15:31 -0700112 return true;
113}
114
115const char* ImageHeader::GetMagic() const {
116 CHECK(IsValid());
117 return reinterpret_cast<const char*>(magic_);
118}
119
Mathieu Chartiere401d142015-04-22 13:56:20 -0700120ArtMethod* ImageHeader::GetImageMethod(ImageMethod index) const {
121 CHECK_LT(static_cast<size_t>(index), kImageMethodsCount);
122 return reinterpret_cast<ArtMethod*>(image_methods_[index]);
123}
124
Mathieu Chartiere401d142015-04-22 13:56:20 -0700125std::ostream& operator<<(std::ostream& os, const ImageSection& section) {
126 return os << "size=" << section.Size() << " range=" << section.Offset() << "-" << section.End();
127}
128
David Sehra49e0532017-08-25 08:05:29 -0700129void ImageHeader::VisitObjects(ObjectVisitor* visitor,
130 uint8_t* base,
131 PointerSize pointer_size) const {
132 DCHECK_EQ(pointer_size, GetPointerSize());
133 const ImageSection& objects = GetObjectsSection();
134 static const size_t kStartPos = RoundUp(sizeof(ImageHeader), kObjectAlignment);
135 for (size_t pos = kStartPos; pos < objects.Size(); ) {
136 mirror::Object* object = reinterpret_cast<mirror::Object*>(base + objects.Offset() + pos);
137 visitor->Visit(object);
138 pos += RoundUp(object->SizeOf(), kObjectAlignment);
139 }
140}
141
Andreas Gampebda1d602016-08-29 17:43:45 -0700142PointerSize ImageHeader::GetPointerSize() const {
143 return ConvertToPointerSize(pointer_size_);
144}
145
Mathieu Chartier1a842962018-11-13 15:09:51 -0800146bool ImageHeader::Block::Decompress(uint8_t* out_ptr,
147 const uint8_t* in_ptr,
148 std::string* error_msg) const {
149 switch (storage_mode_) {
150 case kStorageModeUncompressed: {
151 CHECK_EQ(image_size_, data_size_);
152 memcpy(out_ptr + image_offset_, in_ptr + data_offset_, data_size_);
153 break;
154 }
155 case kStorageModeLZ4:
156 case kStorageModeLZ4HC: {
157 // LZ4HC and LZ4 have same internal format, both use LZ4_decompress.
158 const size_t decompressed_size = LZ4_decompress_safe(
159 reinterpret_cast<const char*>(in_ptr) + data_offset_,
160 reinterpret_cast<char*>(out_ptr) + image_offset_,
161 data_size_,
162 image_size_);
163 CHECK_EQ(decompressed_size, image_size_);
164 break;
165 }
166 default: {
167 if (error_msg != nullptr) {
168 *error_msg = (std::ostringstream() << "Invalid image format " << storage_mode_).str();
169 }
170 return false;
171 }
172 }
173 return true;
174}
175
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700176} // namespace art