src/share/vm/ci/ciObjectFactory.cpp

Tue, 15 Sep 2009 21:53:47 -0700

author
jrose
date
Tue, 15 Sep 2009 21:53:47 -0700
changeset 1424
148e5441d916
parent 1344
b32a809aab08
child 1435
a1423fe86a18
permissions
-rw-r--r--

6863023: need non-perm oops in code cache for JSR 292
Summary: Make a special root-list for those few nmethods which might contain non-perm oops.
Reviewed-by: twisti, kvn, never, jmasa, ysr

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

mercurial