Elliott Hughes | 2faa5f1 | 2012-01-30 14:42:07 -0800 | [diff] [blame] | 1 | /* |
| 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 Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 16 | |
Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 17 | #include "image.h" |
| 18 | |
Ian Rogers | 700a402 | 2014-05-19 16:49:03 -0700 | [diff] [blame] | 19 | #include <memory> |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 20 | #include <string> |
| 21 | #include <vector> |
| 22 | |
Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 23 | #include "common_compiler_test.h" |
Brian Carlstrom | 51c2467 | 2013-07-11 16:00:56 -0700 | [diff] [blame] | 24 | #include "compiler/elf_fixup.h" |
| 25 | #include "compiler/image_writer.h" |
| 26 | #include "compiler/oat_writer.h" |
Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 27 | #include "gc/space/image_space.h" |
Ian Rogers | d9c4fc9 | 2013-10-01 19:45:43 -0700 | [diff] [blame] | 28 | #include "lock_word.h" |
| 29 | #include "mirror/object-inl.h" |
Brian Carlstrom | 51c2467 | 2013-07-11 16:00:56 -0700 | [diff] [blame] | 30 | #include "signal_catcher.h" |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 31 | #include "utils.h" |
Brian Carlstrom | 700c8d3 | 2012-11-05 10:42:02 -0800 | [diff] [blame] | 32 | #include "vector_output_stream.h" |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 33 | |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 34 | namespace art { |
| 35 | |
Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 36 | class ImageTest : public CommonCompilerTest { |
Ian Rogers | 10c5b78 | 2013-01-10 10:40:53 -0800 | [diff] [blame] | 37 | protected: |
| 38 | virtual void SetUp() { |
Brian Carlstrom | 700c8d3 | 2012-11-05 10:42:02 -0800 | [diff] [blame] | 39 | ReserveImageSpace(); |
Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 40 | CommonCompilerTest::SetUp(); |
Ian Rogers | 10c5b78 | 2013-01-10 10:40:53 -0800 | [diff] [blame] | 41 | } |
Ian Rogers | 10c5b78 | 2013-01-10 10:40:53 -0800 | [diff] [blame] | 42 | }; |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 43 | |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 44 | TEST_F(ImageTest, WriteRead) { |
Brian Carlstrom | 0e12bdc | 2014-05-14 17:44:28 -0700 | [diff] [blame] | 45 | // Create a generic location tmp file, to be the base of the .art and .oat temporary files. |
| 46 | ScratchFile location; |
| 47 | ScratchFile image_location(location, ".art"); |
| 48 | |
| 49 | std::string image_filename(GetSystemImageFilename(image_location.GetFilename().c_str(), |
| 50 | kRuntimeISA)); |
| 51 | size_t pos = image_filename.rfind('/'); |
| 52 | CHECK_NE(pos, std::string::npos) << image_filename; |
| 53 | std::string image_dir(image_filename, 0, pos); |
| 54 | int mkdir_result = mkdir(image_dir.c_str(), 0700); |
| 55 | CHECK_EQ(0, mkdir_result) << image_dir; |
| 56 | ScratchFile image_file(OS::CreateEmptyFile(image_filename.c_str())); |
| 57 | |
| 58 | std::string oat_filename(image_filename, 0, image_filename.size() - 3); |
| 59 | oat_filename += "oat"; |
| 60 | ScratchFile oat_file(OS::CreateEmptyFile(oat_filename.c_str())); |
| 61 | |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 62 | { |
Brian Carlstrom | 700c8d3 | 2012-11-05 10:42:02 -0800 | [diff] [blame] | 63 | { |
Brian Carlstrom | 9639160 | 2013-06-13 19:49:50 -0700 | [diff] [blame] | 64 | jobject class_loader = NULL; |
| 65 | ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); |
Ian Rogers | 5fe9af7 | 2013-11-14 00:17:20 -0800 | [diff] [blame] | 66 | TimingLogger timings("ImageTest::WriteRead", false, false); |
Ian Rogers | bd2c19f | 2013-07-25 17:43:46 -0700 | [diff] [blame] | 67 | timings.StartSplit("CompileAll"); |
Ian Rogers | 3d50407 | 2014-03-01 09:16:49 -0800 | [diff] [blame] | 68 | if (kUsePortableCompiler) { |
| 69 | // TODO: we disable this for portable so the test executes in a reasonable amount of time. |
| 70 | // We shouldn't need to do this. |
| 71 | compiler_options_->SetCompilerFilter(CompilerOptions::kInterpretOnly); |
| 72 | } |
Brian Carlstrom | 5f67532 | 2013-09-03 22:45:51 -0700 | [diff] [blame] | 73 | for (const DexFile* dex_file : class_linker->GetBootClassPath()) { |
| 74 | dex_file->EnableWrite(); |
| 75 | } |
Ian Rogers | 3d50407 | 2014-03-01 09:16:49 -0800 | [diff] [blame] | 76 | compiler_driver_->CompileAll(class_loader, class_linker->GetBootClassPath(), &timings); |
Brian Carlstrom | 9639160 | 2013-06-13 19:49:50 -0700 | [diff] [blame] | 77 | |
Brian Carlstrom | 700c8d3 | 2012-11-05 10:42:02 -0800 | [diff] [blame] | 78 | ScopedObjectAccess soa(Thread::Current()); |
Brian Carlstrom | c50d8e1 | 2013-07-23 22:35:16 -0700 | [diff] [blame] | 79 | OatWriter oat_writer(class_linker->GetBootClassPath(), |
Ian Rogers | ca368cb | 2013-11-15 15:52:08 -0800 | [diff] [blame] | 80 | 0, 0, "", compiler_driver_.get(), &timings); |
Brian Carlstrom | c50d8e1 | 2013-07-23 22:35:16 -0700 | [diff] [blame] | 81 | bool success = compiler_driver_->WriteElf(GetTestAndroidRoot(), |
| 82 | !kIsTargetBuild, |
| 83 | class_linker->GetBootClassPath(), |
Ian Rogers | 3d50407 | 2014-03-01 09:16:49 -0800 | [diff] [blame] | 84 | &oat_writer, |
Brian Carlstrom | 0e12bdc | 2014-05-14 17:44:28 -0700 | [diff] [blame] | 85 | oat_file.GetFile()); |
Brian Carlstrom | c50d8e1 | 2013-07-23 22:35:16 -0700 | [diff] [blame] | 86 | ASSERT_TRUE(success); |
Ian Rogers | 5fe9af7 | 2013-11-14 00:17:20 -0800 | [diff] [blame] | 87 | timings.EndSplit(); |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 88 | } |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 89 | } |
Brian Carlstrom | 0e12bdc | 2014-05-14 17:44:28 -0700 | [diff] [blame] | 90 | // Workound bug that mcld::Linker::emit closes oat_file by reopening as dup_oat. |
Ian Rogers | 700a402 | 2014-05-19 16:49:03 -0700 | [diff] [blame] | 91 | std::unique_ptr<File> dup_oat(OS::OpenFileReadWrite(oat_file.GetFilename().c_str())); |
Brian Carlstrom | 0e12bdc | 2014-05-14 17:44:28 -0700 | [diff] [blame] | 92 | ASSERT_TRUE(dup_oat.get() != NULL); |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 93 | |
jeffhao | 8161c03 | 2012-10-31 15:50:00 -0700 | [diff] [blame] | 94 | const uintptr_t requested_image_base = ART_BASE_ADDRESS; |
| 95 | { |
Brian Carlstrom | 9639160 | 2013-06-13 19:49:50 -0700 | [diff] [blame] | 96 | ImageWriter writer(*compiler_driver_.get()); |
Brian Carlstrom | 0e12bdc | 2014-05-14 17:44:28 -0700 | [diff] [blame] | 97 | bool success_image = writer.Write(image_file.GetFilename(), requested_image_base, |
| 98 | dup_oat->GetPath(), dup_oat->GetPath()); |
jeffhao | 8161c03 | 2012-10-31 15:50:00 -0700 | [diff] [blame] | 99 | ASSERT_TRUE(success_image); |
Brian Carlstrom | 0e12bdc | 2014-05-14 17:44:28 -0700 | [diff] [blame] | 100 | bool success_fixup = ElfFixup::Fixup(dup_oat.get(), writer.GetOatDataBegin()); |
Brian Carlstrom | 700c8d3 | 2012-11-05 10:42:02 -0800 | [diff] [blame] | 101 | ASSERT_TRUE(success_fixup); |
jeffhao | 8161c03 | 2012-10-31 15:50:00 -0700 | [diff] [blame] | 102 | } |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 103 | |
| 104 | { |
Ian Rogers | 700a402 | 2014-05-19 16:49:03 -0700 | [diff] [blame] | 105 | std::unique_ptr<File> file(OS::OpenFileForReading(image_file.GetFilename().c_str())); |
Elliott Hughes | 90a3369 | 2011-08-30 13:27:07 -0700 | [diff] [blame] | 106 | ASSERT_TRUE(file.get() != NULL); |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 107 | ImageHeader image_header; |
| 108 | file->ReadFully(&image_header, sizeof(image_header)); |
| 109 | ASSERT_TRUE(image_header.IsValid()); |
Mathieu Chartier | 31e8925 | 2013-08-28 11:29:12 -0700 | [diff] [blame] | 110 | ASSERT_GE(image_header.GetImageBitmapOffset(), sizeof(image_header)); |
| 111 | ASSERT_NE(0U, image_header.GetImageBitmapSize()); |
Brian Carlstrom | 69b15fb | 2011-09-03 12:25:21 -0700 | [diff] [blame] | 112 | |
Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 113 | gc::Heap* heap = Runtime::Current()->GetHeap(); |
Mathieu Chartier | 590fee9 | 2013-09-13 13:46:47 -0700 | [diff] [blame] | 114 | ASSERT_TRUE(!heap->GetContinuousSpaces().empty()); |
| 115 | gc::space::ContinuousSpace* space = heap->GetNonMovingSpace(); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 116 | ASSERT_FALSE(space->IsImageSpace()); |
Brian Carlstrom | 69b15fb | 2011-09-03 12:25:21 -0700 | [diff] [blame] | 117 | ASSERT_TRUE(space != NULL); |
Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 118 | ASSERT_TRUE(space->IsMallocSpace()); |
Elliott Hughes | 7616005 | 2012-12-12 16:31:20 -0800 | [diff] [blame] | 119 | ASSERT_GE(sizeof(image_header) + space->Size(), static_cast<size_t>(file->GetLength())); |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 120 | } |
Brian Carlstrom | 8a43659 | 2011-08-15 21:27:23 -0700 | [diff] [blame] | 121 | |
Brian Carlstrom | 9639160 | 2013-06-13 19:49:50 -0700 | [diff] [blame] | 122 | ASSERT_TRUE(compiler_driver_->GetImageClasses() != NULL); |
| 123 | CompilerDriver::DescriptorSet image_classes(*compiler_driver_->GetImageClasses()); |
| 124 | |
Mathieu Chartier | 0e4627e | 2012-10-23 16:13:36 -0700 | [diff] [blame] | 125 | // Need to delete the compiler since it has worker threads which are attached to runtime. |
Ian Rogers | 1212a02 | 2013-03-04 10:48:41 -0800 | [diff] [blame] | 126 | compiler_driver_.reset(); |
Mathieu Chartier | 0e4627e | 2012-10-23 16:13:36 -0700 | [diff] [blame] | 127 | |
Ian Rogers | 10c5b78 | 2013-01-10 10:40:53 -0800 | [diff] [blame] | 128 | // Tear down old runtime before making a new one, clearing out misc state. |
| 129 | runtime_.reset(); |
Brian Carlstrom | a004aa9 | 2012-02-08 18:05:09 -0800 | [diff] [blame] | 130 | java_lang_dex_file_ = NULL; |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 131 | |
Ian Rogers | 8d31bbd | 2013-10-13 10:44:14 -0700 | [diff] [blame] | 132 | std::string error_msg; |
Ian Rogers | 700a402 | 2014-05-19 16:49:03 -0700 | [diff] [blame] | 133 | std::unique_ptr<const DexFile> dex(DexFile::Open(GetLibCoreDexFileName().c_str(), |
Ian Rogers | 8d31bbd | 2013-10-13 10:44:14 -0700 | [diff] [blame] | 134 | GetLibCoreDexFileName().c_str(), |
| 135 | &error_msg)); |
| 136 | ASSERT_TRUE(dex.get() != nullptr) << error_msg; |
Brian Carlstrom | 8a43659 | 2011-08-15 21:27:23 -0700 | [diff] [blame] | 137 | |
Ian Rogers | 10c5b78 | 2013-01-10 10:40:53 -0800 | [diff] [blame] | 138 | // Remove the reservation of the memory for use to load the image. |
Brian Carlstrom | 700c8d3 | 2012-11-05 10:42:02 -0800 | [diff] [blame] | 139 | UnreserveImageSpace(); |
Ian Rogers | 10c5b78 | 2013-01-10 10:40:53 -0800 | [diff] [blame] | 140 | |
Brian Carlstrom | 8a43659 | 2011-08-15 21:27:23 -0700 | [diff] [blame] | 141 | Runtime::Options options; |
Brian Carlstrom | 58ae941 | 2011-10-04 00:56:06 -0700 | [diff] [blame] | 142 | std::string image("-Ximage:"); |
Brian Carlstrom | 0e12bdc | 2014-05-14 17:44:28 -0700 | [diff] [blame] | 143 | image.append(image_location.GetFilename()); |
Brian Carlstrom | 58ae941 | 2011-10-04 00:56:06 -0700 | [diff] [blame] | 144 | options.push_back(std::make_pair(image.c_str(), reinterpret_cast<void*>(NULL))); |
Brian Carlstrom | 8a43659 | 2011-08-15 21:27:23 -0700 | [diff] [blame] | 145 | |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 146 | if (!Runtime::Create(options, false)) { |
| 147 | LOG(FATAL) << "Failed to create runtime"; |
| 148 | return; |
| 149 | } |
| 150 | runtime_.reset(Runtime::Current()); |
| 151 | // Runtime::Create acquired the mutator_lock_ that is normally given away when we Runtime::Start, |
| 152 | // give it away now and then switch to a more managable ScopedObjectAccess. |
| 153 | Thread::Current()->TransitionFromRunnableToSuspended(kNative); |
| 154 | ScopedObjectAccess soa(Thread::Current()); |
Elliott Hughes | 90a3369 | 2011-08-30 13:27:07 -0700 | [diff] [blame] | 155 | ASSERT_TRUE(runtime_.get() != NULL); |
Brian Carlstrom | 8a43659 | 2011-08-15 21:27:23 -0700 | [diff] [blame] | 156 | class_linker_ = runtime_->GetClassLinker(); |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 157 | |
Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 158 | gc::Heap* heap = Runtime::Current()->GetHeap(); |
Mathieu Chartier | 590fee9 | 2013-09-13 13:46:47 -0700 | [diff] [blame] | 159 | ASSERT_TRUE(heap->HasImageSpace()); |
Hiroshi Yamauchi | cf58d4a | 2013-09-26 14:21:22 -0700 | [diff] [blame] | 160 | ASSERT_TRUE(heap->GetNonMovingSpace()->IsMallocSpace()); |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 161 | |
Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 162 | gc::space::ImageSpace* image_space = heap->GetImageSpace(); |
Mathieu Chartier | 31e8925 | 2013-08-28 11:29:12 -0700 | [diff] [blame] | 163 | image_space->VerifyImageAllocations(); |
Ian Rogers | 30fab40 | 2012-01-23 15:43:46 -0800 | [diff] [blame] | 164 | byte* image_begin = image_space->Begin(); |
| 165 | byte* image_end = image_space->End(); |
| 166 | CHECK_EQ(requested_image_base, reinterpret_cast<uintptr_t>(image_begin)); |
Elliott Hughes | b3bd5f0 | 2012-03-08 21:05:27 -0800 | [diff] [blame] | 167 | for (size_t i = 0; i < dex->NumClassDefs(); ++i) { |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 168 | const DexFile::ClassDef& class_def = dex->GetClassDef(i); |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 169 | const char* descriptor = dex->GetClassDescriptor(class_def); |
Ian Rogers | 9837939 | 2014-02-24 16:53:16 -0800 | [diff] [blame] | 170 | mirror::Class* klass = class_linker_->FindSystemClass(soa.Self(), descriptor); |
Mathieu Chartier | c528dba | 2013-11-26 12:00:11 -0800 | [diff] [blame] | 171 | EXPECT_TRUE(klass != nullptr) << descriptor; |
Brian Carlstrom | 9639160 | 2013-06-13 19:49:50 -0700 | [diff] [blame] | 172 | if (image_classes.find(descriptor) != image_classes.end()) { |
Mathieu Chartier | c528dba | 2013-11-26 12:00:11 -0800 | [diff] [blame] | 173 | // Image classes should be located inside the image. |
| 174 | EXPECT_LT(image_begin, reinterpret_cast<byte*>(klass)) << descriptor; |
Brian Carlstrom | 9639160 | 2013-06-13 19:49:50 -0700 | [diff] [blame] | 175 | EXPECT_LT(reinterpret_cast<byte*>(klass), image_end) << descriptor; |
| 176 | } else { |
Mathieu Chartier | c528dba | 2013-11-26 12:00:11 -0800 | [diff] [blame] | 177 | EXPECT_TRUE(reinterpret_cast<byte*>(klass) >= image_end || |
| 178 | reinterpret_cast<byte*>(klass) < image_begin) << descriptor; |
Brian Carlstrom | 9639160 | 2013-06-13 19:49:50 -0700 | [diff] [blame] | 179 | } |
Mathieu Chartier | 4d7f61d | 2014-04-17 14:43:39 -0700 | [diff] [blame] | 180 | EXPECT_TRUE(Monitor::IsValidLockWord(klass->GetLockWord(false))); |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 181 | } |
Brian Carlstrom | 0e12bdc | 2014-05-14 17:44:28 -0700 | [diff] [blame] | 182 | |
| 183 | image_file.Unlink(); |
| 184 | oat_file.Unlink(); |
| 185 | int rmdir_result = rmdir(image_dir.c_str()); |
| 186 | CHECK_EQ(0, rmdir_result); |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 187 | } |
| 188 | |
Brian Carlstrom | 179486a | 2013-09-03 11:51:42 -0700 | [diff] [blame] | 189 | TEST_F(ImageTest, ImageHeaderIsValid) { |
| 190 | uint32_t image_begin = ART_BASE_ADDRESS; |
| 191 | uint32_t image_size_ = 16 * KB; |
| 192 | uint32_t image_bitmap_offset = 0; |
| 193 | uint32_t image_bitmap_size = 0; |
| 194 | uint32_t image_roots = ART_BASE_ADDRESS + (1 * KB); |
| 195 | uint32_t oat_checksum = 0; |
| 196 | uint32_t oat_file_begin = ART_BASE_ADDRESS + (4 * KB); // page aligned |
| 197 | uint32_t oat_data_begin = ART_BASE_ADDRESS + (8 * KB); // page aligned |
| 198 | uint32_t oat_data_end = ART_BASE_ADDRESS + (9 * KB); |
| 199 | uint32_t oat_file_end = ART_BASE_ADDRESS + (10 * KB); |
| 200 | ImageHeader image_header(image_begin, |
| 201 | image_size_, |
| 202 | image_bitmap_offset, |
| 203 | image_bitmap_size, |
| 204 | image_roots, |
| 205 | oat_checksum, |
| 206 | oat_file_begin, |
| 207 | oat_data_begin, |
| 208 | oat_data_end, |
| 209 | oat_file_end); |
| 210 | ASSERT_TRUE(image_header.IsValid()); |
| 211 | |
| 212 | char* magic = const_cast<char*>(image_header.GetMagic()); |
| 213 | strcpy(magic, ""); // bad magic |
| 214 | ASSERT_FALSE(image_header.IsValid()); |
| 215 | strcpy(magic, "art\n000"); // bad version |
| 216 | ASSERT_FALSE(image_header.IsValid()); |
| 217 | } |
| 218 | |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 219 | } // namespace art |