Thu, 01 Sep 2011 01:31:25 -0700
7079673: JSR 292: C1 should inline bytecoded method handle adapters
Reviewed-by: never
duke@435 | 1 | /* |
kevinw@2449 | 2 | * Copyright (c) 1997, 2011, Oracle and/or its affiliates. All rights reserved. |
duke@435 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
duke@435 | 4 | * |
duke@435 | 5 | * This code is free software; you can redistribute it and/or modify it |
duke@435 | 6 | * under the terms of the GNU General Public License version 2 only, as |
duke@435 | 7 | * published by the Free Software Foundation. |
duke@435 | 8 | * |
duke@435 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
duke@435 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
duke@435 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
duke@435 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
duke@435 | 13 | * accompanied this code). |
duke@435 | 14 | * |
duke@435 | 15 | * You should have received a copy of the GNU General Public License version |
duke@435 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
duke@435 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
duke@435 | 18 | * |
trims@1907 | 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
trims@1907 | 20 | * or visit www.oracle.com if you need additional information or have any |
trims@1907 | 21 | * questions. |
duke@435 | 22 | * |
duke@435 | 23 | */ |
duke@435 | 24 | |
stefank@2314 | 25 | #ifndef SHARE_VM_CLASSFILE_SYSTEMDICTIONARY_HPP |
stefank@2314 | 26 | #define SHARE_VM_CLASSFILE_SYSTEMDICTIONARY_HPP |
stefank@2314 | 27 | |
stefank@2314 | 28 | #include "classfile/classFileStream.hpp" |
stefank@2314 | 29 | #include "classfile/classLoader.hpp" |
stefank@2314 | 30 | #include "oops/objArrayOop.hpp" |
coleenp@2497 | 31 | #include "oops/symbol.hpp" |
stefank@2314 | 32 | #include "runtime/java.hpp" |
stefank@2314 | 33 | #include "runtime/reflectionUtils.hpp" |
stefank@2314 | 34 | #include "utilities/hashtable.hpp" |
stefank@2314 | 35 | |
duke@435 | 36 | // The system dictionary stores all loaded classes and maps: |
duke@435 | 37 | // |
coleenp@2497 | 38 | // [class name,class loader] -> class i.e. [Symbol*,oop] -> klassOop |
duke@435 | 39 | // |
duke@435 | 40 | // Classes are loaded lazily. The default VM class loader is |
duke@435 | 41 | // represented as NULL. |
duke@435 | 42 | |
duke@435 | 43 | // The underlying data structure is an open hash table with a fixed number |
duke@435 | 44 | // of buckets. During loading the loader object is locked, (for the VM loader |
duke@435 | 45 | // a private lock object is used). Class loading can thus be done concurrently, |
duke@435 | 46 | // but only by different loaders. |
duke@435 | 47 | // |
duke@435 | 48 | // During loading a placeholder (name, loader) is temporarily placed in |
duke@435 | 49 | // a side data structure, and is used to detect ClassCircularityErrors |
duke@435 | 50 | // and to perform verification during GC. A GC can occur in the midst |
duke@435 | 51 | // of class loading, as we call out to Java, have to take locks, etc. |
duke@435 | 52 | // |
duke@435 | 53 | // When class loading is finished, a new entry is added to the system |
duke@435 | 54 | // dictionary and the place holder is removed. Note that the protection |
duke@435 | 55 | // domain field of the system dictionary has not yet been filled in when |
duke@435 | 56 | // the "real" system dictionary entry is created. |
duke@435 | 57 | // |
duke@435 | 58 | // Clients of this class who are interested in finding if a class has |
duke@435 | 59 | // been completely loaded -- not classes in the process of being loaded -- |
duke@435 | 60 | // can read the SystemDictionary unlocked. This is safe because |
duke@435 | 61 | // - entries are only deleted at safepoints |
duke@435 | 62 | // - readers cannot come to a safepoint while actively examining |
duke@435 | 63 | // an entry (an entry cannot be deleted from under a reader) |
duke@435 | 64 | // - entries must be fully formed before they are available to concurrent |
duke@435 | 65 | // readers (we must ensure write ordering) |
duke@435 | 66 | // |
duke@435 | 67 | // Note that placeholders are deleted at any time, as they are removed |
duke@435 | 68 | // when a class is completely loaded. Therefore, readers as well as writers |
duke@435 | 69 | // of placeholders must hold the SystemDictionary_lock. |
duke@435 | 70 | // |
duke@435 | 71 | |
duke@435 | 72 | class Dictionary; |
duke@435 | 73 | class PlaceholderTable; |
duke@435 | 74 | class LoaderConstraintTable; |
duke@435 | 75 | class HashtableBucket; |
duke@435 | 76 | class ResolutionErrorTable; |
jrose@1145 | 77 | class SymbolPropertyTable; |
duke@435 | 78 | |
jrose@567 | 79 | // Certain classes are preloaded, such as java.lang.Object and java.lang.String. |
jrose@567 | 80 | // They are all "well-known", in the sense that no class loader is allowed |
jrose@567 | 81 | // to provide a different definition. |
jrose@567 | 82 | // |
jrose@567 | 83 | // These klasses must all have names defined in vmSymbols. |
jrose@567 | 84 | |
jrose@567 | 85 | #define WK_KLASS_ENUM_NAME(kname) kname##_knum |
jrose@567 | 86 | |
jrose@567 | 87 | // Each well-known class has a short klass name (like object_klass), |
jrose@567 | 88 | // a vmSymbol name (like java_lang_Object), and a flag word |
jrose@567 | 89 | // that makes some minor distinctions, like whether the klass |
jrose@567 | 90 | // is preloaded, optional, release-specific, etc. |
jrose@567 | 91 | // The order of these definitions is significant; it is the order in which |
jrose@567 | 92 | // preloading is actually performed by initialize_preloaded_classes. |
jrose@567 | 93 | |
jrose@567 | 94 | #define WK_KLASSES_DO(template) \ |
jrose@567 | 95 | /* well-known classes */ \ |
never@1577 | 96 | template(Object_klass, java_lang_Object, Pre) \ |
never@1577 | 97 | template(String_klass, java_lang_String, Pre) \ |
never@1577 | 98 | template(Class_klass, java_lang_Class, Pre) \ |
never@1577 | 99 | template(Cloneable_klass, java_lang_Cloneable, Pre) \ |
never@1577 | 100 | template(ClassLoader_klass, java_lang_ClassLoader, Pre) \ |
never@1577 | 101 | template(Serializable_klass, java_io_Serializable, Pre) \ |
never@1577 | 102 | template(System_klass, java_lang_System, Pre) \ |
never@1577 | 103 | template(Throwable_klass, java_lang_Throwable, Pre) \ |
never@1577 | 104 | template(Error_klass, java_lang_Error, Pre) \ |
never@1577 | 105 | template(ThreadDeath_klass, java_lang_ThreadDeath, Pre) \ |
never@1577 | 106 | template(Exception_klass, java_lang_Exception, Pre) \ |
never@1577 | 107 | template(RuntimeException_klass, java_lang_RuntimeException, Pre) \ |
never@1577 | 108 | template(ProtectionDomain_klass, java_security_ProtectionDomain, Pre) \ |
jrose@567 | 109 | template(AccessControlContext_klass, java_security_AccessControlContext, Pre) \ |
never@1577 | 110 | template(ClassNotFoundException_klass, java_lang_ClassNotFoundException, Pre) \ |
never@1577 | 111 | template(NoClassDefFoundError_klass, java_lang_NoClassDefFoundError, Pre) \ |
never@1577 | 112 | template(LinkageError_klass, java_lang_LinkageError, Pre) \ |
jrose@567 | 113 | template(ClassCastException_klass, java_lang_ClassCastException, Pre) \ |
jrose@567 | 114 | template(ArrayStoreException_klass, java_lang_ArrayStoreException, Pre) \ |
never@1577 | 115 | template(VirtualMachineError_klass, java_lang_VirtualMachineError, Pre) \ |
jrose@567 | 116 | template(OutOfMemoryError_klass, java_lang_OutOfMemoryError, Pre) \ |
jrose@567 | 117 | template(StackOverflowError_klass, java_lang_StackOverflowError, Pre) \ |
jrose@567 | 118 | template(IllegalMonitorStateException_klass, java_lang_IllegalMonitorStateException, Pre) \ |
never@1577 | 119 | template(Reference_klass, java_lang_ref_Reference, Pre) \ |
jrose@567 | 120 | \ |
jrose@567 | 121 | /* Preload ref klasses and set reference types */ \ |
never@1577 | 122 | template(SoftReference_klass, java_lang_ref_SoftReference, Pre) \ |
never@1577 | 123 | template(WeakReference_klass, java_lang_ref_WeakReference, Pre) \ |
never@1577 | 124 | template(FinalReference_klass, java_lang_ref_FinalReference, Pre) \ |
never@1577 | 125 | template(PhantomReference_klass, java_lang_ref_PhantomReference, Pre) \ |
never@1577 | 126 | template(Finalizer_klass, java_lang_ref_Finalizer, Pre) \ |
jrose@567 | 127 | \ |
never@1577 | 128 | template(Thread_klass, java_lang_Thread, Pre) \ |
never@1577 | 129 | template(ThreadGroup_klass, java_lang_ThreadGroup, Pre) \ |
never@1577 | 130 | template(Properties_klass, java_util_Properties, Pre) \ |
never@1577 | 131 | template(reflect_AccessibleObject_klass, java_lang_reflect_AccessibleObject, Pre) \ |
never@1577 | 132 | template(reflect_Field_klass, java_lang_reflect_Field, Pre) \ |
never@1577 | 133 | template(reflect_Method_klass, java_lang_reflect_Method, Pre) \ |
never@1577 | 134 | template(reflect_Constructor_klass, java_lang_reflect_Constructor, Pre) \ |
jrose@567 | 135 | \ |
jrose@567 | 136 | /* NOTE: needed too early in bootstrapping process to have checks based on JDK version */ \ |
jrose@567 | 137 | /* Universe::is_gte_jdk14x_version() is not set up by this point. */ \ |
jrose@567 | 138 | /* It's okay if this turns out to be NULL in non-1.4 JDKs. */ \ |
never@1577 | 139 | template(reflect_MagicAccessorImpl_klass, sun_reflect_MagicAccessorImpl, Opt) \ |
never@1577 | 140 | template(reflect_MethodAccessorImpl_klass, sun_reflect_MethodAccessorImpl, Opt_Only_JDK14NewRef) \ |
never@1577 | 141 | template(reflect_ConstructorAccessorImpl_klass, sun_reflect_ConstructorAccessorImpl, Opt_Only_JDK14NewRef) \ |
never@1577 | 142 | template(reflect_DelegatingClassLoader_klass, sun_reflect_DelegatingClassLoader, Opt) \ |
never@1577 | 143 | template(reflect_ConstantPool_klass, sun_reflect_ConstantPool, Opt_Only_JDK15) \ |
never@1577 | 144 | template(reflect_UnsafeStaticFieldAccessorImpl_klass, sun_reflect_UnsafeStaticFieldAccessorImpl, Opt_Only_JDK15) \ |
jrose@567 | 145 | \ |
jrose@1145 | 146 | /* support for dynamic typing; it's OK if these are NULL in earlier JDKs */ \ |
twisti@3050 | 147 | template(MethodHandle_klass, java_lang_invoke_MethodHandle, Pre_JSR292) \ |
twisti@3050 | 148 | template(MemberName_klass, java_lang_invoke_MemberName, Pre_JSR292) \ |
twisti@3050 | 149 | template(MethodHandleNatives_klass, java_lang_invoke_MethodHandleNatives, Pre_JSR292) \ |
twisti@3050 | 150 | template(AdapterMethodHandle_klass, java_lang_invoke_AdapterMethodHandle, Pre_JSR292) \ |
twisti@3050 | 151 | template(BoundMethodHandle_klass, java_lang_invoke_BoundMethodHandle, Pre_JSR292) \ |
twisti@3050 | 152 | template(DirectMethodHandle_klass, java_lang_invoke_DirectMethodHandle, Pre_JSR292) \ |
twisti@3050 | 153 | template(MethodType_klass, java_lang_invoke_MethodType, Pre_JSR292) \ |
twisti@3050 | 154 | template(MethodTypeForm_klass, java_lang_invoke_MethodTypeForm, Pre_JSR292) \ |
twisti@3050 | 155 | template(BootstrapMethodError_klass, java_lang_BootstrapMethodError, Pre_JSR292) \ |
jrose@2639 | 156 | template(WrongMethodTypeException_klass, java_lang_invoke_WrongMethodTypeException, Pre_JSR292) \ |
twisti@3050 | 157 | template(CallSite_klass, java_lang_invoke_CallSite, Pre_JSR292) \ |
twisti@3050 | 158 | template(ConstantCallSite_klass, java_lang_invoke_ConstantCallSite, Pre_JSR292) \ |
twisti@3050 | 159 | template(MutableCallSite_klass, java_lang_invoke_MutableCallSite, Pre_JSR292) \ |
twisti@3050 | 160 | template(VolatileCallSite_klass, java_lang_invoke_VolatileCallSite, Pre_JSR292) \ |
twisti@3050 | 161 | /* Note: MethodHandle must be first, and VolatileCallSite last in group */ \ |
jrose@1161 | 162 | \ |
never@1577 | 163 | template(StringBuffer_klass, java_lang_StringBuffer, Pre) \ |
never@1515 | 164 | template(StringBuilder_klass, java_lang_StringBuilder, Pre) \ |
jrose@567 | 165 | \ |
jrose@567 | 166 | /* It's NULL in non-1.4 JDKs. */ \ |
never@1577 | 167 | template(StackTraceElement_klass, java_lang_StackTraceElement, Opt) \ |
jrose@567 | 168 | /* Universe::is_gte_jdk14x_version() is not set up by this point. */ \ |
jrose@567 | 169 | /* It's okay if this turns out to be NULL in non-1.4 JDKs. */ \ |
jrose@567 | 170 | template(java_nio_Buffer_klass, java_nio_Buffer, Opt) \ |
jrose@567 | 171 | \ |
jrose@567 | 172 | /* If this class isn't present, it won't be referenced. */ \ |
jrose@567 | 173 | template(sun_misc_AtomicLongCSImpl_klass, sun_misc_AtomicLongCSImpl, Opt) \ |
jrose@567 | 174 | \ |
jrose@567 | 175 | template(sun_jkernel_DownloadManager_klass, sun_jkernel_DownloadManager, Opt_Kernel) \ |
jrose@567 | 176 | \ |
kevinw@2449 | 177 | template(sun_misc_PostVMInitHook_klass, sun_misc_PostVMInitHook, Opt) \ |
kevinw@2449 | 178 | \ |
jrose@567 | 179 | /* Preload boxing klasses */ \ |
never@1577 | 180 | template(Boolean_klass, java_lang_Boolean, Pre) \ |
never@1577 | 181 | template(Character_klass, java_lang_Character, Pre) \ |
never@1577 | 182 | template(Float_klass, java_lang_Float, Pre) \ |
never@1577 | 183 | template(Double_klass, java_lang_Double, Pre) \ |
never@1577 | 184 | template(Byte_klass, java_lang_Byte, Pre) \ |
never@1577 | 185 | template(Short_klass, java_lang_Short, Pre) \ |
never@1577 | 186 | template(Integer_klass, java_lang_Integer, Pre) \ |
never@1577 | 187 | template(Long_klass, java_lang_Long, Pre) \ |
jrose@567 | 188 | /*end*/ |
jrose@567 | 189 | |
jrose@567 | 190 | |
duke@435 | 191 | class SystemDictionary : AllStatic { |
duke@435 | 192 | friend class VMStructs; |
duke@435 | 193 | friend class CompactingPermGenGen; |
jrose@1100 | 194 | friend class SystemDictionaryHandles; |
duke@435 | 195 | NOT_PRODUCT(friend class instanceKlassKlass;) |
duke@435 | 196 | |
duke@435 | 197 | public: |
jrose@567 | 198 | enum WKID { |
jrose@567 | 199 | NO_WKID = 0, |
jrose@567 | 200 | |
jrose@567 | 201 | #define WK_KLASS_ENUM(name, ignore_s, ignore_o) WK_KLASS_ENUM_NAME(name), |
jrose@567 | 202 | WK_KLASSES_DO(WK_KLASS_ENUM) |
jrose@567 | 203 | #undef WK_KLASS_ENUM |
jrose@567 | 204 | |
jrose@567 | 205 | WKID_LIMIT, |
jrose@567 | 206 | |
jrose@567 | 207 | FIRST_WKID = NO_WKID + 1 |
jrose@567 | 208 | }; |
jrose@567 | 209 | |
jrose@567 | 210 | enum InitOption { |
jrose@567 | 211 | Pre, // preloaded; error if not present |
twisti@2698 | 212 | Pre_JSR292, // preloaded if EnableInvokeDynamic |
jrose@567 | 213 | |
jrose@567 | 214 | // Order is significant. Options before this point require resolve_or_fail. |
jrose@567 | 215 | // Options after this point will use resolve_or_null instead. |
jrose@567 | 216 | |
jrose@567 | 217 | Opt, // preload tried; NULL if not present |
jrose@567 | 218 | Opt_Only_JDK14NewRef, // preload tried; use only with NewReflection |
jrose@567 | 219 | Opt_Only_JDK15, // preload tried; use only with JDK1.5+ |
jrose@567 | 220 | Opt_Kernel, // preload tried only #ifdef KERNEL |
jrose@567 | 221 | OPTION_LIMIT, |
jrose@567 | 222 | CEIL_LG_OPTION_LIMIT = 4 // OPTION_LIMIT <= (1<<CEIL_LG_OPTION_LIMIT) |
jrose@567 | 223 | }; |
jrose@567 | 224 | |
jrose@567 | 225 | |
duke@435 | 226 | // Returns a class with a given class name and class loader. Loads the |
duke@435 | 227 | // class if needed. If not found a NoClassDefFoundError or a |
duke@435 | 228 | // ClassNotFoundException is thrown, depending on the value on the |
duke@435 | 229 | // throw_error flag. For most uses the throw_error argument should be set |
duke@435 | 230 | // to true. |
duke@435 | 231 | |
coleenp@2497 | 232 | static klassOop resolve_or_fail(Symbol* class_name, Handle class_loader, Handle protection_domain, bool throw_error, TRAPS); |
duke@435 | 233 | // Convenient call for null loader and protection domain. |
coleenp@2497 | 234 | static klassOop resolve_or_fail(Symbol* class_name, bool throw_error, TRAPS); |
duke@435 | 235 | private: |
duke@435 | 236 | // handle error translation for resolve_or_null results |
coleenp@2497 | 237 | static klassOop handle_resolution_exception(Symbol* class_name, Handle class_loader, Handle protection_domain, bool throw_error, KlassHandle klass_h, TRAPS); |
duke@435 | 238 | |
duke@435 | 239 | public: |
duke@435 | 240 | |
duke@435 | 241 | // Returns a class with a given class name and class loader. |
duke@435 | 242 | // Loads the class if needed. If not found NULL is returned. |
coleenp@2497 | 243 | static klassOop resolve_or_null(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS); |
duke@435 | 244 | // Version with null loader and protection domain |
coleenp@2497 | 245 | static klassOop resolve_or_null(Symbol* class_name, TRAPS); |
duke@435 | 246 | |
duke@435 | 247 | // Resolve a superclass or superinterface. Called from ClassFileParser, |
duke@435 | 248 | // parse_interfaces, resolve_instance_class_or_null, load_shared_class |
duke@435 | 249 | // "child_name" is the class whose super class or interface is being resolved. |
coleenp@2497 | 250 | static klassOop resolve_super_or_fail(Symbol* child_name, |
coleenp@2497 | 251 | Symbol* class_name, |
duke@435 | 252 | Handle class_loader, |
duke@435 | 253 | Handle protection_domain, |
duke@435 | 254 | bool is_superclass, |
duke@435 | 255 | TRAPS); |
duke@435 | 256 | |
duke@435 | 257 | // Parse new stream. This won't update the system dictionary or |
duke@435 | 258 | // class hierarchy, simply parse the stream. Used by JVMTI RedefineClasses. |
coleenp@2497 | 259 | static klassOop parse_stream(Symbol* class_name, |
duke@435 | 260 | Handle class_loader, |
duke@435 | 261 | Handle protection_domain, |
duke@435 | 262 | ClassFileStream* st, |
jrose@866 | 263 | TRAPS) { |
jrose@866 | 264 | KlassHandle nullHandle; |
jrose@866 | 265 | return parse_stream(class_name, class_loader, protection_domain, st, nullHandle, NULL, THREAD); |
jrose@866 | 266 | } |
coleenp@2497 | 267 | static klassOop parse_stream(Symbol* class_name, |
jrose@866 | 268 | Handle class_loader, |
jrose@866 | 269 | Handle protection_domain, |
jrose@866 | 270 | ClassFileStream* st, |
jrose@866 | 271 | KlassHandle host_klass, |
jrose@866 | 272 | GrowableArray<Handle>* cp_patches, |
duke@435 | 273 | TRAPS); |
duke@435 | 274 | |
duke@435 | 275 | // Resolve from stream (called by jni_DefineClass and JVM_DefineClass) |
coleenp@2497 | 276 | static klassOop resolve_from_stream(Symbol* class_name, Handle class_loader, |
acorn@1408 | 277 | Handle protection_domain, |
acorn@1408 | 278 | ClassFileStream* st, bool verify, TRAPS); |
duke@435 | 279 | |
duke@435 | 280 | // Lookup an already loaded class. If not found NULL is returned. |
coleenp@2497 | 281 | static klassOop find(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS); |
duke@435 | 282 | |
duke@435 | 283 | // Lookup an already loaded instance or array class. |
duke@435 | 284 | // Do not make any queries to class loaders; consult only the cache. |
duke@435 | 285 | // If not found NULL is returned. |
coleenp@2497 | 286 | static klassOop find_instance_or_array_klass(Symbol* class_name, |
duke@435 | 287 | Handle class_loader, |
duke@435 | 288 | Handle protection_domain, |
duke@435 | 289 | TRAPS); |
duke@435 | 290 | |
jrose@567 | 291 | // If the given name is known to vmSymbols, return the well-know klass: |
coleenp@2497 | 292 | static klassOop find_well_known_klass(Symbol* class_name); |
jrose@567 | 293 | |
duke@435 | 294 | // Lookup an instance or array class that has already been loaded |
duke@435 | 295 | // either into the given class loader, or else into another class |
duke@435 | 296 | // loader that is constrained (via loader constraints) to produce |
duke@435 | 297 | // a consistent class. Do not take protection domains into account. |
duke@435 | 298 | // Do not make any queries to class loaders; consult only the cache. |
duke@435 | 299 | // Return NULL if the class is not found. |
duke@435 | 300 | // |
duke@435 | 301 | // This function is a strict superset of find_instance_or_array_klass. |
duke@435 | 302 | // This function (the unchecked version) makes a conservative prediction |
duke@435 | 303 | // of the result of the checked version, assuming successful lookup. |
duke@435 | 304 | // If both functions return non-null, they must return the same value. |
duke@435 | 305 | // Also, the unchecked version may sometimes be non-null where the |
duke@435 | 306 | // checked version is null. This can occur in several ways: |
duke@435 | 307 | // 1. No query has yet been made to the class loader. |
duke@435 | 308 | // 2. The class loader was queried, but chose not to delegate. |
duke@435 | 309 | // 3. ClassLoader.checkPackageAccess rejected a proposed protection domain. |
duke@435 | 310 | // 4. Loading was attempted, but there was a linkage error of some sort. |
duke@435 | 311 | // In all of these cases, the loader constraints on this type are |
duke@435 | 312 | // satisfied, and it is safe for classes in the given class loader |
duke@435 | 313 | // to manipulate strongly-typed values of the found class, subject |
duke@435 | 314 | // to local linkage and access checks. |
coleenp@2497 | 315 | static klassOop find_constrained_instance_or_array_klass(Symbol* class_name, |
duke@435 | 316 | Handle class_loader, |
duke@435 | 317 | TRAPS); |
duke@435 | 318 | |
duke@435 | 319 | // Iterate over all klasses in dictionary |
duke@435 | 320 | // Just the classes from defining class loaders |
duke@435 | 321 | static void classes_do(void f(klassOop)); |
duke@435 | 322 | // Added for initialize_itable_for_klass to handle exceptions |
duke@435 | 323 | static void classes_do(void f(klassOop, TRAPS), TRAPS); |
duke@435 | 324 | // All classes, and their class loaders |
duke@435 | 325 | static void classes_do(void f(klassOop, oop)); |
duke@435 | 326 | // All classes, and their class loaders |
duke@435 | 327 | // (added for helpers that use HandleMarks and ResourceMarks) |
duke@435 | 328 | static void classes_do(void f(klassOop, oop, TRAPS), TRAPS); |
duke@435 | 329 | // All entries in the placeholder table and their class loaders |
coleenp@2497 | 330 | static void placeholders_do(void f(Symbol*, oop)); |
duke@435 | 331 | |
duke@435 | 332 | // Iterate over all methods in all klasses in dictionary |
duke@435 | 333 | static void methods_do(void f(methodOop)); |
duke@435 | 334 | |
duke@435 | 335 | // Garbage collection support |
duke@435 | 336 | |
duke@435 | 337 | // This method applies "blk->do_oop" to all the pointers to "system" |
duke@435 | 338 | // classes and loaders. |
duke@435 | 339 | static void always_strong_oops_do(OopClosure* blk); |
duke@435 | 340 | static void always_strong_classes_do(OopClosure* blk); |
duke@435 | 341 | // This method applies "blk->do_oop" to all the placeholders. |
duke@435 | 342 | static void placeholders_do(OopClosure* blk); |
duke@435 | 343 | |
duke@435 | 344 | // Unload (that is, break root links to) all unmarked classes and |
duke@435 | 345 | // loaders. Returns "true" iff something was unloaded. |
duke@435 | 346 | static bool do_unloading(BoolObjectClosure* is_alive); |
duke@435 | 347 | |
duke@435 | 348 | // Applies "f->do_oop" to all root oops in the system dictionary. |
duke@435 | 349 | static void oops_do(OopClosure* f); |
duke@435 | 350 | |
duke@435 | 351 | // System loader lock |
duke@435 | 352 | static oop system_loader_lock() { return _system_loader_lock_obj; } |
duke@435 | 353 | |
duke@435 | 354 | private: |
duke@435 | 355 | // Traverses preloaded oops: various system classes. These are |
duke@435 | 356 | // guaranteed to be in the perm gen. |
duke@435 | 357 | static void preloaded_oops_do(OopClosure* f); |
duke@435 | 358 | static void lazily_loaded_oops_do(OopClosure* f); |
duke@435 | 359 | |
duke@435 | 360 | public: |
duke@435 | 361 | // Sharing support. |
duke@435 | 362 | static void reorder_dictionary(); |
duke@435 | 363 | static void copy_buckets(char** top, char* end); |
duke@435 | 364 | static void copy_table(char** top, char* end); |
duke@435 | 365 | static void reverse(); |
duke@435 | 366 | static void set_shared_dictionary(HashtableBucket* t, int length, |
duke@435 | 367 | int number_of_entries); |
duke@435 | 368 | // Printing |
duke@435 | 369 | static void print() PRODUCT_RETURN; |
duke@435 | 370 | static void print_class_statistics() PRODUCT_RETURN; |
duke@435 | 371 | static void print_method_statistics() PRODUCT_RETURN; |
duke@435 | 372 | |
duke@435 | 373 | // Number of contained klasses |
duke@435 | 374 | // This is both fully loaded classes and classes in the process |
duke@435 | 375 | // of being loaded |
duke@435 | 376 | static int number_of_classes(); |
duke@435 | 377 | |
duke@435 | 378 | // Monotonically increasing counter which grows as classes are |
duke@435 | 379 | // loaded or modifications such as hot-swapping or setting/removing |
duke@435 | 380 | // of breakpoints are performed |
duke@435 | 381 | static inline int number_of_modifications() { assert_locked_or_safepoint(Compile_lock); return _number_of_modifications; } |
duke@435 | 382 | // Needed by evolution and breakpoint code |
duke@435 | 383 | static inline void notice_modification() { assert_locked_or_safepoint(Compile_lock); ++_number_of_modifications; } |
duke@435 | 384 | |
duke@435 | 385 | // Verification |
duke@435 | 386 | static void verify(); |
duke@435 | 387 | |
duke@435 | 388 | #ifdef ASSERT |
coleenp@2497 | 389 | static bool is_internal_format(Symbol* class_name); |
duke@435 | 390 | #endif |
duke@435 | 391 | |
duke@435 | 392 | // Verify class is in dictionary |
duke@435 | 393 | static void verify_obj_klass_present(Handle obj, |
coleenp@2497 | 394 | Symbol* class_name, |
duke@435 | 395 | Handle class_loader); |
duke@435 | 396 | |
duke@435 | 397 | // Initialization |
duke@435 | 398 | static void initialize(TRAPS); |
duke@435 | 399 | |
duke@435 | 400 | // Fast access to commonly used classes (preloaded) |
duke@435 | 401 | static klassOop check_klass(klassOop k) { |
duke@435 | 402 | assert(k != NULL, "preloaded klass not initialized"); |
duke@435 | 403 | return k; |
duke@435 | 404 | } |
duke@435 | 405 | |
jrose@567 | 406 | static klassOop check_klass_Pre(klassOop k) { return check_klass(k); } |
jrose@2638 | 407 | static klassOop check_klass_Pre_JSR292(klassOop k) { return EnableInvokeDynamic ? check_klass(k) : k; } |
jrose@567 | 408 | static klassOop check_klass_Opt(klassOop k) { return k; } |
jrose@567 | 409 | static klassOop check_klass_Opt_Kernel(klassOop k) { return k; } //== Opt |
jrose@567 | 410 | static klassOop check_klass_Opt_Only_JDK15(klassOop k) { |
jrose@567 | 411 | assert(JDK_Version::is_gte_jdk15x_version(), "JDK 1.5 only"); |
jrose@567 | 412 | return k; |
jrose@567 | 413 | } |
jrose@567 | 414 | static klassOop check_klass_Opt_Only_JDK14NewRef(klassOop k) { |
duke@435 | 415 | assert(JDK_Version::is_gte_jdk14x_version() && UseNewReflection, "JDK 1.4 only"); |
jrose@567 | 416 | // despite the optional loading, if you use this it must be present: |
jrose@567 | 417 | return check_klass(k); |
duke@435 | 418 | } |
duke@435 | 419 | |
jrose@567 | 420 | static bool initialize_wk_klass(WKID id, int init_opt, TRAPS); |
jrose@567 | 421 | static void initialize_wk_klasses_until(WKID limit_id, WKID &start_id, TRAPS); |
jrose@567 | 422 | static void initialize_wk_klasses_through(WKID end_id, WKID &start_id, TRAPS) { |
jrose@567 | 423 | int limit = (int)end_id + 1; |
jrose@567 | 424 | initialize_wk_klasses_until((WKID) limit, start_id, THREAD); |
jrose@567 | 425 | } |
duke@435 | 426 | |
jrose@567 | 427 | public: |
jrose@567 | 428 | #define WK_KLASS_DECLARE(name, ignore_symbol, option) \ |
jrose@567 | 429 | static klassOop name() { return check_klass_##option(_well_known_klasses[WK_KLASS_ENUM_NAME(name)]); } |
jrose@567 | 430 | WK_KLASSES_DO(WK_KLASS_DECLARE); |
jrose@567 | 431 | #undef WK_KLASS_DECLARE |
duke@435 | 432 | |
jrose@567 | 433 | // Local definition for direct access to the private array: |
jrose@582 | 434 | #define WK_KLASS(name) _well_known_klasses[SystemDictionary::WK_KLASS_ENUM_NAME(name)] |
duke@435 | 435 | |
duke@435 | 436 | static klassOop box_klass(BasicType t) { |
duke@435 | 437 | assert((uint)t < T_VOID+1, "range check"); |
duke@435 | 438 | return check_klass(_box_klasses[t]); |
duke@435 | 439 | } |
duke@435 | 440 | static BasicType box_klass_type(klassOop k); // inverse of box_klass |
duke@435 | 441 | |
duke@435 | 442 | // methods returning lazily loaded klasses |
duke@435 | 443 | // The corresponding method to load the class must be called before calling them. |
duke@435 | 444 | static klassOop abstract_ownable_synchronizer_klass() { return check_klass(_abstract_ownable_synchronizer_klass); } |
duke@435 | 445 | |
duke@435 | 446 | static void load_abstract_ownable_synchronizer_klass(TRAPS); |
duke@435 | 447 | |
duke@435 | 448 | private: |
duke@435 | 449 | // Tells whether ClassLoader.loadClassInternal is present |
duke@435 | 450 | static bool has_loadClassInternal() { return _has_loadClassInternal; } |
duke@435 | 451 | |
duke@435 | 452 | public: |
duke@435 | 453 | // Tells whether ClassLoader.checkPackageAccess is present |
duke@435 | 454 | static bool has_checkPackageAccess() { return _has_checkPackageAccess; } |
duke@435 | 455 | |
never@1577 | 456 | static bool Class_klass_loaded() { return WK_KLASS(Class_klass) != NULL; } |
never@1577 | 457 | static bool Cloneable_klass_loaded() { return WK_KLASS(Cloneable_klass) != NULL; } |
duke@435 | 458 | |
duke@435 | 459 | // Returns default system loader |
duke@435 | 460 | static oop java_system_loader(); |
duke@435 | 461 | |
duke@435 | 462 | // Compute the default system loader |
duke@435 | 463 | static void compute_java_system_loader(TRAPS); |
duke@435 | 464 | |
duke@435 | 465 | private: |
duke@435 | 466 | // Mirrors for primitive classes (created eagerly) |
duke@435 | 467 | static oop check_mirror(oop m) { |
duke@435 | 468 | assert(m != NULL, "mirror not initialized"); |
duke@435 | 469 | return m; |
duke@435 | 470 | } |
duke@435 | 471 | |
duke@435 | 472 | public: |
duke@435 | 473 | // Note: java_lang_Class::primitive_type is the inverse of java_mirror |
duke@435 | 474 | |
duke@435 | 475 | // Check class loader constraints |
coleenp@2497 | 476 | static bool add_loader_constraint(Symbol* name, Handle loader1, |
duke@435 | 477 | Handle loader2, TRAPS); |
coleenp@2497 | 478 | static char* check_signature_loaders(Symbol* signature, Handle loader1, |
duke@435 | 479 | Handle loader2, bool is_method, TRAPS); |
duke@435 | 480 | |
jrose@1145 | 481 | // JSR 292 |
jrose@2639 | 482 | // find the java.lang.invoke.MethodHandles::invoke method for a given signature |
coleenp@2497 | 483 | static methodOop find_method_handle_invoke(Symbol* name, |
coleenp@2497 | 484 | Symbol* signature, |
jrose@1863 | 485 | KlassHandle accessing_klass, |
jrose@1145 | 486 | TRAPS); |
jrose@2639 | 487 | // ask Java to compute a java.lang.invoke.MethodType object for a given signature |
coleenp@2497 | 488 | static Handle find_method_handle_type(Symbol* signature, |
jrose@1863 | 489 | KlassHandle accessing_klass, |
jrose@2148 | 490 | bool for_invokeGeneric, |
jrose@1863 | 491 | bool& return_bcp_flag, |
jrose@1862 | 492 | TRAPS); |
jrose@2639 | 493 | // ask Java to compute a java.lang.invoke.MethodHandle object for a given CP entry |
jrose@1957 | 494 | static Handle link_method_handle_constant(KlassHandle caller, |
jrose@1957 | 495 | int ref_kind, //e.g., JVM_REF_invokeVirtual |
jrose@1957 | 496 | KlassHandle callee, |
coleenp@2497 | 497 | Symbol* name, |
coleenp@2497 | 498 | Symbol* signature, |
jrose@1957 | 499 | TRAPS); |
jrose@1161 | 500 | // ask Java to create a dynamic call site, while linking an invokedynamic op |
jrose@1862 | 501 | static Handle make_dynamic_call_site(Handle bootstrap_method, |
jrose@1862 | 502 | // Callee information: |
coleenp@2497 | 503 | Symbol* name, |
jrose@1862 | 504 | methodHandle signature_invoker, |
jrose@1862 | 505 | Handle info, |
jrose@1862 | 506 | // Caller information: |
jrose@1862 | 507 | methodHandle caller_method, |
jrose@1161 | 508 | int caller_bci, |
jrose@1161 | 509 | TRAPS); |
jrose@1161 | 510 | |
jrose@1161 | 511 | // coordinate with Java about bootstrap methods |
jrose@2015 | 512 | static Handle find_bootstrap_method(methodHandle caller_method, |
jrose@2015 | 513 | int caller_bci, // N.B. must be an invokedynamic |
jrose@2015 | 514 | int cache_index, // must be corresponding main_entry |
jrose@2268 | 515 | Handle &argument_info_result, // static BSM arguments, if any |
jrose@2015 | 516 | TRAPS); |
jrose@1161 | 517 | |
duke@435 | 518 | // Utility for printing loader "name" as part of tracing constraints |
duke@435 | 519 | static const char* loader_name(oop loader) { |
duke@435 | 520 | return ((loader) == NULL ? "<bootloader>" : |
duke@435 | 521 | instanceKlass::cast((loader)->klass())->name()->as_C_string() ); |
duke@435 | 522 | } |
duke@435 | 523 | |
duke@435 | 524 | // Record the error when the first attempt to resolve a reference from a constant |
duke@435 | 525 | // pool entry to a class fails. |
coleenp@2497 | 526 | static void add_resolution_error(constantPoolHandle pool, int which, Symbol* error); |
coleenp@2497 | 527 | static Symbol* find_resolution_error(constantPoolHandle pool, int which); |
duke@435 | 528 | |
duke@435 | 529 | private: |
duke@435 | 530 | |
duke@435 | 531 | enum Constants { |
duke@435 | 532 | _loader_constraint_size = 107, // number of entries in constraint table |
duke@435 | 533 | _resolution_error_size = 107, // number of entries in resolution error table |
jrose@1145 | 534 | _invoke_method_size = 139, // number of entries in invoke method table |
duke@435 | 535 | _nof_buckets = 1009 // number of buckets in hash table |
duke@435 | 536 | }; |
duke@435 | 537 | |
duke@435 | 538 | |
duke@435 | 539 | // Static variables |
duke@435 | 540 | |
duke@435 | 541 | // Hashtable holding loaded classes. |
duke@435 | 542 | static Dictionary* _dictionary; |
duke@435 | 543 | |
duke@435 | 544 | // Hashtable holding placeholders for classes being loaded. |
duke@435 | 545 | static PlaceholderTable* _placeholders; |
duke@435 | 546 | |
duke@435 | 547 | // Hashtable holding classes from the shared archive. |
duke@435 | 548 | static Dictionary* _shared_dictionary; |
duke@435 | 549 | |
duke@435 | 550 | // Monotonically increasing counter which grows with |
duke@435 | 551 | // _number_of_classes as well as hot-swapping and breakpoint setting |
duke@435 | 552 | // and removal. |
duke@435 | 553 | static int _number_of_modifications; |
duke@435 | 554 | |
duke@435 | 555 | // Lock object for system class loader |
duke@435 | 556 | static oop _system_loader_lock_obj; |
duke@435 | 557 | |
duke@435 | 558 | // Constraints on class loaders |
duke@435 | 559 | static LoaderConstraintTable* _loader_constraints; |
duke@435 | 560 | |
duke@435 | 561 | // Resolution errors |
duke@435 | 562 | static ResolutionErrorTable* _resolution_errors; |
duke@435 | 563 | |
jrose@1145 | 564 | // Invoke methods (JSR 292) |
jrose@1145 | 565 | static SymbolPropertyTable* _invoke_method_table; |
jrose@1145 | 566 | |
duke@435 | 567 | public: |
duke@435 | 568 | // for VM_CounterDecay iteration support |
duke@435 | 569 | friend class CounterDecay; |
duke@435 | 570 | static klassOop try_get_next_class(); |
duke@435 | 571 | |
duke@435 | 572 | private: |
duke@435 | 573 | static void validate_protection_domain(instanceKlassHandle klass, |
duke@435 | 574 | Handle class_loader, |
duke@435 | 575 | Handle protection_domain, TRAPS); |
duke@435 | 576 | |
duke@435 | 577 | friend class VM_PopulateDumpSharedSpace; |
duke@435 | 578 | friend class TraversePlaceholdersClosure; |
duke@435 | 579 | static Dictionary* dictionary() { return _dictionary; } |
duke@435 | 580 | static Dictionary* shared_dictionary() { return _shared_dictionary; } |
duke@435 | 581 | static PlaceholderTable* placeholders() { return _placeholders; } |
duke@435 | 582 | static LoaderConstraintTable* constraints() { return _loader_constraints; } |
duke@435 | 583 | static ResolutionErrorTable* resolution_errors() { return _resolution_errors; } |
jrose@1145 | 584 | static SymbolPropertyTable* invoke_method_table() { return _invoke_method_table; } |
duke@435 | 585 | |
duke@435 | 586 | // Basic loading operations |
coleenp@2497 | 587 | static klassOop resolve_instance_class_or_null(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS); |
coleenp@2497 | 588 | static klassOop resolve_array_class_or_null(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS); |
coleenp@2497 | 589 | static instanceKlassHandle handle_parallel_super_load(Symbol* class_name, Symbol* supername, Handle class_loader, Handle protection_domain, Handle lockObject, TRAPS); |
duke@435 | 590 | // Wait on SystemDictionary_lock; unlocks lockObject before |
duke@435 | 591 | // waiting; relocks lockObject with correct recursion count |
duke@435 | 592 | // after waiting, but before reentering SystemDictionary_lock |
duke@435 | 593 | // to preserve lock order semantics. |
duke@435 | 594 | static void double_lock_wait(Handle lockObject, TRAPS); |
duke@435 | 595 | static void define_instance_class(instanceKlassHandle k, TRAPS); |
coleenp@2497 | 596 | static instanceKlassHandle find_or_define_instance_class(Symbol* class_name, |
duke@435 | 597 | Handle class_loader, |
duke@435 | 598 | instanceKlassHandle k, TRAPS); |
coleenp@2497 | 599 | static instanceKlassHandle load_shared_class(Symbol* class_name, |
duke@435 | 600 | Handle class_loader, TRAPS); |
duke@435 | 601 | static instanceKlassHandle load_shared_class(instanceKlassHandle ik, |
duke@435 | 602 | Handle class_loader, TRAPS); |
coleenp@2497 | 603 | static instanceKlassHandle load_instance_class(Symbol* class_name, Handle class_loader, TRAPS); |
duke@435 | 604 | static Handle compute_loader_lock_object(Handle class_loader, TRAPS); |
duke@435 | 605 | static void check_loader_lock_contention(Handle loader_lock, TRAPS); |
acorn@949 | 606 | static bool is_parallelCapable(Handle class_loader); |
acorn@1510 | 607 | static bool is_parallelDefine(Handle class_loader); |
duke@435 | 608 | |
coleenp@2497 | 609 | static klassOop find_shared_class(Symbol* class_name); |
duke@435 | 610 | |
duke@435 | 611 | // Setup link to hierarchy |
duke@435 | 612 | static void add_to_hierarchy(instanceKlassHandle k, TRAPS); |
duke@435 | 613 | |
duke@435 | 614 | private: |
duke@435 | 615 | // We pass in the hashtable index so we can calculate it outside of |
duke@435 | 616 | // the SystemDictionary_lock. |
duke@435 | 617 | |
duke@435 | 618 | // Basic find on loaded classes |
duke@435 | 619 | static klassOop find_class(int index, unsigned int hash, |
coleenp@2497 | 620 | Symbol* name, Handle loader); |
coleenp@2497 | 621 | static klassOop find_class(Symbol* class_name, Handle class_loader); |
duke@435 | 622 | |
duke@435 | 623 | // Basic find on classes in the midst of being loaded |
coleenp@2497 | 624 | static Symbol* find_placeholder(Symbol* name, Handle loader); |
duke@435 | 625 | |
duke@435 | 626 | // Updating entry in dictionary |
duke@435 | 627 | // Add a completely loaded class |
coleenp@2497 | 628 | static void add_klass(int index, Symbol* class_name, |
duke@435 | 629 | Handle class_loader, KlassHandle obj); |
duke@435 | 630 | |
duke@435 | 631 | // Add a placeholder for a class being loaded |
duke@435 | 632 | static void add_placeholder(int index, |
coleenp@2497 | 633 | Symbol* class_name, |
duke@435 | 634 | Handle class_loader); |
duke@435 | 635 | static void remove_placeholder(int index, |
coleenp@2497 | 636 | Symbol* class_name, |
duke@435 | 637 | Handle class_loader); |
duke@435 | 638 | |
duke@435 | 639 | // Performs cleanups after resolve_super_or_fail. This typically needs |
duke@435 | 640 | // to be called on failure. |
duke@435 | 641 | // Won't throw, but can block. |
coleenp@2497 | 642 | static void resolution_cleanups(Symbol* class_name, |
duke@435 | 643 | Handle class_loader, |
duke@435 | 644 | TRAPS); |
duke@435 | 645 | |
duke@435 | 646 | // Initialization |
duke@435 | 647 | static void initialize_preloaded_classes(TRAPS); |
duke@435 | 648 | |
duke@435 | 649 | // Class loader constraints |
duke@435 | 650 | static void check_constraints(int index, unsigned int hash, |
duke@435 | 651 | instanceKlassHandle k, Handle loader, |
duke@435 | 652 | bool defining, TRAPS); |
duke@435 | 653 | static void update_dictionary(int d_index, unsigned int d_hash, |
duke@435 | 654 | int p_index, unsigned int p_hash, |
duke@435 | 655 | instanceKlassHandle k, Handle loader, TRAPS); |
duke@435 | 656 | |
duke@435 | 657 | // Variables holding commonly used klasses (preloaded) |
jrose@567 | 658 | static klassOop _well_known_klasses[]; |
duke@435 | 659 | |
duke@435 | 660 | // Lazily loaded klasses |
duke@435 | 661 | static volatile klassOop _abstract_ownable_synchronizer_klass; |
duke@435 | 662 | |
jrose@567 | 663 | // table of box klasses (int_klass, etc.) |
duke@435 | 664 | static klassOop _box_klasses[T_VOID+1]; |
duke@435 | 665 | |
duke@435 | 666 | static oop _java_system_loader; |
duke@435 | 667 | |
duke@435 | 668 | static bool _has_loadClassInternal; |
duke@435 | 669 | static bool _has_checkPackageAccess; |
duke@435 | 670 | }; |
jrose@1100 | 671 | |
jrose@1100 | 672 | class SystemDictionaryHandles : AllStatic { |
jrose@1100 | 673 | public: |
jrose@1100 | 674 | #define WK_KLASS_HANDLE_DECLARE(name, ignore_symbol, option) \ |
jrose@1100 | 675 | static KlassHandle name() { \ |
jrose@1100 | 676 | SystemDictionary::name(); \ |
jrose@1100 | 677 | klassOop* loc = &SystemDictionary::_well_known_klasses[SystemDictionary::WK_KLASS_ENUM_NAME(name)]; \ |
jrose@1100 | 678 | return KlassHandle(loc, true); \ |
jrose@1100 | 679 | } |
jrose@1100 | 680 | WK_KLASSES_DO(WK_KLASS_HANDLE_DECLARE); |
jrose@1100 | 681 | #undef WK_KLASS_HANDLE_DECLARE |
jrose@1100 | 682 | |
jrose@1100 | 683 | static KlassHandle box_klass(BasicType t); |
jrose@1100 | 684 | }; |
stefank@2314 | 685 | |
stefank@2314 | 686 | #endif // SHARE_VM_CLASSFILE_SYSTEMDICTIONARY_HPP |