src/share/vm/ci/ciInstanceKlass.cpp

Mon, 31 Jan 2011 17:48:21 -0800

author
never
date
Mon, 31 Jan 2011 17:48:21 -0800
changeset 2551
4f26f535a225
parent 2497
3582bf76420e
child 2658
c7f3d0b4570f
permissions
-rw-r--r--

6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
Reviewed-by: jrose, acorn

duke@435 1 /*
never@2000 2 * Copyright (c) 1999, 2010, 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 "ci/ciField.hpp"
stefank@2314 27 #include "ci/ciInstance.hpp"
stefank@2314 28 #include "ci/ciInstanceKlass.hpp"
stefank@2314 29 #include "ci/ciUtilities.hpp"
stefank@2314 30 #include "classfile/systemDictionary.hpp"
stefank@2314 31 #include "memory/allocation.hpp"
stefank@2314 32 #include "memory/allocation.inline.hpp"
stefank@2314 33 #include "oops/oop.inline.hpp"
stefank@2314 34 #include "runtime/fieldDescriptor.hpp"
duke@435 35
duke@435 36 // ciInstanceKlass
duke@435 37 //
duke@435 38 // This class represents a klassOop in the HotSpot virtual machine
duke@435 39 // whose Klass part in an instanceKlass.
duke@435 40
duke@435 41 // ------------------------------------------------------------------
duke@435 42 // ciInstanceKlass::ciInstanceKlass
duke@435 43 //
duke@435 44 // Loaded instance klass.
kvn@479 45 ciInstanceKlass::ciInstanceKlass(KlassHandle h_k) :
kvn@479 46 ciKlass(h_k), _non_static_fields(NULL)
kvn@479 47 {
duke@435 48 assert(get_Klass()->oop_is_instance(), "wrong type");
never@2551 49 assert(get_instanceKlass()->is_loaded(), "must be at least loaded");
duke@435 50 instanceKlass* ik = get_instanceKlass();
duke@435 51
duke@435 52 AccessFlags access_flags = ik->access_flags();
duke@435 53 _flags = ciFlags(access_flags);
duke@435 54 _has_finalizer = access_flags.has_finalizer();
duke@435 55 _has_subklass = ik->subklass() != NULL;
never@2000 56 _init_state = (instanceKlass::ClassState)ik->get_init_state();
duke@435 57 _nonstatic_field_size = ik->nonstatic_field_size();
coleenp@548 58 _has_nonstatic_fields = ik->has_nonstatic_fields();
duke@435 59 _nonstatic_fields = NULL; // initialized lazily by compute_nonstatic_fields:
duke@435 60
duke@435 61 _nof_implementors = ik->nof_implementors();
duke@435 62 for (int i = 0; i < implementors_limit; i++) {
duke@435 63 _implementors[i] = NULL; // we will fill these lazily
duke@435 64 }
duke@435 65
duke@435 66 Thread *thread = Thread::current();
duke@435 67 if (ciObjectFactory::is_initialized()) {
duke@435 68 _loader = JNIHandles::make_local(thread, ik->class_loader());
duke@435 69 _protection_domain = JNIHandles::make_local(thread,
duke@435 70 ik->protection_domain());
duke@435 71 _is_shared = false;
duke@435 72 } else {
duke@435 73 Handle h_loader(thread, ik->class_loader());
duke@435 74 Handle h_protection_domain(thread, ik->protection_domain());
duke@435 75 _loader = JNIHandles::make_global(h_loader);
duke@435 76 _protection_domain = JNIHandles::make_global(h_protection_domain);
duke@435 77 _is_shared = true;
duke@435 78 }
duke@435 79
duke@435 80 // Lazy fields get filled in only upon request.
duke@435 81 _super = NULL;
duke@435 82 _java_mirror = NULL;
duke@435 83
duke@435 84 if (is_shared()) {
never@1577 85 if (h_k() != SystemDictionary::Object_klass()) {
duke@435 86 super();
duke@435 87 }
duke@435 88 java_mirror();
duke@435 89 //compute_nonstatic_fields(); // done outside of constructor
duke@435 90 }
duke@435 91
duke@435 92 _field_cache = NULL;
duke@435 93 }
duke@435 94
duke@435 95 // Version for unloaded classes:
duke@435 96 ciInstanceKlass::ciInstanceKlass(ciSymbol* name,
duke@435 97 jobject loader, jobject protection_domain)
duke@435 98 : ciKlass(name, ciInstanceKlassKlass::make())
duke@435 99 {
duke@435 100 assert(name->byte_at(0) != '[', "not an instance klass");
never@2000 101 _init_state = (instanceKlass::ClassState)0;
duke@435 102 _nonstatic_field_size = -1;
coleenp@548 103 _has_nonstatic_fields = false;
duke@435 104 _nonstatic_fields = NULL;
duke@435 105 _nof_implementors = -1;
duke@435 106 _loader = loader;
duke@435 107 _protection_domain = protection_domain;
duke@435 108 _is_shared = false;
duke@435 109 _super = NULL;
duke@435 110 _java_mirror = NULL;
duke@435 111 _field_cache = NULL;
duke@435 112 }
duke@435 113
duke@435 114
duke@435 115
duke@435 116 // ------------------------------------------------------------------
duke@435 117 // ciInstanceKlass::compute_shared_is_initialized
never@2000 118 void ciInstanceKlass::compute_shared_init_state() {
duke@435 119 GUARDED_VM_ENTRY(
duke@435 120 instanceKlass* ik = get_instanceKlass();
never@2000 121 _init_state = (instanceKlass::ClassState)ik->get_init_state();
duke@435 122 )
duke@435 123 }
duke@435 124
duke@435 125 // ------------------------------------------------------------------
duke@435 126 // ciInstanceKlass::compute_shared_has_subklass
duke@435 127 bool ciInstanceKlass::compute_shared_has_subklass() {
duke@435 128 GUARDED_VM_ENTRY(
duke@435 129 instanceKlass* ik = get_instanceKlass();
duke@435 130 _has_subklass = ik->subklass() != NULL;
duke@435 131 return _has_subklass;
duke@435 132 )
duke@435 133 }
duke@435 134
duke@435 135 // ------------------------------------------------------------------
duke@435 136 // ciInstanceKlass::compute_shared_nof_implementors
duke@435 137 int ciInstanceKlass::compute_shared_nof_implementors() {
duke@435 138 // We requery this property, since it is a very old ciObject.
duke@435 139 GUARDED_VM_ENTRY(
duke@435 140 instanceKlass* ik = get_instanceKlass();
duke@435 141 _nof_implementors = ik->nof_implementors();
duke@435 142 return _nof_implementors;
duke@435 143 )
duke@435 144 }
duke@435 145
duke@435 146 // ------------------------------------------------------------------
duke@435 147 // ciInstanceKlass::loader
duke@435 148 oop ciInstanceKlass::loader() {
duke@435 149 ASSERT_IN_VM;
duke@435 150 return JNIHandles::resolve(_loader);
duke@435 151 }
duke@435 152
duke@435 153 // ------------------------------------------------------------------
duke@435 154 // ciInstanceKlass::loader_handle
duke@435 155 jobject ciInstanceKlass::loader_handle() {
duke@435 156 return _loader;
duke@435 157 }
duke@435 158
duke@435 159 // ------------------------------------------------------------------
duke@435 160 // ciInstanceKlass::protection_domain
duke@435 161 oop ciInstanceKlass::protection_domain() {
duke@435 162 ASSERT_IN_VM;
duke@435 163 return JNIHandles::resolve(_protection_domain);
duke@435 164 }
duke@435 165
duke@435 166 // ------------------------------------------------------------------
duke@435 167 // ciInstanceKlass::protection_domain_handle
duke@435 168 jobject ciInstanceKlass::protection_domain_handle() {
duke@435 169 return _protection_domain;
duke@435 170 }
duke@435 171
duke@435 172 // ------------------------------------------------------------------
duke@435 173 // ciInstanceKlass::field_cache
duke@435 174 //
duke@435 175 // Get the field cache associated with this klass.
duke@435 176 ciConstantPoolCache* ciInstanceKlass::field_cache() {
duke@435 177 if (is_shared()) {
duke@435 178 return NULL;
duke@435 179 }
duke@435 180 if (_field_cache == NULL) {
duke@435 181 assert(!is_java_lang_Object(), "Object has no fields");
duke@435 182 Arena* arena = CURRENT_ENV->arena();
duke@435 183 _field_cache = new (arena) ciConstantPoolCache(arena, 5);
duke@435 184 }
duke@435 185 return _field_cache;
duke@435 186 }
duke@435 187
duke@435 188 // ------------------------------------------------------------------
duke@435 189 // ciInstanceKlass::get_canonical_holder
duke@435 190 //
duke@435 191 ciInstanceKlass* ciInstanceKlass::get_canonical_holder(int offset) {
duke@435 192 #ifdef ASSERT
duke@435 193 if (!(offset >= 0 && offset < layout_helper())) {
duke@435 194 tty->print("*** get_canonical_holder(%d) on ", offset);
duke@435 195 this->print();
duke@435 196 tty->print_cr(" ***");
duke@435 197 };
duke@435 198 assert(offset >= 0 && offset < layout_helper(), "offset must be tame");
duke@435 199 #endif
duke@435 200
coleenp@548 201 if (offset < instanceOopDesc::base_offset_in_bytes()) {
duke@435 202 // All header offsets belong properly to java/lang/Object.
duke@435 203 return CURRENT_ENV->Object_klass();
duke@435 204 }
duke@435 205
duke@435 206 ciInstanceKlass* self = this;
duke@435 207 for (;;) {
duke@435 208 assert(self->is_loaded(), "must be loaded to have size");
duke@435 209 ciInstanceKlass* super = self->super();
coleenp@548 210 if (super == NULL || super->nof_nonstatic_fields() == 0 ||
coleenp@548 211 !super->contains_field_offset(offset)) {
duke@435 212 return self;
duke@435 213 } else {
duke@435 214 self = super; // return super->get_canonical_holder(offset)
duke@435 215 }
duke@435 216 }
duke@435 217 }
duke@435 218
duke@435 219 // ------------------------------------------------------------------
duke@435 220 // ciInstanceKlass::is_java_lang_Object
duke@435 221 //
duke@435 222 // Is this klass java.lang.Object?
duke@435 223 bool ciInstanceKlass::is_java_lang_Object() {
duke@435 224 return equals(CURRENT_ENV->Object_klass());
duke@435 225 }
duke@435 226
duke@435 227 // ------------------------------------------------------------------
duke@435 228 // ciInstanceKlass::uses_default_loader
duke@435 229 bool ciInstanceKlass::uses_default_loader() {
twisti@1573 230 // Note: We do not need to resolve the handle or enter the VM
twisti@1573 231 // in order to test null-ness.
twisti@1573 232 return _loader == NULL;
twisti@1573 233 }
twisti@1573 234
twisti@1573 235 // ------------------------------------------------------------------
twisti@1573 236 // ciInstanceKlass::is_in_package
twisti@1573 237 //
twisti@1573 238 // Is this klass in the given package?
twisti@1573 239 bool ciInstanceKlass::is_in_package(const char* packagename, int len) {
twisti@1573 240 // To avoid class loader mischief, this test always rejects application classes.
twisti@1573 241 if (!uses_default_loader())
twisti@1573 242 return false;
twisti@1573 243 GUARDED_VM_ENTRY(
twisti@1573 244 return is_in_package_impl(packagename, len);
twisti@1573 245 )
twisti@1573 246 }
twisti@1573 247
twisti@1573 248 bool ciInstanceKlass::is_in_package_impl(const char* packagename, int len) {
twisti@1573 249 ASSERT_IN_VM;
twisti@1573 250
twisti@1573 251 // If packagename contains trailing '/' exclude it from the
twisti@1573 252 // prefix-test since we test for it explicitly.
twisti@1573 253 if (packagename[len - 1] == '/')
twisti@1573 254 len--;
twisti@1573 255
twisti@1573 256 if (!name()->starts_with(packagename, len))
twisti@1573 257 return false;
twisti@1573 258
twisti@1573 259 // Test if the class name is something like "java/lang".
twisti@1573 260 if ((len + 1) > name()->utf8_length())
twisti@1573 261 return false;
twisti@1573 262
twisti@1573 263 // Test for trailing '/'
twisti@1573 264 if ((char) name()->byte_at(len) != '/')
twisti@1573 265 return false;
twisti@1573 266
twisti@1573 267 // Make sure it's not actually in a subpackage:
twisti@1573 268 if (name()->index_of_at(len+1, "/", 1) >= 0)
twisti@1573 269 return false;
twisti@1573 270
twisti@1573 271 return true;
duke@435 272 }
duke@435 273
duke@435 274 // ------------------------------------------------------------------
duke@435 275 // ciInstanceKlass::print_impl
duke@435 276 //
duke@435 277 // Implementation of the print method.
duke@435 278 void ciInstanceKlass::print_impl(outputStream* st) {
duke@435 279 ciKlass::print_impl(st);
duke@435 280 GUARDED_VM_ENTRY(st->print(" loader=0x%x", (address)loader());)
duke@435 281 if (is_loaded()) {
duke@435 282 st->print(" loaded=true initialized=%s finalized=%s subklass=%s size=%d flags=",
duke@435 283 bool_to_str(is_initialized()),
duke@435 284 bool_to_str(has_finalizer()),
duke@435 285 bool_to_str(has_subklass()),
duke@435 286 layout_helper());
duke@435 287
duke@435 288 _flags.print_klass_flags();
duke@435 289
duke@435 290 if (_super) {
duke@435 291 st->print(" super=");
duke@435 292 _super->print_name();
duke@435 293 }
duke@435 294 if (_java_mirror) {
duke@435 295 st->print(" mirror=PRESENT");
duke@435 296 }
duke@435 297 } else {
duke@435 298 st->print(" loaded=false");
duke@435 299 }
duke@435 300 }
duke@435 301
duke@435 302 // ------------------------------------------------------------------
duke@435 303 // ciInstanceKlass::super
duke@435 304 //
duke@435 305 // Get the superklass of this klass.
duke@435 306 ciInstanceKlass* ciInstanceKlass::super() {
duke@435 307 assert(is_loaded(), "must be loaded");
duke@435 308 if (_super == NULL && !is_java_lang_Object()) {
duke@435 309 GUARDED_VM_ENTRY(
duke@435 310 klassOop super_klass = get_instanceKlass()->super();
duke@435 311 _super = CURRENT_ENV->get_object(super_klass)->as_instance_klass();
duke@435 312 )
duke@435 313 }
duke@435 314 return _super;
duke@435 315 }
duke@435 316
duke@435 317 // ------------------------------------------------------------------
duke@435 318 // ciInstanceKlass::java_mirror
duke@435 319 //
duke@435 320 // Get the instance of java.lang.Class corresponding to this klass.
jrose@1959 321 // Cache it on this->_java_mirror.
duke@435 322 ciInstance* ciInstanceKlass::java_mirror() {
duke@435 323 if (_java_mirror == NULL) {
jrose@1959 324 _java_mirror = ciKlass::java_mirror();
duke@435 325 }
duke@435 326 return _java_mirror;
duke@435 327 }
duke@435 328
duke@435 329 // ------------------------------------------------------------------
duke@435 330 // ciInstanceKlass::unique_concrete_subklass
duke@435 331 ciInstanceKlass* ciInstanceKlass::unique_concrete_subklass() {
duke@435 332 if (!is_loaded()) return NULL; // No change if class is not loaded
duke@435 333 if (!is_abstract()) return NULL; // Only applies to abstract classes.
duke@435 334 if (!has_subklass()) return NULL; // Must have at least one subklass.
duke@435 335 VM_ENTRY_MARK;
duke@435 336 instanceKlass* ik = get_instanceKlass();
duke@435 337 Klass* up = ik->up_cast_abstract();
duke@435 338 assert(up->oop_is_instance(), "must be instanceKlass");
duke@435 339 if (ik == up) {
duke@435 340 return NULL;
duke@435 341 }
duke@435 342 return CURRENT_THREAD_ENV->get_object(up->as_klassOop())->as_instance_klass();
duke@435 343 }
duke@435 344
duke@435 345 // ------------------------------------------------------------------
duke@435 346 // ciInstanceKlass::has_finalizable_subclass
duke@435 347 bool ciInstanceKlass::has_finalizable_subclass() {
duke@435 348 if (!is_loaded()) return true;
duke@435 349 VM_ENTRY_MARK;
duke@435 350 return Dependencies::find_finalizable_subclass(get_instanceKlass()) != NULL;
duke@435 351 }
duke@435 352
duke@435 353 // ------------------------------------------------------------------
duke@435 354 // ciInstanceKlass::get_field_by_offset
duke@435 355 ciField* ciInstanceKlass::get_field_by_offset(int field_offset, bool is_static) {
duke@435 356 if (!is_static) {
duke@435 357 for (int i = 0, len = nof_nonstatic_fields(); i < len; i++) {
duke@435 358 ciField* field = _nonstatic_fields->at(i);
duke@435 359 int field_off = field->offset_in_bytes();
duke@435 360 if (field_off == field_offset)
duke@435 361 return field;
duke@435 362 if (field_off > field_offset)
duke@435 363 break;
duke@435 364 // could do binary search or check bins, but probably not worth it
duke@435 365 }
duke@435 366 return NULL;
duke@435 367 }
duke@435 368 VM_ENTRY_MARK;
duke@435 369 instanceKlass* k = get_instanceKlass();
duke@435 370 fieldDescriptor fd;
duke@435 371 if (!k->find_field_from_offset(field_offset, is_static, &fd)) {
duke@435 372 return NULL;
duke@435 373 }
duke@435 374 ciField* field = new (CURRENT_THREAD_ENV->arena()) ciField(&fd);
duke@435 375 return field;
duke@435 376 }
duke@435 377
kvn@479 378 // ------------------------------------------------------------------
never@1515 379 // ciInstanceKlass::get_field_by_name
never@1515 380 ciField* ciInstanceKlass::get_field_by_name(ciSymbol* name, ciSymbol* signature, bool is_static) {
never@1515 381 VM_ENTRY_MARK;
never@1515 382 instanceKlass* k = get_instanceKlass();
never@1515 383 fieldDescriptor fd;
coleenp@2497 384 klassOop def = k->find_field(name->get_symbol(), signature->get_symbol(), is_static, &fd);
never@1515 385 if (def == NULL) {
never@1515 386 return NULL;
never@1515 387 }
never@1515 388 ciField* field = new (CURRENT_THREAD_ENV->arena()) ciField(&fd);
never@1515 389 return field;
never@1515 390 }
never@1515 391
never@1515 392 // ------------------------------------------------------------------
kvn@479 393 // ciInstanceKlass::non_static_fields.
kvn@479 394
kvn@479 395 class NonStaticFieldFiller: public FieldClosure {
kvn@479 396 GrowableArray<ciField*>* _arr;
kvn@479 397 ciEnv* _curEnv;
kvn@479 398 public:
kvn@479 399 NonStaticFieldFiller(ciEnv* curEnv, GrowableArray<ciField*>* arr) :
kvn@479 400 _curEnv(curEnv), _arr(arr)
kvn@479 401 {}
kvn@479 402 void do_field(fieldDescriptor* fd) {
kvn@479 403 ciField* field = new (_curEnv->arena()) ciField(fd);
kvn@479 404 _arr->append(field);
kvn@479 405 }
kvn@479 406 };
kvn@479 407
kvn@479 408 GrowableArray<ciField*>* ciInstanceKlass::non_static_fields() {
kvn@479 409 if (_non_static_fields == NULL) {
kvn@479 410 VM_ENTRY_MARK;
kvn@479 411 ciEnv* curEnv = ciEnv::current();
kvn@479 412 instanceKlass* ik = get_instanceKlass();
kvn@479 413 int max_n_fields = ik->fields()->length()/instanceKlass::next_offset;
kvn@479 414
kvn@2040 415 Arena* arena = curEnv->arena();
kvn@479 416 _non_static_fields =
kvn@2040 417 new (arena) GrowableArray<ciField*>(arena, max_n_fields, 0, NULL);
kvn@479 418 NonStaticFieldFiller filler(curEnv, _non_static_fields);
kvn@479 419 ik->do_nonstatic_fields(&filler);
kvn@479 420 }
kvn@479 421 return _non_static_fields;
kvn@479 422 }
kvn@479 423
duke@435 424 static int sort_field_by_offset(ciField** a, ciField** b) {
duke@435 425 return (*a)->offset_in_bytes() - (*b)->offset_in_bytes();
duke@435 426 // (no worries about 32-bit overflow...)
duke@435 427 }
duke@435 428
duke@435 429 // ------------------------------------------------------------------
duke@435 430 // ciInstanceKlass::compute_nonstatic_fields
duke@435 431 int ciInstanceKlass::compute_nonstatic_fields() {
duke@435 432 assert(is_loaded(), "must be loaded");
duke@435 433
duke@435 434 if (_nonstatic_fields != NULL)
duke@435 435 return _nonstatic_fields->length();
duke@435 436
coleenp@548 437 if (!has_nonstatic_fields()) {
duke@435 438 Arena* arena = CURRENT_ENV->arena();
duke@435 439 _nonstatic_fields = new (arena) GrowableArray<ciField*>(arena, 0, 0, NULL);
duke@435 440 return 0;
duke@435 441 }
duke@435 442 assert(!is_java_lang_Object(), "bootstrap OK");
duke@435 443
coleenp@548 444 // Size in bytes of my fields, including inherited fields.
kvn@600 445 int fsize = nonstatic_field_size() * heapOopSize;
coleenp@548 446
duke@435 447 ciInstanceKlass* super = this->super();
duke@435 448 GrowableArray<ciField*>* super_fields = NULL;
coleenp@548 449 if (super != NULL && super->has_nonstatic_fields()) {
kvn@600 450 int super_fsize = super->nonstatic_field_size() * heapOopSize;
coleenp@548 451 int super_flen = super->nof_nonstatic_fields();
duke@435 452 super_fields = super->_nonstatic_fields;
duke@435 453 assert(super_flen == 0 || super_fields != NULL, "first get nof_fields");
coleenp@548 454 // See if I am no larger than my super; if so, I can use his fields.
coleenp@548 455 if (fsize == super_fsize) {
coleenp@548 456 _nonstatic_fields = super_fields;
coleenp@548 457 return super_fields->length();
coleenp@548 458 }
duke@435 459 }
duke@435 460
duke@435 461 GrowableArray<ciField*>* fields = NULL;
duke@435 462 GUARDED_VM_ENTRY({
duke@435 463 fields = compute_nonstatic_fields_impl(super_fields);
duke@435 464 });
duke@435 465
duke@435 466 if (fields == NULL) {
duke@435 467 // This can happen if this class (java.lang.Class) has invisible fields.
duke@435 468 _nonstatic_fields = super_fields;
duke@435 469 return super_fields->length();
duke@435 470 }
duke@435 471
duke@435 472 int flen = fields->length();
duke@435 473
duke@435 474 // Now sort them by offset, ascending.
duke@435 475 // (In principle, they could mix with superclass fields.)
duke@435 476 fields->sort(sort_field_by_offset);
duke@435 477 #ifdef ASSERT
coleenp@548 478 int last_offset = instanceOopDesc::base_offset_in_bytes();
duke@435 479 for (int i = 0; i < fields->length(); i++) {
duke@435 480 ciField* field = fields->at(i);
duke@435 481 int offset = field->offset_in_bytes();
coleenp@548 482 int size = (field->_type == NULL) ? heapOopSize : field->size_in_bytes();
twisti@2201 483 assert(last_offset <= offset, err_msg("no field overlap: %d <= %d", last_offset, offset));
duke@435 484 if (last_offset > (int)sizeof(oopDesc))
duke@435 485 assert((offset - last_offset) < BytesPerLong, "no big holes");
duke@435 486 // Note: Two consecutive T_BYTE fields will be separated by wordSize-1
duke@435 487 // padding bytes if one of them is declared by a superclass.
duke@435 488 // This is a minor inefficiency classFileParser.cpp.
duke@435 489 last_offset = offset + size;
duke@435 490 }
kvn@600 491 assert(last_offset <= (int)instanceOopDesc::base_offset_in_bytes() + fsize, "no overflow");
duke@435 492 #endif
duke@435 493
duke@435 494 _nonstatic_fields = fields;
duke@435 495 return flen;
duke@435 496 }
duke@435 497
duke@435 498 GrowableArray<ciField*>*
duke@435 499 ciInstanceKlass::compute_nonstatic_fields_impl(GrowableArray<ciField*>*
duke@435 500 super_fields) {
duke@435 501 ASSERT_IN_VM;
duke@435 502 Arena* arena = CURRENT_ENV->arena();
duke@435 503 int flen = 0;
duke@435 504 GrowableArray<ciField*>* fields = NULL;
duke@435 505 instanceKlass* k = get_instanceKlass();
duke@435 506 typeArrayOop fields_array = k->fields();
duke@435 507 for (int pass = 0; pass <= 1; pass++) {
duke@435 508 for (int i = 0, alen = fields_array->length(); i < alen; i += instanceKlass::next_offset) {
duke@435 509 fieldDescriptor fd;
duke@435 510 fd.initialize(k->as_klassOop(), i);
duke@435 511 if (fd.is_static()) continue;
duke@435 512 if (pass == 0) {
duke@435 513 flen += 1;
duke@435 514 } else {
duke@435 515 ciField* field = new (arena) ciField(&fd);
duke@435 516 fields->append(field);
duke@435 517 }
duke@435 518 }
duke@435 519
duke@435 520 // Between passes, allocate the array:
duke@435 521 if (pass == 0) {
duke@435 522 if (flen == 0) {
duke@435 523 return NULL; // return nothing if none are locally declared
duke@435 524 }
duke@435 525 if (super_fields != NULL) {
duke@435 526 flen += super_fields->length();
duke@435 527 }
duke@435 528 fields = new (arena) GrowableArray<ciField*>(arena, flen, 0, NULL);
duke@435 529 if (super_fields != NULL) {
duke@435 530 fields->appendAll(super_fields);
duke@435 531 }
duke@435 532 }
duke@435 533 }
duke@435 534 assert(fields->length() == flen, "sanity");
duke@435 535 return fields;
duke@435 536 }
duke@435 537
duke@435 538 // ------------------------------------------------------------------
duke@435 539 // ciInstanceKlass::find_method
duke@435 540 //
duke@435 541 // Find a method in this klass.
duke@435 542 ciMethod* ciInstanceKlass::find_method(ciSymbol* name, ciSymbol* signature) {
duke@435 543 VM_ENTRY_MARK;
duke@435 544 instanceKlass* k = get_instanceKlass();
coleenp@2497 545 Symbol* name_sym = name->get_symbol();
coleenp@2497 546 Symbol* sig_sym= signature->get_symbol();
duke@435 547
duke@435 548 methodOop m = k->find_method(name_sym, sig_sym);
duke@435 549 if (m == NULL) return NULL;
duke@435 550
duke@435 551 return CURRENT_THREAD_ENV->get_object(m)->as_method();
duke@435 552 }
duke@435 553
duke@435 554 // ------------------------------------------------------------------
duke@435 555 // ciInstanceKlass::is_leaf_type
duke@435 556 bool ciInstanceKlass::is_leaf_type() {
duke@435 557 assert(is_loaded(), "must be loaded");
duke@435 558 if (is_shared()) {
duke@435 559 return is_final(); // approximately correct
duke@435 560 } else {
duke@435 561 return !_has_subklass && (_nof_implementors == 0);
duke@435 562 }
duke@435 563 }
duke@435 564
duke@435 565 // ------------------------------------------------------------------
duke@435 566 // ciInstanceKlass::implementor
duke@435 567 //
duke@435 568 // Report an implementor of this interface.
duke@435 569 // Returns NULL if exact information is not available.
duke@435 570 // Note that there are various races here, since my copy
duke@435 571 // of _nof_implementors might be out of date with respect
duke@435 572 // to results returned by instanceKlass::implementor.
duke@435 573 // This is OK, since any dependencies we decide to assert
duke@435 574 // will be checked later under the Compile_lock.
duke@435 575 ciInstanceKlass* ciInstanceKlass::implementor(int n) {
kvn@2279 576 if (n >= implementors_limit) {
duke@435 577 return NULL;
duke@435 578 }
duke@435 579 ciInstanceKlass* impl = _implementors[n];
duke@435 580 if (impl == NULL) {
duke@435 581 if (_nof_implementors > implementors_limit) {
duke@435 582 return NULL;
duke@435 583 }
duke@435 584 // Go into the VM to fetch the implementor.
duke@435 585 {
duke@435 586 VM_ENTRY_MARK;
duke@435 587 klassOop k = get_instanceKlass()->implementor(n);
duke@435 588 if (k != NULL) {
duke@435 589 impl = CURRENT_THREAD_ENV->get_object(k)->as_instance_klass();
duke@435 590 }
duke@435 591 }
duke@435 592 // Memoize this result.
duke@435 593 if (!is_shared()) {
duke@435 594 _implementors[n] = (impl == NULL)? this: impl;
duke@435 595 }
duke@435 596 } else if (impl == this) {
duke@435 597 impl = NULL; // memoized null result from a VM query
duke@435 598 }
duke@435 599 return impl;
duke@435 600 }

mercurial