duke@435: /* zgu@4492: * Copyright (c) 1997, 2013, 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: #ifndef SHARE_VM_CLASSFILE_SYSTEMDICTIONARY_HPP stefank@2314: #define SHARE_VM_CLASSFILE_SYSTEMDICTIONARY_HPP stefank@2314: stefank@2314: #include "classfile/classFileStream.hpp" stefank@2314: #include "classfile/classLoader.hpp" stefank@2314: #include "oops/objArrayOop.hpp" coleenp@2497: #include "oops/symbol.hpp" stefank@2314: #include "runtime/java.hpp" stefank@2314: #include "runtime/reflectionUtils.hpp" stefank@2314: #include "utilities/hashtable.hpp" zgu@3900: #include "utilities/hashtable.inline.hpp" stefank@2314: duke@435: // The system dictionary stores all loaded classes and maps: duke@435: // coleenp@4037: // [class name,class loader] -> class i.e. [Symbol*,oop] -> Klass* duke@435: // duke@435: // Classes are loaded lazily. The default VM class loader is duke@435: // represented as NULL. duke@435: duke@435: // The underlying data structure is an open hash table with a fixed number duke@435: // of buckets. During loading the loader object is locked, (for the VM loader duke@435: // a private lock object is used). Class loading can thus be done concurrently, duke@435: // but only by different loaders. duke@435: // duke@435: // During loading a placeholder (name, loader) is temporarily placed in duke@435: // a side data structure, and is used to detect ClassCircularityErrors duke@435: // and to perform verification during GC. A GC can occur in the midst duke@435: // of class loading, as we call out to Java, have to take locks, etc. duke@435: // duke@435: // When class loading is finished, a new entry is added to the system duke@435: // dictionary and the place holder is removed. Note that the protection duke@435: // domain field of the system dictionary has not yet been filled in when duke@435: // the "real" system dictionary entry is created. duke@435: // duke@435: // Clients of this class who are interested in finding if a class has duke@435: // been completely loaded -- not classes in the process of being loaded -- duke@435: // can read the SystemDictionary unlocked. This is safe because duke@435: // - entries are only deleted at safepoints duke@435: // - readers cannot come to a safepoint while actively examining duke@435: // an entry (an entry cannot be deleted from under a reader) duke@435: // - entries must be fully formed before they are available to concurrent duke@435: // readers (we must ensure write ordering) duke@435: // duke@435: // Note that placeholders are deleted at any time, as they are removed duke@435: // when a class is completely loaded. Therefore, readers as well as writers duke@435: // of placeholders must hold the SystemDictionary_lock. duke@435: // duke@435: duke@435: class Dictionary; duke@435: class PlaceholderTable; duke@435: class LoaderConstraintTable; zgu@3900: template class HashtableBucket; duke@435: class ResolutionErrorTable; jrose@1145: class SymbolPropertyTable; duke@435: jrose@567: // Certain classes are preloaded, such as java.lang.Object and java.lang.String. jrose@567: // They are all "well-known", in the sense that no class loader is allowed jrose@567: // to provide a different definition. jrose@567: // jrose@567: // These klasses must all have names defined in vmSymbols. jrose@567: jrose@567: #define WK_KLASS_ENUM_NAME(kname) kname##_knum jrose@567: jrose@567: // Each well-known class has a short klass name (like object_klass), jrose@567: // a vmSymbol name (like java_lang_Object), and a flag word jrose@567: // that makes some minor distinctions, like whether the klass jrose@567: // is preloaded, optional, release-specific, etc. jrose@567: // The order of these definitions is significant; it is the order in which jrose@567: // preloading is actually performed by initialize_preloaded_classes. jrose@567: twisti@4158: #define WK_KLASSES_DO(do_klass) \ twisti@4158: /* well-known classes */ \ twisti@4163: do_klass(Object_klass, java_lang_Object, Pre ) \ twisti@4163: do_klass(String_klass, java_lang_String, Pre ) \ twisti@4163: do_klass(Class_klass, java_lang_Class, Pre ) \ twisti@4163: do_klass(Cloneable_klass, java_lang_Cloneable, Pre ) \ twisti@4163: do_klass(ClassLoader_klass, java_lang_ClassLoader, Pre ) \ twisti@4163: do_klass(Serializable_klass, java_io_Serializable, Pre ) \ twisti@4163: do_klass(System_klass, java_lang_System, Pre ) \ twisti@4163: do_klass(Throwable_klass, java_lang_Throwable, Pre ) \ twisti@4163: do_klass(Error_klass, java_lang_Error, Pre ) \ twisti@4163: do_klass(ThreadDeath_klass, java_lang_ThreadDeath, Pre ) \ twisti@4163: do_klass(Exception_klass, java_lang_Exception, Pre ) \ twisti@4163: do_klass(RuntimeException_klass, java_lang_RuntimeException, Pre ) \ twisti@4163: do_klass(ProtectionDomain_klass, java_security_ProtectionDomain, Pre ) \ twisti@4163: do_klass(AccessControlContext_klass, java_security_AccessControlContext, Pre ) \ twisti@4163: do_klass(ClassNotFoundException_klass, java_lang_ClassNotFoundException, Pre ) \ twisti@4163: do_klass(NoClassDefFoundError_klass, java_lang_NoClassDefFoundError, Pre ) \ twisti@4163: do_klass(LinkageError_klass, java_lang_LinkageError, Pre ) \ twisti@4163: do_klass(ClassCastException_klass, java_lang_ClassCastException, Pre ) \ twisti@4163: do_klass(ArrayStoreException_klass, java_lang_ArrayStoreException, Pre ) \ twisti@4163: do_klass(VirtualMachineError_klass, java_lang_VirtualMachineError, Pre ) \ twisti@4163: do_klass(OutOfMemoryError_klass, java_lang_OutOfMemoryError, Pre ) \ twisti@4163: do_klass(StackOverflowError_klass, java_lang_StackOverflowError, Pre ) \ twisti@4163: do_klass(IllegalMonitorStateException_klass, java_lang_IllegalMonitorStateException, Pre ) \ twisti@4163: do_klass(Reference_klass, java_lang_ref_Reference, Pre ) \ twisti@4158: \ twisti@4158: /* Preload ref klasses and set reference types */ \ twisti@4163: do_klass(SoftReference_klass, java_lang_ref_SoftReference, Pre ) \ twisti@4163: do_klass(WeakReference_klass, java_lang_ref_WeakReference, Pre ) \ twisti@4158: do_klass(FinalReference_klass, java_lang_ref_FinalReference, Pre ) \ twisti@4163: do_klass(PhantomReference_klass, java_lang_ref_PhantomReference, Pre ) \ twisti@4158: do_klass(Finalizer_klass, java_lang_ref_Finalizer, Pre ) \ twisti@4158: \ twisti@4163: do_klass(Thread_klass, java_lang_Thread, Pre ) \ twisti@4163: do_klass(ThreadGroup_klass, java_lang_ThreadGroup, Pre ) \ twisti@4163: do_klass(Properties_klass, java_util_Properties, Pre ) \ twisti@4163: do_klass(reflect_AccessibleObject_klass, java_lang_reflect_AccessibleObject, Pre ) \ twisti@4163: do_klass(reflect_Field_klass, java_lang_reflect_Field, Pre ) \ coleenp@4398: do_klass(reflect_Parameter_klass, java_lang_reflect_Parameter, Opt ) \ twisti@4163: do_klass(reflect_Method_klass, java_lang_reflect_Method, Pre ) \ twisti@4163: do_klass(reflect_Constructor_klass, java_lang_reflect_Constructor, Pre ) \ twisti@4158: \ never@3137: /* NOTE: needed too early in bootstrapping process to have checks based on JDK version */ \ never@3137: /* Universe::is_gte_jdk14x_version() is not set up by this point. */ \ never@3137: /* It's okay if this turns out to be NULL in non-1.4 JDKs. */ \ kamg@4245: do_klass(lambda_MagicLambdaImpl_klass, java_lang_invoke_MagicLambdaImpl, Opt ) \ twisti@4158: do_klass(reflect_MagicAccessorImpl_klass, sun_reflect_MagicAccessorImpl, Opt ) \ twisti@4158: do_klass(reflect_MethodAccessorImpl_klass, sun_reflect_MethodAccessorImpl, Opt_Only_JDK14NewRef) \ twisti@4158: do_klass(reflect_ConstructorAccessorImpl_klass, sun_reflect_ConstructorAccessorImpl, Opt_Only_JDK14NewRef) \ twisti@4158: do_klass(reflect_DelegatingClassLoader_klass, sun_reflect_DelegatingClassLoader, Opt ) \ twisti@4158: do_klass(reflect_ConstantPool_klass, sun_reflect_ConstantPool, Opt_Only_JDK15 ) \ twisti@4158: do_klass(reflect_UnsafeStaticFieldAccessorImpl_klass, sun_reflect_UnsafeStaticFieldAccessorImpl, Opt_Only_JDK15 ) \ twisti@4158: \ twisti@4158: /* support for dynamic typing; it's OK if these are NULL in earlier JDKs */ \ twisti@4163: do_klass(MethodHandle_klass, java_lang_invoke_MethodHandle, Pre_JSR292 ) \ twisti@4163: do_klass(MemberName_klass, java_lang_invoke_MemberName, Pre_JSR292 ) \ twisti@4163: do_klass(MethodHandleNatives_klass, java_lang_invoke_MethodHandleNatives, Pre_JSR292 ) \ twisti@4158: do_klass(LambdaForm_klass, java_lang_invoke_LambdaForm, Opt ) \ twisti@4163: do_klass(MethodType_klass, java_lang_invoke_MethodType, Pre_JSR292 ) \ twisti@4163: do_klass(BootstrapMethodError_klass, java_lang_BootstrapMethodError, Pre_JSR292 ) \ twisti@4163: do_klass(CallSite_klass, java_lang_invoke_CallSite, Pre_JSR292 ) \ twisti@4163: do_klass(ConstantCallSite_klass, java_lang_invoke_ConstantCallSite, Pre_JSR292 ) \ twisti@4163: do_klass(MutableCallSite_klass, java_lang_invoke_MutableCallSite, Pre_JSR292 ) \ twisti@4163: do_klass(VolatileCallSite_klass, java_lang_invoke_VolatileCallSite, Pre_JSR292 ) \ twisti@4158: /* Note: MethodHandle must be first, and VolatileCallSite last in group */ \ twisti@4158: \ twisti@4163: do_klass(StringBuffer_klass, java_lang_StringBuffer, Pre ) \ twisti@4163: do_klass(StringBuilder_klass, java_lang_StringBuilder, Pre ) \ twisti@4158: \ twisti@4158: /* It's NULL in non-1.4 JDKs. */ \ twisti@4158: do_klass(StackTraceElement_klass, java_lang_StackTraceElement, Opt ) \ twisti@4158: /* Universe::is_gte_jdk14x_version() is not set up by this point. */ \ twisti@4158: /* It's okay if this turns out to be NULL in non-1.4 JDKs. */ \ twisti@4158: do_klass(nio_Buffer_klass, java_nio_Buffer, Opt ) \ twisti@4158: \ twisti@4158: do_klass(PostVMInitHook_klass, sun_misc_PostVMInitHook, Opt ) \ twisti@4158: \ twisti@4158: /* Preload boxing klasses */ \ twisti@4163: do_klass(Boolean_klass, java_lang_Boolean, Pre ) \ twisti@4163: do_klass(Character_klass, java_lang_Character, Pre ) \ twisti@4163: do_klass(Float_klass, java_lang_Float, Pre ) \ twisti@4163: do_klass(Double_klass, java_lang_Double, Pre ) \ twisti@4163: do_klass(Byte_klass, java_lang_Byte, Pre ) \ twisti@4163: do_klass(Short_klass, java_lang_Short, Pre ) \ twisti@4163: do_klass(Integer_klass, java_lang_Integer, Pre ) \ twisti@4163: do_klass(Long_klass, java_lang_Long, Pre ) \ jrose@567: /*end*/ jrose@567: jrose@567: duke@435: class SystemDictionary : AllStatic { duke@435: friend class VMStructs; jrose@1100: friend class SystemDictionaryHandles; duke@435: duke@435: public: jrose@567: enum WKID { jrose@567: NO_WKID = 0, jrose@567: never@3137: #define WK_KLASS_ENUM(name, symbol, ignore_o) WK_KLASS_ENUM_NAME(name), WK_KLASS_ENUM_NAME(symbol) = WK_KLASS_ENUM_NAME(name), jrose@567: WK_KLASSES_DO(WK_KLASS_ENUM) jrose@567: #undef WK_KLASS_ENUM jrose@567: jrose@567: WKID_LIMIT, jrose@567: jrose@567: FIRST_WKID = NO_WKID + 1 jrose@567: }; jrose@567: jrose@567: enum InitOption { jrose@567: Pre, // preloaded; error if not present twisti@4163: Pre_JSR292, // preloaded if EnableInvokeDynamic jrose@567: jrose@567: // Order is significant. Options before this point require resolve_or_fail. jrose@567: // Options after this point will use resolve_or_null instead. jrose@567: jrose@567: Opt, // preload tried; NULL if not present jrose@567: Opt_Only_JDK14NewRef, // preload tried; use only with NewReflection jrose@567: Opt_Only_JDK15, // preload tried; use only with JDK1.5+ jrose@567: OPTION_LIMIT, jrose@567: CEIL_LG_OPTION_LIMIT = 4 // OPTION_LIMIT <= (1<* cp_patches, duke@435: TRAPS); duke@435: duke@435: // Resolve from stream (called by jni_DefineClass and JVM_DefineClass) coleenp@4037: static Klass* resolve_from_stream(Symbol* class_name, Handle class_loader, acorn@1408: Handle protection_domain, acorn@1408: ClassFileStream* st, bool verify, TRAPS); duke@435: duke@435: // Lookup an already loaded class. If not found NULL is returned. coleenp@4037: static Klass* find(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS); duke@435: duke@435: // Lookup an already loaded instance or array class. duke@435: // Do not make any queries to class loaders; consult only the cache. duke@435: // If not found NULL is returned. coleenp@4037: static Klass* find_instance_or_array_klass(Symbol* class_name, duke@435: Handle class_loader, duke@435: Handle protection_domain, duke@435: TRAPS); duke@435: duke@435: // Lookup an instance or array class that has already been loaded duke@435: // either into the given class loader, or else into another class duke@435: // loader that is constrained (via loader constraints) to produce duke@435: // a consistent class. Do not take protection domains into account. duke@435: // Do not make any queries to class loaders; consult only the cache. duke@435: // Return NULL if the class is not found. duke@435: // duke@435: // This function is a strict superset of find_instance_or_array_klass. duke@435: // This function (the unchecked version) makes a conservative prediction duke@435: // of the result of the checked version, assuming successful lookup. duke@435: // If both functions return non-null, they must return the same value. duke@435: // Also, the unchecked version may sometimes be non-null where the duke@435: // checked version is null. This can occur in several ways: duke@435: // 1. No query has yet been made to the class loader. duke@435: // 2. The class loader was queried, but chose not to delegate. duke@435: // 3. ClassLoader.checkPackageAccess rejected a proposed protection domain. duke@435: // 4. Loading was attempted, but there was a linkage error of some sort. duke@435: // In all of these cases, the loader constraints on this type are duke@435: // satisfied, and it is safe for classes in the given class loader duke@435: // to manipulate strongly-typed values of the found class, subject duke@435: // to local linkage and access checks. coleenp@4037: static Klass* find_constrained_instance_or_array_klass(Symbol* class_name, duke@435: Handle class_loader, duke@435: TRAPS); duke@435: duke@435: // Iterate over all klasses in dictionary duke@435: // Just the classes from defining class loaders coleenp@4037: static void classes_do(void f(Klass*)); duke@435: // Added for initialize_itable_for_klass to handle exceptions coleenp@4037: static void classes_do(void f(Klass*, TRAPS), TRAPS); duke@435: // All classes, and their class loaders coleenp@4037: static void classes_do(void f(Klass*, ClassLoaderData*)); duke@435: // All classes, and their class loaders duke@435: // (added for helpers that use HandleMarks and ResourceMarks) coleenp@4037: static void classes_do(void f(Klass*, ClassLoaderData*, TRAPS), TRAPS); duke@435: // All entries in the placeholder table and their class loaders coleenp@4037: static void placeholders_do(void f(Symbol*)); duke@435: duke@435: // Iterate over all methods in all klasses in dictionary coleenp@4037: static void methods_do(void f(Method*)); duke@435: duke@435: // Garbage collection support duke@435: duke@435: // This method applies "blk->do_oop" to all the pointers to "system" duke@435: // classes and loaders. duke@435: static void always_strong_oops_do(OopClosure* blk); coleenp@4037: static void always_strong_classes_do(KlassClosure* closure); duke@435: duke@435: // Unload (that is, break root links to) all unmarked classes and duke@435: // loaders. Returns "true" iff something was unloaded. duke@435: static bool do_unloading(BoolObjectClosure* is_alive); duke@435: acorn@3491: static int calculate_systemdictionary_size(int loadedclasses); acorn@3491: duke@435: // Applies "f->do_oop" to all root oops in the system dictionary. duke@435: static void oops_do(OopClosure* f); duke@435: duke@435: // System loader lock duke@435: static oop system_loader_lock() { return _system_loader_lock_obj; } duke@435: duke@435: private: coleenp@4037: // Extended Redefine classes support (tbi) coleenp@4037: static void preloaded_classes_do(KlassClosure* f); coleenp@4037: static void lazily_loaded_classes_do(KlassClosure* f); duke@435: public: duke@435: // Sharing support. duke@435: static void reorder_dictionary(); duke@435: static void copy_buckets(char** top, char* end); duke@435: static void copy_table(char** top, char* end); duke@435: static void reverse(); zgu@3900: static void set_shared_dictionary(HashtableBucket* t, int length, duke@435: int number_of_entries); duke@435: // Printing duke@435: static void print() PRODUCT_RETURN; duke@435: static void print_class_statistics() PRODUCT_RETURN; duke@435: static void print_method_statistics() PRODUCT_RETURN; duke@435: duke@435: // Number of contained klasses duke@435: // This is both fully loaded classes and classes in the process duke@435: // of being loaded duke@435: static int number_of_classes(); duke@435: duke@435: // Monotonically increasing counter which grows as classes are duke@435: // loaded or modifications such as hot-swapping or setting/removing duke@435: // of breakpoints are performed duke@435: static inline int number_of_modifications() { assert_locked_or_safepoint(Compile_lock); return _number_of_modifications; } duke@435: // Needed by evolution and breakpoint code duke@435: static inline void notice_modification() { assert_locked_or_safepoint(Compile_lock); ++_number_of_modifications; } duke@435: duke@435: // Verification duke@435: static void verify(); duke@435: duke@435: #ifdef ASSERT coleenp@2497: static bool is_internal_format(Symbol* class_name); duke@435: #endif duke@435: duke@435: // Verify class is in dictionary coleenp@4037: static void verify_obj_klass_present(Symbol* class_name, coleenp@4037: ClassLoaderData* loader_data); duke@435: duke@435: // Initialization duke@435: static void initialize(TRAPS); duke@435: duke@435: // Fast access to commonly used classes (preloaded) coleenp@4037: static Klass* check_klass(Klass* k) { duke@435: assert(k != NULL, "preloaded klass not initialized"); duke@435: return k; duke@435: } duke@435: twisti@4158: static Klass* check_klass_Pre( Klass* k) { return check_klass(k); } twisti@4163: static Klass* check_klass_Pre_JSR292(Klass* k) { return EnableInvokeDynamic ? check_klass(k) : k; } twisti@4158: static Klass* check_klass_Opt( Klass* k) { return k; } coleenp@4037: static Klass* check_klass_Opt_Only_JDK15(Klass* k) { jrose@567: assert(JDK_Version::is_gte_jdk15x_version(), "JDK 1.5 only"); jrose@567: return k; jrose@567: } coleenp@4037: static Klass* check_klass_Opt_Only_JDK14NewRef(Klass* k) { duke@435: assert(JDK_Version::is_gte_jdk14x_version() && UseNewReflection, "JDK 1.4 only"); jrose@567: // despite the optional loading, if you use this it must be present: jrose@567: return check_klass(k); duke@435: } duke@435: jrose@567: static bool initialize_wk_klass(WKID id, int init_opt, TRAPS); jrose@567: static void initialize_wk_klasses_until(WKID limit_id, WKID &start_id, TRAPS); jrose@567: static void initialize_wk_klasses_through(WKID end_id, WKID &start_id, TRAPS) { jrose@567: int limit = (int)end_id + 1; jrose@567: initialize_wk_klasses_until((WKID) limit, start_id, THREAD); jrose@567: } duke@435: jrose@567: public: never@3137: #define WK_KLASS_DECLARE(name, symbol, option) \ coleenp@4037: static Klass* name() { return check_klass_##option(_well_known_klasses[WK_KLASS_ENUM_NAME(name)]); } \ coleenp@4037: static Klass** name##_addr() { \ coleenp@4037: return &SystemDictionary::_well_known_klasses[SystemDictionary::WK_KLASS_ENUM_NAME(name)]; \ coleenp@4037: } jrose@567: WK_KLASSES_DO(WK_KLASS_DECLARE); jrose@567: #undef WK_KLASS_DECLARE duke@435: coleenp@4037: static Klass* well_known_klass(WKID id) { never@3137: assert(id >= (int)FIRST_WKID && id < (int)WKID_LIMIT, "oob"); never@3137: return _well_known_klasses[id]; never@3137: } never@3137: coleenp@4037: static Klass** well_known_klass_addr(WKID id) { coleenp@4037: assert(id >= (int)FIRST_WKID && id < (int)WKID_LIMIT, "oob"); coleenp@4037: return &_well_known_klasses[id]; coleenp@4037: } coleenp@4037: jrose@567: // Local definition for direct access to the private array: jrose@582: #define WK_KLASS(name) _well_known_klasses[SystemDictionary::WK_KLASS_ENUM_NAME(name)] duke@435: coleenp@4037: static Klass* box_klass(BasicType t) { duke@435: assert((uint)t < T_VOID+1, "range check"); duke@435: return check_klass(_box_klasses[t]); duke@435: } coleenp@4037: static BasicType box_klass_type(Klass* k); // inverse of box_klass duke@435: duke@435: // methods returning lazily loaded klasses duke@435: // The corresponding method to load the class must be called before calling them. coleenp@4037: static Klass* abstract_ownable_synchronizer_klass() { return check_klass(_abstract_ownable_synchronizer_klass); } duke@435: duke@435: static void load_abstract_ownable_synchronizer_klass(TRAPS); duke@435: duke@435: private: duke@435: // Tells whether ClassLoader.loadClassInternal is present duke@435: static bool has_loadClassInternal() { return _has_loadClassInternal; } duke@435: coleenp@4037: // Returns the class loader data to be used when looking up/updating the coleenp@4037: // system dictionary. coleenp@4037: static ClassLoaderData *class_loader_data(Handle class_loader) { coleenp@4037: return ClassLoaderData::class_loader_data(class_loader()); coleenp@4037: } coleenp@4037: duke@435: public: duke@435: // Tells whether ClassLoader.checkPackageAccess is present duke@435: static bool has_checkPackageAccess() { return _has_checkPackageAccess; } duke@435: coleenp@4398: static bool Parameter_klass_loaded() { return WK_KLASS(reflect_Parameter_klass) != NULL; } never@1577: static bool Class_klass_loaded() { return WK_KLASS(Class_klass) != NULL; } never@1577: static bool Cloneable_klass_loaded() { return WK_KLASS(Cloneable_klass) != NULL; } coleenp@4037: static bool Object_klass_loaded() { return WK_KLASS(Object_klass) != NULL; } coleenp@4037: static bool ClassLoader_klass_loaded() { return WK_KLASS(ClassLoader_klass) != NULL; } duke@435: duke@435: // Returns default system loader duke@435: static oop java_system_loader(); duke@435: duke@435: // Compute the default system loader duke@435: static void compute_java_system_loader(TRAPS); duke@435: coleenp@4037: // Register a new class loader coleenp@4304: static ClassLoaderData* register_loader(Handle class_loader, TRAPS); duke@435: private: duke@435: // Mirrors for primitive classes (created eagerly) duke@435: static oop check_mirror(oop m) { duke@435: assert(m != NULL, "mirror not initialized"); duke@435: return m; duke@435: } duke@435: duke@435: public: duke@435: // Note: java_lang_Class::primitive_type is the inverse of java_mirror duke@435: duke@435: // Check class loader constraints coleenp@2497: static bool add_loader_constraint(Symbol* name, Handle loader1, duke@435: Handle loader2, TRAPS); acorn@4840: static Symbol* check_signature_loaders(Symbol* signature, Handle loader1, acorn@4840: Handle loader2, bool is_method, TRAPS); duke@435: jrose@1145: // JSR 292 twisti@3969: // find a java.lang.invoke.MethodHandle.invoke* method for a given signature twisti@3969: // (asks Java to compute it if necessary, except in a compiler thread) twisti@3969: static methodHandle find_method_handle_invoker(Symbol* name, twisti@3969: Symbol* signature, twisti@3969: KlassHandle accessing_klass, twisti@3969: Handle *appendix_result, twisti@4133: Handle *method_type_result, twisti@3969: TRAPS); twisti@3969: // for a given signature, find the internal MethodHandle method (linkTo* or invokeBasic) twisti@3969: // (does not ask Java, since this is a low-level intrinsic defined by the JVM) twisti@3969: static methodHandle find_method_handle_intrinsic(vmIntrinsics::ID iid, twisti@3969: Symbol* signature, twisti@3969: TRAPS); twisti@3969: // find a java.lang.invoke.MethodType object for a given signature twisti@3969: // (asks Java to compute it if necessary, except in a compiler thread) coleenp@2497: static Handle find_method_handle_type(Symbol* signature, jrose@1863: KlassHandle accessing_klass, jrose@1862: TRAPS); twisti@3969: jrose@2639: // ask Java to compute a java.lang.invoke.MethodHandle object for a given CP entry jrose@1957: static Handle link_method_handle_constant(KlassHandle caller, jrose@1957: int ref_kind, //e.g., JVM_REF_invokeVirtual jrose@1957: KlassHandle callee, coleenp@2497: Symbol* name, coleenp@2497: Symbol* signature, jrose@1957: TRAPS); twisti@3969: jrose@1161: // ask Java to create a dynamic call site, while linking an invokedynamic op twisti@3969: static methodHandle find_dynamic_call_site_invoker(KlassHandle caller, twisti@3969: Handle bootstrap_method, twisti@3969: Symbol* name, twisti@3969: Symbol* type, twisti@3969: Handle *appendix_result, twisti@4133: Handle *method_type_result, twisti@3969: TRAPS); jrose@1161: duke@435: // Utility for printing loader "name" as part of tracing constraints duke@435: static const char* loader_name(oop loader) { duke@435: return ((loader) == NULL ? "" : coleenp@4037: InstanceKlass::cast((loader)->klass())->name()->as_C_string() ); coleenp@4037: } coleenp@4037: static const char* loader_name(ClassLoaderData* loader_data) { coleenp@4304: return (loader_data->class_loader() == NULL ? "" : coleenp@4037: InstanceKlass::cast((loader_data->class_loader())->klass())->name()->as_C_string() ); duke@435: } duke@435: duke@435: // Record the error when the first attempt to resolve a reference from a constant duke@435: // pool entry to a class fails. coleenp@2497: static void add_resolution_error(constantPoolHandle pool, int which, Symbol* error); coleenp@4037: static void delete_resolution_error(ConstantPool* pool); coleenp@2497: static Symbol* find_resolution_error(constantPoolHandle pool, int which); duke@435: duke@435: private: duke@435: duke@435: enum Constants { duke@435: _loader_constraint_size = 107, // number of entries in constraint table duke@435: _resolution_error_size = 107, // number of entries in resolution error table jrose@1145: _invoke_method_size = 139, // number of entries in invoke method table acorn@3491: _nof_buckets = 1009, // number of buckets in hash table for placeholders acorn@3491: _old_default_sdsize = 1009, // backward compat for system dictionary size acorn@3491: _prime_array_size = 8, // array of primes for system dictionary size acorn@3491: _average_depth_goal = 3 // goal for lookup length duke@435: }; duke@435: duke@435: duke@435: // Static variables duke@435: acorn@3491: // hashtable sizes for system dictionary to allow growth acorn@3491: // prime numbers for system dictionary size acorn@3491: static int _sdgeneration; acorn@3491: static const int _primelist[_prime_array_size]; acorn@3491: duke@435: // Hashtable holding loaded classes. duke@435: static Dictionary* _dictionary; duke@435: duke@435: // Hashtable holding placeholders for classes being loaded. duke@435: static PlaceholderTable* _placeholders; duke@435: duke@435: // Hashtable holding classes from the shared archive. duke@435: static Dictionary* _shared_dictionary; duke@435: duke@435: // Monotonically increasing counter which grows with duke@435: // _number_of_classes as well as hot-swapping and breakpoint setting duke@435: // and removal. duke@435: static int _number_of_modifications; duke@435: duke@435: // Lock object for system class loader duke@435: static oop _system_loader_lock_obj; duke@435: duke@435: // Constraints on class loaders duke@435: static LoaderConstraintTable* _loader_constraints; duke@435: duke@435: // Resolution errors duke@435: static ResolutionErrorTable* _resolution_errors; duke@435: jrose@1145: // Invoke methods (JSR 292) jrose@1145: static SymbolPropertyTable* _invoke_method_table; jrose@1145: duke@435: public: duke@435: // for VM_CounterDecay iteration support duke@435: friend class CounterDecay; coleenp@4037: static Klass* try_get_next_class(); duke@435: duke@435: private: duke@435: static void validate_protection_domain(instanceKlassHandle klass, duke@435: Handle class_loader, duke@435: Handle protection_domain, TRAPS); duke@435: duke@435: friend class VM_PopulateDumpSharedSpace; duke@435: friend class TraversePlaceholdersClosure; duke@435: static Dictionary* dictionary() { return _dictionary; } duke@435: static Dictionary* shared_dictionary() { return _shared_dictionary; } duke@435: static PlaceholderTable* placeholders() { return _placeholders; } duke@435: static LoaderConstraintTable* constraints() { return _loader_constraints; } duke@435: static ResolutionErrorTable* resolution_errors() { return _resolution_errors; } jrose@1145: static SymbolPropertyTable* invoke_method_table() { return _invoke_method_table; } duke@435: duke@435: // Basic loading operations coleenp@4037: static Klass* resolve_instance_class_or_null(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS); coleenp@4037: static Klass* resolve_array_class_or_null(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS); coleenp@2497: static instanceKlassHandle handle_parallel_super_load(Symbol* class_name, Symbol* supername, Handle class_loader, Handle protection_domain, Handle lockObject, TRAPS); duke@435: // Wait on SystemDictionary_lock; unlocks lockObject before duke@435: // waiting; relocks lockObject with correct recursion count duke@435: // after waiting, but before reentering SystemDictionary_lock duke@435: // to preserve lock order semantics. duke@435: static void double_lock_wait(Handle lockObject, TRAPS); duke@435: static void define_instance_class(instanceKlassHandle k, TRAPS); coleenp@2497: static instanceKlassHandle find_or_define_instance_class(Symbol* class_name, duke@435: Handle class_loader, duke@435: instanceKlassHandle k, TRAPS); coleenp@2497: static instanceKlassHandle load_shared_class(Symbol* class_name, duke@435: Handle class_loader, TRAPS); duke@435: static instanceKlassHandle load_shared_class(instanceKlassHandle ik, duke@435: Handle class_loader, TRAPS); coleenp@4751: static void clean_up_shared_class(instanceKlassHandle ik, Handle class_loader, TRAPS); coleenp@2497: static instanceKlassHandle load_instance_class(Symbol* class_name, Handle class_loader, TRAPS); duke@435: static Handle compute_loader_lock_object(Handle class_loader, TRAPS); duke@435: static void check_loader_lock_contention(Handle loader_lock, TRAPS); acorn@949: static bool is_parallelCapable(Handle class_loader); acorn@1510: static bool is_parallelDefine(Handle class_loader); duke@435: coleenp@4037: static Klass* find_shared_class(Symbol* class_name); duke@435: duke@435: // Setup link to hierarchy duke@435: static void add_to_hierarchy(instanceKlassHandle k, TRAPS); duke@435: duke@435: private: duke@435: // We pass in the hashtable index so we can calculate it outside of duke@435: // the SystemDictionary_lock. duke@435: duke@435: // Basic find on loaded classes coleenp@4037: static Klass* find_class(int index, unsigned int hash, coleenp@4037: Symbol* name, ClassLoaderData* loader_data); coleenp@4037: static Klass* find_class(Symbol* class_name, ClassLoaderData* loader_data); duke@435: duke@435: // Basic find on classes in the midst of being loaded coleenp@4037: static Symbol* find_placeholder(Symbol* name, ClassLoaderData* loader_data); duke@435: duke@435: // Updating entry in dictionary duke@435: // Add a completely loaded class coleenp@2497: static void add_klass(int index, Symbol* class_name, coleenp@4037: ClassLoaderData* loader_data, KlassHandle obj); duke@435: duke@435: // Add a placeholder for a class being loaded duke@435: static void add_placeholder(int index, coleenp@2497: Symbol* class_name, coleenp@4037: ClassLoaderData* loader_data); duke@435: static void remove_placeholder(int index, coleenp@2497: Symbol* class_name, coleenp@4037: ClassLoaderData* loader_data); duke@435: duke@435: // Performs cleanups after resolve_super_or_fail. This typically needs duke@435: // to be called on failure. duke@435: // Won't throw, but can block. coleenp@2497: static void resolution_cleanups(Symbol* class_name, coleenp@4037: ClassLoaderData* loader_data, duke@435: TRAPS); duke@435: duke@435: // Initialization duke@435: static void initialize_preloaded_classes(TRAPS); duke@435: duke@435: // Class loader constraints duke@435: static void check_constraints(int index, unsigned int hash, duke@435: instanceKlassHandle k, Handle loader, duke@435: bool defining, TRAPS); duke@435: static void update_dictionary(int d_index, unsigned int d_hash, duke@435: int p_index, unsigned int p_hash, coleenp@4037: instanceKlassHandle k, Handle loader, coleenp@4037: TRAPS); duke@435: duke@435: // Variables holding commonly used klasses (preloaded) coleenp@4037: static Klass* _well_known_klasses[]; duke@435: duke@435: // Lazily loaded klasses coleenp@4037: static Klass* volatile _abstract_ownable_synchronizer_klass; duke@435: jrose@567: // table of box klasses (int_klass, etc.) coleenp@4037: static Klass* _box_klasses[T_VOID+1]; duke@435: duke@435: static oop _java_system_loader; duke@435: duke@435: static bool _has_loadClassInternal; duke@435: static bool _has_checkPackageAccess; duke@435: }; jrose@1100: stefank@2314: #endif // SHARE_VM_CLASSFILE_SYSTEMDICTIONARY_HPP