src/share/vm/oops/klassVtable.cpp

Thu, 13 Jan 2011 22:15:41 -0800

author
never
date
Thu, 13 Jan 2011 22:15:41 -0800
changeset 2462
8012aa3ccede
parent 2360
642e54d1850a
child 2497
3582bf76420e
permissions
-rw-r--r--

4926272: methodOopDesc::method_from_bcp is unsafe
Reviewed-by: coleenp, jrose, kvn, dcubed

     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 #include "precompiled.hpp"
    26 #include "classfile/systemDictionary.hpp"
    27 #include "classfile/vmSymbols.hpp"
    28 #include "gc_implementation/shared/markSweep.inline.hpp"
    29 #include "memory/gcLocker.hpp"
    30 #include "memory/resourceArea.hpp"
    31 #include "memory/universe.inline.hpp"
    32 #include "oops/instanceKlass.hpp"
    33 #include "oops/klassOop.hpp"
    34 #include "oops/klassVtable.hpp"
    35 #include "oops/methodOop.hpp"
    36 #include "oops/objArrayOop.hpp"
    37 #include "oops/oop.inline.hpp"
    38 #include "prims/jvmtiRedefineClassesTrace.hpp"
    39 #include "runtime/arguments.hpp"
    40 #include "runtime/handles.inline.hpp"
    41 #include "utilities/copy.hpp"
    43 inline instanceKlass* klassVtable::ik() const {
    44   Klass* k = _klass()->klass_part();
    45   assert(k->oop_is_instance(), "not an instanceKlass");
    46   return (instanceKlass*)k;
    47 }
    50 // this function computes the vtable size (including the size needed for miranda
    51 // methods) and the number of miranda methods in this class
    52 // Note on Miranda methods: Let's say there is a class C that implements
    53 // interface I.  Let's say there is a method m in I that neither C nor any
    54 // of its super classes implement (i.e there is no method of any access, with
    55 // the same name and signature as m), then m is a Miranda method which is
    56 // entered as a public abstract method in C's vtable.  From then on it should
    57 // treated as any other public method in C for method over-ride purposes.
    58 void klassVtable::compute_vtable_size_and_num_mirandas(int &vtable_length,
    59                                                        int &num_miranda_methods,
    60                                                        klassOop super,
    61                                                        objArrayOop methods,
    62                                                        AccessFlags class_flags,
    63                                                        Handle classloader,
    64                                                        symbolHandle classname,
    65                                                        objArrayOop local_interfaces,
    66                                                        TRAPS
    67                                                        ) {
    69   No_Safepoint_Verifier nsv;
    71   // set up default result values
    72   vtable_length = 0;
    73   num_miranda_methods = 0;
    75   // start off with super's vtable length
    76   instanceKlass* sk = (instanceKlass*)super->klass_part();
    77   vtable_length = super == NULL ? 0 : sk->vtable_length();
    79   // go thru each method in the methods table to see if it needs a new entry
    80   int len = methods->length();
    81   for (int i = 0; i < len; i++) {
    82     assert(methods->obj_at(i)->is_method(), "must be a methodOop");
    83     methodHandle mh(THREAD, methodOop(methods->obj_at(i)));
    85     if (needs_new_vtable_entry(mh, super, classloader, classname, class_flags, THREAD)) {
    86       vtable_length += vtableEntry::size(); // we need a new entry
    87     }
    88   }
    90   // compute the number of mirandas methods that must be added to the end
    91   num_miranda_methods = get_num_mirandas(super, methods, local_interfaces);
    92   vtable_length += (num_miranda_methods * vtableEntry::size());
    94   if (Universe::is_bootstrapping() && vtable_length == 0) {
    95     // array classes don't have their superclass set correctly during
    96     // bootstrapping
    97     vtable_length = Universe::base_vtable_size();
    98   }
   100   if (super == NULL && !Universe::is_bootstrapping() &&
   101       vtable_length != Universe::base_vtable_size()) {
   102     // Someone is attempting to redefine java.lang.Object incorrectly.  The
   103     // only way this should happen is from
   104     // SystemDictionary::resolve_from_stream(), which will detect this later
   105     // and throw a security exception.  So don't assert here to let
   106     // the exception occur.
   107     vtable_length = Universe::base_vtable_size();
   108   }
   109   assert(super != NULL || vtable_length == Universe::base_vtable_size(),
   110          "bad vtable size for class Object");
   111   assert(vtable_length % vtableEntry::size() == 0, "bad vtable length");
   112   assert(vtable_length >= Universe::base_vtable_size(), "vtable too small");
   113 }
   115 int klassVtable::index_of(methodOop m, int len) const {
   116   assert(m->vtable_index() >= 0, "do not ask this of non-vtable methods");
   117   return m->vtable_index();
   118 }
   120 int klassVtable::initialize_from_super(KlassHandle super) {
   121   if (super.is_null()) {
   122     return 0;
   123   } else {
   124     // copy methods from superKlass
   125     // can't inherit from array class, so must be instanceKlass
   126     assert(super->oop_is_instance(), "must be instance klass");
   127     instanceKlass* sk = (instanceKlass*)super()->klass_part();
   128     klassVtable* superVtable = sk->vtable();
   129     assert(superVtable->length() <= _length, "vtable too short");
   130 #ifdef ASSERT
   131     superVtable->verify(tty, true);
   132 #endif
   133     superVtable->copy_vtable_to(table());
   134 #ifndef PRODUCT
   135     if (PrintVtables && Verbose) {
   136       ResourceMark rm;
   137       tty->print_cr("copy vtable from %s to %s size %d", sk->internal_name(), klass()->internal_name(), _length);
   138     }
   139 #endif
   140     return superVtable->length();
   141   }
   142 }
   144 // Revised lookup semantics   introduced 1.3 (Kestral beta)
   145 void klassVtable::initialize_vtable(bool checkconstraints, TRAPS) {
   147   // Note:  Arrays can have intermediate array supers.  Use java_super to skip them.
   148   KlassHandle super (THREAD, klass()->java_super());
   149   int nofNewEntries = 0;
   152   if (PrintVtables && !klass()->oop_is_array()) {
   153     ResourceMark rm(THREAD);
   154     tty->print_cr("Initializing: %s", _klass->name()->as_C_string());
   155   }
   157 #ifdef ASSERT
   158   oop* end_of_obj = (oop*)_klass() + _klass()->size();
   159   oop* end_of_vtable = (oop*)&table()[_length];
   160   assert(end_of_vtable <= end_of_obj, "vtable extends beyond end");
   161 #endif
   163   if (Universe::is_bootstrapping()) {
   164     // just clear everything
   165     for (int i = 0; i < _length; i++) table()[i].clear();
   166     return;
   167   }
   169   int super_vtable_len = initialize_from_super(super);
   170   if (klass()->oop_is_array()) {
   171     assert(super_vtable_len == _length, "arrays shouldn't introduce new methods");
   172   } else {
   173     assert(_klass->oop_is_instance(), "must be instanceKlass");
   175     objArrayHandle methods(THREAD, ik()->methods());
   176     int len = methods()->length();
   177     int initialized = super_vtable_len;
   179     // update_inherited_vtable can stop for gc - ensure using handles
   180     for (int i = 0; i < len; i++) {
   181       HandleMark hm(THREAD);
   182       assert(methods()->obj_at(i)->is_method(), "must be a methodOop");
   183       methodHandle mh(THREAD, (methodOop)methods()->obj_at(i));
   185       bool needs_new_entry = update_inherited_vtable(ik(), mh, super_vtable_len, checkconstraints, CHECK);
   187       if (needs_new_entry) {
   188         put_method_at(mh(), initialized);
   189         mh()->set_vtable_index(initialized); // set primary vtable index
   190         initialized++;
   191       }
   192     }
   194     // add miranda methods; it will also update the value of initialized
   195     fill_in_mirandas(initialized);
   197     // In class hierarchies where the accessibility is not increasing (i.e., going from private ->
   198     // package_private -> publicprotected), the vtable might actually be smaller than our initial
   199     // calculation.
   200     assert(initialized <= _length, "vtable initialization failed");
   201     for(;initialized < _length; initialized++) {
   202       put_method_at(NULL, initialized);
   203     }
   204     NOT_PRODUCT(verify(tty, true));
   205   }
   206 }
   208 // Called for cases where a method does not override its superclass' vtable entry
   209 // For bytecodes not produced by javac together it is possible that a method does not override
   210 // the superclass's method, but might indirectly override a super-super class's vtable entry
   211 // If none found, return a null superk, else return the superk of the method this does override
   212 instanceKlass* klassVtable::find_transitive_override(instanceKlass* initialsuper, methodHandle target_method,
   213                             int vtable_index, Handle target_loader, symbolHandle target_classname, Thread * THREAD) {
   214   instanceKlass* superk = initialsuper;
   215   while (superk != NULL && superk->super() != NULL) {
   216     instanceKlass* supersuperklass = instanceKlass::cast(superk->super());
   217     klassVtable* ssVtable = supersuperklass->vtable();
   218     if (vtable_index < ssVtable->length()) {
   219       methodOop super_method = ssVtable->method_at(vtable_index);
   220 #ifndef PRODUCT
   221       symbolHandle name(THREAD,target_method()->name());
   222       symbolHandle signature(THREAD,target_method()->signature());
   223       assert(super_method->name() == name() && super_method->signature() == signature(), "vtable entry name/sig mismatch");
   224 #endif
   225       if (supersuperklass->is_override(super_method, target_loader, target_classname, THREAD)) {
   226 #ifndef PRODUCT
   227         if (PrintVtables && Verbose) {
   228           ResourceMark rm(THREAD);
   229           tty->print("transitive overriding superclass %s with %s::%s index %d, original flags: ",
   230            supersuperklass->internal_name(),
   231            _klass->internal_name(), (target_method() != NULL) ?
   232            target_method()->name()->as_C_string() : "<NULL>", vtable_index);
   233            super_method->access_flags().print_on(tty);
   234            tty->print("overriders flags: ");
   235            target_method->access_flags().print_on(tty);
   236            tty->cr();
   237         }
   238 #endif /*PRODUCT*/
   239         break; // return found superk
   240       }
   241     } else  {
   242       // super class has no vtable entry here, stop transitive search
   243       superk = (instanceKlass*)NULL;
   244       break;
   245     }
   246     // if no override found yet, continue to search up
   247     superk = instanceKlass::cast(superk->super());
   248   }
   250   return superk;
   251 }
   254 // Update child's copy of super vtable for overrides
   255 // OR return true if a new vtable entry is required
   256 // Only called for instanceKlass's, i.e. not for arrays
   257 // If that changed, could not use _klass as handle for klass
   258 bool klassVtable::update_inherited_vtable(instanceKlass* klass, methodHandle target_method, int super_vtable_len,
   259                   bool checkconstraints, TRAPS) {
   260   ResourceMark rm;
   261   bool allocate_new = true;
   262   assert(klass->oop_is_instance(), "must be instanceKlass");
   264   // Initialize the method's vtable index to "nonvirtual".
   265   // If we allocate a vtable entry, we will update it to a non-negative number.
   266   target_method()->set_vtable_index(methodOopDesc::nonvirtual_vtable_index);
   268   // Static and <init> methods are never in
   269   if (target_method()->is_static() || target_method()->name() ==  vmSymbols::object_initializer_name()) {
   270     return false;
   271   }
   273   if (klass->is_final() || target_method()->is_final()) {
   274     // a final method never needs a new entry; final methods can be statically
   275     // resolved and they have to be present in the vtable only if they override
   276     // a super's method, in which case they re-use its entry
   277     allocate_new = false;
   278   }
   280   // we need a new entry if there is no superclass
   281   if (klass->super() == NULL) {
   282     return allocate_new;
   283   }
   285   // private methods always have a new entry in the vtable
   286   // specification interpretation since classic has
   287   // private methods not overriding
   288   if (target_method()->is_private()) {
   289     return allocate_new;
   290   }
   292   // search through the vtable and update overridden entries
   293   // Since check_signature_loaders acquires SystemDictionary_lock
   294   // which can block for gc, once we are in this loop, use handles
   295   // For classfiles built with >= jdk7, we now look for transitive overrides
   297   symbolHandle name(THREAD,target_method()->name());
   298   symbolHandle signature(THREAD,target_method()->signature());
   299   Handle target_loader(THREAD, _klass->class_loader());
   300   symbolHandle target_classname(THREAD, _klass->name());
   301   for(int i = 0; i < super_vtable_len; i++) {
   302     methodOop super_method = method_at(i);
   303     // Check if method name matches
   304     if (super_method->name() == name() && super_method->signature() == signature()) {
   306       // get super_klass for method_holder for the found method
   307       instanceKlass* super_klass =  instanceKlass::cast(super_method->method_holder());
   309       if ((super_klass->is_override(super_method, target_loader, target_classname, THREAD)) ||
   310       ((klass->major_version() >= VTABLE_TRANSITIVE_OVERRIDE_VERSION)
   311         && ((super_klass = find_transitive_override(super_klass, target_method, i, target_loader,
   312              target_classname, THREAD)) != (instanceKlass*)NULL))) {
   313         // overriding, so no new entry
   314         allocate_new = false;
   316         if (checkconstraints) {
   317         // Override vtable entry if passes loader constraint check
   318         // if loader constraint checking requested
   319         // No need to visit his super, since he and his super
   320         // have already made any needed loader constraints.
   321         // Since loader constraints are transitive, it is enough
   322         // to link to the first super, and we get all the others.
   323           Handle super_loader(THREAD, super_klass->class_loader());
   325           if (target_loader() != super_loader()) {
   326             ResourceMark rm(THREAD);
   327             char* failed_type_name =
   328               SystemDictionary::check_signature_loaders(signature, target_loader,
   329                                                         super_loader, true,
   330                                                         CHECK_(false));
   331             if (failed_type_name != NULL) {
   332               const char* msg = "loader constraint violation: when resolving "
   333                 "overridden method \"%s\" the class loader (instance"
   334                 " of %s) of the current class, %s, and its superclass loader "
   335                 "(instance of %s), have different Class objects for the type "
   336                 "%s used in the signature";
   337               char* sig = target_method()->name_and_sig_as_C_string();
   338               const char* loader1 = SystemDictionary::loader_name(target_loader());
   339               char* current = _klass->name()->as_C_string();
   340               const char* loader2 = SystemDictionary::loader_name(super_loader());
   341               size_t buflen = strlen(msg) + strlen(sig) + strlen(loader1) +
   342                 strlen(current) + strlen(loader2) + strlen(failed_type_name);
   343               char* buf = NEW_RESOURCE_ARRAY_IN_THREAD(THREAD, char, buflen);
   344               jio_snprintf(buf, buflen, msg, sig, loader1, current, loader2,
   345                            failed_type_name);
   346               THROW_MSG_(vmSymbols::java_lang_LinkageError(), buf, false);
   347             }
   348           }
   349        }
   351         put_method_at(target_method(), i);
   352         target_method()->set_vtable_index(i);
   353 #ifndef PRODUCT
   354         if (PrintVtables && Verbose) {
   355           tty->print("overriding with %s::%s index %d, original flags: ",
   356            _klass->internal_name(), (target_method() != NULL) ?
   357            target_method()->name()->as_C_string() : "<NULL>", i);
   358            super_method->access_flags().print_on(tty);
   359            tty->print("overriders flags: ");
   360            target_method->access_flags().print_on(tty);
   361            tty->cr();
   362         }
   363 #endif /*PRODUCT*/
   364       } else {
   365         // allocate_new = true; default. We might override one entry,
   366         // but not override another. Once we override one, not need new
   367 #ifndef PRODUCT
   368         if (PrintVtables && Verbose) {
   369           tty->print("NOT overriding with %s::%s index %d, original flags: ",
   370            _klass->internal_name(), (target_method() != NULL) ?
   371            target_method()->name()->as_C_string() : "<NULL>", i);
   372            super_method->access_flags().print_on(tty);
   373            tty->print("overriders flags: ");
   374            target_method->access_flags().print_on(tty);
   375            tty->cr();
   376         }
   377 #endif /*PRODUCT*/
   378       }
   379     }
   380   }
   381   return allocate_new;
   382 }
   384 void klassVtable::put_method_at(methodOop m, int index) {
   385   assert(m->is_oop_or_null(), "Not an oop or null");
   386 #ifndef PRODUCT
   387   if (PrintVtables && Verbose) {
   388     ResourceMark rm;
   389     tty->print_cr("adding %s::%s at index %d", _klass->internal_name(),
   390       (m != NULL) ? m->name()->as_C_string() : "<NULL>", index);
   391   }
   392   assert(unchecked_method_at(index)->is_oop_or_null(), "Not an oop or null");
   393 #endif
   394   table()[index].set(m);
   395 }
   397 // Find out if a method "m" with superclass "super", loader "classloader" and
   398 // name "classname" needs a new vtable entry.  Let P be a class package defined
   399 // by "classloader" and "classname".
   400 // NOTE: The logic used here is very similar to the one used for computing
   401 // the vtables indices for a method. We cannot directly use that function because,
   402 // we allocate the instanceKlass at load time, and that requires that the
   403 // superclass has been loaded.
   404 // However, the vtable entries are filled in at link time, and therefore
   405 // the superclass' vtable may not yet have been filled in.
   406 bool klassVtable::needs_new_vtable_entry(methodHandle target_method,
   407                                          klassOop super,
   408                                          Handle classloader,
   409                                          symbolHandle classname,
   410                                          AccessFlags class_flags,
   411                                          TRAPS) {
   412   if ((class_flags.is_final() || target_method()->is_final()) ||
   413       // a final method never needs a new entry; final methods can be statically
   414       // resolved and they have to be present in the vtable only if they override
   415       // a super's method, in which case they re-use its entry
   416       (target_method()->is_static()) ||
   417       // static methods don't need to be in vtable
   418       (target_method()->name() ==  vmSymbols::object_initializer_name())
   419       // <init> is never called dynamically-bound
   420       ) {
   421     return false;
   422   }
   424   // we need a new entry if there is no superclass
   425   if (super == NULL) {
   426     return true;
   427   }
   429   // private methods always have a new entry in the vtable
   430   // specification interpretation since classic has
   431   // private methods not overriding
   432   if (target_method()->is_private()) {
   433     return true;
   434   }
   436   // search through the super class hierarchy to see if we need
   437   // a new entry
   438   ResourceMark rm;
   439   symbolOop name = target_method()->name();
   440   symbolOop signature = target_method()->signature();
   441   klassOop k = super;
   442   methodOop super_method = NULL;
   443   instanceKlass *holder = NULL;
   444   methodOop recheck_method =  NULL;
   445   while (k != NULL) {
   446     // lookup through the hierarchy for a method with matching name and sign.
   447     super_method = instanceKlass::cast(k)->lookup_method(name, signature);
   448     if (super_method == NULL) {
   449       break; // we still have to search for a matching miranda method
   450     }
   451     // get the class holding the matching method
   452     // make sure you use that class for is_override
   453     instanceKlass* superk = instanceKlass::cast(super_method->method_holder());
   454     // we want only instance method matches
   455     // pretend private methods are not in the super vtable
   456     // since we do override around them: e.g. a.m pub/b.m private/c.m pub,
   457     // ignore private, c.m pub does override a.m pub
   458     // For classes that were not javac'd together, we also do transitive overriding around
   459     // methods that have less accessibility
   460     if ((!super_method->is_static()) &&
   461        (!super_method->is_private())) {
   462       if (superk->is_override(super_method, classloader, classname, THREAD)) {
   463         return false;
   464       // else keep looking for transitive overrides
   465       }
   466     }
   468     // Start with lookup result and continue to search up
   469     k = superk->super(); // haven't found an override match yet; continue to look
   470   }
   472   // if the target method is public or protected it may have a matching
   473   // miranda method in the super, whose entry it should re-use.
   474   // Actually, to handle cases that javac would not generate, we need
   475   // this check for all access permissions.
   476   instanceKlass *sk = instanceKlass::cast(super);
   477   if (sk->has_miranda_methods()) {
   478     if (sk->lookup_method_in_all_interfaces(name, signature) != NULL) {
   479       return false;  // found a matching miranda; we do not need a new entry
   480     }
   481   }
   482   return true; // found no match; we need a new entry
   483 }
   485 // Support for miranda methods
   487 // get the vtable index of a miranda method with matching "name" and "signature"
   488 int klassVtable::index_of_miranda(symbolOop name, symbolOop signature) {
   489   // search from the bottom, might be faster
   490   for (int i = (length() - 1); i >= 0; i--) {
   491     methodOop m = table()[i].method();
   492     if (is_miranda_entry_at(i) &&
   493         m->name() == name && m->signature() == signature) {
   494       return i;
   495     }
   496   }
   497   return methodOopDesc::invalid_vtable_index;
   498 }
   500 // check if an entry is miranda
   501 bool klassVtable::is_miranda_entry_at(int i) {
   502   methodOop m = method_at(i);
   503   klassOop method_holder = m->method_holder();
   504   instanceKlass *mhk = instanceKlass::cast(method_holder);
   506   // miranda methods are interface methods in a class's vtable
   507   if (mhk->is_interface()) {
   508     assert(m->is_public() && m->is_abstract(), "should be public and abstract");
   509     assert(ik()->implements_interface(method_holder) , "this class should implement the interface");
   510     assert(is_miranda(m, ik()->methods(), ik()->super()), "should be a miranda_method");
   511     return true;
   512   }
   513   return false;
   514 }
   516 // check if a method is a miranda method, given a class's methods table and it's super
   517 // the caller must make sure that the method belongs to an interface implemented by the class
   518 bool klassVtable::is_miranda(methodOop m, objArrayOop class_methods, klassOop super) {
   519   symbolOop name = m->name();
   520   symbolOop signature = m->signature();
   522   if (instanceKlass::find_method(class_methods, name, signature) == NULL) {
   523     // did not find it in the method table of the current class
   524     if (super == NULL) {
   525       // super doesn't exist
   526       return true;
   527     }
   529     methodOop mo = instanceKlass::cast(super)->lookup_method(name, signature);
   530     if (mo == NULL || mo->access_flags().is_private() ) {
   531       // super class hierarchy does not implement it or protection is different
   532       return true;
   533     }
   534   }
   536   return false;
   537 }
   539 void klassVtable::add_new_mirandas_to_list(GrowableArray<methodOop>* list_of_current_mirandas,
   540                                            objArrayOop current_interface_methods,
   541                                            objArrayOop class_methods,
   542                                            klassOop super) {
   543   // iterate thru the current interface's method to see if it a miranda
   544   int num_methods = current_interface_methods->length();
   545   for (int i = 0; i < num_methods; i++) {
   546     methodOop im = methodOop(current_interface_methods->obj_at(i));
   547     bool is_duplicate = false;
   548     int num_of_current_mirandas = list_of_current_mirandas->length();
   549     // check for duplicate mirandas in different interfaces we implement
   550     for (int j = 0; j < num_of_current_mirandas; j++) {
   551       methodOop miranda = list_of_current_mirandas->at(j);
   552       if ((im->name() == miranda->name()) &&
   553           (im->signature() == miranda->signature())) {
   554         is_duplicate = true;
   555         break;
   556       }
   557     }
   559     if (!is_duplicate) { // we don't want duplicate miranda entries in the vtable
   560       if (is_miranda(im, class_methods, super)) { // is it a miranda at all?
   561         instanceKlass *sk = instanceKlass::cast(super);
   562         // check if it is a duplicate of a super's miranda
   563         if (sk->lookup_method_in_all_interfaces(im->name(), im->signature()) == NULL) {
   564           list_of_current_mirandas->append(im);
   565         }
   566       }
   567     }
   568   }
   569 }
   571 void klassVtable::get_mirandas(GrowableArray<methodOop>* mirandas,
   572                                klassOop super, objArrayOop class_methods,
   573                                objArrayOop local_interfaces) {
   574   assert((mirandas->length() == 0) , "current mirandas must be 0");
   576   // iterate thru the local interfaces looking for a miranda
   577   int num_local_ifs = local_interfaces->length();
   578   for (int i = 0; i < num_local_ifs; i++) {
   579     instanceKlass *ik = instanceKlass::cast(klassOop(local_interfaces->obj_at(i)));
   580     add_new_mirandas_to_list(mirandas, ik->methods(), class_methods, super);
   581     // iterate thru each local's super interfaces
   582     objArrayOop super_ifs = ik->transitive_interfaces();
   583     int num_super_ifs = super_ifs->length();
   584     for (int j = 0; j < num_super_ifs; j++) {
   585       instanceKlass *sik = instanceKlass::cast(klassOop(super_ifs->obj_at(j)));
   586       add_new_mirandas_to_list(mirandas, sik->methods(), class_methods, super);
   587     }
   588   }
   589 }
   591 // get number of mirandas
   592 int klassVtable::get_num_mirandas(klassOop super, objArrayOop class_methods, objArrayOop local_interfaces) {
   593   ResourceMark rm;
   594   GrowableArray<methodOop>* mirandas = new GrowableArray<methodOop>(20);
   595   get_mirandas(mirandas, super, class_methods, local_interfaces);
   596   return mirandas->length();
   597 }
   599 // fill in mirandas
   600 void klassVtable::fill_in_mirandas(int& initialized) {
   601   ResourceMark rm;
   602   GrowableArray<methodOop>* mirandas = new GrowableArray<methodOop>(20);
   603   instanceKlass *this_ik = ik();
   604   get_mirandas(mirandas, this_ik->super(), this_ik->methods(), this_ik->local_interfaces());
   605   int num_mirandas = mirandas->length();
   606   for (int i = 0; i < num_mirandas; i++) {
   607     put_method_at(mirandas->at(i), initialized);
   608     initialized++;
   609   }
   610 }
   612 void klassVtable::copy_vtable_to(vtableEntry* start) {
   613   Copy::disjoint_words((HeapWord*)table(), (HeapWord*)start, _length * vtableEntry::size());
   614 }
   616 void klassVtable::adjust_method_entries(methodOop* old_methods, methodOop* new_methods,
   617                                         int methods_length, bool * trace_name_printed) {
   618   // search the vtable for uses of either obsolete or EMCP methods
   619   for (int j = 0; j < methods_length; j++) {
   620     methodOop old_method = old_methods[j];
   621     methodOop new_method = new_methods[j];
   623     // In the vast majority of cases we could get the vtable index
   624     // by using:  old_method->vtable_index()
   625     // However, there are rare cases, eg. sun.awt.X11.XDecoratedPeer.getX()
   626     // in sun.awt.X11.XFramePeer where methods occur more than once in the
   627     // vtable, so, alas, we must do an exhaustive search.
   628     for (int index = 0; index < length(); index++) {
   629       if (unchecked_method_at(index) == old_method) {
   630         put_method_at(new_method, index);
   632         if (RC_TRACE_IN_RANGE(0x00100000, 0x00400000)) {
   633           if (!(*trace_name_printed)) {
   634             // RC_TRACE_MESG macro has an embedded ResourceMark
   635             RC_TRACE_MESG(("adjust: name=%s",
   636                            Klass::cast(old_method->method_holder())->external_name()));
   637             *trace_name_printed = true;
   638           }
   639           // RC_TRACE macro has an embedded ResourceMark
   640           RC_TRACE(0x00100000, ("vtable method update: %s(%s)",
   641                                 new_method->name()->as_C_string(),
   642                                 new_method->signature()->as_C_string()));
   643         }
   644       }
   645     }
   646   }
   647 }
   650 // Garbage collection
   651 void klassVtable::oop_follow_contents() {
   652   int len = length();
   653   for (int i = 0; i < len; i++) {
   654     MarkSweep::mark_and_push(adr_method_at(i));
   655   }
   656 }
   658 #ifndef SERIALGC
   659 void klassVtable::oop_follow_contents(ParCompactionManager* cm) {
   660   int len = length();
   661   for (int i = 0; i < len; i++) {
   662     PSParallelCompact::mark_and_push(cm, adr_method_at(i));
   663   }
   664 }
   665 #endif // SERIALGC
   667 void klassVtable::oop_adjust_pointers() {
   668   int len = length();
   669   for (int i = 0; i < len; i++) {
   670     MarkSweep::adjust_pointer(adr_method_at(i));
   671   }
   672 }
   674 #ifndef SERIALGC
   675 void klassVtable::oop_update_pointers(ParCompactionManager* cm) {
   676   const int n = length();
   677   for (int i = 0; i < n; i++) {
   678     PSParallelCompact::adjust_pointer(adr_method_at(i));
   679   }
   680 }
   682 void klassVtable::oop_update_pointers(ParCompactionManager* cm,
   683                                       HeapWord* beg_addr, HeapWord* end_addr) {
   684   const int n = length();
   685   const int entry_size = vtableEntry::size();
   687   int beg_idx = 0;
   688   HeapWord* const method_0 = (HeapWord*)adr_method_at(0);
   689   if (beg_addr > method_0) {
   690     // it's safe to use cast, as we have guarantees on vtable size to be sane
   691     beg_idx = int((pointer_delta(beg_addr, method_0) + entry_size - 1) / entry_size);
   692   }
   694   oop* const beg_oop = adr_method_at(beg_idx);
   695   oop* const end_oop = MIN2((oop*)end_addr, adr_method_at(n));
   696   for (oop* cur_oop = beg_oop; cur_oop < end_oop; cur_oop += entry_size) {
   697     PSParallelCompact::adjust_pointer(cur_oop);
   698   }
   699 }
   700 #endif // SERIALGC
   702 // Iterators
   703 void klassVtable::oop_oop_iterate(OopClosure* blk) {
   704   int len = length();
   705   for (int i = 0; i < len; i++) {
   706     blk->do_oop(adr_method_at(i));
   707   }
   708 }
   710 void klassVtable::oop_oop_iterate_m(OopClosure* blk, MemRegion mr) {
   711   int len = length();
   712   int i;
   713   for (i = 0; i < len; i++) {
   714     if ((HeapWord*)adr_method_at(i) >= mr.start()) break;
   715   }
   716   for (; i < len; i++) {
   717     oop* adr = adr_method_at(i);
   718     if ((HeapWord*)adr < mr.end()) blk->do_oop(adr);
   719   }
   720 }
   722 //-----------------------------------------------------------------------------------------
   723 // Itable code
   725 // Initialize a itableMethodEntry
   726 void itableMethodEntry::initialize(methodOop m) {
   727   if (m == NULL) return;
   729   _method = m;
   730 }
   732 klassItable::klassItable(instanceKlassHandle klass) {
   733   _klass = klass;
   735   if (klass->itable_length() > 0) {
   736     itableOffsetEntry* offset_entry = (itableOffsetEntry*)klass->start_of_itable();
   737     if (offset_entry  != NULL && offset_entry->interface_klass() != NULL) { // Check that itable is initialized
   738       // First offset entry points to the first method_entry
   739       intptr_t* method_entry  = (intptr_t *)(((address)klass->as_klassOop()) + offset_entry->offset());
   740       intptr_t* end         = klass->end_of_itable();
   742       _table_offset      = (intptr_t*)offset_entry - (intptr_t*)klass->as_klassOop();
   743       _size_offset_table = (method_entry - ((intptr_t*)offset_entry)) / itableOffsetEntry::size();
   744       _size_method_table = (end - method_entry)                  / itableMethodEntry::size();
   745       assert(_table_offset >= 0 && _size_offset_table >= 0 && _size_method_table >= 0, "wrong computation");
   746       return;
   747     }
   748   }
   750   // The length of the itable was either zero, or it has not yet been initialized.
   751   _table_offset      = 0;
   752   _size_offset_table = 0;
   753   _size_method_table = 0;
   754 }
   756 // Garbage Collection
   758 void klassItable::oop_follow_contents() {
   759   // offset table
   760   itableOffsetEntry* ioe = offset_entry(0);
   761   for(int i = 0; i < _size_offset_table; i++) {
   762     MarkSweep::mark_and_push((oop*)&ioe->_interface);
   763     ioe++;
   764   }
   766   // method table
   767   itableMethodEntry* ime = method_entry(0);
   768   for(int j = 0; j < _size_method_table; j++) {
   769     MarkSweep::mark_and_push((oop*)&ime->_method);
   770     ime++;
   771   }
   772 }
   774 #ifndef SERIALGC
   775 void klassItable::oop_follow_contents(ParCompactionManager* cm) {
   776   // offset table
   777   itableOffsetEntry* ioe = offset_entry(0);
   778   for(int i = 0; i < _size_offset_table; i++) {
   779     PSParallelCompact::mark_and_push(cm, (oop*)&ioe->_interface);
   780     ioe++;
   781   }
   783   // method table
   784   itableMethodEntry* ime = method_entry(0);
   785   for(int j = 0; j < _size_method_table; j++) {
   786     PSParallelCompact::mark_and_push(cm, (oop*)&ime->_method);
   787     ime++;
   788   }
   789 }
   790 #endif // SERIALGC
   792 void klassItable::oop_adjust_pointers() {
   793   // offset table
   794   itableOffsetEntry* ioe = offset_entry(0);
   795   for(int i = 0; i < _size_offset_table; i++) {
   796     MarkSweep::adjust_pointer((oop*)&ioe->_interface);
   797     ioe++;
   798   }
   800   // method table
   801   itableMethodEntry* ime = method_entry(0);
   802   for(int j = 0; j < _size_method_table; j++) {
   803     MarkSweep::adjust_pointer((oop*)&ime->_method);
   804     ime++;
   805   }
   806 }
   808 #ifndef SERIALGC
   809 void klassItable::oop_update_pointers(ParCompactionManager* cm) {
   810   // offset table
   811   itableOffsetEntry* ioe = offset_entry(0);
   812   for(int i = 0; i < _size_offset_table; i++) {
   813     PSParallelCompact::adjust_pointer((oop*)&ioe->_interface);
   814     ioe++;
   815   }
   817   // method table
   818   itableMethodEntry* ime = method_entry(0);
   819   for(int j = 0; j < _size_method_table; j++) {
   820     PSParallelCompact::adjust_pointer((oop*)&ime->_method);
   821     ime++;
   822   }
   823 }
   825 void klassItable::oop_update_pointers(ParCompactionManager* cm,
   826                                       HeapWord* beg_addr, HeapWord* end_addr) {
   827   // offset table
   828   itableOffsetEntry* ioe = offset_entry(0);
   829   for(int i = 0; i < _size_offset_table; i++) {
   830     oop* p = (oop*)&ioe->_interface;
   831     PSParallelCompact::adjust_pointer(p, beg_addr, end_addr);
   832     ioe++;
   833   }
   835   // method table
   836   itableMethodEntry* ime = method_entry(0);
   837   for(int j = 0; j < _size_method_table; j++) {
   838     oop* p = (oop*)&ime->_method;
   839     PSParallelCompact::adjust_pointer(p, beg_addr, end_addr);
   840     ime++;
   841   }
   842 }
   843 #endif // SERIALGC
   845 // Iterators
   846 void klassItable::oop_oop_iterate(OopClosure* blk) {
   847   // offset table
   848   itableOffsetEntry* ioe = offset_entry(0);
   849   for(int i = 0; i < _size_offset_table; i++) {
   850     blk->do_oop((oop*)&ioe->_interface);
   851     ioe++;
   852   }
   854   // method table
   855   itableMethodEntry* ime = method_entry(0);
   856   for(int j = 0; j < _size_method_table; j++) {
   857     blk->do_oop((oop*)&ime->_method);
   858     ime++;
   859   }
   860 }
   862 void klassItable::oop_oop_iterate_m(OopClosure* blk, MemRegion mr) {
   863   // offset table
   864   itableOffsetEntry* ioe = offset_entry(0);
   865   for(int i = 0; i < _size_offset_table; i++) {
   866     oop* adr = (oop*)&ioe->_interface;
   867     if (mr.contains(adr)) blk->do_oop(adr);
   868     ioe++;
   869   }
   871   // method table
   872   itableMethodEntry* ime = method_entry(0);
   873   for(int j = 0; j < _size_method_table; j++) {
   874     oop* adr = (oop*)&ime->_method;
   875     if (mr.contains(adr)) blk->do_oop(adr);
   876     ime++;
   877   }
   878 }
   881 static int initialize_count = 0;
   883 // Initialization
   884 void klassItable::initialize_itable(bool checkconstraints, TRAPS) {
   885   // Cannot be setup doing bootstrapping, interfaces don't have
   886   // itables, and klass with only ones entry have empty itables
   887   if (Universe::is_bootstrapping() ||
   888       _klass->is_interface() ||
   889       _klass->itable_length() == itableOffsetEntry::size()) return;
   891   // There's alway an extra itable entry so we can null-terminate it.
   892   guarantee(size_offset_table() >= 1, "too small");
   893   int num_interfaces = size_offset_table() - 1;
   894   if (num_interfaces > 0) {
   895     if (TraceItables) tty->print_cr("%3d: Initializing itables for %s", ++initialize_count,
   896                                     _klass->name()->as_C_string());
   899     // Iterate through all interfaces
   900     int i;
   901     for(i = 0; i < num_interfaces; i++) {
   902       itableOffsetEntry* ioe = offset_entry(i);
   903       KlassHandle interf_h (THREAD, ioe->interface_klass());
   904       assert(interf_h() != NULL && ioe->offset() != 0, "bad offset entry in itable");
   905       initialize_itable_for_interface(ioe->offset(), interf_h, checkconstraints, CHECK);
   906     }
   908   }
   909   // Check that the last entry is empty
   910   itableOffsetEntry* ioe = offset_entry(size_offset_table() - 1);
   911   guarantee(ioe->interface_klass() == NULL && ioe->offset() == 0, "terminator entry missing");
   912 }
   915 void klassItable::initialize_itable_for_interface(int method_table_offset, KlassHandle interf_h, bool checkconstraints, TRAPS) {
   916   objArrayHandle methods(THREAD, instanceKlass::cast(interf_h())->methods());
   917   int nof_methods = methods()->length();
   918   HandleMark hm;
   919   KlassHandle klass = _klass;
   920   assert(nof_methods > 0, "at least one method must exist for interface to be in vtable");
   921   Handle interface_loader (THREAD, instanceKlass::cast(interf_h())->class_loader());
   922   int ime_num = 0;
   924   // Skip first methodOop if it is a class initializer
   925   int i = ((methodOop)methods()->obj_at(0))->name() != vmSymbols::class_initializer_name() ? 0 : 1;
   927   // m, method_name, method_signature, klass reset each loop so they
   928   // don't need preserving across check_signature_loaders call
   929   // methods needs a handle in case of gc from check_signature_loaders
   930   for(; i < nof_methods; i++) {
   931     methodOop m = (methodOop)methods()->obj_at(i);
   932     symbolOop method_name = m->name();
   933     symbolOop method_signature = m->signature();
   935     // This is same code as in Linkresolver::lookup_instance_method_in_klasses
   936     methodOop target = klass->uncached_lookup_method(method_name, method_signature);
   937     while (target != NULL && target->is_static()) {
   938       // continue with recursive lookup through the superclass
   939       klassOop super = Klass::cast(target->method_holder())->super();
   940       target = (super == NULL) ? methodOop(NULL) : Klass::cast(super)->uncached_lookup_method(method_name, method_signature);
   941     }
   942     if (target == NULL || !target->is_public() || target->is_abstract()) {
   943       // Entry do not resolve. Leave it empty
   944     } else {
   945       // Entry did resolve, check loader constraints before initializing
   946       // if checkconstraints requested
   947       methodHandle  target_h (THREAD, target); // preserve across gc
   948       if (checkconstraints) {
   949         Handle method_holder_loader (THREAD, instanceKlass::cast(target->method_holder())->class_loader());
   950         if (method_holder_loader() != interface_loader()) {
   951           ResourceMark rm(THREAD);
   952           char* failed_type_name =
   953             SystemDictionary::check_signature_loaders(method_signature,
   954                                                       method_holder_loader,
   955                                                       interface_loader,
   956                                                       true, CHECK);
   957           if (failed_type_name != NULL) {
   958             const char* msg = "loader constraint violation in interface "
   959               "itable initialization: when resolving method \"%s\" the class"
   960               " loader (instance of %s) of the current class, %s, "
   961               "and the class loader (instance of %s) for interface "
   962               "%s have different Class objects for the type %s "
   963               "used in the signature";
   964             char* sig = target_h()->name_and_sig_as_C_string();
   965             const char* loader1 = SystemDictionary::loader_name(method_holder_loader());
   966             char* current = klass->name()->as_C_string();
   967             const char* loader2 = SystemDictionary::loader_name(interface_loader());
   968             char* iface = instanceKlass::cast(interf_h())->name()->as_C_string();
   969             size_t buflen = strlen(msg) + strlen(sig) + strlen(loader1) +
   970               strlen(current) + strlen(loader2) + strlen(iface) +
   971               strlen(failed_type_name);
   972             char* buf = NEW_RESOURCE_ARRAY_IN_THREAD(THREAD, char, buflen);
   973             jio_snprintf(buf, buflen, msg, sig, loader1, current, loader2,
   974                          iface, failed_type_name);
   975             THROW_MSG(vmSymbols::java_lang_LinkageError(), buf);
   976           }
   977         }
   978       }
   980       // ime may have moved during GC so recalculate address
   981       itableOffsetEntry::method_entry(_klass(), method_table_offset)[ime_num].initialize(target_h());
   982     }
   983     // Progress to next entry
   984     ime_num++;
   985   }
   986 }
   988 // Update entry for specific methodOop
   989 void klassItable::initialize_with_method(methodOop m) {
   990   itableMethodEntry* ime = method_entry(0);
   991   for(int i = 0; i < _size_method_table; i++) {
   992     if (ime->method() == m) {
   993       ime->initialize(m);
   994     }
   995     ime++;
   996   }
   997 }
   999 void klassItable::adjust_method_entries(methodOop* old_methods, methodOop* new_methods,
  1000                                         int methods_length, bool * trace_name_printed) {
  1001   // search the itable for uses of either obsolete or EMCP methods
  1002   for (int j = 0; j < methods_length; j++) {
  1003     methodOop old_method = old_methods[j];
  1004     methodOop new_method = new_methods[j];
  1005     itableMethodEntry* ime = method_entry(0);
  1007     // The itable can describe more than one interface and the same
  1008     // method signature can be specified by more than one interface.
  1009     // This means we have to do an exhaustive search to find all the
  1010     // old_method references.
  1011     for (int i = 0; i < _size_method_table; i++) {
  1012       if (ime->method() == old_method) {
  1013         ime->initialize(new_method);
  1015         if (RC_TRACE_IN_RANGE(0x00100000, 0x00400000)) {
  1016           if (!(*trace_name_printed)) {
  1017             // RC_TRACE_MESG macro has an embedded ResourceMark
  1018             RC_TRACE_MESG(("adjust: name=%s",
  1019               Klass::cast(old_method->method_holder())->external_name()));
  1020             *trace_name_printed = true;
  1022           // RC_TRACE macro has an embedded ResourceMark
  1023           RC_TRACE(0x00200000, ("itable method update: %s(%s)",
  1024             new_method->name()->as_C_string(),
  1025             new_method->signature()->as_C_string()));
  1027         break;
  1029       ime++;
  1035 // Setup
  1036 class InterfaceVisiterClosure : public StackObj {
  1037  public:
  1038   virtual void doit(klassOop intf, int method_count) = 0;
  1039 };
  1041 // Visit all interfaces with at-least one method (excluding <clinit>)
  1042 void visit_all_interfaces(objArrayOop transitive_intf, InterfaceVisiterClosure *blk) {
  1043   // Handle array argument
  1044   for(int i = 0; i < transitive_intf->length(); i++) {
  1045     klassOop intf = (klassOop)transitive_intf->obj_at(i);
  1046     assert(Klass::cast(intf)->is_interface(), "sanity check");
  1048     // Find no. of methods excluding a <clinit>
  1049     int method_count = instanceKlass::cast(intf)->methods()->length();
  1050     if (method_count > 0) {
  1051       methodOop m = (methodOop)instanceKlass::cast(intf)->methods()->obj_at(0);
  1052       assert(m != NULL && m->is_method(), "sanity check");
  1053       if (m->name() == vmSymbols::object_initializer_name()) {
  1054         method_count--;
  1058     // Only count interfaces with at least one method
  1059     if (method_count > 0) {
  1060       blk->doit(intf, method_count);
  1065 class CountInterfacesClosure : public InterfaceVisiterClosure {
  1066  private:
  1067   int _nof_methods;
  1068   int _nof_interfaces;
  1069  public:
  1070    CountInterfacesClosure() { _nof_methods = 0; _nof_interfaces = 0; }
  1072    int nof_methods() const    { return _nof_methods; }
  1073    int nof_interfaces() const { return _nof_interfaces; }
  1075    void doit(klassOop intf, int method_count) { _nof_methods += method_count; _nof_interfaces++; }
  1076 };
  1078 class SetupItableClosure : public InterfaceVisiterClosure  {
  1079  private:
  1080   itableOffsetEntry* _offset_entry;
  1081   itableMethodEntry* _method_entry;
  1082   address            _klass_begin;
  1083  public:
  1084   SetupItableClosure(address klass_begin, itableOffsetEntry* offset_entry, itableMethodEntry* method_entry) {
  1085     _klass_begin  = klass_begin;
  1086     _offset_entry = offset_entry;
  1087     _method_entry = method_entry;
  1090   itableMethodEntry* method_entry() const { return _method_entry; }
  1092   void doit(klassOop intf, int method_count) {
  1093     int offset = ((address)_method_entry) - _klass_begin;
  1094     _offset_entry->initialize(intf, offset);
  1095     _offset_entry++;
  1096     _method_entry += method_count;
  1098 };
  1100 int klassItable::compute_itable_size(objArrayHandle transitive_interfaces) {
  1101   // Count no of interfaces and total number of interface methods
  1102   CountInterfacesClosure cic;
  1103   visit_all_interfaces(transitive_interfaces(), &cic);
  1105   // There's alway an extra itable entry so we can null-terminate it.
  1106   int itable_size = calc_itable_size(cic.nof_interfaces() + 1, cic.nof_methods());
  1108   // Statistics
  1109   update_stats(itable_size * HeapWordSize);
  1111   return itable_size;
  1115 // Fill out offset table and interface klasses into the itable space
  1116 void klassItable::setup_itable_offset_table(instanceKlassHandle klass) {
  1117   if (klass->itable_length() == 0) return;
  1118   assert(!klass->is_interface(), "Should have zero length itable");
  1120   // Count no of interfaces and total number of interface methods
  1121   CountInterfacesClosure cic;
  1122   visit_all_interfaces(klass->transitive_interfaces(), &cic);
  1123   int nof_methods    = cic.nof_methods();
  1124   int nof_interfaces = cic.nof_interfaces();
  1126   // Add one extra entry so we can null-terminate the table
  1127   nof_interfaces++;
  1129   assert(compute_itable_size(objArrayHandle(klass->transitive_interfaces())) ==
  1130          calc_itable_size(nof_interfaces, nof_methods),
  1131          "mismatch calculation of itable size");
  1133   // Fill-out offset table
  1134   itableOffsetEntry* ioe = (itableOffsetEntry*)klass->start_of_itable();
  1135   itableMethodEntry* ime = (itableMethodEntry*)(ioe + nof_interfaces);
  1136   intptr_t* end               = klass->end_of_itable();
  1137   assert((oop*)(ime + nof_methods) <= (oop*)klass->start_of_static_fields(), "wrong offset calculation (1)");
  1138   assert((oop*)(end) == (oop*)(ime + nof_methods),                      "wrong offset calculation (2)");
  1140   // Visit all interfaces and initialize itable offset table
  1141   SetupItableClosure sic((address)klass->as_klassOop(), ioe, ime);
  1142   visit_all_interfaces(klass->transitive_interfaces(), &sic);
  1144 #ifdef ASSERT
  1145   ime  = sic.method_entry();
  1146   oop* v = (oop*) klass->end_of_itable();
  1147   assert( (oop*)(ime) == v, "wrong offset calculation (2)");
  1148 #endif
  1152 // m must be a method in an interface
  1153 int klassItable::compute_itable_index(methodOop m) {
  1154   klassOop intf = m->method_holder();
  1155   assert(instanceKlass::cast(intf)->is_interface(), "sanity check");
  1156   objArrayOop methods = instanceKlass::cast(intf)->methods();
  1157   int index = 0;
  1158   while(methods->obj_at(index) != m) {
  1159     index++;
  1160     assert(index < methods->length(), "should find index for resolve_invoke");
  1162   // Adjust for <clinit>, which is left out of table if first method
  1163   if (methods->length() > 0 && ((methodOop)methods->obj_at(0))->name() == vmSymbols::class_initializer_name()) {
  1164     index--;
  1166   return index;
  1170 // inverse to compute_itable_index
  1171 methodOop klassItable::method_for_itable_index(klassOop intf, int itable_index) {
  1172   assert(instanceKlass::cast(intf)->is_interface(), "sanity check");
  1173   objArrayOop methods = instanceKlass::cast(intf)->methods();
  1175   int index = itable_index;
  1176   // Adjust for <clinit>, which is left out of table if first method
  1177   if (methods->length() > 0 && ((methodOop)methods->obj_at(0))->name() == vmSymbols::class_initializer_name()) {
  1178     index++;
  1181   if (itable_index < 0 || index >= methods->length())
  1182     return NULL;                // help caller defend against bad indexes
  1184   methodOop m = (methodOop)methods->obj_at(index);
  1185   assert(compute_itable_index(m) == itable_index, "correct inverse");
  1187   return m;
  1190 void klassVtable::verify(outputStream* st, bool forced) {
  1191   // make sure table is initialized
  1192   if (!Universe::is_fully_initialized()) return;
  1193 #ifndef PRODUCT
  1194   // avoid redundant verifies
  1195   if (!forced && _verify_count == Universe::verify_count()) return;
  1196   _verify_count = Universe::verify_count();
  1197 #endif
  1198   oop* end_of_obj = (oop*)_klass() + _klass()->size();
  1199   oop* end_of_vtable = (oop *)&table()[_length];
  1200   if (end_of_vtable > end_of_obj) {
  1201     fatal(err_msg("klass %s: klass object too short (vtable extends beyond "
  1202                   "end)", _klass->internal_name()));
  1205   for (int i = 0; i < _length; i++) table()[i].verify(this, st);
  1206   // verify consistency with superKlass vtable
  1207   klassOop super = _klass->super();
  1208   if (super != NULL) {
  1209     instanceKlass* sk = instanceKlass::cast(super);
  1210     klassVtable* vt = sk->vtable();
  1211     for (int i = 0; i < vt->length(); i++) {
  1212       verify_against(st, vt, i);
  1217 void klassVtable::verify_against(outputStream* st, klassVtable* vt, int index) {
  1218   vtableEntry* vte = &vt->table()[index];
  1219   if (vte->method()->name()      != table()[index].method()->name() ||
  1220       vte->method()->signature() != table()[index].method()->signature()) {
  1221     fatal("mismatched name/signature of vtable entries");
  1225 #ifndef PRODUCT
  1226 void klassVtable::print() {
  1227   ResourceMark rm;
  1228   tty->print("klassVtable for klass %s (length %d):\n", _klass->internal_name(), length());
  1229   for (int i = 0; i < length(); i++) {
  1230     table()[i].print();
  1231     tty->cr();
  1234 #endif
  1236 void vtableEntry::verify(klassVtable* vt, outputStream* st) {
  1237   NOT_PRODUCT(FlagSetting fs(IgnoreLockingAssertions, true));
  1238   assert(method() != NULL, "must have set method");
  1239   method()->verify();
  1240   // we sub_type, because it could be a miranda method
  1241   if (!vt->klass()->is_subtype_of(method()->method_holder())) {
  1242 #ifndef PRODUCT
  1243     print();
  1244 #endif
  1245     fatal(err_msg("vtableEntry " PTR_FORMAT ": method is from subclass", this));
  1249 #ifndef PRODUCT
  1251 void vtableEntry::print() {
  1252   ResourceMark rm;
  1253   tty->print("vtableEntry %s: ", method()->name()->as_C_string());
  1254   if (Verbose) {
  1255     tty->print("m %#lx ", (address)method());
  1259 class VtableStats : AllStatic {
  1260  public:
  1261   static int no_klasses;                // # classes with vtables
  1262   static int no_array_klasses;          // # array classes
  1263   static int no_instance_klasses;       // # instanceKlasses
  1264   static int sum_of_vtable_len;         // total # of vtable entries
  1265   static int sum_of_array_vtable_len;   // total # of vtable entries in array klasses only
  1266   static int fixed;                     // total fixed overhead in bytes
  1267   static int filler;                    // overhead caused by filler bytes
  1268   static int entries;                   // total bytes consumed by vtable entries
  1269   static int array_entries;             // total bytes consumed by array vtable entries
  1271   static void do_class(klassOop k) {
  1272     Klass* kl = k->klass_part();
  1273     klassVtable* vt = kl->vtable();
  1274     if (vt == NULL) return;
  1275     no_klasses++;
  1276     if (kl->oop_is_instance()) {
  1277       no_instance_klasses++;
  1278       kl->array_klasses_do(do_class);
  1280     if (kl->oop_is_array()) {
  1281       no_array_klasses++;
  1282       sum_of_array_vtable_len += vt->length();
  1284     sum_of_vtable_len += vt->length();
  1287   static void compute() {
  1288     SystemDictionary::classes_do(do_class);
  1289     fixed  = no_klasses * oopSize;      // vtable length
  1290     // filler size is a conservative approximation
  1291     filler = oopSize * (no_klasses - no_instance_klasses) * (sizeof(instanceKlass) - sizeof(arrayKlass) - 1);
  1292     entries = sizeof(vtableEntry) * sum_of_vtable_len;
  1293     array_entries = sizeof(vtableEntry) * sum_of_array_vtable_len;
  1295 };
  1297 int VtableStats::no_klasses = 0;
  1298 int VtableStats::no_array_klasses = 0;
  1299 int VtableStats::no_instance_klasses = 0;
  1300 int VtableStats::sum_of_vtable_len = 0;
  1301 int VtableStats::sum_of_array_vtable_len = 0;
  1302 int VtableStats::fixed = 0;
  1303 int VtableStats::filler = 0;
  1304 int VtableStats::entries = 0;
  1305 int VtableStats::array_entries = 0;
  1307 void klassVtable::print_statistics() {
  1308   ResourceMark rm;
  1309   HandleMark hm;
  1310   VtableStats::compute();
  1311   tty->print_cr("vtable statistics:");
  1312   tty->print_cr("%6d classes (%d instance, %d array)", VtableStats::no_klasses, VtableStats::no_instance_klasses, VtableStats::no_array_klasses);
  1313   int total = VtableStats::fixed + VtableStats::filler + VtableStats::entries;
  1314   tty->print_cr("%6d bytes fixed overhead (refs + vtable object header)", VtableStats::fixed);
  1315   tty->print_cr("%6d bytes filler overhead", VtableStats::filler);
  1316   tty->print_cr("%6d bytes for vtable entries (%d for arrays)", VtableStats::entries, VtableStats::array_entries);
  1317   tty->print_cr("%6d bytes total", total);
  1320 bool klassVtable::check_no_old_entries() {
  1321   // Check that there really is no entry
  1322   for (int i = 0; i < length(); i++) {
  1323     methodOop m = unchecked_method_at(i);
  1324     if (m != NULL) {
  1325         if (m->is_old()) {
  1326             return false;
  1330   return true;
  1333 void klassVtable::dump_vtable() {
  1334   tty->print_cr("vtable dump --");
  1335   for (int i = 0; i < length(); i++) {
  1336     methodOop m = unchecked_method_at(i);
  1337     if (m != NULL) {
  1338       tty->print("      (%5d)  ", i);
  1339       m->access_flags().print_on(tty);
  1340       tty->print(" --  ");
  1341       m->print_name(tty);
  1342       tty->cr();
  1347 int  klassItable::_total_classes;   // Total no. of classes with itables
  1348 long klassItable::_total_size;      // Total no. of bytes used for itables
  1350 void klassItable::print_statistics() {
  1351  tty->print_cr("itable statistics:");
  1352  tty->print_cr("%6d classes with itables", _total_classes);
  1353  tty->print_cr("%6d K uses for itables (average by class: %d bytes)", _total_size / K, _total_size / _total_classes);
  1356 #endif // PRODUCT

mercurial