src/share/vm/oops/instanceKlassKlass.cpp

Fri, 11 Mar 2011 22:34:57 -0800

author
jrose
date
Fri, 11 Mar 2011 22:34:57 -0800
changeset 2639
8033953d67ff
parent 2534
e5383553fd4e
child 2658
c7f3d0b4570f
permissions
-rw-r--r--

7012648: move JSR 292 to package java.lang.invoke and adjust names
Summary: package and class renaming only; delete unused methods and classes
Reviewed-by: twisti

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

mercurial