Mercurial > hg > graal-compiler
annotate src/share/vm/classfile/systemDictionary.hpp @ 18094:2993491d47df jdk8u25-b12
8051012: Regression in verifier for <init> method call from inside of a branch
Summary: Fix stackmap matching for branches.
Reviewed-by: coleenp, lfoltan, acorn
author | hseigel |
---|---|
date | Sat, 02 Aug 2014 16:28:59 -0400 |
parents | 9428a0b94204 |
children | 52b4284cb496 2c6ef90f030a 01dcaba9b3f3 |
rev | line source |
---|---|
0 | 1 /* |
17674
85318d1fe8fe
8027146: Class loading verification failure if GC occurs in Universe::flush_dependents_on
coleenp
parents:
13404
diff
changeset
|
2 * Copyright (c) 1997, 2014, 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" | |
6197 | 35 #include "utilities/hashtable.inline.hpp" |
1972 | 36 |
10405 | 37 |
0 | 38 // The system dictionary stores all loaded classes and maps: |
39 // | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
40 // [class name,class loader] -> class i.e. [Symbol*,oop] -> Klass* |
0 | 41 // |
42 // Classes are loaded lazily. The default VM class loader is | |
43 // represented as NULL. | |
44 | |
45 // The underlying data structure is an open hash table with a fixed number | |
46 // of buckets. During loading the loader object is locked, (for the VM loader | |
47 // a private lock object is used). Class loading can thus be done concurrently, | |
48 // but only by different loaders. | |
49 // | |
50 // During loading a placeholder (name, loader) is temporarily placed in | |
51 // a side data structure, and is used to detect ClassCircularityErrors | |
52 // and to perform verification during GC. A GC can occur in the midst | |
53 // of class loading, as we call out to Java, have to take locks, etc. | |
54 // | |
55 // When class loading is finished, a new entry is added to the system | |
56 // dictionary and the place holder is removed. Note that the protection | |
57 // domain field of the system dictionary has not yet been filled in when | |
58 // the "real" system dictionary entry is created. | |
59 // | |
60 // Clients of this class who are interested in finding if a class has | |
61 // been completely loaded -- not classes in the process of being loaded -- | |
62 // can read the SystemDictionary unlocked. This is safe because | |
63 // - entries are only deleted at safepoints | |
64 // - readers cannot come to a safepoint while actively examining | |
65 // an entry (an entry cannot be deleted from under a reader) | |
66 // - entries must be fully formed before they are available to concurrent | |
67 // readers (we must ensure write ordering) | |
68 // | |
69 // Note that placeholders are deleted at any time, as they are removed | |
70 // when a class is completely loaded. Therefore, readers as well as writers | |
71 // of placeholders must hold the SystemDictionary_lock. | |
72 // | |
73 | |
74 class Dictionary; | |
75 class PlaceholderTable; | |
76 class LoaderConstraintTable; | |
6197 | 77 template <MEMFLAGS F> class HashtableBucket; |
0 | 78 class ResolutionErrorTable; |
710 | 79 class SymbolPropertyTable; |
13400
86e6d691f2e1
8028128: Add a type safe alternative for working with counter based data
mgronlun
parents:
13385
diff
changeset
|
80 class Ticks; |
0 | 81 |
132
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
82 // 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
|
83 // 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
|
84 // to provide a different definition. |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
85 // |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
86 // 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
|
87 |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
88 #define WK_KLASS_ENUM_NAME(kname) kname##_knum |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
89 |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
90 // 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
|
91 // 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
|
92 // 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
|
93 // is preloaded, optional, release-specific, etc. |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
94 // 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
|
95 // preloading is actually performed by initialize_preloaded_classes. |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
96 |
6847
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
97 #define WK_KLASSES_DO(do_klass) \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
98 /* well-known classes */ \ |
6852 | 99 do_klass(Object_klass, java_lang_Object, Pre ) \ |
100 do_klass(String_klass, java_lang_String, Pre ) \ | |
101 do_klass(Class_klass, java_lang_Class, Pre ) \ | |
102 do_klass(Cloneable_klass, java_lang_Cloneable, Pre ) \ | |
103 do_klass(ClassLoader_klass, java_lang_ClassLoader, Pre ) \ | |
104 do_klass(Serializable_klass, java_io_Serializable, Pre ) \ | |
105 do_klass(System_klass, java_lang_System, Pre ) \ | |
106 do_klass(Throwable_klass, java_lang_Throwable, Pre ) \ | |
107 do_klass(Error_klass, java_lang_Error, Pre ) \ | |
108 do_klass(ThreadDeath_klass, java_lang_ThreadDeath, Pre ) \ | |
109 do_klass(Exception_klass, java_lang_Exception, Pre ) \ | |
110 do_klass(RuntimeException_klass, java_lang_RuntimeException, Pre ) \ | |
8866
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
8751
diff
changeset
|
111 do_klass(SecurityManager_klass, java_lang_SecurityManager, Pre ) \ |
6852 | 112 do_klass(ProtectionDomain_klass, java_security_ProtectionDomain, Pre ) \ |
113 do_klass(AccessControlContext_klass, java_security_AccessControlContext, Pre ) \ | |
114 do_klass(ClassNotFoundException_klass, java_lang_ClassNotFoundException, Pre ) \ | |
115 do_klass(NoClassDefFoundError_klass, java_lang_NoClassDefFoundError, Pre ) \ | |
116 do_klass(LinkageError_klass, java_lang_LinkageError, Pre ) \ | |
117 do_klass(ClassCastException_klass, java_lang_ClassCastException, Pre ) \ | |
118 do_klass(ArrayStoreException_klass, java_lang_ArrayStoreException, Pre ) \ | |
119 do_klass(VirtualMachineError_klass, java_lang_VirtualMachineError, Pre ) \ | |
120 do_klass(OutOfMemoryError_klass, java_lang_OutOfMemoryError, Pre ) \ | |
121 do_klass(StackOverflowError_klass, java_lang_StackOverflowError, Pre ) \ | |
122 do_klass(IllegalMonitorStateException_klass, java_lang_IllegalMonitorStateException, Pre ) \ | |
123 do_klass(Reference_klass, java_lang_ref_Reference, Pre ) \ | |
6847
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
124 \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
125 /* Preload ref klasses and set reference types */ \ |
6852 | 126 do_klass(SoftReference_klass, java_lang_ref_SoftReference, Pre ) \ |
127 do_klass(WeakReference_klass, java_lang_ref_WeakReference, Pre ) \ | |
6847
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
128 do_klass(FinalReference_klass, java_lang_ref_FinalReference, Pre ) \ |
6852 | 129 do_klass(PhantomReference_klass, java_lang_ref_PhantomReference, Pre ) \ |
6847
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
130 do_klass(Finalizer_klass, java_lang_ref_Finalizer, Pre ) \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
131 \ |
6852 | 132 do_klass(Thread_klass, java_lang_Thread, Pre ) \ |
133 do_klass(ThreadGroup_klass, java_lang_ThreadGroup, Pre ) \ | |
134 do_klass(Properties_klass, java_util_Properties, Pre ) \ | |
135 do_klass(reflect_AccessibleObject_klass, java_lang_reflect_AccessibleObject, Pre ) \ | |
136 do_klass(reflect_Field_klass, java_lang_reflect_Field, Pre ) \ | |
7462
ade95d680b42
8004728: Add hotspot support for parameter reflection
coleenp
parents:
7185
diff
changeset
|
137 do_klass(reflect_Parameter_klass, java_lang_reflect_Parameter, Opt ) \ |
6852 | 138 do_klass(reflect_Method_klass, java_lang_reflect_Method, Pre ) \ |
139 do_klass(reflect_Constructor_klass, java_lang_reflect_Constructor, Pre ) \ | |
6847
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
140 \ |
3938 | 141 /* NOTE: needed too early in bootstrapping process to have checks based on JDK version */ \ |
142 /* Universe::is_gte_jdk14x_version() is not set up by this point. */ \ | |
143 /* It's okay if this turns out to be NULL in non-1.4 JDKs. */ \ | |
6847
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
144 do_klass(reflect_MagicAccessorImpl_klass, sun_reflect_MagicAccessorImpl, Opt ) \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
145 do_klass(reflect_MethodAccessorImpl_klass, sun_reflect_MethodAccessorImpl, Opt_Only_JDK14NewRef) \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
146 do_klass(reflect_ConstructorAccessorImpl_klass, sun_reflect_ConstructorAccessorImpl, Opt_Only_JDK14NewRef) \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
147 do_klass(reflect_DelegatingClassLoader_klass, sun_reflect_DelegatingClassLoader, Opt ) \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
148 do_klass(reflect_ConstantPool_klass, sun_reflect_ConstantPool, Opt_Only_JDK15 ) \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
149 do_klass(reflect_UnsafeStaticFieldAccessorImpl_klass, sun_reflect_UnsafeStaticFieldAccessorImpl, Opt_Only_JDK15 ) \ |
8866
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
8751
diff
changeset
|
150 do_klass(reflect_CallerSensitive_klass, sun_reflect_CallerSensitive, Opt ) \ |
6847
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
151 \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
152 /* support for dynamic typing; it's OK if these are NULL in earlier JDKs */ \ |
12010
ca0165daa6ec
7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents:
10405
diff
changeset
|
153 do_klass(DirectMethodHandle_klass, java_lang_invoke_DirectMethodHandle, Opt ) \ |
6852 | 154 do_klass(MethodHandle_klass, java_lang_invoke_MethodHandle, Pre_JSR292 ) \ |
155 do_klass(MemberName_klass, java_lang_invoke_MemberName, Pre_JSR292 ) \ | |
156 do_klass(MethodHandleNatives_klass, java_lang_invoke_MethodHandleNatives, Pre_JSR292 ) \ | |
6847
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
157 do_klass(LambdaForm_klass, java_lang_invoke_LambdaForm, Opt ) \ |
6852 | 158 do_klass(MethodType_klass, java_lang_invoke_MethodType, Pre_JSR292 ) \ |
159 do_klass(BootstrapMethodError_klass, java_lang_BootstrapMethodError, Pre_JSR292 ) \ | |
160 do_klass(CallSite_klass, java_lang_invoke_CallSite, Pre_JSR292 ) \ | |
161 do_klass(ConstantCallSite_klass, java_lang_invoke_ConstantCallSite, Pre_JSR292 ) \ | |
162 do_klass(MutableCallSite_klass, java_lang_invoke_MutableCallSite, Pre_JSR292 ) \ | |
163 do_klass(VolatileCallSite_klass, java_lang_invoke_VolatileCallSite, Pre_JSR292 ) \ | |
6847
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
164 /* Note: MethodHandle must be first, and VolatileCallSite last in group */ \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
165 \ |
6852 | 166 do_klass(StringBuffer_klass, java_lang_StringBuffer, Pre ) \ |
167 do_klass(StringBuilder_klass, java_lang_StringBuilder, Pre ) \ | |
13403
9d15b81d5d1b
8016839: JSR292: AME instead of IAE when calling a method
drchase
parents:
13385
diff
changeset
|
168 do_klass(misc_Unsafe_klass, sun_misc_Unsafe, Pre ) \ |
6847
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
169 \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
170 /* It's NULL in non-1.4 JDKs. */ \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
171 do_klass(StackTraceElement_klass, java_lang_StackTraceElement, Opt ) \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
172 /* Universe::is_gte_jdk14x_version() is not set up by this point. */ \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
173 /* It's okay if this turns out to be NULL in non-1.4 JDKs. */ \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
174 do_klass(nio_Buffer_klass, java_nio_Buffer, Opt ) \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
175 \ |
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
176 /* Preload boxing klasses */ \ |
6852 | 177 do_klass(Boolean_klass, java_lang_Boolean, Pre ) \ |
178 do_klass(Character_klass, java_lang_Character, Pre ) \ | |
179 do_klass(Float_klass, java_lang_Float, Pre ) \ | |
180 do_klass(Double_klass, java_lang_Double, Pre ) \ | |
181 do_klass(Byte_klass, java_lang_Byte, Pre ) \ | |
182 do_klass(Short_klass, java_lang_Short, Pre ) \ | |
183 do_klass(Integer_klass, java_lang_Integer, Pre ) \ | |
184 do_klass(Long_klass, java_lang_Long, Pre ) \ | |
132
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
185 /*end*/ |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
186 |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
187 |
0 | 188 class SystemDictionary : AllStatic { |
189 friend class VMStructs; | |
665
c89f86385056
6814659: separable cleanups and subroutines for 6655638
jrose
parents:
579
diff
changeset
|
190 friend class SystemDictionaryHandles; |
0 | 191 |
192 public: | |
132
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
193 enum WKID { |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
194 NO_WKID = 0, |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
195 |
3938 | 196 #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
|
197 WK_KLASSES_DO(WK_KLASS_ENUM) |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
198 #undef WK_KLASS_ENUM |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
199 |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
200 WKID_LIMIT, |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
201 |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
202 FIRST_WKID = NO_WKID + 1 |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
203 }; |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
204 |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
205 enum InitOption { |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
206 Pre, // preloaded; error if not present |
6852 | 207 Pre_JSR292, // preloaded if EnableInvokeDynamic |
132
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
208 |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
209 // 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
|
210 // 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
|
211 |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
212 Opt, // preload tried; NULL if not present |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
213 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
|
214 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
|
215 OPTION_LIMIT, |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
216 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
|
217 }; |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
218 |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
219 |
0 | 220 // Returns a class with a given class name and class loader. Loads the |
221 // class if needed. If not found a NoClassDefFoundError or a | |
222 // ClassNotFoundException is thrown, depending on the value on the | |
223 // throw_error flag. For most uses the throw_error argument should be set | |
224 // to true. | |
225 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
226 static Klass* resolve_or_fail(Symbol* class_name, Handle class_loader, Handle protection_domain, bool throw_error, TRAPS); |
0 | 227 // Convenient call for null loader and protection domain. |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
228 static Klass* resolve_or_fail(Symbol* class_name, bool throw_error, TRAPS); |
0 | 229 private: |
230 // handle error translation for resolve_or_null results | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
231 static Klass* handle_resolution_exception(Symbol* class_name, Handle class_loader, Handle protection_domain, bool throw_error, KlassHandle klass_h, TRAPS); |
0 | 232 |
233 public: | |
234 | |
235 // Returns a class with a given class name and class loader. | |
236 // Loads the class if needed. If not found NULL is returned. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
237 static Klass* resolve_or_null(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS); |
0 | 238 // Version with null loader and protection domain |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
239 static Klass* resolve_or_null(Symbol* class_name, TRAPS); |
0 | 240 |
241 // Resolve a superclass or superinterface. Called from ClassFileParser, | |
242 // parse_interfaces, resolve_instance_class_or_null, load_shared_class | |
243 // "child_name" is the class whose super class or interface is being resolved. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
244 static Klass* resolve_super_or_fail(Symbol* child_name, |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
245 Symbol* class_name, |
0 | 246 Handle class_loader, |
247 Handle protection_domain, | |
248 bool is_superclass, | |
249 TRAPS); | |
250 | |
251 // Parse new stream. This won't update the system dictionary or | |
252 // class hierarchy, simply parse the stream. Used by JVMTI RedefineClasses. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
253 static Klass* parse_stream(Symbol* class_name, |
0 | 254 Handle class_loader, |
255 Handle protection_domain, | |
256 ClassFileStream* st, | |
431
a45484ea312d
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
196
diff
changeset
|
257 TRAPS) { |
a45484ea312d
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
196
diff
changeset
|
258 KlassHandle nullHandle; |
a45484ea312d
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
196
diff
changeset
|
259 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
|
260 } |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
261 static Klass* parse_stream(Symbol* class_name, |
431
a45484ea312d
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
196
diff
changeset
|
262 Handle class_loader, |
a45484ea312d
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
196
diff
changeset
|
263 Handle protection_domain, |
a45484ea312d
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
196
diff
changeset
|
264 ClassFileStream* st, |
a45484ea312d
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
196
diff
changeset
|
265 KlassHandle host_klass, |
a45484ea312d
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
196
diff
changeset
|
266 GrowableArray<Handle>* cp_patches, |
0 | 267 TRAPS); |
268 | |
269 // Resolve from stream (called by jni_DefineClass and JVM_DefineClass) | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
270 static Klass* resolve_from_stream(Symbol* class_name, Handle class_loader, |
973
ad6585fd4087
6830542: Performance: JVM_DefineClass already verified.
acorn
parents:
726
diff
changeset
|
271 Handle protection_domain, |
ad6585fd4087
6830542: Performance: JVM_DefineClass already verified.
acorn
parents:
726
diff
changeset
|
272 ClassFileStream* st, bool verify, TRAPS); |
0 | 273 |
274 // Lookup an already loaded class. If not found NULL is returned. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
275 static Klass* find(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS); |
0 | 276 |
277 // Lookup an already loaded instance or array class. | |
278 // Do not make any queries to class loaders; consult only the cache. | |
279 // If not found NULL is returned. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
280 static Klass* find_instance_or_array_klass(Symbol* class_name, |
0 | 281 Handle class_loader, |
282 Handle protection_domain, | |
283 TRAPS); | |
284 | |
285 // Lookup an instance or array class that has already been loaded | |
286 // either into the given class loader, or else into another class | |
287 // loader that is constrained (via loader constraints) to produce | |
288 // a consistent class. Do not take protection domains into account. | |
289 // Do not make any queries to class loaders; consult only the cache. | |
290 // Return NULL if the class is not found. | |
291 // | |
292 // This function is a strict superset of find_instance_or_array_klass. | |
293 // This function (the unchecked version) makes a conservative prediction | |
294 // of the result of the checked version, assuming successful lookup. | |
295 // If both functions return non-null, they must return the same value. | |
296 // Also, the unchecked version may sometimes be non-null where the | |
297 // checked version is null. This can occur in several ways: | |
298 // 1. No query has yet been made to the class loader. | |
299 // 2. The class loader was queried, but chose not to delegate. | |
300 // 3. ClassLoader.checkPackageAccess rejected a proposed protection domain. | |
301 // 4. Loading was attempted, but there was a linkage error of some sort. | |
302 // In all of these cases, the loader constraints on this type are | |
303 // satisfied, and it is safe for classes in the given class loader | |
304 // to manipulate strongly-typed values of the found class, subject | |
305 // to local linkage and access checks. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
306 static Klass* find_constrained_instance_or_array_klass(Symbol* class_name, |
0 | 307 Handle class_loader, |
308 TRAPS); | |
309 | |
310 // Iterate over all klasses in dictionary | |
311 // Just the classes from defining class loaders | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
312 static void classes_do(void f(Klass*)); |
0 | 313 // Added for initialize_itable_for_klass to handle exceptions |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
314 static void classes_do(void f(Klass*, TRAPS), TRAPS); |
0 | 315 // All classes, and their class loaders |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
316 static void classes_do(void f(Klass*, ClassLoaderData*)); |
10268
43083e670adf
8005056: NPG: Crash after redefining java.lang.Object
coleenp
parents:
8880
diff
changeset
|
317 |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
318 static void placeholders_do(void f(Symbol*)); |
0 | 319 |
320 // Iterate over all methods in all klasses in dictionary | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
321 static void methods_do(void f(Method*)); |
0 | 322 |
323 // Garbage collection support | |
324 | |
325 // This method applies "blk->do_oop" to all the pointers to "system" | |
326 // classes and loaders. | |
327 static void always_strong_oops_do(OopClosure* blk); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
328 static void always_strong_classes_do(KlassClosure* closure); |
0 | 329 |
330 // Unload (that is, break root links to) all unmarked classes and | |
331 // loaders. Returns "true" iff something was unloaded. | |
332 static bool do_unloading(BoolObjectClosure* is_alive); | |
333 | |
4864
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
3938
diff
changeset
|
334 static int calculate_systemdictionary_size(int loadedclasses); |
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
3938
diff
changeset
|
335 |
0 | 336 // Applies "f->do_oop" to all root oops in the system dictionary. |
337 static void oops_do(OopClosure* f); | |
338 | |
339 // System loader lock | |
340 static oop system_loader_lock() { return _system_loader_lock_obj; } | |
341 | |
342 private: | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
343 // Extended Redefine classes support (tbi) |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
344 static void preloaded_classes_do(KlassClosure* f); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
345 static void lazily_loaded_classes_do(KlassClosure* f); |
0 | 346 public: |
347 // Sharing support. | |
348 static void reorder_dictionary(); | |
349 static void copy_buckets(char** top, char* end); | |
350 static void copy_table(char** top, char* end); | |
351 static void reverse(); | |
6197 | 352 static void set_shared_dictionary(HashtableBucket<mtClass>* t, int length, |
0 | 353 int number_of_entries); |
354 // Printing | |
355 static void print() PRODUCT_RETURN; | |
356 static void print_class_statistics() PRODUCT_RETURN; | |
357 static void print_method_statistics() PRODUCT_RETURN; | |
358 | |
359 // Number of contained klasses | |
360 // This is both fully loaded classes and classes in the process | |
361 // of being loaded | |
362 static int number_of_classes(); | |
363 | |
364 // Monotonically increasing counter which grows as classes are | |
365 // loaded or modifications such as hot-swapping or setting/removing | |
366 // of breakpoints are performed | |
367 static inline int number_of_modifications() { assert_locked_or_safepoint(Compile_lock); return _number_of_modifications; } | |
368 // Needed by evolution and breakpoint code | |
369 static inline void notice_modification() { assert_locked_or_safepoint(Compile_lock); ++_number_of_modifications; } | |
370 | |
371 // Verification | |
372 static void verify(); | |
373 | |
374 #ifdef ASSERT | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
375 static bool is_internal_format(Symbol* class_name); |
0 | 376 #endif |
377 | |
378 // Initialization | |
379 static void initialize(TRAPS); | |
380 | |
381 // Fast access to commonly used classes (preloaded) | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
382 static Klass* check_klass(Klass* k) { |
0 | 383 assert(k != NULL, "preloaded klass not initialized"); |
384 return k; | |
385 } | |
386 | |
6847
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
387 static Klass* check_klass_Pre( Klass* k) { return check_klass(k); } |
6852 | 388 static Klass* check_klass_Pre_JSR292(Klass* k) { return EnableInvokeDynamic ? check_klass(k) : k; } |
6847
65d07d9ee446
8000263: JSR 292: signature types may appear to be unloaded
twisti
parents:
6822
diff
changeset
|
389 static Klass* check_klass_Opt( Klass* k) { return k; } |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
390 static Klass* check_klass_Opt_Only_JDK15(Klass* k) { |
132
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
391 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
|
392 return k; |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
393 } |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
394 static Klass* check_klass_Opt_Only_JDK14NewRef(Klass* k) { |
0 | 395 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
|
396 // 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
|
397 return check_klass(k); |
0 | 398 } |
399 | |
132
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
400 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
|
401 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
|
402 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
|
403 int limit = (int)end_id + 1; |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
404 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
|
405 } |
0 | 406 |
132
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
407 public: |
3938 | 408 #define WK_KLASS_DECLARE(name, symbol, option) \ |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
409 static Klass* name() { return check_klass_##option(_well_known_klasses[WK_KLASS_ENUM_NAME(name)]); } \ |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
410 static Klass** name##_addr() { \ |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
411 return &SystemDictionary::_well_known_klasses[SystemDictionary::WK_KLASS_ENUM_NAME(name)]; \ |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
412 } |
132
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
413 WK_KLASSES_DO(WK_KLASS_DECLARE); |
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
414 #undef WK_KLASS_DECLARE |
0 | 415 |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
416 static Klass* well_known_klass(WKID id) { |
3938 | 417 assert(id >= (int)FIRST_WKID && id < (int)WKID_LIMIT, "oob"); |
418 return _well_known_klasses[id]; | |
419 } | |
420 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
421 static Klass** well_known_klass_addr(WKID id) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
422 assert(id >= (int)FIRST_WKID && id < (int)WKID_LIMIT, "oob"); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
423 return &_well_known_klasses[id]; |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
424 } |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
425 |
132
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
426 // Local definition for direct access to the private array: |
147 | 427 #define WK_KLASS(name) _well_known_klasses[SystemDictionary::WK_KLASS_ENUM_NAME(name)] |
0 | 428 |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
429 static Klass* box_klass(BasicType t) { |
0 | 430 assert((uint)t < T_VOID+1, "range check"); |
431 return check_klass(_box_klasses[t]); | |
432 } | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
433 static BasicType box_klass_type(Klass* k); // inverse of box_klass |
0 | 434 |
435 // methods returning lazily loaded klasses | |
436 // The corresponding method to load the class must be called before calling them. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
437 static Klass* abstract_ownable_synchronizer_klass() { return check_klass(_abstract_ownable_synchronizer_klass); } |
0 | 438 |
439 static void load_abstract_ownable_synchronizer_klass(TRAPS); | |
440 | |
441 private: | |
442 // Tells whether ClassLoader.loadClassInternal is present | |
443 static bool has_loadClassInternal() { return _has_loadClassInternal; } | |
444 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
445 // Returns the class loader data to be used when looking up/updating the |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
446 // system dictionary. |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
447 static ClassLoaderData *class_loader_data(Handle class_loader) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
448 return ClassLoaderData::class_loader_data(class_loader()); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
449 } |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
450 |
0 | 451 public: |
452 // Tells whether ClassLoader.checkPackageAccess is present | |
453 static bool has_checkPackageAccess() { return _has_checkPackageAccess; } | |
454 | |
7462
ade95d680b42
8004728: Add hotspot support for parameter reflection
coleenp
parents:
7185
diff
changeset
|
455 static bool Parameter_klass_loaded() { return WK_KLASS(reflect_Parameter_klass) != NULL; } |
1142 | 456 static bool Class_klass_loaded() { return WK_KLASS(Class_klass) != NULL; } |
457 static bool Cloneable_klass_loaded() { return WK_KLASS(Cloneable_klass) != NULL; } | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
458 static bool Object_klass_loaded() { return WK_KLASS(Object_klass) != NULL; } |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
459 static bool ClassLoader_klass_loaded() { return WK_KLASS(ClassLoader_klass) != NULL; } |
0 | 460 |
461 // Returns default system loader | |
462 static oop java_system_loader(); | |
463 | |
464 // Compute the default system loader | |
465 static void compute_java_system_loader(TRAPS); | |
466 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
467 // Register a new class loader |
7185
90273fc0a981
8000662: NPG: nashorn ant clean test262 out-of-memory with Java heap
coleenp
parents:
6934
diff
changeset
|
468 static ClassLoaderData* register_loader(Handle class_loader, TRAPS); |
0 | 469 private: |
470 // Mirrors for primitive classes (created eagerly) | |
471 static oop check_mirror(oop m) { | |
472 assert(m != NULL, "mirror not initialized"); | |
473 return m; | |
474 } | |
475 | |
476 public: | |
477 // Note: java_lang_Class::primitive_type is the inverse of java_mirror | |
478 | |
479 // Check class loader constraints | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
480 static bool add_loader_constraint(Symbol* name, Handle loader1, |
0 | 481 Handle loader2, TRAPS); |
8840
cd3089a56438
8009731: Confusing error message for loader constraint violation
acorn
parents:
8751
diff
changeset
|
482 static Symbol* check_signature_loaders(Symbol* signature, Handle loader1, |
cd3089a56438
8009731: Confusing error message for loader constraint violation
acorn
parents:
8751
diff
changeset
|
483 Handle loader2, bool is_method, TRAPS); |
0 | 484 |
710 | 485 // JSR 292 |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
486 // find a java.lang.invoke.MethodHandle.invoke* method for a given signature |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
487 // (asks Java to compute it if necessary, except in a compiler thread) |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
488 static methodHandle find_method_handle_invoker(Symbol* name, |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
489 Symbol* signature, |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
490 KlassHandle accessing_klass, |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
491 Handle *appendix_result, |
6822
f6b0eb4e44cf
7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents:
6725
diff
changeset
|
492 Handle *method_type_result, |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
493 TRAPS); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
494 // for a given signature, find the internal MethodHandle method (linkTo* or invokeBasic) |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
495 // (does not ask Java, since this is a low-level intrinsic defined by the JVM) |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
496 static methodHandle find_method_handle_intrinsic(vmIntrinsics::ID iid, |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
497 Symbol* signature, |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
498 TRAPS); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
499 // find a java.lang.invoke.MethodType object for a given signature |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
500 // (asks Java to compute it if necessary, except in a compiler thread) |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
501 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
|
502 KlassHandle accessing_klass, |
1507
cd5dbf694d45
6939134: JSR 292 adjustments to method handle invocation
jrose
parents:
1152
diff
changeset
|
503 TRAPS); |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
504 |
2357
8033953d67ff
7012648: move JSR 292 to package java.lang.invoke and adjust names
jrose
parents:
2356
diff
changeset
|
505 // ask Java to compute a java.lang.invoke.MethodHandle object for a given CP entry |
1602 | 506 static Handle link_method_handle_constant(KlassHandle caller, |
507 int ref_kind, //e.g., JVM_REF_invokeVirtual | |
508 KlassHandle callee, | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
509 Symbol* name, |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
510 Symbol* signature, |
1602 | 511 TRAPS); |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
512 |
726
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
710
diff
changeset
|
513 // ask Java to create a dynamic call site, while linking an invokedynamic op |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
514 static methodHandle find_dynamic_call_site_invoker(KlassHandle caller, |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
515 Handle bootstrap_method, |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
516 Symbol* name, |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
517 Symbol* type, |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
518 Handle *appendix_result, |
6822
f6b0eb4e44cf
7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents:
6725
diff
changeset
|
519 Handle *method_type_result, |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
520 TRAPS); |
726
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
710
diff
changeset
|
521 |
0 | 522 // Utility for printing loader "name" as part of tracing constraints |
523 static const char* loader_name(oop loader) { | |
524 return ((loader) == NULL ? "<bootloader>" : | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
525 InstanceKlass::cast((loader)->klass())->name()->as_C_string() ); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
526 } |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
527 static const char* loader_name(ClassLoaderData* loader_data) { |
7185
90273fc0a981
8000662: NPG: nashorn ant clean test262 out-of-memory with Java heap
coleenp
parents:
6934
diff
changeset
|
528 return (loader_data->class_loader() == NULL ? "<bootloader>" : |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
529 InstanceKlass::cast((loader_data->class_loader())->klass())->name()->as_C_string() ); |
0 | 530 } |
531 | |
532 // Record the error when the first attempt to resolve a reference from a constant | |
533 // pool entry to a class fails. | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
534 static void add_resolution_error(constantPoolHandle pool, int which, Symbol* error); |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
535 static void delete_resolution_error(ConstantPool* pool); |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
536 static Symbol* find_resolution_error(constantPoolHandle pool, int which); |
0 | 537 |
538 private: | |
539 | |
540 enum Constants { | |
541 _loader_constraint_size = 107, // number of entries in constraint table | |
542 _resolution_error_size = 107, // number of entries in resolution error table | |
710 | 543 _invoke_method_size = 139, // number of entries in invoke method table |
4864
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
3938
diff
changeset
|
544 _nof_buckets = 1009, // number of buckets in hash table for placeholders |
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
3938
diff
changeset
|
545 _old_default_sdsize = 1009, // backward compat for system dictionary size |
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
3938
diff
changeset
|
546 _prime_array_size = 8, // array of primes for system dictionary size |
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
3938
diff
changeset
|
547 _average_depth_goal = 3 // goal for lookup length |
0 | 548 }; |
549 | |
550 | |
551 // Static variables | |
552 | |
4864
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
3938
diff
changeset
|
553 // hashtable sizes for system dictionary to allow growth |
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
3938
diff
changeset
|
554 // prime numbers for system dictionary size |
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
3938
diff
changeset
|
555 static int _sdgeneration; |
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
3938
diff
changeset
|
556 static const int _primelist[_prime_array_size]; |
b2cd0ee8f778
7114376: Make system dictionary hashtable bucket array size configurable
acorn
parents:
3938
diff
changeset
|
557 |
0 | 558 // Hashtable holding loaded classes. |
559 static Dictionary* _dictionary; | |
560 | |
561 // Hashtable holding placeholders for classes being loaded. | |
562 static PlaceholderTable* _placeholders; | |
563 | |
564 // Hashtable holding classes from the shared archive. | |
565 static Dictionary* _shared_dictionary; | |
566 | |
567 // Monotonically increasing counter which grows with | |
568 // _number_of_classes as well as hot-swapping and breakpoint setting | |
569 // and removal. | |
570 static int _number_of_modifications; | |
571 | |
572 // Lock object for system class loader | |
573 static oop _system_loader_lock_obj; | |
574 | |
575 // Constraints on class loaders | |
576 static LoaderConstraintTable* _loader_constraints; | |
577 | |
578 // Resolution errors | |
579 static ResolutionErrorTable* _resolution_errors; | |
580 | |
710 | 581 // Invoke methods (JSR 292) |
582 static SymbolPropertyTable* _invoke_method_table; | |
583 | |
0 | 584 public: |
585 // for VM_CounterDecay iteration support | |
586 friend class CounterDecay; | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
587 static Klass* try_get_next_class(); |
0 | 588 |
589 private: | |
590 static void validate_protection_domain(instanceKlassHandle klass, | |
591 Handle class_loader, | |
592 Handle protection_domain, TRAPS); | |
593 | |
594 friend class VM_PopulateDumpSharedSpace; | |
595 friend class TraversePlaceholdersClosure; | |
596 static Dictionary* dictionary() { return _dictionary; } | |
597 static Dictionary* shared_dictionary() { return _shared_dictionary; } | |
598 static PlaceholderTable* placeholders() { return _placeholders; } | |
599 static LoaderConstraintTable* constraints() { return _loader_constraints; } | |
600 static ResolutionErrorTable* resolution_errors() { return _resolution_errors; } | |
710 | 601 static SymbolPropertyTable* invoke_method_table() { return _invoke_method_table; } |
0 | 602 |
603 // Basic loading operations | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
604 static Klass* resolve_instance_class_or_null(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
605 static Klass* resolve_array_class_or_null(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS); |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
606 static instanceKlassHandle handle_parallel_super_load(Symbol* class_name, Symbol* supername, Handle class_loader, Handle protection_domain, Handle lockObject, TRAPS); |
0 | 607 // Wait on SystemDictionary_lock; unlocks lockObject before |
608 // waiting; relocks lockObject with correct recursion count | |
609 // after waiting, but before reentering SystemDictionary_lock | |
610 // to preserve lock order semantics. | |
611 static void double_lock_wait(Handle lockObject, TRAPS); | |
612 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
|
613 static instanceKlassHandle find_or_define_instance_class(Symbol* class_name, |
0 | 614 Handle class_loader, |
615 instanceKlassHandle k, TRAPS); | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
616 static instanceKlassHandle load_shared_class(Symbol* class_name, |
0 | 617 Handle class_loader, TRAPS); |
618 static instanceKlassHandle load_shared_class(instanceKlassHandle ik, | |
619 Handle class_loader, TRAPS); | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
620 static instanceKlassHandle load_instance_class(Symbol* class_name, Handle class_loader, TRAPS); |
0 | 621 static Handle compute_loader_lock_object(Handle class_loader, TRAPS); |
622 static void check_loader_lock_contention(Handle loader_lock, TRAPS); | |
514 | 623 static bool is_parallelCapable(Handle class_loader); |
1075
a75edfd400ea
6893504: LinkageError for bootstrap duplicate class definitions.
acorn
parents:
973
diff
changeset
|
624 static bool is_parallelDefine(Handle class_loader); |
0 | 625 |
8866
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
8751
diff
changeset
|
626 public: |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
8751
diff
changeset
|
627 static bool is_ext_class_loader(Handle class_loader); |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
8751
diff
changeset
|
628 |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
8751
diff
changeset
|
629 private: |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
630 static Klass* find_shared_class(Symbol* class_name); |
0 | 631 |
632 // Setup link to hierarchy | |
633 static void add_to_hierarchy(instanceKlassHandle k, TRAPS); | |
634 | |
10405 | 635 // event based tracing |
13400
86e6d691f2e1
8028128: Add a type safe alternative for working with counter based data
mgronlun
parents:
13385
diff
changeset
|
636 static void post_class_load_event(const Ticks& start_time, instanceKlassHandle k, |
10405 | 637 Handle initiating_loader); |
0 | 638 // We pass in the hashtable index so we can calculate it outside of |
639 // the SystemDictionary_lock. | |
640 | |
641 // Basic find on loaded classes | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
642 static Klass* find_class(int index, unsigned int hash, |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
643 Symbol* name, ClassLoaderData* loader_data); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
644 static Klass* find_class(Symbol* class_name, ClassLoaderData* loader_data); |
0 | 645 |
646 // Basic find on classes in the midst of being loaded | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
647 static Symbol* find_placeholder(Symbol* name, ClassLoaderData* loader_data); |
0 | 648 |
649 // Updating entry in dictionary | |
650 // Add a completely loaded class | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
651 static void add_klass(int index, Symbol* class_name, |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
652 ClassLoaderData* loader_data, KlassHandle obj); |
0 | 653 |
654 // Add a placeholder for a class being loaded | |
655 static void add_placeholder(int index, | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
656 Symbol* class_name, |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
657 ClassLoaderData* loader_data); |
0 | 658 static void remove_placeholder(int index, |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
659 Symbol* class_name, |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
660 ClassLoaderData* loader_data); |
0 | 661 |
662 // Performs cleanups after resolve_super_or_fail. This typically needs | |
663 // to be called on failure. | |
664 // Won't throw, but can block. | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2129
diff
changeset
|
665 static void resolution_cleanups(Symbol* class_name, |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
666 ClassLoaderData* loader_data, |
0 | 667 TRAPS); |
668 | |
669 // Initialization | |
670 static void initialize_preloaded_classes(TRAPS); | |
671 | |
672 // Class loader constraints | |
673 static void check_constraints(int index, unsigned int hash, | |
674 instanceKlassHandle k, Handle loader, | |
675 bool defining, TRAPS); | |
676 static void update_dictionary(int d_index, unsigned int d_hash, | |
677 int p_index, unsigned int p_hash, | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
678 instanceKlassHandle k, Handle loader, |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
679 TRAPS); |
0 | 680 |
681 // Variables holding commonly used klasses (preloaded) | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
682 static Klass* _well_known_klasses[]; |
0 | 683 |
684 // Lazily loaded klasses | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
685 static Klass* volatile _abstract_ownable_synchronizer_klass; |
0 | 686 |
132
60b728ec77c1
6652736: well known classes in system dictionary are inefficiently processed
jrose
parents:
0
diff
changeset
|
687 // table of box klasses (int_klass, etc.) |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
688 static Klass* _box_klasses[T_VOID+1]; |
0 | 689 |
690 static oop _java_system_loader; | |
691 | |
692 static bool _has_loadClassInternal; | |
693 static bool _has_checkPackageAccess; | |
694 }; | |
665
c89f86385056
6814659: separable cleanups and subroutines for 6655638
jrose
parents:
579
diff
changeset
|
695 |
1972 | 696 #endif // SHARE_VM_CLASSFILE_SYSTEMDICTIONARY_HPP |