systemDictionary.hpp 39.6 KB
Newer Older
D
duke 已提交
1
/*
K
kbarrett 已提交
2
 * Copyright (c) 1997, 2018, Oracle and/or its affiliates. All rights reserved.
D
duke 已提交
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
19 20 21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
D
duke 已提交
22 23 24
 *
 */

25 26 27 28 29 30
#ifndef SHARE_VM_CLASSFILE_SYSTEMDICTIONARY_HPP
#define SHARE_VM_CLASSFILE_SYSTEMDICTIONARY_HPP

#include "classfile/classFileStream.hpp"
#include "classfile/classLoader.hpp"
#include "oops/objArrayOop.hpp"
31
#include "oops/symbol.hpp"
32 33 34
#include "runtime/java.hpp"
#include "runtime/reflectionUtils.hpp"
#include "utilities/hashtable.hpp"
Z
zgu 已提交
35
#include "utilities/hashtable.inline.hpp"
36

S
sla 已提交
37

D
duke 已提交
38 39
// The system dictionary stores all loaded classes and maps:
//
40
//   [class name,class loader] -> class   i.e.  [Symbol*,oop] -> Klass*
D
duke 已提交
41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76
//
// Classes are loaded lazily. The default VM class loader is
// represented as NULL.

// The underlying data structure is an open hash table with a fixed number
// of buckets. During loading the loader object is locked, (for the VM loader
// a private lock object is used). Class loading can thus be done concurrently,
// but only by different loaders.
//
// During loading a placeholder (name, loader) is temporarily placed in
// a side data structure, and is used to detect ClassCircularityErrors
// and to perform verification during GC.  A GC can occur in the midst
// of class loading, as we call out to Java, have to take locks, etc.
//
// When class loading is finished, a new entry is added to the system
// dictionary and the place holder is removed. Note that the protection
// domain field of the system dictionary has not yet been filled in when
// the "real" system dictionary entry is created.
//
// Clients of this class who are interested in finding if a class has
// been completely loaded -- not classes in the process of being loaded --
// can read the SystemDictionary unlocked. This is safe because
//    - entries are only deleted at safepoints
//    - readers cannot come to a safepoint while actively examining
//         an entry  (an entry cannot be deleted from under a reader)
//    - entries must be fully formed before they are available to concurrent
//         readers (we must ensure write ordering)
//
// Note that placeholders are deleted at any time, as they are removed
// when a class is completely loaded. Therefore, readers as well as writers
// of placeholders must hold the SystemDictionary_lock.
//

class Dictionary;
class PlaceholderTable;
class LoaderConstraintTable;
Z
zgu 已提交
77
template <MEMFLAGS F> class HashtableBucket;
D
duke 已提交
78
class ResolutionErrorTable;
79
class SymbolPropertyTable;
80
class Ticks;
D
duke 已提交
81

82 83 84 85 86 87 88 89 90 91 92 93 94 95 96
// Certain classes are preloaded, such as java.lang.Object and java.lang.String.
// They are all "well-known", in the sense that no class loader is allowed
// to provide a different definition.
//
// These klasses must all have names defined in vmSymbols.

#define WK_KLASS_ENUM_NAME(kname)    kname##_knum

// Each well-known class has a short klass name (like object_klass),
// a vmSymbol name (like java_lang_Object), and a flag word
// that makes some minor distinctions, like whether the klass
// is preloaded, optional, release-specific, etc.
// The order of these definitions is significant; it is the order in which
// preloading is actually performed by initialize_preloaded_classes.

97 98
#define WK_KLASSES_DO(do_klass)                                                                                          \
  /* well-known classes */                                                                                               \
T
twisti 已提交
99 100 101 102 103 104 105 106 107 108 109 110
  do_klass(Object_klass,                                java_lang_Object,                          Pre                 ) \
  do_klass(String_klass,                                java_lang_String,                          Pre                 ) \
  do_klass(Class_klass,                                 java_lang_Class,                           Pre                 ) \
  do_klass(Cloneable_klass,                             java_lang_Cloneable,                       Pre                 ) \
  do_klass(ClassLoader_klass,                           java_lang_ClassLoader,                     Pre                 ) \
  do_klass(Serializable_klass,                          java_io_Serializable,                      Pre                 ) \
  do_klass(System_klass,                                java_lang_System,                          Pre                 ) \
  do_klass(Throwable_klass,                             java_lang_Throwable,                       Pre                 ) \
  do_klass(Error_klass,                                 java_lang_Error,                           Pre                 ) \
  do_klass(ThreadDeath_klass,                           java_lang_ThreadDeath,                     Pre                 ) \
  do_klass(Exception_klass,                             java_lang_Exception,                       Pre                 ) \
  do_klass(RuntimeException_klass,                      java_lang_RuntimeException,                Pre                 ) \
111
  do_klass(SecurityManager_klass,                       java_lang_SecurityManager,                 Pre                 ) \
