src/share/vm/oops/instanceKlassKlass.cpp

Wed, 02 Jul 2008 12:55:16 -0700

author
xdono
date
Wed, 02 Jul 2008 12:55:16 -0700
changeset 631
d1605aabd0a1
parent 600
437d03ea40b1
child 866
a45484ea312d
permissions
-rw-r--r--

6719955: Update copyright year
Summary: Update copyright year for files that have been modified in 2008
Reviewed-by: ohair, tbell

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

mercurial