1 /*
2 * Copyright (c) 1997, 2016, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25 #include "precompiled.hpp"
26 #include "classfile/classLoader.hpp"
27 #include "classfile/classLoaderData.hpp"
28 #include "classfile/javaClasses.hpp"
29 #include "classfile/stringTable.hpp"
30 #include "classfile/systemDictionary.hpp"
31 #include "classfile/vmSymbols.hpp"
32 #include "code/codeCache.hpp"
33 #include "code/dependencies.hpp"
34 #include "gc/shared/cardTableModRefBS.hpp"
35 #include "gc/shared/collectedHeap.inline.hpp"
36 #include "gc/shared/gcLocker.inline.hpp"
37 #include "gc/shared/genCollectedHeap.hpp"
38 #include "gc/shared/generation.hpp"
39 #include "gc/shared/gcTraceTime.inline.hpp"
40 #include "gc/shared/space.hpp"
41 #include "interpreter/interpreter.hpp"
42 #include "logging/log.hpp"
43 #include "memory/filemap.hpp"
44 #include "memory/metadataFactory.hpp"
45 #include "memory/metaspaceShared.hpp"
46 #include "memory/oopFactory.hpp"
47 #include "memory/universe.hpp"
48 #include "memory/universe.inline.hpp"
49 #include "oops/constantPool.hpp"
50 #include "oops/instanceClassLoaderKlass.hpp"
51 #include "oops/instanceKlass.hpp"
52 #include "oops/instanceMirrorKlass.hpp"
53 #include "oops/instanceRefKlass.hpp"
54 #include "oops/objArrayOop.inline.hpp"
55 #include "oops/oop.inline.hpp"
56 #include "oops/typeArrayKlass.hpp"
57 #include "prims/jvmtiRedefineClassesTrace.hpp"
58 #include "runtime/arguments.hpp"
59 #include "runtime/atomic.inline.hpp"
60 #include "runtime/commandLineFlagConstraintList.hpp"
61 #include "runtime/deoptimization.hpp"
62 #include "runtime/fprofiler.hpp"
63 #include "runtime/handles.inline.hpp"
64 #include "runtime/init.hpp"
65 #include "runtime/java.hpp"
66 #include "runtime/javaCalls.hpp"
67 #include "runtime/sharedRuntime.hpp"
68 #include "runtime/synchronizer.hpp"
69 #include "runtime/thread.inline.hpp"
70 #include "runtime/timerTrace.hpp"
71 #include "runtime/vm_operations.hpp"
72 #include "services/memoryService.hpp"
73 #include "utilities/copy.hpp"
74 #include "utilities/events.hpp"
75 #include "utilities/hashtable.inline.hpp"
76 #include "utilities/macros.hpp"
77 #include "utilities/ostream.hpp"
78 #include "utilities/preserveException.hpp"
79 #if INCLUDE_ALL_GCS
80 #include "gc/cms/cmsCollectorPolicy.hpp"
81 #include "gc/g1/g1CollectedHeap.inline.hpp"
82 #include "gc/g1/g1CollectorPolicy.hpp"
83 #include "gc/parallel/parallelScavengeHeap.hpp"
84 #include "gc/shared/adaptiveSizePolicy.hpp"
85 #endif // INCLUDE_ALL_GCS
86 #if INCLUDE_CDS
87 #include "classfile/sharedClassUtil.hpp"
88 #endif
89
90 // Known objects
91 Klass* Universe::_boolArrayKlassObj = NULL;
92 Klass* Universe::_byteArrayKlassObj = NULL;
93 Klass* Universe::_charArrayKlassObj = NULL;
94 Klass* Universe::_intArrayKlassObj = NULL;
95 Klass* Universe::_shortArrayKlassObj = NULL;
96 Klass* Universe::_longArrayKlassObj = NULL;
97 Klass* Universe::_singleArrayKlassObj = NULL;
98 Klass* Universe::_doubleArrayKlassObj = NULL;
99 Klass* Universe::_typeArrayKlassObjs[T_VOID+1] = { NULL /*, NULL...*/ };
100 Klass* Universe::_objectArrayKlassObj = NULL;
101 oop Universe::_int_mirror = NULL;
102 oop Universe::_float_mirror = NULL;
103 oop Universe::_double_mirror = NULL;
104 oop Universe::_byte_mirror = NULL;
105 oop Universe::_bool_mirror = NULL;
106 oop Universe::_char_mirror = NULL;
107 oop Universe::_long_mirror = NULL;
108 oop Universe::_short_mirror = NULL;
109 oop Universe::_void_mirror = NULL;
110 oop Universe::_mirrors[T_VOID+1] = { NULL /*, NULL...*/ };
111 oop Universe::_main_thread_group = NULL;
112 oop Universe::_system_thread_group = NULL;
113 objArrayOop Universe::_the_empty_class_klass_array = NULL;
114 Array<Klass*>* Universe::_the_array_interfaces_array = NULL;
115 oop Universe::_the_null_string = NULL;
116 oop Universe::_the_min_jint_string = NULL;
117 LatestMethodCache* Universe::_finalizer_register_cache = NULL;
118 LatestMethodCache* Universe::_loader_addClass_cache = NULL;
119 LatestMethodCache* Universe::_pd_implies_cache = NULL;
120 LatestMethodCache* Universe::_throw_illegal_access_error_cache = NULL;
121 LatestMethodCache* Universe::_do_stack_walk_cache = NULL;
122 oop Universe::_out_of_memory_error_java_heap = NULL;
123 oop Universe::_out_of_memory_error_metaspace = NULL;
124 oop Universe::_out_of_memory_error_class_metaspace = NULL;
125 oop Universe::_out_of_memory_error_array_size = NULL;
126 oop Universe::_out_of_memory_error_gc_overhead_limit = NULL;
127 oop Universe::_out_of_memory_error_realloc_objects = NULL;
128 oop Universe::_delayed_stack_overflow_error_message = NULL;
129 objArrayOop Universe::_preallocated_out_of_memory_error_array = NULL;
130 volatile jint Universe::_preallocated_out_of_memory_error_avail_count = 0;
131 bool Universe::_verify_in_progress = false;
132 long Universe::verify_flags = Universe::Verify_All;
133 oop Universe::_null_ptr_exception_instance = NULL;
134 oop Universe::_arithmetic_exception_instance = NULL;
135 oop Universe::_virtual_machine_error_instance = NULL;
136 oop Universe::_vm_exception = NULL;
137 oop Universe::_allocation_context_notification_obj = NULL;
138 oop Universe::_reference_pending_list = NULL;
139
140 Array<int>* Universe::_the_empty_int_array = NULL;
141 Array<u2>* Universe::_the_empty_short_array = NULL;
142 Array<Klass*>* Universe::_the_empty_klass_array = NULL;
143 Array<Method*>* Universe::_the_empty_method_array = NULL;
144
145 // These variables are guarded by FullGCALot_lock.
146 debug_only(objArrayOop Universe::_fullgc_alot_dummy_array = NULL;)
147 debug_only(int Universe::_fullgc_alot_dummy_next = 0;)
148
149 // Heap
150 int Universe::_verify_count = 0;
151
152 // Oop verification (see MacroAssembler::verify_oop)
153 uintptr_t Universe::_verify_oop_mask = 0;
154 uintptr_t Universe::_verify_oop_bits = (uintptr_t) -1;
155
156 int Universe::_base_vtable_size = 0;
157 bool Universe::_bootstrapping = false;
158 bool Universe::_fully_initialized = false;
159
160 size_t Universe::_heap_capacity_at_last_gc;
161 size_t Universe::_heap_used_at_last_gc = 0;
162
163 CollectedHeap* Universe::_collectedHeap = NULL;
164
165 NarrowPtrStruct Universe::_narrow_oop = { NULL, 0, true };
166 NarrowPtrStruct Universe::_narrow_klass = { NULL, 0, true };
167 address Universe::_narrow_ptrs_base;
168
169 void Universe::basic_type_classes_do(void f(Klass*)) {
170 f(boolArrayKlassObj());
171 f(byteArrayKlassObj());
172 f(charArrayKlassObj());
173 f(intArrayKlassObj());
174 f(shortArrayKlassObj());
175 f(longArrayKlassObj());
176 f(singleArrayKlassObj());
177 f(doubleArrayKlassObj());
178 }
179
180 void Universe::oops_do(OopClosure* f, bool do_all) {
181
182 f->do_oop((oop*) &_int_mirror);
183 f->do_oop((oop*) &_float_mirror);
184 f->do_oop((oop*) &_double_mirror);
185 f->do_oop((oop*) &_byte_mirror);
186 f->do_oop((oop*) &_bool_mirror);
187 f->do_oop((oop*) &_char_mirror);
188 f->do_oop((oop*) &_long_mirror);
189 f->do_oop((oop*) &_short_mirror);
190 f->do_oop((oop*) &_void_mirror);
191
192 for (int i = T_BOOLEAN; i < T_VOID+1; i++) {
193 f->do_oop((oop*) &_mirrors[i]);
194 }
195 assert(_mirrors[0] == NULL && _mirrors[T_BOOLEAN - 1] == NULL, "checking");
196
197 f->do_oop((oop*)&_the_empty_class_klass_array);
198 f->do_oop((oop*)&_the_null_string);
199 f->do_oop((oop*)&_the_min_jint_string);
200 f->do_oop((oop*)&_out_of_memory_error_java_heap);
201 f->do_oop((oop*)&_out_of_memory_error_metaspace);
202 f->do_oop((oop*)&_out_of_memory_error_class_metaspace);
203 f->do_oop((oop*)&_out_of_memory_error_array_size);
204 f->do_oop((oop*)&_out_of_memory_error_gc_overhead_limit);
205 f->do_oop((oop*)&_out_of_memory_error_realloc_objects);
206 f->do_oop((oop*)&_delayed_stack_overflow_error_message);
207 f->do_oop((oop*)&_preallocated_out_of_memory_error_array);
208 f->do_oop((oop*)&_null_ptr_exception_instance);
209 f->do_oop((oop*)&_arithmetic_exception_instance);
210 f->do_oop((oop*)&_virtual_machine_error_instance);
211 f->do_oop((oop*)&_main_thread_group);
212 f->do_oop((oop*)&_system_thread_group);
213 f->do_oop((oop*)&_vm_exception);
214 f->do_oop((oop*)&_allocation_context_notification_obj);
215 f->do_oop((oop*)&_reference_pending_list);
216 debug_only(f->do_oop((oop*)&_fullgc_alot_dummy_array);)
217 }
218
219 // Serialize metadata in and out of CDS archive, not oops.
220 void Universe::serialize(SerializeClosure* f, bool do_all) {
221
222 f->do_ptr((void**)&_boolArrayKlassObj);
223 f->do_ptr((void**)&_byteArrayKlassObj);
224 f->do_ptr((void**)&_charArrayKlassObj);
225 f->do_ptr((void**)&_intArrayKlassObj);
226 f->do_ptr((void**)&_shortArrayKlassObj);
227 f->do_ptr((void**)&_longArrayKlassObj);
228 f->do_ptr((void**)&_singleArrayKlassObj);
229 f->do_ptr((void**)&_doubleArrayKlassObj);
230 f->do_ptr((void**)&_objectArrayKlassObj);
231
232 {
233 for (int i = 0; i < T_VOID+1; i++) {
234 if (_typeArrayKlassObjs[i] != NULL) {
235 assert(i >= T_BOOLEAN, "checking");
236 f->do_ptr((void**)&_typeArrayKlassObjs[i]);
237 } else if (do_all) {
238 f->do_ptr((void**)&_typeArrayKlassObjs[i]);
239 }
240 }
241 }
242
243 f->do_ptr((void**)&_the_array_interfaces_array);
244 f->do_ptr((void**)&_the_empty_int_array);
245 f->do_ptr((void**)&_the_empty_short_array);
246 f->do_ptr((void**)&_the_empty_method_array);
247 f->do_ptr((void**)&_the_empty_klass_array);
248 _finalizer_register_cache->serialize(f);
249 _loader_addClass_cache->serialize(f);
250 _pd_implies_cache->serialize(f);
251 _throw_illegal_access_error_cache->serialize(f);
252 _do_stack_walk_cache->serialize(f);
253 }
254
255 void Universe::check_alignment(uintx size, uintx alignment, const char* name) {
256 if (size < alignment || size % alignment != 0) {
257 vm_exit_during_initialization(
258 err_msg("Size of %s (" UINTX_FORMAT " bytes) must be aligned to " UINTX_FORMAT " bytes", name, size, alignment));
259 }
260 }
261
262 void initialize_basic_type_klass(Klass* k, TRAPS) {
263 Klass* ok = SystemDictionary::Object_klass();
264 if (UseSharedSpaces) {
265 ClassLoaderData* loader_data = ClassLoaderData::the_null_class_loader_data();
266 assert(k->super() == ok, "u3");
267 k->restore_unshareable_info(loader_data, Handle(), CHECK);
268 } else {
269 k->initialize_supers(ok, CHECK);
270 }
271 k->append_to_sibling_list();
272 }
273
274 void Universe::genesis(TRAPS) {
275 ResourceMark rm;
276
277 { FlagSetting fs(_bootstrapping, true);
278
279 { MutexLocker mc(Compile_lock);
280
281 // determine base vtable size; without that we cannot create the array klasses
282 compute_base_vtable_size();
283
284 if (!UseSharedSpaces) {
285 _boolArrayKlassObj = TypeArrayKlass::create_klass(T_BOOLEAN, sizeof(jboolean), CHECK);
286 _charArrayKlassObj = TypeArrayKlass::create_klass(T_CHAR, sizeof(jchar), CHECK);
287 _singleArrayKlassObj = TypeArrayKlass::create_klass(T_FLOAT, sizeof(jfloat), CHECK);
288 _doubleArrayKlassObj = TypeArrayKlass::create_klass(T_DOUBLE, sizeof(jdouble), CHECK);
289 _byteArrayKlassObj = TypeArrayKlass::create_klass(T_BYTE, sizeof(jbyte), CHECK);
290 _shortArrayKlassObj = TypeArrayKlass::create_klass(T_SHORT, sizeof(jshort), CHECK);
291 _intArrayKlassObj = TypeArrayKlass::create_klass(T_INT, sizeof(jint), CHECK);
292 _longArrayKlassObj = TypeArrayKlass::create_klass(T_LONG, sizeof(jlong), CHECK);
293
294 _typeArrayKlassObjs[T_BOOLEAN] = _boolArrayKlassObj;
295 _typeArrayKlassObjs[T_CHAR] = _charArrayKlassObj;
296 _typeArrayKlassObjs[T_FLOAT] = _singleArrayKlassObj;
297 _typeArrayKlassObjs[T_DOUBLE] = _doubleArrayKlassObj;
298 _typeArrayKlassObjs[T_BYTE] = _byteArrayKlassObj;
299 _typeArrayKlassObjs[T_SHORT] = _shortArrayKlassObj;
300 _typeArrayKlassObjs[T_INT] = _intArrayKlassObj;
301 _typeArrayKlassObjs[T_LONG] = _longArrayKlassObj;
302
303 ClassLoaderData* null_cld = ClassLoaderData::the_null_class_loader_data();
304
305 _the_array_interfaces_array = MetadataFactory::new_array<Klass*>(null_cld, 2, NULL, CHECK);
306 _the_empty_int_array = MetadataFactory::new_array<int>(null_cld, 0, CHECK);
307 _the_empty_short_array = MetadataFactory::new_array<u2>(null_cld, 0, CHECK);
308 _the_empty_method_array = MetadataFactory::new_array<Method*>(null_cld, 0, CHECK);
309 _the_empty_klass_array = MetadataFactory::new_array<Klass*>(null_cld, 0, CHECK);
310 }
311 }
312
313 vmSymbols::initialize(CHECK);
314
315 SystemDictionary::initialize(CHECK);
316
317 Klass* ok = SystemDictionary::Object_klass();
318
319 _the_null_string = StringTable::intern("null", CHECK);
320 _the_min_jint_string = StringTable::intern("-2147483648", CHECK);
321
322 if (UseSharedSpaces) {
323 // Verify shared interfaces array.
324 assert(_the_array_interfaces_array->at(0) ==
325 SystemDictionary::Cloneable_klass(), "u3");
326 assert(_the_array_interfaces_array->at(1) ==
327 SystemDictionary::Serializable_klass(), "u3");
328 MetaspaceShared::fixup_shared_string_regions();
329 } else {
330 // Set up shared interfaces array. (Do this before supers are set up.)
331 _the_array_interfaces_array->at_put(0, SystemDictionary::Cloneable_klass());
332 _the_array_interfaces_array->at_put(1, SystemDictionary::Serializable_klass());
333 }
334
335 initialize_basic_type_klass(boolArrayKlassObj(), CHECK);
336 initialize_basic_type_klass(charArrayKlassObj(), CHECK);
337 initialize_basic_type_klass(singleArrayKlassObj(), CHECK);
338 initialize_basic_type_klass(doubleArrayKlassObj(), CHECK);
339 initialize_basic_type_klass(byteArrayKlassObj(), CHECK);
340 initialize_basic_type_klass(shortArrayKlassObj(), CHECK);
341 initialize_basic_type_klass(intArrayKlassObj(), CHECK);
342 initialize_basic_type_klass(longArrayKlassObj(), CHECK);
343 } // end of core bootstrapping
344
345 // Maybe this could be lifted up now that object array can be initialized
346 // during the bootstrapping.
347
348 // OLD
349 // Initialize _objectArrayKlass after core bootstraping to make
350 // sure the super class is set up properly for _objectArrayKlass.
351 // ---
352 // NEW
353 // Since some of the old system object arrays have been converted to
354 // ordinary object arrays, _objectArrayKlass will be loaded when
355 // SystemDictionary::initialize(CHECK); is run. See the extra check
356 // for Object_klass_loaded in objArrayKlassKlass::allocate_objArray_klass_impl.
357 _objectArrayKlassObj = InstanceKlass::
358 cast(SystemDictionary::Object_klass())->array_klass(1, CHECK);
359 // OLD
360 // Add the class to the class hierarchy manually to make sure that
361 // its vtable is initialized after core bootstrapping is completed.
362 // ---
363 // New
364 // Have already been initialized.
365 _objectArrayKlassObj->append_to_sibling_list();
366
367 #ifdef ASSERT
368 if (FullGCALot) {
369 // Allocate an array of dummy objects.
370 // We'd like these to be at the bottom of the old generation,
371 // so that when we free one and then collect,
372 // (almost) the whole heap moves
373 // and we find out if we actually update all the oops correctly.
374 // But we can't allocate directly in the old generation,
375 // so we allocate wherever, and hope that the first collection
376 // moves these objects to the bottom of the old generation.
377 // We can allocate directly in the permanent generation, so we do.
378 int size;
379 if (UseConcMarkSweepGC) {
380 log_warning(gc)("Using +FullGCALot with concurrent mark sweep gc will not force all objects to relocate");
381 size = FullGCALotDummies;
382 } else {
383 size = FullGCALotDummies * 2;
384 }
385 objArrayOop naked_array = oopFactory::new_objArray(SystemDictionary::Object_klass(), size, CHECK);
386 objArrayHandle dummy_array(THREAD, naked_array);
387 int i = 0;
388 while (i < size) {
389 // Allocate dummy in old generation
390 oop dummy = SystemDictionary::Object_klass()->allocate_instance(CHECK);
391 dummy_array->obj_at_put(i++, dummy);
392 }
393 {
394 // Only modify the global variable inside the mutex.
395 // If we had a race to here, the other dummy_array instances
396 // and their elements just get dropped on the floor, which is fine.
397 MutexLocker ml(FullGCALot_lock);
398 if (_fullgc_alot_dummy_array == NULL) {
399 _fullgc_alot_dummy_array = dummy_array();
400 }
401 }
402 assert(i == _fullgc_alot_dummy_array->length(), "just checking");
403 }
404 #endif
405
406 // Initialize dependency array for null class loader
407 ClassLoaderData::the_null_class_loader_data()->init_dependencies(CHECK);
408
409 }
410
411 // CDS support for patching vtables in metadata in the shared archive.
412 // All types inherited from Metadata have vtables, but not types inherited
413 // from MetaspaceObj, because the latter does not have virtual functions.
414 // If the metadata type has a vtable, it cannot be shared in the read-only
415 // section of the CDS archive, because the vtable pointer is patched.
416 static inline void add_vtable(void** list, int* n, void* o, int count) {
417 guarantee((*n) < count, "vtable list too small");
418 void* vtable = dereference_vptr(o);
419 assert(*(void**)(vtable) != NULL, "invalid vtable");
420 list[(*n)++] = vtable;
421 }
422
423 void Universe::init_self_patching_vtbl_list(void** list, int count) {
424 int n = 0;
425 { InstanceKlass o; add_vtable(list, &n, &o, count); }
426 { InstanceClassLoaderKlass o; add_vtable(list, &n, &o, count); }
427 { InstanceMirrorKlass o; add_vtable(list, &n, &o, count); }
428 { InstanceRefKlass o; add_vtable(list, &n, &o, count); }
429 { TypeArrayKlass o; add_vtable(list, &n, &o, count); }
430 { ObjArrayKlass o; add_vtable(list, &n, &o, count); }
431 { Method o; add_vtable(list, &n, &o, count); }
432 { ConstantPool o; add_vtable(list, &n, &o, count); }
433 }
434
435 void Universe::initialize_basic_type_mirrors(TRAPS) {
436 assert(_int_mirror==NULL, "basic type mirrors already initialized");
437 _int_mirror =
438 java_lang_Class::create_basic_type_mirror("int", T_INT, CHECK);
439 _float_mirror =
440 java_lang_Class::create_basic_type_mirror("float", T_FLOAT, CHECK);
441 _double_mirror =
442 java_lang_Class::create_basic_type_mirror("double", T_DOUBLE, CHECK);
443 _byte_mirror =
444 java_lang_Class::create_basic_type_mirror("byte", T_BYTE, CHECK);
445 _bool_mirror =
446 java_lang_Class::create_basic_type_mirror("boolean",T_BOOLEAN, CHECK);
447 _char_mirror =
448 java_lang_Class::create_basic_type_mirror("char", T_CHAR, CHECK);
449 _long_mirror =
450 java_lang_Class::create_basic_type_mirror("long", T_LONG, CHECK);
451 _short_mirror =
452 java_lang_Class::create_basic_type_mirror("short", T_SHORT, CHECK);
453 _void_mirror =
454 java_lang_Class::create_basic_type_mirror("void", T_VOID, CHECK);
455
456 _mirrors[T_INT] = _int_mirror;
457 _mirrors[T_FLOAT] = _float_mirror;
458 _mirrors[T_DOUBLE] = _double_mirror;
459 _mirrors[T_BYTE] = _byte_mirror;
460 _mirrors[T_BOOLEAN] = _bool_mirror;
461 _mirrors[T_CHAR] = _char_mirror;
462 _mirrors[T_LONG] = _long_mirror;
463 _mirrors[T_SHORT] = _short_mirror;
464 _mirrors[T_VOID] = _void_mirror;
465 //_mirrors[T_OBJECT] = _object_klass->java_mirror();
466 //_mirrors[T_ARRAY] = _object_klass->java_mirror();
467 }
468
469 void Universe::fixup_mirrors(TRAPS) {
470 // Bootstrap problem: all classes gets a mirror (java.lang.Class instance) assigned eagerly,
471 // but we cannot do that for classes created before java.lang.Class is loaded. Here we simply
472 // walk over permanent objects created so far (mostly classes) and fixup their mirrors. Note
473 // that the number of objects allocated at this point is very small.
474 assert(SystemDictionary::Class_klass_loaded(), "java.lang.Class should be loaded");
475 HandleMark hm(THREAD);
476 // Cache the start of the static fields
477 InstanceMirrorKlass::init_offset_of_static_fields();
478
479 GrowableArray <Klass*>* list = java_lang_Class::fixup_mirror_list();
480 int list_length = list->length();
481 for (int i = 0; i < list_length; i++) {
482 Klass* k = list->at(i);
483 assert(k->is_klass(), "List should only hold classes");
484 EXCEPTION_MARK;
485 KlassHandle kh(THREAD, k);
486 java_lang_Class::fixup_mirror(kh, CATCH);
487 }
488 delete java_lang_Class::fixup_mirror_list();
489 java_lang_Class::set_fixup_mirror_list(NULL);
490 }
491
492 oop Universe::swap_reference_pending_list(oop list) {
493 return (oop)Atomic::xchg_ptr(list, &_reference_pending_list);
494 }
495
496 static bool has_run_finalizers_on_exit = false;
497
498 void Universe::run_finalizers_on_exit() {
499 if (has_run_finalizers_on_exit) return;
500 has_run_finalizers_on_exit = true;
501
502 // Called on VM exit. This ought to be run in a separate thread.
503 log_trace(ref)("Callback to run finalizers on exit");
504 {
505 PRESERVE_EXCEPTION_MARK;
506 KlassHandle finalizer_klass(THREAD, SystemDictionary::Finalizer_klass());
507 JavaValue result(T_VOID);
508 JavaCalls::call_static(
509 &result,
510 finalizer_klass,
511 vmSymbols::run_finalizers_on_exit_name(),
512 vmSymbols::void_method_signature(),
513 THREAD
514 );
515 // Ignore any pending exceptions
516 CLEAR_PENDING_EXCEPTION;
517 }
518 }
519
520
521 // initialize_vtable could cause gc if
522 // 1) we specified true to initialize_vtable and
523 // 2) this ran after gc was enabled
524 // In case those ever change we use handles for oops
525 void Universe::reinitialize_vtable_of(KlassHandle k_h, TRAPS) {
526 // init vtable of k and all subclasses
527 Klass* ko = k_h();
528 klassVtable* vt = ko->vtable();
529 if (vt) vt->initialize_vtable(false, CHECK);
530 if (ko->is_instance_klass()) {
531 for (KlassHandle s_h(THREAD, ko->subklass());
532 s_h() != NULL;
533 s_h = KlassHandle(THREAD, s_h()->next_sibling())) {
534 reinitialize_vtable_of(s_h, CHECK);
535 }
536 }
537 }
538
539
540 void initialize_itable_for_klass(Klass* k, TRAPS) {
541 InstanceKlass::cast(k)->itable()->initialize_itable(false, CHECK);
542 }
543
544
545 void Universe::reinitialize_itables(TRAPS) {
546 SystemDictionary::classes_do(initialize_itable_for_klass, CHECK);
547
548 }
549
550
551 bool Universe::on_page_boundary(void* addr) {
552 return ((uintptr_t) addr) % os::vm_page_size() == 0;
553 }
554
555
556 bool Universe::should_fill_in_stack_trace(Handle throwable) {
557 // never attempt to fill in the stack trace of preallocated errors that do not have
558 // backtrace. These errors are kept alive forever and may be "re-used" when all
559 // preallocated errors with backtrace have been consumed. Also need to avoid
560 // a potential loop which could happen if an out of memory occurs when attempting
561 // to allocate the backtrace.
562 return ((throwable() != Universe::_out_of_memory_error_java_heap) &&
563 (throwable() != Universe::_out_of_memory_error_metaspace) &&
564 (throwable() != Universe::_out_of_memory_error_class_metaspace) &&
565 (throwable() != Universe::_out_of_memory_error_array_size) &&
566 (throwable() != Universe::_out_of_memory_error_gc_overhead_limit) &&
567 (throwable() != Universe::_out_of_memory_error_realloc_objects));
568 }
569
570
571 oop Universe::gen_out_of_memory_error(oop default_err) {
572 // generate an out of memory error:
573 // - if there is a preallocated error with backtrace available then return it wth
574 // a filled in stack trace.
575 // - if there are no preallocated errors with backtrace available then return
576 // an error without backtrace.
577 int next;
578 if (_preallocated_out_of_memory_error_avail_count > 0) {
579 next = (int)Atomic::add(-1, &_preallocated_out_of_memory_error_avail_count);
580 assert(next < (int)PreallocatedOutOfMemoryErrorCount, "avail count is corrupt");
581 } else {
582 next = -1;
583 }
584 if (next < 0) {
585 // all preallocated errors have been used.
586 // return default
587 return default_err;
588 } else {
589 // get the error object at the slot and set set it to NULL so that the
590 // array isn't keeping it alive anymore.
591 oop exc = preallocated_out_of_memory_errors()->obj_at(next);
592 assert(exc != NULL, "slot has been used already");
593 preallocated_out_of_memory_errors()->obj_at_put(next, NULL);
594
595 // use the message from the default error
596 oop msg = java_lang_Throwable::message(default_err);
597 assert(msg != NULL, "no message");
598 java_lang_Throwable::set_message(exc, msg);
599
600 // populate the stack trace and return it.
601 java_lang_Throwable::fill_in_stack_trace_of_preallocated_backtrace(exc);
602 return exc;
603 }
604 }
605
606 intptr_t Universe::_non_oop_bits = 0;
607
608 void* Universe::non_oop_word() {
609 // Neither the high bits nor the low bits of this value is allowed
610 // to look like (respectively) the high or low bits of a real oop.
611 //
612 // High and low are CPU-specific notions, but low always includes
613 // the low-order bit. Since oops are always aligned at least mod 4,
614 // setting the low-order bit will ensure that the low half of the
615 // word will never look like that of a real oop.
616 //
617 // Using the OS-supplied non-memory-address word (usually 0 or -1)
618 // will take care of the high bits, however many there are.
619
620 if (_non_oop_bits == 0) {
621 _non_oop_bits = (intptr_t)os::non_memory_address_word() | 1;
622 }
623
624 return (void*)_non_oop_bits;
625 }
626
627 jint universe_init() {
628 assert(!Universe::_fully_initialized, "called after initialize_vtables");
629 guarantee(1 << LogHeapWordSize == sizeof(HeapWord),
630 "LogHeapWordSize is incorrect.");
631 guarantee(sizeof(oop) >= sizeof(HeapWord), "HeapWord larger than oop?");
632 guarantee(sizeof(oop) % sizeof(HeapWord) == 0,
633 "oop size is not not a multiple of HeapWord size");
634
635 TraceTime timer("Genesis", TRACETIME_LOG(Info, startuptime));
636
637 JavaClasses::compute_hard_coded_offsets();
638
639 jint status = Universe::initialize_heap();
640 if (status != JNI_OK) {
641 return status;
642 }
643
644 Metaspace::global_initialize();
645
646 // Checks 'AfterMemoryInit' constraints.
647 if (!CommandLineFlagConstraintList::check_constraints(CommandLineFlagConstraint::AfterMemoryInit)) {
648 return JNI_EINVAL;
649 }
650
651 // Create memory for metadata. Must be after initializing heap for
652 // DumpSharedSpaces.
653 ClassLoaderData::init_null_class_loader_data();
654
655 // We have a heap so create the Method* caches before
656 // Metaspace::initialize_shared_spaces() tries to populate them.
657 Universe::_finalizer_register_cache = new LatestMethodCache();
658 Universe::_loader_addClass_cache = new LatestMethodCache();
659 Universe::_pd_implies_cache = new LatestMethodCache();
660 Universe::_throw_illegal_access_error_cache = new LatestMethodCache();
661 Universe::_do_stack_walk_cache = new LatestMethodCache();
662
663 if (UseSharedSpaces) {
664 // Read the data structures supporting the shared spaces (shared
665 // system dictionary, symbol table, etc.). After that, access to
666 // the file (other than the mapped regions) is no longer needed, and
667 // the file is closed. Closing the file does not affect the
668 // currently mapped regions.
669 MetaspaceShared::initialize_shared_spaces();
670 StringTable::create_table();
671 } else {
672 SymbolTable::create_table();
673 StringTable::create_table();
674 ClassLoader::create_package_info_table();
675
676 if (DumpSharedSpaces) {
677 MetaspaceShared::prepare_for_dumping();
678 }
679 }
680 if (strlen(VerifySubSet) > 0) {
681 Universe::initialize_verify_flags();
682 }
683
684 return JNI_OK;
685 }
686
687 CollectedHeap* Universe::create_heap() {
688 assert(_collectedHeap == NULL, "Heap already created");
689 #if !INCLUDE_ALL_GCS
690 if (UseParallelGC) {
691 fatal("UseParallelGC not supported in this VM.");
692 } else if (UseG1GC) {
693 fatal("UseG1GC not supported in this VM.");
694 } else if (UseConcMarkSweepGC) {
695 fatal("UseConcMarkSweepGC not supported in this VM.");
696 #else
697 if (UseParallelGC) {
698 return Universe::create_heap_with_policy<ParallelScavengeHeap, GenerationSizer>();
699 } else if (UseG1GC) {
700 return Universe::create_heap_with_policy<G1CollectedHeap, G1CollectorPolicy>();
701 } else if (UseConcMarkSweepGC) {
702 return Universe::create_heap_with_policy<GenCollectedHeap, ConcurrentMarkSweepPolicy>();
703 #endif
704 } else if (UseSerialGC) {
705 return Universe::create_heap_with_policy<GenCollectedHeap, MarkSweepPolicy>();
706 }
707
708 ShouldNotReachHere();
709 return NULL;
710 }
711
712 // Choose the heap base address and oop encoding mode
713 // when compressed oops are used:
714 // Unscaled - Use 32-bits oops without encoding when
715 // NarrowOopHeapBaseMin + heap_size < 4Gb
716 // ZeroBased - Use zero based compressed oops with encoding when
717 // NarrowOopHeapBaseMin + heap_size < 32Gb
718 // HeapBased - Use compressed oops with heap base + encoding.
719
720 jint Universe::initialize_heap() {
721 jint status = JNI_ERR;
722
723 _collectedHeap = create_heap_ext();
724 if (_collectedHeap == NULL) {
725 _collectedHeap = create_heap();
726 }
727
728 status = _collectedHeap->initialize();
729 if (status != JNI_OK) {
730 return status;
731 }
732 log_info(gc)("Using %s", _collectedHeap->name());
733
734 ThreadLocalAllocBuffer::set_max_size(Universe::heap()->max_tlab_size());
735
736 #ifdef _LP64
737 if (UseCompressedOops) {
738 // Subtract a page because something can get allocated at heap base.
739 // This also makes implicit null checking work, because the
740 // memory+1 page below heap_base needs to cause a signal.
741 // See needs_explicit_null_check.
742 // Only set the heap base for compressed oops because it indicates
743 // compressed oops for pstack code.
744 if ((uint64_t)Universe::heap()->reserved_region().end() > UnscaledOopHeapMax) {
745 // Didn't reserve heap below 4Gb. Must shift.
746 Universe::set_narrow_oop_shift(LogMinObjAlignmentInBytes);
747 }
748 if ((uint64_t)Universe::heap()->reserved_region().end() <= OopEncodingHeapMax) {
749 // Did reserve heap below 32Gb. Can use base == 0;
750 Universe::set_narrow_oop_base(0);
751 }
752
753 Universe::set_narrow_ptrs_base(Universe::narrow_oop_base());
754
755 if (PrintCompressedOopsMode || (PrintMiscellaneous && Verbose)) {
756 Universe::print_compressed_oops_mode(tty);
757 }
758
759 // Tell tests in which mode we run.
760 Arguments::PropertyList_add(new SystemProperty("java.vm.compressedOopsMode",
761 narrow_oop_mode_to_string(narrow_oop_mode()),
762 false));
763 }
764 // Universe::narrow_oop_base() is one page below the heap.
765 assert((intptr_t)Universe::narrow_oop_base() <= (intptr_t)(Universe::heap()->base() -
766 os::vm_page_size()) ||
767 Universe::narrow_oop_base() == NULL, "invalid value");
768 assert(Universe::narrow_oop_shift() == LogMinObjAlignmentInBytes ||
769 Universe::narrow_oop_shift() == 0, "invalid value");
770 #endif
771
772 // We will never reach the CATCH below since Exceptions::_throw will cause
773 // the VM to exit if an exception is thrown during initialization
774
775 if (UseTLAB) {
776 assert(Universe::heap()->supports_tlab_allocation(),
777 "Should support thread-local allocation buffers");
778 ThreadLocalAllocBuffer::startup_initialization();
779 }
780 return JNI_OK;
781 }
782
783 void Universe::print_compressed_oops_mode(outputStream* st) {
784 st->print("heap address: " PTR_FORMAT ", size: " SIZE_FORMAT " MB",
785 p2i(Universe::heap()->base()), Universe::heap()->reserved_region().byte_size()/M);
786
787 st->print(", Compressed Oops mode: %s", narrow_oop_mode_to_string(narrow_oop_mode()));
788
789 if (Universe::narrow_oop_base() != 0) {
790 st->print(": " PTR_FORMAT, p2i(Universe::narrow_oop_base()));
791 }
792
793 if (Universe::narrow_oop_shift() != 0) {
794 st->print(", Oop shift amount: %d", Universe::narrow_oop_shift());
795 }
796
797 if (!Universe::narrow_oop_use_implicit_null_checks()) {
798 st->print(", no protected page in front of the heap");
799 }
800 st->cr();
801 }
802
803 ReservedSpace Universe::reserve_heap(size_t heap_size, size_t alignment) {
804
805 assert(alignment <= Arguments::conservative_max_heap_alignment(),
806 "actual alignment " SIZE_FORMAT " must be within maximum heap alignment " SIZE_FORMAT,
807 alignment, Arguments::conservative_max_heap_alignment());
808
809 size_t total_reserved = align_size_up(heap_size, alignment);
810 assert(!UseCompressedOops || (total_reserved <= (OopEncodingHeapMax - os::vm_page_size())),
811 "heap size is too big for compressed oops");
812
813 bool use_large_pages = UseLargePages && is_size_aligned(alignment, os::large_page_size());
814 assert(!UseLargePages
815 || UseParallelGC
816 || use_large_pages, "Wrong alignment to use large pages");
817
818 // Now create the space.
819 ReservedHeapSpace total_rs(total_reserved, alignment, use_large_pages);
820
821 if (total_rs.is_reserved()) {
822 assert((total_reserved == total_rs.size()) && ((uintptr_t)total_rs.base() % alignment == 0),
823 "must be exactly of required size and alignment");
824 // We are good.
825
826 if (UseCompressedOops) {
827 // Universe::initialize_heap() will reset this to NULL if unscaled
828 // or zero-based narrow oops are actually used.
829 // Else heap start and base MUST differ, so that NULL can be encoded nonambigous.
830 Universe::set_narrow_oop_base((address)total_rs.compressed_oop_base());
831 }
832
833 return total_rs;
834 }
835
836 vm_exit_during_initialization(
837 err_msg("Could not reserve enough space for " SIZE_FORMAT "KB object heap",
838 total_reserved/K));
839
840 // satisfy compiler
841 ShouldNotReachHere();
842 return ReservedHeapSpace(0, 0, false);
843 }
844
845
846 // It's the caller's responsibility to ensure glitch-freedom
847 // (if required).
848 void Universe::update_heap_info_at_gc() {
849 _heap_capacity_at_last_gc = heap()->capacity();
850 _heap_used_at_last_gc = heap()->used();
851 }
852
853
854 const char* Universe::narrow_oop_mode_to_string(Universe::NARROW_OOP_MODE mode) {
855 switch (mode) {
856 case UnscaledNarrowOop:
857 return "32-bit";
858 case ZeroBasedNarrowOop:
859 return "Zero based";
860 case DisjointBaseNarrowOop:
861 return "Non-zero disjoint base";
862 case HeapBasedNarrowOop:
863 return "Non-zero based";
864 }
865
866 ShouldNotReachHere();
867 return "";
868 }
869
870
871 Universe::NARROW_OOP_MODE Universe::narrow_oop_mode() {
872 if (narrow_oop_base_disjoint()) {
873 return DisjointBaseNarrowOop;
874 }
875
876 if (narrow_oop_base() != 0) {
877 return HeapBasedNarrowOop;
878 }
879
880 if (narrow_oop_shift() != 0) {
881 return ZeroBasedNarrowOop;
882 }
883
884 return UnscaledNarrowOop;
885 }
886
887
888 void universe2_init() {
889 EXCEPTION_MARK;
890 Universe::genesis(CATCH);
891 }
892
893
894 bool universe_post_init() {
895 assert(!is_init_completed(), "Error: initialization not yet completed!");
896 Universe::_fully_initialized = true;
897 EXCEPTION_MARK;
898 { ResourceMark rm;
899 Interpreter::initialize(); // needed for interpreter entry points
900 if (!UseSharedSpaces) {
901 HandleMark hm(THREAD);
902 KlassHandle ok_h(THREAD, SystemDictionary::Object_klass());
903 Universe::reinitialize_vtable_of(ok_h, CHECK_false);
904 Universe::reinitialize_itables(CHECK_false);
905 }
906 }
907
908 HandleMark hm(THREAD);
909 Klass* k;
910 instanceKlassHandle k_h;
911 // Setup preallocated empty java.lang.Class array
912 Universe::_the_empty_class_klass_array = oopFactory::new_objArray(SystemDictionary::Class_klass(), 0, CHECK_false);
913
914 // Setup preallocated OutOfMemoryError errors
915 k = SystemDictionary::resolve_or_fail(vmSymbols::java_lang_OutOfMemoryError(), true, CHECK_false);
916 k_h = instanceKlassHandle(THREAD, k);
917 Universe::_out_of_memory_error_java_heap = k_h->allocate_instance(CHECK_false);
918 Universe::_out_of_memory_error_metaspace = k_h->allocate_instance(CHECK_false);
919 Universe::_out_of_memory_error_class_metaspace = k_h->allocate_instance(CHECK_false);
920 Universe::_out_of_memory_error_array_size = k_h->allocate_instance(CHECK_false);
921 Universe::_out_of_memory_error_gc_overhead_limit =
922 k_h->allocate_instance(CHECK_false);
923 Universe::_out_of_memory_error_realloc_objects = k_h->allocate_instance(CHECK_false);
924
925 // Setup preallocated cause message for delayed StackOverflowError
926 if (StackReservedPages > 0) {
927 Universe::_delayed_stack_overflow_error_message =
928 java_lang_String::create_oop_from_str("Delayed StackOverflowError due to ReservedStackAccess annotated method", CHECK_false);
929 }
930
931 // Setup preallocated NullPointerException
932 // (this is currently used for a cheap & dirty solution in compiler exception handling)
933 k = SystemDictionary::resolve_or_fail(vmSymbols::java_lang_NullPointerException(), true, CHECK_false);
934 Universe::_null_ptr_exception_instance = InstanceKlass::cast(k)->allocate_instance(CHECK_false);
935 // Setup preallocated ArithmeticException
936 // (this is currently used for a cheap & dirty solution in compiler exception handling)
937 k = SystemDictionary::resolve_or_fail(vmSymbols::java_lang_ArithmeticException(), true, CHECK_false);
938 Universe::_arithmetic_exception_instance = InstanceKlass::cast(k)->allocate_instance(CHECK_false);
939 // Virtual Machine Error for when we get into a situation we can't resolve
940 k = SystemDictionary::resolve_or_fail(
941 vmSymbols::java_lang_VirtualMachineError(), true, CHECK_false);
942 bool linked = InstanceKlass::cast(k)->link_class_or_fail(CHECK_false);
943 if (!linked) {
944 tty->print_cr("Unable to link/verify VirtualMachineError class");
945 return false; // initialization failed
946 }
947 Universe::_virtual_machine_error_instance =
948 InstanceKlass::cast(k)->allocate_instance(CHECK_false);
949
950 Universe::_vm_exception = InstanceKlass::cast(k)->allocate_instance(CHECK_false);
951
952 if (!DumpSharedSpaces) {
953 // These are the only Java fields that are currently set during shared space dumping.
954 // We prefer to not handle this generally, so we always reinitialize these detail messages.
955 Handle msg = java_lang_String::create_from_str("Java heap space", CHECK_false);
956 java_lang_Throwable::set_message(Universe::_out_of_memory_error_java_heap, msg());
957
958 msg = java_lang_String::create_from_str("Metaspace", CHECK_false);
959 java_lang_Throwable::set_message(Universe::_out_of_memory_error_metaspace, msg());
960 msg = java_lang_String::create_from_str("Compressed class space", CHECK_false);
961 java_lang_Throwable::set_message(Universe::_out_of_memory_error_class_metaspace, msg());
962
963 msg = java_lang_String::create_from_str("Requested array size exceeds VM limit", CHECK_false);
964 java_lang_Throwable::set_message(Universe::_out_of_memory_error_array_size, msg());
965
966 msg = java_lang_String::create_from_str("GC overhead limit exceeded", CHECK_false);
967 java_lang_Throwable::set_message(Universe::_out_of_memory_error_gc_overhead_limit, msg());
968
969 msg = java_lang_String::create_from_str("Java heap space: failed reallocation of scalar replaced objects", CHECK_false);
970 java_lang_Throwable::set_message(Universe::_out_of_memory_error_realloc_objects, msg());
971
972 msg = java_lang_String::create_from_str("/ by zero", CHECK_false);
973 java_lang_Throwable::set_message(Universe::_arithmetic_exception_instance, msg());
974
975 // Setup the array of errors that have preallocated backtrace
976 k = Universe::_out_of_memory_error_java_heap->klass();
977 assert(k->name() == vmSymbols::java_lang_OutOfMemoryError(), "should be out of memory error");
978 k_h = instanceKlassHandle(THREAD, k);
979
980 int len = (StackTraceInThrowable) ? (int)PreallocatedOutOfMemoryErrorCount : 0;
981 Universe::_preallocated_out_of_memory_error_array = oopFactory::new_objArray(k_h(), len, CHECK_false);
982 for (int i=0; i<len; i++) {
983 oop err = k_h->allocate_instance(CHECK_false);
984 Handle err_h = Handle(THREAD, err);
985 java_lang_Throwable::allocate_backtrace(err_h, CHECK_false);
986 Universe::preallocated_out_of_memory_errors()->obj_at_put(i, err_h());
987 }
988 Universe::_preallocated_out_of_memory_error_avail_count = (jint)len;
989 }
990
991
992 // Setup static method for registering finalizers
993 // The finalizer klass must be linked before looking up the method, in
994 // case it needs to get rewritten.
995 SystemDictionary::Finalizer_klass()->link_class(CHECK_false);
996 Method* m = SystemDictionary::Finalizer_klass()->find_method(
997 vmSymbols::register_method_name(),
998 vmSymbols::register_method_signature());
999 if (m == NULL || !m->is_static()) {
1000 tty->print_cr("Unable to link/verify Finalizer.register method");
1001 return false; // initialization failed (cannot throw exception yet)
1002 }
1003 Universe::_finalizer_register_cache->init(
1004 SystemDictionary::Finalizer_klass(), m);
1005
1006 SystemDictionary::internal_Unsafe_klass()->link_class(CHECK_false);
1007 m = SystemDictionary::internal_Unsafe_klass()->find_method(
1008 vmSymbols::throwIllegalAccessError_name(),
1009 vmSymbols::void_method_signature());
1010 if (m != NULL && !m->is_static()) {
1011 // Note null is okay; this method is used in itables, and if it is null,
1012 // then AbstractMethodError is thrown instead.
1013 tty->print_cr("Unable to link/verify Unsafe.throwIllegalAccessError method");
1014 return false; // initialization failed (cannot throw exception yet)
1015 }
1016 Universe::_throw_illegal_access_error_cache->init(
1017 SystemDictionary::internal_Unsafe_klass(), m);
1018
1019 // Setup method for registering loaded classes in class loader vector
1020 SystemDictionary::ClassLoader_klass()->link_class(CHECK_false);
1021 m = SystemDictionary::ClassLoader_klass()->find_method(vmSymbols::addClass_name(), vmSymbols::class_void_signature());
1022 if (m == NULL || m->is_static()) {
1023 tty->print_cr("Unable to link/verify ClassLoader.addClass method");
1024 return false; // initialization failed (cannot throw exception yet)
1025 }
1026 Universe::_loader_addClass_cache->init(
1027 SystemDictionary::ClassLoader_klass(), m);
1028
1029 // Setup method for checking protection domain
1030 SystemDictionary::ProtectionDomain_klass()->link_class(CHECK_false);
1031 m = SystemDictionary::ProtectionDomain_klass()->
1032 find_method(vmSymbols::impliesCreateAccessControlContext_name(),
1033 vmSymbols::void_boolean_signature());
1034 // Allow NULL which should only happen with bootstrapping.
1035 if (m != NULL) {
1036 if (m->is_static()) {
1037 // NoSuchMethodException doesn't actually work because it tries to run the
1038 // <init> function before java_lang_Class is linked. Print error and exit.
1039 tty->print_cr("ProtectionDomain.impliesCreateAccessControlContext() has the wrong linkage");
1040 return false; // initialization failed
1041 }
1042 Universe::_pd_implies_cache->init(
1043 SystemDictionary::ProtectionDomain_klass(), m);
1044 }
1045
1046 // Setup method for stack walking
1047 InstanceKlass::cast(SystemDictionary::AbstractStackWalker_klass())->link_class(CHECK_false);
1048 m = InstanceKlass::cast(SystemDictionary::AbstractStackWalker_klass())->
1049 find_method(vmSymbols::doStackWalk_name(),
1050 vmSymbols::doStackWalk_signature());
1051 // Allow NULL which should only happen with bootstrapping.
1052 if (m != NULL) {
1053 Universe::_do_stack_walk_cache->init(
1054 SystemDictionary::AbstractStackWalker_klass(), m);
1055 }
1056
1057 // This needs to be done before the first scavenge/gc, since
1058 // it's an input to soft ref clearing policy.
1059 {
1060 MutexLocker x(Heap_lock);
1061 Universe::update_heap_info_at_gc();
1062 }
1063
1064 // ("weak") refs processing infrastructure initialization
1065 Universe::heap()->post_initialize();
1066
1067 // Initialize performance counters for metaspaces
1068 MetaspaceCounters::initialize_performance_counters();
1069 CompressedClassSpaceCounters::initialize_performance_counters();
1070
1071 MemoryService::add_metaspace_memory_pools();
1072
1073 MemoryService::set_universe_heap(Universe::heap());
1074 #if INCLUDE_CDS
1075 SharedClassUtil::initialize(CHECK_false);
1076 #endif
1077 return true;
1078 }
1079
1080
1081 void Universe::compute_base_vtable_size() {
1082 _base_vtable_size = ClassLoader::compute_Object_vtable();
1083 }
1084
1085 void Universe::print_on(outputStream* st) {
1086 st->print_cr("Heap");
1087 heap()->print_on(st);
1088 }
1089
1090 void Universe::print_heap_at_SIGBREAK() {
1091 if (PrintHeapAtSIGBREAK) {
1092 MutexLocker hl(Heap_lock);
1093 print_on(tty);
1094 tty->cr();
1095 tty->flush();
1096 }
1097 }
1098
1099 void Universe::print_heap_before_gc() {
1100 LogHandle(gc, heap) log;
1101 if (log.is_debug()) {
1102 log.debug("Heap before GC invocations=%u (full %u):", heap()->total_collections(), heap()->total_full_collections());
1103 ResourceMark rm;
1104 heap()->print_on(log.debug_stream());
1105 }
1106 }
1107
1108 void Universe::print_heap_after_gc() {
1109 LogHandle(gc, heap) log;
1110 if (log.is_debug()) {
1111 log.debug("Heap after GC invocations=%u (full %u):", heap()->total_collections(), heap()->total_full_collections());
1112 ResourceMark rm;
1113 heap()->print_on(log.debug_stream());
1114 }
1115 }
1116
1117 void Universe::initialize_verify_flags() {
1118 verify_flags = 0;
1119 const char delimiter[] = " ,";
1120
1121 size_t length = strlen(VerifySubSet);
1122 char* subset_list = NEW_C_HEAP_ARRAY(char, length + 1, mtInternal);
1123 strncpy(subset_list, VerifySubSet, length + 1);
1124
1125 char* token = strtok(subset_list, delimiter);
1126 while (token != NULL) {
1127 if (strcmp(token, "threads") == 0) {
1128 verify_flags |= Verify_Threads;
1129 } else if (strcmp(token, "heap") == 0) {
1130 verify_flags |= Verify_Heap;
1131 } else if (strcmp(token, "symbol_table") == 0) {
1132 verify_flags |= Verify_SymbolTable;
1133 } else if (strcmp(token, "string_table") == 0) {
1134 verify_flags |= Verify_StringTable;
1135 } else if (strcmp(token, "codecache") == 0) {
1136 verify_flags |= Verify_CodeCache;
1137 } else if (strcmp(token, "dictionary") == 0) {
1138 verify_flags |= Verify_SystemDictionary;
1139 } else if (strcmp(token, "classloader_data_graph") == 0) {
1140 verify_flags |= Verify_ClassLoaderDataGraph;
1141 } else if (strcmp(token, "metaspace") == 0) {
1142 verify_flags |= Verify_MetaspaceAux;
1143 } else if (strcmp(token, "jni_handles") == 0) {
1144 verify_flags |= Verify_JNIHandles;
1145 } else if (strcmp(token, "c-heap") == 0) {
1146 verify_flags |= Verify_CHeap;
1147 } else if (strcmp(token, "codecache_oops") == 0) {
1148 verify_flags |= Verify_CodeCacheOops;
1149 } else {
1150 vm_exit_during_initialization(err_msg("VerifySubSet: \'%s\' memory sub-system is unknown, please correct it", token));
1151 }
1152 token = strtok(NULL, delimiter);
1153 }
1154 FREE_C_HEAP_ARRAY(char, subset_list);
1155 }
1156
1157 bool Universe::should_verify_subset(uint subset) {
1158 if (verify_flags & subset) {
1159 return true;
1160 }
1161 return false;
1162 }
1163
1164 void Universe::verify(VerifyOption option, const char* prefix) {
1165 // The use of _verify_in_progress is a temporary work around for
1166 // 6320749. Don't bother with a creating a class to set and clear
1167 // it since it is only used in this method and the control flow is
1168 // straight forward.
1169 _verify_in_progress = true;
1170
1171 COMPILER2_PRESENT(
1172 assert(!DerivedPointerTable::is_active(),
1173 "DPT should not be active during verification "
1174 "(of thread stacks below)");
1175 )
1176
1177 ResourceMark rm;
1178 HandleMark hm; // Handles created during verification can be zapped
1179 _verify_count++;
1180
1181 FormatBuffer<> title("Verifying %s", prefix);
1182 GCTraceTime(Info, gc, verify) tm(title.buffer());
1183 if (should_verify_subset(Verify_Threads)) {
1184 log_debug(gc, verify)("Threads");
1185 Threads::verify();
1186 }
1187 if (should_verify_subset(Verify_Heap)) {
1188 log_debug(gc, verify)("Heap");
1189 heap()->verify(option);
1190 }
1191 if (should_verify_subset(Verify_SymbolTable)) {
1192 log_debug(gc, verify)("SymbolTable");
1193 SymbolTable::verify();
1194 }
1195 if (should_verify_subset(Verify_StringTable)) {
1196 log_debug(gc, verify)("StringTable");
1197 StringTable::verify();
1198 }
1199 if (should_verify_subset(Verify_CodeCache)) {
1200 {
1201 MutexLockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag);
1202 log_debug(gc, verify)("CodeCache");
1203 CodeCache::verify();
1204 }
1205 }
1206 if (should_verify_subset(Verify_SystemDictionary)) {
1207 log_debug(gc, verify)("SystemDictionary");
1208 SystemDictionary::verify();
1209 }
1210 #ifndef PRODUCT
1211 if (should_verify_subset(Verify_ClassLoaderDataGraph)) {
1212 log_debug(gc, verify)("ClassLoaderDataGraph");
1213 ClassLoaderDataGraph::verify();
1214 }
1215 #endif
1216 if (should_verify_subset(Verify_MetaspaceAux)) {
1217 log_debug(gc, verify)("MetaspaceAux");
1218 MetaspaceAux::verify_free_chunks();
1219 }
1220 if (should_verify_subset(Verify_JNIHandles)) {
1221 log_debug(gc, verify)("JNIHandles");
1222 JNIHandles::verify();
1223 }
1224 if (should_verify_subset(Verify_CHeap)) {
1225 log_debug(gc, verify)("C-heap");
1226 os::check_heap();
1227 }
1228 if (should_verify_subset(Verify_CodeCacheOops)) {
1229 log_debug(gc, verify)("CodeCache Oops");
1230 CodeCache::verify_oops();
1231 }
1232
1233 _verify_in_progress = false;
1234 }
1235
1236
1237 #ifndef PRODUCT
1238 void Universe::calculate_verify_data(HeapWord* low_boundary, HeapWord* high_boundary) {
1239 assert(low_boundary < high_boundary, "bad interval");
1240
1241 // decide which low-order bits we require to be clear:
1242 size_t alignSize = MinObjAlignmentInBytes;
1243 size_t min_object_size = CollectedHeap::min_fill_size();
1244
1245 // make an inclusive limit:
1246 uintptr_t max = (uintptr_t)high_boundary - min_object_size*wordSize;
1247 uintptr_t min = (uintptr_t)low_boundary;
1248 assert(min < max, "bad interval");
1249 uintptr_t diff = max ^ min;
1250
1251 // throw away enough low-order bits to make the diff vanish
1252 uintptr_t mask = (uintptr_t)(-1);
1253 while ((mask & diff) != 0)
1254 mask <<= 1;
1255 uintptr_t bits = (min & mask);
1256 assert(bits == (max & mask), "correct mask");
1257 // check an intermediate value between min and max, just to make sure:
1258 assert(bits == ((min + (max-min)/2) & mask), "correct mask");
1259
1260 // require address alignment, too:
1261 mask |= (alignSize - 1);
1262
1263 if (!(_verify_oop_mask == 0 && _verify_oop_bits == (uintptr_t)-1)) {
1264 assert(_verify_oop_mask == mask && _verify_oop_bits == bits, "mask stability");
1265 }
1266 _verify_oop_mask = mask;
1267 _verify_oop_bits = bits;
1268 }
1269
1270 // Oop verification (see MacroAssembler::verify_oop)
1271
1272 uintptr_t Universe::verify_oop_mask() {
1273 MemRegion m = heap()->reserved_region();
1274 calculate_verify_data(m.start(), m.end());
1275 return _verify_oop_mask;
1276 }
1277
1278 uintptr_t Universe::verify_oop_bits() {
1279 MemRegion m = heap()->reserved_region();
1280 calculate_verify_data(m.start(), m.end());
1281 return _verify_oop_bits;
1282 }
1283
1284 uintptr_t Universe::verify_mark_mask() {
1285 return markOopDesc::lock_mask_in_place;
1286 }
1287
1288 uintptr_t Universe::verify_mark_bits() {
1289 intptr_t mask = verify_mark_mask();
1290 intptr_t bits = (intptr_t)markOopDesc::prototype();
1291 assert((bits & ~mask) == 0, "no stray header bits");
1292 return bits;
1293 }
1294 #endif // PRODUCT
1295
1296
1297 void Universe::compute_verify_oop_data() {
1298 verify_oop_mask();
1299 verify_oop_bits();
1300 verify_mark_mask();
1301 verify_mark_bits();
1302 }
1303
1304
1305 void LatestMethodCache::init(Klass* k, Method* m) {
1306 if (!UseSharedSpaces) {
1307 _klass = k;
1308 }
1309 #ifndef PRODUCT
1310 else {
1311 // sharing initilization should have already set up _klass
1312 assert(_klass != NULL, "just checking");
1313 }
1314 #endif
1315
1316 _method_idnum = m->method_idnum();
1317 assert(_method_idnum >= 0, "sanity check");
1318 }
1319
1320
1321 Method* LatestMethodCache::get_method() {
1322 if (klass() == NULL) return NULL;
1323 InstanceKlass* ik = InstanceKlass::cast(klass());
1324 Method* m = ik->method_with_idnum(method_idnum());
1325 assert(m != NULL, "sanity check");
1326 return m;
1327 }
1328
1329
1330 #ifdef ASSERT
1331 // Release dummy object(s) at bottom of heap
1332 bool Universe::release_fullgc_alot_dummy() {
1333 MutexLocker ml(FullGCALot_lock);
1334 if (_fullgc_alot_dummy_array != NULL) {
1335 if (_fullgc_alot_dummy_next >= _fullgc_alot_dummy_array->length()) {
1336 // No more dummies to release, release entire array instead
1337 _fullgc_alot_dummy_array = NULL;
1338 return false;
1339 }
1340 if (!UseConcMarkSweepGC) {
1341 // Release dummy at bottom of old generation
1342 _fullgc_alot_dummy_array->obj_at_put(_fullgc_alot_dummy_next++, NULL);
1343 }
1344 // Release dummy at bottom of permanent generation
1345 _fullgc_alot_dummy_array->obj_at_put(_fullgc_alot_dummy_next++, NULL);
1346 }
1347 return true;
1348 }
1349
1350 #endif // ASSERT