T
twisti 已提交
112 113
  do_klass(ProtectionDomain_klass,                      java_security_ProtectionDomain,            Pre                 ) \
  do_klass(AccessControlContext_klass,                  java_security_AccessControlContext,        Pre                 ) \
114
  do_klass(SecureClassLoader_klass,                     java_security_SecureClassLoader,           Pre                 ) \
T
twisti 已提交
115 116 117 118 119 120 121 122 123 124
  do_klass(ClassNotFoundException_klass,                java_lang_ClassNotFoundException,          Pre                 ) \
  do_klass(NoClassDefFoundError_klass,                  java_lang_NoClassDefFoundError,            Pre                 ) \
  do_klass(LinkageError_klass,                          java_lang_LinkageError,                    Pre                 ) \
  do_klass(ClassCastException_klass,                    java_lang_ClassCastException,              Pre                 ) \
  do_klass(ArrayStoreException_klass,                   java_lang_ArrayStoreException,             Pre                 ) \
  do_klass(VirtualMachineError_klass,                   java_lang_VirtualMachineError,             Pre                 ) \
  do_klass(OutOfMemoryError_klass,                      java_lang_OutOfMemoryError,                Pre                 ) \
  do_klass(StackOverflowError_klass,                    java_lang_StackOverflowError,              Pre                 ) \
  do_klass(IllegalMonitorStateException_klass,          java_lang_IllegalMonitorStateException,    Pre                 ) \
  do_klass(Reference_klass,                             java_lang_ref_Reference,                   Pre                 ) \
125 126
                                                                                                                         \
  /* Preload ref klasses and set reference types */                                                                      \
T
twisti 已提交
127 128
  do_klass(SoftReference_klass,                         java_lang_ref_SoftReference,               Pre                 ) \
  do_klass(WeakReference_klass,                         java_lang_ref_WeakReference,               Pre                 ) \
129
  do_klass(FinalReference_klass,                        java_lang_ref_FinalReference,              Pre                 ) \
T
twisti 已提交
130
  do_klass(PhantomReference_klass,                      java_lang_ref_PhantomReference,            Pre                 ) \
131
  do_klass(Cleaner_klass,                               sun_misc_Cleaner,                          Pre                 ) \
132
  do_klass(Finalizer_klass,                             java_lang_ref_Finalizer,                   Pre                 ) \
K
kbarrett 已提交
133
  do_klass(ReferenceQueue_klass,                        java_lang_ref_ReferenceQueue,              Pre                 ) \
134
                                                                                                                         \
T
twisti 已提交
135 136 137 138 139
  do_klass(Thread_klass,                                java_lang_Thread,                          Pre                 ) \
  do_klass(ThreadGroup_klass,                           java_lang_ThreadGroup,                     Pre                 ) \
  do_klass(Properties_klass,                            java_util_Properties,                      Pre                 ) \
  do_klass(reflect_AccessibleObject_klass,              java_lang_reflect_AccessibleObject,        Pre                 ) \
  do_klass(reflect_Field_klass,                         java_lang_reflect_Field,                   Pre                 ) \
140
  do_klass(reflect_Parameter_klass,                     java_lang_reflect_Parameter,               Opt                 ) \
T
twisti 已提交
141 142
  do_klass(reflect_Method_klass,                        java_lang_reflect_Method,                  Pre                 ) \
  do_klass(reflect_Constructor_klass,                   java_lang_reflect_Constructor,             Pre                 ) \
143
                                                                                                                         \
144 145 146
  /* NOTE: needed too early in bootstrapping process to have checks based on JDK version */                              \
  /* Universe::is_gte_jdk14x_version() is not set up by this point. */                                                   \
  /* It's okay if this turns out to be NULL in non-1.4 JDKs. */                                                          \
147 148 149 150 151 152
  do_klass(reflect_MagicAccessorImpl_klass,             sun_reflect_MagicAccessorImpl,             Opt                 ) \
  do_klass(reflect_MethodAccessorImpl_klass,            sun_reflect_MethodAccessorImpl,            Opt_Only_JDK14NewRef) \
  do_klass(reflect_ConstructorAccessorImpl_klass,       sun_reflect_ConstructorAccessorImpl,       Opt_Only_JDK14NewRef) \
  do_klass(reflect_DelegatingClassLoader_klass,         sun_reflect_DelegatingClassLoader,         Opt                 ) \
  do_klass(reflect_ConstantPool_klass,                  sun_reflect_ConstantPool,                  Opt_Only_JDK15      ) \
  do_klass(reflect_UnsafeStaticFieldAccessorImpl_klass, sun_reflect_UnsafeStaticFieldAccessorImpl, Opt_Only_JDK15      ) \
153
  do_klass(reflect_CallerSensitive_klass,               sun_reflect_CallerSensitive,               Opt                 ) \
154 155
                                                                                                                         \
  /* support for dynamic typing; it's OK if these are NULL in earlier JDKs */                                            \
156
  do_klass(DirectMethodHandle_klass,                    java_lang_invoke_DirectMethodHandle,       Opt                 ) \
