src/share/vm/ci/ciObjectFactory.cpp

Mon, 26 Apr 2010 23:59:45 -0700

author
never
date
Mon, 26 Apr 2010 23:59:45 -0700
changeset 1832
b4776199210f
parent 1577
4ce7240d622c
child 1862
cd5dbf694d45
permissions
-rw-r--r--

6943485: JVMTI always on capabilities change code generation too much
Reviewed-by: twisti, dcubed

duke@435 1 /*
xdono@1383 2 * Copyright 1999-2009 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();
never@1577 147
never@1577 148 #define WK_KLASS_DEFN(name, ignore_s, opt) \
never@1577 149 if (SystemDictionary::name() != NULL) \
never@1577 150 ciEnv::_##name = get(SystemDictionary::name())->as_instance_klass();
never@1577 151
never@1577 152 WK_KLASSES_DO(WK_KLASS_DEFN)
never@1577 153 #undef WK_KLASS_DEFN
duke@435 154
duke@435 155 for (int len = -1; len != _ci_objects->length(); ) {
duke@435 156 len = _ci_objects->length();
duke@435 157 for (int i2 = 0; i2 < len; i2++) {
duke@435 158 ciObject* obj = _ci_objects->at(i2);
duke@435 159 if (obj->is_loaded() && obj->is_instance_klass()) {
duke@435 160 obj->as_instance_klass()->compute_nonstatic_fields();
duke@435 161 }
duke@435 162 }
duke@435 163 }
duke@435 164
duke@435 165 ciEnv::_unloaded_cisymbol = (ciSymbol*) ciObjectFactory::get(vmSymbols::dummy_symbol_oop());
duke@435 166 // Create dummy instanceKlass and objArrayKlass object and assign them idents
duke@435 167 ciEnv::_unloaded_ciinstance_klass = new (_arena) ciInstanceKlass(ciEnv::_unloaded_cisymbol, NULL, NULL);
duke@435 168 init_ident_of(ciEnv::_unloaded_ciinstance_klass);
duke@435 169 ciEnv::_unloaded_ciobjarrayklass = new (_arena) ciObjArrayKlass(ciEnv::_unloaded_cisymbol, ciEnv::_unloaded_ciinstance_klass, 1);
duke@435 170 init_ident_of(ciEnv::_unloaded_ciobjarrayklass);
duke@435 171 assert(ciEnv::_unloaded_ciobjarrayklass->is_obj_array_klass(), "just checking");
duke@435 172
duke@435 173 get(Universe::boolArrayKlassObj());
duke@435 174 get(Universe::charArrayKlassObj());
duke@435 175 get(Universe::singleArrayKlassObj());
duke@435 176 get(Universe::doubleArrayKlassObj());
duke@435 177 get(Universe::byteArrayKlassObj());
duke@435 178 get(Universe::shortArrayKlassObj());
duke@435 179 get(Universe::intArrayKlassObj());
duke@435 180 get(Universe::longArrayKlassObj());
duke@435 181
duke@435 182
duke@435 183
duke@435 184 assert(_non_perm_count == 0, "no shared non-perm objects");
duke@435 185
duke@435 186 // The shared_ident_limit is the first ident number that will
duke@435 187 // be used for non-shared objects. That is, numbers less than
duke@435 188 // this limit are permanently assigned to shared CI objects,
duke@435 189 // while the higher numbers are recycled afresh by each new ciEnv.
duke@435 190
duke@435 191 _shared_ident_limit = _next_ident;
duke@435 192 _shared_ci_objects = _ci_objects;
duke@435 193 }
duke@435 194
duke@435 195 // ------------------------------------------------------------------
duke@435 196 // ciObjectFactory::get
duke@435 197 //
duke@435 198 // Get the ciObject corresponding to some oop. If the ciObject has
duke@435 199 // already been created, it is returned. Otherwise, a new ciObject
duke@435 200 // is created.
duke@435 201 ciObject* ciObjectFactory::get(oop key) {
duke@435 202 ASSERT_IN_VM;
duke@435 203
duke@435 204 #ifdef ASSERT
jcoomes@1344 205 if (CIObjectFactoryVerify) {
jcoomes@1344 206 oop last = NULL;
jcoomes@1344 207 for (int j = 0; j< _ci_objects->length(); j++) {
jcoomes@1344 208 oop o = _ci_objects->at(j)->get_oop();
jcoomes@1344 209 assert(last < o, "out of order");
jcoomes@1344 210 last = o;
jcoomes@1344 211 }
duke@435 212 }
duke@435 213 #endif // ASSERT
duke@435 214 int len = _ci_objects->length();
duke@435 215 int index = find(key, _ci_objects);
duke@435 216 #ifdef ASSERT
jcoomes@1344 217 if (CIObjectFactoryVerify) {
jcoomes@1344 218 for (int i=0; i<_ci_objects->length(); i++) {
jcoomes@1344 219 if (_ci_objects->at(i)->get_oop() == key) {
jcoomes@1344 220 assert(index == i, " bad lookup");
jcoomes@1344 221 }
duke@435 222 }
duke@435 223 }
duke@435 224 #endif
duke@435 225 if (!is_found_at(index, key, _ci_objects)) {
duke@435 226 // Check in the non-perm area before putting it in the list.
duke@435 227 NonPermObject* &bucket = find_non_perm(key);
duke@435 228 if (bucket != NULL) {
duke@435 229 return bucket->object();
duke@435 230 }
duke@435 231
duke@435 232 // Check in the shared symbol area before putting it in the list.
duke@435 233 if (key->is_symbol()) {
duke@435 234 vmSymbols::SID sid = vmSymbols::find_sid((symbolOop)key);
duke@435 235 if (sid != vmSymbols::NO_SID) {
duke@435 236 // do not pollute the main cache with it
duke@435 237 return vm_symbol_at(sid);
duke@435 238 }
duke@435 239 }
duke@435 240
duke@435 241 // The ciObject does not yet exist. Create it and insert it
duke@435 242 // into the cache.
duke@435 243 Handle keyHandle(key);
duke@435 244 ciObject* new_object = create_new_object(keyHandle());
duke@435 245 assert(keyHandle() == new_object->get_oop(), "must be properly recorded");
duke@435 246 init_ident_of(new_object);
jrose@1424 247 if (!new_object->is_perm()) {
duke@435 248 // Not a perm-space object.
duke@435 249 insert_non_perm(bucket, keyHandle(), new_object);
duke@435 250 return new_object;
duke@435 251 }
duke@435 252 if (len != _ci_objects->length()) {
duke@435 253 // creating the new object has recursively entered new objects
duke@435 254 // into the table. We need to recompute our index.
duke@435 255 index = find(keyHandle(), _ci_objects);
duke@435 256 }
duke@435 257 assert(!is_found_at(index, keyHandle(), _ci_objects), "no double insert");
duke@435 258 insert(index, new_object, _ci_objects);
duke@435 259 return new_object;
duke@435 260 }
duke@435 261 return _ci_objects->at(index);
duke@435 262 }
duke@435 263
duke@435 264 // ------------------------------------------------------------------
duke@435 265 // ciObjectFactory::create_new_object
duke@435 266 //
duke@435 267 // Create a new ciObject from an oop.
duke@435 268 //
duke@435 269 // Implementation note: this functionality could be virtual behavior
duke@435 270 // of the oop itself. For now, we explicitly marshal the object.
duke@435 271 ciObject* ciObjectFactory::create_new_object(oop o) {
duke@435 272 EXCEPTION_CONTEXT;
duke@435 273
duke@435 274 if (o->is_symbol()) {
duke@435 275 symbolHandle h_o(THREAD, (symbolOop)o);
duke@435 276 return new (arena()) ciSymbol(h_o);
duke@435 277 } else if (o->is_klass()) {
duke@435 278 KlassHandle h_k(THREAD, (klassOop)o);
duke@435 279 Klass* k = ((klassOop)o)->klass_part();
duke@435 280 if (k->oop_is_instance()) {
duke@435 281 return new (arena()) ciInstanceKlass(h_k);
duke@435 282 } else if (k->oop_is_objArray()) {
duke@435 283 return new (arena()) ciObjArrayKlass(h_k);
duke@435 284 } else if (k->oop_is_typeArray()) {
duke@435 285 return new (arena()) ciTypeArrayKlass(h_k);
duke@435 286 } else if (k->oop_is_method()) {
duke@435 287 return new (arena()) ciMethodKlass(h_k);
duke@435 288 } else if (k->oop_is_symbol()) {
duke@435 289 return new (arena()) ciSymbolKlass(h_k);
duke@435 290 } else if (k->oop_is_klass()) {
duke@435 291 if (k->oop_is_objArrayKlass()) {
duke@435 292 return new (arena()) ciObjArrayKlassKlass(h_k);
duke@435 293 } else if (k->oop_is_typeArrayKlass()) {
duke@435 294 return new (arena()) ciTypeArrayKlassKlass(h_k);
duke@435 295 } else if (k->oop_is_instanceKlass()) {
duke@435 296 return new (arena()) ciInstanceKlassKlass(h_k);
duke@435 297 } else {
duke@435 298 assert(o == Universe::klassKlassObj(), "bad klassKlass");
duke@435 299 return new (arena()) ciKlassKlass(h_k);
duke@435 300 }
duke@435 301 }
duke@435 302 } else if (o->is_method()) {
duke@435 303 methodHandle h_m(THREAD, (methodOop)o);
duke@435 304 return new (arena()) ciMethod(h_m);
duke@435 305 } else if (o->is_methodData()) {
duke@435 306 methodDataHandle h_md(THREAD, (methodDataOop)o);
duke@435 307 return new (arena()) ciMethodData(h_md);
duke@435 308 } else if (o->is_instance()) {
duke@435 309 instanceHandle h_i(THREAD, (instanceOop)o);
twisti@1573 310 if (java_dyn_CallSite::is_instance(o))
twisti@1573 311 return new (arena()) ciCallSite(h_i);
twisti@1573 312 else if (java_dyn_MethodHandle::is_instance(o))
twisti@1573 313 return new (arena()) ciMethodHandle(h_i);
twisti@1573 314 else
twisti@1573 315 return new (arena()) ciInstance(h_i);
duke@435 316 } else if (o->is_objArray()) {
duke@435 317 objArrayHandle h_oa(THREAD, (objArrayOop)o);
duke@435 318 return new (arena()) ciObjArray(h_oa);
duke@435 319 } else if (o->is_typeArray()) {
duke@435 320 typeArrayHandle h_ta(THREAD, (typeArrayOop)o);
duke@435 321 return new (arena()) ciTypeArray(h_ta);
twisti@1572 322 } else if (o->is_constantPoolCache()) {
twisti@1572 323 constantPoolCacheHandle h_cpc(THREAD, (constantPoolCacheOop) o);
twisti@1572 324 return new (arena()) ciCPCache(h_cpc);
duke@435 325 }
duke@435 326
duke@435 327 // The oop is of some type not supported by the compiler interface.
duke@435 328 ShouldNotReachHere();
duke@435 329 return NULL;
duke@435 330 }
duke@435 331
duke@435 332 //------------------------------------------------------------------
duke@435 333 // ciObjectFactory::get_unloaded_method
duke@435 334 //
duke@435 335 // Get the ciMethod representing an unloaded/unfound method.
duke@435 336 //
duke@435 337 // Implementation note: unloaded methods are currently stored in
duke@435 338 // an unordered array, requiring a linear-time lookup for each
duke@435 339 // unloaded method. This may need to change.
duke@435 340 ciMethod* ciObjectFactory::get_unloaded_method(ciInstanceKlass* holder,
duke@435 341 ciSymbol* name,
duke@435 342 ciSymbol* signature) {
duke@435 343 for (int i=0; i<_unloaded_methods->length(); i++) {
duke@435 344 ciMethod* entry = _unloaded_methods->at(i);
duke@435 345 if (entry->holder()->equals(holder) &&
duke@435 346 entry->name()->equals(name) &&
duke@435 347 entry->signature()->as_symbol()->equals(signature)) {
duke@435 348 // We've found a match.
duke@435 349 return entry;
duke@435 350 }
duke@435 351 }
duke@435 352
duke@435 353 // This is a new unloaded method. Create it and stick it in
duke@435 354 // the cache.
duke@435 355 ciMethod* new_method = new (arena()) ciMethod(holder, name, signature);
duke@435 356
duke@435 357 init_ident_of(new_method);
duke@435 358 _unloaded_methods->append(new_method);
duke@435 359
duke@435 360 return new_method;
duke@435 361 }
duke@435 362
duke@435 363 //------------------------------------------------------------------
duke@435 364 // ciObjectFactory::get_unloaded_klass
duke@435 365 //
duke@435 366 // Get a ciKlass representing an unloaded klass.
duke@435 367 //
duke@435 368 // Implementation note: unloaded klasses are currently stored in
duke@435 369 // an unordered array, requiring a linear-time lookup for each
duke@435 370 // unloaded klass. This may need to change.
duke@435 371 ciKlass* ciObjectFactory::get_unloaded_klass(ciKlass* accessing_klass,
duke@435 372 ciSymbol* name,
duke@435 373 bool create_if_not_found) {
duke@435 374 EXCEPTION_CONTEXT;
duke@435 375 oop loader = NULL;
duke@435 376 oop domain = NULL;
duke@435 377 if (accessing_klass != NULL) {
duke@435 378 loader = accessing_klass->loader();
duke@435 379 domain = accessing_klass->protection_domain();
duke@435 380 }
duke@435 381 for (int i=0; i<_unloaded_klasses->length(); i++) {
duke@435 382 ciKlass* entry = _unloaded_klasses->at(i);
duke@435 383 if (entry->name()->equals(name) &&
duke@435 384 entry->loader() == loader &&
duke@435 385 entry->protection_domain() == domain) {
duke@435 386 // We've found a match.
duke@435 387 return entry;
duke@435 388 }
duke@435 389 }
duke@435 390
duke@435 391 if (!create_if_not_found)
duke@435 392 return NULL;
duke@435 393
duke@435 394 // This is a new unloaded klass. Create it and stick it in
duke@435 395 // the cache.
duke@435 396 ciKlass* new_klass = NULL;
duke@435 397
duke@435 398 // Two cases: this is an unloaded objArrayKlass or an
duke@435 399 // unloaded instanceKlass. Deal with both.
duke@435 400 if (name->byte_at(0) == '[') {
duke@435 401 // Decompose the name.'
duke@435 402 jint dimension = 0;
duke@435 403 symbolOop element_name = NULL;
duke@435 404 BasicType element_type= FieldType::get_array_info(name->get_symbolOop(),
duke@435 405 &dimension,
duke@435 406 &element_name,
duke@435 407 THREAD);
duke@435 408 if (HAS_PENDING_EXCEPTION) {
duke@435 409 CLEAR_PENDING_EXCEPTION;
duke@435 410 CURRENT_THREAD_ENV->record_out_of_memory_failure();
duke@435 411 return ciEnv::_unloaded_ciobjarrayklass;
duke@435 412 }
duke@435 413 assert(element_type != T_ARRAY, "unsuccessful decomposition");
duke@435 414 ciKlass* element_klass = NULL;
duke@435 415 if (element_type == T_OBJECT) {
duke@435 416 ciEnv *env = CURRENT_THREAD_ENV;
duke@435 417 ciSymbol* ci_name = env->get_object(element_name)->as_symbol();
duke@435 418 element_klass =
duke@435 419 env->get_klass_by_name(accessing_klass, ci_name, false)->as_instance_klass();
duke@435 420 } else {
duke@435 421 assert(dimension > 1, "one dimensional type arrays are always loaded.");
duke@435 422
duke@435 423 // The type array itself takes care of one of the dimensions.
duke@435 424 dimension--;
duke@435 425
duke@435 426 // The element klass is a typeArrayKlass.
duke@435 427 element_klass = ciTypeArrayKlass::make(element_type);
duke@435 428 }
duke@435 429 new_klass = new (arena()) ciObjArrayKlass(name, element_klass, dimension);
duke@435 430 } else {
duke@435 431 jobject loader_handle = NULL;
duke@435 432 jobject domain_handle = NULL;
duke@435 433 if (accessing_klass != NULL) {
duke@435 434 loader_handle = accessing_klass->loader_handle();
duke@435 435 domain_handle = accessing_klass->protection_domain_handle();
duke@435 436 }
duke@435 437 new_klass = new (arena()) ciInstanceKlass(name, loader_handle, domain_handle);
duke@435 438 }
duke@435 439 init_ident_of(new_klass);
duke@435 440 _unloaded_klasses->append(new_klass);
duke@435 441
duke@435 442 return new_klass;
duke@435 443 }
duke@435 444
duke@435 445 //------------------------------------------------------------------
duke@435 446 // ciObjectFactory::get_empty_methodData
duke@435 447 //
duke@435 448 // Get the ciMethodData representing the methodData for a method with
duke@435 449 // none.
duke@435 450 ciMethodData* ciObjectFactory::get_empty_methodData() {
duke@435 451 ciMethodData* new_methodData = new (arena()) ciMethodData();
duke@435 452 init_ident_of(new_methodData);
duke@435 453 return new_methodData;
duke@435 454 }
duke@435 455
duke@435 456 //------------------------------------------------------------------
duke@435 457 // ciObjectFactory::get_return_address
duke@435 458 //
duke@435 459 // Get a ciReturnAddress for a specified bci.
duke@435 460 ciReturnAddress* ciObjectFactory::get_return_address(int bci) {
duke@435 461 for (int i=0; i<_return_addresses->length(); i++) {
duke@435 462 ciReturnAddress* entry = _return_addresses->at(i);
duke@435 463 if (entry->bci() == bci) {
duke@435 464 // We've found a match.
duke@435 465 return entry;
duke@435 466 }
duke@435 467 }
duke@435 468
duke@435 469 ciReturnAddress* new_ret_addr = new (arena()) ciReturnAddress(bci);
duke@435 470 init_ident_of(new_ret_addr);
duke@435 471 _return_addresses->append(new_ret_addr);
duke@435 472 return new_ret_addr;
duke@435 473 }
duke@435 474
duke@435 475 // ------------------------------------------------------------------
duke@435 476 // ciObjectFactory::init_ident_of
duke@435 477 void ciObjectFactory::init_ident_of(ciObject* obj) {
duke@435 478 obj->set_ident(_next_ident++);
duke@435 479 }
duke@435 480
duke@435 481
duke@435 482 // ------------------------------------------------------------------
duke@435 483 // ciObjectFactory::find
duke@435 484 //
duke@435 485 // Use binary search to find the position of this oop in the cache.
duke@435 486 // If there is no entry in the cache corresponding to this oop, return
duke@435 487 // the position at which the oop should be inserted.
duke@435 488 int ciObjectFactory::find(oop key, GrowableArray<ciObject*>* objects) {
duke@435 489 int min = 0;
duke@435 490 int max = objects->length()-1;
duke@435 491
duke@435 492 // print_contents();
duke@435 493
duke@435 494 while (max >= min) {
duke@435 495 int mid = (max + min) / 2;
duke@435 496 oop value = objects->at(mid)->get_oop();
duke@435 497 if (value < key) {
duke@435 498 min = mid + 1;
duke@435 499 } else if (value > key) {
duke@435 500 max = mid - 1;
duke@435 501 } else {
duke@435 502 return mid;
duke@435 503 }
duke@435 504 }
duke@435 505 return min;
duke@435 506 }
duke@435 507
duke@435 508 // ------------------------------------------------------------------
duke@435 509 // ciObjectFactory::is_found_at
duke@435 510 //
duke@435 511 // Verify that the binary seach found the given key.
duke@435 512 bool ciObjectFactory::is_found_at(int index, oop key, GrowableArray<ciObject*>* objects) {
duke@435 513 return (index < objects->length() &&
duke@435 514 objects->at(index)->get_oop() == key);
duke@435 515 }
duke@435 516
duke@435 517
duke@435 518 // ------------------------------------------------------------------
duke@435 519 // ciObjectFactory::insert
duke@435 520 //
duke@435 521 // Insert a ciObject into the table at some index.
duke@435 522 void ciObjectFactory::insert(int index, ciObject* obj, GrowableArray<ciObject*>* objects) {
duke@435 523 int len = objects->length();
duke@435 524 if (len == index) {
duke@435 525 objects->append(obj);
duke@435 526 } else {
duke@435 527 objects->append(objects->at(len-1));
duke@435 528 int pos;
duke@435 529 for (pos = len-2; pos >= index; pos--) {
duke@435 530 objects->at_put(pos+1,objects->at(pos));
duke@435 531 }
duke@435 532 objects->at_put(index, obj);
duke@435 533 }
duke@435 534 #ifdef ASSERT
jcoomes@1344 535 if (CIObjectFactoryVerify) {
jcoomes@1344 536 oop last = NULL;
jcoomes@1344 537 for (int j = 0; j< objects->length(); j++) {
jcoomes@1344 538 oop o = objects->at(j)->get_oop();
jcoomes@1344 539 assert(last < o, "out of order");
jcoomes@1344 540 last = o;
jcoomes@1344 541 }
duke@435 542 }
duke@435 543 #endif // ASSERT
duke@435 544 }
duke@435 545
duke@435 546 static ciObjectFactory::NonPermObject* emptyBucket = NULL;
duke@435 547
duke@435 548 // ------------------------------------------------------------------
duke@435 549 // ciObjectFactory::find_non_perm
duke@435 550 //
duke@435 551 // Use a small hash table, hashed on the klass of the key.
duke@435 552 // If there is no entry in the cache corresponding to this oop, return
duke@435 553 // the null tail of the bucket into which the oop should be inserted.
duke@435 554 ciObjectFactory::NonPermObject* &ciObjectFactory::find_non_perm(oop key) {
duke@435 555 // Be careful: is_perm might change from false to true.
duke@435 556 // Thus, there might be a matching perm object in the table.
duke@435 557 // If there is, this probe must find it.
duke@435 558 if (key->is_perm() && _non_perm_count == 0) {
duke@435 559 return emptyBucket;
duke@435 560 } else if (key->is_instance()) {
never@1577 561 if (key->klass() == SystemDictionary::Class_klass()) {
duke@435 562 // class mirror instances are always perm
duke@435 563 return emptyBucket;
duke@435 564 }
duke@435 565 // fall through to probe
duke@435 566 } else if (key->is_array()) {
duke@435 567 // fall through to probe
duke@435 568 } else {
duke@435 569 // not an array or instance
duke@435 570 return emptyBucket;
duke@435 571 }
duke@435 572
duke@435 573 ciObject* klass = get(key->klass());
duke@435 574 NonPermObject* *bp = &_non_perm_bucket[(unsigned) klass->hash() % NON_PERM_BUCKETS];
duke@435 575 for (NonPermObject* p; (p = (*bp)) != NULL; bp = &p->next()) {
duke@435 576 if (is_equal(p, key)) break;
duke@435 577 }
duke@435 578 return (*bp);
duke@435 579 }
duke@435 580
duke@435 581
duke@435 582
duke@435 583 // ------------------------------------------------------------------
duke@435 584 // Code for for NonPermObject
duke@435 585 //
duke@435 586 inline ciObjectFactory::NonPermObject::NonPermObject(ciObjectFactory::NonPermObject* &bucket, oop key, ciObject* object) {
duke@435 587 assert(ciObjectFactory::is_initialized(), "");
duke@435 588 _object = object;
duke@435 589 _next = bucket;
duke@435 590 bucket = this;
duke@435 591 }
duke@435 592
duke@435 593
duke@435 594
duke@435 595 // ------------------------------------------------------------------
duke@435 596 // ciObjectFactory::insert_non_perm
duke@435 597 //
duke@435 598 // Insert a ciObject into the non-perm table.
duke@435 599 void ciObjectFactory::insert_non_perm(ciObjectFactory::NonPermObject* &where, oop key, ciObject* obj) {
duke@435 600 assert(&where != &emptyBucket, "must not try to fill empty bucket");
duke@435 601 NonPermObject* p = new (arena()) NonPermObject(where, key, obj);
duke@435 602 assert(where == p && is_equal(p, key) && p->object() == obj, "entry must match");
duke@435 603 assert(find_non_perm(key) == p, "must find the same spot");
duke@435 604 ++_non_perm_count;
duke@435 605 }
duke@435 606
duke@435 607 // ------------------------------------------------------------------
duke@435 608 // ciObjectFactory::vm_symbol_at
duke@435 609 // Get the ciSymbol corresponding to some index in vmSymbols.
duke@435 610 ciSymbol* ciObjectFactory::vm_symbol_at(int index) {
duke@435 611 assert(index >= vmSymbols::FIRST_SID && index < vmSymbols::SID_LIMIT, "oob");
duke@435 612 return _shared_ci_symbols[index];
duke@435 613 }
duke@435 614
duke@435 615 // ------------------------------------------------------------------
duke@435 616 // ciObjectFactory::print_contents_impl
duke@435 617 void ciObjectFactory::print_contents_impl() {
duke@435 618 int len = _ci_objects->length();
duke@435 619 tty->print_cr("ciObjectFactory (%d) oop contents:", len);
duke@435 620 for (int i=0; i<len; i++) {
duke@435 621 _ci_objects->at(i)->print();
duke@435 622 tty->cr();
duke@435 623 }
duke@435 624 }
duke@435 625
duke@435 626 // ------------------------------------------------------------------
duke@435 627 // ciObjectFactory::print_contents
duke@435 628 void ciObjectFactory::print_contents() {
duke@435 629 print();
duke@435 630 tty->cr();
duke@435 631 GUARDED_VM_ENTRY(print_contents_impl();)
duke@435 632 }
duke@435 633
duke@435 634 // ------------------------------------------------------------------
duke@435 635 // ciObjectFactory::print
duke@435 636 //
duke@435 637 // Print debugging information about the object factory
duke@435 638 void ciObjectFactory::print() {
duke@435 639 tty->print("<ciObjectFactory oops=%d unloaded_methods=%d unloaded_klasses=%d>",
duke@435 640 _ci_objects->length(), _unloaded_methods->length(),
duke@435 641 _unloaded_klasses->length());
duke@435 642 }

mercurial