blob: 2369ed077169b195d087b5c60d03adcdaefc5372 [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#ifndef ART_RUNTIME_OAT_FILE_ASSISTANT_H_
18#define ART_RUNTIME_OAT_FILE_ASSISTANT_H_
19
20#include <cstdint>
21#include <memory>
Narayan Kamath8943c1d2016-05-02 13:14:48 +010022#include <sstream>
Richard Uhler66d874d2015-01-15 09:37:19 -080023#include <string>
24
25#include "arch/instruction_set.h"
26#include "base/scoped_flock.h"
27#include "base/unix_file/fd_file.h"
Andreas Gampe29d38e72016-03-23 15:31:51 +000028#include "compiler_filter.h"
Richard Uhler66d874d2015-01-15 09:37:19 -080029#include "oat_file.h"
30#include "os.h"
Richard Uhler66d874d2015-01-15 09:37:19 -080031
32namespace art {
33
Mathieu Chartierfbc31082016-01-24 11:59:56 -080034namespace gc {
35namespace space {
36class ImageSpace;
37} // namespace space
38} // namespace gc
39
Richard Uhler66d874d2015-01-15 09:37:19 -080040// Class for assisting with oat file management.
41//
42// This class collects common utilities for determining the status of an oat
43// file on the device, updating the oat file, and loading the oat file.
44//
45// The oat file assistant is intended to be used with dex locations not on the
46// boot class path. See the IsInBootClassPath method for a way to check if the
47// dex location is in the boot class path.
Richard Uhler66d874d2015-01-15 09:37:19 -080048class OatFileAssistant {
49 public:
Richard Uhler95abd042015-03-24 09:51:28 -070050 enum DexOptNeeded {
51 // kNoDexOptNeeded - The code for this dex location is up to date and can
52 // be used as is.
53 // Matches Java: dalvik.system.DexFile.NO_DEXOPT_NEEDED = 0
54 kNoDexOptNeeded = 0,
Richard Uhler66d874d2015-01-15 09:37:19 -080055
Richard Uhler95abd042015-03-24 09:51:28 -070056 // kDex2OatNeeded - In order to make the code for this dex location up to
57 // date, dex2oat must be run on the dex file.
58 // Matches Java: dalvik.system.DexFile.DEX2OAT_NEEDED = 1
59 kDex2OatNeeded = 1,
Richard Uhler66d874d2015-01-15 09:37:19 -080060
Richard Uhler95abd042015-03-24 09:51:28 -070061 // kPatchOatNeeded - In order to make the code for this dex location up to
62 // date, patchoat must be run on the odex file.
63 // Matches Java: dalvik.system.DexFile.PATCHOAT_NEEDED = 2
64 kPatchOatNeeded = 2,
65
66 // kSelfPatchOatNeeded - In order to make the code for this dex location
67 // up to date, patchoat must be run on the oat file.
68 // Matches Java: dalvik.system.DexFile.SELF_PATCHOAT_NEEDED = 3
69 kSelfPatchOatNeeded = 3,
70 };
71
72 enum OatStatus {
73 // kOatOutOfDate - An oat file is said to be out of date if the file does
Calin Juravleb077e152016-02-18 18:47:37 +000074 // not exist, is out of date with respect to the dex file or boot image,
75 // or does not meet the target compilation type.
Richard Uhler95abd042015-03-24 09:51:28 -070076 kOatOutOfDate,
77
78 // kOatNeedsRelocation - An oat file is said to need relocation if the
79 // code is up to date, but not yet properly relocated for address space
80 // layout randomization (ASLR). In this case, the oat file is neither
81 // "out of date" nor "up to date".
82 kOatNeedsRelocation,
83
84 // kOatUpToDate - An oat file is said to be up to date if it is not out of
Richard Uhler66d874d2015-01-15 09:37:19 -080085 // date and has been properly relocated for the purposes of ASLR.
Richard Uhler95abd042015-03-24 09:51:28 -070086 kOatUpToDate,
Richard Uhler66d874d2015-01-15 09:37:19 -080087 };
88
89 // Constructs an OatFileAssistant object to assist the oat file
90 // corresponding to the given dex location with the target instruction set.
91 //
Mathieu Chartier2cebb242015-04-21 16:50:40 -070092 // The dex_location must not be null and should remain available and
Richard Uhler66d874d2015-01-15 09:37:19 -080093 // unchanged for the duration of the lifetime of the OatFileAssistant object.
94 // Typically the dex_location is the absolute path to the original,
95 // un-optimized dex file.
96 //
Richard Uhler66d874d2015-01-15 09:37:19 -080097 // Note: Currently the dex_location must have an extension.
98 // TODO: Relax this restriction?
99 //
100 // The isa should be either the 32 bit or 64 bit variant for the current
101 // device. For example, on an arm device, use arm or arm64. An oat file can
102 // be loaded executable only if the ISA matches the current runtime.
Andreas Gampe29d38e72016-03-23 15:31:51 +0000103 //
Andreas Gampe29d38e72016-03-23 15:31:51 +0000104 // load_executable should be true if the caller intends to try and load
105 // executable code for this dex location.
Calin Juravleb077e152016-02-18 18:47:37 +0000106 OatFileAssistant(const char* dex_location,
Calin Juravleb077e152016-02-18 18:47:37 +0000107 const InstructionSet isa,
Richard Uhler66d874d2015-01-15 09:37:19 -0800108 bool load_executable);
109
110 // Constructs an OatFileAssistant, providing an explicit target oat_location
111 // to use instead of the standard oat location.
Calin Juravleb077e152016-02-18 18:47:37 +0000112 OatFileAssistant(const char* dex_location,
113 const char* oat_location,
Calin Juravleb077e152016-02-18 18:47:37 +0000114 const InstructionSet isa,
115 bool load_executable);
Richard Uhler66d874d2015-01-15 09:37:19 -0800116
117 ~OatFileAssistant();
118
119 // Returns true if the dex location refers to an element of the boot class
120 // path.
121 bool IsInBootClassPath();
122
123 // Obtains a lock on the target oat file.
124 // Only one OatFileAssistant object can hold the lock for a target oat file
125 // at a time. The Lock is released automatically when the OatFileAssistant
126 // object goes out of scope. The Lock() method must not be called if the
127 // lock has already been acquired.
128 //
129 // Returns true on success.
130 // Returns false on error, in which case error_msg will contain more
131 // information on the error.
132 //
133 // The 'error_msg' argument must not be null.
134 //
135 // This is intended to be used to avoid race conditions when multiple
136 // processes generate oat files, such as when a foreground Activity and
137 // a background Service both use DexClassLoaders pointing to the same dex
138 // file.
139 bool Lock(std::string* error_msg);
140
Richard Uhler95abd042015-03-24 09:51:28 -0700141 // Return what action needs to be taken to produce up-to-date code for this
Andreas Gampe29d38e72016-03-23 15:31:51 +0000142 // dex location that is at least as good as an oat file generated with the
Richard Uhlerd1472a22016-04-15 15:18:56 -0700143 // given compiler filter. profile_changed should be true to indicate the
144 // profile has recently changed for this dex location.
145 DexOptNeeded GetDexOptNeeded(CompilerFilter::Filter target_compiler_filter,
146 bool profile_changed = false);
Richard Uhler66d874d2015-01-15 09:37:19 -0800147
Richard Uhler01be6812016-05-17 10:34:52 -0700148 // Returns true if there is up-to-date code for this dex location,
149 // irrespective of the compiler filter of the up-to-date code.
150 bool IsUpToDate();
151
Richard Uhler1e860612016-03-30 12:17:55 -0700152 // Return code used when attempting to generate updated code.
153 enum ResultOfAttemptToUpdate {
154 kUpdateFailed, // We tried making the code up to date, but
155 // encountered an unexpected failure.
156 kUpdateNotAttempted, // We wanted to update the code, but determined we
157 // should not make the attempt.
158 kUpdateSucceeded // We successfully made the code up to date
159 // (possibly by doing nothing).
160 };
161
Richard Uhler66d874d2015-01-15 09:37:19 -0800162 // Attempts to generate or relocate the oat file as needed to make it up to
Richard Uhlerf4b34872016-04-13 11:03:46 -0700163 // date based on the current runtime and compiler options.
Richard Uhlerd1472a22016-04-15 15:18:56 -0700164 // profile_changed should be true to indicate the profile has recently
165 // changed for this dex location.
166 //
167 // Returns the result of attempting to update the code.
Richard Uhler66d874d2015-01-15 09:37:19 -0800168 //
Richard Uhler1e860612016-03-30 12:17:55 -0700169 // If the result is not kUpdateSucceeded, the value of error_msg will be set
170 // to a string describing why there was a failure or the update was not
171 // attempted. error_msg must not be null.
Richard Uhlerd1472a22016-04-15 15:18:56 -0700172 ResultOfAttemptToUpdate MakeUpToDate(bool profile_changed, std::string* error_msg);
Richard Uhler66d874d2015-01-15 09:37:19 -0800173
174 // Returns an oat file that can be used for loading dex files.
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700175 // Returns null if no suitable oat file was found.
Richard Uhler66d874d2015-01-15 09:37:19 -0800176 //
177 // After this call, no other methods of the OatFileAssistant should be
178 // called, because access to the loaded oat file has been taken away from
179 // the OatFileAssistant object.
180 std::unique_ptr<OatFile> GetBestOatFile();
181
Richard Uhler46cc64f2016-11-14 14:53:55 +0000182 // Returns a human readable description of the status of the code for the
183 // dex file. The returned description is for debugging purposes only.
184 std::string GetStatusDump();
185
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800186 // Open and returns an image space associated with the oat file.
Andreas Gampea463b6a2016-08-12 21:53:32 -0700187 static std::unique_ptr<gc::space::ImageSpace> OpenImageSpace(const OatFile* oat_file);
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800188
Richard Uhler66d874d2015-01-15 09:37:19 -0800189 // Loads the dex files in the given oat file for the given dex location.
190 // The oat file should be up to date for the given dex location.
191 // This loads multiple dex files in the case of multidex.
192 // Returns an empty vector if no dex files for that location could be loaded
193 // from the oat file.
194 //
195 // The caller is responsible for freeing the dex_files returned, if any. The
196 // dex_files will only remain valid as long as the oat_file is valid.
197 static std::vector<std::unique_ptr<const DexFile>> LoadDexFiles(
198 const OatFile& oat_file, const char* dex_location);
199
Richard Uhler9b994ea2015-06-24 08:44:19 -0700200 // Returns true if there are dex files in the original dex location that can
201 // be compiled with dex2oat for this dex location.
202 // Returns false if there is no original dex file, or if the original dex
203 // file is an apk/zip without a classes.dex entry.
204 bool HasOriginalDexFiles();
205
Richard Uhler63434112015-03-16 14:32:16 -0700206 // If the dex file has been installed with a compiled oat file alongside
207 // it, the compiled oat file will have the extension .odex, and is referred
208 // to as the odex file. It is called odex for legacy reasons; the file is
209 // really an oat file. The odex file will often, but not always, have a
210 // patch delta of 0 and need to be relocated before use for the purposes of
211 // ASLR. The odex file is treated as if it were read-only.
Richard Uhler66d874d2015-01-15 09:37:19 -0800212 // These methods return the location and status of the odex file for the dex
213 // location.
Richard Uhler66d874d2015-01-15 09:37:19 -0800214 bool OdexFileExists();
Richard Uhler95abd042015-03-24 09:51:28 -0700215 OatStatus OdexFileStatus();
Richard Uhler66d874d2015-01-15 09:37:19 -0800216
217 // When the dex files is compiled on the target device, the oat file is the
218 // result. The oat file will have been relocated to some
219 // (possibly-out-of-date) offset for ASLR.
220 // These methods return the location and status of the target oat file for
221 // the dex location.
Richard Uhler66d874d2015-01-15 09:37:19 -0800222 bool OatFileExists();
Richard Uhler95abd042015-03-24 09:51:28 -0700223 OatStatus OatFileStatus();
Richard Uhler66d874d2015-01-15 09:37:19 -0800224
Richard Uhlere8109f72016-04-18 10:40:50 -0700225 // Return the status for a given opened oat file with respect to the dex
226 // location.
Richard Uhler95abd042015-03-24 09:51:28 -0700227 OatStatus GivenOatFileStatus(const OatFile& file);
Richard Uhler66d874d2015-01-15 09:37:19 -0800228
Richard Uhler95abd042015-03-24 09:51:28 -0700229 // Generates the oat file by relocation from the named input file.
Richard Uhler66d874d2015-01-15 09:37:19 -0800230 // This does not check the current status before attempting to relocate the
231 // oat file.
Richard Uhler66d874d2015-01-15 09:37:19 -0800232 //
Richard Uhler1e860612016-03-30 12:17:55 -0700233 // If the result is not kUpdateSucceeded, the value of error_msg will be set
234 // to a string describing why there was a failure or the update was not
235 // attempted. error_msg must not be null.
236 ResultOfAttemptToUpdate RelocateOatFile(const std::string* input_file, std::string* error_msg);
Richard Uhler66d874d2015-01-15 09:37:19 -0800237
Richard Uhlerf4b34872016-04-13 11:03:46 -0700238 // Generate the oat file from the dex file using the current runtime
239 // compiler options.
Richard Uhler66d874d2015-01-15 09:37:19 -0800240 // This does not check the current status before attempting to generate the
241 // oat file.
Richard Uhler66d874d2015-01-15 09:37:19 -0800242 //
Richard Uhler1e860612016-03-30 12:17:55 -0700243 // If the result is not kUpdateSucceeded, the value of error_msg will be set
244 // to a string describing why there was a failure or the update was not
245 // attempted. error_msg must not be null.
Richard Uhlerf4b34872016-04-13 11:03:46 -0700246 ResultOfAttemptToUpdate GenerateOatFile(std::string* error_msg);
Richard Uhler66d874d2015-01-15 09:37:19 -0800247
248 // Executes dex2oat using the current runtime configuration overridden with
249 // the given arguments. This does not check to see if dex2oat is enabled in
250 // the runtime configuration.
251 // Returns true on success.
252 //
253 // If there is a failure, the value of error_msg will be set to a string
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700254 // describing why there was failure. error_msg must not be null.
Richard Uhler66d874d2015-01-15 09:37:19 -0800255 //
256 // TODO: The OatFileAssistant probably isn't the right place to have this
257 // function.
258 static bool Dex2Oat(const std::vector<std::string>& args, std::string* error_msg);
259
260 // Constructs the odex file name for the given dex location.
261 // Returns true on success, in which case odex_filename is set to the odex
262 // file name.
Richard Uhlere8e48ae2016-04-19 12:41:04 -0700263 // Returns false on error, in which case error_msg describes the error and
264 // odex_filename is not changed.
Richard Uhler66d874d2015-01-15 09:37:19 -0800265 // Neither odex_filename nor error_msg may be null.
Richard Uhlerb81881d2016-04-19 13:08:04 -0700266 static bool DexLocationToOdexFilename(const std::string& location,
267 InstructionSet isa,
268 std::string* odex_filename,
269 std::string* error_msg);
270
271 // Constructs the oat file name for the given dex location.
272 // Returns true on success, in which case oat_filename is set to the oat
273 // file name.
274 // Returns false on error, in which case error_msg describes the error and
275 // oat_filename is not changed.
276 // Neither oat_filename nor error_msg may be null.
277 static bool DexLocationToOatFilename(const std::string& location,
278 InstructionSet isa,
279 std::string* oat_filename,
280 std::string* error_msg);
Richard Uhler66d874d2015-01-15 09:37:19 -0800281
Jeff Haofd336c32016-04-07 19:46:31 -0700282 static uint32_t CalculateCombinedImageChecksum(InstructionSet isa = kRuntimeISA);
Jeff Haob11ffb72016-04-07 15:40:54 -0700283
Richard Uhler66d874d2015-01-15 09:37:19 -0800284 private:
285 struct ImageInfo {
286 uint32_t oat_checksum = 0;
287 uintptr_t oat_data_begin = 0;
288 int32_t patch_delta = 0;
289 std::string location;
290 };
291
Richard Uhler743bf362016-04-19 15:39:37 -0700292 class OatFileInfo {
293 public:
294 // Initially the info is for no file in particular. It will treat the
295 // file as out of date until Reset is called with a real filename to use
296 // the cache for.
297 explicit OatFileInfo(OatFileAssistant* oat_file_assistant);
298
299 const std::string* Filename();
300 bool Exists();
301 OatStatus Status();
Richard Uhler743bf362016-04-19 15:39:37 -0700302 // Must only be called if the associated file exists, i.e, if
303 // |Exists() == true|.
304 CompilerFilter::Filter CompilerFilter();
305
Richard Uhler70a84262016-11-08 16:51:51 +0000306 // Return the DexOptNeeded value for this oat file with respect to the
307 // given target_compilation_filter.
308 // profile_changed should be true to indicate the profile has recently
309 // changed for this dex location.
310 // If patchoat is needed, this function will return the kPatchOatNeeded
311 // status, not the kSelfPatchOatNeeded status.
312 DexOptNeeded GetDexOptNeeded(CompilerFilter::Filter target_compiler_filter,
313 bool profile_changed);
314
Richard Uhler743bf362016-04-19 15:39:37 -0700315 // Returns the loaded file.
316 // Loads the file if needed. Returns null if the file failed to load.
317 // The caller shouldn't clean up or free the returned pointer.
318 const OatFile* GetFile();
319
Richard Uhler743bf362016-04-19 15:39:37 -0700320 // Returns true if the file is opened executable.
321 bool IsExecutable();
322
323 // Returns true if the file has patch info required to run patchoat.
324 bool HasPatchInfo();
325
326 // Clear any cached information about the file that depends on the
327 // contents of the file. This does not reset the provided filename.
328 void Reset();
329
330 // Clear any cached information and switch to getting info about the oat
331 // file with the given filename.
332 void Reset(const std::string& filename);
333
Richard Uhler70a84262016-11-08 16:51:51 +0000334 // Release the loaded oat file for runtime use.
335 // Returns null if the oat file hasn't been loaded or is out of date.
336 // Ensures the returned file is not loaded executable if it has unuseable
337 // compiled code.
338 //
339 // After this call, no other methods of the OatFileInfo should be
340 // called, because access to the loaded oat file has been taken away from
341 // the OatFileInfo object.
342 std::unique_ptr<OatFile> ReleaseFileForUse();
343
344 private:
345 // Returns true if the compiler filter used to generate the file is at
346 // least as good as the given target filter. profile_changed should be
347 // true to indicate the profile has recently changed for this dex
348 // location.
349 bool CompilerFilterIsOkay(CompilerFilter::Filter target, bool profile_changed);
350
Richard Uhler743bf362016-04-19 15:39:37 -0700351 // Release the loaded oat file.
352 // Returns null if the oat file hasn't been loaded.
353 //
354 // After this call, no other methods of the OatFileInfo should be
355 // called, because access to the loaded oat file has been taken away from
356 // the OatFileInfo object.
357 std::unique_ptr<OatFile> ReleaseFile();
358
359 private:
360 OatFileAssistant* oat_file_assistant_;
361
362 bool filename_provided_ = false;
363 std::string filename_;
364
365 bool load_attempted_ = false;
366 std::unique_ptr<OatFile> file_;
367
368 bool status_attempted_ = false;
369 OatStatus status_;
370
371 // For debugging only.
372 // If this flag is set, the file has been released to the user and the
373 // OatFileInfo object is in a bad state and should no longer be used.
374 bool file_released_ = false;
375 };
Richard Uhler66d874d2015-01-15 09:37:19 -0800376
Richard Uhler66d874d2015-01-15 09:37:19 -0800377 // Returns the current image location.
378 // Returns an empty string if the image location could not be retrieved.
379 //
380 // TODO: This method should belong with an image file manager, not
381 // the oat file assistant.
382 static std::string ImageLocation();
383
384 // Gets the dex checksum required for an up-to-date oat file.
385 // Returns dex_checksum if a required checksum was located. Returns
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700386 // null if the required checksum was not found.
Richard Uhler66d874d2015-01-15 09:37:19 -0800387 // The caller shouldn't clean up or free the returned pointer.
Richard Uhler9b994ea2015-06-24 08:44:19 -0700388 // This sets the has_original_dex_files_ field to true if a checksum was
389 // found for the dex_location_ dex file.
Richard Uhler66d874d2015-01-15 09:37:19 -0800390 const uint32_t* GetRequiredDexChecksum();
391
Richard Uhler66d874d2015-01-15 09:37:19 -0800392 // Returns the loaded image info.
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700393 // Loads the image info if needed. Returns null if the image info failed
Richard Uhler66d874d2015-01-15 09:37:19 -0800394 // to load.
395 // The caller shouldn't clean up or free the returned pointer.
396 const ImageInfo* GetImageInfo();
397
Jeff Haob11ffb72016-04-07 15:40:54 -0700398 uint32_t GetCombinedImageChecksum();
399
Richard Uhler66d874d2015-01-15 09:37:19 -0800400 // To implement Lock(), we lock a dummy file where the oat file would go
401 // (adding ".flock" to the target file name) and retain the lock for the
402 // remaining lifetime of the OatFileAssistant object.
Richard Uhler66d874d2015-01-15 09:37:19 -0800403 ScopedFlock flock_;
404
Richard Uhler740eec92015-10-15 15:12:23 -0700405 std::string dex_location_;
Richard Uhler66d874d2015-01-15 09:37:19 -0800406
407 // In a properly constructed OatFileAssistant object, isa_ should be either
408 // the 32 or 64 bit variant for the current device.
409 const InstructionSet isa_ = kNone;
410
Richard Uhler66d874d2015-01-15 09:37:19 -0800411 // Whether we will attempt to load oat files executable.
412 bool load_executable_ = false;
413
414 // Cached value of the required dex checksum.
415 // This should be accessed only by the GetRequiredDexChecksum() method.
Richard Uhler9b994ea2015-06-24 08:44:19 -0700416 uint32_t cached_required_dex_checksum_;
417 bool required_dex_checksum_attempted_ = false;
418 bool required_dex_checksum_found_;
419 bool has_original_dex_files_;
Richard Uhler66d874d2015-01-15 09:37:19 -0800420
Richard Uhler743bf362016-04-19 15:39:37 -0700421 OatFileInfo odex_;
422 OatFileInfo oat_;
Richard Uhler66d874d2015-01-15 09:37:19 -0800423
424 // Cached value of the image info.
425 // Use the GetImageInfo method rather than accessing these directly.
426 // TODO: The image info should probably be moved out of the oat file
427 // assistant to an image file manager.
428 bool image_info_load_attempted_ = false;
429 bool image_info_load_succeeded_ = false;
430 ImageInfo cached_image_info_;
Jeff Haob11ffb72016-04-07 15:40:54 -0700431 uint32_t combined_image_checksum_ = 0;
Richard Uhler66d874d2015-01-15 09:37:19 -0800432
Richard Uhler66d874d2015-01-15 09:37:19 -0800433 DISALLOW_COPY_AND_ASSIGN(OatFileAssistant);
434};
435
Narayan Kamath8943c1d2016-05-02 13:14:48 +0100436std::ostream& operator << (std::ostream& stream, const OatFileAssistant::OatStatus status);
437
Richard Uhler66d874d2015-01-15 09:37:19 -0800438} // namespace art
439
440#endif // ART_RUNTIME_OAT_FILE_ASSISTANT_H_