T
twisti 已提交
157 158 159
  do_klass(MethodHandle_klass,                          java_lang_invoke_MethodHandle,             Pre_JSR292          ) \
  do_klass(MemberName_klass,                            java_lang_invoke_MemberName,               Pre_JSR292          ) \
  do_klass(MethodHandleNatives_klass,                   java_lang_invoke_MethodHandleNatives,      Pre_JSR292          ) \
160
  do_klass(LambdaForm_klass,                            java_lang_invoke_LambdaForm,               Opt                 ) \
T
twisti 已提交
161 162 163 164 165 166
  do_klass(MethodType_klass,                            java_lang_invoke_MethodType,               Pre_JSR292          ) \
  do_klass(BootstrapMethodError_klass,                  java_lang_BootstrapMethodError,            Pre_JSR292          ) \
  do_klass(CallSite_klass,                              java_lang_invoke_CallSite,                 Pre_JSR292          ) \
  do_klass(ConstantCallSite_klass,                      java_lang_invoke_ConstantCallSite,         Pre_JSR292          ) \
  do_klass(MutableCallSite_klass,                       java_lang_invoke_MutableCallSite,          Pre_JSR292          ) \
  do_klass(VolatileCallSite_klass,                      java_lang_invoke_VolatileCallSite,         Pre_JSR292          ) \
167 168
  /* Note: MethodHandle must be first, and VolatileCallSite last in group */                                             \
                                                                                                                         \
T
twisti 已提交
169 170
  do_klass(StringBuffer_klass,                          java_lang_StringBuffer,                    Pre                 ) \
  do_klass(StringBuilder_klass,                         java_lang_StringBuilder,                   Pre                 ) \
171
  do_klass(misc_Unsafe_klass,                           sun_misc_Unsafe,                           Pre                 ) \
172
                                                                                                                         \
173 174 175 176 177 178 179
  /* support for CDS */                                                                                                  \
  do_klass(ByteArrayInputStream_klass,                  java_io_ByteArrayInputStream,              Pre                 ) \
  do_klass(File_klass,                                  java_io_File,                              Pre                 ) \
  do_klass(URLClassLoader_klass,                        java_net_URLClassLoader,                   Pre                 ) \
  do_klass(URL_klass,                                   java_net_URL,                              Pre                 ) \
  do_klass(Jar_Manifest_klass,                          java_util_jar_Manifest,                    Pre                 ) \
  do_klass(sun_misc_Launcher_klass,                     sun_misc_Launcher,                         Pre                 ) \
180 181
  do_klass(sun_misc_Launcher_AppClassLoader_klass,      sun_misc_Launcher_AppClassLoader,          Pre                 ) \
  do_klass(sun_misc_Launcher_ExtClassLoader_klass,      sun_misc_Launcher_ExtClassLoader,          Pre                 ) \
182 183
  do_klass(CodeSource_klass,                            java_security_CodeSource,                  Pre                 ) \
                                                                                                                         \
184 185 186 187 188 189 190
  /* It's NULL in non-1.4 JDKs. */                                                                                       \
  do_klass(StackTraceElement_klass,                     java_lang_StackTraceElement,               Opt                 ) \
  /* Universe::is_gte_jdk14x_version() is not set up by this point. */                                                   \
  /* It's okay if this turns out to be NULL in non-1.4 JDKs. */                                                          \
  do_klass(nio_Buffer_klass,                            java_nio_Buffer,                           Opt                 ) \
                                                                                                                         \
  /* Preload boxing klasses */                                                                                           \
T
twisti 已提交
191 192 193 194 195 196 197 198
  do_klass(Boolean_klass,                               java_lang_Boolean,                         Pre                 ) \
  do_klass(Character_klass,                             java_lang_Character,                       Pre                 ) \
  do_klass(Float_klass,                                 java_lang_Float,                           Pre                 ) \
  do_klass(Double_klass,                                java_lang_Double,                          Pre                 ) \
  do_klass(Byte_klass,                                  java_lang_Byte,                            Pre                 ) \
  do_klass(Short_klass,                                 java_lang_Short,                           Pre                 ) \
  do_klass(Integer_klass,                               java_lang_Integer,                         Pre                 ) \
  do_klass(Long_klass,                                  java_lang_Long,                            Pre                 ) \
199 200 201
  /*end*/


D
duke 已提交
202 203
class SystemDictionary : AllStatic {
  friend class VMStructs;
204
  friend class SystemDictionaryHandles;
D
duke 已提交
205 206

 public:
207 208 209
  enum WKID {
    NO_WKID = 0,

210
    #define WK_KLASS_ENUM(name, symbol, ignore_o) WK_KLASS_ENUM_NAME(name), WK_KLASS_ENUM_NAME(symbol) = WK_KLASS_ENUM_NAME(name),
211 212 213 214 215 216 217 218 219 220
    WK_KLASSES_DO(WK_KLASS_ENUM)
    #undef WK_KLASS_ENUM

    WKID_LIMIT,

