Mon, 09 Jun 2008 11:51:19 -0400
6687581: Make CMS work with compressed oops
Summary: Make FreeChunk read markword instead of LSB in _klass pointer to indicate that it's a FreeChunk for compressed oops.
Reviewed-by: ysr, jmasa
duke@435 | 1 | /* |
duke@435 | 2 | * Copyright 1997-2007 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 | } |