src/share/vm/oops/constantPoolKlass.cpp

Thu, 22 Jul 2010 10:27:41 -0400

author
tonyp
date
Thu, 22 Jul 2010 10:27:41 -0400
changeset 2061
9d7a8ab3736b
parent 2015
083fde3b838e
child 2068
7fcd5f39bd7a
permissions
-rw-r--r--

6962589: remove breadth first scanning code from parallel gc
Summary: Remove the breadth-first copying order from ParallelScavenge and use depth-first by default.
Reviewed-by: jcoomes, ysr, johnc

     1 /*
     2  * Copyright (c) 1997, 2009, 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 "incls/_precompiled.incl"
    26 # include "incls/_constantPoolKlass.cpp.incl"
    28 constantPoolOop constantPoolKlass::allocate(int length, bool is_conc_safe, TRAPS) {
    29   int size = constantPoolOopDesc::object_size(length);
    30   KlassHandle klass (THREAD, as_klassOop());
    31   constantPoolOop c =
    32     (constantPoolOop)CollectedHeap::permanent_obj_allocate(klass, size, CHECK_NULL);
    34   c->set_length(length);
    35   c->set_tags(NULL);
    36   c->set_cache(NULL);
    37   c->set_pool_holder(NULL);
    38   c->set_flags(0);
    39   // only set to non-zero if constant pool is merged by RedefineClasses
    40   c->set_orig_length(0);
    41   // if constant pool may change during RedefineClasses, it is created
    42   // unsafe for GC concurrent processing.
    43   c->set_is_conc_safe(is_conc_safe);
    44   // all fields are initialized; needed for GC
    46   // initialize tag array
    47   // Note: cannot introduce constant pool handle before since it is not
    48   //       completely initialized (no class) -> would cause assertion failure
    49   constantPoolHandle pool (THREAD, c);
    50   typeArrayOop t_oop = oopFactory::new_permanent_byteArray(length, CHECK_NULL);
    51   typeArrayHandle tags (THREAD, t_oop);
    52   for (int index = 0; index < length; index++) {
    53     tags()->byte_at_put(index, JVM_CONSTANT_Invalid);
    54   }
    55   pool->set_tags(tags());
    57   return pool();
    58 }
    60 klassOop constantPoolKlass::create_klass(TRAPS) {
    61   constantPoolKlass o;
    62   KlassHandle h_this_klass(THREAD, Universe::klassKlassObj());
    63   KlassHandle k = base_create_klass(h_this_klass, header_size(), o.vtbl_value(), CHECK_NULL);
    64   // Make sure size calculation is right
    65   assert(k()->size() == align_object_size(header_size()), "wrong size for object");
    66   java_lang_Class::create_mirror(k, CHECK_NULL); // Allocate mirror
    67   return k();
    68 }
    70 int constantPoolKlass::oop_size(oop obj) const {
    71   assert(obj->is_constantPool(), "must be constantPool");
    72   return constantPoolOop(obj)->object_size();
    73 }
    76 void constantPoolKlass::oop_follow_contents(oop obj) {
    77   assert (obj->is_constantPool(), "obj must be constant pool");
    78   constantPoolOop cp = (constantPoolOop) obj;
    79   // Performance tweak: We skip iterating over the klass pointer since we
    80   // know that Universe::constantPoolKlassObj never moves.
    82   // If the tags array is null we are in the middle of allocating this constant pool
    83   if (cp->tags() != NULL) {
    84     // gc of constant pool contents
    85     oop* base = (oop*)cp->base();
    86     for (int i = 0; i < cp->length(); i++) {
    87       if (cp->is_pointer_entry(i)) {
    88         if (*base != NULL) MarkSweep::mark_and_push(base);
    89       }
    90       base++;
    91     }
    92     // gc of constant pool instance variables
    93     MarkSweep::mark_and_push(cp->tags_addr());
    94     MarkSweep::mark_and_push(cp->cache_addr());
    95     MarkSweep::mark_and_push(cp->pool_holder_addr());
    96   }
    97 }
    99 #ifndef SERIALGC
   100 void constantPoolKlass::oop_follow_contents(ParCompactionManager* cm,
   101                                             oop obj) {
   102   assert (obj->is_constantPool(), "obj must be constant pool");
   103   constantPoolOop cp = (constantPoolOop) obj;
   104   // Performance tweak: We skip iterating over the klass pointer since we
   105   // know that Universe::constantPoolKlassObj never moves.
   107   // If the tags array is null we are in the middle of allocating this constant
   108   // pool.
   109   if (cp->tags() != NULL) {
   110     // gc of constant pool contents
   111     oop* base = (oop*)cp->base();
   112     for (int i = 0; i < cp->length(); i++) {
   113       if (cp->is_pointer_entry(i)) {
   114         if (*base != NULL) PSParallelCompact::mark_and_push(cm, base);
   115       }
   116       base++;
   117     }
   118     // gc of constant pool instance variables
   119     PSParallelCompact::mark_and_push(cm, cp->tags_addr());
   120     PSParallelCompact::mark_and_push(cm, cp->cache_addr());
   121     PSParallelCompact::mark_and_push(cm, cp->pool_holder_addr());
   122   }
   123 }
   124 #endif // SERIALGC
   127 int constantPoolKlass::oop_adjust_pointers(oop obj) {
   128   assert (obj->is_constantPool(), "obj must be constant pool");
   129   constantPoolOop cp = (constantPoolOop) obj;
   130   // Get size before changing pointers.
   131   // Don't call size() or oop_size() since that is a virtual call.
   132   int size = cp->object_size();
   133   // Performance tweak: We skip iterating over the klass pointer since we
   134   // know that Universe::constantPoolKlassObj never moves.
   136   // If the tags array is null we are in the middle of allocating this constant
   137   // pool.
   138   if (cp->tags() != NULL) {
   139     oop* base = (oop*)cp->base();
   140     for (int i = 0; i< cp->length();  i++) {
   141       if (cp->is_pointer_entry(i)) {
   142         MarkSweep::adjust_pointer(base);
   143       }
   144       base++;
   145     }
   146   }
   147   MarkSweep::adjust_pointer(cp->tags_addr());
   148   MarkSweep::adjust_pointer(cp->cache_addr());
   149   MarkSweep::adjust_pointer(cp->pool_holder_addr());
   150   return size;
   151 }
   154 int constantPoolKlass::oop_oop_iterate(oop obj, OopClosure* blk) {
   155   assert (obj->is_constantPool(), "obj must be constant pool");
   156   // Performance tweak: We skip iterating over the klass pointer since we
   157   // know that Universe::constantPoolKlassObj never moves.
   158   constantPoolOop cp = (constantPoolOop) obj;
   159   // Get size before changing pointers.
   160   // Don't call size() or oop_size() since that is a virtual call.
   161   int size = cp->object_size();
   163   // If the tags array is null we are in the middle of allocating this constant
   164   // pool.
   165   if (cp->tags() != NULL) {
   166     oop* base = (oop*)cp->base();
   167     for (int i = 0; i < cp->length(); i++) {
   168       if (cp->is_pointer_entry(i)) {
   169         blk->do_oop(base);
   170       }
   171       base++;
   172     }
   173   }
   174   blk->do_oop(cp->tags_addr());
   175   blk->do_oop(cp->cache_addr());
   176   blk->do_oop(cp->pool_holder_addr());
   177   return size;
   178 }
   181 int constantPoolKlass::oop_oop_iterate_m(oop obj, OopClosure* blk, MemRegion mr) {
   182   assert (obj->is_constantPool(), "obj must be constant pool");
   183   // Performance tweak: We skip iterating over the klass pointer since we
   184   // know that Universe::constantPoolKlassObj never moves.
   185   constantPoolOop cp = (constantPoolOop) obj;
   186   // Get size before changing pointers.
   187   // Don't call size() or oop_size() since that is a virtual call.
   188   int size = cp->object_size();
   190   // If the tags array is null we are in the middle of allocating this constant
   191   // pool.
   192   if (cp->tags() != NULL) {
   193     oop* base = (oop*)cp->base();
   194     for (int i = 0; i < cp->length(); i++) {
   195       if (mr.contains(base)) {
   196         if (cp->is_pointer_entry(i)) {
   197           blk->do_oop(base);
   198         }
   199       }
   200       base++;
   201     }
   202   }
   203   oop* addr;
   204   addr = cp->tags_addr();
   205   blk->do_oop(addr);
   206   addr = cp->cache_addr();
   207   blk->do_oop(addr);
   208   addr = cp->pool_holder_addr();
   209   blk->do_oop(addr);
   210   return size;
   211 }
   213 bool constantPoolKlass::oop_is_conc_safe(oop obj) const {
   214   assert(obj->is_constantPool(), "must be constantPool");
   215   return constantPoolOop(obj)->is_conc_safe();
   216 }
   218 #ifndef SERIALGC
   219 int constantPoolKlass::oop_update_pointers(ParCompactionManager* cm, oop obj) {
   220   assert (obj->is_constantPool(), "obj must be constant pool");
   221   constantPoolOop cp = (constantPoolOop) obj;
   223   // If the tags array is null we are in the middle of allocating this constant
   224   // pool.
   225   if (cp->tags() != NULL) {
   226     oop* base = (oop*)cp->base();
   227     for (int i = 0; i < cp->length(); ++i, ++base) {
   228       if (cp->is_pointer_entry(i)) {
   229         PSParallelCompact::adjust_pointer(base);
   230       }
   231     }
   232   }
   233   PSParallelCompact::adjust_pointer(cp->tags_addr());
   234   PSParallelCompact::adjust_pointer(cp->cache_addr());
   235   PSParallelCompact::adjust_pointer(cp->pool_holder_addr());
   236   return cp->object_size();
   237 }
   239 int
   240 constantPoolKlass::oop_update_pointers(ParCompactionManager* cm, oop obj,
   241                                        HeapWord* beg_addr, HeapWord* end_addr) {
   242   assert (obj->is_constantPool(), "obj must be constant pool");
   243   constantPoolOop cp = (constantPoolOop) obj;
   245   // If the tags array is null we are in the middle of allocating this constant
   246   // pool.
   247   if (cp->tags() != NULL) {
   248     oop* base = (oop*)cp->base();
   249     oop* const beg_oop = MAX2((oop*)beg_addr, base);
   250     oop* const end_oop = MIN2((oop*)end_addr, base + cp->length());
   251     const size_t beg_idx = pointer_delta(beg_oop, base, sizeof(oop*));
   252     const size_t end_idx = pointer_delta(end_oop, base, sizeof(oop*));
   253     for (size_t cur_idx = beg_idx; cur_idx < end_idx; ++cur_idx, ++base) {
   254       if (cp->is_pointer_entry(int(cur_idx))) {
   255         PSParallelCompact::adjust_pointer(base);
   256       }
   257     }
   258   }
   260   oop* p;
   261   p = cp->tags_addr();
   262   PSParallelCompact::adjust_pointer(p, beg_addr, end_addr);
   263   p = cp->cache_addr();
   264   PSParallelCompact::adjust_pointer(p, beg_addr, end_addr);
   265   p = cp->pool_holder_addr();
   266   PSParallelCompact::adjust_pointer(p, beg_addr, end_addr);
   268   return cp->object_size();
   269 }
   271 void constantPoolKlass::oop_push_contents(PSPromotionManager* pm, oop obj) {
   272   assert(obj->is_constantPool(), "should be constant pool");
   273   constantPoolOop cp = (constantPoolOop) obj;
   274   if (AnonymousClasses && cp->has_pseudo_string() && cp->tags() != NULL) {
   275     oop* base = (oop*)cp->base();
   276     for (int i = 0; i < cp->length(); ++i, ++base) {
   277       if (cp->tag_at(i).is_string()) {
   278         if (PSScavenge::should_scavenge(base)) {
   279           pm->claim_or_forward_depth(base);
   280         }
   281       }
   282     }
   283   }
   284 }
   285 #endif // SERIALGC
   287 #ifndef PRODUCT
   289 // Printing
   291 void constantPoolKlass::oop_print_on(oop obj, outputStream* st) {
   292   EXCEPTION_MARK;
   293   oop anObj;
   294   assert(obj->is_constantPool(), "must be constantPool");
   295   Klass::oop_print_on(obj, st);
   296   constantPoolOop cp = constantPoolOop(obj);
   297   if (cp->flags() != 0) {
   298     st->print(" - flags: 0x%x", cp->flags());
   299     if (cp->has_pseudo_string()) st->print(" has_pseudo_string");
   300     if (cp->has_invokedynamic()) st->print(" has_invokedynamic");
   301     st->cr();
   302   }
   303   st->print_cr(" - cache: " INTPTR_FORMAT, cp->cache());
   305   for (int index = 1; index < cp->length(); index++) {      // Index 0 is unused
   306     st->print(" - %3d : ", index);
   307     cp->tag_at(index).print_on(st);
   308     st->print(" : ");
   309     switch (cp->tag_at(index).value()) {
   310       case JVM_CONSTANT_Class :
   311         { anObj = cp->klass_at(index, CATCH);
   312           anObj->print_value_on(st);
   313           st->print(" {0x%lx}", (address)anObj);
   314         }
   315         break;
   316       case JVM_CONSTANT_Fieldref :
   317       case JVM_CONSTANT_Methodref :
   318       case JVM_CONSTANT_InterfaceMethodref :
   319         st->print("klass_index=%d", cp->uncached_klass_ref_index_at(index));
   320         st->print(" name_and_type_index=%d", cp->uncached_name_and_type_ref_index_at(index));
   321         break;
   322       case JVM_CONSTANT_UnresolvedString :
   323       case JVM_CONSTANT_String :
   324         if (cp->is_pseudo_string_at(index)) {
   325           anObj = cp->pseudo_string_at(index);
   326         } else {
   327           anObj = cp->string_at(index, CATCH);
   328         }
   329         anObj->print_value_on(st);
   330         st->print(" {0x%lx}", (address)anObj);
   331         break;
   332       case JVM_CONSTANT_Integer :
   333         st->print("%d", cp->int_at(index));
   334         break;
   335       case JVM_CONSTANT_Float :
   336         st->print("%f", cp->float_at(index));
   337         break;
   338       case JVM_CONSTANT_Long :
   339         st->print_jlong(cp->long_at(index));
   340         index++;   // Skip entry following eigth-byte constant
   341         break;
   342       case JVM_CONSTANT_Double :
   343         st->print("%lf", cp->double_at(index));
   344         index++;   // Skip entry following eigth-byte constant
   345         break;
   346       case JVM_CONSTANT_NameAndType :
   347         st->print("name_index=%d", cp->name_ref_index_at(index));
   348         st->print(" signature_index=%d", cp->signature_ref_index_at(index));
   349         break;
   350       case JVM_CONSTANT_Utf8 :
   351         cp->symbol_at(index)->print_value_on(st);
   352         break;
   353       case JVM_CONSTANT_UnresolvedClass :               // fall-through
   354       case JVM_CONSTANT_UnresolvedClassInError: {
   355         // unresolved_klass_at requires lock or safe world.
   356         oop entry = *cp->obj_at_addr(index);
   357         entry->print_value_on(st);
   358         }
   359         break;
   360       case JVM_CONSTANT_MethodHandle :
   361         st->print("ref_kind=%d", cp->method_handle_ref_kind_at(index));
   362         st->print(" ref_index=%d", cp->method_handle_index_at(index));
   363         break;
   364       case JVM_CONSTANT_MethodType :
   365         st->print("signature_index=%d", cp->method_type_index_at(index));
   366         break;
   367       case JVM_CONSTANT_InvokeDynamic :
   368         st->print("bootstrap_method_index=%d", cp->invoke_dynamic_bootstrap_method_ref_index_at(index));
   369         st->print(" name_and_type_index=%d", cp->invoke_dynamic_name_and_type_ref_index_at(index));
   370         break;
   371       default:
   372         ShouldNotReachHere();
   373         break;
   374     }
   375     st->cr();
   376   }
   377   st->cr();
   378 }
   380 #endif
   382 void constantPoolKlass::oop_print_value_on(oop obj, outputStream* st) {
   383   assert(obj->is_constantPool(), "must be constantPool");
   384   constantPoolOop cp = constantPoolOop(obj);
   385   st->print("constant pool [%d]", cp->length());
   386   if (cp->has_pseudo_string()) st->print("/pseudo_string");
   387   if (cp->has_invokedynamic()) st->print("/invokedynamic");
   388   cp->print_address_on(st);
   389   st->print(" for ");
   390   cp->pool_holder()->print_value_on(st);
   391   if (cp->cache() != NULL) {
   392     st->print(" cache=" PTR_FORMAT, cp->cache());
   393   }
   394 }
   396 const char* constantPoolKlass::internal_name() const {
   397   return "{constant pool}";
   398 }
   400 // Verification
   402 void constantPoolKlass::oop_verify_on(oop obj, outputStream* st) {
   403   Klass::oop_verify_on(obj, st);
   404   guarantee(obj->is_constantPool(), "object must be constant pool");
   405   constantPoolOop cp = constantPoolOop(obj);
   406   guarantee(cp->is_perm(), "should be in permspace");
   407   if (!cp->partially_loaded()) {
   408     oop* base = (oop*)cp->base();
   409     for (int i = 0; i< cp->length();  i++) {
   410       if (cp->tag_at(i).is_klass()) {
   411         guarantee((*base)->is_perm(),     "should be in permspace");
   412         guarantee((*base)->is_klass(),    "should be klass");
   413       }
   414       if (cp->tag_at(i).is_unresolved_klass()) {
   415         guarantee((*base)->is_perm(),     "should be in permspace");
   416         guarantee((*base)->is_symbol() || (*base)->is_klass(),
   417                   "should be symbol or klass");
   418       }
   419       if (cp->tag_at(i).is_symbol()) {
   420         guarantee((*base)->is_perm(),     "should be in permspace");
   421         guarantee((*base)->is_symbol(),   "should be symbol");
   422       }
   423       if (cp->tag_at(i).is_unresolved_string()) {
   424         guarantee((*base)->is_perm(),     "should be in permspace");
   425         guarantee((*base)->is_symbol() || (*base)->is_instance(),
   426                   "should be symbol or instance");
   427       }
   428       if (cp->tag_at(i).is_string()) {
   429         if (!cp->has_pseudo_string()) {
   430           guarantee((*base)->is_perm(),   "should be in permspace");
   431           guarantee((*base)->is_instance(), "should be instance");
   432         } else {
   433           // can be non-perm, can be non-instance (array)
   434         }
   435       }
   436       // FIXME: verify JSR 292 tags JVM_CONSTANT_MethodHandle, etc.
   437       base++;
   438     }
   439     guarantee(cp->tags()->is_perm(),         "should be in permspace");
   440     guarantee(cp->tags()->is_typeArray(),    "should be type array");
   441     if (cp->cache() != NULL) {
   442       // Note: cache() can be NULL before a class is completely setup or
   443       // in temporary constant pools used during constant pool merging
   444       guarantee(cp->cache()->is_perm(),              "should be in permspace");
   445       guarantee(cp->cache()->is_constantPoolCache(), "should be constant pool cache");
   446     }
   447     if (cp->pool_holder() != NULL) {
   448       // Note: pool_holder() can be NULL in temporary constant pools
   449       // used during constant pool merging
   450       guarantee(cp->pool_holder()->is_perm(),  "should be in permspace");
   451       guarantee(cp->pool_holder()->is_klass(), "should be klass");
   452     }
   453   }
   454 }
   456 bool constantPoolKlass::oop_partially_loaded(oop obj) const {
   457   assert(obj->is_constantPool(), "object must be constant pool");
   458   constantPoolOop cp = constantPoolOop(obj);
   459   return cp->tags() == NULL || cp->pool_holder() == (klassOop) cp;   // Check whether pool holder points to self
   460 }
   463 void constantPoolKlass::oop_set_partially_loaded(oop obj) {
   464   assert(obj->is_constantPool(), "object must be constant pool");
   465   constantPoolOop cp = constantPoolOop(obj);
   466   assert(cp->pool_holder() == NULL, "just checking");
   467   cp->set_pool_holder((klassOop) cp);   // Temporarily set pool holder to point to self
   468 }
   470 #ifndef PRODUCT
   471 // CompileTheWorld support. Preload all classes loaded references in the passed in constantpool
   472 void constantPoolKlass::preload_and_initialize_all_classes(oop obj, TRAPS) {
   473   guarantee(obj->is_constantPool(), "object must be constant pool");
   474   constantPoolHandle cp(THREAD, (constantPoolOop)obj);
   475   guarantee(!cp->partially_loaded(), "must be fully loaded");
   477   for (int i = 0; i< cp->length();  i++) {
   478     if (cp->tag_at(i).is_unresolved_klass()) {
   479       // This will force loading of the class
   480       klassOop klass = cp->klass_at(i, CHECK);
   481       if (klass->is_instance()) {
   482         // Force initialization of class
   483         instanceKlass::cast(klass)->initialize(CHECK);
   484       }
   485     }
   486   }
   487 }
   489 #endif

mercurial