duke@435: /* coleenp@6316: * Copyright (c) 1997, 2014, Oracle and/or its affiliates. All rights reserved. duke@435: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. duke@435: * duke@435: * This code is free software; you can redistribute it and/or modify it duke@435: * under the terms of the GNU General Public License version 2 only, as duke@435: * published by the Free Software Foundation. duke@435: * duke@435: * This code is distributed in the hope that it will be useful, but WITHOUT duke@435: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or duke@435: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License duke@435: * version 2 for more details (a copy is included in the LICENSE file that duke@435: * accompanied this code). duke@435: * duke@435: * You should have received a copy of the GNU General Public License version duke@435: * 2 along with this work; if not, write to the Free Software Foundation, duke@435: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. duke@435: * trims@1907: * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA trims@1907: * or visit www.oracle.com if you need additional information or have any trims@1907: * questions. duke@435: * duke@435: */ duke@435: stefank@2314: #include "precompiled.hpp" coleenp@4037: #include "classfile/classLoaderData.inline.hpp" stefank@2314: #include "classfile/dictionary.hpp" stefank@2314: #include "classfile/javaClasses.hpp" stefank@2314: #include "classfile/loaderConstraints.hpp" stefank@2314: #include "classfile/placeholders.hpp" stefank@2314: #include "classfile/resolutionErrors.hpp" stefank@2314: #include "classfile/systemDictionary.hpp" stefank@2314: #include "classfile/vmSymbols.hpp" twisti@3969: #include "compiler/compileBroker.hpp" stefank@2314: #include "interpreter/bytecodeStream.hpp" stefank@2314: #include "interpreter/interpreter.hpp" stefank@2314: #include "memory/gcLocker.hpp" stefank@2314: #include "memory/oopFactory.hpp" stefank@2314: #include "oops/instanceKlass.hpp" stefank@2314: #include "oops/instanceRefKlass.hpp" stefank@2314: #include "oops/klass.inline.hpp" coleenp@4037: #include "oops/methodData.hpp" stefank@2314: #include "oops/objArrayKlass.hpp" stefank@2314: #include "oops/oop.inline.hpp" stefank@2314: #include "oops/oop.inline2.hpp" stefank@2314: #include "oops/typeArrayKlass.hpp" stefank@2314: #include "prims/jvmtiEnvBase.hpp" stefank@2314: #include "prims/methodHandles.hpp" stefank@2314: #include "runtime/biasedLocking.hpp" stefank@2314: #include "runtime/fieldType.hpp" stefank@2314: #include "runtime/handles.inline.hpp" stefank@2314: #include "runtime/java.hpp" stefank@2314: #include "runtime/javaCalls.hpp" stefank@2314: #include "runtime/mutexLocker.hpp" goetz@6911: #include "runtime/orderAccess.inline.hpp" stefank@2314: #include "runtime/signature.hpp" stefank@2314: #include "services/classLoadingService.hpp" stefank@2314: #include "services/threadService.hpp" mgronlun@6131: #include "utilities/macros.hpp" mgronlun@6131: #include "utilities/ticks.hpp" duke@435: sla@5237: #if INCLUDE_TRACE sla@5237: #include "trace/tracing.hpp" sla@5237: #endif sla@5237: twisti@2258: Dictionary* SystemDictionary::_dictionary = NULL; twisti@2258: PlaceholderTable* SystemDictionary::_placeholders = NULL; twisti@2258: Dictionary* SystemDictionary::_shared_dictionary = NULL; twisti@2258: LoaderConstraintTable* SystemDictionary::_loader_constraints = NULL; twisti@2258: ResolutionErrorTable* SystemDictionary::_resolution_errors = NULL; twisti@2258: SymbolPropertyTable* SystemDictionary::_invoke_method_table = NULL; duke@435: duke@435: duke@435: int SystemDictionary::_number_of_modifications = 0; acorn@3491: int SystemDictionary::_sdgeneration = 0; acorn@3491: const int SystemDictionary::_primelist[_prime_array_size] = {1009,2017,4049,5051,10103, acorn@3491: 20201,40423,99991}; duke@435: duke@435: oop SystemDictionary::_system_loader_lock_obj = NULL; duke@435: coleenp@4037: Klass* SystemDictionary::_well_known_klasses[SystemDictionary::WKID_LIMIT] jrose@567: = { NULL /*, NULL...*/ }; duke@435: coleenp@4037: Klass* SystemDictionary::_box_klasses[T_VOID+1] = { NULL /*, NULL...*/ }; duke@435: duke@435: oop SystemDictionary::_java_system_loader = NULL; duke@435: duke@435: bool SystemDictionary::_has_loadClassInternal = false; duke@435: bool SystemDictionary::_has_checkPackageAccess = false; duke@435: duke@435: // lazily initialized klass variables coleenp@4037: Klass* volatile SystemDictionary::_abstract_ownable_synchronizer_klass = NULL; duke@435: duke@435: duke@435: // ---------------------------------------------------------------------------- duke@435: // Java-level SystemLoader duke@435: duke@435: oop SystemDictionary::java_system_loader() { duke@435: return _java_system_loader; duke@435: } duke@435: duke@435: void SystemDictionary::compute_java_system_loader(TRAPS) { never@1577: KlassHandle system_klass(THREAD, WK_KLASS(ClassLoader_klass)); duke@435: JavaValue result(T_OBJECT); duke@435: JavaCalls::call_static(&result, never@1577: KlassHandle(THREAD, WK_KLASS(ClassLoader_klass)), coleenp@2497: vmSymbols::getSystemClassLoader_name(), coleenp@2497: vmSymbols::void_classloader_signature(), duke@435: CHECK); duke@435: duke@435: _java_system_loader = (oop)result.get_jobject(); duke@435: } duke@435: duke@435: coleenp@4304: ClassLoaderData* SystemDictionary::register_loader(Handle class_loader, TRAPS) { coleenp@4037: if (class_loader() == NULL) return ClassLoaderData::the_null_class_loader_data(); coleenp@4304: return ClassLoaderDataGraph::find_or_create(class_loader, CHECK_NULL); coleenp@4037: } coleenp@4037: duke@435: // ---------------------------------------------------------------------------- duke@435: // debugging duke@435: duke@435: #ifdef ASSERT duke@435: duke@435: // return true if class_name contains no '.' (internal format is '/') coleenp@2497: bool SystemDictionary::is_internal_format(Symbol* class_name) { coleenp@2497: if (class_name != NULL) { duke@435: ResourceMark rm; duke@435: char* name = class_name->as_C_string(); duke@435: return strchr(name, '.') == NULL; duke@435: } else { duke@435: return true; duke@435: } duke@435: } duke@435: duke@435: #endif duke@435: duke@435: // ---------------------------------------------------------------------------- acorn@949: // Parallel class loading check acorn@949: acorn@949: bool SystemDictionary::is_parallelCapable(Handle class_loader) { acorn@949: if (UnsyncloadClass || class_loader.is_null()) return true; acorn@949: if (AlwaysLockClassLoader) return false; never@3137: return java_lang_ClassLoader::parallelCapable(class_loader()); acorn@949: } acorn@949: // ---------------------------------------------------------------------------- acorn@1510: // ParallelDefineClass flag does not apply to bootclass loader acorn@1510: bool SystemDictionary::is_parallelDefine(Handle class_loader) { acorn@1510: if (class_loader.is_null()) return false; never@3137: if (AllowParallelDefineClass && java_lang_ClassLoader::parallelCapable(class_loader())) { acorn@1510: return true; acorn@1510: } acorn@1510: return false; acorn@1510: } twisti@4866: twisti@4866: /** twisti@4866: * Returns true if the passed class loader is the extension class loader. twisti@4866: */ twisti@4866: bool SystemDictionary::is_ext_class_loader(Handle class_loader) { twisti@4866: if (class_loader.is_null()) { twisti@4866: return false; twisti@4866: } twisti@4866: return (class_loader->klass()->name() == vmSymbols::sun_misc_Launcher_ExtClassLoader()); twisti@4866: } twisti@4866: acorn@1510: // ---------------------------------------------------------------------------- duke@435: // Resolving of classes duke@435: duke@435: // Forwards to resolve_or_null duke@435: coleenp@4037: Klass* SystemDictionary::resolve_or_fail(Symbol* class_name, Handle class_loader, Handle protection_domain, bool throw_error, TRAPS) { coleenp@4037: Klass* klass = resolve_or_null(class_name, class_loader, protection_domain, THREAD); duke@435: if (HAS_PENDING_EXCEPTION || klass == NULL) { duke@435: KlassHandle k_h(THREAD, klass); duke@435: // can return a null klass duke@435: klass = handle_resolution_exception(class_name, class_loader, protection_domain, throw_error, k_h, THREAD); duke@435: } duke@435: return klass; duke@435: } duke@435: coleenp@4037: Klass* SystemDictionary::handle_resolution_exception(Symbol* class_name, Handle class_loader, Handle protection_domain, bool throw_error, KlassHandle klass_h, TRAPS) { duke@435: if (HAS_PENDING_EXCEPTION) { duke@435: // If we have a pending exception we forward it to the caller, unless throw_error is true, duke@435: // in which case we have to check whether the pending exception is a ClassNotFoundException, duke@435: // and if so convert it to a NoClassDefFoundError duke@435: // And chain the original ClassNotFoundException never@1577: if (throw_error && PENDING_EXCEPTION->is_a(SystemDictionary::ClassNotFoundException_klass())) { duke@435: ResourceMark rm(THREAD); duke@435: assert(klass_h() == NULL, "Should not have result with exception pending"); duke@435: Handle e(THREAD, PENDING_EXCEPTION); duke@435: CLEAR_PENDING_EXCEPTION; acorn@4425: THROW_MSG_CAUSE_NULL(vmSymbols::java_lang_NoClassDefFoundError(), class_name->as_C_string(), e); duke@435: } else { duke@435: return NULL; duke@435: } duke@435: } duke@435: // Class not found, throw appropriate error or exception depending on value of throw_error duke@435: if (klass_h() == NULL) { duke@435: ResourceMark rm(THREAD); duke@435: if (throw_error) { acorn@4425: THROW_MSG_NULL(vmSymbols::java_lang_NoClassDefFoundError(), class_name->as_C_string()); duke@435: } else { acorn@4425: THROW_MSG_NULL(vmSymbols::java_lang_ClassNotFoundException(), class_name->as_C_string()); duke@435: } duke@435: } coleenp@4037: return (Klass*)klass_h(); duke@435: } duke@435: duke@435: coleenp@4037: Klass* SystemDictionary::resolve_or_fail(Symbol* class_name, duke@435: bool throw_error, TRAPS) duke@435: { duke@435: return resolve_or_fail(class_name, Handle(), Handle(), throw_error, THREAD); duke@435: } duke@435: duke@435: duke@435: // Forwards to resolve_instance_class_or_null duke@435: coleenp@4037: Klass* SystemDictionary::resolve_or_null(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS) { twisti@3969: assert(!THREAD->is_Compiler_thread(), twisti@3969: err_msg("can not load classes with compiler thread: class=%s, classloader=%s", twisti@3969: class_name->as_C_string(), coleenp@4037: class_loader.is_null() ? "null" : class_loader->klass()->name()->as_C_string())); coleenp@2497: if (FieldType::is_array(class_name)) { duke@435: return resolve_array_class_or_null(class_name, class_loader, protection_domain, CHECK_NULL); coleenp@2497: } else if (FieldType::is_obj(class_name)) { coleenp@2497: ResourceMark rm(THREAD); coleenp@2497: // Ignore wrapping L and ;. coleenp@2497: TempNewSymbol name = SymbolTable::new_symbol(class_name->as_C_string() + 1, coleenp@2497: class_name->utf8_length() - 2, CHECK_NULL); coleenp@2497: return resolve_instance_class_or_null(name, class_loader, protection_domain, CHECK_NULL); duke@435: } else { duke@435: return resolve_instance_class_or_null(class_name, class_loader, protection_domain, CHECK_NULL); duke@435: } duke@435: } duke@435: coleenp@4037: Klass* SystemDictionary::resolve_or_null(Symbol* class_name, TRAPS) { duke@435: return resolve_or_null(class_name, Handle(), Handle(), THREAD); duke@435: } duke@435: duke@435: // Forwards to resolve_instance_class_or_null duke@435: coleenp@4037: Klass* SystemDictionary::resolve_array_class_or_null(Symbol* class_name, duke@435: Handle class_loader, duke@435: Handle protection_domain, duke@435: TRAPS) { coleenp@2497: assert(FieldType::is_array(class_name), "must be array"); coleenp@4037: Klass* k = NULL; coleenp@2497: FieldArrayInfo fd; coleenp@2497: // dimension and object_key in FieldArrayInfo are assigned as a side-effect coleenp@2497: // of this call coleenp@2497: BasicType t = FieldType::get_array_info(class_name, fd, CHECK_NULL); duke@435: if (t == T_OBJECT) { duke@435: // naked oop "k" is OK here -- we assign back into it coleenp@2497: k = SystemDictionary::resolve_instance_class_or_null(fd.object_key(), duke@435: class_loader, duke@435: protection_domain, duke@435: CHECK_NULL); duke@435: if (k != NULL) { hseigel@4278: k = k->array_klass(fd.dimension(), CHECK_NULL); duke@435: } duke@435: } else { duke@435: k = Universe::typeArrayKlassObj(t); coleenp@4142: k = TypeArrayKlass::cast(k)->array_klass(fd.dimension(), CHECK_NULL); duke@435: } duke@435: return k; duke@435: } duke@435: duke@435: duke@435: // Must be called for any super-class or super-interface resolution duke@435: // during class definition to allow class circularity checking duke@435: // super-interface callers: duke@435: // parse_interfaces - for defineClass & jvmtiRedefineClasses duke@435: // super-class callers: duke@435: // ClassFileParser - for defineClass & jvmtiRedefineClasses duke@435: // load_shared_class - while loading a class from shared archive acorn@949: // resolve_instance_class_or_null: acorn@949: // via: handle_parallel_super_load duke@435: // when resolving a class that has an existing placeholder with duke@435: // a saved superclass [i.e. a defineClass is currently in progress] duke@435: // if another thread is trying to resolve the class, it must do duke@435: // super-class checks on its own thread to catch class circularity duke@435: // This last call is critical in class circularity checking for cases duke@435: // where classloading is delegated to different threads and the duke@435: // classloader lock is released. duke@435: // Take the case: Base->Super->Base duke@435: // 1. If thread T1 tries to do a defineClass of class Base duke@435: // resolve_super_or_fail creates placeholder: T1, Base (super Super) duke@435: // 2. resolve_instance_class_or_null does not find SD or placeholder for Super duke@435: // so it tries to load Super duke@435: // 3. If we load the class internally, or user classloader uses same thread duke@435: // loadClassFromxxx or defineClass via parseClassFile Super ... duke@435: // 3.1 resolve_super_or_fail creates placeholder: T1, Super (super Base) duke@435: // 3.3 resolve_instance_class_or_null Base, finds placeholder for Base duke@435: // 3.4 calls resolve_super_or_fail Base duke@435: // 3.5 finds T1,Base -> throws class circularity duke@435: //OR 4. If T2 tries to resolve Super via defineClass Super ... duke@435: // 4.1 resolve_super_or_fail creates placeholder: T2, Super (super Base) duke@435: // 4.2 resolve_instance_class_or_null Base, finds placeholder for Base (super Super) duke@435: // 4.3 calls resolve_super_or_fail Super in parallel on own thread T2 duke@435: // 4.4 finds T2, Super -> throws class circularity duke@435: // Must be called, even if superclass is null, since this is duke@435: // where the placeholder entry is created which claims this duke@435: // thread is loading this class/classloader. coleenp@4037: Klass* SystemDictionary::resolve_super_or_fail(Symbol* child_name, coleenp@2497: Symbol* class_name, duke@435: Handle class_loader, duke@435: Handle protection_domain, duke@435: bool is_superclass, duke@435: TRAPS) { duke@435: // Double-check, if child class is already loaded, just return super-class,interface duke@435: // Don't add a placedholder if already loaded, i.e. already in system dictionary duke@435: // Make sure there's a placeholder for the *child* before resolving. duke@435: // Used as a claim that this thread is currently loading superclass/classloader duke@435: // Used here for ClassCircularity checks and also for heap verification coleenp@4037: // (every InstanceKlass in the heap needs to be in the system dictionary duke@435: // or have a placeholder). duke@435: // Must check ClassCircularity before checking if super class is already loaded duke@435: // duke@435: // We might not already have a placeholder if this child_name was duke@435: // first seen via resolve_from_stream (jni_DefineClass or JVM_DefineClass); duke@435: // the name of the class might not be known until the stream is actually duke@435: // parsed. duke@435: // Bugs 4643874, 4715493 duke@435: // compute_hash can have a safepoint duke@435: coleenp@4037: ClassLoaderData* loader_data = class_loader_data(class_loader); coleenp@4037: unsigned int d_hash = dictionary()->compute_hash(child_name, loader_data); duke@435: int d_index = dictionary()->hash_to_index(d_hash); coleenp@4037: unsigned int p_hash = placeholders()->compute_hash(child_name, loader_data); duke@435: int p_index = placeholders()->hash_to_index(p_hash); duke@435: // can't throw error holding a lock duke@435: bool child_already_loaded = false; duke@435: bool throw_circularity_error = false; duke@435: { duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); coleenp@4037: Klass* childk = find_class(d_index, d_hash, child_name, loader_data); coleenp@4037: Klass* quicksuperk; duke@435: // to support // loading: if child done loading, just return superclass duke@435: // if class_name, & class_loader don't match: duke@435: // if initial define, SD update will give LinkageError duke@435: // if redefine: compare_class_versions will give HIERARCHY_CHANGED duke@435: // so we don't throw an exception here. duke@435: // see: nsk redefclass014 & java.lang.instrument Instrument032 duke@435: if ((childk != NULL ) && (is_superclass) && coleenp@4037: ((quicksuperk = InstanceKlass::cast(childk)->super()) != NULL) && duke@435: hseigel@4278: ((quicksuperk->name() == class_name) && hseigel@4278: (quicksuperk->class_loader() == class_loader()))) { duke@435: return quicksuperk; duke@435: } else { coleenp@4037: PlaceholderEntry* probe = placeholders()->get_entry(p_index, p_hash, child_name, loader_data); duke@435: if (probe && probe->check_seen_thread(THREAD, PlaceholderTable::LOAD_SUPER)) { duke@435: throw_circularity_error = true; duke@435: } acorn@949: } acorn@949: if (!throw_circularity_error) { coleenp@4037: PlaceholderEntry* newprobe = placeholders()->find_and_add(p_index, p_hash, child_name, loader_data, PlaceholderTable::LOAD_SUPER, class_name, THREAD); duke@435: } duke@435: } duke@435: if (throw_circularity_error) { duke@435: ResourceMark rm(THREAD); acorn@4425: THROW_MSG_NULL(vmSymbols::java_lang_ClassCircularityError(), child_name->as_C_string()); duke@435: } duke@435: duke@435: // java.lang.Object should have been found above coleenp@2497: assert(class_name != NULL, "null super class for resolving"); duke@435: // Resolve the super class or interface, check results on return acorn@4425: Klass* superk = SystemDictionary::resolve_or_null(class_name, duke@435: class_loader, duke@435: protection_domain, duke@435: THREAD); duke@435: duke@435: KlassHandle superk_h(THREAD, superk); duke@435: acorn@4425: // Clean up of placeholders moved so that each classloadAction registrar self-cleans up acorn@4425: // It is no longer necessary to keep the placeholder table alive until update_dictionary acorn@4425: // or error. GC used to walk the placeholder table as strong roots. acorn@4425: // The instanceKlass is kept alive because the class loader is on the stack, acorn@4425: // which keeps the loader_data alive, as well as all instanceKlasses in acorn@4425: // the loader_data. parseClassFile adds the instanceKlass to loader_data. duke@435: { acorn@4425: MutexLocker mu(SystemDictionary_lock, THREAD); acorn@4425: placeholders()->find_and_remove(p_index, p_hash, child_name, loader_data, PlaceholderTable::LOAD_SUPER, THREAD); acorn@4425: SystemDictionary_lock->notify_all(); duke@435: } duke@435: if (HAS_PENDING_EXCEPTION || superk_h() == NULL) { duke@435: // can null superk duke@435: superk_h = KlassHandle(THREAD, handle_resolution_exception(class_name, class_loader, protection_domain, true, superk_h, THREAD)); duke@435: } duke@435: duke@435: return superk_h(); duke@435: } duke@435: duke@435: void SystemDictionary::validate_protection_domain(instanceKlassHandle klass, duke@435: Handle class_loader, duke@435: Handle protection_domain, duke@435: TRAPS) { duke@435: if(!has_checkPackageAccess()) return; duke@435: duke@435: // Now we have to call back to java to check if the initating class has access duke@435: JavaValue result(T_VOID); duke@435: if (TraceProtectionDomainVerification) { duke@435: // Print out trace information duke@435: tty->print_cr("Checking package access"); duke@435: tty->print(" - class loader: "); class_loader()->print_value_on(tty); tty->cr(); duke@435: tty->print(" - protection domain: "); protection_domain()->print_value_on(tty); tty->cr(); duke@435: tty->print(" - loading: "); klass()->print_value_on(tty); tty->cr(); duke@435: } duke@435: never@1577: KlassHandle system_loader(THREAD, SystemDictionary::ClassLoader_klass()); duke@435: JavaCalls::call_special(&result, duke@435: class_loader, duke@435: system_loader, coleenp@2497: vmSymbols::checkPackageAccess_name(), coleenp@2497: vmSymbols::class_protectiondomain_signature(), duke@435: Handle(THREAD, klass->java_mirror()), duke@435: protection_domain, duke@435: THREAD); duke@435: duke@435: if (TraceProtectionDomainVerification) { duke@435: if (HAS_PENDING_EXCEPTION) { duke@435: tty->print_cr(" -> DENIED !!!!!!!!!!!!!!!!!!!!!"); duke@435: } else { duke@435: tty->print_cr(" -> granted"); duke@435: } duke@435: tty->cr(); duke@435: } duke@435: duke@435: if (HAS_PENDING_EXCEPTION) return; duke@435: duke@435: // If no exception has been thrown, we have validated the protection domain duke@435: // Insert the protection domain of the initiating class into the set. duke@435: { duke@435: // We recalculate the entry here -- we've called out to java since duke@435: // the last time it was calculated. coleenp@4037: ClassLoaderData* loader_data = class_loader_data(class_loader); coleenp@4037: coleenp@2497: Symbol* kn = klass->name(); coleenp@4037: unsigned int d_hash = dictionary()->compute_hash(kn, loader_data); duke@435: int d_index = dictionary()->hash_to_index(d_hash); duke@435: duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); duke@435: { duke@435: // Note that we have an entry, and entries can be deleted only during GC, duke@435: // so we cannot allow GC to occur while we're holding this entry. duke@435: duke@435: // We're using a No_Safepoint_Verifier to catch any place where we duke@435: // might potentially do a GC at all. acorn@4425: // Dictionary::do_unloading() asserts that classes in SD are only acorn@4425: // unloaded at a safepoint. Anonymous classes are not in SD. duke@435: No_Safepoint_Verifier nosafepoint; coleenp@4037: dictionary()->add_protection_domain(d_index, d_hash, klass, loader_data, duke@435: protection_domain, THREAD); duke@435: } duke@435: } duke@435: } duke@435: duke@435: // We only get here if this thread finds that another thread duke@435: // has already claimed the placeholder token for the current operation, duke@435: // but that other thread either never owned or gave up the duke@435: // object lock duke@435: // Waits on SystemDictionary_lock to indicate placeholder table updated duke@435: // On return, caller must recheck placeholder table state duke@435: // duke@435: // We only get here if duke@435: // 1) custom classLoader, i.e. not bootstrap classloader duke@435: // 2) UnsyncloadClass not set duke@435: // 3) custom classLoader has broken the class loader objectLock duke@435: // so another thread got here in parallel duke@435: // duke@435: // lockObject must be held. duke@435: // Complicated dance due to lock ordering: duke@435: // Must first release the classloader object lock to duke@435: // allow initial definer to complete the class definition duke@435: // and to avoid deadlock duke@435: // Reclaim classloader lock object with same original recursion count duke@435: // Must release SystemDictionary_lock after notify, since duke@435: // class loader lock must be claimed before SystemDictionary_lock duke@435: // to prevent deadlocks duke@435: // duke@435: // The notify allows applications that did an untimed wait() on duke@435: // the classloader object lock to not hang. duke@435: void SystemDictionary::double_lock_wait(Handle lockObject, TRAPS) { duke@435: assert_lock_strong(SystemDictionary_lock); duke@435: duke@435: bool calledholdinglock duke@435: = ObjectSynchronizer::current_thread_holds_lock((JavaThread*)THREAD, lockObject); duke@435: assert(calledholdinglock,"must hold lock for notify"); acorn@949: assert((!(lockObject() == _system_loader_lock_obj) && !is_parallelCapable(lockObject)), "unexpected double_lock_wait"); duke@435: ObjectSynchronizer::notifyall(lockObject, THREAD); duke@435: intptr_t recursions = ObjectSynchronizer::complete_exit(lockObject, THREAD); duke@435: SystemDictionary_lock->wait(); duke@435: SystemDictionary_lock->unlock(); duke@435: ObjectSynchronizer::reenter(lockObject, recursions, THREAD); duke@435: SystemDictionary_lock->lock(); duke@435: } duke@435: duke@435: // If the class in is in the placeholder table, class loading is in progress duke@435: // For cases where the application changes threads to load classes, it duke@435: // is critical to ClassCircularity detection that we try loading duke@435: // the superclass on the same thread internally, so we do parallel duke@435: // super class loading here. duke@435: // This also is critical in cases where the original thread gets stalled duke@435: // even in non-circularity situations. duke@435: // Note: must call resolve_super_or_fail even if null super - acorn@949: // to force placeholder entry creation for this class for circularity detection duke@435: // Caller must check for pending exception coleenp@4037: // Returns non-null Klass* if other thread has completed load duke@435: // and we are done, coleenp@4037: // If return null Klass* and no pending exception, the caller must load the class duke@435: instanceKlassHandle SystemDictionary::handle_parallel_super_load( coleenp@2497: Symbol* name, Symbol* superclassname, Handle class_loader, duke@435: Handle protection_domain, Handle lockObject, TRAPS) { duke@435: duke@435: instanceKlassHandle nh = instanceKlassHandle(); // null Handle coleenp@4037: ClassLoaderData* loader_data = class_loader_data(class_loader); coleenp@4037: unsigned int d_hash = dictionary()->compute_hash(name, loader_data); duke@435: int d_index = dictionary()->hash_to_index(d_hash); coleenp@4037: unsigned int p_hash = placeholders()->compute_hash(name, loader_data); duke@435: int p_index = placeholders()->hash_to_index(p_hash); duke@435: duke@435: // superk is not used, resolve_super called for circularity check only duke@435: // This code is reached in two situations. One if this thread duke@435: // is loading the same class twice (e.g. ClassCircularity, or duke@435: // java.lang.instrument). duke@435: // The second is if another thread started the resolve_super first duke@435: // and has not yet finished. duke@435: // In both cases the original caller will clean up the placeholder duke@435: // entry on error. coleenp@4037: Klass* superk = SystemDictionary::resolve_super_or_fail(name, duke@435: superclassname, duke@435: class_loader, duke@435: protection_domain, duke@435: true, duke@435: CHECK_(nh)); duke@435: acorn@949: // parallelCapable class loaders do NOT wait for parallel superclass loads to complete acorn@949: // Serial class loaders and bootstrap classloader do wait for superclass loads acorn@949: if (!class_loader.is_null() && is_parallelCapable(class_loader)) { duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); duke@435: // Check if classloading completed while we were loading superclass or waiting coleenp@4037: Klass* check = find_class(d_index, d_hash, name, loader_data); duke@435: if (check != NULL) { duke@435: // Klass is already loaded, so just return it duke@435: return(instanceKlassHandle(THREAD, check)); duke@435: } else { duke@435: return nh; duke@435: } duke@435: } duke@435: duke@435: // must loop to both handle other placeholder updates duke@435: // and spurious notifications duke@435: bool super_load_in_progress = true; duke@435: PlaceholderEntry* placeholder; duke@435: while (super_load_in_progress) { duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); duke@435: // Check if classloading completed while we were loading superclass or waiting coleenp@4037: Klass* check = find_class(d_index, d_hash, name, loader_data); duke@435: if (check != NULL) { duke@435: // Klass is already loaded, so just return it duke@435: return(instanceKlassHandle(THREAD, check)); duke@435: } else { coleenp@4037: placeholder = placeholders()->get_entry(p_index, p_hash, name, loader_data); duke@435: if (placeholder && placeholder->super_load_in_progress() ){ duke@435: // Before UnsyncloadClass: duke@435: // We only get here if the application has released the duke@435: // classloader lock when another thread was in the middle of loading a duke@435: // superclass/superinterface for this class, and now duke@435: // this thread is also trying to load this class. duke@435: // To minimize surprises, the first thread that started to duke@435: // load a class should be the one to complete the loading duke@435: // with the classfile it initially expected. duke@435: // This logic has the current thread wait once it has done duke@435: // all the superclass/superinterface loading it can, until duke@435: // the original thread completes the class loading or fails coleenp@4037: // If it completes we will use the resulting InstanceKlass duke@435: // which we will find below in the systemDictionary. duke@435: // We also get here for parallel bootstrap classloader duke@435: if (class_loader.is_null()) { duke@435: SystemDictionary_lock->wait(); duke@435: } else { duke@435: double_lock_wait(lockObject, THREAD); duke@435: } duke@435: } else { duke@435: // If not in SD and not in PH, other thread's load must have failed duke@435: super_load_in_progress = false; duke@435: } duke@435: } duke@435: } duke@435: return (nh); duke@435: } duke@435: duke@435: sla@5237: Klass* SystemDictionary::resolve_instance_class_or_null(Symbol* name, sla@5237: Handle class_loader, sla@5237: Handle protection_domain, sla@5237: TRAPS) { coleenp@2497: assert(name != NULL && !FieldType::is_array(name) && coleenp@2497: !FieldType::is_obj(name), "invalid class name"); duke@435: mgronlun@6131: Ticks class_load_start_time = Ticks::now(); sla@5237: duke@435: // UseNewReflection duke@435: // Fix for 4474172; see evaluation for more details duke@435: class_loader = Handle(THREAD, java_lang_ClassLoader::non_reflection_class_loader(class_loader())); coleenp@4304: ClassLoaderData *loader_data = register_loader(class_loader, CHECK_NULL); duke@435: duke@435: // Do lookup to see if class already exist and the protection domain duke@435: // has the right access acorn@4425: // This call uses find which checks protection domain already matches acorn@4425: // All subsequent calls use find_class, and set has_loaded_class so that acorn@4425: // before we return a result we call out to java to check for valid protection domain acorn@4425: // to allow returning the Klass* and add it to the pd_set if it is valid coleenp@4037: unsigned int d_hash = dictionary()->compute_hash(name, loader_data); duke@435: int d_index = dictionary()->hash_to_index(d_hash); coleenp@4037: Klass* probe = dictionary()->find(d_index, d_hash, name, loader_data, duke@435: protection_domain, THREAD); duke@435: if (probe != NULL) return probe; duke@435: duke@435: duke@435: // Non-bootstrap class loaders will call out to class loader and duke@435: // define via jvm/jni_DefineClass which will acquire the duke@435: // class loader object lock to protect against multiple threads duke@435: // defining the class in parallel by accident. duke@435: // This lock must be acquired here so the waiter will find duke@435: // any successful result in the SystemDictionary and not attempt duke@435: // the define acorn@949: // ParallelCapable Classloaders and the bootstrap classloader, duke@435: // or all classloaders with UnsyncloadClass do not acquire lock here duke@435: bool DoObjectLock = true; acorn@949: if (is_parallelCapable(class_loader)) { duke@435: DoObjectLock = false; duke@435: } duke@435: coleenp@4037: unsigned int p_hash = placeholders()->compute_hash(name, loader_data); duke@435: int p_index = placeholders()->hash_to_index(p_hash); duke@435: duke@435: // Class is not in SystemDictionary so we have to do loading. duke@435: // Make sure we are synchronized on the class loader before we proceed duke@435: Handle lockObject = compute_loader_lock_object(class_loader, THREAD); duke@435: check_loader_lock_contention(lockObject, THREAD); duke@435: ObjectLocker ol(lockObject, THREAD, DoObjectLock); duke@435: duke@435: // Check again (after locking) if class already exist in SystemDictionary duke@435: bool class_has_been_loaded = false; duke@435: bool super_load_in_progress = false; duke@435: bool havesupername = false; duke@435: instanceKlassHandle k; duke@435: PlaceholderEntry* placeholder; coleenp@2497: Symbol* superclassname = NULL; duke@435: duke@435: { duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); coleenp@4037: Klass* check = find_class(d_index, d_hash, name, loader_data); duke@435: if (check != NULL) { duke@435: // Klass is already loaded, so just return it duke@435: class_has_been_loaded = true; duke@435: k = instanceKlassHandle(THREAD, check); duke@435: } else { coleenp@4037: placeholder = placeholders()->get_entry(p_index, p_hash, name, loader_data); duke@435: if (placeholder && placeholder->super_load_in_progress()) { duke@435: super_load_in_progress = true; duke@435: if (placeholder->havesupername() == true) { coleenp@2497: superclassname = placeholder->supername(); duke@435: havesupername = true; duke@435: } duke@435: } duke@435: } duke@435: } duke@435: acorn@4425: // If the class is in the placeholder table, class loading is in progress duke@435: if (super_load_in_progress && havesupername==true) { duke@435: k = SystemDictionary::handle_parallel_super_load(name, superclassname, duke@435: class_loader, protection_domain, lockObject, THREAD); duke@435: if (HAS_PENDING_EXCEPTION) { duke@435: return NULL; duke@435: } duke@435: if (!k.is_null()) { duke@435: class_has_been_loaded = true; duke@435: } duke@435: } duke@435: acorn@4425: bool throw_circularity_error = false; duke@435: if (!class_has_been_loaded) { acorn@4425: bool load_instance_added = false; duke@435: duke@435: // add placeholder entry to record loading instance class duke@435: // Five cases: duke@435: // All cases need to prevent modifying bootclasssearchpath duke@435: // in parallel with a classload of same classname acorn@949: // Redefineclasses uses existence of the placeholder for the duration acorn@949: // of the class load to prevent concurrent redefinition of not completely acorn@949: // defined classes. duke@435: // case 1. traditional classloaders that rely on the classloader object lock duke@435: // - no other need for LOAD_INSTANCE duke@435: // case 2. traditional classloaders that break the classloader object lock duke@435: // as a deadlock workaround. Detection of this case requires that duke@435: // this check is done while holding the classloader object lock, duke@435: // and that lock is still held when calling classloader's loadClass. duke@435: // For these classloaders, we ensure that the first requestor duke@435: // completes the load and other requestors wait for completion. duke@435: // case 3. UnsyncloadClass - don't use objectLocker duke@435: // With this flag, we allow parallel classloading of a duke@435: // class/classloader pair duke@435: // case4. Bootstrap classloader - don't own objectLocker duke@435: // This classloader supports parallelism at the classloader level, duke@435: // but only allows a single load of a class/classloader pair. duke@435: // No performance benefit and no deadlock issues. acorn@949: // case 5. parallelCapable user level classloaders - without objectLocker acorn@949: // Allow parallel classloading of a class/classloader pair acorn@4425: duke@435: { duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); acorn@949: if (class_loader.is_null() || !is_parallelCapable(class_loader)) { coleenp@4037: PlaceholderEntry* oldprobe = placeholders()->get_entry(p_index, p_hash, name, loader_data); duke@435: if (oldprobe) { duke@435: // only need check_seen_thread once, not on each loop duke@435: // 6341374 java/lang/Instrument with -Xcomp duke@435: if (oldprobe->check_seen_thread(THREAD, PlaceholderTable::LOAD_INSTANCE)) { duke@435: throw_circularity_error = true; duke@435: } else { duke@435: // case 1: traditional: should never see load_in_progress. duke@435: while (!class_has_been_loaded && oldprobe && oldprobe->instance_load_in_progress()) { duke@435: duke@435: // case 4: bootstrap classloader: prevent futile classloading, duke@435: // wait on first requestor duke@435: if (class_loader.is_null()) { duke@435: SystemDictionary_lock->wait(); duke@435: } else { duke@435: // case 2: traditional with broken classloader lock. wait on first duke@435: // requestor. duke@435: double_lock_wait(lockObject, THREAD); duke@435: } duke@435: // Check if classloading completed while we were waiting coleenp@4037: Klass* check = find_class(d_index, d_hash, name, loader_data); duke@435: if (check != NULL) { duke@435: // Klass is already loaded, so just return it duke@435: k = instanceKlassHandle(THREAD, check); duke@435: class_has_been_loaded = true; duke@435: } duke@435: // check if other thread failed to load and cleaned up coleenp@4037: oldprobe = placeholders()->get_entry(p_index, p_hash, name, loader_data); duke@435: } duke@435: } duke@435: } duke@435: } acorn@4425: // All cases: add LOAD_INSTANCE holding SystemDictionary_lock acorn@949: // case 3: UnsyncloadClass || case 5: parallelCapable: allow competing threads to try duke@435: // LOAD_INSTANCE in parallel acorn@4425: acorn@949: if (!throw_circularity_error && !class_has_been_loaded) { coleenp@4037: PlaceholderEntry* newprobe = placeholders()->find_and_add(p_index, p_hash, name, loader_data, PlaceholderTable::LOAD_INSTANCE, NULL, THREAD); acorn@4425: load_instance_added = true; duke@435: // For class loaders that do not acquire the classloader object lock, duke@435: // if they did not catch another thread holding LOAD_INSTANCE, duke@435: // need a check analogous to the acquire ObjectLocker/find_class duke@435: // i.e. now that we hold the LOAD_INSTANCE token on loading this class/CL duke@435: // one final check if the load has already completed acorn@949: // class loaders holding the ObjectLock shouldn't find the class here coleenp@4037: Klass* check = find_class(d_index, d_hash, name, loader_data); duke@435: if (check != NULL) { acorn@4425: // Klass is already loaded, so return it after checking/adding protection domain duke@435: k = instanceKlassHandle(THREAD, check); duke@435: class_has_been_loaded = true; duke@435: } duke@435: } duke@435: } acorn@4425: duke@435: // must throw error outside of owning lock duke@435: if (throw_circularity_error) { acorn@4425: assert(!HAS_PENDING_EXCEPTION && load_instance_added == false,"circularity error cleanup"); duke@435: ResourceMark rm(THREAD); acorn@4425: THROW_MSG_NULL(vmSymbols::java_lang_ClassCircularityError(), name->as_C_string()); duke@435: } duke@435: duke@435: if (!class_has_been_loaded) { duke@435: duke@435: // Do actual loading duke@435: k = load_instance_class(name, class_loader, THREAD); duke@435: acorn@1510: // For UnsyncloadClass only duke@435: // If they got a linkageError, check if a parallel class load succeeded. duke@435: // If it did, then for bytecode resolution the specification requires duke@435: // that we return the same result we did for the other thread, i.e. the coleenp@4037: // successfully loaded InstanceKlass duke@435: // Should not get here for classloaders that support parallelism acorn@1510: // with the new cleaner mechanism, even with AllowParallelDefineClass acorn@949: // Bootstrap goes through here to allow for an extra guarantee check duke@435: if (UnsyncloadClass || (class_loader.is_null())) { duke@435: if (k.is_null() && HAS_PENDING_EXCEPTION never@1577: && PENDING_EXCEPTION->is_a(SystemDictionary::LinkageError_klass())) { duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); coleenp@4037: Klass* check = find_class(d_index, d_hash, name, loader_data); duke@435: if (check != NULL) { duke@435: // Klass is already loaded, so just use it duke@435: k = instanceKlassHandle(THREAD, check); duke@435: CLEAR_PENDING_EXCEPTION; duke@435: guarantee((!class_loader.is_null()), "dup definition for bootstrap loader?"); duke@435: } duke@435: } duke@435: } duke@435: duke@435: // If everything was OK (no exceptions, no null return value), and duke@435: // class_loader is NOT the defining loader, do a little more bookkeeping. duke@435: if (!HAS_PENDING_EXCEPTION && !k.is_null() && duke@435: k->class_loader() != class_loader()) { duke@435: duke@435: check_constraints(d_index, d_hash, k, class_loader, false, THREAD); duke@435: duke@435: // Need to check for a PENDING_EXCEPTION again; check_constraints duke@435: // can throw and doesn't use the CHECK macro. duke@435: if (!HAS_PENDING_EXCEPTION) { duke@435: { // Grabbing the Compile_lock prevents systemDictionary updates duke@435: // during compilations. duke@435: MutexLocker mu(Compile_lock, THREAD); duke@435: update_dictionary(d_index, d_hash, p_index, p_hash, sla@5237: k, class_loader, THREAD); duke@435: } sla@5237: duke@435: if (JvmtiExport::should_post_class_load()) { duke@435: Thread *thread = THREAD; duke@435: assert(thread->is_Java_thread(), "thread->is_Java_thread()"); duke@435: JvmtiExport::post_class_load((JavaThread *) thread, k()); duke@435: } duke@435: } duke@435: } acorn@4425: } // load_instance_class loop acorn@4425: acorn@4425: if (load_instance_added == true) { acorn@4425: // clean up placeholder entries for LOAD_INSTANCE success or error acorn@4425: // This brackets the SystemDictionary updates for both defining acorn@4425: // and initiating loaders acorn@4425: MutexLocker mu(SystemDictionary_lock, THREAD); sla@5237: placeholders()->find_and_remove(p_index, p_hash, name, loader_data, PlaceholderTable::LOAD_INSTANCE, THREAD); sla@5237: SystemDictionary_lock->notify_all(); duke@435: } duke@435: } duke@435: acorn@4425: if (HAS_PENDING_EXCEPTION || k.is_null()) { acorn@4425: return NULL; acorn@4425: } acorn@4425: sla@5237: post_class_load_event(class_load_start_time, k, class_loader); sla@5237: duke@435: #ifdef ASSERT duke@435: { coleenp@4037: ClassLoaderData* loader_data = k->class_loader_data(); duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); coleenp@4037: Klass* kk = find_class(name, loader_data); duke@435: assert(kk == k(), "should be present in dictionary"); duke@435: } duke@435: #endif duke@435: duke@435: // return if the protection domain in NULL duke@435: if (protection_domain() == NULL) return k(); duke@435: duke@435: // Check the protection domain has the right access duke@435: { duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); duke@435: // Note that we have an entry, and entries can be deleted only during GC, duke@435: // so we cannot allow GC to occur while we're holding this entry. duke@435: // We're using a No_Safepoint_Verifier to catch any place where we duke@435: // might potentially do a GC at all. acorn@4425: // Dictionary::do_unloading() asserts that classes in SD are only acorn@4425: // unloaded at a safepoint. Anonymous classes are not in SD. duke@435: No_Safepoint_Verifier nosafepoint; duke@435: if (dictionary()->is_valid_protection_domain(d_index, d_hash, name, coleenp@4037: loader_data, duke@435: protection_domain)) { duke@435: return k(); duke@435: } duke@435: } duke@435: duke@435: // Verify protection domain. If it fails an exception is thrown coleenp@4037: validate_protection_domain(k, class_loader, protection_domain, CHECK_NULL); duke@435: duke@435: return k(); duke@435: } duke@435: duke@435: duke@435: // This routine does not lock the system dictionary. duke@435: // duke@435: // Since readers don't hold a lock, we must make sure that system duke@435: // dictionary entries are only removed at a safepoint (when only one duke@435: // thread is running), and are added to in a safe way (all links must duke@435: // be updated in an MT-safe manner). duke@435: // duke@435: // Callers should be aware that an entry could be added just after duke@435: // _dictionary->bucket(index) is read here, so the caller will not see duke@435: // the new entry. duke@435: coleenp@4037: Klass* SystemDictionary::find(Symbol* class_name, stefank@4667: Handle class_loader, stefank@4667: Handle protection_domain, stefank@4667: TRAPS) { duke@435: kvn@991: // UseNewReflection kvn@991: // The result of this call should be consistent with the result kvn@991: // of the call to resolve_instance_class_or_null(). kvn@991: // See evaluation 6790209 and 4474172 for more details. kvn@991: class_loader = Handle(THREAD, java_lang_ClassLoader::non_reflection_class_loader(class_loader())); stefank@4667: ClassLoaderData* loader_data = ClassLoaderData::class_loader_data_or_null(class_loader()); stefank@4667: stefank@4667: if (loader_data == NULL) { stefank@4667: // If the ClassLoaderData has not been setup, stefank@4667: // then the class loader has no entries in the dictionary. stefank@4667: return NULL; stefank@4667: } coleenp@4037: coleenp@4037: unsigned int d_hash = dictionary()->compute_hash(class_name, loader_data); duke@435: int d_index = dictionary()->hash_to_index(d_hash); duke@435: duke@435: { duke@435: // Note that we have an entry, and entries can be deleted only during GC, duke@435: // so we cannot allow GC to occur while we're holding this entry. duke@435: // We're using a No_Safepoint_Verifier to catch any place where we duke@435: // might potentially do a GC at all. acorn@4425: // Dictionary::do_unloading() asserts that classes in SD are only acorn@4425: // unloaded at a safepoint. Anonymous classes are not in SD. duke@435: No_Safepoint_Verifier nosafepoint; coleenp@4037: return dictionary()->find(d_index, d_hash, class_name, loader_data, duke@435: protection_domain, THREAD); duke@435: } duke@435: } duke@435: duke@435: duke@435: // Look for a loaded instance or array klass by name. Do not do any loading. duke@435: // return NULL in case of error. coleenp@4037: Klass* SystemDictionary::find_instance_or_array_klass(Symbol* class_name, coleenp@4142: Handle class_loader, coleenp@4142: Handle protection_domain, coleenp@4142: TRAPS) { coleenp@4037: Klass* k = NULL; coleenp@2497: assert(class_name != NULL, "class name must be non NULL"); jrose@567: coleenp@2497: if (FieldType::is_array(class_name)) { duke@435: // The name refers to an array. Parse the name. coleenp@2497: // dimension and object_key in FieldArrayInfo are assigned as a coleenp@2497: // side-effect of this call coleenp@2497: FieldArrayInfo fd; coleenp@2497: BasicType t = FieldType::get_array_info(class_name, fd, CHECK_(NULL)); duke@435: if (t != T_OBJECT) { duke@435: k = Universe::typeArrayKlassObj(t); duke@435: } else { coleenp@2497: k = SystemDictionary::find(fd.object_key(), class_loader, protection_domain, THREAD); duke@435: } duke@435: if (k != NULL) { hseigel@4278: k = k->array_klass_or_null(fd.dimension()); duke@435: } duke@435: } else { duke@435: k = find(class_name, class_loader, protection_domain, THREAD); duke@435: } duke@435: return k; duke@435: } duke@435: duke@435: // Note: this method is much like resolve_from_stream, but duke@435: // updates no supplemental data structures. duke@435: // TODO consolidate the two methods with a helper routine? coleenp@4037: Klass* SystemDictionary::parse_stream(Symbol* class_name, coleenp@4142: Handle class_loader, coleenp@4142: Handle protection_domain, coleenp@4142: ClassFileStream* st, coleenp@4142: KlassHandle host_klass, coleenp@4142: GrowableArray* cp_patches, coleenp@4142: TRAPS) { coleenp@2497: TempNewSymbol parsed_name = NULL; duke@435: mgronlun@6131: Ticks class_load_start_time = Ticks::now(); sla@5237: coleenp@4304: ClassLoaderData* loader_data; coleenp@4304: if (host_klass.not_null()) { coleenp@4304: // Create a new CLD for anonymous class, that uses the same class loader coleenp@4304: // as the host_klass coleenp@4304: assert(EnableInvokeDynamic, ""); coleenp@4304: guarantee(host_klass->class_loader() == class_loader(), "should be the same"); coleenp@4304: loader_data = ClassLoaderData::anonymous_class_loader_data(class_loader(), CHECK_NULL); coleenp@4304: loader_data->record_dependency(host_klass(), CHECK_NULL); coleenp@4304: } else { coleenp@4304: loader_data = ClassLoaderData::class_loader_data(class_loader()); coleenp@4304: } coleenp@4304: duke@435: // Parse the stream. Note that we do this even though this klass might duke@435: // already be present in the SystemDictionary, otherwise we would not duke@435: // throw potential ClassFormatErrors. duke@435: // duke@435: // Note: "name" is updated. duke@435: duke@435: instanceKlassHandle k = ClassFileParser(st).parseClassFile(class_name, coleenp@4304: loader_data, duke@435: protection_domain, jrose@1145: host_klass, jrose@1145: cp_patches, duke@435: parsed_name, acorn@1408: true, duke@435: THREAD); duke@435: duke@435: jrose@866: if (host_klass.not_null() && k.not_null()) { twisti@2698: assert(EnableInvokeDynamic, ""); jrose@866: // If it's anonymous, initialize it now, since nobody else will. jrose@866: jrose@866: { jrose@866: MutexLocker mu_r(Compile_lock, THREAD); jrose@866: jrose@866: // Add to class hierarchy, initialize vtables, and do possible jrose@866: // deoptimizations. jrose@866: add_to_hierarchy(k, CHECK_NULL); // No exception, but can block jrose@866: jrose@866: // But, do not add to system dictionary. roland@6190: roland@6190: // compiled code dependencies need to be validated anyway roland@6190: notice_modification(); jrose@866: } jrose@866: coleenp@4037: // Rewrite and patch constant pool here. coleenp@4304: k->link_class(CHECK_NULL); coleenp@4037: if (cp_patches != NULL) { coleenp@4037: k->constants()->patch_resolved_references(cp_patches); coleenp@4037: } coleenp@4304: k->eager_initialize(CHECK_NULL); jrose@866: jrose@866: // notify jvmti jrose@866: if (JvmtiExport::should_post_class_load()) { jrose@866: assert(THREAD->is_Java_thread(), "thread->is_Java_thread()"); jrose@866: JvmtiExport::post_class_load((JavaThread *) THREAD, k()); jrose@866: } sla@5237: sla@5237: post_class_load_event(class_load_start_time, k, class_loader); jrose@866: } coleenp@4037: assert(host_klass.not_null() || cp_patches == NULL, coleenp@4037: "cp_patches only found with host_klass"); jrose@866: duke@435: return k(); duke@435: } duke@435: duke@435: // Add a klass to the system from a stream (called by jni_DefineClass and duke@435: // JVM_DefineClass). duke@435: // Note: class_name can be NULL. In that case we do not know the name of duke@435: // the class until we have parsed the stream. duke@435: coleenp@4037: Klass* SystemDictionary::resolve_from_stream(Symbol* class_name, coleenp@4142: Handle class_loader, coleenp@4142: Handle protection_domain, coleenp@4142: ClassFileStream* st, coleenp@4142: bool verify, coleenp@4142: TRAPS) { duke@435: acorn@949: // Classloaders that support parallelism, e.g. bootstrap classloader, acorn@949: // or all classloaders with UnsyncloadClass do not acquire lock here acorn@949: bool DoObjectLock = true; acorn@949: if (is_parallelCapable(class_loader)) { acorn@949: DoObjectLock = false; acorn@949: } acorn@949: coleenp@4304: ClassLoaderData* loader_data = register_loader(class_loader, CHECK_NULL); coleenp@4037: acorn@949: // Make sure we are synchronized on the class loader before we proceed duke@435: Handle lockObject = compute_loader_lock_object(class_loader, THREAD); duke@435: check_loader_lock_contention(lockObject, THREAD); acorn@949: ObjectLocker ol(lockObject, THREAD, DoObjectLock); duke@435: coleenp@2497: TempNewSymbol parsed_name = NULL; duke@435: duke@435: // Parse the stream. Note that we do this even though this klass might duke@435: // already be present in the SystemDictionary, otherwise we would not duke@435: // throw potential ClassFormatErrors. duke@435: // duke@435: // Note: "name" is updated. duke@435: duke@435: instanceKlassHandle k = ClassFileParser(st).parseClassFile(class_name, coleenp@4304: loader_data, duke@435: protection_domain, duke@435: parsed_name, acorn@1408: verify, duke@435: THREAD); duke@435: duke@435: const char* pkg = "java/"; duke@435: if (!HAS_PENDING_EXCEPTION && duke@435: !class_loader.is_null() && coleenp@2497: parsed_name != NULL && duke@435: !strncmp((const char*)parsed_name->bytes(), pkg, strlen(pkg))) { duke@435: // It is illegal to define classes in the "java." package from duke@435: // JVM_DefineClass or jni_DefineClass unless you're the bootclassloader duke@435: ResourceMark rm(THREAD); duke@435: char* name = parsed_name->as_C_string(); duke@435: char* index = strrchr(name, '/'); duke@435: *index = '\0'; // chop to just the package name duke@435: while ((index = strchr(name, '/')) != NULL) { duke@435: *index = '.'; // replace '/' with '.' in package name duke@435: } duke@435: const char* fmt = "Prohibited package name: %s"; duke@435: size_t len = strlen(fmt) + strlen(name); duke@435: char* message = NEW_RESOURCE_ARRAY(char, len); duke@435: jio_snprintf(message, len, fmt, name); duke@435: Exceptions::_throw_msg(THREAD_AND_LOCATION, duke@435: vmSymbols::java_lang_SecurityException(), message); duke@435: } duke@435: duke@435: if (!HAS_PENDING_EXCEPTION) { coleenp@2497: assert(parsed_name != NULL, "Sanity"); coleenp@2497: assert(class_name == NULL || class_name == parsed_name, "name mismatch"); duke@435: // Verification prevents us from creating names with dots in them, this duke@435: // asserts that that's the case. duke@435: assert(is_internal_format(parsed_name), duke@435: "external class name format used internally"); duke@435: duke@435: // Add class just loaded acorn@949: // If a class loader supports parallel classloading handle parallel define requests coleenp@4037: // find_or_define_instance_class may return a different InstanceKlass acorn@949: if (is_parallelCapable(class_loader)) { acorn@949: k = find_or_define_instance_class(class_name, class_loader, k, THREAD); acorn@949: } else { acorn@949: define_instance_class(k, THREAD); acorn@949: } duke@435: } duke@435: acorn@4425: // Make sure we have an entry in the SystemDictionary on success duke@435: debug_only( { duke@435: if (!HAS_PENDING_EXCEPTION) { coleenp@2497: assert(parsed_name != NULL, "parsed_name is still null?"); coleenp@2497: Symbol* h_name = k->name(); coleenp@4037: ClassLoaderData *defining_loader_data = k->class_loader_data(); duke@435: duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); duke@435: coleenp@4037: Klass* check = find_class(parsed_name, loader_data); duke@435: assert(check == k(), "should be present in the dictionary"); duke@435: coleenp@4037: Klass* check2 = find_class(h_name, defining_loader_data); duke@435: assert(check == check2, "name inconsistancy in SystemDictionary"); duke@435: } duke@435: } ); duke@435: duke@435: return k(); duke@435: } duke@435: duke@435: zgu@3900: void SystemDictionary::set_shared_dictionary(HashtableBucket* t, int length, duke@435: int number_of_entries) { zgu@3900: assert(length == _nof_buckets * sizeof(HashtableBucket), duke@435: "bad shared dictionary size."); duke@435: _shared_dictionary = new Dictionary(_nof_buckets, t, number_of_entries); duke@435: } duke@435: duke@435: duke@435: // If there is a shared dictionary, then find the entry for the duke@435: // given shared system class, if any. duke@435: coleenp@4037: Klass* SystemDictionary::find_shared_class(Symbol* class_name) { duke@435: if (shared_dictionary() != NULL) { coleenp@4037: unsigned int d_hash = shared_dictionary()->compute_hash(class_name, NULL); acorn@3491: int d_index = shared_dictionary()->hash_to_index(d_hash); coleenp@4037: duke@435: return shared_dictionary()->find_shared_class(d_index, d_hash, class_name); duke@435: } else { duke@435: return NULL; duke@435: } duke@435: } duke@435: duke@435: duke@435: // Load a class from the shared spaces (found through the shared system duke@435: // dictionary). Force the superclass and all interfaces to be loaded. duke@435: // Update the class definition to include sibling classes and no duke@435: // subclasses (yet). [Classes in the shared space are not part of the duke@435: // object hierarchy until loaded.] duke@435: duke@435: instanceKlassHandle SystemDictionary::load_shared_class( coleenp@2497: Symbol* class_name, Handle class_loader, TRAPS) { duke@435: instanceKlassHandle ik (THREAD, find_shared_class(class_name)); duke@435: return load_shared_class(ik, class_loader, THREAD); duke@435: } duke@435: duke@435: instanceKlassHandle SystemDictionary::load_shared_class( duke@435: instanceKlassHandle ik, Handle class_loader, TRAPS) { duke@435: assert(class_loader.is_null(), "non-null classloader for shared class?"); duke@435: if (ik.not_null()) { duke@435: instanceKlassHandle nh = instanceKlassHandle(); // null Handle coleenp@2497: Symbol* class_name = ik->name(); duke@435: duke@435: // Found the class, now load the superclass and interfaces. If they duke@435: // are shared, add them to the main system dictionary and reset duke@435: // their hierarchy references (supers, subs, and interfaces). duke@435: duke@435: if (ik->super() != NULL) { coleenp@4037: Symbol* cn = ik->super()->name(); duke@435: resolve_super_or_fail(class_name, cn, duke@435: class_loader, Handle(), true, CHECK_(nh)); duke@435: } duke@435: coleenp@4037: Array* interfaces = ik->local_interfaces(); duke@435: int num_interfaces = interfaces->length(); duke@435: for (int index = 0; index < num_interfaces; index++) { coleenp@4037: Klass* k = interfaces->at(index); coleenp@4037: coleenp@4037: // Note: can not use InstanceKlass::cast here because coleenp@4037: // interfaces' InstanceKlass's C++ vtbls haven't been duke@435: // reinitialized yet (they will be once the interface classes duke@435: // are loaded) coleenp@4037: Symbol* name = k->name(); duke@435: resolve_super_or_fail(class_name, name, class_loader, Handle(), false, CHECK_(nh)); duke@435: } duke@435: duke@435: // Adjust methods to recover missing data. They need addresses for duke@435: // interpreter entry points and their default native method address duke@435: // must be reset. duke@435: duke@435: // Updating methods must be done under a lock so multiple duke@435: // threads don't update these in parallel duke@435: // Shared classes are all currently loaded by the bootstrap duke@435: // classloader, so this will never cause a deadlock on duke@435: // a custom class loader lock. duke@435: duke@435: { duke@435: Handle lockObject = compute_loader_lock_object(class_loader, THREAD); duke@435: check_loader_lock_contention(lockObject, THREAD); duke@435: ObjectLocker ol(lockObject, THREAD, true); coleenp@4037: ik->restore_unshareable_info(CHECK_(nh)); duke@435: } duke@435: duke@435: if (TraceClassLoading) { duke@435: ResourceMark rm; duke@435: tty->print("[Loaded %s", ik->external_name()); duke@435: tty->print(" from shared objects file"); duke@435: tty->print_cr("]"); duke@435: } duke@435: // notify a class loaded from shared object coleenp@4037: ClassLoadingService::notify_class_loaded(InstanceKlass::cast(ik()), duke@435: true /* shared class */); duke@435: } duke@435: return ik; duke@435: } duke@435: duke@435: coleenp@2497: instanceKlassHandle SystemDictionary::load_instance_class(Symbol* class_name, Handle class_loader, TRAPS) { duke@435: instanceKlassHandle nh = instanceKlassHandle(); // null Handle duke@435: if (class_loader.is_null()) { mchung@1310: duke@435: // Search the shared system dictionary for classes preloaded into the duke@435: // shared spaces. duke@435: instanceKlassHandle k; mchung@1310: { mchung@1310: PerfTraceTime vmtimer(ClassLoader::perf_shared_classload_time()); mchung@1310: k = load_shared_class(class_name, class_loader, THREAD); mchung@1310: } duke@435: duke@435: if (k.is_null()) { duke@435: // Use VM class loader mchung@1310: PerfTraceTime vmtimer(ClassLoader::perf_sys_classload_time()); duke@435: k = ClassLoader::load_classfile(class_name, CHECK_(nh)); duke@435: } duke@435: coleenp@4037: // find_or_define_instance_class may return a different InstanceKlass duke@435: if (!k.is_null()) { duke@435: k = find_or_define_instance_class(class_name, class_loader, k, CHECK_(nh)); duke@435: } duke@435: return k; duke@435: } else { duke@435: // Use user specified class loader to load class. Call loadClass operation on class_loader. duke@435: ResourceMark rm(THREAD); duke@435: mchung@1310: assert(THREAD->is_Java_thread(), "must be a JavaThread"); mchung@1310: JavaThread* jt = (JavaThread*) THREAD; mchung@1310: mchung@1310: PerfClassTraceTime vmtimer(ClassLoader::perf_app_classload_time(), mchung@1310: ClassLoader::perf_app_classload_selftime(), mchung@1310: ClassLoader::perf_app_classload_count(), mchung@1310: jt->get_thread_stat()->perf_recursion_counts_addr(), mchung@1310: jt->get_thread_stat()->perf_timers_addr(), mchung@1310: PerfClassTraceTime::CLASS_LOAD); mchung@1310: duke@435: Handle s = java_lang_String::create_from_symbol(class_name, CHECK_(nh)); duke@435: // Translate to external class name format, i.e., convert '/' chars to '.' duke@435: Handle string = java_lang_String::externalize_classname(s, CHECK_(nh)); duke@435: duke@435: JavaValue result(T_OBJECT); duke@435: never@1577: KlassHandle spec_klass (THREAD, SystemDictionary::ClassLoader_klass()); duke@435: acorn@949: // Call public unsynchronized loadClass(String) directly for all class loaders acorn@949: // for parallelCapable class loaders. JDK >=7, loadClass(String, boolean) will acorn@949: // acquire a class-name based lock rather than the class loader object lock. acorn@949: // JDK < 7 already acquire the class loader lock in loadClass(String, boolean), acorn@949: // so the call to loadClassInternal() was not required. acorn@949: // acorn@949: // UnsyncloadClass flag means both call loadClass(String) and do acorn@949: // not acquire the class loader lock even for class loaders that are acorn@949: // not parallelCapable. This was a risky transitional acorn@949: // flag for diagnostic purposes only. It is risky to call duke@435: // custom class loaders without synchronization. duke@435: // WARNING If a custom class loader does NOT synchronizer findClass, or callers of acorn@949: // findClass, the UnsyncloadClass flag risks unexpected timing bugs in the field. duke@435: // Do NOT assume this will be supported in future releases. acorn@949: // acorn@949: // Added MustCallLoadClassInternal in case we discover in the field acorn@949: // a customer that counts on this call acorn@949: if (MustCallLoadClassInternal && has_loadClassInternal()) { duke@435: JavaCalls::call_special(&result, duke@435: class_loader, duke@435: spec_klass, coleenp@2497: vmSymbols::loadClassInternal_name(), coleenp@2497: vmSymbols::string_class_signature(), duke@435: string, duke@435: CHECK_(nh)); duke@435: } else { duke@435: JavaCalls::call_virtual(&result, duke@435: class_loader, duke@435: spec_klass, coleenp@2497: vmSymbols::loadClass_name(), coleenp@2497: vmSymbols::string_class_signature(), duke@435: string, duke@435: CHECK_(nh)); duke@435: } duke@435: duke@435: assert(result.get_type() == T_OBJECT, "just checking"); duke@435: oop obj = (oop) result.get_jobject(); duke@435: duke@435: // Primitive classes return null since forName() can not be duke@435: // used to obtain any of the Class objects representing primitives or void duke@435: if ((obj != NULL) && !(java_lang_Class::is_primitive(obj))) { duke@435: instanceKlassHandle k = coleenp@4037: instanceKlassHandle(THREAD, java_lang_Class::as_Klass(obj)); duke@435: // For user defined Java class loaders, check that the name returned is duke@435: // the same as that requested. This check is done for the bootstrap duke@435: // loader when parsing the class file. coleenp@2497: if (class_name == k->name()) { duke@435: return k; duke@435: } duke@435: } duke@435: // Class is not found or has the wrong name, return NULL duke@435: return nh; duke@435: } duke@435: } duke@435: duke@435: void SystemDictionary::define_instance_class(instanceKlassHandle k, TRAPS) { duke@435: coleenp@4037: ClassLoaderData* loader_data = k->class_loader_data(); coleenp@4037: Handle class_loader_h(THREAD, loader_data->class_loader()); coleenp@4037: coleenp@4037: for (uintx it = 0; it < GCExpandToAllocateDelayMillis; it++){} duke@435: acorn@949: // for bootstrap and other parallel classloaders don't acquire lock, acorn@949: // use placeholder token acorn@949: // If a parallelCapable class loader calls define_instance_class instead of acorn@949: // find_or_define_instance_class to get here, we have a timing acorn@949: // hole with systemDictionary updates and check_constraints acorn@949: if (!class_loader_h.is_null() && !is_parallelCapable(class_loader_h)) { duke@435: assert(ObjectSynchronizer::current_thread_holds_lock((JavaThread*)THREAD, duke@435: compute_loader_lock_object(class_loader_h, THREAD)), duke@435: "define called without lock"); duke@435: } duke@435: duke@435: // Check class-loading constraints. Throw exception if violation is detected. duke@435: // Grabs and releases SystemDictionary_lock duke@435: // The check_constraints/find_class call and update_dictionary sequence duke@435: // must be "atomic" for a specific class/classloader pair so we never duke@435: // define two different instanceKlasses for that class/classloader pair. duke@435: // Existing classloaders will call define_instance_class with the duke@435: // classloader lock held duke@435: // Parallel classloaders will call find_or_define_instance_class duke@435: // which will require a token to perform the define class coleenp@2497: Symbol* name_h = k->name(); coleenp@4037: unsigned int d_hash = dictionary()->compute_hash(name_h, loader_data); duke@435: int d_index = dictionary()->hash_to_index(d_hash); duke@435: check_constraints(d_index, d_hash, k, class_loader_h, true, CHECK); duke@435: coleenp@4062: // Register class just loaded with class loader (placed in Vector) coleenp@4062: // Note we do this before updating the dictionary, as this can coleenp@4062: // fail with an OutOfMemoryError (if it does, we will *not* put this coleenp@4062: // class in the dictionary and will not update the class hierarchy). coleenp@4062: // JVMTI FollowReferences needs to find the classes this way. coleenp@4062: if (k->class_loader() != NULL) { coleenp@4062: methodHandle m(THREAD, Universe::loader_addClass_method()); coleenp@4062: JavaValue result(T_VOID); coleenp@4062: JavaCallArguments args(class_loader_h); coleenp@4062: args.push_oop(Handle(THREAD, k->java_mirror())); coleenp@4062: JavaCalls::call(&result, m, &args, CHECK); coleenp@4062: } coleenp@4062: duke@435: // Add the new class. We need recompile lock during update of CHA. duke@435: { coleenp@4037: unsigned int p_hash = placeholders()->compute_hash(name_h, loader_data); duke@435: int p_index = placeholders()->hash_to_index(p_hash); duke@435: duke@435: MutexLocker mu_r(Compile_lock, THREAD); duke@435: duke@435: // Add to class hierarchy, initialize vtables, and do possible duke@435: // deoptimizations. duke@435: add_to_hierarchy(k, CHECK); // No exception, but can block duke@435: duke@435: // Add to systemDictionary - so other classes can see it. duke@435: // Grabs and releases SystemDictionary_lock duke@435: update_dictionary(d_index, d_hash, p_index, p_hash, duke@435: k, class_loader_h, THREAD); duke@435: } duke@435: k->eager_initialize(THREAD); duke@435: duke@435: // notify jvmti duke@435: if (JvmtiExport::should_post_class_load()) { duke@435: assert(THREAD->is_Java_thread(), "thread->is_Java_thread()"); duke@435: JvmtiExport::post_class_load((JavaThread *) THREAD, k()); duke@435: duke@435: } sla@5237: duke@435: } duke@435: duke@435: // Support parallel classloading acorn@1510: // All parallel class loaders, including bootstrap classloader acorn@1510: // lock a placeholder entry for this class/class_loader pair acorn@1510: // to allow parallel defines of different classes for this class loader acorn@949: // With AllowParallelDefine flag==true, in case they do not synchronize around acorn@949: // FindLoadedClass/DefineClass, calls, we check for parallel duke@435: // loading for them, wait if a defineClass is in progress duke@435: // and return the initial requestor's results acorn@1510: // This flag does not apply to the bootstrap classloader. acorn@949: // With AllowParallelDefine flag==false, call through to define_instance_class acorn@949: // which will throw LinkageError: duplicate class definition. acorn@1510: // False is the requested default. duke@435: // For better performance, the class loaders should synchronize acorn@949: // findClass(), i.e. FindLoadedClass/DefineClassIfAbsent or they duke@435: // potentially waste time reading and parsing the bytestream. duke@435: // Note: VM callers should ensure consistency of k/class_name,class_loader coleenp@2497: instanceKlassHandle SystemDictionary::find_or_define_instance_class(Symbol* class_name, Handle class_loader, instanceKlassHandle k, TRAPS) { duke@435: duke@435: instanceKlassHandle nh = instanceKlassHandle(); // null Handle coleenp@2497: Symbol* name_h = k->name(); // passed in class_name may be null coleenp@4037: ClassLoaderData* loader_data = class_loader_data(class_loader); coleenp@4037: coleenp@4037: unsigned int d_hash = dictionary()->compute_hash(name_h, loader_data); duke@435: int d_index = dictionary()->hash_to_index(d_hash); duke@435: duke@435: // Hold SD lock around find_class and placeholder creation for DEFINE_CLASS coleenp@4037: unsigned int p_hash = placeholders()->compute_hash(name_h, loader_data); duke@435: int p_index = placeholders()->hash_to_index(p_hash); duke@435: PlaceholderEntry* probe; duke@435: duke@435: { duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); duke@435: // First check if class already defined acorn@1510: if (UnsyncloadClass || (is_parallelDefine(class_loader))) { coleenp@4037: Klass* check = find_class(d_index, d_hash, name_h, loader_data); acorn@1510: if (check != NULL) { acorn@1510: return(instanceKlassHandle(THREAD, check)); acorn@1510: } duke@435: } duke@435: duke@435: // Acquire define token for this class/classloader coleenp@4037: probe = placeholders()->find_and_add(p_index, p_hash, name_h, loader_data, PlaceholderTable::DEFINE_CLASS, NULL, THREAD); acorn@949: // Wait if another thread defining in parallel acorn@949: // All threads wait - even those that will throw duplicate class: otherwise acorn@949: // caller is surprised by LinkageError: duplicate, but findLoadedClass fails acorn@949: // if other thread has not finished updating dictionary acorn@949: while (probe->definer() != NULL) { acorn@949: SystemDictionary_lock->wait(); acorn@949: } acorn@949: // Only special cases allow parallel defines and can use other thread's results acorn@949: // Other cases fall through, and may run into duplicate defines acorn@949: // caught by finding an entry in the SystemDictionary hseigel@4278: if ((UnsyncloadClass || is_parallelDefine(class_loader)) && (probe->instance_klass() != NULL)) { acorn@4425: placeholders()->find_and_remove(p_index, p_hash, name_h, loader_data, PlaceholderTable::DEFINE_CLASS, THREAD); acorn@949: SystemDictionary_lock->notify_all(); jrose@866: #ifdef ASSERT coleenp@4037: Klass* check = find_class(d_index, d_hash, name_h, loader_data); acorn@949: assert(check != NULL, "definer missed recording success"); jrose@866: #endif hseigel@4278: return(instanceKlassHandle(THREAD, probe->instance_klass())); acorn@949: } else { acorn@949: // This thread will define the class (even if earlier thread tried and had an error) duke@435: probe->set_definer(THREAD); duke@435: } duke@435: } duke@435: duke@435: define_instance_class(k, THREAD); duke@435: duke@435: Handle linkage_exception = Handle(); // null handle duke@435: duke@435: // definer must notify any waiting threads duke@435: { duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); coleenp@4037: PlaceholderEntry* probe = placeholders()->get_entry(p_index, p_hash, name_h, loader_data); duke@435: assert(probe != NULL, "DEFINE_CLASS placeholder lost?"); duke@435: if (probe != NULL) { duke@435: if (HAS_PENDING_EXCEPTION) { duke@435: linkage_exception = Handle(THREAD,PENDING_EXCEPTION); duke@435: CLEAR_PENDING_EXCEPTION; duke@435: } else { hseigel@4278: probe->set_instance_klass(k()); duke@435: } duke@435: probe->set_definer(NULL); acorn@4425: placeholders()->find_and_remove(p_index, p_hash, name_h, loader_data, PlaceholderTable::DEFINE_CLASS, THREAD); duke@435: SystemDictionary_lock->notify_all(); duke@435: } duke@435: } duke@435: duke@435: // Can't throw exception while holding lock due to rank ordering duke@435: if (linkage_exception() != NULL) { duke@435: THROW_OOP_(linkage_exception(), nh); // throws exception and returns duke@435: } duke@435: duke@435: return k; duke@435: } duke@435: Handle SystemDictionary::compute_loader_lock_object(Handle class_loader, TRAPS) { duke@435: // If class_loader is NULL we synchronize on _system_loader_lock_obj duke@435: if (class_loader.is_null()) { duke@435: return Handle(THREAD, _system_loader_lock_obj); duke@435: } else { duke@435: return class_loader; duke@435: } duke@435: } duke@435: duke@435: // This method is added to check how often we have to wait to grab loader duke@435: // lock. The results are being recorded in the performance counters defined in duke@435: // ClassLoader::_sync_systemLoaderLockContentionRate and duke@435: // ClassLoader::_sync_nonSystemLoaderLockConteionRate. duke@435: void SystemDictionary::check_loader_lock_contention(Handle loader_lock, TRAPS) { duke@435: if (!UsePerfData) { duke@435: return; duke@435: } duke@435: duke@435: assert(!loader_lock.is_null(), "NULL lock object"); duke@435: duke@435: if (ObjectSynchronizer::query_lock_ownership((JavaThread*)THREAD, loader_lock) duke@435: == ObjectSynchronizer::owner_other) { duke@435: // contention will likely happen, so increment the corresponding duke@435: // contention counter. duke@435: if (loader_lock() == _system_loader_lock_obj) { duke@435: ClassLoader::sync_systemLoaderLockContentionRate()->inc(); duke@435: } else { duke@435: ClassLoader::sync_nonSystemLoaderLockContentionRate()->inc(); duke@435: } duke@435: } duke@435: } duke@435: duke@435: // ---------------------------------------------------------------------------- duke@435: // Lookup duke@435: coleenp@4037: Klass* SystemDictionary::find_class(int index, unsigned int hash, coleenp@2497: Symbol* class_name, coleenp@4037: ClassLoaderData* loader_data) { duke@435: assert_locked_or_safepoint(SystemDictionary_lock); coleenp@4037: assert (index == dictionary()->index_for(class_name, loader_data), duke@435: "incorrect index?"); duke@435: coleenp@4037: Klass* k = dictionary()->find_class(index, hash, class_name, loader_data); duke@435: return k; duke@435: } duke@435: duke@435: duke@435: // Basic find on classes in the midst of being loaded coleenp@2497: Symbol* SystemDictionary::find_placeholder(Symbol* class_name, coleenp@4037: ClassLoaderData* loader_data) { duke@435: assert_locked_or_safepoint(SystemDictionary_lock); coleenp@4037: unsigned int p_hash = placeholders()->compute_hash(class_name, loader_data); coleenp@2497: int p_index = placeholders()->hash_to_index(p_hash); coleenp@4037: return placeholders()->find_entry(p_index, p_hash, class_name, loader_data); duke@435: } duke@435: duke@435: duke@435: // Used for assertions and verification only coleenp@4037: Klass* SystemDictionary::find_class(Symbol* class_name, ClassLoaderData* loader_data) { duke@435: #ifndef ASSERT johnc@4899: guarantee(VerifyBeforeGC || johnc@4899: VerifyDuringGC || johnc@4899: VerifyBeforeExit || johnc@4899: VerifyDuringStartup || duke@435: VerifyAfterGC, "too expensive"); duke@435: #endif duke@435: assert_locked_or_safepoint(SystemDictionary_lock); duke@435: duke@435: // First look in the loaded class array coleenp@4037: unsigned int d_hash = dictionary()->compute_hash(class_name, loader_data); duke@435: int d_index = dictionary()->hash_to_index(d_hash); coleenp@4037: return find_class(d_index, d_hash, class_name, loader_data); duke@435: } duke@435: duke@435: duke@435: // Get the next class in the diictionary. coleenp@4037: Klass* SystemDictionary::try_get_next_class() { duke@435: return dictionary()->try_get_next_class(); duke@435: } duke@435: duke@435: duke@435: // ---------------------------------------------------------------------------- duke@435: // Update hierachy. This is done before the new klass has been added to the SystemDictionary. The Recompile_lock duke@435: // is held, to ensure that the compiler is not using the class hierachy, and that deoptimization will kick in duke@435: // before a new class is used. duke@435: duke@435: void SystemDictionary::add_to_hierarchy(instanceKlassHandle k, TRAPS) { duke@435: assert(k.not_null(), "just checking"); never@2551: assert_locked_or_safepoint(Compile_lock); never@2551: duke@435: // Link into hierachy. Make sure the vtables are initialized before linking into duke@435: k->append_to_sibling_list(); // add to superklass/sibling list duke@435: k->process_interfaces(THREAD); // handle all "implements" declarations coleenp@4037: k->set_init_state(InstanceKlass::loaded); duke@435: // Now flush all code that depended on old class hierarchy. duke@435: // Note: must be done *after* linking k into the hierarchy (was bug 12/9/97) duke@435: // Also, first reinitialize vtable because it may have gotten out of synch duke@435: // while the new class wasn't connected to the class hierarchy. duke@435: Universe::flush_dependents_on(k); duke@435: } duke@435: duke@435: duke@435: // ---------------------------------------------------------------------------- duke@435: // GC support duke@435: duke@435: // Following roots during mark-sweep is separated in two phases. duke@435: // duke@435: // The first phase follows preloaded classes and all other system duke@435: // classes, since these will never get unloaded anyway. duke@435: // duke@435: // The second phase removes (unloads) unreachable classes from the duke@435: // system dictionary and follows the remaining classes' contents. duke@435: duke@435: void SystemDictionary::always_strong_oops_do(OopClosure* blk) { stefank@6992: roots_oops_do(blk, NULL); duke@435: } duke@435: coleenp@4037: void SystemDictionary::always_strong_classes_do(KlassClosure* closure) { duke@435: // Follow all system classes and temporary placeholders in dictionary coleenp@4037: dictionary()->always_strong_classes_do(closure); coleenp@4037: coleenp@4037: // Placeholders. These represent classes we're actively loading. coleenp@4037: placeholders()->classes_do(closure); duke@435: } duke@435: acorn@3491: // Calculate a "good" systemdictionary size based acorn@3491: // on predicted or current loaded classes count acorn@3491: int SystemDictionary::calculate_systemdictionary_size(int classcount) { acorn@3491: int newsize = _old_default_sdsize; acorn@3491: if ((classcount > 0) && !DumpSharedSpaces) { acorn@3491: int desiredsize = classcount/_average_depth_goal; acorn@3491: for (newsize = _primelist[_sdgeneration]; _sdgeneration < _prime_array_size -1; acorn@3491: newsize = _primelist[++_sdgeneration]) { acorn@3491: if (desiredsize <= newsize) { acorn@3491: break; acorn@3491: } acorn@3491: } acorn@3491: } acorn@3491: return newsize; acorn@3491: } sla@5237: tschatzl@5862: #ifdef ASSERT tschatzl@5862: class VerifySDReachableAndLiveClosure : public OopClosure { tschatzl@5862: private: tschatzl@5862: BoolObjectClosure* _is_alive; tschatzl@5862: tschatzl@5862: template void do_oop_work(T* p) { tschatzl@5862: oop obj = oopDesc::load_decode_heap_oop(p); tschatzl@5862: guarantee(_is_alive->do_object_b(obj), "Oop in system dictionary must be live"); tschatzl@5862: } tschatzl@5862: tschatzl@5862: public: tschatzl@5862: VerifySDReachableAndLiveClosure(BoolObjectClosure* is_alive) : OopClosure(), _is_alive(is_alive) { } tschatzl@5862: tschatzl@5862: virtual void do_oop(oop* p) { do_oop_work(p); } tschatzl@5862: virtual void do_oop(narrowOop* p) { do_oop_work(p); } tschatzl@5862: }; tschatzl@5862: #endif tschatzl@5862: acorn@4425: // Assumes classes in the SystemDictionary are only unloaded at a safepoint acorn@4425: // Note: anonymous classes are not in the SD. duke@435: bool SystemDictionary::do_unloading(BoolObjectClosure* is_alive) { coleenp@4037: // First, mark for unload all ClassLoaderData referencing a dead class loader. coleenp@4037: bool has_dead_loaders = ClassLoaderDataGraph::do_unloading(is_alive); coleenp@4037: bool unloading_occurred = false; coleenp@4037: if (has_dead_loaders) { coleenp@4037: unloading_occurred = dictionary()->do_unloading(); coleenp@4037: constraints()->purge_loader_constraints(); coleenp@4037: resolution_errors()->purge_resolution_errors(); tschatzl@5862: } tschatzl@5862: // Oops referenced by the system dictionary may get unreachable independently tschatzl@5862: // of the class loader (eg. cached protection domain oops). So we need to tschatzl@5862: // explicitly unlink them here instead of in Dictionary::do_unloading. tschatzl@5862: dictionary()->unlink(is_alive); tschatzl@5862: #ifdef ASSERT tschatzl@5862: VerifySDReachableAndLiveClosure cl(is_alive); tschatzl@5862: dictionary()->oops_do(&cl); tschatzl@5862: #endif coleenp@4037: return unloading_occurred; coleenp@4037: } coleenp@4037: stefank@6992: void SystemDictionary::roots_oops_do(OopClosure* strong, OopClosure* weak) { stefank@6992: strong->do_oop(&_java_system_loader); stefank@6992: strong->do_oop(&_system_loader_lock_obj); stefank@6992: stefank@6992: // Adjust dictionary stefank@6992: dictionary()->roots_oops_do(strong, weak); stefank@6992: stefank@6992: // Visit extra methods stefank@6992: invoke_method_table()->oops_do(strong); stefank@6992: } stefank@6992: duke@435: void SystemDictionary::oops_do(OopClosure* f) { duke@435: f->do_oop(&_java_system_loader); coleenp@4037: f->do_oop(&_system_loader_lock_obj); duke@435: duke@435: // Adjust dictionary duke@435: dictionary()->oops_do(f); duke@435: jrose@1145: // Visit extra methods twisti@2258: invoke_method_table()->oops_do(f); duke@435: } duke@435: coleenp@4037: // Extended Class redefinition support. coleenp@4037: // If one of these classes is replaced, we need to replace it in these places. coleenp@4037: // KlassClosure::do_klass should take the address of a class but we can coleenp@4037: // change that later. coleenp@4037: void SystemDictionary::preloaded_classes_do(KlassClosure* f) { jrose@567: for (int k = (int)FIRST_WKID; k < (int)WKID_LIMIT; k++) { coleenp@4037: f->do_klass(_well_known_klasses[k]); jrose@567: } duke@435: duke@435: { duke@435: for (int i = 0; i < T_VOID+1; i++) { duke@435: if (_box_klasses[i] != NULL) { duke@435: assert(i >= T_BOOLEAN, "checking"); coleenp@4037: f->do_klass(_box_klasses[i]); duke@435: } duke@435: } duke@435: } duke@435: coleenp@4037: FilteredFieldsMap::classes_do(f); duke@435: } duke@435: coleenp@4037: void SystemDictionary::lazily_loaded_classes_do(KlassClosure* f) { coleenp@4037: f->do_klass(_abstract_ownable_synchronizer_klass); duke@435: } duke@435: duke@435: // Just the classes from defining class loaders duke@435: // Don't iterate over placeholders coleenp@4037: void SystemDictionary::classes_do(void f(Klass*)) { duke@435: dictionary()->classes_do(f); duke@435: } duke@435: duke@435: // Added for initialize_itable_for_klass duke@435: // Just the classes from defining class loaders duke@435: // Don't iterate over placeholders coleenp@4037: void SystemDictionary::classes_do(void f(Klass*, TRAPS), TRAPS) { duke@435: dictionary()->classes_do(f, CHECK); duke@435: } duke@435: duke@435: // All classes, and their class loaders duke@435: // Don't iterate over placeholders coleenp@4037: void SystemDictionary::classes_do(void f(Klass*, ClassLoaderData*)) { duke@435: dictionary()->classes_do(f); duke@435: } duke@435: coleenp@4037: void SystemDictionary::placeholders_do(void f(Symbol*)) { duke@435: placeholders()->entries_do(f); duke@435: } duke@435: coleenp@4037: void SystemDictionary::methods_do(void f(Method*)) { duke@435: dictionary()->methods_do(f); twisti@2258: invoke_method_table()->methods_do(f); duke@435: } duke@435: duke@435: // ---------------------------------------------------------------------------- duke@435: // Lazily load klasses duke@435: duke@435: void SystemDictionary::load_abstract_ownable_synchronizer_klass(TRAPS) { duke@435: assert(JDK_Version::is_gte_jdk16x_version(), "Must be JDK 1.6 or later"); duke@435: duke@435: // if multiple threads calling this function, only one thread will load duke@435: // the class. The other threads will find the loaded version once the duke@435: // class is loaded. coleenp@4037: Klass* aos = _abstract_ownable_synchronizer_klass; duke@435: if (aos == NULL) { coleenp@4037: Klass* k = resolve_or_fail(vmSymbols::java_util_concurrent_locks_AbstractOwnableSynchronizer(), true, CHECK); duke@435: // Force a fence to prevent any read before the write completes duke@435: OrderAccess::fence(); duke@435: _abstract_ownable_synchronizer_klass = k; duke@435: } duke@435: } duke@435: duke@435: // ---------------------------------------------------------------------------- duke@435: // Initialization duke@435: duke@435: void SystemDictionary::initialize(TRAPS) { duke@435: // Allocate arrays duke@435: assert(dictionary() == NULL, duke@435: "SystemDictionary should only be initialized once"); acorn@3491: _sdgeneration = 0; acorn@3491: _dictionary = new Dictionary(calculate_systemdictionary_size(PredictedLoadedClassCount)); twisti@2258: _placeholders = new PlaceholderTable(_nof_buckets); duke@435: _number_of_modifications = 0; twisti@2258: _loader_constraints = new LoaderConstraintTable(_loader_constraint_size); twisti@2258: _resolution_errors = new ResolutionErrorTable(_resolution_error_size); twisti@2258: _invoke_method_table = new SymbolPropertyTable(_invoke_method_size); duke@435: duke@435: // Allocate private object used as system class loader lock coleenp@4037: _system_loader_lock_obj = oopFactory::new_intArray(0, CHECK); duke@435: // Initialize basic classes duke@435: initialize_preloaded_classes(CHECK); duke@435: } duke@435: jrose@567: // Compact table of directions on the initialization of klasses: jrose@567: static const short wk_init_info[] = { jrose@567: #define WK_KLASS_INIT_INFO(name, symbol, option) \ jrose@567: ( ((int)vmSymbols::VM_SYMBOL_ENUM_NAME(symbol) \ jrose@567: << SystemDictionary::CEIL_LG_OPTION_LIMIT) \ jrose@567: | (int)SystemDictionary::option ), jrose@567: WK_KLASSES_DO(WK_KLASS_INIT_INFO) jrose@567: #undef WK_KLASS_INIT_INFO jrose@567: 0 jrose@567: }; jrose@567: jrose@567: bool SystemDictionary::initialize_wk_klass(WKID id, int init_opt, TRAPS) { jrose@567: assert(id >= (int)FIRST_WKID && id < (int)WKID_LIMIT, "oob"); jrose@567: int info = wk_init_info[id - FIRST_WKID]; jrose@567: int sid = (info >> CEIL_LG_OPTION_LIMIT); coleenp@2497: Symbol* symbol = vmSymbols::symbol_at((vmSymbols::SID)sid); coleenp@4037: Klass** klassp = &_well_known_klasses[id]; jrose@2742: bool must_load = (init_opt < SystemDictionary::Opt); zgu@4492: if ((*klassp) == NULL) { jrose@567: if (must_load) { jrose@567: (*klassp) = resolve_or_fail(symbol, true, CHECK_0); // load required class jrose@567: } else { jrose@567: (*klassp) = resolve_or_null(symbol, CHECK_0); // load optional klass jrose@567: } jrose@567: } jrose@2742: return ((*klassp) != NULL); jrose@567: } jrose@567: jrose@567: void SystemDictionary::initialize_wk_klasses_until(WKID limit_id, WKID &start_id, TRAPS) { jrose@567: assert((int)start_id <= (int)limit_id, "IDs are out of order!"); jrose@567: for (int id = (int)start_id; id < (int)limit_id; id++) { jrose@567: assert(id >= (int)FIRST_WKID && id < (int)WKID_LIMIT, "oob"); jrose@567: int info = wk_init_info[id - FIRST_WKID]; jrose@567: int sid = (info >> CEIL_LG_OPTION_LIMIT); jrose@567: int opt = (info & right_n_bits(CEIL_LG_OPTION_LIMIT)); jrose@567: jrose@567: initialize_wk_klass((WKID)id, opt, CHECK); jrose@567: } jrose@1145: jrose@1145: // move the starting value forward to the limit: jrose@1145: start_id = limit_id; jrose@567: } jrose@567: duke@435: void SystemDictionary::initialize_preloaded_classes(TRAPS) { never@1577: assert(WK_KLASS(Object_klass) == NULL, "preloaded classes should only be initialized once"); duke@435: // Preload commonly used klasses jrose@567: WKID scan = FIRST_WKID; coleenp@4037: // first do Object, then String, Class coleenp@4037: if (UseSharedSpaces) { coleenp@4037: initialize_wk_klasses_through(WK_KLASS_ENUM_NAME(Object_klass), scan, CHECK); coleenp@4037: // Initialize the constant pool for the Object_class coleenp@4037: InstanceKlass* ik = InstanceKlass::cast(Object_klass()); coleenp@4037: ik->constants()->restore_unshareable_info(CHECK); coleenp@4045: initialize_wk_klasses_through(WK_KLASS_ENUM_NAME(Class_klass), scan, CHECK); coleenp@4037: } else { coleenp@4037: initialize_wk_klasses_through(WK_KLASS_ENUM_NAME(Class_klass), scan, CHECK); coleenp@4037: } jrose@567: kvn@3760: // Calculate offsets for String and Class classes since they are loaded and kvn@3760: // can be used after this point. kvn@3760: java_lang_String::compute_offsets(); never@3137: java_lang_Class::compute_offsets(); jrose@567: duke@435: // Fixup mirrors for classes loaded before java.lang.Class. duke@435: // These calls iterate over the objects currently in the perm gen duke@435: // so calling them at this point is matters (not before when there duke@435: // are fewer objects and not later after there are more objects duke@435: // in the perm gen. duke@435: Universe::initialize_basic_type_mirrors(CHECK); duke@435: Universe::fixup_mirrors(CHECK); duke@435: jrose@567: // do a bunch more: never@1577: initialize_wk_klasses_through(WK_KLASS_ENUM_NAME(Reference_klass), scan, CHECK); duke@435: duke@435: // Preload ref klasses and set reference types coleenp@4037: InstanceKlass::cast(WK_KLASS(Reference_klass))->set_reference_type(REF_OTHER); coleenp@4047: InstanceRefKlass::update_nonstatic_oop_maps(WK_KLASS(Reference_klass)); duke@435: never@1577: initialize_wk_klasses_through(WK_KLASS_ENUM_NAME(PhantomReference_klass), scan, CHECK); coleenp@4037: InstanceKlass::cast(WK_KLASS(SoftReference_klass))->set_reference_type(REF_SOFT); coleenp@4037: InstanceKlass::cast(WK_KLASS(WeakReference_klass))->set_reference_type(REF_WEAK); coleenp@4037: InstanceKlass::cast(WK_KLASS(FinalReference_klass))->set_reference_type(REF_FINAL); coleenp@4037: InstanceKlass::cast(WK_KLASS(PhantomReference_klass))->set_reference_type(REF_PHANTOM); duke@435: twisti@2698: // JSR 292 classes twisti@2698: WKID jsr292_group_start = WK_KLASS_ENUM_NAME(MethodHandle_klass); twisti@3050: WKID jsr292_group_end = WK_KLASS_ENUM_NAME(VolatileCallSite_klass); twisti@2698: initialize_wk_klasses_until(jsr292_group_start, scan, CHECK); jrose@1161: if (EnableInvokeDynamic) { twisti@2698: initialize_wk_klasses_through(jsr292_group_end, scan, CHECK); twisti@2698: } else { twisti@2698: // Skip the JSR 292 classes, if not enabled. twisti@2698: scan = WKID(jsr292_group_end + 1); jrose@1161: } jrose@1145: jrose@567: initialize_wk_klasses_until(WKID_LIMIT, scan, CHECK); duke@435: never@1577: _box_klasses[T_BOOLEAN] = WK_KLASS(Boolean_klass); never@1577: _box_klasses[T_CHAR] = WK_KLASS(Character_klass); never@1577: _box_klasses[T_FLOAT] = WK_KLASS(Float_klass); never@1577: _box_klasses[T_DOUBLE] = WK_KLASS(Double_klass); never@1577: _box_klasses[T_BYTE] = WK_KLASS(Byte_klass); never@1577: _box_klasses[T_SHORT] = WK_KLASS(Short_klass); never@1577: _box_klasses[T_INT] = WK_KLASS(Integer_klass); never@1577: _box_klasses[T_LONG] = WK_KLASS(Long_klass); jrose@567: //_box_klasses[T_OBJECT] = WK_KLASS(object_klass); jrose@567: //_box_klasses[T_ARRAY] = WK_KLASS(object_klass); duke@435: duke@435: { // Compute whether we should use loadClass or loadClassInternal when loading classes. coleenp@4037: Method* method = InstanceKlass::cast(ClassLoader_klass())->find_method(vmSymbols::loadClassInternal_name(), vmSymbols::string_class_signature()); duke@435: _has_loadClassInternal = (method != NULL); duke@435: } duke@435: { // Compute whether we should use checkPackageAccess or NOT coleenp@4037: Method* method = InstanceKlass::cast(ClassLoader_klass())->find_method(vmSymbols::checkPackageAccess_name(), vmSymbols::class_protectiondomain_signature()); duke@435: _has_checkPackageAccess = (method != NULL); duke@435: } duke@435: } duke@435: duke@435: // Tells if a given klass is a box (wrapper class, such as java.lang.Integer). duke@435: // If so, returns the basic type it holds. If not, returns T_OBJECT. coleenp@4037: BasicType SystemDictionary::box_klass_type(Klass* k) { duke@435: assert(k != NULL, ""); duke@435: for (int i = T_BOOLEAN; i < T_VOID+1; i++) { duke@435: if (_box_klasses[i] == k) duke@435: return (BasicType)i; duke@435: } duke@435: return T_OBJECT; duke@435: } duke@435: duke@435: // Constraints on class loaders. The details of the algorithm can be duke@435: // found in the OOPSLA'98 paper "Dynamic Class Loading in the Java duke@435: // Virtual Machine" by Sheng Liang and Gilad Bracha. The basic idea is duke@435: // that the system dictionary needs to maintain a set of contraints that duke@435: // must be satisfied by all classes in the dictionary. duke@435: // if defining is true, then LinkageError if already in systemDictionary coleenp@4037: // if initiating loader, then ok if InstanceKlass matches existing entry duke@435: duke@435: void SystemDictionary::check_constraints(int d_index, unsigned int d_hash, duke@435: instanceKlassHandle k, duke@435: Handle class_loader, bool defining, duke@435: TRAPS) { duke@435: const char *linkage_error = NULL; duke@435: { coleenp@2497: Symbol* name = k->name(); coleenp@4037: ClassLoaderData *loader_data = class_loader_data(class_loader); coleenp@4037: duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); duke@435: coleenp@4037: Klass* check = find_class(d_index, d_hash, name, loader_data); coleenp@4037: if (check != (Klass*)NULL) { coleenp@4037: // if different InstanceKlass - duplicate class definition, duke@435: // else - ok, class loaded by a different thread in parallel, duke@435: // we should only have found it if it was done loading and ok to use duke@435: // system dictionary only holds instance classes, placeholders duke@435: // also holds array classes duke@435: coleenp@4037: assert(check->oop_is_instance(), "noninstance in systemdictionary"); duke@435: if ((defining == true) || (k() != check)) { duke@435: linkage_error = "loader (instance of %s): attempted duplicate class " duke@435: "definition for name: \"%s\""; duke@435: } else { duke@435: return; duke@435: } duke@435: } duke@435: duke@435: #ifdef ASSERT coleenp@4037: Symbol* ph_check = find_placeholder(name, loader_data); coleenp@2497: assert(ph_check == NULL || ph_check == name, "invalid symbol"); duke@435: #endif duke@435: duke@435: if (linkage_error == NULL) { duke@435: if (constraints()->check_or_update(k, class_loader, name) == false) { duke@435: linkage_error = "loader constraint violation: loader (instance of %s)" duke@435: " previously initiated loading for a different type with name \"%s\""; duke@435: } duke@435: } duke@435: } duke@435: duke@435: // Throw error now if needed (cannot throw while holding duke@435: // SystemDictionary_lock because of rank ordering) duke@435: duke@435: if (linkage_error) { duke@435: ResourceMark rm(THREAD); duke@435: const char* class_loader_name = loader_name(class_loader()); duke@435: char* type_name = k->name()->as_C_string(); duke@435: size_t buflen = strlen(linkage_error) + strlen(class_loader_name) + duke@435: strlen(type_name); duke@435: char* buf = NEW_RESOURCE_ARRAY_IN_THREAD(THREAD, char, buflen); duke@435: jio_snprintf(buf, buflen, linkage_error, class_loader_name, type_name); duke@435: THROW_MSG(vmSymbols::java_lang_LinkageError(), buf); duke@435: } duke@435: } duke@435: duke@435: duke@435: // Update system dictionary - done after check_constraint and add_to_hierachy duke@435: // have been called. duke@435: void SystemDictionary::update_dictionary(int d_index, unsigned int d_hash, duke@435: int p_index, unsigned int p_hash, duke@435: instanceKlassHandle k, duke@435: Handle class_loader, duke@435: TRAPS) { duke@435: // Compile_lock prevents systemDictionary updates during compilations duke@435: assert_locked_or_safepoint(Compile_lock); coleenp@2497: Symbol* name = k->name(); coleenp@4037: ClassLoaderData *loader_data = class_loader_data(class_loader); duke@435: duke@435: { duke@435: MutexLocker mu1(SystemDictionary_lock, THREAD); duke@435: duke@435: // See whether biased locking is enabled and if so set it for this duke@435: // klass. duke@435: // Note that this must be done past the last potential blocking duke@435: // point / safepoint. We enable biased locking lazily using a duke@435: // VM_Operation to iterate the SystemDictionary and installing the coleenp@4037: // biasable mark word into each InstanceKlass's prototype header. duke@435: // To avoid race conditions where we accidentally miss enabling the duke@435: // optimization for one class in the process of being added to the duke@435: // dictionary, we must not safepoint after the test of duke@435: // BiasedLocking::enabled(). duke@435: if (UseBiasedLocking && BiasedLocking::enabled()) { duke@435: // Set biased locking bit for all loaded classes; it will be duke@435: // cleared if revocation occurs too often for this type duke@435: // NOTE that we must only do this when the class is initally duke@435: // defined, not each time it is referenced from a new class loader duke@435: if (k->class_loader() == class_loader()) { duke@435: k->set_prototype_header(markOopDesc::biased_locking_prototype()); duke@435: } duke@435: } duke@435: acorn@4425: // Make a new system dictionary entry. coleenp@4037: Klass* sd_check = find_class(d_index, d_hash, name, loader_data); duke@435: if (sd_check == NULL) { coleenp@4037: dictionary()->add_klass(name, loader_data, k); duke@435: notice_modification(); duke@435: } duke@435: #ifdef ASSERT coleenp@4037: sd_check = find_class(d_index, d_hash, name, loader_data); duke@435: assert (sd_check != NULL, "should have entry in system dictionary"); acorn@4425: // Note: there may be a placeholder entry: for circularity testing acorn@4425: // or for parallel defines duke@435: #endif duke@435: SystemDictionary_lock->notify_all(); duke@435: } duke@435: } duke@435: duke@435: never@2551: // Try to find a class name using the loader constraints. The never@2551: // loader constraints might know about a class that isn't fully loaded never@2551: // yet and these will be ignored. coleenp@4037: Klass* SystemDictionary::find_constrained_instance_or_array_klass( coleenp@2497: Symbol* class_name, Handle class_loader, TRAPS) { duke@435: duke@435: // First see if it has been loaded directly. duke@435: // Force the protection domain to be null. (This removes protection checks.) duke@435: Handle no_protection_domain; coleenp@4037: Klass* klass = find_instance_or_array_klass(class_name, class_loader, coleenp@4142: no_protection_domain, CHECK_NULL); duke@435: if (klass != NULL) duke@435: return klass; duke@435: duke@435: // Now look to see if it has been loaded elsewhere, and is subject to duke@435: // a loader constraint that would require this loader to return the duke@435: // klass that is already loaded. coleenp@2497: if (FieldType::is_array(class_name)) { coleenp@4037: // For array classes, their Klass*s are not kept in the coleenp@4037: // constraint table. The element Klass*s are. coleenp@2497: FieldArrayInfo fd; coleenp@2497: BasicType t = FieldType::get_array_info(class_name, fd, CHECK_(NULL)); duke@435: if (t != T_OBJECT) { duke@435: klass = Universe::typeArrayKlassObj(t); duke@435: } else { duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); coleenp@2497: klass = constraints()->find_constrained_klass(fd.object_key(), class_loader); duke@435: } acorn@1771: // If element class already loaded, allocate array klass duke@435: if (klass != NULL) { hseigel@4278: klass = klass->array_klass_or_null(fd.dimension()); duke@435: } duke@435: } else { duke@435: MutexLocker mu(SystemDictionary_lock, THREAD); duke@435: // Non-array classes are easy: simply check the constraint table. duke@435: klass = constraints()->find_constrained_klass(class_name, class_loader); duke@435: } duke@435: duke@435: return klass; duke@435: } duke@435: duke@435: coleenp@2497: bool SystemDictionary::add_loader_constraint(Symbol* class_name, duke@435: Handle class_loader1, duke@435: Handle class_loader2, duke@435: Thread* THREAD) { coleenp@4037: ClassLoaderData* loader_data1 = class_loader_data(class_loader1); coleenp@4037: ClassLoaderData* loader_data2 = class_loader_data(class_loader2); coleenp@4037: coleenp@2497: Symbol* constraint_name = NULL; coleenp@2497: if (!FieldType::is_array(class_name)) { acorn@1771: constraint_name = class_name; acorn@1771: } else { coleenp@4037: // For array classes, their Klass*s are not kept in the acorn@1771: // constraint table. The element classes are. coleenp@2497: FieldArrayInfo fd; coleenp@2497: BasicType t = FieldType::get_array_info(class_name, fd, CHECK_(false)); acorn@1771: // primitive types always pass acorn@1771: if (t != T_OBJECT) { acorn@1771: return true; acorn@1771: } else { coleenp@2497: constraint_name = fd.object_key(); acorn@1771: } acorn@1771: } coleenp@4037: unsigned int d_hash1 = dictionary()->compute_hash(constraint_name, loader_data1); duke@435: int d_index1 = dictionary()->hash_to_index(d_hash1); duke@435: coleenp@4037: unsigned int d_hash2 = dictionary()->compute_hash(constraint_name, loader_data2); duke@435: int d_index2 = dictionary()->hash_to_index(d_hash2); acorn@1771: { acorn@1771: MutexLocker mu_s(SystemDictionary_lock, THREAD); duke@435: acorn@1771: // Better never do a GC while we're holding these oops acorn@1771: No_Safepoint_Verifier nosafepoint; duke@435: coleenp@4037: Klass* klass1 = find_class(d_index1, d_hash1, constraint_name, loader_data1); coleenp@4037: Klass* klass2 = find_class(d_index2, d_hash2, constraint_name, loader_data2); acorn@1771: return constraints()->add_entry(constraint_name, klass1, class_loader1, acorn@1771: klass2, class_loader2); duke@435: } duke@435: } duke@435: duke@435: // Add entry to resolution error table to record the error when the first duke@435: // attempt to resolve a reference to a class has failed. coleenp@2497: void SystemDictionary::add_resolution_error(constantPoolHandle pool, int which, Symbol* error) { duke@435: unsigned int hash = resolution_errors()->compute_hash(pool, which); duke@435: int index = resolution_errors()->hash_to_index(hash); duke@435: { duke@435: MutexLocker ml(SystemDictionary_lock, Thread::current()); duke@435: resolution_errors()->add_entry(index, hash, pool, which, error); duke@435: } duke@435: } duke@435: coleenp@4037: // Delete a resolution error for RedefineClasses for a constant pool is going away coleenp@4037: void SystemDictionary::delete_resolution_error(ConstantPool* pool) { coleenp@4037: resolution_errors()->delete_entry(pool); coleenp@4037: } coleenp@4037: duke@435: // Lookup resolution error table. Returns error if found, otherwise NULL. coleenp@2497: Symbol* SystemDictionary::find_resolution_error(constantPoolHandle pool, int which) { duke@435: unsigned int hash = resolution_errors()->compute_hash(pool, which); duke@435: int index = resolution_errors()->hash_to_index(hash); duke@435: { duke@435: MutexLocker ml(SystemDictionary_lock, Thread::current()); duke@435: ResolutionErrorEntry* entry = resolution_errors()->find_entry(index, hash, pool, which); coleenp@2497: return (entry != NULL) ? entry->error() : (Symbol*)NULL; duke@435: } duke@435: } duke@435: duke@435: jrose@1100: // Signature constraints ensure that callers and callees agree about jrose@1100: // the meaning of type names in their signatures. This routine is the jrose@1100: // intake for constraints. It collects them from several places: jrose@1100: // jrose@1100: // * LinkResolver::resolve_method (if check_access is true) requires jrose@1100: // that the resolving class (the caller) and the defining class of jrose@1100: // the resolved method (the callee) agree on each type in the jrose@1100: // method's signature. jrose@1100: // jrose@1100: // * LinkResolver::resolve_interface_method performs exactly the same jrose@1100: // checks. jrose@1100: // jrose@1100: // * LinkResolver::resolve_field requires that the constant pool jrose@1100: // attempting to link to a field agree with the field's defining jrose@1100: // class about the type of the field signature. jrose@1100: // jrose@1100: // * klassVtable::initialize_vtable requires that, when a class jrose@1100: // overrides a vtable entry allocated by a superclass, that the jrose@1100: // overriding method (i.e., the callee) agree with the superclass jrose@1100: // on each type in the method's signature. jrose@1100: // jrose@1100: // * klassItable::initialize_itable requires that, when a class fills jrose@1100: // in its itables, for each non-abstract method installed in an jrose@1100: // itable, the method (i.e., the callee) agree with the interface jrose@1100: // on each type in the method's signature. jrose@1100: // jrose@1100: // All those methods have a boolean (check_access, checkconstraints) jrose@1100: // which turns off the checks. This is used from specialized contexts jrose@1100: // such as bootstrapping, dumping, and debugging. jrose@1100: // jrose@1100: // No direct constraint is placed between the class and its jrose@1100: // supertypes. Constraints are only placed along linked relations jrose@1100: // between callers and callees. When a method overrides or implements jrose@1100: // an abstract method in a supertype (superclass or interface), the jrose@1100: // constraints are placed as if the supertype were the caller to the jrose@1100: // overriding method. (This works well, since callers to the jrose@1100: // supertype have already established agreement between themselves and jrose@1100: // the supertype.) As a result of all this, a class can disagree with jrose@1100: // its supertype about the meaning of a type name, as long as that jrose@1100: // class neither calls a relevant method of the supertype, nor is jrose@1100: // called (perhaps via an override) from the supertype. jrose@1100: // jrose@1100: // jrose@1100: // SystemDictionary::check_signature_loaders(sig, l1, l2) jrose@1100: // duke@435: // Make sure all class components (including arrays) in the given duke@435: // signature will be resolved to the same class in both loaders. duke@435: // Returns the name of the type that failed a loader constraint check, or acorn@4840: // NULL if no constraint failed. No exception except OOME is thrown. acorn@1771: // Arrays are not added to the loader constraint table, their elements are. acorn@4840: Symbol* SystemDictionary::check_signature_loaders(Symbol* signature, duke@435: Handle loader1, Handle loader2, duke@435: bool is_method, TRAPS) { duke@435: // Nothing to do if loaders are the same. duke@435: if (loader1() == loader2()) { duke@435: return NULL; duke@435: } duke@435: duke@435: SignatureStream sig_strm(signature, is_method); duke@435: while (!sig_strm.is_done()) { duke@435: if (sig_strm.is_object()) { acorn@4840: Symbol* sig = sig_strm.as_symbol(CHECK_NULL); duke@435: if (!add_loader_constraint(sig, loader1, loader2, THREAD)) { acorn@4840: return sig; duke@435: } duke@435: } duke@435: sig_strm.next(); duke@435: } duke@435: return NULL; duke@435: } duke@435: duke@435: twisti@3969: methodHandle SystemDictionary::find_method_handle_intrinsic(vmIntrinsics::ID iid, twisti@3969: Symbol* signature, twisti@3969: TRAPS) { twisti@3969: methodHandle empty; twisti@3969: assert(EnableInvokeDynamic, ""); twisti@3969: assert(MethodHandles::is_signature_polymorphic(iid) && twisti@3969: MethodHandles::is_signature_polymorphic_intrinsic(iid) && twisti@3969: iid != vmIntrinsics::_invokeGeneric, twisti@3969: err_msg("must be a known MH intrinsic iid=%d: %s", iid, vmIntrinsics::name_at(iid))); twisti@3969: twisti@3969: unsigned int hash = invoke_method_table()->compute_hash(signature, iid); jrose@1145: int index = invoke_method_table()->hash_to_index(hash); twisti@3969: SymbolPropertyEntry* spe = invoke_method_table()->find_entry(index, hash, signature, iid); twisti@3969: methodHandle m; coleenp@4037: if (spe == NULL || spe->method() == NULL) { jrose@1863: spe = NULL; jrose@1145: // Must create lots of stuff here, but outside of the SystemDictionary lock. coleenp@4037: m = Method::make_method_handle_intrinsic(iid, signature, CHECK_(empty)); twisti@3969: CompileBroker::compile_method(m, InvocationEntryBci, CompLevel_highest_tier, twisti@3969: methodHandle(), CompileThreshold, "MH", CHECK_(empty)); twisti@3969: jrose@1145: // Now grab the lock. We might have to throw away the new method, jrose@1145: // if a racing thread has managed to install one at the same time. twisti@3969: { twisti@3969: MutexLocker ml(SystemDictionary_lock, THREAD); twisti@3969: spe = invoke_method_table()->find_entry(index, hash, signature, iid); jrose@1145: if (spe == NULL) twisti@3969: spe = invoke_method_table()->add_entry(index, hash, signature, iid); coleenp@4037: if (spe->method() == NULL) coleenp@4037: spe->set_method(m()); jrose@1145: } jrose@1145: } twisti@3969: coleenp@4037: assert(spe != NULL && spe->method() != NULL, ""); coleenp@4037: return spe->method(); twisti@3969: } twisti@3969: twisti@3969: // Helper for unpacking the return value from linkMethod and linkCallSite. twisti@3969: static methodHandle unpack_method_and_appendix(Handle mname, coleenp@4304: KlassHandle accessing_klass, twisti@3969: objArrayHandle appendix_box, twisti@3969: Handle* appendix_result, twisti@3969: TRAPS) { twisti@3969: methodHandle empty; twisti@3969: if (mname.not_null()) { coleenp@4037: Metadata* vmtarget = java_lang_invoke_MemberName::vmtarget(mname()); twisti@3969: if (vmtarget != NULL && vmtarget->is_method()) { coleenp@4037: Method* m = (Method*)vmtarget; twisti@3969: oop appendix = appendix_box->obj_at(0); twisti@3969: if (TraceMethodHandles) { twisti@3969: #ifndef PRODUCT drchase@6680: tty->print("Linked method=" INTPTR_FORMAT ": ", p2i(m)); twisti@3969: m->print(); twisti@3969: if (appendix != NULL) { tty->print("appendix = "); appendix->print(); } twisti@3969: tty->cr(); twisti@3969: #endif //PRODUCT twisti@3969: } twisti@3969: (*appendix_result) = Handle(THREAD, appendix); coleenp@4304: // the target is stored in the cpCache and if a reference to this coleenp@4304: // MethodName is dropped we need a way to make sure the coleenp@4304: // class_loader containing this method is kept alive. coleenp@4304: // FIXME: the appendix might also preserve this dependency. coleenp@4304: ClassLoaderData* this_key = InstanceKlass::cast(accessing_klass())->class_loader_data(); coleenp@4304: this_key->record_dependency(m->method_holder(), CHECK_NULL); // Can throw OOM twisti@3969: return methodHandle(THREAD, m); twisti@3969: } jrose@1863: } twisti@3969: THROW_MSG_(vmSymbols::java_lang_LinkageError(), "bad value from MethodHandleNatives", empty); twisti@3969: return empty; jrose@1145: } jrose@1145: twisti@3969: methodHandle SystemDictionary::find_method_handle_invoker(Symbol* name, twisti@3969: Symbol* signature, twisti@3969: KlassHandle accessing_klass, twisti@4133: Handle *appendix_result, twisti@4133: Handle *method_type_result, twisti@3969: TRAPS) { twisti@3969: methodHandle empty; twisti@3969: assert(EnableInvokeDynamic, ""); twisti@3969: assert(!THREAD->is_Compiler_thread(), ""); twisti@3969: Handle method_type = twisti@3969: SystemDictionary::find_method_handle_type(signature, accessing_klass, CHECK_(empty)); twisti@3969: if (false) { // FIXME: Decide if the Java upcall should resolve signatures. twisti@3969: method_type = java_lang_String::create_from_symbol(signature, CHECK_(empty)); twisti@3969: } twisti@3969: coleenp@4037: KlassHandle mh_klass = SystemDictionary::MethodHandle_klass(); twisti@3969: int ref_kind = JVM_REF_invokeVirtual; twisti@3969: Handle name_str = StringTable::intern(name, CHECK_(empty)); twisti@3969: objArrayHandle appendix_box = oopFactory::new_objArray(SystemDictionary::Object_klass(), 1, CHECK_(empty)); twisti@3969: assert(appendix_box->obj_at(0) == NULL, ""); twisti@3969: twisti@5995: // This should not happen. JDK code should take care of that. twisti@5995: if (accessing_klass.is_null() || method_type.is_null()) { twisti@5995: THROW_MSG_(vmSymbols::java_lang_InternalError(), "bad invokehandle", empty); twisti@5995: } twisti@5995: twisti@3969: // call java.lang.invoke.MethodHandleNatives::linkMethod(... String, MethodType) -> MemberName twisti@3969: JavaCallArguments args; twisti@3969: args.push_oop(accessing_klass()->java_mirror()); twisti@3969: args.push_int(ref_kind); twisti@3969: args.push_oop(mh_klass()->java_mirror()); twisti@3969: args.push_oop(name_str()); twisti@3969: args.push_oop(method_type()); twisti@3969: args.push_oop(appendix_box()); twisti@3969: JavaValue result(T_OBJECT); twisti@3969: JavaCalls::call_static(&result, twisti@3969: SystemDictionary::MethodHandleNatives_klass(), twisti@3969: vmSymbols::linkMethod_name(), twisti@3969: vmSymbols::linkMethod_signature(), twisti@3969: &args, CHECK_(empty)); twisti@3969: Handle mname(THREAD, (oop) result.get_jobject()); twisti@4133: (*method_type_result) = method_type; coleenp@4304: return unpack_method_and_appendix(mname, accessing_klass, appendix_box, appendix_result, THREAD); twisti@3969: } twisti@3969: twisti@3969: jrose@2639: // Ask Java code to find or construct a java.lang.invoke.MethodType for the given jrose@1145: // signature, as interpreted relative to the given class loader. jrose@1145: // Because of class loader constraints, all method handle usage must be jrose@1145: // consistent with this loader. coleenp@2497: Handle SystemDictionary::find_method_handle_type(Symbol* signature, jrose@1863: KlassHandle accessing_klass, jrose@1862: TRAPS) { twisti@3969: Handle empty; twisti@3969: vmIntrinsics::ID null_iid = vmIntrinsics::_none; // distinct from all method handle invoker intrinsics twisti@3969: unsigned int hash = invoke_method_table()->compute_hash(signature, null_iid); twisti@3969: int index = invoke_method_table()->hash_to_index(hash); twisti@3969: SymbolPropertyEntry* spe = invoke_method_table()->find_entry(index, hash, signature, null_iid); coleenp@4037: if (spe != NULL && spe->method_type() != NULL) { coleenp@4037: assert(java_lang_invoke_MethodType::is_instance(spe->method_type()), ""); coleenp@4037: return Handle(THREAD, spe->method_type()); twisti@3969: } else if (THREAD->is_Compiler_thread()) { twisti@3969: warning("SystemDictionary::find_method_handle_type called from compiler thread"); // FIXME twisti@3969: return Handle(); // do not attempt from within compiler, unless it was cached twisti@3969: } twisti@3969: jrose@1863: Handle class_loader, protection_domain; jrose@1863: bool is_on_bcp = true; // keep this true as long as we can materialize from the boot classloader coleenp@2497: int npts = ArgumentCount(signature).size(); never@1577: objArrayHandle pts = oopFactory::new_objArray(SystemDictionary::Class_klass(), npts, CHECK_(empty)); jrose@1145: int arg = 0; jrose@1145: Handle rt; // the return type from the signature coleenp@2497: ResourceMark rm(THREAD); coleenp@2497: for (SignatureStream ss(signature); !ss.is_done(); ss.next()) { jrose@1863: oop mirror = NULL; jrose@1863: if (is_on_bcp) { twisti@3969: // Note: class_loader & protection_domain are both null at this point. jrose@1863: mirror = ss.as_java_mirror(class_loader, protection_domain, jrose@1863: SignatureStream::ReturnNull, CHECK_(empty)); jrose@1863: if (mirror == NULL) { jrose@1863: // fall back from BCP to accessing_klass jrose@1863: if (accessing_klass.not_null()) { coleenp@4037: class_loader = Handle(THREAD, InstanceKlass::cast(accessing_klass())->class_loader()); coleenp@4037: protection_domain = Handle(THREAD, InstanceKlass::cast(accessing_klass())->protection_domain()); jrose@1863: } jrose@1863: is_on_bcp = false; jrose@1863: } jrose@1863: } jrose@1863: if (!is_on_bcp) { jrose@1863: // Resolve, throwing a real error if it doesn't work. jrose@1863: mirror = ss.as_java_mirror(class_loader, protection_domain, jrose@1863: SignatureStream::NCDFError, CHECK_(empty)); jrose@1145: } jrose@1145: if (ss.at_return_type()) jrose@1145: rt = Handle(THREAD, mirror); jrose@1145: else jrose@1145: pts->obj_at_put(arg++, mirror); twisti@3969: jrose@1863: // Check accessibility. jrose@1863: if (ss.is_object() && accessing_klass.not_null()) { coleenp@4037: Klass* sel_klass = java_lang_Class::as_Klass(mirror); twisti@3969: mirror = NULL; // safety coleenp@4037: // Emulate ConstantPool::verify_constant_pool_resolve. hseigel@4278: if (sel_klass->oop_is_objArray()) coleenp@4142: sel_klass = ObjArrayKlass::cast(sel_klass)->bottom_klass(); hseigel@4278: if (sel_klass->oop_is_instance()) { jrose@1863: KlassHandle sel_kh(THREAD, sel_klass); jrose@1863: LinkResolver::check_klass_accessability(accessing_klass, sel_kh, CHECK_(empty)); jrose@1863: } jrose@1863: } jrose@1145: } jrose@1145: assert(arg == npts, ""); jrose@1145: jrose@2639: // call java.lang.invoke.MethodHandleNatives::findMethodType(Class rt, Class[] pts) -> MethodType jrose@1145: JavaCallArguments args(Handle(THREAD, rt())); jrose@1145: args.push_oop(pts()); jrose@1145: JavaValue result(T_OBJECT); jrose@1145: JavaCalls::call_static(&result, jrose@1862: SystemDictionary::MethodHandleNatives_klass(), jrose@1862: vmSymbols::findMethodHandleType_name(), jrose@2742: vmSymbols::findMethodHandleType_signature(), jrose@1145: &args, CHECK_(empty)); jrose@2148: Handle method_type(THREAD, (oop) result.get_jobject()); jrose@2148: twisti@3969: if (is_on_bcp) { twisti@3969: // We can cache this MethodType inside the JVM. twisti@3969: MutexLocker ml(SystemDictionary_lock, THREAD); twisti@3969: spe = invoke_method_table()->find_entry(index, hash, signature, null_iid); twisti@3969: if (spe == NULL) twisti@3969: spe = invoke_method_table()->add_entry(index, hash, signature, null_iid); coleenp@4037: if (spe->method_type() == NULL) { coleenp@4037: spe->set_method_type(method_type()); jrose@2148: } jrose@2148: } jrose@1863: twisti@3969: // report back to the caller with the MethodType jrose@2148: return method_type; jrose@1145: } jrose@1145: jrose@1957: // Ask Java code to find or construct a method handle constant. jrose@1957: Handle SystemDictionary::link_method_handle_constant(KlassHandle caller, jrose@1957: int ref_kind, //e.g., JVM_REF_invokeVirtual jrose@1957: KlassHandle callee, coleenp@2497: Symbol* name_sym, coleenp@2497: Symbol* signature, jrose@1957: TRAPS) { jrose@1957: Handle empty; coleenp@2497: Handle name = java_lang_String::create_from_symbol(name_sym, CHECK_(empty)); jrose@1957: Handle type; jrose@1957: if (signature->utf8_length() > 0 && signature->byte_at(0) == '(') { twisti@3969: type = find_method_handle_type(signature, caller, CHECK_(empty)); twisti@5995: } else if (caller.is_null()) { twisti@5995: // This should not happen. JDK code should take care of that. twisti@5995: THROW_MSG_(vmSymbols::java_lang_InternalError(), "bad MH constant", empty); jrose@1957: } else { coleenp@2497: ResourceMark rm(THREAD); coleenp@2497: SignatureStream ss(signature, false); jrose@1957: if (!ss.is_done()) { jrose@1957: oop mirror = ss.as_java_mirror(caller->class_loader(), caller->protection_domain(), jrose@1957: SignatureStream::NCDFError, CHECK_(empty)); jrose@1957: type = Handle(THREAD, mirror); jrose@1957: ss.next(); jrose@1957: if (!ss.is_done()) type = Handle(); // error! jrose@1957: } jrose@1957: } jrose@1957: if (type.is_null()) { jrose@1957: THROW_MSG_(vmSymbols::java_lang_LinkageError(), "bad signature", empty); jrose@1957: } jrose@1957: jrose@2639: // call java.lang.invoke.MethodHandleNatives::linkMethodHandleConstant(Class caller, int refKind, Class callee, String name, Object type) -> MethodHandle jrose@1957: JavaCallArguments args; jrose@1957: args.push_oop(caller->java_mirror()); // the referring class jrose@1957: args.push_int(ref_kind); jrose@1957: args.push_oop(callee->java_mirror()); // the target class jrose@1957: args.push_oop(name()); jrose@1957: args.push_oop(type()); jrose@1957: JavaValue result(T_OBJECT); jrose@1957: JavaCalls::call_static(&result, jrose@1957: SystemDictionary::MethodHandleNatives_klass(), jrose@1957: vmSymbols::linkMethodHandleConstant_name(), jrose@2742: vmSymbols::linkMethodHandleConstant_signature(), jrose@1957: &args, CHECK_(empty)); jrose@1957: return Handle(THREAD, (oop) result.get_jobject()); jrose@1957: } jrose@1145: jrose@2639: // Ask Java code to find or construct a java.lang.invoke.CallSite for the given jrose@1161: // name and signature, as interpreted relative to the given class loader. twisti@3969: methodHandle SystemDictionary::find_dynamic_call_site_invoker(KlassHandle caller, twisti@3969: Handle bootstrap_specifier, twisti@3969: Symbol* name, twisti@3969: Symbol* type, twisti@4133: Handle *appendix_result, twisti@4133: Handle *method_type_result, twisti@3969: TRAPS) { twisti@3969: methodHandle empty; twisti@3969: Handle bsm, info; twisti@3969: if (java_lang_invoke_MethodHandle::is_instance(bootstrap_specifier())) { twisti@3969: bsm = bootstrap_specifier; twisti@3969: } else { twisti@3969: assert(bootstrap_specifier->is_objArray(), ""); twisti@3969: objArrayHandle args(THREAD, (objArrayOop) bootstrap_specifier()); twisti@3969: int len = args->length(); twisti@3969: assert(len >= 1, ""); twisti@3969: bsm = Handle(THREAD, args->obj_at(0)); twisti@3969: if (len > 1) { twisti@3969: objArrayOop args1 = oopFactory::new_objArray(SystemDictionary::Object_klass(), len-1, CHECK_(empty)); twisti@3969: for (int i = 1; i < len; i++) twisti@3969: args1->obj_at_put(i-1, args->obj_at(i)); twisti@3969: info = Handle(THREAD, args1); twisti@3969: } twisti@3969: } twisti@3969: guarantee(java_lang_invoke_MethodHandle::is_instance(bsm()), jrose@2015: "caller must supply a valid BSM"); jrose@2015: twisti@3969: Handle method_name = java_lang_String::create_from_symbol(name, CHECK_(empty)); twisti@3969: Handle method_type = find_method_handle_type(type, caller, CHECK_(empty)); twisti@3969: twisti@5995: // This should not happen. JDK code should take care of that. twisti@5995: if (caller.is_null() || method_type.is_null()) { twisti@5995: THROW_MSG_(vmSymbols::java_lang_InternalError(), "bad invokedynamic", empty); twisti@5995: } twisti@5995: twisti@3969: objArrayHandle appendix_box = oopFactory::new_objArray(SystemDictionary::Object_klass(), 1, CHECK_(empty)); twisti@3969: assert(appendix_box->obj_at(0) == NULL, ""); twisti@3969: twisti@3969: // call java.lang.invoke.MethodHandleNatives::linkCallSite(caller, bsm, name, mtype, info, &appendix) twisti@3969: JavaCallArguments args; twisti@3969: args.push_oop(caller->java_mirror()); twisti@3969: args.push_oop(bsm()); twisti@3969: args.push_oop(method_name()); twisti@3969: args.push_oop(method_type()); jrose@1862: args.push_oop(info()); twisti@3969: args.push_oop(appendix_box); jrose@1161: JavaValue result(T_OBJECT); jrose@1161: JavaCalls::call_static(&result, jrose@1862: SystemDictionary::MethodHandleNatives_klass(), twisti@3969: vmSymbols::linkCallSite_name(), twisti@3969: vmSymbols::linkCallSite_signature(), jrose@1161: &args, CHECK_(empty)); twisti@3969: Handle mname(THREAD, (oop) result.get_jobject()); twisti@4133: (*method_type_result) = method_type; coleenp@4304: return unpack_method_and_appendix(mname, caller, appendix_box, appendix_result, THREAD); jrose@1161: } jrose@1161: duke@435: // Since the identity hash code for symbols changes when the symbols are duke@435: // moved from the regular perm gen (hash in the mark word) to the shared duke@435: // spaces (hash is the address), the classes loaded into the dictionary duke@435: // may be in the wrong buckets. duke@435: duke@435: void SystemDictionary::reorder_dictionary() { duke@435: dictionary()->reorder_dictionary(); duke@435: } duke@435: duke@435: duke@435: void SystemDictionary::copy_buckets(char** top, char* end) { duke@435: dictionary()->copy_buckets(top, end); duke@435: } duke@435: duke@435: duke@435: void SystemDictionary::copy_table(char** top, char* end) { duke@435: dictionary()->copy_table(top, end); duke@435: } duke@435: duke@435: duke@435: void SystemDictionary::reverse() { duke@435: dictionary()->reverse(); duke@435: } duke@435: duke@435: int SystemDictionary::number_of_classes() { duke@435: return dictionary()->number_of_entries(); duke@435: } duke@435: duke@435: duke@435: // ---------------------------------------------------------------------------- duke@435: #ifndef PRODUCT duke@435: duke@435: void SystemDictionary::print() { duke@435: dictionary()->print(); duke@435: duke@435: // Placeholders duke@435: GCMutexLocker mu(SystemDictionary_lock); duke@435: placeholders()->print(); duke@435: duke@435: // loader constraints - print under SD_lock duke@435: constraints()->print(); duke@435: } duke@435: duke@435: #endif duke@435: duke@435: void SystemDictionary::verify() { duke@435: guarantee(dictionary() != NULL, "Verify of system dictionary failed"); duke@435: guarantee(constraints() != NULL, duke@435: "Verify of loader constraints failed"); duke@435: guarantee(dictionary()->number_of_entries() >= 0 && duke@435: placeholders()->number_of_entries() >= 0, duke@435: "Verify of system dictionary failed"); duke@435: duke@435: // Verify dictionary duke@435: dictionary()->verify(); duke@435: duke@435: GCMutexLocker mu(SystemDictionary_lock); duke@435: placeholders()->verify(); duke@435: duke@435: // Verify constraint table duke@435: guarantee(constraints() != NULL, "Verify of loader constraints failed"); tonyp@1693: constraints()->verify(dictionary(), placeholders()); duke@435: } duke@435: sla@5237: // utility function for class load event mgronlun@6131: void SystemDictionary::post_class_load_event(const Ticks& start_time, sla@5237: instanceKlassHandle k, sla@5237: Handle initiating_loader) { sla@5237: #if INCLUDE_TRACE sla@5237: EventClassLoad event(UNTIMED); sla@5237: if (event.should_commit()) { sla@5237: event.set_starttime(start_time); sla@5237: event.set_loadedClass(k()); sla@5237: oop defining_class_loader = k->class_loader(); sla@5237: event.set_definingClassLoader(defining_class_loader != NULL ? sla@5237: defining_class_loader->klass() : (Klass*)NULL); sla@5237: oop class_loader = initiating_loader.is_null() ? (oop)NULL : initiating_loader(); sla@5237: event.set_initiatingClassLoader(class_loader != NULL ? sla@5237: class_loader->klass() : (Klass*)NULL); sla@5237: event.commit(); sla@5237: } sla@5237: #endif /* INCLUDE_TRACE */ sla@5237: } sla@5237: duke@435: #ifndef PRODUCT duke@435: duke@435: // statistics code duke@435: class ClassStatistics: AllStatic { duke@435: private: duke@435: static int nclasses; // number of classes duke@435: static int nmethods; // number of methods duke@435: static int nmethoddata; // number of methodData duke@435: static int class_size; // size of class objects in words duke@435: static int method_size; // size of method objects in words duke@435: static int debug_size; // size of debug info in methods duke@435: static int methoddata_size; // size of methodData objects in words duke@435: coleenp@4037: static void do_class(Klass* k) { duke@435: nclasses++; duke@435: class_size += k->size(); coleenp@4037: if (k->oop_is_instance()) { coleenp@4037: InstanceKlass* ik = (InstanceKlass*)k; duke@435: class_size += ik->methods()->size(); duke@435: class_size += ik->constants()->size(); duke@435: class_size += ik->local_interfaces()->size(); duke@435: class_size += ik->transitive_interfaces()->size(); duke@435: // We do not have to count implementors, since we only store one! coleenp@4037: // SSS: How should these be accounted now that they have moved? coleenp@4037: // class_size += ik->fields()->length(); duke@435: } duke@435: } duke@435: coleenp@4037: static void do_method(Method* m) { duke@435: nmethods++; duke@435: method_size += m->size(); duke@435: // class loader uses same objArray for empty vectors, so don't count these duke@435: if (m->has_stackmap_table()) { duke@435: method_size += m->stackmap_data()->size(); duke@435: } duke@435: coleenp@4037: MethodData* mdo = m->method_data(); duke@435: if (mdo != NULL) { duke@435: nmethoddata++; duke@435: methoddata_size += mdo->size(); duke@435: } duke@435: } duke@435: duke@435: public: duke@435: static void print() { duke@435: SystemDictionary::classes_do(do_class); duke@435: SystemDictionary::methods_do(do_method); duke@435: tty->print_cr("Class statistics:"); duke@435: tty->print_cr("%d classes (%d bytes)", nclasses, class_size * oopSize); duke@435: tty->print_cr("%d methods (%d bytes = %d base + %d debug info)", nmethods, duke@435: (method_size + debug_size) * oopSize, method_size * oopSize, debug_size * oopSize); duke@435: tty->print_cr("%d methoddata (%d bytes)", nmethoddata, methoddata_size * oopSize); duke@435: } duke@435: }; duke@435: duke@435: duke@435: int ClassStatistics::nclasses = 0; duke@435: int ClassStatistics::nmethods = 0; duke@435: int ClassStatistics::nmethoddata = 0; duke@435: int ClassStatistics::class_size = 0; duke@435: int ClassStatistics::method_size = 0; duke@435: int ClassStatistics::debug_size = 0; duke@435: int ClassStatistics::methoddata_size = 0; duke@435: duke@435: void SystemDictionary::print_class_statistics() { duke@435: ResourceMark rm; duke@435: ClassStatistics::print(); duke@435: } duke@435: duke@435: duke@435: class MethodStatistics: AllStatic { duke@435: public: duke@435: enum { duke@435: max_parameter_size = 10 duke@435: }; duke@435: private: duke@435: duke@435: static int _number_of_methods; duke@435: static int _number_of_final_methods; duke@435: static int _number_of_static_methods; duke@435: static int _number_of_native_methods; duke@435: static int _number_of_synchronized_methods; duke@435: static int _number_of_profiled_methods; duke@435: static int _number_of_bytecodes; duke@435: static int _parameter_size_profile[max_parameter_size]; duke@435: static int _bytecodes_profile[Bytecodes::number_of_java_codes]; duke@435: duke@435: static void initialize() { duke@435: _number_of_methods = 0; duke@435: _number_of_final_methods = 0; duke@435: _number_of_static_methods = 0; duke@435: _number_of_native_methods = 0; duke@435: _number_of_synchronized_methods = 0; duke@435: _number_of_profiled_methods = 0; duke@435: _number_of_bytecodes = 0; duke@435: for (int i = 0; i < max_parameter_size ; i++) _parameter_size_profile[i] = 0; duke@435: for (int j = 0; j < Bytecodes::number_of_java_codes; j++) _bytecodes_profile [j] = 0; duke@435: }; duke@435: coleenp@4037: static void do_method(Method* m) { duke@435: _number_of_methods++; duke@435: // collect flag info duke@435: if (m->is_final() ) _number_of_final_methods++; duke@435: if (m->is_static() ) _number_of_static_methods++; duke@435: if (m->is_native() ) _number_of_native_methods++; duke@435: if (m->is_synchronized()) _number_of_synchronized_methods++; duke@435: if (m->method_data() != NULL) _number_of_profiled_methods++; duke@435: // collect parameter size info (add one for receiver, if any) duke@435: _parameter_size_profile[MIN2(m->size_of_parameters() + (m->is_static() ? 0 : 1), max_parameter_size - 1)]++; duke@435: // collect bytecodes info duke@435: { duke@435: Thread *thread = Thread::current(); duke@435: HandleMark hm(thread); duke@435: BytecodeStream s(methodHandle(thread, m)); duke@435: Bytecodes::Code c; duke@435: while ((c = s.next()) >= 0) { duke@435: _number_of_bytecodes++; duke@435: _bytecodes_profile[c]++; duke@435: } duke@435: } duke@435: } duke@435: duke@435: public: duke@435: static void print() { duke@435: initialize(); duke@435: SystemDictionary::methods_do(do_method); duke@435: // generate output duke@435: tty->cr(); duke@435: tty->print_cr("Method statistics (static):"); duke@435: // flag distribution duke@435: tty->cr(); duke@435: tty->print_cr("%6d final methods %6.1f%%", _number_of_final_methods , _number_of_final_methods * 100.0F / _number_of_methods); duke@435: tty->print_cr("%6d static methods %6.1f%%", _number_of_static_methods , _number_of_static_methods * 100.0F / _number_of_methods); duke@435: tty->print_cr("%6d native methods %6.1f%%", _number_of_native_methods , _number_of_native_methods * 100.0F / _number_of_methods); duke@435: tty->print_cr("%6d synchronized methods %6.1f%%", _number_of_synchronized_methods, _number_of_synchronized_methods * 100.0F / _number_of_methods); duke@435: tty->print_cr("%6d profiled methods %6.1f%%", _number_of_profiled_methods, _number_of_profiled_methods * 100.0F / _number_of_methods); duke@435: // parameter size profile duke@435: tty->cr(); duke@435: { int tot = 0; duke@435: int avg = 0; duke@435: for (int i = 0; i < max_parameter_size; i++) { duke@435: int n = _parameter_size_profile[i]; duke@435: tot += n; duke@435: avg += n*i; duke@435: tty->print_cr("parameter size = %1d: %6d methods %5.1f%%", i, n, n * 100.0F / _number_of_methods); duke@435: } duke@435: assert(tot == _number_of_methods, "should be the same"); duke@435: tty->print_cr(" %6d methods 100.0%%", _number_of_methods); duke@435: tty->print_cr("(average parameter size = %3.1f including receiver, if any)", (float)avg / _number_of_methods); duke@435: } duke@435: // bytecodes profile duke@435: tty->cr(); duke@435: { int tot = 0; duke@435: for (int i = 0; i < Bytecodes::number_of_java_codes; i++) { duke@435: if (Bytecodes::is_defined(i)) { duke@435: Bytecodes::Code c = Bytecodes::cast(i); duke@435: int n = _bytecodes_profile[c]; duke@435: tot += n; duke@435: tty->print_cr("%9d %7.3f%% %s", n, n * 100.0F / _number_of_bytecodes, Bytecodes::name(c)); duke@435: } duke@435: } duke@435: assert(tot == _number_of_bytecodes, "should be the same"); duke@435: tty->print_cr("%9d 100.000%%", _number_of_bytecodes); duke@435: } duke@435: tty->cr(); duke@435: } duke@435: }; duke@435: duke@435: int MethodStatistics::_number_of_methods; duke@435: int MethodStatistics::_number_of_final_methods; duke@435: int MethodStatistics::_number_of_static_methods; duke@435: int MethodStatistics::_number_of_native_methods; duke@435: int MethodStatistics::_number_of_synchronized_methods; duke@435: int MethodStatistics::_number_of_profiled_methods; duke@435: int MethodStatistics::_number_of_bytecodes; duke@435: int MethodStatistics::_parameter_size_profile[MethodStatistics::max_parameter_size]; duke@435: int MethodStatistics::_bytecodes_profile[Bytecodes::number_of_java_codes]; duke@435: duke@435: duke@435: void SystemDictionary::print_method_statistics() { duke@435: MethodStatistics::print(); duke@435: } duke@435: duke@435: #endif // PRODUCT