blob: 16e2aa208ad3158d91048ddf2ca369369bae7e00 [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 Rogers0cfe1fb2011-08-26 03:29:44 -070019#include <string>
20#include <vector>
21
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080022#include "common_compiler_test.h"
Brian Carlstrom51c24672013-07-11 16:00:56 -070023#include "compiler/elf_fixup.h"
24#include "compiler/image_writer.h"
25#include "compiler/oat_writer.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070026#include "gc/space/image_space.h"
Ian Rogersd9c4fc92013-10-01 19:45:43 -070027#include "lock_word.h"
28#include "mirror/object-inl.h"
Brian Carlstrom51c24672013-07-11 16:00:56 -070029#include "signal_catcher.h"
Ian Rogers10c5b782013-01-10 10:40:53 -080030#include "UniquePtr.h"
buzbeec143c552011-08-20 17:38:58 -070031#include "utils.h"
Brian Carlstrom700c8d32012-11-05 10:42:02 -080032#include "vector_output_stream.h"
Brian Carlstromdb4d5402011-08-09 12:18:28 -070033
Brian Carlstromdb4d5402011-08-09 12:18:28 -070034namespace art {
35
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080036class ImageTest : public CommonCompilerTest {
Ian Rogers10c5b782013-01-10 10:40:53 -080037 protected:
38 virtual void SetUp() {
Brian Carlstrom700c8d32012-11-05 10:42:02 -080039 ReserveImageSpace();
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080040 CommonCompilerTest::SetUp();
Ian Rogers10c5b782013-01-10 10:40:53 -080041 }
Ian Rogers10c5b782013-01-10 10:40:53 -080042};
Brian Carlstromdb4d5402011-08-09 12:18:28 -070043
Brian Carlstrom9cff8e12011-08-18 16:47:29 -070044TEST_F(ImageTest, WriteRead) {
Brian Carlstrom700c8d32012-11-05 10:42:02 -080045 ScratchFile tmp_elf;
Ian Rogers00f7d0e2012-07-19 15:28:27 -070046 {
Brian Carlstrom700c8d32012-11-05 10:42:02 -080047 {
Brian Carlstrom96391602013-06-13 19:49:50 -070048 jobject class_loader = NULL;
49 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Ian Rogers5fe9af72013-11-14 00:17:20 -080050 TimingLogger timings("ImageTest::WriteRead", false, false);
Ian Rogersbd2c19f2013-07-25 17:43:46 -070051 timings.StartSplit("CompileAll");
Ian Rogerse9869532013-08-03 14:56:04 -070052#if defined(ART_USE_PORTABLE_COMPILER)
53 // TODO: we disable this for portable so the test executes in a reasonable amount of time.
54 // We shouldn't need to do this.
Ian Rogers36e58b82013-08-09 09:09:41 -070055 runtime_->SetCompilerFilter(Runtime::kInterpretOnly);
Ian Rogerse9869532013-08-03 14:56:04 -070056#endif
Brian Carlstrom5f675322013-09-03 22:45:51 -070057 for (const DexFile* dex_file : class_linker->GetBootClassPath()) {
58 dex_file->EnableWrite();
59 }
Brian Carlstrom45602482013-07-21 22:07:55 -070060 compiler_driver_->CompileAll(class_loader, class_linker->GetBootClassPath(), timings);
Brian Carlstrom96391602013-06-13 19:49:50 -070061
Brian Carlstrom700c8d32012-11-05 10:42:02 -080062 ScopedObjectAccess soa(Thread::Current());
Brian Carlstromc50d8e12013-07-23 22:35:16 -070063 OatWriter oat_writer(class_linker->GetBootClassPath(),
Ian Rogersca368cb2013-11-15 15:52:08 -080064 0, 0, "", compiler_driver_.get(), &timings);
Brian Carlstromc50d8e12013-07-23 22:35:16 -070065 bool success = compiler_driver_->WriteElf(GetTestAndroidRoot(),
66 !kIsTargetBuild,
67 class_linker->GetBootClassPath(),
68 oat_writer,
69 tmp_elf.GetFile());
70 ASSERT_TRUE(success);
Ian Rogers5fe9af72013-11-14 00:17:20 -080071 timings.EndSplit();
Ian Rogers00f7d0e2012-07-19 15:28:27 -070072 }
Ian Rogers0571d352011-11-03 19:51:38 -070073 }
Brian Carlstrom700c8d32012-11-05 10:42:02 -080074 // Workound bug that mcld::Linker::emit closes tmp_elf by reopening as tmp_oat.
Brian Carlstrom7571e8b2013-08-12 17:04:14 -070075 UniquePtr<File> tmp_oat(OS::OpenFileReadWrite(tmp_elf.GetFilename().c_str()));
Brian Carlstrom700c8d32012-11-05 10:42:02 -080076 ASSERT_TRUE(tmp_oat.get() != NULL);
Mathieu Chartier357e9be2012-08-01 11:00:14 -070077
Brian Carlstrome24fa612011-09-29 00:53:55 -070078 ScratchFile tmp_image;
jeffhao8161c032012-10-31 15:50:00 -070079 const uintptr_t requested_image_base = ART_BASE_ADDRESS;
80 {
Brian Carlstrom96391602013-06-13 19:49:50 -070081 ImageWriter writer(*compiler_driver_.get());
jeffhao8161c032012-10-31 15:50:00 -070082 bool success_image = writer.Write(tmp_image.GetFilename(), requested_image_base,
Brian Carlstrom96391602013-06-13 19:49:50 -070083 tmp_oat->GetPath(), tmp_oat->GetPath());
jeffhao8161c032012-10-31 15:50:00 -070084 ASSERT_TRUE(success_image);
Brian Carlstrom51c24672013-07-11 16:00:56 -070085 bool success_fixup = ElfFixup::Fixup(tmp_oat.get(), writer.GetOatDataBegin());
Brian Carlstrom700c8d32012-11-05 10:42:02 -080086 ASSERT_TRUE(success_fixup);
jeffhao8161c032012-10-31 15:50:00 -070087 }
Brian Carlstrom4a289ed2011-08-16 17:17:49 -070088
89 {
Brian Carlstrom7571e8b2013-08-12 17:04:14 -070090 UniquePtr<File> file(OS::OpenFileForReading(tmp_image.GetFilename().c_str()));
Elliott Hughes90a33692011-08-30 13:27:07 -070091 ASSERT_TRUE(file.get() != NULL);
Brian Carlstrom4a289ed2011-08-16 17:17:49 -070092 ImageHeader image_header;
93 file->ReadFully(&image_header, sizeof(image_header));
94 ASSERT_TRUE(image_header.IsValid());
Mathieu Chartier31e89252013-08-28 11:29:12 -070095 ASSERT_GE(image_header.GetImageBitmapOffset(), sizeof(image_header));
96 ASSERT_NE(0U, image_header.GetImageBitmapSize());
Brian Carlstrom69b15fb2011-09-03 12:25:21 -070097
Ian Rogers1d54e732013-05-02 21:10:01 -070098 gc::Heap* heap = Runtime::Current()->GetHeap();
Mathieu Chartier590fee92013-09-13 13:46:47 -070099 ASSERT_TRUE(!heap->GetContinuousSpaces().empty());
100 gc::space::ContinuousSpace* space = heap->GetNonMovingSpace();
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700101 ASSERT_FALSE(space->IsImageSpace());
Brian Carlstrom69b15fb2011-09-03 12:25:21 -0700102 ASSERT_TRUE(space != NULL);
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -0700103 ASSERT_TRUE(space->IsMallocSpace());
Elliott Hughes76160052012-12-12 16:31:20 -0800104 ASSERT_GE(sizeof(image_header) + space->Size(), static_cast<size_t>(file->GetLength()));
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700105 }
Brian Carlstrom8a436592011-08-15 21:27:23 -0700106
Brian Carlstrom96391602013-06-13 19:49:50 -0700107 ASSERT_TRUE(compiler_driver_->GetImageClasses() != NULL);
108 CompilerDriver::DescriptorSet image_classes(*compiler_driver_->GetImageClasses());
109
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700110 // Need to delete the compiler since it has worker threads which are attached to runtime.
Ian Rogers1212a022013-03-04 10:48:41 -0800111 compiler_driver_.reset();
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700112
Ian Rogers10c5b782013-01-10 10:40:53 -0800113 // Tear down old runtime before making a new one, clearing out misc state.
114 runtime_.reset();
Brian Carlstroma004aa92012-02-08 18:05:09 -0800115 java_lang_dex_file_ = NULL;
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700116
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700117 std::string error_msg;
118 UniquePtr<const DexFile> dex(DexFile::Open(GetLibCoreDexFileName().c_str(),
119 GetLibCoreDexFileName().c_str(),
120 &error_msg));
121 ASSERT_TRUE(dex.get() != nullptr) << error_msg;
Brian Carlstrom8a436592011-08-15 21:27:23 -0700122
Ian Rogers10c5b782013-01-10 10:40:53 -0800123 // Remove the reservation of the memory for use to load the image.
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800124 UnreserveImageSpace();
Ian Rogers10c5b782013-01-10 10:40:53 -0800125
Brian Carlstrom8a436592011-08-15 21:27:23 -0700126 Runtime::Options options;
Brian Carlstrom58ae9412011-10-04 00:56:06 -0700127 std::string image("-Ximage:");
128 image.append(tmp_image.GetFilename());
129 options.push_back(std::make_pair(image.c_str(), reinterpret_cast<void*>(NULL)));
Brian Carlstrom8a436592011-08-15 21:27:23 -0700130
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700131 if (!Runtime::Create(options, false)) {
132 LOG(FATAL) << "Failed to create runtime";
133 return;
134 }
135 runtime_.reset(Runtime::Current());
136 // Runtime::Create acquired the mutator_lock_ that is normally given away when we Runtime::Start,
137 // give it away now and then switch to a more managable ScopedObjectAccess.
138 Thread::Current()->TransitionFromRunnableToSuspended(kNative);
139 ScopedObjectAccess soa(Thread::Current());
Elliott Hughes90a33692011-08-30 13:27:07 -0700140 ASSERT_TRUE(runtime_.get() != NULL);
Brian Carlstrom8a436592011-08-15 21:27:23 -0700141 class_linker_ = runtime_->GetClassLinker();
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700142
Ian Rogers1d54e732013-05-02 21:10:01 -0700143 gc::Heap* heap = Runtime::Current()->GetHeap();
Mathieu Chartier590fee92013-09-13 13:46:47 -0700144 ASSERT_TRUE(heap->HasImageSpace());
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -0700145 ASSERT_TRUE(heap->GetNonMovingSpace()->IsMallocSpace());
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700146
Ian Rogers1d54e732013-05-02 21:10:01 -0700147 gc::space::ImageSpace* image_space = heap->GetImageSpace();
Mathieu Chartier31e89252013-08-28 11:29:12 -0700148 image_space->VerifyImageAllocations();
Ian Rogers30fab402012-01-23 15:43:46 -0800149 byte* image_begin = image_space->Begin();
150 byte* image_end = image_space->End();
151 CHECK_EQ(requested_image_base, reinterpret_cast<uintptr_t>(image_begin));
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800152 for (size_t i = 0; i < dex->NumClassDefs(); ++i) {
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700153 const DexFile::ClassDef& class_def = dex->GetClassDef(i);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700154 const char* descriptor = dex->GetClassDescriptor(class_def);
Ian Rogers98379392014-02-24 16:53:16 -0800155 mirror::Class* klass = class_linker_->FindSystemClass(soa.Self(), descriptor);
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800156 EXPECT_TRUE(klass != nullptr) << descriptor;
Brian Carlstrom96391602013-06-13 19:49:50 -0700157 if (image_classes.find(descriptor) != image_classes.end()) {
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800158 // Image classes should be located inside the image.
159 EXPECT_LT(image_begin, reinterpret_cast<byte*>(klass)) << descriptor;
Brian Carlstrom96391602013-06-13 19:49:50 -0700160 EXPECT_LT(reinterpret_cast<byte*>(klass), image_end) << descriptor;
161 } else {
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800162 EXPECT_TRUE(reinterpret_cast<byte*>(klass) >= image_end ||
163 reinterpret_cast<byte*>(klass) < image_begin) << descriptor;
Brian Carlstrom96391602013-06-13 19:49:50 -0700164 }
Ian Rogersd9c4fc92013-10-01 19:45:43 -0700165 EXPECT_TRUE(Monitor::IsValidLockWord(klass->GetLockWord()));
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700166 }
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700167}
168
Brian Carlstrom179486a2013-09-03 11:51:42 -0700169TEST_F(ImageTest, ImageHeaderIsValid) {
170 uint32_t image_begin = ART_BASE_ADDRESS;
171 uint32_t image_size_ = 16 * KB;
172 uint32_t image_bitmap_offset = 0;
173 uint32_t image_bitmap_size = 0;
174 uint32_t image_roots = ART_BASE_ADDRESS + (1 * KB);
175 uint32_t oat_checksum = 0;
176 uint32_t oat_file_begin = ART_BASE_ADDRESS + (4 * KB); // page aligned
177 uint32_t oat_data_begin = ART_BASE_ADDRESS + (8 * KB); // page aligned
178 uint32_t oat_data_end = ART_BASE_ADDRESS + (9 * KB);
179 uint32_t oat_file_end = ART_BASE_ADDRESS + (10 * KB);
180 ImageHeader image_header(image_begin,
181 image_size_,
182 image_bitmap_offset,
183 image_bitmap_size,
184 image_roots,
185 oat_checksum,
186 oat_file_begin,
187 oat_data_begin,
188 oat_data_end,
189 oat_file_end);
190 ASSERT_TRUE(image_header.IsValid());
191
192 char* magic = const_cast<char*>(image_header.GetMagic());
193 strcpy(magic, ""); // bad magic
194 ASSERT_FALSE(image_header.IsValid());
195 strcpy(magic, "art\n000"); // bad version
196 ASSERT_FALSE(image_header.IsValid());
197}
198
Brian Carlstromdb4d5402011-08-09 12:18:28 -0700199} // namespace art