src/share/vm/classfile/systemDictionary.hpp

Tue, 21 Dec 2010 04:37:30 -0800

author
twisti
date
Tue, 21 Dec 2010 04:37:30 -0800
changeset 2408
ef3c5db0b3ae
parent 2343
f2da85a9b08e
child 2449
8f8dfba37802
permissions
-rw-r--r--

7008165: Garbage in ClassFormatError message
Summary: When bootstrap_method_ref in BootstrapMethods attribute points to a wrong CP entry (non-MethodHandle), JVM throws ClassFormatError with a message, where method index and class file name is garbage.
Reviewed-by: iveresov

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

mercurial