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