blob: 9bbe595fa9f4de0fcba2393d5a023c1805770171 [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 Carlstromdb4d5402011-08-09 12:18:28 -070016
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080017#include "image.h"
18
Ian Rogers700a4022014-05-19 16:49:03 -070019#include <memory>
Ian Rogers0cfe1fb2011-08-26 03:29:44 -070020#include <string>
21#include <vector>
22
Ian Rogerse63db272014-07-15 15:36:11 -070023#include "base/unix_file/fd_file.h"
Vladimir Marko3481ba22015-04-13 12:22:36 +010024#include "class_linker-inl.h"
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080025#include "common_compiler_test.h"
David Srbecky4fda4eb2016-02-05 13:34:46 +000026#include "debug/method_debug_info.h"
Andreas Gampe3f41a012016-02-18 16:53:41 -080027#include "driver/compiler_options.h"
Tong Shen62d1ca32014-09-03 17:24:56 -070028#include "elf_writer.h"
Vladimir Marko10c13562015-11-25 14:33:36 +000029#include "elf_writer_quick.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070030#include "gc/space/image_space.h"
Ian Rogerse63db272014-07-15 15:36:11 -070031#include "image_writer.h"
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +000032#include "linker/buffered_output_stream.h"
33#include "linker/file_output_stream.h"
Vladimir Marko944da602016-02-19 12:27:55 +000034#include "linker/multi_oat_relative_patcher.h"
Ian Rogersd9c4fc92013-10-01 19:45:43 -070035#include "lock_word.h"
36#include "mirror/object-inl.h"
Ian Rogerse63db272014-07-15 15:36:11 -070037#include "oat_writer.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070038#include "scoped_thread_state_change-inl.h"
Brian Carlstrom51c24672013-07-11 16:00:56 -070039#include "signal_catcher.h"
buzbeec143c552011-08-20 17:38:58 -070040#include "utils.h"
Brian Carlstromdb4d5402011-08-09 12:18:28 -070041
Brian Carlstromdb4d5402011-08-09 12:18:28 -070042namespace art {
43
Mathieu Chartier496577f2016-09-20 15:33:31 -070044static const uintptr_t kRequestedImageBase = ART_BASE_ADDRESS;
45
46struct CompilationHelper {
47 std::vector<std::string> dex_file_locations;
48 std::vector<ScratchFile> image_locations;
49 std::vector<std::unique_ptr<const DexFile>> extra_dex_files;
50 std::vector<ScratchFile> image_files;
51 std::vector<ScratchFile> oat_files;
52 std::vector<ScratchFile> vdex_files;
53 std::string image_dir;
54
55 void Compile(CompilerDriver* driver,
56 ImageHeader::StorageMode storage_mode);
57
58 std::vector<size_t> GetImageObjectSectionSizes();
59
60 ~CompilationHelper();
61};
62
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080063class ImageTest : public CommonCompilerTest {
Ian Rogers10c5b782013-01-10 10:40:53 -080064 protected:
65 virtual void SetUp() {
Brian Carlstrom700c8d32012-11-05 10:42:02 -080066 ReserveImageSpace();
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080067 CommonCompilerTest::SetUp();
Ian Rogers10c5b782013-01-10 10:40:53 -080068 }
Mathieu Chartier496577f2016-09-20 15:33:31 -070069
Mathieu Chartierceb07b32015-12-10 09:33:21 -080070 void TestWriteRead(ImageHeader::StorageMode storage_mode);
Mathieu Chartier496577f2016-09-20 15:33:31 -070071
72 void Compile(ImageHeader::StorageMode storage_mode,
73 CompilationHelper& out_helper,
74 const std::string& extra_dex = "",
75 const std::string& image_class = "");
76
77 std::unordered_set<std::string>* GetImageClasses() OVERRIDE {
78 return new std::unordered_set<std::string>(image_classes_);
79 }
80
81 private:
82 std::unordered_set<std::string> image_classes_;
Ian Rogers10c5b782013-01-10 10:40:53 -080083};
Brian Carlstromdb4d5402011-08-09 12:18:28 -070084
Mathieu Chartier496577f2016-09-20 15:33:31 -070085CompilationHelper::~CompilationHelper() {
86 for (ScratchFile& image_file : image_files) {
87 image_file.Unlink();
88 }
89 for (ScratchFile& oat_file : oat_files) {
90 oat_file.Unlink();
91 }
92 for (ScratchFile& vdex_file : vdex_files) {
93 vdex_file.Unlink();
94 }
95 const int rmdir_result = rmdir(image_dir.c_str());
96 CHECK_EQ(0, rmdir_result);
97}
Andreas Gampe3f41a012016-02-18 16:53:41 -080098
Mathieu Chartier496577f2016-09-20 15:33:31 -070099std::vector<size_t> CompilationHelper::GetImageObjectSectionSizes() {
100 std::vector<size_t> ret;
101 for (ScratchFile& image_file : image_files) {
102 std::unique_ptr<File> file(OS::OpenFileForReading(image_file.GetFilename().c_str()));
103 CHECK(file.get() != nullptr);
104 ImageHeader image_header;
105 CHECK_EQ(file->ReadFully(&image_header, sizeof(image_header)), true);
106 CHECK(image_header.IsValid());
107 ret.push_back(image_header.GetImageSize());
108 }
109 return ret;
110}
Andreas Gampe3f41a012016-02-18 16:53:41 -0800111
Mathieu Chartier496577f2016-09-20 15:33:31 -0700112void CompilationHelper::Compile(CompilerDriver* driver,
113 ImageHeader::StorageMode storage_mode) {
Mathieu Chartierceb07b32015-12-10 09:33:21 -0800114 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Mathieu Chartier496577f2016-09-20 15:33:31 -0700115 std::vector<const DexFile*> class_path = class_linker->GetBootClassPath();
116
117 for (const std::unique_ptr<const DexFile>& dex_file : extra_dex_files) {
118 {
119 ScopedObjectAccess soa(Thread::Current());
120 // Inject in boot class path so that the compiler driver can see it.
121 class_linker->AppendToBootClassPath(soa.Self(), *dex_file.get());
122 }
123 class_path.push_back(dex_file.get());
124 }
Mathieu Chartier866d8742016-09-21 15:24:18 -0700125
Mathieu Chartierceb07b32015-12-10 09:33:21 -0800126 // Enable write for dex2dex.
Mathieu Chartier496577f2016-09-20 15:33:31 -0700127 for (const DexFile* dex_file : class_path) {
128 dex_file_locations.push_back(dex_file->GetLocation());
129 if (dex_file->IsReadOnly()) {
130 dex_file->EnableWrite();
131 }
Mathieu Chartierceb07b32015-12-10 09:33:21 -0800132 }
Mathieu Chartier866d8742016-09-21 15:24:18 -0700133 {
Mathieu Chartier496577f2016-09-20 15:33:31 -0700134 // Create a generic tmp file, to be the base of the .art and .oat temporary files.
Mathieu Chartier866d8742016-09-21 15:24:18 -0700135 ScratchFile location;
Mathieu Chartier496577f2016-09-20 15:33:31 -0700136 for (int i = 0; i < static_cast<int>(class_path.size()); ++i) {
Mathieu Chartier866d8742016-09-21 15:24:18 -0700137 std::string cur_location(StringPrintf("%s-%d.art", location.GetFilename().c_str(), i));
138 image_locations.push_back(ScratchFile(cur_location));
139 }
140 }
141 std::vector<std::string> image_filenames;
Mathieu Chartier866d8742016-09-21 15:24:18 -0700142 for (ScratchFile& file : image_locations) {
143 std::string image_filename(GetSystemImageFilename(file.GetFilename().c_str(), kRuntimeISA));
144 image_filenames.push_back(image_filename);
145 size_t pos = image_filename.rfind('/');
146 CHECK_NE(pos, std::string::npos) << image_filename;
147 if (image_dir.empty()) {
148 image_dir = image_filename.substr(0, pos);
149 int mkdir_result = mkdir(image_dir.c_str(), 0700);
150 CHECK_EQ(0, mkdir_result) << image_dir;
151 }
152 image_files.push_back(ScratchFile(OS::CreateEmptyFile(image_filename.c_str())));
153 }
Brian Carlstrom0e12bdc2014-05-14 17:44:28 -0700154
Mathieu Chartier866d8742016-09-21 15:24:18 -0700155 std::vector<std::string> oat_filenames;
Mathieu Chartier866d8742016-09-21 15:24:18 -0700156 std::vector<std::string> vdex_filenames;
Mathieu Chartier866d8742016-09-21 15:24:18 -0700157 for (const std::string& image_filename : image_filenames) {
158 std::string oat_filename = ReplaceFileExtension(image_filename, "oat");
159 oat_files.push_back(ScratchFile(OS::CreateEmptyFile(oat_filename.c_str())));
160 oat_filenames.push_back(oat_filename);
161 std::string vdex_filename = ReplaceFileExtension(image_filename, "vdex");
162 vdex_files.push_back(ScratchFile(OS::CreateEmptyFile(vdex_filename.c_str())));
163 vdex_filenames.push_back(vdex_filename);
164 }
David Brazdil7b49e6c2016-09-01 11:06:18 +0100165
Vladimir Marko944da602016-02-19 12:27:55 +0000166 std::unordered_map<const DexFile*, size_t> dex_file_to_oat_index_map;
Mathieu Chartier866d8742016-09-21 15:24:18 -0700167 std::vector<const char*> oat_filename_vector;
168 for (const std::string& file : oat_filenames) {
169 oat_filename_vector.push_back(file.c_str());
Jeff Haodcdc85b2015-12-04 14:06:18 -0800170 }
Mathieu Chartier866d8742016-09-21 15:24:18 -0700171 std::vector<const char*> image_filename_vector;
172 for (const std::string& file : image_filenames) {
173 image_filename_vector.push_back(file.c_str());
174 }
175 size_t image_idx = 0;
Mathieu Chartier496577f2016-09-20 15:33:31 -0700176 for (const DexFile* dex_file : class_path) {
Mathieu Chartier866d8742016-09-21 15:24:18 -0700177 dex_file_to_oat_index_map.emplace(dex_file, image_idx);
178 ++image_idx;
179 }
180 // TODO: compile_pic should be a test argument.
Mathieu Chartier496577f2016-09-20 15:33:31 -0700181 std::unique_ptr<ImageWriter> writer(new ImageWriter(*driver,
182 kRequestedImageBase,
Mathieu Chartierda5b28a2015-11-05 08:03:47 -0800183 /*compile_pic*/false,
Mathieu Chartierceb07b32015-12-10 09:33:21 -0800184 /*compile_app_image*/false,
Jeff Haodcdc85b2015-12-04 14:06:18 -0800185 storage_mode,
186 oat_filename_vector,
Vladimir Marko944da602016-02-19 12:27:55 +0000187 dex_file_to_oat_index_map));
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700188 {
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800189 {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700190 jobject class_loader = nullptr;
Ian Rogers5fe9af72013-11-14 00:17:20 -0800191 TimingLogger timings("ImageTest::WriteRead", false, false);
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700192 TimingLogger::ScopedTiming t("CompileAll", &timings);
Mathieu Chartier496577f2016-09-20 15:33:31 -0700193 driver->SetDexFilesForOatFile(class_path);
Nicolas Geoffray6bb7f1b2016-11-03 10:52:49 +0000194 driver->CompileAll(class_loader, class_path, /* verifier_deps */ nullptr, &timings);
Brian Carlstrom96391602013-06-13 19:49:50 -0700195
Mathieu Chartierf5997b42014-06-20 10:37:54 -0700196 t.NewTiming("WriteElf");
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700197 SafeMap<std::string, std::string> key_value_store;
Mathieu Chartier866d8742016-09-21 15:24:18 -0700198 std::vector<const char*> dex_filename_vector;
Mathieu Chartier496577f2016-09-20 15:33:31 -0700199 for (size_t i = 0; i < class_path.size(); ++i) {
Mathieu Chartier866d8742016-09-21 15:24:18 -0700200 dex_filename_vector.push_back("");
201 }
202 key_value_store.Put(OatHeader::kBootClassPathKey,
203 gc::space::ImageSpace::GetMultiImageBootClassPath(
204 dex_filename_vector,
205 oat_filename_vector,
206 image_filename_vector));
207
Mathieu Chartier866d8742016-09-21 15:24:18 -0700208 std::vector<std::unique_ptr<ElfWriter>> elf_writers;
209 std::vector<std::unique_ptr<OatWriter>> oat_writers;
210 for (ScratchFile& oat_file : oat_files) {
Mathieu Chartier496577f2016-09-20 15:33:31 -0700211 elf_writers.emplace_back(CreateElfWriterQuick(driver->GetInstructionSet(),
212 driver->GetInstructionSetFeatures(),
213 &driver->GetCompilerOptions(),
214 oat_file.GetFile()));
Mathieu Chartier866d8742016-09-21 15:24:18 -0700215 elf_writers.back()->Start();
Jeff Hao608f2ce2016-10-19 11:17:11 -0700216 oat_writers.emplace_back(new OatWriter(/*compiling_boot_image*/true,
217 &timings,
218 /*profile_compilation_info*/nullptr));
Mathieu Chartier866d8742016-09-21 15:24:18 -0700219 }
220
221 std::vector<OutputStream*> rodata;
222 std::vector<std::unique_ptr<MemMap>> opened_dex_files_map;
223 std::vector<std::unique_ptr<const DexFile>> opened_dex_files;
224 // Now that we have finalized key_value_store_, start writing the oat file.
225 for (size_t i = 0, size = oat_writers.size(); i != size; ++i) {
Mathieu Chartier496577f2016-09-20 15:33:31 -0700226 const DexFile* dex_file = class_path[i];
Mathieu Chartier866d8742016-09-21 15:24:18 -0700227 rodata.push_back(elf_writers[i]->StartRoData());
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000228 ArrayRef<const uint8_t> raw_dex_file(
229 reinterpret_cast<const uint8_t*>(&dex_file->GetHeader()),
230 dex_file->GetHeader().file_size_);
Mathieu Chartier866d8742016-09-21 15:24:18 -0700231 oat_writers[i]->AddRawDexFileSource(raw_dex_file,
232 dex_file->GetLocation().c_str(),
233 dex_file->GetLocationChecksum());
234
235 std::unique_ptr<MemMap> cur_opened_dex_files_map;
236 std::vector<std::unique_ptr<const DexFile>> cur_opened_dex_files;
237 bool dex_files_ok = oat_writers[i]->WriteAndOpenDexFiles(
238 kIsVdexEnabled ? vdex_files[i].GetFile() : oat_files[i].GetFile(),
239 rodata.back(),
Mathieu Chartier496577f2016-09-20 15:33:31 -0700240 driver->GetInstructionSet(),
241 driver->GetInstructionSetFeatures(),
David Brazdil7b49e6c2016-09-01 11:06:18 +0100242 &key_value_store,
243 /* verify */ false, // Dex files may be dex-to-dex-ed, don't verify.
Mathieu Chartier866d8742016-09-21 15:24:18 -0700244 &cur_opened_dex_files_map,
245 &cur_opened_dex_files);
David Brazdil7b49e6c2016-09-01 11:06:18 +0100246 ASSERT_TRUE(dex_files_ok);
Vladimir Marko944da602016-02-19 12:27:55 +0000247
Mathieu Chartier866d8742016-09-21 15:24:18 -0700248 if (cur_opened_dex_files_map != nullptr) {
249 opened_dex_files_map.push_back(std::move(cur_opened_dex_files_map));
250 for (std::unique_ptr<const DexFile>& cur_dex_file : cur_opened_dex_files) {
251 // dex_file_oat_index_map_.emplace(dex_file.get(), i);
252 opened_dex_files.push_back(std::move(cur_dex_file));
253 }
254 } else {
255 ASSERT_TRUE(cur_opened_dex_files.empty());
256 }
257 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000258 bool image_space_ok = writer->PrepareImageAddressSpace();
259 ASSERT_TRUE(image_space_ok);
260
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +0000261 if (kIsVdexEnabled) {
262 for (size_t i = 0, size = vdex_files.size(); i != size; ++i) {
263 std::unique_ptr<BufferedOutputStream> vdex_out(
264 MakeUnique<BufferedOutputStream>(
265 MakeUnique<FileOutputStream>(vdex_files[i].GetFile())));
266 oat_writers[i]->WriteVerifierDeps(vdex_out.get(), nullptr);
267 oat_writers[i]->WriteChecksumsAndVdexHeader(vdex_out.get());
268 }
269 }
270
Mathieu Chartier866d8742016-09-21 15:24:18 -0700271 for (size_t i = 0, size = oat_files.size(); i != size; ++i) {
Mathieu Chartier496577f2016-09-20 15:33:31 -0700272 linker::MultiOatRelativePatcher patcher(driver->GetInstructionSet(),
273 driver->GetInstructionSetFeatures());
Mathieu Chartier866d8742016-09-21 15:24:18 -0700274 OatWriter* const oat_writer = oat_writers[i].get();
275 ElfWriter* const elf_writer = elf_writers[i].get();
Mathieu Chartier496577f2016-09-20 15:33:31 -0700276 std::vector<const DexFile*> cur_dex_files(1u, class_path[i]);
Nicolas Geoffray4acefd32016-10-24 13:14:58 +0100277 oat_writer->Initialize(driver, writer.get(), cur_dex_files);
278 oat_writer->PrepareLayout(&patcher);
Mathieu Chartier866d8742016-09-21 15:24:18 -0700279 size_t rodata_size = oat_writer->GetOatHeader().GetExecutableOffset();
280 size_t text_size = oat_writer->GetOatSize() - rodata_size;
Vladimir Markoaad75c62016-10-03 08:46:48 +0000281 elf_writer->PrepareDynamicSection(rodata_size,
282 text_size,
283 oat_writer->GetBssSize(),
284 oat_writer->GetBssRootsOffset());
Vladimir Marko944da602016-02-19 12:27:55 +0000285
Mathieu Chartier866d8742016-09-21 15:24:18 -0700286 writer->UpdateOatFileLayout(i,
287 elf_writer->GetLoadedSize(),
288 oat_writer->GetOatDataOffset(),
289 oat_writer->GetOatSize());
Vladimir Marko944da602016-02-19 12:27:55 +0000290
Mathieu Chartier866d8742016-09-21 15:24:18 -0700291 bool rodata_ok = oat_writer->WriteRodata(rodata[i]);
292 ASSERT_TRUE(rodata_ok);
293 elf_writer->EndRoData(rodata[i]);
Vladimir Marko10c13562015-11-25 14:33:36 +0000294
Mathieu Chartier866d8742016-09-21 15:24:18 -0700295 OutputStream* text = elf_writer->StartText();
296 bool text_ok = oat_writer->WriteCode(text);
297 ASSERT_TRUE(text_ok);
298 elf_writer->EndText(text);
Vladimir Marko10c13562015-11-25 14:33:36 +0000299
Mathieu Chartier866d8742016-09-21 15:24:18 -0700300 bool header_ok = oat_writer->WriteHeader(elf_writer->GetStream(), 0u, 0u, 0u);
301 ASSERT_TRUE(header_ok);
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000302
Mathieu Chartier866d8742016-09-21 15:24:18 -0700303 writer->UpdateOatFileHeader(i, oat_writer->GetOatHeader());
Vladimir Marko944da602016-02-19 12:27:55 +0000304
Mathieu Chartier866d8742016-09-21 15:24:18 -0700305 elf_writer->WriteDynamicSection();
306 elf_writer->WriteDebugInfo(oat_writer->GetMethodDebugInfo());
307 elf_writer->WritePatchLocations(oat_writer->GetAbsolutePatchLocations());
Vladimir Marko10c13562015-11-25 14:33:36 +0000308
Mathieu Chartier866d8742016-09-21 15:24:18 -0700309 bool success = elf_writer->End();
310 ASSERT_TRUE(success);
311 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700312 }
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700313
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800314 bool success_image = writer->Write(kInvalidFd,
Mathieu Chartier866d8742016-09-21 15:24:18 -0700315 image_filename_vector,
316 oat_filename_vector);
jeffhao8161c032012-10-31 15:50:00 -0700317 ASSERT_TRUE(success_image);
Andreas Gampe4303ba92014-11-06 01:00:46 -0800318
Mathieu Chartier866d8742016-09-21 15:24:18 -0700319 for (size_t i = 0, size = oat_filenames.size(); i != size; ++i) {
320 const char* oat_filename = oat_filenames[i].c_str();
321 std::unique_ptr<File> oat_file(OS::OpenFileReadWrite(oat_filename));
322 ASSERT_TRUE(oat_file != nullptr);
323 bool success_fixup = ElfWriter::Fixup(oat_file.get(),
324 writer->GetOatDataBegin(i));
325 ASSERT_TRUE(success_fixup);
326 ASSERT_EQ(oat_file->FlushCloseOrErase(), 0) << "Could not flush and close oat file "
327 << oat_filename;
328 }
jeffhao8161c032012-10-31 15:50:00 -0700329 }
Mathieu Chartier496577f2016-09-20 15:33:31 -0700330}
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700331
Mathieu Chartier496577f2016-09-20 15:33:31 -0700332void ImageTest::Compile(ImageHeader::StorageMode storage_mode,
333 CompilationHelper& helper,
334 const std::string& extra_dex,
335 const std::string& image_class) {
336 if (!image_class.empty()) {
337 image_classes_.insert(image_class);
338 }
339 CreateCompilerDriver(Compiler::kOptimizing, kRuntimeISA, kIsTargetBuild ? 2U : 16U);
340 // Set inline filter values.
341 compiler_options_->SetInlineDepthLimit(CompilerOptions::kDefaultInlineDepthLimit);
342 compiler_options_->SetInlineMaxCodeUnits(CompilerOptions::kDefaultInlineMaxCodeUnits);
343 image_classes_.clear();
344 if (!extra_dex.empty()) {
345 helper.extra_dex_files = OpenTestDexFiles(extra_dex.c_str());
346 }
347 helper.Compile(compiler_driver_.get(), storage_mode);
348 if (!image_class.empty()) {
349 // Make sure the class got initialized.
350 ScopedObjectAccess soa(Thread::Current());
351 ClassLinker* const class_linker = Runtime::Current()->GetClassLinker();
352 mirror::Class* klass = class_linker->FindSystemClass(Thread::Current(), image_class.c_str());
353 EXPECT_TRUE(klass != nullptr);
354 EXPECT_TRUE(klass->IsInitialized());
355 }
356}
357
358void ImageTest::TestWriteRead(ImageHeader::StorageMode storage_mode) {
359 CompilationHelper helper;
360 Compile(storage_mode, /*out*/ helper);
Mathieu Chartier866d8742016-09-21 15:24:18 -0700361 std::vector<uint64_t> image_file_sizes;
Mathieu Chartier496577f2016-09-20 15:33:31 -0700362 for (ScratchFile& image_file : helper.image_files) {
Ian Rogers700a4022014-05-19 16:49:03 -0700363 std::unique_ptr<File> file(OS::OpenFileForReading(image_file.GetFilename().c_str()));
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700364 ASSERT_TRUE(file.get() != nullptr);
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700365 ImageHeader image_header;
Andreas Gampe4303ba92014-11-06 01:00:46 -0800366 ASSERT_EQ(file->ReadFully(&image_header, sizeof(image_header)), true);
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700367 ASSERT_TRUE(image_header.IsValid());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700368 const auto& bitmap_section = image_header.GetImageSection(ImageHeader::kSectionImageBitmap);
369 ASSERT_GE(bitmap_section.Offset(), sizeof(image_header));
370 ASSERT_NE(0U, bitmap_section.Size());
Brian Carlstrom69b15fb2011-09-03 12:25:21 -0700371
Ian Rogers1d54e732013-05-02 21:10:01 -0700372 gc::Heap* heap = Runtime::Current()->GetHeap();
Mathieu Chartiera9d82fe2016-01-25 20:06:11 -0800373 ASSERT_TRUE(heap->HaveContinuousSpaces());
Mathieu Chartier590fee92013-09-13 13:46:47 -0700374 gc::space::ContinuousSpace* space = heap->GetNonMovingSpace();
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700375 ASSERT_FALSE(space->IsImageSpace());
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700376 ASSERT_TRUE(space != nullptr);
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -0700377 ASSERT_TRUE(space->IsMallocSpace());
Mathieu Chartier866d8742016-09-21 15:24:18 -0700378 image_file_sizes.push_back(file->GetLength());
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700379 }
Brian Carlstrom8a436592011-08-15 21:27:23 -0700380
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700381 ASSERT_TRUE(compiler_driver_->GetImageClasses() != nullptr);
Andreas Gampeb1fcead2015-04-20 18:53:51 -0700382 std::unordered_set<std::string> image_classes(*compiler_driver_->GetImageClasses());
Brian Carlstrom96391602013-06-13 19:49:50 -0700383
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700384 // Need to delete the compiler since it has worker threads which are attached to runtime.
Ian Rogers1212a022013-03-04 10:48:41 -0800385 compiler_driver_.reset();
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700386
Ian Rogers10c5b782013-01-10 10:40:53 -0800387 // Tear down old runtime before making a new one, clearing out misc state.
Mathieu Chartier6e88ef62014-10-14 15:01:24 -0700388
389 // Remove the reservation of the memory for use to load the image.
390 // Need to do this before we reset the runtime.
391 UnreserveImageSpace();
Mathieu Chartier6e88ef62014-10-14 15:01:24 -0700392
Mathieu Chartier496577f2016-09-20 15:33:31 -0700393 helper.extra_dex_files.clear();
Ian Rogers10c5b782013-01-10 10:40:53 -0800394 runtime_.reset();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700395 java_lang_dex_file_ = nullptr;
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700396
Mathieu Chartier6e88ef62014-10-14 15:01:24 -0700397 MemMap::Init();
Brian Carlstrom8a436592011-08-15 21:27:23 -0700398
Ian Rogerse63db272014-07-15 15:36:11 -0700399 RuntimeOptions options;
Brian Carlstrom58ae9412011-10-04 00:56:06 -0700400 std::string image("-Ximage:");
Mathieu Chartier496577f2016-09-20 15:33:31 -0700401 image.append(helper.image_locations[0].GetFilename());
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700402 options.push_back(std::make_pair(image.c_str(), static_cast<void*>(nullptr)));
Alex Light6e183f22014-07-18 14:57:04 -0700403 // By default the compiler this creates will not include patch information.
404 options.push_back(std::make_pair("-Xnorelocate", nullptr));
Brian Carlstrom8a436592011-08-15 21:27:23 -0700405
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700406 if (!Runtime::Create(options, false)) {
407 LOG(FATAL) << "Failed to create runtime";
408 return;
409 }
410 runtime_.reset(Runtime::Current());
411 // Runtime::Create acquired the mutator_lock_ that is normally given away when we Runtime::Start,
412 // give it away now and then switch to a more managable ScopedObjectAccess.
413 Thread::Current()->TransitionFromRunnableToSuspended(kNative);
414 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700415 ASSERT_TRUE(runtime_.get() != nullptr);
Brian Carlstrom8a436592011-08-15 21:27:23 -0700416 class_linker_ = runtime_->GetClassLinker();
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700417
Ian Rogers1d54e732013-05-02 21:10:01 -0700418 gc::Heap* heap = Runtime::Current()->GetHeap();
Jeff Haodcdc85b2015-12-04 14:06:18 -0800419 ASSERT_TRUE(heap->HasBootImageSpace());
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -0700420 ASSERT_TRUE(heap->GetNonMovingSpace()->IsMallocSpace());
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700421
Jeff Haodcdc85b2015-12-04 14:06:18 -0800422 // We loaded the runtime with an explicit image, so it must exist.
Mathieu Chartier866d8742016-09-21 15:24:18 -0700423 ASSERT_EQ(heap->GetBootImageSpaces().size(), image_file_sizes.size());
Mathieu Chartier496577f2016-09-20 15:33:31 -0700424 for (size_t i = 0; i < helper.dex_file_locations.size(); ++i) {
Mathieu Chartier866d8742016-09-21 15:24:18 -0700425 std::unique_ptr<const DexFile> dex(
Mathieu Chartier496577f2016-09-20 15:33:31 -0700426 LoadExpectSingleDexFile(helper.dex_file_locations[i].c_str()));
427 ASSERT_TRUE(dex != nullptr);
Mathieu Chartier866d8742016-09-21 15:24:18 -0700428 uint64_t image_file_size = image_file_sizes[i];
429 gc::space::ImageSpace* image_space = heap->GetBootImageSpaces()[i];
430 ASSERT_TRUE(image_space != nullptr);
431 if (storage_mode == ImageHeader::kStorageModeUncompressed) {
432 // Uncompressed, image should be smaller than file.
433 ASSERT_LE(image_space->GetImageHeader().GetImageSize(), image_file_size);
Mathieu Chartier496577f2016-09-20 15:33:31 -0700434 } else if (image_file_size > 16 * KB) {
435 // Compressed, file should be smaller than image. Not really valid for small images.
Mathieu Chartier866d8742016-09-21 15:24:18 -0700436 ASSERT_LE(image_file_size, image_space->GetImageHeader().GetImageSize());
Brian Carlstrom96391602013-06-13 19:49:50 -0700437 }
Mathieu Chartier866d8742016-09-21 15:24:18 -0700438
439 image_space->VerifyImageAllocations();
440 uint8_t* image_begin = image_space->Begin();
441 uint8_t* image_end = image_space->End();
442 if (i == 0) {
443 // This check is only valid for image 0.
Mathieu Chartier496577f2016-09-20 15:33:31 -0700444 CHECK_EQ(kRequestedImageBase, reinterpret_cast<uintptr_t>(image_begin));
Mathieu Chartier866d8742016-09-21 15:24:18 -0700445 }
446 for (size_t j = 0; j < dex->NumClassDefs(); ++j) {
447 const DexFile::ClassDef& class_def = dex->GetClassDef(j);
448 const char* descriptor = dex->GetClassDescriptor(class_def);
449 mirror::Class* klass = class_linker_->FindSystemClass(soa.Self(), descriptor);
450 EXPECT_TRUE(klass != nullptr) << descriptor;
451 if (image_classes.find(descriptor) == image_classes.end()) {
452 EXPECT_TRUE(reinterpret_cast<uint8_t*>(klass) >= image_end ||
453 reinterpret_cast<uint8_t*>(klass) < image_begin) << descriptor;
454 } else {
455 // Image classes should be located inside the image.
456 EXPECT_LT(image_begin, reinterpret_cast<uint8_t*>(klass)) << descriptor;
457 EXPECT_LT(reinterpret_cast<uint8_t*>(klass), image_end) << descriptor;
458 }
459 EXPECT_TRUE(Monitor::IsValidLockWord(klass->GetLockWord(false)));
460 }
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700461 }
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700462}
463
Mathieu Chartierceb07b32015-12-10 09:33:21 -0800464TEST_F(ImageTest, WriteReadUncompressed) {
465 TestWriteRead(ImageHeader::kStorageModeUncompressed);
466}
467
468TEST_F(ImageTest, WriteReadLZ4) {
469 TestWriteRead(ImageHeader::kStorageModeLZ4);
470}
471
Mathieu Chartiera6e81ed2016-02-25 13:52:10 -0800472TEST_F(ImageTest, WriteReadLZ4HC) {
473 TestWriteRead(ImageHeader::kStorageModeLZ4HC);
474}
475
Mathieu Chartier496577f2016-09-20 15:33:31 -0700476TEST_F(ImageTest, TestImageLayout) {
477 std::vector<size_t> image_sizes;
478 std::vector<size_t> image_sizes_extra;
479 // Compile multi-image with ImageLayoutA being the last image.
480 {
481 CompilationHelper helper;
482 Compile(ImageHeader::kStorageModeUncompressed, helper, "ImageLayoutA", "LMyClass;");
483 image_sizes = helper.GetImageObjectSectionSizes();
484 }
485 TearDown();
486 runtime_.reset();
487 SetUp();
488 // Compile multi-image with ImageLayoutB being the last image.
489 {
490 CompilationHelper helper;
491 Compile(ImageHeader::kStorageModeUncompressed, helper, "ImageLayoutB", "LMyClass;");
492 image_sizes_extra = helper.GetImageObjectSectionSizes();
493 }
494 // Make sure that the new stuff in the clinit in ImageLayoutB is in the last image and not in the
495 // first two images.
496 ASSERT_EQ(image_sizes.size(), image_sizes.size());
497 // Sizes of the images should be the same. These sizes are for the whole image unrounded.
498 for (size_t i = 0; i < image_sizes.size() - 1; ++i) {
499 EXPECT_EQ(image_sizes[i], image_sizes_extra[i]);
500 }
501 // Last image should be larger since it has a hash map and a string.
502 EXPECT_LT(image_sizes.back(), image_sizes_extra.back());
503}
504
Brian Carlstrom179486a2013-09-03 11:51:42 -0700505TEST_F(ImageTest, ImageHeaderIsValid) {
506 uint32_t image_begin = ART_BASE_ADDRESS;
507 uint32_t image_size_ = 16 * KB;
Brian Carlstrom179486a2013-09-03 11:51:42 -0700508 uint32_t image_roots = ART_BASE_ADDRESS + (1 * KB);
509 uint32_t oat_checksum = 0;
510 uint32_t oat_file_begin = ART_BASE_ADDRESS + (4 * KB); // page aligned
511 uint32_t oat_data_begin = ART_BASE_ADDRESS + (8 * KB); // page aligned
512 uint32_t oat_data_end = ART_BASE_ADDRESS + (9 * KB);
513 uint32_t oat_file_end = ART_BASE_ADDRESS + (10 * KB);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700514 ImageSection sections[ImageHeader::kSectionCount];
Brian Carlstrom179486a2013-09-03 11:51:42 -0700515 ImageHeader image_header(image_begin,
516 image_size_,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700517 sections,
Brian Carlstrom179486a2013-09-03 11:51:42 -0700518 image_roots,
519 oat_checksum,
520 oat_file_begin,
521 oat_data_begin,
522 oat_data_end,
Igor Murashkin46774762014-10-22 11:37:02 -0700523 oat_file_end,
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800524 /*boot_image_begin*/0U,
525 /*boot_image_size*/0U,
526 /*boot_oat_begin*/0U,
527 /*boot_oat_size_*/0U,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700528 sizeof(void*),
Mathieu Chartierceb07b32015-12-10 09:33:21 -0800529 /*compile_pic*/false,
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800530 /*is_pic*/false,
Mathieu Chartierceb07b32015-12-10 09:33:21 -0800531 ImageHeader::kDefaultStorageMode,
532 /*data_size*/0u);
Brian Carlstrom179486a2013-09-03 11:51:42 -0700533 ASSERT_TRUE(image_header.IsValid());
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800534 ASSERT_TRUE(!image_header.IsAppImage());
Brian Carlstrom179486a2013-09-03 11:51:42 -0700535
536 char* magic = const_cast<char*>(image_header.GetMagic());
537 strcpy(magic, ""); // bad magic
538 ASSERT_FALSE(image_header.IsValid());
539 strcpy(magic, "art\n000"); // bad version
540 ASSERT_FALSE(image_header.IsValid());
541}
542
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700543} // namespace art