blob: eceea00177845eaf64641db4203c3ea85a77cc11 [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>
Calin Juravlea63a2e92020-04-15 20:02:00 -070022#include <set>
Calin Juravle87e2cb62017-06-13 21:48:45 -070023
24#include "arch/instruction_set.h"
25#include "base/dchecked_vector.h"
Mathieu Chartieradc90862018-05-11 13:03:06 -070026#include "dex/dex_file.h"
Calin Juravle57d0acc2017-07-11 17:41:30 -070027#include "handle_scope.h"
28#include "mirror/class_loader.h"
Mathieu Chartieradc90862018-05-11 13:03:06 -070029#include "oat_file.h"
Calin Juravle57d0acc2017-07-11 17:41:30 -070030#include "scoped_thread_state_change.h"
Calin Juravle87e2cb62017-06-13 21:48:45 -070031
32namespace art {
33
34class DexFile;
35class OatFile;
36
37// Utility class which holds the class loader context used during compilation/verification.
38class ClassLoaderContext {
39 public:
Mathieu Chartieradc90862018-05-11 13:03:06 -070040 enum class VerificationResult {
41 kVerifies,
Mathieu Chartieradc90862018-05-11 13:03:06 -070042 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
Dan Zimmermanb682ea42019-12-23 06:59:06 -080052 // Special encoding used to denote a foreign ClassLoader was found when trying to encode class
53 // loader contexts for each classpath element in a ClassLoader. See
54 // EncodeClassPathContextsForClassLoader. Keep in sync with PackageDexUsage in the framework.
55 static constexpr const char* kUnsupportedClassLoaderContextEncoding =
56 "=UnsupportedClassLoaderContext=";
57
Calin Juravle57d0acc2017-07-11 17:41:30 -070058 ~ClassLoaderContext();
59
Calin Juravle87e2cb62017-06-13 21:48:45 -070060 // Opens requested class path files and appends them to ClassLoaderInfo::opened_dex_files.
61 // If the dex files have been stripped, the method opens them from their oat files which are added
62 // to ClassLoaderInfo::opened_oat_files. The 'classpath_dir' argument specifies the directory to
63 // use for the relative class paths.
64 // Returns true if all dex files where successfully opened.
Calin Juravlec5b215f2017-09-12 14:49:37 -070065 // It may be called only once per ClassLoaderContext. Subsequent calls will return the same
66 // result without doing anything.
David Brazdil89821862019-03-19 13:57:43 +000067 // If `context_fds` is an empty vector, files will be opened using the class path locations as
68 // filenames. Otherwise `context_fds` is expected to contain file descriptors to class path dex
69 // files, following the order of dex file locations in a flattened class loader context. If their
70 // number (size of `context_fds`) does not match the number of dex files, OpenDexFiles will fail.
Calin Juravlec5b215f2017-09-12 14:49:37 -070071 //
72 // This will replace the class path locations with the locations of the opened dex files.
73 // (Note that one dex file can contain multidexes. Each multidex will be added to the classpath
74 // separately.)
Calin Juravle87e2cb62017-06-13 21:48:45 -070075 //
Calin Juravle6e6f1b22020-12-15 19:13:19 -080076 // only_read_checksums controls whether or not we only read the dex locations and the checksums
77 // from the apk instead of fully opening the dex files.
78 //
79 // This method is not thread safe.
80 //
Calin Juravle87e2cb62017-06-13 21:48:45 -070081 // Note that a "false" return could mean that either an apk/jar contained no dex files or
82 // that we hit a I/O or checksum mismatch error.
83 // TODO(calin): Currently there's no easy way to tell the difference.
84 //
85 // TODO(calin): we're forced to complicate the flow in this class with a different
86 // OpenDexFiles step because the current dex2oat flow requires the dex files be opened before
87 // the class loader is created. Consider reworking the dex2oat part.
Calin Juravle5ff23932020-12-11 18:26:14 -080088 bool OpenDexFiles(const std::string& classpath_dir = "",
Calin Juravle6e6f1b22020-12-15 19:13:19 -080089 const std::vector<int>& context_fds = std::vector<int>(),
90 bool only_read_checksums = false);
Calin Juravle87e2cb62017-06-13 21:48:45 -070091
92 // Remove the specified compilation sources from all classpaths present in this context.
93 // Should only be called before the first call to OpenDexFiles().
94 bool RemoveLocationsFromClassPaths(const dchecked_vector<std::string>& compilation_sources);
95
96 // Creates the entire class loader hierarchy according to the current context.
Calin Juravlec79470d2017-07-12 17:37:42 -070097 // Returns the first class loader from the chain.
98 //
99 // For example: if the context was built from the spec
100 // "ClassLoaderType1[ClasspathElem1:ClasspathElem2...];ClassLoaderType2[...]..."
101 // the method returns the class loader correponding to ClassLoader1. The parent chain will be
102 // ClassLoader1 --> ClassLoader2 --> ... --> BootClassLoader.
103 //
104 // The compilation sources are appended to the classpath of the first class loader (in the above
105 // example ClassLoader1).
106 //
Calin Juravle7b0648a2017-07-07 18:40:50 -0700107 // If the context is empty, this method only creates a single PathClassLoader with the
108 // given compilation_sources.
Calin Juravlec79470d2017-07-12 17:37:42 -0700109 //
Nicolas Geoffraycb2e1dd2018-11-20 11:15:13 +0000110 // Shared libraries found in the chain will be canonicalized based on the dex files they
111 // contain.
112 //
113 // Implementation notes:
Calin Juravlec79470d2017-07-12 17:37:42 -0700114 // 1) the objects are not completely set up. Do not use this outside of tests and the compiler.
115 // 2) should only be called before the first call to OpenDexFiles().
Calin Juravle87e2cb62017-06-13 21:48:45 -0700116 jobject CreateClassLoader(const std::vector<const DexFile*>& compilation_sources) const;
117
118 // Encodes the context as a string suitable to be added in oat files.
119 // (so that it can be read and verified at runtime against the actual class
120 // loader hierarchy).
121 // Should only be called if OpenDexFiles() returned true.
Mathieu Chartierc4440772018-04-16 14:40:56 -0700122 // If stored context is non-null, the stored names are overwritten by the class path from the
123 // stored context.
Calin Juravle27e0d1f2017-07-26 00:16:07 -0700124 // E.g. if the context is PCL[a.dex:b.dex] this will return
125 // "PCL[a.dex*a_checksum*b.dex*a_checksum]".
Mathieu Chartierc4440772018-04-16 14:40:56 -0700126 std::string EncodeContextForOatFile(const std::string& base_dir,
127 ClassLoaderContext* stored_context = nullptr) const;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700128
Calin Juravle27e0d1f2017-07-26 00:16:07 -0700129 // Encodes the context as a string suitable to be passed to dex2oat.
130 // This is the same as EncodeContextForOatFile but without adding the checksums
131 // and only adding each dex files once (no multidex).
132 // Should only be called if OpenDexFiles() returned true.
133 std::string EncodeContextForDex2oat(const std::string& base_dir) const;
134
Dan Zimmermanb682ea42019-12-23 06:59:06 -0800135 // Encodes the contexts for each of the classpath elements in the child-most
136 // classloader. Under the hood EncodeContextForDex2oat is used, so no checksums
137 // will be encoded.
138 // Should only be called if the dex files are opened (either via OpenDexFiles() or by creating the
139 // context from a live class loader).
140 // Notably, for each classpath element the encoded classloader context will contain only the
141 // elements that appear before it in the containing classloader. E.g. if `this` contains
142 // (from child to parent):
143 //
144 // PathClassLoader { multidex.apk!classes.dex, multidex.apk!classes2.dex, foo.dex, bar.dex } ->
145 // PathClassLoader { baz.dex } -> BootClassLoader
146 //
147 // then the return value will look like:
148 //
149 // `{ "multidex.apk": "PCL[];PCL[baz.dex]",
150 // "foo.dex" : "PCL[multidex.apk];PCL[baz.dex]",
151 // "bar.dex" : "PCL[multidex.apk:foo.dex];PCL[baz.dex]" }`
152 std::map<std::string, std::string> EncodeClassPathContexts(const std::string& base_dir) const;
153
Calin Juravle87e2cb62017-06-13 21:48:45 -0700154 // Flattens the opened dex files into the given vector.
155 // Should only be called if OpenDexFiles() returned true.
156 std::vector<const DexFile*> FlattenOpenedDexFiles() const;
157
David Brazdil89821862019-03-19 13:57:43 +0000158 // Return a colon-separated list of dex file locations from this class loader
159 // context after flattening.
160 std::string FlattenDexPaths() const;
161
Calin Juravle3f918642017-07-11 19:04:20 -0700162 // Verifies that the current context is identical to the context encoded as `context_spec`.
163 // Identical means:
164 // - the number and type of the class loaders from the chain matches
165 // - the class loader from the same position have the same classpath
166 // (the order and checksum of the dex files matches)
Calin Juravle6e6f1b22020-12-15 19:13:19 -0800167 // This should be called after OpenDexFiles() with only_read_checksums=true. There's no
168 // need to fully open the dex files if the only thing that needs to be done is to verify
169 // the context.
170 //
Mathieu Chartierf5abfc42018-03-23 21:51:54 -0700171 // Names are only verified if verify_names is true.
172 // Checksums are only verified if verify_checksums is true.
Mathieu Chartieradc90862018-05-11 13:03:06 -0700173 VerificationResult VerifyClassLoaderContextMatch(const std::string& context_spec,
David Brazdil89821862019-03-19 13:57:43 +0000174 bool verify_names = true,
175 bool verify_checksums = true) const;
Calin Juravle3f918642017-07-11 19:04:20 -0700176
Calin Juravleb495e7f2020-04-06 19:29:45 -0700177 // Checks if any of the given dex files is already loaded in the current class loader context.
Calin Juravlea63a2e92020-04-15 20:02:00 -0700178 // It only checks the first class loader.
Calin Juravleb495e7f2020-04-06 19:29:45 -0700179 // Returns the list of duplicate dex files (empty if there are no duplicates).
Calin Juravlea63a2e92020-04-15 20:02:00 -0700180 std::set<const DexFile*> CheckForDuplicateDexFiles(
Calin Juravleb495e7f2020-04-06 19:29:45 -0700181 const std::vector<const DexFile*>& dex_files);
182
Calin Juravle87e2cb62017-06-13 21:48:45 -0700183 // Creates the class loader context from the given string.
184 // The format: ClassLoaderType1[ClasspathElem1:ClasspathElem2...];ClassLoaderType2[...]...
185 // ClassLoaderType is either "PCL" (PathClassLoader) or "DLC" (DelegateLastClassLoader).
186 // ClasspathElem is the path of dex/jar/apk file.
Calin Juravlec79470d2017-07-12 17:37:42 -0700187 //
188 // The spec represents a class loader chain with the natural interpretation:
189 // ClassLoader1 has ClassLoader2 as parent which has ClassLoader3 as a parent and so on.
190 // The last class loader is assumed to have the BootClassLoader as a parent.
191 //
Calin Juravle87e2cb62017-06-13 21:48:45 -0700192 // Note that we allowed class loaders with an empty class path in order to support a custom
193 // class loader for the source dex files.
194 static std::unique_ptr<ClassLoaderContext> Create(const std::string& spec);
195
Calin Juravle57d0acc2017-07-11 17:41:30 -0700196 // Creates a context for the given class_loader and dex_elements.
197 // The method will walk the parent chain starting from `class_loader` and add their dex files
198 // to the current class loaders chain. The `dex_elements` will be added at the end of the
199 // classpath belonging to the `class_loader` argument.
200 // The ownership of the opened dex files will be retained by the given `class_loader`.
201 // If there are errors in processing the class loader chain (e.g. unsupported elements) the
202 // method returns null.
203 static std::unique_ptr<ClassLoaderContext> CreateContextForClassLoader(jobject class_loader,
204 jobjectArray dex_elements);
205
Calin Juravle19915892017-08-03 17:10:36 +0000206 // Returns the default class loader context to be used when none is specified.
207 // This will return a context with a single and empty PathClassLoader.
208 static std::unique_ptr<ClassLoaderContext> Default();
209
Dan Zimmermanb682ea42019-12-23 06:59:06 -0800210 // Encodes the contexts for each of the classpath elements in `class_loader`. See
211 // ClassLoaderContext::EncodeClassPathContexts for more information about the return value.
212 //
213 // If `class_loader` does not derive from BaseDexClassLoader then an empty map is returned.
214 // Otherwise if a foreign ClassLoader is found in the class loader chain then the results values
215 // will all be ClassLoaderContext::kUnsupportedClassLoaderContextEncoding.
216 static std::map<std::string, std::string> EncodeClassPathContextsForClassLoader(
217 jobject class_loader);
218
Dan Zimmermanc9fa7702020-01-31 13:35:12 -0800219 // Returns whether `encoded_class_loader_context` is a valid encoded ClassLoaderContext or
220 // EncodedUnsupportedClassLoaderContext.
221 static bool IsValidEncoding(const std::string& possible_encoded_class_loader_context);
222
Calin Juravle87e2cb62017-06-13 21:48:45 -0700223 struct ClassLoaderInfo {
224 // The type of this class loader.
225 ClassLoaderType type;
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000226 // Shared libraries this context has.
227 std::vector<std::unique_ptr<ClassLoaderInfo>> shared_libraries;
Brad Stenning9c924e82021-10-11 19:09:00 -0700228 // Shared libraries that will be loaded after apks code that this context has.
229 std::vector<std::unique_ptr<ClassLoaderInfo>> shared_libraries_after;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700230 // The list of class path elements that this loader loads.
231 // Note that this list may contain relative paths.
232 std::vector<std::string> classpath;
Mathieu Chartierc4440772018-04-16 14:40:56 -0700233 // Original opened class path (ignoring multidex).
234 std::vector<std::string> original_classpath;
Calin Juravle7b0648a2017-07-07 18:40:50 -0700235 // The list of class path elements checksums.
236 // May be empty if the checksums are not given when the context is created.
237 std::vector<uint32_t> checksums;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700238 // After OpenDexFiles is called this holds the opened dex files.
239 std::vector<std::unique_ptr<const DexFile>> opened_dex_files;
240 // After OpenDexFiles, in case some of the dex files were opened from their oat files
241 // this holds the list of opened oat files.
242 std::vector<std::unique_ptr<OatFile>> opened_oat_files;
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000243 // The parent class loader.
244 std::unique_ptr<ClassLoaderInfo> parent;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700245
246 explicit ClassLoaderInfo(ClassLoaderType cl_type) : type(cl_type) {}
247 };
248
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000249 private:
Calin Juravle19915892017-08-03 17:10:36 +0000250 // Creates an empty context (with no class loaders).
251 ClassLoaderContext();
252
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000253 // Get the parent of the class loader chain at depth `index`.
254 ClassLoaderInfo* GetParent(size_t index) const {
255 ClassLoaderInfo* result = class_loader_chain_.get();
256 while ((result != nullptr) && (index-- != 0)) {
257 result = result->parent.get();
258 }
259 return result;
260 }
261
262 size_t GetParentChainSize() const {
263 size_t result = 0;
264 ClassLoaderInfo* info = class_loader_chain_.get();
265 while (info != nullptr) {
266 ++result;
267 info = info->parent.get();
268 }
269 return result;
270 }
271
Calin Juravle57d0acc2017-07-11 17:41:30 -0700272 // Constructs an empty context.
273 // `owns_the_dex_files` specifies whether or not the context will own the opened dex files
274 // present in the class loader chain. If `owns_the_dex_files` is true then OpenDexFiles cannot
275 // be called on this context (dex_files_open_attempted_ and dex_files_open_result_ will be set
276 // to true as well)
277 explicit ClassLoaderContext(bool owns_the_dex_files);
278
Calin Juravle87e2cb62017-06-13 21:48:45 -0700279 // Reads the class loader spec in place and returns true if the spec is valid and the
280 // compilation context was constructed.
Calin Juravle7b0648a2017-07-07 18:40:50 -0700281 bool Parse(const std::string& spec, bool parse_checksums = false);
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000282 ClassLoaderInfo* ParseInternal(const std::string& spec, bool parse_checksums);
Calin Juravle87e2cb62017-06-13 21:48:45 -0700283
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000284 // Attempts to parse a single class loader spec.
285 // Returns the ClassLoaderInfo abstraction for this spec, or null if it cannot be parsed.
286 std::unique_ptr<ClassLoaderInfo> ParseClassLoaderSpec(
287 const std::string& class_loader_spec,
288 bool parse_checksums = false);
Calin Juravle87e2cb62017-06-13 21:48:45 -0700289
Calin Juravle57d0acc2017-07-11 17:41:30 -0700290 // CHECKs that the dex files were opened (OpenDexFiles was called and set dex_files_open_result_
291 // to true). Aborts if not. The `calling_method` is used in the log message to identify the source
292 // of the call.
293 void CheckDexFilesOpened(const std::string& calling_method) const;
294
Nicolas Geoffraye1672732018-11-30 01:09:49 +0000295 // Creates the `ClassLoaderInfo` representing`class_loader` and attach it to `this`.
Calin Juravle57d0acc2017-07-11 17:41:30 -0700296 // The dex file present in `dex_elements` array (if not null) will be added at the end of
297 // the classpath.
Nicolas Geoffraye1672732018-11-30 01:09:49 +0000298 bool CreateInfoFromClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
299 Handle<mirror::ClassLoader> class_loader,
300 Handle<mirror::ObjectArray<mirror::Object>> dex_elements,
301 ClassLoaderInfo* child_info,
Brad Stenning9c924e82021-10-11 19:09:00 -0700302 bool is_shared_library,
303 bool is_after)
Calin Juravle27e0d1f2017-07-26 00:16:07 -0700304 REQUIRES_SHARED(Locks::mutator_lock_);
305
306 // Encodes the context as a string suitable to be passed to dex2oat or to be added to the
307 // oat file as the class path key.
308 // If for_dex2oat is true, the encoding adds each file once (i.e. it does not add multidex
309 // location). Otherwise, for oat files, the encoding adds all the dex files (including multidex)
310 // together with their checksums.
311 // Should only be called if OpenDexFiles() returned true.
Mathieu Chartierc4440772018-04-16 14:40:56 -0700312 std::string EncodeContext(const std::string& base_dir,
313 bool for_dex2oat,
314 ClassLoaderContext* stored_context) const;
Calin Juravle57d0acc2017-07-11 17:41:30 -0700315
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000316 // Internal version of `EncodeContext`, which will be called recursively
317 // on the parent and shared libraries.
318 void EncodeContextInternal(const ClassLoaderInfo& info,
319 const std::string& base_dir,
320 bool for_dex2oat,
321 ClassLoaderInfo* stored_info,
322 std::ostringstream& out) const;
323
Dan Zimmerman7d511d92019-12-23 07:00:51 -0800324 // Encodes e.g. PCL[foo.dex:bar.dex]
325 void EncodeClassPath(const std::string& base_dir,
326 const std::vector<std::string>& dex_locations,
327 const std::vector<uint32_t>& checksums,
328 ClassLoaderType type,
329 std::ostringstream& out) const;
330
331 // Encodes the shared libraries classloaders and the parent classloader if
332 // either are present in info, e.g. {PCL[foo.dex]#PCL[bar.dex]};PCL[baz.dex]
333 void EncodeSharedLibAndParent(const ClassLoaderInfo& info,
334 const std::string& base_dir,
335 bool for_dex2oat,
336 ClassLoaderInfo* stored_info,
337 std::ostringstream& out) const;
338
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000339 bool ClassLoaderInfoMatch(const ClassLoaderInfo& info,
340 const ClassLoaderInfo& expected_info,
341 const std::string& context_spec,
342 bool verify_names,
343 bool verify_checksums) const;
344
Calin Juravle87e2cb62017-06-13 21:48:45 -0700345 // Extracts the class loader type from the given spec.
346 // Return ClassLoaderContext::kInvalidClassLoader if the class loader type is not
347 // recognized.
348 static ClassLoaderType ExtractClassLoaderType(const std::string& class_loader_spec);
349
350 // Returns the string representation of the class loader type.
351 // The returned format can be used when parsing a context spec.
352 static const char* GetClassLoaderTypeName(ClassLoaderType type);
353
Calin Juravle6e6f1b22020-12-15 19:13:19 -0800354 // Encodes the state of processing the dex files associated with the context.
355 enum ContextDexFilesState {
356 // The dex files are not opened.
357 kDexFilesNotOpened = 1,
358 // The dex checksums/locations were read from the apk/dex but the dex files were not opened.
359 kDexFilesChecksumsRead = 2,
360 // The dex files are opened (either because we called OpenDexFiles, or we used a class loader
361 // to create the context). This implies kDexFilesChecksumsRead.
362 kDexFilesOpened = 3,
363 // We failed to open the dex files or read the checksums.
364 kDexFilesOpenFailed = 4
365 };
366
Nicolas Geoffray06af3b42018-10-29 10:39:04 +0000367 // The class loader chain.
368 std::unique_ptr<ClassLoaderInfo> class_loader_chain_;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700369
Calin Juravle6e6f1b22020-12-15 19:13:19 -0800370 // The opening state of the dex files.
371 ContextDexFilesState dex_files_state_;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700372
Calin Juravle57d0acc2017-07-11 17:41:30 -0700373 // Whether or not the context owns the opened dex and oat files.
374 // If true, the opened dex files will be de-allocated when the context is destructed.
375 // If false, the objects will continue to be alive.
376 // Note that for convenience the the opened dex/oat files are stored as unique pointers
377 // which will release their ownership in the destructor based on this flag.
378 const bool owns_the_dex_files_;
379
Calin Juravle87e2cb62017-06-13 21:48:45 -0700380 friend class ClassLoaderContextTest;
381
382 DISALLOW_COPY_AND_ASSIGN(ClassLoaderContext);
383};
384
385} // namespace art
386#endif // ART_RUNTIME_CLASS_LOADER_CONTEXT_H_