src/share/vm/ci/ciObjectFactory.cpp

Wed, 17 Sep 2008 12:59:52 -0700

author
never
date
Wed, 17 Sep 2008 12:59:52 -0700
changeset 802
194b8e3a2fc4
parent 631
d1605aabd0a1
child 1344
b32a809aab08
permissions
-rw-r--r--

6384206: Phis which are later unneeded are impairing our ability to inline based on static types
Reviewed-by: rasbold, jrose

duke@435 1 /*
xdono@631 2 * Copyright 1999-2008 Sun Microsystems, Inc. All Rights Reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
duke@435 19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@435 20 * CA 95054 USA or visit www.sun.com if you need additional information or
duke@435 21 * have any questions.
duke@435 22 *
duke@435 23 */
duke@435 24
duke@435 25 #include "incls/_precompiled.incl"
duke@435 26 #include "incls/_ciObjectFactory.cpp.incl"
duke@435 27
duke@435 28 // ciObjectFactory
duke@435 29 //
duke@435 30 // This class handles requests for the creation of new instances
duke@435 31 // of ciObject and its subclasses. It contains a caching mechanism
duke@435 32 // which ensures that for each oop, at most one ciObject is created.
duke@435 33 // This invariant allows more efficient implementation of ciObject.
duke@435 34 //
duke@435 35 // Implementation note: the oop->ciObject mapping is represented as
duke@435 36 // a table stored in an array. Even though objects are moved
duke@435 37 // by the garbage collector, the compactor preserves their relative
duke@435 38 // order; address comparison of oops (in perm space) is safe so long
duke@435 39 // as we prohibit GC during our comparisons. We currently use binary
duke@435 40 // search to find the oop in the table, and inserting a new oop
duke@435 41 // into the table may be costly. If this cost ends up being
duke@435 42 // problematic the underlying data structure can be switched to some
duke@435 43 // sort of balanced binary tree.
duke@435 44
duke@435 45 GrowableArray<ciObject*>* ciObjectFactory::_shared_ci_objects = NULL;
duke@435 46 ciSymbol* ciObjectFactory::_shared_ci_symbols[vmSymbols::SID_LIMIT];
duke@435 47 int ciObjectFactory::_shared_ident_limit = 0;
duke@435 48 volatile bool ciObjectFactory::_initialized = false;
duke@435 49
duke@435 50
duke@435 51 // ------------------------------------------------------------------
duke@435 52 // ciObjectFactory::ciObjectFactory
duke@435 53 ciObjectFactory::ciObjectFactory(Arena* arena,
duke@435 54 int expected_size) {
duke@435 55
duke@435 56 for (int i = 0; i < NON_PERM_BUCKETS; i++) {
duke@435 57 _non_perm_bucket[i] = NULL;
duke@435 58 }
duke@435 59 _non_perm_count = 0;
duke@435 60
duke@435 61 _next_ident = _shared_ident_limit;
duke@435 62 _arena = arena;
duke@435 63 _ci_objects = new (arena) GrowableArray<ciObject*>(arena, expected_size, 0, NULL);
duke@435 64
duke@435 65 // If the shared ci objects exist append them to this factory's objects
duke@435 66
duke@435 67 if (_shared_ci_objects != NULL) {
duke@435 68 _ci_objects->appendAll(_shared_ci_objects);
duke@435 69 }
duke@435 70
duke@435 71 _unloaded_methods = new (arena) GrowableArray<ciMethod*>(arena, 4, 0, NULL);
duke@435 72 _unloaded_klasses = new (arena) GrowableArray<ciKlass*>(arena, 8, 0, NULL);
duke@435 73 _return_addresses =
duke@435 74 new (arena) GrowableArray<ciReturnAddress*>(arena, 8, 0, NULL);
duke@435 75 }
duke@435 76
duke@435 77 // ------------------------------------------------------------------
duke@435 78 // ciObjectFactory::ciObjectFactory
duke@435 79 void ciObjectFactory::initialize() {
duke@435 80 ASSERT_IN_VM;
duke@435 81 JavaThread* thread = JavaThread::current();
duke@435 82 HandleMark handle_mark(thread);
duke@435 83
duke@435 84 // This Arena is long lived and exists in the resource mark of the
duke@435 85 // compiler thread that initializes the initial ciObjectFactory which
duke@435 86 // creates the shared ciObjects that all later ciObjectFactories use.
duke@435 87 Arena* arena = new Arena();
duke@435 88 ciEnv initial(arena);
duke@435 89 ciEnv* env = ciEnv::current();
duke@435 90 env->_factory->init_shared_objects();
duke@435 91
duke@435 92 _initialized = true;
duke@435 93
duke@435 94 }
duke@435 95
duke@435 96 void ciObjectFactory::init_shared_objects() {
duke@435 97
duke@435 98 _next_ident = 1; // start numbering CI objects at 1
duke@435 99
duke@435 100 {
duke@435 101 // Create the shared symbols, but not in _shared_ci_objects.
duke@435 102 int i;
duke@435 103 for (i = vmSymbols::FIRST_SID; i < vmSymbols::SID_LIMIT; i++) {
duke@435 104 symbolHandle sym_handle = vmSymbolHandles::symbol_handle_at((vmSymbols::SID) i);
duke@435 105 assert(vmSymbols::find_sid(sym_handle()) == i, "1-1 mapping");
duke@435 106 ciSymbol* sym = new (_arena) ciSymbol(sym_handle);
duke@435 107 init_ident_of(sym);
duke@435 108 _shared_ci_symbols[i] = sym;
duke@435 109 }
duke@435 110 #ifdef ASSERT
duke@435 111 for (i = vmSymbols::FIRST_SID; i < vmSymbols::SID_LIMIT; i++) {
duke@435 112 symbolHandle sym_handle = vmSymbolHandles::symbol_handle_at((vmSymbols::SID) i);
duke@435 113 ciSymbol* sym = vm_symbol_at((vmSymbols::SID) i);
duke@435 114 assert(sym->get_oop() == sym_handle(), "oop must match");
duke@435 115 }
duke@435 116 assert(ciSymbol::void_class_signature()->get_oop() == vmSymbols::void_class_signature(), "spot check");
duke@435 117 #endif
duke@435 118 }
duke@435 119
duke@435 120 _ci_objects = new (_arena) GrowableArray<ciObject*>(_arena, 64, 0, NULL);
duke@435 121
duke@435 122 for (int i = T_BOOLEAN; i <= T_CONFLICT; i++) {
duke@435 123 BasicType t = (BasicType)i;
coleenp@548 124 if (type2name(t) != NULL && t != T_OBJECT && t != T_ARRAY && t != T_NARROWOOP) {
duke@435 125 ciType::_basic_types[t] = new (_arena) ciType(t);
duke@435 126 init_ident_of(ciType::_basic_types[t]);
duke@435 127 }
duke@435 128 }
duke@435 129
duke@435 130 ciEnv::_null_object_instance = new (_arena) ciNullObject();
duke@435 131 init_ident_of(ciEnv::_null_object_instance);
duke@435 132 ciEnv::_method_klass_instance =
duke@435 133 get(Universe::methodKlassObj())->as_method_klass();
duke@435 134 ciEnv::_symbol_klass_instance =
duke@435 135 get(Universe::symbolKlassObj())->as_symbol_klass();
duke@435 136 ciEnv::_klass_klass_instance =
duke@435 137 get(Universe::klassKlassObj())->as_klass_klass();
duke@435 138 ciEnv::_instance_klass_klass_instance =
duke@435 139 get(Universe::instanceKlassKlassObj())
duke@435 140 ->as_instance_klass_klass();
duke@435 141 ciEnv::_type_array_klass_klass_instance =
duke@435 142 get(Universe::typeArrayKlassKlassObj())
duke@435 143 ->as_type_array_klass_klass();
duke@435 144 ciEnv::_obj_array_klass_klass_instance =
duke@435 145 get(Universe::objArrayKlassKlassObj())
duke@435 146 ->as_obj_array_klass_klass();
duke@435 147 ciEnv::_ArrayStoreException =
duke@435 148 get(SystemDictionary::ArrayStoreException_klass())
duke@435 149 ->as_instance_klass();
duke@435 150 ciEnv::_Class =
duke@435 151 get(SystemDictionary::class_klass())
duke@435 152 ->as_instance_klass();
duke@435 153 ciEnv::_ClassCastException =
duke@435 154 get(SystemDictionary::ClassCastException_klass())
duke@435 155 ->as_instance_klass();
duke@435 156 ciEnv::_Object =
duke@435 157 get(SystemDictionary::object_klass())
duke@435 158 ->as_instance_klass();
duke@435 159 ciEnv::_Throwable =
duke@435 160 get(SystemDictionary::throwable_klass())
duke@435 161 ->as_instance_klass();
duke@435 162 ciEnv::_Thread =
duke@435 163 get(SystemDictionary::thread_klass())
duke@435 164 ->as_instance_klass();
duke@435 165 ciEnv::_OutOfMemoryError =
duke@435 166 get(SystemDictionary::OutOfMemoryError_klass())
duke@435 167 ->as_instance_klass();
duke@435 168 ciEnv::_String =
duke@435 169 get(SystemDictionary::string_klass())
duke@435 170 ->as_instance_klass();
duke@435 171
duke@435 172 for (int len = -1; len != _ci_objects->length(); ) {
duke@435 173 len = _ci_objects->length();
duke@435 174 for (int i2 = 0; i2 < len; i2++) {
duke@435 175 ciObject* obj = _ci_objects->at(i2);
duke@435 176 if (obj->is_loaded() && obj->is_instance_klass()) {
duke@435 177 obj->as_instance_klass()->compute_nonstatic_fields();
duke@435 178 }
duke@435 179 }
duke@435 180 }
duke@435 181
duke@435 182 ciEnv::_unloaded_cisymbol = (ciSymbol*) ciObjectFactory::get(vmSymbols::dummy_symbol_oop());
duke@435 183 // Create dummy instanceKlass and objArrayKlass object and assign them idents
duke@435 184 ciEnv::_unloaded_ciinstance_klass = new (_arena) ciInstanceKlass(ciEnv::_unloaded_cisymbol, NULL, NULL);
duke@435 185 init_ident_of(ciEnv::_unloaded_ciinstance_klass);
duke@435 186 ciEnv::_unloaded_ciobjarrayklass = new (_arena) ciObjArrayKlass(ciEnv::_unloaded_cisymbol, ciEnv::_unloaded_ciinstance_klass, 1);
duke@435 187 init_ident_of(ciEnv::_unloaded_ciobjarrayklass);
duke@435 188 assert(ciEnv::_unloaded_ciobjarrayklass->is_obj_array_klass(), "just checking");
duke@435 189
duke@435 190 get(Universe::boolArrayKlassObj());
duke@435 191 get(Universe::charArrayKlassObj());
duke@435 192 get(Universe::singleArrayKlassObj());
duke@435 193 get(Universe::doubleArrayKlassObj());
duke@435 194 get(Universe::byteArrayKlassObj());
duke@435 195 get(Universe::shortArrayKlassObj());
duke@435 196 get(Universe::intArrayKlassObj());
duke@435 197 get(Universe::longArrayKlassObj());
duke@435 198
duke@435 199
duke@435 200
duke@435 201 assert(_non_perm_count == 0, "no shared non-perm objects");
duke@435 202
duke@435 203 // The shared_ident_limit is the first ident number that will
duke@435 204 // be used for non-shared objects. That is, numbers less than
duke@435 205 // this limit are permanently assigned to shared CI objects,
duke@435 206 // while the higher numbers are recycled afresh by each new ciEnv.
duke@435 207
duke@435 208 _shared_ident_limit = _next_ident;
duke@435 209 _shared_ci_objects = _ci_objects;
duke@435 210 }
duke@435 211
duke@435 212 // ------------------------------------------------------------------
duke@435 213 // ciObjectFactory::get
duke@435 214 //
duke@435 215 // Get the ciObject corresponding to some oop. If the ciObject has
duke@435 216 // already been created, it is returned. Otherwise, a new ciObject
duke@435 217 // is created.
duke@435 218 ciObject* ciObjectFactory::get(oop key) {
duke@435 219 ASSERT_IN_VM;
duke@435 220
duke@435 221 #ifdef ASSERT
duke@435 222 oop last = NULL;
duke@435 223 for (int j = 0; j< _ci_objects->length(); j++) {
duke@435 224 oop o = _ci_objects->at(j)->get_oop();
duke@435 225 assert(last < o, "out of order");
duke@435 226 last = o;
duke@435 227 }
duke@435 228 #endif // ASSERT
duke@435 229 int len = _ci_objects->length();
duke@435 230 int index = find(key, _ci_objects);
duke@435 231 #ifdef ASSERT
duke@435 232 for (int i=0; i<_ci_objects->length(); i++) {
duke@435 233 if (_ci_objects->at(i)->get_oop() == key) {
duke@435 234 assert(index == i, " bad lookup");
duke@435 235 }
duke@435 236 }
duke@435 237 #endif
duke@435 238 if (!is_found_at(index, key, _ci_objects)) {
duke@435 239
duke@435 240 // Check in the non-perm area before putting it in the list.
duke@435 241 NonPermObject* &bucket = find_non_perm(key);
duke@435 242 if (bucket != NULL) {
duke@435 243 return bucket->object();
duke@435 244 }
duke@435 245
duke@435 246 // Check in the shared symbol area before putting it in the list.
duke@435 247 if (key->is_symbol()) {
duke@435 248 vmSymbols::SID sid = vmSymbols::find_sid((symbolOop)key);
duke@435 249 if (sid != vmSymbols::NO_SID) {
duke@435 250 // do not pollute the main cache with it
duke@435 251 return vm_symbol_at(sid);
duke@435 252 }
duke@435 253 }
duke@435 254
duke@435 255 // The ciObject does not yet exist. Create it and insert it
duke@435 256 // into the cache.
duke@435 257 Handle keyHandle(key);
duke@435 258 ciObject* new_object = create_new_object(keyHandle());
duke@435 259 assert(keyHandle() == new_object->get_oop(), "must be properly recorded");
duke@435 260 init_ident_of(new_object);
duke@435 261 if (!keyHandle->is_perm()) {
duke@435 262 // Not a perm-space object.
duke@435 263 insert_non_perm(bucket, keyHandle(), new_object);
duke@435 264 return new_object;
duke@435 265 }
duke@435 266 new_object->set_perm();
duke@435 267 if (len != _ci_objects->length()) {
duke@435 268 // creating the new object has recursively entered new objects
duke@435 269 // into the table. We need to recompute our index.
duke@435 270 index = find(keyHandle(), _ci_objects);
duke@435 271 }
duke@435 272 assert(!is_found_at(index, keyHandle(), _ci_objects), "no double insert");
duke@435 273 insert(index, new_object, _ci_objects);
duke@435 274 return new_object;
duke@435 275 }
duke@435 276 return _ci_objects->at(index);
duke@435 277 }
duke@435 278
duke@435 279 // ------------------------------------------------------------------
duke@435 280 // ciObjectFactory::create_new_object
duke@435 281 //
duke@435 282 // Create a new ciObject from an oop.
duke@435 283 //
duke@435 284 // Implementation note: this functionality could be virtual behavior
duke@435 285 // of the oop itself. For now, we explicitly marshal the object.
duke@435 286 ciObject* ciObjectFactory::create_new_object(oop o) {
duke@435 287 EXCEPTION_CONTEXT;
duke@435 288
duke@435 289 if (o->is_symbol()) {
duke@435 290 symbolHandle h_o(THREAD, (symbolOop)o);
duke@435 291 return new (arena()) ciSymbol(h_o);
duke@435 292 } else if (o->is_klass()) {
duke@435 293 KlassHandle h_k(THREAD, (klassOop)o);
duke@435 294 Klass* k = ((klassOop)o)->klass_part();
duke@435 295 if (k->oop_is_instance()) {
duke@435 296 return new (arena()) ciInstanceKlass(h_k);
duke@435 297 } else if (k->oop_is_objArray()) {
duke@435 298 return new (arena()) ciObjArrayKlass(h_k);
duke@435 299 } else if (k->oop_is_typeArray()) {
duke@435 300 return new (arena()) ciTypeArrayKlass(h_k);
duke@435 301 } else if (k->oop_is_method()) {
duke@435 302 return new (arena()) ciMethodKlass(h_k);
duke@435 303 } else if (k->oop_is_symbol()) {
duke@435 304 return new (arena()) ciSymbolKlass(h_k);
duke@435 305 } else if (k->oop_is_klass()) {
duke@435 306 if (k->oop_is_objArrayKlass()) {
duke@435 307 return new (arena()) ciObjArrayKlassKlass(h_k);
duke@435 308 } else if (k->oop_is_typeArrayKlass()) {
duke@435 309 return new (arena()) ciTypeArrayKlassKlass(h_k);
duke@435 310 } else if (k->oop_is_instanceKlass()) {
duke@435 311 return new (arena()) ciInstanceKlassKlass(h_k);
duke@435 312 } else {
duke@435 313 assert(o == Universe::klassKlassObj(), "bad klassKlass");
duke@435 314 return new (arena()) ciKlassKlass(h_k);
duke@435 315 }
duke@435 316 }
duke@435 317 } else if (o->is_method()) {
duke@435 318 methodHandle h_m(THREAD, (methodOop)o);
duke@435 319 return new (arena()) ciMethod(h_m);
duke@435 320 } else if (o->is_methodData()) {
duke@435 321 methodDataHandle h_md(THREAD, (methodDataOop)o);
duke@435 322 return new (arena()) ciMethodData(h_md);
duke@435 323 } else if (o->is_instance()) {
duke@435 324 instanceHandle h_i(THREAD, (instanceOop)o);
duke@435 325 return new (arena()) ciInstance(h_i);
duke@435 326 } else if (o->is_objArray()) {
duke@435 327 objArrayHandle h_oa(THREAD, (objArrayOop)o);
duke@435 328 return new (arena()) ciObjArray(h_oa);
duke@435 329 } else if (o->is_typeArray()) {
duke@435 330 typeArrayHandle h_ta(THREAD, (typeArrayOop)o);
duke@435 331 return new (arena()) ciTypeArray(h_ta);
duke@435 332 }
duke@435 333
duke@435 334 // The oop is of some type not supported by the compiler interface.
duke@435 335 ShouldNotReachHere();
duke@435 336 return NULL;
duke@435 337 }
duke@435 338
duke@435 339 //------------------------------------------------------------------
duke@435 340 // ciObjectFactory::get_unloaded_method
duke@435 341 //
duke@435 342 // Get the ciMethod representing an unloaded/unfound method.
duke@435 343 //
duke@435 344 // Implementation note: unloaded methods are currently stored in
duke@435 345 // an unordered array, requiring a linear-time lookup for each
duke@435 346 // unloaded method. This may need to change.
duke@435 347 ciMethod* ciObjectFactory::get_unloaded_method(ciInstanceKlass* holder,
duke@435 348 ciSymbol* name,
duke@435 349 ciSymbol* signature) {
duke@435 350 for (int i=0; i<_unloaded_methods->length(); i++) {
duke@435 351 ciMethod* entry = _unloaded_methods->at(i);
duke@435 352 if (entry->holder()->equals(holder) &&
duke@435 353 entry->name()->equals(name) &&
duke@435 354 entry->signature()->as_symbol()->equals(signature)) {
duke@435 355 // We've found a match.
duke@435 356 return entry;
duke@435 357 }
duke@435 358 }
duke@435 359
duke@435 360 // This is a new unloaded method. Create it and stick it in
duke@435 361 // the cache.
duke@435 362 ciMethod* new_method = new (arena()) ciMethod(holder, name, signature);
duke@435 363
duke@435 364 init_ident_of(new_method);
duke@435 365 _unloaded_methods->append(new_method);
duke@435 366
duke@435 367 return new_method;
duke@435 368 }
duke@435 369
duke@435 370 //------------------------------------------------------------------
duke@435 371 // ciObjectFactory::get_unloaded_klass
duke@435 372 //
duke@435 373 // Get a ciKlass representing an unloaded klass.
duke@435 374 //
duke@435 375 // Implementation note: unloaded klasses are currently stored in
duke@435 376 // an unordered array, requiring a linear-time lookup for each
duke@435 377 // unloaded klass. This may need to change.
duke@435 378 ciKlass* ciObjectFactory::get_unloaded_klass(ciKlass* accessing_klass,
duke@435 379 ciSymbol* name,
duke@435 380 bool create_if_not_found) {
duke@435 381 EXCEPTION_CONTEXT;
duke@435 382 oop loader = NULL;
duke@435 383 oop domain = NULL;
duke@435 384 if (accessing_klass != NULL) {
duke@435 385 loader = accessing_klass->loader();
duke@435 386 domain = accessing_klass->protection_domain();
duke@435 387 }
duke@435 388 for (int i=0; i<_unloaded_klasses->length(); i++) {
duke@435 389 ciKlass* entry = _unloaded_klasses->at(i);
duke@435 390 if (entry->name()->equals(name) &&
duke@435 391 entry->loader() == loader &&
duke@435 392 entry->protection_domain() == domain) {
duke@435 393 // We've found a match.
duke@435 394 return entry;
duke@435 395 }
duke@435 396 }
duke@435 397
duke@435 398 if (!create_if_not_found)
duke@435 399 return NULL;
duke@435 400
duke@435 401 // This is a new unloaded klass. Create it and stick it in
duke@435 402 // the cache.
duke@435 403 ciKlass* new_klass = NULL;
duke@435 404
duke@435 405 // Two cases: this is an unloaded objArrayKlass or an
duke@435 406 // unloaded instanceKlass. Deal with both.
duke@435 407 if (name->byte_at(0) == '[') {
duke@435 408 // Decompose the name.'
duke@435 409 jint dimension = 0;
duke@435 410 symbolOop element_name = NULL;
duke@435 411 BasicType element_type= FieldType::get_array_info(name->get_symbolOop(),
duke@435 412 &dimension,
duke@435 413 &element_name,
duke@435 414 THREAD);
duke@435 415 if (HAS_PENDING_EXCEPTION) {
duke@435 416 CLEAR_PENDING_EXCEPTION;
duke@435 417 CURRENT_THREAD_ENV->record_out_of_memory_failure();
duke@435 418 return ciEnv::_unloaded_ciobjarrayklass;
duke@435 419 }
duke@435 420 assert(element_type != T_ARRAY, "unsuccessful decomposition");
duke@435 421 ciKlass* element_klass = NULL;
duke@435 422 if (element_type == T_OBJECT) {
duke@435 423 ciEnv *env = CURRENT_THREAD_ENV;
duke@435 424 ciSymbol* ci_name = env->get_object(element_name)->as_symbol();
duke@435 425 element_klass =
duke@435 426 env->get_klass_by_name(accessing_klass, ci_name, false)->as_instance_klass();
duke@435 427 } else {
duke@435 428 assert(dimension > 1, "one dimensional type arrays are always loaded.");
duke@435 429
duke@435 430 // The type array itself takes care of one of the dimensions.
duke@435 431 dimension--;
duke@435 432
duke@435 433 // The element klass is a typeArrayKlass.
duke@435 434 element_klass = ciTypeArrayKlass::make(element_type);
duke@435 435 }
duke@435 436 new_klass = new (arena()) ciObjArrayKlass(name, element_klass, dimension);
duke@435 437 } else {
duke@435 438 jobject loader_handle = NULL;
duke@435 439 jobject domain_handle = NULL;
duke@435 440 if (accessing_klass != NULL) {
duke@435 441 loader_handle = accessing_klass->loader_handle();
duke@435 442 domain_handle = accessing_klass->protection_domain_handle();
duke@435 443 }
duke@435 444 new_klass = new (arena()) ciInstanceKlass(name, loader_handle, domain_handle);
duke@435 445 }
duke@435 446 init_ident_of(new_klass);
duke@435 447 _unloaded_klasses->append(new_klass);
duke@435 448
duke@435 449 return new_klass;
duke@435 450 }
duke@435 451
duke@435 452 //------------------------------------------------------------------
duke@435 453 // ciObjectFactory::get_empty_methodData
duke@435 454 //
duke@435 455 // Get the ciMethodData representing the methodData for a method with
duke@435 456 // none.
duke@435 457 ciMethodData* ciObjectFactory::get_empty_methodData() {
duke@435 458 ciMethodData* new_methodData = new (arena()) ciMethodData();
duke@435 459 init_ident_of(new_methodData);
duke@435 460 return new_methodData;
duke@435 461 }
duke@435 462
duke@435 463 //------------------------------------------------------------------
duke@435 464 // ciObjectFactory::get_return_address
duke@435 465 //
duke@435 466 // Get a ciReturnAddress for a specified bci.
duke@435 467 ciReturnAddress* ciObjectFactory::get_return_address(int bci) {
duke@435 468 for (int i=0; i<_return_addresses->length(); i++) {
duke@435 469 ciReturnAddress* entry = _return_addresses->at(i);
duke@435 470 if (entry->bci() == bci) {
duke@435 471 // We've found a match.
duke@435 472 return entry;
duke@435 473 }
duke@435 474 }
duke@435 475
duke@435 476 ciReturnAddress* new_ret_addr = new (arena()) ciReturnAddress(bci);
duke@435 477 init_ident_of(new_ret_addr);
duke@435 478 _return_addresses->append(new_ret_addr);
duke@435 479 return new_ret_addr;
duke@435 480 }
duke@435 481
duke@435 482 // ------------------------------------------------------------------
duke@435 483 // ciObjectFactory::init_ident_of
duke@435 484 void ciObjectFactory::init_ident_of(ciObject* obj) {
duke@435 485 obj->set_ident(_next_ident++);
duke@435 486 }
duke@435 487
duke@435 488
duke@435 489 // ------------------------------------------------------------------
duke@435 490 // ciObjectFactory::find
duke@435 491 //
duke@435 492 // Use binary search to find the position of this oop in the cache.
duke@435 493 // If there is no entry in the cache corresponding to this oop, return
duke@435 494 // the position at which the oop should be inserted.
duke@435 495 int ciObjectFactory::find(oop key, GrowableArray<ciObject*>* objects) {
duke@435 496 int min = 0;
duke@435 497 int max = objects->length()-1;
duke@435 498
duke@435 499 // print_contents();
duke@435 500
duke@435 501 while (max >= min) {
duke@435 502 int mid = (max + min) / 2;
duke@435 503 oop value = objects->at(mid)->get_oop();
duke@435 504 if (value < key) {
duke@435 505 min = mid + 1;
duke@435 506 } else if (value > key) {
duke@435 507 max = mid - 1;
duke@435 508 } else {
duke@435 509 return mid;
duke@435 510 }
duke@435 511 }
duke@435 512 return min;
duke@435 513 }
duke@435 514
duke@435 515 // ------------------------------------------------------------------
duke@435 516 // ciObjectFactory::is_found_at
duke@435 517 //
duke@435 518 // Verify that the binary seach found the given key.
duke@435 519 bool ciObjectFactory::is_found_at(int index, oop key, GrowableArray<ciObject*>* objects) {
duke@435 520 return (index < objects->length() &&
duke@435 521 objects->at(index)->get_oop() == key);
duke@435 522 }
duke@435 523
duke@435 524
duke@435 525 // ------------------------------------------------------------------
duke@435 526 // ciObjectFactory::insert
duke@435 527 //
duke@435 528 // Insert a ciObject into the table at some index.
duke@435 529 void ciObjectFactory::insert(int index, ciObject* obj, GrowableArray<ciObject*>* objects) {
duke@435 530 int len = objects->length();
duke@435 531 if (len == index) {
duke@435 532 objects->append(obj);
duke@435 533 } else {
duke@435 534 objects->append(objects->at(len-1));
duke@435 535 int pos;
duke@435 536 for (pos = len-2; pos >= index; pos--) {
duke@435 537 objects->at_put(pos+1,objects->at(pos));
duke@435 538 }
duke@435 539 objects->at_put(index, obj);
duke@435 540 }
duke@435 541 #ifdef ASSERT
duke@435 542 oop last = NULL;
duke@435 543 for (int j = 0; j< objects->length(); j++) {
duke@435 544 oop o = objects->at(j)->get_oop();
duke@435 545 assert(last < o, "out of order");
duke@435 546 last = o;
duke@435 547 }
duke@435 548 #endif // ASSERT
duke@435 549 }
duke@435 550
duke@435 551 static ciObjectFactory::NonPermObject* emptyBucket = NULL;
duke@435 552
duke@435 553 // ------------------------------------------------------------------
duke@435 554 // ciObjectFactory::find_non_perm
duke@435 555 //
duke@435 556 // Use a small hash table, hashed on the klass of the key.
duke@435 557 // If there is no entry in the cache corresponding to this oop, return
duke@435 558 // the null tail of the bucket into which the oop should be inserted.
duke@435 559 ciObjectFactory::NonPermObject* &ciObjectFactory::find_non_perm(oop key) {
duke@435 560 // Be careful: is_perm might change from false to true.
duke@435 561 // Thus, there might be a matching perm object in the table.
duke@435 562 // If there is, this probe must find it.
duke@435 563 if (key->is_perm() && _non_perm_count == 0) {
duke@435 564 return emptyBucket;
duke@435 565 } else if (key->is_instance()) {
duke@435 566 if (key->klass() == SystemDictionary::class_klass()) {
duke@435 567 // class mirror instances are always perm
duke@435 568 return emptyBucket;
duke@435 569 }
duke@435 570 // fall through to probe
duke@435 571 } else if (key->is_array()) {
duke@435 572 // fall through to probe
duke@435 573 } else {
duke@435 574 // not an array or instance
duke@435 575 return emptyBucket;
duke@435 576 }
duke@435 577
duke@435 578 ciObject* klass = get(key->klass());
duke@435 579 NonPermObject* *bp = &_non_perm_bucket[(unsigned) klass->hash() % NON_PERM_BUCKETS];
duke@435 580 for (NonPermObject* p; (p = (*bp)) != NULL; bp = &p->next()) {
duke@435 581 if (is_equal(p, key)) break;
duke@435 582 }
duke@435 583 return (*bp);
duke@435 584 }
duke@435 585
duke@435 586
duke@435 587
duke@435 588 // ------------------------------------------------------------------
duke@435 589 // Code for for NonPermObject
duke@435 590 //
duke@435 591 inline ciObjectFactory::NonPermObject::NonPermObject(ciObjectFactory::NonPermObject* &bucket, oop key, ciObject* object) {
duke@435 592 assert(ciObjectFactory::is_initialized(), "");
duke@435 593 _object = object;
duke@435 594 _next = bucket;
duke@435 595 bucket = this;
duke@435 596 }
duke@435 597
duke@435 598
duke@435 599
duke@435 600 // ------------------------------------------------------------------
duke@435 601 // ciObjectFactory::insert_non_perm
duke@435 602 //
duke@435 603 // Insert a ciObject into the non-perm table.
duke@435 604 void ciObjectFactory::insert_non_perm(ciObjectFactory::NonPermObject* &where, oop key, ciObject* obj) {
duke@435 605 assert(&where != &emptyBucket, "must not try to fill empty bucket");
duke@435 606 NonPermObject* p = new (arena()) NonPermObject(where, key, obj);
duke@435 607 assert(where == p && is_equal(p, key) && p->object() == obj, "entry must match");
duke@435 608 assert(find_non_perm(key) == p, "must find the same spot");
duke@435 609 ++_non_perm_count;
duke@435 610 }
duke@435 611
duke@435 612 // ------------------------------------------------------------------
duke@435 613 // ciObjectFactory::vm_symbol_at
duke@435 614 // Get the ciSymbol corresponding to some index in vmSymbols.
duke@435 615 ciSymbol* ciObjectFactory::vm_symbol_at(int index) {
duke@435 616 assert(index >= vmSymbols::FIRST_SID && index < vmSymbols::SID_LIMIT, "oob");
duke@435 617 return _shared_ci_symbols[index];
duke@435 618 }
duke@435 619
duke@435 620 // ------------------------------------------------------------------
duke@435 621 // ciObjectFactory::print_contents_impl
duke@435 622 void ciObjectFactory::print_contents_impl() {
duke@435 623 int len = _ci_objects->length();
duke@435 624 tty->print_cr("ciObjectFactory (%d) oop contents:", len);
duke@435 625 for (int i=0; i<len; i++) {
duke@435 626 _ci_objects->at(i)->print();
duke@435 627 tty->cr();
duke@435 628 }
duke@435 629 }
duke@435 630
duke@435 631 // ------------------------------------------------------------------
duke@435 632 // ciObjectFactory::print_contents
duke@435 633 void ciObjectFactory::print_contents() {
duke@435 634 print();
duke@435 635 tty->cr();
duke@435 636 GUARDED_VM_ENTRY(print_contents_impl();)
duke@435 637 }
duke@435 638
duke@435 639 // ------------------------------------------------------------------
duke@435 640 // ciObjectFactory::print
duke@435 641 //
duke@435 642 // Print debugging information about the object factory
duke@435 643 void ciObjectFactory::print() {
duke@435 644 tty->print("<ciObjectFactory oops=%d unloaded_methods=%d unloaded_klasses=%d>",
duke@435 645 _ci_objects->length(), _unloaded_methods->length(),
duke@435 646 _unloaded_klasses->length());
duke@435 647 }

mercurial