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   // The default compile filter to use when optimizing dex file at load time if they
     52   // are out of date.
     53   static const CompilerFilter::Filter kDefaultCompilerFilterForDexLoading =
     54       CompilerFilter::kQuicken;
     55 
     56   enum DexOptNeeded {
     57     // No dexopt should (or can) be done to update the apk/jar.
     58     // Matches Java: dalvik.system.DexFile.NO_DEXOPT_NEEDED = 0
     59     kNoDexOptNeeded = 0,
     60 
     61     // dex2oat should be run to update the apk/jar from scratch.
     62     // Matches Java: dalvik.system.DexFile.DEX2OAT_FROM_SCRATCH = 1
     63     kDex2OatFromScratch = 1,
     64 
     65     // dex2oat should be run to update the apk/jar because the existing code
     66     // is out of date with respect to the boot image.
     67     // Matches Java: dalvik.system.DexFile.DEX2OAT_FOR_BOOT_IMAGE
     68     kDex2OatForBootImage = 2,
     69 
     70     // dex2oat should be run to update the apk/jar because the existing code
     71     // is out of date with respect to the target compiler filter.
     72     // Matches Java: dalvik.system.DexFile.DEX2OAT_FOR_FILTER
     73     kDex2OatForFilter = 3,
     74 
     75     // dex2oat should be run to update the apk/jar because the existing code
     76     // is not relocated to match the boot image.
     77     // Matches Java: dalvik.system.DexFile.DEX2OAT_FOR_RELOCATION
     78     kDex2OatForRelocation = 4,
     79   };
     80 
     81   enum OatStatus {
     82     // kOatCannotOpen - The oat file cannot be opened, because it does not
     83     // exist, is unreadable, or otherwise corrupted.
     84     kOatCannotOpen,
     85 
     86     // kOatDexOutOfDate - The oat file is out of date with respect to the dex file.
     87     kOatDexOutOfDate,
     88 
     89     // kOatBootImageOutOfDate - The oat file is up to date with respect to the
     90     // dex file, but is out of date with respect to the boot image.
     91     kOatBootImageOutOfDate,
     92 
     93     // kOatRelocationOutOfDate - The oat file is up to date with respect to
     94     // the dex file and boot image, but contains compiled code that has the
     95     // wrong patch delta with respect to the boot image. Patchoat should be
     96     // run on the oat file to update the patch delta of the compiled code to
     97     // match the boot image.
     98     kOatRelocationOutOfDate,
     99 
    100     // kOatUpToDate - The oat file is completely up to date with respect to
    101     // the dex file and boot image.
    102     kOatUpToDate,
    103   };
    104 
    105   // Constructs an OatFileAssistant object to assist the oat file
    106   // corresponding to the given dex location with the target instruction set.
    107   //
    108   // The dex_location must not be null and should remain available and
    109   // unchanged for the duration of the lifetime of the OatFileAssistant object.
    110   // Typically the dex_location is the absolute path to the original,
    111   // un-optimized dex file.
    112   //
    113   // Note: Currently the dex_location must have an extension.
    114   // TODO: Relax this restriction?
    115   //
    116   // The isa should be either the 32 bit or 64 bit variant for the current
    117   // device. For example, on an arm device, use arm or arm64. An oat file can
    118   // be loaded executable only if the ISA matches the current runtime.
    119   //
    120   // load_executable should be true if the caller intends to try and load
    121   // executable code for this dex location.
    122   //
    123   // only_load_system_executable should be true if the caller intends to have
    124   // only oat files from /system loaded executable.
    125   OatFileAssistant(const char* dex_location,
    126                    const InstructionSet isa,
    127                    bool load_executable,
    128                    bool only_load_system_executable = false);
    129 
    130   // Similar to this(const char*, const InstructionSet, bool), however, if a valid zip_fd is
    131   // provided, vdex, oat, and zip files will be read from vdex_fd, oat_fd and zip_fd respectively.
    132   // Otherwise, dex_location will be used to construct necessary filenames.
    133   OatFileAssistant(const char* dex_location,
    134                    const InstructionSet isa,
    135                    bool load_executable,
    136                    bool only_load_system_executable,
    137                    int vdex_fd,
    138                    int oat_fd,
    139                    int zip_fd);
    140 
    141   ~OatFileAssistant();
    142 
    143   // Returns true if the dex location refers to an element of the boot class
    144   // path.
    145   bool IsInBootClassPath();
    146 
    147   // Obtains a lock on the target oat file.
    148   // Only one OatFileAssistant object can hold the lock for a target oat file
    149   // at a time. The Lock is released automatically when the OatFileAssistant
    150   // object goes out of scope. The Lock() method must not be called if the
    151   // lock has already been acquired.
    152   //
    153   // Returns true on success.
    154   // Returns false on error, in which case error_msg will contain more
    155   // information on the error.
    156   //
    157   // The 'error_msg' argument must not be null.
    158   //
    159   // This is intended to be used to avoid race conditions when multiple
    160   // processes generate oat files, such as when a foreground Activity and
    161   // a background Service both use DexClassLoaders pointing to the same dex
    162   // file.
    163   bool Lock(std::string* error_msg);
    164 
    165   // Return what action needs to be taken to produce up-to-date code for this
    166   // dex location. If "downgrade" is set to false, it verifies if the current
    167   // compiler filter is at least as good as an oat file generated with the
    168   // given compiler filter otherwise, if its set to true, it checks whether
    169   // the oat file generated with the target filter will be downgraded as
    170   // compared to the current state. For example, if the current compiler filter is
    171   // quicken, and target filter is verify, it will recommend to dexopt, while
    172   // if the target filter is speed profile, it will recommend to keep it in its
    173   // current state.
    174   // profile_changed should be true to indicate the profile has recently changed
    175   // for this dex location.
    176   // If the purpose of the dexopt is to downgrade the compiler filter,
    177   // set downgrade to true.
    178   // Returns a positive status code if the status refers to the oat file in
    179   // the oat location. Returns a negative status code if the status refers to
    180   // the oat file in the odex location.
    181   int GetDexOptNeeded(CompilerFilter::Filter target_compiler_filter,
    182                       bool profile_changed = false,
    183                       bool downgrade = false,
    184                       ClassLoaderContext* context = nullptr);
    185 
    186   // Returns true if there is up-to-date code for this dex location,
    187   // irrespective of the compiler filter of the up-to-date code.
    188   bool IsUpToDate();
    189 
    190   // Return code used when attempting to generate updated code.
    191   enum ResultOfAttemptToUpdate {
    192     kUpdateFailed,        // We tried making the code up to date, but
    193                           // encountered an unexpected failure.
    194     kUpdateNotAttempted,  // We wanted to update the code, but determined we
    195                           // should not make the attempt.
    196     kUpdateSucceeded      // We successfully made the code up to date
    197                           // (possibly by doing nothing).
    198   };
    199 
    200   // Attempts to generate or relocate the oat file as needed to make it up to
    201   // date based on the current runtime and compiler options.
    202   // profile_changed should be true to indicate the profile has recently
    203   // changed for this dex location.
    204   //
    205   // If the dex files need to be made up to date, class_loader_context will be
    206   // passed to dex2oat.
    207   //
    208   // Returns the result of attempting to update the code.
    209   //
    210   // If the result is not kUpdateSucceeded, the value of error_msg will be set
    211   // to a string describing why there was a failure or the update was not
    212   // attempted. error_msg must not be null.
    213   ResultOfAttemptToUpdate MakeUpToDate(bool profile_changed,
    214                                        ClassLoaderContext* class_loader_context,
    215                                        std::string* error_msg);
    216 
    217   // Returns an oat file that can be used for loading dex files.
    218   // Returns null if no suitable oat file was found.
    219   //
    220   // After this call, no other methods of the OatFileAssistant should be
    221   // called, because access to the loaded oat file has been taken away from
    222   // the OatFileAssistant object.
    223   std::unique_ptr<OatFile> GetBestOatFile();
    224 
    225   // Returns a human readable description of the status of the code for the
    226   // dex file. The returned description is for debugging purposes only.
    227   std::string GetStatusDump();
    228 
    229   // Computes the optimization status of the given dex file. The result is
    230   // returned via the two output parameters.
    231   //   - out_compilation_filter: the level of optimizations (compiler filter)
    232   //   - out_compilation_reason: the optimization reason. The reason might
    233   //        be "unknown" if the compiler artifacts were not annotated during optimizations.
    234   //
    235   // This method will try to mimic the runtime effect of loading the dex file.
    236   // For example, if there is no usable oat file, the compiler filter will be set
    237   // to "run-from-apk".
    238   static void GetOptimizationStatus(const std::string& filename,
    239                                     InstructionSet isa,
    240                                     std::string* out_compilation_filter,
    241                                     std::string* out_compilation_reason);
    242 
    243   // Open and returns an image space associated with the oat file.
    244   static std::unique_ptr<gc::space::ImageSpace> OpenImageSpace(const OatFile* oat_file);
    245 
    246   // Loads the dex files in the given oat file for the given dex location.
    247   // The oat file should be up to date for the given dex location.
    248   // This loads multiple dex files in the case of multidex.
    249   // Returns an empty vector if no dex files for that location could be loaded
    250   // from the oat file.
    251   //
    252   // The caller is responsible for freeing the dex_files returned, if any. The
    253   // dex_files will only remain valid as long as the oat_file is valid.
    254   static std::vector<std::unique_ptr<const DexFile>> LoadDexFiles(
    255       const OatFile& oat_file, const char* dex_location);
    256 
    257   // Same as `std::vector<std::unique_ptr<const DexFile>> LoadDexFiles(...)` with the difference:
    258   //   - puts the dex files in the given vector
    259   //   - returns whether or not all dex files were successfully opened
    260   static bool LoadDexFiles(const OatFile& oat_file,
    261                            const std::string& dex_location,
    262                            std::vector<std::unique_ptr<const DexFile>>* out_dex_files);
    263 
    264   // Returns true if there are dex files in the original dex location that can
    265   // be compiled with dex2oat for this dex location.
    266   // Returns false if there is no original dex file, or if the original dex
    267   // file is an apk/zip without a classes.dex entry.
    268   bool HasOriginalDexFiles();
    269 
    270   // If the dex file has been installed with a compiled oat file alongside
    271   // it, the compiled oat file will have the extension .odex, and is referred
    272   // to as the odex file. It is called odex for legacy reasons; the file is
    273   // really an oat file. The odex file will often, but not always, have a
    274   // patch delta of 0 and need to be relocated before use for the purposes of
    275   // ASLR. The odex file is treated as if it were read-only.
    276   //
    277   // Returns the status of the odex file for the dex location.
    278   OatStatus OdexFileStatus();
    279 
    280   // When the dex files is compiled on the target device, the oat file is the
    281   // result. The oat file will have been relocated to some
    282   // (possibly-out-of-date) offset for ASLR.
    283   //
    284   // Returns the status of the oat file for the dex location.
    285   OatStatus OatFileStatus();
    286 
    287   // Executes dex2oat using the current runtime configuration overridden with
    288   // the given arguments. This does not check to see if dex2oat is enabled in
    289   // the runtime configuration.
    290   // Returns true on success.
    291   //
    292   // If there is a failure, the value of error_msg will be set to a string
    293   // describing why there was failure. error_msg must not be null.
    294   //
    295   // TODO: The OatFileAssistant probably isn't the right place to have this
    296   // function.
    297   static bool Dex2Oat(const std::vector<std::string>& args, std::string* error_msg);
    298 
    299   // Constructs the odex file name for the given dex location.
    300   // Returns true on success, in which case odex_filename is set to the odex
    301   // file name.
    302   // Returns false on error, in which case error_msg describes the error and
    303   // odex_filename is not changed.
    304   // Neither odex_filename nor error_msg may be null.
    305   static bool DexLocationToOdexFilename(const std::string& location,
    306                                         InstructionSet isa,
    307                                         std::string* odex_filename,
    308                                         std::string* error_msg);
    309 
    310   // Constructs the oat file name for the given dex location.
    311   // Returns true on success, in which case oat_filename is set to the oat
    312   // file name.
    313   // Returns false on error, in which case error_msg describes the error and
    314   // oat_filename is not changed.
    315   // Neither oat_filename nor error_msg may be null.
    316   static bool DexLocationToOatFilename(const std::string& location,
    317                                        InstructionSet isa,
    318                                        std::string* oat_filename,
    319                                        std::string* error_msg);
    320 
    321  private:
    322   struct ImageInfo {
    323     uint32_t oat_checksum = 0;
    324     uintptr_t oat_data_begin = 0;
    325     int32_t patch_delta = 0;
    326     std::string location;
    327 
    328     static std::unique_ptr<ImageInfo> GetRuntimeImageInfo(InstructionSet isa,
    329                                                           std::string* error_msg);
    330   };
    331 
    332   class OatFileInfo {
    333    public:
    334     // Initially the info is for no file in particular. It will treat the
    335     // file as out of date until Reset is called with a real filename to use
    336     // the cache for.
    337     // Pass true for is_oat_location if the information associated with this
    338     // OatFileInfo is for the oat location, as opposed to the odex location.
    339     OatFileInfo(OatFileAssistant* oat_file_assistant, bool is_oat_location);
    340 
    341     bool IsOatLocation();
    342 
    343     const std::string* Filename();
    344 
    345     // Returns true if this oat file can be used for running code. The oat
    346     // file can be used for running code as long as it is not out of date with
    347     // respect to the dex code or boot image. An oat file that is out of date
    348     // with respect to relocation is considered useable, because it's possible
    349     // to interpret the dex code rather than run the unrelocated compiled
    350     // code.
    351     bool IsUseable();
    352 
    353     // Returns the status of this oat file.
    354     OatStatus Status();
    355 
    356     // Return the DexOptNeeded value for this oat file with respect to the
    357     // given target_compilation_filter.
    358     // profile_changed should be true to indicate the profile has recently
    359     // changed for this dex location.
    360     // downgrade should be true if the purpose of dexopt is to downgrade the
    361     // compiler filter.
    362     DexOptNeeded GetDexOptNeeded(CompilerFilter::Filter target_compiler_filter,
    363                                  bool profile_changed,
    364                                  bool downgrade,
    365                                  ClassLoaderContext* context);
    366 
    367     // Returns the loaded file.
    368     // Loads the file if needed. Returns null if the file failed to load.
    369     // The caller shouldn't clean up or free the returned pointer.
    370     const OatFile* GetFile();
    371 
    372     // Returns true if the file is opened executable.
    373     bool IsExecutable();
    374 
    375     // Clear any cached information about the file that depends on the
    376     // contents of the file. This does not reset the provided filename.
    377     void Reset();
    378 
    379     // Clear any cached information and switch to getting info about the oat
    380     // file with the given filename.
    381     void Reset(const std::string& filename,
    382                bool use_fd,
    383                int zip_fd = -1,
    384                int vdex_fd = -1,
    385                int oat_fd = -1);
    386 
    387     // Release the loaded oat file for runtime use.
    388     // Returns null if the oat file hasn't been loaded or is out of date.
    389     // Ensures the returned file is not loaded executable if it has unuseable
    390     // compiled code.
    391     //
    392     // After this call, no other methods of the OatFileInfo should be
    393     // called, because access to the loaded oat file has been taken away from
    394     // the OatFileInfo object.
    395     std::unique_ptr<OatFile> ReleaseFileForUse();
    396 
    397    private:
    398     // Returns true if the compiler filter used to generate the file is at
    399     // least as good as the given target filter. profile_changed should be
    400     // true to indicate the profile has recently changed for this dex
    401     // location.
    402     // downgrade should be true if the purpose of dexopt is to downgrade the
    403     // compiler filter.
    404     bool CompilerFilterIsOkay(CompilerFilter::Filter target, bool profile_changed, bool downgrade);
    405 
    406     bool ClassLoaderContextIsOkay(ClassLoaderContext* context);
    407 
    408     // Release the loaded oat file.
    409     // Returns null if the oat file hasn't been loaded.
    410     //
    411     // After this call, no other methods of the OatFileInfo should be
    412     // called, because access to the loaded oat file has been taken away from
    413     // the OatFileInfo object.
    414     std::unique_ptr<OatFile> ReleaseFile();
    415 
    416     OatFileAssistant* oat_file_assistant_;
    417     const bool is_oat_location_;
    418 
    419     bool filename_provided_ = false;
    420     std::string filename_;
    421 
    422     int zip_fd_ = -1;
    423     int oat_fd_ = -1;
    424     int vdex_fd_ = -1;
    425     bool use_fd_ = false;
    426 
    427     bool load_attempted_ = false;
    428     std::unique_ptr<OatFile> file_;
    429 
    430     bool status_attempted_ = false;
    431     OatStatus status_ = OatStatus::kOatCannotOpen;
    432 
    433     // For debugging only.
    434     // If this flag is set, the file has been released to the user and the
    435     // OatFileInfo object is in a bad state and should no longer be used.
    436     bool file_released_ = false;
    437   };
    438 
    439   // Generate the oat file for the given info from the dex file using the
    440   // current runtime compiler options, the specified filter and class loader
    441   // context.
    442   // This does not check the current status before attempting to generate the
    443   // oat file.
    444   //
    445   // If the result is not kUpdateSucceeded, the value of error_msg will be set
    446   // to a string describing why there was a failure or the update was not
    447   // attempted. error_msg must not be null.
    448   ResultOfAttemptToUpdate GenerateOatFileNoChecks(OatFileInfo& info,
    449                                                   CompilerFilter::Filter target,
    450                                                   const ClassLoaderContext* class_loader_context,
    451                                                   std::string* error_msg);
    452 
    453   // Return info for the best oat file.
    454   OatFileInfo& GetBestInfo();
    455 
    456   // Returns true when vdex/oat/odex files should be read from file descriptors.
    457   // The method checks the value of zip_fd_, and if the value is valid, returns
    458   // true. This is required to have a deterministic behavior around how different
    459   // files are being read.
    460   bool UseFdToReadFiles();
    461 
    462   // Returns true if the dex checksums in the given vdex file are up to date
    463   // with respect to the dex location. If the dex checksums are not up to
    464   // date, error_msg is updated with a message describing the problem.
    465   bool DexChecksumUpToDate(const VdexFile& file, std::string* error_msg);
    466 
    467   // Returns true if the dex checksums in the given oat file are up to date
    468   // with respect to the dex location. If the dex checksums are not up to
    469   // date, error_msg is updated with a message describing the problem.
    470   bool DexChecksumUpToDate(const OatFile& file, std::string* error_msg);
    471 
    472   // Return the status for a given opened oat file with respect to the dex
    473   // location.
    474   OatStatus GivenOatFileStatus(const OatFile& file);
    475 
    476   // Returns the current image location.
    477   // Returns an empty string if the image location could not be retrieved.
    478   //
    479   // TODO: This method should belong with an image file manager, not
    480   // the oat file assistant.
    481   static std::string ImageLocation();
    482 
    483   // Gets the dex checksums required for an up-to-date oat file.
    484   // Returns cached_required_dex_checksums if the required checksums were
    485   // located. Returns null if the required checksums were not found.  The
    486   // caller shouldn't clean up or free the returned pointer.  This sets the
    487   // has_original_dex_files_ field to true if the checksums were found for the
    488   // dex_location_ dex file.
    489   const std::vector<uint32_t>* GetRequiredDexChecksums();
    490 
    491   // Returns the loaded image info.
    492   // Loads the image info if needed. Returns null if the image info failed
    493   // to load.
    494   // The caller shouldn't clean up or free the returned pointer.
    495   const ImageInfo* GetImageInfo();
    496 
    497   // To implement Lock(), we lock a dummy file where the oat file would go
    498   // (adding ".flock" to the target file name) and retain the lock for the
    499   // remaining lifetime of the OatFileAssistant object.
    500   ScopedFlock flock_;
    501 
    502   std::string dex_location_;
    503 
    504   // Whether or not the parent directory of the dex file is writable.
    505   bool dex_parent_writable_ = false;
    506 
    507   // In a properly constructed OatFileAssistant object, isa_ should be either
    508   // the 32 or 64 bit variant for the current device.
    509   const InstructionSet isa_ = InstructionSet::kNone;
    510 
    511   // Whether we will attempt to load oat files executable.
    512   bool load_executable_ = false;
    513 
    514   // Whether only oat files on /system are loaded executable.
    515   const bool only_load_system_executable_ = false;
    516   // Whether the potential zip file only contains uncompressed dex.
    517   // Will be set during GetRequiredDexChecksums.
    518   bool zip_file_only_contains_uncompressed_dex_ = true;
    519 
    520   // Cached value of the required dex checksums.
    521   // This should be accessed only by the GetRequiredDexChecksums() method.
    522   std::vector<uint32_t> cached_required_dex_checksums_;
    523   bool required_dex_checksums_attempted_ = false;
    524   bool required_dex_checksums_found_;
    525   bool has_original_dex_files_;
    526 
    527   OatFileInfo odex_;
    528   OatFileInfo oat_;
    529 
    530   // File descriptor corresponding to apk, dex file, or zip.
    531   int zip_fd_;
    532 
    533   // Cached value of the image info.
    534   // Use the GetImageInfo method rather than accessing these directly.
    535   // TODO: The image info should probably be moved out of the oat file
    536   // assistant to an image file manager.
    537   bool image_info_load_attempted_ = false;
    538   std::unique_ptr<ImageInfo> cached_image_info_;
    539 
    540   friend class OatFileAssistantTest;
    541 
    542   DISALLOW_COPY_AND_ASSIGN(OatFileAssistant);
    543 };
    544 
    545 std::ostream& operator << (std::ostream& stream, const OatFileAssistant::OatStatus status);
    546 
    547 }  // namespace art
    548 
    549 #endif  // ART_RUNTIME_OAT_FILE_ASSISTANT_H_
    550