src/share/vm/oops/constantPoolKlass.cpp

Mon, 25 Jun 2012 21:33:35 -0400

author
coleenp
date
Mon, 25 Jun 2012 21:33:35 -0400
changeset 3875
246d977b51f2
parent 3256
c9a03402fe56
permissions
-rw-r--r--

7178670: runtime/7158800/BadUtf8.java fails in SymbolTable::rehash_table
Summary: Cannot delete _buckets and HashtableEntries in shared space (CDS)
Reviewed-by: acorn, kvn, dlong, dcubed, kamg

duke@435 1 /*
stefank@2534 2 * Copyright (c) 1997, 2011, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #include "precompiled.hpp"
stefank@2314 26 #include "classfile/javaClasses.hpp"
stefank@2314 27 #include "gc_implementation/shared/markSweep.inline.hpp"
stefank@2314 28 #include "gc_interface/collectedHeap.inline.hpp"
stefank@2314 29 #include "memory/oopFactory.hpp"
stefank@2314 30 #include "memory/permGen.hpp"
stefank@2314 31 #include "memory/universe.inline.hpp"
stefank@2314 32 #include "oops/constantPoolKlass.hpp"
stefank@2314 33 #include "oops/constantPoolOop.hpp"
stefank@2314 34 #include "oops/oop.inline.hpp"
stefank@2314 35 #include "oops/oop.inline2.hpp"
coleenp@2497 36 #include "oops/symbol.hpp"
stefank@2314 37 #include "runtime/handles.inline.hpp"
stefank@2314 38 #ifdef TARGET_OS_FAMILY_linux
stefank@2314 39 # include "thread_linux.inline.hpp"
stefank@2314 40 #endif
stefank@2314 41 #ifdef TARGET_OS_FAMILY_solaris
stefank@2314 42 # include "thread_solaris.inline.hpp"
stefank@2314 43 #endif
stefank@2314 44 #ifdef TARGET_OS_FAMILY_windows
stefank@2314 45 # include "thread_windows.inline.hpp"
stefank@2314 46 #endif
never@3156 47 #ifdef TARGET_OS_FAMILY_bsd
never@3156 48 # include "thread_bsd.inline.hpp"
never@3156 49 #endif
stefank@2314 50 #ifndef SERIALGC
stefank@2314 51 #include "gc_implementation/parNew/parOopClosures.inline.hpp"
stefank@2314 52 #include "gc_implementation/parallelScavenge/psPromotionManager.inline.hpp"
stefank@2314 53 #include "gc_implementation/parallelScavenge/psScavenge.inline.hpp"
stefank@2314 54 #include "memory/cardTableRS.hpp"
stefank@2314 55 #include "oops/oop.pcgc.inline.hpp"
stefank@2314 56 #endif
duke@435 57
jmasa@953 58 constantPoolOop constantPoolKlass::allocate(int length, bool is_conc_safe, TRAPS) {
duke@435 59 int size = constantPoolOopDesc::object_size(length);
duke@435 60 KlassHandle klass (THREAD, as_klassOop());
ysr@2536 61 assert(klass()->is_oop(), "Can't be null, else handlizing of c below won't work");
ysr@2536 62 constantPoolHandle pool;
ysr@2536 63 {
ysr@2536 64 constantPoolOop c =
ysr@2536 65 (constantPoolOop)CollectedHeap::permanent_obj_allocate(klass, size, CHECK_NULL);
ysr@2536 66 assert(c->klass_or_null() != NULL, "Handlizing below won't work");
ysr@2536 67 pool = constantPoolHandle(THREAD, c);
ysr@2536 68 }
duke@435 69
ysr@2536 70 pool->set_length(length);
ysr@2536 71 pool->set_tags(NULL);
ysr@2536 72 pool->set_cache(NULL);
ysr@2536 73 pool->set_operands(NULL);
ysr@2536 74 pool->set_pool_holder(NULL);
ysr@2536 75 pool->set_flags(0);
duke@435 76 // only set to non-zero if constant pool is merged by RedefineClasses
ysr@2536 77 pool->set_orig_length(0);
jmasa@953 78 // if constant pool may change during RedefineClasses, it is created
jmasa@953 79 // unsafe for GC concurrent processing.
ysr@2536 80 pool->set_is_conc_safe(is_conc_safe);
duke@435 81 // all fields are initialized; needed for GC
duke@435 82
ysr@2533 83 // Note: because we may be in this "conc_unsafe" state when allocating
ysr@2533 84 // t_oop below, which may in turn cause a GC, it is imperative that our
ysr@2533 85 // size be correct, consistent and henceforth stable, at this stage.
ysr@2536 86 assert(pool->is_oop() && pool->is_parsable(), "Else size() below is unreliable");
ysr@2536 87 assert(size == pool->size(), "size() is wrong");
ysr@2533 88
duke@435 89 // initialize tag array
duke@435 90 typeArrayOop t_oop = oopFactory::new_permanent_byteArray(length, CHECK_NULL);
duke@435 91 typeArrayHandle tags (THREAD, t_oop);
duke@435 92 for (int index = 0; index < length; index++) {
duke@435 93 tags()->byte_at_put(index, JVM_CONSTANT_Invalid);
duke@435 94 }
duke@435 95 pool->set_tags(tags());
duke@435 96
ysr@2533 97 // Check that our size was stable at its old value.
ysr@2536 98 assert(size == pool->size(), "size() changed");
duke@435 99 return pool();
duke@435 100 }
duke@435 101
duke@435 102 klassOop constantPoolKlass::create_klass(TRAPS) {
duke@435 103 constantPoolKlass o;
coleenp@548 104 KlassHandle h_this_klass(THREAD, Universe::klassKlassObj());
coleenp@548 105 KlassHandle k = base_create_klass(h_this_klass, header_size(), o.vtbl_value(), CHECK_NULL);
coleenp@548 106 // Make sure size calculation is right
coleenp@548 107 assert(k()->size() == align_object_size(header_size()), "wrong size for object");
coleenp@548 108 java_lang_Class::create_mirror(k, CHECK_NULL); // Allocate mirror
duke@435 109 return k();
duke@435 110 }
duke@435 111
duke@435 112 int constantPoolKlass::oop_size(oop obj) const {
duke@435 113 assert(obj->is_constantPool(), "must be constantPool");
duke@435 114 return constantPoolOop(obj)->object_size();
duke@435 115 }
duke@435 116
duke@435 117
duke@435 118 void constantPoolKlass::oop_follow_contents(oop obj) {
duke@435 119 assert (obj->is_constantPool(), "obj must be constant pool");
duke@435 120 constantPoolOop cp = (constantPoolOop) obj;
duke@435 121 // Performance tweak: We skip iterating over the klass pointer since we
duke@435 122 // know that Universe::constantPoolKlassObj never moves.
duke@435 123
duke@435 124 // If the tags array is null we are in the middle of allocating this constant pool
duke@435 125 if (cp->tags() != NULL) {
duke@435 126 // gc of constant pool contents
duke@435 127 oop* base = (oop*)cp->base();
duke@435 128 for (int i = 0; i < cp->length(); i++) {
duke@435 129 if (cp->is_pointer_entry(i)) {
duke@435 130 if (*base != NULL) MarkSweep::mark_and_push(base);
duke@435 131 }
duke@435 132 base++;
duke@435 133 }
duke@435 134 // gc of constant pool instance variables
duke@435 135 MarkSweep::mark_and_push(cp->tags_addr());
duke@435 136 MarkSweep::mark_and_push(cp->cache_addr());
jrose@2268 137 MarkSweep::mark_and_push(cp->operands_addr());
duke@435 138 MarkSweep::mark_and_push(cp->pool_holder_addr());
duke@435 139 }
duke@435 140 }
duke@435 141
duke@435 142 #ifndef SERIALGC
duke@435 143 void constantPoolKlass::oop_follow_contents(ParCompactionManager* cm,
duke@435 144 oop obj) {
duke@435 145 assert (obj->is_constantPool(), "obj must be constant pool");
duke@435 146 constantPoolOop cp = (constantPoolOop) obj;
duke@435 147 // Performance tweak: We skip iterating over the klass pointer since we
duke@435 148 // know that Universe::constantPoolKlassObj never moves.
duke@435 149
duke@435 150 // If the tags array is null we are in the middle of allocating this constant
duke@435 151 // pool.
duke@435 152 if (cp->tags() != NULL) {
duke@435 153 // gc of constant pool contents
duke@435 154 oop* base = (oop*)cp->base();
duke@435 155 for (int i = 0; i < cp->length(); i++) {
duke@435 156 if (cp->is_pointer_entry(i)) {
duke@435 157 if (*base != NULL) PSParallelCompact::mark_and_push(cm, base);
duke@435 158 }
duke@435 159 base++;
duke@435 160 }
duke@435 161 // gc of constant pool instance variables
duke@435 162 PSParallelCompact::mark_and_push(cm, cp->tags_addr());
duke@435 163 PSParallelCompact::mark_and_push(cm, cp->cache_addr());
jrose@2268 164 PSParallelCompact::mark_and_push(cm, cp->operands_addr());
duke@435 165 PSParallelCompact::mark_and_push(cm, cp->pool_holder_addr());
duke@435 166 }
duke@435 167 }
duke@435 168 #endif // SERIALGC
duke@435 169
duke@435 170
duke@435 171 int constantPoolKlass::oop_adjust_pointers(oop obj) {
duke@435 172 assert (obj->is_constantPool(), "obj must be constant pool");
duke@435 173 constantPoolOop cp = (constantPoolOop) obj;
duke@435 174 // Get size before changing pointers.
duke@435 175 // Don't call size() or oop_size() since that is a virtual call.
duke@435 176 int size = cp->object_size();
duke@435 177 // Performance tweak: We skip iterating over the klass pointer since we
duke@435 178 // know that Universe::constantPoolKlassObj never moves.
duke@435 179
duke@435 180 // If the tags array is null we are in the middle of allocating this constant
duke@435 181 // pool.
duke@435 182 if (cp->tags() != NULL) {
duke@435 183 oop* base = (oop*)cp->base();
duke@435 184 for (int i = 0; i< cp->length(); i++) {
duke@435 185 if (cp->is_pointer_entry(i)) {
duke@435 186 MarkSweep::adjust_pointer(base);
duke@435 187 }
duke@435 188 base++;
duke@435 189 }
duke@435 190 }
duke@435 191 MarkSweep::adjust_pointer(cp->tags_addr());
duke@435 192 MarkSweep::adjust_pointer(cp->cache_addr());
jrose@2268 193 MarkSweep::adjust_pointer(cp->operands_addr());
duke@435 194 MarkSweep::adjust_pointer(cp->pool_holder_addr());
duke@435 195 return size;
duke@435 196 }
duke@435 197
duke@435 198
duke@435 199 int constantPoolKlass::oop_oop_iterate(oop obj, OopClosure* blk) {
duke@435 200 assert (obj->is_constantPool(), "obj must be constant pool");
duke@435 201 // Performance tweak: We skip iterating over the klass pointer since we
duke@435 202 // know that Universe::constantPoolKlassObj never moves.
duke@435 203 constantPoolOop cp = (constantPoolOop) obj;
duke@435 204 // Get size before changing pointers.
duke@435 205 // Don't call size() or oop_size() since that is a virtual call.
duke@435 206 int size = cp->object_size();
duke@435 207
duke@435 208 // If the tags array is null we are in the middle of allocating this constant
duke@435 209 // pool.
duke@435 210 if (cp->tags() != NULL) {
duke@435 211 oop* base = (oop*)cp->base();
duke@435 212 for (int i = 0; i < cp->length(); i++) {
duke@435 213 if (cp->is_pointer_entry(i)) {
duke@435 214 blk->do_oop(base);
duke@435 215 }
duke@435 216 base++;
duke@435 217 }
duke@435 218 }
duke@435 219 blk->do_oop(cp->tags_addr());
duke@435 220 blk->do_oop(cp->cache_addr());
jrose@2268 221 blk->do_oop(cp->operands_addr());
duke@435 222 blk->do_oop(cp->pool_holder_addr());
duke@435 223 return size;
duke@435 224 }
duke@435 225
duke@435 226
duke@435 227 int constantPoolKlass::oop_oop_iterate_m(oop obj, OopClosure* blk, MemRegion mr) {
duke@435 228 assert (obj->is_constantPool(), "obj must be constant pool");
duke@435 229 // Performance tweak: We skip iterating over the klass pointer since we
duke@435 230 // know that Universe::constantPoolKlassObj never moves.
duke@435 231 constantPoolOop cp = (constantPoolOop) obj;
duke@435 232 // Get size before changing pointers.
duke@435 233 // Don't call size() or oop_size() since that is a virtual call.
duke@435 234 int size = cp->object_size();
duke@435 235
duke@435 236 // If the tags array is null we are in the middle of allocating this constant
duke@435 237 // pool.
duke@435 238 if (cp->tags() != NULL) {
duke@435 239 oop* base = (oop*)cp->base();
duke@435 240 for (int i = 0; i < cp->length(); i++) {
duke@435 241 if (mr.contains(base)) {
duke@435 242 if (cp->is_pointer_entry(i)) {
duke@435 243 blk->do_oop(base);
duke@435 244 }
duke@435 245 }
duke@435 246 base++;
duke@435 247 }
duke@435 248 }
duke@435 249 oop* addr;
duke@435 250 addr = cp->tags_addr();
ysr@2709 251 if (mr.contains(addr)) blk->do_oop(addr);
duke@435 252 addr = cp->cache_addr();
ysr@2709 253 if (mr.contains(addr)) blk->do_oop(addr);
jrose@2268 254 addr = cp->operands_addr();
ysr@2709 255 if (mr.contains(addr)) blk->do_oop(addr);
duke@435 256 addr = cp->pool_holder_addr();
ysr@2709 257 if (mr.contains(addr)) blk->do_oop(addr);
duke@435 258 return size;
duke@435 259 }
duke@435 260
jmasa@953 261 bool constantPoolKlass::oop_is_conc_safe(oop obj) const {
jmasa@953 262 assert(obj->is_constantPool(), "must be constantPool");
jmasa@953 263 return constantPoolOop(obj)->is_conc_safe();
jmasa@953 264 }
jmasa@953 265
duke@435 266 #ifndef SERIALGC
duke@435 267 int constantPoolKlass::oop_update_pointers(ParCompactionManager* cm, oop obj) {
duke@435 268 assert (obj->is_constantPool(), "obj must be constant pool");
duke@435 269 constantPoolOop cp = (constantPoolOop) obj;
duke@435 270
duke@435 271 // If the tags array is null we are in the middle of allocating this constant
duke@435 272 // pool.
duke@435 273 if (cp->tags() != NULL) {
duke@435 274 oop* base = (oop*)cp->base();
duke@435 275 for (int i = 0; i < cp->length(); ++i, ++base) {
duke@435 276 if (cp->is_pointer_entry(i)) {
duke@435 277 PSParallelCompact::adjust_pointer(base);
duke@435 278 }
duke@435 279 }
duke@435 280 }
duke@435 281 PSParallelCompact::adjust_pointer(cp->tags_addr());
duke@435 282 PSParallelCompact::adjust_pointer(cp->cache_addr());
jrose@2268 283 PSParallelCompact::adjust_pointer(cp->operands_addr());
duke@435 284 PSParallelCompact::adjust_pointer(cp->pool_holder_addr());
duke@435 285 return cp->object_size();
duke@435 286 }
duke@435 287
duke@435 288 void constantPoolKlass::oop_push_contents(PSPromotionManager* pm, oop obj) {
duke@435 289 assert(obj->is_constantPool(), "should be constant pool");
jrose@866 290 constantPoolOop cp = (constantPoolOop) obj;
never@2900 291 if (cp->tags() != NULL) {
jcoomes@2661 292 for (int i = 1; i < cp->length(); ++i) {
never@2900 293 if (cp->is_pointer_entry(i)) {
jcoomes@2661 294 oop* base = cp->obj_at_addr_raw(i);
jrose@866 295 if (PSScavenge::should_scavenge(base)) {
jrose@866 296 pm->claim_or_forward_depth(base);
jrose@866 297 }
jrose@866 298 }
jrose@866 299 }
jrose@866 300 }
duke@435 301 }
duke@435 302 #endif // SERIALGC
duke@435 303
duke@435 304 // Printing
duke@435 305
duke@435 306 void constantPoolKlass::oop_print_on(oop obj, outputStream* st) {
duke@435 307 EXCEPTION_MARK;
duke@435 308 oop anObj;
duke@435 309 assert(obj->is_constantPool(), "must be constantPool");
coleenp@548 310 Klass::oop_print_on(obj, st);
duke@435 311 constantPoolOop cp = constantPoolOop(obj);
jrose@866 312 if (cp->flags() != 0) {
jrose@1928 313 st->print(" - flags: 0x%x", cp->flags());
jrose@866 314 if (cp->has_pseudo_string()) st->print(" has_pseudo_string");
jrose@1161 315 if (cp->has_invokedynamic()) st->print(" has_invokedynamic");
jrose@2982 316 if (cp->has_preresolution()) st->print(" has_preresolution");
jrose@866 317 st->cr();
jrose@866 318 }
jrose@2982 319 if (cp->pool_holder() != NULL) {
jrose@2982 320 bool extra = (instanceKlass::cast(cp->pool_holder())->constants() != cp);
jrose@2982 321 st->print_cr(" - holder: " INTPTR_FORMAT "%s", cp->pool_holder(), (extra? " (extra)" : ""));
jrose@2982 322 }
jrose@1928 323 st->print_cr(" - cache: " INTPTR_FORMAT, cp->cache());
duke@435 324 for (int index = 1; index < cp->length(); index++) { // Index 0 is unused
duke@435 325 st->print(" - %3d : ", index);
duke@435 326 cp->tag_at(index).print_on(st);
duke@435 327 st->print(" : ");
duke@435 328 switch (cp->tag_at(index).value()) {
duke@435 329 case JVM_CONSTANT_Class :
duke@435 330 { anObj = cp->klass_at(index, CATCH);
duke@435 331 anObj->print_value_on(st);
duke@435 332 st->print(" {0x%lx}", (address)anObj);
duke@435 333 }
duke@435 334 break;
duke@435 335 case JVM_CONSTANT_Fieldref :
duke@435 336 case JVM_CONSTANT_Methodref :
duke@435 337 case JVM_CONSTANT_InterfaceMethodref :
jrose@1928 338 st->print("klass_index=%d", cp->uncached_klass_ref_index_at(index));
jrose@1928 339 st->print(" name_and_type_index=%d", cp->uncached_name_and_type_ref_index_at(index));
duke@435 340 break;
duke@435 341 case JVM_CONSTANT_UnresolvedString :
duke@435 342 case JVM_CONSTANT_String :
jrose@866 343 if (cp->is_pseudo_string_at(index)) {
jrose@866 344 anObj = cp->pseudo_string_at(index);
jrose@866 345 } else {
jrose@866 346 anObj = cp->string_at(index, CATCH);
jrose@866 347 }
duke@435 348 anObj->print_value_on(st);
duke@435 349 st->print(" {0x%lx}", (address)anObj);
duke@435 350 break;
never@2900 351 case JVM_CONSTANT_Object :
never@2900 352 anObj = cp->object_at(index);
never@2900 353 anObj->print_value_on(st);
never@2900 354 st->print(" {0x%lx}", (address)anObj);
never@2900 355 break;
duke@435 356 case JVM_CONSTANT_Integer :
duke@435 357 st->print("%d", cp->int_at(index));
duke@435 358 break;
duke@435 359 case JVM_CONSTANT_Float :
duke@435 360 st->print("%f", cp->float_at(index));
duke@435 361 break;
duke@435 362 case JVM_CONSTANT_Long :
duke@435 363 st->print_jlong(cp->long_at(index));
duke@435 364 index++; // Skip entry following eigth-byte constant
duke@435 365 break;
duke@435 366 case JVM_CONSTANT_Double :
duke@435 367 st->print("%lf", cp->double_at(index));
duke@435 368 index++; // Skip entry following eigth-byte constant
duke@435 369 break;
duke@435 370 case JVM_CONSTANT_NameAndType :
duke@435 371 st->print("name_index=%d", cp->name_ref_index_at(index));
duke@435 372 st->print(" signature_index=%d", cp->signature_ref_index_at(index));
duke@435 373 break;
duke@435 374 case JVM_CONSTANT_Utf8 :
duke@435 375 cp->symbol_at(index)->print_value_on(st);
duke@435 376 break;
duke@435 377 case JVM_CONSTANT_UnresolvedClass : // fall-through
duke@435 378 case JVM_CONSTANT_UnresolvedClassInError: {
duke@435 379 // unresolved_klass_at requires lock or safe world.
coleenp@2497 380 CPSlot entry = cp->slot_at(index);
coleenp@2497 381 if (entry.is_oop()) {
coleenp@2497 382 entry.get_oop()->print_value_on(st);
coleenp@2497 383 } else {
coleenp@2497 384 entry.get_symbol()->print_value_on(st);
coleenp@2497 385 }
duke@435 386 }
duke@435 387 break;
jrose@1957 388 case JVM_CONSTANT_MethodHandle :
jrose@1957 389 st->print("ref_kind=%d", cp->method_handle_ref_kind_at(index));
jrose@1957 390 st->print(" ref_index=%d", cp->method_handle_index_at(index));
jrose@1957 391 break;
jrose@1957 392 case JVM_CONSTANT_MethodType :
jrose@1957 393 st->print("signature_index=%d", cp->method_type_index_at(index));
jrose@1957 394 break;
jrose@2015 395 case JVM_CONSTANT_InvokeDynamic :
jrose@2268 396 {
jrose@2268 397 st->print("bootstrap_method_index=%d", cp->invoke_dynamic_bootstrap_method_ref_index_at(index));
jrose@2268 398 st->print(" name_and_type_index=%d", cp->invoke_dynamic_name_and_type_ref_index_at(index));
jrose@2268 399 int argc = cp->invoke_dynamic_argument_count_at(index);
jrose@2268 400 if (argc > 0) {
jrose@2268 401 for (int arg_i = 0; arg_i < argc; arg_i++) {
jrose@2268 402 int arg = cp->invoke_dynamic_argument_index_at(index, arg_i);
jrose@2268 403 st->print((arg_i == 0 ? " arguments={%d" : ", %d"), arg);
jrose@2268 404 }
jrose@2268 405 st->print("}");
jrose@2268 406 }
jrose@2268 407 }
jrose@2015 408 break;
duke@435 409 default:
duke@435 410 ShouldNotReachHere();
duke@435 411 break;
duke@435 412 }
duke@435 413 st->cr();
duke@435 414 }
duke@435 415 st->cr();
duke@435 416 }
duke@435 417
jrose@1590 418 void constantPoolKlass::oop_print_value_on(oop obj, outputStream* st) {
jrose@1590 419 assert(obj->is_constantPool(), "must be constantPool");
jrose@1590 420 constantPoolOop cp = constantPoolOop(obj);
jrose@1590 421 st->print("constant pool [%d]", cp->length());
jrose@1590 422 if (cp->has_pseudo_string()) st->print("/pseudo_string");
jrose@1590 423 if (cp->has_invokedynamic()) st->print("/invokedynamic");
jrose@2982 424 if (cp->has_preresolution()) st->print("/preresolution");
jrose@2268 425 if (cp->operands() != NULL) st->print("/operands[%d]", cp->operands()->length());
jrose@1590 426 cp->print_address_on(st);
jrose@1590 427 st->print(" for ");
jrose@1590 428 cp->pool_holder()->print_value_on(st);
jrose@2982 429 if (cp->pool_holder() != NULL) {
jrose@2982 430 bool extra = (instanceKlass::cast(cp->pool_holder())->constants() != cp);
jrose@2982 431 if (extra) st->print(" (extra)");
jrose@2982 432 }
jrose@1928 433 if (cp->cache() != NULL) {
jrose@1928 434 st->print(" cache=" PTR_FORMAT, cp->cache());
jrose@1928 435 }
jrose@1590 436 }
duke@435 437
duke@435 438 const char* constantPoolKlass::internal_name() const {
duke@435 439 return "{constant pool}";
duke@435 440 }
duke@435 441
duke@435 442 // Verification
duke@435 443
duke@435 444 void constantPoolKlass::oop_verify_on(oop obj, outputStream* st) {
duke@435 445 Klass::oop_verify_on(obj, st);
duke@435 446 guarantee(obj->is_constantPool(), "object must be constant pool");
duke@435 447 constantPoolOop cp = constantPoolOop(obj);
duke@435 448 guarantee(cp->is_perm(), "should be in permspace");
duke@435 449 if (!cp->partially_loaded()) {
duke@435 450 for (int i = 0; i< cp->length(); i++) {
never@2900 451 constantTag tag = cp->tag_at(i);
coleenp@2497 452 CPSlot entry = cp->slot_at(i);
never@2900 453 if (tag.is_klass()) {
coleenp@2497 454 if (entry.is_oop()) {
coleenp@2497 455 guarantee(entry.get_oop()->is_perm(), "should be in permspace");
coleenp@2497 456 guarantee(entry.get_oop()->is_klass(), "should be klass");
coleenp@2497 457 }
never@2900 458 } else if (tag.is_unresolved_klass()) {
coleenp@2497 459 if (entry.is_oop()) {
coleenp@2497 460 guarantee(entry.get_oop()->is_perm(), "should be in permspace");
coleenp@2497 461 guarantee(entry.get_oop()->is_klass(), "should be klass");
coleenp@2497 462 }
never@2900 463 } else if (tag.is_symbol()) {
coleenp@2497 464 guarantee(entry.get_symbol()->refcount() != 0, "should have nonzero reference count");
never@2900 465 } else if (tag.is_unresolved_string()) {
coleenp@2497 466 if (entry.is_oop()) {
coleenp@2497 467 guarantee(entry.get_oop()->is_perm(), "should be in permspace");
coleenp@2497 468 guarantee(entry.get_oop()->is_instance(), "should be instance");
coleenp@2497 469 }
coleenp@2497 470 else {
coleenp@2497 471 guarantee(entry.get_symbol()->refcount() != 0, "should have nonzero reference count");
coleenp@2497 472 }
never@2900 473 } else if (tag.is_string()) {
jrose@866 474 if (!cp->has_pseudo_string()) {
coleenp@2497 475 if (entry.is_oop()) {
jcoomes@2661 476 guarantee(!JavaObjectsInPerm || entry.get_oop()->is_perm(),
jcoomes@2661 477 "should be in permspace");
coleenp@2497 478 guarantee(entry.get_oop()->is_instance(), "should be instance");
coleenp@2497 479 }
jrose@866 480 } else {
jrose@866 481 // can be non-perm, can be non-instance (array)
jrose@866 482 }
never@2900 483 } else if (tag.is_object()) {
never@2900 484 assert(entry.get_oop()->is_oop(), "should be some valid oop");
never@2900 485 } else {
never@2900 486 assert(!cp->is_pointer_entry(i), "unhandled oop type in constantPoolKlass::verify_on");
duke@435 487 }
duke@435 488 }
duke@435 489 guarantee(cp->tags()->is_perm(), "should be in permspace");
duke@435 490 guarantee(cp->tags()->is_typeArray(), "should be type array");
duke@435 491 if (cp->cache() != NULL) {
duke@435 492 // Note: cache() can be NULL before a class is completely setup or
duke@435 493 // in temporary constant pools used during constant pool merging
duke@435 494 guarantee(cp->cache()->is_perm(), "should be in permspace");
duke@435 495 guarantee(cp->cache()->is_constantPoolCache(), "should be constant pool cache");
duke@435 496 }
jrose@2268 497 if (cp->operands() != NULL) {
jrose@2268 498 guarantee(cp->operands()->is_perm(), "should be in permspace");
jrose@2268 499 guarantee(cp->operands()->is_typeArray(), "should be type array");
jrose@2268 500 }
duke@435 501 if (cp->pool_holder() != NULL) {
duke@435 502 // Note: pool_holder() can be NULL in temporary constant pools
duke@435 503 // used during constant pool merging
duke@435 504 guarantee(cp->pool_holder()->is_perm(), "should be in permspace");
duke@435 505 guarantee(cp->pool_holder()->is_klass(), "should be klass");
duke@435 506 }
duke@435 507 }
duke@435 508 }
duke@435 509
duke@435 510 bool constantPoolKlass::oop_partially_loaded(oop obj) const {
duke@435 511 assert(obj->is_constantPool(), "object must be constant pool");
duke@435 512 constantPoolOop cp = constantPoolOop(obj);
duke@435 513 return cp->tags() == NULL || cp->pool_holder() == (klassOop) cp; // Check whether pool holder points to self
duke@435 514 }
duke@435 515
duke@435 516
duke@435 517 void constantPoolKlass::oop_set_partially_loaded(oop obj) {
duke@435 518 assert(obj->is_constantPool(), "object must be constant pool");
duke@435 519 constantPoolOop cp = constantPoolOop(obj);
duke@435 520 assert(cp->pool_holder() == NULL, "just checking");
duke@435 521 cp->set_pool_holder((klassOop) cp); // Temporarily set pool holder to point to self
duke@435 522 }
duke@435 523
duke@435 524 #ifndef PRODUCT
duke@435 525 // CompileTheWorld support. Preload all classes loaded references in the passed in constantpool
duke@435 526 void constantPoolKlass::preload_and_initialize_all_classes(oop obj, TRAPS) {
duke@435 527 guarantee(obj->is_constantPool(), "object must be constant pool");
duke@435 528 constantPoolHandle cp(THREAD, (constantPoolOop)obj);
duke@435 529 guarantee(!cp->partially_loaded(), "must be fully loaded");
duke@435 530
duke@435 531 for (int i = 0; i< cp->length(); i++) {
duke@435 532 if (cp->tag_at(i).is_unresolved_klass()) {
duke@435 533 // This will force loading of the class
duke@435 534 klassOop klass = cp->klass_at(i, CHECK);
never@3256 535 if (klass->klass_part()->oop_is_instance()) {
duke@435 536 // Force initialization of class
duke@435 537 instanceKlass::cast(klass)->initialize(CHECK);
duke@435 538 }
duke@435 539 }
duke@435 540 }
duke@435 541 }
duke@435 542
duke@435 543 #endif

mercurial