blob: 5752fd9549e67fac95d4f5ff0f364c035930a408 [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
Mathieu Chartiere401d142015-04-22 13:56:20 -070035#include "art_method-inl.h"
Brian Carlstromba150c32013-08-27 17:31:03 -070036#include "base/bit_vector.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070037#include "base/enums.h"
Elliott Hughes1aa246d2012-12-13 09:29:36 -080038#include "base/stl_util.h"
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -080039#include "base/systrace.h"
Elliott Hughes76160052012-12-12 16:31:20 -080040#include "base/unix_file/fd_file.h"
Brian Carlstrom700c8d32012-11-05 10:42:02 -080041#include "elf_file.h"
Alex Light84d76052014-08-22 17:49:35 -070042#include "elf_utils.h"
Brian Carlstrom700c8d32012-11-05 10:42:02 -080043#include "oat.h"
David Srbecky1baabf02015-06-16 17:12:34 +000044#include "mem_map.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080045#include "mirror/class.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070046#include "mirror/object-inl.h"
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +010047#include "oat_file-inl.h"
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -070048#include "oat_file_manager.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070049#include "os.h"
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070050#include "runtime.h"
Vladimir Marko9bdf1082016-01-21 12:15:52 +000051#include "type_lookup_table.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080052#include "utils.h"
Vladimir Marko09d09432015-09-08 13:47:48 +010053#include "utils/dex_cache_arrays_layout-inl.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070054
55namespace art {
56
Andreas Gampe049cff02015-12-01 23:27:12 -080057// Whether OatFile::Open will try dlopen. Fallback is our own ELF loader.
David Srbecky1baabf02015-06-16 17:12:34 +000058static constexpr bool kUseDlopen = true;
Andreas Gampefa8429b2015-04-07 18:34:42 -070059
Andreas Gampe049cff02015-12-01 23:27:12 -080060// Whether OatFile::Open will try dlopen on the host. On the host we're not linking against
Andreas Gampefa8429b2015-04-07 18:34:42 -070061// bionic, so cannot take advantage of the support for changed semantics (loading the same soname
62// multiple times). However, if/when we switch the above, we likely want to switch this, too,
63// to get test coverage of the code paths.
David Srbecky1baabf02015-06-16 17:12:34 +000064static constexpr bool kUseDlopenOnHost = true;
Andreas Gampefa8429b2015-04-07 18:34:42 -070065
66// For debugging, Open will print DlOpen error message if set to true.
67static constexpr bool kPrintDlOpenErrorMessage = false;
68
Andreas Gampe049cff02015-12-01 23:27:12 -080069// Note for OatFileBase and descendents:
70//
71// These are used in OatFile::Open to try all our loaders.
72//
73// The process is simple:
74//
75// 1) Allocate an instance through the standard constructor (location, executable)
76// 2) Load() to try to open the file.
77// 3) ComputeFields() to populate the OatFile fields like begin_, using FindDynamicSymbolAddress.
78// 4) PreSetup() for any steps that should be done before the final setup.
79// 5) Setup() to complete the procedure.
Richard Uhlere5fed032015-03-18 08:21:11 -070080
Andreas Gampe049cff02015-12-01 23:27:12 -080081class OatFileBase : public OatFile {
82 public:
83 virtual ~OatFileBase() {}
Richard Uhlere5fed032015-03-18 08:21:11 -070084
Andreas Gampe049cff02015-12-01 23:27:12 -080085 template <typename kOatFileBaseSubType>
86 static OatFileBase* OpenOatFile(const std::string& elf_filename,
Alex Light84d76052014-08-22 17:49:35 -070087 const std::string& location,
Andreas Gampe049cff02015-12-01 23:27:12 -080088 uint8_t* requested_base,
89 uint8_t* oat_file_begin,
90 bool writable,
91 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -080092 bool low_4gb,
Richard Uhlere5fed032015-03-18 08:21:11 -070093 const char* abs_dex_location,
Andreas Gampe049cff02015-12-01 23:27:12 -080094 std::string* error_msg);
Brian Carlstrom700c8d32012-11-05 10:42:02 -080095
Andreas Gampe049cff02015-12-01 23:27:12 -080096 protected:
97 OatFileBase(const std::string& filename, bool executable) : OatFile(filename, executable) {}
Andreas Gampefa8429b2015-04-07 18:34:42 -070098
Andreas Gampe049cff02015-12-01 23:27:12 -080099 virtual const uint8_t* FindDynamicSymbolAddress(const std::string& symbol_name,
100 std::string* error_msg) const = 0;
101
Andreas Gampe4075f832016-05-18 13:09:54 -0700102 virtual void PreLoad() = 0;
103
Andreas Gampe049cff02015-12-01 23:27:12 -0800104 virtual bool Load(const std::string& elf_filename,
105 uint8_t* oat_file_begin,
106 bool writable,
107 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800108 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800109 std::string* error_msg) = 0;
110
111 bool ComputeFields(uint8_t* requested_base,
112 const std::string& file_path,
113 std::string* error_msg);
114
115 virtual void PreSetup(const std::string& elf_filename) = 0;
116
117 bool Setup(const char* abs_dex_location, std::string* error_msg);
118
119 // Setters exposed for ElfOatFile.
120
121 void SetBegin(const uint8_t* begin) {
122 begin_ = begin;
Andreas Gampefa8429b2015-04-07 18:34:42 -0700123 }
124
Andreas Gampe049cff02015-12-01 23:27:12 -0800125 void SetEnd(const uint8_t* end) {
126 end_ = end;
127 }
128
129 private:
130 DISALLOW_COPY_AND_ASSIGN(OatFileBase);
131};
132
133template <typename kOatFileBaseSubType>
134OatFileBase* OatFileBase::OpenOatFile(const std::string& elf_filename,
135 const std::string& location,
136 uint8_t* requested_base,
137 uint8_t* oat_file_begin,
138 bool writable,
139 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800140 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800141 const char* abs_dex_location,
142 std::string* error_msg) {
143 std::unique_ptr<OatFileBase> ret(new kOatFileBaseSubType(location, executable));
Andreas Gampe4075f832016-05-18 13:09:54 -0700144
145 ret->PreLoad();
146
Andreas Gampe049cff02015-12-01 23:27:12 -0800147 if (!ret->Load(elf_filename,
148 oat_file_begin,
149 writable,
150 executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800151 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800152 error_msg)) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800153 return nullptr;
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800154 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800155
Andreas Gampe049cff02015-12-01 23:27:12 -0800156 if (!ret->ComputeFields(requested_base, elf_filename, error_msg)) {
157 return nullptr;
158 }
Andreas Gampe4075f832016-05-18 13:09:54 -0700159
Andreas Gampe049cff02015-12-01 23:27:12 -0800160 ret->PreSetup(elf_filename);
161
162 if (!ret->Setup(abs_dex_location, error_msg)) {
163 return nullptr;
164 }
165
Dave Allison69dfe512014-07-11 17:11:58 +0000166 return ret.release();
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800167}
168
Andreas Gampe049cff02015-12-01 23:27:12 -0800169bool OatFileBase::ComputeFields(uint8_t* requested_base,
170 const std::string& file_path,
171 std::string* error_msg) {
172 std::string symbol_error_msg;
173 begin_ = FindDynamicSymbolAddress("oatdata", &symbol_error_msg);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700174 if (begin_ == nullptr) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800175 *error_msg = StringPrintf("Failed to find oatdata symbol in '%s' %s",
176 file_path.c_str(),
177 symbol_error_msg.c_str());
Andreas Gampefa8429b2015-04-07 18:34:42 -0700178 return false;
179 }
180 if (requested_base != nullptr && begin_ != requested_base) {
Nicolas Geoffrayf97cf2a2016-03-09 15:36:23 +0000181 // Host can fail this check. Do not dump there to avoid polluting the output.
Andreas Gampe7ec09042016-04-01 17:20:49 -0700182 if (kIsTargetBuild && (kIsDebugBuild || VLOG_IS_ON(oat))) {
Nicolas Geoffrayf97cf2a2016-03-09 15:36:23 +0000183 PrintFileToLog("/proc/self/maps", LogSeverity::WARNING);
184 }
Andreas Gampefa8429b2015-04-07 18:34:42 -0700185 *error_msg = StringPrintf("Failed to find oatdata symbol at expected address: "
Andreas Gampe049cff02015-12-01 23:27:12 -0800186 "oatdata=%p != expected=%p. See process maps in the log.",
187 begin_, requested_base);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700188 return false;
189 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800190 end_ = FindDynamicSymbolAddress("oatlastword", &symbol_error_msg);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700191 if (end_ == nullptr) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800192 *error_msg = StringPrintf("Failed to find oatlastword symbol in '%s' %s",
193 file_path.c_str(),
194 symbol_error_msg.c_str());
Andreas Gampefa8429b2015-04-07 18:34:42 -0700195 return false;
196 }
197 // Readjust to be non-inclusive upper bound.
198 end_ += sizeof(uint32_t);
199
Andreas Gampe049cff02015-12-01 23:27:12 -0800200 bss_begin_ = const_cast<uint8_t*>(FindDynamicSymbolAddress("oatbss", &symbol_error_msg));
Andreas Gampefa8429b2015-04-07 18:34:42 -0700201 if (bss_begin_ == nullptr) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800202 // No .bss section.
Andreas Gampefa8429b2015-04-07 18:34:42 -0700203 bss_end_ = nullptr;
Andreas Gampefa8429b2015-04-07 18:34:42 -0700204 } else {
Andreas Gampe049cff02015-12-01 23:27:12 -0800205 bss_end_ = const_cast<uint8_t*>(FindDynamicSymbolAddress("oatbsslastword", &symbol_error_msg));
Andreas Gampefa8429b2015-04-07 18:34:42 -0700206 if (bss_end_ == nullptr) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800207 *error_msg = StringPrintf("Failed to find oatbasslastword symbol in '%s'", file_path.c_str());
Andreas Gampefa8429b2015-04-07 18:34:42 -0700208 return false;
209 }
210 // Readjust to be non-inclusive upper bound.
211 bss_end_ += sizeof(uint32_t);
212 }
213
Andreas Gampe049cff02015-12-01 23:27:12 -0800214 return true;
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800215}
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -0800216
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100217// Read an unaligned entry from the OatDexFile data in OatFile and advance the read
218// position by the number of bytes read, i.e. sizeof(T).
219// Return true on success, false if the read would go beyond the end of the OatFile.
220template <typename T>
Vladimir Marko722fa982015-10-19 18:18:27 +0100221inline static bool ReadOatDexFileData(const OatFile& oat_file,
222 /*inout*/const uint8_t** oat,
223 /*out*/T* value) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100224 DCHECK(oat != nullptr);
225 DCHECK(value != nullptr);
226 DCHECK_LE(*oat, oat_file.End());
227 if (UNLIKELY(static_cast<size_t>(oat_file.End() - *oat) < sizeof(T))) {
228 return false;
229 }
230 static_assert(std::is_trivial<T>::value, "T must be a trivial type");
231 typedef __attribute__((__aligned__(1))) T unaligned_type;
232 *value = *reinterpret_cast<const unaligned_type*>(*oat);
233 *oat += sizeof(T);
234 return true;
235}
236
Andreas Gampe049cff02015-12-01 23:27:12 -0800237bool OatFileBase::Setup(const char* abs_dex_location, std::string* error_msg) {
Brian Carlstromf1b30302013-03-28 10:35:32 -0700238 if (!GetOatHeader().IsValid()) {
Andreas Gampe2bcb3b22014-12-12 15:25:14 -0800239 std::string cause = GetOatHeader().GetValidationErrorMessage();
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100240 *error_msg = StringPrintf("Invalid oat header for '%s': %s",
241 GetLocation().c_str(),
Andreas Gampe2bcb3b22014-12-12 15:25:14 -0800242 cause.c_str());
Brian Carlstromf1b30302013-03-28 10:35:32 -0700243 return false;
244 }
Ian Rogers13735952014-10-08 12:43:28 -0700245 const uint8_t* oat = Begin();
Brian Carlstrome24fa612011-09-29 00:53:55 -0700246 oat += sizeof(OatHeader);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700247 if (oat > End()) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700248 *error_msg = StringPrintf("In oat file '%s' found truncated OatHeader", GetLocation().c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700249 return false;
250 }
Brian Carlstrom81f3ca12012-03-17 00:27:35 -0700251
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700252 oat += GetOatHeader().GetKeyValueStoreSize();
Brian Carlstromfb331d72013-07-25 22:00:16 -0700253 if (oat > End()) {
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700254 *error_msg = StringPrintf("In oat file '%s' found truncated variable-size data: "
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100255 "%p + %zu + %u <= %p",
256 GetLocation().c_str(),
257 Begin(),
258 sizeof(OatHeader),
259 GetOatHeader().GetKeyValueStoreSize(),
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700260 End());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700261 return false;
262 }
263
Andreas Gampe542451c2016-07-26 09:02:02 -0700264 PointerSize pointer_size = GetInstructionSetPointerSize(GetOatHeader().GetInstructionSet());
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100265 uint8_t* dex_cache_arrays = bss_begin_;
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100266 uint32_t dex_file_count = GetOatHeader().GetDexFileCount();
267 oat_dex_files_storage_.reserve(dex_file_count);
268 for (size_t i = 0; i < dex_file_count; i++) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100269 uint32_t dex_file_location_size;
270 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &dex_file_location_size))) {
271 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu truncated after dex file "
272 "location size",
273 GetLocation().c_str(),
274 i);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700275 return false;
276 }
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100277 if (UNLIKELY(dex_file_location_size == 0U)) {
278 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu with empty location name",
279 GetLocation().c_str(),
280 i);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700281 return false;
282 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000283 if (UNLIKELY(static_cast<size_t>(End() - oat) < dex_file_location_size)) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100284 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu with truncated dex file "
285 "location",
286 GetLocation().c_str(),
287 i);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700288 return false;
289 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000290 const char* dex_file_location_data = reinterpret_cast<const char*>(oat);
291 oat += dex_file_location_size;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700292
Richard Uhlere5fed032015-03-18 08:21:11 -0700293 std::string dex_file_location = ResolveRelativeEncodedDexLocation(
294 abs_dex_location,
295 std::string(dex_file_location_data, dex_file_location_size));
Brian Carlstrome24fa612011-09-29 00:53:55 -0700296
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100297 uint32_t dex_file_checksum;
298 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &dex_file_checksum))) {
299 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' truncated after "
300 "dex file checksum",
301 GetLocation().c_str(),
302 i,
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700303 dex_file_location.c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700304 return false;
305 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700306
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100307 uint32_t dex_file_offset;
308 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &dex_file_offset))) {
309 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' truncated "
310 "after dex file offsets",
311 GetLocation().c_str(),
312 i,
313 dex_file_location.c_str());
314 return false;
315 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700316 if (UNLIKELY(dex_file_offset == 0U)) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100317 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with zero dex "
318 "file offset",
319 GetLocation().c_str(),
320 i,
321 dex_file_location.c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700322 return false;
323 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700324 if (UNLIKELY(dex_file_offset > Size())) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100325 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with dex file "
326 "offset %u > %zu",
327 GetLocation().c_str(),
328 i,
329 dex_file_location.c_str(),
330 dex_file_offset,
331 Size());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700332 return false;
333 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000334 if (UNLIKELY(Size() - dex_file_offset < sizeof(DexFile::Header))) {
335 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with dex file "
336 "offset %u of %zu but the size of dex file header is %zu",
337 GetLocation().c_str(),
338 i,
339 dex_file_location.c_str(),
340 dex_file_offset,
341 Size(),
342 sizeof(DexFile::Header));
343 return false;
344 }
Brian Carlstrom89521892011-12-07 22:05:07 -0800345
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800346 const uint8_t* dex_file_pointer = Begin() + dex_file_offset;
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700347 if (UNLIKELY(!DexFile::IsMagicValid(dex_file_pointer))) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100348 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with invalid "
349 "dex file magic '%s'",
350 GetLocation().c_str(),
351 i,
352 dex_file_location.c_str(),
353 dex_file_pointer);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700354 return false;
355 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700356 if (UNLIKELY(!DexFile::IsVersionValid(dex_file_pointer))) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100357 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with invalid "
358 "dex file version '%s'",
359 GetLocation().c_str(),
360 i,
361 dex_file_location.c_str(),
362 dex_file_pointer);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700363 return false;
364 }
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -0800365 const DexFile::Header* header = reinterpret_cast<const DexFile::Header*>(dex_file_pointer);
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000366 if (Size() - dex_file_offset < header->file_size_) {
367 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with dex file "
368 "offset %u and size %u truncated at %zu",
369 GetLocation().c_str(),
370 i,
371 dex_file_location.c_str(),
372 dex_file_offset,
373 header->file_size_,
374 Size());
375 return false;
376 }
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300377
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000378 uint32_t class_offsets_offset;
379 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &class_offsets_offset))) {
380 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' truncated "
381 "after class offsets offset",
382 GetLocation().c_str(),
383 i,
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300384 dex_file_location.c_str());
385 return false;
386 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000387 if (UNLIKELY(class_offsets_offset > Size()) ||
388 UNLIKELY((Size() - class_offsets_offset) / sizeof(uint32_t) < header->class_defs_size_)) {
389 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with truncated "
390 "class offsets, offset %u of %zu, class defs %u",
391 GetLocation().c_str(),
392 i,
393 dex_file_location.c_str(),
394 class_offsets_offset,
395 Size(),
396 header->class_defs_size_);
397 return false;
398 }
399 if (UNLIKELY(!IsAligned<alignof(uint32_t)>(class_offsets_offset))) {
400 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with unaligned "
401 "class offsets, offset %u",
402 GetLocation().c_str(),
403 i,
404 dex_file_location.c_str(),
405 class_offsets_offset);
406 return false;
407 }
408 const uint32_t* class_offsets_pointer =
409 reinterpret_cast<const uint32_t*>(Begin() + class_offsets_offset);
410
411 uint32_t lookup_table_offset;
412 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &lookup_table_offset))) {
413 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd for '%s' truncated "
414 "after lookup table offset",
415 GetLocation().c_str(),
416 i,
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300417 dex_file_location.c_str());
418 return false;
419 }
420 const uint8_t* lookup_table_data = lookup_table_offset != 0u
421 ? Begin() + lookup_table_offset
422 : nullptr;
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000423 if (lookup_table_offset != 0u &&
424 (UNLIKELY(lookup_table_offset > Size()) ||
425 UNLIKELY(Size() - lookup_table_offset <
426 TypeLookupTable::RawDataLength(header->class_defs_size_)))) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100427 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with truncated "
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000428 "type lookup table, offset %u of %zu, class defs %u",
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100429 GetLocation().c_str(),
430 i,
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000431 dex_file_location.c_str(),
432 lookup_table_offset,
433 Size(),
434 header->class_defs_size_);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700435 return false;
436 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700437
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100438 uint8_t* current_dex_cache_arrays = nullptr;
Vladimir Marko09d09432015-09-08 13:47:48 +0100439 if (dex_cache_arrays != nullptr) {
440 DexCacheArraysLayout layout(pointer_size, *header);
441 if (layout.Size() != 0u) {
442 if (static_cast<size_t>(bss_end_ - dex_cache_arrays) < layout.Size()) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100443 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with "
444 "truncated dex cache arrays, %zu < %zu.",
445 GetLocation().c_str(),
446 i,
447 dex_file_location.c_str(),
448 static_cast<size_t>(bss_end_ - dex_cache_arrays),
449 layout.Size());
Vladimir Marko09d09432015-09-08 13:47:48 +0100450 return false;
451 }
452 current_dex_cache_arrays = dex_cache_arrays;
453 dex_cache_arrays += layout.Size();
454 }
455 }
456
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100457 std::string canonical_location = DexFile::GetDexCanonicalLocation(dex_file_location.c_str());
458
459 // Create the OatDexFile and add it to the owning container.
Vladimir Marko539690a2014-06-05 18:36:42 +0100460 OatDexFile* oat_dex_file = new OatDexFile(this,
461 dex_file_location,
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100462 canonical_location,
Vladimir Marko539690a2014-06-05 18:36:42 +0100463 dex_file_checksum,
464 dex_file_pointer,
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300465 lookup_table_data,
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000466 class_offsets_pointer,
Vladimir Marko09d09432015-09-08 13:47:48 +0100467 current_dex_cache_arrays);
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100468 oat_dex_files_storage_.push_back(oat_dex_file);
469
470 // Add the location and canonical location (if different) to the oat_dex_files_ table.
Vladimir Marko3f5838d2014-08-07 18:07:18 +0100471 StringPiece key(oat_dex_file->GetDexFileLocation());
Vladimir Marko539690a2014-06-05 18:36:42 +0100472 oat_dex_files_.Put(key, oat_dex_file);
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100473 if (canonical_location != dex_file_location) {
474 StringPiece canonical_key(oat_dex_file->GetCanonicalDexFileLocation());
475 oat_dex_files_.Put(canonical_key, oat_dex_file);
476 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700477 }
Vladimir Marko09d09432015-09-08 13:47:48 +0100478
479 if (dex_cache_arrays != bss_end_) {
480 // We expect the bss section to be either empty (dex_cache_arrays and bss_end_
481 // both null) or contain just the dex cache arrays and nothing else.
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100482 *error_msg = StringPrintf("In oat file '%s' found unexpected bss size bigger by %zu bytes.",
Vladimir Marko09d09432015-09-08 13:47:48 +0100483 GetLocation().c_str(),
484 static_cast<size_t>(bss_end_ - dex_cache_arrays));
485 return false;
486 }
Brian Carlstromf1b30302013-03-28 10:35:32 -0700487 return true;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700488}
489
Andreas Gampe049cff02015-12-01 23:27:12 -0800490////////////////////////
491// OatFile via dlopen //
492////////////////////////
493
Andreas Gampe049cff02015-12-01 23:27:12 -0800494class DlOpenOatFile FINAL : public OatFileBase {
495 public:
496 DlOpenOatFile(const std::string& filename, bool executable)
497 : OatFileBase(filename, executable),
498 dlopen_handle_(nullptr),
Richard Uhlera206c742016-05-24 15:04:22 -0700499 shared_objects_before_(0) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800500 }
501
502 ~DlOpenOatFile() {
503 if (dlopen_handle_ != nullptr) {
Richard Uhlera206c742016-05-24 15:04:22 -0700504 if (!kIsTargetBuild) {
505 MutexLock mu(Thread::Current(), *Locks::host_dlopen_handles_lock_);
506 host_dlopen_handles_.erase(dlopen_handle_);
Mathieu Chartierc7d3f4b2016-06-01 10:48:19 -0700507 dlclose(dlopen_handle_);
508 } else {
509 dlclose(dlopen_handle_);
Richard Uhlera206c742016-05-24 15:04:22 -0700510 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800511 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800512 }
513
514 protected:
515 const uint8_t* FindDynamicSymbolAddress(const std::string& symbol_name,
516 std::string* error_msg) const OVERRIDE {
517 const uint8_t* ptr =
518 reinterpret_cast<const uint8_t*>(dlsym(dlopen_handle_, symbol_name.c_str()));
519 if (ptr == nullptr) {
520 *error_msg = dlerror();
521 }
522 return ptr;
523 }
524
Andreas Gampe4075f832016-05-18 13:09:54 -0700525 void PreLoad() OVERRIDE;
526
Andreas Gampe049cff02015-12-01 23:27:12 -0800527 bool Load(const std::string& elf_filename,
528 uint8_t* oat_file_begin,
529 bool writable,
530 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800531 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800532 std::string* error_msg) OVERRIDE;
533
534 // Ask the linker where it mmaped the file and notify our mmap wrapper of the regions.
535 void PreSetup(const std::string& elf_filename) OVERRIDE;
536
537 private:
538 bool Dlopen(const std::string& elf_filename,
539 uint8_t* oat_file_begin,
540 std::string* error_msg);
541
Richard Uhlera206c742016-05-24 15:04:22 -0700542 // On the host, if the same library is loaded again with dlopen the same
543 // file handle is returned. This differs from the behavior of dlopen on the
544 // target, where dlopen reloads the library at a different address every
545 // time you load it. The runtime relies on the target behavior to ensure
546 // each instance of the loaded library has a unique dex cache. To avoid
547 // problems, we fall back to our own linker in the case when the same
548 // library is opened multiple times on host. dlopen_handles_ is used to
549 // detect that case.
550 // Guarded by host_dlopen_handles_lock_;
551 static std::unordered_set<void*> host_dlopen_handles_;
552
Andreas Gampe049cff02015-12-01 23:27:12 -0800553 // dlopen handle during runtime.
554 void* dlopen_handle_; // TODO: Unique_ptr with custom deleter.
555
556 // Dummy memory map objects corresponding to the regions mapped by dlopen.
557 std::vector<std::unique_ptr<MemMap>> dlopen_mmaps_;
558
Andreas Gampe4075f832016-05-18 13:09:54 -0700559 // The number of shared objects the linker told us about before loading. Used to
560 // (optimistically) optimize the PreSetup stage (see comment there).
561 size_t shared_objects_before_;
562
Andreas Gampe049cff02015-12-01 23:27:12 -0800563 DISALLOW_COPY_AND_ASSIGN(DlOpenOatFile);
564};
565
Richard Uhlera206c742016-05-24 15:04:22 -0700566std::unordered_set<void*> DlOpenOatFile::host_dlopen_handles_;
567
Andreas Gampe4075f832016-05-18 13:09:54 -0700568void DlOpenOatFile::PreLoad() {
569#ifdef __APPLE__
Andreas Gampe39004a62016-05-18 21:27:00 -0700570 UNUSED(shared_objects_before_);
Andreas Gampe4075f832016-05-18 13:09:54 -0700571 LOG(FATAL) << "Should not reach here.";
572 UNREACHABLE();
573#else
574 // Count the entries in dl_iterate_phdr we get at this point in time.
575 struct dl_iterate_context {
576 static int callback(struct dl_phdr_info *info ATTRIBUTE_UNUSED,
577 size_t size ATTRIBUTE_UNUSED,
578 void *data) {
579 reinterpret_cast<dl_iterate_context*>(data)->count++;
580 return 0; // Continue iteration.
581 }
582 size_t count = 0;
583 } context;
584
585 dl_iterate_phdr(dl_iterate_context::callback, &context);
586 shared_objects_before_ = context.count;
587#endif
588}
589
Andreas Gampe049cff02015-12-01 23:27:12 -0800590bool DlOpenOatFile::Load(const std::string& elf_filename,
591 uint8_t* oat_file_begin,
592 bool writable,
593 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800594 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800595 std::string* error_msg) {
596 // Use dlopen only when flagged to do so, and when it's OK to load things executable.
597 // TODO: Also try when not executable? The issue here could be re-mapping as writable (as
598 // !executable is a sign that we may want to patch), which may not be allowed for
599 // various reasons.
600 if (!kUseDlopen) {
601 *error_msg = "DlOpen is disabled.";
602 return false;
603 }
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800604 if (low_4gb) {
605 *error_msg = "DlOpen does not support low 4gb loading.";
606 return false;
607 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800608 if (writable) {
609 *error_msg = "DlOpen does not support writable loading.";
610 return false;
611 }
612 if (!executable) {
613 *error_msg = "DlOpen does not support non-executable loading.";
614 return false;
615 }
616
617 // dlopen always returns the same library if it is already opened on the host. For this reason
618 // we only use dlopen if we are the target or we do not already have the dex file opened. Having
619 // the same library loaded multiple times at different addresses is required for class unloading
620 // and for having dex caches arrays in the .bss section.
621 if (!kIsTargetBuild) {
622 if (!kUseDlopenOnHost) {
623 *error_msg = "DlOpen disabled for host.";
624 return false;
625 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800626 }
627
628 bool success = Dlopen(elf_filename, oat_file_begin, error_msg);
629 DCHECK(dlopen_handle_ != nullptr || !success);
630
631 return success;
632}
633
634bool DlOpenOatFile::Dlopen(const std::string& elf_filename,
635 uint8_t* oat_file_begin,
636 std::string* error_msg) {
637#ifdef __APPLE__
638 // The dl_iterate_phdr syscall is missing. There is similar API on OSX,
639 // but let's fallback to the custom loading code for the time being.
640 UNUSED(elf_filename, oat_file_begin);
641 *error_msg = "Dlopen unsupported on Mac.";
642 return false;
643#else
644 {
645 UniqueCPtr<char> absolute_path(realpath(elf_filename.c_str(), nullptr));
646 if (absolute_path == nullptr) {
647 *error_msg = StringPrintf("Failed to find absolute path for '%s'", elf_filename.c_str());
648 return false;
649 }
Bilyan Borisovbb661c02016-04-04 16:27:32 +0100650#ifdef ART_TARGET_ANDROID
Andreas Gampe049cff02015-12-01 23:27:12 -0800651 android_dlextinfo extinfo;
652 extinfo.flags = ANDROID_DLEXT_FORCE_LOAD | // Force-load, don't reuse handle
653 // (open oat files multiple
654 // times).
655 ANDROID_DLEXT_FORCE_FIXED_VADDR; // Take a non-zero vaddr as absolute
656 // (non-pic boot image).
Andreas Gampe226b91e2015-12-02 10:29:33 -0800657 if (oat_file_begin != nullptr) { //
658 extinfo.flags |= ANDROID_DLEXT_LOAD_AT_FIXED_ADDRESS; // Use the requested addr if
659 extinfo.reserved_addr = oat_file_begin; // vaddr = 0.
660 } // (pic boot image).
Andreas Gampe049cff02015-12-01 23:27:12 -0800661 dlopen_handle_ = android_dlopen_ext(absolute_path.get(), RTLD_NOW, &extinfo);
662#else
Andreas Gampe049cff02015-12-01 23:27:12 -0800663 UNUSED(oat_file_begin);
Richard Uhlera206c742016-05-24 15:04:22 -0700664 static_assert(!kIsTargetBuild, "host_dlopen_handles_ will leak handles");
Mathieu Chartierc7d3f4b2016-06-01 10:48:19 -0700665 MutexLock mu(Thread::Current(), *Locks::host_dlopen_handles_lock_);
Richard Uhlera206c742016-05-24 15:04:22 -0700666 dlopen_handle_ = dlopen(absolute_path.get(), RTLD_NOW);
667 if (dlopen_handle_ != nullptr) {
Richard Uhlera206c742016-05-24 15:04:22 -0700668 if (!host_dlopen_handles_.insert(dlopen_handle_).second) {
669 dlclose(dlopen_handle_);
670 dlopen_handle_ = nullptr;
671 *error_msg = StringPrintf("host dlopen re-opened '%s'", elf_filename.c_str());
672 return false;
673 }
674 }
Bilyan Borisovbb661c02016-04-04 16:27:32 +0100675#endif // ART_TARGET_ANDROID
Andreas Gampe049cff02015-12-01 23:27:12 -0800676 }
677 if (dlopen_handle_ == nullptr) {
678 *error_msg = StringPrintf("Failed to dlopen '%s': %s", elf_filename.c_str(), dlerror());
679 return false;
680 }
681 return true;
682#endif
683}
684
685void DlOpenOatFile::PreSetup(const std::string& elf_filename) {
Andreas Gampe74f07b52015-12-02 11:53:26 -0800686#ifdef __APPLE__
687 UNUSED(elf_filename);
688 LOG(FATAL) << "Should not reach here.";
689 UNREACHABLE();
690#else
Andreas Gampe049cff02015-12-01 23:27:12 -0800691 struct dl_iterate_context {
692 static int callback(struct dl_phdr_info *info, size_t /* size */, void *data) {
693 auto* context = reinterpret_cast<dl_iterate_context*>(data);
Andreas Gampe4075f832016-05-18 13:09:54 -0700694 context->shared_objects_seen++;
695 if (context->shared_objects_seen < context->shared_objects_before) {
696 // We haven't been called yet for anything we haven't seen before. Just continue.
697 // Note: this is aggressively optimistic. If another thread was unloading a library,
698 // we may miss out here. However, this does not happen often in practice.
699 return 0;
700 }
701
Andreas Gampe049cff02015-12-01 23:27:12 -0800702 // See whether this callback corresponds to the file which we have just loaded.
703 bool contains_begin = false;
704 for (int i = 0; i < info->dlpi_phnum; i++) {
705 if (info->dlpi_phdr[i].p_type == PT_LOAD) {
706 uint8_t* vaddr = reinterpret_cast<uint8_t*>(info->dlpi_addr +
707 info->dlpi_phdr[i].p_vaddr);
708 size_t memsz = info->dlpi_phdr[i].p_memsz;
709 if (vaddr <= context->begin_ && context->begin_ < vaddr + memsz) {
710 contains_begin = true;
711 break;
712 }
713 }
714 }
715 // Add dummy mmaps for this file.
716 if (contains_begin) {
717 for (int i = 0; i < info->dlpi_phnum; i++) {
718 if (info->dlpi_phdr[i].p_type == PT_LOAD) {
719 uint8_t* vaddr = reinterpret_cast<uint8_t*>(info->dlpi_addr +
720 info->dlpi_phdr[i].p_vaddr);
721 size_t memsz = info->dlpi_phdr[i].p_memsz;
722 MemMap* mmap = MemMap::MapDummy(info->dlpi_name, vaddr, memsz);
723 context->dlopen_mmaps_->push_back(std::unique_ptr<MemMap>(mmap));
724 }
725 }
726 return 1; // Stop iteration and return 1 from dl_iterate_phdr.
727 }
728 return 0; // Continue iteration and return 0 from dl_iterate_phdr when finished.
729 }
730 const uint8_t* const begin_;
731 std::vector<std::unique_ptr<MemMap>>* const dlopen_mmaps_;
Andreas Gampe4075f832016-05-18 13:09:54 -0700732 const size_t shared_objects_before;
733 size_t shared_objects_seen;
734 };
735 dl_iterate_context context = { Begin(), &dlopen_mmaps_, shared_objects_before_, 0};
Andreas Gampe049cff02015-12-01 23:27:12 -0800736
737 if (dl_iterate_phdr(dl_iterate_context::callback, &context) == 0) {
Andreas Gampe4075f832016-05-18 13:09:54 -0700738 // Hm. Maybe our optimization went wrong. Try another time with shared_objects_before == 0
739 // before giving up. This should be unusual.
740 VLOG(oat) << "Need a second run in PreSetup, didn't find with shared_objects_before="
741 << shared_objects_before_;
742 dl_iterate_context context0 = { Begin(), &dlopen_mmaps_, 0, 0};
743 if (dl_iterate_phdr(dl_iterate_context::callback, &context0) == 0) {
744 // OK, give up and print an error.
745 PrintFileToLog("/proc/self/maps", LogSeverity::WARNING);
746 LOG(ERROR) << "File " << elf_filename << " loaded with dlopen but cannot find its mmaps.";
747 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800748 }
Andreas Gampe74f07b52015-12-02 11:53:26 -0800749#endif
Andreas Gampe049cff02015-12-01 23:27:12 -0800750}
751
752////////////////////////////////////////////////
753// OatFile via our own ElfFile implementation //
754////////////////////////////////////////////////
755
756class ElfOatFile FINAL : public OatFileBase {
757 public:
758 ElfOatFile(const std::string& filename, bool executable) : OatFileBase(filename, executable) {}
759
760 static ElfOatFile* OpenElfFile(File* file,
761 const std::string& location,
762 uint8_t* requested_base,
763 uint8_t* oat_file_begin, // Override base if not null
764 bool writable,
765 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800766 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800767 const char* abs_dex_location,
768 std::string* error_msg);
769
770 bool InitializeFromElfFile(ElfFile* elf_file,
771 const char* abs_dex_location,
772 std::string* error_msg);
773
774 protected:
775 const uint8_t* FindDynamicSymbolAddress(const std::string& symbol_name,
776 std::string* error_msg) const OVERRIDE {
777 const uint8_t* ptr = elf_file_->FindDynamicSymbolAddress(symbol_name);
778 if (ptr == nullptr) {
779 *error_msg = "(Internal implementation could not find symbol)";
780 }
781 return ptr;
782 }
783
Andreas Gampe4075f832016-05-18 13:09:54 -0700784 void PreLoad() OVERRIDE {
785 }
786
Andreas Gampe049cff02015-12-01 23:27:12 -0800787 bool Load(const std::string& elf_filename,
788 uint8_t* oat_file_begin, // Override where the file is loaded to if not null
789 bool writable,
790 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800791 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800792 std::string* error_msg) OVERRIDE;
793
794 void PreSetup(const std::string& elf_filename ATTRIBUTE_UNUSED) OVERRIDE {
795 }
796
797 private:
798 bool ElfFileOpen(File* file,
799 uint8_t* oat_file_begin, // Override where the file is loaded to if not null
800 bool writable,
801 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800802 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800803 std::string* error_msg);
804
805 private:
806 // Backing memory map for oat file during cross compilation.
807 std::unique_ptr<ElfFile> elf_file_;
808
809 DISALLOW_COPY_AND_ASSIGN(ElfOatFile);
810};
811
812ElfOatFile* ElfOatFile::OpenElfFile(File* file,
813 const std::string& location,
814 uint8_t* requested_base,
815 uint8_t* oat_file_begin, // Override base if not null
816 bool writable,
817 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800818 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800819 const char* abs_dex_location,
820 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800821 ScopedTrace trace("Open elf file " + location);
Andreas Gampe049cff02015-12-01 23:27:12 -0800822 std::unique_ptr<ElfOatFile> oat_file(new ElfOatFile(location, executable));
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800823 bool success = oat_file->ElfFileOpen(file,
824 oat_file_begin,
825 writable,
826 low_4gb,
827 executable,
828 error_msg);
Andreas Gampe049cff02015-12-01 23:27:12 -0800829 if (!success) {
830 CHECK(!error_msg->empty());
831 return nullptr;
832 }
833
834 // Complete the setup.
835 if (!oat_file->ComputeFields(requested_base, file->GetPath(), error_msg)) {
836 return nullptr;
837 }
838
839 if (!oat_file->Setup(abs_dex_location, error_msg)) {
840 return nullptr;
841 }
842
843 return oat_file.release();
844}
845
846bool ElfOatFile::InitializeFromElfFile(ElfFile* elf_file,
847 const char* abs_dex_location,
848 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800849 ScopedTrace trace(__PRETTY_FUNCTION__);
Andreas Gampe049cff02015-12-01 23:27:12 -0800850 if (IsExecutable()) {
851 *error_msg = "Cannot initialize from elf file in executable mode.";
852 return false;
853 }
854 elf_file_.reset(elf_file);
855 uint64_t offset, size;
856 bool has_section = elf_file->GetSectionOffsetAndSize(".rodata", &offset, &size);
857 CHECK(has_section);
858 SetBegin(elf_file->Begin() + offset);
859 SetEnd(elf_file->Begin() + size + offset);
860 // Ignore the optional .bss section when opening non-executable.
861 return Setup(abs_dex_location, error_msg);
862}
863
864bool ElfOatFile::Load(const std::string& elf_filename,
865 uint8_t* oat_file_begin, // Override where the file is loaded to if not null
866 bool writable,
867 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800868 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800869 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800870 ScopedTrace trace(__PRETTY_FUNCTION__);
Andreas Gampe049cff02015-12-01 23:27:12 -0800871 std::unique_ptr<File> file(OS::OpenFileForReading(elf_filename.c_str()));
872 if (file == nullptr) {
873 *error_msg = StringPrintf("Failed to open oat filename for reading: %s", strerror(errno));
874 return false;
875 }
876 return ElfOatFile::ElfFileOpen(file.get(),
877 oat_file_begin,
878 writable,
879 executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800880 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800881 error_msg);
882}
883
884bool ElfOatFile::ElfFileOpen(File* file,
885 uint8_t* oat_file_begin,
886 bool writable,
887 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800888 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800889 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800890 ScopedTrace trace(__PRETTY_FUNCTION__);
Andreas Gampe049cff02015-12-01 23:27:12 -0800891 // TODO: rename requested_base to oat_data_begin
892 elf_file_.reset(ElfFile::Open(file,
893 writable,
894 /*program_header_only*/true,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800895 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800896 error_msg,
897 oat_file_begin));
898 if (elf_file_ == nullptr) {
899 DCHECK(!error_msg->empty());
900 return false;
901 }
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800902 bool loaded = elf_file_->Load(executable, low_4gb, error_msg);
Andreas Gampe049cff02015-12-01 23:27:12 -0800903 DCHECK(loaded || !error_msg->empty());
904 return loaded;
905}
906
907//////////////////////////
908// General OatFile code //
909//////////////////////////
910
911std::string OatFile::ResolveRelativeEncodedDexLocation(
912 const char* abs_dex_location, const std::string& rel_dex_location) {
913 if (abs_dex_location != nullptr && rel_dex_location[0] != '/') {
914 // Strip :classes<N>.dex used for secondary multidex files.
915 std::string base = DexFile::GetBaseLocation(rel_dex_location);
916 std::string multidex_suffix = DexFile::GetMultiDexSuffix(rel_dex_location);
917
918 // Check if the base is a suffix of the provided abs_dex_location.
919 std::string target_suffix = "/" + base;
920 std::string abs_location(abs_dex_location);
921 if (abs_location.size() > target_suffix.size()) {
922 size_t pos = abs_location.size() - target_suffix.size();
923 if (abs_location.compare(pos, std::string::npos, target_suffix) == 0) {
924 return abs_location + multidex_suffix;
925 }
926 }
927 }
928 return rel_dex_location;
929}
930
931static void CheckLocation(const std::string& location) {
932 CHECK(!location.empty());
933}
934
935OatFile* OatFile::OpenWithElfFile(ElfFile* elf_file,
936 const std::string& location,
937 const char* abs_dex_location,
938 std::string* error_msg) {
939 std::unique_ptr<ElfOatFile> oat_file(new ElfOatFile(location, false /* executable */));
940 return oat_file->InitializeFromElfFile(elf_file, abs_dex_location, error_msg)
941 ? oat_file.release()
942 : nullptr;
943}
944
945OatFile* OatFile::Open(const std::string& filename,
946 const std::string& location,
947 uint8_t* requested_base,
948 uint8_t* oat_file_begin,
949 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800950 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800951 const char* abs_dex_location,
952 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800953 ScopedTrace trace("Open oat file " + location);
Andreas Gampe049cff02015-12-01 23:27:12 -0800954 CHECK(!filename.empty()) << location;
955 CheckLocation(location);
Andreas Gampe54315c72016-05-18 21:10:42 -0700956
957 // Check that the file even exists, fast-fail.
958 if (!OS::FileExists(filename.c_str())) {
959 *error_msg = StringPrintf("File %s does not exist.", filename.c_str());
960 return nullptr;
961 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800962
963 // Try dlopen first, as it is required for native debuggability. This will fail fast if dlopen is
964 // disabled.
965 OatFile* with_dlopen = OatFileBase::OpenOatFile<DlOpenOatFile>(filename,
966 location,
967 requested_base,
968 oat_file_begin,
969 false,
970 executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800971 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800972 abs_dex_location,
973 error_msg);
974 if (with_dlopen != nullptr) {
975 return with_dlopen;
976 }
977 if (kPrintDlOpenErrorMessage) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800978 LOG(ERROR) << "Failed to dlopen: " << filename << " with error " << *error_msg;
Andreas Gampe049cff02015-12-01 23:27:12 -0800979 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800980 // If we aren't trying to execute, we just use our own ElfFile loader for a couple reasons:
981 //
982 // On target, dlopen may fail when compiling due to selinux restrictions on installd.
983 //
984 // We use our own ELF loader for Quick to deal with legacy apps that
985 // open a generated dex file by name, remove the file, then open
986 // another generated dex file with the same name. http://b/10614658
987 //
988 // On host, dlopen is expected to fail when cross compiling, so fall back to OpenElfFile.
989 //
990 //
991 // Another independent reason is the absolute placement of boot.oat. dlopen on the host usually
992 // does honor the virtual address encoded in the ELF file only for ET_EXEC files, not ET_DYN.
993 OatFile* with_internal = OatFileBase::OpenOatFile<ElfOatFile>(filename,
994 location,
995 requested_base,
996 oat_file_begin,
997 false,
998 executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800999 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -08001000 abs_dex_location,
1001 error_msg);
1002 return with_internal;
1003}
1004
1005OatFile* OatFile::OpenWritable(File* file,
1006 const std::string& location,
1007 const char* abs_dex_location,
1008 std::string* error_msg) {
1009 CheckLocation(location);
1010 return ElfOatFile::OpenElfFile(file,
1011 location,
1012 nullptr,
1013 nullptr,
1014 true,
1015 false,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001016 /*low_4gb*/false,
Andreas Gampe049cff02015-12-01 23:27:12 -08001017 abs_dex_location,
1018 error_msg);
1019}
1020
1021OatFile* OatFile::OpenReadable(File* file,
1022 const std::string& location,
1023 const char* abs_dex_location,
1024 std::string* error_msg) {
1025 CheckLocation(location);
1026 return ElfOatFile::OpenElfFile(file,
1027 location,
1028 nullptr,
1029 nullptr,
1030 false,
1031 false,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001032 /*low_4gb*/false,
Andreas Gampe049cff02015-12-01 23:27:12 -08001033 abs_dex_location,
1034 error_msg);
1035}
1036
1037OatFile::OatFile(const std::string& location, bool is_executable)
1038 : location_(location),
1039 begin_(nullptr),
1040 end_(nullptr),
1041 bss_begin_(nullptr),
1042 bss_end_(nullptr),
1043 is_executable_(is_executable),
1044 secondary_lookup_lock_("OatFile secondary lookup lock", kOatFileSecondaryLookupLock) {
1045 CHECK(!location_.empty());
1046}
1047
1048OatFile::~OatFile() {
1049 STLDeleteElements(&oat_dex_files_storage_);
1050}
1051
Brian Carlstrome24fa612011-09-29 00:53:55 -07001052const OatHeader& OatFile::GetOatHeader() const {
Ian Rogers30fab402012-01-23 15:43:46 -08001053 return *reinterpret_cast<const OatHeader*>(Begin());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001054}
1055
Ian Rogers13735952014-10-08 12:43:28 -07001056const uint8_t* OatFile::Begin() const {
Andreas Gampefa8429b2015-04-07 18:34:42 -07001057 CHECK(begin_ != nullptr);
Brian Carlstrom700c8d32012-11-05 10:42:02 -08001058 return begin_;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001059}
1060
Ian Rogers13735952014-10-08 12:43:28 -07001061const uint8_t* OatFile::End() const {
Andreas Gampefa8429b2015-04-07 18:34:42 -07001062 CHECK(end_ != nullptr);
Brian Carlstrom700c8d32012-11-05 10:42:02 -08001063 return end_;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001064}
1065
Vladimir Marko5c42c292015-02-25 12:02:49 +00001066const uint8_t* OatFile::BssBegin() const {
1067 return bss_begin_;
1068}
1069
1070const uint8_t* OatFile::BssEnd() const {
1071 return bss_end_;
1072}
1073
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001074const OatFile::OatDexFile* OatFile::GetOatDexFile(const char* dex_location,
1075 const uint32_t* dex_location_checksum,
Richard Uhler9a37efc2016-08-05 16:32:55 -07001076 std::string* error_msg) const {
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001077 // NOTE: We assume here that the canonical location for a given dex_location never
1078 // changes. If it does (i.e. some symlink used by the filename changes) we may return
1079 // an incorrect OatDexFile. As long as we have a checksum to check, we shall return
1080 // an identical file or fail; otherwise we may see some unpredictable failures.
Calin Juravle4e1d5792014-07-15 23:56:47 +01001081
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001082 // TODO: Additional analysis of usage patterns to see if this can be simplified
1083 // without any performance loss, for example by not doing the first lock-free lookup.
1084
1085 const OatFile::OatDexFile* oat_dex_file = nullptr;
1086 StringPiece key(dex_location);
1087 // Try to find the key cheaply in the oat_dex_files_ map which holds dex locations
1088 // directly mentioned in the oat file and doesn't require locking.
1089 auto primary_it = oat_dex_files_.find(key);
1090 if (primary_it != oat_dex_files_.end()) {
1091 oat_dex_file = primary_it->second;
1092 DCHECK(oat_dex_file != nullptr);
1093 } else {
1094 // This dex_location is not one of the dex locations directly mentioned in the
1095 // oat file. The correct lookup is via the canonical location but first see in
1096 // the secondary_oat_dex_files_ whether we've looked up this location before.
1097 MutexLock mu(Thread::Current(), secondary_lookup_lock_);
1098 auto secondary_lb = secondary_oat_dex_files_.lower_bound(key);
1099 if (secondary_lb != secondary_oat_dex_files_.end() && key == secondary_lb->first) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001100 oat_dex_file = secondary_lb->second; // May be null.
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001101 } else {
1102 // We haven't seen this dex_location before, we must check the canonical location.
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001103 std::string dex_canonical_location = DexFile::GetDexCanonicalLocation(dex_location);
Vladimir Markoaa4497d2014-09-05 14:01:17 +01001104 if (dex_canonical_location != dex_location) {
1105 StringPiece canonical_key(dex_canonical_location);
1106 auto canonical_it = oat_dex_files_.find(canonical_key);
1107 if (canonical_it != oat_dex_files_.end()) {
1108 oat_dex_file = canonical_it->second;
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001109 } // else keep null.
1110 } // else keep null.
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001111
1112 // Copy the key to the string_cache_ and store the result in secondary map.
1113 string_cache_.emplace_back(key.data(), key.length());
1114 StringPiece key_copy(string_cache_.back());
1115 secondary_oat_dex_files_.PutBefore(secondary_lb, key_copy, oat_dex_file);
Brian Carlstrom756ee4e2013-10-03 15:46:12 -07001116 }
1117 }
Richard Uhler9a37efc2016-08-05 16:32:55 -07001118
1119 if (oat_dex_file == nullptr) {
1120 if (error_msg != nullptr) {
1121 std::string dex_canonical_location = DexFile::GetDexCanonicalLocation(dex_location);
1122 *error_msg = "Failed to find OatDexFile for DexFile " + std::string(dex_location)
1123 + " (canonical path " + dex_canonical_location + ") in OatFile " + GetLocation();
1124 }
1125 return nullptr;
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001126 }
Brian Carlstrom756ee4e2013-10-03 15:46:12 -07001127
Richard Uhler9a37efc2016-08-05 16:32:55 -07001128 if (dex_location_checksum != nullptr &&
1129 oat_dex_file->GetDexFileLocationChecksum() != *dex_location_checksum) {
1130 if (error_msg != nullptr) {
1131 std::string dex_canonical_location = DexFile::GetDexCanonicalLocation(dex_location);
1132 std::string checksum = StringPrintf("0x%08x", oat_dex_file->GetDexFileLocationChecksum());
1133 std::string required_checksum = StringPrintf("0x%08x", *dex_location_checksum);
1134 *error_msg = "OatDexFile for DexFile " + std::string(dex_location)
1135 + " (canonical path " + dex_canonical_location + ") in OatFile " + GetLocation()
1136 + " has checksum " + checksum + " but " + required_checksum + " was required";
Brian Carlstrom0d6adac2014-02-05 17:39:16 -08001137 }
Richard Uhler9a37efc2016-08-05 16:32:55 -07001138 return nullptr;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001139 }
Richard Uhler9a37efc2016-08-05 16:32:55 -07001140 return oat_dex_file;
Brian Carlstromaded5f72011-10-07 17:15:04 -07001141}
1142
Brian Carlstrome24fa612011-09-29 00:53:55 -07001143OatFile::OatDexFile::OatDexFile(const OatFile* oat_file,
Elliott Hughesaa6a5882012-01-13 19:39:16 -08001144 const std::string& dex_file_location,
Vladimir Markoaa4497d2014-09-05 14:01:17 +01001145 const std::string& canonical_dex_file_location,
Brian Carlstrom5b332c82012-02-01 15:02:31 -08001146 uint32_t dex_file_location_checksum,
Ian Rogers13735952014-10-08 12:43:28 -07001147 const uint8_t* dex_file_pointer,
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001148 const uint8_t* lookup_table_data,
Vladimir Marko09d09432015-09-08 13:47:48 +01001149 const uint32_t* oat_class_offsets_pointer,
Vladimir Marko06d7aaa2015-10-16 11:23:41 +01001150 uint8_t* dex_cache_arrays)
Brian Carlstrome24fa612011-09-29 00:53:55 -07001151 : oat_file_(oat_file),
1152 dex_file_location_(dex_file_location),
Vladimir Markoaa4497d2014-09-05 14:01:17 +01001153 canonical_dex_file_location_(canonical_dex_file_location),
Brian Carlstrom5b332c82012-02-01 15:02:31 -08001154 dex_file_location_checksum_(dex_file_location_checksum),
Brian Carlstrom89521892011-12-07 22:05:07 -08001155 dex_file_pointer_(dex_file_pointer),
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001156 lookup_table_data_(lookup_table_data),
Vladimir Marko09d09432015-09-08 13:47:48 +01001157 oat_class_offsets_pointer_(oat_class_offsets_pointer),
1158 dex_cache_arrays_(dex_cache_arrays) {}
Brian Carlstrome24fa612011-09-29 00:53:55 -07001159
1160OatFile::OatDexFile::~OatDexFile() {}
1161
Ian Rogers05f28c62012-10-23 18:12:13 -07001162size_t OatFile::OatDexFile::FileSize() const {
1163 return reinterpret_cast<const DexFile::Header*>(dex_file_pointer_)->file_size_;
1164}
1165
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001166std::unique_ptr<const DexFile> OatFile::OatDexFile::OpenDexFile(std::string* error_msg) const {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -08001167 ScopedTrace trace(__PRETTY_FUNCTION__);
Aart Bik37d6a3b2016-06-21 18:30:10 -07001168 static constexpr bool kVerify = false;
1169 static constexpr bool kVerifyChecksum = false;
Andreas Gampe3a2bd292016-01-26 17:23:47 -08001170 return DexFile::Open(dex_file_pointer_,
1171 FileSize(),
1172 dex_file_location_,
1173 dex_file_location_checksum_,
1174 this,
Aart Bik37d6a3b2016-06-21 18:30:10 -07001175 kVerify,
1176 kVerifyChecksum,
Andreas Gampe3a2bd292016-01-26 17:23:47 -08001177 error_msg);
Brian Carlstrom89521892011-12-07 22:05:07 -08001178}
1179
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001180uint32_t OatFile::OatDexFile::GetOatClassOffset(uint16_t class_def_index) const {
1181 return oat_class_offsets_pointer_[class_def_index];
1182}
1183
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001184OatFile::OatClass OatFile::OatDexFile::GetOatClass(uint16_t class_def_index) const {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001185 uint32_t oat_class_offset = GetOatClassOffset(class_def_index);
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001186
Ian Rogers13735952014-10-08 12:43:28 -07001187 const uint8_t* oat_class_pointer = oat_file_->Begin() + oat_class_offset;
Brian Carlstrom7571e8b2013-08-12 17:04:14 -07001188 CHECK_LT(oat_class_pointer, oat_file_->End()) << oat_file_->GetLocation();
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001189
Ian Rogers13735952014-10-08 12:43:28 -07001190 const uint8_t* status_pointer = oat_class_pointer;
Brian Carlstromba150c32013-08-27 17:31:03 -07001191 CHECK_LT(status_pointer, oat_file_->End()) << oat_file_->GetLocation();
1192 mirror::Class::Status status =
1193 static_cast<mirror::Class::Status>(*reinterpret_cast<const int16_t*>(status_pointer));
1194 CHECK_LT(status, mirror::Class::kStatusMax);
1195
Ian Rogers13735952014-10-08 12:43:28 -07001196 const uint8_t* type_pointer = status_pointer + sizeof(uint16_t);
Brian Carlstromba150c32013-08-27 17:31:03 -07001197 CHECK_LT(type_pointer, oat_file_->End()) << oat_file_->GetLocation();
1198 OatClassType type = static_cast<OatClassType>(*reinterpret_cast<const uint16_t*>(type_pointer));
1199 CHECK_LT(type, kOatClassMax);
1200
Ian Rogers13735952014-10-08 12:43:28 -07001201 const uint8_t* after_type_pointer = type_pointer + sizeof(int16_t);
Brian Carlstromcd937a92014-03-04 22:53:23 -08001202 CHECK_LE(after_type_pointer, oat_file_->End()) << oat_file_->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -07001203
Brian Carlstromcd937a92014-03-04 22:53:23 -08001204 uint32_t bitmap_size = 0;
Ian Rogers13735952014-10-08 12:43:28 -07001205 const uint8_t* bitmap_pointer = nullptr;
1206 const uint8_t* methods_pointer = nullptr;
Ian Rogers97b52f82014-08-14 11:34:07 -07001207 if (type != kOatClassNoneCompiled) {
1208 if (type == kOatClassSomeCompiled) {
1209 bitmap_size = static_cast<uint32_t>(*reinterpret_cast<const uint32_t*>(after_type_pointer));
1210 bitmap_pointer = after_type_pointer + sizeof(bitmap_size);
1211 CHECK_LE(bitmap_pointer, oat_file_->End()) << oat_file_->GetLocation();
1212 methods_pointer = bitmap_pointer + bitmap_size;
1213 } else {
1214 methods_pointer = after_type_pointer;
1215 }
1216 CHECK_LE(methods_pointer, oat_file_->End()) << oat_file_->GetLocation();
Brian Carlstromcd937a92014-03-04 22:53:23 -08001217 }
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001218
Richard Uhler07b3c232015-03-31 15:57:54 -07001219 return OatFile::OatClass(oat_file_,
1220 status,
1221 type,
1222 bitmap_size,
1223 reinterpret_cast<const uint32_t*>(bitmap_pointer),
1224 reinterpret_cast<const OatMethodOffsets*>(methods_pointer));
Brian Carlstrome24fa612011-09-29 00:53:55 -07001225}
1226
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001227OatFile::OatClass::OatClass(const OatFile* oat_file,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001228 mirror::Class::Status status,
Brian Carlstromba150c32013-08-27 17:31:03 -07001229 OatClassType type,
1230 uint32_t bitmap_size,
1231 const uint32_t* bitmap_pointer,
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001232 const OatMethodOffsets* methods_pointer)
Brian Carlstromba150c32013-08-27 17:31:03 -07001233 : oat_file_(oat_file), status_(status), type_(type),
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001234 bitmap_(bitmap_pointer), methods_pointer_(methods_pointer) {
Brian Carlstromba150c32013-08-27 17:31:03 -07001235 switch (type_) {
1236 case kOatClassAllCompiled: {
1237 CHECK_EQ(0U, bitmap_size);
Brian Carlstromcd937a92014-03-04 22:53:23 -08001238 CHECK(bitmap_pointer == nullptr);
Ian Rogers97b52f82014-08-14 11:34:07 -07001239 CHECK(methods_pointer != nullptr);
Brian Carlstromba150c32013-08-27 17:31:03 -07001240 break;
1241 }
1242 case kOatClassSomeCompiled: {
1243 CHECK_NE(0U, bitmap_size);
Brian Carlstromcd937a92014-03-04 22:53:23 -08001244 CHECK(bitmap_pointer != nullptr);
Ian Rogers97b52f82014-08-14 11:34:07 -07001245 CHECK(methods_pointer != nullptr);
Brian Carlstromba150c32013-08-27 17:31:03 -07001246 break;
1247 }
1248 case kOatClassNoneCompiled: {
1249 CHECK_EQ(0U, bitmap_size);
Brian Carlstromcd937a92014-03-04 22:53:23 -08001250 CHECK(bitmap_pointer == nullptr);
Ian Rogers97b52f82014-08-14 11:34:07 -07001251 CHECK(methods_pointer_ == nullptr);
Brian Carlstromba150c32013-08-27 17:31:03 -07001252 break;
1253 }
1254 case kOatClassMax: {
1255 LOG(FATAL) << "Invalid OatClassType " << type_;
1256 break;
1257 }
1258 }
1259}
Brian Carlstrome24fa612011-09-29 00:53:55 -07001260
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001261uint32_t OatFile::OatClass::GetOatMethodOffsetsOffset(uint32_t method_index) const {
1262 const OatMethodOffsets* oat_method_offsets = GetOatMethodOffsets(method_index);
1263 if (oat_method_offsets == nullptr) {
1264 return 0u;
1265 }
1266 return reinterpret_cast<const uint8_t*>(oat_method_offsets) - oat_file_->Begin();
1267}
1268
1269const OatMethodOffsets* OatFile::OatClass::GetOatMethodOffsets(uint32_t method_index) const {
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001270 // 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 -07001271 if (methods_pointer_ == nullptr) {
Brian Carlstromba150c32013-08-27 17:31:03 -07001272 CHECK_EQ(kOatClassNoneCompiled, type_);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001273 return nullptr;
Brian Carlstromba150c32013-08-27 17:31:03 -07001274 }
1275 size_t methods_pointer_index;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001276 if (bitmap_ == nullptr) {
Brian Carlstromba150c32013-08-27 17:31:03 -07001277 CHECK_EQ(kOatClassAllCompiled, type_);
1278 methods_pointer_index = method_index;
1279 } else {
1280 CHECK_EQ(kOatClassSomeCompiled, type_);
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001281 if (!BitVector::IsBitSet(bitmap_, method_index)) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001282 return nullptr;
Brian Carlstromba150c32013-08-27 17:31:03 -07001283 }
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001284 size_t num_set_bits = BitVector::NumSetBits(bitmap_, method_index);
1285 methods_pointer_index = num_set_bits;
Brian Carlstromba150c32013-08-27 17:31:03 -07001286 }
1287 const OatMethodOffsets& oat_method_offsets = methods_pointer_[methods_pointer_index];
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001288 return &oat_method_offsets;
1289}
1290
1291const OatFile::OatMethod OatFile::OatClass::GetOatMethod(uint32_t method_index) const {
1292 const OatMethodOffsets* oat_method_offsets = GetOatMethodOffsets(method_index);
1293 if (oat_method_offsets == nullptr) {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -08001294 return OatMethod(nullptr, 0);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001295 }
1296 if (oat_file_->IsExecutable() ||
1297 Runtime::Current() == nullptr || // This case applies for oatdump.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001298 Runtime::Current()->IsAotCompiler()) {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -08001299 return OatMethod(oat_file_->Begin(), oat_method_offsets->code_offset_);
Alex Light9dcc4572014-08-14 14:16:26 -07001300 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001301 // We aren't allowed to use the compiled code. We just force it down the interpreted / jit
1302 // version.
1303 return OatMethod(oat_file_->Begin(), 0);
Brian Carlstrom3320cf42011-10-04 14:58:28 -07001304}
1305
Mathieu Chartiere401d142015-04-22 13:56:20 -07001306void OatFile::OatMethod::LinkMethod(ArtMethod* method) const {
Andreas Gampefa8429b2015-04-07 18:34:42 -07001307 CHECK(method != nullptr);
Ian Rogersef7d42f2014-01-06 12:55:46 -08001308 method->SetEntryPointFromQuickCompiledCode(GetQuickCode());
Brian Carlstromae826982011-11-09 01:33:42 -08001309}
1310
Richard Uhlerd1537b52016-03-29 13:27:41 -07001311bool OatFile::HasPatchInfo() const {
1312 return GetOatHeader().HasPatchInfo();
1313}
1314
Andreas Gampe7ba64962014-10-23 11:37:40 -07001315bool OatFile::IsPic() const {
Igor Murashkin46774762014-10-22 11:37:02 -07001316 return GetOatHeader().IsPic();
Andreas Gampe7ba64962014-10-23 11:37:40 -07001317 // TODO: Check against oat_patches. b/18144996
1318}
1319
Sebastien Hertz0de11332015-05-13 12:14:05 +02001320bool OatFile::IsDebuggable() const {
1321 return GetOatHeader().IsDebuggable();
1322}
1323
Andreas Gampe29d38e72016-03-23 15:31:51 +00001324CompilerFilter::Filter OatFile::GetCompilerFilter() const {
1325 return GetOatHeader().GetCompilerFilter();
Calin Juravleb077e152016-02-18 18:47:37 +00001326}
1327
Andreas Gampe7848da42015-04-09 11:15:04 -07001328static constexpr char kDexClassPathEncodingSeparator = '*';
1329
1330std::string OatFile::EncodeDexFileDependencies(const std::vector<const DexFile*>& dex_files) {
1331 std::ostringstream out;
1332
1333 for (const DexFile* dex_file : dex_files) {
1334 out << dex_file->GetLocation().c_str();
1335 out << kDexClassPathEncodingSeparator;
1336 out << dex_file->GetLocationChecksum();
1337 out << kDexClassPathEncodingSeparator;
1338 }
1339
1340 return out.str();
1341}
1342
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001343bool OatFile::CheckStaticDexFileDependencies(const char* dex_dependencies, std::string* msg) {
Andreas Gampe7848da42015-04-09 11:15:04 -07001344 if (dex_dependencies == nullptr || dex_dependencies[0] == 0) {
1345 // No dependencies.
1346 return true;
1347 }
1348
1349 // Assumption: this is not performance-critical. So it's OK to do this with a std::string and
1350 // Split() instead of manual parsing of the combined char*.
1351 std::vector<std::string> split;
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001352 Split(dex_dependencies, kDexClassPathEncodingSeparator, &split);
Andreas Gampe7848da42015-04-09 11:15:04 -07001353 if (split.size() % 2 != 0) {
1354 // Expected pairs of location and checksum.
1355 *msg = StringPrintf("Odd number of elements in dependency list %s", dex_dependencies);
1356 return false;
1357 }
1358
1359 for (auto it = split.begin(), end = split.end(); it != end; it += 2) {
1360 std::string& location = *it;
1361 std::string& checksum = *(it + 1);
1362 int64_t converted = strtoll(checksum.c_str(), nullptr, 10);
1363 if (converted == 0) {
1364 // Conversion error.
1365 *msg = StringPrintf("Conversion error for %s", checksum.c_str());
1366 return false;
1367 }
1368
1369 uint32_t dex_checksum;
1370 std::string error_msg;
1371 if (DexFile::GetChecksum(DexFile::GetDexCanonicalLocation(location.c_str()).c_str(),
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001372 &dex_checksum,
1373 &error_msg)) {
Andreas Gampe7848da42015-04-09 11:15:04 -07001374 if (converted != dex_checksum) {
1375 *msg = StringPrintf("Checksums don't match for %s: %" PRId64 " vs %u",
1376 location.c_str(), converted, dex_checksum);
1377 return false;
1378 }
1379 } else {
1380 // Problem retrieving checksum.
1381 // TODO: odex files?
1382 *msg = StringPrintf("Could not retrieve checksum for %s: %s", location.c_str(),
1383 error_msg.c_str());
1384 return false;
1385 }
1386 }
1387
1388 return true;
1389}
1390
1391bool OatFile::GetDexLocationsFromDependencies(const char* dex_dependencies,
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001392 std::vector<std::string>* locations) {
1393 DCHECK(locations != nullptr);
Andreas Gampe7848da42015-04-09 11:15:04 -07001394 if (dex_dependencies == nullptr || dex_dependencies[0] == 0) {
1395 return true;
1396 }
1397
1398 // Assumption: this is not performance-critical. So it's OK to do this with a std::string and
1399 // Split() instead of manual parsing of the combined char*.
1400 std::vector<std::string> split;
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001401 Split(dex_dependencies, kDexClassPathEncodingSeparator, &split);
Andreas Gampe7848da42015-04-09 11:15:04 -07001402 if (split.size() % 2 != 0) {
1403 // Expected pairs of location and checksum.
1404 return false;
1405 }
1406
1407 for (auto it = split.begin(), end = split.end(); it != end; it += 2) {
1408 locations->push_back(*it);
1409 }
1410
1411 return true;
1412}
1413
Brian Carlstrome24fa612011-09-29 00:53:55 -07001414} // namespace art