    FIRST_WKID = NO_WKID + 1
  };

  enum InitOption {
    Pre,                        // preloaded; error if not present
T
twisti 已提交
221
    Pre_JSR292,                 // preloaded if EnableInvokeDynamic
222 223 224 225 226 227 228 229 230 231 232 233

    // Order is significant.  Options before this point require resolve_or_fail.
    // Options after this point will use resolve_or_null instead.

    Opt,                        // preload tried; NULL if not present
    Opt_Only_JDK14NewRef,       // preload tried; use only with NewReflection
    Opt_Only_JDK15,             // preload tried; use only with JDK1.5+
    OPTION_LIMIT,
    CEIL_LG_OPTION_LIMIT = 4    // OPTION_LIMIT <= (1<<CEIL_LG_OPTION_LIMIT)
  };


D
duke 已提交
234 235 236 237 238 239
  // Returns a class with a given class name and class loader.  Loads the
  // class if needed. If not found a NoClassDefFoundError or a
  // ClassNotFoundException is thrown, depending on the value on the
  // throw_error flag.  For most uses the throw_error argument should be set
  // to true.

240
  static Klass* resolve_or_fail(Symbol* class_name, Handle class_loader, Handle protection_domain, bool throw_error, TRAPS);
D
duke 已提交
241
  // Convenient call for null loader and protection domain.
242
  static Klass* resolve_or_fail(Symbol* class_name, bool throw_error, TRAPS);
243
protected:
D
duke 已提交
244
  // handle error translation for resolve_or_null results
245
  static Klass* handle_resolution_exception(Symbol* class_name, Handle class_loader, Handle protection_domain, bool throw_error, KlassHandle klass_h, TRAPS);
D
duke 已提交
246 247 248 249 250

public:

  // Returns a class with a given class name and class loader.
  // Loads the class if needed. If not found NULL is returned.
251
  static Klass* resolve_or_null(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS);
D
duke 已提交
252
  // Version with null loader and protection domain
253
  static Klass* resolve_or_null(Symbol* class_name, TRAPS);
D
duke 已提交
254 255 256 257

  // Resolve a superclass or superinterface. Called from ClassFileParser,
  // parse_interfaces, resolve_instance_class_or_null, load_shared_class
  // "child_name" is the class whose super class or interface is being resolved.
258
  static Klass* resolve_super_or_fail(Symbol* child_name,
259
                                        Symbol* class_name,
D
duke 已提交
260 261 262 263 264 265 266
                                        Handle class_loader,
                                        Handle protection_domain,
                                        bool is_superclass,
                                        TRAPS);

  // Parse new stream. This won't update the system dictionary or
  // class hierarchy, simply parse the stream. Used by JVMTI RedefineClasses.
267
  static Klass* parse_stream(Symbol* class_name,
D
duke 已提交
268 269 270
                               Handle class_loader,
                               Handle protection_domain,
                               ClassFileStream* st,
271 272 273 274
                               TRAPS) {
    KlassHandle nullHandle;
    return parse_stream(class_name, class_loader, protection_domain, st, nullHandle, NULL, THREAD);
  }
275
  static Klass* parse_stream(Symbol* class_name,
276 277 278 279 280
                               Handle class_loader,
                               Handle protection_domain,
                               ClassFileStream* st,
                               KlassHandle host_klass,
                               GrowableArray<Handle>* cp_patches,
D
duke 已提交
281 282 283
                               TRAPS);

  // Resolve from stream (called by jni_DefineClass and JVM_DefineClass)
284
  static Klass* resolve_from_stream(Symbol* class_name, Handle class_loader,
285 286
                                      Handle protection_domain,
                                      ClassFileStream* st, bool verify, TRAPS);
D
duke 已提交
287 288

  // Lookup an already loaded class. If not found NULL is returned.
289
  static Klass* find(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS);
D
duke 已提交
290 291 292 293

  // Lookup an already loaded instance or array class.
  // Do not make any queries to class loaders; consult only the cache.
  // If not found NULL is returned.
294
  static Klass* find_instance_or_array_klass(Symbol* class_name,
D
duke 已提交
295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319
                                               Handle class_loader,
                                               Handle protection_domain,
                                               TRAPS);

  // Lookup an instance or array class that has already been loaded
  // either into the given class loader, or else into another class
  // loader that is constrained (via loader constraints) to produce
  // a consistent class.  Do not take protection domains into account.
  // Do not make any queries to class loaders; consult only the cache.
  // Return NULL if the class is not found.
  //
  // This function is a strict superset of find_instance_or_array_klass.
  // This function (the unchecked version) makes a conservative prediction
  // of the result of the checked version, assuming successful lookup.
  // If both functions return non-null, they must return the same value.
  // Also, the unchecked version may sometimes be non-null where the
  // checked version is null.  This can occur in several ways:
  //   1. No query has yet been made to the class loader.
  //   2. The class loader was queried, but chose not to delegate.
  //   3. ClassLoader.checkPackageAccess rejected a proposed protection domain.
  //   4. Loading was attempted, but there was a linkage error of some sort.
  // In all of these cases, the loader constraints on this type are
  // satisfied, and it is safe for classes in the given class loader
  // to manipulate strongly-typed values of the found class, subject
  // to local linkage and access checks.
320
  static Klass* find_constrained_instance_or_array_klass(Symbol* class_name,
D
duke 已提交
321 322 323 324 325
                                                           Handle class_loader,
                                                           TRAPS);

