blob: a816522b9ecc0a35fdd925da0b0246cdd78ae8e3 [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>
Vladimir Marko06d7aaa2015-10-16 11:23:41 +010021#include <type_traits>
Andreas Gampedaab38c2014-09-12 18:38:24 -070022#include <unistd.h>
Brian Carlstrom700c8d32012-11-05 10:42:02 -080023
Andreas Gampe7848da42015-04-09 11:15:04 -070024#include <cstdlib>
David Srbecky1baabf02015-06-16 17:12:34 +000025#ifndef __APPLE__
26#include <link.h> // for dl_iterate_phdr.
27#endif
Richard Uhlere5fed032015-03-18 08:21:11 -070028#include <sstream>
29
Andreas Gampefa8429b2015-04-07 18:34:42 -070030// dlopen_ext support from bionic.
Bilyan Borisovbb661c02016-04-04 16:27:32 +010031#ifdef ART_TARGET_ANDROID
Andreas Gampefa8429b2015-04-07 18:34:42 -070032#include "android/dlext.h"
33#endif
34
Andreas Gampe46ee31b2016-12-14 10:11:49 -080035#include "android-base/stringprintf.h"
36
Andreas Gampec6ea7d02017-02-01 16:46:28 -080037#include "art_method.h"
Brian Carlstromba150c32013-08-27 17:31:03 -070038#include "base/bit_vector.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070039#include "base/enums.h"
Elliott Hughes1aa246d2012-12-13 09:29:36 -080040#include "base/stl_util.h"
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -080041#include "base/systrace.h"
Elliott Hughes76160052012-12-12 16:31:20 -080042#include "base/unix_file/fd_file.h"
Andreas Gampea5b09a62016-11-17 15:21:22 -080043#include "dex_file_types.h"
Brian Carlstrom700c8d32012-11-05 10:42:02 -080044#include "elf_file.h"
Alex Light84d76052014-08-22 17:49:35 -070045#include "elf_utils.h"
Vladimir Markoaad75c62016-10-03 08:46:48 +000046#include "gc_root.h"
Brian Carlstrom700c8d32012-11-05 10:42:02 -080047#include "oat.h"
David Srbecky1baabf02015-06-16 17:12:34 +000048#include "mem_map.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080049#include "mirror/class.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070050#include "mirror/object-inl.h"
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +010051#include "oat_file-inl.h"
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -070052#include "oat_file_manager.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070053#include "os.h"
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070054#include "runtime.h"
Vladimir Marko9bdf1082016-01-21 12:15:52 +000055#include "type_lookup_table.h"
David Sehr9aa352e2016-09-15 18:13:52 -070056#include "utf-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080057#include "utils.h"
Vladimir Marko09d09432015-09-08 13:47:48 +010058#include "utils/dex_cache_arrays_layout-inl.h"
Vladimir Marko97d7e1c2016-10-04 14:44:28 +010059#include "vdex_file.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070060
61namespace art {
62
Andreas Gampe46ee31b2016-12-14 10:11:49 -080063using android::base::StringPrintf;
64
Andreas Gampe049cff02015-12-01 23:27:12 -080065// Whether OatFile::Open will try dlopen. Fallback is our own ELF loader.
David Srbecky1baabf02015-06-16 17:12:34 +000066static constexpr bool kUseDlopen = true;
Andreas Gampefa8429b2015-04-07 18:34:42 -070067
Andreas Gampe049cff02015-12-01 23:27:12 -080068// Whether OatFile::Open will try dlopen on the host. On the host we're not linking against
Andreas Gampefa8429b2015-04-07 18:34:42 -070069// bionic, so cannot take advantage of the support for changed semantics (loading the same soname
70// multiple times). However, if/when we switch the above, we likely want to switch this, too,
71// to get test coverage of the code paths.
David Srbecky1baabf02015-06-16 17:12:34 +000072static constexpr bool kUseDlopenOnHost = true;
Andreas Gampefa8429b2015-04-07 18:34:42 -070073
74// For debugging, Open will print DlOpen error message if set to true.
75static constexpr bool kPrintDlOpenErrorMessage = false;
76
Andreas Gampe049cff02015-12-01 23:27:12 -080077// Note for OatFileBase and descendents:
78//
79// These are used in OatFile::Open to try all our loaders.
80//
81// The process is simple:
82//
83// 1) Allocate an instance through the standard constructor (location, executable)
84// 2) Load() to try to open the file.
85// 3) ComputeFields() to populate the OatFile fields like begin_, using FindDynamicSymbolAddress.
86// 4) PreSetup() for any steps that should be done before the final setup.
87// 5) Setup() to complete the procedure.
Richard Uhlere5fed032015-03-18 08:21:11 -070088
Andreas Gampe049cff02015-12-01 23:27:12 -080089class OatFileBase : public OatFile {
90 public:
91 virtual ~OatFileBase() {}
Richard Uhlere5fed032015-03-18 08:21:11 -070092
Andreas Gampe049cff02015-12-01 23:27:12 -080093 template <typename kOatFileBaseSubType>
David Brazdil7b49e6c2016-09-01 11:06:18 +010094 static OatFileBase* OpenOatFile(const std::string& vdex_filename,
95 const std::string& elf_filename,
Alex Light84d76052014-08-22 17:49:35 -070096 const std::string& location,
Andreas Gampe049cff02015-12-01 23:27:12 -080097 uint8_t* requested_base,
98 uint8_t* oat_file_begin,
99 bool writable,
100 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800101 bool low_4gb,
Richard Uhlere5fed032015-03-18 08:21:11 -0700102 const char* abs_dex_location,
Andreas Gampe049cff02015-12-01 23:27:12 -0800103 std::string* error_msg);
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800104
Andreas Gampe049cff02015-12-01 23:27:12 -0800105 protected:
106 OatFileBase(const std::string& filename, bool executable) : OatFile(filename, executable) {}
Andreas Gampefa8429b2015-04-07 18:34:42 -0700107
Andreas Gampe049cff02015-12-01 23:27:12 -0800108 virtual const uint8_t* FindDynamicSymbolAddress(const std::string& symbol_name,
109 std::string* error_msg) const = 0;
110
Andreas Gampe4075f832016-05-18 13:09:54 -0700111 virtual void PreLoad() = 0;
112
David Brazdil7b49e6c2016-09-01 11:06:18 +0100113 bool LoadVdex(const std::string& vdex_filename,
114 bool writable,
115 bool low_4gb,
116 std::string* error_msg);
117
Andreas Gampe049cff02015-12-01 23:27:12 -0800118 virtual bool Load(const std::string& elf_filename,
119 uint8_t* oat_file_begin,
120 bool writable,
121 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800122 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800123 std::string* error_msg) = 0;
124
125 bool ComputeFields(uint8_t* requested_base,
126 const std::string& file_path,
127 std::string* error_msg);
128
129 virtual void PreSetup(const std::string& elf_filename) = 0;
130
131 bool Setup(const char* abs_dex_location, std::string* error_msg);
132
133 // Setters exposed for ElfOatFile.
134
135 void SetBegin(const uint8_t* begin) {
136 begin_ = begin;
Andreas Gampefa8429b2015-04-07 18:34:42 -0700137 }
138
Andreas Gampe049cff02015-12-01 23:27:12 -0800139 void SetEnd(const uint8_t* end) {
140 end_ = end;
141 }
142
David Brazdilc93b3be2016-09-12 18:49:58 +0100143 void SetVdex(VdexFile* vdex) {
144 vdex_.reset(vdex);
145 }
146
Andreas Gampe049cff02015-12-01 23:27:12 -0800147 private:
148 DISALLOW_COPY_AND_ASSIGN(OatFileBase);
149};
150
151template <typename kOatFileBaseSubType>
David Brazdil7b49e6c2016-09-01 11:06:18 +0100152OatFileBase* OatFileBase::OpenOatFile(const std::string& vdex_filename,
153 const std::string& elf_filename,
Andreas Gampe049cff02015-12-01 23:27:12 -0800154 const std::string& location,
155 uint8_t* requested_base,
156 uint8_t* oat_file_begin,
157 bool writable,
158 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800159 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800160 const char* abs_dex_location,
161 std::string* error_msg) {
162 std::unique_ptr<OatFileBase> ret(new kOatFileBaseSubType(location, executable));
Andreas Gampe4075f832016-05-18 13:09:54 -0700163
164 ret->PreLoad();
165
David Brazdil7b49e6c2016-09-01 11:06:18 +0100166 if (kIsVdexEnabled && !ret->LoadVdex(vdex_filename, writable, low_4gb, error_msg)) {
167 return nullptr;
168 }
169
Andreas Gampe049cff02015-12-01 23:27:12 -0800170 if (!ret->Load(elf_filename,
171 oat_file_begin,
172 writable,
173 executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800174 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800175 error_msg)) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800176 return nullptr;
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800177 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800178
Andreas Gampe049cff02015-12-01 23:27:12 -0800179 if (!ret->ComputeFields(requested_base, elf_filename, error_msg)) {
180 return nullptr;
181 }
Andreas Gampe4075f832016-05-18 13:09:54 -0700182
Andreas Gampe049cff02015-12-01 23:27:12 -0800183 ret->PreSetup(elf_filename);
184
185 if (!ret->Setup(abs_dex_location, error_msg)) {
186 return nullptr;
187 }
188
Dave Allison69dfe512014-07-11 17:11:58 +0000189 return ret.release();
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800190}
191
David Brazdil7b49e6c2016-09-01 11:06:18 +0100192bool OatFileBase::LoadVdex(const std::string& vdex_filename,
193 bool writable,
194 bool low_4gb,
195 std::string* error_msg) {
Nicolas Geoffray4e868fa2017-04-21 17:16:44 +0100196 vdex_ = VdexFile::Open(vdex_filename, writable, low_4gb, /* unquicken*/ false, error_msg);
David Brazdil7b49e6c2016-09-01 11:06:18 +0100197 if (vdex_.get() == nullptr) {
198 *error_msg = StringPrintf("Failed to load vdex file '%s' %s",
199 vdex_filename.c_str(),
200 error_msg->c_str());
201 return false;
202 }
203 return true;
204}
205
Andreas Gampe049cff02015-12-01 23:27:12 -0800206bool OatFileBase::ComputeFields(uint8_t* requested_base,
207 const std::string& file_path,
208 std::string* error_msg) {
209 std::string symbol_error_msg;
210 begin_ = FindDynamicSymbolAddress("oatdata", &symbol_error_msg);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700211 if (begin_ == nullptr) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800212 *error_msg = StringPrintf("Failed to find oatdata symbol in '%s' %s",
213 file_path.c_str(),
214 symbol_error_msg.c_str());
Andreas Gampefa8429b2015-04-07 18:34:42 -0700215 return false;
216 }
217 if (requested_base != nullptr && begin_ != requested_base) {
Nicolas Geoffrayf97cf2a2016-03-09 15:36:23 +0000218 // Host can fail this check. Do not dump there to avoid polluting the output.
Andreas Gampe7ec09042016-04-01 17:20:49 -0700219 if (kIsTargetBuild && (kIsDebugBuild || VLOG_IS_ON(oat))) {
Nicolas Geoffrayf97cf2a2016-03-09 15:36:23 +0000220 PrintFileToLog("/proc/self/maps", LogSeverity::WARNING);
221 }
Andreas Gampefa8429b2015-04-07 18:34:42 -0700222 *error_msg = StringPrintf("Failed to find oatdata symbol at expected address: "
Andreas Gampe049cff02015-12-01 23:27:12 -0800223 "oatdata=%p != expected=%p. See process maps in the log.",
224 begin_, requested_base);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700225 return false;
226 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800227 end_ = FindDynamicSymbolAddress("oatlastword", &symbol_error_msg);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700228 if (end_ == nullptr) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800229 *error_msg = StringPrintf("Failed to find oatlastword symbol in '%s' %s",
230 file_path.c_str(),
231 symbol_error_msg.c_str());
Andreas Gampefa8429b2015-04-07 18:34:42 -0700232 return false;
233 }
234 // Readjust to be non-inclusive upper bound.
235 end_ += sizeof(uint32_t);
236
Andreas Gampe049cff02015-12-01 23:27:12 -0800237 bss_begin_ = const_cast<uint8_t*>(FindDynamicSymbolAddress("oatbss", &symbol_error_msg));
Andreas Gampefa8429b2015-04-07 18:34:42 -0700238 if (bss_begin_ == nullptr) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800239 // No .bss section.
Andreas Gampefa8429b2015-04-07 18:34:42 -0700240 bss_end_ = nullptr;
Andreas Gampefa8429b2015-04-07 18:34:42 -0700241 } else {
Andreas Gampe049cff02015-12-01 23:27:12 -0800242 bss_end_ = const_cast<uint8_t*>(FindDynamicSymbolAddress("oatbsslastword", &symbol_error_msg));
Andreas Gampefa8429b2015-04-07 18:34:42 -0700243 if (bss_end_ == nullptr) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800244 *error_msg = StringPrintf("Failed to find oatbasslastword symbol in '%s'", file_path.c_str());
Andreas Gampefa8429b2015-04-07 18:34:42 -0700245 return false;
246 }
247 // Readjust to be non-inclusive upper bound.
248 bss_end_ += sizeof(uint32_t);
Vladimir Markoaad75c62016-10-03 08:46:48 +0000249 // Find bss roots if present.
250 bss_roots_ = const_cast<uint8_t*>(FindDynamicSymbolAddress("oatbssroots", &symbol_error_msg));
Andreas Gampefa8429b2015-04-07 18:34:42 -0700251 }
252
Andreas Gampe049cff02015-12-01 23:27:12 -0800253 return true;
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800254}
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -0800255
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100256// Read an unaligned entry from the OatDexFile data in OatFile and advance the read
257// position by the number of bytes read, i.e. sizeof(T).
258// Return true on success, false if the read would go beyond the end of the OatFile.
259template <typename T>
Vladimir Marko722fa982015-10-19 18:18:27 +0100260inline static bool ReadOatDexFileData(const OatFile& oat_file,
261 /*inout*/const uint8_t** oat,
262 /*out*/T* value) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100263 DCHECK(oat != nullptr);
264 DCHECK(value != nullptr);
265 DCHECK_LE(*oat, oat_file.End());
266 if (UNLIKELY(static_cast<size_t>(oat_file.End() - *oat) < sizeof(T))) {
267 return false;
268 }
269 static_assert(std::is_trivial<T>::value, "T must be a trivial type");
270 typedef __attribute__((__aligned__(1))) T unaligned_type;
271 *value = *reinterpret_cast<const unaligned_type*>(*oat);
272 *oat += sizeof(T);
273 return true;
274}
275
Orion Hodsonc069a302017-01-18 09:23:12 +0000276static bool FindDexFileMapItem(const uint8_t* dex_begin,
277 const uint8_t* dex_end,
278 DexFile::MapItemType map_item_type,
279 const DexFile::MapItem** result_item) {
280 *result_item = nullptr;
281
282 const DexFile::Header* header =
283 BoundsCheckedCast<const DexFile::Header*>(dex_begin, dex_begin, dex_end);
284 if (nullptr == header) return false;
285
286 if (!DexFile::IsMagicValid(header->magic_)) return true; // Not a dex file, not an error.
287
288 const DexFile::MapList* map_list =
289 BoundsCheckedCast<const DexFile::MapList*>(dex_begin + header->map_off_, dex_begin, dex_end);
290 if (nullptr == map_list) return false;
291
292 const DexFile::MapItem* map_item = map_list->list_;
293 size_t count = map_list->size_;
294 while (count--) {
295 if (map_item->type_ == static_cast<uint16_t>(map_item_type)) {
296 *result_item = map_item;
297 break;
298 }
299 map_item = BoundsCheckedCast<const DexFile::MapItem*>(map_item + 1, dex_begin, dex_end);
300 if (nullptr == map_item) return false;
301 }
302
303 return true;
304}
305
Andreas Gampe049cff02015-12-01 23:27:12 -0800306bool OatFileBase::Setup(const char* abs_dex_location, std::string* error_msg) {
Brian Carlstromf1b30302013-03-28 10:35:32 -0700307 if (!GetOatHeader().IsValid()) {
Andreas Gampe2bcb3b22014-12-12 15:25:14 -0800308 std::string cause = GetOatHeader().GetValidationErrorMessage();
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100309 *error_msg = StringPrintf("Invalid oat header for '%s': %s",
310 GetLocation().c_str(),
Andreas Gampe2bcb3b22014-12-12 15:25:14 -0800311 cause.c_str());
Brian Carlstromf1b30302013-03-28 10:35:32 -0700312 return false;
313 }
Ian Rogers13735952014-10-08 12:43:28 -0700314 const uint8_t* oat = Begin();
Brian Carlstrome24fa612011-09-29 00:53:55 -0700315 oat += sizeof(OatHeader);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700316 if (oat > End()) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700317 *error_msg = StringPrintf("In oat file '%s' found truncated OatHeader", GetLocation().c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700318 return false;
319 }
Brian Carlstrom81f3ca12012-03-17 00:27:35 -0700320
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700321 oat += GetOatHeader().GetKeyValueStoreSize();
Brian Carlstromfb331d72013-07-25 22:00:16 -0700322 if (oat > End()) {
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700323 *error_msg = StringPrintf("In oat file '%s' found truncated variable-size data: "
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100324 "%p + %zu + %u <= %p",
325 GetLocation().c_str(),
326 Begin(),
327 sizeof(OatHeader),
328 GetOatHeader().GetKeyValueStoreSize(),
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700329 End());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700330 return false;
331 }
332
Vladimir Markoaad75c62016-10-03 08:46:48 +0000333 if (!IsAligned<alignof(GcRoot<mirror::Object>)>(bss_begin_) ||
334 !IsAligned<alignof(GcRoot<mirror::Object>)>(bss_roots_) ||
335 !IsAligned<alignof(GcRoot<mirror::Object>)>(bss_end_)) {
336 *error_msg = StringPrintf("In oat file '%s' found unaligned bss symbol(s): "
337 "begin = %p, roots = %p, end = %p",
338 GetLocation().c_str(),
339 bss_begin_,
340 bss_roots_,
341 bss_end_);
342 return false;
343 }
344
345 if (bss_roots_ != nullptr && (bss_roots_ < bss_begin_ || bss_roots_ > bss_end_)) {
346 *error_msg = StringPrintf("In oat file '%s' found bss roots outside .bss: "
347 "%p is outside range [%p, %p]",
348 GetLocation().c_str(),
349 bss_roots_,
350 bss_begin_,
351 bss_end_);
352 return false;
353 }
354
Andreas Gampe542451c2016-07-26 09:02:02 -0700355 PointerSize pointer_size = GetInstructionSetPointerSize(GetOatHeader().GetInstructionSet());
Vladimir Marko1998cd02017-01-13 13:02:58 +0000356 uint8_t* dex_cache_arrays = (bss_begin_ == bss_roots_) ? nullptr : bss_begin_;
357 uint8_t* dex_cache_arrays_end =
358 (bss_begin_ == bss_roots_) ? nullptr : (bss_roots_ != nullptr) ? bss_roots_ : bss_end_;
359 DCHECK_EQ(dex_cache_arrays != nullptr, dex_cache_arrays_end != nullptr);
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100360 uint32_t dex_file_count = GetOatHeader().GetDexFileCount();
361 oat_dex_files_storage_.reserve(dex_file_count);
362 for (size_t i = 0; i < dex_file_count; i++) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100363 uint32_t dex_file_location_size;
364 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &dex_file_location_size))) {
365 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu truncated after dex file "
366 "location size",
367 GetLocation().c_str(),
368 i);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700369 return false;
370 }
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100371 if (UNLIKELY(dex_file_location_size == 0U)) {
372 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu with empty location name",
373 GetLocation().c_str(),
374 i);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700375 return false;
376 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000377 if (UNLIKELY(static_cast<size_t>(End() - oat) < dex_file_location_size)) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100378 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu with truncated dex file "
379 "location",
380 GetLocation().c_str(),
381 i);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700382 return false;
383 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000384 const char* dex_file_location_data = reinterpret_cast<const char*>(oat);
385 oat += dex_file_location_size;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700386
Richard Uhlere5fed032015-03-18 08:21:11 -0700387 std::string dex_file_location = ResolveRelativeEncodedDexLocation(
388 abs_dex_location,
389 std::string(dex_file_location_data, dex_file_location_size));
Brian Carlstrome24fa612011-09-29 00:53:55 -0700390
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100391 uint32_t dex_file_checksum;
392 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &dex_file_checksum))) {
393 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' truncated after "
394 "dex file checksum",
395 GetLocation().c_str(),
396 i,
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700397 dex_file_location.c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700398 return false;
399 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700400
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100401 uint32_t dex_file_offset;
402 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &dex_file_offset))) {
403 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' truncated "
404 "after dex file offsets",
405 GetLocation().c_str(),
406 i,
407 dex_file_location.c_str());
408 return false;
409 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700410 if (UNLIKELY(dex_file_offset == 0U)) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100411 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with zero dex "
412 "file offset",
413 GetLocation().c_str(),
414 i,
415 dex_file_location.c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700416 return false;
417 }
David Brazdil7b49e6c2016-09-01 11:06:18 +0100418 if (UNLIKELY(dex_file_offset > DexSize())) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100419 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with dex file "
420 "offset %u > %zu",
421 GetLocation().c_str(),
422 i,
423 dex_file_location.c_str(),
424 dex_file_offset,
David Brazdil7b49e6c2016-09-01 11:06:18 +0100425 DexSize());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700426 return false;
427 }
David Brazdil7b49e6c2016-09-01 11:06:18 +0100428 if (UNLIKELY(DexSize() - dex_file_offset < sizeof(DexFile::Header))) {
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000429 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with dex file "
430 "offset %u of %zu but the size of dex file header is %zu",
431 GetLocation().c_str(),
432 i,
433 dex_file_location.c_str(),
434 dex_file_offset,
David Brazdil7b49e6c2016-09-01 11:06:18 +0100435 DexSize(),
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000436 sizeof(DexFile::Header));
437 return false;
438 }
Brian Carlstrom89521892011-12-07 22:05:07 -0800439
David Brazdil7b49e6c2016-09-01 11:06:18 +0100440 const uint8_t* dex_file_pointer = DexBegin() + dex_file_offset;
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700441 if (UNLIKELY(!DexFile::IsMagicValid(dex_file_pointer))) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100442 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with invalid "
443 "dex file magic '%s'",
444 GetLocation().c_str(),
445 i,
446 dex_file_location.c_str(),
447 dex_file_pointer);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700448 return false;
449 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700450 if (UNLIKELY(!DexFile::IsVersionValid(dex_file_pointer))) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100451 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with invalid "
452 "dex file version '%s'",
453 GetLocation().c_str(),
454 i,
455 dex_file_location.c_str(),
456 dex_file_pointer);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700457 return false;
458 }
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -0800459 const DexFile::Header* header = reinterpret_cast<const DexFile::Header*>(dex_file_pointer);
David Brazdil7b49e6c2016-09-01 11:06:18 +0100460 if (DexSize() - dex_file_offset < header->file_size_) {
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000461 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with dex file "
462 "offset %u and size %u truncated at %zu",
463 GetLocation().c_str(),
464 i,
465 dex_file_location.c_str(),
466 dex_file_offset,
467 header->file_size_,
David Brazdil7b49e6c2016-09-01 11:06:18 +0100468 DexSize());
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000469 return false;
470 }
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300471
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000472 uint32_t class_offsets_offset;
473 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &class_offsets_offset))) {
474 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' truncated "
475 "after class offsets offset",
476 GetLocation().c_str(),
477 i,
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300478 dex_file_location.c_str());
479 return false;
480 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000481 if (UNLIKELY(class_offsets_offset > Size()) ||
482 UNLIKELY((Size() - class_offsets_offset) / sizeof(uint32_t) < header->class_defs_size_)) {
483 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with truncated "
484 "class offsets, offset %u of %zu, class defs %u",
485 GetLocation().c_str(),
486 i,
487 dex_file_location.c_str(),
488 class_offsets_offset,
489 Size(),
490 header->class_defs_size_);
491 return false;
492 }
493 if (UNLIKELY(!IsAligned<alignof(uint32_t)>(class_offsets_offset))) {
494 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with unaligned "
495 "class offsets, offset %u",
496 GetLocation().c_str(),
497 i,
498 dex_file_location.c_str(),
499 class_offsets_offset);
500 return false;
501 }
502 const uint32_t* class_offsets_pointer =
503 reinterpret_cast<const uint32_t*>(Begin() + class_offsets_offset);
504
505 uint32_t lookup_table_offset;
506 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &lookup_table_offset))) {
507 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd for '%s' truncated "
508 "after lookup table offset",
509 GetLocation().c_str(),
510 i,
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300511 dex_file_location.c_str());
512 return false;
513 }
514 const uint8_t* lookup_table_data = lookup_table_offset != 0u
515 ? Begin() + lookup_table_offset
516 : nullptr;
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000517 if (lookup_table_offset != 0u &&
518 (UNLIKELY(lookup_table_offset > Size()) ||
519 UNLIKELY(Size() - lookup_table_offset <
520 TypeLookupTable::RawDataLength(header->class_defs_size_)))) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100521 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with truncated "
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000522 "type lookup table, offset %u of %zu, class defs %u",
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100523 GetLocation().c_str(),
524 i,
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000525 dex_file_location.c_str(),
526 lookup_table_offset,
527 Size(),
528 header->class_defs_size_);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700529 return false;
530 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700531
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100532 uint8_t* current_dex_cache_arrays = nullptr;
Vladimir Marko09d09432015-09-08 13:47:48 +0100533 if (dex_cache_arrays != nullptr) {
Orion Hodsonc069a302017-01-18 09:23:12 +0000534 // All DexCache types except for CallSite have their instance counts in the
535 // DexFile header. For CallSites, we need to read the info from the MapList.
536 const DexFile::MapItem* call_sites_item = nullptr;
537 if (!FindDexFileMapItem(DexBegin(),
538 DexEnd(),
539 DexFile::MapItemType::kDexTypeCallSiteIdItem,
540 &call_sites_item)) {
541 *error_msg = StringPrintf("In oat file '%s' could not read data from truncated DexFile map",
542 GetLocation().c_str());
543 return false;
544 }
545 size_t num_call_sites = call_sites_item == nullptr ? 0 : call_sites_item->size_;
546 DexCacheArraysLayout layout(pointer_size, *header, num_call_sites);
Vladimir Marko09d09432015-09-08 13:47:48 +0100547 if (layout.Size() != 0u) {
Vladimir Markoaad75c62016-10-03 08:46:48 +0000548 if (static_cast<size_t>(dex_cache_arrays_end - dex_cache_arrays) < layout.Size()) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100549 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with "
550 "truncated dex cache arrays, %zu < %zu.",
551 GetLocation().c_str(),
552 i,
553 dex_file_location.c_str(),
Vladimir Markoaad75c62016-10-03 08:46:48 +0000554 static_cast<size_t>(dex_cache_arrays_end - dex_cache_arrays),
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100555 layout.Size());
Vladimir Marko09d09432015-09-08 13:47:48 +0100556 return false;
557 }
558 current_dex_cache_arrays = dex_cache_arrays;
559 dex_cache_arrays += layout.Size();
560 }
561 }
562
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100563 std::string canonical_location = DexFile::GetDexCanonicalLocation(dex_file_location.c_str());
564
565 // Create the OatDexFile and add it to the owning container.
Vladimir Marko539690a2014-06-05 18:36:42 +0100566 OatDexFile* oat_dex_file = new OatDexFile(this,
567 dex_file_location,
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100568 canonical_location,
Vladimir Marko539690a2014-06-05 18:36:42 +0100569 dex_file_checksum,
570 dex_file_pointer,
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300571 lookup_table_data,
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000572 class_offsets_pointer,
Vladimir Marko09d09432015-09-08 13:47:48 +0100573 current_dex_cache_arrays);
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100574 oat_dex_files_storage_.push_back(oat_dex_file);
575
576 // Add the location and canonical location (if different) to the oat_dex_files_ table.
Vladimir Marko3f5838d2014-08-07 18:07:18 +0100577 StringPiece key(oat_dex_file->GetDexFileLocation());
Vladimir Marko539690a2014-06-05 18:36:42 +0100578 oat_dex_files_.Put(key, oat_dex_file);
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100579 if (canonical_location != dex_file_location) {
580 StringPiece canonical_key(oat_dex_file->GetCanonicalDexFileLocation());
581 oat_dex_files_.Put(canonical_key, oat_dex_file);
582 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700583 }
Vladimir Marko09d09432015-09-08 13:47:48 +0100584
Vladimir Markoaad75c62016-10-03 08:46:48 +0000585 if (dex_cache_arrays != dex_cache_arrays_end) {
Vladimir Marko09d09432015-09-08 13:47:48 +0100586 // We expect the bss section to be either empty (dex_cache_arrays and bss_end_
Vladimir Markoaad75c62016-10-03 08:46:48 +0000587 // both null) or contain just the dex cache arrays and optionally some GC roots.
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100588 *error_msg = StringPrintf("In oat file '%s' found unexpected bss size bigger by %zu bytes.",
Vladimir Marko09d09432015-09-08 13:47:48 +0100589 GetLocation().c_str(),
590 static_cast<size_t>(bss_end_ - dex_cache_arrays));
591 return false;
592 }
Brian Carlstromf1b30302013-03-28 10:35:32 -0700593 return true;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700594}
595
Andreas Gampe049cff02015-12-01 23:27:12 -0800596////////////////////////
597// OatFile via dlopen //
598////////////////////////
599
Andreas Gampe049cff02015-12-01 23:27:12 -0800600class DlOpenOatFile FINAL : public OatFileBase {
601 public:
602 DlOpenOatFile(const std::string& filename, bool executable)
603 : OatFileBase(filename, executable),
604 dlopen_handle_(nullptr),
Richard Uhlera206c742016-05-24 15:04:22 -0700605 shared_objects_before_(0) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800606 }
607
608 ~DlOpenOatFile() {
609 if (dlopen_handle_ != nullptr) {
Richard Uhlera206c742016-05-24 15:04:22 -0700610 if (!kIsTargetBuild) {
611 MutexLock mu(Thread::Current(), *Locks::host_dlopen_handles_lock_);
612 host_dlopen_handles_.erase(dlopen_handle_);
Mathieu Chartierc7d3f4b2016-06-01 10:48:19 -0700613 dlclose(dlopen_handle_);
614 } else {
615 dlclose(dlopen_handle_);
Richard Uhlera206c742016-05-24 15:04:22 -0700616 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800617 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800618 }
619
620 protected:
621 const uint8_t* FindDynamicSymbolAddress(const std::string& symbol_name,
622 std::string* error_msg) const OVERRIDE {
623 const uint8_t* ptr =
624 reinterpret_cast<const uint8_t*>(dlsym(dlopen_handle_, symbol_name.c_str()));
625 if (ptr == nullptr) {
626 *error_msg = dlerror();
627 }
628 return ptr;
629 }
630
Andreas Gampe4075f832016-05-18 13:09:54 -0700631 void PreLoad() OVERRIDE;
632
Andreas Gampe049cff02015-12-01 23:27:12 -0800633 bool Load(const std::string& elf_filename,
634 uint8_t* oat_file_begin,
635 bool writable,
636 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800637 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800638 std::string* error_msg) OVERRIDE;
639
640 // Ask the linker where it mmaped the file and notify our mmap wrapper of the regions.
641 void PreSetup(const std::string& elf_filename) OVERRIDE;
642
643 private:
644 bool Dlopen(const std::string& elf_filename,
645 uint8_t* oat_file_begin,
646 std::string* error_msg);
647
Richard Uhlera206c742016-05-24 15:04:22 -0700648 // On the host, if the same library is loaded again with dlopen the same
649 // file handle is returned. This differs from the behavior of dlopen on the
650 // target, where dlopen reloads the library at a different address every
651 // time you load it. The runtime relies on the target behavior to ensure
652 // each instance of the loaded library has a unique dex cache. To avoid
653 // problems, we fall back to our own linker in the case when the same
654 // library is opened multiple times on host. dlopen_handles_ is used to
655 // detect that case.
656 // Guarded by host_dlopen_handles_lock_;
657 static std::unordered_set<void*> host_dlopen_handles_;
658
Andreas Gampe049cff02015-12-01 23:27:12 -0800659 // dlopen handle during runtime.
660 void* dlopen_handle_; // TODO: Unique_ptr with custom deleter.
661
662 // Dummy memory map objects corresponding to the regions mapped by dlopen.
663 std::vector<std::unique_ptr<MemMap>> dlopen_mmaps_;
664
Andreas Gampe4075f832016-05-18 13:09:54 -0700665 // The number of shared objects the linker told us about before loading. Used to
666 // (optimistically) optimize the PreSetup stage (see comment there).
667 size_t shared_objects_before_;
668
Andreas Gampe049cff02015-12-01 23:27:12 -0800669 DISALLOW_COPY_AND_ASSIGN(DlOpenOatFile);
670};
671
Richard Uhlera206c742016-05-24 15:04:22 -0700672std::unordered_set<void*> DlOpenOatFile::host_dlopen_handles_;
673
Andreas Gampe4075f832016-05-18 13:09:54 -0700674void DlOpenOatFile::PreLoad() {
675#ifdef __APPLE__
Andreas Gampe39004a62016-05-18 21:27:00 -0700676 UNUSED(shared_objects_before_);
Andreas Gampe4075f832016-05-18 13:09:54 -0700677 LOG(FATAL) << "Should not reach here.";
678 UNREACHABLE();
679#else
680 // Count the entries in dl_iterate_phdr we get at this point in time.
681 struct dl_iterate_context {
682 static int callback(struct dl_phdr_info *info ATTRIBUTE_UNUSED,
683 size_t size ATTRIBUTE_UNUSED,
684 void *data) {
685 reinterpret_cast<dl_iterate_context*>(data)->count++;
686 return 0; // Continue iteration.
687 }
688 size_t count = 0;
689 } context;
690
691 dl_iterate_phdr(dl_iterate_context::callback, &context);
692 shared_objects_before_ = context.count;
693#endif
694}
695
Andreas Gampe049cff02015-12-01 23:27:12 -0800696bool DlOpenOatFile::Load(const std::string& elf_filename,
697 uint8_t* oat_file_begin,
698 bool writable,
699 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800700 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800701 std::string* error_msg) {
702 // Use dlopen only when flagged to do so, and when it's OK to load things executable.
703 // TODO: Also try when not executable? The issue here could be re-mapping as writable (as
704 // !executable is a sign that we may want to patch), which may not be allowed for
705 // various reasons.
706 if (!kUseDlopen) {
707 *error_msg = "DlOpen is disabled.";
708 return false;
709 }
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800710 if (low_4gb) {
711 *error_msg = "DlOpen does not support low 4gb loading.";
712 return false;
713 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800714 if (writable) {
715 *error_msg = "DlOpen does not support writable loading.";
716 return false;
717 }
718 if (!executable) {
719 *error_msg = "DlOpen does not support non-executable loading.";
720 return false;
721 }
722
723 // dlopen always returns the same library if it is already opened on the host. For this reason
724 // we only use dlopen if we are the target or we do not already have the dex file opened. Having
725 // the same library loaded multiple times at different addresses is required for class unloading
726 // and for having dex caches arrays in the .bss section.
727 if (!kIsTargetBuild) {
728 if (!kUseDlopenOnHost) {
729 *error_msg = "DlOpen disabled for host.";
730 return false;
731 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800732 }
733
734 bool success = Dlopen(elf_filename, oat_file_begin, error_msg);
735 DCHECK(dlopen_handle_ != nullptr || !success);
736
737 return success;
738}
739
740bool DlOpenOatFile::Dlopen(const std::string& elf_filename,
741 uint8_t* oat_file_begin,
742 std::string* error_msg) {
743#ifdef __APPLE__
744 // The dl_iterate_phdr syscall is missing. There is similar API on OSX,
745 // but let's fallback to the custom loading code for the time being.
746 UNUSED(elf_filename, oat_file_begin);
747 *error_msg = "Dlopen unsupported on Mac.";
748 return false;
749#else
750 {
751 UniqueCPtr<char> absolute_path(realpath(elf_filename.c_str(), nullptr));
752 if (absolute_path == nullptr) {
753 *error_msg = StringPrintf("Failed to find absolute path for '%s'", elf_filename.c_str());
754 return false;
755 }
Bilyan Borisovbb661c02016-04-04 16:27:32 +0100756#ifdef ART_TARGET_ANDROID
Anton Kirilov3a2e78e2017-01-06 13:33:42 +0000757 android_dlextinfo extinfo = {};
Andreas Gampe049cff02015-12-01 23:27:12 -0800758 extinfo.flags = ANDROID_DLEXT_FORCE_LOAD | // Force-load, don't reuse handle
759 // (open oat files multiple
760 // times).
761 ANDROID_DLEXT_FORCE_FIXED_VADDR; // Take a non-zero vaddr as absolute
762 // (non-pic boot image).
Andreas Gampe226b91e2015-12-02 10:29:33 -0800763 if (oat_file_begin != nullptr) { //
764 extinfo.flags |= ANDROID_DLEXT_LOAD_AT_FIXED_ADDRESS; // Use the requested addr if
765 extinfo.reserved_addr = oat_file_begin; // vaddr = 0.
766 } // (pic boot image).
Andreas Gampe049cff02015-12-01 23:27:12 -0800767 dlopen_handle_ = android_dlopen_ext(absolute_path.get(), RTLD_NOW, &extinfo);
768#else
Andreas Gampe049cff02015-12-01 23:27:12 -0800769 UNUSED(oat_file_begin);
Julien Duraj1af0c4f2016-11-16 14:05:48 +0000770 static_assert(!kIsTargetBuild || kIsTargetLinux, "host_dlopen_handles_ will leak handles");
Mathieu Chartierc7d3f4b2016-06-01 10:48:19 -0700771 MutexLock mu(Thread::Current(), *Locks::host_dlopen_handles_lock_);
Richard Uhlera206c742016-05-24 15:04:22 -0700772 dlopen_handle_ = dlopen(absolute_path.get(), RTLD_NOW);
773 if (dlopen_handle_ != nullptr) {
Richard Uhlera206c742016-05-24 15:04:22 -0700774 if (!host_dlopen_handles_.insert(dlopen_handle_).second) {
775 dlclose(dlopen_handle_);
776 dlopen_handle_ = nullptr;
777 *error_msg = StringPrintf("host dlopen re-opened '%s'", elf_filename.c_str());
778 return false;
779 }
780 }
Bilyan Borisovbb661c02016-04-04 16:27:32 +0100781#endif // ART_TARGET_ANDROID
Andreas Gampe049cff02015-12-01 23:27:12 -0800782 }
783 if (dlopen_handle_ == nullptr) {
784 *error_msg = StringPrintf("Failed to dlopen '%s': %s", elf_filename.c_str(), dlerror());
785 return false;
786 }
787 return true;
788#endif
789}
790
791void DlOpenOatFile::PreSetup(const std::string& elf_filename) {
Andreas Gampe74f07b52015-12-02 11:53:26 -0800792#ifdef __APPLE__
793 UNUSED(elf_filename);
794 LOG(FATAL) << "Should not reach here.";
795 UNREACHABLE();
796#else
Andreas Gampe049cff02015-12-01 23:27:12 -0800797 struct dl_iterate_context {
798 static int callback(struct dl_phdr_info *info, size_t /* size */, void *data) {
799 auto* context = reinterpret_cast<dl_iterate_context*>(data);
Andreas Gampe4075f832016-05-18 13:09:54 -0700800 context->shared_objects_seen++;
801 if (context->shared_objects_seen < context->shared_objects_before) {
802 // We haven't been called yet for anything we haven't seen before. Just continue.
803 // Note: this is aggressively optimistic. If another thread was unloading a library,
804 // we may miss out here. However, this does not happen often in practice.
805 return 0;
806 }
807
Andreas Gampe049cff02015-12-01 23:27:12 -0800808 // See whether this callback corresponds to the file which we have just loaded.
809 bool contains_begin = false;
810 for (int i = 0; i < info->dlpi_phnum; i++) {
811 if (info->dlpi_phdr[i].p_type == PT_LOAD) {
812 uint8_t* vaddr = reinterpret_cast<uint8_t*>(info->dlpi_addr +
813 info->dlpi_phdr[i].p_vaddr);
814 size_t memsz = info->dlpi_phdr[i].p_memsz;
815 if (vaddr <= context->begin_ && context->begin_ < vaddr + memsz) {
816 contains_begin = true;
817 break;
818 }
819 }
820 }
821 // Add dummy mmaps for this file.
822 if (contains_begin) {
823 for (int i = 0; i < info->dlpi_phnum; i++) {
824 if (info->dlpi_phdr[i].p_type == PT_LOAD) {
825 uint8_t* vaddr = reinterpret_cast<uint8_t*>(info->dlpi_addr +
826 info->dlpi_phdr[i].p_vaddr);
827 size_t memsz = info->dlpi_phdr[i].p_memsz;
828 MemMap* mmap = MemMap::MapDummy(info->dlpi_name, vaddr, memsz);
829 context->dlopen_mmaps_->push_back(std::unique_ptr<MemMap>(mmap));
830 }
831 }
832 return 1; // Stop iteration and return 1 from dl_iterate_phdr.
833 }
834 return 0; // Continue iteration and return 0 from dl_iterate_phdr when finished.
835 }
836 const uint8_t* const begin_;
837 std::vector<std::unique_ptr<MemMap>>* const dlopen_mmaps_;
Andreas Gampe4075f832016-05-18 13:09:54 -0700838 const size_t shared_objects_before;
839 size_t shared_objects_seen;
840 };
841 dl_iterate_context context = { Begin(), &dlopen_mmaps_, shared_objects_before_, 0};
Andreas Gampe049cff02015-12-01 23:27:12 -0800842
843 if (dl_iterate_phdr(dl_iterate_context::callback, &context) == 0) {
Andreas Gampe4075f832016-05-18 13:09:54 -0700844 // Hm. Maybe our optimization went wrong. Try another time with shared_objects_before == 0
845 // before giving up. This should be unusual.
846 VLOG(oat) << "Need a second run in PreSetup, didn't find with shared_objects_before="
847 << shared_objects_before_;
848 dl_iterate_context context0 = { Begin(), &dlopen_mmaps_, 0, 0};
849 if (dl_iterate_phdr(dl_iterate_context::callback, &context0) == 0) {
850 // OK, give up and print an error.
851 PrintFileToLog("/proc/self/maps", LogSeverity::WARNING);
852 LOG(ERROR) << "File " << elf_filename << " loaded with dlopen but cannot find its mmaps.";
853 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800854 }
Andreas Gampe74f07b52015-12-02 11:53:26 -0800855#endif
Andreas Gampe049cff02015-12-01 23:27:12 -0800856}
857
858////////////////////////////////////////////////
859// OatFile via our own ElfFile implementation //
860////////////////////////////////////////////////
861
862class ElfOatFile FINAL : public OatFileBase {
863 public:
864 ElfOatFile(const std::string& filename, bool executable) : OatFileBase(filename, executable) {}
865
866 static ElfOatFile* OpenElfFile(File* file,
867 const std::string& location,
868 uint8_t* requested_base,
869 uint8_t* oat_file_begin, // Override base if not null
870 bool writable,
871 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800872 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800873 const char* abs_dex_location,
874 std::string* error_msg);
875
876 bool InitializeFromElfFile(ElfFile* elf_file,
David Brazdilc93b3be2016-09-12 18:49:58 +0100877 VdexFile* vdex_file,
Andreas Gampe049cff02015-12-01 23:27:12 -0800878 const char* abs_dex_location,
879 std::string* error_msg);
880
881 protected:
882 const uint8_t* FindDynamicSymbolAddress(const std::string& symbol_name,
883 std::string* error_msg) const OVERRIDE {
884 const uint8_t* ptr = elf_file_->FindDynamicSymbolAddress(symbol_name);
885 if (ptr == nullptr) {
886 *error_msg = "(Internal implementation could not find symbol)";
887 }
888 return ptr;
889 }
890
Andreas Gampe4075f832016-05-18 13:09:54 -0700891 void PreLoad() OVERRIDE {
892 }
893
Andreas Gampe049cff02015-12-01 23:27:12 -0800894 bool Load(const std::string& elf_filename,
895 uint8_t* oat_file_begin, // Override where the file is loaded to if not null
896 bool writable,
897 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800898 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800899 std::string* error_msg) OVERRIDE;
900
901 void PreSetup(const std::string& elf_filename ATTRIBUTE_UNUSED) OVERRIDE {
902 }
903
904 private:
905 bool ElfFileOpen(File* file,
906 uint8_t* oat_file_begin, // Override where the file is loaded to if not null
907 bool writable,
908 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800909 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800910 std::string* error_msg);
911
912 private:
913 // Backing memory map for oat file during cross compilation.
914 std::unique_ptr<ElfFile> elf_file_;
915
916 DISALLOW_COPY_AND_ASSIGN(ElfOatFile);
917};
918
919ElfOatFile* ElfOatFile::OpenElfFile(File* file,
920 const std::string& location,
921 uint8_t* requested_base,
922 uint8_t* oat_file_begin, // Override base if not null
923 bool writable,
924 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800925 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800926 const char* abs_dex_location,
927 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800928 ScopedTrace trace("Open elf file " + location);
Andreas Gampe049cff02015-12-01 23:27:12 -0800929 std::unique_ptr<ElfOatFile> oat_file(new ElfOatFile(location, executable));
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800930 bool success = oat_file->ElfFileOpen(file,
931 oat_file_begin,
932 writable,
933 low_4gb,
934 executable,
935 error_msg);
Andreas Gampe049cff02015-12-01 23:27:12 -0800936 if (!success) {
937 CHECK(!error_msg->empty());
938 return nullptr;
939 }
940
941 // Complete the setup.
942 if (!oat_file->ComputeFields(requested_base, file->GetPath(), error_msg)) {
943 return nullptr;
944 }
945
946 if (!oat_file->Setup(abs_dex_location, error_msg)) {
947 return nullptr;
948 }
949
950 return oat_file.release();
951}
952
953bool ElfOatFile::InitializeFromElfFile(ElfFile* elf_file,
David Brazdilc93b3be2016-09-12 18:49:58 +0100954 VdexFile* vdex_file,
Andreas Gampe049cff02015-12-01 23:27:12 -0800955 const char* abs_dex_location,
956 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800957 ScopedTrace trace(__PRETTY_FUNCTION__);
Andreas Gampe049cff02015-12-01 23:27:12 -0800958 if (IsExecutable()) {
959 *error_msg = "Cannot initialize from elf file in executable mode.";
960 return false;
961 }
962 elf_file_.reset(elf_file);
David Brazdilc93b3be2016-09-12 18:49:58 +0100963 SetVdex(vdex_file);
Andreas Gampe049cff02015-12-01 23:27:12 -0800964 uint64_t offset, size;
965 bool has_section = elf_file->GetSectionOffsetAndSize(".rodata", &offset, &size);
966 CHECK(has_section);
967 SetBegin(elf_file->Begin() + offset);
968 SetEnd(elf_file->Begin() + size + offset);
969 // Ignore the optional .bss section when opening non-executable.
970 return Setup(abs_dex_location, error_msg);
971}
972
973bool ElfOatFile::Load(const std::string& elf_filename,
974 uint8_t* oat_file_begin, // Override where the file is loaded to if not null
975 bool writable,
976 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800977 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800978 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800979 ScopedTrace trace(__PRETTY_FUNCTION__);
Andreas Gampe049cff02015-12-01 23:27:12 -0800980 std::unique_ptr<File> file(OS::OpenFileForReading(elf_filename.c_str()));
981 if (file == nullptr) {
982 *error_msg = StringPrintf("Failed to open oat filename for reading: %s", strerror(errno));
983 return false;
984 }
985 return ElfOatFile::ElfFileOpen(file.get(),
986 oat_file_begin,
987 writable,
988 executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800989 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800990 error_msg);
991}
992
993bool ElfOatFile::ElfFileOpen(File* file,
994 uint8_t* oat_file_begin,
995 bool writable,
996 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800997 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800998 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800999 ScopedTrace trace(__PRETTY_FUNCTION__);
Andreas Gampe049cff02015-12-01 23:27:12 -08001000 // TODO: rename requested_base to oat_data_begin
1001 elf_file_.reset(ElfFile::Open(file,
1002 writable,
1003 /*program_header_only*/true,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001004 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -08001005 error_msg,
1006 oat_file_begin));
1007 if (elf_file_ == nullptr) {
1008 DCHECK(!error_msg->empty());
1009 return false;
1010 }
Brian Carlstromf5b0f2c2016-10-14 01:04:26 -07001011 bool loaded = elf_file_->Load(file, executable, low_4gb, error_msg);
Andreas Gampe049cff02015-12-01 23:27:12 -08001012 DCHECK(loaded || !error_msg->empty());
1013 return loaded;
1014}
1015
1016//////////////////////////
1017// General OatFile code //
1018//////////////////////////
1019
1020std::string OatFile::ResolveRelativeEncodedDexLocation(
1021 const char* abs_dex_location, const std::string& rel_dex_location) {
1022 if (abs_dex_location != nullptr && rel_dex_location[0] != '/') {
1023 // Strip :classes<N>.dex used for secondary multidex files.
1024 std::string base = DexFile::GetBaseLocation(rel_dex_location);
1025 std::string multidex_suffix = DexFile::GetMultiDexSuffix(rel_dex_location);
1026
1027 // Check if the base is a suffix of the provided abs_dex_location.
1028 std::string target_suffix = "/" + base;
1029 std::string abs_location(abs_dex_location);
1030 if (abs_location.size() > target_suffix.size()) {
1031 size_t pos = abs_location.size() - target_suffix.size();
1032 if (abs_location.compare(pos, std::string::npos, target_suffix) == 0) {
1033 return abs_location + multidex_suffix;
1034 }
1035 }
1036 }
1037 return rel_dex_location;
1038}
1039
1040static void CheckLocation(const std::string& location) {
1041 CHECK(!location.empty());
1042}
1043
1044OatFile* OatFile::OpenWithElfFile(ElfFile* elf_file,
David Brazdilc93b3be2016-09-12 18:49:58 +01001045 VdexFile* vdex_file,
Andreas Gampe049cff02015-12-01 23:27:12 -08001046 const std::string& location,
1047 const char* abs_dex_location,
1048 std::string* error_msg) {
1049 std::unique_ptr<ElfOatFile> oat_file(new ElfOatFile(location, false /* executable */));
David Brazdilc93b3be2016-09-12 18:49:58 +01001050 return oat_file->InitializeFromElfFile(elf_file, vdex_file, abs_dex_location, error_msg)
Andreas Gampe049cff02015-12-01 23:27:12 -08001051 ? oat_file.release()
1052 : nullptr;
1053}
1054
David Brazdil7b49e6c2016-09-01 11:06:18 +01001055OatFile* OatFile::Open(const std::string& oat_filename,
1056 const std::string& oat_location,
Andreas Gampe049cff02015-12-01 23:27:12 -08001057 uint8_t* requested_base,
1058 uint8_t* oat_file_begin,
1059 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001060 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -08001061 const char* abs_dex_location,
1062 std::string* error_msg) {
David Brazdil7b49e6c2016-09-01 11:06:18 +01001063 ScopedTrace trace("Open oat file " + oat_location);
1064 CHECK(!oat_filename.empty()) << oat_location;
1065 CheckLocation(oat_location);
Andreas Gampe54315c72016-05-18 21:10:42 -07001066
Calin Juravle367b9d82017-05-15 18:18:39 -07001067 std::string vdex_filename = GetVdexFilename(oat_filename);
David Brazdil7b49e6c2016-09-01 11:06:18 +01001068
1069 // Check that the files even exist, fast-fail.
1070 if (kIsVdexEnabled && !OS::FileExists(vdex_filename.c_str())) {
1071 *error_msg = StringPrintf("File %s does not exist.", vdex_filename.c_str());
1072 return nullptr;
1073 } else if (!OS::FileExists(oat_filename.c_str())) {
1074 *error_msg = StringPrintf("File %s does not exist.", oat_filename.c_str());
Andreas Gampe54315c72016-05-18 21:10:42 -07001075 return nullptr;
1076 }
Andreas Gampe049cff02015-12-01 23:27:12 -08001077
1078 // Try dlopen first, as it is required for native debuggability. This will fail fast if dlopen is
1079 // disabled.
David Brazdil7b49e6c2016-09-01 11:06:18 +01001080 OatFile* with_dlopen = OatFileBase::OpenOatFile<DlOpenOatFile>(vdex_filename,
1081 oat_filename,
1082 oat_location,
Andreas Gampe049cff02015-12-01 23:27:12 -08001083 requested_base,
1084 oat_file_begin,
David Brazdil7b49e6c2016-09-01 11:06:18 +01001085 false /* writable */,
Andreas Gampe049cff02015-12-01 23:27:12 -08001086 executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001087 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -08001088 abs_dex_location,
1089 error_msg);
1090 if (with_dlopen != nullptr) {
1091 return with_dlopen;
1092 }
1093 if (kPrintDlOpenErrorMessage) {
David Brazdil7b49e6c2016-09-01 11:06:18 +01001094 LOG(ERROR) << "Failed to dlopen: " << oat_filename << " with error " << *error_msg;
Andreas Gampe049cff02015-12-01 23:27:12 -08001095 }
Andreas Gampe049cff02015-12-01 23:27:12 -08001096 // If we aren't trying to execute, we just use our own ElfFile loader for a couple reasons:
1097 //
1098 // On target, dlopen may fail when compiling due to selinux restrictions on installd.
1099 //
1100 // We use our own ELF loader for Quick to deal with legacy apps that
1101 // open a generated dex file by name, remove the file, then open
1102 // another generated dex file with the same name. http://b/10614658
1103 //
1104 // On host, dlopen is expected to fail when cross compiling, so fall back to OpenElfFile.
1105 //
1106 //
1107 // Another independent reason is the absolute placement of boot.oat. dlopen on the host usually
1108 // does honor the virtual address encoded in the ELF file only for ET_EXEC files, not ET_DYN.
David Brazdil7b49e6c2016-09-01 11:06:18 +01001109 OatFile* with_internal = OatFileBase::OpenOatFile<ElfOatFile>(vdex_filename,
1110 oat_filename,
1111 oat_location,
Andreas Gampe049cff02015-12-01 23:27:12 -08001112 requested_base,
1113 oat_file_begin,
David Brazdil7b49e6c2016-09-01 11:06:18 +01001114 false /* writable */,
Andreas Gampe049cff02015-12-01 23:27:12 -08001115 executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001116 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -08001117 abs_dex_location,
1118 error_msg);
1119 return with_internal;
1120}
1121
1122OatFile* OatFile::OpenWritable(File* file,
1123 const std::string& location,
1124 const char* abs_dex_location,
1125 std::string* error_msg) {
1126 CheckLocation(location);
1127 return ElfOatFile::OpenElfFile(file,
1128 location,
1129 nullptr,
1130 nullptr,
1131 true,
1132 false,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001133 /*low_4gb*/false,
Andreas Gampe049cff02015-12-01 23:27:12 -08001134 abs_dex_location,
1135 error_msg);
1136}
1137
1138OatFile* OatFile::OpenReadable(File* file,
1139 const std::string& location,
1140 const char* abs_dex_location,
1141 std::string* error_msg) {
1142 CheckLocation(location);
1143 return ElfOatFile::OpenElfFile(file,
1144 location,
1145 nullptr,
1146 nullptr,
1147 false,
1148 false,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001149 /*low_4gb*/false,
Andreas Gampe049cff02015-12-01 23:27:12 -08001150 abs_dex_location,
1151 error_msg);
1152}
1153
1154OatFile::OatFile(const std::string& location, bool is_executable)
1155 : location_(location),
David Brazdil7b49e6c2016-09-01 11:06:18 +01001156 vdex_(nullptr),
Andreas Gampe049cff02015-12-01 23:27:12 -08001157 begin_(nullptr),
1158 end_(nullptr),
1159 bss_begin_(nullptr),
1160 bss_end_(nullptr),
Vladimir Markoaad75c62016-10-03 08:46:48 +00001161 bss_roots_(nullptr),
Andreas Gampe049cff02015-12-01 23:27:12 -08001162 is_executable_(is_executable),
1163 secondary_lookup_lock_("OatFile secondary lookup lock", kOatFileSecondaryLookupLock) {
1164 CHECK(!location_.empty());
1165}
1166
1167OatFile::~OatFile() {
1168 STLDeleteElements(&oat_dex_files_storage_);
1169}
1170
Brian Carlstrome24fa612011-09-29 00:53:55 -07001171const OatHeader& OatFile::GetOatHeader() const {
Ian Rogers30fab402012-01-23 15:43:46 -08001172 return *reinterpret_cast<const OatHeader*>(Begin());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001173}
1174
Ian Rogers13735952014-10-08 12:43:28 -07001175const uint8_t* OatFile::Begin() const {
Andreas Gampefa8429b2015-04-07 18:34:42 -07001176 CHECK(begin_ != nullptr);
Brian Carlstrom700c8d32012-11-05 10:42:02 -08001177 return begin_;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001178}
1179
Ian Rogers13735952014-10-08 12:43:28 -07001180const uint8_t* OatFile::End() const {
Andreas Gampefa8429b2015-04-07 18:34:42 -07001181 CHECK(end_ != nullptr);
Brian Carlstrom700c8d32012-11-05 10:42:02 -08001182 return end_;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001183}
1184
Vladimir Marko5c42c292015-02-25 12:02:49 +00001185const uint8_t* OatFile::BssBegin() const {
1186 return bss_begin_;
1187}
1188
1189const uint8_t* OatFile::BssEnd() const {
1190 return bss_end_;
1191}
1192
David Brazdil7b49e6c2016-09-01 11:06:18 +01001193const uint8_t* OatFile::DexBegin() const {
1194 return kIsVdexEnabled ? vdex_->Begin() : Begin();
1195}
1196
1197const uint8_t* OatFile::DexEnd() const {
1198 return kIsVdexEnabled ? vdex_->End() : End();
1199}
1200
Vladimir Markoaad75c62016-10-03 08:46:48 +00001201ArrayRef<GcRoot<mirror::Object>> OatFile::GetBssGcRoots() const {
1202 if (bss_roots_ != nullptr) {
1203 auto* roots = reinterpret_cast<GcRoot<mirror::Object>*>(bss_roots_);
1204 auto* roots_end = reinterpret_cast<GcRoot<mirror::Object>*>(bss_end_);
1205 return ArrayRef<GcRoot<mirror::Object>>(roots, roots_end - roots);
1206 } else {
1207 return ArrayRef<GcRoot<mirror::Object>>();
1208 }
1209}
1210
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001211const OatFile::OatDexFile* OatFile::GetOatDexFile(const char* dex_location,
1212 const uint32_t* dex_location_checksum,
Richard Uhler9a37efc2016-08-05 16:32:55 -07001213 std::string* error_msg) const {
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001214 // NOTE: We assume here that the canonical location for a given dex_location never
1215 // changes. If it does (i.e. some symlink used by the filename changes) we may return
1216 // an incorrect OatDexFile. As long as we have a checksum to check, we shall return
1217 // an identical file or fail; otherwise we may see some unpredictable failures.
Calin Juravle4e1d5792014-07-15 23:56:47 +01001218
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001219 // TODO: Additional analysis of usage patterns to see if this can be simplified
1220 // without any performance loss, for example by not doing the first lock-free lookup.
1221
1222 const OatFile::OatDexFile* oat_dex_file = nullptr;
1223 StringPiece key(dex_location);
1224 // Try to find the key cheaply in the oat_dex_files_ map which holds dex locations
1225 // directly mentioned in the oat file and doesn't require locking.
1226 auto primary_it = oat_dex_files_.find(key);
1227 if (primary_it != oat_dex_files_.end()) {
1228 oat_dex_file = primary_it->second;
1229 DCHECK(oat_dex_file != nullptr);
1230 } else {
1231 // This dex_location is not one of the dex locations directly mentioned in the
1232 // oat file. The correct lookup is via the canonical location but first see in
1233 // the secondary_oat_dex_files_ whether we've looked up this location before.
1234 MutexLock mu(Thread::Current(), secondary_lookup_lock_);
1235 auto secondary_lb = secondary_oat_dex_files_.lower_bound(key);
1236 if (secondary_lb != secondary_oat_dex_files_.end() && key == secondary_lb->first) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001237 oat_dex_file = secondary_lb->second; // May be null.
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001238 } else {
1239 // We haven't seen this dex_location before, we must check the canonical location.
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001240 std::string dex_canonical_location = DexFile::GetDexCanonicalLocation(dex_location);
Vladimir Markoaa4497d2014-09-05 14:01:17 +01001241 if (dex_canonical_location != dex_location) {
1242 StringPiece canonical_key(dex_canonical_location);
1243 auto canonical_it = oat_dex_files_.find(canonical_key);
1244 if (canonical_it != oat_dex_files_.end()) {
1245 oat_dex_file = canonical_it->second;
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001246 } // else keep null.
1247 } // else keep null.
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001248
1249 // Copy the key to the string_cache_ and store the result in secondary map.
1250 string_cache_.emplace_back(key.data(), key.length());
1251 StringPiece key_copy(string_cache_.back());
1252 secondary_oat_dex_files_.PutBefore(secondary_lb, key_copy, oat_dex_file);
Brian Carlstrom756ee4e2013-10-03 15:46:12 -07001253 }
1254 }
Richard Uhler9a37efc2016-08-05 16:32:55 -07001255
1256 if (oat_dex_file == nullptr) {
1257 if (error_msg != nullptr) {
1258 std::string dex_canonical_location = DexFile::GetDexCanonicalLocation(dex_location);
1259 *error_msg = "Failed to find OatDexFile for DexFile " + std::string(dex_location)
1260 + " (canonical path " + dex_canonical_location + ") in OatFile " + GetLocation();
1261 }
1262 return nullptr;
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001263 }
Brian Carlstrom756ee4e2013-10-03 15:46:12 -07001264
Richard Uhler9a37efc2016-08-05 16:32:55 -07001265 if (dex_location_checksum != nullptr &&
1266 oat_dex_file->GetDexFileLocationChecksum() != *dex_location_checksum) {
1267 if (error_msg != nullptr) {
1268 std::string dex_canonical_location = DexFile::GetDexCanonicalLocation(dex_location);
1269 std::string checksum = StringPrintf("0x%08x", oat_dex_file->GetDexFileLocationChecksum());
1270 std::string required_checksum = StringPrintf("0x%08x", *dex_location_checksum);
1271 *error_msg = "OatDexFile for DexFile " + std::string(dex_location)
1272 + " (canonical path " + dex_canonical_location + ") in OatFile " + GetLocation()
1273 + " has checksum " + checksum + " but " + required_checksum + " was required";
Brian Carlstrom0d6adac2014-02-05 17:39:16 -08001274 }
Richard Uhler9a37efc2016-08-05 16:32:55 -07001275 return nullptr;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001276 }
Richard Uhler9a37efc2016-08-05 16:32:55 -07001277 return oat_dex_file;
Brian Carlstromaded5f72011-10-07 17:15:04 -07001278}
1279
Brian Carlstrome24fa612011-09-29 00:53:55 -07001280OatFile::OatDexFile::OatDexFile(const OatFile* oat_file,
Elliott Hughesaa6a5882012-01-13 19:39:16 -08001281 const std::string& dex_file_location,
Vladimir Markoaa4497d2014-09-05 14:01:17 +01001282 const std::string& canonical_dex_file_location,
Brian Carlstrom5b332c82012-02-01 15:02:31 -08001283 uint32_t dex_file_location_checksum,
Ian Rogers13735952014-10-08 12:43:28 -07001284 const uint8_t* dex_file_pointer,
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001285 const uint8_t* lookup_table_data,
Vladimir Marko09d09432015-09-08 13:47:48 +01001286 const uint32_t* oat_class_offsets_pointer,
Vladimir Marko06d7aaa2015-10-16 11:23:41 +01001287 uint8_t* dex_cache_arrays)
Brian Carlstrome24fa612011-09-29 00:53:55 -07001288 : oat_file_(oat_file),
1289 dex_file_location_(dex_file_location),
Vladimir Markoaa4497d2014-09-05 14:01:17 +01001290 canonical_dex_file_location_(canonical_dex_file_location),
Brian Carlstrom5b332c82012-02-01 15:02:31 -08001291 dex_file_location_checksum_(dex_file_location_checksum),
Brian Carlstrom89521892011-12-07 22:05:07 -08001292 dex_file_pointer_(dex_file_pointer),
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001293 lookup_table_data_(lookup_table_data),
Vladimir Marko09d09432015-09-08 13:47:48 +01001294 oat_class_offsets_pointer_(oat_class_offsets_pointer),
David Sehr9aa352e2016-09-15 18:13:52 -07001295 dex_cache_arrays_(dex_cache_arrays) {
1296 // Initialize TypeLookupTable.
1297 if (lookup_table_data_ != nullptr) {
1298 // Peek the number of classes from the DexFile.
1299 const DexFile::Header* dex_header = reinterpret_cast<const DexFile::Header*>(dex_file_pointer_);
1300 const uint32_t num_class_defs = dex_header->class_defs_size_;
1301 if (lookup_table_data_ + TypeLookupTable::RawDataLength(num_class_defs) > GetOatFile()->End()) {
1302 LOG(WARNING) << "found truncated lookup table in " << dex_file_location_;
1303 } else {
Mathieu Chartier1b868492016-11-16 16:22:37 -08001304 lookup_table_ = TypeLookupTable::Open(dex_file_pointer_, lookup_table_data_, num_class_defs);
David Sehr9aa352e2016-09-15 18:13:52 -07001305 }
1306 }
1307}
Brian Carlstrome24fa612011-09-29 00:53:55 -07001308
Mathieu Chartier1b868492016-11-16 16:22:37 -08001309OatFile::OatDexFile::OatDexFile(std::unique_ptr<TypeLookupTable>&& lookup_table)
1310 : lookup_table_(std::move(lookup_table)) {}
1311
Brian Carlstrome24fa612011-09-29 00:53:55 -07001312OatFile::OatDexFile::~OatDexFile() {}
1313
Ian Rogers05f28c62012-10-23 18:12:13 -07001314size_t OatFile::OatDexFile::FileSize() const {
1315 return reinterpret_cast<const DexFile::Header*>(dex_file_pointer_)->file_size_;
1316}
1317
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001318std::unique_ptr<const DexFile> OatFile::OatDexFile::OpenDexFile(std::string* error_msg) const {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -08001319 ScopedTrace trace(__PRETTY_FUNCTION__);
Aart Bik37d6a3b2016-06-21 18:30:10 -07001320 static constexpr bool kVerify = false;
1321 static constexpr bool kVerifyChecksum = false;
Andreas Gampe3a2bd292016-01-26 17:23:47 -08001322 return DexFile::Open(dex_file_pointer_,
1323 FileSize(),
1324 dex_file_location_,
1325 dex_file_location_checksum_,
1326 this,
Aart Bik37d6a3b2016-06-21 18:30:10 -07001327 kVerify,
1328 kVerifyChecksum,
Andreas Gampe3a2bd292016-01-26 17:23:47 -08001329 error_msg);
Brian Carlstrom89521892011-12-07 22:05:07 -08001330}
1331
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001332uint32_t OatFile::OatDexFile::GetOatClassOffset(uint16_t class_def_index) const {
1333 return oat_class_offsets_pointer_[class_def_index];
1334}
1335
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001336OatFile::OatClass OatFile::OatDexFile::GetOatClass(uint16_t class_def_index) const {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001337 uint32_t oat_class_offset = GetOatClassOffset(class_def_index);
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001338
Ian Rogers13735952014-10-08 12:43:28 -07001339 const uint8_t* oat_class_pointer = oat_file_->Begin() + oat_class_offset;
Brian Carlstrom7571e8b2013-08-12 17:04:14 -07001340 CHECK_LT(oat_class_pointer, oat_file_->End()) << oat_file_->GetLocation();
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001341
Ian Rogers13735952014-10-08 12:43:28 -07001342 const uint8_t* status_pointer = oat_class_pointer;
Brian Carlstromba150c32013-08-27 17:31:03 -07001343 CHECK_LT(status_pointer, oat_file_->End()) << oat_file_->GetLocation();
1344 mirror::Class::Status status =
1345 static_cast<mirror::Class::Status>(*reinterpret_cast<const int16_t*>(status_pointer));
1346 CHECK_LT(status, mirror::Class::kStatusMax);
1347
Ian Rogers13735952014-10-08 12:43:28 -07001348 const uint8_t* type_pointer = status_pointer + sizeof(uint16_t);
Brian Carlstromba150c32013-08-27 17:31:03 -07001349 CHECK_LT(type_pointer, oat_file_->End()) << oat_file_->GetLocation();
1350 OatClassType type = static_cast<OatClassType>(*reinterpret_cast<const uint16_t*>(type_pointer));
1351 CHECK_LT(type, kOatClassMax);
1352
Ian Rogers13735952014-10-08 12:43:28 -07001353 const uint8_t* after_type_pointer = type_pointer + sizeof(int16_t);
Brian Carlstromcd937a92014-03-04 22:53:23 -08001354 CHECK_LE(after_type_pointer, oat_file_->End()) << oat_file_->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -07001355
Brian Carlstromcd937a92014-03-04 22:53:23 -08001356 uint32_t bitmap_size = 0;
Ian Rogers13735952014-10-08 12:43:28 -07001357 const uint8_t* bitmap_pointer = nullptr;
1358 const uint8_t* methods_pointer = nullptr;
Ian Rogers97b52f82014-08-14 11:34:07 -07001359 if (type != kOatClassNoneCompiled) {
1360 if (type == kOatClassSomeCompiled) {
1361 bitmap_size = static_cast<uint32_t>(*reinterpret_cast<const uint32_t*>(after_type_pointer));
1362 bitmap_pointer = after_type_pointer + sizeof(bitmap_size);
1363 CHECK_LE(bitmap_pointer, oat_file_->End()) << oat_file_->GetLocation();
1364 methods_pointer = bitmap_pointer + bitmap_size;
1365 } else {
1366 methods_pointer = after_type_pointer;
1367 }
1368 CHECK_LE(methods_pointer, oat_file_->End()) << oat_file_->GetLocation();
Brian Carlstromcd937a92014-03-04 22:53:23 -08001369 }
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001370
Richard Uhler07b3c232015-03-31 15:57:54 -07001371 return OatFile::OatClass(oat_file_,
1372 status,
1373 type,
1374 bitmap_size,
1375 reinterpret_cast<const uint32_t*>(bitmap_pointer),
1376 reinterpret_cast<const OatMethodOffsets*>(methods_pointer));
Brian Carlstrome24fa612011-09-29 00:53:55 -07001377}
1378
David Sehr9aa352e2016-09-15 18:13:52 -07001379const DexFile::ClassDef* OatFile::OatDexFile::FindClassDef(const DexFile& dex_file,
1380 const char* descriptor,
1381 size_t hash) {
1382 const OatFile::OatDexFile* oat_dex_file = dex_file.GetOatDexFile();
1383 DCHECK_EQ(ComputeModifiedUtf8Hash(descriptor), hash);
1384 if (LIKELY((oat_dex_file != nullptr) && (oat_dex_file->GetTypeLookupTable() != nullptr))) {
1385 const uint32_t class_def_idx = oat_dex_file->GetTypeLookupTable()->Lookup(descriptor, hash);
1386 return (class_def_idx != DexFile::kDexNoIndex) ? &dex_file.GetClassDef(class_def_idx) : nullptr;
1387 }
1388 // Fast path for rare no class defs case.
1389 const uint32_t num_class_defs = dex_file.NumClassDefs();
1390 if (num_class_defs == 0) {
1391 return nullptr;
1392 }
1393 const DexFile::TypeId* type_id = dex_file.FindTypeId(descriptor);
1394 if (type_id != nullptr) {
Andreas Gampea5b09a62016-11-17 15:21:22 -08001395 dex::TypeIndex type_idx = dex_file.GetIndexForTypeId(*type_id);
David Sehr9aa352e2016-09-15 18:13:52 -07001396 return dex_file.FindClassDef(type_idx);
1397 }
1398 return nullptr;
1399}
1400
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001401OatFile::OatClass::OatClass(const OatFile* oat_file,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001402 mirror::Class::Status status,
Brian Carlstromba150c32013-08-27 17:31:03 -07001403 OatClassType type,
1404 uint32_t bitmap_size,
1405 const uint32_t* bitmap_pointer,
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001406 const OatMethodOffsets* methods_pointer)
Brian Carlstromba150c32013-08-27 17:31:03 -07001407 : oat_file_(oat_file), status_(status), type_(type),
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001408 bitmap_(bitmap_pointer), methods_pointer_(methods_pointer) {
Brian Carlstromba150c32013-08-27 17:31:03 -07001409 switch (type_) {
1410 case kOatClassAllCompiled: {
1411 CHECK_EQ(0U, bitmap_size);
Brian Carlstromcd937a92014-03-04 22:53:23 -08001412 CHECK(bitmap_pointer == nullptr);
Ian Rogers97b52f82014-08-14 11:34:07 -07001413 CHECK(methods_pointer != nullptr);
Brian Carlstromba150c32013-08-27 17:31:03 -07001414 break;
1415 }
1416 case kOatClassSomeCompiled: {
1417 CHECK_NE(0U, bitmap_size);
Brian Carlstromcd937a92014-03-04 22:53:23 -08001418 CHECK(bitmap_pointer != nullptr);
Ian Rogers97b52f82014-08-14 11:34:07 -07001419 CHECK(methods_pointer != nullptr);
Brian Carlstromba150c32013-08-27 17:31:03 -07001420 break;
1421 }
1422 case kOatClassNoneCompiled: {
1423 CHECK_EQ(0U, bitmap_size);
Brian Carlstromcd937a92014-03-04 22:53:23 -08001424 CHECK(bitmap_pointer == nullptr);
Ian Rogers97b52f82014-08-14 11:34:07 -07001425 CHECK(methods_pointer_ == nullptr);
Brian Carlstromba150c32013-08-27 17:31:03 -07001426 break;
1427 }
1428 case kOatClassMax: {
1429 LOG(FATAL) << "Invalid OatClassType " << type_;
1430 break;
1431 }
1432 }
1433}
Brian Carlstrome24fa612011-09-29 00:53:55 -07001434
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001435uint32_t OatFile::OatClass::GetOatMethodOffsetsOffset(uint32_t method_index) const {
1436 const OatMethodOffsets* oat_method_offsets = GetOatMethodOffsets(method_index);
1437 if (oat_method_offsets == nullptr) {
1438 return 0u;
1439 }
1440 return reinterpret_cast<const uint8_t*>(oat_method_offsets) - oat_file_->Begin();
1441}
1442
1443const OatMethodOffsets* OatFile::OatClass::GetOatMethodOffsets(uint32_t method_index) const {
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001444 // 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 -07001445 if (methods_pointer_ == nullptr) {
Brian Carlstromba150c32013-08-27 17:31:03 -07001446 CHECK_EQ(kOatClassNoneCompiled, type_);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001447 return nullptr;
Brian Carlstromba150c32013-08-27 17:31:03 -07001448 }
1449 size_t methods_pointer_index;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001450 if (bitmap_ == nullptr) {
Brian Carlstromba150c32013-08-27 17:31:03 -07001451 CHECK_EQ(kOatClassAllCompiled, type_);
1452 methods_pointer_index = method_index;
1453 } else {
1454 CHECK_EQ(kOatClassSomeCompiled, type_);
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001455 if (!BitVector::IsBitSet(bitmap_, method_index)) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001456 return nullptr;
Brian Carlstromba150c32013-08-27 17:31:03 -07001457 }
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001458 size_t num_set_bits = BitVector::NumSetBits(bitmap_, method_index);
1459 methods_pointer_index = num_set_bits;
Brian Carlstromba150c32013-08-27 17:31:03 -07001460 }
1461 const OatMethodOffsets& oat_method_offsets = methods_pointer_[methods_pointer_index];
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001462 return &oat_method_offsets;
1463}
1464
1465const OatFile::OatMethod OatFile::OatClass::GetOatMethod(uint32_t method_index) const {
1466 const OatMethodOffsets* oat_method_offsets = GetOatMethodOffsets(method_index);
1467 if (oat_method_offsets == nullptr) {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -08001468 return OatMethod(nullptr, 0);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001469 }
1470 if (oat_file_->IsExecutable() ||
1471 Runtime::Current() == nullptr || // This case applies for oatdump.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001472 Runtime::Current()->IsAotCompiler()) {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -08001473 return OatMethod(oat_file_->Begin(), oat_method_offsets->code_offset_);
Alex Light9dcc4572014-08-14 14:16:26 -07001474 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001475 // We aren't allowed to use the compiled code. We just force it down the interpreted / jit
1476 // version.
1477 return OatMethod(oat_file_->Begin(), 0);
Brian Carlstrom3320cf42011-10-04 14:58:28 -07001478}
1479
Mathieu Chartiere401d142015-04-22 13:56:20 -07001480void OatFile::OatMethod::LinkMethod(ArtMethod* method) const {
Andreas Gampefa8429b2015-04-07 18:34:42 -07001481 CHECK(method != nullptr);
Ian Rogersef7d42f2014-01-06 12:55:46 -08001482 method->SetEntryPointFromQuickCompiledCode(GetQuickCode());
Brian Carlstromae826982011-11-09 01:33:42 -08001483}
1484
Andreas Gampe7ba64962014-10-23 11:37:40 -07001485bool OatFile::IsPic() const {
Igor Murashkin46774762014-10-22 11:37:02 -07001486 return GetOatHeader().IsPic();
Andreas Gampe7ba64962014-10-23 11:37:40 -07001487 // TODO: Check against oat_patches. b/18144996
1488}
1489
Sebastien Hertz0de11332015-05-13 12:14:05 +02001490bool OatFile::IsDebuggable() const {
1491 return GetOatHeader().IsDebuggable();
1492}
1493
Andreas Gampe29d38e72016-03-23 15:31:51 +00001494CompilerFilter::Filter OatFile::GetCompilerFilter() const {
1495 return GetOatHeader().GetCompilerFilter();
Calin Juravleb077e152016-02-18 18:47:37 +00001496}
1497
Andreas Gampe7848da42015-04-09 11:15:04 -07001498static constexpr char kDexClassPathEncodingSeparator = '*';
1499
Jeff Hao16d48432017-04-05 17:05:46 -07001500std::string OatFile::EncodeDexFileDependencies(const std::vector<const DexFile*>& dex_files,
1501 std::string& base_dir) {
Andreas Gampe7848da42015-04-09 11:15:04 -07001502 std::ostringstream out;
1503
1504 for (const DexFile* dex_file : dex_files) {
Jeff Hao16d48432017-04-05 17:05:46 -07001505 const std::string& location = dex_file->GetLocation();
1506 // Find paths that were relative and convert them back from absolute.
1507 if (!base_dir.empty() && location.substr(0, base_dir.length()) == base_dir) {
1508 out << location.substr(base_dir.length() + 1).c_str();
1509 } else {
1510 out << dex_file->GetLocation().c_str();
1511 }
Andreas Gampe7848da42015-04-09 11:15:04 -07001512 out << kDexClassPathEncodingSeparator;
1513 out << dex_file->GetLocationChecksum();
1514 out << kDexClassPathEncodingSeparator;
1515 }
1516
1517 return out.str();
1518}
1519
Vladimir Marko97d7e1c2016-10-04 14:44:28 +01001520OatFile::OatClass OatFile::FindOatClass(const DexFile& dex_file,
1521 uint16_t class_def_idx,
1522 bool* found) {
1523 DCHECK_NE(class_def_idx, DexFile::kDexNoIndex16);
1524 const OatFile::OatDexFile* oat_dex_file = dex_file.GetOatDexFile();
Mathieu Chartier1b868492016-11-16 16:22:37 -08001525 if (oat_dex_file == nullptr || oat_dex_file->GetOatFile() == nullptr) {
Vladimir Marko97d7e1c2016-10-04 14:44:28 +01001526 *found = false;
1527 return OatFile::OatClass::Invalid();
1528 }
1529 *found = true;
1530 return oat_dex_file->GetOatClass(class_def_idx);
1531}
1532
Mathieu Chartier1b868492016-11-16 16:22:37 -08001533void OatFile::OatDexFile::AssertAotCompiler() {
1534 CHECK(Runtime::Current()->IsAotCompiler());
1535}
1536
Brian Carlstrome24fa612011-09-29 00:53:55 -07001537} // namespace art