blob: 28984fd41b7f04ac02481a91508d967ad4c32b44 [file] [log] [blame]
Richard Uhler66d874d2015-01-15 09:37:19 -08001/*
2 * Copyright (C) 2014 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 */
16
17#include "oat_file_assistant.h"
18
Richard Uhler46cc64f2016-11-14 14:53:55 +000019#include <sstream>
20
Richard Uhler66d874d2015-01-15 09:37:19 -080021#include <sys/stat.h>
David Brazdil35a3f6a2019-03-04 15:59:06 +000022#include "zlib.h"
Andreas Gampe9186ced2016-12-12 14:28:21 -080023
Andreas Gampec15a2f42017-04-21 12:09:39 -070024#include "android-base/stringprintf.h"
Andreas Gampe9186ced2016-12-12 14:28:21 -080025#include "android-base/strings.h"
26
David Sehr891a50e2017-10-27 17:01:07 -070027#include "base/file_utils.h"
Andreas Gampe57943812017-12-06 21:39:13 -080028#include "base/logging.h" // For VLOG.
Andreas Gampebd3e1ce2018-03-15 17:45:03 -070029#include "base/macros.h"
David Sehrc431b9d2018-03-02 12:01:51 -080030#include "base/os.h"
Andreas Gampe5678db52017-06-08 14:11:18 -070031#include "base/stl_util.h"
Vladimir Markobcd99be2019-03-22 16:21:31 +000032#include "base/string_view_cpp20.h"
Mathieu Chartier4a17f8a2019-05-17 11:03:26 -070033#include "base/systrace.h"
David Sehrc431b9d2018-03-02 12:01:51 -080034#include "base/utils.h"
Richard Uhler66d874d2015-01-15 09:37:19 -080035#include "class_linker.h"
David Brazdil35a3f6a2019-03-04 15:59:06 +000036#include "class_loader_context.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070037#include "compiler_filter.h"
David Sehr013fd802018-01-11 22:55:24 -080038#include "dex/art_dex_file_loader.h"
David Sehr9e734c72018-01-04 17:56:19 -080039#include "dex/dex_file_loader.h"
David Sehr97c381e2017-02-01 15:09:58 -080040#include "exec_utils.h"
Richard Uhler66d874d2015-01-15 09:37:19 -080041#include "gc/heap.h"
42#include "gc/space/image_space.h"
43#include "image.h"
44#include "oat.h"
Richard Uhler66d874d2015-01-15 09:37:19 -080045#include "runtime.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070046#include "scoped_thread_state_change-inl.h"
Richard Uhler2f27abd2017-01-31 14:02:34 +000047#include "vdex_file.h"
Richard Uhler66d874d2015-01-15 09:37:19 -080048
49namespace art {
50
Richard Uhler69bcf2c2017-01-24 10:25:21 +000051using android::base::StringPrintf;
52
David Brazdil35a3f6a2019-03-04 15:59:06 +000053static constexpr const char* kAnonymousDexPrefix = "Anonymous-DexFile@";
54static constexpr const char* kVdexExtension = ".vdex";
55
Narayan Kamath8943c1d2016-05-02 13:14:48 +010056std::ostream& operator << (std::ostream& stream, const OatFileAssistant::OatStatus status) {
57 switch (status) {
Richard Uhler03bc6592016-11-22 09:42:04 +000058 case OatFileAssistant::kOatCannotOpen:
59 stream << "kOatCannotOpen";
60 break;
61 case OatFileAssistant::kOatDexOutOfDate:
62 stream << "kOatDexOutOfDate";
63 break;
64 case OatFileAssistant::kOatBootImageOutOfDate:
65 stream << "kOatBootImageOutOfDate";
66 break;
Narayan Kamath8943c1d2016-05-02 13:14:48 +010067 case OatFileAssistant::kOatUpToDate:
68 stream << "kOatUpToDate";
69 break;
Narayan Kamath8943c1d2016-05-02 13:14:48 +010070 default:
71 UNREACHABLE();
72 }
73
74 return stream;
75}
76
Richard Uhler66d874d2015-01-15 09:37:19 -080077OatFileAssistant::OatFileAssistant(const char* dex_location,
78 const InstructionSet isa,
Nicolas Geoffray29742602017-12-14 10:09:03 +000079 bool load_executable,
80 bool only_load_system_executable)
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -070081 : OatFileAssistant(dex_location,
Nicolas Geoffray29742602017-12-14 10:09:03 +000082 isa,
83 load_executable,
84 only_load_system_executable,
Vladimir Markof4efa9e2018-10-17 14:12:45 +010085 /*vdex_fd=*/ -1,
86 /*oat_fd=*/ -1,
87 /*zip_fd=*/ -1) {}
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -070088
89
90OatFileAssistant::OatFileAssistant(const char* dex_location,
91 const InstructionSet isa,
Shubham Ajmerab22dea02017-10-04 18:36:41 -070092 bool load_executable,
Nicolas Geoffray29742602017-12-14 10:09:03 +000093 bool only_load_system_executable,
Shubham Ajmerab22dea02017-10-04 18:36:41 -070094 int vdex_fd,
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -070095 int oat_fd,
96 int zip_fd)
Richard Uhler88bc6732016-11-14 14:38:03 +000097 : isa_(isa),
98 load_executable_(load_executable),
Nicolas Geoffray29742602017-12-14 10:09:03 +000099 only_load_system_executable_(only_load_system_executable),
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700100 odex_(this, /*is_oat_location=*/ false),
101 oat_(this, /*is_oat_location=*/ true),
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700102 zip_fd_(zip_fd) {
Richard Uhler740eec92015-10-15 15:12:23 -0700103 CHECK(dex_location != nullptr) << "OatFileAssistant: null dex location";
Calin Juravle357c66d2017-05-04 01:57:17 +0000104
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700105 if (zip_fd < 0) {
106 CHECK_LE(oat_fd, 0) << "zip_fd must be provided with valid oat_fd. zip_fd=" << zip_fd
107 << " oat_fd=" << oat_fd;
108 CHECK_LE(vdex_fd, 0) << "zip_fd must be provided with valid vdex_fd. zip_fd=" << zip_fd
109 << " vdex_fd=" << vdex_fd;;
110 }
111
Calin Juravle099f8d62017-09-05 19:04:04 -0700112 dex_location_.assign(dex_location);
Richard Uhler740eec92015-10-15 15:12:23 -0700113
Richard Uhler66d874d2015-01-15 09:37:19 -0800114 if (load_executable_ && isa != kRuntimeISA) {
115 LOG(WARNING) << "OatFileAssistant: Load executable specified, "
116 << "but isa is not kRuntimeISA. Will not attempt to load executable.";
117 load_executable_ = false;
118 }
119
Richard Uhler743bf362016-04-19 15:39:37 -0700120 // Get the odex filename.
Richard Uhlerd684f522016-04-19 13:24:41 -0700121 std::string error_msg;
Richard Uhler743bf362016-04-19 15:39:37 -0700122 std::string odex_file_name;
123 if (DexLocationToOdexFilename(dex_location_, isa_, &odex_file_name, &error_msg)) {
Nicolas Geoffray30025092018-04-19 14:43:29 +0100124 odex_.Reset(odex_file_name, UseFdToReadFiles(), zip_fd, vdex_fd, oat_fd);
Richard Uhler743bf362016-04-19 15:39:37 -0700125 } else {
Richard Uhlerd684f522016-04-19 13:24:41 -0700126 LOG(WARNING) << "Failed to determine odex file name: " << error_msg;
127 }
128
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700129 if (!UseFdToReadFiles()) {
130 // Get the oat filename.
131 std::string oat_file_name;
132 if (DexLocationToOatFilename(dex_location_, isa_, &oat_file_name, &error_msg)) {
Vladimir Markof4efa9e2018-10-17 14:12:45 +0100133 oat_.Reset(oat_file_name, /*use_fd=*/ false);
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700134 } else {
135 LOG(WARNING) << "Failed to determine oat file name for dex location "
136 << dex_location_ << ": " << error_msg;
137 }
Calin Juravle357c66d2017-05-04 01:57:17 +0000138 }
139
140 // Check if the dex directory is writable.
141 // This will be needed in most uses of OatFileAssistant and so it's OK to
142 // compute it eagerly. (the only use which will not make use of it is
143 // OatFileAssistant::GetStatusDump())
144 size_t pos = dex_location_.rfind('/');
145 if (pos == std::string::npos) {
146 LOG(WARNING) << "Failed to determine dex file parent directory: " << dex_location_;
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700147 } else if (!UseFdToReadFiles()) {
148 // We cannot test for parent access when using file descriptors. That's ok
149 // because in this case we will always pick the odex file anyway.
Calin Juravle357c66d2017-05-04 01:57:17 +0000150 std::string parent = dex_location_.substr(0, pos);
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700151 if (access(parent.c_str(), W_OK) == 0) {
Calin Juravle357c66d2017-05-04 01:57:17 +0000152 dex_parent_writable_ = true;
153 } else {
154 VLOG(oat) << "Dex parent of " << dex_location_ << " is not writable: " << strerror(errno);
Richard Uhlerd684f522016-04-19 13:24:41 -0700155 }
Richard Uhler66d874d2015-01-15 09:37:19 -0800156 }
Richard Uhler66d874d2015-01-15 09:37:19 -0800157}
158
159OatFileAssistant::~OatFileAssistant() {
160 // Clean up the lock file.
Narayan Kamatha3d27eb2017-05-11 13:50:59 +0100161 if (flock_.get() != nullptr) {
162 unlink(flock_->GetPath().c_str());
Richard Uhler66d874d2015-01-15 09:37:19 -0800163 }
164}
165
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700166bool OatFileAssistant::UseFdToReadFiles() {
167 return zip_fd_ >= 0;
168}
169
Richard Uhler66d874d2015-01-15 09:37:19 -0800170bool OatFileAssistant::IsInBootClassPath() {
171 // Note: We check the current boot class path, regardless of the ISA
172 // specified by the user. This is okay, because the boot class path should
173 // be the same for all ISAs.
174 // TODO: Can we verify the boot class path is the same for all ISAs?
175 Runtime* runtime = Runtime::Current();
176 ClassLinker* class_linker = runtime->GetClassLinker();
177 const auto& boot_class_path = class_linker->GetBootClassPath();
178 for (size_t i = 0; i < boot_class_path.size(); i++) {
Richard Uhler740eec92015-10-15 15:12:23 -0700179 if (boot_class_path[i]->GetLocation() == dex_location_) {
Richard Uhler66d874d2015-01-15 09:37:19 -0800180 VLOG(oat) << "Dex location " << dex_location_ << " is in boot class path";
181 return true;
182 }
183 }
184 return false;
185}
186
Shubham Ajmerae4e812a2017-05-25 20:09:58 -0700187int OatFileAssistant::GetDexOptNeeded(CompilerFilter::Filter target,
188 bool profile_changed,
Calin Juravle44e5efa2017-09-12 00:54:26 -0700189 bool downgrade,
David Brazdil89821862019-03-19 13:57:43 +0000190 ClassLoaderContext* class_loader_context,
191 const std::vector<int>& context_fds) {
Richard Uhler88bc6732016-11-14 14:38:03 +0000192 OatFileInfo& info = GetBestInfo();
Calin Juravle44e5efa2017-09-12 00:54:26 -0700193 DexOptNeeded dexopt_needed = info.GetDexOptNeeded(target,
194 profile_changed,
195 downgrade,
David Brazdil89821862019-03-19 13:57:43 +0000196 class_loader_context,
197 context_fds);
Richard Uhler7225a8d2016-11-22 10:12:03 +0000198 if (info.IsOatLocation() || dexopt_needed == kDex2OatFromScratch) {
199 return dexopt_needed;
Richard Uhler66d874d2015-01-15 09:37:19 -0800200 }
Richard Uhler7225a8d2016-11-22 10:12:03 +0000201 return -dexopt_needed;
Richard Uhler66d874d2015-01-15 09:37:19 -0800202}
203
Richard Uhler01be6812016-05-17 10:34:52 -0700204bool OatFileAssistant::IsUpToDate() {
Richard Uhler88bc6732016-11-14 14:38:03 +0000205 return GetBestInfo().Status() == kOatUpToDate;
Richard Uhler01be6812016-05-17 10:34:52 -0700206}
207
Richard Uhler66d874d2015-01-15 09:37:19 -0800208std::unique_ptr<OatFile> OatFileAssistant::GetBestOatFile() {
Richard Uhler88bc6732016-11-14 14:38:03 +0000209 return GetBestInfo().ReleaseFileForUse();
Richard Uhler66d874d2015-01-15 09:37:19 -0800210}
211
Richard Uhler46cc64f2016-11-14 14:53:55 +0000212std::string OatFileAssistant::GetStatusDump() {
213 std::ostringstream status;
214 bool oat_file_exists = false;
215 bool odex_file_exists = false;
Richard Uhler03bc6592016-11-22 09:42:04 +0000216 if (oat_.Status() != kOatCannotOpen) {
Richard Uhler2f27abd2017-01-31 14:02:34 +0000217 // If we can open the file, Filename should not return null.
Richard Uhler03bc6592016-11-22 09:42:04 +0000218 CHECK(oat_.Filename() != nullptr);
Richard Uhler03bc6592016-11-22 09:42:04 +0000219
Richard Uhler46cc64f2016-11-14 14:53:55 +0000220 oat_file_exists = true;
Richard Uhler2f27abd2017-01-31 14:02:34 +0000221 status << *oat_.Filename() << "[status=" << oat_.Status() << ", ";
222 const OatFile* file = oat_.GetFile();
223 if (file == nullptr) {
224 // If the file is null even though the status is not kOatCannotOpen, it
225 // means we must have a vdex file with no corresponding oat file. In
226 // this case we cannot determine the compilation filter. Indicate that
227 // we have only the vdex file instead.
228 status << "vdex-only";
229 } else {
230 status << "compilation_filter=" << CompilerFilter::NameOfFilter(file->GetCompilerFilter());
231 }
Richard Uhler46cc64f2016-11-14 14:53:55 +0000232 }
233
Richard Uhler03bc6592016-11-22 09:42:04 +0000234 if (odex_.Status() != kOatCannotOpen) {
Richard Uhler2f27abd2017-01-31 14:02:34 +0000235 // If we can open the file, Filename should not return null.
Richard Uhler03bc6592016-11-22 09:42:04 +0000236 CHECK(odex_.Filename() != nullptr);
Richard Uhler03bc6592016-11-22 09:42:04 +0000237
Richard Uhler46cc64f2016-11-14 14:53:55 +0000238 odex_file_exists = true;
239 if (oat_file_exists) {
240 status << "] ";
241 }
Richard Uhler2f27abd2017-01-31 14:02:34 +0000242 status << *odex_.Filename() << "[status=" << odex_.Status() << ", ";
243 const OatFile* file = odex_.GetFile();
244 if (file == nullptr) {
245 status << "vdex-only";
246 } else {
247 status << "compilation_filter=" << CompilerFilter::NameOfFilter(file->GetCompilerFilter());
248 }
Richard Uhler46cc64f2016-11-14 14:53:55 +0000249 }
250
251 if (!oat_file_exists && !odex_file_exists) {
252 status << "invalid[";
253 }
254
255 status << "]";
256 return status.str();
257}
258
Richard Uhler66d874d2015-01-15 09:37:19 -0800259std::vector<std::unique_ptr<const DexFile>> OatFileAssistant::LoadDexFiles(
Calin Juravle87e2cb62017-06-13 21:48:45 -0700260 const OatFile &oat_file, const char *dex_location) {
Richard Uhler66d874d2015-01-15 09:37:19 -0800261 std::vector<std::unique_ptr<const DexFile>> dex_files;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700262 if (LoadDexFiles(oat_file, dex_location, &dex_files)) {
263 return dex_files;
264 } else {
265 return std::vector<std::unique_ptr<const DexFile>>();
266 }
267}
Richard Uhler66d874d2015-01-15 09:37:19 -0800268
Calin Juravle87e2cb62017-06-13 21:48:45 -0700269bool OatFileAssistant::LoadDexFiles(
270 const OatFile &oat_file,
271 const std::string& dex_location,
272 std::vector<std::unique_ptr<const DexFile>>* out_dex_files) {
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000273 // Load the main dex file.
Richard Uhler66d874d2015-01-15 09:37:19 -0800274 std::string error_msg;
Andreas Gampeb40d3612018-06-26 15:49:42 -0700275 const OatDexFile* oat_dex_file = oat_file.GetOatDexFile(
Calin Juravle87e2cb62017-06-13 21:48:45 -0700276 dex_location.c_str(), nullptr, &error_msg);
Richard Uhler66d874d2015-01-15 09:37:19 -0800277 if (oat_dex_file == nullptr) {
Richard Uhler9a37efc2016-08-05 16:32:55 -0700278 LOG(WARNING) << error_msg;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700279 return false;
Richard Uhler66d874d2015-01-15 09:37:19 -0800280 }
281
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700282 std::unique_ptr<const DexFile> dex_file = oat_dex_file->OpenDexFile(&error_msg);
Richard Uhler66d874d2015-01-15 09:37:19 -0800283 if (dex_file.get() == nullptr) {
284 LOG(WARNING) << "Failed to open dex file from oat dex file: " << error_msg;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700285 return false;
Richard Uhler66d874d2015-01-15 09:37:19 -0800286 }
Calin Juravle87e2cb62017-06-13 21:48:45 -0700287 out_dex_files->push_back(std::move(dex_file));
Richard Uhler66d874d2015-01-15 09:37:19 -0800288
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000289 // Load the rest of the multidex entries
Calin Juravle87e2cb62017-06-13 21:48:45 -0700290 for (size_t i = 1;; i++) {
Mathieu Chartier79c87da2017-10-10 11:54:29 -0700291 std::string multidex_dex_location = DexFileLoader::GetMultiDexLocation(i, dex_location.c_str());
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000292 oat_dex_file = oat_file.GetOatDexFile(multidex_dex_location.c_str(), nullptr);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700293 if (oat_dex_file == nullptr) {
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000294 // There are no more multidex entries to load.
Richard Uhler66d874d2015-01-15 09:37:19 -0800295 break;
296 }
297
Igor Murashkinb1d8c312015-08-04 11:18:43 -0700298 dex_file = oat_dex_file->OpenDexFile(&error_msg);
Richard Uhler66d874d2015-01-15 09:37:19 -0800299 if (dex_file.get() == nullptr) {
300 LOG(WARNING) << "Failed to open dex file from oat dex file: " << error_msg;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700301 return false;
Richard Uhler66d874d2015-01-15 09:37:19 -0800302 }
Calin Juravle87e2cb62017-06-13 21:48:45 -0700303 out_dex_files->push_back(std::move(dex_file));
Richard Uhler66d874d2015-01-15 09:37:19 -0800304 }
Calin Juravle87e2cb62017-06-13 21:48:45 -0700305 return true;
Richard Uhler66d874d2015-01-15 09:37:19 -0800306}
307
Richard Uhler9b994ea2015-06-24 08:44:19 -0700308bool OatFileAssistant::HasOriginalDexFiles() {
Mathieu Chartier4a17f8a2019-05-17 11:03:26 -0700309 ScopedTrace trace("HasOriginalDexFiles");
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000310 // Ensure GetRequiredDexChecksums has been run so that
Richard Uhler9b994ea2015-06-24 08:44:19 -0700311 // has_original_dex_files_ is initialized. We don't care about the result of
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000312 // GetRequiredDexChecksums.
313 GetRequiredDexChecksums();
Richard Uhler9b994ea2015-06-24 08:44:19 -0700314 return has_original_dex_files_;
315}
316
Richard Uhler95abd042015-03-24 09:51:28 -0700317OatFileAssistant::OatStatus OatFileAssistant::OdexFileStatus() {
Richard Uhler743bf362016-04-19 15:39:37 -0700318 return odex_.Status();
Richard Uhler66d874d2015-01-15 09:37:19 -0800319}
320
Richard Uhler95abd042015-03-24 09:51:28 -0700321OatFileAssistant::OatStatus OatFileAssistant::OatFileStatus() {
Richard Uhler743bf362016-04-19 15:39:37 -0700322 return oat_.Status();
Richard Uhler66d874d2015-01-15 09:37:19 -0800323}
324
Richard Uhler2f27abd2017-01-31 14:02:34 +0000325bool OatFileAssistant::DexChecksumUpToDate(const VdexFile& file, std::string* error_msg) {
Mathieu Chartier4a17f8a2019-05-17 11:03:26 -0700326 ScopedTrace trace("DexChecksumUpToDate(vdex)");
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000327 const std::vector<uint32_t>* required_dex_checksums = GetRequiredDexChecksums();
328 if (required_dex_checksums == nullptr) {
329 LOG(WARNING) << "Required dex checksums not found. Assuming dex checksums are up to date.";
330 return true;
331 }
332
Nicolas Geoffray3a293552018-03-02 10:52:16 +0000333 uint32_t number_of_dex_files = file.GetVerifierDepsHeader().GetNumberOfDexFiles();
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000334 if (required_dex_checksums->size() != number_of_dex_files) {
335 *error_msg = StringPrintf("expected %zu dex files but found %u",
336 required_dex_checksums->size(),
337 number_of_dex_files);
Richard Uhler2f27abd2017-01-31 14:02:34 +0000338 return false;
Andreas Gampef8cd8902017-01-18 16:05:01 -0800339 }
340
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000341 for (uint32_t i = 0; i < number_of_dex_files; i++) {
342 uint32_t expected_checksum = (*required_dex_checksums)[i];
343 uint32_t actual_checksum = file.GetLocationChecksum(i);
344 if (expected_checksum != actual_checksum) {
Mathieu Chartier79c87da2017-10-10 11:54:29 -0700345 std::string dex = DexFileLoader::GetMultiDexLocation(i, dex_location_.c_str());
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000346 *error_msg = StringPrintf("Dex checksum does not match for dex: %s."
347 "Expected: %u, actual: %u",
348 dex.c_str(),
349 expected_checksum,
350 actual_checksum);
Richard Uhler2f27abd2017-01-31 14:02:34 +0000351 return false;
352 }
353 }
354
Richard Uhler2f27abd2017-01-31 14:02:34 +0000355 return true;
356}
357
358bool OatFileAssistant::DexChecksumUpToDate(const OatFile& file, std::string* error_msg) {
Mathieu Chartier4a17f8a2019-05-17 11:03:26 -0700359 ScopedTrace trace("DexChecksumUpToDate(oat)");
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000360 const std::vector<uint32_t>* required_dex_checksums = GetRequiredDexChecksums();
361 if (required_dex_checksums == nullptr) {
362 LOG(WARNING) << "Required dex checksums not found. Assuming dex checksums are up to date.";
363 return true;
364 }
365
366 uint32_t number_of_dex_files = file.GetOatHeader().GetDexFileCount();
367 if (required_dex_checksums->size() != number_of_dex_files) {
368 *error_msg = StringPrintf("expected %zu dex files but found %u",
369 required_dex_checksums->size(),
370 number_of_dex_files);
Richard Uhler2f27abd2017-01-31 14:02:34 +0000371 return false;
Richard Uhler66d874d2015-01-15 09:37:19 -0800372 }
373
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000374 for (uint32_t i = 0; i < number_of_dex_files; i++) {
Mathieu Chartier79c87da2017-10-10 11:54:29 -0700375 std::string dex = DexFileLoader::GetMultiDexLocation(i, dex_location_.c_str());
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000376 uint32_t expected_checksum = (*required_dex_checksums)[i];
Andreas Gampeb40d3612018-06-26 15:49:42 -0700377 const OatDexFile* oat_dex_file = file.GetOatDexFile(dex.c_str(), nullptr);
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000378 if (oat_dex_file == nullptr) {
379 *error_msg = StringPrintf("failed to find %s in %s", dex.c_str(), file.GetLocation().c_str());
380 return false;
Richard Uhler66d874d2015-01-15 09:37:19 -0800381 }
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000382 uint32_t actual_checksum = oat_dex_file->GetDexFileLocationChecksum();
383 if (expected_checksum != actual_checksum) {
384 VLOG(oat) << "Dex checksum does not match for dex: " << dex
385 << ". Expected: " << expected_checksum
386 << ", Actual: " << actual_checksum;
387 return false;
Richard Uhler66d874d2015-01-15 09:37:19 -0800388 }
389 }
Richard Uhler2f27abd2017-01-31 14:02:34 +0000390 return true;
391}
392
393OatFileAssistant::OatStatus OatFileAssistant::GivenOatFileStatus(const OatFile& file) {
394 // Verify the ART_USE_READ_BARRIER state.
395 // TODO: Don't fully reject files due to read barrier state. If they contain
396 // compiled code and are otherwise okay, we should return something like
397 // kOatRelocationOutOfDate. If they don't contain compiled code, the read
398 // barrier state doesn't matter.
399 const bool is_cc = file.GetOatHeader().IsConcurrentCopying();
400 constexpr bool kRuntimeIsCC = kUseReadBarrier;
401 if (is_cc != kRuntimeIsCC) {
402 return kOatCannotOpen;
403 }
404
405 // Verify the dex checksum.
406 std::string error_msg;
Nicolas Geoffray8eaa8e52017-11-13 17:47:50 +0000407 VdexFile* vdex = file.GetVdexFile();
408 if (!DexChecksumUpToDate(*vdex, &error_msg)) {
409 LOG(ERROR) << error_msg;
410 return kOatDexOutOfDate;
Richard Uhler2f27abd2017-01-31 14:02:34 +0000411 }
Richard Uhler66d874d2015-01-15 09:37:19 -0800412
Andreas Gampe29d38e72016-03-23 15:31:51 +0000413 CompilerFilter::Filter current_compiler_filter = file.GetCompilerFilter();
David Brazdilce4b0ba2016-01-28 15:05:49 +0000414
Richard Uhler66d874d2015-01-15 09:37:19 -0800415 // Verify the image checksum
Andreas Gampe29d38e72016-03-23 15:31:51 +0000416 if (CompilerFilter::DependsOnImageChecksum(current_compiler_filter)) {
Vladimir Markobcd99be2019-03-22 16:21:31 +0000417 if (!ValidateBootClassPathChecksums(file)) {
Andreas Gampe29d38e72016-03-23 15:31:51 +0000418 VLOG(oat) << "Oat image checksum does not match image checksum.";
Richard Uhler03bc6592016-11-22 09:42:04 +0000419 return kOatBootImageOutOfDate;
Andreas Gampe29d38e72016-03-23 15:31:51 +0000420 }
421 } else {
422 VLOG(oat) << "Image checksum test skipped for compiler filter " << current_compiler_filter;
Richard Uhler66d874d2015-01-15 09:37:19 -0800423 }
424
Nicolas Geoffray66ff8a82018-02-28 13:27:55 +0000425 // zip_file_only_contains_uncompressed_dex_ is only set during fetching the dex checksums.
426 DCHECK(required_dex_checksums_attempted_);
427 if (only_load_system_executable_ &&
428 !LocationIsOnSystem(file.GetLocation().c_str()) &&
429 file.ContainsDexCode() &&
430 zip_file_only_contains_uncompressed_dex_) {
431 LOG(ERROR) << "Not loading "
432 << dex_location_
433 << ": oat file has dex code, but APK has uncompressed dex code";
434 return kOatDexOutOfDate;
435 }
436
Richard Uhlere8109f72016-04-18 10:40:50 -0700437 return kOatUpToDate;
Richard Uhler66d874d2015-01-15 09:37:19 -0800438}
439
David Brazdil35a3f6a2019-03-04 15:59:06 +0000440bool OatFileAssistant::AnonymousDexVdexLocation(const std::vector<const DexFile::Header*>& headers,
441 InstructionSet isa,
442 /* out */ uint32_t* location_checksum,
443 /* out */ std::string* dex_location,
444 /* out */ std::string* vdex_filename) {
445 uint32_t checksum = adler32(0L, Z_NULL, 0);
446 for (const DexFile::Header* header : headers) {
447 checksum = adler32_combine(checksum,
448 header->checksum_,
449 header->file_size_ - DexFile::kNumNonChecksumBytes);
450 }
451 *location_checksum = checksum;
452
453 const std::string& data_dir = Runtime::Current()->GetProcessDataDirectory();
454 if (data_dir.empty() || Runtime::Current()->IsZygote()) {
455 *dex_location = StringPrintf("%s%u", kAnonymousDexPrefix, checksum);
456 return false;
457 }
458 *dex_location = StringPrintf("%s/%s%u.jar", data_dir.c_str(), kAnonymousDexPrefix, checksum);
459
460 std::string odex_filename;
461 std::string error_msg;
462 if (!DexLocationToOdexFilename(*dex_location, isa, &odex_filename, &error_msg)) {
463 LOG(WARNING) << "Could not get odex filename for " << *dex_location << ": " << error_msg;
464 return false;
465 }
466
467 *vdex_filename = GetVdexFilename(odex_filename);
468 return true;
469}
470
471bool OatFileAssistant::IsAnonymousVdexBasename(const std::string& basename) {
472 DCHECK(basename.find('/') == std::string::npos);
473 // `basename` must have format: <kAnonymousDexPrefix><checksum><kVdexExtension>
474 if (basename.size() < strlen(kAnonymousDexPrefix) + strlen(kVdexExtension) + 1 ||
475 !android::base::StartsWith(basename.c_str(), kAnonymousDexPrefix) ||
476 !android::base::EndsWith(basename, kVdexExtension)) {
477 return false;
478 }
479 // Check that all characters between the prefix and extension are decimal digits.
480 for (size_t i = strlen(kAnonymousDexPrefix); i < basename.size() - strlen(kVdexExtension); ++i) {
481 if (!std::isdigit(basename[i])) {
482 return false;
483 }
484 }
485 return true;
486}
487
Calin Juravle357c66d2017-05-04 01:57:17 +0000488static bool DexLocationToOdexNames(const std::string& location,
489 InstructionSet isa,
490 std::string* odex_filename,
491 std::string* oat_dir,
492 std::string* isa_dir,
493 std::string* error_msg) {
494 CHECK(odex_filename != nullptr);
495 CHECK(error_msg != nullptr);
496
497 // The odex file name is formed by replacing the dex_location extension with
498 // .odex and inserting an oat/<isa> directory. For example:
499 // location = /foo/bar/baz.jar
500 // odex_location = /foo/bar/oat/<isa>/baz.odex
501
502 // Find the directory portion of the dex location and add the oat/<isa>
503 // directory.
504 size_t pos = location.rfind('/');
505 if (pos == std::string::npos) {
506 *error_msg = "Dex location " + location + " has no directory.";
507 return false;
508 }
509 std::string dir = location.substr(0, pos+1);
510 // Add the oat directory.
511 dir += "oat";
512 if (oat_dir != nullptr) {
513 *oat_dir = dir;
514 }
515 // Add the isa directory
516 dir += "/" + std::string(GetInstructionSetString(isa));
517 if (isa_dir != nullptr) {
518 *isa_dir = dir;
519 }
520
521 // Get the base part of the file without the extension.
522 std::string file = location.substr(pos+1);
523 pos = file.rfind('.');
524 if (pos == std::string::npos) {
525 *error_msg = "Dex location " + location + " has no extension.";
526 return false;
527 }
528 std::string base = file.substr(0, pos);
529
530 *odex_filename = dir + "/" + base + ".odex";
531 return true;
532}
533
Richard Uhlerb81881d2016-04-19 13:08:04 -0700534bool OatFileAssistant::DexLocationToOdexFilename(const std::string& location,
535 InstructionSet isa,
536 std::string* odex_filename,
537 std::string* error_msg) {
Calin Juravle357c66d2017-05-04 01:57:17 +0000538 return DexLocationToOdexNames(location, isa, odex_filename, nullptr, nullptr, error_msg);
Richard Uhler66d874d2015-01-15 09:37:19 -0800539}
540
Richard Uhlerb81881d2016-04-19 13:08:04 -0700541bool OatFileAssistant::DexLocationToOatFilename(const std::string& location,
542 InstructionSet isa,
543 std::string* oat_filename,
544 std::string* error_msg) {
545 CHECK(oat_filename != nullptr);
546 CHECK(error_msg != nullptr);
Richard Uhler66d874d2015-01-15 09:37:19 -0800547
Mathieu Chartier9e423af2018-05-14 10:08:29 -0700548 // If ANDROID_DATA is not set, return false instead of aborting.
549 // This can occur for preopt when using a class loader context.
Roland Levillain2e3cb542019-04-05 18:00:04 +0100550 if (GetAndroidDataSafe(error_msg).empty()) {
Mathieu Chartier9e423af2018-05-14 10:08:29 -0700551 *error_msg = "GetAndroidDataSafe failed: " + *error_msg;
552 return false;
553 }
554
Richard Uhler55b58b62016-08-12 09:05:13 -0700555 std::string cache_dir = GetDalvikCache(GetInstructionSetString(isa));
556 if (cache_dir.empty()) {
557 *error_msg = "Dalvik cache directory does not exist";
558 return false;
559 }
Richard Uhlerb81881d2016-04-19 13:08:04 -0700560
561 // TODO: The oat file assistant should be the definitive place for
562 // determining the oat file name from the dex location, not
563 // GetDalvikCacheFilename.
Richard Uhlerb81881d2016-04-19 13:08:04 -0700564 return GetDalvikCacheFilename(location.c_str(), cache_dir.c_str(), oat_filename, error_msg);
Richard Uhler66d874d2015-01-15 09:37:19 -0800565}
566
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000567const std::vector<uint32_t>* OatFileAssistant::GetRequiredDexChecksums() {
568 if (!required_dex_checksums_attempted_) {
569 required_dex_checksums_attempted_ = true;
570 required_dex_checksums_found_ = false;
571 cached_required_dex_checksums_.clear();
Richard Uhler66d874d2015-01-15 09:37:19 -0800572 std::string error_msg;
David Sehr013fd802018-01-11 22:55:24 -0800573 const ArtDexFileLoader dex_file_loader;
574 if (dex_file_loader.GetMultiDexChecksums(dex_location_.c_str(),
575 &cached_required_dex_checksums_,
576 &error_msg,
Nicolas Geoffray66ff8a82018-02-28 13:27:55 +0000577 zip_fd_,
578 &zip_file_only_contains_uncompressed_dex_)) {
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000579 required_dex_checksums_found_ = true;
Richard Uhler9b994ea2015-06-24 08:44:19 -0700580 has_original_dex_files_ = true;
Richard Uhler66d874d2015-01-15 09:37:19 -0800581 } else {
582 // This can happen if the original dex file has been stripped from the
583 // apk.
584 VLOG(oat) << "OatFileAssistant: " << error_msg;
Richard Uhler9b994ea2015-06-24 08:44:19 -0700585 has_original_dex_files_ = false;
Richard Uhler66d874d2015-01-15 09:37:19 -0800586
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000587 // Get the checksums from the odex if we can.
Richard Uhler743bf362016-04-19 15:39:37 -0700588 const OatFile* odex_file = odex_.GetFile();
Richard Uhler66d874d2015-01-15 09:37:19 -0800589 if (odex_file != nullptr) {
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000590 required_dex_checksums_found_ = true;
591 for (size_t i = 0; i < odex_file->GetOatHeader().GetDexFileCount(); i++) {
Mathieu Chartier79c87da2017-10-10 11:54:29 -0700592 std::string dex = DexFileLoader::GetMultiDexLocation(i, dex_location_.c_str());
Andreas Gampeb40d3612018-06-26 15:49:42 -0700593 const OatDexFile* odex_dex_file = odex_file->GetOatDexFile(dex.c_str(), nullptr);
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000594 if (odex_dex_file == nullptr) {
595 required_dex_checksums_found_ = false;
596 break;
597 }
598 cached_required_dex_checksums_.push_back(odex_dex_file->GetDexFileLocationChecksum());
Richard Uhler66d874d2015-01-15 09:37:19 -0800599 }
600 }
601 }
602 }
Richard Uhler69bcf2c2017-01-24 10:25:21 +0000603 return required_dex_checksums_found_ ? &cached_required_dex_checksums_ : nullptr;
Richard Uhler66d874d2015-01-15 09:37:19 -0800604}
605
Vladimir Markobcd99be2019-03-22 16:21:31 +0000606bool OatFileAssistant::ValidateBootClassPathChecksums(const OatFile& oat_file) {
Vladimir Marko436c6f52019-07-25 14:50:14 +0100607 // Get the checksums and the BCP from the oat file.
Vladimir Marko0ace5632018-12-14 11:11:47 +0000608 const char* oat_boot_class_path_checksums =
609 oat_file.GetOatHeader().GetStoreValueByKey(OatHeader::kBootClassPathChecksumsKey);
Vladimir Marko436c6f52019-07-25 14:50:14 +0100610 const char* oat_boot_class_path =
611 oat_file.GetOatHeader().GetStoreValueByKey(OatHeader::kBootClassPathKey);
612 if (oat_boot_class_path_checksums == nullptr || oat_boot_class_path == nullptr) {
Vladimir Markof3d88a82018-12-21 16:38:47 +0000613 return false;
614 }
Vladimir Marko436c6f52019-07-25 14:50:14 +0100615 std::string_view oat_boot_class_path_checksums_view(oat_boot_class_path_checksums);
616 std::string_view oat_boot_class_path_view(oat_boot_class_path);
617 if (oat_boot_class_path_view == cached_boot_class_path_ &&
618 oat_boot_class_path_checksums_view == cached_boot_class_path_checksums_) {
619 return true;
Richard Uhler66d874d2015-01-15 09:37:19 -0800620 }
Vladimir Markobcd99be2019-03-22 16:21:31 +0000621
Vladimir Marko436c6f52019-07-25 14:50:14 +0100622 Runtime* runtime = Runtime::Current();
623 std::string error_msg;
624 bool result = gc::space::ImageSpace::VerifyBootClassPathChecksums(
625 oat_boot_class_path_checksums_view,
626 oat_boot_class_path_view,
627 runtime->GetImageLocation(),
628 ArrayRef<const std::string>(runtime->GetBootClassPathLocations()),
629 ArrayRef<const std::string>(runtime->GetBootClassPath()),
630 isa_,
631 runtime->GetImageSpaceLoadingOrder(),
632 &error_msg);
633 if (!result) {
634 VLOG(oat) << "Failed to verify checksums of oat file " << oat_file.GetLocation()
635 << " error: " << error_msg;
636
637 if (HasOriginalDexFiles()) {
638 return false;
639 }
640
641 // If there is no original dex file to fall back to, grudgingly accept
642 // the oat file. This could technically lead to crashes, but there's no
643 // way we could find a better oat file to use for this dex location,
644 // and it's better than being stuck in a boot loop with no way out.
645 // The problem will hopefully resolve itself the next time the runtime
646 // starts up.
647 LOG(WARNING) << "Dex location " << dex_location_ << " does not seem to include dex file. "
648 << "Allow oat file use. This is potentially dangerous.";
649 return true;
650 }
651
652 // This checksum has been validated, so save it.
653 cached_boot_class_path_ = oat_boot_class_path_view;
654 cached_boot_class_path_checksums_ = oat_boot_class_path_checksums_view;
655 return true;
Richard Uhler66d874d2015-01-15 09:37:19 -0800656}
657
Richard Uhler88bc6732016-11-14 14:38:03 +0000658OatFileAssistant::OatFileInfo& OatFileAssistant::GetBestInfo() {
Mathieu Chartier4a17f8a2019-05-17 11:03:26 -0700659 ScopedTrace trace("GetBestInfo");
Calin Juravle357c66d2017-05-04 01:57:17 +0000660 // TODO(calin): Document the side effects of class loading when
661 // running dalvikvm command line.
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700662 if (dex_parent_writable_ || UseFdToReadFiles()) {
Calin Juravle357c66d2017-05-04 01:57:17 +0000663 // If the parent of the dex file is writable it means that we can
664 // create the odex file. In this case we unconditionally pick the odex
665 // as the best oat file. This corresponds to the regular use case when
666 // apps gets installed or when they load private, secondary dex file.
667 // For apps on the system partition the odex location will not be
668 // writable and thus the oat location might be more up to date.
669 return odex_;
670 }
671
672 // We cannot write to the odex location. This must be a system app.
673
674 // If the oat location is usable take it.
675 if (oat_.IsUseable()) {
676 return oat_;
677 }
678
679 // The oat file is not usable but the odex file might be up to date.
680 // This is an indication that we are dealing with an up to date prebuilt
681 // (that doesn't need relocation).
682 if (odex_.Status() == kOatUpToDate) {
683 return odex_;
684 }
685
686 // The oat file is not usable and the odex file is not up to date.
687 // However we have access to the original dex file which means we can make
688 // the oat location up to date.
689 if (HasOriginalDexFiles()) {
690 return oat_;
691 }
692
693 // We got into the worst situation here:
694 // - the oat location is not usable
695 // - the prebuild odex location is not up to date
696 // - and we don't have the original dex file anymore (stripped).
697 // Pick the odex if it exists, or the oat if not.
698 return (odex_.Status() == kOatCannotOpen) ? oat_ : odex_;
Richard Uhler88bc6732016-11-14 14:38:03 +0000699}
700
Andreas Gampea463b6a2016-08-12 21:53:32 -0700701std::unique_ptr<gc::space::ImageSpace> OatFileAssistant::OpenImageSpace(const OatFile* oat_file) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800702 DCHECK(oat_file != nullptr);
David Brazdil7b49e6c2016-09-01 11:06:18 +0100703 std::string art_file = ReplaceFileExtension(oat_file->GetLocation(), "art");
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800704 if (art_file.empty()) {
705 return nullptr;
706 }
707 std::string error_msg;
708 ScopedObjectAccess soa(Thread::Current());
Andreas Gampea463b6a2016-08-12 21:53:32 -0700709 std::unique_ptr<gc::space::ImageSpace> ret =
710 gc::space::ImageSpace::CreateFromAppImage(art_file.c_str(), oat_file, &error_msg);
Mathieu Chartiere778fc72016-01-25 20:11:28 -0800711 if (ret == nullptr && (VLOG_IS_ON(image) || OS::FileExists(art_file.c_str()))) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800712 LOG(INFO) << "Failed to open app image " << art_file.c_str() << " " << error_msg;
713 }
714 return ret;
715}
716
Richard Uhler88bc6732016-11-14 14:38:03 +0000717OatFileAssistant::OatFileInfo::OatFileInfo(OatFileAssistant* oat_file_assistant,
718 bool is_oat_location)
719 : oat_file_assistant_(oat_file_assistant), is_oat_location_(is_oat_location)
Richard Uhler743bf362016-04-19 15:39:37 -0700720{}
721
Richard Uhler88bc6732016-11-14 14:38:03 +0000722bool OatFileAssistant::OatFileInfo::IsOatLocation() {
723 return is_oat_location_;
724}
725
Richard Uhler743bf362016-04-19 15:39:37 -0700726const std::string* OatFileAssistant::OatFileInfo::Filename() {
727 return filename_provided_ ? &filename_ : nullptr;
728}
729
Richard Uhler03bc6592016-11-22 09:42:04 +0000730bool OatFileAssistant::OatFileInfo::IsUseable() {
Mathieu Chartier4a17f8a2019-05-17 11:03:26 -0700731 ScopedTrace trace("IsUseable");
Richard Uhler03bc6592016-11-22 09:42:04 +0000732 switch (Status()) {
733 case kOatCannotOpen:
734 case kOatDexOutOfDate:
735 case kOatBootImageOutOfDate: return false;
736
Richard Uhler03bc6592016-11-22 09:42:04 +0000737 case kOatUpToDate: return true;
738 }
739 UNREACHABLE();
Richard Uhler743bf362016-04-19 15:39:37 -0700740}
741
742OatFileAssistant::OatStatus OatFileAssistant::OatFileInfo::Status() {
Mathieu Chartier4a17f8a2019-05-17 11:03:26 -0700743 ScopedTrace trace("Status");
Richard Uhler743bf362016-04-19 15:39:37 -0700744 if (!status_attempted_) {
745 status_attempted_ = true;
746 const OatFile* file = GetFile();
747 if (file == nullptr) {
Richard Uhler2f27abd2017-01-31 14:02:34 +0000748 // Check to see if there is a vdex file we can make use of.
749 std::string error_msg;
Calin Juravle367b9d82017-05-15 18:18:39 -0700750 std::string vdex_filename = GetVdexFilename(filename_);
Shubham Ajmerab22dea02017-10-04 18:36:41 -0700751 std::unique_ptr<VdexFile> vdex;
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700752 if (use_fd_) {
753 if (vdex_fd_ >= 0) {
754 struct stat s;
755 int rc = TEMP_FAILURE_RETRY(fstat(vdex_fd_, &s));
756 if (rc == -1) {
757 error_msg = StringPrintf("Failed getting length of the vdex file %s.", strerror(errno));
758 } else {
759 vdex = VdexFile::Open(vdex_fd_,
760 s.st_size,
761 vdex_filename,
Vladimir Markof4efa9e2018-10-17 14:12:45 +0100762 /*writable=*/ false,
763 /*low_4gb=*/ false,
764 /*unquicken=*/ false,
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700765 &error_msg);
766 }
767 }
768 } else {
Shubham Ajmerab22dea02017-10-04 18:36:41 -0700769 vdex = VdexFile::Open(vdex_filename,
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700770 /*writable=*/ false,
771 /*low_4gb=*/ false,
772 /*unquicken=*/ false,
Shubham Ajmerab22dea02017-10-04 18:36:41 -0700773 &error_msg);
Shubham Ajmerab22dea02017-10-04 18:36:41 -0700774 }
Richard Uhler2f27abd2017-01-31 14:02:34 +0000775 if (vdex == nullptr) {
776 status_ = kOatCannotOpen;
777 VLOG(oat) << "unable to open vdex file " << vdex_filename << ": " << error_msg;
778 } else {
779 if (oat_file_assistant_->DexChecksumUpToDate(*vdex, &error_msg)) {
780 // The vdex file does not contain enough information to determine
781 // whether it is up to date with respect to the boot image, so we
782 // assume it is out of date.
783 VLOG(oat) << error_msg;
784 status_ = kOatBootImageOutOfDate;
785 } else {
786 status_ = kOatDexOutOfDate;
787 }
788 }
Richard Uhler743bf362016-04-19 15:39:37 -0700789 } else {
790 status_ = oat_file_assistant_->GivenOatFileStatus(*file);
Richard Uhler9a37efc2016-08-05 16:32:55 -0700791 VLOG(oat) << file->GetLocation() << " is " << status_
792 << " with filter " << file->GetCompilerFilter();
Richard Uhler743bf362016-04-19 15:39:37 -0700793 }
794 }
795 return status_;
796}
797
Richard Uhler70a84262016-11-08 16:51:51 +0000798OatFileAssistant::DexOptNeeded OatFileAssistant::OatFileInfo::GetDexOptNeeded(
Calin Juravle44e5efa2017-09-12 00:54:26 -0700799 CompilerFilter::Filter target,
800 bool profile_changed,
801 bool downgrade,
David Brazdil89821862019-03-19 13:57:43 +0000802 ClassLoaderContext* context,
803 const std::vector<int>& context_fds) {
Calin Juravle44e5efa2017-09-12 00:54:26 -0700804
Shubham Ajmerae4e812a2017-05-25 20:09:58 -0700805 bool filter_okay = CompilerFilterIsOkay(target, profile_changed, downgrade);
David Brazdil89821862019-03-19 13:57:43 +0000806 bool class_loader_context_okay = ClassLoaderContextIsOkay(context, context_fds);
Richard Uhler70a84262016-11-08 16:51:51 +0000807
Calin Juravle44e5efa2017-09-12 00:54:26 -0700808 // Only check the filter and relocation if the class loader context is ok.
809 // If it is not, we will return kDex2OatFromScratch as the compilation needs to be redone.
810 if (class_loader_context_okay) {
811 if (filter_okay && Status() == kOatUpToDate) {
812 // The oat file is in good shape as is.
813 return kNoDexOptNeeded;
814 }
Richard Uhler70a84262016-11-08 16:51:51 +0000815
Calin Juravle44e5efa2017-09-12 00:54:26 -0700816 if (IsUseable()) {
817 return kDex2OatForFilter;
818 }
Nicolas Geoffray08e9eed2017-04-25 17:36:51 +0100819
Calin Juravle44e5efa2017-09-12 00:54:26 -0700820 if (Status() == kOatBootImageOutOfDate) {
821 return kDex2OatForBootImage;
822 }
Nicolas Geoffray08e9eed2017-04-25 17:36:51 +0100823 }
824
825 if (oat_file_assistant_->HasOriginalDexFiles()) {
826 return kDex2OatFromScratch;
827 } else {
828 // Otherwise there is nothing we can do, even if we want to.
829 return kNoDexOptNeeded;
830 }
Richard Uhler70a84262016-11-08 16:51:51 +0000831}
832
Richard Uhler743bf362016-04-19 15:39:37 -0700833const OatFile* OatFileAssistant::OatFileInfo::GetFile() {
834 CHECK(!file_released_) << "GetFile called after oat file released.";
835 if (!load_attempted_) {
836 load_attempted_ = true;
837 if (filename_provided_) {
Nicolas Geoffray29742602017-12-14 10:09:03 +0000838 bool executable = oat_file_assistant_->load_executable_;
839 if (executable && oat_file_assistant_->only_load_system_executable_) {
840 executable = LocationIsOnSystem(filename_.c_str());
841 }
Nicolas Geoffrayde1b2a22019-02-27 09:10:57 +0000842 VLOG(oat) << "Loading " << filename_ << " with executable: " << executable;
Richard Uhler743bf362016-04-19 15:39:37 -0700843 std::string error_msg;
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700844 if (use_fd_) {
845 if (oat_fd_ >= 0 && vdex_fd_ >= 0) {
Vladimir Markob7bf8432019-12-03 13:18:50 +0000846 ArrayRef<const std::string> dex_locations(&oat_file_assistant_->dex_location_,
847 /*size=*/ 1u);
Nicolas Geoffray30025092018-04-19 14:43:29 +0100848 file_.reset(OatFile::Open(zip_fd_,
849 vdex_fd_,
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700850 oat_fd_,
851 filename_.c_str(),
Nicolas Geoffray29742602017-12-14 10:09:03 +0000852 executable,
Vladimir Markof4efa9e2018-10-17 14:12:45 +0100853 /*low_4gb=*/ false,
Vladimir Markob7bf8432019-12-03 13:18:50 +0000854 dex_locations,
Vladimir Markof4efa9e2018-10-17 14:12:45 +0100855 /*reservation=*/ nullptr,
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700856 &error_msg));
857 }
Shubham Ajmerab22dea02017-10-04 18:36:41 -0700858 } else {
Vladimir Markof4efa9e2018-10-17 14:12:45 +0100859 file_.reset(OatFile::Open(/*zip_fd=*/ -1,
Nicolas Geoffray30025092018-04-19 14:43:29 +0100860 filename_.c_str(),
Shubham Ajmerab22dea02017-10-04 18:36:41 -0700861 filename_.c_str(),
Nicolas Geoffray29742602017-12-14 10:09:03 +0000862 executable,
Vladimir Markof4efa9e2018-10-17 14:12:45 +0100863 /*low_4gb=*/ false,
Vladimir Markob7bf8432019-12-03 13:18:50 +0000864 oat_file_assistant_->dex_location_,
Shubham Ajmerab22dea02017-10-04 18:36:41 -0700865 &error_msg));
866 }
Richard Uhler743bf362016-04-19 15:39:37 -0700867 if (file_.get() == nullptr) {
868 VLOG(oat) << "OatFileAssistant test for existing oat file "
869 << filename_ << ": " << error_msg;
Nicolas Geoffrayde1b2a22019-02-27 09:10:57 +0000870 } else {
871 VLOG(oat) << "Successfully loaded " << filename_ << " with executable: " << executable;
Richard Uhler743bf362016-04-19 15:39:37 -0700872 }
873 }
874 }
875 return file_.get();
876}
877
878bool OatFileAssistant::OatFileInfo::CompilerFilterIsOkay(
Shubham Ajmerae4e812a2017-05-25 20:09:58 -0700879 CompilerFilter::Filter target, bool profile_changed, bool downgrade) {
Richard Uhler743bf362016-04-19 15:39:37 -0700880 const OatFile* file = GetFile();
881 if (file == nullptr) {
882 return false;
883 }
884
885 CompilerFilter::Filter current = file->GetCompilerFilter();
886 if (profile_changed && CompilerFilter::DependsOnProfile(current)) {
887 VLOG(oat) << "Compiler filter not okay because Profile changed";
888 return false;
889 }
Shubham Ajmerae4e812a2017-05-25 20:09:58 -0700890 return downgrade ? !CompilerFilter::IsBetter(current, target) :
891 CompilerFilter::IsAsGoodAs(current, target);
Richard Uhler743bf362016-04-19 15:39:37 -0700892}
893
David Brazdil89821862019-03-19 13:57:43 +0000894bool OatFileAssistant::OatFileInfo::ClassLoaderContextIsOkay(ClassLoaderContext* context,
895 const std::vector<int>& context_fds) {
Calin Juravle44e5efa2017-09-12 00:54:26 -0700896 if (context == nullptr) {
897 VLOG(oat) << "ClassLoaderContext check ignored: null context";
898 return true;
899 }
900
901 const OatFile* file = GetFile();
902 if (file == nullptr) {
Calin Juravle20c46442017-09-12 00:54:26 -0700903 // No oat file means we have nothing to verify.
904 return true;
Calin Juravle44e5efa2017-09-12 00:54:26 -0700905 }
906
Calin Juravle20c46442017-09-12 00:54:26 -0700907 size_t dir_index = oat_file_assistant_->dex_location_.rfind('/');
Calin Juravle44e5efa2017-09-12 00:54:26 -0700908 std::string classpath_dir = (dir_index != std::string::npos)
Calin Juravle20c46442017-09-12 00:54:26 -0700909 ? oat_file_assistant_->dex_location_.substr(0, dir_index)
Calin Juravle44e5efa2017-09-12 00:54:26 -0700910 : "";
911
David Brazdil89821862019-03-19 13:57:43 +0000912 if (!context->OpenDexFiles(oat_file_assistant_->isa_, classpath_dir, context_fds)) {
Calin Juravle44e5efa2017-09-12 00:54:26 -0700913 VLOG(oat) << "ClassLoaderContext check failed: dex files from the context could not be opened";
914 return false;
915 }
916
Mathieu Chartieradc90862018-05-11 13:03:06 -0700917 const bool result = context->VerifyClassLoaderContextMatch(file->GetClassLoaderContext()) !=
918 ClassLoaderContext::VerificationResult::kMismatch;
Calin Juravle44e5efa2017-09-12 00:54:26 -0700919 if (!result) {
920 VLOG(oat) << "ClassLoaderContext check failed. Context was "
921 << file->GetClassLoaderContext()
922 << ". The expected context is " << context->EncodeContextForOatFile(classpath_dir);
923 }
924 return result;
925}
926
Richard Uhler743bf362016-04-19 15:39:37 -0700927bool OatFileAssistant::OatFileInfo::IsExecutable() {
928 const OatFile* file = GetFile();
929 return (file != nullptr && file->IsExecutable());
930}
931
Richard Uhler743bf362016-04-19 15:39:37 -0700932void OatFileAssistant::OatFileInfo::Reset() {
933 load_attempted_ = false;
934 file_.reset();
935 status_attempted_ = false;
936}
937
Nicolas Geoffray30025092018-04-19 14:43:29 +0100938void OatFileAssistant::OatFileInfo::Reset(const std::string& filename,
939 bool use_fd,
940 int zip_fd,
941 int vdex_fd,
Shubham Ajmerab22dea02017-10-04 18:36:41 -0700942 int oat_fd) {
Richard Uhler743bf362016-04-19 15:39:37 -0700943 filename_provided_ = true;
944 filename_ = filename;
Shubham Ajmerac12bf4c2017-10-24 16:59:42 -0700945 use_fd_ = use_fd;
Nicolas Geoffray30025092018-04-19 14:43:29 +0100946 zip_fd_ = zip_fd;
Shubham Ajmerab22dea02017-10-04 18:36:41 -0700947 vdex_fd_ = vdex_fd;
948 oat_fd_ = oat_fd;
Richard Uhler743bf362016-04-19 15:39:37 -0700949 Reset();
950}
951
952std::unique_ptr<OatFile> OatFileAssistant::OatFileInfo::ReleaseFile() {
953 file_released_ = true;
954 return std::move(file_);
955}
956
Richard Uhler70a84262016-11-08 16:51:51 +0000957std::unique_ptr<OatFile> OatFileAssistant::OatFileInfo::ReleaseFileForUse() {
Mathieu Chartier4a17f8a2019-05-17 11:03:26 -0700958 ScopedTrace trace("ReleaseFileForUse");
Richard Uhler3e580bc2016-11-08 16:23:07 +0000959 if (Status() == kOatUpToDate) {
Richard Uhler70a84262016-11-08 16:51:51 +0000960 return ReleaseFile();
961 }
962
963 VLOG(oat) << "Oat File Assistant: No relocated oat file found,"
964 << " attempting to fall back to interpreting oat file instead.";
965
Andreas Gampe9ea84d02018-03-02 09:32:03 -0800966 switch (Status()) {
967 case kOatBootImageOutOfDate:
Andreas Gampe8f81de52018-03-06 08:39:21 -0800968 // OutOfDate may be either a mismatched image, or a missing image.
Andreas Gampe9ea84d02018-03-02 09:32:03 -0800969 if (oat_file_assistant_->HasOriginalDexFiles()) {
Andreas Gampe8f81de52018-03-06 08:39:21 -0800970 // If there are original dex files, it is better to use them (to avoid a potential
971 // quickening mismatch because the boot image changed).
Andreas Gampe9ea84d02018-03-02 09:32:03 -0800972 break;
973 }
Andreas Gampe8f81de52018-03-06 08:39:21 -0800974 // If we do not accept the oat file, we may not have access to dex bytecode at all. Grudgingly
975 // go forward.
Andreas Gampe9ea84d02018-03-02 09:32:03 -0800976 FALLTHROUGH_INTENDED;
977
Andreas Gampe9ea84d02018-03-02 09:32:03 -0800978 case kOatUpToDate:
979 case kOatCannotOpen:
980 case kOatDexOutOfDate:
981 break;
Richard Uhler70a84262016-11-08 16:51:51 +0000982 }
Andreas Gampe9ea84d02018-03-02 09:32:03 -0800983
Richard Uhler70a84262016-11-08 16:51:51 +0000984 return std::unique_ptr<OatFile>();
985}
Calin Juravle5f9a8012018-02-12 20:27:46 -0800986
987// TODO(calin): we could provide a more refined status here
988// (e.g. run from uncompressed apk, run with vdex but not oat etc). It will allow us to
989// track more experiments but adds extra complexity.
990void OatFileAssistant::GetOptimizationStatus(
991 const std::string& filename,
992 InstructionSet isa,
993 std::string* out_compilation_filter,
994 std::string* out_compilation_reason) {
Andreas Gampebd3e1ce2018-03-15 17:45:03 -0700995 // It may not be possible to load an oat file executable (e.g., selinux restrictions). Load
996 // non-executable and check the status manually.
Vladimir Markof4efa9e2018-10-17 14:12:45 +0100997 OatFileAssistant oat_file_assistant(filename.c_str(), isa, /*load_executable=*/ false);
Calin Juravle5f9a8012018-02-12 20:27:46 -0800998 std::unique_ptr<OatFile> oat_file = oat_file_assistant.GetBestOatFile();
999
1000 if (oat_file == nullptr) {
1001 *out_compilation_filter = "run-from-apk";
1002 *out_compilation_reason = "unknown";
Andreas Gampebd3e1ce2018-03-15 17:45:03 -07001003 return;
Calin Juravle5f9a8012018-02-12 20:27:46 -08001004 }
Andreas Gampebd3e1ce2018-03-15 17:45:03 -07001005
1006 OatStatus status = oat_file_assistant.GivenOatFileStatus(*oat_file);
1007 const char* reason = oat_file->GetCompilationReason();
1008 *out_compilation_reason = reason == nullptr ? "unknown" : reason;
1009 switch (status) {
1010 case OatStatus::kOatUpToDate:
1011 *out_compilation_filter = CompilerFilter::NameOfFilter(oat_file->GetCompilerFilter());
1012 return;
1013
1014 case kOatCannotOpen: // This should never happen, but be robust.
1015 *out_compilation_filter = "error";
1016 *out_compilation_reason = "error";
1017 return;
1018
1019 // kOatBootImageOutOfDate - The oat file is up to date with respect to the
1020 // dex file, but is out of date with respect to the boot image.
1021 case kOatBootImageOutOfDate:
1022 FALLTHROUGH_INTENDED;
1023 case kOatDexOutOfDate:
1024 if (oat_file_assistant.HasOriginalDexFiles()) {
1025 *out_compilation_filter = "run-from-apk-fallback";
1026 } else {
1027 *out_compilation_filter = "run-from-vdex-fallback";
1028 }
1029 return;
Andreas Gampebd3e1ce2018-03-15 17:45:03 -07001030 }
1031 LOG(FATAL) << "Unreachable";
1032 UNREACHABLE();
Calin Juravle5f9a8012018-02-12 20:27:46 -08001033}
1034
Richard Uhler66d874d2015-01-15 09:37:19 -08001035} // namespace art