blob: 1c83007f417d6c185626661aacfffc7622190236 [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"
Calin Juravle57d0acc2017-07-11 17:41:30 -070025#include "handle_scope.h"
26#include "mirror/class_loader.h"
27#include "scoped_thread_state_change.h"
Calin Juravle87e2cb62017-06-13 21:48:45 -070028
29namespace art {
30
31class DexFile;
32class OatFile;
33
34// Utility class which holds the class loader context used during compilation/verification.
35class ClassLoaderContext {
36 public:
Calin Juravle57d0acc2017-07-11 17:41:30 -070037 ~ClassLoaderContext();
38
Calin Juravle87e2cb62017-06-13 21:48:45 -070039 // 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.
Calin Juravlec5b215f2017-09-12 14:49:37 -070044 // 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.)
Calin Juravle87e2cb62017-06-13 21:48:45 -070050 //
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.
Calin Juravlec79470d2017-07-12 17:37:42 -070065 // 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 //
Calin Juravle7b0648a2017-07-07 18:40:50 -070075 // If the context is empty, this method only creates a single PathClassLoader with the
76 // given compilation_sources.
Calin Juravlec79470d2017-07-12 17:37:42 -070077 //
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().
Calin Juravle87e2cb62017-06-13 21:48:45 -070081 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.
Mathieu Chartier0d6736f2018-04-16 14:40:56 -070087 // If stored context is non-null, the stored names are overwritten by the class path from the
88 // stored context.
Calin Juravle27e0d1f2017-07-26 00:16:07 -070089 // E.g. if the context is PCL[a.dex:b.dex] this will return
90 // "PCL[a.dex*a_checksum*b.dex*a_checksum]".
Mathieu Chartier0d6736f2018-04-16 14:40:56 -070091 std::string EncodeContextForOatFile(const std::string& base_dir,
92 ClassLoaderContext* stored_context = nullptr) const;
Calin Juravle87e2cb62017-06-13 21:48:45 -070093
Calin Juravle27e0d1f2017-07-26 00:16:07 -070094 // 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
Calin Juravle87e2cb62017-06-13 21:48:45 -0700100 // 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
Calin Juravle3f918642017-07-11 19:04:20 -0700104 // 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)
Calin Juravlec5b215f2017-09-12 14:49:37 -0700109 // This should be called after OpenDexFiles().
Mathieu Chartier8548de12018-03-23 21:51:54 -0700110 // 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;
Calin Juravle3f918642017-07-11 19:04:20 -0700115
Calin Juravle87e2cb62017-06-13 21:48:45 -0700116 // 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.
Calin Juravlec79470d2017-07-12 17:37:42 -0700120 //
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 //
Calin Juravle87e2cb62017-06-13 21:48:45 -0700125 // 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
Calin Juravle57d0acc2017-07-11 17:41:30 -0700129 // 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
Calin Juravle19915892017-08-03 17:10:36 +0000139 // 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
Calin Juravle87e2cb62017-06-13 21:48:45 -0700143 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;
Mathieu Chartier0d6736f2018-04-16 14:40:56 -0700156 // Original opened class path (ignoring multidex).
157 std::vector<std::string> original_classpath;
Calin Juravle7b0648a2017-07-07 18:40:50 -0700158 // 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;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700161 // 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
Calin Juravle19915892017-08-03 17:10:36 +0000170 // Creates an empty context (with no class loaders).
171 ClassLoaderContext();
172
Calin Juravle57d0acc2017-07-11 17:41:30 -0700173 // 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
Calin Juravle87e2cb62017-06-13 21:48:45 -0700180 // Reads the class loader spec in place and returns true if the spec is valid and the
181 // compilation context was constructed.
Calin Juravle7b0648a2017-07-07 18:40:50 -0700182 bool Parse(const std::string& spec, bool parse_checksums = false);
Calin Juravle87e2cb62017-06-13 21:48:45 -0700183
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,
Calin Juravle7b0648a2017-07-07 18:40:50 -0700188 ClassLoaderType class_loader_type,
189 bool parse_checksums = false);
Calin Juravle87e2cb62017-06-13 21:48:45 -0700190
Calin Juravle57d0acc2017-07-11 17:41:30 -0700191 // 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)
Calin Juravle27e0d1f2017-07-26 00:16:07 -0700202 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.
Mathieu Chartier0d6736f2018-04-16 14:40:56 -0700210 std::string EncodeContext(const std::string& base_dir,
211 bool for_dex2oat,
212 ClassLoaderContext* stored_context) const;
Calin Juravle57d0acc2017-07-11 17:41:30 -0700213
Calin Juravle87e2cb62017-06-13 21:48:45 -0700214 // 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
Calin Juravlec79470d2017-07-12 17:37:42 -0700223 // Returns the WellKnownClass for the given class loader type.
224 static jclass GetClassLoaderClass(ClassLoaderType type);
225
Calin Juravle87e2cb62017-06-13 21:48:45 -0700226 // 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
Calin Juravle57d0acc2017-07-11 17:41:30 -0700243 // 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
Calin Juravle87e2cb62017-06-13 21:48:45 -0700250 friend class ClassLoaderContextTest;
251
252 DISALLOW_COPY_AND_ASSIGN(ClassLoaderContext);
253};
254
255} // namespace art
256#endif // ART_RUNTIME_CLASS_LOADER_CONTEXT_H_