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