Thu, 12 Jun 2008 13:50:55 -0700
Merge
duke@435 | 1 | /* |
duke@435 | 2 | * Copyright 1997-2007 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/_universe.cpp.incl" |
duke@435 | 27 | |
duke@435 | 28 | // Known objects |
duke@435 | 29 | klassOop Universe::_boolArrayKlassObj = NULL; |
duke@435 | 30 | klassOop Universe::_byteArrayKlassObj = NULL; |
duke@435 | 31 | klassOop Universe::_charArrayKlassObj = NULL; |
duke@435 | 32 | klassOop Universe::_intArrayKlassObj = NULL; |
duke@435 | 33 | klassOop Universe::_shortArrayKlassObj = NULL; |
duke@435 | 34 | klassOop Universe::_longArrayKlassObj = NULL; |
duke@435 | 35 | klassOop Universe::_singleArrayKlassObj = NULL; |
duke@435 | 36 | klassOop Universe::_doubleArrayKlassObj = NULL; |
duke@435 | 37 | klassOop Universe::_typeArrayKlassObjs[T_VOID+1] = { NULL /*, NULL...*/ }; |
duke@435 | 38 | klassOop Universe::_objectArrayKlassObj = NULL; |
duke@435 | 39 | klassOop Universe::_symbolKlassObj = NULL; |
duke@435 | 40 | klassOop Universe::_methodKlassObj = NULL; |
duke@435 | 41 | klassOop Universe::_constMethodKlassObj = NULL; |
duke@435 | 42 | klassOop Universe::_methodDataKlassObj = NULL; |
duke@435 | 43 | klassOop Universe::_klassKlassObj = NULL; |
duke@435 | 44 | klassOop Universe::_arrayKlassKlassObj = NULL; |
duke@435 | 45 | klassOop Universe::_objArrayKlassKlassObj = NULL; |
duke@435 | 46 | klassOop Universe::_typeArrayKlassKlassObj = NULL; |
duke@435 | 47 | klassOop Universe::_instanceKlassKlassObj = NULL; |
duke@435 | 48 | klassOop Universe::_constantPoolKlassObj = NULL; |
duke@435 | 49 | klassOop Universe::_constantPoolCacheKlassObj = NULL; |
duke@435 | 50 | klassOop Universe::_compiledICHolderKlassObj = NULL; |
duke@435 | 51 | klassOop Universe::_systemObjArrayKlassObj = NULL; |
duke@435 | 52 | oop Universe::_int_mirror = NULL; |
duke@435 | 53 | oop Universe::_float_mirror = NULL; |
duke@435 | 54 | oop Universe::_double_mirror = NULL; |
duke@435 | 55 | oop Universe::_byte_mirror = NULL; |
duke@435 | 56 | oop Universe::_bool_mirror = NULL; |
duke@435 | 57 | oop Universe::_char_mirror = NULL; |
duke@435 | 58 | oop Universe::_long_mirror = NULL; |
duke@435 | 59 | oop Universe::_short_mirror = NULL; |
duke@435 | 60 | oop Universe::_void_mirror = NULL; |
duke@435 | 61 | oop Universe::_mirrors[T_VOID+1] = { NULL /*, NULL...*/ }; |
duke@435 | 62 | oop Universe::_main_thread_group = NULL; |
duke@435 | 63 | oop Universe::_system_thread_group = NULL; |
duke@435 | 64 | typeArrayOop Universe::_the_empty_byte_array = NULL; |
duke@435 | 65 | typeArrayOop Universe::_the_empty_short_array = NULL; |
duke@435 | 66 | typeArrayOop Universe::_the_empty_int_array = NULL; |
duke@435 | 67 | objArrayOop Universe::_the_empty_system_obj_array = NULL; |
duke@435 | 68 | objArrayOop Universe::_the_empty_class_klass_array = NULL; |
duke@435 | 69 | objArrayOop Universe::_the_array_interfaces_array = NULL; |
duke@435 | 70 | LatestMethodOopCache* Universe::_finalizer_register_cache = NULL; |
duke@435 | 71 | LatestMethodOopCache* Universe::_loader_addClass_cache = NULL; |
duke@435 | 72 | ActiveMethodOopsCache* Universe::_reflect_invoke_cache = NULL; |
duke@435 | 73 | oop Universe::_out_of_memory_error_java_heap = NULL; |
duke@435 | 74 | oop Universe::_out_of_memory_error_perm_gen = NULL; |
duke@435 | 75 | oop Universe::_out_of_memory_error_array_size = NULL; |
duke@435 | 76 | oop Universe::_out_of_memory_error_gc_overhead_limit = NULL; |
duke@435 | 77 | objArrayOop Universe::_preallocated_out_of_memory_error_array = NULL; |
duke@435 | 78 | volatile jint Universe::_preallocated_out_of_memory_error_avail_count = 0; |
duke@435 | 79 | bool Universe::_verify_in_progress = false; |
duke@435 | 80 | oop Universe::_null_ptr_exception_instance = NULL; |
duke@435 | 81 | oop Universe::_arithmetic_exception_instance = NULL; |
duke@435 | 82 | oop Universe::_virtual_machine_error_instance = NULL; |
duke@435 | 83 | oop Universe::_vm_exception = NULL; |
duke@435 | 84 | oop Universe::_emptySymbol = NULL; |
duke@435 | 85 | |
duke@435 | 86 | // These variables are guarded by FullGCALot_lock. |
duke@435 | 87 | debug_only(objArrayOop Universe::_fullgc_alot_dummy_array = NULL;) |
duke@435 | 88 | debug_only(int Universe::_fullgc_alot_dummy_next = 0;) |
duke@435 | 89 | |
duke@435 | 90 | |
duke@435 | 91 | // Heap |
duke@435 | 92 | int Universe::_verify_count = 0; |
duke@435 | 93 | |
duke@435 | 94 | int Universe::_base_vtable_size = 0; |
duke@435 | 95 | bool Universe::_bootstrapping = false; |
duke@435 | 96 | bool Universe::_fully_initialized = false; |
duke@435 | 97 | |
duke@435 | 98 | size_t Universe::_heap_capacity_at_last_gc; |
duke@435 | 99 | size_t Universe::_heap_used_at_last_gc; |
duke@435 | 100 | |
duke@435 | 101 | CollectedHeap* Universe::_collectedHeap = NULL; |
coleenp@548 | 102 | address Universe::_heap_base = NULL; |
duke@435 | 103 | |
duke@435 | 104 | |
duke@435 | 105 | void Universe::basic_type_classes_do(void f(klassOop)) { |
duke@435 | 106 | f(boolArrayKlassObj()); |
duke@435 | 107 | f(byteArrayKlassObj()); |
duke@435 | 108 | f(charArrayKlassObj()); |
duke@435 | 109 | f(intArrayKlassObj()); |
duke@435 | 110 | f(shortArrayKlassObj()); |
duke@435 | 111 | f(longArrayKlassObj()); |
duke@435 | 112 | f(singleArrayKlassObj()); |
duke@435 | 113 | f(doubleArrayKlassObj()); |
duke@435 | 114 | } |
duke@435 | 115 | |
duke@435 | 116 | |
duke@435 | 117 | void Universe::system_classes_do(void f(klassOop)) { |
duke@435 | 118 | f(symbolKlassObj()); |
duke@435 | 119 | f(methodKlassObj()); |
duke@435 | 120 | f(constMethodKlassObj()); |
duke@435 | 121 | f(methodDataKlassObj()); |
duke@435 | 122 | f(klassKlassObj()); |
duke@435 | 123 | f(arrayKlassKlassObj()); |
duke@435 | 124 | f(objArrayKlassKlassObj()); |
duke@435 | 125 | f(typeArrayKlassKlassObj()); |
duke@435 | 126 | f(instanceKlassKlassObj()); |
duke@435 | 127 | f(constantPoolKlassObj()); |
duke@435 | 128 | f(systemObjArrayKlassObj()); |
duke@435 | 129 | } |
duke@435 | 130 | |
duke@435 | 131 | void Universe::oops_do(OopClosure* f, bool do_all) { |
duke@435 | 132 | |
duke@435 | 133 | f->do_oop((oop*) &_int_mirror); |
duke@435 | 134 | f->do_oop((oop*) &_float_mirror); |
duke@435 | 135 | f->do_oop((oop*) &_double_mirror); |
duke@435 | 136 | f->do_oop((oop*) &_byte_mirror); |
duke@435 | 137 | f->do_oop((oop*) &_bool_mirror); |
duke@435 | 138 | f->do_oop((oop*) &_char_mirror); |
duke@435 | 139 | f->do_oop((oop*) &_long_mirror); |
duke@435 | 140 | f->do_oop((oop*) &_short_mirror); |
duke@435 | 141 | f->do_oop((oop*) &_void_mirror); |
duke@435 | 142 | |
duke@435 | 143 | // It's important to iterate over these guys even if they are null, |
duke@435 | 144 | // since that's how shared heaps are restored. |
duke@435 | 145 | for (int i = T_BOOLEAN; i < T_VOID+1; i++) { |
duke@435 | 146 | f->do_oop((oop*) &_mirrors[i]); |
duke@435 | 147 | } |
duke@435 | 148 | assert(_mirrors[0] == NULL && _mirrors[T_BOOLEAN - 1] == NULL, "checking"); |
duke@435 | 149 | |
duke@435 | 150 | // %%% Consider moving those "shared oops" over here with the others. |
duke@435 | 151 | f->do_oop((oop*)&_boolArrayKlassObj); |
duke@435 | 152 | f->do_oop((oop*)&_byteArrayKlassObj); |
duke@435 | 153 | f->do_oop((oop*)&_charArrayKlassObj); |
duke@435 | 154 | f->do_oop((oop*)&_intArrayKlassObj); |
duke@435 | 155 | f->do_oop((oop*)&_shortArrayKlassObj); |
duke@435 | 156 | f->do_oop((oop*)&_longArrayKlassObj); |
duke@435 | 157 | f->do_oop((oop*)&_singleArrayKlassObj); |
duke@435 | 158 | f->do_oop((oop*)&_doubleArrayKlassObj); |
duke@435 | 159 | f->do_oop((oop*)&_objectArrayKlassObj); |
duke@435 | 160 | { |
duke@435 | 161 | for (int i = 0; i < T_VOID+1; i++) { |
duke@435 | 162 | if (_typeArrayKlassObjs[i] != NULL) { |
duke@435 | 163 | assert(i >= T_BOOLEAN, "checking"); |
duke@435 | 164 | f->do_oop((oop*)&_typeArrayKlassObjs[i]); |
duke@435 | 165 | } else if (do_all) { |
duke@435 | 166 | f->do_oop((oop*)&_typeArrayKlassObjs[i]); |
duke@435 | 167 | } |
duke@435 | 168 | } |
duke@435 | 169 | } |
duke@435 | 170 | f->do_oop((oop*)&_symbolKlassObj); |
duke@435 | 171 | f->do_oop((oop*)&_methodKlassObj); |
duke@435 | 172 | f->do_oop((oop*)&_constMethodKlassObj); |
duke@435 | 173 | f->do_oop((oop*)&_methodDataKlassObj); |
duke@435 | 174 | f->do_oop((oop*)&_klassKlassObj); |
duke@435 | 175 | f->do_oop((oop*)&_arrayKlassKlassObj); |
duke@435 | 176 | f->do_oop((oop*)&_objArrayKlassKlassObj); |
duke@435 | 177 | f->do_oop((oop*)&_typeArrayKlassKlassObj); |
duke@435 | 178 | f->do_oop((oop*)&_instanceKlassKlassObj); |
duke@435 | 179 | f->do_oop((oop*)&_constantPoolKlassObj); |
duke@435 | 180 | f->do_oop((oop*)&_constantPoolCacheKlassObj); |
duke@435 | 181 | f->do_oop((oop*)&_compiledICHolderKlassObj); |
duke@435 | 182 | f->do_oop((oop*)&_systemObjArrayKlassObj); |
duke@435 | 183 | f->do_oop((oop*)&_the_empty_byte_array); |
duke@435 | 184 | f->do_oop((oop*)&_the_empty_short_array); |
duke@435 | 185 | f->do_oop((oop*)&_the_empty_int_array); |
duke@435 | 186 | f->do_oop((oop*)&_the_empty_system_obj_array); |
duke@435 | 187 | f->do_oop((oop*)&_the_empty_class_klass_array); |
duke@435 | 188 | f->do_oop((oop*)&_the_array_interfaces_array); |
duke@435 | 189 | _finalizer_register_cache->oops_do(f); |
duke@435 | 190 | _loader_addClass_cache->oops_do(f); |
duke@435 | 191 | _reflect_invoke_cache->oops_do(f); |
duke@435 | 192 | f->do_oop((oop*)&_out_of_memory_error_java_heap); |
duke@435 | 193 | f->do_oop((oop*)&_out_of_memory_error_perm_gen); |
duke@435 | 194 | f->do_oop((oop*)&_out_of_memory_error_array_size); |
duke@435 | 195 | f->do_oop((oop*)&_out_of_memory_error_gc_overhead_limit); |
duke@435 | 196 | if (_preallocated_out_of_memory_error_array != (oop)NULL) { // NULL when DumpSharedSpaces |
duke@435 | 197 | f->do_oop((oop*)&_preallocated_out_of_memory_error_array); |
duke@435 | 198 | } |
duke@435 | 199 | f->do_oop((oop*)&_null_ptr_exception_instance); |
duke@435 | 200 | f->do_oop((oop*)&_arithmetic_exception_instance); |
duke@435 | 201 | f->do_oop((oop*)&_virtual_machine_error_instance); |
duke@435 | 202 | f->do_oop((oop*)&_main_thread_group); |
duke@435 | 203 | f->do_oop((oop*)&_system_thread_group); |
duke@435 | 204 | f->do_oop((oop*)&_vm_exception); |
duke@435 | 205 | f->do_oop((oop*)&_emptySymbol); |
duke@435 | 206 | debug_only(f->do_oop((oop*)&_fullgc_alot_dummy_array);) |
duke@435 | 207 | } |
duke@435 | 208 | |
duke@435 | 209 | |
duke@435 | 210 | void Universe::check_alignment(uintx size, uintx alignment, const char* name) { |
duke@435 | 211 | if (size < alignment || size % alignment != 0) { |
duke@435 | 212 | ResourceMark rm; |
duke@435 | 213 | stringStream st; |
duke@435 | 214 | st.print("Size of %s (%ld bytes) must be aligned to %ld bytes", name, size, alignment); |
duke@435 | 215 | char* error = st.as_string(); |
duke@435 | 216 | vm_exit_during_initialization(error); |
duke@435 | 217 | } |
duke@435 | 218 | } |
duke@435 | 219 | |
duke@435 | 220 | |
duke@435 | 221 | void Universe::genesis(TRAPS) { |
duke@435 | 222 | ResourceMark rm; |
duke@435 | 223 | { FlagSetting fs(_bootstrapping, true); |
duke@435 | 224 | |
duke@435 | 225 | { MutexLocker mc(Compile_lock); |
duke@435 | 226 | |
duke@435 | 227 | // determine base vtable size; without that we cannot create the array klasses |
duke@435 | 228 | compute_base_vtable_size(); |
duke@435 | 229 | |
duke@435 | 230 | if (!UseSharedSpaces) { |
duke@435 | 231 | _klassKlassObj = klassKlass::create_klass(CHECK); |
duke@435 | 232 | _arrayKlassKlassObj = arrayKlassKlass::create_klass(CHECK); |
duke@435 | 233 | |
duke@435 | 234 | _objArrayKlassKlassObj = objArrayKlassKlass::create_klass(CHECK); |
duke@435 | 235 | _instanceKlassKlassObj = instanceKlassKlass::create_klass(CHECK); |
duke@435 | 236 | _typeArrayKlassKlassObj = typeArrayKlassKlass::create_klass(CHECK); |
duke@435 | 237 | |
duke@435 | 238 | _symbolKlassObj = symbolKlass::create_klass(CHECK); |
duke@435 | 239 | |
duke@435 | 240 | _emptySymbol = oopFactory::new_symbol("", CHECK); |
duke@435 | 241 | |
duke@435 | 242 | _boolArrayKlassObj = typeArrayKlass::create_klass(T_BOOLEAN, sizeof(jboolean), CHECK); |
duke@435 | 243 | _charArrayKlassObj = typeArrayKlass::create_klass(T_CHAR, sizeof(jchar), CHECK); |
duke@435 | 244 | _singleArrayKlassObj = typeArrayKlass::create_klass(T_FLOAT, sizeof(jfloat), CHECK); |
duke@435 | 245 | _doubleArrayKlassObj = typeArrayKlass::create_klass(T_DOUBLE, sizeof(jdouble), CHECK); |
duke@435 | 246 | _byteArrayKlassObj = typeArrayKlass::create_klass(T_BYTE, sizeof(jbyte), CHECK); |
duke@435 | 247 | _shortArrayKlassObj = typeArrayKlass::create_klass(T_SHORT, sizeof(jshort), CHECK); |
duke@435 | 248 | _intArrayKlassObj = typeArrayKlass::create_klass(T_INT, sizeof(jint), CHECK); |
duke@435 | 249 | _longArrayKlassObj = typeArrayKlass::create_klass(T_LONG, sizeof(jlong), CHECK); |
duke@435 | 250 | |
duke@435 | 251 | _typeArrayKlassObjs[T_BOOLEAN] = _boolArrayKlassObj; |
duke@435 | 252 | _typeArrayKlassObjs[T_CHAR] = _charArrayKlassObj; |
duke@435 | 253 | _typeArrayKlassObjs[T_FLOAT] = _singleArrayKlassObj; |
duke@435 | 254 | _typeArrayKlassObjs[T_DOUBLE] = _doubleArrayKlassObj; |
duke@435 | 255 | _typeArrayKlassObjs[T_BYTE] = _byteArrayKlassObj; |
duke@435 | 256 | _typeArrayKlassObjs[T_SHORT] = _shortArrayKlassObj; |
duke@435 | 257 | _typeArrayKlassObjs[T_INT] = _intArrayKlassObj; |
duke@435 | 258 | _typeArrayKlassObjs[T_LONG] = _longArrayKlassObj; |
duke@435 | 259 | |
duke@435 | 260 | _methodKlassObj = methodKlass::create_klass(CHECK); |
duke@435 | 261 | _constMethodKlassObj = constMethodKlass::create_klass(CHECK); |
duke@435 | 262 | _methodDataKlassObj = methodDataKlass::create_klass(CHECK); |
duke@435 | 263 | _constantPoolKlassObj = constantPoolKlass::create_klass(CHECK); |
duke@435 | 264 | _constantPoolCacheKlassObj = constantPoolCacheKlass::create_klass(CHECK); |
duke@435 | 265 | |
duke@435 | 266 | _compiledICHolderKlassObj = compiledICHolderKlass::create_klass(CHECK); |
duke@435 | 267 | _systemObjArrayKlassObj = objArrayKlassKlass::cast(objArrayKlassKlassObj())->allocate_system_objArray_klass(CHECK); |
duke@435 | 268 | |
duke@435 | 269 | _the_empty_byte_array = oopFactory::new_permanent_byteArray(0, CHECK); |
duke@435 | 270 | _the_empty_short_array = oopFactory::new_permanent_shortArray(0, CHECK); |
duke@435 | 271 | _the_empty_int_array = oopFactory::new_permanent_intArray(0, CHECK); |
duke@435 | 272 | _the_empty_system_obj_array = oopFactory::new_system_objArray(0, CHECK); |
duke@435 | 273 | |
duke@435 | 274 | _the_array_interfaces_array = oopFactory::new_system_objArray(2, CHECK); |
duke@435 | 275 | _vm_exception = oopFactory::new_symbol("vm exception holder", CHECK); |
duke@435 | 276 | } else { |
duke@435 | 277 | |
duke@435 | 278 | FileMapInfo *mapinfo = FileMapInfo::current_info(); |
duke@435 | 279 | char* buffer = mapinfo->region_base(CompactingPermGenGen::md); |
duke@435 | 280 | void** vtbl_list = (void**)buffer; |
duke@435 | 281 | init_self_patching_vtbl_list(vtbl_list, |
duke@435 | 282 | CompactingPermGenGen::vtbl_list_size); |
duke@435 | 283 | } |
duke@435 | 284 | } |
duke@435 | 285 | |
duke@435 | 286 | vmSymbols::initialize(CHECK); |
duke@435 | 287 | |
duke@435 | 288 | SystemDictionary::initialize(CHECK); |
duke@435 | 289 | |
duke@435 | 290 | klassOop ok = SystemDictionary::object_klass(); |
duke@435 | 291 | |
duke@435 | 292 | if (UseSharedSpaces) { |
duke@435 | 293 | // Verify shared interfaces array. |
duke@435 | 294 | assert(_the_array_interfaces_array->obj_at(0) == |
duke@435 | 295 | SystemDictionary::cloneable_klass(), "u3"); |
duke@435 | 296 | assert(_the_array_interfaces_array->obj_at(1) == |
duke@435 | 297 | SystemDictionary::serializable_klass(), "u3"); |
duke@435 | 298 | |
duke@435 | 299 | // Verify element klass for system obj array klass |
duke@435 | 300 | assert(objArrayKlass::cast(_systemObjArrayKlassObj)->element_klass() == ok, "u1"); |
duke@435 | 301 | assert(objArrayKlass::cast(_systemObjArrayKlassObj)->bottom_klass() == ok, "u2"); |
duke@435 | 302 | |
duke@435 | 303 | // Verify super class for the classes created above |
duke@435 | 304 | assert(Klass::cast(boolArrayKlassObj() )->super() == ok, "u3"); |
duke@435 | 305 | assert(Klass::cast(charArrayKlassObj() )->super() == ok, "u3"); |
duke@435 | 306 | assert(Klass::cast(singleArrayKlassObj() )->super() == ok, "u3"); |
duke@435 | 307 | assert(Klass::cast(doubleArrayKlassObj() )->super() == ok, "u3"); |
duke@435 | 308 | assert(Klass::cast(byteArrayKlassObj() )->super() == ok, "u3"); |
duke@435 | 309 | assert(Klass::cast(shortArrayKlassObj() )->super() == ok, "u3"); |
duke@435 | 310 | assert(Klass::cast(intArrayKlassObj() )->super() == ok, "u3"); |
duke@435 | 311 | assert(Klass::cast(longArrayKlassObj() )->super() == ok, "u3"); |
duke@435 | 312 | assert(Klass::cast(constantPoolKlassObj() )->super() == ok, "u3"); |
duke@435 | 313 | assert(Klass::cast(systemObjArrayKlassObj())->super() == ok, "u3"); |
duke@435 | 314 | } else { |
duke@435 | 315 | // Set up shared interfaces array. (Do this before supers are set up.) |
duke@435 | 316 | _the_array_interfaces_array->obj_at_put(0, SystemDictionary::cloneable_klass()); |
duke@435 | 317 | _the_array_interfaces_array->obj_at_put(1, SystemDictionary::serializable_klass()); |
duke@435 | 318 | |
duke@435 | 319 | // Set element klass for system obj array klass |
duke@435 | 320 | objArrayKlass::cast(_systemObjArrayKlassObj)->set_element_klass(ok); |
duke@435 | 321 | objArrayKlass::cast(_systemObjArrayKlassObj)->set_bottom_klass(ok); |
duke@435 | 322 | |
duke@435 | 323 | // Set super class for the classes created above |
duke@435 | 324 | Klass::cast(boolArrayKlassObj() )->initialize_supers(ok, CHECK); |
duke@435 | 325 | Klass::cast(charArrayKlassObj() )->initialize_supers(ok, CHECK); |
duke@435 | 326 | Klass::cast(singleArrayKlassObj() )->initialize_supers(ok, CHECK); |
duke@435 | 327 | Klass::cast(doubleArrayKlassObj() )->initialize_supers(ok, CHECK); |
duke@435 | 328 | Klass::cast(byteArrayKlassObj() )->initialize_supers(ok, CHECK); |
duke@435 | 329 | Klass::cast(shortArrayKlassObj() )->initialize_supers(ok, CHECK); |
duke@435 | 330 | Klass::cast(intArrayKlassObj() )->initialize_supers(ok, CHECK); |
duke@435 | 331 | Klass::cast(longArrayKlassObj() )->initialize_supers(ok, CHECK); |
duke@435 | 332 | Klass::cast(constantPoolKlassObj() )->initialize_supers(ok, CHECK); |
duke@435 | 333 | Klass::cast(systemObjArrayKlassObj())->initialize_supers(ok, CHECK); |
duke@435 | 334 | Klass::cast(boolArrayKlassObj() )->set_super(ok); |
duke@435 | 335 | Klass::cast(charArrayKlassObj() )->set_super(ok); |
duke@435 | 336 | Klass::cast(singleArrayKlassObj() )->set_super(ok); |
duke@435 | 337 | Klass::cast(doubleArrayKlassObj() )->set_super(ok); |
duke@435 | 338 | Klass::cast(byteArrayKlassObj() )->set_super(ok); |
duke@435 | 339 | Klass::cast(shortArrayKlassObj() )->set_super(ok); |
duke@435 | 340 | Klass::cast(intArrayKlassObj() )->set_super(ok); |
duke@435 | 341 | Klass::cast(longArrayKlassObj() )->set_super(ok); |
duke@435 | 342 | Klass::cast(constantPoolKlassObj() )->set_super(ok); |
duke@435 | 343 | Klass::cast(systemObjArrayKlassObj())->set_super(ok); |
duke@435 | 344 | } |
duke@435 | 345 | |
duke@435 | 346 | Klass::cast(boolArrayKlassObj() )->append_to_sibling_list(); |
duke@435 | 347 | Klass::cast(charArrayKlassObj() )->append_to_sibling_list(); |
duke@435 | 348 | Klass::cast(singleArrayKlassObj() )->append_to_sibling_list(); |
duke@435 | 349 | Klass::cast(doubleArrayKlassObj() )->append_to_sibling_list(); |
duke@435 | 350 | Klass::cast(byteArrayKlassObj() )->append_to_sibling_list(); |
duke@435 | 351 | Klass::cast(shortArrayKlassObj() )->append_to_sibling_list(); |
duke@435 | 352 | Klass::cast(intArrayKlassObj() )->append_to_sibling_list(); |
duke@435 | 353 | Klass::cast(longArrayKlassObj() )->append_to_sibling_list(); |
duke@435 | 354 | Klass::cast(constantPoolKlassObj() )->append_to_sibling_list(); |
duke@435 | 355 | Klass::cast(systemObjArrayKlassObj())->append_to_sibling_list(); |
duke@435 | 356 | } // end of core bootstrapping |
duke@435 | 357 | |
duke@435 | 358 | // Initialize _objectArrayKlass after core bootstraping to make |
duke@435 | 359 | // sure the super class is set up properly for _objectArrayKlass. |
duke@435 | 360 | _objectArrayKlassObj = instanceKlass:: |
duke@435 | 361 | cast(SystemDictionary::object_klass())->array_klass(1, CHECK); |
duke@435 | 362 | // Add the class to the class hierarchy manually to make sure that |
duke@435 | 363 | // its vtable is initialized after core bootstrapping is completed. |
duke@435 | 364 | Klass::cast(_objectArrayKlassObj)->append_to_sibling_list(); |
duke@435 | 365 | |
duke@435 | 366 | // Compute is_jdk version flags. |
duke@435 | 367 | // Only 1.3 or later has the java.lang.Shutdown class. |
duke@435 | 368 | // Only 1.4 or later has the java.lang.CharSequence interface. |
duke@435 | 369 | // Only 1.5 or later has the java.lang.management.MemoryUsage class. |
duke@435 | 370 | if (JDK_Version::is_pre_jdk16_version()) { |
duke@435 | 371 | klassOop k = SystemDictionary::resolve_or_null(vmSymbolHandles::java_lang_management_MemoryUsage(), THREAD); |
duke@435 | 372 | CLEAR_PENDING_EXCEPTION; // ignore exceptions |
duke@435 | 373 | if (k == NULL) { |
duke@435 | 374 | k = SystemDictionary::resolve_or_null(vmSymbolHandles::java_lang_CharSequence(), THREAD); |
duke@435 | 375 | CLEAR_PENDING_EXCEPTION; // ignore exceptions |
duke@435 | 376 | if (k == NULL) { |
duke@435 | 377 | k = SystemDictionary::resolve_or_null(vmSymbolHandles::java_lang_Shutdown(), THREAD); |
duke@435 | 378 | CLEAR_PENDING_EXCEPTION; // ignore exceptions |
duke@435 | 379 | if (k == NULL) { |
duke@435 | 380 | JDK_Version::set_jdk12x_version(); |
duke@435 | 381 | } else { |
duke@435 | 382 | JDK_Version::set_jdk13x_version(); |
duke@435 | 383 | } |
duke@435 | 384 | } else { |
duke@435 | 385 | JDK_Version::set_jdk14x_version(); |
duke@435 | 386 | } |
duke@435 | 387 | } else { |
duke@435 | 388 | JDK_Version::set_jdk15x_version(); |
duke@435 | 389 | } |
duke@435 | 390 | } |
duke@435 | 391 | |
duke@435 | 392 | #ifdef ASSERT |
duke@435 | 393 | if (FullGCALot) { |
duke@435 | 394 | // Allocate an array of dummy objects. |
duke@435 | 395 | // We'd like these to be at the bottom of the old generation, |
duke@435 | 396 | // so that when we free one and then collect, |
duke@435 | 397 | // (almost) the whole heap moves |
duke@435 | 398 | // and we find out if we actually update all the oops correctly. |
duke@435 | 399 | // But we can't allocate directly in the old generation, |
duke@435 | 400 | // so we allocate wherever, and hope that the first collection |
duke@435 | 401 | // moves these objects to the bottom of the old generation. |
duke@435 | 402 | // We can allocate directly in the permanent generation, so we do. |
duke@435 | 403 | int size; |
duke@435 | 404 | if (UseConcMarkSweepGC) { |
duke@435 | 405 | warning("Using +FullGCALot with concurrent mark sweep gc " |
duke@435 | 406 | "will not force all objects to relocate"); |
duke@435 | 407 | size = FullGCALotDummies; |
duke@435 | 408 | } else { |
duke@435 | 409 | size = FullGCALotDummies * 2; |
duke@435 | 410 | } |
duke@435 | 411 | objArrayOop naked_array = oopFactory::new_system_objArray(size, CHECK); |
duke@435 | 412 | objArrayHandle dummy_array(THREAD, naked_array); |
duke@435 | 413 | int i = 0; |
duke@435 | 414 | while (i < size) { |
duke@435 | 415 | if (!UseConcMarkSweepGC) { |
duke@435 | 416 | // Allocate dummy in old generation |
duke@435 | 417 | oop dummy = instanceKlass::cast(SystemDictionary::object_klass())->allocate_instance(CHECK); |
duke@435 | 418 | dummy_array->obj_at_put(i++, dummy); |
duke@435 | 419 | } |
duke@435 | 420 | // Allocate dummy in permanent generation |
duke@435 | 421 | oop dummy = instanceKlass::cast(SystemDictionary::object_klass())->allocate_permanent_instance(CHECK); |
duke@435 | 422 | dummy_array->obj_at_put(i++, dummy); |
duke@435 | 423 | } |
duke@435 | 424 | { |
duke@435 | 425 | // Only modify the global variable inside the mutex. |
duke@435 | 426 | // If we had a race to here, the other dummy_array instances |
duke@435 | 427 | // and their elements just get dropped on the floor, which is fine. |
duke@435 | 428 | MutexLocker ml(FullGCALot_lock); |
duke@435 | 429 | if (_fullgc_alot_dummy_array == NULL) { |
duke@435 | 430 | _fullgc_alot_dummy_array = dummy_array(); |
duke@435 | 431 | } |
duke@435 | 432 | } |
duke@435 | 433 | assert(i == _fullgc_alot_dummy_array->length(), "just checking"); |
duke@435 | 434 | } |
duke@435 | 435 | #endif |
duke@435 | 436 | } |
duke@435 | 437 | |
duke@435 | 438 | |
duke@435 | 439 | static inline void add_vtable(void** list, int* n, Klass* o, int count) { |
duke@435 | 440 | list[(*n)++] = *(void**)&o->vtbl_value(); |
duke@435 | 441 | guarantee((*n) <= count, "vtable list too small."); |
duke@435 | 442 | } |
duke@435 | 443 | |
duke@435 | 444 | |
duke@435 | 445 | void Universe::init_self_patching_vtbl_list(void** list, int count) { |
duke@435 | 446 | int n = 0; |
duke@435 | 447 | { klassKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 448 | { arrayKlassKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 449 | { objArrayKlassKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 450 | { instanceKlassKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 451 | { instanceKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 452 | { instanceRefKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 453 | { typeArrayKlassKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 454 | { symbolKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 455 | { typeArrayKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 456 | { methodKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 457 | { constMethodKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 458 | { constantPoolKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 459 | { constantPoolCacheKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 460 | { objArrayKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 461 | { methodDataKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 462 | { compiledICHolderKlass o; add_vtable(list, &n, &o, count); } |
duke@435 | 463 | } |
duke@435 | 464 | |
duke@435 | 465 | |
duke@435 | 466 | class FixupMirrorClosure: public ObjectClosure { |
duke@435 | 467 | public: |
coleenp@548 | 468 | virtual void do_object(oop obj) { |
duke@435 | 469 | if (obj->is_klass()) { |
duke@435 | 470 | EXCEPTION_MARK; |
duke@435 | 471 | KlassHandle k(THREAD, klassOop(obj)); |
duke@435 | 472 | // We will never reach the CATCH below since Exceptions::_throw will cause |
duke@435 | 473 | // the VM to exit if an exception is thrown during initialization |
duke@435 | 474 | java_lang_Class::create_mirror(k, CATCH); |
duke@435 | 475 | // This call unconditionally creates a new mirror for k, |
duke@435 | 476 | // and links in k's component_mirror field if k is an array. |
duke@435 | 477 | // If k is an objArray, k's element type must already have |
duke@435 | 478 | // a mirror. In other words, this closure must process |
duke@435 | 479 | // the component type of an objArray k before it processes k. |
duke@435 | 480 | // This works because the permgen iterator presents arrays |
duke@435 | 481 | // and their component types in order of creation. |
duke@435 | 482 | } |
duke@435 | 483 | } |
duke@435 | 484 | }; |
duke@435 | 485 | |
duke@435 | 486 | void Universe::initialize_basic_type_mirrors(TRAPS) { |
duke@435 | 487 | if (UseSharedSpaces) { |
duke@435 | 488 | assert(_int_mirror != NULL, "already loaded"); |
duke@435 | 489 | assert(_void_mirror == _mirrors[T_VOID], "consistently loaded"); |
duke@435 | 490 | } else { |
duke@435 | 491 | |
duke@435 | 492 | assert(_int_mirror==NULL, "basic type mirrors already initialized"); |
duke@435 | 493 | _int_mirror = |
duke@435 | 494 | java_lang_Class::create_basic_type_mirror("int", T_INT, CHECK); |
duke@435 | 495 | _float_mirror = |
duke@435 | 496 | java_lang_Class::create_basic_type_mirror("float", T_FLOAT, CHECK); |
duke@435 | 497 | _double_mirror = |
duke@435 | 498 | java_lang_Class::create_basic_type_mirror("double", T_DOUBLE, CHECK); |
duke@435 | 499 | _byte_mirror = |
duke@435 | 500 | java_lang_Class::create_basic_type_mirror("byte", T_BYTE, CHECK); |
duke@435 | 501 | _bool_mirror = |
duke@435 | 502 | java_lang_Class::create_basic_type_mirror("boolean",T_BOOLEAN, CHECK); |
duke@435 | 503 | _char_mirror = |
duke@435 | 504 | java_lang_Class::create_basic_type_mirror("char", T_CHAR, CHECK); |
duke@435 | 505 | _long_mirror = |
duke@435 | 506 | java_lang_Class::create_basic_type_mirror("long", T_LONG, CHECK); |
duke@435 | 507 | _short_mirror = |
duke@435 | 508 | java_lang_Class::create_basic_type_mirror("short", T_SHORT, CHECK); |
duke@435 | 509 | _void_mirror = |
duke@435 | 510 | java_lang_Class::create_basic_type_mirror("void", T_VOID, CHECK); |
duke@435 | 511 | |
duke@435 | 512 | _mirrors[T_INT] = _int_mirror; |
duke@435 | 513 | _mirrors[T_FLOAT] = _float_mirror; |
duke@435 | 514 | _mirrors[T_DOUBLE] = _double_mirror; |
duke@435 | 515 | _mirrors[T_BYTE] = _byte_mirror; |
duke@435 | 516 | _mirrors[T_BOOLEAN] = _bool_mirror; |
duke@435 | 517 | _mirrors[T_CHAR] = _char_mirror; |
duke@435 | 518 | _mirrors[T_LONG] = _long_mirror; |
duke@435 | 519 | _mirrors[T_SHORT] = _short_mirror; |
duke@435 | 520 | _mirrors[T_VOID] = _void_mirror; |
duke@435 | 521 | //_mirrors[T_OBJECT] = instanceKlass::cast(_object_klass)->java_mirror(); |
duke@435 | 522 | //_mirrors[T_ARRAY] = instanceKlass::cast(_object_klass)->java_mirror(); |
duke@435 | 523 | } |
duke@435 | 524 | } |
duke@435 | 525 | |
duke@435 | 526 | void Universe::fixup_mirrors(TRAPS) { |
duke@435 | 527 | // Bootstrap problem: all classes gets a mirror (java.lang.Class instance) assigned eagerly, |
duke@435 | 528 | // but we cannot do that for classes created before java.lang.Class is loaded. Here we simply |
duke@435 | 529 | // walk over permanent objects created so far (mostly classes) and fixup their mirrors. Note |
duke@435 | 530 | // that the number of objects allocated at this point is very small. |
duke@435 | 531 | assert(SystemDictionary::class_klass_loaded(), "java.lang.Class should be loaded"); |
duke@435 | 532 | FixupMirrorClosure blk; |
duke@435 | 533 | Universe::heap()->permanent_object_iterate(&blk); |
duke@435 | 534 | } |
duke@435 | 535 | |
duke@435 | 536 | |
duke@435 | 537 | static bool has_run_finalizers_on_exit = false; |
duke@435 | 538 | |
duke@435 | 539 | void Universe::run_finalizers_on_exit() { |
duke@435 | 540 | if (has_run_finalizers_on_exit) return; |
duke@435 | 541 | has_run_finalizers_on_exit = true; |
duke@435 | 542 | |
duke@435 | 543 | // Called on VM exit. This ought to be run in a separate thread. |
duke@435 | 544 | if (TraceReferenceGC) tty->print_cr("Callback to run finalizers on exit"); |
duke@435 | 545 | { |
duke@435 | 546 | PRESERVE_EXCEPTION_MARK; |
duke@435 | 547 | KlassHandle finalizer_klass(THREAD, SystemDictionary::finalizer_klass()); |
duke@435 | 548 | JavaValue result(T_VOID); |
duke@435 | 549 | JavaCalls::call_static( |
duke@435 | 550 | &result, |
duke@435 | 551 | finalizer_klass, |
duke@435 | 552 | vmSymbolHandles::run_finalizers_on_exit_name(), |
duke@435 | 553 | vmSymbolHandles::void_method_signature(), |
duke@435 | 554 | THREAD |
duke@435 | 555 | ); |
duke@435 | 556 | // Ignore any pending exceptions |
duke@435 | 557 | CLEAR_PENDING_EXCEPTION; |
duke@435 | 558 | } |
duke@435 | 559 | } |
duke@435 | 560 | |
duke@435 | 561 | |
duke@435 | 562 | // initialize_vtable could cause gc if |
duke@435 | 563 | // 1) we specified true to initialize_vtable and |
duke@435 | 564 | // 2) this ran after gc was enabled |
duke@435 | 565 | // In case those ever change we use handles for oops |
duke@435 | 566 | void Universe::reinitialize_vtable_of(KlassHandle k_h, TRAPS) { |
duke@435 | 567 | // init vtable of k and all subclasses |
duke@435 | 568 | Klass* ko = k_h()->klass_part(); |
duke@435 | 569 | klassVtable* vt = ko->vtable(); |
duke@435 | 570 | if (vt) vt->initialize_vtable(false, CHECK); |
duke@435 | 571 | if (ko->oop_is_instance()) { |
duke@435 | 572 | instanceKlass* ik = (instanceKlass*)ko; |
duke@435 | 573 | for (KlassHandle s_h(THREAD, ik->subklass()); s_h() != NULL; s_h = (THREAD, s_h()->klass_part()->next_sibling())) { |
duke@435 | 574 | reinitialize_vtable_of(s_h, CHECK); |
duke@435 | 575 | } |
duke@435 | 576 | } |
duke@435 | 577 | } |
duke@435 | 578 | |
duke@435 | 579 | |
duke@435 | 580 | void initialize_itable_for_klass(klassOop k, TRAPS) { |
duke@435 | 581 | instanceKlass::cast(k)->itable()->initialize_itable(false, CHECK); |
duke@435 | 582 | } |
duke@435 | 583 | |
duke@435 | 584 | |
duke@435 | 585 | void Universe::reinitialize_itables(TRAPS) { |
duke@435 | 586 | SystemDictionary::classes_do(initialize_itable_for_klass, CHECK); |
duke@435 | 587 | |
duke@435 | 588 | } |
duke@435 | 589 | |
duke@435 | 590 | |
duke@435 | 591 | bool Universe::on_page_boundary(void* addr) { |
duke@435 | 592 | return ((uintptr_t) addr) % os::vm_page_size() == 0; |
duke@435 | 593 | } |
duke@435 | 594 | |
duke@435 | 595 | |
duke@435 | 596 | bool Universe::should_fill_in_stack_trace(Handle throwable) { |
duke@435 | 597 | // never attempt to fill in the stack trace of preallocated errors that do not have |
duke@435 | 598 | // backtrace. These errors are kept alive forever and may be "re-used" when all |
duke@435 | 599 | // preallocated errors with backtrace have been consumed. Also need to avoid |
duke@435 | 600 | // a potential loop which could happen if an out of memory occurs when attempting |
duke@435 | 601 | // to allocate the backtrace. |
duke@435 | 602 | return ((throwable() != Universe::_out_of_memory_error_java_heap) && |
duke@435 | 603 | (throwable() != Universe::_out_of_memory_error_perm_gen) && |
duke@435 | 604 | (throwable() != Universe::_out_of_memory_error_array_size) && |
duke@435 | 605 | (throwable() != Universe::_out_of_memory_error_gc_overhead_limit)); |
duke@435 | 606 | } |
duke@435 | 607 | |
duke@435 | 608 | |
duke@435 | 609 | oop Universe::gen_out_of_memory_error(oop default_err) { |
duke@435 | 610 | // generate an out of memory error: |
duke@435 | 611 | // - if there is a preallocated error with backtrace available then return it wth |
duke@435 | 612 | // a filled in stack trace. |
duke@435 | 613 | // - if there are no preallocated errors with backtrace available then return |
duke@435 | 614 | // an error without backtrace. |
duke@435 | 615 | int next; |
duke@435 | 616 | if (_preallocated_out_of_memory_error_avail_count > 0) { |
duke@435 | 617 | next = (int)Atomic::add(-1, &_preallocated_out_of_memory_error_avail_count); |
duke@435 | 618 | assert(next < (int)PreallocatedOutOfMemoryErrorCount, "avail count is corrupt"); |
duke@435 | 619 | } else { |
duke@435 | 620 | next = -1; |
duke@435 | 621 | } |
duke@435 | 622 | if (next < 0) { |
duke@435 | 623 | // all preallocated errors have been used. |
duke@435 | 624 | // return default |
duke@435 | 625 | return default_err; |
duke@435 | 626 | } else { |
duke@435 | 627 | // get the error object at the slot and set set it to NULL so that the |
duke@435 | 628 | // array isn't keeping it alive anymore. |
duke@435 | 629 | oop exc = preallocated_out_of_memory_errors()->obj_at(next); |
duke@435 | 630 | assert(exc != NULL, "slot has been used already"); |
duke@435 | 631 | preallocated_out_of_memory_errors()->obj_at_put(next, NULL); |
duke@435 | 632 | |
duke@435 | 633 | // use the message from the default error |
duke@435 | 634 | oop msg = java_lang_Throwable::message(default_err); |
duke@435 | 635 | assert(msg != NULL, "no message"); |
duke@435 | 636 | java_lang_Throwable::set_message(exc, msg); |
duke@435 | 637 | |
duke@435 | 638 | // populate the stack trace and return it. |
duke@435 | 639 | java_lang_Throwable::fill_in_stack_trace_of_preallocated_backtrace(exc); |
duke@435 | 640 | return exc; |
duke@435 | 641 | } |
duke@435 | 642 | } |
duke@435 | 643 | |
duke@435 | 644 | static intptr_t non_oop_bits = 0; |
duke@435 | 645 | |
duke@435 | 646 | void* Universe::non_oop_word() { |
duke@435 | 647 | // Neither the high bits nor the low bits of this value is allowed |
duke@435 | 648 | // to look like (respectively) the high or low bits of a real oop. |
duke@435 | 649 | // |
duke@435 | 650 | // High and low are CPU-specific notions, but low always includes |
duke@435 | 651 | // the low-order bit. Since oops are always aligned at least mod 4, |
duke@435 | 652 | // setting the low-order bit will ensure that the low half of the |
duke@435 | 653 | // word will never look like that of a real oop. |
duke@435 | 654 | // |
duke@435 | 655 | // Using the OS-supplied non-memory-address word (usually 0 or -1) |
duke@435 | 656 | // will take care of the high bits, however many there are. |
duke@435 | 657 | |
duke@435 | 658 | if (non_oop_bits == 0) { |
duke@435 | 659 | non_oop_bits = (intptr_t)os::non_memory_address_word() | 1; |
duke@435 | 660 | } |
duke@435 | 661 | |
duke@435 | 662 | return (void*)non_oop_bits; |
duke@435 | 663 | } |
duke@435 | 664 | |
duke@435 | 665 | jint universe_init() { |
duke@435 | 666 | assert(!Universe::_fully_initialized, "called after initialize_vtables"); |
duke@435 | 667 | guarantee(1 << LogHeapWordSize == sizeof(HeapWord), |
duke@435 | 668 | "LogHeapWordSize is incorrect."); |
duke@435 | 669 | guarantee(sizeof(oop) >= sizeof(HeapWord), "HeapWord larger than oop?"); |
duke@435 | 670 | guarantee(sizeof(oop) % sizeof(HeapWord) == 0, |
coleenp@548 | 671 | "oop size is not not a multiple of HeapWord size"); |
duke@435 | 672 | TraceTime timer("Genesis", TraceStartupTime); |
duke@435 | 673 | GC_locker::lock(); // do not allow gc during bootstrapping |
duke@435 | 674 | JavaClasses::compute_hard_coded_offsets(); |
duke@435 | 675 | |
duke@435 | 676 | // Get map info from shared archive file. |
duke@435 | 677 | if (DumpSharedSpaces) |
duke@435 | 678 | UseSharedSpaces = false; |
duke@435 | 679 | |
duke@435 | 680 | FileMapInfo* mapinfo = NULL; |
duke@435 | 681 | if (UseSharedSpaces) { |
duke@435 | 682 | mapinfo = NEW_C_HEAP_OBJ(FileMapInfo); |
duke@435 | 683 | memset(mapinfo, 0, sizeof(FileMapInfo)); |
duke@435 | 684 | |
duke@435 | 685 | // Open the shared archive file, read and validate the header. If |
duke@435 | 686 | // initialization files, shared spaces [UseSharedSpaces] are |
duke@435 | 687 | // disabled and the file is closed. |
duke@435 | 688 | |
duke@435 | 689 | if (mapinfo->initialize()) { |
duke@435 | 690 | FileMapInfo::set_current_info(mapinfo); |
duke@435 | 691 | } else { |
duke@435 | 692 | assert(!mapinfo->is_open() && !UseSharedSpaces, |
duke@435 | 693 | "archive file not closed or shared spaces not disabled."); |
duke@435 | 694 | } |
duke@435 | 695 | } |
duke@435 | 696 | |
duke@435 | 697 | jint status = Universe::initialize_heap(); |
duke@435 | 698 | if (status != JNI_OK) { |
duke@435 | 699 | return status; |
duke@435 | 700 | } |
duke@435 | 701 | |
duke@435 | 702 | // We have a heap so create the methodOop caches before |
duke@435 | 703 | // CompactingPermGenGen::initialize_oops() tries to populate them. |
duke@435 | 704 | Universe::_finalizer_register_cache = new LatestMethodOopCache(); |
duke@435 | 705 | Universe::_loader_addClass_cache = new LatestMethodOopCache(); |
duke@435 | 706 | Universe::_reflect_invoke_cache = new ActiveMethodOopsCache(); |
duke@435 | 707 | |
duke@435 | 708 | if (UseSharedSpaces) { |
duke@435 | 709 | |
duke@435 | 710 | // Read the data structures supporting the shared spaces (shared |
duke@435 | 711 | // system dictionary, symbol table, etc.). After that, access to |
duke@435 | 712 | // the file (other than the mapped regions) is no longer needed, and |
duke@435 | 713 | // the file is closed. Closing the file does not affect the |
duke@435 | 714 | // currently mapped regions. |
duke@435 | 715 | |
duke@435 | 716 | CompactingPermGenGen::initialize_oops(); |
duke@435 | 717 | mapinfo->close(); |
duke@435 | 718 | |
duke@435 | 719 | } else { |
duke@435 | 720 | SymbolTable::create_table(); |
duke@435 | 721 | StringTable::create_table(); |
duke@435 | 722 | ClassLoader::create_package_info_table(); |
duke@435 | 723 | } |
duke@435 | 724 | |
duke@435 | 725 | return JNI_OK; |
duke@435 | 726 | } |
duke@435 | 727 | |
duke@435 | 728 | jint Universe::initialize_heap() { |
duke@435 | 729 | |
duke@435 | 730 | if (UseParallelGC) { |
duke@435 | 731 | #ifndef SERIALGC |
duke@435 | 732 | Universe::_collectedHeap = new ParallelScavengeHeap(); |
duke@435 | 733 | #else // SERIALGC |
duke@435 | 734 | fatal("UseParallelGC not supported in java kernel vm."); |
duke@435 | 735 | #endif // SERIALGC |
duke@435 | 736 | |
ysr@777 | 737 | } else if (UseG1GC) { |
ysr@777 | 738 | #ifndef SERIALGC |
ysr@777 | 739 | G1CollectorPolicy* g1p = new G1CollectorPolicy_BestRegionsFirst(); |
ysr@777 | 740 | G1CollectedHeap* g1h = new G1CollectedHeap(g1p); |
ysr@777 | 741 | Universe::_collectedHeap = g1h; |
ysr@777 | 742 | #else // SERIALGC |
ysr@777 | 743 | fatal("UseG1GC not supported in java kernel vm."); |
ysr@777 | 744 | #endif // SERIALGC |
ysr@777 | 745 | |
duke@435 | 746 | } else { |
duke@435 | 747 | GenCollectorPolicy *gc_policy; |
duke@435 | 748 | |
duke@435 | 749 | if (UseSerialGC) { |
duke@435 | 750 | gc_policy = new MarkSweepPolicy(); |
duke@435 | 751 | } else if (UseConcMarkSweepGC) { |
duke@435 | 752 | #ifndef SERIALGC |
duke@435 | 753 | if (UseAdaptiveSizePolicy) { |
duke@435 | 754 | gc_policy = new ASConcurrentMarkSweepPolicy(); |
duke@435 | 755 | } else { |
duke@435 | 756 | gc_policy = new ConcurrentMarkSweepPolicy(); |
duke@435 | 757 | } |
duke@435 | 758 | #else // SERIALGC |
duke@435 | 759 | fatal("UseConcMarkSweepGC not supported in java kernel vm."); |
duke@435 | 760 | #endif // SERIALGC |
duke@435 | 761 | } else { // default old generation |
duke@435 | 762 | gc_policy = new MarkSweepPolicy(); |
duke@435 | 763 | } |
duke@435 | 764 | |
duke@435 | 765 | Universe::_collectedHeap = new GenCollectedHeap(gc_policy); |
duke@435 | 766 | } |
duke@435 | 767 | |
duke@435 | 768 | jint status = Universe::heap()->initialize(); |
duke@435 | 769 | if (status != JNI_OK) { |
duke@435 | 770 | return status; |
duke@435 | 771 | } |
coleenp@548 | 772 | if (UseCompressedOops) { |
coleenp@548 | 773 | // Subtract a page because something can get allocated at heap base. |
coleenp@548 | 774 | // This also makes implicit null checking work, because the |
coleenp@548 | 775 | // memory+1 page below heap_base needs to cause a signal. |
coleenp@548 | 776 | // See needs_explicit_null_check. |
coleenp@548 | 777 | // Only set the heap base for compressed oops because it indicates |
coleenp@548 | 778 | // compressed oops for pstack code. |
coleenp@548 | 779 | Universe::_heap_base = Universe::heap()->base() - os::vm_page_size(); |
coleenp@548 | 780 | } |
duke@435 | 781 | |
duke@435 | 782 | // We will never reach the CATCH below since Exceptions::_throw will cause |
duke@435 | 783 | // the VM to exit if an exception is thrown during initialization |
duke@435 | 784 | |
duke@435 | 785 | if (UseTLAB) { |
duke@435 | 786 | assert(Universe::heap()->supports_tlab_allocation(), |
duke@435 | 787 | "Should support thread-local allocation buffers"); |
duke@435 | 788 | ThreadLocalAllocBuffer::startup_initialization(); |
duke@435 | 789 | } |
duke@435 | 790 | return JNI_OK; |
duke@435 | 791 | } |
duke@435 | 792 | |
duke@435 | 793 | // It's the caller's repsonsibility to ensure glitch-freedom |
duke@435 | 794 | // (if required). |
duke@435 | 795 | void Universe::update_heap_info_at_gc() { |
duke@435 | 796 | _heap_capacity_at_last_gc = heap()->capacity(); |
duke@435 | 797 | _heap_used_at_last_gc = heap()->used(); |
duke@435 | 798 | } |
duke@435 | 799 | |
duke@435 | 800 | |
duke@435 | 801 | |
duke@435 | 802 | void universe2_init() { |
duke@435 | 803 | EXCEPTION_MARK; |
duke@435 | 804 | Universe::genesis(CATCH); |
duke@435 | 805 | // Although we'd like to verify here that the state of the heap |
duke@435 | 806 | // is good, we can't because the main thread has not yet added |
duke@435 | 807 | // itself to the threads list (so, using current interfaces |
duke@435 | 808 | // we can't "fill" its TLAB), unless TLABs are disabled. |
duke@435 | 809 | if (VerifyBeforeGC && !UseTLAB && |
duke@435 | 810 | Universe::heap()->total_collections() >= VerifyGCStartAt) { |
duke@435 | 811 | Universe::heap()->prepare_for_verify(); |
duke@435 | 812 | Universe::verify(); // make sure we're starting with a clean slate |
duke@435 | 813 | } |
duke@435 | 814 | } |
duke@435 | 815 | |
duke@435 | 816 | |
duke@435 | 817 | // This function is defined in JVM.cpp |
duke@435 | 818 | extern void initialize_converter_functions(); |
duke@435 | 819 | |
duke@435 | 820 | bool universe_post_init() { |
duke@435 | 821 | Universe::_fully_initialized = true; |
duke@435 | 822 | EXCEPTION_MARK; |
duke@435 | 823 | { ResourceMark rm; |
duke@435 | 824 | Interpreter::initialize(); // needed for interpreter entry points |
duke@435 | 825 | if (!UseSharedSpaces) { |
duke@435 | 826 | KlassHandle ok_h(THREAD, SystemDictionary::object_klass()); |
duke@435 | 827 | Universe::reinitialize_vtable_of(ok_h, CHECK_false); |
duke@435 | 828 | Universe::reinitialize_itables(CHECK_false); |
duke@435 | 829 | } |
duke@435 | 830 | } |
duke@435 | 831 | |
duke@435 | 832 | klassOop k; |
duke@435 | 833 | instanceKlassHandle k_h; |
duke@435 | 834 | if (!UseSharedSpaces) { |
duke@435 | 835 | // Setup preallocated empty java.lang.Class array |
duke@435 | 836 | Universe::_the_empty_class_klass_array = oopFactory::new_objArray(SystemDictionary::class_klass(), 0, CHECK_false); |
duke@435 | 837 | // Setup preallocated OutOfMemoryError errors |
duke@435 | 838 | k = SystemDictionary::resolve_or_fail(vmSymbolHandles::java_lang_OutOfMemoryError(), true, CHECK_false); |
duke@435 | 839 | k_h = instanceKlassHandle(THREAD, k); |
duke@435 | 840 | Universe::_out_of_memory_error_java_heap = k_h->allocate_permanent_instance(CHECK_false); |
duke@435 | 841 | Universe::_out_of_memory_error_perm_gen = k_h->allocate_permanent_instance(CHECK_false); |
duke@435 | 842 | Universe::_out_of_memory_error_array_size = k_h->allocate_permanent_instance(CHECK_false); |
duke@435 | 843 | Universe::_out_of_memory_error_gc_overhead_limit = |
duke@435 | 844 | k_h->allocate_permanent_instance(CHECK_false); |
duke@435 | 845 | |
duke@435 | 846 | // Setup preallocated NullPointerException |
duke@435 | 847 | // (this is currently used for a cheap & dirty solution in compiler exception handling) |
duke@435 | 848 | k = SystemDictionary::resolve_or_fail(vmSymbolHandles::java_lang_NullPointerException(), true, CHECK_false); |
duke@435 | 849 | Universe::_null_ptr_exception_instance = instanceKlass::cast(k)->allocate_permanent_instance(CHECK_false); |
duke@435 | 850 | // Setup preallocated ArithmeticException |
duke@435 | 851 | // (this is currently used for a cheap & dirty solution in compiler exception handling) |
duke@435 | 852 | k = SystemDictionary::resolve_or_fail(vmSymbolHandles::java_lang_ArithmeticException(), true, CHECK_false); |
duke@435 | 853 | Universe::_arithmetic_exception_instance = instanceKlass::cast(k)->allocate_permanent_instance(CHECK_false); |
duke@435 | 854 | // Virtual Machine Error for when we get into a situation we can't resolve |
duke@435 | 855 | k = SystemDictionary::resolve_or_fail( |
duke@435 | 856 | vmSymbolHandles::java_lang_VirtualMachineError(), true, CHECK_false); |
duke@435 | 857 | bool linked = instanceKlass::cast(k)->link_class_or_fail(CHECK_false); |
duke@435 | 858 | if (!linked) { |
duke@435 | 859 | tty->print_cr("Unable to link/verify VirtualMachineError class"); |
duke@435 | 860 | return false; // initialization failed |
duke@435 | 861 | } |
duke@435 | 862 | Universe::_virtual_machine_error_instance = |
duke@435 | 863 | instanceKlass::cast(k)->allocate_permanent_instance(CHECK_false); |
duke@435 | 864 | } |
duke@435 | 865 | if (!DumpSharedSpaces) { |
duke@435 | 866 | // These are the only Java fields that are currently set during shared space dumping. |
duke@435 | 867 | // We prefer to not handle this generally, so we always reinitialize these detail messages. |
duke@435 | 868 | Handle msg = java_lang_String::create_from_str("Java heap space", CHECK_false); |
duke@435 | 869 | java_lang_Throwable::set_message(Universe::_out_of_memory_error_java_heap, msg()); |
duke@435 | 870 | |
duke@435 | 871 | msg = java_lang_String::create_from_str("PermGen space", CHECK_false); |
duke@435 | 872 | java_lang_Throwable::set_message(Universe::_out_of_memory_error_perm_gen, msg()); |
duke@435 | 873 | |
duke@435 | 874 | msg = java_lang_String::create_from_str("Requested array size exceeds VM limit", CHECK_false); |
duke@435 | 875 | java_lang_Throwable::set_message(Universe::_out_of_memory_error_array_size, msg()); |
duke@435 | 876 | |
duke@435 | 877 | msg = java_lang_String::create_from_str("GC overhead limit exceeded", CHECK_false); |
duke@435 | 878 | java_lang_Throwable::set_message(Universe::_out_of_memory_error_gc_overhead_limit, msg()); |
duke@435 | 879 | |
duke@435 | 880 | msg = java_lang_String::create_from_str("/ by zero", CHECK_false); |
duke@435 | 881 | java_lang_Throwable::set_message(Universe::_arithmetic_exception_instance, msg()); |
duke@435 | 882 | |
duke@435 | 883 | // Setup the array of errors that have preallocated backtrace |
duke@435 | 884 | k = Universe::_out_of_memory_error_java_heap->klass(); |
duke@435 | 885 | assert(k->klass_part()->name() == vmSymbols::java_lang_OutOfMemoryError(), "should be out of memory error"); |
duke@435 | 886 | k_h = instanceKlassHandle(THREAD, k); |
duke@435 | 887 | |
duke@435 | 888 | int len = (StackTraceInThrowable) ? (int)PreallocatedOutOfMemoryErrorCount : 0; |
duke@435 | 889 | Universe::_preallocated_out_of_memory_error_array = oopFactory::new_objArray(k_h(), len, CHECK_false); |
duke@435 | 890 | for (int i=0; i<len; i++) { |
duke@435 | 891 | oop err = k_h->allocate_permanent_instance(CHECK_false); |
duke@435 | 892 | Handle err_h = Handle(THREAD, err); |
duke@435 | 893 | java_lang_Throwable::allocate_backtrace(err_h, CHECK_false); |
duke@435 | 894 | Universe::preallocated_out_of_memory_errors()->obj_at_put(i, err_h()); |
duke@435 | 895 | } |
duke@435 | 896 | Universe::_preallocated_out_of_memory_error_avail_count = (jint)len; |
duke@435 | 897 | } |
duke@435 | 898 | |
duke@435 | 899 | |
duke@435 | 900 | // Setup static method for registering finalizers |
duke@435 | 901 | // The finalizer klass must be linked before looking up the method, in |
duke@435 | 902 | // case it needs to get rewritten. |
duke@435 | 903 | instanceKlass::cast(SystemDictionary::finalizer_klass())->link_class(CHECK_false); |
duke@435 | 904 | methodOop m = instanceKlass::cast(SystemDictionary::finalizer_klass())->find_method( |
duke@435 | 905 | vmSymbols::register_method_name(), |
duke@435 | 906 | vmSymbols::register_method_signature()); |
duke@435 | 907 | if (m == NULL || !m->is_static()) { |
duke@435 | 908 | THROW_MSG_(vmSymbols::java_lang_NoSuchMethodException(), |
duke@435 | 909 | "java.lang.ref.Finalizer.register", false); |
duke@435 | 910 | } |
duke@435 | 911 | Universe::_finalizer_register_cache->init( |
duke@435 | 912 | SystemDictionary::finalizer_klass(), m, CHECK_false); |
duke@435 | 913 | |
duke@435 | 914 | // Resolve on first use and initialize class. |
duke@435 | 915 | // Note: No race-condition here, since a resolve will always return the same result |
duke@435 | 916 | |
duke@435 | 917 | // Setup method for security checks |
duke@435 | 918 | k = SystemDictionary::resolve_or_fail(vmSymbolHandles::java_lang_reflect_Method(), true, CHECK_false); |
duke@435 | 919 | k_h = instanceKlassHandle(THREAD, k); |
duke@435 | 920 | k_h->link_class(CHECK_false); |
duke@435 | 921 | m = k_h->find_method(vmSymbols::invoke_name(), vmSymbols::object_array_object_object_signature()); |
duke@435 | 922 | if (m == NULL || m->is_static()) { |
duke@435 | 923 | THROW_MSG_(vmSymbols::java_lang_NoSuchMethodException(), |
duke@435 | 924 | "java.lang.reflect.Method.invoke", false); |
duke@435 | 925 | } |
duke@435 | 926 | Universe::_reflect_invoke_cache->init(k_h(), m, CHECK_false); |
duke@435 | 927 | |
duke@435 | 928 | // Setup method for registering loaded classes in class loader vector |
duke@435 | 929 | instanceKlass::cast(SystemDictionary::classloader_klass())->link_class(CHECK_false); |
duke@435 | 930 | m = instanceKlass::cast(SystemDictionary::classloader_klass())->find_method(vmSymbols::addClass_name(), vmSymbols::class_void_signature()); |
duke@435 | 931 | if (m == NULL || m->is_static()) { |
duke@435 | 932 | THROW_MSG_(vmSymbols::java_lang_NoSuchMethodException(), |
duke@435 | 933 | "java.lang.ClassLoader.addClass", false); |
duke@435 | 934 | } |
duke@435 | 935 | Universe::_loader_addClass_cache->init( |
duke@435 | 936 | SystemDictionary::classloader_klass(), m, CHECK_false); |
duke@435 | 937 | |
duke@435 | 938 | // The folowing is initializing converter functions for serialization in |
duke@435 | 939 | // JVM.cpp. If we clean up the StrictMath code above we may want to find |
duke@435 | 940 | // a better solution for this as well. |
duke@435 | 941 | initialize_converter_functions(); |
duke@435 | 942 | |
duke@435 | 943 | // This needs to be done before the first scavenge/gc, since |
duke@435 | 944 | // it's an input to soft ref clearing policy. |
ysr@777 | 945 | { |
ysr@777 | 946 | MutexLocker x(Heap_lock); |
ysr@777 | 947 | Universe::update_heap_info_at_gc(); |
ysr@777 | 948 | } |
duke@435 | 949 | |
duke@435 | 950 | // ("weak") refs processing infrastructure initialization |
duke@435 | 951 | Universe::heap()->post_initialize(); |
duke@435 | 952 | |
duke@435 | 953 | GC_locker::unlock(); // allow gc after bootstrapping |
duke@435 | 954 | |
duke@435 | 955 | MemoryService::set_universe_heap(Universe::_collectedHeap); |
duke@435 | 956 | return true; |
duke@435 | 957 | } |
duke@435 | 958 | |
duke@435 | 959 | |
duke@435 | 960 | void Universe::compute_base_vtable_size() { |
duke@435 | 961 | _base_vtable_size = ClassLoader::compute_Object_vtable(); |
duke@435 | 962 | } |
duke@435 | 963 | |
duke@435 | 964 | |
duke@435 | 965 | // %%% The Universe::flush_foo methods belong in CodeCache. |
duke@435 | 966 | |
duke@435 | 967 | // Flushes compiled methods dependent on dependee. |
duke@435 | 968 | void Universe::flush_dependents_on(instanceKlassHandle dependee) { |
duke@435 | 969 | assert_lock_strong(Compile_lock); |
duke@435 | 970 | |
duke@435 | 971 | if (CodeCache::number_of_nmethods_with_dependencies() == 0) return; |
duke@435 | 972 | |
duke@435 | 973 | // CodeCache can only be updated by a thread_in_VM and they will all be |
duke@435 | 974 | // stopped dring the safepoint so CodeCache will be safe to update without |
duke@435 | 975 | // holding the CodeCache_lock. |
duke@435 | 976 | |
duke@435 | 977 | DepChange changes(dependee); |
duke@435 | 978 | |
duke@435 | 979 | // Compute the dependent nmethods |
duke@435 | 980 | if (CodeCache::mark_for_deoptimization(changes) > 0) { |
duke@435 | 981 | // At least one nmethod has been marked for deoptimization |
duke@435 | 982 | VM_Deoptimize op; |
duke@435 | 983 | VMThread::execute(&op); |
duke@435 | 984 | } |
duke@435 | 985 | } |
duke@435 | 986 | |
duke@435 | 987 | #ifdef HOTSWAP |
duke@435 | 988 | // Flushes compiled methods dependent on dependee in the evolutionary sense |
duke@435 | 989 | void Universe::flush_evol_dependents_on(instanceKlassHandle ev_k_h) { |
duke@435 | 990 | // --- Compile_lock is not held. However we are at a safepoint. |
duke@435 | 991 | assert_locked_or_safepoint(Compile_lock); |
duke@435 | 992 | if (CodeCache::number_of_nmethods_with_dependencies() == 0) return; |
duke@435 | 993 | |
duke@435 | 994 | // CodeCache can only be updated by a thread_in_VM and they will all be |
duke@435 | 995 | // stopped dring the safepoint so CodeCache will be safe to update without |
duke@435 | 996 | // holding the CodeCache_lock. |
duke@435 | 997 | |
duke@435 | 998 | // Compute the dependent nmethods |
duke@435 | 999 | if (CodeCache::mark_for_evol_deoptimization(ev_k_h) > 0) { |
duke@435 | 1000 | // At least one nmethod has been marked for deoptimization |
duke@435 | 1001 | |
duke@435 | 1002 | // All this already happens inside a VM_Operation, so we'll do all the work here. |
duke@435 | 1003 | // Stuff copied from VM_Deoptimize and modified slightly. |
duke@435 | 1004 | |
duke@435 | 1005 | // We do not want any GCs to happen while we are in the middle of this VM operation |
duke@435 | 1006 | ResourceMark rm; |
duke@435 | 1007 | DeoptimizationMarker dm; |
duke@435 | 1008 | |
duke@435 | 1009 | // Deoptimize all activations depending on marked nmethods |
duke@435 | 1010 | Deoptimization::deoptimize_dependents(); |
duke@435 | 1011 | |
duke@435 | 1012 | // Make the dependent methods not entrant (in VM_Deoptimize they are made zombies) |
duke@435 | 1013 | CodeCache::make_marked_nmethods_not_entrant(); |
duke@435 | 1014 | } |
duke@435 | 1015 | } |
duke@435 | 1016 | #endif // HOTSWAP |
duke@435 | 1017 | |
duke@435 | 1018 | |
duke@435 | 1019 | // Flushes compiled methods dependent on dependee |
duke@435 | 1020 | void Universe::flush_dependents_on_method(methodHandle m_h) { |
duke@435 | 1021 | // --- Compile_lock is not held. However we are at a safepoint. |
duke@435 | 1022 | assert_locked_or_safepoint(Compile_lock); |
duke@435 | 1023 | |
duke@435 | 1024 | // CodeCache can only be updated by a thread_in_VM and they will all be |
duke@435 | 1025 | // stopped dring the safepoint so CodeCache will be safe to update without |
duke@435 | 1026 | // holding the CodeCache_lock. |
duke@435 | 1027 | |
duke@435 | 1028 | // Compute the dependent nmethods |
duke@435 | 1029 | if (CodeCache::mark_for_deoptimization(m_h()) > 0) { |
duke@435 | 1030 | // At least one nmethod has been marked for deoptimization |
duke@435 | 1031 | |
duke@435 | 1032 | // All this already happens inside a VM_Operation, so we'll do all the work here. |
duke@435 | 1033 | // Stuff copied from VM_Deoptimize and modified slightly. |
duke@435 | 1034 | |
duke@435 | 1035 | // We do not want any GCs to happen while we are in the middle of this VM operation |
duke@435 | 1036 | ResourceMark rm; |
duke@435 | 1037 | DeoptimizationMarker dm; |
duke@435 | 1038 | |
duke@435 | 1039 | // Deoptimize all activations depending on marked nmethods |
duke@435 | 1040 | Deoptimization::deoptimize_dependents(); |
duke@435 | 1041 | |
duke@435 | 1042 | // Make the dependent methods not entrant (in VM_Deoptimize they are made zombies) |
duke@435 | 1043 | CodeCache::make_marked_nmethods_not_entrant(); |
duke@435 | 1044 | } |
duke@435 | 1045 | } |
duke@435 | 1046 | |
duke@435 | 1047 | void Universe::print() { print_on(gclog_or_tty); } |
duke@435 | 1048 | |
duke@435 | 1049 | void Universe::print_on(outputStream* st) { |
duke@435 | 1050 | st->print_cr("Heap"); |
duke@435 | 1051 | heap()->print_on(st); |
duke@435 | 1052 | } |
duke@435 | 1053 | |
duke@435 | 1054 | void Universe::print_heap_at_SIGBREAK() { |
duke@435 | 1055 | if (PrintHeapAtSIGBREAK) { |
duke@435 | 1056 | MutexLocker hl(Heap_lock); |
duke@435 | 1057 | print_on(tty); |
duke@435 | 1058 | tty->cr(); |
duke@435 | 1059 | tty->flush(); |
duke@435 | 1060 | } |
duke@435 | 1061 | } |
duke@435 | 1062 | |
duke@435 | 1063 | void Universe::print_heap_before_gc(outputStream* st) { |
duke@435 | 1064 | st->print_cr("{Heap before GC invocations=%u (full %u):", |
duke@435 | 1065 | heap()->total_collections(), |
duke@435 | 1066 | heap()->total_full_collections()); |
duke@435 | 1067 | heap()->print_on(st); |
duke@435 | 1068 | } |
duke@435 | 1069 | |
duke@435 | 1070 | void Universe::print_heap_after_gc(outputStream* st) { |
duke@435 | 1071 | st->print_cr("Heap after GC invocations=%u (full %u):", |
duke@435 | 1072 | heap()->total_collections(), |
duke@435 | 1073 | heap()->total_full_collections()); |
duke@435 | 1074 | heap()->print_on(st); |
duke@435 | 1075 | st->print_cr("}"); |
duke@435 | 1076 | } |
duke@435 | 1077 | |
duke@435 | 1078 | void Universe::verify(bool allow_dirty, bool silent) { |
duke@435 | 1079 | if (SharedSkipVerify) { |
duke@435 | 1080 | return; |
duke@435 | 1081 | } |
duke@435 | 1082 | |
duke@435 | 1083 | // The use of _verify_in_progress is a temporary work around for |
duke@435 | 1084 | // 6320749. Don't bother with a creating a class to set and clear |
duke@435 | 1085 | // it since it is only used in this method and the control flow is |
duke@435 | 1086 | // straight forward. |
duke@435 | 1087 | _verify_in_progress = true; |
duke@435 | 1088 | |
duke@435 | 1089 | COMPILER2_PRESENT( |
duke@435 | 1090 | assert(!DerivedPointerTable::is_active(), |
duke@435 | 1091 | "DPT should not be active during verification " |
duke@435 | 1092 | "(of thread stacks below)"); |
duke@435 | 1093 | ) |
duke@435 | 1094 | |
duke@435 | 1095 | ResourceMark rm; |
duke@435 | 1096 | HandleMark hm; // Handles created during verification can be zapped |
duke@435 | 1097 | _verify_count++; |
duke@435 | 1098 | |
duke@435 | 1099 | if (!silent) gclog_or_tty->print("[Verifying "); |
duke@435 | 1100 | if (!silent) gclog_or_tty->print("threads "); |
duke@435 | 1101 | Threads::verify(); |
duke@435 | 1102 | heap()->verify(allow_dirty, silent); |
duke@435 | 1103 | |
duke@435 | 1104 | if (!silent) gclog_or_tty->print("syms "); |
duke@435 | 1105 | SymbolTable::verify(); |
duke@435 | 1106 | if (!silent) gclog_or_tty->print("strs "); |
duke@435 | 1107 | StringTable::verify(); |
duke@435 | 1108 | { |
duke@435 | 1109 | MutexLockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag); |
duke@435 | 1110 | if (!silent) gclog_or_tty->print("zone "); |
duke@435 | 1111 | CodeCache::verify(); |
duke@435 | 1112 | } |
duke@435 | 1113 | if (!silent) gclog_or_tty->print("dict "); |
duke@435 | 1114 | SystemDictionary::verify(); |
duke@435 | 1115 | if (!silent) gclog_or_tty->print("hand "); |
duke@435 | 1116 | JNIHandles::verify(); |
duke@435 | 1117 | if (!silent) gclog_or_tty->print("C-heap "); |
duke@435 | 1118 | os::check_heap(); |
duke@435 | 1119 | if (!silent) gclog_or_tty->print_cr("]"); |
duke@435 | 1120 | |
duke@435 | 1121 | _verify_in_progress = false; |
duke@435 | 1122 | } |
duke@435 | 1123 | |
duke@435 | 1124 | // Oop verification (see MacroAssembler::verify_oop) |
duke@435 | 1125 | |
duke@435 | 1126 | static uintptr_t _verify_oop_data[2] = {0, (uintptr_t)-1}; |
duke@435 | 1127 | static uintptr_t _verify_klass_data[2] = {0, (uintptr_t)-1}; |
duke@435 | 1128 | |
duke@435 | 1129 | |
duke@435 | 1130 | static void calculate_verify_data(uintptr_t verify_data[2], |
duke@435 | 1131 | HeapWord* low_boundary, |
duke@435 | 1132 | HeapWord* high_boundary) { |
duke@435 | 1133 | assert(low_boundary < high_boundary, "bad interval"); |
duke@435 | 1134 | |
duke@435 | 1135 | // decide which low-order bits we require to be clear: |
duke@435 | 1136 | size_t alignSize = MinObjAlignmentInBytes; |
duke@435 | 1137 | size_t min_object_size = oopDesc::header_size(); |
duke@435 | 1138 | |
duke@435 | 1139 | // make an inclusive limit: |
duke@435 | 1140 | uintptr_t max = (uintptr_t)high_boundary - min_object_size*wordSize; |
duke@435 | 1141 | uintptr_t min = (uintptr_t)low_boundary; |
duke@435 | 1142 | assert(min < max, "bad interval"); |
duke@435 | 1143 | uintptr_t diff = max ^ min; |
duke@435 | 1144 | |
duke@435 | 1145 | // throw away enough low-order bits to make the diff vanish |
duke@435 | 1146 | uintptr_t mask = (uintptr_t)(-1); |
duke@435 | 1147 | while ((mask & diff) != 0) |
duke@435 | 1148 | mask <<= 1; |
duke@435 | 1149 | uintptr_t bits = (min & mask); |
duke@435 | 1150 | assert(bits == (max & mask), "correct mask"); |
duke@435 | 1151 | // check an intermediate value between min and max, just to make sure: |
duke@435 | 1152 | assert(bits == ((min + (max-min)/2) & mask), "correct mask"); |
duke@435 | 1153 | |
duke@435 | 1154 | // require address alignment, too: |
duke@435 | 1155 | mask |= (alignSize - 1); |
duke@435 | 1156 | |
duke@435 | 1157 | if (!(verify_data[0] == 0 && verify_data[1] == (uintptr_t)-1)) { |
duke@435 | 1158 | assert(verify_data[0] == mask && verify_data[1] == bits, "mask stability"); |
duke@435 | 1159 | } |
duke@435 | 1160 | verify_data[0] = mask; |
duke@435 | 1161 | verify_data[1] = bits; |
duke@435 | 1162 | } |
duke@435 | 1163 | |
duke@435 | 1164 | |
duke@435 | 1165 | // Oop verification (see MacroAssembler::verify_oop) |
duke@435 | 1166 | #ifndef PRODUCT |
duke@435 | 1167 | |
duke@435 | 1168 | uintptr_t Universe::verify_oop_mask() { |
duke@435 | 1169 | MemRegion m = heap()->reserved_region(); |
duke@435 | 1170 | calculate_verify_data(_verify_oop_data, |
duke@435 | 1171 | m.start(), |
duke@435 | 1172 | m.end()); |
duke@435 | 1173 | return _verify_oop_data[0]; |
duke@435 | 1174 | } |
duke@435 | 1175 | |
duke@435 | 1176 | |
duke@435 | 1177 | |
duke@435 | 1178 | uintptr_t Universe::verify_oop_bits() { |
duke@435 | 1179 | verify_oop_mask(); |
duke@435 | 1180 | return _verify_oop_data[1]; |
duke@435 | 1181 | } |
duke@435 | 1182 | |
duke@435 | 1183 | |
duke@435 | 1184 | uintptr_t Universe::verify_klass_mask() { |
duke@435 | 1185 | /* $$$ |
duke@435 | 1186 | // A klass can never live in the new space. Since the new and old |
duke@435 | 1187 | // spaces can change size, we must settle for bounds-checking against |
duke@435 | 1188 | // the bottom of the world, plus the smallest possible new and old |
duke@435 | 1189 | // space sizes that may arise during execution. |
duke@435 | 1190 | size_t min_new_size = Universe::new_size(); // in bytes |
duke@435 | 1191 | size_t min_old_size = Universe::old_size(); // in bytes |
duke@435 | 1192 | calculate_verify_data(_verify_klass_data, |
duke@435 | 1193 | (HeapWord*)((uintptr_t)_new_gen->low_boundary + min_new_size + min_old_size), |
duke@435 | 1194 | _perm_gen->high_boundary); |
duke@435 | 1195 | */ |
duke@435 | 1196 | // Why doesn't the above just say that klass's always live in the perm |
duke@435 | 1197 | // gen? I'll see if that seems to work... |
duke@435 | 1198 | MemRegion permanent_reserved; |
duke@435 | 1199 | switch (Universe::heap()->kind()) { |
duke@435 | 1200 | default: |
duke@435 | 1201 | // ???: What if a CollectedHeap doesn't have a permanent generation? |
duke@435 | 1202 | ShouldNotReachHere(); |
duke@435 | 1203 | break; |
ysr@777 | 1204 | case CollectedHeap::GenCollectedHeap: |
ysr@777 | 1205 | case CollectedHeap::G1CollectedHeap: { |
ysr@777 | 1206 | SharedHeap* sh = (SharedHeap*) Universe::heap(); |
ysr@777 | 1207 | permanent_reserved = sh->perm_gen()->reserved(); |
ysr@777 | 1208 | break; |
duke@435 | 1209 | } |
duke@435 | 1210 | #ifndef SERIALGC |
duke@435 | 1211 | case CollectedHeap::ParallelScavengeHeap: { |
duke@435 | 1212 | ParallelScavengeHeap* psh = (ParallelScavengeHeap*) Universe::heap(); |
duke@435 | 1213 | permanent_reserved = psh->perm_gen()->reserved(); |
duke@435 | 1214 | break; |
duke@435 | 1215 | } |
duke@435 | 1216 | #endif // SERIALGC |
duke@435 | 1217 | } |
duke@435 | 1218 | calculate_verify_data(_verify_klass_data, |
duke@435 | 1219 | permanent_reserved.start(), |
duke@435 | 1220 | permanent_reserved.end()); |
duke@435 | 1221 | |
duke@435 | 1222 | return _verify_klass_data[0]; |
duke@435 | 1223 | } |
duke@435 | 1224 | |
duke@435 | 1225 | |
duke@435 | 1226 | |
duke@435 | 1227 | uintptr_t Universe::verify_klass_bits() { |
duke@435 | 1228 | verify_klass_mask(); |
duke@435 | 1229 | return _verify_klass_data[1]; |
duke@435 | 1230 | } |
duke@435 | 1231 | |
duke@435 | 1232 | |
duke@435 | 1233 | uintptr_t Universe::verify_mark_mask() { |
duke@435 | 1234 | return markOopDesc::lock_mask_in_place; |
duke@435 | 1235 | } |
duke@435 | 1236 | |
duke@435 | 1237 | |
duke@435 | 1238 | |
duke@435 | 1239 | uintptr_t Universe::verify_mark_bits() { |
duke@435 | 1240 | intptr_t mask = verify_mark_mask(); |
duke@435 | 1241 | intptr_t bits = (intptr_t)markOopDesc::prototype(); |
duke@435 | 1242 | assert((bits & ~mask) == 0, "no stray header bits"); |
duke@435 | 1243 | return bits; |
duke@435 | 1244 | } |
duke@435 | 1245 | #endif // PRODUCT |
duke@435 | 1246 | |
duke@435 | 1247 | |
duke@435 | 1248 | void Universe::compute_verify_oop_data() { |
duke@435 | 1249 | verify_oop_mask(); |
duke@435 | 1250 | verify_oop_bits(); |
duke@435 | 1251 | verify_mark_mask(); |
duke@435 | 1252 | verify_mark_bits(); |
duke@435 | 1253 | verify_klass_mask(); |
duke@435 | 1254 | verify_klass_bits(); |
duke@435 | 1255 | } |
duke@435 | 1256 | |
duke@435 | 1257 | |
duke@435 | 1258 | void CommonMethodOopCache::init(klassOop k, methodOop m, TRAPS) { |
duke@435 | 1259 | if (!UseSharedSpaces) { |
duke@435 | 1260 | _klass = k; |
duke@435 | 1261 | } |
duke@435 | 1262 | #ifndef PRODUCT |
duke@435 | 1263 | else { |
duke@435 | 1264 | // sharing initilization should have already set up _klass |
duke@435 | 1265 | assert(_klass != NULL, "just checking"); |
duke@435 | 1266 | } |
duke@435 | 1267 | #endif |
duke@435 | 1268 | |
duke@435 | 1269 | _method_idnum = m->method_idnum(); |
duke@435 | 1270 | assert(_method_idnum >= 0, "sanity check"); |
duke@435 | 1271 | } |
duke@435 | 1272 | |
duke@435 | 1273 | |
duke@435 | 1274 | ActiveMethodOopsCache::~ActiveMethodOopsCache() { |
duke@435 | 1275 | if (_prev_methods != NULL) { |
duke@435 | 1276 | for (int i = _prev_methods->length() - 1; i >= 0; i--) { |
duke@435 | 1277 | jweak method_ref = _prev_methods->at(i); |
duke@435 | 1278 | if (method_ref != NULL) { |
duke@435 | 1279 | JNIHandles::destroy_weak_global(method_ref); |
duke@435 | 1280 | } |
duke@435 | 1281 | } |
duke@435 | 1282 | delete _prev_methods; |
duke@435 | 1283 | _prev_methods = NULL; |
duke@435 | 1284 | } |
duke@435 | 1285 | } |
duke@435 | 1286 | |
duke@435 | 1287 | |
duke@435 | 1288 | void ActiveMethodOopsCache::add_previous_version(const methodOop method) { |
duke@435 | 1289 | assert(Thread::current()->is_VM_thread(), |
duke@435 | 1290 | "only VMThread can add previous versions"); |
duke@435 | 1291 | |
duke@435 | 1292 | if (_prev_methods == NULL) { |
duke@435 | 1293 | // This is the first previous version so make some space. |
duke@435 | 1294 | // Start with 2 elements under the assumption that the class |
duke@435 | 1295 | // won't be redefined much. |
duke@435 | 1296 | _prev_methods = new (ResourceObj::C_HEAP) GrowableArray<jweak>(2, true); |
duke@435 | 1297 | } |
duke@435 | 1298 | |
duke@435 | 1299 | // RC_TRACE macro has an embedded ResourceMark |
duke@435 | 1300 | RC_TRACE(0x00000100, |
duke@435 | 1301 | ("add: %s(%s): adding prev version ref for cached method @%d", |
duke@435 | 1302 | method->name()->as_C_string(), method->signature()->as_C_string(), |
duke@435 | 1303 | _prev_methods->length())); |
duke@435 | 1304 | |
duke@435 | 1305 | methodHandle method_h(method); |
duke@435 | 1306 | jweak method_ref = JNIHandles::make_weak_global(method_h); |
duke@435 | 1307 | _prev_methods->append(method_ref); |
duke@435 | 1308 | |
duke@435 | 1309 | // Using weak references allows previous versions of the cached |
duke@435 | 1310 | // method to be GC'ed when they are no longer needed. Since the |
duke@435 | 1311 | // caller is the VMThread and we are at a safepoint, this is a good |
duke@435 | 1312 | // time to clear out unused weak references. |
duke@435 | 1313 | |
duke@435 | 1314 | for (int i = _prev_methods->length() - 1; i >= 0; i--) { |
duke@435 | 1315 | jweak method_ref = _prev_methods->at(i); |
duke@435 | 1316 | assert(method_ref != NULL, "weak method ref was unexpectedly cleared"); |
duke@435 | 1317 | if (method_ref == NULL) { |
duke@435 | 1318 | _prev_methods->remove_at(i); |
duke@435 | 1319 | // Since we are traversing the array backwards, we don't have to |
duke@435 | 1320 | // do anything special with the index. |
duke@435 | 1321 | continue; // robustness |
duke@435 | 1322 | } |
duke@435 | 1323 | |
duke@435 | 1324 | methodOop m = (methodOop)JNIHandles::resolve(method_ref); |
duke@435 | 1325 | if (m == NULL) { |
duke@435 | 1326 | // this method entry has been GC'ed so remove it |
duke@435 | 1327 | JNIHandles::destroy_weak_global(method_ref); |
duke@435 | 1328 | _prev_methods->remove_at(i); |
duke@435 | 1329 | } else { |
duke@435 | 1330 | // RC_TRACE macro has an embedded ResourceMark |
duke@435 | 1331 | RC_TRACE(0x00000400, ("add: %s(%s): previous cached method @%d is alive", |
duke@435 | 1332 | m->name()->as_C_string(), m->signature()->as_C_string(), i)); |
duke@435 | 1333 | } |
duke@435 | 1334 | } |
duke@435 | 1335 | } // end add_previous_version() |
duke@435 | 1336 | |
duke@435 | 1337 | |
duke@435 | 1338 | bool ActiveMethodOopsCache::is_same_method(const methodOop method) const { |
duke@435 | 1339 | instanceKlass* ik = instanceKlass::cast(klass()); |
duke@435 | 1340 | methodOop check_method = ik->method_with_idnum(method_idnum()); |
duke@435 | 1341 | assert(check_method != NULL, "sanity check"); |
duke@435 | 1342 | if (check_method == method) { |
duke@435 | 1343 | // done with the easy case |
duke@435 | 1344 | return true; |
duke@435 | 1345 | } |
duke@435 | 1346 | |
duke@435 | 1347 | if (_prev_methods != NULL) { |
duke@435 | 1348 | // The cached method has been redefined at least once so search |
duke@435 | 1349 | // the previous versions for a match. |
duke@435 | 1350 | for (int i = 0; i < _prev_methods->length(); i++) { |
duke@435 | 1351 | jweak method_ref = _prev_methods->at(i); |
duke@435 | 1352 | assert(method_ref != NULL, "weak method ref was unexpectedly cleared"); |
duke@435 | 1353 | if (method_ref == NULL) { |
duke@435 | 1354 | continue; // robustness |
duke@435 | 1355 | } |
duke@435 | 1356 | |
duke@435 | 1357 | check_method = (methodOop)JNIHandles::resolve(method_ref); |
duke@435 | 1358 | if (check_method == method) { |
duke@435 | 1359 | // a previous version matches |
duke@435 | 1360 | return true; |
duke@435 | 1361 | } |
duke@435 | 1362 | } |
duke@435 | 1363 | } |
duke@435 | 1364 | |
duke@435 | 1365 | // either no previous versions or no previous version matched |
duke@435 | 1366 | return false; |
duke@435 | 1367 | } |
duke@435 | 1368 | |
duke@435 | 1369 | |
duke@435 | 1370 | methodOop LatestMethodOopCache::get_methodOop() { |
duke@435 | 1371 | instanceKlass* ik = instanceKlass::cast(klass()); |
duke@435 | 1372 | methodOop m = ik->method_with_idnum(method_idnum()); |
duke@435 | 1373 | assert(m != NULL, "sanity check"); |
duke@435 | 1374 | return m; |
duke@435 | 1375 | } |
duke@435 | 1376 | |
duke@435 | 1377 | |
duke@435 | 1378 | #ifdef ASSERT |
duke@435 | 1379 | // Release dummy object(s) at bottom of heap |
duke@435 | 1380 | bool Universe::release_fullgc_alot_dummy() { |
duke@435 | 1381 | MutexLocker ml(FullGCALot_lock); |
duke@435 | 1382 | if (_fullgc_alot_dummy_array != NULL) { |
duke@435 | 1383 | if (_fullgc_alot_dummy_next >= _fullgc_alot_dummy_array->length()) { |
duke@435 | 1384 | // No more dummies to release, release entire array instead |
duke@435 | 1385 | _fullgc_alot_dummy_array = NULL; |
duke@435 | 1386 | return false; |
duke@435 | 1387 | } |
duke@435 | 1388 | if (!UseConcMarkSweepGC) { |
duke@435 | 1389 | // Release dummy at bottom of old generation |
duke@435 | 1390 | _fullgc_alot_dummy_array->obj_at_put(_fullgc_alot_dummy_next++, NULL); |
duke@435 | 1391 | } |
duke@435 | 1392 | // Release dummy at bottom of permanent generation |
duke@435 | 1393 | _fullgc_alot_dummy_array->obj_at_put(_fullgc_alot_dummy_next++, NULL); |
duke@435 | 1394 | } |
duke@435 | 1395 | return true; |
duke@435 | 1396 | } |
duke@435 | 1397 | |
duke@435 | 1398 | #endif // ASSERT |