src/share/vm/memory/universe.cpp

Fri, 29 Mar 2013 13:49:37 -0700

author
johnc
date
Fri, 29 Mar 2013 13:49:37 -0700
changeset 4855
24ef5fb05e0f
parent 4827
42e370795a39
child 4891
8be1318fbe77
permissions
-rw-r--r--

8010463: G1: Crashes with -UseTLAB and heap verification
Summary: Some parts of the G1 heap can only be walked during a safepoint. Skip verifying these parts of the heap when verifying during JVM startup.
Reviewed-by: brutisso, tschatzl

duke@435 1 /*
hseigel@4465 2 * Copyright (c) 1997, 2013, 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 "classfile/classLoader.hpp"
coleenp@4037 27 #include "classfile/classLoaderData.hpp"
stefank@2314 28 #include "classfile/javaClasses.hpp"
stefank@2314 29 #include "classfile/symbolTable.hpp"
stefank@2314 30 #include "classfile/systemDictionary.hpp"
stefank@2314 31 #include "classfile/vmSymbols.hpp"
stefank@2314 32 #include "code/codeCache.hpp"
stefank@2314 33 #include "code/dependencies.hpp"
stefank@2314 34 #include "gc_interface/collectedHeap.inline.hpp"
stefank@2314 35 #include "interpreter/interpreter.hpp"
stefank@2314 36 #include "memory/cardTableModRefBS.hpp"
stefank@2314 37 #include "memory/gcLocker.inline.hpp"
stefank@2314 38 #include "memory/genCollectedHeap.hpp"
stefank@2314 39 #include "memory/genRemSet.hpp"
stefank@2314 40 #include "memory/generation.hpp"
coleenp@4037 41 #include "memory/metadataFactory.hpp"
coleenp@4037 42 #include "memory/metaspaceShared.hpp"
stefank@2314 43 #include "memory/oopFactory.hpp"
stefank@2314 44 #include "memory/space.hpp"
stefank@2314 45 #include "memory/universe.hpp"
stefank@2314 46 #include "memory/universe.inline.hpp"
coleenp@4037 47 #include "oops/constantPool.hpp"
coleenp@4037 48 #include "oops/instanceClassLoaderKlass.hpp"
stefank@2314 49 #include "oops/instanceKlass.hpp"
never@2658 50 #include "oops/instanceMirrorKlass.hpp"
stefank@2314 51 #include "oops/instanceRefKlass.hpp"
stefank@2314 52 #include "oops/oop.inline.hpp"
stefank@2314 53 #include "oops/typeArrayKlass.hpp"
stefank@2314 54 #include "prims/jvmtiRedefineClassesTrace.hpp"
stefank@2314 55 #include "runtime/aprofiler.hpp"
stefank@2314 56 #include "runtime/arguments.hpp"
stefank@2314 57 #include "runtime/deoptimization.hpp"
stefank@2314 58 #include "runtime/fprofiler.hpp"
stefank@2314 59 #include "runtime/handles.inline.hpp"
stefank@2314 60 #include "runtime/init.hpp"
stefank@2314 61 #include "runtime/java.hpp"
stefank@2314 62 #include "runtime/javaCalls.hpp"
stefank@2314 63 #include "runtime/sharedRuntime.hpp"
stefank@2314 64 #include "runtime/synchronizer.hpp"
stefank@4299 65 #include "runtime/thread.inline.hpp"
stefank@2314 66 #include "runtime/timer.hpp"
stefank@2314 67 #include "runtime/vm_operations.hpp"
stefank@2314 68 #include "services/memoryService.hpp"
stefank@2314 69 #include "utilities/copy.hpp"
stefank@2314 70 #include "utilities/events.hpp"
stefank@2314 71 #include "utilities/hashtable.inline.hpp"
stefank@2314 72 #include "utilities/preserveException.hpp"
jprovino@4542 73 #include "utilities/macros.hpp"
jprovino@4542 74 #if INCLUDE_ALL_GCS
stefank@2314 75 #include "gc_implementation/concurrentMarkSweep/cmsAdaptiveSizePolicy.hpp"
stefank@2314 76 #include "gc_implementation/concurrentMarkSweep/cmsCollectorPolicy.hpp"
stefank@2314 77 #include "gc_implementation/g1/g1CollectedHeap.inline.hpp"
stefank@2314 78 #include "gc_implementation/g1/g1CollectorPolicy.hpp"
stefank@2314 79 #include "gc_implementation/parallelScavenge/parallelScavengeHeap.hpp"
jprovino@4542 80 #endif // INCLUDE_ALL_GCS
duke@435 81
duke@435 82 // Known objects
coleenp@4037 83 Klass* Universe::_boolArrayKlassObj = NULL;
coleenp@4037 84 Klass* Universe::_byteArrayKlassObj = NULL;
coleenp@4037 85 Klass* Universe::_charArrayKlassObj = NULL;
coleenp@4037 86 Klass* Universe::_intArrayKlassObj = NULL;
coleenp@4037 87 Klass* Universe::_shortArrayKlassObj = NULL;
coleenp@4037 88 Klass* Universe::_longArrayKlassObj = NULL;
coleenp@4037 89 Klass* Universe::_singleArrayKlassObj = NULL;
coleenp@4037 90 Klass* Universe::_doubleArrayKlassObj = NULL;
coleenp@4037 91 Klass* Universe::_typeArrayKlassObjs[T_VOID+1] = { NULL /*, NULL...*/ };
coleenp@4037 92 Klass* Universe::_objectArrayKlassObj = NULL;
jcoomes@916 93 oop Universe::_int_mirror = NULL;
jcoomes@916 94 oop Universe::_float_mirror = NULL;
jcoomes@916 95 oop Universe::_double_mirror = NULL;
jcoomes@916 96 oop Universe::_byte_mirror = NULL;
jcoomes@916 97 oop Universe::_bool_mirror = NULL;
jcoomes@916 98 oop Universe::_char_mirror = NULL;
jcoomes@916 99 oop Universe::_long_mirror = NULL;
jcoomes@916 100 oop Universe::_short_mirror = NULL;
jcoomes@916 101 oop Universe::_void_mirror = NULL;
jcoomes@916 102 oop Universe::_mirrors[T_VOID+1] = { NULL /*, NULL...*/ };
duke@435 103 oop Universe::_main_thread_group = NULL;
duke@435 104 oop Universe::_system_thread_group = NULL;
duke@435 105 objArrayOop Universe::_the_empty_class_klass_array = NULL;
coleenp@4037 106 Array<Klass*>* Universe::_the_array_interfaces_array = NULL;
never@1515 107 oop Universe::_the_null_string = NULL;
never@1515 108 oop Universe::_the_min_jint_string = NULL;
duke@435 109 LatestMethodOopCache* Universe::_finalizer_register_cache = NULL;
coleenp@4062 110 LatestMethodOopCache* Universe::_loader_addClass_cache = NULL;
duke@435 111 ActiveMethodOopsCache* Universe::_reflect_invoke_cache = NULL;
duke@435 112 oop Universe::_out_of_memory_error_java_heap = NULL;
duke@435 113 oop Universe::_out_of_memory_error_perm_gen = NULL;
duke@435 114 oop Universe::_out_of_memory_error_array_size = NULL;
duke@435 115 oop Universe::_out_of_memory_error_gc_overhead_limit = NULL;
duke@435 116 objArrayOop Universe::_preallocated_out_of_memory_error_array = NULL;
duke@435 117 volatile jint Universe::_preallocated_out_of_memory_error_avail_count = 0;
duke@435 118 bool Universe::_verify_in_progress = false;
duke@435 119 oop Universe::_null_ptr_exception_instance = NULL;
duke@435 120 oop Universe::_arithmetic_exception_instance = NULL;
duke@435 121 oop Universe::_virtual_machine_error_instance = NULL;
duke@435 122 oop Universe::_vm_exception = NULL;
coleenp@4037 123 Array<int>* Universe::_the_empty_int_array = NULL;
coleenp@4037 124 Array<u2>* Universe::_the_empty_short_array = NULL;
coleenp@4037 125 Array<Klass*>* Universe::_the_empty_klass_array = NULL;
coleenp@4037 126 Array<Method*>* Universe::_the_empty_method_array = NULL;
duke@435 127
duke@435 128 // These variables are guarded by FullGCALot_lock.
duke@435 129 debug_only(objArrayOop Universe::_fullgc_alot_dummy_array = NULL;)
duke@435 130 debug_only(int Universe::_fullgc_alot_dummy_next = 0;)
duke@435 131
duke@435 132 // Heap
duke@435 133 int Universe::_verify_count = 0;
duke@435 134
duke@435 135 int Universe::_base_vtable_size = 0;
duke@435 136 bool Universe::_bootstrapping = false;
duke@435 137 bool Universe::_fully_initialized = false;
duke@435 138
duke@435 139 size_t Universe::_heap_capacity_at_last_gc;
ysr@888 140 size_t Universe::_heap_used_at_last_gc = 0;
duke@435 141
duke@435 142 CollectedHeap* Universe::_collectedHeap = NULL;
kvn@1077 143
roland@4159 144 NarrowPtrStruct Universe::_narrow_oop = { NULL, 0, true };
roland@4159 145 NarrowPtrStruct Universe::_narrow_klass = { NULL, 0, true };
roland@4159 146 address Universe::_narrow_ptrs_base;
duke@435 147
hseigel@4523 148 size_t Universe::_class_metaspace_size;
duke@435 149
coleenp@4037 150 void Universe::basic_type_classes_do(void f(Klass*)) {
duke@435 151 f(boolArrayKlassObj());
duke@435 152 f(byteArrayKlassObj());
duke@435 153 f(charArrayKlassObj());
duke@435 154 f(intArrayKlassObj());
duke@435 155 f(shortArrayKlassObj());
duke@435 156 f(longArrayKlassObj());
duke@435 157 f(singleArrayKlassObj());
duke@435 158 f(doubleArrayKlassObj());
duke@435 159 }
duke@435 160
duke@435 161 void Universe::oops_do(OopClosure* f, bool do_all) {
duke@435 162
duke@435 163 f->do_oop((oop*) &_int_mirror);
duke@435 164 f->do_oop((oop*) &_float_mirror);
duke@435 165 f->do_oop((oop*) &_double_mirror);
duke@435 166 f->do_oop((oop*) &_byte_mirror);
duke@435 167 f->do_oop((oop*) &_bool_mirror);
duke@435 168 f->do_oop((oop*) &_char_mirror);
duke@435 169 f->do_oop((oop*) &_long_mirror);
duke@435 170 f->do_oop((oop*) &_short_mirror);
duke@435 171 f->do_oop((oop*) &_void_mirror);
duke@435 172
duke@435 173 for (int i = T_BOOLEAN; i < T_VOID+1; i++) {
duke@435 174 f->do_oop((oop*) &_mirrors[i]);
duke@435 175 }
duke@435 176 assert(_mirrors[0] == NULL && _mirrors[T_BOOLEAN - 1] == NULL, "checking");
duke@435 177
duke@435 178 f->do_oop((oop*)&_the_empty_class_klass_array);
never@1515 179 f->do_oop((oop*)&_the_null_string);
never@1515 180 f->do_oop((oop*)&_the_min_jint_string);
duke@435 181 f->do_oop((oop*)&_out_of_memory_error_java_heap);
duke@435 182 f->do_oop((oop*)&_out_of_memory_error_perm_gen);
duke@435 183 f->do_oop((oop*)&_out_of_memory_error_array_size);
duke@435 184 f->do_oop((oop*)&_out_of_memory_error_gc_overhead_limit);
duke@435 185 f->do_oop((oop*)&_preallocated_out_of_memory_error_array);
duke@435 186 f->do_oop((oop*)&_null_ptr_exception_instance);
duke@435 187 f->do_oop((oop*)&_arithmetic_exception_instance);
duke@435 188 f->do_oop((oop*)&_virtual_machine_error_instance);
duke@435 189 f->do_oop((oop*)&_main_thread_group);
duke@435 190 f->do_oop((oop*)&_system_thread_group);
duke@435 191 f->do_oop((oop*)&_vm_exception);
duke@435 192 debug_only(f->do_oop((oop*)&_fullgc_alot_dummy_array);)
duke@435 193 }
duke@435 194
coleenp@4037 195 // Serialize metadata in and out of CDS archive, not oops.
coleenp@4037 196 void Universe::serialize(SerializeClosure* f, bool do_all) {
coleenp@4037 197
coleenp@4037 198 f->do_ptr((void**)&_boolArrayKlassObj);
coleenp@4037 199 f->do_ptr((void**)&_byteArrayKlassObj);
coleenp@4037 200 f->do_ptr((void**)&_charArrayKlassObj);
coleenp@4037 201 f->do_ptr((void**)&_intArrayKlassObj);
coleenp@4037 202 f->do_ptr((void**)&_shortArrayKlassObj);
coleenp@4037 203 f->do_ptr((void**)&_longArrayKlassObj);
coleenp@4037 204 f->do_ptr((void**)&_singleArrayKlassObj);
coleenp@4037 205 f->do_ptr((void**)&_doubleArrayKlassObj);
coleenp@4037 206 f->do_ptr((void**)&_objectArrayKlassObj);
coleenp@4037 207
coleenp@4037 208 {
coleenp@4037 209 for (int i = 0; i < T_VOID+1; i++) {
coleenp@4037 210 if (_typeArrayKlassObjs[i] != NULL) {
coleenp@4037 211 assert(i >= T_BOOLEAN, "checking");
coleenp@4037 212 f->do_ptr((void**)&_typeArrayKlassObjs[i]);
coleenp@4037 213 } else if (do_all) {
coleenp@4037 214 f->do_ptr((void**)&_typeArrayKlassObjs[i]);
coleenp@4037 215 }
coleenp@4037 216 }
coleenp@4037 217 }
coleenp@4037 218
coleenp@4037 219 f->do_ptr((void**)&_the_array_interfaces_array);
coleenp@4037 220 f->do_ptr((void**)&_the_empty_int_array);
coleenp@4037 221 f->do_ptr((void**)&_the_empty_short_array);
coleenp@4037 222 f->do_ptr((void**)&_the_empty_method_array);
coleenp@4037 223 f->do_ptr((void**)&_the_empty_klass_array);
coleenp@4037 224 _finalizer_register_cache->serialize(f);
coleenp@4062 225 _loader_addClass_cache->serialize(f);
coleenp@4037 226 _reflect_invoke_cache->serialize(f);
coleenp@4037 227 }
duke@435 228
duke@435 229 void Universe::check_alignment(uintx size, uintx alignment, const char* name) {
duke@435 230 if (size < alignment || size % alignment != 0) {
duke@435 231 ResourceMark rm;
duke@435 232 stringStream st;
hseigel@4465 233 st.print("Size of %s (" UINTX_FORMAT " bytes) must be aligned to " UINTX_FORMAT " bytes", name, size, alignment);
duke@435 234 char* error = st.as_string();
duke@435 235 vm_exit_during_initialization(error);
duke@435 236 }
duke@435 237 }
duke@435 238
coleenp@4037 239 void initialize_basic_type_klass(Klass* k, TRAPS) {
coleenp@4037 240 Klass* ok = SystemDictionary::Object_klass();
coleenp@4037 241 if (UseSharedSpaces) {
coleenp@4037 242 assert(k->super() == ok, "u3");
coleenp@4037 243 k->restore_unshareable_info(CHECK);
coleenp@4037 244 } else {
coleenp@4037 245 k->initialize_supers(ok, CHECK);
coleenp@4037 246 }
coleenp@4037 247 k->append_to_sibling_list();
coleenp@4037 248 }
duke@435 249
duke@435 250 void Universe::genesis(TRAPS) {
duke@435 251 ResourceMark rm;
coleenp@4037 252
duke@435 253 { FlagSetting fs(_bootstrapping, true);
duke@435 254
duke@435 255 { MutexLocker mc(Compile_lock);
duke@435 256
duke@435 257 // determine base vtable size; without that we cannot create the array klasses
duke@435 258 compute_base_vtable_size();
duke@435 259
duke@435 260 if (!UseSharedSpaces) {
coleenp@4142 261 _boolArrayKlassObj = TypeArrayKlass::create_klass(T_BOOLEAN, sizeof(jboolean), CHECK);
coleenp@4142 262 _charArrayKlassObj = TypeArrayKlass::create_klass(T_CHAR, sizeof(jchar), CHECK);
coleenp@4142 263 _singleArrayKlassObj = TypeArrayKlass::create_klass(T_FLOAT, sizeof(jfloat), CHECK);
coleenp@4142 264 _doubleArrayKlassObj = TypeArrayKlass::create_klass(T_DOUBLE, sizeof(jdouble), CHECK);
coleenp@4142 265 _byteArrayKlassObj = TypeArrayKlass::create_klass(T_BYTE, sizeof(jbyte), CHECK);
coleenp@4142 266 _shortArrayKlassObj = TypeArrayKlass::create_klass(T_SHORT, sizeof(jshort), CHECK);
coleenp@4142 267 _intArrayKlassObj = TypeArrayKlass::create_klass(T_INT, sizeof(jint), CHECK);
coleenp@4142 268 _longArrayKlassObj = TypeArrayKlass::create_klass(T_LONG, sizeof(jlong), CHECK);
duke@435 269
duke@435 270 _typeArrayKlassObjs[T_BOOLEAN] = _boolArrayKlassObj;
duke@435 271 _typeArrayKlassObjs[T_CHAR] = _charArrayKlassObj;
duke@435 272 _typeArrayKlassObjs[T_FLOAT] = _singleArrayKlassObj;
duke@435 273 _typeArrayKlassObjs[T_DOUBLE] = _doubleArrayKlassObj;
duke@435 274 _typeArrayKlassObjs[T_BYTE] = _byteArrayKlassObj;
duke@435 275 _typeArrayKlassObjs[T_SHORT] = _shortArrayKlassObj;
duke@435 276 _typeArrayKlassObjs[T_INT] = _intArrayKlassObj;
duke@435 277 _typeArrayKlassObjs[T_LONG] = _longArrayKlassObj;
duke@435 278
coleenp@4037 279 ClassLoaderData* null_cld = ClassLoaderData::the_null_class_loader_data();
duke@435 280
coleenp@4037 281 _the_array_interfaces_array = MetadataFactory::new_array<Klass*>(null_cld, 2, NULL, CHECK);
coleenp@4037 282 _the_empty_int_array = MetadataFactory::new_array<int>(null_cld, 0, CHECK);
coleenp@4037 283 _the_empty_short_array = MetadataFactory::new_array<u2>(null_cld, 0, CHECK);
coleenp@4037 284 _the_empty_method_array = MetadataFactory::new_array<Method*>(null_cld, 0, CHECK);
coleenp@4037 285 _the_empty_klass_array = MetadataFactory::new_array<Klass*>(null_cld, 0, CHECK);
duke@435 286 }
duke@435 287 }
duke@435 288
duke@435 289 vmSymbols::initialize(CHECK);
duke@435 290
duke@435 291 SystemDictionary::initialize(CHECK);
duke@435 292
coleenp@4037 293 Klass* ok = SystemDictionary::Object_klass();
duke@435 294
never@1515 295 _the_null_string = StringTable::intern("null", CHECK);
never@1515 296 _the_min_jint_string = StringTable::intern("-2147483648", CHECK);
never@1515 297
duke@435 298 if (UseSharedSpaces) {
duke@435 299 // Verify shared interfaces array.
coleenp@4037 300 assert(_the_array_interfaces_array->at(0) ==
never@1577 301 SystemDictionary::Cloneable_klass(), "u3");
coleenp@4037 302 assert(_the_array_interfaces_array->at(1) ==
never@1577 303 SystemDictionary::Serializable_klass(), "u3");
duke@435 304 } else {
duke@435 305 // Set up shared interfaces array. (Do this before supers are set up.)
coleenp@4037 306 _the_array_interfaces_array->at_put(0, SystemDictionary::Cloneable_klass());
coleenp@4037 307 _the_array_interfaces_array->at_put(1, SystemDictionary::Serializable_klass());
duke@435 308 }
duke@435 309
coleenp@4037 310 initialize_basic_type_klass(boolArrayKlassObj(), CHECK);
coleenp@4037 311 initialize_basic_type_klass(charArrayKlassObj(), CHECK);
coleenp@4037 312 initialize_basic_type_klass(singleArrayKlassObj(), CHECK);
coleenp@4037 313 initialize_basic_type_klass(doubleArrayKlassObj(), CHECK);
coleenp@4037 314 initialize_basic_type_klass(byteArrayKlassObj(), CHECK);
coleenp@4037 315 initialize_basic_type_klass(shortArrayKlassObj(), CHECK);
coleenp@4037 316 initialize_basic_type_klass(intArrayKlassObj(), CHECK);
coleenp@4037 317 initialize_basic_type_klass(longArrayKlassObj(), CHECK);
duke@435 318 } // end of core bootstrapping
duke@435 319
coleenp@4037 320 // Maybe this could be lifted up now that object array can be initialized
coleenp@4037 321 // during the bootstrapping.
coleenp@4037 322
coleenp@4037 323 // OLD
duke@435 324 // Initialize _objectArrayKlass after core bootstraping to make
duke@435 325 // sure the super class is set up properly for _objectArrayKlass.
coleenp@4037 326 // ---
coleenp@4037 327 // NEW
coleenp@4037 328 // Since some of the old system object arrays have been converted to
coleenp@4037 329 // ordinary object arrays, _objectArrayKlass will be loaded when
coleenp@4037 330 // SystemDictionary::initialize(CHECK); is run. See the extra check
coleenp@4037 331 // for Object_klass_loaded in objArrayKlassKlass::allocate_objArray_klass_impl.
coleenp@4037 332 _objectArrayKlassObj = InstanceKlass::
never@1577 333 cast(SystemDictionary::Object_klass())->array_klass(1, CHECK);
coleenp@4037 334 // OLD
duke@435 335 // Add the class to the class hierarchy manually to make sure that
duke@435 336 // its vtable is initialized after core bootstrapping is completed.
coleenp@4037 337 // ---
coleenp@4037 338 // New
coleenp@4037 339 // Have already been initialized.
hseigel@4278 340 _objectArrayKlassObj->append_to_sibling_list();
duke@435 341
duke@435 342 // Compute is_jdk version flags.
duke@435 343 // Only 1.3 or later has the java.lang.Shutdown class.
duke@435 344 // Only 1.4 or later has the java.lang.CharSequence interface.
duke@435 345 // Only 1.5 or later has the java.lang.management.MemoryUsage class.
kamg@677 346 if (JDK_Version::is_partially_initialized()) {
kamg@677 347 uint8_t jdk_version;
coleenp@4037 348 Klass* k = SystemDictionary::resolve_or_null(
coleenp@2497 349 vmSymbols::java_lang_management_MemoryUsage(), THREAD);
duke@435 350 CLEAR_PENDING_EXCEPTION; // ignore exceptions
duke@435 351 if (k == NULL) {
kamg@677 352 k = SystemDictionary::resolve_or_null(
coleenp@2497 353 vmSymbols::java_lang_CharSequence(), THREAD);
duke@435 354 CLEAR_PENDING_EXCEPTION; // ignore exceptions
duke@435 355 if (k == NULL) {
kamg@677 356 k = SystemDictionary::resolve_or_null(
coleenp@2497 357 vmSymbols::java_lang_Shutdown(), THREAD);
duke@435 358 CLEAR_PENDING_EXCEPTION; // ignore exceptions
duke@435 359 if (k == NULL) {
kamg@677 360 jdk_version = 2;
duke@435 361 } else {
kamg@677 362 jdk_version = 3;
duke@435 363 }
duke@435 364 } else {
kamg@677 365 jdk_version = 4;
duke@435 366 }
duke@435 367 } else {
kamg@677 368 jdk_version = 5;
duke@435 369 }
kamg@677 370 JDK_Version::fully_initialize(jdk_version);
duke@435 371 }
duke@435 372
duke@435 373 #ifdef ASSERT
duke@435 374 if (FullGCALot) {
duke@435 375 // Allocate an array of dummy objects.
duke@435 376 // We'd like these to be at the bottom of the old generation,
duke@435 377 // so that when we free one and then collect,
duke@435 378 // (almost) the whole heap moves
duke@435 379 // and we find out if we actually update all the oops correctly.
duke@435 380 // But we can't allocate directly in the old generation,
duke@435 381 // so we allocate wherever, and hope that the first collection
duke@435 382 // moves these objects to the bottom of the old generation.
duke@435 383 // We can allocate directly in the permanent generation, so we do.
duke@435 384 int size;
duke@435 385 if (UseConcMarkSweepGC) {
duke@435 386 warning("Using +FullGCALot with concurrent mark sweep gc "
duke@435 387 "will not force all objects to relocate");
duke@435 388 size = FullGCALotDummies;
duke@435 389 } else {
duke@435 390 size = FullGCALotDummies * 2;
duke@435 391 }
coleenp@4037 392 objArrayOop naked_array = oopFactory::new_objArray(SystemDictionary::Object_klass(), size, CHECK);
duke@435 393 objArrayHandle dummy_array(THREAD, naked_array);
duke@435 394 int i = 0;
duke@435 395 while (i < size) {
duke@435 396 // Allocate dummy in old generation
coleenp@4037 397 oop dummy = InstanceKlass::cast(SystemDictionary::Object_klass())->allocate_instance(CHECK);
duke@435 398 dummy_array->obj_at_put(i++, dummy);
duke@435 399 }
duke@435 400 {
duke@435 401 // Only modify the global variable inside the mutex.
duke@435 402 // If we had a race to here, the other dummy_array instances
duke@435 403 // and their elements just get dropped on the floor, which is fine.
duke@435 404 MutexLocker ml(FullGCALot_lock);
duke@435 405 if (_fullgc_alot_dummy_array == NULL) {
duke@435 406 _fullgc_alot_dummy_array = dummy_array();
duke@435 407 }
duke@435 408 }
duke@435 409 assert(i == _fullgc_alot_dummy_array->length(), "just checking");
duke@435 410 }
duke@435 411 #endif
coleenp@4304 412
coleenp@4304 413 // Initialize dependency array for null class loader
coleenp@4304 414 ClassLoaderData::the_null_class_loader_data()->init_dependencies(CHECK);
coleenp@4304 415
duke@435 416 }
duke@435 417
coleenp@4037 418 // CDS support for patching vtables in metadata in the shared archive.
coleenp@4037 419 // All types inherited from Metadata have vtables, but not types inherited
coleenp@4037 420 // from MetaspaceObj, because the latter does not have virtual functions.
coleenp@4037 421 // If the metadata type has a vtable, it cannot be shared in the read-only
coleenp@4037 422 // section of the CDS archive, because the vtable pointer is patched.
coleenp@2497 423 static inline void add_vtable(void** list, int* n, void* o, int count) {
coleenp@2497 424 guarantee((*n) < count, "vtable list too small");
coleenp@4295 425 void* vtable = dereference_vptr(o);
coleenp@4295 426 assert(*(void**)(vtable) != NULL, "invalid vtable");
coleenp@2497 427 list[(*n)++] = vtable;
coleenp@2497 428 }
duke@435 429
duke@435 430 void Universe::init_self_patching_vtbl_list(void** list, int count) {
duke@435 431 int n = 0;
coleenp@4037 432 { InstanceKlass o; add_vtable(list, &n, &o, count); }
coleenp@4047 433 { InstanceClassLoaderKlass o; add_vtable(list, &n, &o, count); }
coleenp@4047 434 { InstanceMirrorKlass o; add_vtable(list, &n, &o, count); }
coleenp@4047 435 { InstanceRefKlass o; add_vtable(list, &n, &o, count); }
coleenp@4142 436 { TypeArrayKlass o; add_vtable(list, &n, &o, count); }
coleenp@4142 437 { ObjArrayKlass o; add_vtable(list, &n, &o, count); }
coleenp@4037 438 { Method o; add_vtable(list, &n, &o, count); }
coleenp@4037 439 { ConstantPool o; add_vtable(list, &n, &o, count); }
duke@435 440 }
duke@435 441
duke@435 442 void Universe::initialize_basic_type_mirrors(TRAPS) {
duke@435 443 assert(_int_mirror==NULL, "basic type mirrors already initialized");
duke@435 444 _int_mirror =
duke@435 445 java_lang_Class::create_basic_type_mirror("int", T_INT, CHECK);
duke@435 446 _float_mirror =
duke@435 447 java_lang_Class::create_basic_type_mirror("float", T_FLOAT, CHECK);
duke@435 448 _double_mirror =
duke@435 449 java_lang_Class::create_basic_type_mirror("double", T_DOUBLE, CHECK);
duke@435 450 _byte_mirror =
duke@435 451 java_lang_Class::create_basic_type_mirror("byte", T_BYTE, CHECK);
duke@435 452 _bool_mirror =
duke@435 453 java_lang_Class::create_basic_type_mirror("boolean",T_BOOLEAN, CHECK);
duke@435 454 _char_mirror =
duke@435 455 java_lang_Class::create_basic_type_mirror("char", T_CHAR, CHECK);
duke@435 456 _long_mirror =
duke@435 457 java_lang_Class::create_basic_type_mirror("long", T_LONG, CHECK);
duke@435 458 _short_mirror =
duke@435 459 java_lang_Class::create_basic_type_mirror("short", T_SHORT, CHECK);
duke@435 460 _void_mirror =
duke@435 461 java_lang_Class::create_basic_type_mirror("void", T_VOID, CHECK);
duke@435 462
duke@435 463 _mirrors[T_INT] = _int_mirror;
duke@435 464 _mirrors[T_FLOAT] = _float_mirror;
duke@435 465 _mirrors[T_DOUBLE] = _double_mirror;
duke@435 466 _mirrors[T_BYTE] = _byte_mirror;
duke@435 467 _mirrors[T_BOOLEAN] = _bool_mirror;
duke@435 468 _mirrors[T_CHAR] = _char_mirror;
duke@435 469 _mirrors[T_LONG] = _long_mirror;
duke@435 470 _mirrors[T_SHORT] = _short_mirror;
duke@435 471 _mirrors[T_VOID] = _void_mirror;
coleenp@4037 472 //_mirrors[T_OBJECT] = InstanceKlass::cast(_object_klass)->java_mirror();
coleenp@4037 473 //_mirrors[T_ARRAY] = InstanceKlass::cast(_object_klass)->java_mirror();
duke@435 474 }
duke@435 475
duke@435 476 void Universe::fixup_mirrors(TRAPS) {
duke@435 477 // Bootstrap problem: all classes gets a mirror (java.lang.Class instance) assigned eagerly,
duke@435 478 // but we cannot do that for classes created before java.lang.Class is loaded. Here we simply
duke@435 479 // walk over permanent objects created so far (mostly classes) and fixup their mirrors. Note
duke@435 480 // that the number of objects allocated at this point is very small.
never@1577 481 assert(SystemDictionary::Class_klass_loaded(), "java.lang.Class should be loaded");
coleenp@4037 482 HandleMark hm(THREAD);
never@2658 483 // Cache the start of the static fields
coleenp@4047 484 InstanceMirrorKlass::init_offset_of_static_fields();
never@2658 485
coleenp@4037 486 GrowableArray <Klass*>* list = java_lang_Class::fixup_mirror_list();
coleenp@4037 487 int list_length = list->length();
coleenp@4037 488 for (int i = 0; i < list_length; i++) {
coleenp@4037 489 Klass* k = list->at(i);
coleenp@4037 490 assert(k->is_klass(), "List should only hold classes");
coleenp@4037 491 EXCEPTION_MARK;
coleenp@4037 492 KlassHandle kh(THREAD, k);
coleenp@4037 493 java_lang_Class::fixup_mirror(kh, CATCH);
duke@435 494 }
coleenp@4037 495 delete java_lang_Class::fixup_mirror_list();
coleenp@4037 496 java_lang_Class::set_fixup_mirror_list(NULL);
coleenp@4037 497 }
duke@435 498
duke@435 499 static bool has_run_finalizers_on_exit = false;
duke@435 500
duke@435 501 void Universe::run_finalizers_on_exit() {
duke@435 502 if (has_run_finalizers_on_exit) return;
duke@435 503 has_run_finalizers_on_exit = true;
duke@435 504
duke@435 505 // Called on VM exit. This ought to be run in a separate thread.
duke@435 506 if (TraceReferenceGC) tty->print_cr("Callback to run finalizers on exit");
duke@435 507 {
duke@435 508 PRESERVE_EXCEPTION_MARK;
never@1577 509 KlassHandle finalizer_klass(THREAD, SystemDictionary::Finalizer_klass());
duke@435 510 JavaValue result(T_VOID);
duke@435 511 JavaCalls::call_static(
duke@435 512 &result,
duke@435 513 finalizer_klass,
coleenp@2497 514 vmSymbols::run_finalizers_on_exit_name(),
coleenp@2497 515 vmSymbols::void_method_signature(),
duke@435 516 THREAD
duke@435 517 );
duke@435 518 // Ignore any pending exceptions
duke@435 519 CLEAR_PENDING_EXCEPTION;
duke@435 520 }
duke@435 521 }
duke@435 522
duke@435 523
duke@435 524 // initialize_vtable could cause gc if
duke@435 525 // 1) we specified true to initialize_vtable and
duke@435 526 // 2) this ran after gc was enabled
duke@435 527 // In case those ever change we use handles for oops
duke@435 528 void Universe::reinitialize_vtable_of(KlassHandle k_h, TRAPS) {
duke@435 529 // init vtable of k and all subclasses
coleenp@4037 530 Klass* ko = k_h();
duke@435 531 klassVtable* vt = ko->vtable();
duke@435 532 if (vt) vt->initialize_vtable(false, CHECK);
duke@435 533 if (ko->oop_is_instance()) {
coleenp@4037 534 InstanceKlass* ik = (InstanceKlass*)ko;
coleenp@4037 535 for (KlassHandle s_h(THREAD, ik->subklass()); s_h() != NULL; s_h = (THREAD, s_h()->next_sibling())) {
duke@435 536 reinitialize_vtable_of(s_h, CHECK);
duke@435 537 }
duke@435 538 }
duke@435 539 }
duke@435 540
duke@435 541
coleenp@4037 542 void initialize_itable_for_klass(Klass* k, TRAPS) {
coleenp@4037 543 InstanceKlass::cast(k)->itable()->initialize_itable(false, CHECK);
duke@435 544 }
duke@435 545
duke@435 546
duke@435 547 void Universe::reinitialize_itables(TRAPS) {
duke@435 548 SystemDictionary::classes_do(initialize_itable_for_klass, CHECK);
duke@435 549
duke@435 550 }
duke@435 551
duke@435 552
duke@435 553 bool Universe::on_page_boundary(void* addr) {
duke@435 554 return ((uintptr_t) addr) % os::vm_page_size() == 0;
duke@435 555 }
duke@435 556
duke@435 557
duke@435 558 bool Universe::should_fill_in_stack_trace(Handle throwable) {
duke@435 559 // never attempt to fill in the stack trace of preallocated errors that do not have
duke@435 560 // backtrace. These errors are kept alive forever and may be "re-used" when all
duke@435 561 // preallocated errors with backtrace have been consumed. Also need to avoid
duke@435 562 // a potential loop which could happen if an out of memory occurs when attempting
duke@435 563 // to allocate the backtrace.
duke@435 564 return ((throwable() != Universe::_out_of_memory_error_java_heap) &&
duke@435 565 (throwable() != Universe::_out_of_memory_error_perm_gen) &&
duke@435 566 (throwable() != Universe::_out_of_memory_error_array_size) &&
duke@435 567 (throwable() != Universe::_out_of_memory_error_gc_overhead_limit));
duke@435 568 }
duke@435 569
duke@435 570
duke@435 571 oop Universe::gen_out_of_memory_error(oop default_err) {
duke@435 572 // generate an out of memory error:
duke@435 573 // - if there is a preallocated error with backtrace available then return it wth
duke@435 574 // a filled in stack trace.
duke@435 575 // - if there are no preallocated errors with backtrace available then return
duke@435 576 // an error without backtrace.
duke@435 577 int next;
duke@435 578 if (_preallocated_out_of_memory_error_avail_count > 0) {
duke@435 579 next = (int)Atomic::add(-1, &_preallocated_out_of_memory_error_avail_count);
duke@435 580 assert(next < (int)PreallocatedOutOfMemoryErrorCount, "avail count is corrupt");
duke@435 581 } else {
duke@435 582 next = -1;
duke@435 583 }
duke@435 584 if (next < 0) {
duke@435 585 // all preallocated errors have been used.
duke@435 586 // return default
duke@435 587 return default_err;
duke@435 588 } else {
duke@435 589 // get the error object at the slot and set set it to NULL so that the
duke@435 590 // array isn't keeping it alive anymore.
duke@435 591 oop exc = preallocated_out_of_memory_errors()->obj_at(next);
duke@435 592 assert(exc != NULL, "slot has been used already");
duke@435 593 preallocated_out_of_memory_errors()->obj_at_put(next, NULL);
duke@435 594
duke@435 595 // use the message from the default error
duke@435 596 oop msg = java_lang_Throwable::message(default_err);
duke@435 597 assert(msg != NULL, "no message");
duke@435 598 java_lang_Throwable::set_message(exc, msg);
duke@435 599
duke@435 600 // populate the stack trace and return it.
duke@435 601 java_lang_Throwable::fill_in_stack_trace_of_preallocated_backtrace(exc);
duke@435 602 return exc;
duke@435 603 }
duke@435 604 }
duke@435 605
duke@435 606 static intptr_t non_oop_bits = 0;
duke@435 607
duke@435 608 void* Universe::non_oop_word() {
duke@435 609 // Neither the high bits nor the low bits of this value is allowed
duke@435 610 // to look like (respectively) the high or low bits of a real oop.
duke@435 611 //
duke@435 612 // High and low are CPU-specific notions, but low always includes
duke@435 613 // the low-order bit. Since oops are always aligned at least mod 4,
duke@435 614 // setting the low-order bit will ensure that the low half of the
duke@435 615 // word will never look like that of a real oop.
duke@435 616 //
duke@435 617 // Using the OS-supplied non-memory-address word (usually 0 or -1)
duke@435 618 // will take care of the high bits, however many there are.
duke@435 619
duke@435 620 if (non_oop_bits == 0) {
duke@435 621 non_oop_bits = (intptr_t)os::non_memory_address_word() | 1;
duke@435 622 }
duke@435 623
duke@435 624 return (void*)non_oop_bits;
duke@435 625 }
duke@435 626
duke@435 627 jint universe_init() {
duke@435 628 assert(!Universe::_fully_initialized, "called after initialize_vtables");
duke@435 629 guarantee(1 << LogHeapWordSize == sizeof(HeapWord),
duke@435 630 "LogHeapWordSize is incorrect.");
duke@435 631 guarantee(sizeof(oop) >= sizeof(HeapWord), "HeapWord larger than oop?");
duke@435 632 guarantee(sizeof(oop) % sizeof(HeapWord) == 0,
coleenp@548 633 "oop size is not not a multiple of HeapWord size");
duke@435 634 TraceTime timer("Genesis", TraceStartupTime);
duke@435 635 GC_locker::lock(); // do not allow gc during bootstrapping
duke@435 636 JavaClasses::compute_hard_coded_offsets();
duke@435 637
duke@435 638 jint status = Universe::initialize_heap();
duke@435 639 if (status != JNI_OK) {
duke@435 640 return status;
duke@435 641 }
duke@435 642
coleenp@4037 643 // Create memory for metadata. Must be after initializing heap for
coleenp@4037 644 // DumpSharedSpaces.
coleenp@4037 645 ClassLoaderData::init_null_class_loader_data();
coleenp@4037 646
coleenp@4037 647 // We have a heap so create the Method* caches before
coleenp@4037 648 // Metaspace::initialize_shared_spaces() tries to populate them.
duke@435 649 Universe::_finalizer_register_cache = new LatestMethodOopCache();
coleenp@4062 650 Universe::_loader_addClass_cache = new LatestMethodOopCache();
duke@435 651 Universe::_reflect_invoke_cache = new ActiveMethodOopsCache();
duke@435 652
duke@435 653 if (UseSharedSpaces) {
duke@435 654 // Read the data structures supporting the shared spaces (shared
duke@435 655 // system dictionary, symbol table, etc.). After that, access to
duke@435 656 // the file (other than the mapped regions) is no longer needed, and
duke@435 657 // the file is closed. Closing the file does not affect the
duke@435 658 // currently mapped regions.
coleenp@4037 659 MetaspaceShared::initialize_shared_spaces();
coleenp@4037 660 StringTable::create_table();
duke@435 661 } else {
duke@435 662 SymbolTable::create_table();
duke@435 663 StringTable::create_table();
duke@435 664 ClassLoader::create_package_info_table();
duke@435 665 }
duke@435 666
duke@435 667 return JNI_OK;
duke@435 668 }
duke@435 669
kvn@1077 670 // Choose the heap base address and oop encoding mode
kvn@1077 671 // when compressed oops are used:
kvn@1077 672 // Unscaled - Use 32-bits oops without encoding when
kvn@1077 673 // NarrowOopHeapBaseMin + heap_size < 4Gb
kvn@1077 674 // ZeroBased - Use zero based compressed oops with encoding when
kvn@1077 675 // NarrowOopHeapBaseMin + heap_size < 32Gb
kvn@1077 676 // HeapBased - Use compressed oops with heap base + encoding.
kvn@1077 677
kvn@1077 678 // 4Gb
kvn@1077 679 static const uint64_t NarrowOopHeapMax = (uint64_t(max_juint) + 1);
kvn@1077 680 // 32Gb
kvn@1926 681 // OopEncodingHeapMax == NarrowOopHeapMax << LogMinObjAlignmentInBytes;
kvn@1077 682
kvn@1077 683 char* Universe::preferred_heap_base(size_t heap_size, NARROW_OOP_MODE mode) {
kvn@1492 684 size_t base = 0;
kvn@1077 685 #ifdef _LP64
kvn@1077 686 if (UseCompressedOops) {
kvn@1077 687 assert(mode == UnscaledNarrowOop ||
kvn@1077 688 mode == ZeroBasedNarrowOop ||
kvn@1077 689 mode == HeapBasedNarrowOop, "mode is invalid");
kvn@1492 690 const size_t total_size = heap_size + HeapBaseMinAddress;
kvn@1357 691 // Return specified base for the first request.
kvn@1357 692 if (!FLAG_IS_DEFAULT(HeapBaseMinAddress) && (mode == UnscaledNarrowOop)) {
kvn@1492 693 base = HeapBaseMinAddress;
hseigel@4523 694
hseigel@4523 695 // If the total size and the metaspace size are small enough to allow
hseigel@4523 696 // UnscaledNarrowOop then just use UnscaledNarrowOop.
hseigel@4523 697 } else if ((total_size <= OopEncodingHeapMax) && (mode != HeapBasedNarrowOop) &&
hseigel@4523 698 (!UseCompressedKlassPointers ||
hseigel@4523 699 (((OopEncodingHeapMax - heap_size) + Universe::class_metaspace_size()) <= KlassEncodingMetaspaceMax))) {
hseigel@4523 700 // We don't need to check the metaspace size here because it is always smaller
hseigel@4523 701 // than total_size.
hseigel@4523 702 if ((total_size <= NarrowOopHeapMax) && (mode == UnscaledNarrowOop) &&
kvn@1077 703 (Universe::narrow_oop_shift() == 0)) {
kvn@1077 704 // Use 32-bits oops without encoding and
kvn@1077 705 // place heap's top on the 4Gb boundary
kvn@1492 706 base = (NarrowOopHeapMax - heap_size);
kvn@1077 707 } else {
kvn@1077 708 // Can't reserve with NarrowOopShift == 0
kvn@1077 709 Universe::set_narrow_oop_shift(LogMinObjAlignmentInBytes);
kvn@1077 710 if (mode == UnscaledNarrowOop ||
kvn@1077 711 mode == ZeroBasedNarrowOop && total_size <= NarrowOopHeapMax) {
kvn@1077 712 // Use zero based compressed oops with encoding and
kvn@1077 713 // place heap's top on the 32Gb boundary in case
kvn@1077 714 // total_size > 4Gb or failed to reserve below 4Gb.
kvn@1492 715 base = (OopEncodingHeapMax - heap_size);
kvn@1077 716 }
kvn@1077 717 }
hseigel@4523 718
hseigel@4523 719 // See if ZeroBaseNarrowOop encoding will work for a heap based at
hseigel@4523 720 // (KlassEncodingMetaspaceMax - class_metaspace_size()).
hseigel@4523 721 } else if (UseCompressedKlassPointers && (mode != HeapBasedNarrowOop) &&
hseigel@4523 722 (Universe::class_metaspace_size() + HeapBaseMinAddress <= KlassEncodingMetaspaceMax) &&
hseigel@4523 723 (KlassEncodingMetaspaceMax + heap_size - Universe::class_metaspace_size() <= OopEncodingHeapMax)) {
hseigel@4523 724 base = (KlassEncodingMetaspaceMax - Universe::class_metaspace_size());
kvn@1077 725 } else {
hseigel@4523 726 // UnscaledNarrowOop encoding didn't work, and no base was found for ZeroBasedOops or
hseigel@4523 727 // HeapBasedNarrowOop encoding was requested. So, can't reserve below 32Gb.
kvn@1077 728 Universe::set_narrow_oop_shift(LogMinObjAlignmentInBytes);
kvn@1077 729 }
hseigel@4523 730
kvn@1492 731 // Set narrow_oop_base and narrow_oop_use_implicit_null_checks
kvn@1492 732 // used in ReservedHeapSpace() constructors.
kvn@1492 733 // The final values will be set in initialize_heap() below.
hseigel@4523 734 if ((base != 0) && ((base + heap_size) <= OopEncodingHeapMax) &&
hseigel@4523 735 (!UseCompressedKlassPointers || (base + Universe::class_metaspace_size()) <= KlassEncodingMetaspaceMax)) {
kvn@1492 736 // Use zero based compressed oops
kvn@1492 737 Universe::set_narrow_oop_base(NULL);
kvn@1492 738 // Don't need guard page for implicit checks in indexed
kvn@1492 739 // addressing mode with zero based Compressed Oops.
kvn@1492 740 Universe::set_narrow_oop_use_implicit_null_checks(true);
kvn@1492 741 } else {
kvn@1492 742 // Set to a non-NULL value so the ReservedSpace ctor computes
kvn@1492 743 // the correct no-access prefix.
kvn@1492 744 // The final value will be set in initialize_heap() below.
kvn@1492 745 Universe::set_narrow_oop_base((address)NarrowOopHeapMax);
kvn@1492 746 #ifdef _WIN64
kvn@1492 747 if (UseLargePages) {
kvn@1492 748 // Cannot allocate guard pages for implicit checks in indexed
kvn@1492 749 // addressing mode when large pages are specified on windows.
kvn@1492 750 Universe::set_narrow_oop_use_implicit_null_checks(false);
kvn@1492 751 }
kvn@1492 752 #endif // _WIN64
kvn@1492 753 }
kvn@1077 754 }
kvn@1077 755 #endif
kvn@1492 756 return (char*)base; // also return NULL (don't care) for 32-bit VM
kvn@1077 757 }
kvn@1077 758
duke@435 759 jint Universe::initialize_heap() {
duke@435 760
duke@435 761 if (UseParallelGC) {
jprovino@4542 762 #if INCLUDE_ALL_GCS
duke@435 763 Universe::_collectedHeap = new ParallelScavengeHeap();
jprovino@4542 764 #else // INCLUDE_ALL_GCS
jprovino@4165 765 fatal("UseParallelGC not supported in this VM.");
jprovino@4542 766 #endif // INCLUDE_ALL_GCS
duke@435 767
ysr@777 768 } else if (UseG1GC) {
jprovino@4542 769 #if INCLUDE_ALL_GCS
tonyp@3209 770 G1CollectorPolicy* g1p = new G1CollectorPolicy();
ysr@777 771 G1CollectedHeap* g1h = new G1CollectedHeap(g1p);
ysr@777 772 Universe::_collectedHeap = g1h;
jprovino@4542 773 #else // INCLUDE_ALL_GCS
ysr@777 774 fatal("UseG1GC not supported in java kernel vm.");
jprovino@4542 775 #endif // INCLUDE_ALL_GCS
ysr@777 776
duke@435 777 } else {
duke@435 778 GenCollectorPolicy *gc_policy;
duke@435 779
duke@435 780 if (UseSerialGC) {
duke@435 781 gc_policy = new MarkSweepPolicy();
duke@435 782 } else if (UseConcMarkSweepGC) {
jprovino@4542 783 #if INCLUDE_ALL_GCS
duke@435 784 if (UseAdaptiveSizePolicy) {
duke@435 785 gc_policy = new ASConcurrentMarkSweepPolicy();
duke@435 786 } else {
duke@435 787 gc_policy = new ConcurrentMarkSweepPolicy();
duke@435 788 }
jprovino@4542 789 #else // INCLUDE_ALL_GCS
jprovino@4165 790 fatal("UseConcMarkSweepGC not supported in this VM.");
jprovino@4542 791 #endif // INCLUDE_ALL_GCS
duke@435 792 } else { // default old generation
duke@435 793 gc_policy = new MarkSweepPolicy();
duke@435 794 }
duke@435 795
duke@435 796 Universe::_collectedHeap = new GenCollectedHeap(gc_policy);
duke@435 797 }
duke@435 798
duke@435 799 jint status = Universe::heap()->initialize();
duke@435 800 if (status != JNI_OK) {
duke@435 801 return status;
duke@435 802 }
kvn@1077 803
kvn@1077 804 #ifdef _LP64
coleenp@548 805 if (UseCompressedOops) {
coleenp@548 806 // Subtract a page because something can get allocated at heap base.
coleenp@548 807 // This also makes implicit null checking work, because the
coleenp@548 808 // memory+1 page below heap_base needs to cause a signal.
coleenp@548 809 // See needs_explicit_null_check.
coleenp@548 810 // Only set the heap base for compressed oops because it indicates
coleenp@548 811 // compressed oops for pstack code.
kvn@2403 812 bool verbose = PrintCompressedOopsMode || (PrintMiscellaneous && Verbose);
kvn@2403 813 if (verbose) {
kvn@1077 814 tty->cr();
kvn@2305 815 tty->print("heap address: " PTR_FORMAT ", size: " SIZE_FORMAT " MB",
kvn@2305 816 Universe::heap()->base(), Universe::heap()->reserved_region().byte_size()/M);
kvn@1077 817 }
hseigel@4523 818 if (((uint64_t)Universe::heap()->reserved_region().end() > OopEncodingHeapMax) ||
hseigel@4523 819 (UseCompressedKlassPointers &&
hseigel@4523 820 ((uint64_t)Universe::heap()->base() + Universe::class_metaspace_size() > KlassEncodingMetaspaceMax))) {
kvn@1077 821 // Can't reserve heap below 32Gb.
roland@4159 822 // keep the Universe::narrow_oop_base() set in Universe::reserve_heap()
kvn@1077 823 Universe::set_narrow_oop_shift(LogMinObjAlignmentInBytes);
kvn@2403 824 if (verbose) {
kvn@1077 825 tty->print(", Compressed Oops with base: "PTR_FORMAT, Universe::narrow_oop_base());
kvn@1077 826 }
kvn@1077 827 } else {
kvn@1077 828 Universe::set_narrow_oop_base(0);
kvn@2403 829 if (verbose) {
kvn@1077 830 tty->print(", zero based Compressed Oops");
kvn@1077 831 }
kvn@1077 832 #ifdef _WIN64
kvn@1077 833 if (!Universe::narrow_oop_use_implicit_null_checks()) {
kvn@1077 834 // Don't need guard page for implicit checks in indexed addressing
kvn@1077 835 // mode with zero based Compressed Oops.
kvn@1077 836 Universe::set_narrow_oop_use_implicit_null_checks(true);
kvn@1077 837 }
kvn@1077 838 #endif // _WIN64
kvn@1077 839 if((uint64_t)Universe::heap()->reserved_region().end() > NarrowOopHeapMax) {
kvn@1077 840 // Can't reserve heap below 4Gb.
kvn@1077 841 Universe::set_narrow_oop_shift(LogMinObjAlignmentInBytes);
kvn@1077 842 } else {
kvn@1357 843 Universe::set_narrow_oop_shift(0);
kvn@2403 844 if (verbose) {
kvn@1077 845 tty->print(", 32-bits Oops");
kvn@1077 846 }
kvn@1077 847 }
kvn@1077 848 }
kvn@2403 849 if (verbose) {
kvn@1077 850 tty->cr();
kvn@1077 851 tty->cr();
kvn@1077 852 }
roland@4159 853 if (UseCompressedKlassPointers) {
roland@4159 854 Universe::set_narrow_klass_base(Universe::narrow_oop_base());
roland@4159 855 Universe::set_narrow_klass_shift(MIN2(Universe::narrow_oop_shift(), LogKlassAlignmentInBytes));
roland@4159 856 }
roland@4159 857 Universe::set_narrow_ptrs_base(Universe::narrow_oop_base());
coleenp@548 858 }
roland@4159 859 // Universe::narrow_oop_base() is one page below the metaspace
roland@4159 860 // base. The actual metaspace base depends on alignment constraints
roland@4159 861 // so we don't know its exact location here.
roland@4159 862 assert((intptr_t)Universe::narrow_oop_base() <= (intptr_t)(Universe::heap()->base() - os::vm_page_size() - ClassMetaspaceSize) ||
kvn@1077 863 Universe::narrow_oop_base() == NULL, "invalid value");
kvn@1077 864 assert(Universe::narrow_oop_shift() == LogMinObjAlignmentInBytes ||
kvn@1077 865 Universe::narrow_oop_shift() == 0, "invalid value");
kvn@1077 866 #endif
duke@435 867
duke@435 868 // We will never reach the CATCH below since Exceptions::_throw will cause
duke@435 869 // the VM to exit if an exception is thrown during initialization
duke@435 870
duke@435 871 if (UseTLAB) {
duke@435 872 assert(Universe::heap()->supports_tlab_allocation(),
duke@435 873 "Should support thread-local allocation buffers");
duke@435 874 ThreadLocalAllocBuffer::startup_initialization();
duke@435 875 }
duke@435 876 return JNI_OK;
duke@435 877 }
duke@435 878
coleenp@4037 879
coleenp@4037 880 // Reserve the Java heap, which is now the same for all GCs.
coleenp@4037 881 ReservedSpace Universe::reserve_heap(size_t heap_size, size_t alignment) {
coleenp@4037 882 // Add in the class metaspace area so the classes in the headers can
coleenp@4037 883 // be compressed the same as instances.
roland@4159 884 // Need to round class space size up because it's below the heap and
roland@4159 885 // the actual alignment depends on its size.
hseigel@4523 886 Universe::set_class_metaspace_size(align_size_up(ClassMetaspaceSize, alignment));
hseigel@4523 887 size_t total_reserved = align_size_up(heap_size + Universe::class_metaspace_size(), alignment);
brutisso@4741 888 assert(!UseCompressedOops || (total_reserved <= (OopEncodingHeapMax - os::vm_page_size())),
brutisso@4741 889 "heap size is too big for compressed oops");
coleenp@4037 890 char* addr = Universe::preferred_heap_base(total_reserved, Universe::UnscaledNarrowOop);
coleenp@4037 891
coleenp@4037 892 ReservedHeapSpace total_rs(total_reserved, alignment, UseLargePages, addr);
coleenp@4037 893
coleenp@4037 894 if (UseCompressedOops) {
coleenp@4037 895 if (addr != NULL && !total_rs.is_reserved()) {
coleenp@4037 896 // Failed to reserve at specified address - the requested memory
coleenp@4037 897 // region is taken already, for example, by 'java' launcher.
coleenp@4037 898 // Try again to reserver heap higher.
coleenp@4037 899 addr = Universe::preferred_heap_base(total_reserved, Universe::ZeroBasedNarrowOop);
coleenp@4037 900
coleenp@4037 901 ReservedHeapSpace total_rs0(total_reserved, alignment,
coleenp@4037 902 UseLargePages, addr);
coleenp@4037 903
coleenp@4037 904 if (addr != NULL && !total_rs0.is_reserved()) {
coleenp@4037 905 // Failed to reserve at specified address again - give up.
coleenp@4037 906 addr = Universe::preferred_heap_base(total_reserved, Universe::HeapBasedNarrowOop);
coleenp@4037 907 assert(addr == NULL, "");
coleenp@4037 908
coleenp@4037 909 ReservedHeapSpace total_rs1(total_reserved, alignment,
coleenp@4037 910 UseLargePages, addr);
coleenp@4037 911 total_rs = total_rs1;
coleenp@4037 912 } else {
coleenp@4037 913 total_rs = total_rs0;
coleenp@4037 914 }
coleenp@4037 915 }
coleenp@4037 916 }
coleenp@4037 917
coleenp@4037 918 if (!total_rs.is_reserved()) {
coleenp@4037 919 vm_exit_during_initialization(err_msg("Could not reserve enough space for object heap %d bytes", total_reserved));
coleenp@4037 920 return total_rs;
coleenp@4037 921 }
coleenp@4037 922
roland@4159 923 // Split the reserved space into main Java heap and a space for
roland@4159 924 // classes so that they can be compressed using the same algorithm
roland@4159 925 // as compressed oops. If compress oops and compress klass ptrs are
roland@4159 926 // used we need the meta space first: if the alignment used for
roland@4159 927 // compressed oops is greater than the one used for compressed klass
roland@4159 928 // ptrs, a metadata space on top of the heap could become
roland@4159 929 // unreachable.
hseigel@4523 930 ReservedSpace class_rs = total_rs.first_part(Universe::class_metaspace_size());
hseigel@4523 931 ReservedSpace heap_rs = total_rs.last_part(Universe::class_metaspace_size(), alignment);
coleenp@4037 932 Metaspace::initialize_class_space(class_rs);
roland@4159 933
roland@4159 934 if (UseCompressedOops) {
roland@4159 935 // Universe::initialize_heap() will reset this to NULL if unscaled
roland@4159 936 // or zero-based narrow oops are actually used.
roland@4159 937 address base = (address)(total_rs.base() - os::vm_page_size());
roland@4159 938 Universe::set_narrow_oop_base(base);
roland@4159 939 }
coleenp@4037 940 return heap_rs;
coleenp@4037 941 }
coleenp@4037 942
coleenp@4037 943
duke@435 944 // It's the caller's repsonsibility to ensure glitch-freedom
duke@435 945 // (if required).
duke@435 946 void Universe::update_heap_info_at_gc() {
duke@435 947 _heap_capacity_at_last_gc = heap()->capacity();
duke@435 948 _heap_used_at_last_gc = heap()->used();
duke@435 949 }
duke@435 950
duke@435 951
duke@435 952
duke@435 953 void universe2_init() {
duke@435 954 EXCEPTION_MARK;
duke@435 955 Universe::genesis(CATCH);
duke@435 956 }
duke@435 957
duke@435 958
duke@435 959 // This function is defined in JVM.cpp
duke@435 960 extern void initialize_converter_functions();
duke@435 961
duke@435 962 bool universe_post_init() {
ysr@2301 963 assert(!is_init_completed(), "Error: initialization not yet completed!");
duke@435 964 Universe::_fully_initialized = true;
duke@435 965 EXCEPTION_MARK;
duke@435 966 { ResourceMark rm;
duke@435 967 Interpreter::initialize(); // needed for interpreter entry points
duke@435 968 if (!UseSharedSpaces) {
coleenp@4037 969 HandleMark hm(THREAD);
never@1577 970 KlassHandle ok_h(THREAD, SystemDictionary::Object_klass());
duke@435 971 Universe::reinitialize_vtable_of(ok_h, CHECK_false);
duke@435 972 Universe::reinitialize_itables(CHECK_false);
duke@435 973 }
duke@435 974 }
duke@435 975
coleenp@4037 976 HandleMark hm(THREAD);
coleenp@4037 977 Klass* k;
duke@435 978 instanceKlassHandle k_h;
duke@435 979 // Setup preallocated empty java.lang.Class array
never@1577 980 Universe::_the_empty_class_klass_array = oopFactory::new_objArray(SystemDictionary::Class_klass(), 0, CHECK_false);
coleenp@4037 981
duke@435 982 // Setup preallocated OutOfMemoryError errors
coleenp@2497 983 k = SystemDictionary::resolve_or_fail(vmSymbols::java_lang_OutOfMemoryError(), true, CHECK_false);
duke@435 984 k_h = instanceKlassHandle(THREAD, k);
coleenp@4037 985 Universe::_out_of_memory_error_java_heap = k_h->allocate_instance(CHECK_false);
coleenp@4037 986 Universe::_out_of_memory_error_perm_gen = k_h->allocate_instance(CHECK_false);
coleenp@4037 987 Universe::_out_of_memory_error_array_size = k_h->allocate_instance(CHECK_false);
duke@435 988 Universe::_out_of_memory_error_gc_overhead_limit =
coleenp@4037 989 k_h->allocate_instance(CHECK_false);
duke@435 990
duke@435 991 // Setup preallocated NullPointerException
duke@435 992 // (this is currently used for a cheap & dirty solution in compiler exception handling)
coleenp@2497 993 k = SystemDictionary::resolve_or_fail(vmSymbols::java_lang_NullPointerException(), true, CHECK_false);
coleenp@4037 994 Universe::_null_ptr_exception_instance = InstanceKlass::cast(k)->allocate_instance(CHECK_false);
duke@435 995 // Setup preallocated ArithmeticException
duke@435 996 // (this is currently used for a cheap & dirty solution in compiler exception handling)
coleenp@2497 997 k = SystemDictionary::resolve_or_fail(vmSymbols::java_lang_ArithmeticException(), true, CHECK_false);
coleenp@4037 998 Universe::_arithmetic_exception_instance = InstanceKlass::cast(k)->allocate_instance(CHECK_false);
duke@435 999 // Virtual Machine Error for when we get into a situation we can't resolve
duke@435 1000 k = SystemDictionary::resolve_or_fail(
coleenp@2497 1001 vmSymbols::java_lang_VirtualMachineError(), true, CHECK_false);
coleenp@4037 1002 bool linked = InstanceKlass::cast(k)->link_class_or_fail(CHECK_false);
duke@435 1003 if (!linked) {
duke@435 1004 tty->print_cr("Unable to link/verify VirtualMachineError class");
duke@435 1005 return false; // initialization failed
duke@435 1006 }
duke@435 1007 Universe::_virtual_machine_error_instance =
coleenp@4037 1008 InstanceKlass::cast(k)->allocate_instance(CHECK_false);
coleenp@2497 1009
coleenp@4037 1010 Universe::_vm_exception = InstanceKlass::cast(k)->allocate_instance(CHECK_false);
coleenp@2497 1011
duke@435 1012 if (!DumpSharedSpaces) {
duke@435 1013 // These are the only Java fields that are currently set during shared space dumping.
duke@435 1014 // We prefer to not handle this generally, so we always reinitialize these detail messages.
duke@435 1015 Handle msg = java_lang_String::create_from_str("Java heap space", CHECK_false);
duke@435 1016 java_lang_Throwable::set_message(Universe::_out_of_memory_error_java_heap, msg());
duke@435 1017
coleenp@4037 1018 msg = java_lang_String::create_from_str("Metadata space", CHECK_false);
duke@435 1019 java_lang_Throwable::set_message(Universe::_out_of_memory_error_perm_gen, msg());
duke@435 1020
duke@435 1021 msg = java_lang_String::create_from_str("Requested array size exceeds VM limit", CHECK_false);
duke@435 1022 java_lang_Throwable::set_message(Universe::_out_of_memory_error_array_size, msg());
duke@435 1023
duke@435 1024 msg = java_lang_String::create_from_str("GC overhead limit exceeded", CHECK_false);
duke@435 1025 java_lang_Throwable::set_message(Universe::_out_of_memory_error_gc_overhead_limit, msg());
duke@435 1026
duke@435 1027 msg = java_lang_String::create_from_str("/ by zero", CHECK_false);
duke@435 1028 java_lang_Throwable::set_message(Universe::_arithmetic_exception_instance, msg());
duke@435 1029
duke@435 1030 // Setup the array of errors that have preallocated backtrace
duke@435 1031 k = Universe::_out_of_memory_error_java_heap->klass();
coleenp@4037 1032 assert(k->name() == vmSymbols::java_lang_OutOfMemoryError(), "should be out of memory error");
duke@435 1033 k_h = instanceKlassHandle(THREAD, k);
duke@435 1034
duke@435 1035 int len = (StackTraceInThrowable) ? (int)PreallocatedOutOfMemoryErrorCount : 0;
duke@435 1036 Universe::_preallocated_out_of_memory_error_array = oopFactory::new_objArray(k_h(), len, CHECK_false);
duke@435 1037 for (int i=0; i<len; i++) {
coleenp@4037 1038 oop err = k_h->allocate_instance(CHECK_false);
duke@435 1039 Handle err_h = Handle(THREAD, err);
duke@435 1040 java_lang_Throwable::allocate_backtrace(err_h, CHECK_false);
duke@435 1041 Universe::preallocated_out_of_memory_errors()->obj_at_put(i, err_h());
duke@435 1042 }
duke@435 1043 Universe::_preallocated_out_of_memory_error_avail_count = (jint)len;
duke@435 1044 }
duke@435 1045
duke@435 1046
duke@435 1047 // Setup static method for registering finalizers
duke@435 1048 // The finalizer klass must be linked before looking up the method, in
duke@435 1049 // case it needs to get rewritten.
coleenp@4037 1050 InstanceKlass::cast(SystemDictionary::Finalizer_klass())->link_class(CHECK_false);
coleenp@4037 1051 Method* m = InstanceKlass::cast(SystemDictionary::Finalizer_klass())->find_method(
duke@435 1052 vmSymbols::register_method_name(),
duke@435 1053 vmSymbols::register_method_signature());
duke@435 1054 if (m == NULL || !m->is_static()) {
duke@435 1055 THROW_MSG_(vmSymbols::java_lang_NoSuchMethodException(),
duke@435 1056 "java.lang.ref.Finalizer.register", false);
duke@435 1057 }
duke@435 1058 Universe::_finalizer_register_cache->init(
never@1577 1059 SystemDictionary::Finalizer_klass(), m, CHECK_false);
duke@435 1060
duke@435 1061 // Resolve on first use and initialize class.
duke@435 1062 // Note: No race-condition here, since a resolve will always return the same result
duke@435 1063
duke@435 1064 // Setup method for security checks
coleenp@2497 1065 k = SystemDictionary::resolve_or_fail(vmSymbols::java_lang_reflect_Method(), true, CHECK_false);
duke@435 1066 k_h = instanceKlassHandle(THREAD, k);
duke@435 1067 k_h->link_class(CHECK_false);
jrose@1862 1068 m = k_h->find_method(vmSymbols::invoke_name(), vmSymbols::object_object_array_object_signature());
duke@435 1069 if (m == NULL || m->is_static()) {
duke@435 1070 THROW_MSG_(vmSymbols::java_lang_NoSuchMethodException(),
duke@435 1071 "java.lang.reflect.Method.invoke", false);
duke@435 1072 }
duke@435 1073 Universe::_reflect_invoke_cache->init(k_h(), m, CHECK_false);
duke@435 1074
coleenp@4062 1075 // Setup method for registering loaded classes in class loader vector
coleenp@4062 1076 InstanceKlass::cast(SystemDictionary::ClassLoader_klass())->link_class(CHECK_false);
coleenp@4062 1077 m = InstanceKlass::cast(SystemDictionary::ClassLoader_klass())->find_method(vmSymbols::addClass_name(), vmSymbols::class_void_signature());
coleenp@4062 1078 if (m == NULL || m->is_static()) {
coleenp@4062 1079 THROW_MSG_(vmSymbols::java_lang_NoSuchMethodException(),
coleenp@4062 1080 "java.lang.ClassLoader.addClass", false);
coleenp@4062 1081 }
coleenp@4062 1082 Universe::_loader_addClass_cache->init(
coleenp@4062 1083 SystemDictionary::ClassLoader_klass(), m, CHECK_false);
coleenp@4062 1084
duke@435 1085 // The folowing is initializing converter functions for serialization in
duke@435 1086 // JVM.cpp. If we clean up the StrictMath code above we may want to find
duke@435 1087 // a better solution for this as well.
duke@435 1088 initialize_converter_functions();
duke@435 1089
duke@435 1090 // This needs to be done before the first scavenge/gc, since
duke@435 1091 // it's an input to soft ref clearing policy.
ysr@777 1092 {
ysr@777 1093 MutexLocker x(Heap_lock);
ysr@777 1094 Universe::update_heap_info_at_gc();
ysr@777 1095 }
duke@435 1096
duke@435 1097 // ("weak") refs processing infrastructure initialization
duke@435 1098 Universe::heap()->post_initialize();
duke@435 1099
coleenp@4037 1100 // Initialize performance counters for metaspaces
coleenp@4037 1101 MetaspaceCounters::initialize_performance_counters();
coleenp@4037 1102
duke@435 1103 GC_locker::unlock(); // allow gc after bootstrapping
duke@435 1104
duke@435 1105 MemoryService::set_universe_heap(Universe::_collectedHeap);
duke@435 1106 return true;
duke@435 1107 }
duke@435 1108
duke@435 1109
duke@435 1110 void Universe::compute_base_vtable_size() {
duke@435 1111 _base_vtable_size = ClassLoader::compute_Object_vtable();
duke@435 1112 }
duke@435 1113
duke@435 1114
duke@435 1115 // %%% The Universe::flush_foo methods belong in CodeCache.
duke@435 1116
duke@435 1117 // Flushes compiled methods dependent on dependee.
duke@435 1118 void Universe::flush_dependents_on(instanceKlassHandle dependee) {
duke@435 1119 assert_lock_strong(Compile_lock);
duke@435 1120
duke@435 1121 if (CodeCache::number_of_nmethods_with_dependencies() == 0) return;
duke@435 1122
duke@435 1123 // CodeCache can only be updated by a thread_in_VM and they will all be
duke@435 1124 // stopped dring the safepoint so CodeCache will be safe to update without
duke@435 1125 // holding the CodeCache_lock.
duke@435 1126
twisti@3050 1127 KlassDepChange changes(dependee);
duke@435 1128
duke@435 1129 // Compute the dependent nmethods
duke@435 1130 if (CodeCache::mark_for_deoptimization(changes) > 0) {
duke@435 1131 // At least one nmethod has been marked for deoptimization
duke@435 1132 VM_Deoptimize op;
duke@435 1133 VMThread::execute(&op);
duke@435 1134 }
duke@435 1135 }
duke@435 1136
twisti@3050 1137 // Flushes compiled methods dependent on a particular CallSite
twisti@3050 1138 // instance when its target is different than the given MethodHandle.
twisti@3050 1139 void Universe::flush_dependents_on(Handle call_site, Handle method_handle) {
twisti@3050 1140 assert_lock_strong(Compile_lock);
twisti@3050 1141
twisti@3050 1142 if (CodeCache::number_of_nmethods_with_dependencies() == 0) return;
twisti@3050 1143
twisti@3050 1144 // CodeCache can only be updated by a thread_in_VM and they will all be
twisti@3050 1145 // stopped dring the safepoint so CodeCache will be safe to update without
twisti@3050 1146 // holding the CodeCache_lock.
twisti@3050 1147
twisti@3050 1148 CallSiteDepChange changes(call_site(), method_handle());
twisti@3050 1149
twisti@3050 1150 // Compute the dependent nmethods that have a reference to a
coleenp@4037 1151 // CallSite object. We use InstanceKlass::mark_dependent_nmethod
twisti@3050 1152 // directly instead of CodeCache::mark_for_deoptimization because we
twisti@3094 1153 // want dependents on the call site class only not all classes in
twisti@3094 1154 // the ContextStream.
twisti@3050 1155 int marked = 0;
twisti@3050 1156 {
twisti@3050 1157 MutexLockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag);
coleenp@4037 1158 InstanceKlass* call_site_klass = InstanceKlass::cast(call_site->klass());
twisti@3050 1159 marked = call_site_klass->mark_dependent_nmethods(changes);
twisti@3050 1160 }
twisti@3050 1161 if (marked > 0) {
twisti@3050 1162 // At least one nmethod has been marked for deoptimization
twisti@3050 1163 VM_Deoptimize op;
twisti@3050 1164 VMThread::execute(&op);
twisti@3050 1165 }
twisti@3050 1166 }
twisti@3050 1167
duke@435 1168 #ifdef HOTSWAP
duke@435 1169 // Flushes compiled methods dependent on dependee in the evolutionary sense
duke@435 1170 void Universe::flush_evol_dependents_on(instanceKlassHandle ev_k_h) {
duke@435 1171 // --- Compile_lock is not held. However we are at a safepoint.
duke@435 1172 assert_locked_or_safepoint(Compile_lock);
duke@435 1173 if (CodeCache::number_of_nmethods_with_dependencies() == 0) return;
duke@435 1174
duke@435 1175 // CodeCache can only be updated by a thread_in_VM and they will all be
duke@435 1176 // stopped dring the safepoint so CodeCache will be safe to update without
duke@435 1177 // holding the CodeCache_lock.
duke@435 1178
duke@435 1179 // Compute the dependent nmethods
duke@435 1180 if (CodeCache::mark_for_evol_deoptimization(ev_k_h) > 0) {
duke@435 1181 // At least one nmethod has been marked for deoptimization
duke@435 1182
duke@435 1183 // All this already happens inside a VM_Operation, so we'll do all the work here.
duke@435 1184 // Stuff copied from VM_Deoptimize and modified slightly.
duke@435 1185
duke@435 1186 // We do not want any GCs to happen while we are in the middle of this VM operation
duke@435 1187 ResourceMark rm;
duke@435 1188 DeoptimizationMarker dm;
duke@435 1189
duke@435 1190 // Deoptimize all activations depending on marked nmethods
duke@435 1191 Deoptimization::deoptimize_dependents();
duke@435 1192
duke@435 1193 // Make the dependent methods not entrant (in VM_Deoptimize they are made zombies)
duke@435 1194 CodeCache::make_marked_nmethods_not_entrant();
duke@435 1195 }
duke@435 1196 }
duke@435 1197 #endif // HOTSWAP
duke@435 1198
duke@435 1199
duke@435 1200 // Flushes compiled methods dependent on dependee
duke@435 1201 void Universe::flush_dependents_on_method(methodHandle m_h) {
duke@435 1202 // --- Compile_lock is not held. However we are at a safepoint.
duke@435 1203 assert_locked_or_safepoint(Compile_lock);
duke@435 1204
duke@435 1205 // CodeCache can only be updated by a thread_in_VM and they will all be
duke@435 1206 // stopped dring the safepoint so CodeCache will be safe to update without
duke@435 1207 // holding the CodeCache_lock.
duke@435 1208
duke@435 1209 // Compute the dependent nmethods
duke@435 1210 if (CodeCache::mark_for_deoptimization(m_h()) > 0) {
duke@435 1211 // At least one nmethod has been marked for deoptimization
duke@435 1212
duke@435 1213 // All this already happens inside a VM_Operation, so we'll do all the work here.
duke@435 1214 // Stuff copied from VM_Deoptimize and modified slightly.
duke@435 1215
duke@435 1216 // We do not want any GCs to happen while we are in the middle of this VM operation
duke@435 1217 ResourceMark rm;
duke@435 1218 DeoptimizationMarker dm;
duke@435 1219
duke@435 1220 // Deoptimize all activations depending on marked nmethods
duke@435 1221 Deoptimization::deoptimize_dependents();
duke@435 1222
duke@435 1223 // Make the dependent methods not entrant (in VM_Deoptimize they are made zombies)
duke@435 1224 CodeCache::make_marked_nmethods_not_entrant();
duke@435 1225 }
duke@435 1226 }
duke@435 1227
tonyp@3269 1228 void Universe::print() {
tonyp@3269 1229 print_on(gclog_or_tty);
tonyp@3269 1230 }
duke@435 1231
tonyp@3269 1232 void Universe::print_on(outputStream* st, bool extended) {
duke@435 1233 st->print_cr("Heap");
tonyp@3269 1234 if (!extended) {
tonyp@3269 1235 heap()->print_on(st);
tonyp@3269 1236 } else {
tonyp@3269 1237 heap()->print_extended_on(st);
tonyp@3269 1238 }
duke@435 1239 }
duke@435 1240
duke@435 1241 void Universe::print_heap_at_SIGBREAK() {
duke@435 1242 if (PrintHeapAtSIGBREAK) {
duke@435 1243 MutexLocker hl(Heap_lock);
duke@435 1244 print_on(tty);
duke@435 1245 tty->cr();
duke@435 1246 tty->flush();
duke@435 1247 }
duke@435 1248 }
duke@435 1249
never@3571 1250 void Universe::print_heap_before_gc(outputStream* st, bool ignore_extended) {
duke@435 1251 st->print_cr("{Heap before GC invocations=%u (full %u):",
duke@435 1252 heap()->total_collections(),
duke@435 1253 heap()->total_full_collections());
never@3571 1254 if (!PrintHeapAtGCExtended || ignore_extended) {
tonyp@3269 1255 heap()->print_on(st);
tonyp@3269 1256 } else {
tonyp@3269 1257 heap()->print_extended_on(st);
tonyp@3269 1258 }
duke@435 1259 }
duke@435 1260
never@3571 1261 void Universe::print_heap_after_gc(outputStream* st, bool ignore_extended) {
duke@435 1262 st->print_cr("Heap after GC invocations=%u (full %u):",
duke@435 1263 heap()->total_collections(),
duke@435 1264 heap()->total_full_collections());
never@3571 1265 if (!PrintHeapAtGCExtended || ignore_extended) {
tonyp@3269 1266 heap()->print_on(st);
tonyp@3269 1267 } else {
tonyp@3269 1268 heap()->print_extended_on(st);
tonyp@3269 1269 }
duke@435 1270 st->print_cr("}");
duke@435 1271 }
duke@435 1272
brutisso@3711 1273 void Universe::verify(bool silent, VerifyOption option) {
duke@435 1274 // The use of _verify_in_progress is a temporary work around for
duke@435 1275 // 6320749. Don't bother with a creating a class to set and clear
duke@435 1276 // it since it is only used in this method and the control flow is
duke@435 1277 // straight forward.
duke@435 1278 _verify_in_progress = true;
duke@435 1279
duke@435 1280 COMPILER2_PRESENT(
duke@435 1281 assert(!DerivedPointerTable::is_active(),
duke@435 1282 "DPT should not be active during verification "
duke@435 1283 "(of thread stacks below)");
duke@435 1284 )
duke@435 1285
duke@435 1286 ResourceMark rm;
duke@435 1287 HandleMark hm; // Handles created during verification can be zapped
duke@435 1288 _verify_count++;
duke@435 1289
duke@435 1290 if (!silent) gclog_or_tty->print("[Verifying ");
duke@435 1291 if (!silent) gclog_or_tty->print("threads ");
duke@435 1292 Threads::verify();
brutisso@3711 1293 heap()->verify(silent, option);
duke@435 1294
duke@435 1295 if (!silent) gclog_or_tty->print("syms ");
duke@435 1296 SymbolTable::verify();
duke@435 1297 if (!silent) gclog_or_tty->print("strs ");
duke@435 1298 StringTable::verify();
duke@435 1299 {
duke@435 1300 MutexLockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag);
duke@435 1301 if (!silent) gclog_or_tty->print("zone ");
duke@435 1302 CodeCache::verify();
duke@435 1303 }
duke@435 1304 if (!silent) gclog_or_tty->print("dict ");
duke@435 1305 SystemDictionary::verify();
coleenp@4037 1306 #ifndef PRODUCT
coleenp@4037 1307 if (!silent) gclog_or_tty->print("cldg ");
coleenp@4037 1308 ClassLoaderDataGraph::verify();
coleenp@4037 1309 #endif
mgerdin@4264 1310 if (!silent) gclog_or_tty->print("metaspace chunks ");
mgerdin@4264 1311 MetaspaceAux::verify_free_chunks();
duke@435 1312 if (!silent) gclog_or_tty->print("hand ");
duke@435 1313 JNIHandles::verify();
duke@435 1314 if (!silent) gclog_or_tty->print("C-heap ");
duke@435 1315 os::check_heap();
never@2657 1316 if (!silent) gclog_or_tty->print("code cache ");
never@2657 1317 CodeCache::verify_oops();
duke@435 1318 if (!silent) gclog_or_tty->print_cr("]");
duke@435 1319
duke@435 1320 _verify_in_progress = false;
duke@435 1321 }
duke@435 1322
duke@435 1323 // Oop verification (see MacroAssembler::verify_oop)
duke@435 1324
duke@435 1325 static uintptr_t _verify_oop_data[2] = {0, (uintptr_t)-1};
duke@435 1326 static uintptr_t _verify_klass_data[2] = {0, (uintptr_t)-1};
duke@435 1327
duke@435 1328
duke@435 1329 static void calculate_verify_data(uintptr_t verify_data[2],
duke@435 1330 HeapWord* low_boundary,
duke@435 1331 HeapWord* high_boundary) {
duke@435 1332 assert(low_boundary < high_boundary, "bad interval");
duke@435 1333
duke@435 1334 // decide which low-order bits we require to be clear:
duke@435 1335 size_t alignSize = MinObjAlignmentInBytes;
kvn@1926 1336 size_t min_object_size = CollectedHeap::min_fill_size();
duke@435 1337
duke@435 1338 // make an inclusive limit:
duke@435 1339 uintptr_t max = (uintptr_t)high_boundary - min_object_size*wordSize;
duke@435 1340 uintptr_t min = (uintptr_t)low_boundary;
duke@435 1341 assert(min < max, "bad interval");
duke@435 1342 uintptr_t diff = max ^ min;
duke@435 1343
duke@435 1344 // throw away enough low-order bits to make the diff vanish
duke@435 1345 uintptr_t mask = (uintptr_t)(-1);
duke@435 1346 while ((mask & diff) != 0)
duke@435 1347 mask <<= 1;
duke@435 1348 uintptr_t bits = (min & mask);
duke@435 1349 assert(bits == (max & mask), "correct mask");
duke@435 1350 // check an intermediate value between min and max, just to make sure:
duke@435 1351 assert(bits == ((min + (max-min)/2) & mask), "correct mask");
duke@435 1352
duke@435 1353 // require address alignment, too:
duke@435 1354 mask |= (alignSize - 1);
duke@435 1355
duke@435 1356 if (!(verify_data[0] == 0 && verify_data[1] == (uintptr_t)-1)) {
duke@435 1357 assert(verify_data[0] == mask && verify_data[1] == bits, "mask stability");
duke@435 1358 }
duke@435 1359 verify_data[0] = mask;
duke@435 1360 verify_data[1] = bits;
duke@435 1361 }
duke@435 1362
duke@435 1363
duke@435 1364 // Oop verification (see MacroAssembler::verify_oop)
duke@435 1365 #ifndef PRODUCT
duke@435 1366
duke@435 1367 uintptr_t Universe::verify_oop_mask() {
duke@435 1368 MemRegion m = heap()->reserved_region();
duke@435 1369 calculate_verify_data(_verify_oop_data,
duke@435 1370 m.start(),
duke@435 1371 m.end());
duke@435 1372 return _verify_oop_data[0];
duke@435 1373 }
duke@435 1374
duke@435 1375
duke@435 1376
duke@435 1377 uintptr_t Universe::verify_oop_bits() {
duke@435 1378 verify_oop_mask();
duke@435 1379 return _verify_oop_data[1];
duke@435 1380 }
duke@435 1381
duke@435 1382 uintptr_t Universe::verify_mark_mask() {
duke@435 1383 return markOopDesc::lock_mask_in_place;
duke@435 1384 }
duke@435 1385
duke@435 1386 uintptr_t Universe::verify_mark_bits() {
duke@435 1387 intptr_t mask = verify_mark_mask();
duke@435 1388 intptr_t bits = (intptr_t)markOopDesc::prototype();
duke@435 1389 assert((bits & ~mask) == 0, "no stray header bits");
duke@435 1390 return bits;
duke@435 1391 }
duke@435 1392 #endif // PRODUCT
duke@435 1393
duke@435 1394
duke@435 1395 void Universe::compute_verify_oop_data() {
duke@435 1396 verify_oop_mask();
duke@435 1397 verify_oop_bits();
duke@435 1398 verify_mark_mask();
duke@435 1399 verify_mark_bits();
duke@435 1400 }
duke@435 1401
duke@435 1402
coleenp@4037 1403 void CommonMethodOopCache::init(Klass* k, Method* m, TRAPS) {
duke@435 1404 if (!UseSharedSpaces) {
duke@435 1405 _klass = k;
duke@435 1406 }
duke@435 1407 #ifndef PRODUCT
duke@435 1408 else {
duke@435 1409 // sharing initilization should have already set up _klass
duke@435 1410 assert(_klass != NULL, "just checking");
duke@435 1411 }
duke@435 1412 #endif
duke@435 1413
duke@435 1414 _method_idnum = m->method_idnum();
duke@435 1415 assert(_method_idnum >= 0, "sanity check");
duke@435 1416 }
duke@435 1417
duke@435 1418
duke@435 1419 ActiveMethodOopsCache::~ActiveMethodOopsCache() {
duke@435 1420 if (_prev_methods != NULL) {
duke@435 1421 delete _prev_methods;
duke@435 1422 _prev_methods = NULL;
duke@435 1423 }
duke@435 1424 }
duke@435 1425
duke@435 1426
coleenp@4037 1427 void ActiveMethodOopsCache::add_previous_version(Method* const method) {
duke@435 1428 assert(Thread::current()->is_VM_thread(),
duke@435 1429 "only VMThread can add previous versions");
duke@435 1430
coleenp@4037 1431 // Only append the previous method if it is executing on the stack.
coleenp@4037 1432 if (method->on_stack()) {
coleenp@4037 1433
duke@435 1434 if (_prev_methods == NULL) {
duke@435 1435 // This is the first previous version so make some space.
duke@435 1436 // Start with 2 elements under the assumption that the class
duke@435 1437 // won't be redefined much.
coleenp@4037 1438 _prev_methods = new (ResourceObj::C_HEAP, mtClass) GrowableArray<Method*>(2, true);
duke@435 1439 }
duke@435 1440
duke@435 1441 // RC_TRACE macro has an embedded ResourceMark
duke@435 1442 RC_TRACE(0x00000100,
duke@435 1443 ("add: %s(%s): adding prev version ref for cached method @%d",
duke@435 1444 method->name()->as_C_string(), method->signature()->as_C_string(),
duke@435 1445 _prev_methods->length()));
duke@435 1446
coleenp@4037 1447 _prev_methods->append(method);
coleenp@4037 1448 }
duke@435 1449
coleenp@4037 1450
coleenp@4037 1451 // Since the caller is the VMThread and we are at a safepoint, this is a good
coleenp@4037 1452 // time to clear out unused method references.
coleenp@4037 1453
coleenp@4037 1454 if (_prev_methods == NULL) return;
duke@435 1455
duke@435 1456 for (int i = _prev_methods->length() - 1; i >= 0; i--) {
coleenp@4037 1457 Method* method = _prev_methods->at(i);
coleenp@4037 1458 assert(method != NULL, "weak method ref was unexpectedly cleared");
coleenp@4037 1459
coleenp@4037 1460 if (!method->on_stack()) {
coleenp@4037 1461 // This method isn't running anymore so remove it
duke@435 1462 _prev_methods->remove_at(i);
coleenp@4037 1463 MetadataFactory::free_metadata(method->method_holder()->class_loader_data(), method);
duke@435 1464 } else {
duke@435 1465 // RC_TRACE macro has an embedded ResourceMark
duke@435 1466 RC_TRACE(0x00000400, ("add: %s(%s): previous cached method @%d is alive",
coleenp@4037 1467 method->name()->as_C_string(), method->signature()->as_C_string(), i));
duke@435 1468 }
duke@435 1469 }
duke@435 1470 } // end add_previous_version()
duke@435 1471
duke@435 1472
coleenp@4037 1473 bool ActiveMethodOopsCache::is_same_method(Method* const method) const {
coleenp@4037 1474 InstanceKlass* ik = InstanceKlass::cast(klass());
coleenp@4037 1475 Method* check_method = ik->method_with_idnum(method_idnum());
duke@435 1476 assert(check_method != NULL, "sanity check");
duke@435 1477 if (check_method == method) {
duke@435 1478 // done with the easy case
duke@435 1479 return true;
duke@435 1480 }
duke@435 1481
duke@435 1482 if (_prev_methods != NULL) {
duke@435 1483 // The cached method has been redefined at least once so search
duke@435 1484 // the previous versions for a match.
duke@435 1485 for (int i = 0; i < _prev_methods->length(); i++) {
coleenp@4037 1486 check_method = _prev_methods->at(i);
duke@435 1487 if (check_method == method) {
duke@435 1488 // a previous version matches
duke@435 1489 return true;
duke@435 1490 }
duke@435 1491 }
duke@435 1492 }
duke@435 1493
duke@435 1494 // either no previous versions or no previous version matched
duke@435 1495 return false;
duke@435 1496 }
duke@435 1497
duke@435 1498
coleenp@4037 1499 Method* LatestMethodOopCache::get_Method() {
coleenp@4037 1500 InstanceKlass* ik = InstanceKlass::cast(klass());
coleenp@4037 1501 Method* m = ik->method_with_idnum(method_idnum());
duke@435 1502 assert(m != NULL, "sanity check");
duke@435 1503 return m;
duke@435 1504 }
duke@435 1505
duke@435 1506
duke@435 1507 #ifdef ASSERT
duke@435 1508 // Release dummy object(s) at bottom of heap
duke@435 1509 bool Universe::release_fullgc_alot_dummy() {
duke@435 1510 MutexLocker ml(FullGCALot_lock);
duke@435 1511 if (_fullgc_alot_dummy_array != NULL) {
duke@435 1512 if (_fullgc_alot_dummy_next >= _fullgc_alot_dummy_array->length()) {
duke@435 1513 // No more dummies to release, release entire array instead
duke@435 1514 _fullgc_alot_dummy_array = NULL;
duke@435 1515 return false;
duke@435 1516 }
duke@435 1517 if (!UseConcMarkSweepGC) {
duke@435 1518 // Release dummy at bottom of old generation
duke@435 1519 _fullgc_alot_dummy_array->obj_at_put(_fullgc_alot_dummy_next++, NULL);
duke@435 1520 }
duke@435 1521 // Release dummy at bottom of permanent generation
duke@435 1522 _fullgc_alot_dummy_array->obj_at_put(_fullgc_alot_dummy_next++, NULL);
duke@435 1523 }
duke@435 1524 return true;
duke@435 1525 }
duke@435 1526
duke@435 1527 #endif // ASSERT

mercurial