Tue, 09 Oct 2012 10:11:38 +0200
7054512: Compress class pointers after perm gen removal
Summary: support of compress class pointers in the compilers.
Reviewed-by: kvn, twisti
duke@435 | 1 | /* |
coleenp@4037 | 2 | * Copyright (c) 1999, 2012, 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/ciCallSite.hpp" |
stefank@2314 | 27 | #include "ci/ciInstance.hpp" |
stefank@2314 | 28 | #include "ci/ciInstanceKlass.hpp" |
twisti@3969 | 29 | #include "ci/ciMemberName.hpp" |
stefank@2314 | 30 | #include "ci/ciMethod.hpp" |
stefank@2314 | 31 | #include "ci/ciMethodData.hpp" |
stefank@2314 | 32 | #include "ci/ciMethodHandle.hpp" |
twisti@4133 | 33 | #include "ci/ciMethodType.hpp" |
stefank@2314 | 34 | #include "ci/ciNullObject.hpp" |
stefank@2314 | 35 | #include "ci/ciObjArray.hpp" |
stefank@2314 | 36 | #include "ci/ciObjArrayKlass.hpp" |
coleenp@4037 | 37 | #include "ci/ciObject.hpp" |
stefank@2314 | 38 | #include "ci/ciObjectFactory.hpp" |
stefank@2314 | 39 | #include "ci/ciSymbol.hpp" |
stefank@2314 | 40 | #include "ci/ciTypeArray.hpp" |
stefank@2314 | 41 | #include "ci/ciTypeArrayKlass.hpp" |
stefank@2314 | 42 | #include "ci/ciUtilities.hpp" |
stefank@2314 | 43 | #include "classfile/systemDictionary.hpp" |
stefank@2314 | 44 | #include "gc_interface/collectedHeap.inline.hpp" |
stefank@2314 | 45 | #include "memory/allocation.inline.hpp" |
stefank@2314 | 46 | #include "oops/oop.inline.hpp" |
stefank@2314 | 47 | #include "oops/oop.inline2.hpp" |
stefank@2314 | 48 | #include "runtime/fieldType.hpp" |
duke@435 | 49 | |
duke@435 | 50 | // ciObjectFactory |
duke@435 | 51 | // |
duke@435 | 52 | // This class handles requests for the creation of new instances |
duke@435 | 53 | // of ciObject and its subclasses. It contains a caching mechanism |
duke@435 | 54 | // which ensures that for each oop, at most one ciObject is created. |
duke@435 | 55 | // This invariant allows more efficient implementation of ciObject. |
duke@435 | 56 | // |
duke@435 | 57 | // Implementation note: the oop->ciObject mapping is represented as |
duke@435 | 58 | // a table stored in an array. Even though objects are moved |
duke@435 | 59 | // by the garbage collector, the compactor preserves their relative |
duke@435 | 60 | // order; address comparison of oops (in perm space) is safe so long |
duke@435 | 61 | // as we prohibit GC during our comparisons. We currently use binary |
duke@435 | 62 | // search to find the oop in the table, and inserting a new oop |
duke@435 | 63 | // into the table may be costly. If this cost ends up being |
duke@435 | 64 | // problematic the underlying data structure can be switched to some |
duke@435 | 65 | // sort of balanced binary tree. |
duke@435 | 66 | |
coleenp@4037 | 67 | GrowableArray<ciMetadata*>* ciObjectFactory::_shared_ci_metadata = NULL; |
duke@435 | 68 | ciSymbol* ciObjectFactory::_shared_ci_symbols[vmSymbols::SID_LIMIT]; |
duke@435 | 69 | int ciObjectFactory::_shared_ident_limit = 0; |
duke@435 | 70 | volatile bool ciObjectFactory::_initialized = false; |
duke@435 | 71 | |
duke@435 | 72 | |
duke@435 | 73 | // ------------------------------------------------------------------ |
duke@435 | 74 | // ciObjectFactory::ciObjectFactory |
duke@435 | 75 | ciObjectFactory::ciObjectFactory(Arena* arena, |
duke@435 | 76 | int expected_size) { |
duke@435 | 77 | |
duke@435 | 78 | for (int i = 0; i < NON_PERM_BUCKETS; i++) { |
duke@435 | 79 | _non_perm_bucket[i] = NULL; |
duke@435 | 80 | } |
duke@435 | 81 | _non_perm_count = 0; |
duke@435 | 82 | |
duke@435 | 83 | _next_ident = _shared_ident_limit; |
duke@435 | 84 | _arena = arena; |
coleenp@4037 | 85 | _ci_metadata = new (arena) GrowableArray<ciMetadata*>(arena, expected_size, 0, NULL); |
duke@435 | 86 | |
duke@435 | 87 | // If the shared ci objects exist append them to this factory's objects |
duke@435 | 88 | |
coleenp@4037 | 89 | if (_shared_ci_metadata != NULL) { |
coleenp@4037 | 90 | _ci_metadata->appendAll(_shared_ci_metadata); |
duke@435 | 91 | } |
duke@435 | 92 | |
duke@435 | 93 | _unloaded_methods = new (arena) GrowableArray<ciMethod*>(arena, 4, 0, NULL); |
duke@435 | 94 | _unloaded_klasses = new (arena) GrowableArray<ciKlass*>(arena, 8, 0, NULL); |
jrose@1957 | 95 | _unloaded_instances = new (arena) GrowableArray<ciInstance*>(arena, 4, 0, NULL); |
duke@435 | 96 | _return_addresses = |
duke@435 | 97 | new (arena) GrowableArray<ciReturnAddress*>(arena, 8, 0, NULL); |
coleenp@2497 | 98 | |
coleenp@2497 | 99 | _symbols = new (arena) GrowableArray<ciSymbol*>(arena, 100, 0, NULL); |
duke@435 | 100 | } |
duke@435 | 101 | |
duke@435 | 102 | // ------------------------------------------------------------------ |
duke@435 | 103 | // ciObjectFactory::ciObjectFactory |
duke@435 | 104 | void ciObjectFactory::initialize() { |
duke@435 | 105 | ASSERT_IN_VM; |
duke@435 | 106 | JavaThread* thread = JavaThread::current(); |
duke@435 | 107 | HandleMark handle_mark(thread); |
duke@435 | 108 | |
duke@435 | 109 | // This Arena is long lived and exists in the resource mark of the |
duke@435 | 110 | // compiler thread that initializes the initial ciObjectFactory which |
duke@435 | 111 | // creates the shared ciObjects that all later ciObjectFactories use. |
zgu@3900 | 112 | Arena* arena = new (mtCompiler) Arena(); |
duke@435 | 113 | ciEnv initial(arena); |
duke@435 | 114 | ciEnv* env = ciEnv::current(); |
duke@435 | 115 | env->_factory->init_shared_objects(); |
duke@435 | 116 | |
duke@435 | 117 | _initialized = true; |
duke@435 | 118 | |
duke@435 | 119 | } |
duke@435 | 120 | |
duke@435 | 121 | void ciObjectFactory::init_shared_objects() { |
duke@435 | 122 | |
duke@435 | 123 | _next_ident = 1; // start numbering CI objects at 1 |
duke@435 | 124 | |
duke@435 | 125 | { |
coleenp@4037 | 126 | // Create the shared symbols, but not in _shared_ci_metadata. |
duke@435 | 127 | int i; |
duke@435 | 128 | for (i = vmSymbols::FIRST_SID; i < vmSymbols::SID_LIMIT; i++) { |
coleenp@2497 | 129 | Symbol* vmsym = vmSymbols::symbol_at((vmSymbols::SID) i); |
coleenp@2497 | 130 | assert(vmSymbols::find_sid(vmsym) == i, "1-1 mapping"); |
coleenp@2497 | 131 | ciSymbol* sym = new (_arena) ciSymbol(vmsym, (vmSymbols::SID) i); |
duke@435 | 132 | init_ident_of(sym); |
duke@435 | 133 | _shared_ci_symbols[i] = sym; |
duke@435 | 134 | } |
duke@435 | 135 | #ifdef ASSERT |
duke@435 | 136 | for (i = vmSymbols::FIRST_SID; i < vmSymbols::SID_LIMIT; i++) { |
coleenp@2497 | 137 | Symbol* vmsym = vmSymbols::symbol_at((vmSymbols::SID) i); |
duke@435 | 138 | ciSymbol* sym = vm_symbol_at((vmSymbols::SID) i); |
coleenp@2497 | 139 | assert(sym->get_symbol() == vmsym, "oop must match"); |
duke@435 | 140 | } |
coleenp@2497 | 141 | assert(ciSymbol::void_class_signature()->get_symbol() == vmSymbols::void_class_signature(), "spot check"); |
duke@435 | 142 | #endif |
duke@435 | 143 | } |
duke@435 | 144 | |
coleenp@4037 | 145 | _ci_metadata = new (_arena) GrowableArray<ciMetadata*>(_arena, 64, 0, NULL); |
duke@435 | 146 | |
duke@435 | 147 | for (int i = T_BOOLEAN; i <= T_CONFLICT; i++) { |
duke@435 | 148 | BasicType t = (BasicType)i; |
roland@4159 | 149 | if (type2name(t) != NULL && t != T_OBJECT && t != T_ARRAY && t != T_NARROWOOP && t != T_NARROWKLASS) { |
duke@435 | 150 | ciType::_basic_types[t] = new (_arena) ciType(t); |
duke@435 | 151 | init_ident_of(ciType::_basic_types[t]); |
duke@435 | 152 | } |
duke@435 | 153 | } |
duke@435 | 154 | |
duke@435 | 155 | ciEnv::_null_object_instance = new (_arena) ciNullObject(); |
duke@435 | 156 | init_ident_of(ciEnv::_null_object_instance); |
never@1577 | 157 | |
never@1577 | 158 | #define WK_KLASS_DEFN(name, ignore_s, opt) \ |
never@1577 | 159 | if (SystemDictionary::name() != NULL) \ |
coleenp@4037 | 160 | ciEnv::_##name = get_metadata(SystemDictionary::name())->as_instance_klass(); |
never@1577 | 161 | |
never@1577 | 162 | WK_KLASSES_DO(WK_KLASS_DEFN) |
never@1577 | 163 | #undef WK_KLASS_DEFN |
duke@435 | 164 | |
coleenp@4037 | 165 | for (int len = -1; len != _ci_metadata->length(); ) { |
coleenp@4037 | 166 | len = _ci_metadata->length(); |
duke@435 | 167 | for (int i2 = 0; i2 < len; i2++) { |
coleenp@4037 | 168 | ciMetadata* obj = _ci_metadata->at(i2); |
coleenp@4037 | 169 | assert (obj->is_metadata(), "what else would it be?"); |
duke@435 | 170 | if (obj->is_loaded() && obj->is_instance_klass()) { |
duke@435 | 171 | obj->as_instance_klass()->compute_nonstatic_fields(); |
duke@435 | 172 | } |
duke@435 | 173 | } |
duke@435 | 174 | } |
duke@435 | 175 | |
coleenp@2497 | 176 | ciEnv::_unloaded_cisymbol = ciObjectFactory::get_symbol(vmSymbols::dummy_symbol()); |
coleenp@4037 | 177 | // Create dummy InstanceKlass and objArrayKlass object and assign them idents |
duke@435 | 178 | ciEnv::_unloaded_ciinstance_klass = new (_arena) ciInstanceKlass(ciEnv::_unloaded_cisymbol, NULL, NULL); |
duke@435 | 179 | init_ident_of(ciEnv::_unloaded_ciinstance_klass); |
duke@435 | 180 | ciEnv::_unloaded_ciobjarrayklass = new (_arena) ciObjArrayKlass(ciEnv::_unloaded_cisymbol, ciEnv::_unloaded_ciinstance_klass, 1); |
duke@435 | 181 | init_ident_of(ciEnv::_unloaded_ciobjarrayklass); |
duke@435 | 182 | assert(ciEnv::_unloaded_ciobjarrayklass->is_obj_array_klass(), "just checking"); |
duke@435 | 183 | |
coleenp@4037 | 184 | get_metadata(Universe::boolArrayKlassObj()); |
coleenp@4037 | 185 | get_metadata(Universe::charArrayKlassObj()); |
coleenp@4037 | 186 | get_metadata(Universe::singleArrayKlassObj()); |
coleenp@4037 | 187 | get_metadata(Universe::doubleArrayKlassObj()); |
coleenp@4037 | 188 | get_metadata(Universe::byteArrayKlassObj()); |
coleenp@4037 | 189 | get_metadata(Universe::shortArrayKlassObj()); |
coleenp@4037 | 190 | get_metadata(Universe::intArrayKlassObj()); |
coleenp@4037 | 191 | get_metadata(Universe::longArrayKlassObj()); |
duke@435 | 192 | |
duke@435 | 193 | |
duke@435 | 194 | |
duke@435 | 195 | assert(_non_perm_count == 0, "no shared non-perm objects"); |
duke@435 | 196 | |
duke@435 | 197 | // The shared_ident_limit is the first ident number that will |
duke@435 | 198 | // be used for non-shared objects. That is, numbers less than |
duke@435 | 199 | // this limit are permanently assigned to shared CI objects, |
duke@435 | 200 | // while the higher numbers are recycled afresh by each new ciEnv. |
duke@435 | 201 | |
duke@435 | 202 | _shared_ident_limit = _next_ident; |
coleenp@4037 | 203 | _shared_ci_metadata = _ci_metadata; |
duke@435 | 204 | } |
duke@435 | 205 | |
coleenp@2497 | 206 | |
coleenp@2497 | 207 | ciSymbol* ciObjectFactory::get_symbol(Symbol* key) { |
coleenp@2497 | 208 | vmSymbols::SID sid = vmSymbols::find_sid(key); |
coleenp@2497 | 209 | if (sid != vmSymbols::NO_SID) { |
coleenp@2497 | 210 | // do not pollute the main cache with it |
coleenp@2497 | 211 | return vm_symbol_at(sid); |
coleenp@2497 | 212 | } |
coleenp@2497 | 213 | |
coleenp@2497 | 214 | assert(vmSymbols::find_sid(key) == vmSymbols::NO_SID, ""); |
coleenp@2497 | 215 | ciSymbol* s = new (arena()) ciSymbol(key, vmSymbols::NO_SID); |
coleenp@2497 | 216 | _symbols->push(s); |
coleenp@2497 | 217 | return s; |
coleenp@2497 | 218 | } |
coleenp@2497 | 219 | |
coleenp@2497 | 220 | // Decrement the refcount when done on symbols referenced by this compilation. |
coleenp@2497 | 221 | void ciObjectFactory::remove_symbols() { |
coleenp@2497 | 222 | for (int i = 0; i < _symbols->length(); i++) { |
coleenp@2497 | 223 | ciSymbol* s = _symbols->at(i); |
coleenp@2497 | 224 | s->get_symbol()->decrement_refcount(); |
coleenp@2497 | 225 | } |
coleenp@2497 | 226 | // Since _symbols is resource allocated we're not allowed to delete it |
coleenp@2497 | 227 | // but it'll go away just the same. |
coleenp@2497 | 228 | } |
coleenp@2497 | 229 | |
duke@435 | 230 | // ------------------------------------------------------------------ |
duke@435 | 231 | // ciObjectFactory::get |
duke@435 | 232 | // |
duke@435 | 233 | // Get the ciObject corresponding to some oop. If the ciObject has |
duke@435 | 234 | // already been created, it is returned. Otherwise, a new ciObject |
duke@435 | 235 | // is created. |
duke@435 | 236 | ciObject* ciObjectFactory::get(oop key) { |
duke@435 | 237 | ASSERT_IN_VM; |
duke@435 | 238 | |
coleenp@4037 | 239 | assert(key == NULL || Universe::heap()->is_in_reserved(key), "must be"); |
coleenp@4037 | 240 | |
twisti@4133 | 241 | NonPermObject* &bucket = find_non_perm(key); |
twisti@4133 | 242 | if (bucket != NULL) { |
twisti@4133 | 243 | return bucket->object(); |
twisti@4133 | 244 | } |
duke@435 | 245 | |
twisti@4133 | 246 | // The ciObject does not yet exist. Create it and insert it |
twisti@4133 | 247 | // into the cache. |
twisti@4133 | 248 | Handle keyHandle(key); |
twisti@4133 | 249 | ciObject* new_object = create_new_object(keyHandle()); |
twisti@4133 | 250 | assert(keyHandle() == new_object->get_oop(), "must be properly recorded"); |
twisti@4133 | 251 | init_ident_of(new_object); |
coleenp@4037 | 252 | assert(Universe::heap()->is_in_reserved(new_object->get_oop()), "must be"); |
coleenp@4037 | 253 | |
twisti@4133 | 254 | // Not a perm-space object. |
twisti@4133 | 255 | insert_non_perm(bucket, keyHandle(), new_object); |
twisti@4133 | 256 | return new_object; |
twisti@4133 | 257 | } |
coleenp@4037 | 258 | |
coleenp@4037 | 259 | // ------------------------------------------------------------------ |
coleenp@4037 | 260 | // ciObjectFactory::get |
coleenp@4037 | 261 | // |
coleenp@4037 | 262 | // Get the ciObject corresponding to some oop. If the ciObject has |
coleenp@4037 | 263 | // already been created, it is returned. Otherwise, a new ciObject |
coleenp@4037 | 264 | // is created. |
coleenp@4037 | 265 | ciMetadata* ciObjectFactory::get_metadata(Metadata* key) { |
coleenp@4037 | 266 | ASSERT_IN_VM; |
coleenp@4037 | 267 | |
coleenp@4037 | 268 | assert(key == NULL || key->is_metadata(), "must be"); |
coleenp@4037 | 269 | |
coleenp@4037 | 270 | #ifdef ASSERT |
coleenp@4037 | 271 | if (CIObjectFactoryVerify) { |
coleenp@4037 | 272 | Metadata* last = NULL; |
coleenp@4037 | 273 | for (int j = 0; j< _ci_metadata->length(); j++) { |
coleenp@4037 | 274 | Metadata* o = _ci_metadata->at(j)->constant_encoding(); |
coleenp@4037 | 275 | assert(last < o, "out of order"); |
coleenp@4037 | 276 | last = o; |
coleenp@4037 | 277 | } |
coleenp@4037 | 278 | } |
coleenp@4037 | 279 | #endif // ASSERT |
coleenp@4037 | 280 | int len = _ci_metadata->length(); |
coleenp@4037 | 281 | int index = find(key, _ci_metadata); |
coleenp@4037 | 282 | #ifdef ASSERT |
coleenp@4037 | 283 | if (CIObjectFactoryVerify) { |
coleenp@4037 | 284 | for (int i=0; i<_ci_metadata->length(); i++) { |
coleenp@4037 | 285 | if (_ci_metadata->at(i)->constant_encoding() == key) { |
coleenp@4037 | 286 | assert(index == i, " bad lookup"); |
coleenp@4037 | 287 | } |
coleenp@4037 | 288 | } |
coleenp@4037 | 289 | } |
coleenp@4037 | 290 | #endif |
coleenp@4037 | 291 | if (!is_found_at(index, key, _ci_metadata)) { |
coleenp@4037 | 292 | // The ciObject does not yet exist. Create it and insert it |
coleenp@4037 | 293 | // into the cache. |
coleenp@4037 | 294 | ciMetadata* new_object = create_new_object(key); |
coleenp@4037 | 295 | init_ident_of(new_object); |
coleenp@4037 | 296 | assert(new_object->is_metadata(), "must be"); |
coleenp@4037 | 297 | |
coleenp@4037 | 298 | if (len != _ci_metadata->length()) { |
duke@435 | 299 | // creating the new object has recursively entered new objects |
duke@435 | 300 | // into the table. We need to recompute our index. |
coleenp@4037 | 301 | index = find(key, _ci_metadata); |
duke@435 | 302 | } |
coleenp@4037 | 303 | assert(!is_found_at(index, key, _ci_metadata), "no double insert"); |
coleenp@4037 | 304 | insert(index, new_object, _ci_metadata); |
duke@435 | 305 | return new_object; |
duke@435 | 306 | } |
coleenp@4037 | 307 | return _ci_metadata->at(index)->as_metadata(); |
duke@435 | 308 | } |
duke@435 | 309 | |
duke@435 | 310 | // ------------------------------------------------------------------ |
duke@435 | 311 | // ciObjectFactory::create_new_object |
duke@435 | 312 | // |
duke@435 | 313 | // Create a new ciObject from an oop. |
duke@435 | 314 | // |
duke@435 | 315 | // Implementation note: this functionality could be virtual behavior |
duke@435 | 316 | // of the oop itself. For now, we explicitly marshal the object. |
duke@435 | 317 | ciObject* ciObjectFactory::create_new_object(oop o) { |
duke@435 | 318 | EXCEPTION_CONTEXT; |
duke@435 | 319 | |
coleenp@4037 | 320 | if (o->is_instance()) { |
duke@435 | 321 | instanceHandle h_i(THREAD, (instanceOop)o); |
jrose@2639 | 322 | if (java_lang_invoke_CallSite::is_instance(o)) |
twisti@1573 | 323 | return new (arena()) ciCallSite(h_i); |
twisti@3969 | 324 | else if (java_lang_invoke_MemberName::is_instance(o)) |
twisti@3969 | 325 | return new (arena()) ciMemberName(h_i); |
jrose@2639 | 326 | else if (java_lang_invoke_MethodHandle::is_instance(o)) |
twisti@1573 | 327 | return new (arena()) ciMethodHandle(h_i); |
twisti@4133 | 328 | else if (java_lang_invoke_MethodType::is_instance(o)) |
twisti@4133 | 329 | return new (arena()) ciMethodType(h_i); |
twisti@1573 | 330 | else |
twisti@1573 | 331 | return new (arena()) ciInstance(h_i); |
duke@435 | 332 | } else if (o->is_objArray()) { |
duke@435 | 333 | objArrayHandle h_oa(THREAD, (objArrayOop)o); |
duke@435 | 334 | return new (arena()) ciObjArray(h_oa); |
duke@435 | 335 | } else if (o->is_typeArray()) { |
duke@435 | 336 | typeArrayHandle h_ta(THREAD, (typeArrayOop)o); |
duke@435 | 337 | return new (arena()) ciTypeArray(h_ta); |
coleenp@4037 | 338 | } |
coleenp@4037 | 339 | |
coleenp@4037 | 340 | // The oop is of some type not supported by the compiler interface. |
coleenp@4037 | 341 | ShouldNotReachHere(); |
coleenp@4037 | 342 | return NULL; |
coleenp@4037 | 343 | } |
coleenp@4037 | 344 | |
coleenp@4037 | 345 | // ------------------------------------------------------------------ |
coleenp@4037 | 346 | // ciObjectFactory::create_new_object |
coleenp@4037 | 347 | // |
coleenp@4037 | 348 | // Create a new ciObject from a Metadata*. |
coleenp@4037 | 349 | // |
coleenp@4037 | 350 | // Implementation note: this functionality could be virtual behavior |
coleenp@4037 | 351 | // of the oop itself. For now, we explicitly marshal the object. |
coleenp@4037 | 352 | ciMetadata* ciObjectFactory::create_new_object(Metadata* o) { |
coleenp@4037 | 353 | EXCEPTION_CONTEXT; |
coleenp@4037 | 354 | |
coleenp@4037 | 355 | if (o->is_klass()) { |
coleenp@4037 | 356 | KlassHandle h_k(THREAD, (Klass*)o); |
coleenp@4037 | 357 | Klass* k = (Klass*)o; |
coleenp@4037 | 358 | if (k->oop_is_instance()) { |
coleenp@4037 | 359 | return new (arena()) ciInstanceKlass(h_k); |
coleenp@4037 | 360 | } else if (k->oop_is_objArray()) { |
coleenp@4037 | 361 | return new (arena()) ciObjArrayKlass(h_k); |
coleenp@4037 | 362 | } else if (k->oop_is_typeArray()) { |
coleenp@4037 | 363 | return new (arena()) ciTypeArrayKlass(h_k); |
coleenp@4037 | 364 | } |
coleenp@4037 | 365 | } else if (o->is_method()) { |
coleenp@4037 | 366 | methodHandle h_m(THREAD, (Method*)o); |
coleenp@4037 | 367 | return new (arena()) ciMethod(h_m); |
coleenp@4037 | 368 | } else if (o->is_methodData()) { |
coleenp@4037 | 369 | // Hold methodHandle alive - might not be necessary ??? |
coleenp@4037 | 370 | methodHandle h_m(THREAD, ((MethodData*)o)->method()); |
coleenp@4037 | 371 | return new (arena()) ciMethodData((MethodData*)o); |
duke@435 | 372 | } |
duke@435 | 373 | |
duke@435 | 374 | // The oop is of some type not supported by the compiler interface. |
duke@435 | 375 | ShouldNotReachHere(); |
duke@435 | 376 | return NULL; |
duke@435 | 377 | } |
duke@435 | 378 | |
duke@435 | 379 | //------------------------------------------------------------------ |
duke@435 | 380 | // ciObjectFactory::get_unloaded_method |
duke@435 | 381 | // |
duke@435 | 382 | // Get the ciMethod representing an unloaded/unfound method. |
duke@435 | 383 | // |
duke@435 | 384 | // Implementation note: unloaded methods are currently stored in |
duke@435 | 385 | // an unordered array, requiring a linear-time lookup for each |
duke@435 | 386 | // unloaded method. This may need to change. |
duke@435 | 387 | ciMethod* ciObjectFactory::get_unloaded_method(ciInstanceKlass* holder, |
duke@435 | 388 | ciSymbol* name, |
twisti@3197 | 389 | ciSymbol* signature, |
twisti@3197 | 390 | ciInstanceKlass* accessor) { |
twisti@3197 | 391 | ciSignature* that = NULL; |
twisti@3197 | 392 | for (int i = 0; i < _unloaded_methods->length(); i++) { |
duke@435 | 393 | ciMethod* entry = _unloaded_methods->at(i); |
duke@435 | 394 | if (entry->holder()->equals(holder) && |
duke@435 | 395 | entry->name()->equals(name) && |
duke@435 | 396 | entry->signature()->as_symbol()->equals(signature)) { |
twisti@3197 | 397 | // Short-circuit slow resolve. |
twisti@3197 | 398 | if (entry->signature()->accessing_klass() == accessor) { |
twisti@3197 | 399 | // We've found a match. |
twisti@3197 | 400 | return entry; |
twisti@3197 | 401 | } else { |
twisti@3197 | 402 | // Lazily create ciSignature |
twisti@3197 | 403 | if (that == NULL) that = new (arena()) ciSignature(accessor, constantPoolHandle(), signature); |
twisti@3197 | 404 | if (entry->signature()->equals(that)) { |
twisti@3197 | 405 | // We've found a match. |
twisti@3197 | 406 | return entry; |
twisti@3197 | 407 | } |
twisti@3197 | 408 | } |
duke@435 | 409 | } |
duke@435 | 410 | } |
duke@435 | 411 | |
duke@435 | 412 | // This is a new unloaded method. Create it and stick it in |
duke@435 | 413 | // the cache. |
twisti@3197 | 414 | ciMethod* new_method = new (arena()) ciMethod(holder, name, signature, accessor); |
duke@435 | 415 | |
duke@435 | 416 | init_ident_of(new_method); |
duke@435 | 417 | _unloaded_methods->append(new_method); |
duke@435 | 418 | |
duke@435 | 419 | return new_method; |
duke@435 | 420 | } |
duke@435 | 421 | |
duke@435 | 422 | //------------------------------------------------------------------ |
duke@435 | 423 | // ciObjectFactory::get_unloaded_klass |
duke@435 | 424 | // |
duke@435 | 425 | // Get a ciKlass representing an unloaded klass. |
duke@435 | 426 | // |
duke@435 | 427 | // Implementation note: unloaded klasses are currently stored in |
duke@435 | 428 | // an unordered array, requiring a linear-time lookup for each |
duke@435 | 429 | // unloaded klass. This may need to change. |
duke@435 | 430 | ciKlass* ciObjectFactory::get_unloaded_klass(ciKlass* accessing_klass, |
duke@435 | 431 | ciSymbol* name, |
duke@435 | 432 | bool create_if_not_found) { |
duke@435 | 433 | EXCEPTION_CONTEXT; |
duke@435 | 434 | oop loader = NULL; |
duke@435 | 435 | oop domain = NULL; |
duke@435 | 436 | if (accessing_klass != NULL) { |
duke@435 | 437 | loader = accessing_klass->loader(); |
duke@435 | 438 | domain = accessing_klass->protection_domain(); |
duke@435 | 439 | } |
duke@435 | 440 | for (int i=0; i<_unloaded_klasses->length(); i++) { |
duke@435 | 441 | ciKlass* entry = _unloaded_klasses->at(i); |
duke@435 | 442 | if (entry->name()->equals(name) && |
duke@435 | 443 | entry->loader() == loader && |
duke@435 | 444 | entry->protection_domain() == domain) { |
duke@435 | 445 | // We've found a match. |
duke@435 | 446 | return entry; |
duke@435 | 447 | } |
duke@435 | 448 | } |
duke@435 | 449 | |
duke@435 | 450 | if (!create_if_not_found) |
duke@435 | 451 | return NULL; |
duke@435 | 452 | |
duke@435 | 453 | // This is a new unloaded klass. Create it and stick it in |
duke@435 | 454 | // the cache. |
duke@435 | 455 | ciKlass* new_klass = NULL; |
duke@435 | 456 | |
duke@435 | 457 | // Two cases: this is an unloaded objArrayKlass or an |
coleenp@4037 | 458 | // unloaded InstanceKlass. Deal with both. |
duke@435 | 459 | if (name->byte_at(0) == '[') { |
duke@435 | 460 | // Decompose the name.' |
coleenp@2497 | 461 | FieldArrayInfo fd; |
coleenp@2497 | 462 | BasicType element_type = FieldType::get_array_info(name->get_symbol(), |
coleenp@2497 | 463 | fd, THREAD); |
duke@435 | 464 | if (HAS_PENDING_EXCEPTION) { |
duke@435 | 465 | CLEAR_PENDING_EXCEPTION; |
duke@435 | 466 | CURRENT_THREAD_ENV->record_out_of_memory_failure(); |
duke@435 | 467 | return ciEnv::_unloaded_ciobjarrayklass; |
duke@435 | 468 | } |
coleenp@2497 | 469 | int dimension = fd.dimension(); |
duke@435 | 470 | assert(element_type != T_ARRAY, "unsuccessful decomposition"); |
duke@435 | 471 | ciKlass* element_klass = NULL; |
duke@435 | 472 | if (element_type == T_OBJECT) { |
duke@435 | 473 | ciEnv *env = CURRENT_THREAD_ENV; |
coleenp@2497 | 474 | ciSymbol* ci_name = env->get_symbol(fd.object_key()); |
duke@435 | 475 | element_klass = |
duke@435 | 476 | env->get_klass_by_name(accessing_klass, ci_name, false)->as_instance_klass(); |
duke@435 | 477 | } else { |
duke@435 | 478 | assert(dimension > 1, "one dimensional type arrays are always loaded."); |
duke@435 | 479 | |
duke@435 | 480 | // The type array itself takes care of one of the dimensions. |
duke@435 | 481 | dimension--; |
duke@435 | 482 | |
duke@435 | 483 | // The element klass is a typeArrayKlass. |
duke@435 | 484 | element_klass = ciTypeArrayKlass::make(element_type); |
duke@435 | 485 | } |
duke@435 | 486 | new_klass = new (arena()) ciObjArrayKlass(name, element_klass, dimension); |
duke@435 | 487 | } else { |
duke@435 | 488 | jobject loader_handle = NULL; |
duke@435 | 489 | jobject domain_handle = NULL; |
duke@435 | 490 | if (accessing_klass != NULL) { |
duke@435 | 491 | loader_handle = accessing_klass->loader_handle(); |
duke@435 | 492 | domain_handle = accessing_klass->protection_domain_handle(); |
duke@435 | 493 | } |
duke@435 | 494 | new_klass = new (arena()) ciInstanceKlass(name, loader_handle, domain_handle); |
duke@435 | 495 | } |
duke@435 | 496 | init_ident_of(new_klass); |
duke@435 | 497 | _unloaded_klasses->append(new_klass); |
duke@435 | 498 | |
duke@435 | 499 | return new_klass; |
duke@435 | 500 | } |
duke@435 | 501 | |
jrose@1957 | 502 | |
jrose@1957 | 503 | //------------------------------------------------------------------ |
jrose@1957 | 504 | // ciObjectFactory::get_unloaded_instance |
jrose@1957 | 505 | // |
jrose@1957 | 506 | // Get a ciInstance representing an as-yet undetermined instance of a given class. |
jrose@1957 | 507 | // |
jrose@1957 | 508 | ciInstance* ciObjectFactory::get_unloaded_instance(ciInstanceKlass* instance_klass) { |
jrose@1957 | 509 | for (int i=0; i<_unloaded_instances->length(); i++) { |
jrose@1957 | 510 | ciInstance* entry = _unloaded_instances->at(i); |
jrose@1957 | 511 | if (entry->klass()->equals(instance_klass)) { |
jrose@1957 | 512 | // We've found a match. |
jrose@1957 | 513 | return entry; |
jrose@1957 | 514 | } |
jrose@1957 | 515 | } |
jrose@1957 | 516 | |
jrose@1957 | 517 | // This is a new unloaded instance. Create it and stick it in |
jrose@1957 | 518 | // the cache. |
jrose@1957 | 519 | ciInstance* new_instance = new (arena()) ciInstance(instance_klass); |
jrose@1957 | 520 | |
jrose@1957 | 521 | init_ident_of(new_instance); |
jrose@1957 | 522 | _unloaded_instances->append(new_instance); |
jrose@1957 | 523 | |
jrose@1957 | 524 | // make sure it looks the way we want: |
jrose@1957 | 525 | assert(!new_instance->is_loaded(), ""); |
jrose@1957 | 526 | assert(new_instance->klass() == instance_klass, ""); |
jrose@1957 | 527 | |
jrose@1957 | 528 | return new_instance; |
jrose@1957 | 529 | } |
jrose@1957 | 530 | |
jrose@1957 | 531 | |
jrose@1957 | 532 | //------------------------------------------------------------------ |
jrose@1957 | 533 | // ciObjectFactory::get_unloaded_klass_mirror |
jrose@1957 | 534 | // |
jrose@1957 | 535 | // Get a ciInstance representing an unresolved klass mirror. |
jrose@1957 | 536 | // |
jrose@1957 | 537 | // Currently, this ignores the parameters and returns a unique unloaded instance. |
jrose@1957 | 538 | ciInstance* ciObjectFactory::get_unloaded_klass_mirror(ciKlass* type) { |
jrose@1957 | 539 | assert(ciEnv::_Class_klass != NULL, ""); |
jrose@1957 | 540 | return get_unloaded_instance(ciEnv::_Class_klass->as_instance_klass()); |
jrose@1957 | 541 | } |
jrose@1957 | 542 | |
jrose@1957 | 543 | //------------------------------------------------------------------ |
jrose@1957 | 544 | // ciObjectFactory::get_unloaded_method_handle_constant |
jrose@1957 | 545 | // |
jrose@1957 | 546 | // Get a ciInstance representing an unresolved method handle constant. |
jrose@1957 | 547 | // |
jrose@1957 | 548 | // Currently, this ignores the parameters and returns a unique unloaded instance. |
jrose@1957 | 549 | ciInstance* ciObjectFactory::get_unloaded_method_handle_constant(ciKlass* holder, |
jrose@1957 | 550 | ciSymbol* name, |
jrose@1957 | 551 | ciSymbol* signature, |
jrose@1957 | 552 | int ref_kind) { |
jrose@1957 | 553 | if (ciEnv::_MethodHandle_klass == NULL) return NULL; |
jrose@1957 | 554 | return get_unloaded_instance(ciEnv::_MethodHandle_klass->as_instance_klass()); |
jrose@1957 | 555 | } |
jrose@1957 | 556 | |
jrose@1957 | 557 | //------------------------------------------------------------------ |
jrose@1957 | 558 | // ciObjectFactory::get_unloaded_method_type_constant |
jrose@1957 | 559 | // |
jrose@1957 | 560 | // Get a ciInstance representing an unresolved method type constant. |
jrose@1957 | 561 | // |
jrose@1957 | 562 | // Currently, this ignores the parameters and returns a unique unloaded instance. |
jrose@1957 | 563 | ciInstance* ciObjectFactory::get_unloaded_method_type_constant(ciSymbol* signature) { |
jrose@1957 | 564 | if (ciEnv::_MethodType_klass == NULL) return NULL; |
jrose@1957 | 565 | return get_unloaded_instance(ciEnv::_MethodType_klass->as_instance_klass()); |
jrose@1957 | 566 | } |
jrose@1957 | 567 | |
jrose@1957 | 568 | |
jrose@1957 | 569 | |
duke@435 | 570 | //------------------------------------------------------------------ |
duke@435 | 571 | // ciObjectFactory::get_empty_methodData |
duke@435 | 572 | // |
duke@435 | 573 | // Get the ciMethodData representing the methodData for a method with |
duke@435 | 574 | // none. |
duke@435 | 575 | ciMethodData* ciObjectFactory::get_empty_methodData() { |
duke@435 | 576 | ciMethodData* new_methodData = new (arena()) ciMethodData(); |
duke@435 | 577 | init_ident_of(new_methodData); |
duke@435 | 578 | return new_methodData; |
duke@435 | 579 | } |
duke@435 | 580 | |
duke@435 | 581 | //------------------------------------------------------------------ |
duke@435 | 582 | // ciObjectFactory::get_return_address |
duke@435 | 583 | // |
duke@435 | 584 | // Get a ciReturnAddress for a specified bci. |
duke@435 | 585 | ciReturnAddress* ciObjectFactory::get_return_address(int bci) { |
duke@435 | 586 | for (int i=0; i<_return_addresses->length(); i++) { |
duke@435 | 587 | ciReturnAddress* entry = _return_addresses->at(i); |
duke@435 | 588 | if (entry->bci() == bci) { |
duke@435 | 589 | // We've found a match. |
duke@435 | 590 | return entry; |
duke@435 | 591 | } |
duke@435 | 592 | } |
duke@435 | 593 | |
duke@435 | 594 | ciReturnAddress* new_ret_addr = new (arena()) ciReturnAddress(bci); |
duke@435 | 595 | init_ident_of(new_ret_addr); |
duke@435 | 596 | _return_addresses->append(new_ret_addr); |
duke@435 | 597 | return new_ret_addr; |
duke@435 | 598 | } |
duke@435 | 599 | |
duke@435 | 600 | // ------------------------------------------------------------------ |
duke@435 | 601 | // ciObjectFactory::init_ident_of |
coleenp@4037 | 602 | void ciObjectFactory::init_ident_of(ciBaseObject* obj) { |
duke@435 | 603 | obj->set_ident(_next_ident++); |
duke@435 | 604 | } |
duke@435 | 605 | |
duke@435 | 606 | // ------------------------------------------------------------------ |
duke@435 | 607 | // ciObjectFactory::find |
duke@435 | 608 | // |
duke@435 | 609 | // Use binary search to find the position of this oop in the cache. |
duke@435 | 610 | // If there is no entry in the cache corresponding to this oop, return |
duke@435 | 611 | // the position at which the oop should be inserted. |
coleenp@4037 | 612 | int ciObjectFactory::find(Metadata* key, GrowableArray<ciMetadata*>* objects) { |
duke@435 | 613 | int min = 0; |
duke@435 | 614 | int max = objects->length()-1; |
duke@435 | 615 | |
duke@435 | 616 | // print_contents(); |
duke@435 | 617 | |
duke@435 | 618 | while (max >= min) { |
duke@435 | 619 | int mid = (max + min) / 2; |
coleenp@4037 | 620 | Metadata* value = objects->at(mid)->constant_encoding(); |
duke@435 | 621 | if (value < key) { |
duke@435 | 622 | min = mid + 1; |
duke@435 | 623 | } else if (value > key) { |
duke@435 | 624 | max = mid - 1; |
duke@435 | 625 | } else { |
duke@435 | 626 | return mid; |
duke@435 | 627 | } |
duke@435 | 628 | } |
duke@435 | 629 | return min; |
duke@435 | 630 | } |
duke@435 | 631 | |
duke@435 | 632 | // ------------------------------------------------------------------ |
duke@435 | 633 | // ciObjectFactory::is_found_at |
duke@435 | 634 | // |
duke@435 | 635 | // Verify that the binary seach found the given key. |
coleenp@4037 | 636 | bool ciObjectFactory::is_found_at(int index, Metadata* key, GrowableArray<ciMetadata*>* objects) { |
duke@435 | 637 | return (index < objects->length() && |
coleenp@4037 | 638 | objects->at(index)->constant_encoding() == key); |
duke@435 | 639 | } |
duke@435 | 640 | |
duke@435 | 641 | |
duke@435 | 642 | // ------------------------------------------------------------------ |
duke@435 | 643 | // ciObjectFactory::insert |
duke@435 | 644 | // |
duke@435 | 645 | // Insert a ciObject into the table at some index. |
coleenp@4037 | 646 | void ciObjectFactory::insert(int index, ciMetadata* obj, GrowableArray<ciMetadata*>* objects) { |
duke@435 | 647 | int len = objects->length(); |
duke@435 | 648 | if (len == index) { |
duke@435 | 649 | objects->append(obj); |
duke@435 | 650 | } else { |
duke@435 | 651 | objects->append(objects->at(len-1)); |
duke@435 | 652 | int pos; |
duke@435 | 653 | for (pos = len-2; pos >= index; pos--) { |
duke@435 | 654 | objects->at_put(pos+1,objects->at(pos)); |
duke@435 | 655 | } |
duke@435 | 656 | objects->at_put(index, obj); |
duke@435 | 657 | } |
duke@435 | 658 | } |
duke@435 | 659 | |
duke@435 | 660 | static ciObjectFactory::NonPermObject* emptyBucket = NULL; |
duke@435 | 661 | |
duke@435 | 662 | // ------------------------------------------------------------------ |
duke@435 | 663 | // ciObjectFactory::find_non_perm |
duke@435 | 664 | // |
duke@435 | 665 | // Use a small hash table, hashed on the klass of the key. |
duke@435 | 666 | // If there is no entry in the cache corresponding to this oop, return |
duke@435 | 667 | // the null tail of the bucket into which the oop should be inserted. |
duke@435 | 668 | ciObjectFactory::NonPermObject* &ciObjectFactory::find_non_perm(oop key) { |
coleenp@4037 | 669 | assert(Universe::heap()->is_in_reserved_or_null(key), "must be"); |
coleenp@4037 | 670 | ciMetadata* klass = get_metadata(key->klass()); |
duke@435 | 671 | NonPermObject* *bp = &_non_perm_bucket[(unsigned) klass->hash() % NON_PERM_BUCKETS]; |
duke@435 | 672 | for (NonPermObject* p; (p = (*bp)) != NULL; bp = &p->next()) { |
duke@435 | 673 | if (is_equal(p, key)) break; |
duke@435 | 674 | } |
duke@435 | 675 | return (*bp); |
duke@435 | 676 | } |
duke@435 | 677 | |
duke@435 | 678 | |
duke@435 | 679 | |
duke@435 | 680 | // ------------------------------------------------------------------ |
duke@435 | 681 | // Code for for NonPermObject |
duke@435 | 682 | // |
duke@435 | 683 | inline ciObjectFactory::NonPermObject::NonPermObject(ciObjectFactory::NonPermObject* &bucket, oop key, ciObject* object) { |
duke@435 | 684 | assert(ciObjectFactory::is_initialized(), ""); |
duke@435 | 685 | _object = object; |
duke@435 | 686 | _next = bucket; |
duke@435 | 687 | bucket = this; |
duke@435 | 688 | } |
duke@435 | 689 | |
duke@435 | 690 | |
duke@435 | 691 | |
duke@435 | 692 | // ------------------------------------------------------------------ |
duke@435 | 693 | // ciObjectFactory::insert_non_perm |
duke@435 | 694 | // |
duke@435 | 695 | // Insert a ciObject into the non-perm table. |
duke@435 | 696 | void ciObjectFactory::insert_non_perm(ciObjectFactory::NonPermObject* &where, oop key, ciObject* obj) { |
coleenp@4037 | 697 | assert(Universe::heap()->is_in_reserved_or_null(key), "must be"); |
duke@435 | 698 | assert(&where != &emptyBucket, "must not try to fill empty bucket"); |
duke@435 | 699 | NonPermObject* p = new (arena()) NonPermObject(where, key, obj); |
duke@435 | 700 | assert(where == p && is_equal(p, key) && p->object() == obj, "entry must match"); |
duke@435 | 701 | assert(find_non_perm(key) == p, "must find the same spot"); |
duke@435 | 702 | ++_non_perm_count; |
duke@435 | 703 | } |
duke@435 | 704 | |
duke@435 | 705 | // ------------------------------------------------------------------ |
duke@435 | 706 | // ciObjectFactory::vm_symbol_at |
duke@435 | 707 | // Get the ciSymbol corresponding to some index in vmSymbols. |
duke@435 | 708 | ciSymbol* ciObjectFactory::vm_symbol_at(int index) { |
duke@435 | 709 | assert(index >= vmSymbols::FIRST_SID && index < vmSymbols::SID_LIMIT, "oob"); |
duke@435 | 710 | return _shared_ci_symbols[index]; |
duke@435 | 711 | } |
duke@435 | 712 | |
duke@435 | 713 | // ------------------------------------------------------------------ |
coleenp@4037 | 714 | // ciObjectFactory::metadata_do |
coleenp@4037 | 715 | void ciObjectFactory::metadata_do(void f(Metadata*)) { |
coleenp@4037 | 716 | if (_ci_metadata == NULL) return; |
coleenp@4037 | 717 | for (int j = 0; j< _ci_metadata->length(); j++) { |
coleenp@4037 | 718 | Metadata* o = _ci_metadata->at(j)->constant_encoding(); |
coleenp@4037 | 719 | f(o); |
coleenp@4037 | 720 | } |
coleenp@4037 | 721 | } |
coleenp@4037 | 722 | |
coleenp@4037 | 723 | // ------------------------------------------------------------------ |
duke@435 | 724 | // ciObjectFactory::print_contents_impl |
duke@435 | 725 | void ciObjectFactory::print_contents_impl() { |
coleenp@4037 | 726 | int len = _ci_metadata->length(); |
coleenp@4037 | 727 | tty->print_cr("ciObjectFactory (%d) meta data contents:", len); |
duke@435 | 728 | for (int i=0; i<len; i++) { |
coleenp@4037 | 729 | _ci_metadata->at(i)->print(); |
duke@435 | 730 | tty->cr(); |
duke@435 | 731 | } |
duke@435 | 732 | } |
duke@435 | 733 | |
duke@435 | 734 | // ------------------------------------------------------------------ |
duke@435 | 735 | // ciObjectFactory::print_contents |
duke@435 | 736 | void ciObjectFactory::print_contents() { |
duke@435 | 737 | print(); |
duke@435 | 738 | tty->cr(); |
duke@435 | 739 | GUARDED_VM_ENTRY(print_contents_impl();) |
duke@435 | 740 | } |
duke@435 | 741 | |
duke@435 | 742 | // ------------------------------------------------------------------ |
duke@435 | 743 | // ciObjectFactory::print |
duke@435 | 744 | // |
duke@435 | 745 | // Print debugging information about the object factory |
duke@435 | 746 | void ciObjectFactory::print() { |
coleenp@4037 | 747 | tty->print("<ciObjectFactory oops=%d metadata=%d unloaded_methods=%d unloaded_instances=%d unloaded_klasses=%d>", |
coleenp@4037 | 748 | _non_perm_count, _ci_metadata->length(), _unloaded_methods->length(), |
jrose@1957 | 749 | _unloaded_instances->length(), |
duke@435 | 750 | _unloaded_klasses->length()); |
duke@435 | 751 | } |