  // Iterate over all klasses in dictionary
  //   Just the classes from defining class loaders
326
  static void classes_do(void f(Klass*));
D
duke 已提交
327
  // Added for initialize_itable_for_klass to handle exceptions
328
  static void classes_do(void f(Klass*, TRAPS), TRAPS);
D
duke 已提交
329
  //   All classes, and their class loaders
330
  static void classes_do(void f(Klass*, ClassLoaderData*));
331

332
  static void placeholders_do(void f(Symbol*));
D
duke 已提交
333 334

  // Iterate over all methods in all klasses in dictionary
335
  static void methods_do(void f(Method*));
D
duke 已提交
336 337 338 339 340 341

  // Garbage collection support

  // This method applies "blk->do_oop" to all the pointers to "system"
  // classes and loaders.
  static void always_strong_oops_do(OopClosure* blk);
342
  static void always_strong_classes_do(KlassClosure* closure);
D
duke 已提交
343 344 345

  // Unload (that is, break root links to) all unmarked classes and
  // loaders.  Returns "true" iff something was unloaded.
346
  static bool do_unloading(BoolObjectClosure* is_alive, bool clean_alive = true);
D
duke 已提交
347

348 349 350
  // Used by DumpSharedSpaces only to remove classes that failed verification
  static void remove_classes_in_error_state();

351 352
  static int calculate_systemdictionary_size(int loadedclasses);

D
duke 已提交
353 354
  // Applies "f->do_oop" to all root oops in the system dictionary.
  static void oops_do(OopClosure* f);
355
  static void roots_oops_do(OopClosure* strong, OopClosure* weak);
D
duke 已提交
356 357 358 359

  // System loader lock
  static oop system_loader_lock()           { return _system_loader_lock_obj; }

360
protected:
361 362 363
  // Extended Redefine classes support (tbi)
  static void preloaded_classes_do(KlassClosure* f);
  static void lazily_loaded_classes_do(KlassClosure* f);
D
duke 已提交
364 365 366 367 368 369
public:
  // Sharing support.
  static void reorder_dictionary();
  static void copy_buckets(char** top, char* end);
  static void copy_table(char** top, char* end);
  static void reverse();
Z
zgu 已提交
370
  static void set_shared_dictionary(HashtableBucket<mtClass>* t, int length,
D
duke 已提交
371 372
                                    int number_of_entries);
  // Printing
373 374
  static void print(bool details = true);
  static void print_shared(bool details = true);
D
duke 已提交
375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393
  static void print_class_statistics()  PRODUCT_RETURN;
  static void print_method_statistics() PRODUCT_RETURN;

  // Number of contained klasses
  // This is both fully loaded classes and classes in the process
  // of being loaded
  static int number_of_classes();

  // Monotonically increasing counter which grows as classes are
  // loaded or modifications such as hot-swapping or setting/removing
  // of breakpoints are performed
  static inline int number_of_modifications()     { assert_locked_or_safepoint(Compile_lock); return _number_of_modifications; }
  // Needed by evolution and breakpoint code
  static inline void notice_modification()        { assert_locked_or_safepoint(Compile_lock); ++_number_of_modifications;      }

  // Verification
  static void verify();

#ifdef ASSERT
394
  static bool is_internal_format(Symbol* class_name);
D
duke 已提交
395 396 397 398 399 400
#endif

  // Initialization
  static void initialize(TRAPS);

