1 /*
2 * Copyright (c) 2014, 2025, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25 #ifndef SHARE_CLASSFILE_SYSTEMDICTIONARYSHARED_HPP
26 #define SHARE_CLASSFILE_SYSTEMDICTIONARYSHARED_HPP
27
28 #include "cds/cds_globals.hpp"
29 #include "cds/filemap.hpp"
30 #include "cds/dumpTimeClassInfo.hpp"
31 #include "cds/lambdaProxyClassDictionary.hpp"
32 #include "cds/runTimeClassInfo.hpp"
33 #include "classfile/classLoaderData.hpp"
34 #include "classfile/packageEntry.hpp"
35 #include "classfile/systemDictionary.hpp"
36 #include "oops/klass.hpp"
37 #include "oops/oopHandle.hpp"
38 #include "oops/trainingData.hpp"
39
40
41 /*===============================================================================
42
43 Handling of the classes in the AppCDS archive
44
45 To ensure safety and to simplify the implementation, archived classes are
46 "segregated" into 2 types. The following rules describe how they
47 are stored and looked up.
48
49 [1] Category of archived classes
50
51 There are 2 disjoint groups of classes stored in the AppCDS archive:
52
53 BUILTIN: These classes may be defined ONLY by the BOOT/PLATFORM/APP
54 loaders.
55
56 UNREGISTERED: These classes may be defined ONLY by a ClassLoader
57 instance that's not listed above (using fingerprint matching)
58
59 [2] How classes from different categories are specified in the classlist:
60
61 Starting from JDK9, each class in the classlist may be specified with
62 these keywords: "id", "super", "interfaces", "loader" and "source".
63
64
65 BUILTIN Only the "id" keyword may be (optionally) specified. All other
66 keywords are forbidden.
67
68 The named class is looked up from the jimage and from
69 Xbootclasspath/a and CLASSPATH.
70
71 UNREGISTERED: The "id", "super", and "source" keywords must all be
72 specified.
73
74 The "interfaces" keyword must be specified if the class implements
75 one or more local interfaces. The "interfaces" keyword must not be
76 specified if the class does not implement local interfaces.
77
78 The named class is looked up from the location specified in the
79 "source" keyword.
80
81 Example classlist:
82
83 # BUILTIN
84 java/lang/Object id: 0
85 java/lang/Cloneable id: 1
86 java/lang/String
87
88 # UNREGISTERED
89 Bar id: 3 super: 0 interfaces: 1 source: /foo.jar
90
91
92 [3] Identifying the category of archived classes
93
94 BUILTIN: (C->shared_classpath_index() >= 0)
95 UNREGISTERED: (C->shared_classpath_index() == UNREGISTERED_INDEX (-9999))
96
97 [4] Lookup of archived classes at run time:
98
99 (a) BUILTIN loaders:
100
101 search _builtin_dictionary
102
103 (b) UNREGISTERED loaders:
104
105 search _unregistered_dictionary for an entry that matches the
106 (name, clsfile_len, clsfile_crc32).
107
108 ===============================================================================*/
109 #define UNREGISTERED_INDEX -9999
110
111 class BootstrapInfo;
112 class ClassFileStream;
113 class ConstantPoolCache;
114 class Dictionary;
115 class DumpTimeClassInfo;
116 class DumpTimeSharedClassTable;
117 class LambdaProxyClassDictionary;
118 class RunTimeClassInfo;
119 class RunTimeSharedDictionary;
120 class DumpTimeLambdaProxyClassDictionary;
121 class LambdaProxyClassKey;
122
123 class SharedClassLoadingMark {
124 private:
125 Thread* THREAD;
126 InstanceKlass* _klass;
127 public:
128 SharedClassLoadingMark(Thread* current, InstanceKlass* ik) : THREAD(current), _klass(ik) {}
129 ~SharedClassLoadingMark() {
130 assert(THREAD != nullptr, "Current thread is nullptr");
131 assert(_klass != nullptr, "InstanceKlass is nullptr");
132 if (HAS_PENDING_EXCEPTION) {
133 if (_klass->is_shared()) {
134 _klass->set_shared_loading_failed();
135 }
136 }
137 }
138 };
139
140 class SystemDictionaryShared: public SystemDictionary {
141 friend class CleanupDumpTimeLambdaProxyClassTable;
142
143 struct ArchiveInfo {
144 RunTimeSharedDictionary _builtin_dictionary;
145 RunTimeSharedDictionary _unregistered_dictionary;
146 LambdaProxyClassDictionary _lambda_proxy_class_dictionary;
147
148 const RunTimeLambdaProxyClassInfo* lookup_lambda_proxy_class(RunTimeLambdaProxyClassKey* key) {
149 return _lambda_proxy_class_dictionary.lookup(key, key->hash(), 0);
150 }
151
152 void print_on(const char* prefix, outputStream* st);
153 void print_table_statistics(const char* prefix, outputStream* st);
154 };
155
156 private:
157
158 static DumpTimeSharedClassTable* _dumptime_table;
159 static DumpTimeLambdaProxyClassDictionary* _dumptime_lambda_proxy_class_dictionary;
160
161 static ArchiveInfo _static_archive;
162 static ArchiveInfo _dynamic_archive;
163
164 static ArchiveInfo* get_archive(bool is_static_archive) {
165 return is_static_archive ? &_static_archive : &_dynamic_archive;
166 }
167
168 static InstanceKlass* load_shared_class_for_builtin_loader(
169 Symbol* class_name,
170 Handle class_loader,
171 TRAPS);
172 static InstanceKlass* acquire_class_for_current_thread(
173 InstanceKlass *ik,
174 Handle class_loader,
175 Handle protection_domain,
176 const ClassFileStream* cfs,
177 TRAPS);
178
179
180 static void write_dictionary(RunTimeSharedDictionary* dictionary,
181 bool is_builtin);
182 static void write_lambda_proxy_class_dictionary(LambdaProxyClassDictionary* dictionary);
183 static void cleanup_lambda_proxy_class_dictionary();
184 static void reset_registered_lambda_proxy_class(InstanceKlass* ik);
185 static bool check_for_exclusion_impl(InstanceKlass* k);
186 static void remove_dumptime_info(InstanceKlass* k) NOT_CDS_RETURN;
187 static InstanceKlass* retrieve_lambda_proxy_class(const RunTimeLambdaProxyClassInfo* info) NOT_CDS_RETURN_(nullptr);
188 DEBUG_ONLY(static bool _class_loading_may_happen;)
189
190 static void copy_verification_constraints_from_preimage(InstanceKlass* klass);
191 static void copy_linking_constraints_from_preimage(InstanceKlass* klass);
192
193 public:
194 // Guaranteed to return non-null value for non-shared classes.
195 // k must not be a shared class.
196 static DumpTimeClassInfo* get_info(InstanceKlass* k);
197 static DumpTimeClassInfo* get_info_locked(InstanceKlass* k);
198 static DumpTimeSharedClassTable* dumptime_table() { return _dumptime_table; }
199
200 static bool should_hidden_class_be_archived(InstanceKlass* k);
201 static void mark_required_hidden_class(InstanceKlass* k);
202 static bool has_been_redefined(InstanceKlass* k);
203 static bool is_jfr_event_class(InstanceKlass *k);
204 static bool is_registered_lambda_proxy_class(InstanceKlass* ik);
205
206 static bool is_hidden_lambda_proxy(InstanceKlass* ik);
207 static bool is_early_klass(InstanceKlass* k); // Was k loaded while JvmtiExport::is_early_phase()==true
208 static bool has_archived_enum_objs(InstanceKlass* ik);
209 static void set_has_archived_enum_objs(InstanceKlass* ik);
210
211 static InstanceKlass* find_builtin_class(Symbol* class_name);
212
213 static const RunTimeClassInfo* find_record(RunTimeSharedDictionary* static_dict,
214 RunTimeSharedDictionary* dynamic_dict,
215 Symbol* name);
216
217 static bool has_platform_or_app_classes();
218
219 // Called by PLATFORM/APP loader only
220 static InstanceKlass* find_or_load_shared_class(Symbol* class_name,
221 Handle class_loader,
222 TRAPS);
223
224
225 static void allocate_shared_data_arrays(int size, TRAPS);
226
227 static bool is_builtin_loader(ClassLoaderData* loader_data);
228
229 static InstanceKlass* lookup_super_for_unregistered_class(Symbol* class_name,
230 Symbol* super_name, bool is_superclass);
231
232 static void initialize() NOT_CDS_RETURN;
233 static void init_dumptime_info(InstanceKlass* k) NOT_CDS_RETURN;
234 static void init_dumptime_info_from_preimage(InstanceKlass* k) NOT_CDS_RETURN;
235 static void handle_class_unloading(InstanceKlass* k) NOT_CDS_RETURN;
236
237 static bool can_be_preinited(InstanceKlass* ik);
238 static bool can_be_preinited_locked(InstanceKlass* ik);
239 static void reset_preinit_check();
240
241 static Dictionary* boot_loader_dictionary() {
242 return ClassLoaderData::the_null_class_loader_data()->dictionary();
243 }
244
245 static void update_shared_entry(InstanceKlass* klass, int id);
246 static void set_shared_class_misc_info(InstanceKlass* k, ClassFileStream* cfs);
247
248 static InstanceKlass* lookup_from_stream(Symbol* class_name,
249 Handle class_loader,
250 Handle protection_domain,
251 const ClassFileStream* st,
252 TRAPS);
253 // "verification_constraints" are a set of checks performed by
254 // VerificationType::is_reference_assignable_from when verifying a shared class during
255 // dump time.
256 //
257 // With AppCDS, it is possible to override archived classes by calling
258 // ClassLoader.defineClass() directly. SystemDictionary::load_shared_class() already
259 // ensures that you cannot load a shared class if its super type(s) are changed. However,
260 // we need an additional check to ensure that the verification_constraints did not change
261 // between dump time and runtime.
262 static bool add_verification_constraint(InstanceKlass* k, Symbol* name,
263 Symbol* from_name, bool from_field_is_protected,
264 bool from_is_array, bool from_is_object) NOT_CDS_RETURN_(false);
265 static void check_verification_constraints(InstanceKlass* klass,
266 TRAPS) NOT_CDS_RETURN;
267 static void add_enum_klass_static_field(InstanceKlass* ik, int root_index);
268 static void set_class_has_failed_verification(InstanceKlass* ik) NOT_CDS_RETURN;
269 static bool has_class_failed_verification(InstanceKlass* ik) NOT_CDS_RETURN_(false);
270 static void add_lambda_proxy_class(InstanceKlass* caller_ik,
271 InstanceKlass* lambda_ik,
272 Symbol* invoked_name,
273 Symbol* invoked_type,
274 Symbol* method_type,
275 Method* member_method,
276 Symbol* instantiated_method_type, TRAPS) NOT_CDS_RETURN;
277 static void add_to_dump_time_lambda_proxy_class_dictionary(LambdaProxyClassKey& key,
278 InstanceKlass* proxy_klass) NOT_CDS_RETURN;
279 static InstanceKlass* get_shared_lambda_proxy_class(InstanceKlass* caller_ik,
280 Symbol* invoked_name,
281 Symbol* invoked_type,
282 Symbol* method_type,
283 Method* member_method,
284 Symbol* instantiated_method_type) NOT_CDS_RETURN_(nullptr);
285 static InstanceKlass* get_shared_nest_host(InstanceKlass* lambda_ik) NOT_CDS_RETURN_(nullptr);
286 static InstanceKlass* prepare_shared_lambda_proxy_class(InstanceKlass* lambda_ik,
287 InstanceKlass* caller_ik, TRAPS) NOT_CDS_RETURN_(nullptr);
288 static bool check_linking_constraints(Thread* current, InstanceKlass* klass) NOT_CDS_RETURN_(false);
289 static void record_linking_constraint(Symbol* name, InstanceKlass* klass,
290 Handle loader1, Handle loader2) NOT_CDS_RETURN;
291 static bool is_builtin(const InstanceKlass* k) {
292 return (k->shared_classpath_index() != UNREGISTERED_INDEX);
293 }
294 static bool add_unregistered_class(Thread* current, InstanceKlass* k);
295
296 static void finish_exclusion_checks();
297
298 static bool should_be_excluded(Klass* k);
299 static bool check_for_exclusion(InstanceKlass* k, DumpTimeClassInfo* info);
300 static void validate_before_archiving(InstanceKlass* k);
301 static bool is_excluded_class(InstanceKlass* k);
302 static void set_excluded(InstanceKlass* k);
303 static void set_excluded_locked(InstanceKlass* k);
304 static bool warn_excluded(InstanceKlass* k, const char* reason);
305 static void dumptime_classes_do(class MetaspaceClosure* it);
306 static void write_to_archive(bool is_static_archive = true);
307 static void adjust_lambda_proxy_class_dictionary();
308
309 static void serialize_dictionary_headers(class SerializeClosure* soc,
310 bool is_static_archive = true);
311 static void serialize_vm_classes(class SerializeClosure* soc);
312 static void print() { return print_on(tty); }
313 static void print_on(outputStream* st) NOT_CDS_RETURN;
314 static void print_shared_archive(outputStream* st, bool is_static = true) NOT_CDS_RETURN;
315 static void print_table_statistics(outputStream* st) NOT_CDS_RETURN;
316 static bool is_dumptime_table_empty() NOT_CDS_RETURN_(true);
317 static bool is_supported_invokedynamic(BootstrapInfo* bsi) NOT_CDS_RETURN_(false);
318 DEBUG_ONLY(static bool class_loading_may_happen() {return _class_loading_may_happen;})
319 // Do not archive any new InstanceKlasses that are loaded after this method is called.
320 // This avoids polluting the archive with classes that are only used by GenerateJLIClassesHelper.
321 static void ignore_new_classes();
322
323 #ifdef ASSERT
324 // This object marks a critical period when writing the CDS archive. During this
325 // period, the JVM must not load any new classes, so as to avoid adding new
326 // items in the SystemDictionaryShared::_dumptime_table.
327 class NoClassLoadingMark: public StackObj {
328 public:
329 NoClassLoadingMark() {
330 assert(_class_loading_may_happen, "must not be nested");
331 _class_loading_may_happen = false;
332 }
333 ~NoClassLoadingMark() {
334 _class_loading_may_happen = true;
335 }
336 };
337 #endif
338
339 template <typename T>
340 static unsigned int hash_for_shared_dictionary_quick(T* ptr) {
341 assert(MetaspaceObj::is_shared((const MetaspaceObj*)ptr), "must be");
342 assert(ptr > (T*)SharedBaseAddress, "must be");
343 uintx offset = uintx(ptr) - uintx(SharedBaseAddress);
344 return primitive_hash<uintx>(offset);
345 }
346
347 static unsigned int hash_for_shared_dictionary(address ptr);
348 static const char* class_loader_name_for_shared(Klass* k);
349 static void create_loader_positive_lookup_cache(TRAPS);
350 };
351
352 #endif // SHARE_CLASSFILE_SYSTEMDICTIONARYSHARED_HPP