duke@435: /*
stefank@2534:  * Copyright (c) 1997, 2011, Oracle and/or its affiliates. All rights reserved.
duke@435:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435:  *
duke@435:  * This code is free software; you can redistribute it and/or modify it
duke@435:  * under the terms of the GNU General Public License version 2 only, as
duke@435:  * published by the Free Software Foundation.
duke@435:  *
duke@435:  * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
duke@435:  * version 2 for more details (a copy is included in the LICENSE file that
duke@435:  * accompanied this code).
duke@435:  *
duke@435:  * You should have received a copy of the GNU General Public License version
duke@435:  * 2 along with this work; if not, write to the Free Software Foundation,
duke@435:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435:  *
trims@1907:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907:  * or visit www.oracle.com if you need additional information or have any
trims@1907:  * questions.
duke@435:  *
duke@435:  */
duke@435: 
stefank@2314: #include "precompiled.hpp"
stefank@2314: #include "classfile/javaClasses.hpp"
stefank@2314: #include "gc_implementation/shared/markSweep.inline.hpp"
stefank@2314: #include "gc_interface/collectedHeap.inline.hpp"
stefank@2314: #include "memory/oopFactory.hpp"
stefank@2314: #include "memory/permGen.hpp"
stefank@2314: #include "memory/universe.inline.hpp"
stefank@2314: #include "oops/constantPoolKlass.hpp"
stefank@2314: #include "oops/constantPoolOop.hpp"
stefank@2314: #include "oops/oop.inline.hpp"
stefank@2314: #include "oops/oop.inline2.hpp"
coleenp@2497: #include "oops/symbol.hpp"
stefank@2314: #include "runtime/handles.inline.hpp"
stefank@2314: #ifdef TARGET_OS_FAMILY_linux
stefank@2314: # include "thread_linux.inline.hpp"
stefank@2314: #endif
stefank@2314: #ifdef TARGET_OS_FAMILY_solaris
stefank@2314: # include "thread_solaris.inline.hpp"
stefank@2314: #endif
stefank@2314: #ifdef TARGET_OS_FAMILY_windows
stefank@2314: # include "thread_windows.inline.hpp"
stefank@2314: #endif
stefank@2314: #ifndef SERIALGC
stefank@2314: #include "gc_implementation/parNew/parOopClosures.inline.hpp"
stefank@2314: #include "gc_implementation/parallelScavenge/psPromotionManager.inline.hpp"
stefank@2314: #include "gc_implementation/parallelScavenge/psScavenge.inline.hpp"
stefank@2314: #include "memory/cardTableRS.hpp"
stefank@2314: #include "oops/oop.pcgc.inline.hpp"
stefank@2314: #endif
duke@435: 
jmasa@953: constantPoolOop constantPoolKlass::allocate(int length, bool is_conc_safe, TRAPS) {
duke@435:   int size = constantPoolOopDesc::object_size(length);
duke@435:   KlassHandle klass (THREAD, as_klassOop());
ysr@2536:   assert(klass()->is_oop(), "Can't be null, else handlizing of c below won't work");
ysr@2536:   constantPoolHandle pool;
ysr@2536:   {
ysr@2536:     constantPoolOop c =
ysr@2536:       (constantPoolOop)CollectedHeap::permanent_obj_allocate(klass, size, CHECK_NULL);
ysr@2536:     assert(c->klass_or_null() != NULL, "Handlizing below won't work");
ysr@2536:     pool = constantPoolHandle(THREAD, c);
ysr@2536:   }
duke@435: 
ysr@2536:   pool->set_length(length);
ysr@2536:   pool->set_tags(NULL);
ysr@2536:   pool->set_cache(NULL);
ysr@2536:   pool->set_operands(NULL);
ysr@2536:   pool->set_pool_holder(NULL);
ysr@2536:   pool->set_flags(0);
duke@435:   // only set to non-zero if constant pool is merged by RedefineClasses
ysr@2536:   pool->set_orig_length(0);
jmasa@953:   // if constant pool may change during RedefineClasses, it is created
jmasa@953:   // unsafe for GC concurrent processing.
ysr@2536:   pool->set_is_conc_safe(is_conc_safe);
duke@435:   // all fields are initialized; needed for GC
duke@435: 
ysr@2533:   // Note: because we may be in this "conc_unsafe" state when allocating
ysr@2533:   // t_oop below, which may in turn cause a GC, it is imperative that our
ysr@2533:   // size be correct, consistent and henceforth stable, at this stage.
ysr@2536:   assert(pool->is_oop() && pool->is_parsable(), "Else size() below is unreliable");
ysr@2536:   assert(size == pool->size(), "size() is wrong");
ysr@2533: 
duke@435:   // initialize tag array
duke@435:   typeArrayOop t_oop = oopFactory::new_permanent_byteArray(length, CHECK_NULL);
duke@435:   typeArrayHandle tags (THREAD, t_oop);
duke@435:   for (int index = 0; index < length; index++) {
duke@435:     tags()->byte_at_put(index, JVM_CONSTANT_Invalid);
duke@435:   }
duke@435:   pool->set_tags(tags());
duke@435: 
ysr@2533:   // Check that our size was stable at its old value.
ysr@2536:   assert(size == pool->size(), "size() changed");
duke@435:   return pool();
duke@435: }
duke@435: 
duke@435: klassOop constantPoolKlass::create_klass(TRAPS) {
duke@435:   constantPoolKlass o;
coleenp@548:   KlassHandle h_this_klass(THREAD, Universe::klassKlassObj());
coleenp@548:   KlassHandle k = base_create_klass(h_this_klass, header_size(), o.vtbl_value(), CHECK_NULL);
coleenp@548:   // Make sure size calculation is right
coleenp@548:   assert(k()->size() == align_object_size(header_size()), "wrong size for object");
coleenp@548:   java_lang_Class::create_mirror(k, CHECK_NULL); // Allocate mirror
duke@435:   return k();
duke@435: }
duke@435: 
duke@435: int constantPoolKlass::oop_size(oop obj) const {
duke@435:   assert(obj->is_constantPool(), "must be constantPool");
duke@435:   return constantPoolOop(obj)->object_size();
duke@435: }
duke@435: 
duke@435: 
duke@435: void constantPoolKlass::oop_follow_contents(oop obj) {
duke@435:   assert (obj->is_constantPool(), "obj must be constant pool");
duke@435:   constantPoolOop cp = (constantPoolOop) obj;
duke@435:   // Performance tweak: We skip iterating over the klass pointer since we
duke@435:   // know that Universe::constantPoolKlassObj never moves.
duke@435: 
duke@435:   // If the tags array is null we are in the middle of allocating this constant pool
duke@435:   if (cp->tags() != NULL) {
duke@435:     // gc of constant pool contents
duke@435:     oop* base = (oop*)cp->base();
duke@435:     for (int i = 0; i < cp->length(); i++) {
duke@435:       if (cp->is_pointer_entry(i)) {
duke@435:         if (*base != NULL) MarkSweep::mark_and_push(base);
duke@435:       }
duke@435:       base++;
duke@435:     }
duke@435:     // gc of constant pool instance variables
duke@435:     MarkSweep::mark_and_push(cp->tags_addr());
duke@435:     MarkSweep::mark_and_push(cp->cache_addr());
jrose@2268:     MarkSweep::mark_and_push(cp->operands_addr());
duke@435:     MarkSweep::mark_and_push(cp->pool_holder_addr());
duke@435:   }
duke@435: }
duke@435: 
duke@435: #ifndef SERIALGC
duke@435: void constantPoolKlass::oop_follow_contents(ParCompactionManager* cm,
duke@435:                                             oop obj) {
duke@435:   assert (obj->is_constantPool(), "obj must be constant pool");
duke@435:   constantPoolOop cp = (constantPoolOop) obj;
duke@435:   // Performance tweak: We skip iterating over the klass pointer since we
duke@435:   // know that Universe::constantPoolKlassObj never moves.
duke@435: 
duke@435:   // If the tags array is null we are in the middle of allocating this constant
duke@435:   // pool.
duke@435:   if (cp->tags() != NULL) {
duke@435:     // gc of constant pool contents
duke@435:     oop* base = (oop*)cp->base();
duke@435:     for (int i = 0; i < cp->length(); i++) {
duke@435:       if (cp->is_pointer_entry(i)) {
duke@435:         if (*base != NULL) PSParallelCompact::mark_and_push(cm, base);
duke@435:       }
duke@435:       base++;
duke@435:     }
duke@435:     // gc of constant pool instance variables
duke@435:     PSParallelCompact::mark_and_push(cm, cp->tags_addr());
duke@435:     PSParallelCompact::mark_and_push(cm, cp->cache_addr());
jrose@2268:     PSParallelCompact::mark_and_push(cm, cp->operands_addr());
duke@435:     PSParallelCompact::mark_and_push(cm, cp->pool_holder_addr());
duke@435:   }
duke@435: }
duke@435: #endif // SERIALGC
duke@435: 
duke@435: 
duke@435: int constantPoolKlass::oop_adjust_pointers(oop obj) {
duke@435:   assert (obj->is_constantPool(), "obj must be constant pool");
duke@435:   constantPoolOop cp = (constantPoolOop) obj;
duke@435:   // Get size before changing pointers.
duke@435:   // Don't call size() or oop_size() since that is a virtual call.
duke@435:   int size = cp->object_size();
duke@435:   // Performance tweak: We skip iterating over the klass pointer since we
duke@435:   // know that Universe::constantPoolKlassObj never moves.
duke@435: 
duke@435:   // If the tags array is null we are in the middle of allocating this constant
duke@435:   // pool.
duke@435:   if (cp->tags() != NULL) {
duke@435:     oop* base = (oop*)cp->base();
duke@435:     for (int i = 0; i< cp->length();  i++) {
duke@435:       if (cp->is_pointer_entry(i)) {
duke@435:         MarkSweep::adjust_pointer(base);
duke@435:       }
duke@435:       base++;
duke@435:     }
duke@435:   }
duke@435:   MarkSweep::adjust_pointer(cp->tags_addr());
duke@435:   MarkSweep::adjust_pointer(cp->cache_addr());
jrose@2268:   MarkSweep::adjust_pointer(cp->operands_addr());
duke@435:   MarkSweep::adjust_pointer(cp->pool_holder_addr());
duke@435:   return size;
duke@435: }
duke@435: 
duke@435: 
duke@435: int constantPoolKlass::oop_oop_iterate(oop obj, OopClosure* blk) {
duke@435:   assert (obj->is_constantPool(), "obj must be constant pool");
duke@435:   // Performance tweak: We skip iterating over the klass pointer since we
duke@435:   // know that Universe::constantPoolKlassObj never moves.
duke@435:   constantPoolOop cp = (constantPoolOop) obj;
duke@435:   // Get size before changing pointers.
duke@435:   // Don't call size() or oop_size() since that is a virtual call.
duke@435:   int size = cp->object_size();
duke@435: 
duke@435:   // If the tags array is null we are in the middle of allocating this constant
duke@435:   // pool.
duke@435:   if (cp->tags() != NULL) {
duke@435:     oop* base = (oop*)cp->base();
duke@435:     for (int i = 0; i < cp->length(); i++) {
duke@435:       if (cp->is_pointer_entry(i)) {
duke@435:         blk->do_oop(base);
duke@435:       }
duke@435:       base++;
duke@435:     }
duke@435:   }
duke@435:   blk->do_oop(cp->tags_addr());
duke@435:   blk->do_oop(cp->cache_addr());
jrose@2268:   blk->do_oop(cp->operands_addr());
duke@435:   blk->do_oop(cp->pool_holder_addr());
duke@435:   return size;
duke@435: }
duke@435: 
duke@435: 
duke@435: int constantPoolKlass::oop_oop_iterate_m(oop obj, OopClosure* blk, MemRegion mr) {
duke@435:   assert (obj->is_constantPool(), "obj must be constant pool");
duke@435:   // Performance tweak: We skip iterating over the klass pointer since we
duke@435:   // know that Universe::constantPoolKlassObj never moves.
duke@435:   constantPoolOop cp = (constantPoolOop) obj;
duke@435:   // Get size before changing pointers.
duke@435:   // Don't call size() or oop_size() since that is a virtual call.
duke@435:   int size = cp->object_size();
duke@435: 
duke@435:   // If the tags array is null we are in the middle of allocating this constant
duke@435:   // pool.
duke@435:   if (cp->tags() != NULL) {
duke@435:     oop* base = (oop*)cp->base();
duke@435:     for (int i = 0; i < cp->length(); i++) {
duke@435:       if (mr.contains(base)) {
duke@435:         if (cp->is_pointer_entry(i)) {
duke@435:           blk->do_oop(base);
duke@435:         }
duke@435:       }
duke@435:       base++;
duke@435:     }
duke@435:   }
duke@435:   oop* addr;
duke@435:   addr = cp->tags_addr();
ysr@2709:   if (mr.contains(addr)) blk->do_oop(addr);
duke@435:   addr = cp->cache_addr();
ysr@2709:   if (mr.contains(addr)) blk->do_oop(addr);
jrose@2268:   addr = cp->operands_addr();
ysr@2709:   if (mr.contains(addr)) blk->do_oop(addr);
duke@435:   addr = cp->pool_holder_addr();
ysr@2709:   if (mr.contains(addr)) blk->do_oop(addr);
duke@435:   return size;
duke@435: }
duke@435: 
jmasa@953: bool constantPoolKlass::oop_is_conc_safe(oop obj) const {
jmasa@953:   assert(obj->is_constantPool(), "must be constantPool");
jmasa@953:   return constantPoolOop(obj)->is_conc_safe();
jmasa@953: }
jmasa@953: 
duke@435: #ifndef SERIALGC
duke@435: int constantPoolKlass::oop_update_pointers(ParCompactionManager* cm, oop obj) {
duke@435:   assert (obj->is_constantPool(), "obj must be constant pool");
duke@435:   constantPoolOop cp = (constantPoolOop) obj;
duke@435: 
duke@435:   // If the tags array is null we are in the middle of allocating this constant
duke@435:   // pool.
duke@435:   if (cp->tags() != NULL) {
duke@435:     oop* base = (oop*)cp->base();
duke@435:     for (int i = 0; i < cp->length(); ++i, ++base) {
duke@435:       if (cp->is_pointer_entry(i)) {
duke@435:         PSParallelCompact::adjust_pointer(base);
duke@435:       }
duke@435:     }
duke@435:   }
duke@435:   PSParallelCompact::adjust_pointer(cp->tags_addr());
duke@435:   PSParallelCompact::adjust_pointer(cp->cache_addr());
jrose@2268:   PSParallelCompact::adjust_pointer(cp->operands_addr());
duke@435:   PSParallelCompact::adjust_pointer(cp->pool_holder_addr());
duke@435:   return cp->object_size();
duke@435: }
duke@435: 
duke@435: void constantPoolKlass::oop_push_contents(PSPromotionManager* pm, oop obj) {
duke@435:   assert(obj->is_constantPool(), "should be constant pool");
jrose@866:   constantPoolOop cp = (constantPoolOop) obj;
never@2900:   if (cp->tags() != NULL) {
jcoomes@2661:     for (int i = 1; i < cp->length(); ++i) {
never@2900:       if (cp->is_pointer_entry(i)) {
jcoomes@2661:         oop* base = cp->obj_at_addr_raw(i);
jrose@866:         if (PSScavenge::should_scavenge(base)) {
jrose@866:           pm->claim_or_forward_depth(base);
jrose@866:         }
jrose@866:       }
jrose@866:     }
jrose@866:   }
duke@435: }
duke@435: #endif // SERIALGC
duke@435: 
duke@435: // Printing
duke@435: 
duke@435: void constantPoolKlass::oop_print_on(oop obj, outputStream* st) {
duke@435:   EXCEPTION_MARK;
duke@435:   oop anObj;
duke@435:   assert(obj->is_constantPool(), "must be constantPool");
coleenp@548:   Klass::oop_print_on(obj, st);
duke@435:   constantPoolOop cp = constantPoolOop(obj);
jrose@866:   if (cp->flags() != 0) {
jrose@1928:     st->print(" - flags: 0x%x", cp->flags());
jrose@866:     if (cp->has_pseudo_string()) st->print(" has_pseudo_string");
jrose@1161:     if (cp->has_invokedynamic()) st->print(" has_invokedynamic");
jrose@2982:     if (cp->has_preresolution()) st->print(" has_preresolution");
jrose@866:     st->cr();
jrose@866:   }
jrose@2982:   if (cp->pool_holder() != NULL) {
jrose@2982:     bool extra = (instanceKlass::cast(cp->pool_holder())->constants() != cp);
jrose@2982:     st->print_cr(" - holder: " INTPTR_FORMAT "%s", cp->pool_holder(), (extra? " (extra)" : ""));
jrose@2982:   }
jrose@1928:   st->print_cr(" - cache: " INTPTR_FORMAT, cp->cache());
duke@435:   for (int index = 1; index < cp->length(); index++) {      // Index 0 is unused
duke@435:     st->print(" - %3d : ", index);
duke@435:     cp->tag_at(index).print_on(st);
duke@435:     st->print(" : ");
duke@435:     switch (cp->tag_at(index).value()) {
duke@435:       case JVM_CONSTANT_Class :
duke@435:         { anObj = cp->klass_at(index, CATCH);
duke@435:           anObj->print_value_on(st);
duke@435:           st->print(" {0x%lx}", (address)anObj);
duke@435:         }
duke@435:         break;
duke@435:       case JVM_CONSTANT_Fieldref :
duke@435:       case JVM_CONSTANT_Methodref :
duke@435:       case JVM_CONSTANT_InterfaceMethodref :
jrose@1928:         st->print("klass_index=%d", cp->uncached_klass_ref_index_at(index));
jrose@1928:         st->print(" name_and_type_index=%d", cp->uncached_name_and_type_ref_index_at(index));
duke@435:         break;
duke@435:       case JVM_CONSTANT_UnresolvedString :
duke@435:       case JVM_CONSTANT_String :
jrose@866:         if (cp->is_pseudo_string_at(index)) {
jrose@866:           anObj = cp->pseudo_string_at(index);
jrose@866:         } else {
jrose@866:           anObj = cp->string_at(index, CATCH);
jrose@866:         }
duke@435:         anObj->print_value_on(st);
duke@435:         st->print(" {0x%lx}", (address)anObj);
duke@435:         break;
never@2900:       case JVM_CONSTANT_Object :
never@2900:         anObj = cp->object_at(index);
never@2900:         anObj->print_value_on(st);
never@2900:         st->print(" {0x%lx}", (address)anObj);
never@2900:         break;
duke@435:       case JVM_CONSTANT_Integer :
duke@435:         st->print("%d", cp->int_at(index));
duke@435:         break;
duke@435:       case JVM_CONSTANT_Float :
duke@435:         st->print("%f", cp->float_at(index));
duke@435:         break;
duke@435:       case JVM_CONSTANT_Long :
duke@435:         st->print_jlong(cp->long_at(index));
duke@435:         index++;   // Skip entry following eigth-byte constant
duke@435:         break;
duke@435:       case JVM_CONSTANT_Double :
duke@435:         st->print("%lf", cp->double_at(index));
duke@435:         index++;   // Skip entry following eigth-byte constant
duke@435:         break;
duke@435:       case JVM_CONSTANT_NameAndType :
duke@435:         st->print("name_index=%d", cp->name_ref_index_at(index));
duke@435:         st->print(" signature_index=%d", cp->signature_ref_index_at(index));
duke@435:         break;
duke@435:       case JVM_CONSTANT_Utf8 :
duke@435:         cp->symbol_at(index)->print_value_on(st);
duke@435:         break;
duke@435:       case JVM_CONSTANT_UnresolvedClass :               // fall-through
duke@435:       case JVM_CONSTANT_UnresolvedClassInError: {
duke@435:         // unresolved_klass_at requires lock or safe world.
coleenp@2497:         CPSlot entry = cp->slot_at(index);
coleenp@2497:         if (entry.is_oop()) {
coleenp@2497:           entry.get_oop()->print_value_on(st);
coleenp@2497:         } else {
coleenp@2497:           entry.get_symbol()->print_value_on(st);
coleenp@2497:         }
duke@435:         }
duke@435:         break;
jrose@1957:       case JVM_CONSTANT_MethodHandle :
jrose@1957:         st->print("ref_kind=%d", cp->method_handle_ref_kind_at(index));
jrose@1957:         st->print(" ref_index=%d", cp->method_handle_index_at(index));
jrose@1957:         break;
jrose@1957:       case JVM_CONSTANT_MethodType :
jrose@1957:         st->print("signature_index=%d", cp->method_type_index_at(index));
jrose@1957:         break;
jrose@2015:       case JVM_CONSTANT_InvokeDynamic :
jrose@2268:         {
jrose@2268:           st->print("bootstrap_method_index=%d", cp->invoke_dynamic_bootstrap_method_ref_index_at(index));
jrose@2268:           st->print(" name_and_type_index=%d", cp->invoke_dynamic_name_and_type_ref_index_at(index));
jrose@2268:           int argc = cp->invoke_dynamic_argument_count_at(index);
jrose@2268:           if (argc > 0) {
jrose@2268:             for (int arg_i = 0; arg_i < argc; arg_i++) {
jrose@2268:               int arg = cp->invoke_dynamic_argument_index_at(index, arg_i);
jrose@2268:               st->print((arg_i == 0 ? " arguments={%d" : ", %d"), arg);
jrose@2268:             }
jrose@2268:             st->print("}");
jrose@2268:           }
jrose@2268:         }
jrose@2015:         break;
duke@435:       default:
duke@435:         ShouldNotReachHere();
duke@435:         break;
duke@435:     }
duke@435:     st->cr();
duke@435:   }
duke@435:   st->cr();
duke@435: }
duke@435: 
jrose@1590: void constantPoolKlass::oop_print_value_on(oop obj, outputStream* st) {
jrose@1590:   assert(obj->is_constantPool(), "must be constantPool");
jrose@1590:   constantPoolOop cp = constantPoolOop(obj);
jrose@1590:   st->print("constant pool [%d]", cp->length());
jrose@1590:   if (cp->has_pseudo_string()) st->print("/pseudo_string");
jrose@1590:   if (cp->has_invokedynamic()) st->print("/invokedynamic");
jrose@2982:   if (cp->has_preresolution()) st->print("/preresolution");
jrose@2268:   if (cp->operands() != NULL)  st->print("/operands[%d]", cp->operands()->length());
jrose@1590:   cp->print_address_on(st);
jrose@1590:   st->print(" for ");
jrose@1590:   cp->pool_holder()->print_value_on(st);
jrose@2982:   if (cp->pool_holder() != NULL) {
jrose@2982:     bool extra = (instanceKlass::cast(cp->pool_holder())->constants() != cp);
jrose@2982:     if (extra)  st->print(" (extra)");
jrose@2982:   }
jrose@1928:   if (cp->cache() != NULL) {
jrose@1928:     st->print(" cache=" PTR_FORMAT, cp->cache());
jrose@1928:   }
jrose@1590: }
duke@435: 
duke@435: const char* constantPoolKlass::internal_name() const {
duke@435:   return "{constant pool}";
duke@435: }
duke@435: 
duke@435: // Verification
duke@435: 
duke@435: void constantPoolKlass::oop_verify_on(oop obj, outputStream* st) {
duke@435:   Klass::oop_verify_on(obj, st);
duke@435:   guarantee(obj->is_constantPool(), "object must be constant pool");
duke@435:   constantPoolOop cp = constantPoolOop(obj);
duke@435:   guarantee(cp->is_perm(), "should be in permspace");
duke@435:   if (!cp->partially_loaded()) {
duke@435:     for (int i = 0; i< cp->length();  i++) {
never@2900:       constantTag tag = cp->tag_at(i);
coleenp@2497:       CPSlot entry = cp->slot_at(i);
never@2900:       if (tag.is_klass()) {
coleenp@2497:         if (entry.is_oop()) {
coleenp@2497:           guarantee(entry.get_oop()->is_perm(),     "should be in permspace");
coleenp@2497:           guarantee(entry.get_oop()->is_klass(),    "should be klass");
coleenp@2497:         }
never@2900:       } else if (tag.is_unresolved_klass()) {
coleenp@2497:         if (entry.is_oop()) {
coleenp@2497:           guarantee(entry.get_oop()->is_perm(),     "should be in permspace");
coleenp@2497:           guarantee(entry.get_oop()->is_klass(),    "should be klass");
coleenp@2497:         }
never@2900:       } else if (tag.is_symbol()) {
coleenp@2497:         guarantee(entry.get_symbol()->refcount() != 0, "should have nonzero reference count");
never@2900:       } else if (tag.is_unresolved_string()) {
coleenp@2497:         if (entry.is_oop()) {
coleenp@2497:           guarantee(entry.get_oop()->is_perm(),     "should be in permspace");
coleenp@2497:           guarantee(entry.get_oop()->is_instance(), "should be instance");
coleenp@2497:         }
coleenp@2497:         else {
coleenp@2497:           guarantee(entry.get_symbol()->refcount() != 0, "should have nonzero reference count");
coleenp@2497:         }
never@2900:       } else if (tag.is_string()) {
jrose@866:         if (!cp->has_pseudo_string()) {
coleenp@2497:           if (entry.is_oop()) {
jcoomes@2661:             guarantee(!JavaObjectsInPerm || entry.get_oop()->is_perm(),
jcoomes@2661:                       "should be in permspace");
coleenp@2497:             guarantee(entry.get_oop()->is_instance(), "should be instance");
coleenp@2497:           }
jrose@866:         } else {
jrose@866:           // can be non-perm, can be non-instance (array)
jrose@866:         }
never@2900:       } else if (tag.is_object()) {
never@2900:         assert(entry.get_oop()->is_oop(), "should be some valid oop");
never@2900:       } else {
never@2900:         assert(!cp->is_pointer_entry(i), "unhandled oop type in constantPoolKlass::verify_on");
duke@435:       }
duke@435:     }
duke@435:     guarantee(cp->tags()->is_perm(),         "should be in permspace");
duke@435:     guarantee(cp->tags()->is_typeArray(),    "should be type array");
duke@435:     if (cp->cache() != NULL) {
duke@435:       // Note: cache() can be NULL before a class is completely setup or
duke@435:       // in temporary constant pools used during constant pool merging
duke@435:       guarantee(cp->cache()->is_perm(),              "should be in permspace");
duke@435:       guarantee(cp->cache()->is_constantPoolCache(), "should be constant pool cache");
duke@435:     }
jrose@2268:     if (cp->operands() != NULL) {
jrose@2268:       guarantee(cp->operands()->is_perm(),  "should be in permspace");
jrose@2268:       guarantee(cp->operands()->is_typeArray(), "should be type array");
jrose@2268:     }
duke@435:     if (cp->pool_holder() != NULL) {
duke@435:       // Note: pool_holder() can be NULL in temporary constant pools
duke@435:       // used during constant pool merging
duke@435:       guarantee(cp->pool_holder()->is_perm(),  "should be in permspace");
duke@435:       guarantee(cp->pool_holder()->is_klass(), "should be klass");
duke@435:     }
duke@435:   }
duke@435: }
duke@435: 
duke@435: bool constantPoolKlass::oop_partially_loaded(oop obj) const {
duke@435:   assert(obj->is_constantPool(), "object must be constant pool");
duke@435:   constantPoolOop cp = constantPoolOop(obj);
duke@435:   return cp->tags() == NULL || cp->pool_holder() == (klassOop) cp;   // Check whether pool holder points to self
duke@435: }
duke@435: 
duke@435: 
duke@435: void constantPoolKlass::oop_set_partially_loaded(oop obj) {
duke@435:   assert(obj->is_constantPool(), "object must be constant pool");
duke@435:   constantPoolOop cp = constantPoolOop(obj);
duke@435:   assert(cp->pool_holder() == NULL, "just checking");
duke@435:   cp->set_pool_holder((klassOop) cp);   // Temporarily set pool holder to point to self
duke@435: }
duke@435: 
duke@435: #ifndef PRODUCT
duke@435: // CompileTheWorld support. Preload all classes loaded references in the passed in constantpool
duke@435: void constantPoolKlass::preload_and_initialize_all_classes(oop obj, TRAPS) {
duke@435:   guarantee(obj->is_constantPool(), "object must be constant pool");
duke@435:   constantPoolHandle cp(THREAD, (constantPoolOop)obj);
duke@435:   guarantee(!cp->partially_loaded(), "must be fully loaded");
duke@435: 
duke@435:   for (int i = 0; i< cp->length();  i++) {
duke@435:     if (cp->tag_at(i).is_unresolved_klass()) {
duke@435:       // This will force loading of the class
duke@435:       klassOop klass = cp->klass_at(i, CHECK);
duke@435:       if (klass->is_instance()) {
duke@435:         // Force initialization of class
duke@435:         instanceKlass::cast(klass)->initialize(CHECK);
duke@435:       }
duke@435:     }
duke@435:   }
duke@435: }
duke@435: 
duke@435: #endif