  // Fast access to commonly used classes (preloaded)
401
  static Klass* check_klass(Klass* k) {
D
duke 已提交
402 403 404 405
    assert(k != NULL, "preloaded klass not initialized");
    return k;
  }

406
  static Klass* check_klass_Pre(       Klass* k) { return check_klass(k); }
T
twisti 已提交
407
  static Klass* check_klass_Pre_JSR292(Klass* k) { return EnableInvokeDynamic ? check_klass(k) : k; }
408
  static Klass* check_klass_Opt(       Klass* k) { return k; }
409
  static Klass* check_klass_Opt_Only_JDK15(Klass* k) {
D
duke 已提交
410
    assert(JDK_Version::is_gte_jdk15x_version(), "JDK 1.5 only");
411
    return k;
D
duke 已提交
412
  }
413
  static Klass* check_klass_Opt_Only_JDK14NewRef(Klass* k) {
414 415 416
    assert(JDK_Version::is_gte_jdk14x_version() && UseNewReflection, "JDK 1.4 only");
    // despite the optional loading, if you use this it must be present:
    return check_klass(k);
D
duke 已提交
417 418
  }

419 420 421 422 423 424
  static bool initialize_wk_klass(WKID id, int init_opt, TRAPS);
  static void initialize_wk_klasses_until(WKID limit_id, WKID &start_id, TRAPS);
  static void initialize_wk_klasses_through(WKID end_id, WKID &start_id, TRAPS) {
    int limit = (int)end_id + 1;
    initialize_wk_klasses_until((WKID) limit, start_id, THREAD);
  }
D
duke 已提交
425

426
public:
427
  #define WK_KLASS_DECLARE(name, symbol, option) \
428 429 430 431
    static Klass* name() { return check_klass_##option(_well_known_klasses[WK_KLASS_ENUM_NAME(name)]); } \
    static Klass** name##_addr() {                                                                       \
      return &SystemDictionary::_well_known_klasses[SystemDictionary::WK_KLASS_ENUM_NAME(name)];           \
    }
432 433
  WK_KLASSES_DO(WK_KLASS_DECLARE);
  #undef WK_KLASS_DECLARE
D
duke 已提交
434

435
  static Klass* well_known_klass(WKID id) {
436 437 438 439
    assert(id >= (int)FIRST_WKID && id < (int)WKID_LIMIT, "oob");
    return _well_known_klasses[id];
  }

440 441 442 443 444
  static Klass** well_known_klass_addr(WKID id) {
    assert(id >= (int)FIRST_WKID && id < (int)WKID_LIMIT, "oob");
    return &_well_known_klasses[id];
  }

445
  // Local definition for direct access to the private array:
J
jrose 已提交
446
  #define WK_KLASS(name) _well_known_klasses[SystemDictionary::WK_KLASS_ENUM_NAME(name)]
D
duke 已提交
447

448
  static Klass* box_klass(BasicType t) {
D
duke 已提交
449 450 451
    assert((uint)t < T_VOID+1, "range check");
    return check_klass(_box_klasses[t]);
  }
452
  static BasicType box_klass_type(Klass* k);  // inverse of box_klass
D
duke 已提交
453 454 455

  // methods returning lazily loaded klasses
  // The corresponding method to load the class must be called before calling them.
456
  static Klass* abstract_ownable_synchronizer_klass() { return check_klass(_abstract_ownable_synchronizer_klass); }
D
duke 已提交
457 458 459

  static void load_abstract_ownable_synchronizer_klass(TRAPS);

460
protected:
D
duke 已提交
461 462 463
  // Tells whether ClassLoader.loadClassInternal is present
  static bool has_loadClassInternal()       { return _has_loadClassInternal; }

464 465 466 467 468 469
  // Returns the class loader data to be used when looking up/updating the
  // system dictionary.
  static ClassLoaderData *class_loader_data(Handle class_loader) {
    return ClassLoaderData::class_loader_data(class_loader());
  }

D
duke 已提交
470 471 472 473
public:
  // Tells whether ClassLoader.checkPackageAccess is present
  static bool has_checkPackageAccess()      { return _has_checkPackageAccess; }

474
  static bool Parameter_klass_loaded()      { return WK_KLASS(reflect_Parameter_klass) != NULL; }
475 476
  static bool Class_klass_loaded()          { return WK_KLASS(Class_klass) != NULL; }
  static bool Cloneable_klass_loaded()      { return WK_KLASS(Cloneable_klass) != NULL; }
477 478
  static bool Object_klass_loaded()         { return WK_KLASS(Object_klass) != NULL; }
  static bool ClassLoader_klass_loaded()    { return WK_KLASS(ClassLoader_klass) != NULL; }
D
duke 已提交
479 480 481 482 483 484 485

  // Returns default system loader
  static oop java_system_loader();

  // Compute the default system loader
  static void compute_java_system_loader(TRAPS);

486
  // Register a new class loader
487
  static ClassLoaderData* register_loader(Handle class_loader, TRAPS);
488
protected:
D
duke 已提交
489 490 491 492 493 494 495 496 497 498
  // Mirrors for primitive classes (created eagerly)
  static oop check_mirror(oop m) {
    assert(m != NULL, "mirror not initialized");
    return m;
  }

public:
  // Note:  java_lang_Class::primitive_type is the inverse of java_mirror

