Home | History | Annotate | Download | only in runtime
      1 /*
      2  * Copyright (C) 2017 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_CLASS_LOADER_CONTEXT_H_
     18 #define ART_RUNTIME_CLASS_LOADER_CONTEXT_H_
     19 
     20 #include <string>
     21 #include <vector>
     22 
     23 #include "arch/instruction_set.h"
     24 #include "base/dchecked_vector.h"
     25 #include "handle_scope.h"
     26 #include "mirror/class_loader.h"
     27 #include "scoped_thread_state_change.h"
     28 
     29 namespace art {
     30 
     31 class DexFile;
     32 class OatFile;
     33 
     34 // Utility class which holds the class loader context used during compilation/verification.
     35 class ClassLoaderContext {
     36  public:
     37   ~ClassLoaderContext();
     38 
     39   // Opens requested class path files and appends them to ClassLoaderInfo::opened_dex_files.
     40   // If the dex files have been stripped, the method opens them from their oat files which are added
     41   // to ClassLoaderInfo::opened_oat_files. The 'classpath_dir' argument specifies the directory to
     42   // use for the relative class paths.
     43   // Returns true if all dex files where successfully opened.
     44   // It may be called only once per ClassLoaderContext. Subsequent calls will return the same
     45   // result without doing anything.
     46   //
     47   // This will replace the class path locations with the locations of the opened dex files.
     48   // (Note that one dex file can contain multidexes. Each multidex will be added to the classpath
     49   // separately.)
     50   //
     51   // Note that a "false" return could mean that either an apk/jar contained no dex files or
     52   // that we hit a I/O or checksum mismatch error.
     53   // TODO(calin): Currently there's no easy way to tell the difference.
     54   //
     55   // TODO(calin): we're forced to complicate the flow in this class with a different
     56   // OpenDexFiles step because the current dex2oat flow requires the dex files be opened before
     57   // the class loader is created. Consider reworking the dex2oat part.
     58   bool OpenDexFiles(InstructionSet isa, const std::string& classpath_dir);
     59 
     60   // Remove the specified compilation sources from all classpaths present in this context.
     61   // Should only be called before the first call to OpenDexFiles().
     62   bool RemoveLocationsFromClassPaths(const dchecked_vector<std::string>& compilation_sources);
     63 
     64   // Creates the entire class loader hierarchy according to the current context.
     65   // Returns the first class loader from the chain.
     66   //
     67   // For example: if the context was built from the spec
     68   // "ClassLoaderType1[ClasspathElem1:ClasspathElem2...];ClassLoaderType2[...]..."
     69   // the method returns the class loader correponding to ClassLoader1. The parent chain will be
     70   // ClassLoader1 --> ClassLoader2 --> ... --> BootClassLoader.
     71   //
     72   // The compilation sources are appended to the classpath of the first class loader (in the above
     73   // example ClassLoader1).
     74   //
     75   // If the context is empty, this method only creates a single PathClassLoader with the
     76   // given compilation_sources.
     77   //
     78   // Notes:
     79   //   1) the objects are not completely set up. Do not use this outside of tests and the compiler.
     80   //   2) should only be called before the first call to OpenDexFiles().
     81   jobject CreateClassLoader(const std::vector<const DexFile*>& compilation_sources) const;
     82 
     83   // Encodes the context as a string suitable to be added in oat files.
     84   // (so that it can be read and verified at runtime against the actual class
     85   // loader hierarchy).
     86   // Should only be called if OpenDexFiles() returned true.
     87   // If stored context is non-null, the stored names are overwritten by the class path from the
     88   // stored context.
     89   // E.g. if the context is PCL[a.dex:b.dex] this will return
     90   // "PCL[a.dex*a_checksum*b.dex*a_checksum]".
     91   std::string EncodeContextForOatFile(const std::string& base_dir,
     92                                       ClassLoaderContext* stored_context = nullptr) const;
     93 
     94   // Encodes the context as a string suitable to be passed to dex2oat.
     95   // This is the same as EncodeContextForOatFile but without adding the checksums
     96   // and only adding each dex files once (no multidex).
     97   // Should only be called if OpenDexFiles() returned true.
     98   std::string EncodeContextForDex2oat(const std::string& base_dir) const;
     99 
    100   // Flattens the opened dex files into the given vector.
    101   // Should only be called if OpenDexFiles() returned true.
    102   std::vector<const DexFile*> FlattenOpenedDexFiles() const;
    103 
    104   // Verifies that the current context is identical to the context encoded as `context_spec`.
    105   // Identical means:
    106   //    - the number and type of the class loaders from the chain matches
    107   //    - the class loader from the same position have the same classpath
    108   //      (the order and checksum of the dex files matches)
    109   // This should be called after OpenDexFiles().
    110   // Names are only verified if verify_names is true.
    111   // Checksums are only verified if verify_checksums is true.
    112   bool VerifyClassLoaderContextMatch(const std::string& context_spec,
    113                                      bool verify_names = true,
    114                                      bool verify_checksums = true) const;
    115 
    116   // Creates the class loader context from the given string.
    117   // The format: ClassLoaderType1[ClasspathElem1:ClasspathElem2...];ClassLoaderType2[...]...
    118   // ClassLoaderType is either "PCL" (PathClassLoader) or "DLC" (DelegateLastClassLoader).
    119   // ClasspathElem is the path of dex/jar/apk file.
    120   //
    121   // The spec represents a class loader chain with the natural interpretation:
    122   // ClassLoader1 has ClassLoader2 as parent which has ClassLoader3 as a parent and so on.
    123   // The last class loader is assumed to have the BootClassLoader as a parent.
    124   //
    125   // Note that we allowed class loaders with an empty class path in order to support a custom
    126   // class loader for the source dex files.
    127   static std::unique_ptr<ClassLoaderContext> Create(const std::string& spec);
    128 
    129   // Creates a context for the given class_loader and dex_elements.
    130   // The method will walk the parent chain starting from `class_loader` and add their dex files
    131   // to the current class loaders chain. The `dex_elements` will be added at the end of the
    132   // classpath belonging to the `class_loader` argument.
    133   // The ownership of the opened dex files will be retained by the given `class_loader`.
    134   // If there are errors in processing the class loader chain (e.g. unsupported elements) the
    135   // method returns null.
    136   static std::unique_ptr<ClassLoaderContext> CreateContextForClassLoader(jobject class_loader,
    137                                                                          jobjectArray dex_elements);
    138 
    139   // Returns the default class loader context to be used when none is specified.
    140   // This will return a context with a single and empty PathClassLoader.
    141   static std::unique_ptr<ClassLoaderContext> Default();
    142 
    143  private:
    144   enum ClassLoaderType {
    145     kInvalidClassLoader = 0,
    146     kPathClassLoader = 1,
    147     kDelegateLastClassLoader = 2
    148   };
    149 
    150   struct ClassLoaderInfo {
    151     // The type of this class loader.
    152     ClassLoaderType type;
    153     // The list of class path elements that this loader loads.
    154     // Note that this list may contain relative paths.
    155     std::vector<std::string> classpath;
    156     // Original opened class path (ignoring multidex).
    157     std::vector<std::string> original_classpath;
    158     // The list of class path elements checksums.
    159     // May be empty if the checksums are not given when the context is created.
    160     std::vector<uint32_t> checksums;
    161     // After OpenDexFiles is called this holds the opened dex files.
    162     std::vector<std::unique_ptr<const DexFile>> opened_dex_files;
    163     // After OpenDexFiles, in case some of the dex files were opened from their oat files
    164     // this holds the list of opened oat files.
    165     std::vector<std::unique_ptr<OatFile>> opened_oat_files;
    166 
    167     explicit ClassLoaderInfo(ClassLoaderType cl_type) : type(cl_type) {}
    168   };
    169 
    170   // Creates an empty context (with no class loaders).
    171   ClassLoaderContext();
    172 
    173   // Constructs an empty context.
    174   // `owns_the_dex_files` specifies whether or not the context will own the opened dex files
    175   // present in the class loader chain. If `owns_the_dex_files` is true then OpenDexFiles cannot
    176   // be called on this context (dex_files_open_attempted_ and dex_files_open_result_ will be set
    177   // to true as well)
    178   explicit ClassLoaderContext(bool owns_the_dex_files);
    179 
    180   // Reads the class loader spec in place and returns true if the spec is valid and the
    181   // compilation context was constructed.
    182   bool Parse(const std::string& spec, bool parse_checksums = false);
    183 
    184   // Attempts to parse a single class loader spec for the given class_loader_type.
    185   // If successful the class loader spec will be added to the chain.
    186   // Returns whether or not the operation was successful.
    187   bool ParseClassLoaderSpec(const std::string& class_loader_spec,
    188                             ClassLoaderType class_loader_type,
    189                             bool parse_checksums = false);
    190 
    191   // CHECKs that the dex files were opened (OpenDexFiles was called and set dex_files_open_result_
    192   // to true). Aborts if not. The `calling_method` is used in the log message to identify the source
    193   // of the call.
    194   void CheckDexFilesOpened(const std::string& calling_method) const;
    195 
    196   // Adds the `class_loader` info to the context.
    197   // The dex file present in `dex_elements` array (if not null) will be added at the end of
    198   // the classpath.
    199   bool AddInfoToContextFromClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
    200                                        Handle<mirror::ClassLoader> class_loader,
    201                                        Handle<mirror::ObjectArray<mirror::Object>> dex_elements)
    202     REQUIRES_SHARED(Locks::mutator_lock_);
    203 
    204   // Encodes the context as a string suitable to be passed to dex2oat or to be added to the
    205   // oat file as the class path key.
    206   // If for_dex2oat is true, the encoding adds each file once (i.e. it does not add multidex
    207   // location). Otherwise, for oat files, the encoding adds all the dex files (including multidex)
    208   // together with their checksums.
    209   // Should only be called if OpenDexFiles() returned true.
    210   std::string EncodeContext(const std::string& base_dir,
    211                             bool for_dex2oat,
    212                             ClassLoaderContext* stored_context) const;
    213 
    214   // Extracts the class loader type from the given spec.
    215   // Return ClassLoaderContext::kInvalidClassLoader if the class loader type is not
    216   // recognized.
    217   static ClassLoaderType ExtractClassLoaderType(const std::string& class_loader_spec);
    218 
    219   // Returns the string representation of the class loader type.
    220   // The returned format can be used when parsing a context spec.
    221   static const char* GetClassLoaderTypeName(ClassLoaderType type);
    222 
    223   // Returns the WellKnownClass for the given class loader type.
    224   static jclass GetClassLoaderClass(ClassLoaderType type);
    225 
    226   // The class loader chain represented as a vector.
    227   // The parent of class_loader_chain_[i] is class_loader_chain_[i++].
    228   // The parent of the last element is assumed to be the boot class loader.
    229   std::vector<ClassLoaderInfo> class_loader_chain_;
    230 
    231   // Whether or not the class loader context should be ignored at runtime when loading the oat
    232   // files. When true, dex2oat will use OatFile::kSpecialSharedLibrary as the classpath key in
    233   // the oat file.
    234   // TODO(calin): Can we get rid of this and cover all relevant use cases?
    235   // (e.g. packages using prebuild system packages as shared libraries b/36480683)
    236   bool special_shared_library_;
    237 
    238   // Whether or not OpenDexFiles() was called.
    239   bool dex_files_open_attempted_;
    240   // The result of the last OpenDexFiles() operation.
    241   bool dex_files_open_result_;
    242 
    243   // Whether or not the context owns the opened dex and oat files.
    244   // If true, the opened dex files will be de-allocated when the context is destructed.
    245   // If false, the objects will continue to be alive.
    246   // Note that for convenience the the opened dex/oat files are stored as unique pointers
    247   // which will release their ownership in the destructor based on this flag.
    248   const bool owns_the_dex_files_;
    249 
    250   friend class ClassLoaderContextTest;
    251 
    252   DISALLOW_COPY_AND_ASSIGN(ClassLoaderContext);
    253 };
    254 
    255 }  // namespace art
    256 #endif  // ART_RUNTIME_CLASS_LOADER_CONTEXT_H_
    257