blob: 8c65e2eb32b1171f71e756c7ea83fad0afe7b652 [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:
37 // Creates an empty context (with no class loaders).
38 ClassLoaderContext();
39
Calin Juravle57d0acc2017-07-11 17:41:30 -070040 ~ClassLoaderContext();
41
Calin Juravle87e2cb62017-06-13 21:48:45 -070042 // 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.
63 // The compilation sources are appended to the classpath of the top class loader
64 // (i.e the class loader whose parent is the BootClassLoader).
65 // Should only be called if OpenDexFiles() returned true.
Calin Juravle7b0648a2017-07-07 18:40:50 -070066 // If the context is empty, this method only creates a single PathClassLoader with the
67 // given compilation_sources.
Calin Juravle87e2cb62017-06-13 21:48:45 -070068 jobject CreateClassLoader(const std::vector<const DexFile*>& compilation_sources) const;
69
70 // Encodes the context as a string suitable to be added in oat files.
71 // (so that it can be read and verified at runtime against the actual class
72 // loader hierarchy).
73 // Should only be called if OpenDexFiles() returned true.
74 // E.g. if the context is PCL[a.dex:b.dex] this will return "a.dex*a_checksum*b.dex*a_checksum".
75 std::string EncodeContextForOatFile(const std::string& base_dir) const;
76
77 // Flattens the opened dex files into the given vector.
78 // Should only be called if OpenDexFiles() returned true.
79 std::vector<const DexFile*> FlattenOpenedDexFiles() const;
80
Calin Juravle3f918642017-07-11 19:04:20 -070081 // Verifies that the current context is identical to the context encoded as `context_spec`.
82 // Identical means:
83 // - the number and type of the class loaders from the chain matches
84 // - the class loader from the same position have the same classpath
85 // (the order and checksum of the dex files matches)
86 bool VerifyClassLoaderContextMatch(const std::string& context_spec);
87
Calin Juravle87e2cb62017-06-13 21:48:45 -070088 // Creates the class loader context from the given string.
89 // The format: ClassLoaderType1[ClasspathElem1:ClasspathElem2...];ClassLoaderType2[...]...
90 // ClassLoaderType is either "PCL" (PathClassLoader) or "DLC" (DelegateLastClassLoader).
91 // ClasspathElem is the path of dex/jar/apk file.
92 // Note that we allowed class loaders with an empty class path in order to support a custom
93 // class loader for the source dex files.
94 static std::unique_ptr<ClassLoaderContext> Create(const std::string& spec);
95
Calin Juravle57d0acc2017-07-11 17:41:30 -070096 // Creates a context for the given class_loader and dex_elements.
97 // The method will walk the parent chain starting from `class_loader` and add their dex files
98 // to the current class loaders chain. The `dex_elements` will be added at the end of the
99 // classpath belonging to the `class_loader` argument.
100 // The ownership of the opened dex files will be retained by the given `class_loader`.
101 // If there are errors in processing the class loader chain (e.g. unsupported elements) the
102 // method returns null.
103 static std::unique_ptr<ClassLoaderContext> CreateContextForClassLoader(jobject class_loader,
104 jobjectArray dex_elements);
105
Calin Juravle87e2cb62017-06-13 21:48:45 -0700106 private:
107 enum ClassLoaderType {
108 kInvalidClassLoader = 0,
109 kPathClassLoader = 1,
110 kDelegateLastClassLoader = 2
111 };
112
113 struct ClassLoaderInfo {
114 // The type of this class loader.
115 ClassLoaderType type;
116 // The list of class path elements that this loader loads.
117 // Note that this list may contain relative paths.
118 std::vector<std::string> classpath;
Calin Juravle7b0648a2017-07-07 18:40:50 -0700119 // The list of class path elements checksums.
120 // May be empty if the checksums are not given when the context is created.
121 std::vector<uint32_t> checksums;
Calin Juravle87e2cb62017-06-13 21:48:45 -0700122 // After OpenDexFiles is called this holds the opened dex files.
123 std::vector<std::unique_ptr<const DexFile>> opened_dex_files;
124 // After OpenDexFiles, in case some of the dex files were opened from their oat files
125 // this holds the list of opened oat files.
126 std::vector<std::unique_ptr<OatFile>> opened_oat_files;
127
128 explicit ClassLoaderInfo(ClassLoaderType cl_type) : type(cl_type) {}
129 };
130
Calin Juravle57d0acc2017-07-11 17:41:30 -0700131 // Constructs an empty context.
132 // `owns_the_dex_files` specifies whether or not the context will own the opened dex files
133 // present in the class loader chain. If `owns_the_dex_files` is true then OpenDexFiles cannot
134 // be called on this context (dex_files_open_attempted_ and dex_files_open_result_ will be set
135 // to true as well)
136 explicit ClassLoaderContext(bool owns_the_dex_files);
137
Calin Juravle87e2cb62017-06-13 21:48:45 -0700138 // Reads the class loader spec in place and returns true if the spec is valid and the
139 // compilation context was constructed.
Calin Juravle7b0648a2017-07-07 18:40:50 -0700140 bool Parse(const std::string& spec, bool parse_checksums = false);
Calin Juravle87e2cb62017-06-13 21:48:45 -0700141
142 // Attempts to parse a single class loader spec for the given class_loader_type.
143 // If successful the class loader spec will be added to the chain.
144 // Returns whether or not the operation was successful.
145 bool ParseClassLoaderSpec(const std::string& class_loader_spec,
Calin Juravle7b0648a2017-07-07 18:40:50 -0700146 ClassLoaderType class_loader_type,
147 bool parse_checksums = false);
Calin Juravle87e2cb62017-06-13 21:48:45 -0700148
Calin Juravle57d0acc2017-07-11 17:41:30 -0700149 // CHECKs that the dex files were opened (OpenDexFiles was called and set dex_files_open_result_
150 // to true). Aborts if not. The `calling_method` is used in the log message to identify the source
151 // of the call.
152 void CheckDexFilesOpened(const std::string& calling_method) const;
153
154 // Adds the `class_loader` info to the context.
155 // The dex file present in `dex_elements` array (if not null) will be added at the end of
156 // the classpath.
157 bool AddInfoToContextFromClassLoader(ScopedObjectAccessAlreadyRunnable& soa,
158 Handle<mirror::ClassLoader> class_loader,
159 Handle<mirror::ObjectArray<mirror::Object>> dex_elements)
160 REQUIRES_SHARED(Locks::mutator_lock_);
161
Calin Juravle87e2cb62017-06-13 21:48:45 -0700162 // Extracts the class loader type from the given spec.
163 // Return ClassLoaderContext::kInvalidClassLoader if the class loader type is not
164 // recognized.
165 static ClassLoaderType ExtractClassLoaderType(const std::string& class_loader_spec);
166
167 // Returns the string representation of the class loader type.
168 // The returned format can be used when parsing a context spec.
169 static const char* GetClassLoaderTypeName(ClassLoaderType type);
170
Calin Juravle87e2cb62017-06-13 21:48:45 -0700171 // The class loader chain represented as a vector.
172 // The parent of class_loader_chain_[i] is class_loader_chain_[i++].
173 // The parent of the last element is assumed to be the boot class loader.
174 std::vector<ClassLoaderInfo> class_loader_chain_;
175
176 // Whether or not the class loader context should be ignored at runtime when loading the oat
177 // files. When true, dex2oat will use OatFile::kSpecialSharedLibrary as the classpath key in
178 // the oat file.
179 // TODO(calin): Can we get rid of this and cover all relevant use cases?
180 // (e.g. packages using prebuild system packages as shared libraries b/36480683)
181 bool special_shared_library_;
182
183 // Whether or not OpenDexFiles() was called.
184 bool dex_files_open_attempted_;
185 // The result of the last OpenDexFiles() operation.
186 bool dex_files_open_result_;
187
Calin Juravle57d0acc2017-07-11 17:41:30 -0700188 // Whether or not the context owns the opened dex and oat files.
189 // If true, the opened dex files will be de-allocated when the context is destructed.
190 // If false, the objects will continue to be alive.
191 // Note that for convenience the the opened dex/oat files are stored as unique pointers
192 // which will release their ownership in the destructor based on this flag.
193 const bool owns_the_dex_files_;
194
Calin Juravle87e2cb62017-06-13 21:48:45 -0700195 friend class ClassLoaderContextTest;
196
197 DISALLOW_COPY_AND_ASSIGN(ClassLoaderContext);
198};
199
200} // namespace art
201#endif // ART_RUNTIME_CLASS_LOADER_CONTEXT_H_