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