Mon, 25 Jun 2012 21:33:35 -0400
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 |