1 /*
2 * Copyright (c) 1997, 2026, 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 #include "cds/aotClassLocation.hpp"
26 #include "cds/cdsConfig.hpp"
27 #include "cds/heapShared.hpp"
28 #include "classfile/classFileParser.hpp"
29 #include "classfile/classFileStream.hpp"
30 #include "classfile/classLoader.hpp"
31 #include "classfile/classLoaderData.inline.hpp"
32 #include "classfile/classLoaderDataGraph.inline.hpp"
33 #include "classfile/classLoadInfo.hpp"
34 #include "classfile/dictionary.hpp"
35 #include "classfile/javaClasses.inline.hpp"
36 #include "classfile/klassFactory.hpp"
37 #include "classfile/loaderConstraints.hpp"
38 #include "classfile/packageEntry.hpp"
39 #include "classfile/placeholders.hpp"
40 #include "classfile/resolutionErrors.hpp"
41 #include "classfile/stringTable.hpp"
42 #include "classfile/symbolTable.hpp"
43 #include "classfile/systemDictionary.hpp"
44 #include "classfile/vmClasses.hpp"
45 #include "classfile/vmSymbols.hpp"
46 #include "gc/shared/gcTraceTime.inline.hpp"
47 #include "interpreter/bootstrapInfo.hpp"
48 #include "jfr/jfrEvents.hpp"
49 #include "jvm.h"
50 #include "logging/log.hpp"
51 #include "logging/logStream.hpp"
52 #include "memory/metaspaceClosure.hpp"
53 #include "memory/oopFactory.hpp"
54 #include "memory/resourceArea.hpp"
55 #include "memory/universe.hpp"
56 #include "oops/access.inline.hpp"
57 #include "oops/constantPool.inline.hpp"
58 #include "oops/fieldStreams.inline.hpp"
59 #include "oops/inlineKlass.inline.hpp"
60 #include "oops/instanceKlass.hpp"
61 #include "oops/klass.inline.hpp"
62 #include "oops/method.inline.hpp"
63 #include "oops/objArrayKlass.hpp"
64 #include "oops/objArrayOop.inline.hpp"
65 #include "oops/oop.inline.hpp"
66 #include "oops/oopHandle.inline.hpp"
67 #include "oops/symbol.hpp"
68 #include "oops/typeArrayKlass.hpp"
69 #include "prims/jvmtiExport.hpp"
70 #include "prims/methodHandles.hpp"
71 #include "runtime/arguments.hpp"
72 #include "runtime/atomicAccess.hpp"
73 #include "runtime/handles.inline.hpp"
74 #include "runtime/java.hpp"
75 #include "runtime/javaCalls.hpp"
76 #include "runtime/mutexLocker.hpp"
77 #include "runtime/os.hpp"
78 #include "runtime/sharedRuntime.hpp"
79 #include "runtime/signature.hpp"
80 #include "runtime/synchronizer.hpp"
81 #include "services/classLoadingService.hpp"
82 #include "services/diagnosticCommand.hpp"
83 #include "services/finalizerService.hpp"
84 #include "services/threadService.hpp"
85 #include "utilities/growableArray.hpp"
86 #include "utilities/macros.hpp"
87 #include "utilities/utf8.hpp"
88 #if INCLUDE_CDS
89 #include "classfile/systemDictionaryShared.hpp"
90 #endif
91 #if INCLUDE_JFR
92 #include "jfr/jfr.hpp"
93 #endif
94
95 class InvokeMethodKey : public StackObj {
96 private:
97 Symbol* _symbol;
98 intptr_t _iid;
99
100 public:
101 InvokeMethodKey(Symbol* symbol, intptr_t iid) :
102 _symbol(symbol),
103 _iid(iid) {}
104
105 static bool key_comparison(InvokeMethodKey const &k1, InvokeMethodKey const &k2){
106 return k1._symbol == k2._symbol && k1._iid == k2._iid;
107 }
108
109 static unsigned int compute_hash(const InvokeMethodKey &k) {
110 Symbol* sym = k._symbol;
111 intptr_t iid = k._iid;
112 unsigned int hash = (unsigned int) sym -> identity_hash();
113 return (unsigned int) (hash ^ iid);
114 }
115
116 };
117
118 using InvokeMethodIntrinsicTable = HashTable<InvokeMethodKey, Method*, 139, AnyObj::C_HEAP, mtClass,
119 InvokeMethodKey::compute_hash, InvokeMethodKey::key_comparison>;
120 static InvokeMethodIntrinsicTable* _invoke_method_intrinsic_table;
121 using InvokeMethodTypeTable = HashTable<SymbolHandle, OopHandle, 139, AnyObj::C_HEAP, mtClass, SymbolHandle::compute_hash>;
122 static InvokeMethodTypeTable* _invoke_method_type_table;
123
124 OopHandle SystemDictionary::_java_system_loader;
125 OopHandle SystemDictionary::_java_platform_loader;
126
127 // ----------------------------------------------------------------------------
128 // Java-level SystemLoader and PlatformLoader
129 oop SystemDictionary::java_system_loader() {
130 return _java_system_loader.resolve();
131 }
132
133 oop SystemDictionary::java_platform_loader() {
134 return _java_platform_loader.resolve();
135 }
136
137 void SystemDictionary::compute_java_loaders(TRAPS) {
138 if (_java_platform_loader.is_empty()) {
139 oop platform_loader = get_platform_class_loader_impl(CHECK);
140 _java_platform_loader = OopHandle(Universe::vm_global(), platform_loader);
141 } else {
142 // It must have been restored from the archived module graph
143 assert(CDSConfig::is_using_archive(), "must be");
144 assert(CDSConfig::is_using_full_module_graph(), "must be");
145 DEBUG_ONLY(
146 oop platform_loader = get_platform_class_loader_impl(CHECK);
147 assert(_java_platform_loader.resolve() == platform_loader, "must be");
148 )
149 }
150
151 if (_java_system_loader.is_empty()) {
152 oop system_loader = get_system_class_loader_impl(CHECK);
153 _java_system_loader = OopHandle(Universe::vm_global(), system_loader);
154 } else {
155 // It must have been restored from the archived module graph
156 assert(CDSConfig::is_using_archive(), "must be");
157 assert(CDSConfig::is_using_full_module_graph(), "must be");
158 DEBUG_ONLY(
159 oop system_loader = get_system_class_loader_impl(CHECK);
160 assert(_java_system_loader.resolve() == system_loader, "must be");
161 )
162 }
163 }
164
165 oop SystemDictionary::get_system_class_loader_impl(TRAPS) {
166 JavaValue result(T_OBJECT);
167 InstanceKlass* class_loader_klass = vmClasses::ClassLoader_klass();
168 JavaCalls::call_static(&result,
169 class_loader_klass,
170 vmSymbols::getSystemClassLoader_name(),
171 vmSymbols::void_classloader_signature(),
172 CHECK_NULL);
173 return result.get_oop();
174 }
175
176 oop SystemDictionary::get_platform_class_loader_impl(TRAPS) {
177 JavaValue result(T_OBJECT);
178 InstanceKlass* class_loader_klass = vmClasses::ClassLoader_klass();
179 JavaCalls::call_static(&result,
180 class_loader_klass,
181 vmSymbols::getPlatformClassLoader_name(),
182 vmSymbols::void_classloader_signature(),
183 CHECK_NULL);
184 return result.get_oop();
185 }
186
187 // Helper function
188 inline ClassLoaderData* class_loader_data(Handle class_loader) {
189 return ClassLoaderData::class_loader_data(class_loader());
190 }
191
192 // These migrated value classes are loaded by the bootstrap class loader but are added to the initiating
193 // loaders automatically so that fields of these types can be found and potentially flattened during
194 // field layout.
195 static void add_migrated_value_classes(ClassLoaderData* cld) {
196 JavaThread* current = JavaThread::current();
197 auto add_klass = [&] (Symbol* classname) {
198 InstanceKlass* ik = SystemDictionary::find_instance_klass(current, classname, Handle(current, nullptr));
199 assert(ik != nullptr, "Must exist");
200 SystemDictionary::add_to_initiating_loader(current, ik, cld);
201 };
202
203 MonitorLocker mu1(SystemDictionary_lock);
204 vmSymbols::migrated_class_names_do(add_klass);
205 }
206
207 ClassLoaderData* SystemDictionary::register_loader(Handle class_loader, bool create_mirror_cld) {
208 if (create_mirror_cld) {
209 // Add a new class loader data to the graph.
210 return ClassLoaderDataGraph::add(class_loader, true);
211 } else {
212 if (class_loader() == nullptr) {
213 return ClassLoaderData::the_null_class_loader_data();
214 } else {
215 bool created = false;
216 ClassLoaderData* cld = ClassLoaderDataGraph::find_or_create(class_loader, created);
217 if (created && Arguments::enable_preview()) {
218 if (CDSConfig::is_using_aot_linked_classes() && java_system_loader() == nullptr) {
219 // We are inside AOTLinkedClassBulkLoader::preload_classes().
220 //
221 // AOTLinkedClassBulkLoader will automatically initiate the loading of all archived
222 // public classes from the boot loader into platform/system loaders, so there's
223 // no need to call add_migrated_value_classes().
224 } else {
225 add_migrated_value_classes(cld);
226 }
227 }
228 return cld;
229 }
230 }
231 }
232
233 void SystemDictionary::set_system_loader(ClassLoaderData *cld) {
234 if (_java_system_loader.is_empty()) {
235 _java_system_loader = cld->class_loader_handle();
236 } else {
237 assert(_java_system_loader.resolve() == cld->class_loader(), "sanity");
238 }
239 }
240
241 void SystemDictionary::set_platform_loader(ClassLoaderData *cld) {
242 if (_java_platform_loader.is_empty()) {
243 _java_platform_loader = cld->class_loader_handle();
244 } else {
245 assert(_java_platform_loader.resolve() == cld->class_loader(), "sanity");
246 }
247 }
248
249 // ----------------------------------------------------------------------------
250 // Parallel class loading check
251
252 static bool is_parallelCapable(Handle class_loader) {
253 if (class_loader.is_null()) return true;
254 return java_lang_ClassLoader::parallelCapable(class_loader());
255 }
256 // ----------------------------------------------------------------------------
257 // ParallelDefineClass flag does not apply to bootclass loader
258 static bool is_parallelDefine(Handle class_loader) {
259 if (class_loader.is_null()) return false;
260 if (AllowParallelDefineClass && java_lang_ClassLoader::parallelCapable(class_loader())) {
261 return true;
262 }
263 return false;
264 }
265
266 // Returns true if the passed class loader is the builtin application class loader
267 // or a custom system class loader. A customer system class loader can be
268 // specified via -Djava.system.class.loader.
269 bool SystemDictionary::is_system_class_loader(oop class_loader) {
270 if (class_loader == nullptr) {
271 return false;
272 }
273 return (class_loader->klass() == vmClasses::jdk_internal_loader_ClassLoaders_AppClassLoader_klass() ||
274 class_loader == _java_system_loader.peek());
275 }
276
277 // Returns true if the passed class loader is the platform class loader.
278 bool SystemDictionary::is_platform_class_loader(oop class_loader) {
279 if (class_loader == nullptr) {
280 return false;
281 }
282 return (class_loader->klass() == vmClasses::jdk_internal_loader_ClassLoaders_PlatformClassLoader_klass());
283 }
284
285 Handle SystemDictionary::get_loader_lock_or_null(Handle class_loader) {
286 // If class_loader is null or parallelCapable, the JVM doesn't acquire a lock while loading.
287 if (is_parallelCapable(class_loader)) {
288 return Handle();
289 } else {
290 return class_loader;
291 }
292 }
293
294 // ----------------------------------------------------------------------------
295 // Resolving of classes
296
297 Symbol* SystemDictionary::class_name_symbol(const char* name, Symbol* exception, TRAPS) {
298 if (name == nullptr) {
299 THROW_MSG_NULL(exception, "No class name given");
300 }
301 size_t name_len = strlen(name);
302 if (name_len > static_cast<size_t>(Symbol::max_length())) {
303 // It's impossible to create this class; the name cannot fit
304 // into the constant pool. If necessary report an abridged name
305 // in the exception message.
306 if (name_len > static_cast<size_t>(MaxStringPrintSize)) {
307 Exceptions::fthrow(THREAD_AND_LOCATION, exception,
308 "Class name exceeds maximum length of %d: %.*s ... (%zu characters omitted) ... %.*s",
309 Symbol::max_length(),
310 MaxStringPrintSize / 2,
311 name,
312 name_len - 2 * (MaxStringPrintSize / 2), // allows for odd value
313 MaxStringPrintSize / 2,
314 name + name_len - MaxStringPrintSize / 2);
315 }
316 else {
317 Exceptions::fthrow(THREAD_AND_LOCATION, exception,
318 "Class name exceeds maximum length of %d: %s",
319 Symbol::max_length(),
320 name);
321 }
322 return nullptr;
323 }
324 // Callers should ensure that the name is never an illegal UTF8 string.
325 assert(UTF8::is_legal_utf8((const unsigned char*)name, name_len, false),
326 "Class name is not a valid utf8 string.");
327
328 // Make a new symbol for the class name.
329 return SymbolTable::new_symbol(name);
330 }
331
332 #ifdef ASSERT
333 // Used to verify that class loading succeeded in adding k to the dictionary.
334 static void verify_dictionary_entry(Symbol* class_name, InstanceKlass* k) {
335 MutexLocker mu(SystemDictionary_lock);
336 ClassLoaderData* loader_data = k->class_loader_data();
337 Dictionary* dictionary = loader_data->dictionary();
338 assert(class_name == k->name(), "Must be the same");
339 InstanceKlass* kk = dictionary->find_class(JavaThread::current(), class_name);
340 assert(kk == k, "should be present in dictionary");
341 }
342 #endif
343
344 static void handle_resolution_exception(Symbol* class_name, bool throw_error, TRAPS) {
345 if (HAS_PENDING_EXCEPTION) {
346 // If we have a pending exception we forward it to the caller, unless throw_error is true,
347 // in which case we have to check whether the pending exception is a ClassNotFoundException,
348 // and convert it to a NoClassDefFoundError and chain the original ClassNotFoundException.
349 if (throw_error && PENDING_EXCEPTION->is_a(vmClasses::ClassNotFoundException_klass())) {
350 ResourceMark rm(THREAD);
351 Handle e(THREAD, PENDING_EXCEPTION);
352 CLEAR_PENDING_EXCEPTION;
353 THROW_MSG_CAUSE(vmSymbols::java_lang_NoClassDefFoundError(), class_name->as_C_string(), e);
354 } else {
355 return; // the caller will throw the incoming exception
356 }
357 }
358 // If the class is not found, ie, caller has checked that klass is null, throw the appropriate
359 // error or exception depending on the value of throw_error.
360 ResourceMark rm(THREAD);
361 if (throw_error) {
362 THROW_MSG(vmSymbols::java_lang_NoClassDefFoundError(), class_name->as_C_string());
363 } else {
364 THROW_MSG(vmSymbols::java_lang_ClassNotFoundException(), class_name->as_C_string());
365 }
366 }
367
368 // Forwards to resolve_or_null
369
370 Klass* SystemDictionary::resolve_or_fail(Symbol* class_name, Handle class_loader,
371 bool throw_error, TRAPS) {
372 Klass* klass = resolve_or_null(class_name, class_loader, THREAD);
373 // Check for pending exception or null klass, and throw exception
374 if (HAS_PENDING_EXCEPTION || klass == nullptr) {
375 handle_resolution_exception(class_name, throw_error, CHECK_NULL);
376 }
377 return klass;
378 }
379
380 // Forwards to resolve_array_class_or_null or resolve_instance_class_or_null
381
382 Klass* SystemDictionary::resolve_or_null(Symbol* class_name, Handle class_loader, TRAPS) {
383 if (Signature::is_array(class_name)) {
384 return resolve_array_class_or_null(class_name, class_loader, THREAD);
385 } else {
386 assert(class_name != nullptr && !Signature::is_array(class_name), "must be");
387 if (Signature::has_envelope(class_name)) {
388 ResourceMark rm(THREAD);
389 // Ignore wrapping L and ;.
390 TempNewSymbol name = SymbolTable::new_symbol(class_name->as_C_string() + 1,
391 class_name->utf8_length() - 2);
392 return resolve_instance_class_or_null(name, class_loader, THREAD);
393 } else {
394 return resolve_instance_class_or_null(class_name, class_loader, THREAD);
395 }
396 }
397 }
398
399 // Forwards to resolve_instance_class_or_null
400
401 Klass* SystemDictionary::resolve_array_class_or_null(Symbol* class_name,
402 Handle class_loader,
403 TRAPS) {
404 assert(Signature::is_array(class_name), "must be array");
405 ResourceMark rm(THREAD);
406 SignatureStream ss(class_name, false);
407 int ndims = ss.skip_array_prefix(); // skip all '['s
408 Klass* k = nullptr;
409 BasicType t = ss.type();
410 if (ss.has_envelope()) {
411 Symbol* obj_class = ss.as_symbol();
412 k = SystemDictionary::resolve_instance_class_or_null(obj_class,
413 class_loader,
414 CHECK_NULL);
415 if (k != nullptr) {
416 k = k->array_klass(ndims, CHECK_NULL);
417 }
418 } else {
419 k = Universe::typeArrayKlass(t);
420 k = k->array_klass(ndims, CHECK_NULL);
421 }
422 return k;
423 }
424
425 static inline void log_circularity_error(Symbol* name, PlaceholderEntry* probe) {
426 LogTarget(Debug, class, load, placeholders) lt;
427 if (lt.is_enabled()) {
428 ResourceMark rm;
429 LogStream ls(lt);
430 ls.print("ClassCircularityError detected for placeholder entry %s", name->as_C_string());
431 probe->print_on(&ls);
432 ls.cr();
433 }
434 }
435
436 // Must be called for any superclass or superinterface resolution
437 // during class definition, or may be called for inline field layout processing
438 // to detect class circularity errors.
439 // superinterface callers:
440 // parse_interfaces - from defineClass
441 // superclass callers:
442 // ClassFileParser - from defineClass
443 // load_shared_class - while loading a class from shared archive
444 // resolve_instance_class_or_null:
445 // via: handle_parallel_super_load
446 // when resolving a class that has an existing placeholder with
447 // a saved superclass [i.e. a defineClass is currently in progress]
448 // If another thread is trying to resolve the class, it must do
449 // superclass checks on its own thread to catch class circularity and
450 // to avoid deadlock.
451 // inline field layout callers:
452 // The field's class must be loaded to determine layout.
453 //
454 // resolve_with_circularity_detection adds a DETECT_CIRCULARITY placeholder to the placeholder table before calling
455 // resolve_instance_class_or_null. ClassCircularityError is detected when a DETECT_CIRCULARITY or LOAD_INSTANCE
456 // placeholder for the same thread, class, and classloader is found.
457 // This can be seen with logging option: -Xlog:class+load+placeholders=debug.
458 //
459 InstanceKlass* SystemDictionary::resolve_with_circularity_detection(Symbol* class_name,
460 Symbol* next_name,
461 Handle class_loader,
462 bool is_superclass,
463 TRAPS) {
464
465 assert(next_name != nullptr, "null superclass for resolving");
466 assert(!Signature::is_array(next_name), "invalid superclass name");
467
468 ClassLoaderData* loader_data = class_loader_data(class_loader);
469
470 if (is_superclass) {
471 InstanceKlass* klassk = loader_data->dictionary()->find_class(THREAD, class_name);
472 if (klassk != nullptr) {
473 // We can come here for two reasons:
474 // (a) RedefineClasses -- the class is already loaded
475 // (b) Rarely, the class might have been loaded by a parallel thread
476 // We can do a quick check against the already assigned superclass's name and loader.
477 InstanceKlass* superk = klassk->super();
478 if (superk != nullptr &&
479 superk->name() == next_name &&
480 superk->class_loader() == class_loader()) {
481 return superk;
482 }
483 }
484 }
485
486 // can't throw error holding a lock
487 bool throw_circularity_error = false;
488 {
489 MutexLocker mu(THREAD, SystemDictionary_lock);
490
491 // Must check ClassCircularity before resolving next_name (superclass, interface, field types or speculatively preloaded argument types).
492 PlaceholderEntry* probe = PlaceholderTable::get_entry(class_name, loader_data);
493 if (probe != nullptr && probe->check_seen_thread(THREAD, PlaceholderTable::DETECT_CIRCULARITY)) {
494 log_circularity_error(class_name, probe);
495 throw_circularity_error = true;
496 }
497
498 // Make sure there's a placeholder for the class_name before resolving.
499 // This is used as a claim that this thread is currently loading superclass/classloader
500 // and for ClassCircularity checks.
501 if (!throw_circularity_error) {
502 // Be careful not to exit resolve_with_circularity_detection without removing this placeholder.
503 PlaceholderEntry* newprobe = PlaceholderTable::find_and_add(class_name,
504 loader_data,
505 PlaceholderTable::DETECT_CIRCULARITY,
506 next_name, THREAD);
507 }
508 }
509
510 if (throw_circularity_error) {
511 ResourceMark rm(THREAD);
512 THROW_MSG_NULL(vmSymbols::java_lang_ClassCircularityError(), class_name->as_C_string());
513 }
514
515 // Resolve the superclass, superinterface, field type or speculatively preloaded argument types and check results on return.
516 InstanceKlass* superk =
517 SystemDictionary::resolve_instance_class_or_null(next_name,
518 class_loader,
519 THREAD);
520
521 // Clean up placeholder entry.
522 {
523 MutexLocker mu(THREAD, SystemDictionary_lock);
524 PlaceholderTable::find_and_remove(class_name, loader_data, PlaceholderTable::DETECT_CIRCULARITY, THREAD);
525 SystemDictionary_lock->notify_all();
526 }
527
528 // Check for pending exception or null superk, and throw exception
529 if (HAS_PENDING_EXCEPTION || superk == nullptr) {
530 handle_resolution_exception(next_name, true, CHECK_NULL);
531 }
532
533 return superk;
534 }
535
536 // If the class in is in the placeholder table, class loading is in progress.
537 // For cases where the application changes threads to load classes, it
538 // is critical to ClassCircularity detection that we try loading
539 // the superclass on the new thread internally, so we do parallel
540 // superclass loading here. This avoids deadlock for ClassCircularity
541 // detection for parallelCapable class loaders that lock on a per-class lock.
542 static void handle_parallel_super_load(Symbol* name,
543 Symbol* superclassname,
544 Handle class_loader,
545 TRAPS) {
546
547 // The result superk is not used; resolve_with_circularity_detection is called for circularity check only.
548 // This passes false to is_superclass to skip doing the unlikely optimization.
549 Klass* superk = SystemDictionary::resolve_with_circularity_detection(name,
550 superclassname,
551 class_loader,
552 false,
553 CHECK);
554 }
555
556 // Bootstrap and non-parallel capable class loaders use the LOAD_INSTANCE placeholder to
557 // wait for parallel class loading and/or to check for circularity error for Xcomp when loading.
558 static bool needs_load_placeholder(Handle class_loader) {
559 return class_loader.is_null() || !is_parallelCapable(class_loader);
560 }
561
562 // Check for other threads loading this class either to throw CCE or wait in the case of the boot loader.
563 static InstanceKlass* handle_parallel_loading(JavaThread* current,
564 Symbol* name,
565 ClassLoaderData* loader_data,
566 bool must_wait_for_class_loading,
567 bool* throw_circularity_error) {
568 PlaceholderEntry* oldprobe = PlaceholderTable::get_entry(name, loader_data);
569 if (oldprobe != nullptr) {
570 // -Xcomp calls load_signature_classes which might result in loading
571 // a class that's already in the process of loading, so we detect CCE here also.
572 // Only need check_seen_thread once, not on each loop
573 if (oldprobe->check_seen_thread(current, PlaceholderTable::LOAD_INSTANCE)) {
574 log_circularity_error(name, oldprobe);
575 *throw_circularity_error = true;
576 return nullptr;
577 } else if (must_wait_for_class_loading) {
578 // Wait until the first thread has finished loading this class. Also wait until all the
579 // threads trying to load its superclass have removed their placeholders.
580 while (oldprobe != nullptr &&
581 (oldprobe->instance_load_in_progress() || oldprobe->circularity_detection_in_progress())) {
582
583 // LOAD_INSTANCE placeholders are used to implement parallel capable class loading
584 // for the bootclass loader.
585 SystemDictionary_lock->wait();
586
587 // Check if classloading completed while we were waiting
588 InstanceKlass* check = loader_data->dictionary()->find_class(current, name);
589 if (check != nullptr) {
590 // Klass is already loaded, so just return it
591 return check;
592 }
593 // check if other thread failed to load and cleaned up
594 oldprobe = PlaceholderTable::get_entry(name, loader_data);
595 }
596 }
597 }
598 return nullptr;
599 }
600
601 // SystemDictionary::resolve_instance_class_or_null is the main function for class name resolution.
602 // After checking if the InstanceKlass already exists, it checks for ClassCircularityError and
603 // whether the thread must wait for loading in parallel. It eventually calls load_instance_class,
604 // which will load the class via the bootstrap loader or call ClassLoader.loadClass().
605 // This can return null, an exception or an InstanceKlass.
606 InstanceKlass* SystemDictionary::resolve_instance_class_or_null(Symbol* name,
607 Handle class_loader,
608 TRAPS) {
609 // name must be in the form of "java/lang/Object" -- cannot be "Ljava/lang/Object;"
610 DEBUG_ONLY(ResourceMark rm(THREAD));
611 assert(name != nullptr && !Signature::is_array(name) &&
612 !Signature::has_envelope(name), "invalid class name: %s", name == nullptr ? "nullptr" : name->as_C_string());
613
614 EventClassLoad class_load_event;
615
616 HandleMark hm(THREAD);
617
618 ClassLoaderData* loader_data = register_loader(class_loader);
619 Dictionary* dictionary = loader_data->dictionary();
620
621 // Do lookup to see if class already exists.
622 InstanceKlass* probe = dictionary->find_class(THREAD, name);
623 if (probe != nullptr) return probe;
624
625 // Non-bootstrap class loaders will call out to class loader and
626 // define via jvm/jni_DefineClass which will acquire the
627 // class loader object lock to protect against multiple threads
628 // defining the class in parallel by accident.
629 // This lock must be acquired here so the waiter will find
630 // any successful result in the SystemDictionary and not attempt
631 // the define.
632 // ParallelCapable class loaders and the bootstrap classloader
633 // do not acquire lock here.
634 Handle lockObject = get_loader_lock_or_null(class_loader);
635 ObjectLocker ol(lockObject, THREAD);
636
637 bool circularity_detection_in_progress = false;
638 InstanceKlass* loaded_class = nullptr;
639 SymbolHandle superclassname; // Keep alive while loading in parallel thread.
640
641 guarantee(THREAD->can_call_java(),
642 "can not load classes with compiler thread: class=%s, classloader=%s",
643 name->as_C_string(),
644 class_loader.is_null() ? "null" : class_loader->klass()->name()->as_C_string());
645
646 // Check again (after locking) if the class already exists in SystemDictionary
647 {
648 MutexLocker mu(THREAD, SystemDictionary_lock);
649 InstanceKlass* check = dictionary->find_class(THREAD, name);
650 if (check != nullptr) {
651 // InstanceKlass is already loaded, but we still need to check protection domain below.
652 loaded_class = check;
653 } else {
654 PlaceholderEntry* placeholder = PlaceholderTable::get_entry(name, loader_data);
655 if (placeholder != nullptr && placeholder->circularity_detection_in_progress()) {
656 circularity_detection_in_progress = true;
657 superclassname = placeholder->next_klass_name();
658 assert(superclassname != nullptr, "superclass has to have a name");
659 }
660 }
661 }
662
663 // If the class is in the placeholder table with super_class set,
664 // handle superclass loading in progress.
665 if (circularity_detection_in_progress) {
666 handle_parallel_super_load(name, superclassname,
667 class_loader,
668 CHECK_NULL);
669 }
670
671 bool throw_circularity_error = false;
672 if (loaded_class == nullptr) {
673 bool load_placeholder_added = false;
674
675 // Add placeholder entry to record loading instance class
676 // case 1. Bootstrap classloader
677 // This classloader supports parallelism at the classloader level
678 // but only allows a single thread to load a class/classloader pair.
679 // The LOAD_INSTANCE placeholder is the mechanism for mutual exclusion.
680 // case 2. parallelCapable user level classloaders
681 // These class loaders lock a per-class object lock when ClassLoader.loadClass()
682 // is called. A LOAD_INSTANCE placeholder isn't used for mutual exclusion.
683 // case 3. traditional classloaders that rely on the classloader object lock
684 // There should be no need for need for LOAD_INSTANCE for mutual exclusion,
685 // except the LOAD_INSTANCE placeholder is used to detect CCE for -Xcomp.
686 // TODO: should also be used to detect CCE for parallel capable class loaders but it's not.
687 {
688 MutexLocker mu(THREAD, SystemDictionary_lock);
689 if (needs_load_placeholder(class_loader)) {
690 loaded_class = handle_parallel_loading(THREAD,
691 name,
692 loader_data,
693 class_loader.is_null(),
694 &throw_circularity_error);
695 }
696
697 // Recheck if the class has been loaded for all class loader cases and
698 // add a LOAD_INSTANCE placeholder while holding the SystemDictionary_lock.
699 if (!throw_circularity_error && loaded_class == nullptr) {
700 InstanceKlass* check = dictionary->find_class(THREAD, name);
701 if (check != nullptr) {
702 loaded_class = check;
703 } else if (needs_load_placeholder(class_loader)) {
704 // Add the LOAD_INSTANCE token. Threads will wait on loading to complete for this thread.
705 PlaceholderEntry* newprobe = PlaceholderTable::find_and_add(name, loader_data,
706 PlaceholderTable::LOAD_INSTANCE,
707 nullptr,
708 THREAD);
709 load_placeholder_added = true;
710 }
711 }
712 }
713
714 // Must throw error outside of owning lock
715 if (throw_circularity_error) {
716 assert(!HAS_PENDING_EXCEPTION && !load_placeholder_added, "circularity error cleanup");
717 ResourceMark rm(THREAD);
718 THROW_MSG_NULL(vmSymbols::java_lang_ClassCircularityError(), name->as_C_string());
719 }
720
721 // Be careful when modifying this code: once you have run
722 // PlaceholderTable::find_and_add(PlaceholderTable::LOAD_INSTANCE),
723 // you need to find_and_remove it before returning.
724 // So be careful to not exit with a CHECK_ macro between these calls.
725
726 if (loaded_class == nullptr) {
727 // Do actual loading
728 loaded_class = load_instance_class(name, class_loader, THREAD);
729 }
730
731 if (load_placeholder_added) {
732 // clean up placeholder entries for LOAD_INSTANCE success or error
733 // This brackets the SystemDictionary updates for both defining
734 // and initiating loaders
735 MutexLocker mu(THREAD, SystemDictionary_lock);
736 PlaceholderTable::find_and_remove(name, loader_data, PlaceholderTable::LOAD_INSTANCE, THREAD);
737 SystemDictionary_lock->notify_all();
738 }
739 }
740
741 if (HAS_PENDING_EXCEPTION || loaded_class == nullptr) {
742 return nullptr;
743 }
744
745 if (class_load_event.should_commit()) {
746 JFR_ONLY(post_class_load_event(&class_load_event, loaded_class, loader_data);)
747 }
748
749 // Make sure we have the right class in the dictionary
750 DEBUG_ONLY(verify_dictionary_entry(name, loaded_class));
751
752 return loaded_class;
753 }
754
755
756 // This routine does not lock the system dictionary.
757 //
758 // Since readers don't hold a lock, we must make sure that system
759 // dictionary entries are added to in a safe way (all links must
760 // be updated in an MT-safe manner). All entries are removed during class
761 // unloading, when this class loader is no longer referenced.
762 //
763 // Callers should be aware that an entry could be added just after
764 // Dictionary is read here, so the caller will not see
765 // the new entry.
766
767 InstanceKlass* SystemDictionary::find_instance_klass(Thread* current,
768 Symbol* class_name,
769 Handle class_loader) {
770
771 ClassLoaderData* loader_data = ClassLoaderData::class_loader_data_or_null(class_loader());
772 if (loader_data == nullptr) {
773 // If the ClassLoaderData has not been setup,
774 // then the class loader has no entries in the dictionary.
775 return nullptr;
776 }
777
778 Dictionary* dictionary = loader_data->dictionary();
779 return dictionary->find_class(current, class_name);
780 }
781
782 // Look for a loaded instance or array klass by name. Do not do any loading.
783 // return null in case of error.
784 Klass* SystemDictionary::find_instance_or_array_klass(Thread* current,
785 Symbol* class_name,
786 Handle class_loader) {
787 Klass* k = nullptr;
788 assert(class_name != nullptr, "class name must be non nullptr");
789
790 if (Signature::is_array(class_name)) {
791 // The name refers to an array. Parse the name.
792 // dimension and object_key in FieldArrayInfo are assigned as a
793 // side-effect of this call
794 SignatureStream ss(class_name, false);
795 int ndims = ss.skip_array_prefix(); // skip all '['s
796 BasicType t = ss.type();
797 if (t != T_OBJECT) {
798 k = Universe::typeArrayKlass(t);
799 } else {
800 k = SystemDictionary::find_instance_klass(current, ss.as_symbol(), class_loader);
801 }
802 if (k != nullptr) {
803 k = k->array_klass_or_null(ndims);
804 }
805 } else {
806 k = find_instance_klass(current, class_name, class_loader);
807 }
808 return k;
809 }
810
811 // Note: this method is much like resolve_class_from_stream, but
812 // does not publish the classes in the SystemDictionary.
813 // Handles Lookup.defineClass hidden.
814 InstanceKlass* SystemDictionary::resolve_hidden_class_from_stream(
815 ClassFileStream* st,
816 Symbol* class_name,
817 Handle class_loader,
818 const ClassLoadInfo& cl_info,
819 TRAPS) {
820
821 EventClassLoad class_load_event;
822 ClassLoaderData* loader_data;
823
824 // - for hidden classes that are not strong: create a new CLD that has a class holder and
825 // whose loader is the Lookup class's loader.
826 // - for hidden class: add the class to the Lookup class's loader's CLD.
827 assert (cl_info.is_hidden(), "only used for hidden classes");
828 bool create_mirror_cld = !cl_info.is_strong_hidden();
829 loader_data = register_loader(class_loader, create_mirror_cld);
830
831 assert(st != nullptr, "invariant");
832
833 // Parse stream and create a klass.
834 InstanceKlass* k = KlassFactory::create_from_stream(st,
835 class_name,
836 loader_data,
837 cl_info,
838 CHECK_NULL);
839 assert(k != nullptr, "no klass created");
840
841 // Hidden classes that are not strong must update ClassLoaderData holder
842 // so that they can be unloaded when the mirror is no longer referenced.
843 if (!cl_info.is_strong_hidden()) {
844 k->class_loader_data()->initialize_holder(Handle(THREAD, k->java_mirror()));
845 }
846
847 // Add to class hierarchy, and do possible deoptimizations.
848 k->add_to_hierarchy(THREAD);
849 // But, do not add to dictionary.
850
851 if (class_load_event.should_commit()) {
852 JFR_ONLY(post_class_load_event(&class_load_event, k, loader_data);)
853 }
854
855 k->link_class(CHECK_NULL);
856
857 // notify jvmti
858 if (JvmtiExport::should_post_class_load()) {
859 JvmtiExport::post_class_load(THREAD, k);
860 }
861
862 return k;
863 }
864
865 // Add a klass to the system from a stream (called by jni_DefineClass and
866 // JVM_DefineClass).
867 // Note: class_name can be null. In that case we do not know the name of
868 // the class until we have parsed the stream.
869 // This function either returns an InstanceKlass or throws an exception. It does
870 // not return null without a pending exception.
871 InstanceKlass* SystemDictionary::resolve_class_from_stream(
872 ClassFileStream* st,
873 Symbol* class_name,
874 Handle class_loader,
875 const ClassLoadInfo& cl_info,
876 TRAPS) {
877
878 HandleMark hm(THREAD);
879
880 ClassLoaderData* loader_data = register_loader(class_loader);
881
882 // Classloaders that support parallelism, e.g. bootstrap classloader,
883 // do not acquire lock here
884 Handle lockObject = get_loader_lock_or_null(class_loader);
885 ObjectLocker ol(lockObject, THREAD);
886
887 // Parse the stream and create a klass.
888 // Note that we do this even though this klass might
889 // already be present in the SystemDictionary, otherwise we would not
890 // throw potential ClassFormatErrors.
891 InstanceKlass* k = nullptr;
892
893 #if INCLUDE_CDS
894 if (!CDSConfig::is_dumping_static_archive()) {
895 k = SystemDictionaryShared::lookup_from_stream(class_name,
896 class_loader,
897 cl_info.protection_domain(),
898 st,
899 CHECK_NULL);
900 }
901 #endif
902
903 if (k == nullptr) {
904 k = KlassFactory::create_from_stream(st, class_name, loader_data, cl_info, CHECK_NULL);
905 }
906
907 assert(k != nullptr, "no klass created");
908 Symbol* h_name = k->name();
909 assert(class_name == nullptr || class_name == h_name, "name mismatch");
910
911 // Add class just loaded
912 // If a class loader supports parallel classloading, handle parallel define requests.
913 // find_or_define_instance_class may return a different InstanceKlass,
914 // in which case the old k would be deallocated
915 if (is_parallelCapable(class_loader)) {
916 k = find_or_define_instance_class(h_name, class_loader, k, CHECK_NULL);
917 } else {
918 define_instance_class(k, class_loader, THREAD);
919
920 // If defining the class throws an exception register 'k' for cleanup.
921 if (HAS_PENDING_EXCEPTION) {
922 assert(k != nullptr, "Must have an instance klass here!");
923 loader_data->add_to_deallocate_list(k);
924 return nullptr;
925 }
926 }
927
928 // Make sure we have an entry in the SystemDictionary on success
929 DEBUG_ONLY(verify_dictionary_entry(h_name, k));
930
931 return k;
932 }
933
934 InstanceKlass* SystemDictionary::resolve_from_stream(ClassFileStream* st,
935 Symbol* class_name,
936 Handle class_loader,
937 const ClassLoadInfo& cl_info,
938 TRAPS) {
939 if (cl_info.is_hidden()) {
940 return resolve_hidden_class_from_stream(st, class_name, class_loader, cl_info, CHECK_NULL);
941 } else {
942 return resolve_class_from_stream(st, class_name, class_loader, cl_info, CHECK_NULL);
943 }
944 }
945
946
947 #if INCLUDE_CDS
948 // Check if a shared class can be loaded by the specific classloader.
949 bool SystemDictionary::is_shared_class_visible(Symbol* class_name,
950 InstanceKlass* ik,
951 PackageEntry* pkg_entry,
952 Handle class_loader) {
953
954 assert(!ModuleEntryTable::javabase_moduleEntry()->is_patched(),
955 "Cannot use sharing if java.base is patched");
956
957 // (1) Check if we are loading into the same loader as in dump time.
958
959 if (ik->defined_by_boot_loader()) {
960 if (class_loader() != nullptr) {
961 return false;
962 }
963 } else if (ik->defined_by_platform_loader()) {
964 if (class_loader() != java_platform_loader()) {
965 return false;
966 }
967 } else if (ik->defined_by_app_loader()) {
968 if (class_loader() != java_system_loader()) {
969 return false;
970 }
971 } else {
972 // ik was loaded by a custom loader during dump time
973 if (class_loader_data(class_loader)->is_builtin_class_loader_data()) {
974 return false;
975 } else {
976 return true;
977 }
978 }
979
980 // (2) Check if we are loading into the same module from the same location as in dump time.
981
982 if (CDSConfig::is_using_optimized_module_handling()) {
983 // Class visibility has not changed between dump time and run time, so a class
984 // that was visible (and thus archived) during dump time is always visible during runtime.
985 assert(SystemDictionary::is_shared_class_visible_impl(class_name, ik, pkg_entry, class_loader),
986 "visibility cannot change between dump time and runtime");
987 return true;
988 }
989 return is_shared_class_visible_impl(class_name, ik, pkg_entry, class_loader);
990 }
991
992 bool SystemDictionary::is_shared_class_visible_impl(Symbol* class_name,
993 InstanceKlass* ik,
994 PackageEntry* pkg_entry,
995 Handle class_loader) {
996 int scp_index = ik->shared_classpath_index();
997 assert(!ik->defined_by_other_loaders(), "this function should be called for built-in classes only");
998 assert(scp_index >= 0, "must be");
999 const AOTClassLocation* cl = AOTClassLocationConfig::runtime()->class_location_at(scp_index);
1000 if (!Universe::is_module_initialized()) {
1001 assert(cl != nullptr, "must be");
1002 // At this point, no modules have been defined yet. KlassSubGraphInfo::check_allowed_klass()
1003 // has restricted the classes can be loaded at this step to be only:
1004 // [1] cs->is_modules_image(): classes in java.base, or,
1005 // [2] HeapShared::is_a_test_class_in_unnamed_module(ik): classes in bootstrap/unnamed module
1006 assert(cl->is_modules_image() || HeapShared::is_a_test_class_in_unnamed_module(ik),
1007 "only these classes can be loaded before the module system is initialized");
1008 assert(class_loader.is_null(), "sanity");
1009 return true;
1010 }
1011
1012 if (pkg_entry == nullptr) {
1013 // We might have looked up pkg_entry before the module system was initialized.
1014 // Need to reload it now.
1015 TempNewSymbol pkg_name = ClassLoader::package_from_class_name(class_name);
1016 if (pkg_name != nullptr) {
1017 pkg_entry = class_loader_data(class_loader)->packages()->lookup_only(pkg_name);
1018 }
1019 }
1020
1021 ModuleEntry* mod_entry = (pkg_entry == nullptr) ? nullptr : pkg_entry->module();
1022 bool should_be_in_named_module = (mod_entry != nullptr && mod_entry->is_named());
1023 bool was_archived_from_named_module = !cl->has_unnamed_module();
1024 bool visible;
1025
1026 if (was_archived_from_named_module) {
1027 if (should_be_in_named_module) {
1028 // Is the module loaded from the same location as during dump time?
1029 visible = mod_entry->shared_path_index() == scp_index;
1030 if (visible) {
1031 assert(!mod_entry->is_patched(), "cannot load archived classes for patched module");
1032 }
1033 } else {
1034 // During dump time, this class was in a named module, but at run time, this class should be
1035 // in an unnamed module.
1036 visible = false;
1037 }
1038 } else {
1039 if (should_be_in_named_module) {
1040 // During dump time, this class was in an unnamed, but at run time, this class should be
1041 // in a named module.
1042 visible = false;
1043 } else {
1044 visible = true;
1045 }
1046 }
1047
1048 return visible;
1049 }
1050
1051 bool SystemDictionary::check_shared_class_dependency(InstanceKlass* klass, InstanceKlass* dependency,
1052 Handle class_loader, bool is_superclass, TRAPS) {
1053 assert(dependency->in_aot_cache(), "must be");
1054
1055 // Quick check if the dependency has been already loaded.
1056 // + Don't do it for unregistered classes -- they can be unloaded so
1057 // dependency->class_loader_data() could be stale.
1058 // + Don't check if loader data is null, ie. the dependency isn't fully loaded.
1059 if (!dependency->defined_by_other_loaders() && dependency->class_loader_data() != nullptr) {
1060 // Check if the dependency is loaded by the current class_loader.
1061 Symbol* name = dependency->name();
1062 InstanceKlass* check = find_instance_klass(THREAD, name, class_loader);
1063 if (check == dependency) {
1064 return true;
1065 }
1066 }
1067
1068 Klass* found = resolve_with_circularity_detection(klass->name(), dependency->name(),
1069 class_loader, is_superclass, CHECK_false);
1070 if (found == dependency) {
1071 return true;
1072 } else {
1073 // The dynamically resolved dependency is not the same as the one we used during dump time,
1074 // so we cannot use the class.
1075 return false;
1076 }
1077 }
1078
1079 bool SystemDictionary::check_shared_class_super_types(InstanceKlass* ik, Handle class_loader, TRAPS) {
1080 // Check the superclass and interfaces. They must be the same
1081 // as in dump time, because the layout of <ik> depends on
1082 // the specific layout of ik->super() and ik->local_interfaces().
1083 //
1084 // If unexpected superclass or interfaces are found, we cannot
1085 // load <ik> from the shared archive.
1086
1087 if (ik->super() != nullptr) {
1088 bool check_super = check_shared_class_dependency(ik, ik->super(),
1089 class_loader, true,
1090 CHECK_false);
1091 if (!check_super) {
1092 return false;
1093 }
1094 }
1095
1096 Array<InstanceKlass*>* interfaces = ik->local_interfaces();
1097 int num_interfaces = interfaces->length();
1098 for (int index = 0; index < num_interfaces; index++) {
1099 bool check_interface = check_shared_class_dependency(ik, interfaces->at(index), class_loader, false,
1100 CHECK_false);
1101 if (!check_interface) {
1102 return false;
1103 }
1104 }
1105
1106 return true;
1107 }
1108
1109 // Pre-load class referred to in fields with archived inline field metadata. These fields
1110 // must be checked against the resolved runtime class before the shared class can be used.
1111 bool SystemDictionary::preload_from_required_inline_field(InstanceKlass* ik, Handle class_loader, Symbol* sig, int field_index, TRAPS) {
1112 if (log_is_enabled(Info, class, preload)) {
1113 TempNewSymbol name = Signature::strip_envelope(sig);
1114 log_info(class, preload)("Preloading of class %s during loading of shared class %s. "
1115 "Cause: archived flat/null-restricted field metadata",
1116 name->as_C_string(), ik->name()->as_C_string());
1117 }
1118
1119 InstanceKlass* k = ik->get_inline_type_field_klass_or_null(field_index);
1120 bool check = check_shared_class_dependency(ik, k, class_loader, false, THREAD);
1121 if (!check) {
1122 const bool has_pending_exception = HAS_PENDING_EXCEPTION;
1123 if (log_is_enabled(Info, class, preload)) {
1124 TempNewSymbol name = Signature::strip_envelope(sig);
1125 const char* reason = has_pending_exception ?
1126 PENDING_EXCEPTION->klass()->name()->as_C_string() :
1127 "app substituted a different version";
1128 log_info(class, preload)("Preloading of class %s during loading of shared class %s "
1129 "(cause: archived flat/null-restricted field metadata) failed : %s",
1130 name->as_C_string(), ik->name()->as_C_string(), reason);
1131 }
1132 if (has_pending_exception) {
1133 CLEAR_PENDING_EXCEPTION;
1134 }
1135 return false;
1136 }
1137
1138 assert(k != nullptr, "Sanity check");
1139 if (log_is_enabled(Info, class, preload)) {
1140 TempNewSymbol name = Signature::strip_envelope(sig);
1141 log_info(class, preload)("Preloading of class %s during loading of shared class %s "
1142 "(cause: archived flat/null-restricted field metadata) succeeded",
1143 name->as_C_string(), ik->name()->as_C_string());
1144 }
1145 return true;
1146 }
1147
1148 // Optionally pre-load classes referred to in instance fields if they are found in the
1149 // LoadableDescriptors attribute. This mirrors the speculative preloading in
1150 // ClassFileParser::fetch_field_classes() when loading a class outside the archive.
1151 // Failures are ignored and do not fail shared class loading.
1152 void SystemDictionary::try_preload_from_loadable_descriptors(InstanceKlass* ik, Handle class_loader, Symbol* sig, int field_index, TRAPS) {
1153 TempNewSymbol name = Signature::strip_envelope(sig);
1154 if (name == ik->name() || !ik->is_class_in_loadable_descriptors_attribute(sig)) {
1155 return;
1156 }
1157
1158 log_info(class, preload)("Preloading of class %s during loading of shared class %s. "
1159 "Cause: field type in LoadableDescriptors attribute",
1160 name->as_C_string(), ik->name()->as_C_string());
1161 InstanceKlass* k = ik->get_inline_type_field_klass_or_null(field_index);
1162 if (k == nullptr) {
1163 SystemDictionary::resolve_with_circularity_detection(ik->name(), name, class_loader, false, THREAD);
1164 if (HAS_PENDING_EXCEPTION) {
1165 CLEAR_PENDING_EXCEPTION;
1166 }
1167 return;
1168 }
1169
1170 bool check = check_shared_class_dependency(ik, k, class_loader, false, THREAD);
1171 if (HAS_PENDING_EXCEPTION) {
1172 CLEAR_PENDING_EXCEPTION;
1173 }
1174 if (check) {
1175 log_info(class, preload)("Preloading of class %s during loading of shared class %s "
1176 "(cause: field type in LoadableDescriptors attribute) succeeded",
1177 name->as_C_string(), ik->name()->as_C_string());
1178 } else {
1179 log_info(class, preload)("Preloading of class %s during loading of shared class %s "
1180 "(cause: field type in LoadableDescriptors attribute) failed : "
1181 "app substituted a different version",
1182 name->as_C_string(), ik->name()->as_C_string());
1183 }
1184 }
1185
1186
1187 InstanceKlass* SystemDictionary::load_shared_class(InstanceKlass* ik,
1188 Handle class_loader,
1189 Handle protection_domain,
1190 const ClassFileStream *cfs,
1191 PackageEntry* pkg_entry,
1192 TRAPS) {
1193 assert(ik != nullptr, "sanity");
1194 assert(ik->in_aot_cache(), "sanity");
1195 assert(!ik->is_unshareable_info_restored(), "shared class can be restored only once");
1196 assert(AtomicAccess::add(&ik->_shared_class_load_count, 1) == 1, "shared class loaded more than once");
1197 Symbol* class_name = ik->name();
1198
1199 if (!is_shared_class_visible(class_name, ik, pkg_entry, class_loader)) {
1200 ik->set_shared_loading_failed();
1201 return nullptr;
1202 }
1203
1204 bool check = check_shared_class_super_types(ik, class_loader, CHECK_NULL);
1205 if (!check) {
1206 ik->set_shared_loading_failed();
1207 return nullptr;
1208 }
1209
1210 if (ik->has_inlined_fields() || ik->has_null_restricted_static_fields()) {
1211 for (AllFieldStream fs(ik); !fs.done(); fs.next()) {
1212 if (fs.access_flags().is_static() && !fs.is_null_free_inline_type()) {
1213 continue;
1214 }
1215
1216 Symbol* sig = fs.signature();
1217 int field_index = fs.index();
1218
1219 if (!Signature::has_envelope(sig)) {
1220 continue;
1221 }
1222
1223 if (fs.is_flat() || fs.is_null_free_inline_type()) {
1224 bool check = preload_from_required_inline_field(ik, class_loader, sig, field_index, CHECK_NULL);
1225 if (!check) {
1226 ik->set_shared_loading_failed();
1227 return nullptr;
1228 }
1229 } else {
1230 // Optional LoadableDescriptors preloading. Failures are ignored.
1231 try_preload_from_loadable_descriptors(ik, class_loader, sig, field_index, CHECK_NULL);
1232 }
1233 }
1234 }
1235
1236 InstanceKlass* new_ik = nullptr;
1237 // CFLH check is skipped for VM hidden classes (see KlassFactory::create_from_stream).
1238 // It will be skipped for shared VM hidden lambda proxy classes.
1239 if (!ik->is_hidden()) {
1240 new_ik = KlassFactory::check_shared_class_file_load_hook(
1241 ik, class_name, class_loader, protection_domain, cfs, CHECK_NULL);
1242 }
1243 if (new_ik != nullptr) {
1244 // The class is changed by CFLH. Return the new class. The shared class is
1245 // not used.
1246 return new_ik;
1247 }
1248
1249 // Adjust methods to recover missing data. They need addresses for
1250 // interpreter entry points and their default native method address
1251 // must be reset.
1252
1253 // Shared classes are all currently loaded by either the bootstrap or
1254 // internal parallel class loaders, so this will never cause a deadlock
1255 // on a custom class loader lock.
1256 // Since this class is already locked with parallel capable class
1257 // loaders, including the bootstrap loader via the placeholder table,
1258 // this lock is currently a nop.
1259
1260 ClassLoaderData* loader_data = class_loader_data(class_loader);
1261 {
1262 HandleMark hm(THREAD);
1263 Handle lockObject = get_loader_lock_or_null(class_loader);
1264 ObjectLocker ol(lockObject, THREAD);
1265 // prohibited package check assumes all classes loaded from archive call
1266 // restore_unshareable_info which calls ik->set_package()
1267 ik->restore_unshareable_info(loader_data, protection_domain, pkg_entry, CHECK_NULL);
1268 }
1269
1270 load_shared_class_misc(ik, loader_data);
1271 return ik;
1272 }
1273
1274 void SystemDictionary::load_shared_class_misc(InstanceKlass* ik, ClassLoaderData* loader_data) {
1275 ik->print_class_load_logging(loader_data, nullptr, nullptr);
1276
1277 // For boot loader, ensure that GetSystemPackage knows that a class in this
1278 // package was loaded.
1279 if (loader_data->is_the_null_class_loader_data()) {
1280 s2 path_index = ik->shared_classpath_index();
1281 ik->set_classpath_index(path_index);
1282 }
1283
1284 // notify a class loaded from shared object
1285 ClassLoadingService::notify_class_loaded(ik, true /* shared class */);
1286
1287 if (CDSConfig::is_dumping_final_static_archive()) {
1288 SystemDictionaryShared::init_dumptime_info_from_preimage(ik);
1289 }
1290 }
1291
1292 // This is much more lightweight than SystemDictionary::resolve_or_null
1293 // - There's only a single Java thread at this point. No need for placeholder.
1294 // - All supertypes of ik have been loaded
1295 // - There's no circularity (checked in AOT assembly phase)
1296 // - There's no need to call java.lang.ClassLoader::load_class() because the boot/platform/app
1297 // loaders are well-behaved
1298 void SystemDictionary::preload_class(Handle class_loader, InstanceKlass* ik, TRAPS) {
1299 precond(Universe::is_bootstrapping());
1300 precond(java_platform_loader() != nullptr && java_system_loader() != nullptr);
1301 precond(class_loader() == nullptr || class_loader() == java_platform_loader() ||class_loader() == java_system_loader());
1302 precond(CDSConfig::is_using_aot_linked_classes());
1303 precond(AOTMetaspace::in_aot_cache_static_region((void*)ik));
1304 precond(!ik->is_loaded());
1305
1306 #ifdef ASSERT
1307 // preload_class() must be called in the correct order -- all super types must have
1308 // already been loaded.
1309 if (ik->java_super() != nullptr) {
1310 assert(ik->java_super()->is_loaded(), "must be");
1311 }
1312
1313 Array<InstanceKlass*>* interfaces = ik->local_interfaces();
1314 int num_interfaces = interfaces->length();
1315 for (int index = 0; index < num_interfaces; index++) {
1316 assert(interfaces->at(index)->is_loaded(), "must be");
1317 }
1318 #endif
1319
1320 EventClassLoad class_load_event;
1321
1322 ClassLoaderData* loader_data = ClassLoaderData::class_loader_data(class_loader());
1323 oop java_mirror = ik->archived_java_mirror();
1324 precond(java_mirror != nullptr);
1325 assert(java_lang_Class::module(java_mirror) != nullptr, "must have been archived");
1326
1327 Handle pd(THREAD, java_lang_Class::protection_domain(java_mirror));
1328 PackageEntry* pkg_entry = ik->package();
1329 assert(pkg_entry != nullptr || ClassLoader::package_from_class_name(ik->name()) == nullptr,
1330 "non-empty packages must have been archived");
1331
1332 // TODO: the following assert requires JDK-8365580
1333 // assert(is_shared_class_visible(ik->name(), ik, pkg_entry, class_loader), "must be");
1334
1335 ik->restore_unshareable_info(loader_data, pd, pkg_entry, CHECK);
1336 load_shared_class_misc(ik, loader_data);
1337 ik->add_to_hierarchy(THREAD);
1338
1339 if (!ik->is_hidden()) {
1340 update_dictionary(THREAD, ik, loader_data);
1341 }
1342
1343 if (class_load_event.should_commit()) {
1344 JFR_ONLY(post_class_load_event(&class_load_event, ik, loader_data);)
1345 }
1346
1347 assert(ik->is_loaded(), "Must be in at least loaded state");
1348 }
1349
1350 #endif // INCLUDE_CDS
1351
1352 #if INCLUDE_JFR
1353 void SystemDictionary::post_class_load_event(EventClassLoad* event, const InstanceKlass* k, const ClassLoaderData* init_cld) {
1354 assert(event != nullptr, "invariant");
1355 assert(k != nullptr, "invariant");
1356 event->set_loadedClass(k);
1357 event->set_definingClassLoader(k->class_loader_data());
1358 event->set_initiatingClassLoader(init_cld);
1359 event->commit();
1360 }
1361 #endif // INCLUDE_JFR
1362
1363 InstanceKlass* SystemDictionary::load_instance_class_impl(Symbol* class_name, Handle class_loader, TRAPS) {
1364
1365 if (class_loader.is_null()) {
1366 ResourceMark rm(THREAD);
1367 PackageEntry* pkg_entry = nullptr;
1368 bool search_only_bootloader_append = false;
1369
1370 // Find the package in the boot loader's package entry table.
1371 TempNewSymbol pkg_name = ClassLoader::package_from_class_name(class_name);
1372 if (pkg_name != nullptr) {
1373 pkg_entry = class_loader_data(class_loader)->packages()->lookup_only(pkg_name);
1374 }
1375
1376 // Prior to attempting to load the class, enforce the boot loader's
1377 // visibility boundaries.
1378 if (!Universe::is_module_initialized()) {
1379 // During bootstrapping, prior to module initialization, any
1380 // class attempting to be loaded must be checked against the
1381 // java.base packages in the boot loader's PackageEntryTable.
1382 // No class outside of java.base is allowed to be loaded during
1383 // this bootstrapping window.
1384 if (pkg_entry == nullptr || pkg_entry->in_unnamed_module()) {
1385 // Class is either in the unnamed package or in
1386 // a named package within the unnamed module. Either
1387 // case is outside of java.base, do not attempt to
1388 // load the class post java.base definition. If
1389 // java.base has not been defined, let the class load
1390 // and its package will be checked later by
1391 // ModuleEntryTable::verify_javabase_packages.
1392 if (ModuleEntryTable::javabase_defined()) {
1393 return nullptr;
1394 }
1395 } else {
1396 // Check that the class' package is defined within java.base.
1397 ModuleEntry* mod_entry = pkg_entry->module();
1398 Symbol* mod_entry_name = mod_entry->name();
1399 if (mod_entry_name->fast_compare(vmSymbols::java_base()) != 0) {
1400 return nullptr;
1401 }
1402 }
1403 } else {
1404 // After the module system has been initialized, check if the class'
1405 // package is in a module defined to the boot loader.
1406 if (pkg_name == nullptr || pkg_entry == nullptr || pkg_entry->in_unnamed_module()) {
1407 // Class is either in the unnamed package, in a named package
1408 // within a module not defined to the boot loader or in a
1409 // a named package within the unnamed module. In all cases,
1410 // limit visibility to search for the class only in the boot
1411 // loader's append path.
1412 if (!ClassLoader::has_bootclasspath_append()) {
1413 // If there is no bootclasspath append entry, no need to continue
1414 // searching.
1415 return nullptr;
1416 }
1417 search_only_bootloader_append = true;
1418 }
1419 }
1420
1421 // Prior to bootstrapping's module initialization, never load a class outside
1422 // of the boot loader's module path
1423 assert(Universe::is_module_initialized() ||
1424 !search_only_bootloader_append,
1425 "Attempt to load a class outside of boot loader's module path");
1426
1427 // Search for classes in the CDS archive.
1428 InstanceKlass* k = nullptr;
1429
1430 #if INCLUDE_CDS
1431 if (CDSConfig::is_using_archive())
1432 {
1433 PerfTraceTime vmtimer(ClassLoader::perf_shared_classload_time());
1434 InstanceKlass* ik = SystemDictionaryShared::find_builtin_class(class_name);
1435 if (ik != nullptr && ik->defined_by_boot_loader() && !ik->shared_loading_failed()) {
1436 SharedClassLoadingMark slm(THREAD, ik);
1437 k = load_shared_class(ik, class_loader, Handle(), nullptr, pkg_entry, CHECK_NULL);
1438 }
1439 }
1440 #endif
1441
1442 if (k == nullptr) {
1443 // Use VM class loader
1444 PerfTraceTime vmtimer(ClassLoader::perf_sys_classload_time());
1445 k = ClassLoader::load_class(class_name, pkg_entry, search_only_bootloader_append, CHECK_NULL);
1446 }
1447
1448 // find_or_define_instance_class may return a different InstanceKlass
1449 if (k != nullptr) {
1450 CDS_ONLY(SharedClassLoadingMark slm(THREAD, k);)
1451 k = find_or_define_instance_class(class_name, class_loader, k, CHECK_NULL);
1452 }
1453 return k;
1454 } else {
1455 // Use user specified class loader to load class. Call loadClass operation on class_loader.
1456 ResourceMark rm(THREAD);
1457
1458 JavaThread* jt = THREAD;
1459
1460 PerfClassTraceTime vmtimer(ClassLoader::perf_app_classload_time(),
1461 ClassLoader::perf_app_classload_selftime(),
1462 ClassLoader::perf_app_classload_count(),
1463 jt->get_thread_stat()->perf_recursion_counts_addr(),
1464 jt->get_thread_stat()->perf_timers_addr(),
1465 PerfClassTraceTime::CLASS_LOAD);
1466
1467 // Translate to external class name format, i.e., convert '/' chars to '.'
1468 Handle string = java_lang_String::externalize_classname(class_name, CHECK_NULL);
1469
1470 JavaValue result(T_OBJECT);
1471
1472 InstanceKlass* spec_klass = vmClasses::ClassLoader_klass();
1473
1474 // Call public unsynchronized loadClass(String) directly for all class loaders.
1475 // For parallelCapable class loaders, JDK >=7, loadClass(String, boolean) will
1476 // acquire a class-name based lock rather than the class loader object lock.
1477 // JDK < 7 already acquire the class loader lock in loadClass(String, boolean).
1478 JavaCalls::call_virtual(&result,
1479 class_loader,
1480 spec_klass,
1481 vmSymbols::loadClass_name(),
1482 vmSymbols::string_class_signature(),
1483 string,
1484 CHECK_NULL);
1485
1486 assert(result.get_type() == T_OBJECT, "just checking");
1487 oop obj = result.get_oop();
1488
1489 // Primitive classes return null since forName() cannot be
1490 // used to obtain any of the Class objects representing primitives or void
1491 if ((obj != nullptr) && !(java_lang_Class::is_primitive(obj))) {
1492 InstanceKlass* k = java_lang_Class::as_InstanceKlass(obj);
1493 // For user defined Java class loaders, check that the name returned is
1494 // the same as that requested. This check is done for the bootstrap
1495 // loader when parsing the class file.
1496 if (class_name == k->name()) {
1497 return k;
1498 }
1499 }
1500 // Class is not found or has the wrong name, return null
1501 return nullptr;
1502 }
1503 }
1504
1505 InstanceKlass* SystemDictionary::load_instance_class(Symbol* name,
1506 Handle class_loader,
1507 TRAPS) {
1508
1509 InstanceKlass* loaded_class = load_instance_class_impl(name, class_loader, CHECK_NULL);
1510
1511 // If everything was OK (no exceptions, no null return value), and
1512 // class_loader is NOT the defining loader, do a little more bookkeeping.
1513 if (loaded_class != nullptr &&
1514 loaded_class->class_loader() != class_loader()) {
1515
1516 ClassLoaderData* loader_data = class_loader_data(class_loader);
1517 check_constraints(loaded_class, loader_data, false, CHECK_NULL);
1518
1519 // Record dependency for non-parent delegation.
1520 // This recording keeps the defining class loader of the klass (loaded_class) found
1521 // from being unloaded while the initiating class loader is loaded
1522 // even if the reference to the defining class loader is dropped
1523 // before references to the initiating class loader.
1524 loader_data->record_dependency(loaded_class);
1525
1526 update_dictionary(THREAD, loaded_class, loader_data);
1527
1528 if (JvmtiExport::should_post_class_load()) {
1529 JvmtiExport::post_class_load(THREAD, loaded_class);
1530 }
1531 }
1532 return loaded_class;
1533 }
1534
1535 void SystemDictionary::define_instance_class(InstanceKlass* k, Handle class_loader, TRAPS) {
1536
1537 ClassLoaderData* loader_data = k->class_loader_data();
1538 assert(loader_data->class_loader() == class_loader(), "they must be the same");
1539
1540 // Bootstrap and other parallel classloaders don't acquire a lock,
1541 // they use placeholder token.
1542 // If a parallelCapable class loader calls define_instance_class instead of
1543 // find_or_define_instance_class to get here, we have a timing
1544 // hole with systemDictionary updates and check_constraints
1545 if (!is_parallelCapable(class_loader)) {
1546 assert(ObjectSynchronizer::current_thread_holds_lock(THREAD,
1547 get_loader_lock_or_null(class_loader)),
1548 "define called without lock");
1549 }
1550
1551 // Check class-loading constraints. Throw exception if violation is detected.
1552 // Grabs and releases SystemDictionary_lock
1553 // The check_constraints/find_class call and update_dictionary sequence
1554 // must be "atomic" for a specific class/classloader pair so we never
1555 // define two different instanceKlasses for that class/classloader pair.
1556 // Existing classloaders will call define_instance_class with the
1557 // classloader lock held
1558 // Parallel classloaders will call find_or_define_instance_class
1559 // which will require a token to perform the define class
1560 check_constraints(k, loader_data, true, CHECK);
1561
1562 // Register class just loaded with class loader (placed in ArrayList)
1563 // Note we do this before updating the dictionary, as this can
1564 // fail with an OutOfMemoryError (if it does, we will *not* put this
1565 // class in the dictionary and will not update the class hierarchy).
1566 // JVMTI FollowReferences needs to find the classes this way.
1567 if (k->class_loader() != nullptr) {
1568 methodHandle m(THREAD, Universe::loader_addClass_method());
1569 JavaValue result(T_VOID);
1570 JavaCallArguments args(class_loader);
1571 args.push_oop(Handle(THREAD, k->java_mirror()));
1572 JavaCalls::call(&result, m, &args, CHECK);
1573 }
1574
1575 // Add to class hierarchy, and do possible deoptimizations.
1576 k->add_to_hierarchy(THREAD);
1577
1578 // Add to systemDictionary - so other classes can see it.
1579 // Grabs and releases SystemDictionary_lock
1580 update_dictionary(THREAD, k, loader_data);
1581
1582 // notify jvmti
1583 if (JvmtiExport::should_post_class_load()) {
1584 JvmtiExport::post_class_load(THREAD, k);
1585 }
1586 }
1587
1588 // Support parallel classloading
1589 // All parallel class loaders, including bootstrap classloader
1590 // lock a placeholder entry for this class/class_loader pair
1591 // to allow parallel defines of different classes for this class loader
1592 // With AllowParallelDefine flag==true, in case they do not synchronize around
1593 // FindLoadedClass/DefineClass, calls, we check for parallel
1594 // loading for them, wait if a defineClass is in progress
1595 // and return the initial requestor's results
1596 // This flag does not apply to the bootstrap classloader.
1597 // With AllowParallelDefine flag==false, call through to define_instance_class
1598 // which will throw LinkageError: duplicate class definition.
1599 // False is the requested default.
1600 // For better performance, the class loaders should synchronize
1601 // findClass(), i.e. FindLoadedClass/DefineClassIfAbsent or they
1602 // potentially waste time reading and parsing the bytestream.
1603 // Note: VM callers should ensure consistency of k/class_name,class_loader
1604 // Be careful when modifying this code: once you have run
1605 // PlaceholderTable::find_and_add(PlaceholderTable::DEFINE_CLASS),
1606 // you need to find_and_remove it before returning.
1607 // So be careful to not exit with a CHECK_ macro between these calls.
1608 InstanceKlass* SystemDictionary::find_or_define_helper(Symbol* class_name, Handle class_loader,
1609 InstanceKlass* k, TRAPS) {
1610
1611 Symbol* name_h = k->name();
1612 ClassLoaderData* loader_data = class_loader_data(class_loader);
1613 Dictionary* dictionary = loader_data->dictionary();
1614
1615 // Hold SD lock around find_class and placeholder creation for DEFINE_CLASS
1616 {
1617 MutexLocker mu(THREAD, SystemDictionary_lock);
1618 // First check if class already defined
1619 if (is_parallelDefine(class_loader)) {
1620 InstanceKlass* check = dictionary->find_class(THREAD, name_h);
1621 if (check != nullptr) {
1622 return check;
1623 }
1624 }
1625
1626 // Acquire define token for this class/classloader
1627 PlaceholderEntry* probe = PlaceholderTable::find_and_add(name_h, loader_data,
1628 PlaceholderTable::DEFINE_CLASS, nullptr, THREAD);
1629 // Wait if another thread defining in parallel
1630 // All threads wait - even those that will throw duplicate class: otherwise
1631 // caller is surprised by LinkageError: duplicate, but findLoadedClass fails
1632 // if other thread has not finished updating dictionary
1633 while (probe->definer() != nullptr) {
1634 SystemDictionary_lock->wait();
1635 }
1636 // Only special cases allow parallel defines and can use other thread's results
1637 // Other cases fall through, and may run into duplicate defines
1638 // caught by finding an entry in the SystemDictionary
1639 if (is_parallelDefine(class_loader) && (probe->instance_klass() != nullptr)) {
1640 InstanceKlass* ik = probe->instance_klass();
1641 PlaceholderTable::find_and_remove(name_h, loader_data, PlaceholderTable::DEFINE_CLASS, THREAD);
1642 SystemDictionary_lock->notify_all();
1643 #ifdef ASSERT
1644 InstanceKlass* check = dictionary->find_class(THREAD, name_h);
1645 assert(check != nullptr, "definer missed recording success");
1646 #endif
1647 return ik;
1648 } else {
1649 // This thread will define the class (even if earlier thread tried and had an error)
1650 probe->set_definer(THREAD);
1651 }
1652 }
1653
1654 define_instance_class(k, class_loader, THREAD);
1655
1656 // definer must notify any waiting threads
1657 {
1658 MutexLocker mu(THREAD, SystemDictionary_lock);
1659 PlaceholderEntry* probe = PlaceholderTable::get_entry(name_h, loader_data);
1660 assert(probe != nullptr, "DEFINE_CLASS placeholder lost?");
1661 if (!HAS_PENDING_EXCEPTION) {
1662 probe->set_instance_klass(k);
1663 }
1664 probe->set_definer(nullptr);
1665 PlaceholderTable::find_and_remove(name_h, loader_data, PlaceholderTable::DEFINE_CLASS, THREAD);
1666 SystemDictionary_lock->notify_all();
1667 }
1668
1669 return HAS_PENDING_EXCEPTION ? nullptr : k;
1670 }
1671
1672 // If a class loader supports parallel classloading handle parallel define requests.
1673 // find_or_define_instance_class may return a different InstanceKlass
1674 InstanceKlass* SystemDictionary::find_or_define_instance_class(Symbol* class_name, Handle class_loader,
1675 InstanceKlass* k, TRAPS) {
1676 InstanceKlass* defined_k = find_or_define_helper(class_name, class_loader, k, THREAD);
1677 // Clean up original InstanceKlass if duplicate or error
1678 if (!HAS_PENDING_EXCEPTION && defined_k != k) {
1679 // If a parallel capable class loader already defined this class, register 'k' for cleanup.
1680 assert(defined_k != nullptr, "Should have a klass if there's no exception");
1681 k->class_loader_data()->add_to_deallocate_list(k);
1682 } else if (HAS_PENDING_EXCEPTION) {
1683 // Remove this InstanceKlass from the LoaderConstraintTable if added.
1684 LoaderConstraintTable::remove_failed_loaded_klass(k, class_loader_data(class_loader));
1685 assert(defined_k == nullptr, "Should not have a klass if there's an exception");
1686 k->class_loader_data()->add_to_deallocate_list(k);
1687 }
1688 return defined_k;
1689 }
1690
1691
1692 // ----------------------------------------------------------------------------
1693 // GC support
1694
1695 // Assumes classes in the SystemDictionary are only unloaded at a safepoint
1696 bool SystemDictionary::do_unloading(GCTimer* gc_timer) {
1697
1698 bool unloading_occurred;
1699 bool is_concurrent = !SafepointSynchronize::is_at_safepoint();
1700 {
1701 GCTraceTime(Debug, gc, phases) t("ClassLoaderData", gc_timer);
1702 assert_locked_or_safepoint(ClassLoaderDataGraph_lock); // caller locks.
1703 // First, mark for unload all ClassLoaderData referencing a dead class loader.
1704 unloading_occurred = ClassLoaderDataGraph::do_unloading();
1705 if (unloading_occurred) {
1706 ConditionalMutexLocker ml2(Module_lock, is_concurrent);
1707 JFR_ONLY(Jfr::on_unloading_classes();)
1708 MANAGEMENT_ONLY(FinalizerService::purge_unloaded();)
1709 ConditionalMutexLocker ml1(SystemDictionary_lock, is_concurrent);
1710 ClassLoaderDataGraph::clean_module_and_package_info();
1711 LoaderConstraintTable::purge_loader_constraints();
1712 ResolutionErrorTable::purge_resolution_errors();
1713 }
1714 }
1715
1716 GCTraceTime(Debug, gc, phases) t("Trigger cleanups", gc_timer);
1717
1718 if (unloading_occurred) {
1719 SymbolTable::trigger_cleanup();
1720
1721 ConditionalMutexLocker ml(ClassInitError_lock, is_concurrent);
1722 InstanceKlass::clean_initialization_error_table();
1723 }
1724
1725 return unloading_occurred;
1726 }
1727
1728 void SystemDictionary::methods_do(void f(Method*)) {
1729 // Walk methods in loaded classes
1730
1731 {
1732 MutexLocker ml(ClassLoaderDataGraph_lock);
1733 ClassLoaderDataGraph::methods_do(f);
1734 }
1735
1736 auto doit = [&] (InvokeMethodKey key, Method* method) {
1737 if (method != nullptr) {
1738 f(method);
1739 }
1740 };
1741
1742 {
1743 MutexLocker ml(InvokeMethodIntrinsicTable_lock);
1744 _invoke_method_intrinsic_table->iterate_all(doit);
1745 }
1746
1747 }
1748
1749 // ----------------------------------------------------------------------------
1750 // Initialization
1751
1752 void SystemDictionary::initialize(TRAPS) {
1753 _invoke_method_intrinsic_table = new (mtClass) InvokeMethodIntrinsicTable();
1754 _invoke_method_type_table = new (mtClass) InvokeMethodTypeTable();
1755 ResolutionErrorTable::initialize();
1756 LoaderConstraintTable::initialize();
1757 PlaceholderTable::initialize();
1758 #if INCLUDE_CDS
1759 SystemDictionaryShared::initialize();
1760 if (CDSConfig::is_dumping_archive()) {
1761 AOTClassLocationConfig::dumptime_init(THREAD);
1762 }
1763 #endif
1764 // Resolve basic classes
1765 vmClasses::resolve_all(CHECK);
1766 // Resolve classes used by archived heap objects
1767 if (CDSConfig::is_using_archive()) {
1768 HeapShared::resolve_classes(THREAD);
1769 }
1770 }
1771
1772 // Constraints on class loaders. The details of the algorithm can be
1773 // found in the OOPSLA'98 paper "Dynamic Class Loading in the Java
1774 // Virtual Machine" by Sheng Liang and Gilad Bracha. The basic idea is
1775 // that the dictionary needs to maintain a set of constraints that
1776 // must be satisfied by all classes in the dictionary.
1777 // if defining is true, then LinkageError if already in dictionary
1778 // if initiating loader, then ok if InstanceKlass matches existing entry
1779
1780 void SystemDictionary::check_constraints(InstanceKlass* k,
1781 ClassLoaderData* loader_data,
1782 bool defining,
1783 TRAPS) {
1784 ResourceMark rm(THREAD);
1785 stringStream ss;
1786 bool throwException = false;
1787
1788 {
1789 Symbol* name = k->name();
1790
1791 MutexLocker mu(THREAD, SystemDictionary_lock);
1792
1793 InstanceKlass* check = loader_data->dictionary()->find_class(THREAD, name);
1794 if (check != nullptr) {
1795 // If different InstanceKlass - duplicate class definition,
1796 // else - ok, class loaded by a different thread in parallel.
1797 // We should only have found it if it was done loading and ok to use.
1798
1799 if ((defining == true) || (k != check)) {
1800 throwException = true;
1801 ss.print("loader %s", loader_data->loader_name_and_id());
1802 ss.print(" attempted duplicate %s definition for %s. (%s)",
1803 k->external_kind(), k->external_name(), k->class_in_module_of_loader(false, true));
1804 } else {
1805 return;
1806 }
1807 }
1808
1809 if (throwException == false) {
1810 if (LoaderConstraintTable::check_or_update(k, loader_data, name) == false) {
1811 throwException = true;
1812 ss.print("loader constraint violation: loader %s", loader_data->loader_name_and_id());
1813 ss.print(" wants to load %s %s.",
1814 k->external_kind(), k->external_name());
1815 Klass *existing_klass = LoaderConstraintTable::find_constrained_klass(name, loader_data);
1816 if (existing_klass != nullptr && existing_klass->class_loader_data() != loader_data) {
1817 ss.print(" A different %s with the same name was previously loaded by %s. (%s)",
1818 existing_klass->external_kind(),
1819 existing_klass->class_loader_data()->loader_name_and_id(),
1820 existing_klass->class_in_module_of_loader(false, true));
1821 } else {
1822 ss.print(" (%s)", k->class_in_module_of_loader(false, true));
1823 }
1824 }
1825 }
1826 }
1827
1828 // Throw error now if needed (cannot throw while holding
1829 // SystemDictionary_lock because of rank ordering)
1830 if (throwException == true) {
1831 THROW_MSG(vmSymbols::java_lang_LinkageError(), ss.as_string());
1832 }
1833 }
1834
1835 // Update class loader data dictionary - done after check_constraint and add_to_hierarchy
1836 // have been called.
1837 void SystemDictionary::update_dictionary(JavaThread* current,
1838 InstanceKlass* k,
1839 ClassLoaderData* loader_data) {
1840 MonitorLocker mu1(SystemDictionary_lock);
1841
1842 // Make a new dictionary entry.
1843 Symbol* name = k->name();
1844 Dictionary* dictionary = loader_data->dictionary();
1845 InstanceKlass* sd_check = dictionary->find_class(current, name);
1846 if (sd_check == nullptr) {
1847 dictionary->add_klass(current, name, k);
1848 }
1849 mu1.notify_all();
1850 }
1851
1852 // Indicate that loader_data has initiated the loading of class k, which
1853 // has already been defined by a parent loader.
1854 // This API is used by AOTLinkedClassBulkLoader and to register boxing
1855 // classes from java.lang in all class loaders to enable more value
1856 // classes optimizations.
1857 void SystemDictionary::add_to_initiating_loader(JavaThread* current,
1858 InstanceKlass* k,
1859 ClassLoaderData* loader_data) {
1860 assert_locked_or_safepoint(SystemDictionary_lock);
1861 Symbol* name = k->name();
1862 Dictionary* dictionary = loader_data->dictionary();
1863 assert(k->is_loaded(), "must be");
1864 assert(k->class_loader_data() != loader_data, "only for classes defined by a parent loader");
1865 if (dictionary->find_class(current, name) == nullptr) {
1866 dictionary->add_klass(current, name, k);
1867 }
1868 }
1869
1870 // Try to find a class name using the loader constraints. The
1871 // loader constraints might know about a class that isn't fully loaded
1872 // yet and these will be ignored.
1873 Klass* SystemDictionary::find_constrained_instance_or_array_klass(
1874 Thread* current, Symbol* class_name, Handle class_loader) {
1875
1876 // First see if it has been loaded directly.
1877 Klass* klass = find_instance_or_array_klass(current, class_name, class_loader);
1878 if (klass != nullptr)
1879 return klass;
1880
1881 // Now look to see if it has been loaded elsewhere, and is subject to
1882 // a loader constraint that would require this loader to return the
1883 // klass that is already loaded.
1884 if (Signature::is_array(class_name)) {
1885 // For array classes, their Klass*s are not kept in the
1886 // constraint table. The element Klass*s are.
1887 SignatureStream ss(class_name, false);
1888 int ndims = ss.skip_array_prefix(); // skip all '['s
1889 BasicType t = ss.type();
1890 if (t != T_OBJECT) {
1891 klass = Universe::typeArrayKlass(t);
1892 } else {
1893 MutexLocker mu(current, SystemDictionary_lock);
1894 klass = LoaderConstraintTable::find_constrained_klass(ss.as_symbol(), class_loader_data(class_loader));
1895 }
1896 // If element class already loaded, allocate array klass
1897 if (klass != nullptr) {
1898 klass = klass->array_klass_or_null(ndims);
1899 }
1900 } else {
1901 MutexLocker mu(current, SystemDictionary_lock);
1902 // Non-array classes are easy: simply check the constraint table.
1903 klass = LoaderConstraintTable::find_constrained_klass(class_name, class_loader_data(class_loader));
1904 }
1905
1906 return klass;
1907 }
1908
1909 bool SystemDictionary::add_loader_constraint(Symbol* class_name,
1910 Klass* klass_being_linked,
1911 Handle class_loader1,
1912 Handle class_loader2) {
1913 ClassLoaderData* loader_data1 = class_loader_data(class_loader1);
1914 ClassLoaderData* loader_data2 = class_loader_data(class_loader2);
1915
1916 Symbol* constraint_name = nullptr;
1917
1918 if (!Signature::is_array(class_name)) {
1919 constraint_name = class_name;
1920 } else {
1921 // For array classes, their Klass*s are not kept in the
1922 // constraint table. The element classes are.
1923 SignatureStream ss(class_name, false);
1924 ss.skip_array_prefix(); // skip all '['s
1925 if (!ss.has_envelope()) {
1926 return true; // primitive types always pass
1927 }
1928 constraint_name = ss.as_symbol();
1929 // Increment refcount to keep constraint_name alive after
1930 // SignatureStream is destructed. It will be decremented below
1931 // before returning.
1932 constraint_name->increment_refcount();
1933 }
1934
1935 Dictionary* dictionary1 = loader_data1->dictionary();
1936 Dictionary* dictionary2 = loader_data2->dictionary();
1937
1938 JavaThread* current = JavaThread::current();
1939 {
1940 MutexLocker mu_s(SystemDictionary_lock);
1941 InstanceKlass* klass1 = dictionary1->find_class(current, constraint_name);
1942 InstanceKlass* klass2 = dictionary2->find_class(current, constraint_name);
1943 bool result = LoaderConstraintTable::add_entry(constraint_name, klass1, loader_data1,
1944 klass2, loader_data2);
1945 #if INCLUDE_CDS
1946 if (CDSConfig::is_dumping_archive() && klass_being_linked != nullptr &&
1947 !klass_being_linked->in_aot_cache()) {
1948 SystemDictionaryShared::record_linking_constraint(constraint_name,
1949 InstanceKlass::cast(klass_being_linked),
1950 class_loader1, class_loader2);
1951 }
1952 #endif // INCLUDE_CDS
1953 if (Signature::is_array(class_name)) {
1954 constraint_name->decrement_refcount();
1955 }
1956 return result;
1957 }
1958 }
1959
1960 // Add entry to resolution error table to record the error when the first
1961 // attempt to resolve a reference to a class has failed.
1962 void SystemDictionary::add_resolution_error(const constantPoolHandle& pool, int which,
1963 Symbol* error, const char* message,
1964 Symbol* cause, const char* cause_msg) {
1965 {
1966 MutexLocker ml(Thread::current(), SystemDictionary_lock);
1967 ResolutionErrorEntry* entry = ResolutionErrorTable::find_entry(pool, which);
1968 if (entry == nullptr) {
1969 ResolutionErrorTable::add_entry(pool, which, error, message, cause, cause_msg);
1970 }
1971 }
1972 }
1973
1974 // Delete a resolution error for RedefineClasses for a constant pool is going away
1975 void SystemDictionary::delete_resolution_error(ConstantPool* pool) {
1976 ResolutionErrorTable::delete_entry(pool);
1977 }
1978
1979 // Lookup resolution error table. Returns error if found, otherwise null.
1980 Symbol* SystemDictionary::find_resolution_error(const constantPoolHandle& pool, int which,
1981 const char** message,
1982 Symbol** cause, const char** cause_msg) {
1983
1984 {
1985 MutexLocker ml(Thread::current(), SystemDictionary_lock);
1986 ResolutionErrorEntry* entry = ResolutionErrorTable::find_entry(pool, which);
1987 if (entry != nullptr) {
1988 *message = entry->message();
1989 *cause = entry->cause();
1990 *cause_msg = entry->cause_msg();
1991 return entry->error();
1992 } else {
1993 return nullptr;
1994 }
1995 }
1996 }
1997
1998 // Add an entry to resolution error table to record an error in resolving or
1999 // validating a nest host. This is used to construct informative error
2000 // messages when IllegalAccessError's occur. If an entry already exists it will
2001 // be updated with the nest host error message.
2002
2003 void SystemDictionary::add_nest_host_error(const constantPoolHandle& pool,
2004 int which,
2005 const stringStream& message) {
2006 {
2007 MutexLocker ml(Thread::current(), SystemDictionary_lock);
2008 ResolutionErrorEntry* entry = ResolutionErrorTable::find_entry(pool, which);
2009 if (entry == nullptr) {
2010 // Only add a new entry to the resolution error table if one hasn't been found for this
2011 // constant pool index. In this case resolution succeeded but there's an error in this nest host
2012 // that we use the table to record.
2013 assert(pool->resolved_klass_at(which) != nullptr, "klass should be resolved if there is no entry");
2014 ResolutionErrorTable::add_entry(pool, which, message.as_string(true /* on C-heap */));
2015 } else {
2016 // An existing entry means we had a true resolution failure (LinkageError) with our nest host, but we
2017 // still want to add the error message for the higher-level access checks to report. We should
2018 // only reach here under the same error condition, so we can ignore the potential race with setting
2019 // the message.
2020 const char* nhe = entry->nest_host_error();
2021 if (nhe == nullptr) {
2022 entry->set_nest_host_error(message.as_string(true /* on C-heap */));
2023 } else {
2024 DEBUG_ONLY(const char* msg = message.base();)
2025 assert(strcmp(nhe, msg) == 0, "New message %s, differs from original %s", msg, nhe);
2026 }
2027 }
2028 }
2029 }
2030
2031 // Lookup any nest host error
2032 const char* SystemDictionary::find_nest_host_error(const constantPoolHandle& pool, int which) {
2033 {
2034 MutexLocker ml(Thread::current(), SystemDictionary_lock);
2035 ResolutionErrorEntry* entry = ResolutionErrorTable::find_entry(pool, which);
2036 if (entry != nullptr) {
2037 return entry->nest_host_error();
2038 } else {
2039 return nullptr;
2040 }
2041 }
2042 }
2043
2044 // Signature constraints ensure that callers and callees agree about
2045 // the meaning of type names in their signatures. This routine is the
2046 // intake for constraints. It collects them from several places:
2047 //
2048 // * LinkResolver::resolve_method (if check_access is true) requires
2049 // that the resolving class (the caller) and the defining class of
2050 // the resolved method (the callee) agree on each type in the
2051 // method's signature.
2052 //
2053 // * LinkResolver::resolve_interface_method performs exactly the same
2054 // checks.
2055 //
2056 // * LinkResolver::resolve_field requires that the constant pool
2057 // attempting to link to a field agree with the field's defining
2058 // class about the type of the field signature.
2059 //
2060 // * klassVtable::initialize_vtable requires that, when a class
2061 // overrides a vtable entry allocated by a superclass, that the
2062 // overriding method (i.e., the callee) agree with the superclass
2063 // on each type in the method's signature.
2064 //
2065 // * klassItable::initialize_itable requires that, when a class fills
2066 // in its itables, for each non-abstract method installed in an
2067 // itable, the method (i.e., the callee) agree with the interface
2068 // on each type in the method's signature.
2069 //
2070 // All those methods have a boolean (check_access, checkconstraints)
2071 // which turns off the checks. This is used from specialized contexts
2072 // such as bootstrapping, dumping, and debugging.
2073 //
2074 // No direct constraint is placed between the class and its
2075 // supertypes. Constraints are only placed along linked relations
2076 // between callers and callees. When a method overrides or implements
2077 // an abstract method in a supertype (superclass or interface), the
2078 // constraints are placed as if the supertype were the caller to the
2079 // overriding method. (This works well, since callers to the
2080 // supertype have already established agreement between themselves and
2081 // the supertype.) As a result of all this, a class can disagree with
2082 // its supertype about the meaning of a type name, as long as that
2083 // class neither calls a relevant method of the supertype, nor is
2084 // called (perhaps via an override) from the supertype.
2085 //
2086 //
2087 // SystemDictionary::check_signature_loaders(sig, klass_being_linked, l1, l2)
2088 //
2089 // Make sure all class components (including arrays) in the given
2090 // signature will be resolved to the same class in both loaders.
2091 // Returns the name of the type that failed a loader constraint check, or
2092 // null if no constraint failed. No exception except OOME is thrown.
2093 // Arrays are not added to the loader constraint table, their elements are.
2094 Symbol* SystemDictionary::check_signature_loaders(Symbol* signature,
2095 Klass* klass_being_linked,
2096 Handle loader1, Handle loader2,
2097 bool is_method) {
2098 // Nothing to do if loaders are the same.
2099 if (loader1() == loader2()) {
2100 return nullptr;
2101 }
2102
2103 for (SignatureStream ss(signature, is_method); !ss.is_done(); ss.next()) {
2104 if (ss.is_reference()) {
2105 Symbol* sig = ss.as_symbol();
2106 // Note: In the future, if template-like types can take
2107 // arguments, we will want to recognize them and dig out class
2108 // names hiding inside the argument lists.
2109 if (!add_loader_constraint(sig, klass_being_linked, loader1, loader2)) {
2110 return sig;
2111 }
2112 }
2113 }
2114 return nullptr;
2115 }
2116
2117 Method* SystemDictionary::find_method_handle_intrinsic(vmIntrinsicID iid,
2118 Symbol* signature,
2119 TRAPS) {
2120
2121 const int iid_as_int = vmIntrinsics::as_int(iid);
2122 assert(MethodHandles::is_signature_polymorphic(iid) &&
2123 MethodHandles::is_signature_polymorphic_intrinsic(iid) &&
2124 iid != vmIntrinsics::_invokeGeneric,
2125 "must be a known MH intrinsic iid=%d: %s", iid_as_int, vmIntrinsics::name_at(iid));
2126
2127 InvokeMethodKey key(signature, iid_as_int);
2128 Method** met = nullptr;
2129
2130 // We only want one entry in the table for this (signature/id, method) pair but the code
2131 // to create the intrinsic method needs to be outside the lock.
2132 // The first thread claims the entry by adding the key and the other threads wait, until the
2133 // Method has been added as the value.
2134 {
2135 MonitorLocker ml(THREAD, InvokeMethodIntrinsicTable_lock);
2136 while (true) {
2137 bool created;
2138 met = _invoke_method_intrinsic_table->put_if_absent(key, &created);
2139 assert(met != nullptr, "either created or found");
2140 if (*met != nullptr) {
2141 return *met;
2142 } else if (created) {
2143 // The current thread won the race and will try to create the full entry.
2144 break;
2145 } else {
2146 // Another thread beat us to it, so wait for them to complete
2147 // and return *met; or if they hit an error we get another try.
2148 ml.wait();
2149 // Note it is not safe to read *met here as that entry could have
2150 // been deleted, so we must loop and try put_if_absent again.
2151 }
2152 }
2153 }
2154
2155 methodHandle m = Method::make_method_handle_intrinsic(iid, signature, THREAD);
2156 bool throw_error = HAS_PENDING_EXCEPTION;
2157 if (!throw_error && (!Arguments::is_interpreter_only() || iid == vmIntrinsics::_linkToNative)) {
2158 // Generate a compiled form of the MH intrinsic
2159 // linkToNative doesn't have interpreter-specific implementation, so always has to go through compiled version.
2160 AdapterHandlerLibrary::create_native_wrapper(m);
2161 // Check if have the compiled code.
2162 throw_error = (!m->has_compiled_code());
2163 }
2164
2165 {
2166 MonitorLocker ml(THREAD, InvokeMethodIntrinsicTable_lock);
2167 if (throw_error) {
2168 // Remove the entry and let another thread try, or get the same exception.
2169 bool removed = _invoke_method_intrinsic_table->remove(key);
2170 assert(removed, "must be the owner");
2171 ml.notify_all();
2172 } else {
2173 signature->make_permanent(); // The signature is never unloaded.
2174 assert(Arguments::is_interpreter_only() || (m->has_compiled_code() &&
2175 m->code()->entry_point() == m->from_compiled_entry()),
2176 "MH intrinsic invariant");
2177 *met = m(); // insert the element
2178 ml.notify_all();
2179 return m();
2180 }
2181 }
2182
2183 // Throw OOM or the pending exception in the JavaThread
2184 if (throw_error && !HAS_PENDING_EXCEPTION) {
2185 THROW_MSG_NULL(vmSymbols::java_lang_OutOfMemoryError(),
2186 "Out of space in CodeCache for method handle intrinsic");
2187 }
2188 return nullptr;
2189 }
2190
2191 #if INCLUDE_CDS
2192 void SystemDictionary::get_all_method_handle_intrinsics(GrowableArray<Method*>* methods) {
2193 assert(SafepointSynchronize::is_at_safepoint(), "must be");
2194 auto do_method = [&] (InvokeMethodKey& key, Method*& m) {
2195 methods->append(m);
2196 };
2197 _invoke_method_intrinsic_table->iterate_all(do_method);
2198 }
2199
2200 void SystemDictionary::restore_archived_method_handle_intrinsics() {
2201 if (UseSharedSpaces) {
2202 EXCEPTION_MARK;
2203 restore_archived_method_handle_intrinsics_impl(THREAD);
2204 if (HAS_PENDING_EXCEPTION) {
2205 // This is probably caused by OOM -- other parts of the CDS archive have direct pointers to
2206 // the archived method handle intrinsics, so we can't really recover from this failure.
2207 vm_exit_during_initialization(err_msg("Failed to restore archived method handle intrinsics. Try to increase heap size."));
2208 }
2209 }
2210 }
2211
2212 void SystemDictionary::restore_archived_method_handle_intrinsics_impl(TRAPS) {
2213 Array<Method*>* list = AOTMetaspace::archived_method_handle_intrinsics();
2214 for (int i = 0; i < list->length(); i++) {
2215 methodHandle m(THREAD, list->at(i));
2216 Method::restore_archived_method_handle_intrinsic(m, CHECK);
2217 m->constants()->restore_unshareable_info(CHECK);
2218 if (!Arguments::is_interpreter_only() || m->intrinsic_id() == vmIntrinsics::_linkToNative) {
2219 AdapterHandlerLibrary::create_native_wrapper(m);
2220 if (!m->has_compiled_code()) {
2221 ResourceMark rm(THREAD);
2222 vm_exit_during_initialization(err_msg("Failed to initialize method %s", m->external_name()));
2223 }
2224 }
2225
2226 // There's no need to grab the InvokeMethodIntrinsicTable_lock, as we are still very early in
2227 // VM start-up -- in init_globals2() -- so we are still running a single Java thread. It's not
2228 // possible to have a contention.
2229 const int iid_as_int = vmIntrinsics::as_int(m->intrinsic_id());
2230 InvokeMethodKey key(m->signature(), iid_as_int);
2231 bool created = _invoke_method_intrinsic_table->put(key, m());
2232 assert(created, "unexpected contention");
2233 }
2234 }
2235 #endif // INCLUDE_CDS
2236
2237 // Helper for unpacking the return value from linkMethod and linkCallSite.
2238 static Method* unpack_method_and_appendix(Handle mname,
2239 Klass* accessing_klass,
2240 refArrayHandle appendix_box,
2241 Handle* appendix_result,
2242 TRAPS) {
2243 if (mname.not_null()) {
2244 Method* m = java_lang_invoke_MemberName::vmtarget(mname());
2245 if (m != nullptr) {
2246 oop appendix = appendix_box->obj_at(0);
2247 LogTarget(Info, methodhandles) lt;
2248 if (lt.develop_is_enabled()) {
2249 ResourceMark rm(THREAD);
2250 LogStream ls(lt);
2251 ls.print("Linked method=" INTPTR_FORMAT ": ", p2i(m));
2252 m->print_on(&ls);
2253 if (appendix != nullptr) { ls.print("appendix = "); appendix->print_on(&ls); }
2254 ls.cr();
2255 }
2256
2257 (*appendix_result) = Handle(THREAD, appendix);
2258 // the target is stored in the cpCache and if a reference to this
2259 // MemberName is dropped we need a way to make sure the
2260 // class_loader containing this method is kept alive.
2261 methodHandle mh(THREAD, m); // record_dependency can safepoint.
2262 ClassLoaderData* this_key = accessing_klass->class_loader_data();
2263 this_key->record_dependency(m->method_holder());
2264 return mh();
2265 }
2266 }
2267 THROW_MSG_NULL(vmSymbols::java_lang_LinkageError(), "bad value from MethodHandleNatives");
2268 }
2269
2270 Method* SystemDictionary::find_method_handle_invoker(Klass* klass,
2271 Symbol* name,
2272 Symbol* signature,
2273 Klass* accessing_klass,
2274 Handle* appendix_result,
2275 TRAPS) {
2276 guarantee(THREAD->can_call_java(), "");
2277 Handle method_type =
2278 SystemDictionary::find_method_handle_type(signature, accessing_klass, CHECK_NULL);
2279
2280 int ref_kind = JVM_REF_invokeVirtual;
2281 oop name_oop = StringTable::intern(name, CHECK_NULL);
2282 Handle name_str (THREAD, name_oop);
2283 refArrayHandle appendix_box = oopFactory::new_refArray_handle(vmClasses::Object_klass(), 1, CHECK_NULL);
2284 assert(appendix_box->obj_at(0) == nullptr, "");
2285
2286 // This should not happen. JDK code should take care of that.
2287 if (accessing_klass == nullptr || method_type.is_null()) {
2288 THROW_MSG_NULL(vmSymbols::java_lang_InternalError(), "bad invokehandle");
2289 }
2290
2291 // call java.lang.invoke.MethodHandleNatives::linkMethod(... String, MethodType) -> MemberName
2292 JavaCallArguments args;
2293 args.push_oop(Handle(THREAD, accessing_klass->java_mirror()));
2294 args.push_int(ref_kind);
2295 args.push_oop(Handle(THREAD, klass->java_mirror()));
2296 args.push_oop(name_str);
2297 args.push_oop(method_type);
2298 args.push_oop(appendix_box);
2299 JavaValue result(T_OBJECT);
2300 JavaCalls::call_static(&result,
2301 vmClasses::MethodHandleNatives_klass(),
2302 vmSymbols::linkMethod_name(),
2303 vmSymbols::linkMethod_signature(),
2304 &args, CHECK_NULL);
2305 Handle mname(THREAD, result.get_oop());
2306 return unpack_method_and_appendix(mname, accessing_klass, appendix_box, appendix_result, THREAD);
2307 }
2308
2309 // Decide if we can globally cache a lookup of this class, to be returned to any client that asks.
2310 // We must ensure that all class loaders everywhere will reach this class, for any client.
2311 // This is a safe bet for public classes in java.lang, such as Object and String.
2312 // We also include public classes in java.lang.invoke, because they appear frequently in system-level method types.
2313 // Out of an abundance of caution, we do not include any other classes, not even for packages like java.util.
2314 static bool is_always_visible_class(oop mirror) {
2315 Klass* klass = java_lang_Class::as_Klass(mirror);
2316 if (klass->is_objArray_klass()) {
2317 klass = ObjArrayKlass::cast(klass)->bottom_klass(); // check element type
2318 }
2319 if (klass->is_typeArray_klass()) {
2320 return true; // primitive array
2321 }
2322 assert(klass->is_instance_klass(), "%s", klass->external_name());
2323 InstanceKlass* ik = InstanceKlass::cast(klass);
2324 return ik->is_public() &&
2325 (ik->is_same_class_package(vmClasses::Object_klass()) || // java.lang
2326 ik->is_same_class_package(vmClasses::MethodHandle_klass())); // java.lang.invoke
2327 }
2328
2329 // Find or construct the Java mirror (java.lang.Class instance) for
2330 // the given field type signature, as interpreted relative to the
2331 // given class loader. Handles primitives, void, references, arrays,
2332 // and all other reflectable types, except method types.
2333 // N.B. Code in reflection should use this entry point.
2334 Handle SystemDictionary::find_java_mirror_for_type(Symbol* signature,
2335 Klass* accessing_klass,
2336 SignatureStream::FailureMode failure_mode,
2337 TRAPS) {
2338
2339 Handle class_loader;
2340
2341 // What we have here must be a valid field descriptor,
2342 // and all valid field descriptors are supported.
2343 // Produce the same java.lang.Class that reflection reports.
2344 if (accessing_klass != nullptr) {
2345 class_loader = Handle(THREAD, accessing_klass->class_loader());
2346 }
2347 ResolvingSignatureStream ss(signature, class_loader, false);
2348 oop mirror_oop = ss.as_java_mirror(failure_mode, CHECK_NH);
2349 if (mirror_oop == nullptr) {
2350 return Handle(); // report failure this way
2351 }
2352 Handle mirror(THREAD, mirror_oop);
2353
2354 if (accessing_klass != nullptr) {
2355 // Check accessibility, emulating ConstantPool::verify_constant_pool_resolve.
2356 Klass* sel_klass = java_lang_Class::as_Klass(mirror());
2357 if (sel_klass != nullptr) {
2358 LinkResolver::check_klass_accessibility(accessing_klass, sel_klass, CHECK_NH);
2359 }
2360 }
2361 return mirror;
2362 }
2363
2364
2365 // Ask Java code to find or construct a java.lang.invoke.MethodType for the given
2366 // signature, as interpreted relative to the given class loader.
2367 // Because of class loader constraints, all method handle usage must be
2368 // consistent with this loader.
2369 Handle SystemDictionary::find_method_handle_type(Symbol* signature,
2370 Klass* accessing_klass,
2371 TRAPS) {
2372 Handle empty;
2373 OopHandle* o;
2374 {
2375 MutexLocker ml(THREAD, InvokeMethodTypeTable_lock);
2376 o = _invoke_method_type_table->get(signature);
2377 }
2378
2379 if (o != nullptr) {
2380 oop mt = o->resolve();
2381 assert(java_lang_invoke_MethodType::is_instance(mt), "");
2382 return Handle(THREAD, mt);
2383 } else if (!THREAD->can_call_java()) {
2384 warning("SystemDictionary::find_method_handle_type called from compiler thread"); // FIXME
2385 return Handle(); // do not attempt from within compiler, unless it was cached
2386 }
2387
2388 Handle class_loader;
2389 if (accessing_klass != nullptr) {
2390 class_loader = Handle(THREAD, accessing_klass->class_loader());
2391 }
2392 bool can_be_cached = true;
2393 int npts = ArgumentCount(signature).size();
2394 refArrayHandle pts = oopFactory::new_refArray_handle(vmClasses::Class_klass(), npts, CHECK_(empty));
2395 int arg = 0;
2396 Handle rt; // the return type from the signature
2397 ResourceMark rm(THREAD);
2398 for (SignatureStream ss(signature); !ss.is_done(); ss.next()) {
2399 oop mirror = nullptr;
2400 if (can_be_cached) {
2401 // Use neutral class loader to lookup candidate classes to be placed in the cache.
2402 mirror = ss.as_java_mirror(Handle(), SignatureStream::ReturnNull, CHECK_(empty));
2403 if (mirror == nullptr || (ss.is_reference() && !is_always_visible_class(mirror))) {
2404 // Fall back to accessing_klass context.
2405 can_be_cached = false;
2406 }
2407 }
2408 if (!can_be_cached) {
2409 // Resolve, throwing a real error if it doesn't work.
2410 mirror = ss.as_java_mirror(class_loader, SignatureStream::NCDFError, CHECK_(empty));
2411 }
2412 assert(mirror != nullptr, "%s", ss.as_symbol()->as_C_string());
2413 if (ss.at_return_type())
2414 rt = Handle(THREAD, mirror);
2415 else
2416 pts->obj_at_put(arg++, mirror);
2417
2418 // Check accessibility.
2419 if (!java_lang_Class::is_primitive(mirror) && accessing_klass != nullptr) {
2420 Klass* sel_klass = java_lang_Class::as_Klass(mirror);
2421 mirror = nullptr; // safety
2422 // Emulate ConstantPool::verify_constant_pool_resolve.
2423 LinkResolver::check_klass_accessibility(accessing_klass, sel_klass, CHECK_(empty));
2424 }
2425 }
2426 assert(arg == npts, "");
2427
2428 // call java.lang.invoke.MethodHandleNatives::findMethodHandleType(Class rt, Class[] pts) -> MethodType
2429 JavaCallArguments args(Handle(THREAD, rt()));
2430 args.push_oop(pts);
2431 JavaValue result(T_OBJECT);
2432 JavaCalls::call_static(&result,
2433 vmClasses::MethodHandleNatives_klass(),
2434 vmSymbols::findMethodHandleType_name(),
2435 vmSymbols::findMethodHandleType_signature(),
2436 &args, CHECK_(empty));
2437 Handle method_type(THREAD, result.get_oop());
2438
2439 if (can_be_cached) {
2440 // We can cache this MethodType inside the JVM.
2441 MutexLocker ml(THREAD, InvokeMethodTypeTable_lock);
2442 bool created = false;
2443 assert(method_type != nullptr, "unexpected null");
2444 OopHandle* h = _invoke_method_type_table->get(signature);
2445 if (h == nullptr) {
2446 signature->make_permanent(); // The signature is never unloaded.
2447 OopHandle elem = OopHandle(Universe::vm_global(), method_type());
2448 bool created = _invoke_method_type_table->put(signature, elem);
2449 assert(created, "better be created");
2450 }
2451 }
2452 // report back to the caller with the MethodType
2453 return method_type;
2454 }
2455
2456 Handle SystemDictionary::find_field_handle_type(Symbol* signature,
2457 Klass* accessing_klass,
2458 TRAPS) {
2459 Handle empty;
2460 ResourceMark rm(THREAD);
2461 SignatureStream ss(signature, /*is_method=*/ false);
2462 if (!ss.is_done()) {
2463 Handle class_loader;
2464 if (accessing_klass != nullptr) {
2465 class_loader = Handle(THREAD, accessing_klass->class_loader());
2466 }
2467 oop mirror = ss.as_java_mirror(class_loader, SignatureStream::NCDFError, CHECK_(empty));
2468 ss.next();
2469 if (ss.is_done()) {
2470 return Handle(THREAD, mirror);
2471 }
2472 }
2473 return empty;
2474 }
2475
2476 // Ask Java code to find or construct a method handle constant.
2477 Handle SystemDictionary::link_method_handle_constant(Klass* caller,
2478 int ref_kind, //e.g., JVM_REF_invokeVirtual
2479 Klass* callee,
2480 Symbol* name,
2481 Symbol* signature,
2482 TRAPS) {
2483 Handle empty;
2484 if (caller == nullptr) {
2485 THROW_MSG_(vmSymbols::java_lang_InternalError(), "bad MH constant", empty);
2486 }
2487 Handle name_str = java_lang_String::create_from_symbol(name, CHECK_(empty));
2488 Handle signature_str = java_lang_String::create_from_symbol(signature, CHECK_(empty));
2489
2490 // Put symbolic info from the MH constant into freshly created MemberName and resolve it.
2491 Handle mname = vmClasses::MemberName_klass()->allocate_instance_handle(CHECK_(empty));
2492 java_lang_invoke_MemberName::set_clazz(mname(), callee->java_mirror());
2493 java_lang_invoke_MemberName::set_name (mname(), name_str());
2494 java_lang_invoke_MemberName::set_type (mname(), signature_str());
2495 java_lang_invoke_MemberName::set_flags(mname(), MethodHandles::ref_kind_to_flags(ref_kind));
2496
2497 if (ref_kind == JVM_REF_invokeVirtual &&
2498 MethodHandles::is_signature_polymorphic_public_name(callee, name)) {
2499 // Skip resolution for public signature polymorphic methods such as
2500 // j.l.i.MethodHandle.invoke()/invokeExact() and those on VarHandle
2501 // They require appendix argument which MemberName resolution doesn't handle.
2502 // There's special logic on JDK side to handle them
2503 // (see MethodHandles.linkMethodHandleConstant() and MethodHandles.findVirtualForMH()).
2504 } else {
2505 MethodHandles::resolve_MemberName(mname, caller, 0, false /*speculative_resolve*/, CHECK_(empty));
2506 }
2507
2508 // After method/field resolution succeeded, it's safe to resolve MH signature as well.
2509 Handle type = MethodHandles::resolve_MemberName_type(mname, caller, CHECK_(empty));
2510
2511 // call java.lang.invoke.MethodHandleNatives::linkMethodHandleConstant(Class caller, int refKind, Class callee, String name, Object type) -> MethodHandle
2512 JavaCallArguments args;
2513 args.push_oop(Handle(THREAD, caller->java_mirror())); // the referring class
2514 args.push_int(ref_kind);
2515 args.push_oop(Handle(THREAD, callee->java_mirror())); // the target class
2516 args.push_oop(name_str);
2517 args.push_oop(type);
2518 JavaValue result(T_OBJECT);
2519 JavaCalls::call_static(&result,
2520 vmClasses::MethodHandleNatives_klass(),
2521 vmSymbols::linkMethodHandleConstant_name(),
2522 vmSymbols::linkMethodHandleConstant_signature(),
2523 &args, CHECK_(empty));
2524 return Handle(THREAD, result.get_oop());
2525 }
2526
2527 // Ask Java to run a bootstrap method, in order to create a dynamic call site
2528 // while linking an invokedynamic op, or compute a constant for Dynamic_info CP entry
2529 // with linkage results being stored back into the bootstrap specifier.
2530 void SystemDictionary::invoke_bootstrap_method(BootstrapInfo& bootstrap_specifier, TRAPS) {
2531 // Resolve the bootstrap specifier, its name, type, and static arguments
2532 bootstrap_specifier.resolve_bsm(CHECK);
2533
2534 // This should not happen. JDK code should take care of that.
2535 if (bootstrap_specifier.caller() == nullptr || bootstrap_specifier.type_arg().is_null()) {
2536 THROW_MSG(vmSymbols::java_lang_InternalError(), "Invalid bootstrap method invocation with no caller or type argument");
2537 }
2538
2539 bool is_indy = bootstrap_specifier.is_method_call();
2540 refArrayHandle appendix_box;
2541 if (is_indy) {
2542 // Some method calls may require an appendix argument. Arrange to receive it.
2543 appendix_box = oopFactory::new_refArray_handle(vmClasses::Object_klass(), 1, CHECK);
2544 assert(appendix_box->obj_at(0) == nullptr, "");
2545 }
2546
2547 // call condy: java.lang.invoke.MethodHandleNatives::linkDynamicConstant(caller, bsm, type, info)
2548 // indy: java.lang.invoke.MethodHandleNatives::linkCallSite(caller, bsm, name, mtype, info, &appendix)
2549 JavaCallArguments args;
2550 args.push_oop(Handle(THREAD, bootstrap_specifier.caller_mirror()));
2551 args.push_oop(bootstrap_specifier.bsm());
2552 args.push_oop(bootstrap_specifier.name_arg());
2553 args.push_oop(bootstrap_specifier.type_arg());
2554 args.push_oop(bootstrap_specifier.arg_values());
2555 if (is_indy) {
2556 args.push_oop(appendix_box);
2557 }
2558 JavaValue result(T_OBJECT);
2559 JavaCalls::call_static(&result,
2560 vmClasses::MethodHandleNatives_klass(),
2561 is_indy ? vmSymbols::linkCallSite_name() : vmSymbols::linkDynamicConstant_name(),
2562 is_indy ? vmSymbols::linkCallSite_signature() : vmSymbols::linkDynamicConstant_signature(),
2563 &args, CHECK);
2564
2565 Handle value(THREAD, result.get_oop());
2566 if (is_indy) {
2567 Handle appendix;
2568 Method* method = unpack_method_and_appendix(value,
2569 bootstrap_specifier.caller(),
2570 appendix_box,
2571 &appendix, CHECK);
2572 methodHandle mh(THREAD, method);
2573 bootstrap_specifier.set_resolved_method(mh, appendix);
2574 } else {
2575 bootstrap_specifier.set_resolved_value(value);
2576 }
2577
2578 // sanity check
2579 assert(bootstrap_specifier.is_resolved() ||
2580 (bootstrap_specifier.is_method_call() &&
2581 bootstrap_specifier.resolved_method().not_null()), "bootstrap method call failed");
2582 }
2583
2584
2585 bool SystemDictionary::is_nonpublic_Object_method(Method* m) {
2586 assert(m != nullptr, "Unexpected nullptr Method*");
2587 return !m->is_public() && m->method_holder() == vmClasses::Object_klass();
2588 }
2589
2590 // ----------------------------------------------------------------------------
2591
2592 void SystemDictionary::print_on(outputStream *st) {
2593 CDS_ONLY(SystemDictionaryShared::print_on(st));
2594 GCMutexLocker mu(SystemDictionary_lock);
2595
2596 ClassLoaderDataGraph::print_dictionary(st);
2597
2598 // Placeholders
2599 PlaceholderTable::print_on(st);
2600 st->cr();
2601
2602 // loader constraints - print under SD_lock
2603 LoaderConstraintTable::print_on(st);
2604 st->cr();
2605 }
2606
2607 void SystemDictionary::print() { print_on(tty); }
2608
2609 void SystemDictionary::verify() {
2610
2611 GCMutexLocker mu(SystemDictionary_lock);
2612
2613 // Verify dictionary
2614 ClassLoaderDataGraph::verify_dictionary();
2615
2616 // Verify constraint table
2617 LoaderConstraintTable::verify();
2618 }
2619
2620 void SystemDictionary::dump(outputStream *st, bool verbose) {
2621 assert_locked_or_safepoint(SystemDictionary_lock);
2622 if (verbose) {
2623 print_on(st);
2624 } else {
2625 CDS_ONLY(SystemDictionaryShared::print_table_statistics(st));
2626 ClassLoaderDataGraph::print_table_statistics(st);
2627 LoaderConstraintTable::print_table_statistics(st);
2628 }
2629 }
2630
2631 // Utility for dumping dictionaries.
2632 SystemDictionaryDCmd::SystemDictionaryDCmd(outputStream* output, bool heap) :
2633 DCmdWithParser(output, heap),
2634 _verbose("-verbose", "Dump the content of each dictionary entry for all class loaders",
2635 "BOOLEAN", false, "false") {
2636 _dcmdparser.add_dcmd_option(&_verbose);
2637 }
2638
2639 void SystemDictionaryDCmd::execute(DCmdSource source, TRAPS) {
2640 VM_DumpHashtable dumper(output(), VM_DumpHashtable::DumpSysDict,
2641 _verbose.value());
2642 VMThread::execute(&dumper);
2643 }