blob: 995ea9974d49d1f76b9b24d18542f02a495d5478 [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"
Elliott Hughes1aa246d2012-12-13 09:29:36 -080037#include "base/stl_util.h"
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -080038#include "base/systrace.h"
Elliott Hughes76160052012-12-12 16:31:20 -080039#include "base/unix_file/fd_file.h"
Brian Carlstrom700c8d32012-11-05 10:42:02 -080040#include "elf_file.h"
Alex Light84d76052014-08-22 17:49:35 -070041#include "elf_utils.h"
Brian Carlstrom700c8d32012-11-05 10:42:02 -080042#include "oat.h"
David Srbecky1baabf02015-06-16 17:12:34 +000043#include "mem_map.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080044#include "mirror/class.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070045#include "mirror/object-inl.h"
Nicolas Geoffrayc04c8002015-07-14 11:37:54 +010046#include "oat_file-inl.h"
Mathieu Chartierf9c6fc62015-10-07 11:44:05 -070047#include "oat_file_manager.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070048#include "os.h"
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070049#include "runtime.h"
Vladimir Marko9bdf1082016-01-21 12:15:52 +000050#include "type_lookup_table.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080051#include "utils.h"
Vladimir Marko09d09432015-09-08 13:47:48 +010052#include "utils/dex_cache_arrays_layout-inl.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070053
54namespace art {
55
Andreas Gampe049cff02015-12-01 23:27:12 -080056// Whether OatFile::Open will try dlopen. Fallback is our own ELF loader.
David Srbecky1baabf02015-06-16 17:12:34 +000057static constexpr bool kUseDlopen = true;
Andreas Gampefa8429b2015-04-07 18:34:42 -070058
Andreas Gampe049cff02015-12-01 23:27:12 -080059// Whether OatFile::Open will try dlopen on the host. On the host we're not linking against
Andreas Gampefa8429b2015-04-07 18:34:42 -070060// bionic, so cannot take advantage of the support for changed semantics (loading the same soname
61// multiple times). However, if/when we switch the above, we likely want to switch this, too,
62// to get test coverage of the code paths.
David Srbecky1baabf02015-06-16 17:12:34 +000063static constexpr bool kUseDlopenOnHost = true;
Andreas Gampefa8429b2015-04-07 18:34:42 -070064
65// For debugging, Open will print DlOpen error message if set to true.
66static constexpr bool kPrintDlOpenErrorMessage = false;
67
Andreas Gampe049cff02015-12-01 23:27:12 -080068// Note for OatFileBase and descendents:
69//
70// These are used in OatFile::Open to try all our loaders.
71//
72// The process is simple:
73//
74// 1) Allocate an instance through the standard constructor (location, executable)
75// 2) Load() to try to open the file.
76// 3) ComputeFields() to populate the OatFile fields like begin_, using FindDynamicSymbolAddress.
77// 4) PreSetup() for any steps that should be done before the final setup.
78// 5) Setup() to complete the procedure.
Richard Uhlere5fed032015-03-18 08:21:11 -070079
Andreas Gampe049cff02015-12-01 23:27:12 -080080class OatFileBase : public OatFile {
81 public:
82 virtual ~OatFileBase() {}
Richard Uhlere5fed032015-03-18 08:21:11 -070083
Andreas Gampe049cff02015-12-01 23:27:12 -080084 template <typename kOatFileBaseSubType>
85 static OatFileBase* OpenOatFile(const std::string& elf_filename,
Alex Light84d76052014-08-22 17:49:35 -070086 const std::string& location,
Andreas Gampe049cff02015-12-01 23:27:12 -080087 uint8_t* requested_base,
88 uint8_t* oat_file_begin,
89 bool writable,
90 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -080091 bool low_4gb,
Richard Uhlere5fed032015-03-18 08:21:11 -070092 const char* abs_dex_location,
Andreas Gampe049cff02015-12-01 23:27:12 -080093 std::string* error_msg);
Brian Carlstrom700c8d32012-11-05 10:42:02 -080094
Andreas Gampe049cff02015-12-01 23:27:12 -080095 protected:
96 OatFileBase(const std::string& filename, bool executable) : OatFile(filename, executable) {}
Andreas Gampefa8429b2015-04-07 18:34:42 -070097
Andreas Gampe049cff02015-12-01 23:27:12 -080098 virtual const uint8_t* FindDynamicSymbolAddress(const std::string& symbol_name,
99 std::string* error_msg) const = 0;
100
Andreas Gampe4075f832016-05-18 13:09:54 -0700101 virtual void PreLoad() = 0;
102
Andreas Gampe049cff02015-12-01 23:27:12 -0800103 virtual bool Load(const std::string& elf_filename,
104 uint8_t* oat_file_begin,
105 bool writable,
106 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800107 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800108 std::string* error_msg) = 0;
109
110 bool ComputeFields(uint8_t* requested_base,
111 const std::string& file_path,
112 std::string* error_msg);
113
114 virtual void PreSetup(const std::string& elf_filename) = 0;
115
116 bool Setup(const char* abs_dex_location, std::string* error_msg);
117
118 // Setters exposed for ElfOatFile.
119
120 void SetBegin(const uint8_t* begin) {
121 begin_ = begin;
Andreas Gampefa8429b2015-04-07 18:34:42 -0700122 }
123
Andreas Gampe049cff02015-12-01 23:27:12 -0800124 void SetEnd(const uint8_t* end) {
125 end_ = end;
126 }
127
128 private:
129 DISALLOW_COPY_AND_ASSIGN(OatFileBase);
130};
131
132template <typename kOatFileBaseSubType>
133OatFileBase* OatFileBase::OpenOatFile(const std::string& elf_filename,
134 const std::string& location,
135 uint8_t* requested_base,
136 uint8_t* oat_file_begin,
137 bool writable,
138 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800139 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800140 const char* abs_dex_location,
141 std::string* error_msg) {
142 std::unique_ptr<OatFileBase> ret(new kOatFileBaseSubType(location, executable));
Andreas Gampe4075f832016-05-18 13:09:54 -0700143
144 ret->PreLoad();
145
Andreas Gampe049cff02015-12-01 23:27:12 -0800146 if (!ret->Load(elf_filename,
147 oat_file_begin,
148 writable,
149 executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800150 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800151 error_msg)) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800152 return nullptr;
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800153 }
Elliott Hughes956af0f2014-12-11 14:34:28 -0800154
Andreas Gampe049cff02015-12-01 23:27:12 -0800155 if (!ret->ComputeFields(requested_base, elf_filename, error_msg)) {
156 return nullptr;
157 }
Andreas Gampe4075f832016-05-18 13:09:54 -0700158
Andreas Gampe049cff02015-12-01 23:27:12 -0800159 ret->PreSetup(elf_filename);
160
161 if (!ret->Setup(abs_dex_location, error_msg)) {
162 return nullptr;
163 }
164
Dave Allison69dfe512014-07-11 17:11:58 +0000165 return ret.release();
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800166}
167
Andreas Gampe049cff02015-12-01 23:27:12 -0800168bool OatFileBase::ComputeFields(uint8_t* requested_base,
169 const std::string& file_path,
170 std::string* error_msg) {
171 std::string symbol_error_msg;
172 begin_ = FindDynamicSymbolAddress("oatdata", &symbol_error_msg);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700173 if (begin_ == nullptr) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800174 *error_msg = StringPrintf("Failed to find oatdata symbol in '%s' %s",
175 file_path.c_str(),
176 symbol_error_msg.c_str());
Andreas Gampefa8429b2015-04-07 18:34:42 -0700177 return false;
178 }
179 if (requested_base != nullptr && begin_ != requested_base) {
Nicolas Geoffrayf97cf2a2016-03-09 15:36:23 +0000180 // Host can fail this check. Do not dump there to avoid polluting the output.
Andreas Gampe7ec09042016-04-01 17:20:49 -0700181 if (kIsTargetBuild && (kIsDebugBuild || VLOG_IS_ON(oat))) {
Nicolas Geoffrayf97cf2a2016-03-09 15:36:23 +0000182 PrintFileToLog("/proc/self/maps", LogSeverity::WARNING);
183 }
Andreas Gampefa8429b2015-04-07 18:34:42 -0700184 *error_msg = StringPrintf("Failed to find oatdata symbol at expected address: "
Andreas Gampe049cff02015-12-01 23:27:12 -0800185 "oatdata=%p != expected=%p. See process maps in the log.",
186 begin_, requested_base);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700187 return false;
188 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800189 end_ = FindDynamicSymbolAddress("oatlastword", &symbol_error_msg);
Andreas Gampefa8429b2015-04-07 18:34:42 -0700190 if (end_ == nullptr) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800191 *error_msg = StringPrintf("Failed to find oatlastword symbol in '%s' %s",
192 file_path.c_str(),
193 symbol_error_msg.c_str());
Andreas Gampefa8429b2015-04-07 18:34:42 -0700194 return false;
195 }
196 // Readjust to be non-inclusive upper bound.
197 end_ += sizeof(uint32_t);
198
Andreas Gampe049cff02015-12-01 23:27:12 -0800199 bss_begin_ = const_cast<uint8_t*>(FindDynamicSymbolAddress("oatbss", &symbol_error_msg));
Andreas Gampefa8429b2015-04-07 18:34:42 -0700200 if (bss_begin_ == nullptr) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800201 // No .bss section.
Andreas Gampefa8429b2015-04-07 18:34:42 -0700202 bss_end_ = nullptr;
Andreas Gampefa8429b2015-04-07 18:34:42 -0700203 } else {
Andreas Gampe049cff02015-12-01 23:27:12 -0800204 bss_end_ = const_cast<uint8_t*>(FindDynamicSymbolAddress("oatbsslastword", &symbol_error_msg));
Andreas Gampefa8429b2015-04-07 18:34:42 -0700205 if (bss_end_ == nullptr) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800206 *error_msg = StringPrintf("Failed to find oatbasslastword symbol in '%s'", file_path.c_str());
Andreas Gampefa8429b2015-04-07 18:34:42 -0700207 return false;
208 }
209 // Readjust to be non-inclusive upper bound.
210 bss_end_ += sizeof(uint32_t);
211 }
212
Andreas Gampe049cff02015-12-01 23:27:12 -0800213 return true;
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800214}
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -0800215
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100216// Read an unaligned entry from the OatDexFile data in OatFile and advance the read
217// position by the number of bytes read, i.e. sizeof(T).
218// Return true on success, false if the read would go beyond the end of the OatFile.
219template <typename T>
Vladimir Marko722fa982015-10-19 18:18:27 +0100220inline static bool ReadOatDexFileData(const OatFile& oat_file,
221 /*inout*/const uint8_t** oat,
222 /*out*/T* value) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100223 DCHECK(oat != nullptr);
224 DCHECK(value != nullptr);
225 DCHECK_LE(*oat, oat_file.End());
226 if (UNLIKELY(static_cast<size_t>(oat_file.End() - *oat) < sizeof(T))) {
227 return false;
228 }
229 static_assert(std::is_trivial<T>::value, "T must be a trivial type");
230 typedef __attribute__((__aligned__(1))) T unaligned_type;
231 *value = *reinterpret_cast<const unaligned_type*>(*oat);
232 *oat += sizeof(T);
233 return true;
234}
235
Andreas Gampe049cff02015-12-01 23:27:12 -0800236bool OatFileBase::Setup(const char* abs_dex_location, std::string* error_msg) {
Brian Carlstromf1b30302013-03-28 10:35:32 -0700237 if (!GetOatHeader().IsValid()) {
Andreas Gampe2bcb3b22014-12-12 15:25:14 -0800238 std::string cause = GetOatHeader().GetValidationErrorMessage();
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100239 *error_msg = StringPrintf("Invalid oat header for '%s': %s",
240 GetLocation().c_str(),
Andreas Gampe2bcb3b22014-12-12 15:25:14 -0800241 cause.c_str());
Brian Carlstromf1b30302013-03-28 10:35:32 -0700242 return false;
243 }
Ian Rogers13735952014-10-08 12:43:28 -0700244 const uint8_t* oat = Begin();
Brian Carlstrome24fa612011-09-29 00:53:55 -0700245 oat += sizeof(OatHeader);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700246 if (oat > End()) {
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700247 *error_msg = StringPrintf("In oat file '%s' found truncated OatHeader", GetLocation().c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700248 return false;
249 }
Brian Carlstrom81f3ca12012-03-17 00:27:35 -0700250
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700251 oat += GetOatHeader().GetKeyValueStoreSize();
Brian Carlstromfb331d72013-07-25 22:00:16 -0700252 if (oat > End()) {
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700253 *error_msg = StringPrintf("In oat file '%s' found truncated variable-size data: "
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100254 "%p + %zu + %u <= %p",
255 GetLocation().c_str(),
256 Begin(),
257 sizeof(OatHeader),
258 GetOatHeader().GetKeyValueStoreSize(),
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700259 End());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700260 return false;
261 }
262
Vladimir Marko09d09432015-09-08 13:47:48 +0100263 size_t pointer_size = GetInstructionSetPointerSize(GetOatHeader().GetInstructionSet());
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100264 uint8_t* dex_cache_arrays = bss_begin_;
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100265 uint32_t dex_file_count = GetOatHeader().GetDexFileCount();
266 oat_dex_files_storage_.reserve(dex_file_count);
267 for (size_t i = 0; i < dex_file_count; i++) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100268 uint32_t dex_file_location_size;
269 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &dex_file_location_size))) {
270 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu truncated after dex file "
271 "location size",
272 GetLocation().c_str(),
273 i);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700274 return false;
275 }
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100276 if (UNLIKELY(dex_file_location_size == 0U)) {
277 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu with empty location name",
278 GetLocation().c_str(),
279 i);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700280 return false;
281 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000282 if (UNLIKELY(static_cast<size_t>(End() - oat) < dex_file_location_size)) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100283 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu with truncated dex file "
284 "location",
285 GetLocation().c_str(),
286 i);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700287 return false;
288 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000289 const char* dex_file_location_data = reinterpret_cast<const char*>(oat);
290 oat += dex_file_location_size;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700291
Richard Uhlere5fed032015-03-18 08:21:11 -0700292 std::string dex_file_location = ResolveRelativeEncodedDexLocation(
293 abs_dex_location,
294 std::string(dex_file_location_data, dex_file_location_size));
Brian Carlstrome24fa612011-09-29 00:53:55 -0700295
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100296 uint32_t dex_file_checksum;
297 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &dex_file_checksum))) {
298 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' truncated after "
299 "dex file checksum",
300 GetLocation().c_str(),
301 i,
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700302 dex_file_location.c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700303 return false;
304 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700305
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100306 uint32_t dex_file_offset;
307 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &dex_file_offset))) {
308 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' truncated "
309 "after dex file offsets",
310 GetLocation().c_str(),
311 i,
312 dex_file_location.c_str());
313 return false;
314 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700315 if (UNLIKELY(dex_file_offset == 0U)) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100316 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with zero dex "
317 "file offset",
318 GetLocation().c_str(),
319 i,
320 dex_file_location.c_str());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700321 return false;
322 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700323 if (UNLIKELY(dex_file_offset > Size())) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100324 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with dex file "
325 "offset %u > %zu",
326 GetLocation().c_str(),
327 i,
328 dex_file_location.c_str(),
329 dex_file_offset,
330 Size());
Brian Carlstromfb331d72013-07-25 22:00:16 -0700331 return false;
332 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000333 if (UNLIKELY(Size() - dex_file_offset < sizeof(DexFile::Header))) {
334 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with dex file "
335 "offset %u of %zu but the size of dex file header is %zu",
336 GetLocation().c_str(),
337 i,
338 dex_file_location.c_str(),
339 dex_file_offset,
340 Size(),
341 sizeof(DexFile::Header));
342 return false;
343 }
Brian Carlstrom89521892011-12-07 22:05:07 -0800344
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800345 const uint8_t* dex_file_pointer = Begin() + dex_file_offset;
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700346 if (UNLIKELY(!DexFile::IsMagicValid(dex_file_pointer))) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100347 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with invalid "
348 "dex file magic '%s'",
349 GetLocation().c_str(),
350 i,
351 dex_file_location.c_str(),
352 dex_file_pointer);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700353 return false;
354 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700355 if (UNLIKELY(!DexFile::IsVersionValid(dex_file_pointer))) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100356 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with invalid "
357 "dex file version '%s'",
358 GetLocation().c_str(),
359 i,
360 dex_file_location.c_str(),
361 dex_file_pointer);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700362 return false;
363 }
Brian Carlstrom6e3b1d92012-01-11 01:36:32 -0800364 const DexFile::Header* header = reinterpret_cast<const DexFile::Header*>(dex_file_pointer);
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000365 if (Size() - dex_file_offset < header->file_size_) {
366 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with dex file "
367 "offset %u and size %u truncated at %zu",
368 GetLocation().c_str(),
369 i,
370 dex_file_location.c_str(),
371 dex_file_offset,
372 header->file_size_,
373 Size());
374 return false;
375 }
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300376
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000377 uint32_t class_offsets_offset;
378 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &class_offsets_offset))) {
379 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' truncated "
380 "after class offsets offset",
381 GetLocation().c_str(),
382 i,
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300383 dex_file_location.c_str());
384 return false;
385 }
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000386 if (UNLIKELY(class_offsets_offset > Size()) ||
387 UNLIKELY((Size() - class_offsets_offset) / sizeof(uint32_t) < header->class_defs_size_)) {
388 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with truncated "
389 "class offsets, offset %u of %zu, class defs %u",
390 GetLocation().c_str(),
391 i,
392 dex_file_location.c_str(),
393 class_offsets_offset,
394 Size(),
395 header->class_defs_size_);
396 return false;
397 }
398 if (UNLIKELY(!IsAligned<alignof(uint32_t)>(class_offsets_offset))) {
399 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with unaligned "
400 "class offsets, offset %u",
401 GetLocation().c_str(),
402 i,
403 dex_file_location.c_str(),
404 class_offsets_offset);
405 return false;
406 }
407 const uint32_t* class_offsets_pointer =
408 reinterpret_cast<const uint32_t*>(Begin() + class_offsets_offset);
409
410 uint32_t lookup_table_offset;
411 if (UNLIKELY(!ReadOatDexFileData(*this, &oat, &lookup_table_offset))) {
412 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zd for '%s' truncated "
413 "after lookup table offset",
414 GetLocation().c_str(),
415 i,
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300416 dex_file_location.c_str());
417 return false;
418 }
419 const uint8_t* lookup_table_data = lookup_table_offset != 0u
420 ? Begin() + lookup_table_offset
421 : nullptr;
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000422 if (lookup_table_offset != 0u &&
423 (UNLIKELY(lookup_table_offset > Size()) ||
424 UNLIKELY(Size() - lookup_table_offset <
425 TypeLookupTable::RawDataLength(header->class_defs_size_)))) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100426 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with truncated "
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000427 "type lookup table, offset %u of %zu, class defs %u",
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100428 GetLocation().c_str(),
429 i,
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000430 dex_file_location.c_str(),
431 lookup_table_offset,
432 Size(),
433 header->class_defs_size_);
Brian Carlstromfb331d72013-07-25 22:00:16 -0700434 return false;
435 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700436
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100437 uint8_t* current_dex_cache_arrays = nullptr;
Vladimir Marko09d09432015-09-08 13:47:48 +0100438 if (dex_cache_arrays != nullptr) {
439 DexCacheArraysLayout layout(pointer_size, *header);
440 if (layout.Size() != 0u) {
441 if (static_cast<size_t>(bss_end_ - dex_cache_arrays) < layout.Size()) {
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100442 *error_msg = StringPrintf("In oat file '%s' found OatDexFile #%zu for '%s' with "
443 "truncated dex cache arrays, %zu < %zu.",
444 GetLocation().c_str(),
445 i,
446 dex_file_location.c_str(),
447 static_cast<size_t>(bss_end_ - dex_cache_arrays),
448 layout.Size());
Vladimir Marko09d09432015-09-08 13:47:48 +0100449 return false;
450 }
451 current_dex_cache_arrays = dex_cache_arrays;
452 dex_cache_arrays += layout.Size();
453 }
454 }
455
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100456 std::string canonical_location = DexFile::GetDexCanonicalLocation(dex_file_location.c_str());
457
458 // Create the OatDexFile and add it to the owning container.
Vladimir Marko539690a2014-06-05 18:36:42 +0100459 OatDexFile* oat_dex_file = new OatDexFile(this,
460 dex_file_location,
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100461 canonical_location,
Vladimir Marko539690a2014-06-05 18:36:42 +0100462 dex_file_checksum,
463 dex_file_pointer,
Artem Udovichenkod9786b02015-10-14 16:36:55 +0300464 lookup_table_data,
Vladimir Marko9bdf1082016-01-21 12:15:52 +0000465 class_offsets_pointer,
Vladimir Marko09d09432015-09-08 13:47:48 +0100466 current_dex_cache_arrays);
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100467 oat_dex_files_storage_.push_back(oat_dex_file);
468
469 // Add the location and canonical location (if different) to the oat_dex_files_ table.
Vladimir Marko3f5838d2014-08-07 18:07:18 +0100470 StringPiece key(oat_dex_file->GetDexFileLocation());
Vladimir Marko539690a2014-06-05 18:36:42 +0100471 oat_dex_files_.Put(key, oat_dex_file);
Vladimir Markoaa4497d2014-09-05 14:01:17 +0100472 if (canonical_location != dex_file_location) {
473 StringPiece canonical_key(oat_dex_file->GetCanonicalDexFileLocation());
474 oat_dex_files_.Put(canonical_key, oat_dex_file);
475 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700476 }
Vladimir Marko09d09432015-09-08 13:47:48 +0100477
478 if (dex_cache_arrays != bss_end_) {
479 // We expect the bss section to be either empty (dex_cache_arrays and bss_end_
480 // both null) or contain just the dex cache arrays and nothing else.
Vladimir Marko06d7aaa2015-10-16 11:23:41 +0100481 *error_msg = StringPrintf("In oat file '%s' found unexpected bss size bigger by %zu bytes.",
Vladimir Marko09d09432015-09-08 13:47:48 +0100482 GetLocation().c_str(),
483 static_cast<size_t>(bss_end_ - dex_cache_arrays));
484 return false;
485 }
Brian Carlstromf1b30302013-03-28 10:35:32 -0700486 return true;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700487}
488
Andreas Gampe049cff02015-12-01 23:27:12 -0800489////////////////////////
490// OatFile via dlopen //
491////////////////////////
492
Andreas Gampe049cff02015-12-01 23:27:12 -0800493class DlOpenOatFile FINAL : public OatFileBase {
494 public:
495 DlOpenOatFile(const std::string& filename, bool executable)
496 : OatFileBase(filename, executable),
497 dlopen_handle_(nullptr),
Richard Uhlera206c742016-05-24 15:04:22 -0700498 shared_objects_before_(0) {
Andreas Gampe049cff02015-12-01 23:27:12 -0800499 }
500
501 ~DlOpenOatFile() {
502 if (dlopen_handle_ != nullptr) {
503 dlclose(dlopen_handle_);
Richard Uhlera206c742016-05-24 15:04:22 -0700504
505 if (!kIsTargetBuild) {
506 MutexLock mu(Thread::Current(), *Locks::host_dlopen_handles_lock_);
507 host_dlopen_handles_.erase(dlopen_handle_);
508 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800509 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800510 }
511
512 protected:
513 const uint8_t* FindDynamicSymbolAddress(const std::string& symbol_name,
514 std::string* error_msg) const OVERRIDE {
515 const uint8_t* ptr =
516 reinterpret_cast<const uint8_t*>(dlsym(dlopen_handle_, symbol_name.c_str()));
517 if (ptr == nullptr) {
518 *error_msg = dlerror();
519 }
520 return ptr;
521 }
522
Andreas Gampe4075f832016-05-18 13:09:54 -0700523 void PreLoad() OVERRIDE;
524
Andreas Gampe049cff02015-12-01 23:27:12 -0800525 bool Load(const std::string& elf_filename,
526 uint8_t* oat_file_begin,
527 bool writable,
528 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800529 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800530 std::string* error_msg) OVERRIDE;
531
532 // Ask the linker where it mmaped the file and notify our mmap wrapper of the regions.
533 void PreSetup(const std::string& elf_filename) OVERRIDE;
534
535 private:
536 bool Dlopen(const std::string& elf_filename,
537 uint8_t* oat_file_begin,
538 std::string* error_msg);
539
Richard Uhlera206c742016-05-24 15:04:22 -0700540 // On the host, if the same library is loaded again with dlopen the same
541 // file handle is returned. This differs from the behavior of dlopen on the
542 // target, where dlopen reloads the library at a different address every
543 // time you load it. The runtime relies on the target behavior to ensure
544 // each instance of the loaded library has a unique dex cache. To avoid
545 // problems, we fall back to our own linker in the case when the same
546 // library is opened multiple times on host. dlopen_handles_ is used to
547 // detect that case.
548 // Guarded by host_dlopen_handles_lock_;
549 static std::unordered_set<void*> host_dlopen_handles_;
550
Andreas Gampe049cff02015-12-01 23:27:12 -0800551 // dlopen handle during runtime.
552 void* dlopen_handle_; // TODO: Unique_ptr with custom deleter.
553
554 // Dummy memory map objects corresponding to the regions mapped by dlopen.
555 std::vector<std::unique_ptr<MemMap>> dlopen_mmaps_;
556
Andreas Gampe4075f832016-05-18 13:09:54 -0700557 // The number of shared objects the linker told us about before loading. Used to
558 // (optimistically) optimize the PreSetup stage (see comment there).
559 size_t shared_objects_before_;
560
Andreas Gampe049cff02015-12-01 23:27:12 -0800561 DISALLOW_COPY_AND_ASSIGN(DlOpenOatFile);
562};
563
Richard Uhlera206c742016-05-24 15:04:22 -0700564std::unordered_set<void*> DlOpenOatFile::host_dlopen_handles_;
565
Andreas Gampe4075f832016-05-18 13:09:54 -0700566void DlOpenOatFile::PreLoad() {
567#ifdef __APPLE__
Andreas Gampe39004a62016-05-18 21:27:00 -0700568 UNUSED(shared_objects_before_);
Andreas Gampe4075f832016-05-18 13:09:54 -0700569 LOG(FATAL) << "Should not reach here.";
570 UNREACHABLE();
571#else
572 // Count the entries in dl_iterate_phdr we get at this point in time.
573 struct dl_iterate_context {
574 static int callback(struct dl_phdr_info *info ATTRIBUTE_UNUSED,
575 size_t size ATTRIBUTE_UNUSED,
576 void *data) {
577 reinterpret_cast<dl_iterate_context*>(data)->count++;
578 return 0; // Continue iteration.
579 }
580 size_t count = 0;
581 } context;
582
583 dl_iterate_phdr(dl_iterate_context::callback, &context);
584 shared_objects_before_ = context.count;
585#endif
586}
587
Andreas Gampe049cff02015-12-01 23:27:12 -0800588bool DlOpenOatFile::Load(const std::string& elf_filename,
589 uint8_t* oat_file_begin,
590 bool writable,
591 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800592 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800593 std::string* error_msg) {
594 // Use dlopen only when flagged to do so, and when it's OK to load things executable.
595 // TODO: Also try when not executable? The issue here could be re-mapping as writable (as
596 // !executable is a sign that we may want to patch), which may not be allowed for
597 // various reasons.
598 if (!kUseDlopen) {
599 *error_msg = "DlOpen is disabled.";
600 return false;
601 }
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800602 if (low_4gb) {
603 *error_msg = "DlOpen does not support low 4gb loading.";
604 return false;
605 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800606 if (writable) {
607 *error_msg = "DlOpen does not support writable loading.";
608 return false;
609 }
610 if (!executable) {
611 *error_msg = "DlOpen does not support non-executable loading.";
612 return false;
613 }
614
615 // dlopen always returns the same library if it is already opened on the host. For this reason
616 // we only use dlopen if we are the target or we do not already have the dex file opened. Having
617 // the same library loaded multiple times at different addresses is required for class unloading
618 // and for having dex caches arrays in the .bss section.
619 if (!kIsTargetBuild) {
620 if (!kUseDlopenOnHost) {
621 *error_msg = "DlOpen disabled for host.";
622 return false;
623 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800624 }
625
626 bool success = Dlopen(elf_filename, oat_file_begin, error_msg);
627 DCHECK(dlopen_handle_ != nullptr || !success);
628
629 return success;
630}
631
632bool DlOpenOatFile::Dlopen(const std::string& elf_filename,
633 uint8_t* oat_file_begin,
634 std::string* error_msg) {
635#ifdef __APPLE__
636 // The dl_iterate_phdr syscall is missing. There is similar API on OSX,
637 // but let's fallback to the custom loading code for the time being.
638 UNUSED(elf_filename, oat_file_begin);
639 *error_msg = "Dlopen unsupported on Mac.";
640 return false;
641#else
642 {
643 UniqueCPtr<char> absolute_path(realpath(elf_filename.c_str(), nullptr));
644 if (absolute_path == nullptr) {
645 *error_msg = StringPrintf("Failed to find absolute path for '%s'", elf_filename.c_str());
646 return false;
647 }
Bilyan Borisovbb661c02016-04-04 16:27:32 +0100648#ifdef ART_TARGET_ANDROID
Andreas Gampe049cff02015-12-01 23:27:12 -0800649 android_dlextinfo extinfo;
650 extinfo.flags = ANDROID_DLEXT_FORCE_LOAD | // Force-load, don't reuse handle
651 // (open oat files multiple
652 // times).
653 ANDROID_DLEXT_FORCE_FIXED_VADDR; // Take a non-zero vaddr as absolute
654 // (non-pic boot image).
Andreas Gampe226b91e2015-12-02 10:29:33 -0800655 if (oat_file_begin != nullptr) { //
656 extinfo.flags |= ANDROID_DLEXT_LOAD_AT_FIXED_ADDRESS; // Use the requested addr if
657 extinfo.reserved_addr = oat_file_begin; // vaddr = 0.
658 } // (pic boot image).
Andreas Gampe049cff02015-12-01 23:27:12 -0800659 dlopen_handle_ = android_dlopen_ext(absolute_path.get(), RTLD_NOW, &extinfo);
660#else
Andreas Gampe049cff02015-12-01 23:27:12 -0800661 UNUSED(oat_file_begin);
Richard Uhlera206c742016-05-24 15:04:22 -0700662 static_assert(!kIsTargetBuild, "host_dlopen_handles_ will leak handles");
663 dlopen_handle_ = dlopen(absolute_path.get(), RTLD_NOW);
664 if (dlopen_handle_ != nullptr) {
665 MutexLock mu(Thread::Current(), *Locks::host_dlopen_handles_lock_);
666 if (!host_dlopen_handles_.insert(dlopen_handle_).second) {
667 dlclose(dlopen_handle_);
668 dlopen_handle_ = nullptr;
669 *error_msg = StringPrintf("host dlopen re-opened '%s'", elf_filename.c_str());
670 return false;
671 }
672 }
Bilyan Borisovbb661c02016-04-04 16:27:32 +0100673#endif // ART_TARGET_ANDROID
Andreas Gampe049cff02015-12-01 23:27:12 -0800674 }
675 if (dlopen_handle_ == nullptr) {
676 *error_msg = StringPrintf("Failed to dlopen '%s': %s", elf_filename.c_str(), dlerror());
677 return false;
678 }
679 return true;
680#endif
681}
682
683void DlOpenOatFile::PreSetup(const std::string& elf_filename) {
Andreas Gampe74f07b52015-12-02 11:53:26 -0800684#ifdef __APPLE__
685 UNUSED(elf_filename);
686 LOG(FATAL) << "Should not reach here.";
687 UNREACHABLE();
688#else
Andreas Gampe049cff02015-12-01 23:27:12 -0800689 struct dl_iterate_context {
690 static int callback(struct dl_phdr_info *info, size_t /* size */, void *data) {
691 auto* context = reinterpret_cast<dl_iterate_context*>(data);
Andreas Gampe4075f832016-05-18 13:09:54 -0700692 context->shared_objects_seen++;
693 if (context->shared_objects_seen < context->shared_objects_before) {
694 // We haven't been called yet for anything we haven't seen before. Just continue.
695 // Note: this is aggressively optimistic. If another thread was unloading a library,
696 // we may miss out here. However, this does not happen often in practice.
697 return 0;
698 }
699
Andreas Gampe049cff02015-12-01 23:27:12 -0800700 // See whether this callback corresponds to the file which we have just loaded.
701 bool contains_begin = false;
702 for (int i = 0; i < info->dlpi_phnum; i++) {
703 if (info->dlpi_phdr[i].p_type == PT_LOAD) {
704 uint8_t* vaddr = reinterpret_cast<uint8_t*>(info->dlpi_addr +
705 info->dlpi_phdr[i].p_vaddr);
706 size_t memsz = info->dlpi_phdr[i].p_memsz;
707 if (vaddr <= context->begin_ && context->begin_ < vaddr + memsz) {
708 contains_begin = true;
709 break;
710 }
711 }
712 }
713 // Add dummy mmaps for this file.
714 if (contains_begin) {
715 for (int i = 0; i < info->dlpi_phnum; i++) {
716 if (info->dlpi_phdr[i].p_type == PT_LOAD) {
717 uint8_t* vaddr = reinterpret_cast<uint8_t*>(info->dlpi_addr +
718 info->dlpi_phdr[i].p_vaddr);
719 size_t memsz = info->dlpi_phdr[i].p_memsz;
720 MemMap* mmap = MemMap::MapDummy(info->dlpi_name, vaddr, memsz);
721 context->dlopen_mmaps_->push_back(std::unique_ptr<MemMap>(mmap));
722 }
723 }
724 return 1; // Stop iteration and return 1 from dl_iterate_phdr.
725 }
726 return 0; // Continue iteration and return 0 from dl_iterate_phdr when finished.
727 }
728 const uint8_t* const begin_;
729 std::vector<std::unique_ptr<MemMap>>* const dlopen_mmaps_;
Andreas Gampe4075f832016-05-18 13:09:54 -0700730 const size_t shared_objects_before;
731 size_t shared_objects_seen;
732 };
733 dl_iterate_context context = { Begin(), &dlopen_mmaps_, shared_objects_before_, 0};
Andreas Gampe049cff02015-12-01 23:27:12 -0800734
735 if (dl_iterate_phdr(dl_iterate_context::callback, &context) == 0) {
Andreas Gampe4075f832016-05-18 13:09:54 -0700736 // Hm. Maybe our optimization went wrong. Try another time with shared_objects_before == 0
737 // before giving up. This should be unusual.
738 VLOG(oat) << "Need a second run in PreSetup, didn't find with shared_objects_before="
739 << shared_objects_before_;
740 dl_iterate_context context0 = { Begin(), &dlopen_mmaps_, 0, 0};
741 if (dl_iterate_phdr(dl_iterate_context::callback, &context0) == 0) {
742 // OK, give up and print an error.
743 PrintFileToLog("/proc/self/maps", LogSeverity::WARNING);
744 LOG(ERROR) << "File " << elf_filename << " loaded with dlopen but cannot find its mmaps.";
745 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800746 }
Andreas Gampe74f07b52015-12-02 11:53:26 -0800747#endif
Andreas Gampe049cff02015-12-01 23:27:12 -0800748}
749
750////////////////////////////////////////////////
751// OatFile via our own ElfFile implementation //
752////////////////////////////////////////////////
753
754class ElfOatFile FINAL : public OatFileBase {
755 public:
756 ElfOatFile(const std::string& filename, bool executable) : OatFileBase(filename, executable) {}
757
758 static ElfOatFile* OpenElfFile(File* file,
759 const std::string& location,
760 uint8_t* requested_base,
761 uint8_t* oat_file_begin, // Override base if not null
762 bool writable,
763 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800764 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800765 const char* abs_dex_location,
766 std::string* error_msg);
767
768 bool InitializeFromElfFile(ElfFile* elf_file,
769 const char* abs_dex_location,
770 std::string* error_msg);
771
772 protected:
773 const uint8_t* FindDynamicSymbolAddress(const std::string& symbol_name,
774 std::string* error_msg) const OVERRIDE {
775 const uint8_t* ptr = elf_file_->FindDynamicSymbolAddress(symbol_name);
776 if (ptr == nullptr) {
777 *error_msg = "(Internal implementation could not find symbol)";
778 }
779 return ptr;
780 }
781
Andreas Gampe4075f832016-05-18 13:09:54 -0700782 void PreLoad() OVERRIDE {
783 }
784
Andreas Gampe049cff02015-12-01 23:27:12 -0800785 bool Load(const std::string& elf_filename,
786 uint8_t* oat_file_begin, // Override where the file is loaded to if not null
787 bool writable,
788 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800789 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800790 std::string* error_msg) OVERRIDE;
791
792 void PreSetup(const std::string& elf_filename ATTRIBUTE_UNUSED) OVERRIDE {
793 }
794
795 private:
796 bool ElfFileOpen(File* file,
797 uint8_t* oat_file_begin, // Override where the file is loaded to if not null
798 bool writable,
799 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800800 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800801 std::string* error_msg);
802
803 private:
804 // Backing memory map for oat file during cross compilation.
805 std::unique_ptr<ElfFile> elf_file_;
806
807 DISALLOW_COPY_AND_ASSIGN(ElfOatFile);
808};
809
810ElfOatFile* ElfOatFile::OpenElfFile(File* file,
811 const std::string& location,
812 uint8_t* requested_base,
813 uint8_t* oat_file_begin, // Override base if not null
814 bool writable,
815 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800816 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800817 const char* abs_dex_location,
818 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800819 ScopedTrace trace("Open elf file " + location);
Andreas Gampe049cff02015-12-01 23:27:12 -0800820 std::unique_ptr<ElfOatFile> oat_file(new ElfOatFile(location, executable));
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800821 bool success = oat_file->ElfFileOpen(file,
822 oat_file_begin,
823 writable,
824 low_4gb,
825 executable,
826 error_msg);
Andreas Gampe049cff02015-12-01 23:27:12 -0800827 if (!success) {
828 CHECK(!error_msg->empty());
829 return nullptr;
830 }
831
832 // Complete the setup.
833 if (!oat_file->ComputeFields(requested_base, file->GetPath(), error_msg)) {
834 return nullptr;
835 }
836
837 if (!oat_file->Setup(abs_dex_location, error_msg)) {
838 return nullptr;
839 }
840
841 return oat_file.release();
842}
843
844bool ElfOatFile::InitializeFromElfFile(ElfFile* elf_file,
845 const char* abs_dex_location,
846 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800847 ScopedTrace trace(__PRETTY_FUNCTION__);
Andreas Gampe049cff02015-12-01 23:27:12 -0800848 if (IsExecutable()) {
849 *error_msg = "Cannot initialize from elf file in executable mode.";
850 return false;
851 }
852 elf_file_.reset(elf_file);
853 uint64_t offset, size;
854 bool has_section = elf_file->GetSectionOffsetAndSize(".rodata", &offset, &size);
855 CHECK(has_section);
856 SetBegin(elf_file->Begin() + offset);
857 SetEnd(elf_file->Begin() + size + offset);
858 // Ignore the optional .bss section when opening non-executable.
859 return Setup(abs_dex_location, error_msg);
860}
861
862bool ElfOatFile::Load(const std::string& elf_filename,
863 uint8_t* oat_file_begin, // Override where the file is loaded to if not null
864 bool writable,
865 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800866 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800867 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800868 ScopedTrace trace(__PRETTY_FUNCTION__);
Andreas Gampe049cff02015-12-01 23:27:12 -0800869 std::unique_ptr<File> file(OS::OpenFileForReading(elf_filename.c_str()));
870 if (file == nullptr) {
871 *error_msg = StringPrintf("Failed to open oat filename for reading: %s", strerror(errno));
872 return false;
873 }
874 return ElfOatFile::ElfFileOpen(file.get(),
875 oat_file_begin,
876 writable,
877 executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800878 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800879 error_msg);
880}
881
882bool ElfOatFile::ElfFileOpen(File* file,
883 uint8_t* oat_file_begin,
884 bool writable,
885 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800886 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800887 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800888 ScopedTrace trace(__PRETTY_FUNCTION__);
Andreas Gampe049cff02015-12-01 23:27:12 -0800889 // TODO: rename requested_base to oat_data_begin
890 elf_file_.reset(ElfFile::Open(file,
891 writable,
892 /*program_header_only*/true,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800893 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800894 error_msg,
895 oat_file_begin));
896 if (elf_file_ == nullptr) {
897 DCHECK(!error_msg->empty());
898 return false;
899 }
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800900 bool loaded = elf_file_->Load(executable, low_4gb, error_msg);
Andreas Gampe049cff02015-12-01 23:27:12 -0800901 DCHECK(loaded || !error_msg->empty());
902 return loaded;
903}
904
905//////////////////////////
906// General OatFile code //
907//////////////////////////
908
909std::string OatFile::ResolveRelativeEncodedDexLocation(
910 const char* abs_dex_location, const std::string& rel_dex_location) {
911 if (abs_dex_location != nullptr && rel_dex_location[0] != '/') {
912 // Strip :classes<N>.dex used for secondary multidex files.
913 std::string base = DexFile::GetBaseLocation(rel_dex_location);
914 std::string multidex_suffix = DexFile::GetMultiDexSuffix(rel_dex_location);
915
916 // Check if the base is a suffix of the provided abs_dex_location.
917 std::string target_suffix = "/" + base;
918 std::string abs_location(abs_dex_location);
919 if (abs_location.size() > target_suffix.size()) {
920 size_t pos = abs_location.size() - target_suffix.size();
921 if (abs_location.compare(pos, std::string::npos, target_suffix) == 0) {
922 return abs_location + multidex_suffix;
923 }
924 }
925 }
926 return rel_dex_location;
927}
928
929static void CheckLocation(const std::string& location) {
930 CHECK(!location.empty());
931}
932
933OatFile* OatFile::OpenWithElfFile(ElfFile* elf_file,
934 const std::string& location,
935 const char* abs_dex_location,
936 std::string* error_msg) {
937 std::unique_ptr<ElfOatFile> oat_file(new ElfOatFile(location, false /* executable */));
938 return oat_file->InitializeFromElfFile(elf_file, abs_dex_location, error_msg)
939 ? oat_file.release()
940 : nullptr;
941}
942
943OatFile* OatFile::Open(const std::string& filename,
944 const std::string& location,
945 uint8_t* requested_base,
946 uint8_t* oat_file_begin,
947 bool executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800948 bool low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800949 const char* abs_dex_location,
950 std::string* error_msg) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800951 ScopedTrace trace("Open oat file " + location);
Andreas Gampe049cff02015-12-01 23:27:12 -0800952 CHECK(!filename.empty()) << location;
953 CheckLocation(location);
Andreas Gampe54315c72016-05-18 21:10:42 -0700954
955 // Check that the file even exists, fast-fail.
956 if (!OS::FileExists(filename.c_str())) {
957 *error_msg = StringPrintf("File %s does not exist.", filename.c_str());
958 return nullptr;
959 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800960
961 // Try dlopen first, as it is required for native debuggability. This will fail fast if dlopen is
962 // disabled.
963 OatFile* with_dlopen = OatFileBase::OpenOatFile<DlOpenOatFile>(filename,
964 location,
965 requested_base,
966 oat_file_begin,
967 false,
968 executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800969 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800970 abs_dex_location,
971 error_msg);
972 if (with_dlopen != nullptr) {
973 return with_dlopen;
974 }
975 if (kPrintDlOpenErrorMessage) {
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800976 LOG(ERROR) << "Failed to dlopen: " << filename << " with error " << *error_msg;
Andreas Gampe049cff02015-12-01 23:27:12 -0800977 }
Andreas Gampe049cff02015-12-01 23:27:12 -0800978 // If we aren't trying to execute, we just use our own ElfFile loader for a couple reasons:
979 //
980 // On target, dlopen may fail when compiling due to selinux restrictions on installd.
981 //
982 // We use our own ELF loader for Quick to deal with legacy apps that
983 // open a generated dex file by name, remove the file, then open
984 // another generated dex file with the same name. http://b/10614658
985 //
986 // On host, dlopen is expected to fail when cross compiling, so fall back to OpenElfFile.
987 //
988 //
989 // Another independent reason is the absolute placement of boot.oat. dlopen on the host usually
990 // does honor the virtual address encoded in the ELF file only for ET_EXEC files, not ET_DYN.
991 OatFile* with_internal = OatFileBase::OpenOatFile<ElfOatFile>(filename,
992 location,
993 requested_base,
994 oat_file_begin,
995 false,
996 executable,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -0800997 low_4gb,
Andreas Gampe049cff02015-12-01 23:27:12 -0800998 abs_dex_location,
999 error_msg);
1000 return with_internal;
1001}
1002
1003OatFile* OatFile::OpenWritable(File* file,
1004 const std::string& location,
1005 const char* abs_dex_location,
1006 std::string* error_msg) {
1007 CheckLocation(location);
1008 return ElfOatFile::OpenElfFile(file,
1009 location,
1010 nullptr,
1011 nullptr,
1012 true,
1013 false,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001014 /*low_4gb*/false,
Andreas Gampe049cff02015-12-01 23:27:12 -08001015 abs_dex_location,
1016 error_msg);
1017}
1018
1019OatFile* OatFile::OpenReadable(File* file,
1020 const std::string& location,
1021 const char* abs_dex_location,
1022 std::string* error_msg) {
1023 CheckLocation(location);
1024 return ElfOatFile::OpenElfFile(file,
1025 location,
1026 nullptr,
1027 nullptr,
1028 false,
1029 false,
Mathieu Chartier0b4cbd02016-03-08 16:49:58 -08001030 /*low_4gb*/false,
Andreas Gampe049cff02015-12-01 23:27:12 -08001031 abs_dex_location,
1032 error_msg);
1033}
1034
1035OatFile::OatFile(const std::string& location, bool is_executable)
1036 : location_(location),
1037 begin_(nullptr),
1038 end_(nullptr),
1039 bss_begin_(nullptr),
1040 bss_end_(nullptr),
1041 is_executable_(is_executable),
1042 secondary_lookup_lock_("OatFile secondary lookup lock", kOatFileSecondaryLookupLock) {
1043 CHECK(!location_.empty());
1044}
1045
1046OatFile::~OatFile() {
1047 STLDeleteElements(&oat_dex_files_storage_);
1048}
1049
Brian Carlstrome24fa612011-09-29 00:53:55 -07001050const OatHeader& OatFile::GetOatHeader() const {
Ian Rogers30fab402012-01-23 15:43:46 -08001051 return *reinterpret_cast<const OatHeader*>(Begin());
Brian Carlstrome24fa612011-09-29 00:53:55 -07001052}
1053
Ian Rogers13735952014-10-08 12:43:28 -07001054const uint8_t* OatFile::Begin() const {
Andreas Gampefa8429b2015-04-07 18:34:42 -07001055 CHECK(begin_ != nullptr);
Brian Carlstrom700c8d32012-11-05 10:42:02 -08001056 return begin_;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001057}
1058
Ian Rogers13735952014-10-08 12:43:28 -07001059const uint8_t* OatFile::End() const {
Andreas Gampefa8429b2015-04-07 18:34:42 -07001060 CHECK(end_ != nullptr);
Brian Carlstrom700c8d32012-11-05 10:42:02 -08001061 return end_;
Brian Carlstrome24fa612011-09-29 00:53:55 -07001062}
1063
Vladimir Marko5c42c292015-02-25 12:02:49 +00001064const uint8_t* OatFile::BssBegin() const {
1065 return bss_begin_;
1066}
1067
1068const uint8_t* OatFile::BssEnd() const {
1069 return bss_end_;
1070}
1071
Ian Rogers8d31bbd2013-10-13 10:44:14 -07001072const OatFile::OatDexFile* OatFile::GetOatDexFile(const char* dex_location,
1073 const uint32_t* dex_location_checksum,
Ian Rogers7fe2c692011-12-06 16:35:59 -08001074 bool warn_if_not_found) const {
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001075 // NOTE: We assume here that the canonical location for a given dex_location never
1076 // changes. If it does (i.e. some symlink used by the filename changes) we may return
1077 // an incorrect OatDexFile. As long as we have a checksum to check, we shall return
1078 // an identical file or fail; otherwise we may see some unpredictable failures.
Calin Juravle4e1d5792014-07-15 23:56:47 +01001079
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001080 // TODO: Additional analysis of usage patterns to see if this can be simplified
1081 // without any performance loss, for example by not doing the first lock-free lookup.
1082
1083 const OatFile::OatDexFile* oat_dex_file = nullptr;
1084 StringPiece key(dex_location);
1085 // Try to find the key cheaply in the oat_dex_files_ map which holds dex locations
1086 // directly mentioned in the oat file and doesn't require locking.
1087 auto primary_it = oat_dex_files_.find(key);
1088 if (primary_it != oat_dex_files_.end()) {
1089 oat_dex_file = primary_it->second;
1090 DCHECK(oat_dex_file != nullptr);
1091 } else {
1092 // This dex_location is not one of the dex locations directly mentioned in the
1093 // oat file. The correct lookup is via the canonical location but first see in
1094 // the secondary_oat_dex_files_ whether we've looked up this location before.
1095 MutexLock mu(Thread::Current(), secondary_lookup_lock_);
1096 auto secondary_lb = secondary_oat_dex_files_.lower_bound(key);
1097 if (secondary_lb != secondary_oat_dex_files_.end() && key == secondary_lb->first) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001098 oat_dex_file = secondary_lb->second; // May be null.
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001099 } else {
1100 // We haven't seen this dex_location before, we must check the canonical location.
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001101 std::string dex_canonical_location = DexFile::GetDexCanonicalLocation(dex_location);
Vladimir Markoaa4497d2014-09-05 14:01:17 +01001102 if (dex_canonical_location != dex_location) {
1103 StringPiece canonical_key(dex_canonical_location);
1104 auto canonical_it = oat_dex_files_.find(canonical_key);
1105 if (canonical_it != oat_dex_files_.end()) {
1106 oat_dex_file = canonical_it->second;
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001107 } // else keep null.
1108 } // else keep null.
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001109
1110 // Copy the key to the string_cache_ and store the result in secondary map.
1111 string_cache_.emplace_back(key.data(), key.length());
1112 StringPiece key_copy(string_cache_.back());
1113 secondary_oat_dex_files_.PutBefore(secondary_lb, key_copy, oat_dex_file);
Brian Carlstrom756ee4e2013-10-03 15:46:12 -07001114 }
1115 }
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001116 if (oat_dex_file != nullptr &&
1117 (dex_location_checksum == nullptr ||
1118 oat_dex_file->GetDexFileLocationChecksum() == *dex_location_checksum)) {
1119 return oat_dex_file;
1120 }
Brian Carlstrom756ee4e2013-10-03 15:46:12 -07001121
1122 if (warn_if_not_found) {
Vladimir Marko3f5838d2014-08-07 18:07:18 +01001123 std::string dex_canonical_location = DexFile::GetDexCanonicalLocation(dex_location);
Brian Carlstrom0d6adac2014-02-05 17:39:16 -08001124 std::string checksum("<unspecified>");
Andreas Gampefa8429b2015-04-07 18:34:42 -07001125 if (dex_location_checksum != nullptr) {
Brian Carlstrom0d6adac2014-02-05 17:39:16 -08001126 checksum = StringPrintf("0x%08x", *dex_location_checksum);
1127 }
Brian Carlstrom756ee4e2013-10-03 15:46:12 -07001128 LOG(WARNING) << "Failed to find OatDexFile for DexFile " << dex_location
Calin Juravle4e1d5792014-07-15 23:56:47 +01001129 << " ( canonical path " << dex_canonical_location << ")"
Brian Carlstrom0d6adac2014-02-05 17:39:16 -08001130 << " with checksum " << checksum << " in OatFile " << GetLocation();
Brian Carlstrom756ee4e2013-10-03 15:46:12 -07001131 if (kIsDebugBuild) {
Vladimir Markoaa4497d2014-09-05 14:01:17 +01001132 for (const OatDexFile* odf : oat_dex_files_storage_) {
Brian Carlstrom756ee4e2013-10-03 15:46:12 -07001133 LOG(WARNING) << "OatFile " << GetLocation()
Vladimir Markoaa4497d2014-09-05 14:01:17 +01001134 << " contains OatDexFile " << odf->GetDexFileLocation()
1135 << " (canonical path " << odf->GetCanonicalDexFileLocation() << ")"
1136 << " with checksum 0x" << std::hex << odf->GetDexFileLocationChecksum();
Brian Carlstrom7571e8b2013-08-12 17:04:14 -07001137 }
Ian Rogers7fe2c692011-12-06 16:35:59 -08001138 }
Brian Carlstrome24fa612011-09-29 00:53:55 -07001139 }
Calin Juravle4e1d5792014-07-15 23:56:47 +01001140
Andreas Gampefa8429b2015-04-07 18:34:42 -07001141 return nullptr;
Brian Carlstromaded5f72011-10-07 17:15:04 -07001142}
1143
Brian Carlstrome24fa612011-09-29 00:53:55 -07001144OatFile::OatDexFile::OatDexFile(const OatFile* oat_file,
Elliott Hughesaa6a5882012-01-13 19:39:16 -08001145 const std::string& dex_file_location,
Vladimir Markoaa4497d2014-09-05 14:01:17 +01001146 const std::string& canonical_dex_file_location,
Brian Carlstrom5b332c82012-02-01 15:02:31 -08001147 uint32_t dex_file_location_checksum,
Ian Rogers13735952014-10-08 12:43:28 -07001148 const uint8_t* dex_file_pointer,
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001149 const uint8_t* lookup_table_data,
Vladimir Marko09d09432015-09-08 13:47:48 +01001150 const uint32_t* oat_class_offsets_pointer,
Vladimir Marko06d7aaa2015-10-16 11:23:41 +01001151 uint8_t* dex_cache_arrays)
Brian Carlstrome24fa612011-09-29 00:53:55 -07001152 : oat_file_(oat_file),
1153 dex_file_location_(dex_file_location),
Vladimir Markoaa4497d2014-09-05 14:01:17 +01001154 canonical_dex_file_location_(canonical_dex_file_location),
Brian Carlstrom5b332c82012-02-01 15:02:31 -08001155 dex_file_location_checksum_(dex_file_location_checksum),
Brian Carlstrom89521892011-12-07 22:05:07 -08001156 dex_file_pointer_(dex_file_pointer),
Artem Udovichenkod9786b02015-10-14 16:36:55 +03001157 lookup_table_data_(lookup_table_data),
Vladimir Marko09d09432015-09-08 13:47:48 +01001158 oat_class_offsets_pointer_(oat_class_offsets_pointer),
1159 dex_cache_arrays_(dex_cache_arrays) {}
Brian Carlstrome24fa612011-09-29 00:53:55 -07001160
1161OatFile::OatDexFile::~OatDexFile() {}
1162
Ian Rogers05f28c62012-10-23 18:12:13 -07001163size_t OatFile::OatDexFile::FileSize() const {
1164 return reinterpret_cast<const DexFile::Header*>(dex_file_pointer_)->file_size_;
1165}
1166
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001167std::unique_ptr<const DexFile> OatFile::OatDexFile::OpenDexFile(std::string* error_msg) const {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -08001168 ScopedTrace trace(__PRETTY_FUNCTION__);
Andreas Gampe3a2bd292016-01-26 17:23:47 -08001169 return DexFile::Open(dex_file_pointer_,
1170 FileSize(),
1171 dex_file_location_,
1172 dex_file_location_checksum_,
1173 this,
1174 false /* verify */,
1175 error_msg);
Brian Carlstrom89521892011-12-07 22:05:07 -08001176}
1177
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001178uint32_t OatFile::OatDexFile::GetOatClassOffset(uint16_t class_def_index) const {
1179 return oat_class_offsets_pointer_[class_def_index];
1180}
1181
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001182OatFile::OatClass OatFile::OatDexFile::GetOatClass(uint16_t class_def_index) const {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001183 uint32_t oat_class_offset = GetOatClassOffset(class_def_index);
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001184
Ian Rogers13735952014-10-08 12:43:28 -07001185 const uint8_t* oat_class_pointer = oat_file_->Begin() + oat_class_offset;
Brian Carlstrom7571e8b2013-08-12 17:04:14 -07001186 CHECK_LT(oat_class_pointer, oat_file_->End()) << oat_file_->GetLocation();
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001187
Ian Rogers13735952014-10-08 12:43:28 -07001188 const uint8_t* status_pointer = oat_class_pointer;
Brian Carlstromba150c32013-08-27 17:31:03 -07001189 CHECK_LT(status_pointer, oat_file_->End()) << oat_file_->GetLocation();
1190 mirror::Class::Status status =
1191 static_cast<mirror::Class::Status>(*reinterpret_cast<const int16_t*>(status_pointer));
1192 CHECK_LT(status, mirror::Class::kStatusMax);
1193
Ian Rogers13735952014-10-08 12:43:28 -07001194 const uint8_t* type_pointer = status_pointer + sizeof(uint16_t);
Brian Carlstromba150c32013-08-27 17:31:03 -07001195 CHECK_LT(type_pointer, oat_file_->End()) << oat_file_->GetLocation();
1196 OatClassType type = static_cast<OatClassType>(*reinterpret_cast<const uint16_t*>(type_pointer));
1197 CHECK_LT(type, kOatClassMax);
1198
Ian Rogers13735952014-10-08 12:43:28 -07001199 const uint8_t* after_type_pointer = type_pointer + sizeof(int16_t);
Brian Carlstromcd937a92014-03-04 22:53:23 -08001200 CHECK_LE(after_type_pointer, oat_file_->End()) << oat_file_->GetLocation();
Brian Carlstromba150c32013-08-27 17:31:03 -07001201
Brian Carlstromcd937a92014-03-04 22:53:23 -08001202 uint32_t bitmap_size = 0;
Ian Rogers13735952014-10-08 12:43:28 -07001203 const uint8_t* bitmap_pointer = nullptr;
1204 const uint8_t* methods_pointer = nullptr;
Ian Rogers97b52f82014-08-14 11:34:07 -07001205 if (type != kOatClassNoneCompiled) {
1206 if (type == kOatClassSomeCompiled) {
1207 bitmap_size = static_cast<uint32_t>(*reinterpret_cast<const uint32_t*>(after_type_pointer));
1208 bitmap_pointer = after_type_pointer + sizeof(bitmap_size);
1209 CHECK_LE(bitmap_pointer, oat_file_->End()) << oat_file_->GetLocation();
1210 methods_pointer = bitmap_pointer + bitmap_size;
1211 } else {
1212 methods_pointer = after_type_pointer;
1213 }
1214 CHECK_LE(methods_pointer, oat_file_->End()) << oat_file_->GetLocation();
Brian Carlstromcd937a92014-03-04 22:53:23 -08001215 }
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001216
Richard Uhler07b3c232015-03-31 15:57:54 -07001217 return OatFile::OatClass(oat_file_,
1218 status,
1219 type,
1220 bitmap_size,
1221 reinterpret_cast<const uint32_t*>(bitmap_pointer),
1222 reinterpret_cast<const OatMethodOffsets*>(methods_pointer));
Brian Carlstrome24fa612011-09-29 00:53:55 -07001223}
1224
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001225OatFile::OatClass::OatClass(const OatFile* oat_file,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001226 mirror::Class::Status status,
Brian Carlstromba150c32013-08-27 17:31:03 -07001227 OatClassType type,
1228 uint32_t bitmap_size,
1229 const uint32_t* bitmap_pointer,
Brian Carlstrom0755ec52012-01-11 15:19:46 -08001230 const OatMethodOffsets* methods_pointer)
Brian Carlstromba150c32013-08-27 17:31:03 -07001231 : oat_file_(oat_file), status_(status), type_(type),
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001232 bitmap_(bitmap_pointer), methods_pointer_(methods_pointer) {
Brian Carlstromba150c32013-08-27 17:31:03 -07001233 switch (type_) {
1234 case kOatClassAllCompiled: {
1235 CHECK_EQ(0U, bitmap_size);
Brian Carlstromcd937a92014-03-04 22:53:23 -08001236 CHECK(bitmap_pointer == nullptr);
Ian Rogers97b52f82014-08-14 11:34:07 -07001237 CHECK(methods_pointer != nullptr);
Brian Carlstromba150c32013-08-27 17:31:03 -07001238 break;
1239 }
1240 case kOatClassSomeCompiled: {
1241 CHECK_NE(0U, bitmap_size);
Brian Carlstromcd937a92014-03-04 22:53:23 -08001242 CHECK(bitmap_pointer != nullptr);
Ian Rogers97b52f82014-08-14 11:34:07 -07001243 CHECK(methods_pointer != nullptr);
Brian Carlstromba150c32013-08-27 17:31:03 -07001244 break;
1245 }
1246 case kOatClassNoneCompiled: {
1247 CHECK_EQ(0U, bitmap_size);
Brian Carlstromcd937a92014-03-04 22:53:23 -08001248 CHECK(bitmap_pointer == nullptr);
Ian Rogers97b52f82014-08-14 11:34:07 -07001249 CHECK(methods_pointer_ == nullptr);
Brian Carlstromba150c32013-08-27 17:31:03 -07001250 break;
1251 }
1252 case kOatClassMax: {
1253 LOG(FATAL) << "Invalid OatClassType " << type_;
1254 break;
1255 }
1256 }
1257}
Brian Carlstrome24fa612011-09-29 00:53:55 -07001258
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001259uint32_t OatFile::OatClass::GetOatMethodOffsetsOffset(uint32_t method_index) const {
1260 const OatMethodOffsets* oat_method_offsets = GetOatMethodOffsets(method_index);
1261 if (oat_method_offsets == nullptr) {
1262 return 0u;
1263 }
1264 return reinterpret_cast<const uint8_t*>(oat_method_offsets) - oat_file_->Begin();
1265}
1266
1267const OatMethodOffsets* OatFile::OatClass::GetOatMethodOffsets(uint32_t method_index) const {
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001268 // 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 -07001269 if (methods_pointer_ == nullptr) {
Brian Carlstromba150c32013-08-27 17:31:03 -07001270 CHECK_EQ(kOatClassNoneCompiled, type_);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001271 return nullptr;
Brian Carlstromba150c32013-08-27 17:31:03 -07001272 }
1273 size_t methods_pointer_index;
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001274 if (bitmap_ == nullptr) {
Brian Carlstromba150c32013-08-27 17:31:03 -07001275 CHECK_EQ(kOatClassAllCompiled, type_);
1276 methods_pointer_index = method_index;
1277 } else {
1278 CHECK_EQ(kOatClassSomeCompiled, type_);
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001279 if (!BitVector::IsBitSet(bitmap_, method_index)) {
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001280 return nullptr;
Brian Carlstromba150c32013-08-27 17:31:03 -07001281 }
Vladimir Markod3c5beb2014-04-11 16:32:51 +01001282 size_t num_set_bits = BitVector::NumSetBits(bitmap_, method_index);
1283 methods_pointer_index = num_set_bits;
Brian Carlstromba150c32013-08-27 17:31:03 -07001284 }
1285 const OatMethodOffsets& oat_method_offsets = methods_pointer_[methods_pointer_index];
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001286 return &oat_method_offsets;
1287}
1288
1289const OatFile::OatMethod OatFile::OatClass::GetOatMethod(uint32_t method_index) const {
1290 const OatMethodOffsets* oat_method_offsets = GetOatMethodOffsets(method_index);
1291 if (oat_method_offsets == nullptr) {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -08001292 return OatMethod(nullptr, 0);
Brian Carlstrom2cbaccb2014-09-14 20:34:17 -07001293 }
1294 if (oat_file_->IsExecutable() ||
1295 Runtime::Current() == nullptr || // This case applies for oatdump.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001296 Runtime::Current()->IsAotCompiler()) {
Mathieu Chartier957ca1c2014-11-21 16:51:29 -08001297 return OatMethod(oat_file_->Begin(), oat_method_offsets->code_offset_);
Alex Light9dcc4572014-08-14 14:16:26 -07001298 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001299 // We aren't allowed to use the compiled code. We just force it down the interpreted / jit
1300 // version.
1301 return OatMethod(oat_file_->Begin(), 0);
Brian Carlstrom3320cf42011-10-04 14:58:28 -07001302}
1303
Mathieu Chartiere401d142015-04-22 13:56:20 -07001304void OatFile::OatMethod::LinkMethod(ArtMethod* method) const {
Andreas Gampefa8429b2015-04-07 18:34:42 -07001305 CHECK(method != nullptr);
Ian Rogersef7d42f2014-01-06 12:55:46 -08001306 method->SetEntryPointFromQuickCompiledCode(GetQuickCode());
Brian Carlstromae826982011-11-09 01:33:42 -08001307}
1308
Richard Uhlerd1537b52016-03-29 13:27:41 -07001309bool OatFile::HasPatchInfo() const {
1310 return GetOatHeader().HasPatchInfo();
1311}
1312
Andreas Gampe7ba64962014-10-23 11:37:40 -07001313bool OatFile::IsPic() const {
Igor Murashkin46774762014-10-22 11:37:02 -07001314 return GetOatHeader().IsPic();
Andreas Gampe7ba64962014-10-23 11:37:40 -07001315 // TODO: Check against oat_patches. b/18144996
1316}
1317
Sebastien Hertz0de11332015-05-13 12:14:05 +02001318bool OatFile::IsDebuggable() const {
1319 return GetOatHeader().IsDebuggable();
1320}
1321
Andreas Gampe29d38e72016-03-23 15:31:51 +00001322CompilerFilter::Filter OatFile::GetCompilerFilter() const {
1323 return GetOatHeader().GetCompilerFilter();
Calin Juravleb077e152016-02-18 18:47:37 +00001324}
1325
Andreas Gampe7848da42015-04-09 11:15:04 -07001326static constexpr char kDexClassPathEncodingSeparator = '*';
1327
1328std::string OatFile::EncodeDexFileDependencies(const std::vector<const DexFile*>& dex_files) {
1329 std::ostringstream out;
1330
1331 for (const DexFile* dex_file : dex_files) {
1332 out << dex_file->GetLocation().c_str();
1333 out << kDexClassPathEncodingSeparator;
1334 out << dex_file->GetLocationChecksum();
1335 out << kDexClassPathEncodingSeparator;
1336 }
1337
1338 return out.str();
1339}
1340
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001341bool OatFile::CheckStaticDexFileDependencies(const char* dex_dependencies, std::string* msg) {
Andreas Gampe7848da42015-04-09 11:15:04 -07001342 if (dex_dependencies == nullptr || dex_dependencies[0] == 0) {
1343 // No dependencies.
1344 return true;
1345 }
1346
1347 // Assumption: this is not performance-critical. So it's OK to do this with a std::string and
1348 // Split() instead of manual parsing of the combined char*.
1349 std::vector<std::string> split;
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001350 Split(dex_dependencies, kDexClassPathEncodingSeparator, &split);
Andreas Gampe7848da42015-04-09 11:15:04 -07001351 if (split.size() % 2 != 0) {
1352 // Expected pairs of location and checksum.
1353 *msg = StringPrintf("Odd number of elements in dependency list %s", dex_dependencies);
1354 return false;
1355 }
1356
1357 for (auto it = split.begin(), end = split.end(); it != end; it += 2) {
1358 std::string& location = *it;
1359 std::string& checksum = *(it + 1);
1360 int64_t converted = strtoll(checksum.c_str(), nullptr, 10);
1361 if (converted == 0) {
1362 // Conversion error.
1363 *msg = StringPrintf("Conversion error for %s", checksum.c_str());
1364 return false;
1365 }
1366
1367 uint32_t dex_checksum;
1368 std::string error_msg;
1369 if (DexFile::GetChecksum(DexFile::GetDexCanonicalLocation(location.c_str()).c_str(),
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001370 &dex_checksum,
1371 &error_msg)) {
Andreas Gampe7848da42015-04-09 11:15:04 -07001372 if (converted != dex_checksum) {
1373 *msg = StringPrintf("Checksums don't match for %s: %" PRId64 " vs %u",
1374 location.c_str(), converted, dex_checksum);
1375 return false;
1376 }
1377 } else {
1378 // Problem retrieving checksum.
1379 // TODO: odex files?
1380 *msg = StringPrintf("Could not retrieve checksum for %s: %s", location.c_str(),
1381 error_msg.c_str());
1382 return false;
1383 }
1384 }
1385
1386 return true;
1387}
1388
1389bool OatFile::GetDexLocationsFromDependencies(const char* dex_dependencies,
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001390 std::vector<std::string>* locations) {
1391 DCHECK(locations != nullptr);
Andreas Gampe7848da42015-04-09 11:15:04 -07001392 if (dex_dependencies == nullptr || dex_dependencies[0] == 0) {
1393 return true;
1394 }
1395
1396 // Assumption: this is not performance-critical. So it's OK to do this with a std::string and
1397 // Split() instead of manual parsing of the combined char*.
1398 std::vector<std::string> split;
Igor Murashkinb1d8c312015-08-04 11:18:43 -07001399 Split(dex_dependencies, kDexClassPathEncodingSeparator, &split);
Andreas Gampe7848da42015-04-09 11:15:04 -07001400 if (split.size() % 2 != 0) {
1401 // Expected pairs of location and checksum.
1402 return false;
1403 }
1404
1405 for (auto it = split.begin(), end = split.end(); it != end; it += 2) {
1406 locations->push_back(*it);
1407 }
1408
1409 return true;
1410}
1411
Brian Carlstrome24fa612011-09-29 00:53:55 -07001412} // namespace art