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/scoped_flock.h"
     27 #include "base/unix_file/fd_file.h"
     28 #include "compiler_filter.h"
     29 #include "oat_file.h"
     30 #include "os.h"
     31 #include "profiler.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     // kNoDexOptNeeded - The code for this dex location is up to date and can
     53     // be used as is.
     54     // Matches Java: dalvik.system.DexFile.NO_DEXOPT_NEEDED = 0
     55     kNoDexOptNeeded = 0,
     56 
     57     // kDex2OatNeeded - In order to make the code for this dex location up to
     58     // date, dex2oat must be run on the dex file.
     59     // Matches Java: dalvik.system.DexFile.DEX2OAT_NEEDED = 1
     60     kDex2OatNeeded = 1,
     61 
     62     // kPatchOatNeeded - In order to make the code for this dex location up to
     63     // date, patchoat must be run on the odex file.
     64     // Matches Java: dalvik.system.DexFile.PATCHOAT_NEEDED = 2
     65     kPatchOatNeeded = 2,
     66 
     67     // kSelfPatchOatNeeded - In order to make the code for this dex location
     68     // up to date, patchoat must be run on the oat file.
     69     // Matches Java: dalvik.system.DexFile.SELF_PATCHOAT_NEEDED = 3
     70     kSelfPatchOatNeeded = 3,
     71   };
     72 
     73   enum OatStatus {
     74     // kOatOutOfDate - An oat file is said to be out of date if the file does
     75     // not exist, is out of date with respect to the dex file or boot image,
     76     // or does not meet the target compilation type.
     77     kOatOutOfDate,
     78 
     79     // kOatNeedsRelocation - An oat file is said to need relocation if the
     80     // code is up to date, but not yet properly relocated for address space
     81     // layout randomization (ASLR). In this case, the oat file is neither
     82     // "out of date" nor "up to date".
     83     kOatNeedsRelocation,
     84 
     85     // kOatUpToDate - An oat file is said to be up to date if it is not out of
     86     // date and has been properly relocated for the purposes of ASLR.
     87     kOatUpToDate,
     88   };
     89 
     90   // Constructs an OatFileAssistant object to assist the oat file
     91   // corresponding to the given dex location with the target instruction set.
     92   //
     93   // The dex_location must not be null and should remain available and
     94   // unchanged for the duration of the lifetime of the OatFileAssistant object.
     95   // Typically the dex_location is the absolute path to the original,
     96   // un-optimized dex file.
     97   //
     98   // Note: Currently the dex_location must have an extension.
     99   // TODO: Relax this restriction?
    100   //
    101   // The isa should be either the 32 bit or 64 bit variant for the current
    102   // device. For example, on an arm device, use arm or arm64. An oat file can
    103   // be loaded executable only if the ISA matches the current runtime.
    104   //
    105   // profile_changed should be true if the profile has recently changed
    106   // for this dex location.
    107   //
    108   // load_executable should be true if the caller intends to try and load
    109   // executable code for this dex location.
    110   OatFileAssistant(const char* dex_location,
    111                    const InstructionSet isa,
    112                    bool profile_changed,
    113                    bool load_executable);
    114 
    115   // Constructs an OatFileAssistant, providing an explicit target oat_location
    116   // to use instead of the standard oat location.
    117   OatFileAssistant(const char* dex_location,
    118                    const char* oat_location,
    119                    const InstructionSet isa,
    120                    bool profile_changed,
    121                    bool load_executable);
    122 
    123   ~OatFileAssistant();
    124 
    125   // Returns true if the dex location refers to an element of the boot class
    126   // path.
    127   bool IsInBootClassPath();
    128 
    129   // Obtains a lock on the target oat file.
    130   // Only one OatFileAssistant object can hold the lock for a target oat file
    131   // at a time. The Lock is released automatically when the OatFileAssistant
    132   // object goes out of scope. The Lock() method must not be called if the
    133   // lock has already been acquired.
    134   //
    135   // Returns true on success.
    136   // Returns false on error, in which case error_msg will contain more
    137   // information on the error.
    138   //
    139   // The 'error_msg' argument must not be null.
    140   //
    141   // This is intended to be used to avoid race conditions when multiple
    142   // processes generate oat files, such as when a foreground Activity and
    143   // a background Service both use DexClassLoaders pointing to the same dex
    144   // file.
    145   bool Lock(std::string* error_msg);
    146 
    147   // Return what action needs to be taken to produce up-to-date code for this
    148   // dex location that is at least as good as an oat file generated with the
    149   // given compiler filter.
    150   DexOptNeeded GetDexOptNeeded(CompilerFilter::Filter target_compiler_filter);
    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   // Return code used when attempting to generate updated code.
    157   enum ResultOfAttemptToUpdate {
    158     kUpdateFailed,        // We tried making the code up to date, but
    159                           // encountered an unexpected failure.
    160     kUpdateNotAttempted,  // We wanted to update the code, but determined we
    161                           // should not make the attempt.
    162     kUpdateSucceeded      // We successfully made the code up to date
    163                           // (possibly by doing nothing).
    164   };
    165 
    166   // Attempts to generate or relocate the oat file as needed to make it up to
    167   // date with in a way that is at least as good as an oat file generated with
    168   // the given compiler filter.
    169   // Returns the result of attempting to update the code.
    170   //
    171   // If the result is not kUpdateSucceeded, the value of error_msg will be set
    172   // to a string describing why there was a failure or the update was not
    173   // attempted. error_msg must not be null.
    174   ResultOfAttemptToUpdate MakeUpToDate(CompilerFilter::Filter target_compiler_filter,
    175                                        std::string* error_msg);
    176 
    177   // Returns an oat file that can be used for loading dex files.
    178   // Returns null if no suitable oat file was found.
    179   //
    180   // After this call, no other methods of the OatFileAssistant should be
    181   // called, because access to the loaded oat file has been taken away from
    182   // the OatFileAssistant object.
    183   std::unique_ptr<OatFile> GetBestOatFile();
    184 
    185   // Open and returns an image space associated with the oat file.
    186   gc::space::ImageSpace* OpenImageSpace(const OatFile* oat_file);
    187 
    188   // Loads the dex files in the given oat file for the given dex location.
    189   // The oat file should be up to date for the given dex location.
    190   // This loads multiple dex files in the case of multidex.
    191   // Returns an empty vector if no dex files for that location could be loaded
    192   // from the oat file.
    193   //
    194   // The caller is responsible for freeing the dex_files returned, if any. The
    195   // dex_files will only remain valid as long as the oat_file is valid.
    196   static std::vector<std::unique_ptr<const DexFile>> LoadDexFiles(
    197       const OatFile& oat_file, const char* dex_location);
    198 
    199   // Returns true if there are dex files in the original dex location that can
    200   // be compiled with dex2oat for this dex location.
    201   // Returns false if there is no original dex file, or if the original dex
    202   // file is an apk/zip without a classes.dex entry.
    203   bool HasOriginalDexFiles();
    204 
    205   // If the dex file has been installed with a compiled oat file alongside
    206   // it, the compiled oat file will have the extension .odex, and is referred
    207   // to as the odex file. It is called odex for legacy reasons; the file is
    208   // really an oat file. The odex file will often, but not always, have a
    209   // patch delta of 0 and need to be relocated before use for the purposes of
    210   // ASLR. The odex file is treated as if it were read-only.
    211   // These methods return the location and status of the odex file for the dex
    212   // location.
    213   // Notes:
    214   //  * OdexFileName may return null if the odex file name could not be
    215   //    determined.
    216   const std::string* OdexFileName();
    217   bool OdexFileExists();
    218   OatStatus OdexFileStatus();
    219   bool OdexFileIsOutOfDate();
    220   bool OdexFileNeedsRelocation();
    221   bool OdexFileIsUpToDate();
    222   // Must only be called if the associated odex file exists, i.e, if
    223   // |OdexFileExists() == true|.
    224   CompilerFilter::Filter OdexFileCompilerFilter();
    225 
    226   // When the dex files is compiled on the target device, the oat file is the
    227   // result. The oat file will have been relocated to some
    228   // (possibly-out-of-date) offset for ASLR.
    229   // These methods return the location and status of the target oat file for
    230   // the dex location.
    231   //
    232   // Notes:
    233   //  * OatFileName may return null if the oat file name could not be
    234   //    determined.
    235   const std::string* OatFileName();
    236   bool OatFileExists();
    237   OatStatus OatFileStatus();
    238   bool OatFileIsOutOfDate();
    239   bool OatFileNeedsRelocation();
    240   bool OatFileIsUpToDate();
    241   // Must only be called if the associated oat file exists, i.e, if
    242   // |OatFileExists() == true|.
    243   CompilerFilter::Filter OatFileCompilerFilter();
    244 
    245   // Return image file name. Does not cache since it relies on the oat file.
    246   std::string ArtFileName(const OatFile* oat_file) const;
    247 
    248   // These methods return the status for a given opened oat file with respect
    249   // to the dex location.
    250   OatStatus GivenOatFileStatus(const OatFile& file);
    251   bool GivenOatFileIsOutOfDate(const OatFile& file);
    252   bool GivenOatFileNeedsRelocation(const OatFile& file);
    253   bool GivenOatFileIsUpToDate(const OatFile& file);
    254 
    255   // Generates the oat file by relocation from the named input file.
    256   // This does not check the current status before attempting to relocate the
    257   // oat file.
    258   //
    259   // If the result is not kUpdateSucceeded, the value of error_msg will be set
    260   // to a string describing why there was a failure or the update was not
    261   // attempted. error_msg must not be null.
    262   ResultOfAttemptToUpdate RelocateOatFile(const std::string* input_file, std::string* error_msg);
    263 
    264   // Generate the oat file from the dex file using the given compiler filter.
    265   // This does not check the current status before attempting to generate the
    266   // oat file.
    267   //
    268   // If the result is not kUpdateSucceeded, the value of error_msg will be set
    269   // to a string describing why there was a failure or the update was not
    270   // attempted. error_msg must not be null.
    271   ResultOfAttemptToUpdate GenerateOatFile(CompilerFilter::Filter filter, std::string* error_msg);
    272 
    273   // Executes dex2oat using the current runtime configuration overridden with
    274   // the given arguments. This does not check to see if dex2oat is enabled in
    275   // the runtime configuration.
    276   // Returns true on success.
    277   //
    278   // If there is a failure, the value of error_msg will be set to a string
    279   // describing why there was failure. error_msg must not be null.
    280   //
    281   // TODO: The OatFileAssistant probably isn't the right place to have this
    282   // function.
    283   static bool Dex2Oat(const std::vector<std::string>& args, std::string* error_msg);
    284 
    285   // Constructs the odex file name for the given dex location.
    286   // Returns true on success, in which case odex_filename is set to the odex
    287   // file name.
    288   // Returns false on error, in which case error_msg describes the error.
    289   // Neither odex_filename nor error_msg may be null.
    290   static bool DexFilenameToOdexFilename(const std::string& location,
    291       InstructionSet isa, std::string* odex_filename, std::string* error_msg);
    292 
    293   static uint32_t CalculateCombinedImageChecksum(InstructionSet isa = kRuntimeISA);
    294 
    295  private:
    296   struct ImageInfo {
    297     uint32_t oat_checksum = 0;
    298     uintptr_t oat_data_begin = 0;
    299     int32_t patch_delta = 0;
    300     std::string location;
    301   };
    302 
    303   // Returns the path to the dalvik cache directory.
    304   // Does not check existence of the cache or try to create it.
    305   // Includes the trailing slash.
    306   // Returns an empty string if we can't get the dalvik cache directory path.
    307   std::string DalvikCacheDirectory();
    308 
    309   // Returns the current image location.
    310   // Returns an empty string if the image location could not be retrieved.
    311   //
    312   // TODO: This method should belong with an image file manager, not
    313   // the oat file assistant.
    314   static std::string ImageLocation();
    315 
    316   // Gets the dex checksum required for an up-to-date oat file.
    317   // Returns dex_checksum if a required checksum was located. Returns
    318   // null if the required checksum was not found.
    319   // The caller shouldn't clean up or free the returned pointer.
    320   // This sets the has_original_dex_files_ field to true if a checksum was
    321   // found for the dex_location_ dex file.
    322   const uint32_t* GetRequiredDexChecksum();
    323 
    324   // Returns the loaded odex file.
    325   // Loads the file if needed. Returns null if the file failed to load.
    326   // The caller shouldn't clean up or free the returned pointer.
    327   const OatFile* GetOdexFile();
    328 
    329   // Returns true if the compiler filter used to generate the odex file is at
    330   // least as good as the given target filter.
    331   bool OdexFileCompilerFilterIsOkay(CompilerFilter::Filter target);
    332 
    333   // Returns true if the odex file is opened executable.
    334   bool OdexFileIsExecutable();
    335 
    336   // Returns true if the odex file has patch info required to run patchoat.
    337   bool OdexFileHasPatchInfo();
    338 
    339   // Clear any cached information about the odex file that depends on the
    340   // contents of the file.
    341   void ClearOdexFileCache();
    342 
    343   // Returns the loaded oat file.
    344   // Loads the file if needed. Returns null if the file failed to load.
    345   // The caller shouldn't clean up or free the returned pointer.
    346   const OatFile* GetOatFile();
    347 
    348   // Returns true if the compiler filter used to generate the oat file is at
    349   // least as good as the given target filter.
    350   bool OatFileCompilerFilterIsOkay(CompilerFilter::Filter target);
    351 
    352   // Returns true if the oat file is opened executable.
    353   bool OatFileIsExecutable();
    354 
    355   // Returns true if the oat file has patch info required to run patchoat.
    356   bool OatFileHasPatchInfo();
    357 
    358   // Clear any cached information about the oat file that depends on the
    359   // contents of the file.
    360   void ClearOatFileCache();
    361 
    362   // Returns the loaded image info.
    363   // Loads the image info if needed. Returns null if the image info failed
    364   // to load.
    365   // The caller shouldn't clean up or free the returned pointer.
    366   const ImageInfo* GetImageInfo();
    367 
    368   uint32_t GetCombinedImageChecksum();
    369 
    370   // To implement Lock(), we lock a dummy file where the oat file would go
    371   // (adding ".flock" to the target file name) and retain the lock for the
    372   // remaining lifetime of the OatFileAssistant object.
    373   ScopedFlock flock_;
    374 
    375   std::string dex_location_;
    376 
    377   // In a properly constructed OatFileAssistant object, isa_ should be either
    378   // the 32 or 64 bit variant for the current device.
    379   const InstructionSet isa_ = kNone;
    380 
    381   // Whether the profile has recently changed.
    382   bool profile_changed_ = false;
    383 
    384   // Whether we will attempt to load oat files executable.
    385   bool load_executable_ = false;
    386 
    387   // Cached value of the required dex checksum.
    388   // This should be accessed only by the GetRequiredDexChecksum() method.
    389   uint32_t cached_required_dex_checksum_;
    390   bool required_dex_checksum_attempted_ = false;
    391   bool required_dex_checksum_found_;
    392   bool has_original_dex_files_;
    393 
    394   // Cached value of the odex file name.
    395   // This should be accessed only by the OdexFileName() method.
    396   bool cached_odex_file_name_attempted_ = false;
    397   bool cached_odex_file_name_found_;
    398   std::string cached_odex_file_name_;
    399 
    400   // Cached value of the loaded odex file.
    401   // Use the GetOdexFile method rather than accessing this directly, unless you
    402   // know the odex file isn't out of date.
    403   bool odex_file_load_attempted_ = false;
    404   std::unique_ptr<OatFile> cached_odex_file_;
    405 
    406   // Cached results for OdexFileIsOutOfDate
    407   bool odex_file_is_out_of_date_attempted_ = false;
    408   bool cached_odex_file_is_out_of_date_;
    409 
    410   // Cached results for OdexFileIsUpToDate
    411   bool odex_file_is_up_to_date_attempted_ = false;
    412   bool cached_odex_file_is_up_to_date_;
    413 
    414   // Cached value of the oat file name.
    415   // This should be accessed only by the OatFileName() method.
    416   bool cached_oat_file_name_attempted_ = false;
    417   bool cached_oat_file_name_found_;
    418   std::string cached_oat_file_name_;
    419 
    420   // Cached value of the loaded oat file.
    421   // Use the GetOatFile method rather than accessing this directly, unless you
    422   // know the oat file isn't out of date.
    423   bool oat_file_load_attempted_ = false;
    424   std::unique_ptr<OatFile> cached_oat_file_;
    425 
    426   // Cached results for OatFileIsOutOfDate
    427   bool oat_file_is_out_of_date_attempted_ = false;
    428   bool cached_oat_file_is_out_of_date_;
    429 
    430   // Cached results for OatFileIsUpToDate
    431   bool oat_file_is_up_to_date_attempted_ = false;
    432   bool cached_oat_file_is_up_to_date_;
    433 
    434   // Cached value of the image info.
    435   // Use the GetImageInfo method rather than accessing these directly.
    436   // TODO: The image info should probably be moved out of the oat file
    437   // assistant to an image file manager.
    438   bool image_info_load_attempted_ = false;
    439   bool image_info_load_succeeded_ = false;
    440   ImageInfo cached_image_info_;
    441   uint32_t combined_image_checksum_ = 0;
    442 
    443   // For debugging only.
    444   // If this flag is set, the oat or odex file has been released to the user
    445   // of the OatFileAssistant object and the OatFileAssistant object is in a
    446   // bad state and should no longer be used.
    447   bool oat_file_released_ = false;
    448 
    449   DISALLOW_COPY_AND_ASSIGN(OatFileAssistant);
    450 };
    451 
    452 std::ostream& operator << (std::ostream& stream, const OatFileAssistant::OatStatus status);
    453 
    454 }  // namespace art
    455 
    456 #endif  // ART_RUNTIME_OAT_FILE_ASSISTANT_H_
    457