• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
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>
22 #include <sstream>
23 #include <string>
24 
25 #include "base/compiler_filter.h"
26 #include "arch/instruction_set.h"
27 #include "base/os.h"
28 #include "base/scoped_flock.h"
29 #include "base/unix_file/fd_file.h"
30 #include "class_loader_context.h"
31 #include "oat_file.h"
32 
33 namespace art {
34 
35 namespace gc {
36 namespace space {
37 class ImageSpace;
38 }  // namespace space
39 }  // namespace gc
40 
41 // Class for assisting with oat file management.
42 //
43 // This class collects common utilities for determining the status of an oat
44 // file on the device, updating the oat file, and loading the oat file.
45 //
46 // The oat file assistant is intended to be used with dex locations not on the
47 // boot class path. See the IsInBootClassPath method for a way to check if the
48 // dex location is in the boot class path.
49 class OatFileAssistant {
50  public:
51   enum DexOptNeeded {
52     // No dexopt should (or can) be done to update the apk/jar.
53     // Matches Java: dalvik.system.DexFile.NO_DEXOPT_NEEDED = 0
54     kNoDexOptNeeded = 0,
55 
56     // dex2oat should be run to update the apk/jar from scratch.
57     // Matches Java: dalvik.system.DexFile.DEX2OAT_FROM_SCRATCH = 1
58     kDex2OatFromScratch = 1,
59 
60     // dex2oat should be run to update the apk/jar because the existing code
61     // is out of date with respect to the boot image.
62     // Matches Java: dalvik.system.DexFile.DEX2OAT_FOR_BOOT_IMAGE
63     kDex2OatForBootImage = 2,
64 
65     // dex2oat should be run to update the apk/jar because the existing code
66     // is out of date with respect to the target compiler filter.
67     // Matches Java: dalvik.system.DexFile.DEX2OAT_FOR_FILTER
68     kDex2OatForFilter = 3,
69   };
70 
71   enum OatStatus {
72     // kOatCannotOpen - The oat file cannot be opened, because it does not
73     // exist, is unreadable, or otherwise corrupted.
74     kOatCannotOpen,
75 
76     // kOatDexOutOfDate - The oat file is out of date with respect to the dex file.
77     kOatDexOutOfDate,
78 
79     // kOatBootImageOutOfDate - The oat file is up to date with respect to the
80     // dex file, but is out of date with respect to the boot image.
81     kOatBootImageOutOfDate,
82 
83     // kOatContextOutOfDate - The context in the oat file is out of date with
84     // respect to the class loader context.
85     kOatContextOutOfDate,
86 
87     // kOatUpToDate - The oat file is completely up to date with respect to
88     // the dex file and boot image.
89     kOatUpToDate,
90   };
91 
92   // Constructs an OatFileAssistant object to assist the oat file
93   // corresponding to the given dex location with the target instruction set.
94   //
95   // The dex_location must not be null and should remain available and
96   // unchanged for the duration of the lifetime of the OatFileAssistant object.
97   // Typically the dex_location is the absolute path to the original,
98   // un-optimized dex file.
99   //
100   // Note: Currently the dex_location must have an extension.
101   // TODO: Relax this restriction?
102   //
103   // The isa should be either the 32 bit or 64 bit variant for the current
104   // device. For example, on an arm device, use arm or arm64. An oat file can
105   // be loaded executable only if the ISA matches the current runtime.
106   //
107   // load_executable should be true if the caller intends to try and load
108   // executable code for this dex location.
109   //
110   // only_load_trusted_executable should be true if the caller intends to have
111   // only oat files from trusted locations loaded executable. See IsTrustedLocation() for
112   // details on trusted locations.
113   OatFileAssistant(const char* dex_location,
114                    const InstructionSet isa,
115                    ClassLoaderContext* context,
116                    bool load_executable,
117                    bool only_load_trusted_executable = false);
118 
119   // Similar to this(const char*, const InstructionSet, bool), however, if a valid zip_fd is
120   // provided, vdex, oat, and zip files will be read from vdex_fd, oat_fd and zip_fd respectively.
121   // Otherwise, dex_location will be used to construct necessary filenames.
122   OatFileAssistant(const char* dex_location,
123                    const InstructionSet isa,
124                    ClassLoaderContext* context,
125                    bool load_executable,
126                    bool only_load_trusted_executable,
127                    int vdex_fd,
128                    int oat_fd,
129                    int zip_fd);
130 
131   // Returns true if the dex location refers to an element of the boot class
132   // path.
133   bool IsInBootClassPath();
134 
135   // Return what action needs to be taken to produce up-to-date code for this
136   // dex location. If "downgrade" is set to false, it verifies if the current
137   // compiler filter is at least as good as an oat file generated with the
138   // given compiler filter otherwise, if its set to true, it checks whether
139   // the oat file generated with the target filter will be downgraded as
140   // compared to the current state. For example, if the current compiler filter is
141   // quicken, and target filter is verify, it will recommend to dexopt, while
142   // if the target filter is speed profile, it will recommend to keep it in its
143   // current state.
144   // profile_changed should be true to indicate the profile has recently changed
145   // for this dex location.
146   // If the purpose of the dexopt is to downgrade the compiler filter,
147   // set downgrade to true.
148   // Returns a positive status code if the status refers to the oat file in
149   // the oat location. Returns a negative status code if the status refers to
150   // the oat file in the odex location.
151   int GetDexOptNeeded(CompilerFilter::Filter target_compiler_filter,
152                       bool profile_changed = false,
153                       bool downgrade = false);
154 
155   // Returns true if there is up-to-date code for this dex location,
156   // irrespective of the compiler filter of the up-to-date code.
157   bool IsUpToDate();
158 
159   // Returns an oat file that can be used for loading dex files.
160   // Returns null if no suitable oat file was found.
161   //
162   // After this call, no other methods of the OatFileAssistant should be
163   // called, because access to the loaded oat file has been taken away from
164   // the OatFileAssistant object.
165   std::unique_ptr<OatFile> GetBestOatFile();
166 
167   // Returns a human readable description of the status of the code for the
168   // dex file. The returned description is for debugging purposes only.
169   std::string GetStatusDump();
170 
171   // Computes the optimization status of the given dex file. The result is
172   // returned via the two output parameters.
173   //   - out_odex_location: the location of the (best) odex that will be used
174   //        for loading. See GetBestInfo().
175   //   - out_compilation_filter: the level of optimizations (compiler filter)
176   //   - out_compilation_reason: the optimization reason. The reason might
177   //        be "unknown" if the compiler artifacts were not annotated during optimizations.
178   //   - out_odex_status: a human readable refined status of the validity of the odex file.
179   //        E.g. up-to-date, boot-image-more-recent, apk-more-recent.
180   //
181   // This method will try to mimic the runtime effect of loading the dex file.
182   // For example, if there is no usable oat file, the compiler filter will be set
183   // to "run-from-apk".
184   void GetOptimizationStatus(std::string* out_odex_location,
185                              std::string* out_compilation_filter,
186                              std::string* out_compilation_reason,
187                              std::string* out_odex_status);
188 
189   static void GetOptimizationStatus(const std::string& filename,
190                                     InstructionSet isa,
191                                     std::string* out_compilation_filter,
192                                     std::string* out_compilation_reason);
193 
194   // Open and returns an image space associated with the oat file.
195   static std::unique_ptr<gc::space::ImageSpace> OpenImageSpace(const OatFile* oat_file);
196 
197   // Loads the dex files in the given oat file for the given dex location.
198   // The oat file should be up to date for the given dex location.
199   // This loads multiple dex files in the case of multidex.
200   // Returns an empty vector if no dex files for that location could be loaded
201   // from the oat file.
202   //
203   // The caller is responsible for freeing the dex_files returned, if any. The
204   // dex_files will only remain valid as long as the oat_file is valid.
205   static std::vector<std::unique_ptr<const DexFile>> LoadDexFiles(
206       const OatFile& oat_file, const char* dex_location);
207 
208   // Same as `std::vector<std::unique_ptr<const DexFile>> LoadDexFiles(...)` with the difference:
209   //   - puts the dex files in the given vector
210   //   - returns whether or not all dex files were successfully opened
211   static bool LoadDexFiles(const OatFile& oat_file,
212                            const std::string& dex_location,
213                            std::vector<std::unique_ptr<const DexFile>>* out_dex_files);
214 
215   // Returns whether this is an apk/zip wit a classes.dex entry.
216   bool HasDexFiles();
217 
218   // If the dex file has been installed with a compiled oat file alongside
219   // it, the compiled oat file will have the extension .odex, and is referred
220   // to as the odex file. It is called odex for legacy reasons; the file is
221   // really an oat file. The odex file will often, but not always, have a
222   // patch delta of 0 and need to be relocated before use for the purposes of
223   // ASLR. The odex file is treated as if it were read-only.
224   //
225   // Returns the status of the odex file for the dex location.
226   OatStatus OdexFileStatus();
227 
228   // When the dex files is compiled on the target device, the oat file is the
229   // result. The oat file will have been relocated to some
230   // (possibly-out-of-date) offset for ASLR.
231   //
232   // Returns the status of the oat file for the dex location.
233   OatStatus OatFileStatus();
234 
GetBestStatus()235   OatStatus GetBestStatus() {
236     return GetBestInfo().Status();
237   }
238 
239   // Constructs the odex file name for the given dex location.
240   // Returns true on success, in which case odex_filename is set to the odex
241   // file name.
242   // Returns false on error, in which case error_msg describes the error and
243   // odex_filename is not changed.
244   // Neither odex_filename nor error_msg may be null.
245   static bool DexLocationToOdexFilename(const std::string& location,
246                                         InstructionSet isa,
247                                         std::string* odex_filename,
248                                         std::string* error_msg);
249 
250   // Constructs the oat file name for the given dex location.
251   // Returns true on success, in which case oat_filename is set to the oat
252   // file name.
253   // Returns false on error, in which case error_msg describes the error and
254   // oat_filename is not changed.
255   // Neither oat_filename nor error_msg may be null.
256   static bool DexLocationToOatFilename(const std::string& location,
257                                        InstructionSet isa,
258                                        std::string* oat_filename,
259                                        std::string* error_msg);
260 
261   // Computes the dex location and vdex filename. If the data directory of the process
262   // is known, creates an absolute path in that directory and tries to infer path
263   // of a corresponding vdex file. Otherwise only creates a basename dex_location
264   // from the combined checksums. Returns true if all out-arguments have been set.
265   static bool AnonymousDexVdexLocation(const std::vector<const DexFile::Header*>& dex_headers,
266                                        InstructionSet isa,
267                                        /* out */ std::string* dex_location,
268                                        /* out */ std::string* vdex_filename);
269 
270   // Returns true if a filename (given as basename) is a name of a vdex for
271   // anonymous dex file(s) created by AnonymousDexVdexLocation.
272   static bool IsAnonymousVdexBasename(const std::string& basename);
273 
274   bool ClassLoaderContextIsOkay(const OatFile& oat_file) const;
275 
276  private:
277   class OatFileInfo {
278    public:
279     // Initially the info is for no file in particular. It will treat the
280     // file as out of date until Reset is called with a real filename to use
281     // the cache for.
282     // Pass true for is_oat_location if the information associated with this
283     // OatFileInfo is for the oat location, as opposed to the odex location.
284     OatFileInfo(OatFileAssistant* oat_file_assistant, bool is_oat_location);
285 
286     bool IsOatLocation();
287 
288     const std::string* Filename();
289 
290     // Returns true if this oat file can be used for running code. The oat
291     // file can be used for running code as long as it is not out of date with
292     // respect to the dex code or boot image. An oat file that is out of date
293     // with respect to relocation is considered useable, because it's possible
294     // to interpret the dex code rather than run the unrelocated compiled
295     // code.
296     bool IsUseable();
297 
298     // Returns the status of this oat file.
299     OatStatus Status();
300 
301     // Return the DexOptNeeded value for this oat file with respect to the
302     // given target_compilation_filter.
303     // profile_changed should be true to indicate the profile has recently
304     // changed for this dex location.
305     // downgrade should be true if the purpose of dexopt is to downgrade the
306     // compiler filter.
307     DexOptNeeded GetDexOptNeeded(CompilerFilter::Filter target_compiler_filter,
308                                  bool profile_changed,
309                                  bool downgrade);
310 
311     // Returns the loaded file.
312     // Loads the file if needed. Returns null if the file failed to load.
313     // The caller shouldn't clean up or free the returned pointer.
314     const OatFile* GetFile();
315 
316     // Returns true if the file is opened executable.
317     bool IsExecutable();
318 
319     // Clear any cached information about the file that depends on the
320     // contents of the file. This does not reset the provided filename.
321     void Reset();
322 
323     // Clear any cached information and switch to getting info about the oat
324     // file with the given filename.
325     void Reset(const std::string& filename,
326                bool use_fd,
327                int zip_fd = -1,
328                int vdex_fd = -1,
329                int oat_fd = -1);
330 
331     // Release the loaded oat file for runtime use.
332     // Returns null if the oat file hasn't been loaded or is out of date.
333     // Ensures the returned file is not loaded executable if it has unuseable
334     // compiled code.
335     //
336     // After this call, no other methods of the OatFileInfo should be
337     // called, because access to the loaded oat file has been taken away from
338     // the OatFileInfo object.
339     std::unique_ptr<OatFile> ReleaseFileForUse();
340 
341    private:
342     // Returns true if the compiler filter used to generate the file is at
343     // least as good as the given target filter. profile_changed should be
344     // true to indicate the profile has recently changed for this dex
345     // location.
346     // downgrade should be true if the purpose of dexopt is to downgrade the
347     // compiler filter.
348     bool CompilerFilterIsOkay(CompilerFilter::Filter target, bool profile_changed, bool downgrade);
349 
350     // Release the loaded oat file.
351     // Returns null if the oat file hasn't been loaded.
352     //
353     // After this call, no other methods of the OatFileInfo should be
354     // called, because access to the loaded oat file has been taken away from
355     // the OatFileInfo object.
356     std::unique_ptr<OatFile> ReleaseFile();
357 
358     OatFileAssistant* oat_file_assistant_;
359     const bool is_oat_location_;
360 
361     bool filename_provided_ = false;
362     std::string filename_;
363 
364     int zip_fd_ = -1;
365     int oat_fd_ = -1;
366     int vdex_fd_ = -1;
367     bool use_fd_ = false;
368 
369     bool load_attempted_ = false;
370     std::unique_ptr<OatFile> file_;
371 
372     bool status_attempted_ = false;
373     OatStatus status_ = OatStatus::kOatCannotOpen;
374 
375     // For debugging only.
376     // If this flag is set, the file has been released to the user and the
377     // OatFileInfo object is in a bad state and should no longer be used.
378     bool file_released_ = false;
379   };
380 
381   // Return info for the best oat file.
382   OatFileInfo& GetBestInfo();
383 
384   // Returns true when vdex/oat/odex files should be read from file descriptors.
385   // The method checks the value of zip_fd_, and if the value is valid, returns
386   // true. This is required to have a deterministic behavior around how different
387   // files are being read.
388   bool UseFdToReadFiles();
389 
390   // Returns true if the dex checksums in the given vdex file are up to date
391   // with respect to the dex location. If the dex checksums are not up to
392   // date, error_msg is updated with a message describing the problem.
393   bool DexChecksumUpToDate(const VdexFile& file, std::string* error_msg);
394 
395   // Returns true if the dex checksums in the given oat file are up to date
396   // with respect to the dex location. If the dex checksums are not up to
397   // date, error_msg is updated with a message describing the problem.
398   bool DexChecksumUpToDate(const OatFile& file, std::string* error_msg);
399 
400   // Return the status for a given opened oat file with respect to the dex
401   // location.
402   OatStatus GivenOatFileStatus(const OatFile& file);
403 
404   // Gets the dex checksums required for an up-to-date oat file.
405   // Returns cached_required_dex_checksums if the required checksums were
406   // located. Returns null if the required checksums were not found.  The
407   // caller shouldn't clean up or free the returned pointer.  This sets the
408   // has_original_dex_files_ field to true if the checksums were found for the
409   // dex_location_ dex file.
410   const std::vector<uint32_t>* GetRequiredDexChecksums();
411 
412   // Validates the boot class path checksum of an OatFile.
413   bool ValidateBootClassPathChecksums(const OatFile& oat_file);
414 
415   std::string dex_location_;
416 
417   ClassLoaderContext* context_;
418 
419   // Whether or not the parent directory of the dex file is writable.
420   bool dex_parent_writable_ = false;
421 
422   // In a properly constructed OatFileAssistant object, isa_ should be either
423   // the 32 or 64 bit variant for the current device.
424   const InstructionSet isa_ = InstructionSet::kNone;
425 
426   // Whether we will attempt to load oat files executable.
427   bool load_executable_ = false;
428 
429   // Whether only oat files from trusted locations are loaded executable.
430   const bool only_load_trusted_executable_ = false;
431   // Whether the potential zip file only contains uncompressed dex.
432   // Will be set during GetRequiredDexChecksums.
433   bool zip_file_only_contains_uncompressed_dex_ = true;
434 
435   // Cached value of the required dex checksums.
436   // This should be accessed only by the GetRequiredDexChecksums() method.
437   std::vector<uint32_t> cached_required_dex_checksums_;
438   bool required_dex_checksums_attempted_ = false;
439   bool required_dex_checksums_found_;
440   bool has_original_dex_files_;
441 
442   // The AOT-compiled file of an app when the APK of the app is in /data.
443   OatFileInfo odex_;
444   // The AOT-compiled file of an app when the APK of the app is on a read-only partition
445   // (for example /system).
446   OatFileInfo oat_;
447 
448   // The vdex-only file next to `odex_` when `odex_' cannot be used (for example
449   // it is out of date).
450   OatFileInfo vdex_for_odex_;
451   // The vdex-only file next to 'oat_` when `oat_' cannot be used (for example
452   // it is out of date).
453   OatFileInfo vdex_for_oat_;
454 
455   // File descriptor corresponding to apk, dex file, or zip.
456   int zip_fd_;
457 
458   std::string cached_boot_class_path_;
459   std::string cached_boot_class_path_checksums_;
460 
461   friend class OatFileAssistantTest;
462 
463   DISALLOW_COPY_AND_ASSIGN(OatFileAssistant);
464 };
465 
466 std::ostream& operator << (std::ostream& stream, const OatFileAssistant::OatStatus status);
467 
468 }  // namespace art
469 
470 #endif  // ART_RUNTIME_OAT_FILE_ASSISTANT_H_
471