blob: 224b4d64f9990b90ad2b4709397b13930ff492cd [file] [log] [blame]
Calin Juravle87e2cb62017-06-13 21:48:45 -07001/*
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"
Mathieu Chartieradc90862018-05-11 13:03:06 -070025#include "dex/dex_file.h"
Calin Juravle57d0acc2017-07-11 17:41:30 -070026#include "handle_scope.h"
27#include "mirror/class_loader.h"
Mathieu Chartieradc90862018-05-11 13:03:06 -070028#include "oat_file.h"
Calin Juravle57d0acc2017-07-11 17:41:30 -070029#include "scoped_thread_state_change.h"
Calin Juravle87e2cb62017-06-13 21:48:45 -070030
31namespace art {
32
33class DexFile;
34class OatFile;
35
36// Utility class which holds the class loader context used during compilation/verification.
37class ClassLoaderContext {
38 public:
Mathieu Chartieradc90862018-05-11 13:03:06 -070039 enum class VerificationResult {
40 kVerifies,
41 kForcedToSkipChecks,
42 kMismatch,
43 };
44
45 enum ClassLoaderType {
46 kInvalidClassLoader = 0,
47 kPathClassLoader = 1,
David Brazdil1a9ac532019-03-05 11:57:13 +000048 kDelegateLastClassLoader = 2,
49 kInMemoryDexClassLoader = 3
Mathieu Chartieradc90862018-05-11 13:03:06 -070050 };
51
Calin Juravle57d0acc2017-07-11 17:41:30 -070052 ~ClassLoaderContext();
53
Calin Juravle87e2cb62017-06-13 21:48:45 -070054 // Opens requested class path files and appends them to ClassLoaderInfo::opened_dex_files.
55 // If the dex files have been stripped, the method opens them from their oat files which are added
56 // to ClassLoaderInfo::opened_oat_files. The 'classpath_dir' argument specifies the directory to
57 // use for the relative class paths.
58 // Returns true if all dex files where successfully opened.
Calin Juravlec5b215f2017-09-12 14:49:37 -070059 // It may be called only once per ClassLoaderContext. Subsequent calls will return the same
60 // result without doing anything.
David Brazdil89821862019-03-19 13:57:43 +000061 // If `context_fds` is an empty vector, files will be opened using the class path locations as
62 // filenames. Otherwise `context_fds` is expected to contain file descriptors to class path dex
63 // files, following the order of dex file locations in a flattened class loader context. If their
64 // number (size of `context_fds`) does not match the number of dex files, OpenDexFiles will fail.
Calin Juravlec5b215f2017-09-12 14:49:37 -070065 //
66 // This will replace the class path locations with the locations of the opened dex files.
67 // (Note that one dex file can contain multidexes. Each multidex will be added to the classpath
68 // separately.)
Calin Juravle87e2cb62017-06-13 21:48:45 -070069 //
70 // Note that a "false" return could mean that either an apk/jar contained no dex files or
71 // that we hit a I/O or checksum mismatch error.
72 // TODO(calin): Currently there's no easy way to tell the difference.
73 //
74 // TODO(calin): we're forced to complicate the flow in this class with a different
75 // OpenDexFiles step because the current dex2oat flow requires the dex files be opened before
76 // the class loader is created. Consider reworking the dex2oat part.
David Brazdil89821862019-03-19 13:57:43 +000077 bool OpenDexFiles(InstructionSet isa,
78 const std::string& classpath_dir,
79 const std::vector<int>& context_fds = std::vector<int>());
Calin Juravle87e2cb62017-06-13 21:48:45 -070080
81 // Remove the specified compilation sources from all classpaths present in this context.
82 // Should only be called before the first call to OpenDexFiles().
83 bool RemoveLocationsFromClassPaths(const dchecked_vector<std::string>& compilation_sources);
84
85 // Creates the entire class loader hierarchy according to the current context.
Calin Juravlec79470d2017-07-12 17:37:42 -070086 // Returns the first class loader from the chain.
87 //
88 // For example: if the context was built from the spec
89 // "ClassLoaderType1[ClasspathElem1:ClasspathElem2...];ClassLoaderType2[...]..."
90 // the method returns the class loader correponding to ClassLoader1. The parent chain will be
91 // ClassLoader1 --> ClassLoader2 --> ... --> BootClassLoader.
92 //
93 // The compilation sources are appended to the classpath of the first class loader (in the above
94 // example ClassLoader1).
95 //
Calin Juravle7b0648a2017-07-07 18:40:50 -070096 // If the context is empty, this method only creates a single PathClassLoader with the
97 // given compilation_sources.
Calin Juravlec79470d2017-07-12 17:37:42 -070098 //
Nicolas Geoffraycb2e1dd2018-11-20 11:15:13 +000099 // Shared libraries found in the chain will be canonicalized based on the dex files they
100 // contain.
101 //
102 // Implementation notes:
Calin Juravlec79470d2017-07-12 17:37:42 -0700103 // 1) the objects are not completely set up. Do not use this outside of tests and the compiler.
104 // 2) should only be called before the first call to OpenDexFiles().
Calin Juravle87e2cb62017-06-13 21:48:45 -0700105 jobject CreateClassLoader(const std::vector<const DexFile*>& compilation_sources) const;
106
107 // Encodes the context as a string suitable to be added in oat files.
108 // (so that it can be read and verified at runtime against the actual class
109 // loader hierarchy).
110 // Should only be called if OpenDexFiles() returned true.
Mathieu Chartierc4440772018-04-16 14:40:56 -0700111 // If stored context is non-null, the stored names are overwritten by the class path from the
112 // stored context.
Calin Juravle27e0d1f2017-07-26 00:16:07 -0700113 // E.g. if the context is PCL[a.dex:b.dex] this will return
114 // "PCL[a.dex*a_checksum*b.dex*a_checksum]".
Mathieu Chartierc4440772018-04-16 14:40:56 -0700115 std::string EncodeContextForOatFile(const std::string& base_dir,
116 ClassLoaderContext* stored_context = nullptr) const;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700117
Calin Juravle27e0d1f2017-07-26 00:16:07 -0700118 // Encodes the context as a string suitable to be passed to dex2oat.
119 // This is the same as EncodeContextForOatFile but without adding the checksums
120 // and only adding each dex files once (no multidex).
121 // Should only be called if OpenDexFiles() returned true.
122 std::string EncodeContextForDex2oat(const std::string& base_dir) const;
123
Calin Juravle87e2cb62017-06-13 21:48:45 -0700124 // Flattens the opened dex files into the given vector.
125 // Should only be called if OpenDexFiles() returned true.
126 std::vector<const DexFile*> FlattenOpenedDexFiles() const;
127
David Brazdil89821862019-03-19 13:57:43 +0000128 // Return a colon-separated list of dex file locations from this class loader
129 // context after flattening.
130 std::string FlattenDexPaths() const;
131
Calin Juravle3f918642017-07-11 19:04:20 -0700132 // Verifies that the current context is identical to the context encoded as `context_spec`.
133 // Identical means:
134 // - the number and type of the class loaders from the chain matches
135 // - the class loader from the same position have the same classpath
136 // (the order and checksum of the dex files matches)
Calin Juravlec5b215f2017-09-12 14:49:37 -0700137 // This should be called after OpenDexFiles().
Mathieu Chartierf5abfc42018-03-23 21:51:54 -0700138 // Names are only verified if verify_names is true.
139 // Checksums are only verified if verify_checksums is true.
Mathieu Chartieradc90862018-05-11 13:03:06 -0700140 VerificationResult VerifyClassLoaderContextMatch(const std::string& context_spec,
David Brazdil89821862019-03-19 13:57:43 +0000141 bool verify_names = true,
142 bool verify_checksums = true) const;
Calin Juravle3f918642017-07-11 19:04:20 -0700143
Calin Juravle87e2cb62017-06-13 21:48:45 -0700144 // Creates the class loader context from the given string.
145 // The format: ClassLoaderType1[ClasspathElem1:ClasspathElem2...];ClassLoaderType2[...]...
146 // ClassLoaderType is either "PCL" (PathClassLoader) or "DLC" (DelegateLastClassLoader).
147 // ClasspathElem is the path of dex/jar/apk file.
Calin Juravlec79470d2017-07-12 17:37:42 -0700148 //
149 // The spec represents a class loader chain with the natural interpretation:
150 // ClassLoader1 has ClassLoader2 as parent which has ClassLoader3 as a parent and so on.
151 // The last class loader is assumed to have the BootClassLoader as a parent.
152 //
Calin Juravle87e2cb62017-06-13 21:48:45 -0700153 // Note that we allowed class loaders with an empty class path in order to support a custom
154 // class loader for the source dex files.
155 static std::unique_ptr<ClassLoaderContext> Create(const std::string& spec);
156
Calin Juravle57d0acc2017-07-11 17:41:30 -0700157 // Creates a context for the given class_loader and dex_elements.
158 // The method will walk the parent chain starting from `class_loader` and add their dex files
159 // to the current class loaders chain. The `dex_elements` will be added at the end of the
160 // classpath belonging to the `class_loader` argument.
161 // The ownership of the opened dex files will be retained by the given `class_loader`.
162 // If there are errors in processing the class loader chain (e.g. unsupported elements) the
163 // method returns null.
164 static std::unique_ptr<ClassLoaderContext> CreateContextForClassLoader(jobject class_loader,
165 jobjectArray dex_elements);
166
Calin Juravle19915892017-08-03 17:10:36 +0000167 // Returns the default class loader context to be used when none is specified.
168 // This will return a context with a single and empty PathClassLoader.
169 static std::unique_ptr<ClassLoaderContext> Default();
170
Calin Juravle87e2cb62017-06-13 21:48:45 -0700171 struct ClassLoaderInfo {
172 // The type of this class loader.
173 ClassLoaderType type;
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000174 // Shared libraries this context has.
175 std::vector<std::unique_ptr<ClassLoaderInfo>> shared_libraries;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700176 // The list of class path elements that this loader loads.
177 // Note that this list may contain relative paths.
178 std::vector<std::string> classpath;
Mathieu Chartierc4440772018-04-16 14:40:56 -0700179 // Original opened class path (ignoring multidex).
180 std::vector<std::string> original_classpath;
Calin Juravle7b0648a2017-07-07 18:40:50 -0700181 // The list of class path elements checksums.
182 // May be empty if the checksums are not given when the context is created.
183 std::vector<uint32_t> checksums;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700184 // After OpenDexFiles is called this holds the opened dex files.
185 std::vector<std::unique_ptr<const DexFile>> opened_dex_files;
186 // After OpenDexFiles, in case some of the dex files were opened from their oat files
187 // this holds the list of opened oat files.
188 std::vector<std::unique_ptr<OatFile>> opened_oat_files;
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000189 // The parent class loader.
190 std::unique_ptr<ClassLoaderInfo> parent;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700191
192 explicit ClassLoaderInfo(ClassLoaderType cl_type) : type(cl_type) {}
193 };
194
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000195 private:
Calin Juravle19915892017-08-03 17:10:36 +0000196 // Creates an empty context (with no class loaders).
197 ClassLoaderContext();
198
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000199 // Get the parent of the class loader chain at depth `index`.
200 ClassLoaderInfo* GetParent(size_t index) const {
201 ClassLoaderInfo* result = class_loader_chain_.get();
202 while ((result != nullptr) && (index-- != 0)) {
203 result = result->parent.get();
204 }
205 return result;
206 }
207
208 size_t GetParentChainSize() const {
209 size_t result = 0;
210 ClassLoaderInfo* info = class_loader_chain_.get();
211 while (info != nullptr) {
212 ++result;
213 info = info->parent.get();
214 }
215 return result;
216 }
217
Calin Juravle57d0acc2017-07-11 17:41:30 -0700218 // Constructs an empty context.
219 // `owns_the_dex_files` specifies whether or not the context will own the opened dex files
220 // present in the class loader chain. If `owns_the_dex_files` is true then OpenDexFiles cannot
221 // be called on this context (dex_files_open_attempted_ and dex_files_open_result_ will be set
222 // to true as well)
223 explicit ClassLoaderContext(bool owns_the_dex_files);
224
Calin Juravle87e2cb62017-06-13 21:48:45 -0700225 // Reads the class loader spec in place and returns true if the spec is valid and the
226 // compilation context was constructed.
Calin Juravle7b0648a2017-07-07 18:40:50 -0700227 bool Parse(const std::string& spec, bool parse_checksums = false);
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000228 ClassLoaderInfo* ParseInternal(const std::string& spec, bool parse_checksums);
Calin Juravle87e2cb62017-06-13 21:48:45 -0700229
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000230 // Attempts to parse a single class loader spec.
231 // Returns the ClassLoaderInfo abstraction for this spec, or null if it cannot be parsed.
232 std::unique_ptr<ClassLoaderInfo> ParseClassLoaderSpec(
233 const std::string& class_loader_spec,
234 bool parse_checksums = false);
Calin Juravle87e2cb62017-06-13 21:48:45 -0700235
Calin Juravle57d0acc2017-07-11 17:41:30 -0700236 // CHECKs that the dex files were opened (OpenDexFiles was called and set dex_files_open_result_
237 // to true). Aborts if not. The `calling_method` is used in the log message to identify the source
238 // of the call.
239 void CheckDexFilesOpened(const std::string& calling_method) const;
240
Nicolas Geoffraye1672732018-11-30 01:09:49 +0000241 // Creates the `ClassLoaderInfo` representing`class_loader` and attach it to `this`.
Calin Juravle57d0acc2017-07-11 17:41:30 -0700242 // The dex file present in `dex_elements` array (if not null) will be added at the end of
243 // the classpath.
Nicolas Geoffraye1672732018-11-30 01:09:49 +0000244 bool CreateInfoFromClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
245 Handle<mirror::ClassLoader> class_loader,
246 Handle<mirror::ObjectArray<mirror::Object>> dex_elements,
247 ClassLoaderInfo* child_info,
248 bool is_shared_library)
Calin Juravle27e0d1f2017-07-26 00:16:07 -0700249 REQUIRES_SHARED(Locks::mutator_lock_);
250
251 // Encodes the context as a string suitable to be passed to dex2oat or to be added to the
252 // oat file as the class path key.
253 // If for_dex2oat is true, the encoding adds each file once (i.e. it does not add multidex
254 // location). Otherwise, for oat files, the encoding adds all the dex files (including multidex)
255 // together with their checksums.
256 // Should only be called if OpenDexFiles() returned true.
Mathieu Chartierc4440772018-04-16 14:40:56 -0700257 std::string EncodeContext(const std::string& base_dir,
258 bool for_dex2oat,
259 ClassLoaderContext* stored_context) const;
Calin Juravle57d0acc2017-07-11 17:41:30 -0700260
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000261 // Internal version of `EncodeContext`, which will be called recursively
262 // on the parent and shared libraries.
263 void EncodeContextInternal(const ClassLoaderInfo& info,
264 const std::string& base_dir,
265 bool for_dex2oat,
266 ClassLoaderInfo* stored_info,
267 std::ostringstream& out) const;
268
269 bool ClassLoaderInfoMatch(const ClassLoaderInfo& info,
270 const ClassLoaderInfo& expected_info,
271 const std::string& context_spec,
272 bool verify_names,
273 bool verify_checksums) const;
274
Calin Juravle87e2cb62017-06-13 21:48:45 -0700275 // Extracts the class loader type from the given spec.
276 // Return ClassLoaderContext::kInvalidClassLoader if the class loader type is not
277 // recognized.
278 static ClassLoaderType ExtractClassLoaderType(const std::string& class_loader_spec);
279
280 // Returns the string representation of the class loader type.
281 // The returned format can be used when parsing a context spec.
282 static const char* GetClassLoaderTypeName(ClassLoaderType type);
283
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000284 // The class loader chain.
285 std::unique_ptr<ClassLoaderInfo> class_loader_chain_;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700286
287 // Whether or not the class loader context should be ignored at runtime when loading the oat
288 // files. When true, dex2oat will use OatFile::kSpecialSharedLibrary as the classpath key in
289 // the oat file.
290 // TODO(calin): Can we get rid of this and cover all relevant use cases?
291 // (e.g. packages using prebuild system packages as shared libraries b/36480683)
292 bool special_shared_library_;
293
294 // Whether or not OpenDexFiles() was called.
295 bool dex_files_open_attempted_;
296 // The result of the last OpenDexFiles() operation.
297 bool dex_files_open_result_;
298
Calin Juravle57d0acc2017-07-11 17:41:30 -0700299 // Whether or not the context owns the opened dex and oat files.
300 // If true, the opened dex files will be de-allocated when the context is destructed.
301 // If false, the objects will continue to be alive.
302 // Note that for convenience the the opened dex/oat files are stored as unique pointers
303 // which will release their ownership in the destructor based on this flag.
304 const bool owns_the_dex_files_;
305
Calin Juravle87e2cb62017-06-13 21:48:45 -0700306 friend class ClassLoaderContextTest;
307
308 DISALLOW_COPY_AND_ASSIGN(ClassLoaderContext);
309};
310
311} // namespace art
312#endif // ART_RUNTIME_CLASS_LOADER_CONTEXT_H_