blob: b8289876a8b57c5b36963d4567d83003bf17777f [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.h"
18
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070019#include <string.h>
Brian Carlstrome24fa612011-09-29 00:53:55 -070020
Andreas Gampe46ee31b2016-12-14 10:11:49 -080021#include "android-base/stringprintf.h"
22
Andreas Gampe639b2b12019-01-08 10:32:50 -080023#include "arch/instruction_set.h"
Ian Rogersd582fa42014-11-05 23:46:43 -080024#include "arch/instruction_set_features.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010025#include "base/bit_utils.h"
Andreas Gampef45d61c2017-06-07 10:29:33 -070026#include "base/strlcpy.h"
Ian Rogersd582fa42014-11-05 23:46:43 -080027
Brian Carlstrome24fa612011-09-29 00:53:55 -070028namespace art {
29
Andreas Gampe46ee31b2016-12-14 10:11:49 -080030using android::base::StringPrintf;
31
Andreas Gampe2bcb3b22014-12-12 15:25:14 -080032constexpr uint8_t OatHeader::kOatMagic[4];
33constexpr uint8_t OatHeader::kOatVersion[4];
Sebastien Hertz0de11332015-05-13 12:14:05 +020034constexpr const char OatHeader::kTrueValue[];
35constexpr const char OatHeader::kFalseValue[];
Brian Carlstrome24fa612011-09-29 00:53:55 -070036
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070037static size_t ComputeOatHeaderSize(const SafeMap<std::string, std::string>* variable_data) {
38 size_t estimate = 0U;
39 if (variable_data != nullptr) {
40 SafeMap<std::string, std::string>::const_iterator it = variable_data->begin();
41 SafeMap<std::string, std::string>::const_iterator end = variable_data->end();
42 for ( ; it != end; ++it) {
43 estimate += it->first.length() + 1;
44 estimate += it->second.length() + 1;
45 }
46 }
47 return sizeof(OatHeader) + estimate;
48}
49
50OatHeader* OatHeader::Create(InstructionSet instruction_set,
Ian Rogers6f3dbba2014-10-14 17:41:57 -070051 const InstructionSetFeatures* instruction_set_features,
Vladimir Marko49b0f452015-12-10 13:49:19 +000052 uint32_t dex_file_count,
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070053 const SafeMap<std::string, std::string>* variable_data) {
54 // Estimate size of optional data.
55 size_t needed_size = ComputeOatHeaderSize(variable_data);
56
57 // Reserve enough memory.
58 void* memory = operator new (needed_size);
59
60 // Create the OatHeader in-place.
61 return new (memory) OatHeader(instruction_set,
62 instruction_set_features,
Vladimir Marko49b0f452015-12-10 13:49:19 +000063 dex_file_count,
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070064 variable_data);
Elliott Hughesa72ec822012-03-05 17:12:22 -080065}
66
Brian Carlstrom81f3ca12012-03-17 00:27:35 -070067OatHeader::OatHeader(InstructionSet instruction_set,
Ian Rogers6f3dbba2014-10-14 17:41:57 -070068 const InstructionSetFeatures* instruction_set_features,
Vladimir Marko49b0f452015-12-10 13:49:19 +000069 uint32_t dex_file_count,
70 const SafeMap<std::string, std::string>* variable_data)
Vladimir Markoc10a0c62018-11-16 11:39:22 +000071 : oat_checksum_(0u),
Vladimir Marko49b0f452015-12-10 13:49:19 +000072 instruction_set_(instruction_set),
73 instruction_set_features_bitmap_(instruction_set_features->AsBitmap()),
74 dex_file_count_(dex_file_count),
Vladimir Marko0eb882b2017-05-15 13:39:18 +010075 oat_dex_files_offset_(0),
Vladimir Marko49b0f452015-12-10 13:49:19 +000076 executable_offset_(0),
Vladimir Marko49b0f452015-12-10 13:49:19 +000077 jni_dlsym_lookup_offset_(0),
78 quick_generic_jni_trampoline_offset_(0),
79 quick_imt_conflict_trampoline_offset_(0),
80 quick_resolution_trampoline_offset_(0),
Vladimir Marko0ace5632018-12-14 11:11:47 +000081 quick_to_interpreter_bridge_offset_(0) {
Andreas Gampe2bcb3b22014-12-12 15:25:14 -080082 // Don't want asserts in header as they would be checked in each file that includes it. But the
83 // fields are private, so we check inside a method.
84 static_assert(sizeof(magic_) == sizeof(kOatMagic),
85 "Oat magic and magic_ have different lengths.");
86 static_assert(sizeof(version_) == sizeof(kOatVersion),
87 "Oat version and version_ have different lengths.");
88
Brian Carlstrome24fa612011-09-29 00:53:55 -070089 memcpy(magic_, kOatMagic, sizeof(kOatMagic));
90 memcpy(version_, kOatVersion, sizeof(kOatVersion));
Brian Carlstrom81f3ca12012-03-17 00:27:35 -070091
Vladimir Marko33bff252017-11-01 14:35:42 +000092 CHECK_NE(instruction_set, InstructionSet::kNone);
Brian Carlstrom81f3ca12012-03-17 00:27:35 -070093
Andreas Gampe22f8e5c2014-07-09 11:38:21 -070094 // Flatten the map. Will also update variable_size_data_size_.
95 Flatten(variable_data);
Brian Carlstrome24fa612011-09-29 00:53:55 -070096}
97
98bool OatHeader::IsValid() const {
Brian Carlstromf852fb22012-10-19 11:01:58 -070099 if (memcmp(magic_, kOatMagic, sizeof(kOatMagic)) != 0) {
Brian Carlstrome24fa612011-09-29 00:53:55 -0700100 return false;
101 }
Brian Carlstromf852fb22012-10-19 11:01:58 -0700102 if (memcmp(version_, kOatVersion, sizeof(kOatVersion)) != 0) {
Brian Carlstrome24fa612011-09-29 00:53:55 -0700103 return false;
104 }
Alex Lighta59dd802014-07-02 16:28:08 -0700105 if (!IsAligned<kPageSize>(executable_offset_)) {
106 return false;
107 }
Vladimir Marko09d09432015-09-08 13:47:48 +0100108 if (!IsValidInstructionSet(instruction_set_)) {
109 return false;
110 }
Brian Carlstrome24fa612011-09-29 00:53:55 -0700111 return true;
112}
113
Andreas Gampe2bcb3b22014-12-12 15:25:14 -0800114std::string OatHeader::GetValidationErrorMessage() const {
115 if (memcmp(magic_, kOatMagic, sizeof(kOatMagic)) != 0) {
116 static_assert(sizeof(kOatMagic) == 4, "kOatMagic has unexpected length");
117 return StringPrintf("Invalid oat magic, expected 0x%x%x%x%x, got 0x%x%x%x%x.",
118 kOatMagic[0], kOatMagic[1], kOatMagic[2], kOatMagic[3],
119 magic_[0], magic_[1], magic_[2], magic_[3]);
120 }
121 if (memcmp(version_, kOatVersion, sizeof(kOatVersion)) != 0) {
122 static_assert(sizeof(kOatVersion) == 4, "kOatVersion has unexpected length");
123 return StringPrintf("Invalid oat version, expected 0x%x%x%x%x, got 0x%x%x%x%x.",
124 kOatVersion[0], kOatVersion[1], kOatVersion[2], kOatVersion[3],
125 version_[0], version_[1], version_[2], version_[3]);
126 }
127 if (!IsAligned<kPageSize>(executable_offset_)) {
128 return "Executable offset not page-aligned.";
129 }
Vladimir Marko09d09432015-09-08 13:47:48 +0100130 if (!IsValidInstructionSet(instruction_set_)) {
131 return StringPrintf("Invalid instruction set, %d.", static_cast<int>(instruction_set_));
132 }
Andreas Gampe2bcb3b22014-12-12 15:25:14 -0800133 return "";
134}
135
Brian Carlstrome24fa612011-09-29 00:53:55 -0700136const char* OatHeader::GetMagic() const {
137 CHECK(IsValid());
138 return reinterpret_cast<const char*>(magic_);
139}
140
Brian Carlstrome24fa612011-09-29 00:53:55 -0700141uint32_t OatHeader::GetChecksum() const {
142 CHECK(IsValid());
Vladimir Markoc10a0c62018-11-16 11:39:22 +0000143 return oat_checksum_;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700144}
145
Vladimir Markoc10a0c62018-11-16 11:39:22 +0000146void OatHeader::SetChecksum(uint32_t oat_checksum) {
147 oat_checksum_ = oat_checksum;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700148}
149
Elliott Hughesa72ec822012-03-05 17:12:22 -0800150InstructionSet OatHeader::GetInstructionSet() const {
151 CHECK(IsValid());
152 return instruction_set_;
153}
154
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700155uint32_t OatHeader::GetInstructionSetFeaturesBitmap() const {
Dave Allison70202782013-10-22 17:52:19 -0700156 CHECK(IsValid());
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700157 return instruction_set_features_bitmap_;
Dave Allison70202782013-10-22 17:52:19 -0700158}
159
Vladimir Marko0eb882b2017-05-15 13:39:18 +0100160uint32_t OatHeader::GetOatDexFilesOffset() const {
161 DCHECK(IsValid());
162 DCHECK_GT(oat_dex_files_offset_, sizeof(OatHeader));
163 return oat_dex_files_offset_;
164}
165
166void OatHeader::SetOatDexFilesOffset(uint32_t oat_dex_files_offset) {
167 DCHECK_GT(oat_dex_files_offset, sizeof(OatHeader));
168 DCHECK(IsValid());
169 DCHECK_EQ(oat_dex_files_offset_, 0u);
170
171 oat_dex_files_offset_ = oat_dex_files_offset;
172}
173
Brian Carlstrome24fa612011-09-29 00:53:55 -0700174uint32_t OatHeader::GetExecutableOffset() const {
175 DCHECK(IsValid());
Elliott Hughes06b37d92011-10-16 11:51:29 -0700176 DCHECK_ALIGNED(executable_offset_, kPageSize);
Brian Carlstrome24fa612011-09-29 00:53:55 -0700177 CHECK_GT(executable_offset_, sizeof(OatHeader));
178 return executable_offset_;
179}
180
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700181void OatHeader::SetExecutableOffset(uint32_t executable_offset) {
182 DCHECK_ALIGNED(executable_offset, kPageSize);
183 CHECK_GT(executable_offset, sizeof(OatHeader));
184 DCHECK(IsValid());
185 DCHECK_EQ(executable_offset_, 0U);
186
187 executable_offset_ = executable_offset;
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700188}
189
Vladimir Marko98fb0832019-03-13 16:52:11 +0000190static const void* GetTrampoline(const OatHeader& header, uint32_t offset) {
191 return (offset != 0u) ? reinterpret_cast<const uint8_t*>(&header) + offset : nullptr;
Ian Rogers468532e2013-08-05 10:56:33 -0700192}
193
194const void* OatHeader::GetJniDlsymLookup() const {
Vladimir Marko98fb0832019-03-13 16:52:11 +0000195 return GetTrampoline(*this, GetJniDlsymLookupOffset());
Ian Rogers468532e2013-08-05 10:56:33 -0700196}
197
198uint32_t OatHeader::GetJniDlsymLookupOffset() const {
199 DCHECK(IsValid());
Ian Rogers468532e2013-08-05 10:56:33 -0700200 return jni_dlsym_lookup_offset_;
201}
202
203void OatHeader::SetJniDlsymLookupOffset(uint32_t offset) {
Ian Rogers468532e2013-08-05 10:56:33 -0700204 DCHECK(IsValid());
205 DCHECK_EQ(jni_dlsym_lookup_offset_, 0U) << offset;
206
207 jni_dlsym_lookup_offset_ = offset;
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700208}
209
Andreas Gampe2da88232014-02-27 12:26:20 -0800210const void* OatHeader::GetQuickGenericJniTrampoline() const {
Vladimir Marko98fb0832019-03-13 16:52:11 +0000211 return GetTrampoline(*this, GetQuickGenericJniTrampolineOffset());
Andreas Gampe2da88232014-02-27 12:26:20 -0800212}
213
214uint32_t OatHeader::GetQuickGenericJniTrampolineOffset() const {
215 DCHECK(IsValid());
Elliott Hughes956af0f2014-12-11 14:34:28 -0800216 CHECK_GE(quick_generic_jni_trampoline_offset_, jni_dlsym_lookup_offset_);
Andreas Gampe2da88232014-02-27 12:26:20 -0800217 return quick_generic_jni_trampoline_offset_;
218}
219
220void OatHeader::SetQuickGenericJniTrampolineOffset(uint32_t offset) {
Elliott Hughes956af0f2014-12-11 14:34:28 -0800221 CHECK(offset == 0 || offset >= jni_dlsym_lookup_offset_);
Andreas Gampe2da88232014-02-27 12:26:20 -0800222 DCHECK(IsValid());
223 DCHECK_EQ(quick_generic_jni_trampoline_offset_, 0U) << offset;
224
225 quick_generic_jni_trampoline_offset_ = offset;
Andreas Gampe2da88232014-02-27 12:26:20 -0800226}
227
Jeff Hao88474b42013-10-23 16:24:40 -0700228const void* OatHeader::GetQuickImtConflictTrampoline() const {
Vladimir Marko98fb0832019-03-13 16:52:11 +0000229 return GetTrampoline(*this, GetQuickImtConflictTrampolineOffset());
Jeff Hao88474b42013-10-23 16:24:40 -0700230}
231
232uint32_t OatHeader::GetQuickImtConflictTrampolineOffset() const {
233 DCHECK(IsValid());
Andreas Gampe2da88232014-02-27 12:26:20 -0800234 CHECK_GE(quick_imt_conflict_trampoline_offset_, quick_generic_jni_trampoline_offset_);
Jeff Hao88474b42013-10-23 16:24:40 -0700235 return quick_imt_conflict_trampoline_offset_;
236}
237
238void OatHeader::SetQuickImtConflictTrampolineOffset(uint32_t offset) {
Andreas Gampe2da88232014-02-27 12:26:20 -0800239 CHECK(offset == 0 || offset >= quick_generic_jni_trampoline_offset_);
Jeff Hao88474b42013-10-23 16:24:40 -0700240 DCHECK(IsValid());
241 DCHECK_EQ(quick_imt_conflict_trampoline_offset_, 0U) << offset;
242
243 quick_imt_conflict_trampoline_offset_ = offset;
Jeff Hao88474b42013-10-23 16:24:40 -0700244}
245
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700246const void* OatHeader::GetQuickResolutionTrampoline() const {
Vladimir Marko98fb0832019-03-13 16:52:11 +0000247 return GetTrampoline(*this, GetQuickResolutionTrampolineOffset());
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700248}
249
250uint32_t OatHeader::GetQuickResolutionTrampolineOffset() const {
251 DCHECK(IsValid());
Jeff Hao88474b42013-10-23 16:24:40 -0700252 CHECK_GE(quick_resolution_trampoline_offset_, quick_imt_conflict_trampoline_offset_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700253 return quick_resolution_trampoline_offset_;
254}
255
256void OatHeader::SetQuickResolutionTrampolineOffset(uint32_t offset) {
Jeff Hao88474b42013-10-23 16:24:40 -0700257 CHECK(offset == 0 || offset >= quick_imt_conflict_trampoline_offset_);
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700258 DCHECK(IsValid());
259 DCHECK_EQ(quick_resolution_trampoline_offset_, 0U) << offset;
260
261 quick_resolution_trampoline_offset_ = offset;
Jeff Hao0aba0ba2013-06-03 14:49:28 -0700262}
263
Ian Rogers468532e2013-08-05 10:56:33 -0700264const void* OatHeader::GetQuickToInterpreterBridge() const {
Vladimir Marko98fb0832019-03-13 16:52:11 +0000265 return GetTrampoline(*this, GetQuickToInterpreterBridgeOffset());
Ian Rogers468532e2013-08-05 10:56:33 -0700266}
267
268uint32_t OatHeader::GetQuickToInterpreterBridgeOffset() const {
269 DCHECK(IsValid());
270 CHECK_GE(quick_to_interpreter_bridge_offset_, quick_resolution_trampoline_offset_);
271 return quick_to_interpreter_bridge_offset_;
272}
273
274void OatHeader::SetQuickToInterpreterBridgeOffset(uint32_t offset) {
275 CHECK(offset == 0 || offset >= quick_resolution_trampoline_offset_);
276 DCHECK(IsValid());
277 DCHECK_EQ(quick_to_interpreter_bridge_offset_, 0U) << offset;
278
279 quick_to_interpreter_bridge_offset_ = offset;
Ian Rogers468532e2013-08-05 10:56:33 -0700280}
281
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700282uint32_t OatHeader::GetKeyValueStoreSize() const {
Brian Carlstrom81f3ca12012-03-17 00:27:35 -0700283 CHECK(IsValid());
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700284 return key_value_store_size_;
Brian Carlstrom81f3ca12012-03-17 00:27:35 -0700285}
286
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700287const uint8_t* OatHeader::GetKeyValueStore() const {
Brian Carlstrom81f3ca12012-03-17 00:27:35 -0700288 CHECK(IsValid());
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700289 return key_value_store_;
Brian Carlstrom81f3ca12012-03-17 00:27:35 -0700290}
291
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700292// Advance start until it is either end or \0.
293static const char* ParseString(const char* start, const char* end) {
294 while (start < end && *start != 0) {
295 start++;
296 }
297 return start;
298}
299
300const char* OatHeader::GetStoreValueByKey(const char* key) const {
301 const char* ptr = reinterpret_cast<const char*>(&key_value_store_);
302 const char* end = ptr + key_value_store_size_;
303
304 while (ptr < end) {
305 // Scan for a closing zero.
306 const char* str_end = ParseString(ptr, end);
307 if (str_end < end) {
308 if (strcmp(key, ptr) == 0) {
309 // Same as key. Check if value is OK.
310 if (ParseString(str_end + 1, end) < end) {
311 return str_end + 1;
312 }
313 } else {
314 // Different from key. Advance over the value.
315 ptr = ParseString(str_end + 1, end) + 1;
316 }
317 } else {
318 break;
319 }
320 }
321 // Not found.
322 return nullptr;
323}
324
325bool OatHeader::GetStoreKeyValuePairByIndex(size_t index, const char** key,
326 const char** value) const {
327 const char* ptr = reinterpret_cast<const char*>(&key_value_store_);
328 const char* end = ptr + key_value_store_size_;
329 ssize_t counter = static_cast<ssize_t>(index);
330
331 while (ptr < end && counter >= 0) {
332 // Scan for a closing zero.
333 const char* str_end = ParseString(ptr, end);
334 if (str_end < end) {
335 const char* maybe_key = ptr;
336 ptr = ParseString(str_end + 1, end) + 1;
337 if (ptr <= end) {
338 if (counter == 0) {
339 *key = maybe_key;
340 *value = str_end + 1;
341 return true;
342 } else {
343 counter--;
344 }
345 } else {
346 return false;
347 }
348 } else {
349 break;
350 }
351 }
352 // Not found.
353 return false;
354}
355
356size_t OatHeader::GetHeaderSize() const {
357 return sizeof(OatHeader) + key_value_store_size_;
358}
359
Sebastien Hertz0de11332015-05-13 12:14:05 +0200360bool OatHeader::IsDebuggable() const {
361 return IsKeyEnabled(OatHeader::kDebuggableKey);
362}
363
Andreas Gampef8cd8902017-01-18 16:05:01 -0800364bool OatHeader::IsConcurrentCopying() const {
365 return IsKeyEnabled(OatHeader::kConcurrentCopying);
366}
367
David Srbecky5d950762016-03-07 20:47:29 +0000368bool OatHeader::IsNativeDebuggable() const {
369 return IsKeyEnabled(OatHeader::kNativeDebuggableKey);
370}
371
Andreas Gampe7bcfcb82016-03-23 15:31:51 +0000372CompilerFilter::Filter OatHeader::GetCompilerFilter() const {
373 CompilerFilter::Filter filter;
374 const char* key_value = GetStoreValueByKey(kCompilerFilter);
375 CHECK(key_value != nullptr) << "compiler-filter not found in oat header";
376 CHECK(CompilerFilter::ParseCompilerFilter(key_value, &filter))
377 << "Invalid compiler-filter in oat header: " << key_value;
378 return filter;
Calin Juravleb077e152016-02-18 18:47:37 +0000379}
380
381bool OatHeader::KeyHasValue(const char* key, const char* value, size_t value_size) const {
382 const char* key_value = GetStoreValueByKey(key);
383 return (key_value != nullptr && strncmp(key_value, value, value_size) == 0);
David Brazdilce4b0ba2016-01-28 15:05:49 +0000384}
385
Sebastien Hertz0de11332015-05-13 12:14:05 +0200386bool OatHeader::IsKeyEnabled(const char* key) const {
Calin Juravleb077e152016-02-18 18:47:37 +0000387 return KeyHasValue(key, kTrueValue, sizeof(kTrueValue));
Igor Murashkin46774762014-10-22 11:37:02 -0700388}
389
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700390void OatHeader::Flatten(const SafeMap<std::string, std::string>* key_value_store) {
391 char* data_ptr = reinterpret_cast<char*>(&key_value_store_);
392 if (key_value_store != nullptr) {
393 SafeMap<std::string, std::string>::const_iterator it = key_value_store->begin();
394 SafeMap<std::string, std::string>::const_iterator end = key_value_store->end();
395 for ( ; it != end; ++it) {
Andreas Gampef45d61c2017-06-07 10:29:33 -0700396 strlcpy(data_ptr, it->first.c_str(), it->first.length() + 1);
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700397 data_ptr += it->first.length() + 1;
Andreas Gampef45d61c2017-06-07 10:29:33 -0700398 strlcpy(data_ptr, it->second.c_str(), it->second.length() + 1);
Andreas Gampe22f8e5c2014-07-09 11:38:21 -0700399 data_ptr += it->second.length() + 1;
400 }
401 }
402 key_value_store_size_ = data_ptr - reinterpret_cast<char*>(&key_value_store_);
Brian Carlstrom81f3ca12012-03-17 00:27:35 -0700403}
404
Mathieu Chartier957ca1c2014-11-21 16:51:29 -0800405OatMethodOffsets::OatMethodOffsets(uint32_t code_offset) : code_offset_(code_offset) {
406}
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700407
408OatMethodOffsets::~OatMethodOffsets() {}
409
Brian Carlstrome24fa612011-09-29 00:53:55 -0700410} // namespace art