  // Check class loader constraints
499
  static bool add_loader_constraint(Symbol* name, Handle loader1,
D
duke 已提交
500
                                    Handle loader2, TRAPS);
501 502
  static Symbol* check_signature_loaders(Symbol* signature, Handle loader1,
                                         Handle loader2, bool is_method, TRAPS);
D
duke 已提交
503

504
  // JSR 292
505 506 507 508 509 510
  // find a java.lang.invoke.MethodHandle.invoke* method for a given signature
  // (asks Java to compute it if necessary, except in a compiler thread)
  static methodHandle find_method_handle_invoker(Symbol* name,
                                                 Symbol* signature,
                                                 KlassHandle accessing_klass,
                                                 Handle *appendix_result,
511
                                                 Handle *method_type_result,
512 513 514 515 516 517 518 519
                                                 TRAPS);
  // for a given signature, find the internal MethodHandle method (linkTo* or invokeBasic)
  // (does not ask Java, since this is a low-level intrinsic defined by the JVM)
  static methodHandle find_method_handle_intrinsic(vmIntrinsics::ID iid,
                                                   Symbol* signature,
                                                   TRAPS);
  // find a java.lang.invoke.MethodType object for a given signature
  // (asks Java to compute it if necessary, except in a compiler thread)
520
  static Handle    find_method_handle_type(Symbol* signature,
521
                                           KlassHandle accessing_klass,
522
                                           TRAPS);
523

524
  // ask Java to compute a java.lang.invoke.MethodHandle object for a given CP entry
525 526 527
  static Handle    link_method_handle_constant(KlassHandle caller,
                                               int ref_kind, //e.g., JVM_REF_invokeVirtual
                                               KlassHandle callee,
528 529
                                               Symbol* name,
                                               Symbol* signature,
530
                                               TRAPS);
531

532
  // ask Java to create a dynamic call site, while linking an invokedynamic op
533 534 535 536 537
  static methodHandle find_dynamic_call_site_invoker(KlassHandle caller,
                                                     Handle bootstrap_method,
                                                     Symbol* name,
                                                     Symbol* type,
                                                     Handle *appendix_result,
538
                                                     Handle *method_type_result,
539
                                                     TRAPS);
540

D
duke 已提交
541 542 543
  // Utility for printing loader "name" as part of tracing constraints
  static const char* loader_name(oop loader) {
    return ((loader) == NULL ? "<bootloader>" :
544 545 546
            InstanceKlass::cast((loader)->klass())->name()->as_C_string() );
  }
  static const char* loader_name(ClassLoaderData* loader_data) {
547
    return (loader_data->class_loader() == NULL ? "<bootloader>" :
548
            InstanceKlass::cast((loader_data->class_loader())->klass())->name()->as_C_string() );
D
duke 已提交
549 550 551 552
  }

  // Record the error when the first attempt to resolve a reference from a constant
  // pool entry to a class fails.
553
  static void add_resolution_error(constantPoolHandle pool, int which, Symbol* error);
554
  static void delete_resolution_error(ConstantPool* pool);
555
  static Symbol* find_resolution_error(constantPoolHandle pool, int which);
D
duke 已提交
556

557
 protected:
D
duke 已提交
558 559 560 561

  enum Constants {
    _loader_constraint_size = 107,                     // number of entries in constraint table
    _resolution_error_size  = 107,                     // number of entries in resolution error table
562
    _invoke_method_size     = 139,                     // number of entries in invoke method table
563 564 565 566
    _nof_buckets            = 1009,                    // number of buckets in hash table for placeholders
    _old_default_sdsize     = 1009,                    // backward compat for system dictionary size
    _prime_array_size       = 8,                       // array of primes for system dictionary size
    _average_depth_goal     = 3                        // goal for lookup length
D
duke 已提交
567 568 569 570 571
  };


  // Static variables

572 573 574 575 576
  // hashtable sizes for system dictionary to allow growth
  // prime numbers for system dictionary size
  static int                     _sdgeneration;
  static const int               _primelist[_prime_array_size];

D
duke 已提交
577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599
  // Hashtable holding loaded classes.
  static Dictionary*            _dictionary;

  // Hashtable holding placeholders for classes being loaded.
  static PlaceholderTable*       _placeholders;

  // Hashtable holding classes from the shared archive.
  static Dictionary*             _shared_dictionary;

  // Monotonically increasing counter which grows with
  // _number_of_classes as well as hot-swapping and breakpoint setting
  // and removal.
  static int                     _number_of_modifications;

  // Lock object for system class loader
  static oop                     _system_loader_lock_obj;

  // Constraints on class loaders
  static LoaderConstraintTable*  _loader_constraints;

  // Resolution errors
  static ResolutionErrorTable*   _resolution_errors;

600 601 602
  // Invoke methods (JSR 292)
  static SymbolPropertyTable*    _invoke_method_table;

D
duke 已提交
603 604 605
public:
  // for VM_CounterDecay iteration support
  friend class CounterDecay;
606
  static Klass* try_get_next_class();
D
duke 已提交
607

608
protected:
D
duke 已提交
609 610 611 612 613 614 615 616 617 618 619
  static void validate_protection_domain(instanceKlassHandle klass,
                                         Handle class_loader,
                                         Handle protection_domain, TRAPS);

  friend class VM_PopulateDumpSharedSpace;
  friend class TraversePlaceholdersClosure;
  static Dictionary*         dictionary() { return _dictionary; }
  static Dictionary*         shared_dictionary() { return _shared_dictionary; }
  static PlaceholderTable*   placeholders() { return _placeholders; }
  static LoaderConstraintTable* constraints() { return _loader_constraints; }
  static ResolutionErrorTable* resolution_errors() { return _resolution_errors; }
620
  static SymbolPropertyTable* invoke_method_table() { return _invoke_method_table; }
D
duke 已提交
621 622

