blob: fc186b14a21c79a009eaf135667854fd6ffa13e0 [file] [log] [blame]
Ian Rogers1d54e732013-05-02 21:10:01 -07001/*
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#include "image_space.h"
18
Mathieu Chartierceb07b32015-12-10 09:33:21 -080019#include <lz4.h>
20#include <random>
Andreas Gampe70be1fb2014-10-31 16:45:19 -070021#include <sys/statvfs.h>
Alex Light25396132014-08-27 15:37:23 -070022#include <sys/types.h>
Narayan Kamath5a2be3f2015-02-16 13:51:51 +000023#include <unistd.h>
Alex Light25396132014-08-27 15:37:23 -070024
Mathieu Chartiere401d142015-04-22 13:56:20 -070025#include "art_method.h"
Ian Rogersc7dd2952014-10-21 23:31:19 -070026#include "base/macros.h"
Brian Carlstrom56d947f2013-07-15 13:14:23 -070027#include "base/stl_util.h"
Narayan Kamathd1c606f2014-06-09 16:50:19 +010028#include "base/scoped_flock.h"
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -080029#include "base/systrace.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010030#include "base/time_utils.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070031#include "gc/accounting/space_bitmap-inl.h"
Mathieu Chartier4a26f172016-01-26 14:26:18 -080032#include "image-inl.h"
Andreas Gampebec63582015-11-20 19:26:51 -080033#include "image_space_fs.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070034#include "mirror/class-inl.h"
35#include "mirror/object-inl.h"
Brian Carlstrom56d947f2013-07-15 13:14:23 -070036#include "oat_file.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070037#include "os.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070038#include "space-inl.h"
39#include "utils.h"
40
41namespace art {
42namespace gc {
43namespace space {
44
Ian Rogersef7d42f2014-01-06 12:55:46 -080045Atomic<uint32_t> ImageSpace::bitmap_index_(0);
Ian Rogers1d54e732013-05-02 21:10:01 -070046
Jeff Haodcdc85b2015-12-04 14:06:18 -080047ImageSpace::ImageSpace(const std::string& image_filename,
48 const char* image_location,
49 MemMap* mem_map,
50 accounting::ContinuousSpaceBitmap* live_bitmap,
Mathieu Chartier2d124ec2016-01-05 18:03:15 -080051 uint8_t* end)
52 : MemMapSpace(image_filename,
53 mem_map,
54 mem_map->Begin(),
55 end,
56 end,
Narayan Kamath52f84882014-05-02 10:10:39 +010057 kGcRetentionPolicyNeverCollect),
Jeff Haodcdc85b2015-12-04 14:06:18 -080058 oat_file_non_owned_(nullptr),
Mathieu Chartier2d124ec2016-01-05 18:03:15 -080059 image_location_(image_location) {
Mathieu Chartier590fee92013-09-13 13:46:47 -070060 DCHECK(live_bitmap != nullptr);
Mathieu Chartier31e89252013-08-28 11:29:12 -070061 live_bitmap_.reset(live_bitmap);
Ian Rogers1d54e732013-05-02 21:10:01 -070062}
63
Alex Lightcf4bf382014-07-24 11:29:14 -070064static int32_t ChooseRelocationOffsetDelta(int32_t min_delta, int32_t max_delta) {
65 CHECK_ALIGNED(min_delta, kPageSize);
66 CHECK_ALIGNED(max_delta, kPageSize);
67 CHECK_LT(min_delta, max_delta);
68
Alex Light15324762015-11-19 11:03:10 -080069 int32_t r = GetRandomNumber<int32_t>(min_delta, max_delta);
Alex Lightcf4bf382014-07-24 11:29:14 -070070 if (r % 2 == 0) {
71 r = RoundUp(r, kPageSize);
72 } else {
73 r = RoundDown(r, kPageSize);
74 }
75 CHECK_LE(min_delta, r);
76 CHECK_GE(max_delta, r);
77 CHECK_ALIGNED(r, kPageSize);
78 return r;
79}
80
Alex Light25396132014-08-27 15:37:23 -070081static bool GenerateImage(const std::string& image_filename, InstructionSet image_isa,
82 std::string* error_msg) {
Brian Carlstrom56d947f2013-07-15 13:14:23 -070083 const std::string boot_class_path_string(Runtime::Current()->GetBootClassPathString());
84 std::vector<std::string> boot_class_path;
Ian Rogers6f3dbba2014-10-14 17:41:57 -070085 Split(boot_class_path_string, ':', &boot_class_path);
Brian Carlstrom56d947f2013-07-15 13:14:23 -070086 if (boot_class_path.empty()) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -070087 *error_msg = "Failed to generate image because no boot class path specified";
88 return false;
Brian Carlstrom56d947f2013-07-15 13:14:23 -070089 }
Alex Light25396132014-08-27 15:37:23 -070090 // We should clean up so we are more likely to have room for the image.
91 if (Runtime::Current()->IsZygote()) {
Andreas Gampe3c13a792014-09-18 20:56:04 -070092 LOG(INFO) << "Pruning dalvik-cache since we are generating an image and will need to recompile";
Narayan Kamath28bc9872014-11-07 17:46:28 +000093 PruneDalvikCache(image_isa);
Alex Light25396132014-08-27 15:37:23 -070094 }
Brian Carlstrom56d947f2013-07-15 13:14:23 -070095
Mathieu Chartier8bbc8c02013-07-31 16:27:01 -070096 std::vector<std::string> arg_vector;
Brian Carlstrom56d947f2013-07-15 13:14:23 -070097
Tsu Chiang Chuang12e6d742014-05-22 10:22:25 -070098 std::string dex2oat(Runtime::Current()->GetCompilerExecutable());
Mathieu Chartier08d7d442013-07-31 18:08:51 -070099 arg_vector.push_back(dex2oat);
Brian Carlstrom56d947f2013-07-15 13:14:23 -0700100
101 std::string image_option_string("--image=");
Narayan Kamath52f84882014-05-02 10:10:39 +0100102 image_option_string += image_filename;
Mathieu Chartier8bbc8c02013-07-31 16:27:01 -0700103 arg_vector.push_back(image_option_string);
Brian Carlstrom56d947f2013-07-15 13:14:23 -0700104
Brian Carlstrom56d947f2013-07-15 13:14:23 -0700105 for (size_t i = 0; i < boot_class_path.size(); i++) {
Mathieu Chartier8bbc8c02013-07-31 16:27:01 -0700106 arg_vector.push_back(std::string("--dex-file=") + boot_class_path[i]);
Brian Carlstrom56d947f2013-07-15 13:14:23 -0700107 }
108
109 std::string oat_file_option_string("--oat-file=");
Brian Carlstrom2f1e15c2014-10-27 16:27:06 -0700110 oat_file_option_string += ImageHeader::GetOatLocationFromImageLocation(image_filename);
Mathieu Chartier8bbc8c02013-07-31 16:27:01 -0700111 arg_vector.push_back(oat_file_option_string);
Brian Carlstrom56d947f2013-07-15 13:14:23 -0700112
Sebastien Hertz0de11332015-05-13 12:14:05 +0200113 // Note: we do not generate a fully debuggable boot image so we do not pass the
114 // compiler flag --debuggable here.
115
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700116 Runtime::Current()->AddCurrentRuntimeFeaturesAsDex2OatArguments(&arg_vector);
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700117 CHECK_EQ(image_isa, kRuntimeISA)
118 << "We should always be generating an image for the current isa.";
Ian Rogers8afeb852014-04-02 14:55:49 -0700119
Alex Lightcf4bf382014-07-24 11:29:14 -0700120 int32_t base_offset = ChooseRelocationOffsetDelta(ART_BASE_ADDRESS_MIN_DELTA,
121 ART_BASE_ADDRESS_MAX_DELTA);
122 LOG(INFO) << "Using an offset of 0x" << std::hex << base_offset << " from default "
123 << "art base address of 0x" << std::hex << ART_BASE_ADDRESS;
124 arg_vector.push_back(StringPrintf("--base=0x%x", ART_BASE_ADDRESS + base_offset));
Brian Carlstrom56d947f2013-07-15 13:14:23 -0700125
Brian Carlstrom57309db2014-07-30 15:13:25 -0700126 if (!kIsTargetBuild) {
Mathieu Chartier8bbc8c02013-07-31 16:27:01 -0700127 arg_vector.push_back("--host");
Brian Carlstrom56d947f2013-07-15 13:14:23 -0700128 }
129
Brian Carlstrom6449c622014-02-10 23:48:36 -0800130 const std::vector<std::string>& compiler_options = Runtime::Current()->GetImageCompilerOptions();
Brian Carlstrom2ec65202014-03-03 15:16:37 -0800131 for (size_t i = 0; i < compiler_options.size(); ++i) {
Brian Carlstrom6449c622014-02-10 23:48:36 -0800132 arg_vector.push_back(compiler_options[i].c_str());
133 }
134
Brian Carlstrom56d947f2013-07-15 13:14:23 -0700135 std::string command_line(Join(arg_vector, ' '));
136 LOG(INFO) << "GenerateImage: " << command_line;
Brian Carlstrom6449c622014-02-10 23:48:36 -0800137 return Exec(arg_vector, error_msg);
Brian Carlstrom56d947f2013-07-15 13:14:23 -0700138}
139
Narayan Kamath52f84882014-05-02 10:10:39 +0100140bool ImageSpace::FindImageFilename(const char* image_location,
141 const InstructionSet image_isa,
Alex Lighta59dd802014-07-02 16:28:08 -0700142 std::string* system_filename,
143 bool* has_system,
144 std::string* cache_filename,
145 bool* dalvik_cache_exists,
Andreas Gampe3c13a792014-09-18 20:56:04 -0700146 bool* has_cache,
147 bool* is_global_cache) {
Alex Lighta59dd802014-07-02 16:28:08 -0700148 *has_system = false;
149 *has_cache = false;
Brian Carlstrom0e12bdc2014-05-14 17:44:28 -0700150 // image_location = /system/framework/boot.art
151 // system_image_location = /system/framework/<image_isa>/boot.art
152 std::string system_image_filename(GetSystemImageFilename(image_location, image_isa));
153 if (OS::FileExists(system_image_filename.c_str())) {
Alex Lighta59dd802014-07-02 16:28:08 -0700154 *system_filename = system_image_filename;
155 *has_system = true;
Brian Carlstrom56d947f2013-07-15 13:14:23 -0700156 }
Narayan Kamath52f84882014-05-02 10:10:39 +0100157
Alex Lighta59dd802014-07-02 16:28:08 -0700158 bool have_android_data = false;
159 *dalvik_cache_exists = false;
160 std::string dalvik_cache;
161 GetDalvikCache(GetInstructionSetString(image_isa), true, &dalvik_cache,
Andreas Gampe3c13a792014-09-18 20:56:04 -0700162 &have_android_data, dalvik_cache_exists, is_global_cache);
Narayan Kamath52f84882014-05-02 10:10:39 +0100163
Alex Lighta59dd802014-07-02 16:28:08 -0700164 if (have_android_data && *dalvik_cache_exists) {
165 // Always set output location even if it does not exist,
166 // so that the caller knows where to create the image.
167 //
168 // image_location = /system/framework/boot.art
169 // *image_filename = /data/dalvik-cache/<image_isa>/boot.art
170 std::string error_msg;
171 if (!GetDalvikCacheFilename(image_location, dalvik_cache.c_str(), cache_filename, &error_msg)) {
172 LOG(WARNING) << error_msg;
173 return *has_system;
174 }
175 *has_cache = OS::FileExists(cache_filename->c_str());
176 }
177 return *has_system || *has_cache;
178}
179
180static bool ReadSpecificImageHeader(const char* filename, ImageHeader* image_header) {
181 std::unique_ptr<File> image_file(OS::OpenFileForReading(filename));
182 if (image_file.get() == nullptr) {
183 return false;
184 }
185 const bool success = image_file->ReadFully(image_header, sizeof(ImageHeader));
186 if (!success || !image_header->IsValid()) {
187 return false;
188 }
189 return true;
190}
191
Alex Light6e183f22014-07-18 14:57:04 -0700192// Relocate the image at image_location to dest_filename and relocate it by a random amount.
193static bool RelocateImage(const char* image_location, const char* dest_filename,
Alex Lighta59dd802014-07-02 16:28:08 -0700194 InstructionSet isa, std::string* error_msg) {
Alex Light25396132014-08-27 15:37:23 -0700195 // We should clean up so we are more likely to have room for the image.
196 if (Runtime::Current()->IsZygote()) {
197 LOG(INFO) << "Pruning dalvik-cache since we are relocating an image and will need to recompile";
Narayan Kamath28bc9872014-11-07 17:46:28 +0000198 PruneDalvikCache(isa);
Alex Light25396132014-08-27 15:37:23 -0700199 }
200
Alex Lighta59dd802014-07-02 16:28:08 -0700201 std::string patchoat(Runtime::Current()->GetPatchoatExecutable());
202
203 std::string input_image_location_arg("--input-image-location=");
204 input_image_location_arg += image_location;
205
206 std::string output_image_filename_arg("--output-image-file=");
207 output_image_filename_arg += dest_filename;
208
Alex Lighta59dd802014-07-02 16:28:08 -0700209 std::string instruction_set_arg("--instruction-set=");
210 instruction_set_arg += GetInstructionSetString(isa);
211
212 std::string base_offset_arg("--base-offset-delta=");
213 StringAppendF(&base_offset_arg, "%d", ChooseRelocationOffsetDelta(ART_BASE_ADDRESS_MIN_DELTA,
214 ART_BASE_ADDRESS_MAX_DELTA));
215
216 std::vector<std::string> argv;
217 argv.push_back(patchoat);
218
219 argv.push_back(input_image_location_arg);
220 argv.push_back(output_image_filename_arg);
221
Alex Lighta59dd802014-07-02 16:28:08 -0700222 argv.push_back(instruction_set_arg);
223 argv.push_back(base_offset_arg);
224
225 std::string command_line(Join(argv, ' '));
226 LOG(INFO) << "RelocateImage: " << command_line;
227 return Exec(argv, error_msg);
228}
229
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700230static ImageHeader* ReadSpecificImageHeader(const char* filename, std::string* error_msg) {
Alex Lighta59dd802014-07-02 16:28:08 -0700231 std::unique_ptr<ImageHeader> hdr(new ImageHeader);
232 if (!ReadSpecificImageHeader(filename, hdr.get())) {
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700233 *error_msg = StringPrintf("Unable to read image header for %s", filename);
Alex Lighta59dd802014-07-02 16:28:08 -0700234 return nullptr;
235 }
236 return hdr.release();
Narayan Kamath52f84882014-05-02 10:10:39 +0100237}
238
239ImageHeader* ImageSpace::ReadImageHeaderOrDie(const char* image_location,
240 const InstructionSet image_isa) {
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700241 std::string error_msg;
242 ImageHeader* image_header = ReadImageHeader(image_location, image_isa, &error_msg);
243 if (image_header == nullptr) {
244 LOG(FATAL) << error_msg;
245 }
246 return image_header;
247}
248
249ImageHeader* ImageSpace::ReadImageHeader(const char* image_location,
250 const InstructionSet image_isa,
251 std::string* error_msg) {
Alex Lighta59dd802014-07-02 16:28:08 -0700252 std::string system_filename;
253 bool has_system = false;
254 std::string cache_filename;
255 bool has_cache = false;
256 bool dalvik_cache_exists = false;
Andreas Gampe3c13a792014-09-18 20:56:04 -0700257 bool is_global_cache = false;
Alex Lighta59dd802014-07-02 16:28:08 -0700258 if (FindImageFilename(image_location, image_isa, &system_filename, &has_system,
Andreas Gampe3c13a792014-09-18 20:56:04 -0700259 &cache_filename, &dalvik_cache_exists, &has_cache, &is_global_cache)) {
Alex Lighta59dd802014-07-02 16:28:08 -0700260 if (Runtime::Current()->ShouldRelocate()) {
261 if (has_system && has_cache) {
262 std::unique_ptr<ImageHeader> sys_hdr(new ImageHeader);
263 std::unique_ptr<ImageHeader> cache_hdr(new ImageHeader);
264 if (!ReadSpecificImageHeader(system_filename.c_str(), sys_hdr.get())) {
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700265 *error_msg = StringPrintf("Unable to read image header for %s at %s",
266 image_location, system_filename.c_str());
Alex Lighta59dd802014-07-02 16:28:08 -0700267 return nullptr;
268 }
269 if (!ReadSpecificImageHeader(cache_filename.c_str(), cache_hdr.get())) {
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700270 *error_msg = StringPrintf("Unable to read image header for %s at %s",
271 image_location, cache_filename.c_str());
Alex Lighta59dd802014-07-02 16:28:08 -0700272 return nullptr;
273 }
274 if (sys_hdr->GetOatChecksum() != cache_hdr->GetOatChecksum()) {
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700275 *error_msg = StringPrintf("Unable to find a relocated version of image file %s",
276 image_location);
Alex Lighta59dd802014-07-02 16:28:08 -0700277 return nullptr;
278 }
279 return cache_hdr.release();
280 } else if (!has_cache) {
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700281 *error_msg = StringPrintf("Unable to find a relocated version of image file %s",
282 image_location);
Alex Lighta59dd802014-07-02 16:28:08 -0700283 return nullptr;
284 } else if (!has_system && has_cache) {
285 // This can probably just use the cache one.
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700286 return ReadSpecificImageHeader(cache_filename.c_str(), error_msg);
Alex Lighta59dd802014-07-02 16:28:08 -0700287 }
288 } else {
289 // We don't want to relocate, Just pick the appropriate one if we have it and return.
290 if (has_system && has_cache) {
291 // We want the cache if the checksum matches, otherwise the system.
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700292 std::unique_ptr<ImageHeader> system(ReadSpecificImageHeader(system_filename.c_str(),
293 error_msg));
294 std::unique_ptr<ImageHeader> cache(ReadSpecificImageHeader(cache_filename.c_str(),
295 error_msg));
Alex Lighta59dd802014-07-02 16:28:08 -0700296 if (system.get() == nullptr ||
297 (cache.get() != nullptr && cache->GetOatChecksum() == system->GetOatChecksum())) {
298 return cache.release();
299 } else {
300 return system.release();
301 }
302 } else if (has_system) {
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700303 return ReadSpecificImageHeader(system_filename.c_str(), error_msg);
Alex Lighta59dd802014-07-02 16:28:08 -0700304 } else if (has_cache) {
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700305 return ReadSpecificImageHeader(cache_filename.c_str(), error_msg);
Alex Lighta59dd802014-07-02 16:28:08 -0700306 }
Narayan Kamath52f84882014-05-02 10:10:39 +0100307 }
Narayan Kamath52f84882014-05-02 10:10:39 +0100308 }
309
Brian Carlstrom31d8f522014-09-29 11:22:54 -0700310 *error_msg = StringPrintf("Unable to find image file for %s", image_location);
Narayan Kamath52f84882014-05-02 10:10:39 +0100311 return nullptr;
312}
313
Alex Lighta59dd802014-07-02 16:28:08 -0700314static bool ChecksumsMatch(const char* image_a, const char* image_b) {
315 ImageHeader hdr_a;
316 ImageHeader hdr_b;
317 return ReadSpecificImageHeader(image_a, &hdr_a) && ReadSpecificImageHeader(image_b, &hdr_b)
318 && hdr_a.GetOatChecksum() == hdr_b.GetOatChecksum();
319}
320
Andreas Gampe3c13a792014-09-18 20:56:04 -0700321static bool ImageCreationAllowed(bool is_global_cache, std::string* error_msg) {
322 // Anyone can write into a "local" cache.
323 if (!is_global_cache) {
324 return true;
325 }
326
327 // Only the zygote is allowed to create the global boot image.
328 if (Runtime::Current()->IsZygote()) {
329 return true;
330 }
331
332 *error_msg = "Only the zygote can create the global boot image.";
333 return false;
334}
335
Andreas Gampe70be1fb2014-10-31 16:45:19 -0700336static constexpr uint64_t kLowSpaceValue = 50 * MB;
337static constexpr uint64_t kTmpFsSentinelValue = 384 * MB;
338
339// Read the free space of the cache partition and make a decision whether to keep the generated
340// image. This is to try to mitigate situations where the system might run out of space later.
341static bool CheckSpace(const std::string& cache_filename, std::string* error_msg) {
342 // Using statvfs vs statvfs64 because of b/18207376, and it is enough for all practical purposes.
343 struct statvfs buf;
344
345 int res = TEMP_FAILURE_RETRY(statvfs(cache_filename.c_str(), &buf));
346 if (res != 0) {
347 // Could not stat. Conservatively tell the system to delete the image.
348 *error_msg = "Could not stat the filesystem, assuming low-memory situation.";
349 return false;
350 }
351
352 uint64_t fs_overall_size = buf.f_bsize * static_cast<uint64_t>(buf.f_blocks);
353 // Zygote is privileged, but other things are not. Use bavail.
354 uint64_t fs_free_size = buf.f_bsize * static_cast<uint64_t>(buf.f_bavail);
355
356 // Take the overall size as an indicator for a tmpfs, which is being used for the decryption
357 // environment. We do not want to fail quickening the boot image there, as it is beneficial
358 // for time-to-UI.
359 if (fs_overall_size > kTmpFsSentinelValue) {
360 if (fs_free_size < kLowSpaceValue) {
361 *error_msg = StringPrintf("Low-memory situation: only %4.2f megabytes available after image"
362 " generation, need at least %" PRIu64 ".",
363 static_cast<double>(fs_free_size) / MB,
364 kLowSpaceValue / MB);
365 return false;
366 }
367 }
368 return true;
369}
370
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800371ImageSpace* ImageSpace::CreateBootImage(const char* image_location,
372 const InstructionSet image_isa,
373 bool secondary_image,
374 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800375 ScopedTrace trace(__FUNCTION__);
Alex Lighta59dd802014-07-02 16:28:08 -0700376 std::string system_filename;
377 bool has_system = false;
378 std::string cache_filename;
379 bool has_cache = false;
380 bool dalvik_cache_exists = false;
Andreas Gampe3c13a792014-09-18 20:56:04 -0700381 bool is_global_cache = true;
Andreas Gampebec63582015-11-20 19:26:51 -0800382 bool found_image = FindImageFilename(image_location, image_isa, &system_filename,
383 &has_system, &cache_filename, &dalvik_cache_exists,
384 &has_cache, &is_global_cache);
385
386 // If we're starting with the global cache, and we're the zygote, try to see whether there are
387 // OTA artifacts from the A/B OTA preopting to move over.
388 // (It is structurally simpler to check this here, instead of complicating the compile/relocate
389 // logic below.)
390 const bool is_zygote = Runtime::Current()->IsZygote();
391 if (is_global_cache && is_zygote) {
392 VLOG(startup) << "Checking for A/B OTA data.";
393 TryMoveOTAArtifacts(cache_filename, dalvik_cache_exists);
394
395 // Retry. There are two cases where the old info is outdated:
396 // * There wasn't a boot image before (e.g., some failure on boot), but now the OTA preopted
397 // image has been moved in-place.
398 // * There was a boot image before, and we tried to move the OTA preopted image, but a failure
399 // happened and there is no file anymore.
400 found_image = FindImageFilename(image_location,
401 image_isa,
402 &system_filename,
403 &has_system,
404 &cache_filename,
405 &dalvik_cache_exists,
406 &has_cache,
407 &is_global_cache);
408 }
Narayan Kamathd1c606f2014-06-09 16:50:19 +0100409
Andreas Gampeacc1be32016-04-05 10:26:42 -0700410 if (is_zygote && !secondary_image) {
Narayan Kamath5a2be3f2015-02-16 13:51:51 +0000411 MarkZygoteStart(image_isa, Runtime::Current()->GetZygoteMaxFailedBoots());
Narayan Kamath28bc9872014-11-07 17:46:28 +0000412 }
413
Alex Lighta59dd802014-07-02 16:28:08 -0700414 ImageSpace* space;
415 bool relocate = Runtime::Current()->ShouldRelocate();
Alex Light64ad14d2014-08-19 14:23:13 -0700416 bool can_compile = Runtime::Current()->IsImageDex2OatEnabled();
Narayan Kamathd1c606f2014-06-09 16:50:19 +0100417 if (found_image) {
Alex Lighta59dd802014-07-02 16:28:08 -0700418 const std::string* image_filename;
419 bool is_system = false;
420 bool relocated_version_used = false;
421 if (relocate) {
Alex Light64ad14d2014-08-19 14:23:13 -0700422 if (!dalvik_cache_exists) {
423 *error_msg = StringPrintf("Requiring relocation for image '%s' at '%s' but we do not have "
424 "any dalvik_cache to find/place it in.",
425 image_location, system_filename.c_str());
426 return nullptr;
427 }
Alex Lighta59dd802014-07-02 16:28:08 -0700428 if (has_system) {
429 if (has_cache && ChecksumsMatch(system_filename.c_str(), cache_filename.c_str())) {
430 // We already have a relocated version
431 image_filename = &cache_filename;
432 relocated_version_used = true;
433 } else {
434 // We cannot have a relocated version, Relocate the system one and use it.
Andreas Gampe3c13a792014-09-18 20:56:04 -0700435
436 std::string reason;
437 bool success;
438
439 // Check whether we are allowed to relocate.
440 if (!can_compile) {
441 reason = "Image dex2oat disabled by -Xnoimage-dex2oat.";
442 success = false;
443 } else if (!ImageCreationAllowed(is_global_cache, &reason)) {
444 // Whether we can write to the cache.
445 success = false;
Andreas Gampe8994a042015-12-30 19:03:17 +0000446 } else if (secondary_image) {
Andreas Gampeacc1be32016-04-05 10:26:42 -0700447 if (is_zygote) {
Jeff Haoab4a4d22016-03-14 18:50:49 -0700448 // Secondary image is out of date. Clear cache and exit to let it retry from scratch.
449 LOG(ERROR) << "Cannot patch secondary image '" << image_location
450 << "', clearing dalvik_cache and restarting zygote.";
451 PruneDalvikCache(image_isa);
452 _exit(1);
453 } else {
454 reason = "Should not have to patch secondary image.";
455 success = false;
456 }
Andreas Gampe3c13a792014-09-18 20:56:04 -0700457 } else {
458 // Try to relocate.
459 success = RelocateImage(image_location, cache_filename.c_str(), image_isa, &reason);
460 }
461
462 if (success) {
Alex Lighta59dd802014-07-02 16:28:08 -0700463 relocated_version_used = true;
464 image_filename = &cache_filename;
465 } else {
Andreas Gampe3c13a792014-09-18 20:56:04 -0700466 *error_msg = StringPrintf("Unable to relocate image '%s' from '%s' to '%s': %s",
Alex Light64ad14d2014-08-19 14:23:13 -0700467 image_location, system_filename.c_str(),
468 cache_filename.c_str(), reason.c_str());
Brian Carlstrome9105f72014-10-28 15:53:43 -0700469 // We failed to create files, remove any possibly garbage output.
470 // Since ImageCreationAllowed was true above, we are the zygote
471 // and therefore the only process expected to generate these for
472 // the device.
Narayan Kamath28bc9872014-11-07 17:46:28 +0000473 PruneDalvikCache(image_isa);
Alex Lighta59dd802014-07-02 16:28:08 -0700474 return nullptr;
475 }
476 }
477 } else {
478 CHECK(has_cache);
479 // We can just use cache's since it should be fine. This might or might not be relocated.
480 image_filename = &cache_filename;
481 }
482 } else {
483 if (has_system && has_cache) {
484 // Check they have the same cksum. If they do use the cache. Otherwise system.
485 if (ChecksumsMatch(system_filename.c_str(), cache_filename.c_str())) {
486 image_filename = &cache_filename;
487 relocated_version_used = true;
488 } else {
489 image_filename = &system_filename;
Alex Light1a762132014-07-31 09:32:13 -0700490 is_system = true;
Alex Lighta59dd802014-07-02 16:28:08 -0700491 }
492 } else if (has_system) {
493 image_filename = &system_filename;
Alex Light1a762132014-07-31 09:32:13 -0700494 is_system = true;
Alex Lighta59dd802014-07-02 16:28:08 -0700495 } else {
496 CHECK(has_cache);
497 image_filename = &cache_filename;
498 }
499 }
500 {
501 // Note that we must not use the file descriptor associated with
502 // ScopedFlock::GetFile to Init the image file. We want the file
503 // descriptor (and the associated exclusive lock) to be released when
504 // we leave Create.
505 ScopedFlock image_lock;
Andreas Gampeacc1be32016-04-05 10:26:42 -0700506 // Should this be a RDWR lock? This is only a defensive measure, as at
507 // this point the image should exist.
508 // However, only the zygote can write into the global dalvik-cache, so
509 // restrict to zygote processes, or any process that isn't using
510 // /data/dalvik-cache (which we assume to be allowed to write there).
511 const bool rw_lock = is_zygote || !is_global_cache;
512 image_lock.Init(image_filename->c_str(),
513 rw_lock ? (O_CREAT | O_RDWR) : O_RDONLY /* flags */,
514 true /* block */,
515 error_msg);
Alex Lightb6cabc12014-08-21 09:45:00 -0700516 VLOG(startup) << "Using image file " << image_filename->c_str() << " for image location "
517 << image_location;
Alex Lightb93637a2014-07-31 10:48:46 -0700518 // If we are in /system we can assume the image is good. We can also
519 // assume this if we are using a relocated image (i.e. image checksum
520 // matches) since this is only different by the offset. We need this to
521 // make sure that host tests continue to work.
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800522 // Since we are the boot image, pass null since we load the oat file from the boot image oat
523 // file name.
524 space = ImageSpace::Init(image_filename->c_str(),
525 image_location,
526 !(is_system || relocated_version_used),
527 /* oat_file */nullptr,
528 error_msg);
Alex Lighta59dd802014-07-02 16:28:08 -0700529 }
Narayan Kamath52f84882014-05-02 10:10:39 +0100530 if (space != nullptr) {
531 return space;
532 }
533
Alex Lighta59dd802014-07-02 16:28:08 -0700534 if (relocated_version_used) {
Brian Carlstrome9105f72014-10-28 15:53:43 -0700535 // Something is wrong with the relocated copy (even though checksums match). Cleanup.
536 // This can happen if the .oat is corrupt, since the above only checks the .art checksums.
537 // TODO: Check the oat file validity earlier.
538 *error_msg = StringPrintf("Attempted to use relocated version of %s at %s generated from %s "
539 "but image failed to load: %s",
540 image_location, cache_filename.c_str(), system_filename.c_str(),
541 error_msg->c_str());
Narayan Kamath28bc9872014-11-07 17:46:28 +0000542 PruneDalvikCache(image_isa);
Alex Lighta59dd802014-07-02 16:28:08 -0700543 return nullptr;
544 } else if (is_system) {
Brian Carlstrome9105f72014-10-28 15:53:43 -0700545 // If the /system file exists, it should be up-to-date, don't try to generate it.
Alex Light64ad14d2014-08-19 14:23:13 -0700546 *error_msg = StringPrintf("Failed to load /system image '%s': %s",
547 image_filename->c_str(), error_msg->c_str());
Narayan Kamath52f84882014-05-02 10:10:39 +0100548 return nullptr;
Mathieu Chartierc7cb1902014-03-05 14:41:03 -0800549 } else {
Brian Carlstrome9105f72014-10-28 15:53:43 -0700550 // Otherwise, log a warning and fall through to GenerateImage.
Alex Light64ad14d2014-08-19 14:23:13 -0700551 LOG(WARNING) << *error_msg;
Brian Carlstrom56d947f2013-07-15 13:14:23 -0700552 }
553 }
Narayan Kamath52f84882014-05-02 10:10:39 +0100554
Alex Light64ad14d2014-08-19 14:23:13 -0700555 if (!can_compile) {
556 *error_msg = "Not attempting to compile image because -Xnoimage-dex2oat";
557 return nullptr;
558 } else if (!dalvik_cache_exists) {
559 *error_msg = StringPrintf("No place to put generated image.");
560 return nullptr;
Andreas Gampe3c13a792014-09-18 20:56:04 -0700561 } else if (!ImageCreationAllowed(is_global_cache, error_msg)) {
562 return nullptr;
Andreas Gampe8994a042015-12-30 19:03:17 +0000563 } else if (secondary_image) {
564 *error_msg = "Cannot compile a secondary image.";
565 return nullptr;
Alex Light25396132014-08-27 15:37:23 -0700566 } else if (!GenerateImage(cache_filename, image_isa, error_msg)) {
Alex Light64ad14d2014-08-19 14:23:13 -0700567 *error_msg = StringPrintf("Failed to generate image '%s': %s",
568 cache_filename.c_str(), error_msg->c_str());
Brian Carlstrome9105f72014-10-28 15:53:43 -0700569 // We failed to create files, remove any possibly garbage output.
570 // Since ImageCreationAllowed was true above, we are the zygote
571 // and therefore the only process expected to generate these for
572 // the device.
Narayan Kamath28bc9872014-11-07 17:46:28 +0000573 PruneDalvikCache(image_isa);
Alex Light64ad14d2014-08-19 14:23:13 -0700574 return nullptr;
575 } else {
Andreas Gampe70be1fb2014-10-31 16:45:19 -0700576 // Check whether there is enough space left over after we have generated the image.
577 if (!CheckSpace(cache_filename, error_msg)) {
578 // No. Delete the generated image and try to run out of the dex files.
Narayan Kamath28bc9872014-11-07 17:46:28 +0000579 PruneDalvikCache(image_isa);
Andreas Gampe70be1fb2014-10-31 16:45:19 -0700580 return nullptr;
581 }
582
Alex Lighta59dd802014-07-02 16:28:08 -0700583 // Note that we must not use the file descriptor associated with
584 // ScopedFlock::GetFile to Init the image file. We want the file
585 // descriptor (and the associated exclusive lock) to be released when
586 // we leave Create.
587 ScopedFlock image_lock;
Alex Light64ad14d2014-08-19 14:23:13 -0700588 image_lock.Init(cache_filename.c_str(), error_msg);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800589 space = ImageSpace::Init(cache_filename.c_str(), image_location, true, nullptr, error_msg);
Alex Light64ad14d2014-08-19 14:23:13 -0700590 if (space == nullptr) {
591 *error_msg = StringPrintf("Failed to load generated image '%s': %s",
592 cache_filename.c_str(), error_msg->c_str());
593 }
594 return space;
Alex Lighta59dd802014-07-02 16:28:08 -0700595 }
Brian Carlstrom56d947f2013-07-15 13:14:23 -0700596}
597
Mathieu Chartier31e89252013-08-28 11:29:12 -0700598void ImageSpace::VerifyImageAllocations() {
Ian Rogers13735952014-10-08 12:43:28 -0700599 uint8_t* current = Begin() + RoundUp(sizeof(ImageHeader), kObjectAlignment);
Mathieu Chartier31e89252013-08-28 11:29:12 -0700600 while (current < End()) {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700601 CHECK_ALIGNED(current, kObjectAlignment);
602 auto* obj = reinterpret_cast<mirror::Object*>(current);
Mathieu Chartier31e89252013-08-28 11:29:12 -0700603 CHECK(obj->GetClass() != nullptr) << "Image object at address " << obj << " has null class";
Mathieu Chartierc7853442015-03-27 14:35:38 -0700604 CHECK(live_bitmap_->Test(obj)) << PrettyTypeOf(obj);
Hiroshi Yamauchi624468c2014-03-31 15:14:47 -0700605 if (kUseBakerOrBrooksReadBarrier) {
606 obj->AssertReadBarrierPointer();
Hiroshi Yamauchi9d04a202014-01-31 13:35:49 -0800607 }
Mathieu Chartier31e89252013-08-28 11:29:12 -0700608 current += RoundUp(obj->SizeOf(), kObjectAlignment);
609 }
610}
611
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800612// Helper class for relocating from one range of memory to another.
613class RelocationRange {
614 public:
615 RelocationRange() = default;
616 RelocationRange(const RelocationRange&) = default;
617 RelocationRange(uintptr_t source, uintptr_t dest, uintptr_t length)
618 : source_(source),
619 dest_(dest),
620 length_(length) {}
621
Mathieu Chartier91edc622016-02-16 17:16:01 -0800622 bool InSource(uintptr_t address) const {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800623 return address - source_ < length_;
624 }
625
Mathieu Chartier91edc622016-02-16 17:16:01 -0800626 bool InDest(uintptr_t address) const {
627 return address - dest_ < length_;
628 }
629
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800630 // Translate a source address to the destination space.
631 uintptr_t ToDest(uintptr_t address) const {
Mathieu Chartier91edc622016-02-16 17:16:01 -0800632 DCHECK(InSource(address));
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800633 return address + Delta();
634 }
635
636 // Returns the delta between the dest from the source.
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800637 uintptr_t Delta() const {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800638 return dest_ - source_;
639 }
640
641 uintptr_t Source() const {
642 return source_;
643 }
644
645 uintptr_t Dest() const {
646 return dest_;
647 }
648
649 uintptr_t Length() const {
650 return length_;
651 }
652
653 private:
654 const uintptr_t source_;
655 const uintptr_t dest_;
656 const uintptr_t length_;
657};
658
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800659std::ostream& operator<<(std::ostream& os, const RelocationRange& reloc) {
660 return os << "(" << reinterpret_cast<const void*>(reloc.Source()) << "-"
661 << reinterpret_cast<const void*>(reloc.Source() + reloc.Length()) << ")->("
662 << reinterpret_cast<const void*>(reloc.Dest()) << "-"
663 << reinterpret_cast<const void*>(reloc.Dest() + reloc.Length()) << ")";
664}
665
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800666class FixupVisitor : public ValueObject {
667 public:
668 FixupVisitor(const RelocationRange& boot_image,
669 const RelocationRange& boot_oat,
670 const RelocationRange& app_image,
671 const RelocationRange& app_oat)
672 : boot_image_(boot_image),
673 boot_oat_(boot_oat),
674 app_image_(app_image),
675 app_oat_(app_oat) {}
676
677 // Return the relocated address of a heap object.
678 template <typename T>
679 ALWAYS_INLINE T* ForwardObject(T* src) const {
680 const uintptr_t uint_src = reinterpret_cast<uintptr_t>(src);
Mathieu Chartier91edc622016-02-16 17:16:01 -0800681 if (boot_image_.InSource(uint_src)) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800682 return reinterpret_cast<T*>(boot_image_.ToDest(uint_src));
683 }
Mathieu Chartier91edc622016-02-16 17:16:01 -0800684 if (app_image_.InSource(uint_src)) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800685 return reinterpret_cast<T*>(app_image_.ToDest(uint_src));
686 }
Mathieu Chartier91edc622016-02-16 17:16:01 -0800687 // Since we are fixing up the app image, there should only be pointers to the app image and
688 // boot image.
689 DCHECK(src == nullptr) << reinterpret_cast<const void*>(src);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800690 return src;
691 }
692
693 // Return the relocated address of a code pointer (contained by an oat file).
694 ALWAYS_INLINE const void* ForwardCode(const void* src) const {
695 const uintptr_t uint_src = reinterpret_cast<uintptr_t>(src);
Mathieu Chartier91edc622016-02-16 17:16:01 -0800696 if (boot_oat_.InSource(uint_src)) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800697 return reinterpret_cast<const void*>(boot_oat_.ToDest(uint_src));
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800698 }
Mathieu Chartier91edc622016-02-16 17:16:01 -0800699 if (app_oat_.InSource(uint_src)) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800700 return reinterpret_cast<const void*>(app_oat_.ToDest(uint_src));
701 }
Mathieu Chartier91edc622016-02-16 17:16:01 -0800702 DCHECK(src == nullptr) << src;
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800703 return src;
704 }
705
706 protected:
707 // Source section.
708 const RelocationRange boot_image_;
709 const RelocationRange boot_oat_;
710 const RelocationRange app_image_;
711 const RelocationRange app_oat_;
712};
713
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800714// Adapt for mirror::Class::FixupNativePointers.
715class FixupObjectAdapter : public FixupVisitor {
716 public:
717 template<typename... Args>
718 explicit FixupObjectAdapter(Args... args) : FixupVisitor(args...) {}
719
Mathieu Chartier91edc622016-02-16 17:16:01 -0800720 // Must be called on pointers that already have been relocated to the destination relocation.
721 ALWAYS_INLINE bool IsInAppImage(mirror::Object* object) const {
722 return app_image_.InDest(reinterpret_cast<uintptr_t>(object));
723 }
724
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800725 template <typename T>
726 T* operator()(T* obj) const {
727 return ForwardObject(obj);
728 }
729};
730
731class FixupClassVisitor : public FixupVisitor {
732 public:
733 template<typename... Args>
734 explicit FixupClassVisitor(Args... args) : FixupVisitor(args...) {}
735
736 // The image space is contained so the GC doesn't need to know about it. Avoid requiring mutator
737 // lock to prevent possible pauses.
738 ALWAYS_INLINE void operator()(mirror::Object* obj) const NO_THREAD_SAFETY_ANALYSIS {
739 mirror::Class* klass = obj->GetClass<kVerifyNone, kWithoutReadBarrier>();
740 DCHECK(klass != nullptr) << "Null class in image";
741 // No AsClass since our fields aren't quite fixed up yet.
742 mirror::Class* new_klass = down_cast<mirror::Class*>(ForwardObject(klass));
743 // Keep clean if possible.
744 if (klass != new_klass) {
745 obj->SetClass<kVerifyNone>(new_klass);
746 }
747 }
748};
749
750class FixupRootVisitor : public FixupVisitor {
751 public:
752 template<typename... Args>
753 explicit FixupRootVisitor(Args... args) : FixupVisitor(args...) {}
754
755 ALWAYS_INLINE void VisitRootIfNonNull(mirror::CompressedReference<mirror::Object>* root) const
756 SHARED_REQUIRES(Locks::mutator_lock_) {
757 if (!root->IsNull()) {
758 VisitRoot(root);
759 }
760 }
761
762 ALWAYS_INLINE void VisitRoot(mirror::CompressedReference<mirror::Object>* root) const
763 SHARED_REQUIRES(Locks::mutator_lock_) {
764 mirror::Object* ref = root->AsMirrorPtr();
765 mirror::Object* new_ref = ForwardObject(ref);
766 if (ref != new_ref) {
767 root->Assign(new_ref);
768 }
769 }
770};
771
772class FixupObjectVisitor : public FixupVisitor {
773 public:
774 template<typename... Args>
Mathieu Chartier91edc622016-02-16 17:16:01 -0800775 explicit FixupObjectVisitor(gc::accounting::ContinuousSpaceBitmap* pointer_array_visited,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800776 const size_t pointer_size,
Mathieu Chartier91edc622016-02-16 17:16:01 -0800777 Args... args)
778 : FixupVisitor(args...),
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800779 pointer_size_(pointer_size),
Mathieu Chartier91edc622016-02-16 17:16:01 -0800780 pointer_array_visited_(pointer_array_visited) {}
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800781
782 // Fix up separately since we also need to fix up method entrypoints.
783 ALWAYS_INLINE void VisitRootIfNonNull(
784 mirror::CompressedReference<mirror::Object>* root ATTRIBUTE_UNUSED) const {}
785
786 ALWAYS_INLINE void VisitRoot(mirror::CompressedReference<mirror::Object>* root ATTRIBUTE_UNUSED)
787 const {}
788
789 ALWAYS_INLINE void operator()(mirror::Object* obj,
790 MemberOffset offset,
791 bool is_static ATTRIBUTE_UNUSED) const
792 NO_THREAD_SAFETY_ANALYSIS {
793 // There could be overlap between ranges, we must avoid visiting the same reference twice.
794 // Avoid the class field since we already fixed it up in FixupClassVisitor.
795 if (offset.Uint32Value() != mirror::Object::ClassOffset().Uint32Value()) {
796 // Space is not yet added to the heap, don't do a read barrier.
797 mirror::Object* ref = obj->GetFieldObject<mirror::Object, kVerifyNone, kWithoutReadBarrier>(
798 offset);
799 // Use SetFieldObjectWithoutWriteBarrier to avoid card marking since we are writing to the
800 // image.
801 obj->SetFieldObjectWithoutWriteBarrier<false, true, kVerifyNone>(offset, ForwardObject(ref));
802 }
803 }
804
Mathieu Chartier91edc622016-02-16 17:16:01 -0800805 // Visit a pointer array and forward corresponding native data. Ignores pointer arrays in the
806 // boot image. Uses the bitmap to ensure the same array is not visited multiple times.
807 template <typename Visitor>
808 void VisitPointerArray(mirror::PointerArray* array, const Visitor& visitor) const
809 NO_THREAD_SAFETY_ANALYSIS {
810 if (array != nullptr &&
811 visitor.IsInAppImage(array) &&
812 !pointer_array_visited_->Test(array)) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800813 array->Fixup<kVerifyNone, kWithoutReadBarrier>(array, pointer_size_, visitor);
Mathieu Chartier91edc622016-02-16 17:16:01 -0800814 pointer_array_visited_->Set(array);
815 }
816 }
817
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800818 // java.lang.ref.Reference visitor.
819 void operator()(mirror::Class* klass ATTRIBUTE_UNUSED, mirror::Reference* ref) const
820 SHARED_REQUIRES(Locks::mutator_lock_) REQUIRES(Locks::heap_bitmap_lock_) {
821 mirror::Object* obj = ref->GetReferent<kWithoutReadBarrier>();
822 ref->SetFieldObjectWithoutWriteBarrier<false, true, kVerifyNone>(
823 mirror::Reference::ReferentOffset(),
824 ForwardObject(obj));
825 }
826
827 ALWAYS_INLINE void operator()(mirror::Object* obj) const NO_THREAD_SAFETY_ANALYSIS {
828 obj->VisitReferences</*visit native roots*/false, kVerifyNone, kWithoutReadBarrier>(
829 *this,
830 *this);
831 // We want to use our own class loader and not the one in the image.
832 if (obj->IsClass<kVerifyNone, kWithoutReadBarrier>()) {
833 mirror::Class* klass = obj->AsClass<kVerifyNone, kWithoutReadBarrier>();
834 FixupObjectAdapter visitor(boot_image_, boot_oat_, app_image_, app_oat_);
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800835 klass->FixupNativePointers<kVerifyNone, kWithoutReadBarrier>(klass, pointer_size_, visitor);
Mathieu Chartier91edc622016-02-16 17:16:01 -0800836 // Deal with the pointer arrays. Use the helper function since multiple classes can reference
837 // the same arrays.
838 VisitPointerArray(klass->GetVTable<kVerifyNone, kWithoutReadBarrier>(), visitor);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800839 mirror::IfTable* iftable = klass->GetIfTable<kVerifyNone, kWithoutReadBarrier>();
840 if (iftable != nullptr) {
Mathieu Chartierdfe02f62016-02-01 20:15:11 -0800841 for (int32_t i = 0, count = iftable->Count(); i < count; ++i) {
842 if (iftable->GetMethodArrayCount<kVerifyNone, kWithoutReadBarrier>(i) > 0) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800843 mirror::PointerArray* methods =
844 iftable->GetMethodArray<kVerifyNone, kWithoutReadBarrier>(i);
845 DCHECK(methods != nullptr);
Mathieu Chartier91edc622016-02-16 17:16:01 -0800846 VisitPointerArray(methods, visitor);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800847 }
848 }
849 }
850 }
851 }
Mathieu Chartier91edc622016-02-16 17:16:01 -0800852
853 private:
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800854 const size_t pointer_size_;
Mathieu Chartier91edc622016-02-16 17:16:01 -0800855 gc::accounting::ContinuousSpaceBitmap* const pointer_array_visited_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800856};
857
858class ForwardObjectAdapter {
859 public:
860 ALWAYS_INLINE ForwardObjectAdapter(const FixupVisitor* visitor) : visitor_(visitor) {}
861
862 template <typename T>
863 ALWAYS_INLINE T* operator()(T* src) const {
864 return visitor_->ForwardObject(src);
865 }
866
867 private:
868 const FixupVisitor* const visitor_;
869};
870
871class ForwardCodeAdapter {
872 public:
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800873 ALWAYS_INLINE ForwardCodeAdapter(const FixupVisitor* visitor)
874 : visitor_(visitor) {}
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800875
876 template <typename T>
877 ALWAYS_INLINE T* operator()(T* src) const {
878 return visitor_->ForwardCode(src);
879 }
880
881 private:
882 const FixupVisitor* const visitor_;
883};
884
885class FixupArtMethodVisitor : public FixupVisitor, public ArtMethodVisitor {
886 public:
887 template<typename... Args>
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800888 explicit FixupArtMethodVisitor(bool fixup_heap_objects, size_t pointer_size, Args... args)
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800889 : FixupVisitor(args...),
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800890 fixup_heap_objects_(fixup_heap_objects),
891 pointer_size_(pointer_size) {}
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800892
893 virtual void Visit(ArtMethod* method) NO_THREAD_SAFETY_ANALYSIS {
894 if (fixup_heap_objects_) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800895 method->UpdateObjectsForImageRelocation(ForwardObjectAdapter(this), pointer_size_);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800896 }
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800897 method->UpdateEntrypoints<kWithoutReadBarrier>(ForwardCodeAdapter(this), pointer_size_);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800898 }
899
900 private:
901 const bool fixup_heap_objects_;
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800902 const size_t pointer_size_;
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800903};
904
905class FixupArtFieldVisitor : public FixupVisitor, public ArtFieldVisitor {
906 public:
907 template<typename... Args>
908 explicit FixupArtFieldVisitor(Args... args) : FixupVisitor(args...) {}
909
910 virtual void Visit(ArtField* field) NO_THREAD_SAFETY_ANALYSIS {
911 field->UpdateObjects(ForwardObjectAdapter(this));
912 }
913};
914
915// Relocate an image space mapped at target_base which possibly used to be at a different base
916// address. Only needs a single image space, not one for both source and destination.
917// In place means modifying a single ImageSpace in place rather than relocating from one ImageSpace
918// to another.
919static bool RelocateInPlace(ImageHeader& image_header,
920 uint8_t* target_base,
921 accounting::ContinuousSpaceBitmap* bitmap,
922 const OatFile* app_oat_file,
923 std::string* error_msg) {
924 DCHECK(error_msg != nullptr);
925 if (!image_header.IsPic()) {
926 if (image_header.GetImageBegin() == target_base) {
927 return true;
928 }
929 *error_msg = StringPrintf("Cannot relocate non-pic image for oat file %s",
930 (app_oat_file != nullptr) ? app_oat_file->GetLocation().c_str() : "");
931 return false;
932 }
933 // Set up sections.
934 uint32_t boot_image_begin = 0;
935 uint32_t boot_image_end = 0;
936 uint32_t boot_oat_begin = 0;
937 uint32_t boot_oat_end = 0;
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800938 const size_t pointer_size = image_header.GetPointerSize();
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800939 gc::Heap* const heap = Runtime::Current()->GetHeap();
940 heap->GetBootImagesSize(&boot_image_begin, &boot_image_end, &boot_oat_begin, &boot_oat_end);
Mathieu Chartiere7199262016-04-11 13:56:45 -0700941 if (boot_image_begin == boot_image_end) {
942 *error_msg = "Can not relocate app image without boot image space";
943 return false;
944 }
945 if (boot_oat_begin == boot_oat_end) {
946 *error_msg = "Can not relocate app image without boot oat file";
947 return false;
948 }
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800949 const uint32_t boot_image_size = boot_image_end - boot_image_begin;
950 const uint32_t boot_oat_size = boot_oat_end - boot_oat_begin;
951 const uint32_t image_header_boot_image_size = image_header.GetBootImageSize();
952 const uint32_t image_header_boot_oat_size = image_header.GetBootOatSize();
953 if (boot_image_size != image_header_boot_image_size) {
954 *error_msg = StringPrintf("Boot image size %" PRIu64 " does not match expected size %"
955 PRIu64,
956 static_cast<uint64_t>(boot_image_size),
957 static_cast<uint64_t>(image_header_boot_image_size));
958 return false;
959 }
960 if (boot_oat_size != image_header_boot_oat_size) {
961 *error_msg = StringPrintf("Boot oat size %" PRIu64 " does not match expected size %"
962 PRIu64,
963 static_cast<uint64_t>(boot_oat_size),
964 static_cast<uint64_t>(image_header_boot_oat_size));
965 return false;
966 }
967 TimingLogger logger(__FUNCTION__, true, false);
968 RelocationRange boot_image(image_header.GetBootImageBegin(),
969 boot_image_begin,
970 boot_image_size);
971 RelocationRange boot_oat(image_header.GetBootOatBegin(),
972 boot_oat_begin,
973 boot_oat_size);
974 RelocationRange app_image(reinterpret_cast<uintptr_t>(image_header.GetImageBegin()),
975 reinterpret_cast<uintptr_t>(target_base),
976 image_header.GetImageSize());
977 // Use the oat data section since this is where the OatFile::Begin is.
978 RelocationRange app_oat(reinterpret_cast<uintptr_t>(image_header.GetOatDataBegin()),
979 // Not necessarily in low 4GB.
980 reinterpret_cast<uintptr_t>(app_oat_file->Begin()),
981 image_header.GetOatDataEnd() - image_header.GetOatDataBegin());
982 VLOG(image) << "App image " << app_image;
983 VLOG(image) << "App oat " << app_oat;
984 VLOG(image) << "Boot image " << boot_image;
985 VLOG(image) << "Boot oat " << boot_oat;
986 // True if we need to fixup any heap pointers, otherwise only code pointers.
987 const bool fixup_image = boot_image.Delta() != 0 || app_image.Delta() != 0;
988 const bool fixup_code = boot_oat.Delta() != 0 || app_oat.Delta() != 0;
989 if (!fixup_image && !fixup_code) {
990 // Nothing to fix up.
991 return true;
992 }
Mathieu Chartierdfe02f62016-02-01 20:15:11 -0800993 ScopedDebugDisallowReadBarriers sddrb(Thread::Current());
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800994 // Need to update the image to be at the target base.
995 const ImageSection& objects_section = image_header.GetImageSection(ImageHeader::kSectionObjects);
996 uintptr_t objects_begin = reinterpret_cast<uintptr_t>(target_base + objects_section.Offset());
997 uintptr_t objects_end = reinterpret_cast<uintptr_t>(target_base + objects_section.End());
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800998 if (fixup_image) {
Mathieu Chartier91edc622016-02-16 17:16:01 -0800999 // Two pass approach, fix up all classes first, then fix up non class-objects.
1000 // The visited bitmap is used to ensure that pointer arrays are not forwarded twice.
1001 std::unique_ptr<gc::accounting::ContinuousSpaceBitmap> visited_bitmap(
1002 gc::accounting::ContinuousSpaceBitmap::Create("Pointer array bitmap",
1003 target_base,
1004 image_header.GetImageSize()));
1005 FixupObjectVisitor fixup_object_visitor(visited_bitmap.get(),
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001006 pointer_size,
Mathieu Chartier91edc622016-02-16 17:16:01 -08001007 boot_image,
1008 boot_oat,
1009 app_image,
1010 app_oat);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001011 TimingLogger::ScopedTiming timing("Fixup classes", &logger);
1012 // Fixup class only touches app image classes, don't need the mutator lock since the space is
1013 // not yet visible to the GC.
1014 FixupClassVisitor fixup_class_visitor(boot_image, boot_oat, app_image, app_oat);
1015 bitmap->VisitMarkedRange(objects_begin, objects_end, fixup_class_visitor);
1016 // Fixup objects may read fields in the boot image, use the mutator lock here for sanity. Though
1017 // its probably not required.
1018 ScopedObjectAccess soa(Thread::Current());
1019 timing.NewTiming("Fixup objects");
1020 bitmap->VisitMarkedRange(objects_begin, objects_end, fixup_object_visitor);
1021 FixupObjectAdapter fixup_adapter(boot_image, boot_oat, app_image, app_oat);
1022 // Fixup image roots.
Mathieu Chartier91edc622016-02-16 17:16:01 -08001023 CHECK(app_image.InSource(reinterpret_cast<uintptr_t>(
Mathieu Chartier4a26f172016-01-26 14:26:18 -08001024 image_header.GetImageRoots<kWithoutReadBarrier>())));
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001025 image_header.RelocateImageObjects(app_image.Delta());
1026 CHECK_EQ(image_header.GetImageBegin(), target_base);
1027 // Fix up dex cache DexFile pointers.
Mathieu Chartier4a26f172016-01-26 14:26:18 -08001028 auto* dex_caches = image_header.GetImageRoot<kWithoutReadBarrier>(ImageHeader::kDexCaches)->
Mathieu Chartierdfe02f62016-02-01 20:15:11 -08001029 AsObjectArray<mirror::DexCache, kVerifyNone, kWithoutReadBarrier>();
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001030 for (int32_t i = 0, count = dex_caches->GetLength(); i < count; ++i) {
Mathieu Chartier60bc39c2016-01-27 18:37:48 -08001031 mirror::DexCache* dex_cache = dex_caches->Get<kVerifyNone, kWithoutReadBarrier>(i);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001032 // Fix up dex cache pointers.
1033 GcRoot<mirror::String>* strings = dex_cache->GetStrings();
1034 if (strings != nullptr) {
1035 GcRoot<mirror::String>* new_strings = fixup_adapter.ForwardObject(strings);
1036 if (strings != new_strings) {
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -08001037 dex_cache->SetStrings(new_strings);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001038 }
Mathieu Chartier60bc39c2016-01-27 18:37:48 -08001039 dex_cache->FixupStrings<kWithoutReadBarrier>(new_strings, fixup_adapter);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001040 }
1041 GcRoot<mirror::Class>* types = dex_cache->GetResolvedTypes();
1042 if (types != nullptr) {
1043 GcRoot<mirror::Class>* new_types = fixup_adapter.ForwardObject(types);
1044 if (types != new_types) {
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -08001045 dex_cache->SetResolvedTypes(new_types);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001046 }
Mathieu Chartier60bc39c2016-01-27 18:37:48 -08001047 dex_cache->FixupResolvedTypes<kWithoutReadBarrier>(new_types, fixup_adapter);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001048 }
1049 ArtMethod** methods = dex_cache->GetResolvedMethods();
1050 if (methods != nullptr) {
1051 ArtMethod** new_methods = fixup_adapter.ForwardObject(methods);
1052 if (methods != new_methods) {
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -08001053 dex_cache->SetResolvedMethods(new_methods);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001054 }
1055 for (size_t j = 0, num = dex_cache->NumResolvedMethods(); j != num; ++j) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001056 ArtMethod* orig = mirror::DexCache::GetElementPtrSize(new_methods, j, pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001057 ArtMethod* copy = fixup_adapter.ForwardObject(orig);
1058 if (orig != copy) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001059 mirror::DexCache::SetElementPtrSize(new_methods, j, copy, pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001060 }
1061 }
1062 }
1063 ArtField** fields = dex_cache->GetResolvedFields();
1064 if (fields != nullptr) {
1065 ArtField** new_fields = fixup_adapter.ForwardObject(fields);
1066 if (fields != new_fields) {
Mathieu Chartier1aa8ec22016-02-01 10:34:47 -08001067 dex_cache->SetResolvedFields(new_fields);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001068 }
1069 for (size_t j = 0, num = dex_cache->NumResolvedFields(); j != num; ++j) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001070 ArtField* orig = mirror::DexCache::GetElementPtrSize(new_fields, j, pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001071 ArtField* copy = fixup_adapter.ForwardObject(orig);
1072 if (orig != copy) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001073 mirror::DexCache::SetElementPtrSize(new_fields, j, copy, pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001074 }
1075 }
1076 }
1077 }
1078 }
1079 {
1080 // Only touches objects in the app image, no need for mutator lock.
1081 TimingLogger::ScopedTiming timing("Fixup methods", &logger);
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001082 FixupArtMethodVisitor method_visitor(fixup_image,
1083 pointer_size,
1084 boot_image,
1085 boot_oat,
1086 app_image,
1087 app_oat);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001088 image_header.GetImageSection(ImageHeader::kSectionArtMethods).VisitPackedArtMethods(
1089 &method_visitor,
1090 target_base,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001091 pointer_size);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001092 }
1093 if (fixup_image) {
1094 {
1095 // Only touches objects in the app image, no need for mutator lock.
1096 TimingLogger::ScopedTiming timing("Fixup fields", &logger);
1097 FixupArtFieldVisitor field_visitor(boot_image, boot_oat, app_image, app_oat);
1098 image_header.GetImageSection(ImageHeader::kSectionArtFields).VisitPackedArtFields(
1099 &field_visitor,
1100 target_base);
1101 }
1102 // In the app image case, the image methods are actually in the boot image.
1103 image_header.RelocateImageMethods(boot_image.Delta());
1104 const auto& class_table_section = image_header.GetImageSection(ImageHeader::kSectionClassTable);
1105 if (class_table_section.Size() > 0u) {
1106 // Note that we require that ReadFromMemory does not make an internal copy of the elements.
1107 // This also relies on visit roots not doing any verification which could fail after we update
1108 // the roots to be the image addresses.
1109 ScopedObjectAccess soa(Thread::Current());
1110 WriterMutexLock mu(Thread::Current(), *Locks::classlinker_classes_lock_);
1111 ClassTable temp_table;
1112 temp_table.ReadFromMemory(target_base + class_table_section.Offset());
1113 FixupRootVisitor root_visitor(boot_image, boot_oat, app_image, app_oat);
1114 temp_table.VisitRoots(root_visitor);
1115 }
1116 }
1117 if (VLOG_IS_ON(image)) {
1118 logger.Dump(LOG(INFO));
1119 }
1120 return true;
1121}
1122
1123ImageSpace* ImageSpace::Init(const char* image_filename,
1124 const char* image_location,
1125 bool validate_oat_file,
1126 const OatFile* oat_file,
1127 std::string* error_msg) {
Narayan Kamath52f84882014-05-02 10:10:39 +01001128 CHECK(image_filename != nullptr);
1129 CHECK(image_location != nullptr);
Ian Rogers1d54e732013-05-02 21:10:01 -07001130
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -08001131 TimingLogger logger(__PRETTY_FUNCTION__, true, VLOG_IS_ON(image));
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001132 VLOG(image) << "ImageSpace::Init entering image_filename=" << image_filename;
Nicolas Geoffray1bc977c2016-01-23 14:15:49 +00001133
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001134 std::unique_ptr<File> file;
1135 {
1136 TimingLogger::ScopedTiming timing("OpenImageFile", &logger);
1137 file.reset(OS::OpenFileForReading(image_filename));
1138 if (file == nullptr) {
1139 *error_msg = StringPrintf("Failed to open '%s'", image_filename);
1140 return nullptr;
1141 }
Nicolas Geoffray1bc977c2016-01-23 14:15:49 +00001142 }
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001143 ImageHeader temp_image_header;
1144 ImageHeader* image_header = &temp_image_header;
1145 {
1146 TimingLogger::ScopedTiming timing("ReadImageHeader", &logger);
1147 bool success = file->ReadFully(image_header, sizeof(*image_header));
1148 if (!success || !image_header->IsValid()) {
1149 *error_msg = StringPrintf("Invalid image header in '%s'", image_filename);
1150 return nullptr;
1151 }
Ian Rogers1d54e732013-05-02 21:10:01 -07001152 }
Mathieu Chartierceb07b32015-12-10 09:33:21 -08001153 // Check that the file is larger or equal to the header size + data size.
1154 const uint64_t image_file_size = static_cast<uint64_t>(file->GetLength());
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001155 if (image_file_size < sizeof(ImageHeader) + image_header->GetDataSize()) {
Mathieu Chartierceb07b32015-12-10 09:33:21 -08001156 *error_msg = StringPrintf("Image file truncated: %" PRIu64 " vs. %" PRIu64 ".",
1157 image_file_size,
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001158 sizeof(ImageHeader) + image_header->GetDataSize());
Andreas Gampe6c8b49f2015-02-19 11:42:36 -08001159 return nullptr;
1160 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07001161
Mathieu Chartier9ff84602016-01-29 12:22:17 -08001162 if (oat_file != nullptr) {
1163 // If we have an oat file, check the oat file checksum. The oat file is only non-null for the
1164 // app image case. Otherwise, we open the oat file after the image and check the checksum there.
1165 const uint32_t oat_checksum = oat_file->GetOatHeader().GetChecksum();
1166 const uint32_t image_oat_checksum = image_header->GetOatChecksum();
1167 if (oat_checksum != image_oat_checksum) {
1168 *error_msg = StringPrintf("Oat checksum 0x%x does not match the image one 0x%x in image %s",
1169 oat_checksum,
1170 image_oat_checksum,
1171 image_filename);
1172 return nullptr;
1173 }
1174 }
1175
Jeff Haodcdc85b2015-12-04 14:06:18 -08001176 if (VLOG_IS_ON(startup)) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001177 LOG(INFO) << "Dumping image sections";
1178 for (size_t i = 0; i < ImageHeader::kSectionCount; ++i) {
1179 const auto section_idx = static_cast<ImageHeader::ImageSections>(i);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001180 auto& section = image_header->GetImageSection(section_idx);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001181 LOG(INFO) << section_idx << " start="
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001182 << reinterpret_cast<void*>(image_header->GetImageBegin() + section.Offset()) << " "
1183 << section;
Mathieu Chartiere401d142015-04-22 13:56:20 -07001184 }
1185 }
1186
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001187 const auto& bitmap_section = image_header->GetImageSection(ImageHeader::kSectionImageBitmap);
Mathieu Chartierceb07b32015-12-10 09:33:21 -08001188 // The location we want to map from is the first aligned page after the end of the stored
1189 // (possibly compressed) data.
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001190 const size_t image_bitmap_offset = RoundUp(sizeof(ImageHeader) + image_header->GetDataSize(),
Mathieu Chartierceb07b32015-12-10 09:33:21 -08001191 kPageSize);
1192 const size_t end_of_bitmap = image_bitmap_offset + bitmap_section.Size();
Mathieu Chartierc7853442015-03-27 14:35:38 -07001193 if (end_of_bitmap != image_file_size) {
1194 *error_msg = StringPrintf(
1195 "Image file size does not equal end of bitmap: size=%" PRIu64 " vs. %zu.", image_file_size,
1196 end_of_bitmap);
Andreas Gampe6c8b49f2015-02-19 11:42:36 -08001197 return nullptr;
1198 }
1199
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001200 // The preferred address to map the image, null specifies any address. If we manage to map the
1201 // image at the image begin, the amount of fixup work required is minimized.
1202 std::vector<uint8_t*> addresses(1, image_header->GetImageBegin());
1203 if (image_header->IsPic()) {
1204 // Can also map at a random low_4gb address since we can relocate in-place.
1205 addresses.push_back(nullptr);
1206 }
1207
Mathieu Chartier31e89252013-08-28 11:29:12 -07001208 // Note: The image header is part of the image due to mmap page alignment required of offset.
Mathieu Chartierceb07b32015-12-10 09:33:21 -08001209 std::unique_ptr<MemMap> map;
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001210 std::string temp_error_msg;
1211 for (uint8_t* address : addresses) {
1212 TimingLogger::ScopedTiming timing("MapImageFile", &logger);
1213 // Only care about the error message for the last address in addresses. We want to avoid the
1214 // overhead of printing the process maps if we can relocate.
1215 std::string* out_error_msg = (address == addresses.back()) ? &temp_error_msg : nullptr;
Mathieu Chartiera6e81ed2016-02-25 13:52:10 -08001216 const ImageHeader::StorageMode storage_mode = image_header->GetStorageMode();
1217 if (storage_mode == ImageHeader::kStorageModeUncompressed) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001218 map.reset(MemMap::MapFileAtAddress(address,
1219 image_header->GetImageSize(),
1220 PROT_READ | PROT_WRITE,
1221 MAP_PRIVATE,
1222 file->Fd(),
1223 0,
1224 /*low_4gb*/true,
1225 /*reuse*/false,
1226 image_filename,
1227 /*out*/out_error_msg));
1228 } else {
Mathieu Chartiera6e81ed2016-02-25 13:52:10 -08001229 if (storage_mode != ImageHeader::kStorageModeLZ4 &&
1230 storage_mode != ImageHeader::kStorageModeLZ4HC) {
1231 *error_msg = StringPrintf("Invalid storage mode in image header %d",
1232 static_cast<int>(storage_mode));
1233 return nullptr;
1234 }
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001235 // Reserve output and decompress into it.
1236 map.reset(MemMap::MapAnonymous(image_location,
1237 address,
1238 image_header->GetImageSize(),
1239 PROT_READ | PROT_WRITE,
1240 /*low_4gb*/true,
1241 /*reuse*/false,
Mathieu Chartierc5dd3192015-12-09 16:38:30 -08001242 /*out*/out_error_msg));
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001243 if (map != nullptr) {
1244 const size_t stored_size = image_header->GetDataSize();
Mathieu Chartier8e864bf2016-03-14 11:02:59 -07001245 const size_t decompress_offset = sizeof(ImageHeader); // Skip the header.
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001246 std::unique_ptr<MemMap> temp_map(MemMap::MapFile(sizeof(ImageHeader) + stored_size,
1247 PROT_READ,
1248 MAP_PRIVATE,
1249 file->Fd(),
1250 /*offset*/0,
1251 /*low_4gb*/false,
1252 image_filename,
1253 out_error_msg));
1254 if (temp_map == nullptr) {
1255 DCHECK(!out_error_msg->empty());
1256 return nullptr;
1257 }
1258 memcpy(map->Begin(), image_header, sizeof(ImageHeader));
1259 const uint64_t start = NanoTime();
Mathieu Chartiera6e81ed2016-02-25 13:52:10 -08001260 // LZ4HC and LZ4 have same internal format, both use LZ4_decompress.
Mathieu Chartier31317c32016-02-25 12:28:40 -08001261 TimingLogger::ScopedTiming timing2("LZ4 decompress image", &logger);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001262 const size_t decompressed_size = LZ4_decompress_safe(
1263 reinterpret_cast<char*>(temp_map->Begin()) + sizeof(ImageHeader),
Mathieu Chartier8e864bf2016-03-14 11:02:59 -07001264 reinterpret_cast<char*>(map->Begin()) + decompress_offset,
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001265 stored_size,
Mathieu Chartier8e864bf2016-03-14 11:02:59 -07001266 map->Size() - decompress_offset);
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001267 VLOG(image) << "Decompressing image took " << PrettyDuration(NanoTime() - start);
1268 if (decompressed_size + sizeof(ImageHeader) != image_header->GetImageSize()) {
Mathieu Chartier8e864bf2016-03-14 11:02:59 -07001269 *error_msg = StringPrintf(
1270 "Decompressed size does not match expected image size %zu vs %zu",
1271 decompressed_size + sizeof(ImageHeader),
1272 image_header->GetImageSize());
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001273 return nullptr;
1274 }
1275 }
1276 }
Mathieu Chartierceb07b32015-12-10 09:33:21 -08001277 if (map != nullptr) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001278 break;
Mathieu Chartierceb07b32015-12-10 09:33:21 -08001279 }
1280 }
1281
Mathieu Chartier42bddce2015-11-09 15:16:56 -08001282 if (map == nullptr) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001283 DCHECK(!temp_error_msg.empty());
1284 *error_msg = temp_error_msg;
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001285 return nullptr;
Ian Rogers1d54e732013-05-02 21:10:01 -07001286 }
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001287 DCHECK_EQ(0, memcmp(image_header, map->Begin(), sizeof(ImageHeader)));
Ian Rogers1d54e732013-05-02 21:10:01 -07001288
Mathieu Chartierceb07b32015-12-10 09:33:21 -08001289 std::unique_ptr<MemMap> image_bitmap_map(MemMap::MapFileAtAddress(nullptr,
1290 bitmap_section.Size(),
1291 PROT_READ, MAP_PRIVATE,
1292 file->Fd(),
1293 image_bitmap_offset,
1294 /*low_4gb*/false,
1295 /*reuse*/false,
1296 image_filename,
1297 error_msg));
1298 if (image_bitmap_map == nullptr) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001299 *error_msg = StringPrintf("Failed to map image bitmap: %s", error_msg->c_str());
1300 return nullptr;
1301 }
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001302 // Loaded the map, use the image header from the file now in case we patch it with
1303 // RelocateInPlace.
1304 image_header = reinterpret_cast<ImageHeader*>(map->Begin());
1305 const uint32_t bitmap_index = bitmap_index_.FetchAndAddSequentiallyConsistent(1);
1306 std::string bitmap_name(StringPrintf("imagespace %s live-bitmap %u",
1307 image_filename,
Mathieu Chartier31e89252013-08-28 11:29:12 -07001308 bitmap_index));
Mathieu Chartier2d124ec2016-01-05 18:03:15 -08001309 // Bitmap only needs to cover until the end of the mirror objects section.
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001310 const ImageSection& image_objects = image_header->GetImageSection(ImageHeader::kSectionObjects);
1311 // We only want the mirror object, not the ArtFields and ArtMethods.
1312 uint8_t* const image_end = map->Begin() + image_objects.End();
1313 std::unique_ptr<accounting::ContinuousSpaceBitmap> bitmap;
1314 {
1315 TimingLogger::ScopedTiming timing("CreateImageBitmap", &logger);
1316 bitmap.reset(
Mathieu Chartierd39645e2015-06-09 17:50:29 -07001317 accounting::ContinuousSpaceBitmap::CreateFromMemMap(
Mathieu Chartierceb07b32015-12-10 09:33:21 -08001318 bitmap_name,
1319 image_bitmap_map.release(),
1320 reinterpret_cast<uint8_t*>(map->Begin()),
Mathieu Chartier2d124ec2016-01-05 18:03:15 -08001321 image_objects.End()));
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001322 if (bitmap == nullptr) {
1323 *error_msg = StringPrintf("Could not create bitmap '%s'", bitmap_name.c_str());
1324 return nullptr;
1325 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001326 }
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001327 {
1328 TimingLogger::ScopedTiming timing("RelocateImage", &logger);
1329 if (!RelocateInPlace(*image_header,
1330 map->Begin(),
1331 bitmap.get(),
1332 oat_file,
1333 error_msg)) {
1334 return nullptr;
1335 }
1336 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07001337 // We only want the mirror object, not the ArtFields and ArtMethods.
Jeff Haodcdc85b2015-12-04 14:06:18 -08001338 std::unique_ptr<ImageSpace> space(new ImageSpace(image_filename,
1339 image_location,
1340 map.release(),
1341 bitmap.release(),
Mathieu Chartier2d124ec2016-01-05 18:03:15 -08001342 image_end));
Hiroshi Yamauchibd0fb612014-05-20 13:46:00 -07001343
1344 // VerifyImageAllocations() will be called later in Runtime::Init()
1345 // as some class roots like ArtMethod::java_lang_reflect_ArtMethod_
1346 // and ArtField::java_lang_reflect_ArtField_, which are used from
1347 // Object::SizeOf() which VerifyImageAllocations() calls, are not
1348 // set yet at this point.
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001349 if (oat_file == nullptr) {
1350 TimingLogger::ScopedTiming timing("OpenOatFile", &logger);
1351 space->oat_file_.reset(space->OpenOatFile(image_filename, error_msg));
1352 if (space->oat_file_ == nullptr) {
1353 DCHECK(!error_msg->empty());
1354 return nullptr;
1355 }
1356 space->oat_file_non_owned_ = space->oat_file_.get();
1357 } else {
1358 space->oat_file_non_owned_ = oat_file;
Nicolas Geoffray1bc977c2016-01-23 14:15:49 +00001359 }
Nicolas Geoffray1bc977c2016-01-23 14:15:49 +00001360
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001361 if (validate_oat_file) {
1362 TimingLogger::ScopedTiming timing("ValidateOatFile", &logger);
1363 if (!space->ValidateOatFile(error_msg)) {
1364 DCHECK(!error_msg->empty());
1365 return nullptr;
1366 }
Brian Carlstrom56d947f2013-07-15 13:14:23 -07001367 }
1368
Vladimir Marko7624d252014-05-02 14:40:15 +01001369 Runtime* runtime = Runtime::Current();
Vladimir Marko7624d252014-05-02 14:40:15 +01001370
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001371 // If oat_file is null, then it is the boot image space. Use oat_file_non_owned_ from the space
1372 // to set the runtime methods.
1373 CHECK_EQ(oat_file != nullptr, image_header->IsAppImage());
1374 if (image_header->IsAppImage()) {
1375 CHECK_EQ(runtime->GetResolutionMethod(),
1376 image_header->GetImageMethod(ImageHeader::kResolutionMethod));
1377 CHECK_EQ(runtime->GetImtConflictMethod(),
1378 image_header->GetImageMethod(ImageHeader::kImtConflictMethod));
1379 CHECK_EQ(runtime->GetImtUnimplementedMethod(),
1380 image_header->GetImageMethod(ImageHeader::kImtUnimplementedMethod));
1381 CHECK_EQ(runtime->GetCalleeSaveMethod(Runtime::kSaveAll),
1382 image_header->GetImageMethod(ImageHeader::kCalleeSaveMethod));
1383 CHECK_EQ(runtime->GetCalleeSaveMethod(Runtime::kRefsOnly),
1384 image_header->GetImageMethod(ImageHeader::kRefsOnlySaveMethod));
1385 CHECK_EQ(runtime->GetCalleeSaveMethod(Runtime::kRefsAndArgs),
1386 image_header->GetImageMethod(ImageHeader::kRefsAndArgsSaveMethod));
1387 } else if (!runtime->HasResolutionMethod()) {
1388 runtime->SetInstructionSet(space->oat_file_non_owned_->GetOatHeader().GetInstructionSet());
1389 runtime->SetResolutionMethod(image_header->GetImageMethod(ImageHeader::kResolutionMethod));
1390 runtime->SetImtConflictMethod(image_header->GetImageMethod(ImageHeader::kImtConflictMethod));
Jeff Haodcdc85b2015-12-04 14:06:18 -08001391 runtime->SetImtUnimplementedMethod(
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001392 image_header->GetImageMethod(ImageHeader::kImtUnimplementedMethod));
Jeff Haodcdc85b2015-12-04 14:06:18 -08001393 runtime->SetCalleeSaveMethod(
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001394 image_header->GetImageMethod(ImageHeader::kCalleeSaveMethod), Runtime::kSaveAll);
Jeff Haodcdc85b2015-12-04 14:06:18 -08001395 runtime->SetCalleeSaveMethod(
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001396 image_header->GetImageMethod(ImageHeader::kRefsOnlySaveMethod), Runtime::kRefsOnly);
Jeff Haodcdc85b2015-12-04 14:06:18 -08001397 runtime->SetCalleeSaveMethod(
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001398 image_header->GetImageMethod(ImageHeader::kRefsAndArgsSaveMethod), Runtime::kRefsAndArgs);
Jeff Haodcdc85b2015-12-04 14:06:18 -08001399 }
Vladimir Marko7624d252014-05-02 14:40:15 +01001400
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001401 VLOG(image) << "ImageSpace::Init exiting " << *space.get();
1402 if (VLOG_IS_ON(image)) {
1403 logger.Dump(LOG(INFO));
Brian Carlstrom56d947f2013-07-15 13:14:23 -07001404 }
1405 return space.release();
1406}
1407
Nicolas Geoffray9583fbc2014-02-28 15:21:07 +00001408OatFile* ImageSpace::OpenOatFile(const char* image_path, std::string* error_msg) const {
Brian Carlstrom56d947f2013-07-15 13:14:23 -07001409 const ImageHeader& image_header = GetImageHeader();
Nicolas Geoffray9583fbc2014-02-28 15:21:07 +00001410 std::string oat_filename = ImageHeader::GetOatLocationFromImageLocation(image_path);
1411
Igor Murashkin46774762014-10-22 11:37:02 -07001412 CHECK(image_header.GetOatDataBegin() != nullptr);
1413
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001414 OatFile* oat_file = OatFile::Open(oat_filename,
1415 oat_filename,
1416 image_header.GetOatDataBegin(),
Igor Murashkin46774762014-10-22 11:37:02 -07001417 image_header.GetOatFileBegin(),
Richard Uhlere5fed032015-03-18 08:21:11 -07001418 !Runtime::Current()->IsAotCompiler(),
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001419 /*low_4gb*/false,
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001420 nullptr,
1421 error_msg);
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001422 if (oat_file == nullptr) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001423 *error_msg = StringPrintf("Failed to open oat file '%s' referenced from image %s: %s",
1424 oat_filename.c_str(), GetName(), error_msg->c_str());
1425 return nullptr;
Brian Carlstrom56d947f2013-07-15 13:14:23 -07001426 }
1427 uint32_t oat_checksum = oat_file->GetOatHeader().GetChecksum();
1428 uint32_t image_oat_checksum = image_header.GetOatChecksum();
1429 if (oat_checksum != image_oat_checksum) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001430 *error_msg = StringPrintf("Failed to match oat file checksum 0x%x to expected oat checksum 0x%x"
1431 " in image %s", oat_checksum, image_oat_checksum, GetName());
1432 return nullptr;
Brian Carlstrom56d947f2013-07-15 13:14:23 -07001433 }
Alex Lighta59dd802014-07-02 16:28:08 -07001434 int32_t image_patch_delta = image_header.GetPatchDelta();
1435 int32_t oat_patch_delta = oat_file->GetOatHeader().GetImagePatchDelta();
Igor Murashkin46774762014-10-22 11:37:02 -07001436 if (oat_patch_delta != image_patch_delta && !image_header.CompilePic()) {
Alex Lighta59dd802014-07-02 16:28:08 -07001437 // We should have already relocated by this point. Bail out.
1438 *error_msg = StringPrintf("Failed to match oat file patch delta %d to expected patch delta %d "
1439 "in image %s", oat_patch_delta, image_patch_delta, GetName());
1440 return nullptr;
1441 }
1442
Brian Carlstrom56d947f2013-07-15 13:14:23 -07001443 return oat_file;
1444}
1445
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001446bool ImageSpace::ValidateOatFile(std::string* error_msg) const {
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001447 CHECK(oat_file_.get() != nullptr);
Mathieu Chartier31e89252013-08-28 11:29:12 -07001448 for (const OatFile::OatDexFile* oat_dex_file : oat_file_->GetOatDexFiles()) {
Brian Carlstrom56d947f2013-07-15 13:14:23 -07001449 const std::string& dex_file_location = oat_dex_file->GetDexFileLocation();
1450 uint32_t dex_file_location_checksum;
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001451 if (!DexFile::GetChecksum(dex_file_location.c_str(), &dex_file_location_checksum, error_msg)) {
1452 *error_msg = StringPrintf("Failed to get checksum of dex file '%s' referenced by image %s: "
1453 "%s", dex_file_location.c_str(), GetName(), error_msg->c_str());
Brian Carlstrom56d947f2013-07-15 13:14:23 -07001454 return false;
1455 }
1456 if (dex_file_location_checksum != oat_dex_file->GetDexFileLocationChecksum()) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001457 *error_msg = StringPrintf("ValidateOatFile found checksum mismatch between oat file '%s' and "
1458 "dex file '%s' (0x%x != 0x%x)",
1459 oat_file_->GetLocation().c_str(), dex_file_location.c_str(),
1460 oat_dex_file->GetDexFileLocationChecksum(),
1461 dex_file_location_checksum);
Brian Carlstrom56d947f2013-07-15 13:14:23 -07001462 return false;
1463 }
1464 }
1465 return true;
1466}
1467
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001468const OatFile* ImageSpace::GetOatFile() const {
Andreas Gampe88da3b02015-06-12 20:38:49 -07001469 return oat_file_non_owned_;
Andreas Gampe22f8e5c2014-07-09 11:38:21 -07001470}
1471
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -07001472std::unique_ptr<const OatFile> ImageSpace::ReleaseOatFile() {
1473 CHECK(oat_file_ != nullptr);
1474 return std::move(oat_file_);
Ian Rogers1d54e732013-05-02 21:10:01 -07001475}
1476
Ian Rogers1d54e732013-05-02 21:10:01 -07001477void ImageSpace::Dump(std::ostream& os) const {
1478 os << GetType()
Mathieu Chartier590fee92013-09-13 13:46:47 -07001479 << " begin=" << reinterpret_cast<void*>(Begin())
Ian Rogers1d54e732013-05-02 21:10:01 -07001480 << ",end=" << reinterpret_cast<void*>(End())
1481 << ",size=" << PrettySize(Size())
1482 << ",name=\"" << GetName() << "\"]";
1483}
1484
Andreas Gampe8994a042015-12-30 19:03:17 +00001485void ImageSpace::CreateMultiImageLocations(const std::string& input_image_file_name,
1486 const std::string& boot_classpath,
1487 std::vector<std::string>* image_file_names) {
1488 DCHECK(image_file_names != nullptr);
1489
1490 std::vector<std::string> images;
1491 Split(boot_classpath, ':', &images);
1492
1493 // Add the rest into the list. We have to adjust locations, possibly:
1494 //
1495 // For example, image_file_name is /a/b/c/d/e.art
1496 // images[0] is f/c/d/e.art
1497 // ----------------------------------------------
1498 // images[1] is g/h/i/j.art -> /a/b/h/i/j.art
Mathieu Chartier8b8f6d62016-03-08 16:50:20 -08001499 const std::string& first_image = images[0];
1500 // Length of common suffix.
1501 size_t common = 0;
1502 while (common < input_image_file_name.size() &&
1503 common < first_image.size() &&
1504 *(input_image_file_name.end() - common - 1) == *(first_image.end() - common - 1)) {
1505 ++common;
Andreas Gampe8994a042015-12-30 19:03:17 +00001506 }
Mathieu Chartier8b8f6d62016-03-08 16:50:20 -08001507 // We want to replace the prefix of the input image with the prefix of the boot class path.
1508 // This handles the case where the image file contains @ separators.
1509 // Example image_file_name is oats/system@framework@boot.art
1510 // images[0] is .../arm/boot.art
1511 // means that the image name prefix will be oats/system@framework@
1512 // so that the other images are openable.
1513 const size_t old_prefix_length = first_image.size() - common;
1514 const std::string new_prefix = input_image_file_name.substr(
1515 0,
1516 input_image_file_name.size() - common);
Andreas Gampe8994a042015-12-30 19:03:17 +00001517
1518 // Apply pattern to images[1] .. images[n].
1519 for (size_t i = 1; i < images.size(); ++i) {
Mathieu Chartier8b8f6d62016-03-08 16:50:20 -08001520 const std::string& image = images[i];
1521 CHECK_GT(image.length(), old_prefix_length);
1522 std::string suffix = image.substr(old_prefix_length);
1523 image_file_names->push_back(new_prefix + suffix);
Andreas Gampe8994a042015-12-30 19:03:17 +00001524 }
1525}
1526
Mathieu Chartierfbc31082016-01-24 11:59:56 -08001527ImageSpace* ImageSpace::CreateFromAppImage(const char* image,
1528 const OatFile* oat_file,
1529 std::string* error_msg) {
1530 return gc::space::ImageSpace::Init(image,
1531 image,
1532 /*validate_oat_file*/false,
1533 oat_file,
1534 /*out*/error_msg);
1535}
1536
Mathieu Chartierd5f3f322016-03-21 14:05:56 -07001537void ImageSpace::DumpSections(std::ostream& os) const {
1538 const uint8_t* base = Begin();
1539 const ImageHeader& header = GetImageHeader();
1540 for (size_t i = 0; i < ImageHeader::kSectionCount; ++i) {
1541 auto section_type = static_cast<ImageHeader::ImageSections>(i);
1542 const ImageSection& section = header.GetImageSection(section_type);
1543 os << section_type << " " << reinterpret_cast<const void*>(base + section.Offset())
1544 << "-" << reinterpret_cast<const void*>(base + section.End()) << "\n";
1545 }
1546}
1547
Ian Rogers1d54e732013-05-02 21:10:01 -07001548} // namespace space
1549} // namespace gc
1550} // namespace art