blob: e861921130441c649cc82d4c4197caec43bb7034 [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 Carlstrome24fa612011-09-29 00:53:55 -070016
17#include "oat_file.h"
18
Brian Carlstrom700c8d32012-11-05 10:42:02 -080019#include <dlfcn.h>
Calin Juravle4e1d5792014-07-15 23:56:47 +010020#include <string.h>
Andreas Gampedaab38c2014-09-12 18:38:24 -070021#include <unistd.h>
Brian Carlstrom700c8d32012-11-05 10:42:02 -080022
Andreas Gampe7848da42015-04-09 11:15:04 -070023#include <cstdlib>
David Srbecky1baabf02015-06-16 17:12:34 +000024#ifndef __APPLE__
25#include <link.h> // for dl_iterate_phdr.
26#endif
Richard Uhlere5fed032015-03-18 08:21:11 -070027#include <sstream>
28
Andreas Gampefa8429b2015-04-07 18:34:42 -070029// dlopen_ext support from bionic.
Andreas Gampec60e1b72015-07-30 08:57:50 -070030#ifdef __ANDROID__
Andreas Gampefa8429b2015-04-07 18:34:42 -070031#include "android/dlext.h"
32#endif
33
Mathieu Chartiere401d142015-04-22 13:56:20 -070034#include "art_method-inl.h"
Brian Carlstromba150c32013-08-27 17:31:03 -070035#include "base/bit_vector.h"
Elliott Hughes1aa246d2012-12-13 09:29:36 -080036#include "base/stl_util.h"
Elliott Hughes76160052012-12-12 16:31:20 -080037#include "base/unix_file/fd_file.h"
Brian Carlstrom700c8d32012-11-05 10:42:02 -080038#include "elf_file.h"
Alex Light84d76052014-08-22 17:49:35 -070039#include "elf_utils.h"
Brian Carlstrom700c8d32012-11-05 10:42:02 -080040#include "oat.h"
David Srbecky1baabf02015-06-16 17:12:34 +000041#include "mem_map.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080042#include "mirror/class.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070043#include "mirror/object-inl.h"
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +010044#include "oat_file-inl.h"
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -070045#include "oat_file_manager.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070046#include "os.h"
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070047#include "runtime.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080048#include "utils.h"
Vladimir Marko09d09432015-09-08 13:47:48 +010049#include "utils/dex_cache_arrays_layout-inl.h"
Ian Rogers1809a722013-08-09 22:05:32 -070050#include "vmap_table.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070051
52namespace art {
53
Andreas Gampefa8429b2015-04-07 18:34:42 -070054// Whether OatFile::Open will try DlOpen() first. Fallback is our own ELF loader.
David Srbecky1baabf02015-06-16 17:12:34 +000055static constexpr bool kUseDlopen = true;
Andreas Gampefa8429b2015-04-07 18:34:42 -070056
57// Whether OatFile::Open will try DlOpen() on the host. On the host we're not linking against
58// bionic, so cannot take advantage of the support for changed semantics (loading the same soname
59// multiple times). However, if/when we switch the above, we likely want to switch this, too,
60// to get test coverage of the code paths.
David Srbecky1baabf02015-06-16 17:12:34 +000061static constexpr bool kUseDlopenOnHost = true;
Andreas Gampefa8429b2015-04-07 18:34:42 -070062
63// For debugging, Open will print DlOpen error message if set to true.
64static constexpr bool kPrintDlOpenErrorMessage = false;
65
Richard Uhlere5fed032015-03-18 08:21:11 -070066std::string OatFile::ResolveRelativeEncodedDexLocation(
67 const char* abs_dex_location, const std::string& rel_dex_location) {
68 if (abs_dex_location != nullptr && rel_dex_location[0] != '/') {
69 // Strip :classes<N>.dex used for secondary multidex files.
70 std::string base = DexFile::GetBaseLocation(rel_dex_location);
71 std::string multidex_suffix = DexFile::GetMultiDexSuffix(rel_dex_location);
72
73 // Check if the base is a suffix of the provided abs_dex_location.
74 std::string target_suffix = "/" + base;
75 std::string abs_location(abs_dex_location);
76 if (abs_location.size() > target_suffix.size()) {
77 size_t pos = abs_location.size() - target_suffix.size();
78 if (abs_location.compare(pos, std::string::npos, target_suffix) == 0) {
79 return abs_location + multidex_suffix;
80 }
81 }
82 }
83 return rel_dex_location;
84}
85
Brian Carlstrom700c8d32012-11-05 10:42:02 -080086void OatFile::CheckLocation(const std::string& location) {
Brian Carlstrom7a967b32012-03-28 15:23:10 -070087 CHECK(!location.empty());
Brian Carlstrom700c8d32012-11-05 10:42:02 -080088}
89
Alex Light84d76052014-08-22 17:49:35 -070090OatFile* OatFile::OpenWithElfFile(ElfFile* elf_file,
91 const std::string& location,
Richard Uhlere5fed032015-03-18 08:21:11 -070092 const char* abs_dex_location,
Igor Murashkinb1d8c312015-08-04 11:18:43 -070093 std::string* error_msg) {
Alex Light84d76052014-08-22 17:49:35 -070094 std::unique_ptr<OatFile> oat_file(new OatFile(location, false));
95 oat_file->elf_file_.reset(elf_file);
Tong Shen62d1ca32014-09-03 17:24:56 -070096 uint64_t offset, size;
Igor Murashkinb1d8c312015-08-04 11:18:43 -070097 bool has_section = elf_file->GetSectionOffsetAndSize(".rodata", &offset, &size);
Tong Shen62d1ca32014-09-03 17:24:56 -070098 CHECK(has_section);
99 oat_file->begin_ = elf_file->Begin() + offset;
100 oat_file->end_ = elf_file->Begin() + size + offset;
Vladimir Marko5c42c292015-02-25 12:02:49 +0000101 // Ignore the optional .bss section when opening non-executable.
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700102 return oat_file->Setup(abs_dex_location, error_msg) ? oat_file.release() : nullptr;
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800103}
104
105OatFile* OatFile::Open(const std::string& filename,
106 const std::string& location,
Ian Rogers13735952014-10-08 12:43:28 -0700107 uint8_t* requested_base,
Igor Murashkin46774762014-10-22 11:37:02 -0700108 uint8_t* oat_file_begin,
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700109 bool executable,
Richard Uhlere5fed032015-03-18 08:21:11 -0700110 const char* abs_dex_location,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700111 std::string* error_msg) {
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800112 CHECK(!filename.empty()) << location;
Andreas Gampe7ba64962014-10-23 11:37:40 -0700113 CheckLocation(location);
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700114 std::unique_ptr<OatFile> ret;
Andreas Gampefa8429b2015-04-07 18:34:42 -0700115
116 // Use dlopen only when flagged to do so, and when it's OK to load things executable.
117 // TODO: Also try when not executable? The issue here could be re-mapping as writable (as
118 // !executable is a sign that we may want to patch), which may not be allowed for
119 // various reasons.
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -0700120 // dlopen always returns the same library if it is already opened on the host. For this reason
121 // we only use dlopen if we are the target or we do not already have the dex file opened. Having
122 // the same library loaded multiple times at different addresses is required for class unloading
123 // and for having dex caches arrays in the .bss section.
124 Runtime* const runtime = Runtime::Current();
125 OatFileManager* const manager = (runtime != nullptr) ? &runtime->GetOatFileManager() : nullptr;
Mathieu Chartiere58991b2015-10-13 07:59:34 -0700126 if (kUseDlopen && executable) {
127 bool success = kIsTargetBuild;
128 bool reserved_location = false;
129 // Manager may be null if we are running without a runtime.
130 if (!success && kUseDlopenOnHost && manager != nullptr) {
Mathieu Chartier24a0fc82015-10-13 16:38:52 -0700131 // RegisterOatFileLocation returns false if we are not the first caller to register that
Mathieu Chartiere58991b2015-10-13 07:59:34 -0700132 // location.
133 reserved_location = manager->RegisterOatFileLocation(location);
134 success = reserved_location;
Andreas Gampefa8429b2015-04-07 18:34:42 -0700135 }
Mathieu Chartiere58991b2015-10-13 07:59:34 -0700136 if (success) {
137 // Try to use dlopen. This may fail for various reasons, outlined below. We try dlopen, as
138 // this will register the oat file with the linker and allows libunwind to find our info.
139 ret.reset(OpenDlopen(filename, location, requested_base, abs_dex_location, error_msg));
140 if (reserved_location) {
141 manager->UnRegisterOatFileLocation(location);
142 }
143 if (ret != nullptr) {
144 return ret.release();
145 }
146 if (kPrintDlOpenErrorMessage) {
147 LOG(ERROR) << "Failed to dlopen: " << *error_msg;
148 }
Andreas Gampefa8429b2015-04-07 18:34:42 -0700149 }
150 }
151
Elliott Hughes956af0f2014-12-11 14:34:28 -0800152 // If we aren't trying to execute, we just use our own ElfFile loader for a couple reasons:
153 //
154 // On target, dlopen may fail when compiling due to selinux restrictions on installd.
155 //
156 // We use our own ELF loader for Quick to deal with legacy apps that
157 // open a generated dex file by name, remove the file, then open
158 // another generated dex file with the same name. http://b/10614658
159 //
160 // On host, dlopen is expected to fail when cross compiling, so fall back to OpenElfFile.
Andreas Gampefa8429b2015-04-07 18:34:42 -0700161 //
162 //
163 // Another independent reason is the absolute placement of boot.oat. dlopen on the host usually
164 // does honor the virtual address encoded in the ELF file only for ET_EXEC files, not ET_DYN.
Elliott Hughes956af0f2014-12-11 14:34:28 -0800165 std::unique_ptr<File> file(OS::OpenFileForReading(filename.c_str()));
Andreas Gampefa8429b2015-04-07 18:34:42 -0700166 if (file == nullptr) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800167 *error_msg = StringPrintf("Failed to open oat filename for reading: %s", strerror(errno));
168 return nullptr;
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800169 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800170 ret.reset(OpenElfFile(file.get(), location, requested_base, oat_file_begin, false, executable,
Richard Uhlere5fed032015-03-18 08:21:11 -0700171 abs_dex_location, error_msg));
Elliott Hughes956af0f2014-12-11 14:34:28 -0800172
173 // It would be nice to unlink here. But we might have opened the file created by the
174 // ScopedLock, which we better not delete to avoid races. TODO: Investigate how to fix the API
175 // to allow removal when we know the ELF must be borked.
Dave Allison69dfe512014-07-11 17:11:58 +0000176 return ret.release();
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800177}
178
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700179OatFile* OatFile::OpenWritable(File* file, const std::string& location,
Richard Uhlere5fed032015-03-18 08:21:11 -0700180 const char* abs_dex_location,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700181 std::string* error_msg) {
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800182 CheckLocation(location);
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700183 return OpenElfFile(file, location, nullptr, nullptr, true, false, abs_dex_location, error_msg);
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800184}
185
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700186OatFile* OatFile::OpenReadable(File* file, const std::string& location,
Richard Uhlere5fed032015-03-18 08:21:11 -0700187 const char* abs_dex_location,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700188 std::string* error_msg) {
Alex Lighta59dd802014-07-02 16:28:08 -0700189 CheckLocation(location);
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700190 return OpenElfFile(file, location, nullptr, nullptr, false, false, abs_dex_location, error_msg);
Alex Lighta59dd802014-07-02 16:28:08 -0700191}
192
Andreas Gampefa8429b2015-04-07 18:34:42 -0700193OatFile* OatFile::OpenDlopen(const std::string& elf_filename,
194 const std::string& location,
195 uint8_t* requested_base,
196 const char* abs_dex_location,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700197 std::string* error_msg) {
Andreas Gampefa8429b2015-04-07 18:34:42 -0700198 std::unique_ptr<OatFile> oat_file(new OatFile(location, true));
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700199 bool success = oat_file->Dlopen(elf_filename, requested_base, abs_dex_location, error_msg);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700200 if (!success) {
201 return nullptr;
202 }
203 return oat_file.release();
204}
205
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800206OatFile* OatFile::OpenElfFile(File* file,
207 const std::string& location,
Ian Rogers13735952014-10-08 12:43:28 -0700208 uint8_t* requested_base,
Igor Murashkin46774762014-10-22 11:37:02 -0700209 uint8_t* oat_file_begin,
Brian Carlstromf1d34552013-07-12 20:22:23 -0700210 bool writable,
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700211 bool executable,
Richard Uhlere5fed032015-03-18 08:21:11 -0700212 const char* abs_dex_location,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700213 std::string* error_msg) {
Alex Light9dcc4572014-08-14 14:16:26 -0700214 std::unique_ptr<OatFile> oat_file(new OatFile(location, executable));
Igor Murashkin46774762014-10-22 11:37:02 -0700215 bool success = oat_file->ElfFileOpen(file, requested_base, oat_file_begin, writable, executable,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700216 abs_dex_location, error_msg);
Brian Carlstrome24fa612011-09-29 00:53:55 -0700217 if (!success) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700218 CHECK(!error_msg->empty());
219 return nullptr;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700220 }
221 return oat_file.release();
222}
223
Alex Light9dcc4572014-08-14 14:16:26 -0700224OatFile::OatFile(const std::string& location, bool is_executable)
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700225 : location_(location), begin_(nullptr), end_(nullptr), bss_begin_(nullptr), bss_end_(nullptr),
226 is_executable_(is_executable), dlopen_handle_(nullptr),
Vladimir Marko3f5838d2014-08-07 18:07:18 +0100227 secondary_lookup_lock_("OatFile secondary lookup lock", kOatFileSecondaryLookupLock) {
Brian Carlstroma004aa92012-02-08 18:05:09 -0800228 CHECK(!location_.empty());
Mathieu Chartiere58991b2015-10-13 07:59:34 -0700229 Runtime* const runtime = Runtime::Current();
230 if (runtime != nullptr && !runtime->IsAotCompiler()) {
231 runtime->GetOatFileManager().RegisterOatFileLocation(location);
232 }
Brian Carlstroma004aa92012-02-08 18:05:09 -0800233}
Brian Carlstrome24fa612011-09-29 00:53:55 -0700234
235OatFile::~OatFile() {
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100236 STLDeleteElements(&oat_dex_files_storage_);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700237 if (dlopen_handle_ != nullptr) {
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800238 dlclose(dlopen_handle_);
239 }
Mathieu Chartiere58991b2015-10-13 07:59:34 -0700240 Runtime* const runtime = Runtime::Current();
241 if (runtime != nullptr && !runtime->IsAotCompiler()) {
242 runtime->GetOatFileManager().UnRegisterOatFileLocation(location_);
243 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700244}
245
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700246bool OatFile::Dlopen(const std::string& elf_filename, uint8_t* requested_base,
247 const char* abs_dex_location, std::string* error_msg) {
David Srbecky1baabf02015-06-16 17:12:34 +0000248#ifdef __APPLE__
249 // The dl_iterate_phdr syscall is missing. There is similar API on OSX,
250 // but let's fallback to the custom loading code for the time being.
Roland Levillain4b8f1ec2015-08-26 18:34:03 +0100251 UNUSED(elf_filename, requested_base, abs_dex_location, error_msg);
David Srbecky1baabf02015-06-16 17:12:34 +0000252 return false;
253#else
Vladimir Marko6958e4f2015-09-17 20:22:02 +0100254 {
255 UniqueCPtr<char> absolute_path(realpath(elf_filename.c_str(), nullptr));
256 if (absolute_path == nullptr) {
257 *error_msg = StringPrintf("Failed to find absolute path for '%s'", elf_filename.c_str());
258 return false;
259 }
Andreas Gampec60e1b72015-07-30 08:57:50 -0700260#ifdef __ANDROID__
Vladimir Marko6958e4f2015-09-17 20:22:02 +0100261 android_dlextinfo extinfo;
262 extinfo.flags = ANDROID_DLEXT_FORCE_LOAD | ANDROID_DLEXT_FORCE_FIXED_VADDR;
263 dlopen_handle_ = android_dlopen_ext(absolute_path.get(), RTLD_NOW, &extinfo);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700264#else
Vladimir Marko6958e4f2015-09-17 20:22:02 +0100265 dlopen_handle_ = dlopen(absolute_path.get(), RTLD_NOW);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700266#endif
Vladimir Marko6958e4f2015-09-17 20:22:02 +0100267 }
Andreas Gampefa8429b2015-04-07 18:34:42 -0700268 if (dlopen_handle_ == nullptr) {
269 *error_msg = StringPrintf("Failed to dlopen '%s': %s", elf_filename.c_str(), dlerror());
270 return false;
271 }
272 begin_ = reinterpret_cast<uint8_t*>(dlsym(dlopen_handle_, "oatdata"));
273 if (begin_ == nullptr) {
274 *error_msg = StringPrintf("Failed to find oatdata symbol in '%s': %s", elf_filename.c_str(),
275 dlerror());
276 return false;
277 }
278 if (requested_base != nullptr && begin_ != requested_base) {
279 PrintFileToLog("/proc/self/maps", LogSeverity::WARNING);
280 *error_msg = StringPrintf("Failed to find oatdata symbol at expected address: "
281 "oatdata=%p != expected=%p, %s. See process maps in the log.",
282 begin_, requested_base, elf_filename.c_str());
283 return false;
284 }
285 end_ = reinterpret_cast<uint8_t*>(dlsym(dlopen_handle_, "oatlastword"));
286 if (end_ == nullptr) {
287 *error_msg = StringPrintf("Failed to find oatlastword symbol in '%s': %s", elf_filename.c_str(),
288 dlerror());
289 return false;
290 }
291 // Readjust to be non-inclusive upper bound.
292 end_ += sizeof(uint32_t);
293
294 bss_begin_ = reinterpret_cast<uint8_t*>(dlsym(dlopen_handle_, "oatbss"));
295 if (bss_begin_ == nullptr) {
296 // No .bss section. Clear dlerror().
297 bss_end_ = nullptr;
298 dlerror();
299 } else {
300 bss_end_ = reinterpret_cast<uint8_t*>(dlsym(dlopen_handle_, "oatbsslastword"));
301 if (bss_end_ == nullptr) {
302 *error_msg = StringPrintf("Failed to find oatbasslastword symbol in '%s'",
303 elf_filename.c_str());
304 return false;
305 }
306 // Readjust to be non-inclusive upper bound.
307 bss_end_ += sizeof(uint32_t);
308 }
309
David Srbecky1baabf02015-06-16 17:12:34 +0000310 // Ask the linker where it mmaped the file and notify our mmap wrapper of the regions.
311 struct dl_iterate_context {
312 static int callback(struct dl_phdr_info *info, size_t /* size */, void *data) {
313 auto* context = reinterpret_cast<dl_iterate_context*>(data);
David Srbeckyaa038702015-06-17 02:11:07 +0100314 // See whether this callback corresponds to the file which we have just loaded.
315 bool contains_begin = false;
316 for (int i = 0; i < info->dlpi_phnum; i++) {
317 if (info->dlpi_phdr[i].p_type == PT_LOAD) {
318 uint8_t* vaddr = reinterpret_cast<uint8_t*>(info->dlpi_addr +
319 info->dlpi_phdr[i].p_vaddr);
320 size_t memsz = info->dlpi_phdr[i].p_memsz;
321 if (vaddr <= context->begin_ && context->begin_ < vaddr + memsz) {
322 contains_begin = true;
323 break;
David Srbecky1baabf02015-06-16 17:12:34 +0000324 }
325 }
326 }
David Srbeckyaa038702015-06-17 02:11:07 +0100327 // Add dummy mmaps for this file.
328 if (contains_begin) {
329 for (int i = 0; i < info->dlpi_phnum; i++) {
330 if (info->dlpi_phdr[i].p_type == PT_LOAD) {
331 uint8_t* vaddr = reinterpret_cast<uint8_t*>(info->dlpi_addr +
332 info->dlpi_phdr[i].p_vaddr);
333 size_t memsz = info->dlpi_phdr[i].p_memsz;
David Srbecky82e73dc2015-06-17 18:36:23 +0100334 MemMap* mmap = MemMap::MapDummy(info->dlpi_name, vaddr, memsz);
335 context->dlopen_mmaps_->push_back(std::unique_ptr<MemMap>(mmap));
David Srbeckyaa038702015-06-17 02:11:07 +0100336 }
337 }
338 return 1; // Stop iteration and return 1 from dl_iterate_phdr.
339 }
340 return 0; // Continue iteration and return 0 from dl_iterate_phdr when finished.
David Srbecky1baabf02015-06-16 17:12:34 +0000341 }
David Srbecky82e73dc2015-06-17 18:36:23 +0100342 const uint8_t* const begin_;
343 std::vector<std::unique_ptr<MemMap>>* const dlopen_mmaps_;
344 } context = { begin_, &dlopen_mmaps_ };
David Srbecky1baabf02015-06-16 17:12:34 +0000345
David Srbeckyaa038702015-06-17 02:11:07 +0100346 if (dl_iterate_phdr(dl_iterate_context::callback, &context) == 0) {
David Srbecky5dedb802015-06-17 00:08:02 +0100347 PrintFileToLog("/proc/self/maps", LogSeverity::WARNING);
348 LOG(ERROR) << "File " << elf_filename << " loaded with dlopen but can not find its mmaps.";
349 }
350
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700351 return Setup(abs_dex_location, error_msg);
David Srbecky1baabf02015-06-16 17:12:34 +0000352#endif // __APPLE__
Andreas Gampefa8429b2015-04-07 18:34:42 -0700353}
354
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700355bool OatFile::ElfFileOpen(File* file, uint8_t* requested_base, uint8_t* oat_file_begin,
356 bool writable, bool executable,
Richard Uhlere5fed032015-03-18 08:21:11 -0700357 const char* abs_dex_location,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700358 std::string* error_msg) {
Igor Murashkin46774762014-10-22 11:37:02 -0700359 // TODO: rename requested_base to oat_data_begin
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700360 elf_file_.reset(ElfFile::Open(file, writable, /*program_header_only*/true, error_msg,
Igor Murashkin46774762014-10-22 11:37:02 -0700361 oat_file_begin));
Andreas Gampefa8429b2015-04-07 18:34:42 -0700362 if (elf_file_ == nullptr) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700363 DCHECK(!error_msg->empty());
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800364 return false;
365 }
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700366 bool loaded = elf_file_->Load(executable, error_msg);
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800367 if (!loaded) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700368 DCHECK(!error_msg->empty());
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800369 return false;
370 }
371 begin_ = elf_file_->FindDynamicSymbolAddress("oatdata");
Andreas Gampefa8429b2015-04-07 18:34:42 -0700372 if (begin_ == nullptr) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700373 *error_msg = StringPrintf("Failed to find oatdata symbol in '%s'", file->GetPath().c_str());
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800374 return false;
375 }
Andreas Gampefa8429b2015-04-07 18:34:42 -0700376 if (requested_base != nullptr && begin_ != requested_base) {
Andreas Gampea6dfdae2015-02-24 15:50:19 -0800377 PrintFileToLog("/proc/self/maps", LogSeverity::WARNING);
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700378 *error_msg = StringPrintf("Failed to find oatdata symbol at expected address: "
Andreas Gampea6dfdae2015-02-24 15:50:19 -0800379 "oatdata=%p != expected=%p. See process maps in the log.",
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700380 begin_, requested_base);
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800381 return false;
382 }
383 end_ = elf_file_->FindDynamicSymbolAddress("oatlastword");
Andreas Gampefa8429b2015-04-07 18:34:42 -0700384 if (end_ == nullptr) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700385 *error_msg = StringPrintf("Failed to find oatlastword symbol in '%s'", file->GetPath().c_str());
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800386 return false;
387 }
388 // Readjust to be non-inclusive upper bound.
389 end_ += sizeof(uint32_t);
Vladimir Marko5c42c292015-02-25 12:02:49 +0000390
391 bss_begin_ = elf_file_->FindDynamicSymbolAddress("oatbss");
392 if (bss_begin_ == nullptr) {
393 // No .bss section. Clear dlerror().
394 bss_end_ = nullptr;
395 dlerror();
396 } else {
397 bss_end_ = elf_file_->FindDynamicSymbolAddress("oatbsslastword");
398 if (bss_end_ == nullptr) {
399 *error_msg = StringPrintf("Failed to find oatbasslastword symbol in '%s'",
400 file->GetPath().c_str());
401 return false;
402 }
403 // Readjust to be non-inclusive upper bound.
404 bss_end_ += sizeof(uint32_t);
405 }
406
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700407 return Setup(abs_dex_location, error_msg);
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800408}
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -0800409
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700410bool OatFile::Setup(const char* abs_dex_location, std::string* error_msg) {
Brian Carlstromf1b30302013-03-28 10:35:32 -0700411 if (!GetOatHeader().IsValid()) {
Andreas Gampe2bcb3b22014-12-12 15:25:14 -0800412 std::string cause = GetOatHeader().GetValidationErrorMessage();
413 *error_msg = StringPrintf("Invalid oat header for '%s': %s", GetLocation().c_str(),
414 cause.c_str());
Brian Carlstromf1b30302013-03-28 10:35:32 -0700415 return false;
416 }
Ian Rogers13735952014-10-08 12:43:28 -0700417 const uint8_t* oat = Begin();
Brian Carlstrome24fa612011-09-29 00:53:55 -0700418 oat += sizeof(OatHeader);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700419 if (oat > End()) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700420 *error_msg = StringPrintf("In oat file '%s' found truncated OatHeader", GetLocation().c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700421 return false;
422 }
Brian Carlstrom81f3ca12012-03-17 00:27:35 -0700423
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700424 oat += GetOatHeader().GetKeyValueStoreSize();
Brian Carlstromfb331d72013-07-25 22:00:16 -0700425 if (oat > End()) {
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700426 *error_msg = StringPrintf("In oat file '%s' found truncated variable-size data: "
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700427 "%p + %zd + %ud <= %p", GetLocation().c_str(),
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700428 Begin(), sizeof(OatHeader), GetOatHeader().GetKeyValueStoreSize(),
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700429 End());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700430 return false;
431 }
432
Vladimir Marko09d09432015-09-08 13:47:48 +0100433 size_t pointer_size = GetInstructionSetPointerSize(GetOatHeader().GetInstructionSet());
434 const uint8_t* dex_cache_arrays = bss_begin_;
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100435 uint32_t dex_file_count = GetOatHeader().GetDexFileCount();
436 oat_dex_files_storage_.reserve(dex_file_count);
437 for (size_t i = 0; i < dex_file_count; i++) {
Dmitry Petrochenko83bef922014-02-03 12:34:59 +0700438 uint32_t dex_file_location_size = *reinterpret_cast<const uint32_t*>(oat);
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700439 if (UNLIKELY(dex_file_location_size == 0U)) {
440 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd with empty location name",
441 GetLocation().c_str(), i);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700442 return false;
443 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700444 oat += sizeof(dex_file_location_size);
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700445 if (UNLIKELY(oat > End())) {
446 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd truncated after dex file "
447 "location size", GetLocation().c_str(), i);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700448 return false;
449 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700450
451 const char* dex_file_location_data = reinterpret_cast<const char*>(oat);
452 oat += dex_file_location_size;
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700453 if (UNLIKELY(oat > End())) {
454 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd with truncated dex file "
455 "location", GetLocation().c_str(), i);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700456 return false;
457 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700458
Richard Uhlere5fed032015-03-18 08:21:11 -0700459 std::string dex_file_location = ResolveRelativeEncodedDexLocation(
460 abs_dex_location,
461 std::string(dex_file_location_data, dex_file_location_size));
Brian Carlstrome24fa612011-09-29 00:53:55 -0700462
463 uint32_t dex_file_checksum = *reinterpret_cast<const uint32_t*>(oat);
464 oat += sizeof(dex_file_checksum);
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700465 if (UNLIKELY(oat > End())) {
466 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd for '%s' truncated after "
467 "dex file checksum", GetLocation().c_str(), i,
468 dex_file_location.c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700469 return false;
470 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700471
Brian Carlstrom89521892011-12-07 22:05:07 -0800472 uint32_t dex_file_offset = *reinterpret_cast<const uint32_t*>(oat);
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700473 if (UNLIKELY(dex_file_offset == 0U)) {
474 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd for '%s' with zero dex "
475 "file offset", GetLocation().c_str(), i, dex_file_location.c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700476 return false;
477 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700478 if (UNLIKELY(dex_file_offset > Size())) {
479 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd for '%s' with dex file "
480 "offset %ud > %zd", GetLocation().c_str(), i,
481 dex_file_location.c_str(), dex_file_offset, Size());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700482 return false;
483 }
Brian Carlstrom89521892011-12-07 22:05:07 -0800484 oat += sizeof(dex_file_offset);
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700485 if (UNLIKELY(oat > End())) {
486 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd for '%s' truncated "
Brian Carlstrom37628b72014-10-28 13:54:26 -0700487 "after dex file offsets", GetLocation().c_str(), i,
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700488 dex_file_location.c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700489 return false;
490 }
Brian Carlstrom89521892011-12-07 22:05:07 -0800491
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800492 const uint8_t* dex_file_pointer = Begin() + dex_file_offset;
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700493 if (UNLIKELY(!DexFile::IsMagicValid(dex_file_pointer))) {
494 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd for '%s' with invalid "
Brian Carlstrom37628b72014-10-28 13:54:26 -0700495 "dex file magic '%s'", GetLocation().c_str(), i,
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700496 dex_file_location.c_str(), dex_file_pointer);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700497 return false;
498 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700499 if (UNLIKELY(!DexFile::IsVersionValid(dex_file_pointer))) {
500 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd for '%s' with invalid "
Brian Carlstrom37628b72014-10-28 13:54:26 -0700501 "dex file version '%s'", GetLocation().c_str(), i,
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700502 dex_file_location.c_str(), dex_file_pointer);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700503 return false;
504 }
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -0800505 const DexFile::Header* header = reinterpret_cast<const DexFile::Header*>(dex_file_pointer);
506 const uint32_t* methods_offsets_pointer = reinterpret_cast<const uint32_t*>(oat);
Brian Carlstrom89521892011-12-07 22:05:07 -0800507
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -0800508 oat += (sizeof(*methods_offsets_pointer) * header->class_defs_size_);
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700509 if (UNLIKELY(oat > End())) {
510 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd for '%s' with truncated "
Brian Carlstrom37628b72014-10-28 13:54:26 -0700511 "method offsets", GetLocation().c_str(), i,
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700512 dex_file_location.c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700513 return false;
514 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700515
Vladimir Marko09d09432015-09-08 13:47:48 +0100516 const uint8_t* current_dex_cache_arrays = nullptr;
517 if (dex_cache_arrays != nullptr) {
518 DexCacheArraysLayout layout(pointer_size, *header);
519 if (layout.Size() != 0u) {
520 if (static_cast<size_t>(bss_end_ - dex_cache_arrays) < layout.Size()) {
521 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd for '%s' with "
522 "truncated dex cache arrays, %zd < %zd.",
523 GetLocation().c_str(), i, dex_file_location.c_str(),
524 static_cast<size_t>(bss_end_ - dex_cache_arrays), layout.Size());
525 return false;
526 }
527 current_dex_cache_arrays = dex_cache_arrays;
528 dex_cache_arrays += layout.Size();
529 }
530 }
531
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100532 std::string canonical_location = DexFile::GetDexCanonicalLocation(dex_file_location.c_str());
533
534 // Create the OatDexFile and add it to the owning container.
Vladimir Marko539690a2014-06-05 18:36:42 +0100535 OatDexFile* oat_dex_file = new OatDexFile(this,
536 dex_file_location,
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100537 canonical_location,
Vladimir Marko539690a2014-06-05 18:36:42 +0100538 dex_file_checksum,
539 dex_file_pointer,
Vladimir Marko09d09432015-09-08 13:47:48 +0100540 methods_offsets_pointer,
541 current_dex_cache_arrays);
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100542 oat_dex_files_storage_.push_back(oat_dex_file);
543
544 // Add the location and canonical location (if different) to the oat_dex_files_ table.
Vladimir Marko3f5838d2014-08-07 18:07:18 +0100545 StringPiece key(oat_dex_file->GetDexFileLocation());
Vladimir Marko539690a2014-06-05 18:36:42 +0100546 oat_dex_files_.Put(key, oat_dex_file);
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100547 if (canonical_location != dex_file_location) {
548 StringPiece canonical_key(oat_dex_file->GetCanonicalDexFileLocation());
549 oat_dex_files_.Put(canonical_key, oat_dex_file);
550 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700551 }
Vladimir Marko09d09432015-09-08 13:47:48 +0100552
553 if (dex_cache_arrays != bss_end_) {
554 // We expect the bss section to be either empty (dex_cache_arrays and bss_end_
555 // both null) or contain just the dex cache arrays and nothing else.
556 *error_msg = StringPrintf("In oat file '%s' found unexpected bss size bigger by %zd bytes.",
557 GetLocation().c_str(),
558 static_cast<size_t>(bss_end_ - dex_cache_arrays));
559 return false;
560 }
Brian Carlstromf1b30302013-03-28 10:35:32 -0700561 return true;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700562}
563
564const OatHeader& OatFile::GetOatHeader() const {
Ian Rogers30fab402012-01-23 15:43:46 -0800565 return *reinterpret_cast<const OatHeader*>(Begin());
Brian Carlstrome24fa612011-09-29 00:53:55 -0700566}
567
Ian Rogers13735952014-10-08 12:43:28 -0700568const uint8_t* OatFile::Begin() const {
Andreas Gampefa8429b2015-04-07 18:34:42 -0700569 CHECK(begin_ != nullptr);
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800570 return begin_;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700571}
572
Ian Rogers13735952014-10-08 12:43:28 -0700573const uint8_t* OatFile::End() const {
Andreas Gampefa8429b2015-04-07 18:34:42 -0700574 CHECK(end_ != nullptr);
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800575 return end_;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700576}
577
Vladimir Marko5c42c292015-02-25 12:02:49 +0000578const uint8_t* OatFile::BssBegin() const {
579 return bss_begin_;
580}
581
582const uint8_t* OatFile::BssEnd() const {
583 return bss_end_;
584}
585
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700586const OatFile::OatDexFile* OatFile::GetOatDexFile(const char* dex_location,
587 const uint32_t* dex_location_checksum,
Ian Rogers7fe2c692011-12-06 16:35:59 -0800588 bool warn_if_not_found) const {
Vladimir Marko3f5838d2014-08-07 18:07:18 +0100589 // NOTE: We assume here that the canonical location for a given dex_location never
590 // changes. If it does (i.e. some symlink used by the filename changes) we may return
591 // an incorrect OatDexFile. As long as we have a checksum to check, we shall return
592 // an identical file or fail; otherwise we may see some unpredictable failures.
Calin Juravle4e1d5792014-07-15 23:56:47 +0100593
Vladimir Marko3f5838d2014-08-07 18:07:18 +0100594 // TODO: Additional analysis of usage patterns to see if this can be simplified
595 // without any performance loss, for example by not doing the first lock-free lookup.
596
597 const OatFile::OatDexFile* oat_dex_file = nullptr;
598 StringPiece key(dex_location);
599 // Try to find the key cheaply in the oat_dex_files_ map which holds dex locations
600 // directly mentioned in the oat file and doesn't require locking.
601 auto primary_it = oat_dex_files_.find(key);
602 if (primary_it != oat_dex_files_.end()) {
603 oat_dex_file = primary_it->second;
604 DCHECK(oat_dex_file != nullptr);
605 } else {
606 // This dex_location is not one of the dex locations directly mentioned in the
607 // oat file. The correct lookup is via the canonical location but first see in
608 // the secondary_oat_dex_files_ whether we've looked up this location before.
609 MutexLock mu(Thread::Current(), secondary_lookup_lock_);
610 auto secondary_lb = secondary_oat_dex_files_.lower_bound(key);
611 if (secondary_lb != secondary_oat_dex_files_.end() && key == secondary_lb->first) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700612 oat_dex_file = secondary_lb->second; // May be null.
Vladimir Marko3f5838d2014-08-07 18:07:18 +0100613 } else {
614 // We haven't seen this dex_location before, we must check the canonical location.
Vladimir Marko3f5838d2014-08-07 18:07:18 +0100615 std::string dex_canonical_location = DexFile::GetDexCanonicalLocation(dex_location);
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100616 if (dex_canonical_location != dex_location) {
617 StringPiece canonical_key(dex_canonical_location);
618 auto canonical_it = oat_dex_files_.find(canonical_key);
619 if (canonical_it != oat_dex_files_.end()) {
620 oat_dex_file = canonical_it->second;
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700621 } // else keep null.
622 } // else keep null.
Vladimir Marko3f5838d2014-08-07 18:07:18 +0100623
624 // Copy the key to the string_cache_ and store the result in secondary map.
625 string_cache_.emplace_back(key.data(), key.length());
626 StringPiece key_copy(string_cache_.back());
627 secondary_oat_dex_files_.PutBefore(secondary_lb, key_copy, oat_dex_file);
Brian Carlstrom756ee4e2013-10-03 15:46:12 -0700628 }
629 }
Vladimir Marko3f5838d2014-08-07 18:07:18 +0100630 if (oat_dex_file != nullptr &&
631 (dex_location_checksum == nullptr ||
632 oat_dex_file->GetDexFileLocationChecksum() == *dex_location_checksum)) {
633 return oat_dex_file;
634 }
Brian Carlstrom756ee4e2013-10-03 15:46:12 -0700635
636 if (warn_if_not_found) {
Vladimir Marko3f5838d2014-08-07 18:07:18 +0100637 std::string dex_canonical_location = DexFile::GetDexCanonicalLocation(dex_location);
Brian Carlstrom0d6adac2014-02-05 17:39:16 -0800638 std::string checksum("<unspecified>");
Andreas Gampefa8429b2015-04-07 18:34:42 -0700639 if (dex_location_checksum != nullptr) {
Brian Carlstrom0d6adac2014-02-05 17:39:16 -0800640 checksum = StringPrintf("0x%08x", *dex_location_checksum);
641 }
Brian Carlstrom756ee4e2013-10-03 15:46:12 -0700642 LOG(WARNING) << "Failed to find OatDexFile for DexFile " << dex_location
Calin Juravle4e1d5792014-07-15 23:56:47 +0100643 << " ( canonical path " << dex_canonical_location << ")"
Brian Carlstrom0d6adac2014-02-05 17:39:16 -0800644 << " with checksum " << checksum << " in OatFile " << GetLocation();
Brian Carlstrom756ee4e2013-10-03 15:46:12 -0700645 if (kIsDebugBuild) {
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100646 for (const OatDexFile* odf : oat_dex_files_storage_) {
Brian Carlstrom756ee4e2013-10-03 15:46:12 -0700647 LOG(WARNING) << "OatFile " << GetLocation()
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100648 << " contains OatDexFile " << odf->GetDexFileLocation()
649 << " (canonical path " << odf->GetCanonicalDexFileLocation() << ")"
650 << " with checksum 0x" << std::hex << odf->GetDexFileLocationChecksum();
Brian Carlstrom7571e8b2013-08-12 17:04:14 -0700651 }
Ian Rogers7fe2c692011-12-06 16:35:59 -0800652 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700653 }
Calin Juravle4e1d5792014-07-15 23:56:47 +0100654
Andreas Gampefa8429b2015-04-07 18:34:42 -0700655 return nullptr;
Brian Carlstromaded5f72011-10-07 17:15:04 -0700656}
657
Brian Carlstrome24fa612011-09-29 00:53:55 -0700658OatFile::OatDexFile::OatDexFile(const OatFile* oat_file,
Elliott Hughesaa6a5882012-01-13 19:39:16 -0800659 const std::string& dex_file_location,
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100660 const std::string& canonical_dex_file_location,
Brian Carlstrom5b332c82012-02-01 15:02:31 -0800661 uint32_t dex_file_location_checksum,
Ian Rogers13735952014-10-08 12:43:28 -0700662 const uint8_t* dex_file_pointer,
Vladimir Marko09d09432015-09-08 13:47:48 +0100663 const uint32_t* oat_class_offsets_pointer,
664 const uint8_t* dex_cache_arrays)
Brian Carlstrome24fa612011-09-29 00:53:55 -0700665 : oat_file_(oat_file),
666 dex_file_location_(dex_file_location),
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100667 canonical_dex_file_location_(canonical_dex_file_location),
Brian Carlstrom5b332c82012-02-01 15:02:31 -0800668 dex_file_location_checksum_(dex_file_location_checksum),
Brian Carlstrom89521892011-12-07 22:05:07 -0800669 dex_file_pointer_(dex_file_pointer),
Vladimir Marko09d09432015-09-08 13:47:48 +0100670 oat_class_offsets_pointer_(oat_class_offsets_pointer),
671 dex_cache_arrays_(dex_cache_arrays) {}
Brian Carlstrome24fa612011-09-29 00:53:55 -0700672
673OatFile::OatDexFile::~OatDexFile() {}
674
Ian Rogers05f28c62012-10-23 18:12:13 -0700675size_t OatFile::OatDexFile::FileSize() const {
676 return reinterpret_cast<const DexFile::Header*>(dex_file_pointer_)->file_size_;
677}
678
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700679std::unique_ptr<const DexFile> OatFile::OatDexFile::OpenDexFile(std::string* error_msg) const {
Ian Rogers05f28c62012-10-23 18:12:13 -0700680 return DexFile::Open(dex_file_pointer_, FileSize(), dex_file_location_,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700681 dex_file_location_checksum_, this, error_msg);
Brian Carlstrom89521892011-12-07 22:05:07 -0800682}
683
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700684uint32_t OatFile::OatDexFile::GetOatClassOffset(uint16_t class_def_index) const {
685 return oat_class_offsets_pointer_[class_def_index];
686}
687
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100688OatFile::OatClass OatFile::OatDexFile::GetOatClass(uint16_t class_def_index) const {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700689 uint32_t oat_class_offset = GetOatClassOffset(class_def_index);
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800690
Ian Rogers13735952014-10-08 12:43:28 -0700691 const uint8_t* oat_class_pointer = oat_file_->Begin() + oat_class_offset;
Brian Carlstrom7571e8b2013-08-12 17:04:14 -0700692 CHECK_LT(oat_class_pointer, oat_file_->End()) << oat_file_->GetLocation();
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800693
Ian Rogers13735952014-10-08 12:43:28 -0700694 const uint8_t* status_pointer = oat_class_pointer;
Brian Carlstromba150c32013-08-27 17:31:03 -0700695 CHECK_LT(status_pointer, oat_file_->End()) << oat_file_->GetLocation();
696 mirror::Class::Status status =
697 static_cast<mirror::Class::Status>(*reinterpret_cast<const int16_t*>(status_pointer));
698 CHECK_LT(status, mirror::Class::kStatusMax);
699
Ian Rogers13735952014-10-08 12:43:28 -0700700 const uint8_t* type_pointer = status_pointer + sizeof(uint16_t);
Brian Carlstromba150c32013-08-27 17:31:03 -0700701 CHECK_LT(type_pointer, oat_file_->End()) << oat_file_->GetLocation();
702 OatClassType type = static_cast<OatClassType>(*reinterpret_cast<const uint16_t*>(type_pointer));
703 CHECK_LT(type, kOatClassMax);
704
Ian Rogers13735952014-10-08 12:43:28 -0700705 const uint8_t* after_type_pointer = type_pointer + sizeof(int16_t);
Brian Carlstromcd937a92014-03-04 22:53:23 -0800706 CHECK_LE(after_type_pointer, oat_file_->End()) << oat_file_->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -0700707
Brian Carlstromcd937a92014-03-04 22:53:23 -0800708 uint32_t bitmap_size = 0;
Ian Rogers13735952014-10-08 12:43:28 -0700709 const uint8_t* bitmap_pointer = nullptr;
710 const uint8_t* methods_pointer = nullptr;
Ian Rogers97b52f82014-08-14 11:34:07 -0700711 if (type != kOatClassNoneCompiled) {
712 if (type == kOatClassSomeCompiled) {
713 bitmap_size = static_cast<uint32_t>(*reinterpret_cast<const uint32_t*>(after_type_pointer));
714 bitmap_pointer = after_type_pointer + sizeof(bitmap_size);
715 CHECK_LE(bitmap_pointer, oat_file_->End()) << oat_file_->GetLocation();
716 methods_pointer = bitmap_pointer + bitmap_size;
717 } else {
718 methods_pointer = after_type_pointer;
719 }
720 CHECK_LE(methods_pointer, oat_file_->End()) << oat_file_->GetLocation();
Brian Carlstromcd937a92014-03-04 22:53:23 -0800721 }
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800722
Richard Uhler07b3c232015-03-31 15:57:54 -0700723 return OatFile::OatClass(oat_file_,
724 status,
725 type,
726 bitmap_size,
727 reinterpret_cast<const uint32_t*>(bitmap_pointer),
728 reinterpret_cast<const OatMethodOffsets*>(methods_pointer));
Brian Carlstrome24fa612011-09-29 00:53:55 -0700729}
730
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800731OatFile::OatClass::OatClass(const OatFile* oat_file,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800732 mirror::Class::Status status,
Brian Carlstromba150c32013-08-27 17:31:03 -0700733 OatClassType type,
734 uint32_t bitmap_size,
735 const uint32_t* bitmap_pointer,
Brian Carlstrom0755ec52012-01-11 15:19:46 -0800736 const OatMethodOffsets* methods_pointer)
Brian Carlstromba150c32013-08-27 17:31:03 -0700737 : oat_file_(oat_file), status_(status), type_(type),
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100738 bitmap_(bitmap_pointer), methods_pointer_(methods_pointer) {
Brian Carlstromba150c32013-08-27 17:31:03 -0700739 switch (type_) {
740 case kOatClassAllCompiled: {
741 CHECK_EQ(0U, bitmap_size);
Brian Carlstromcd937a92014-03-04 22:53:23 -0800742 CHECK(bitmap_pointer == nullptr);
Ian Rogers97b52f82014-08-14 11:34:07 -0700743 CHECK(methods_pointer != nullptr);
Brian Carlstromba150c32013-08-27 17:31:03 -0700744 break;
745 }
746 case kOatClassSomeCompiled: {
747 CHECK_NE(0U, bitmap_size);
Brian Carlstromcd937a92014-03-04 22:53:23 -0800748 CHECK(bitmap_pointer != nullptr);
Ian Rogers97b52f82014-08-14 11:34:07 -0700749 CHECK(methods_pointer != nullptr);
Brian Carlstromba150c32013-08-27 17:31:03 -0700750 break;
751 }
752 case kOatClassNoneCompiled: {
753 CHECK_EQ(0U, bitmap_size);
Brian Carlstromcd937a92014-03-04 22:53:23 -0800754 CHECK(bitmap_pointer == nullptr);
Ian Rogers97b52f82014-08-14 11:34:07 -0700755 CHECK(methods_pointer_ == nullptr);
Brian Carlstromba150c32013-08-27 17:31:03 -0700756 break;
757 }
758 case kOatClassMax: {
759 LOG(FATAL) << "Invalid OatClassType " << type_;
760 break;
761 }
762 }
763}
Brian Carlstrome24fa612011-09-29 00:53:55 -0700764
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700765uint32_t OatFile::OatClass::GetOatMethodOffsetsOffset(uint32_t method_index) const {
766 const OatMethodOffsets* oat_method_offsets = GetOatMethodOffsets(method_index);
767 if (oat_method_offsets == nullptr) {
768 return 0u;
769 }
770 return reinterpret_cast<const uint8_t*>(oat_method_offsets) - oat_file_->Begin();
771}
772
773const OatMethodOffsets* OatFile::OatClass::GetOatMethodOffsets(uint32_t method_index) const {
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100774 // NOTE: We don't keep the number of methods and cannot do a bounds check for method_index.
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700775 if (methods_pointer_ == nullptr) {
Brian Carlstromba150c32013-08-27 17:31:03 -0700776 CHECK_EQ(kOatClassNoneCompiled, type_);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700777 return nullptr;
Brian Carlstromba150c32013-08-27 17:31:03 -0700778 }
779 size_t methods_pointer_index;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700780 if (bitmap_ == nullptr) {
Brian Carlstromba150c32013-08-27 17:31:03 -0700781 CHECK_EQ(kOatClassAllCompiled, type_);
782 methods_pointer_index = method_index;
783 } else {
784 CHECK_EQ(kOatClassSomeCompiled, type_);
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100785 if (!BitVector::IsBitSet(bitmap_, method_index)) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700786 return nullptr;
Brian Carlstromba150c32013-08-27 17:31:03 -0700787 }
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100788 size_t num_set_bits = BitVector::NumSetBits(bitmap_, method_index);
789 methods_pointer_index = num_set_bits;
Brian Carlstromba150c32013-08-27 17:31:03 -0700790 }
791 const OatMethodOffsets& oat_method_offsets = methods_pointer_[methods_pointer_index];
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700792 return &oat_method_offsets;
793}
794
795const OatFile::OatMethod OatFile::OatClass::GetOatMethod(uint32_t method_index) const {
796 const OatMethodOffsets* oat_method_offsets = GetOatMethodOffsets(method_index);
797 if (oat_method_offsets == nullptr) {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800798 return OatMethod(nullptr, 0);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -0700799 }
800 if (oat_file_->IsExecutable() ||
801 Runtime::Current() == nullptr || // This case applies for oatdump.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800802 Runtime::Current()->IsAotCompiler()) {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800803 return OatMethod(oat_file_->Begin(), oat_method_offsets->code_offset_);
Alex Light9dcc4572014-08-14 14:16:26 -0700804 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800805 // We aren't allowed to use the compiled code. We just force it down the interpreted / jit
806 // version.
807 return OatMethod(oat_file_->Begin(), 0);
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700808}
809
Mathieu Chartiere401d142015-04-22 13:56:20 -0700810void OatFile::OatMethod::LinkMethod(ArtMethod* method) const {
Andreas Gampefa8429b2015-04-07 18:34:42 -0700811 CHECK(method != nullptr);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800812 method->SetEntryPointFromQuickCompiledCode(GetQuickCode());
Brian Carlstromae826982011-11-09 01:33:42 -0800813}
814
Andreas Gampe7ba64962014-10-23 11:37:40 -0700815bool OatFile::IsPic() const {
Igor Murashkin46774762014-10-22 11:37:02 -0700816 return GetOatHeader().IsPic();
Andreas Gampe7ba64962014-10-23 11:37:40 -0700817 // TODO: Check against oat_patches. b/18144996
818}
819
Sebastien Hertz0de11332015-05-13 12:14:05 +0200820bool OatFile::IsDebuggable() const {
821 return GetOatHeader().IsDebuggable();
822}
823
Andreas Gampe7848da42015-04-09 11:15:04 -0700824static constexpr char kDexClassPathEncodingSeparator = '*';
825
826std::string OatFile::EncodeDexFileDependencies(const std::vector<const DexFile*>& dex_files) {
827 std::ostringstream out;
828
829 for (const DexFile* dex_file : dex_files) {
830 out << dex_file->GetLocation().c_str();
831 out << kDexClassPathEncodingSeparator;
832 out << dex_file->GetLocationChecksum();
833 out << kDexClassPathEncodingSeparator;
834 }
835
836 return out.str();
837}
838
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700839bool OatFile::CheckStaticDexFileDependencies(const char* dex_dependencies, std::string* msg) {
Andreas Gampe7848da42015-04-09 11:15:04 -0700840 if (dex_dependencies == nullptr || dex_dependencies[0] == 0) {
841 // No dependencies.
842 return true;
843 }
844
845 // Assumption: this is not performance-critical. So it's OK to do this with a std::string and
846 // Split() instead of manual parsing of the combined char*.
847 std::vector<std::string> split;
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700848 Split(dex_dependencies, kDexClassPathEncodingSeparator, &split);
Andreas Gampe7848da42015-04-09 11:15:04 -0700849 if (split.size() % 2 != 0) {
850 // Expected pairs of location and checksum.
851 *msg = StringPrintf("Odd number of elements in dependency list %s", dex_dependencies);
852 return false;
853 }
854
855 for (auto it = split.begin(), end = split.end(); it != end; it += 2) {
856 std::string& location = *it;
857 std::string& checksum = *(it + 1);
858 int64_t converted = strtoll(checksum.c_str(), nullptr, 10);
859 if (converted == 0) {
860 // Conversion error.
861 *msg = StringPrintf("Conversion error for %s", checksum.c_str());
862 return false;
863 }
864
865 uint32_t dex_checksum;
866 std::string error_msg;
867 if (DexFile::GetChecksum(DexFile::GetDexCanonicalLocation(location.c_str()).c_str(),
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700868 &dex_checksum,
869 &error_msg)) {
Andreas Gampe7848da42015-04-09 11:15:04 -0700870 if (converted != dex_checksum) {
871 *msg = StringPrintf("Checksums don't match for %s: %" PRId64 " vs %u",
872 location.c_str(), converted, dex_checksum);
873 return false;
874 }
875 } else {
876 // Problem retrieving checksum.
877 // TODO: odex files?
878 *msg = StringPrintf("Could not retrieve checksum for %s: %s", location.c_str(),
879 error_msg.c_str());
880 return false;
881 }
882 }
883
884 return true;
885}
886
887bool OatFile::GetDexLocationsFromDependencies(const char* dex_dependencies,
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700888 std::vector<std::string>* locations) {
889 DCHECK(locations != nullptr);
Andreas Gampe7848da42015-04-09 11:15:04 -0700890 if (dex_dependencies == nullptr || dex_dependencies[0] == 0) {
891 return true;
892 }
893
894 // Assumption: this is not performance-critical. So it's OK to do this with a std::string and
895 // Split() instead of manual parsing of the combined char*.
896 std::vector<std::string> split;
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700897 Split(dex_dependencies, kDexClassPathEncodingSeparator, &split);
Andreas Gampe7848da42015-04-09 11:15:04 -0700898 if (split.size() % 2 != 0) {
899 // Expected pairs of location and checksum.
900 return false;
901 }
902
903 for (auto it = split.begin(), end = split.end(); it != end; it += 2) {
904 locations->push_back(*it);
905 }
906
907 return true;
908}
909
Brian Carlstrome24fa612011-09-29 00:53:55 -0700910} // namespace art