  // Basic loading operations
623 624
  static Klass* resolve_instance_class_or_null(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS);
  static Klass* resolve_array_class_or_null(Symbol* class_name, Handle class_loader, Handle protection_domain, TRAPS);
625
  static instanceKlassHandle handle_parallel_super_load(Symbol* class_name, Symbol* supername, Handle class_loader, Handle protection_domain, Handle lockObject, TRAPS);
D
duke 已提交
626 627 628 629 630 631
  // Wait on SystemDictionary_lock; unlocks lockObject before
  // waiting; relocks lockObject with correct recursion count
  // after waiting, but before reentering SystemDictionary_lock
  // to preserve lock order semantics.
  static void double_lock_wait(Handle lockObject, TRAPS);
  static void define_instance_class(instanceKlassHandle k, TRAPS);
632
  static instanceKlassHandle find_or_define_instance_class(Symbol* class_name,
D
duke 已提交
633 634 635
                                                Handle class_loader,
                                                instanceKlassHandle k, TRAPS);
  static instanceKlassHandle load_shared_class(instanceKlassHandle ik,
636 637 638
                                               Handle class_loader,
                                               Handle protection_domain,
                                               TRAPS);
639
  static instanceKlassHandle load_instance_class(Symbol* class_name, Handle class_loader, TRAPS);
D
duke 已提交
640 641
  static Handle compute_loader_lock_object(Handle class_loader, TRAPS);
  static void check_loader_lock_contention(Handle loader_lock, TRAPS);
642
  static bool is_parallelCapable(Handle class_loader);
643
  static bool is_parallelDefine(Handle class_loader);
D
duke 已提交
644

645
public:
646 647 648
  static instanceKlassHandle load_shared_class(Symbol* class_name,
                                               Handle class_loader,
                                               TRAPS);
649 650
  static bool is_ext_class_loader(Handle class_loader);

651
protected:
652
  static Klass* find_shared_class(Symbol* class_name);
D
duke 已提交
653 654 655 656

  // Setup link to hierarchy
  static void add_to_hierarchy(instanceKlassHandle k, TRAPS);

S
sla 已提交
657
  // event based tracing
658
  static void post_class_load_event(const Ticks& start_time, instanceKlassHandle k,
S
sla 已提交
659
                                    Handle initiating_loader);
D
duke 已提交
660 661 662 663
  // We pass in the hashtable index so we can calculate it outside of
  // the SystemDictionary_lock.

  // Basic find on loaded classes
664 665 666
  static Klass* find_class(int index, unsigned int hash,
                             Symbol* name, ClassLoaderData* loader_data);
  static Klass* find_class(Symbol* class_name, ClassLoaderData* loader_data);
D
duke 已提交
667 668

  // Basic find on classes in the midst of being loaded
669
  static Symbol* find_placeholder(Symbol* name, ClassLoaderData* loader_data);
D
duke 已提交
670 671 672

  // Updating entry in dictionary
  // Add a completely loaded class
673
  static void add_klass(int index, Symbol* class_name,
674
                        ClassLoaderData* loader_data, KlassHandle obj);
D
duke 已提交
675 676 677

  // Add a placeholder for a class being loaded
  static void add_placeholder(int index,
678
                              Symbol* class_name,
679
                              ClassLoaderData* loader_data);
D
duke 已提交
680
  static void remove_placeholder(int index,
681
                                 Symbol* class_name,
682
                                 ClassLoaderData* loader_data);
D
duke 已提交
683 684 685 686

  // Performs cleanups after resolve_super_or_fail. This typically needs
  // to be called on failure.
  // Won't throw, but can block.
687
  static void resolution_cleanups(Symbol* class_name,
688
                                  ClassLoaderData* loader_data,
D
duke 已提交
689 690 691 692 693 694 695 696 697 698 699
                                  TRAPS);

  // Initialization
  static void initialize_preloaded_classes(TRAPS);

  // Class loader constraints
  static void check_constraints(int index, unsigned int hash,
                                instanceKlassHandle k, Handle loader,
                                bool defining, TRAPS);
  static void update_dictionary(int d_index, unsigned int d_hash,
                                int p_index, unsigned int p_hash,
700 701
                                instanceKlassHandle k, Handle loader,
                                TRAPS);
D
duke 已提交
702 703

  // Variables holding commonly used klasses (preloaded)
704
  static Klass* _well_known_klasses[];
D
duke 已提交
705 706

  // Lazily loaded klasses
707
  static Klass* volatile _abstract_ownable_synchronizer_klass;
D
duke 已提交
708

709
  // table of box klasses (int_klass, etc.)
710
  static Klass* _box_klasses[T_VOID+1];
D
duke 已提交
711 712 713 714 715 716

  static oop  _java_system_loader;

  static bool _has_loadClassInternal;
  static bool _has_checkPackageAccess;
};
717

718
#endif // SHARE_VM_CLASSFILE_SYSTEMDICTIONARY_HPP