src/share/vm/oops/instanceKlassKlass.cpp

Fri, 15 Apr 2011 09:36:28 -0400

author
coleenp
date
Fri, 15 Apr 2011 09:36:28 -0400
changeset 2777
8ce625481709
parent 2742
ed69575596ac
child 3137
e6b1331a51d2
permissions
-rw-r--r--

7032407: Crash in LinkResolver::runtime_resolve_virtual_method()
Summary: Make CDS reorder vtables so that dump time vtables match run time order, so when redefine classes reinitializes them, they aren't in the wrong order.
Reviewed-by: dcubed, acorn

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 "classfile/systemDictionary.hpp"
stefank@2314 28 #include "gc_implementation/shared/markSweep.inline.hpp"
stefank@2314 29 #include "gc_interface/collectedHeap.inline.hpp"
stefank@2314 30 #include "interpreter/oopMapCache.hpp"
stefank@2314 31 #include "memory/gcLocker.hpp"
stefank@2314 32 #include "oops/constantPoolOop.hpp"
stefank@2314 33 #include "oops/instanceKlass.hpp"
never@2658 34 #include "oops/instanceMirrorKlass.hpp"
stefank@2314 35 #include "oops/instanceKlassKlass.hpp"
stefank@2314 36 #include "oops/instanceRefKlass.hpp"
stefank@2314 37 #include "oops/objArrayKlassKlass.hpp"
stefank@2314 38 #include "oops/objArrayOop.hpp"
stefank@2314 39 #include "oops/oop.inline.hpp"
stefank@2314 40 #include "oops/oop.inline2.hpp"
coleenp@2497 41 #include "oops/symbol.hpp"
stefank@2314 42 #include "oops/typeArrayOop.hpp"
stefank@2314 43 #include "prims/jvmtiExport.hpp"
stefank@2314 44 #include "runtime/fieldDescriptor.hpp"
stefank@2314 45 #ifndef SERIALGC
stefank@2314 46 #include "gc_implementation/parNew/parOopClosures.inline.hpp"
stefank@2314 47 #include "gc_implementation/parallelScavenge/psPromotionManager.inline.hpp"
stefank@2314 48 #include "gc_implementation/parallelScavenge/psScavenge.inline.hpp"
stefank@2314 49 #include "memory/cardTableRS.hpp"
stefank@2314 50 #include "oops/oop.pcgc.inline.hpp"
stefank@2314 51 #endif
duke@435 52
duke@435 53 klassOop instanceKlassKlass::create_klass(TRAPS) {
duke@435 54 instanceKlassKlass o;
duke@435 55 KlassHandle h_this_klass(THREAD, Universe::klassKlassObj());
duke@435 56 KlassHandle k = base_create_klass(h_this_klass, header_size(), o.vtbl_value(), CHECK_NULL);
duke@435 57 // Make sure size calculation is right
duke@435 58 assert(k()->size() == align_object_size(header_size()), "wrong size for object");
duke@435 59 java_lang_Class::create_mirror(k, CHECK_NULL); // Allocate mirror
duke@435 60 return k();
duke@435 61 }
duke@435 62
duke@435 63 int instanceKlassKlass::oop_size(oop obj) const {
duke@435 64 assert(obj->is_klass(), "must be klass");
duke@435 65 return instanceKlass::cast(klassOop(obj))->object_size();
duke@435 66 }
duke@435 67
duke@435 68 bool instanceKlassKlass::oop_is_parsable(oop obj) const {
duke@435 69 assert(obj->is_klass(), "must be klass");
duke@435 70 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 71 return (!ik->null_vtbl()) && ik->object_is_parsable();
duke@435 72 }
duke@435 73
duke@435 74 void instanceKlassKlass::iterate_c_heap_oops(instanceKlass* ik,
duke@435 75 OopClosure* closure) {
duke@435 76 if (ik->oop_map_cache() != NULL) {
duke@435 77 ik->oop_map_cache()->oop_iterate(closure);
duke@435 78 }
duke@435 79
duke@435 80 if (ik->jni_ids() != NULL) {
duke@435 81 ik->jni_ids()->oops_do(closure);
duke@435 82 }
duke@435 83 }
duke@435 84
duke@435 85 void instanceKlassKlass::oop_follow_contents(oop obj) {
duke@435 86 assert(obj->is_klass(),"must be a klass");
duke@435 87 assert(klassOop(obj)->klass_part()->oop_is_instance_slow(), "must be instance klass");
duke@435 88
duke@435 89 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 90 {
duke@435 91 HandleMark hm;
duke@435 92 ik->vtable()->oop_follow_contents();
duke@435 93 ik->itable()->oop_follow_contents();
duke@435 94 }
duke@435 95
duke@435 96 MarkSweep::mark_and_push(ik->adr_array_klasses());
duke@435 97 MarkSweep::mark_and_push(ik->adr_methods());
duke@435 98 MarkSweep::mark_and_push(ik->adr_method_ordering());
duke@435 99 MarkSweep::mark_and_push(ik->adr_local_interfaces());
duke@435 100 MarkSweep::mark_and_push(ik->adr_transitive_interfaces());
duke@435 101 MarkSweep::mark_and_push(ik->adr_fields());
duke@435 102 MarkSweep::mark_and_push(ik->adr_constants());
duke@435 103 MarkSweep::mark_and_push(ik->adr_class_loader());
duke@435 104 MarkSweep::mark_and_push(ik->adr_inner_classes());
duke@435 105 MarkSweep::mark_and_push(ik->adr_protection_domain());
jrose@866 106 MarkSweep::mark_and_push(ik->adr_host_klass());
duke@435 107 MarkSweep::mark_and_push(ik->adr_signers());
duke@435 108 MarkSweep::mark_and_push(ik->adr_class_annotations());
duke@435 109 MarkSweep::mark_and_push(ik->adr_fields_annotations());
duke@435 110 MarkSweep::mark_and_push(ik->adr_methods_annotations());
duke@435 111 MarkSweep::mark_and_push(ik->adr_methods_parameter_annotations());
duke@435 112 MarkSweep::mark_and_push(ik->adr_methods_default_annotations());
duke@435 113
duke@435 114 // We do not follow adr_implementors() here. It is followed later
duke@435 115 // in instanceKlass::follow_weak_klass_links()
duke@435 116
duke@435 117 klassKlass::oop_follow_contents(obj);
duke@435 118
duke@435 119 iterate_c_heap_oops(ik, &MarkSweep::mark_and_push_closure);
duke@435 120 }
duke@435 121
duke@435 122 #ifndef SERIALGC
duke@435 123 void instanceKlassKlass::oop_follow_contents(ParCompactionManager* cm,
duke@435 124 oop obj) {
duke@435 125 assert(obj->is_klass(),"must be a klass");
duke@435 126 assert(klassOop(obj)->klass_part()->oop_is_instance_slow(), "must be instance klass");
duke@435 127
duke@435 128 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 129 ik->vtable()->oop_follow_contents(cm);
duke@435 130 ik->itable()->oop_follow_contents(cm);
duke@435 131
duke@435 132 PSParallelCompact::mark_and_push(cm, ik->adr_array_klasses());
duke@435 133 PSParallelCompact::mark_and_push(cm, ik->adr_methods());
duke@435 134 PSParallelCompact::mark_and_push(cm, ik->adr_method_ordering());
duke@435 135 PSParallelCompact::mark_and_push(cm, ik->adr_local_interfaces());
duke@435 136 PSParallelCompact::mark_and_push(cm, ik->adr_transitive_interfaces());
duke@435 137 PSParallelCompact::mark_and_push(cm, ik->adr_fields());
duke@435 138 PSParallelCompact::mark_and_push(cm, ik->adr_constants());
duke@435 139 PSParallelCompact::mark_and_push(cm, ik->adr_class_loader());
duke@435 140 PSParallelCompact::mark_and_push(cm, ik->adr_inner_classes());
duke@435 141 PSParallelCompact::mark_and_push(cm, ik->adr_protection_domain());
jrose@866 142 PSParallelCompact::mark_and_push(cm, ik->adr_host_klass());
duke@435 143 PSParallelCompact::mark_and_push(cm, ik->adr_signers());
duke@435 144 PSParallelCompact::mark_and_push(cm, ik->adr_class_annotations());
duke@435 145 PSParallelCompact::mark_and_push(cm, ik->adr_fields_annotations());
duke@435 146 PSParallelCompact::mark_and_push(cm, ik->adr_methods_annotations());
duke@435 147 PSParallelCompact::mark_and_push(cm, ik->adr_methods_parameter_annotations());
duke@435 148 PSParallelCompact::mark_and_push(cm, ik->adr_methods_default_annotations());
duke@435 149
duke@435 150 // We do not follow adr_implementor() here. It is followed later
duke@435 151 // in instanceKlass::follow_weak_klass_links()
duke@435 152
duke@435 153 klassKlass::oop_follow_contents(cm, obj);
duke@435 154
duke@435 155 PSParallelCompact::MarkAndPushClosure mark_and_push_closure(cm);
duke@435 156 iterate_c_heap_oops(ik, &mark_and_push_closure);
duke@435 157 }
duke@435 158 #endif // SERIALGC
duke@435 159
duke@435 160 int instanceKlassKlass::oop_oop_iterate(oop obj, OopClosure* blk) {
duke@435 161 assert(obj->is_klass(),"must be a klass");
duke@435 162 assert(klassOop(obj)->klass_part()->oop_is_instance_slow(), "must be instance klass");
duke@435 163 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 164 // Get size before changing pointers.
duke@435 165 // Don't call size() or oop_size() since that is a virtual call.
duke@435 166 int size = ik->object_size();
duke@435 167
duke@435 168 ik->vtable()->oop_oop_iterate(blk);
duke@435 169 ik->itable()->oop_oop_iterate(blk);
duke@435 170
duke@435 171 blk->do_oop(ik->adr_array_klasses());
duke@435 172 blk->do_oop(ik->adr_methods());
duke@435 173 blk->do_oop(ik->adr_method_ordering());
duke@435 174 blk->do_oop(ik->adr_local_interfaces());
duke@435 175 blk->do_oop(ik->adr_transitive_interfaces());
duke@435 176 blk->do_oop(ik->adr_fields());
duke@435 177 blk->do_oop(ik->adr_constants());
duke@435 178 blk->do_oop(ik->adr_class_loader());
duke@435 179 blk->do_oop(ik->adr_protection_domain());
jrose@866 180 blk->do_oop(ik->adr_host_klass());
duke@435 181 blk->do_oop(ik->adr_signers());
duke@435 182 blk->do_oop(ik->adr_inner_classes());
duke@435 183 for (int i = 0; i < instanceKlass::implementors_limit; i++) {
duke@435 184 blk->do_oop(&ik->adr_implementors()[i]);
duke@435 185 }
duke@435 186 blk->do_oop(ik->adr_class_annotations());
duke@435 187 blk->do_oop(ik->adr_fields_annotations());
duke@435 188 blk->do_oop(ik->adr_methods_annotations());
duke@435 189 blk->do_oop(ik->adr_methods_parameter_annotations());
duke@435 190 blk->do_oop(ik->adr_methods_default_annotations());
duke@435 191
duke@435 192 klassKlass::oop_oop_iterate(obj, blk);
duke@435 193
duke@435 194 if(ik->oop_map_cache() != NULL) ik->oop_map_cache()->oop_iterate(blk);
duke@435 195 return size;
duke@435 196 }
duke@435 197
duke@435 198 int instanceKlassKlass::oop_oop_iterate_m(oop obj, OopClosure* blk,
duke@435 199 MemRegion mr) {
duke@435 200 assert(obj->is_klass(),"must be a klass");
duke@435 201 assert(klassOop(obj)->klass_part()->oop_is_instance_slow(), "must be instance klass");
duke@435 202 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 203 // Get size before changing pointers.
duke@435 204 // Don't call size() or oop_size() since that is a virtual call.
duke@435 205 int size = ik->object_size();
duke@435 206
duke@435 207 ik->vtable()->oop_oop_iterate_m(blk, mr);
duke@435 208 ik->itable()->oop_oop_iterate_m(blk, mr);
duke@435 209
duke@435 210 oop* adr;
duke@435 211 adr = ik->adr_array_klasses();
duke@435 212 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 213 adr = ik->adr_methods();
duke@435 214 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 215 adr = ik->adr_method_ordering();
duke@435 216 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 217 adr = ik->adr_local_interfaces();
duke@435 218 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 219 adr = ik->adr_transitive_interfaces();
duke@435 220 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 221 adr = ik->adr_fields();
duke@435 222 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 223 adr = ik->adr_constants();
duke@435 224 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 225 adr = ik->adr_class_loader();
duke@435 226 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 227 adr = ik->adr_protection_domain();
duke@435 228 if (mr.contains(adr)) blk->do_oop(adr);
jrose@866 229 adr = ik->adr_host_klass();
jrose@866 230 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 231 adr = ik->adr_signers();
duke@435 232 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 233 adr = ik->adr_inner_classes();
duke@435 234 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 235 adr = ik->adr_implementors();
duke@435 236 for (int i = 0; i < instanceKlass::implementors_limit; i++) {
duke@435 237 if (mr.contains(&adr[i])) blk->do_oop(&adr[i]);
duke@435 238 }
duke@435 239 adr = ik->adr_class_annotations();
duke@435 240 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 241 adr = ik->adr_fields_annotations();
duke@435 242 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 243 adr = ik->adr_methods_annotations();
duke@435 244 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 245 adr = ik->adr_methods_parameter_annotations();
duke@435 246 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 247 adr = ik->adr_methods_default_annotations();
duke@435 248 if (mr.contains(adr)) blk->do_oop(adr);
duke@435 249
duke@435 250 klassKlass::oop_oop_iterate_m(obj, blk, mr);
duke@435 251
duke@435 252 if(ik->oop_map_cache() != NULL) ik->oop_map_cache()->oop_iterate(blk, mr);
duke@435 253 return size;
duke@435 254 }
duke@435 255
duke@435 256 int instanceKlassKlass::oop_adjust_pointers(oop obj) {
duke@435 257 assert(obj->is_klass(),"must be a klass");
duke@435 258 assert(klassOop(obj)->klass_part()->oop_is_instance_slow(), "must be instance klass");
duke@435 259
duke@435 260 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 261 ik->vtable()->oop_adjust_pointers();
duke@435 262 ik->itable()->oop_adjust_pointers();
duke@435 263
duke@435 264 MarkSweep::adjust_pointer(ik->adr_array_klasses());
duke@435 265 MarkSweep::adjust_pointer(ik->adr_methods());
duke@435 266 MarkSweep::adjust_pointer(ik->adr_method_ordering());
duke@435 267 MarkSweep::adjust_pointer(ik->adr_local_interfaces());
duke@435 268 MarkSweep::adjust_pointer(ik->adr_transitive_interfaces());
duke@435 269 MarkSweep::adjust_pointer(ik->adr_fields());
duke@435 270 MarkSweep::adjust_pointer(ik->adr_constants());
duke@435 271 MarkSweep::adjust_pointer(ik->adr_class_loader());
duke@435 272 MarkSweep::adjust_pointer(ik->adr_protection_domain());
jrose@866 273 MarkSweep::adjust_pointer(ik->adr_host_klass());
duke@435 274 MarkSweep::adjust_pointer(ik->adr_signers());
duke@435 275 MarkSweep::adjust_pointer(ik->adr_inner_classes());
duke@435 276 for (int i = 0; i < instanceKlass::implementors_limit; i++) {
duke@435 277 MarkSweep::adjust_pointer(&ik->adr_implementors()[i]);
duke@435 278 }
duke@435 279 MarkSweep::adjust_pointer(ik->adr_class_annotations());
duke@435 280 MarkSweep::adjust_pointer(ik->adr_fields_annotations());
duke@435 281 MarkSweep::adjust_pointer(ik->adr_methods_annotations());
duke@435 282 MarkSweep::adjust_pointer(ik->adr_methods_parameter_annotations());
duke@435 283 MarkSweep::adjust_pointer(ik->adr_methods_default_annotations());
duke@435 284
duke@435 285 iterate_c_heap_oops(ik, &MarkSweep::adjust_root_pointer_closure);
duke@435 286
duke@435 287 return klassKlass::oop_adjust_pointers(obj);
duke@435 288 }
duke@435 289
duke@435 290 #ifndef SERIALGC
duke@435 291 void instanceKlassKlass::oop_push_contents(PSPromotionManager* pm, oop obj) {
duke@435 292 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 293
duke@435 294 oop* loader_addr = ik->adr_class_loader();
coleenp@548 295 if (PSScavenge::should_scavenge(loader_addr)) {
duke@435 296 pm->claim_or_forward_depth(loader_addr);
duke@435 297 }
duke@435 298
duke@435 299 oop* pd_addr = ik->adr_protection_domain();
coleenp@548 300 if (PSScavenge::should_scavenge(pd_addr)) {
duke@435 301 pm->claim_or_forward_depth(pd_addr);
duke@435 302 }
duke@435 303
jrose@866 304 oop* hk_addr = ik->adr_host_klass();
jrose@866 305 if (PSScavenge::should_scavenge(hk_addr)) {
jrose@866 306 pm->claim_or_forward_depth(hk_addr);
jrose@866 307 }
jrose@866 308
duke@435 309 oop* sg_addr = ik->adr_signers();
coleenp@548 310 if (PSScavenge::should_scavenge(sg_addr)) {
duke@435 311 pm->claim_or_forward_depth(sg_addr);
duke@435 312 }
duke@435 313
tonyp@2061 314 klassKlass::oop_push_contents(pm, obj);
duke@435 315 }
duke@435 316
duke@435 317 int instanceKlassKlass::oop_update_pointers(ParCompactionManager* cm, oop obj) {
duke@435 318 assert(obj->is_klass(),"must be a klass");
duke@435 319 assert(klassOop(obj)->klass_part()->oop_is_instance_slow(),
duke@435 320 "must be instance klass");
duke@435 321
duke@435 322 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 323 ik->vtable()->oop_update_pointers(cm);
duke@435 324 ik->itable()->oop_update_pointers(cm);
duke@435 325
duke@435 326 oop* const beg_oop = ik->oop_block_beg();
duke@435 327 oop* const end_oop = ik->oop_block_end();
duke@435 328 for (oop* cur_oop = beg_oop; cur_oop < end_oop; ++cur_oop) {
duke@435 329 PSParallelCompact::adjust_pointer(cur_oop);
duke@435 330 }
duke@435 331
duke@435 332 OopClosure* closure = PSParallelCompact::adjust_root_pointer_closure();
duke@435 333 iterate_c_heap_oops(ik, closure);
duke@435 334
duke@435 335 klassKlass::oop_update_pointers(cm, obj);
duke@435 336 return ik->object_size();
duke@435 337 }
duke@435 338
duke@435 339 #endif // SERIALGC
duke@435 340
jcoomes@1373 341 klassOop
never@2658 342 instanceKlassKlass::allocate_instance_klass(Symbol* name, int vtable_len, int itable_len,
jcoomes@1373 343 int static_field_size,
jcoomes@1374 344 unsigned nonstatic_oop_map_count,
jcoomes@1373 345 ReferenceType rt, TRAPS) {
duke@435 346
jcoomes@1373 347 const int nonstatic_oop_map_size =
jcoomes@1373 348 instanceKlass::nonstatic_oop_map_size(nonstatic_oop_map_count);
never@2658 349 int size = instanceKlass::object_size(align_object_offset(vtable_len) + align_object_offset(itable_len) + nonstatic_oop_map_size);
duke@435 350
duke@435 351 // Allocation
duke@435 352 KlassHandle h_this_klass(THREAD, as_klassOop());
duke@435 353 KlassHandle k;
duke@435 354 if (rt == REF_NONE) {
never@2658 355 if (name != vmSymbols::java_lang_Class()) {
never@2658 356 // regular klass
never@2658 357 instanceKlass o;
never@2658 358 k = base_create_klass(h_this_klass, size, o.vtbl_value(), CHECK_NULL);
never@2658 359 } else {
never@2658 360 // Class
never@2658 361 instanceMirrorKlass o;
never@2658 362 k = base_create_klass(h_this_klass, size, o.vtbl_value(), CHECK_NULL);
never@2658 363 }
duke@435 364 } else {
duke@435 365 // reference klass
duke@435 366 instanceRefKlass o;
duke@435 367 k = base_create_klass(h_this_klass, size, o.vtbl_value(), CHECK_NULL);
duke@435 368 }
duke@435 369 {
duke@435 370 No_Safepoint_Verifier no_safepoint; // until k becomes parsable
duke@435 371 instanceKlass* ik = (instanceKlass*) k()->klass_part();
duke@435 372 assert(!k()->is_parsable(), "not expecting parsability yet.");
duke@435 373
duke@435 374 // The sizes of these these three variables are used for determining the
duke@435 375 // size of the instanceKlassOop. It is critical that these are set to the right
duke@435 376 // sizes before the first GC, i.e., when we allocate the mirror.
duke@435 377 ik->set_vtable_length(vtable_len);
duke@435 378 ik->set_itable_length(itable_len);
duke@435 379 ik->set_static_field_size(static_field_size);
duke@435 380 ik->set_nonstatic_oop_map_size(nonstatic_oop_map_size);
duke@435 381 assert(k()->size() == size, "wrong size for object");
duke@435 382
duke@435 383 ik->set_array_klasses(NULL);
duke@435 384 ik->set_methods(NULL);
duke@435 385 ik->set_method_ordering(NULL);
duke@435 386 ik->set_local_interfaces(NULL);
duke@435 387 ik->set_transitive_interfaces(NULL);
duke@435 388 ik->init_implementor();
duke@435 389 ik->set_fields(NULL);
duke@435 390 ik->set_constants(NULL);
duke@435 391 ik->set_class_loader(NULL);
duke@435 392 ik->set_protection_domain(NULL);
jrose@866 393 ik->set_host_klass(NULL);
duke@435 394 ik->set_signers(NULL);
duke@435 395 ik->set_source_file_name(NULL);
duke@435 396 ik->set_source_debug_extension(NULL);
coleenp@2497 397 ik->set_source_debug_extension(NULL);
coleenp@2497 398 ik->set_array_name(NULL);
duke@435 399 ik->set_inner_classes(NULL);
never@2658 400 ik->set_static_oop_field_count(0);
duke@435 401 ik->set_nonstatic_field_size(0);
acorn@1410 402 ik->set_is_marked_dependent(false);
duke@435 403 ik->set_init_state(instanceKlass::allocated);
duke@435 404 ik->set_init_thread(NULL);
duke@435 405 ik->set_reference_type(rt);
duke@435 406 ik->set_oop_map_cache(NULL);
duke@435 407 ik->set_jni_ids(NULL);
duke@435 408 ik->set_osr_nmethods_head(NULL);
duke@435 409 ik->set_breakpoints(NULL);
duke@435 410 ik->init_previous_versions();
duke@435 411 ik->set_generic_signature(NULL);
duke@435 412 ik->release_set_methods_jmethod_ids(NULL);
duke@435 413 ik->release_set_methods_cached_itable_indices(NULL);
duke@435 414 ik->set_class_annotations(NULL);
duke@435 415 ik->set_fields_annotations(NULL);
duke@435 416 ik->set_methods_annotations(NULL);
duke@435 417 ik->set_methods_parameter_annotations(NULL);
duke@435 418 ik->set_methods_default_annotations(NULL);
duke@435 419 ik->set_enclosing_method_indices(0, 0);
duke@435 420 ik->set_jvmti_cached_class_field_map(NULL);
duke@435 421 ik->set_initial_method_idnum(0);
duke@435 422 assert(k()->is_parsable(), "should be parsable here.");
duke@435 423
duke@435 424 // initialize the non-header words to zero
duke@435 425 intptr_t* p = (intptr_t*)k();
duke@435 426 for (int index = instanceKlass::header_size(); index < size; index++) {
duke@435 427 p[index] = NULL_WORD;
duke@435 428 }
duke@435 429
duke@435 430 // To get verify to work - must be set to partial loaded before first GC point.
duke@435 431 k()->set_partially_loaded();
duke@435 432 }
duke@435 433 return k();
duke@435 434 }
duke@435 435
duke@435 436
duke@435 437
duke@435 438 #ifndef PRODUCT
duke@435 439
duke@435 440 // Printing
duke@435 441
jrose@1100 442 #define BULLET " - "
jrose@1100 443
duke@435 444 static const char* state_names[] = {
duke@435 445 "unparseable_by_gc", "allocated", "loaded", "linked", "being_initialized", "fully_initialized", "initialization_error"
duke@435 446 };
duke@435 447
duke@435 448
duke@435 449 void instanceKlassKlass::oop_print_on(oop obj, outputStream* st) {
duke@435 450 assert(obj->is_klass(), "must be klass");
duke@435 451 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 452 klassKlass::oop_print_on(obj, st);
duke@435 453
jrose@1100 454 st->print(BULLET"instance size: %d", ik->size_helper()); st->cr();
jrose@1100 455 st->print(BULLET"klass size: %d", ik->object_size()); st->cr();
jrose@1100 456 st->print(BULLET"access: "); ik->access_flags().print_on(st); st->cr();
jrose@1100 457 st->print(BULLET"state: "); st->print_cr(state_names[ik->_init_state]);
jrose@1100 458 st->print(BULLET"name: "); ik->name()->print_value_on(st); st->cr();
jrose@1100 459 st->print(BULLET"super: "); ik->super()->print_value_on(st); st->cr();
jrose@1100 460 st->print(BULLET"sub: ");
duke@435 461 Klass* sub = ik->subklass();
duke@435 462 int n;
duke@435 463 for (n = 0; sub != NULL; n++, sub = sub->next_sibling()) {
duke@435 464 if (n < MaxSubklassPrintSize) {
duke@435 465 sub->as_klassOop()->print_value_on(st);
duke@435 466 st->print(" ");
duke@435 467 }
duke@435 468 }
duke@435 469 if (n >= MaxSubklassPrintSize) st->print("(%d more klasses...)", n - MaxSubklassPrintSize);
duke@435 470 st->cr();
duke@435 471
duke@435 472 if (ik->is_interface()) {
jrose@1100 473 st->print_cr(BULLET"nof implementors: %d", ik->nof_implementors());
duke@435 474 int print_impl = 0;
duke@435 475 for (int i = 0; i < instanceKlass::implementors_limit; i++) {
duke@435 476 if (ik->implementor(i) != NULL) {
duke@435 477 if (++print_impl == 1)
jrose@1100 478 st->print_cr(BULLET"implementor: ");
duke@435 479 st->print(" ");
duke@435 480 ik->implementor(i)->print_value_on(st);
duke@435 481 }
duke@435 482 }
duke@435 483 if (print_impl > 0) st->cr();
duke@435 484 }
duke@435 485
jrose@1100 486 st->print(BULLET"arrays: "); ik->array_klasses()->print_value_on(st); st->cr();
jrose@1100 487 st->print(BULLET"methods: "); ik->methods()->print_value_on(st); st->cr();
duke@435 488 if (Verbose) {
duke@435 489 objArrayOop methods = ik->methods();
duke@435 490 for(int i = 0; i < methods->length(); i++) {
duke@435 491 tty->print("%d : ", i); methods->obj_at(i)->print_value(); tty->cr();
duke@435 492 }
duke@435 493 }
jrose@1100 494 st->print(BULLET"method ordering: "); ik->method_ordering()->print_value_on(st); st->cr();
jrose@1100 495 st->print(BULLET"local interfaces: "); ik->local_interfaces()->print_value_on(st); st->cr();
jrose@1100 496 st->print(BULLET"trans. interfaces: "); ik->transitive_interfaces()->print_value_on(st); st->cr();
jrose@1100 497 st->print(BULLET"constants: "); ik->constants()->print_value_on(st); st->cr();
jrose@1100 498 st->print(BULLET"class loader: "); ik->class_loader()->print_value_on(st); st->cr();
jrose@1100 499 st->print(BULLET"protection domain: "); ik->protection_domain()->print_value_on(st); st->cr();
jrose@1100 500 st->print(BULLET"host class: "); ik->host_klass()->print_value_on(st); st->cr();
jrose@1100 501 st->print(BULLET"signers: "); ik->signers()->print_value_on(st); st->cr();
duke@435 502 if (ik->source_file_name() != NULL) {
jrose@1100 503 st->print(BULLET"source file: ");
duke@435 504 ik->source_file_name()->print_value_on(st);
duke@435 505 st->cr();
duke@435 506 }
duke@435 507 if (ik->source_debug_extension() != NULL) {
jrose@1100 508 st->print(BULLET"source debug extension: ");
duke@435 509 ik->source_debug_extension()->print_value_on(st);
duke@435 510 st->cr();
duke@435 511 }
duke@435 512
duke@435 513 {
duke@435 514 ResourceMark rm;
duke@435 515 // PreviousVersionInfo objects returned via PreviousVersionWalker
duke@435 516 // contain a GrowableArray of handles. We have to clean up the
duke@435 517 // GrowableArray _after_ the PreviousVersionWalker destructor
duke@435 518 // has destroyed the handles.
duke@435 519 {
jrose@1100 520 bool have_pv = false;
duke@435 521 PreviousVersionWalker pvw(ik);
duke@435 522 for (PreviousVersionInfo * pv_info = pvw.next_previous_version();
duke@435 523 pv_info != NULL; pv_info = pvw.next_previous_version()) {
jrose@1100 524 if (!have_pv)
jrose@1100 525 st->print(BULLET"previous version: ");
jrose@1100 526 have_pv = true;
duke@435 527 pv_info->prev_constant_pool_handle()()->print_value_on(st);
duke@435 528 }
jrose@1100 529 if (have_pv) st->cr();
duke@435 530 } // pvw is cleaned up
duke@435 531 } // rm is cleaned up
duke@435 532
duke@435 533 if (ik->generic_signature() != NULL) {
jrose@1100 534 st->print(BULLET"generic signature: ");
duke@435 535 ik->generic_signature()->print_value_on(st);
jrose@1100 536 st->cr();
duke@435 537 }
jrose@1100 538 st->print(BULLET"inner classes: "); ik->inner_classes()->print_value_on(st); st->cr();
jrose@1100 539 st->print(BULLET"java mirror: "); ik->java_mirror()->print_value_on(st); st->cr();
jrose@1100 540 st->print(BULLET"vtable length %d (start addr: " INTPTR_FORMAT ")", ik->vtable_length(), ik->start_of_vtable()); st->cr();
jrose@1100 541 st->print(BULLET"itable length %d (start addr: " INTPTR_FORMAT ")", ik->itable_length(), ik->start_of_itable()); st->cr();
jrose@1100 542 st->print_cr(BULLET"---- static fields (%d words):", ik->static_field_size());
duke@435 543 FieldPrinter print_static_field(st);
duke@435 544 ik->do_local_static_fields(&print_static_field);
jrose@1100 545 st->print_cr(BULLET"---- non-static fields (%d words):", ik->nonstatic_field_size());
jrose@1100 546 FieldPrinter print_nonstatic_field(st);
duke@435 547 ik->do_nonstatic_fields(&print_nonstatic_field);
duke@435 548
jrose@1100 549 st->print(BULLET"non-static oop maps: ");
duke@435 550 OopMapBlock* map = ik->start_of_nonstatic_oop_maps();
jcoomes@1373 551 OopMapBlock* end_map = map + ik->nonstatic_oop_map_count();
duke@435 552 while (map < end_map) {
jcoomes@1373 553 st->print("%d-%d ", map->offset(), map->offset() + heapOopSize*(map->count() - 1));
duke@435 554 map++;
duke@435 555 }
duke@435 556 st->cr();
duke@435 557 }
duke@435 558
jrose@1590 559 #endif //PRODUCT
duke@435 560
duke@435 561 void instanceKlassKlass::oop_print_value_on(oop obj, outputStream* st) {
duke@435 562 assert(obj->is_klass(), "must be klass");
duke@435 563 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 564 ik->name()->print_value_on(st);
duke@435 565 }
duke@435 566
duke@435 567 const char* instanceKlassKlass::internal_name() const {
duke@435 568 return "{instance class}";
duke@435 569 }
duke@435 570
duke@435 571 // Verification
duke@435 572
duke@435 573 class VerifyFieldClosure: public OopClosure {
coleenp@548 574 protected:
coleenp@548 575 template <class T> void do_oop_work(T* p) {
coleenp@548 576 guarantee(Universe::heap()->is_in(p), "should be in heap");
coleenp@548 577 oop obj = oopDesc::load_decode_heap_oop(p);
coleenp@548 578 guarantee(obj->is_oop_or_null(), "should be in heap");
coleenp@548 579 }
duke@435 580 public:
coleenp@548 581 virtual void do_oop(oop* p) { VerifyFieldClosure::do_oop_work(p); }
coleenp@548 582 virtual void do_oop(narrowOop* p) { VerifyFieldClosure::do_oop_work(p); }
duke@435 583 };
duke@435 584
duke@435 585 void instanceKlassKlass::oop_verify_on(oop obj, outputStream* st) {
duke@435 586 klassKlass::oop_verify_on(obj, st);
duke@435 587 if (!obj->partially_loaded()) {
duke@435 588 Thread *thread = Thread::current();
duke@435 589 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 590
duke@435 591 #ifndef PRODUCT
duke@435 592 // Avoid redundant verifies
duke@435 593 if (ik->_verify_count == Universe::verify_count()) return;
duke@435 594 ik->_verify_count = Universe::verify_count();
duke@435 595 #endif
duke@435 596 // Verify that klass is present in SystemDictionary
jrose@866 597 if (ik->is_loaded() && !ik->is_anonymous()) {
coleenp@2497 598 Symbol* h_name = ik->name();
duke@435 599 Handle h_loader (thread, ik->class_loader());
duke@435 600 Handle h_obj(thread, obj);
duke@435 601 SystemDictionary::verify_obj_klass_present(h_obj, h_name, h_loader);
duke@435 602 }
duke@435 603
duke@435 604 // Verify static fields
duke@435 605 VerifyFieldClosure blk;
duke@435 606
duke@435 607 // Verify vtables
duke@435 608 if (ik->is_linked()) {
duke@435 609 ResourceMark rm(thread);
duke@435 610 // $$$ This used to be done only for m/s collections. Doing it
duke@435 611 // always seemed a valid generalization. (DLD -- 6/00)
duke@435 612 ik->vtable()->verify(st);
duke@435 613 }
duke@435 614
duke@435 615 // Verify oop map cache
duke@435 616 if (ik->oop_map_cache() != NULL) {
duke@435 617 ik->oop_map_cache()->verify();
duke@435 618 }
duke@435 619
duke@435 620 // Verify first subklass
duke@435 621 if (ik->subklass_oop() != NULL) {
duke@435 622 guarantee(ik->subklass_oop()->is_perm(), "should be in permspace");
duke@435 623 guarantee(ik->subklass_oop()->is_klass(), "should be klass");
duke@435 624 }
duke@435 625
duke@435 626 // Verify siblings
duke@435 627 klassOop super = ik->super();
duke@435 628 Klass* sib = ik->next_sibling();
duke@435 629 int sib_count = 0;
duke@435 630 while (sib != NULL) {
duke@435 631 if (sib == ik) {
jcoomes@1845 632 fatal(err_msg("subclass cycle of length %d", sib_count));
duke@435 633 }
duke@435 634 if (sib_count >= 100000) {
jcoomes@1845 635 fatal(err_msg("suspiciously long subclass list %d", sib_count));
duke@435 636 }
duke@435 637 guarantee(sib->as_klassOop()->is_klass(), "should be klass");
duke@435 638 guarantee(sib->as_klassOop()->is_perm(), "should be in permspace");
duke@435 639 guarantee(sib->super() == super, "siblings should have same superklass");
duke@435 640 sib = sib->next_sibling();
duke@435 641 }
duke@435 642
duke@435 643 // Verify implementor fields
duke@435 644 bool saw_null_impl = false;
duke@435 645 for (int i = 0; i < instanceKlass::implementors_limit; i++) {
duke@435 646 klassOop im = ik->implementor(i);
duke@435 647 if (im == NULL) { saw_null_impl = true; continue; }
duke@435 648 guarantee(!saw_null_impl, "non-nulls must preceded all nulls");
duke@435 649 guarantee(ik->is_interface(), "only interfaces should have implementor set");
duke@435 650 guarantee(i < ik->nof_implementors(), "should only have one implementor");
duke@435 651 guarantee(im->is_perm(), "should be in permspace");
duke@435 652 guarantee(im->is_klass(), "should be klass");
duke@435 653 guarantee(!Klass::cast(klassOop(im))->is_interface(), "implementors cannot be interfaces");
duke@435 654 }
duke@435 655
duke@435 656 // Verify local interfaces
duke@435 657 objArrayOop local_interfaces = ik->local_interfaces();
duke@435 658 guarantee(local_interfaces->is_perm(), "should be in permspace");
duke@435 659 guarantee(local_interfaces->is_objArray(), "should be obj array");
duke@435 660 int j;
duke@435 661 for (j = 0; j < local_interfaces->length(); j++) {
duke@435 662 oop e = local_interfaces->obj_at(j);
duke@435 663 guarantee(e->is_klass() && Klass::cast(klassOop(e))->is_interface(), "invalid local interface");
duke@435 664 }
duke@435 665
duke@435 666 // Verify transitive interfaces
duke@435 667 objArrayOop transitive_interfaces = ik->transitive_interfaces();
duke@435 668 guarantee(transitive_interfaces->is_perm(), "should be in permspace");
duke@435 669 guarantee(transitive_interfaces->is_objArray(), "should be obj array");
duke@435 670 for (j = 0; j < transitive_interfaces->length(); j++) {
duke@435 671 oop e = transitive_interfaces->obj_at(j);
duke@435 672 guarantee(e->is_klass() && Klass::cast(klassOop(e))->is_interface(), "invalid transitive interface");
duke@435 673 }
duke@435 674
duke@435 675 // Verify methods
duke@435 676 objArrayOop methods = ik->methods();
duke@435 677 guarantee(methods->is_perm(), "should be in permspace");
duke@435 678 guarantee(methods->is_objArray(), "should be obj array");
duke@435 679 for (j = 0; j < methods->length(); j++) {
duke@435 680 guarantee(methods->obj_at(j)->is_method(), "non-method in methods array");
duke@435 681 }
duke@435 682 for (j = 0; j < methods->length() - 1; j++) {
duke@435 683 methodOop m1 = methodOop(methods->obj_at(j));
duke@435 684 methodOop m2 = methodOop(methods->obj_at(j + 1));
duke@435 685 guarantee(m1->name()->fast_compare(m2->name()) <= 0, "methods not sorted correctly");
duke@435 686 }
duke@435 687
duke@435 688 // Verify method ordering
duke@435 689 typeArrayOop method_ordering = ik->method_ordering();
duke@435 690 guarantee(method_ordering->is_perm(), "should be in permspace");
duke@435 691 guarantee(method_ordering->is_typeArray(), "should be type array");
duke@435 692 int length = method_ordering->length();
coleenp@2777 693 if (JvmtiExport::can_maintain_original_method_order() ||
coleenp@2777 694 (UseSharedSpaces && length != 0)) {
duke@435 695 guarantee(length == methods->length(), "invalid method ordering length");
duke@435 696 jlong sum = 0;
duke@435 697 for (j = 0; j < length; j++) {
duke@435 698 int original_index = method_ordering->int_at(j);
duke@435 699 guarantee(original_index >= 0 && original_index < length, "invalid method ordering index");
duke@435 700 sum += original_index;
duke@435 701 }
duke@435 702 // Verify sum of indices 0,1,...,length-1
duke@435 703 guarantee(sum == ((jlong)length*(length-1))/2, "invalid method ordering sum");
duke@435 704 } else {
duke@435 705 guarantee(length == 0, "invalid method ordering length");
duke@435 706 }
duke@435 707
duke@435 708 // Verify JNI static field identifiers
duke@435 709 if (ik->jni_ids() != NULL) {
duke@435 710 ik->jni_ids()->verify(ik->as_klassOop());
duke@435 711 }
duke@435 712
duke@435 713 // Verify other fields
duke@435 714 if (ik->array_klasses() != NULL) {
duke@435 715 guarantee(ik->array_klasses()->is_perm(), "should be in permspace");
duke@435 716 guarantee(ik->array_klasses()->is_klass(), "should be klass");
duke@435 717 }
duke@435 718 guarantee(ik->fields()->is_perm(), "should be in permspace");
duke@435 719 guarantee(ik->fields()->is_typeArray(), "should be type array");
duke@435 720 guarantee(ik->constants()->is_perm(), "should be in permspace");
duke@435 721 guarantee(ik->constants()->is_constantPool(), "should be constant pool");
duke@435 722 guarantee(ik->inner_classes()->is_perm(), "should be in permspace");
duke@435 723 guarantee(ik->inner_classes()->is_typeArray(), "should be type array");
duke@435 724 if (ik->protection_domain() != NULL) {
duke@435 725 guarantee(ik->protection_domain()->is_oop(), "should be oop");
duke@435 726 }
jrose@866 727 if (ik->host_klass() != NULL) {
jrose@866 728 guarantee(ik->host_klass()->is_oop(), "should be oop");
jrose@866 729 }
duke@435 730 if (ik->signers() != NULL) {
duke@435 731 guarantee(ik->signers()->is_objArray(), "should be obj array");
duke@435 732 }
duke@435 733 if (ik->class_annotations() != NULL) {
duke@435 734 guarantee(ik->class_annotations()->is_typeArray(), "should be type array");
duke@435 735 }
duke@435 736 if (ik->fields_annotations() != NULL) {
duke@435 737 guarantee(ik->fields_annotations()->is_objArray(), "should be obj array");
duke@435 738 }
duke@435 739 if (ik->methods_annotations() != NULL) {
duke@435 740 guarantee(ik->methods_annotations()->is_objArray(), "should be obj array");
duke@435 741 }
duke@435 742 if (ik->methods_parameter_annotations() != NULL) {
duke@435 743 guarantee(ik->methods_parameter_annotations()->is_objArray(), "should be obj array");
duke@435 744 }
duke@435 745 if (ik->methods_default_annotations() != NULL) {
duke@435 746 guarantee(ik->methods_default_annotations()->is_objArray(), "should be obj array");
duke@435 747 }
duke@435 748 }
duke@435 749 }
duke@435 750
duke@435 751
duke@435 752 bool instanceKlassKlass::oop_partially_loaded(oop obj) const {
duke@435 753 assert(obj->is_klass(), "object must be klass");
duke@435 754 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 755 assert(ik->oop_is_instance(), "object must be instanceKlass");
duke@435 756 return ik->transitive_interfaces() == (objArrayOop) obj; // Check whether transitive_interfaces points to self
duke@435 757 }
duke@435 758
duke@435 759
duke@435 760 // The transitive_interfaces is the last field set when loading an object.
duke@435 761 void instanceKlassKlass::oop_set_partially_loaded(oop obj) {
duke@435 762 assert(obj->is_klass(), "object must be klass");
duke@435 763 instanceKlass* ik = instanceKlass::cast(klassOop(obj));
duke@435 764 // Set the layout helper to a place-holder value, until fuller initialization.
duke@435 765 // (This allows asserts in oop_is_instance to succeed.)
duke@435 766 ik->set_layout_helper(Klass::instance_layout_helper(0, true));
duke@435 767 assert(ik->oop_is_instance(), "object must be instanceKlass");
duke@435 768 assert(ik->transitive_interfaces() == NULL, "just checking");
duke@435 769 ik->set_transitive_interfaces((objArrayOop) obj); // Temporarily set transitive_interfaces to point to self
duke@435 770 }

mercurial