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