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