1 /*
2 * Copyright (c) 1997, 2020, 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 "aot/aotLoader.hpp"
27 #include "classfile/classLoader.hpp"
28 #include "classfile/classLoaderDataGraph.hpp"
29 #include "classfile/javaClasses.hpp"
30 #include "classfile/stringTable.hpp"
31 #include "classfile/symbolTable.hpp"
32 #include "classfile/systemDictionary.hpp"
33 #include "classfile/vmSymbols.hpp"
34 #include "code/codeBehaviours.hpp"
35 #include "code/codeCache.hpp"
36 #include "code/dependencies.hpp"
37 #include "gc/shared/collectedHeap.inline.hpp"
38 #include "gc/shared/gcArguments.hpp"
39 #include "gc/shared/gcConfig.hpp"
40 #include "gc/shared/gcLogPrecious.hpp"
41 #include "gc/shared/gcTraceTime.inline.hpp"
42 #include "gc/shared/oopStorageSet.hpp"
43 #include "interpreter/interpreter.hpp"
44 #include "logging/log.hpp"
45 #include "logging/logStream.hpp"
46 #include "memory/heapShared.hpp"
47 #include "memory/filemap.hpp"
48 #include "memory/metadataFactory.hpp"
49 #include "memory/metaspaceClosure.hpp"
50 #include "memory/metaspaceCounters.hpp"
51 #include "memory/metaspaceShared.hpp"
52 #include "memory/oopFactory.hpp"
53 #include "memory/resourceArea.hpp"
54 #include "memory/universe.hpp"
55 #include "oops/compressedOops.hpp"
56 #include "oops/constantPool.hpp"
57 #include "oops/instanceClassLoaderKlass.hpp"
58 #include "oops/instanceKlass.hpp"
59 #include "oops/instanceMirrorKlass.hpp"
60 #include "oops/instanceRefKlass.hpp"
61 #include "oops/objArrayOop.inline.hpp"
62 #include "oops/oop.inline.hpp"
63 #include "oops/oopHandle.inline.hpp"
64 #include "oops/typeArrayKlass.hpp"
65 #include "prims/resolvedMethodTable.hpp"
66 #include "runtime/arguments.hpp"
67 #include "runtime/atomic.hpp"
68 #include "runtime/deoptimization.hpp"
69 #include "runtime/flags/jvmFlagConstraintList.hpp"
70 #include "runtime/handles.inline.hpp"
71 #include "runtime/init.hpp"
72 #include "runtime/java.hpp"
73 #include "runtime/javaCalls.hpp"
74 #include "runtime/sharedRuntime.hpp"
75 #include "runtime/synchronizer.hpp"
76 #include "runtime/thread.inline.hpp"
77 #include "runtime/timerTrace.hpp"
78 #include "runtime/vmOperations.hpp"
79 #include "services/memoryService.hpp"
80 #include "utilities/align.hpp"
81 #include "utilities/autoRestore.hpp"
82 #include "utilities/copy.hpp"
83 #include "utilities/debug.hpp"
84 #include "utilities/events.hpp"
85 #include "utilities/formatBuffer.hpp"
86 #include "utilities/hashtable.inline.hpp"
87 #include "utilities/macros.hpp"
88 #include "utilities/ostream.hpp"
89 #include "utilities/preserveException.hpp"
90
91 // Known objects
92 Klass* Universe::_typeArrayKlassObjs[T_LONG+1] = { NULL /*, NULL...*/ };
93 Klass* Universe::_objectArrayKlassObj = NULL;
94 OopHandle Universe::_mirrors[T_VOID+1];
95
96 OopHandle Universe::_main_thread_group;
97 OopHandle Universe::_system_thread_group;
98 OopHandle Universe::_the_empty_class_array;
99 OopHandle Universe::_the_null_string;
100 OopHandle Universe::_the_min_jint_string;
101
102 OopHandle Universe::_the_null_sentinel;
103
104 // _out_of_memory_errors is an objArray
105 enum OutOfMemoryInstance { _oom_java_heap,
106 _oom_metaspace,
107 _oom_class_metaspace,
108 _oom_array_size,
109 _oom_gc_overhead_limit,
110 _oom_realloc_objects,
111 _oom_retry,
112 _oom_count };
113
114 OopHandle Universe::_out_of_memory_errors;
115 OopHandle Universe::_delayed_stack_overflow_error_message;
116 OopHandle Universe::_preallocated_out_of_memory_error_array;
117 volatile jint Universe::_preallocated_out_of_memory_error_avail_count = 0;
118
119 OopHandle Universe::_null_ptr_exception_instance;
120 OopHandle Universe::_arithmetic_exception_instance;
121 OopHandle Universe::_virtual_machine_error_instance;
122
123 oop Universe::_reference_pending_list = NULL;
124
125 Array<Klass*>* Universe::_the_array_interfaces_array = NULL;
126 LatestMethodCache* Universe::_finalizer_register_cache = NULL;
127 LatestMethodCache* Universe::_loader_addClass_cache = NULL;
128 LatestMethodCache* Universe::_throw_illegal_access_error_cache = NULL;
129 LatestMethodCache* Universe::_throw_no_such_method_error_cache = NULL;
130 LatestMethodCache* Universe::_do_stack_walk_cache = NULL;
131
132 bool Universe::_verify_in_progress = false;
133 long Universe::verify_flags = Universe::Verify_All;
134
135 Array<int>* Universe::_the_empty_int_array = NULL;
136 Array<u2>* Universe::_the_empty_short_array = NULL;
137 Array<Klass*>* Universe::_the_empty_klass_array = NULL;
138 Array<InstanceKlass*>* Universe::_the_empty_instance_klass_array = NULL;
139 Array<Method*>* Universe::_the_empty_method_array = NULL;
140
141 // These variables are guarded by FullGCALot_lock.
142 debug_only(OopHandle Universe::_fullgc_alot_dummy_array;)
143 debug_only(int Universe::_fullgc_alot_dummy_next = 0;)
144
145 // Heap
146 int Universe::_verify_count = 0;
147
148 // Oop verification (see MacroAssembler::verify_oop)
149 uintptr_t Universe::_verify_oop_mask = 0;
150 uintptr_t Universe::_verify_oop_bits = (uintptr_t) -1;
151
152 int Universe::_base_vtable_size = 0;
153 bool Universe::_bootstrapping = false;
154 bool Universe::_module_initialized = false;
155 bool Universe::_fully_initialized = false;
156
157 size_t Universe::_heap_capacity_at_last_gc;
158 size_t Universe::_heap_used_at_last_gc = 0;
159
160 OopStorage* Universe::_vm_weak = NULL;
161 OopStorage* Universe::_vm_global = NULL;
162
163 CollectedHeap* Universe::_collectedHeap = NULL;
164
165 objArrayOop Universe::the_empty_class_array () {
166 return (objArrayOop)_the_empty_class_array.resolve();
167 }
168
169 oop Universe::main_thread_group() { return _main_thread_group.resolve(); }
170 void Universe::set_main_thread_group(oop group) { _main_thread_group = OopHandle(vm_global(), group); }
171
172 oop Universe::system_thread_group() { return _system_thread_group.resolve(); }
173 void Universe::set_system_thread_group(oop group) { _system_thread_group = OopHandle(vm_global(), group); }
174
175 oop Universe::the_null_string() { return _the_null_string.resolve(); }
176 oop Universe::the_min_jint_string() { return _the_min_jint_string.resolve(); }
177
178 oop Universe::null_ptr_exception_instance() { return _null_ptr_exception_instance.resolve(); }
179 oop Universe::arithmetic_exception_instance() { return _arithmetic_exception_instance.resolve(); }
180 oop Universe::virtual_machine_error_instance() { return _virtual_machine_error_instance.resolve(); }
181
182 oop Universe::the_null_sentinel() { return _the_null_sentinel.resolve(); }
183
184 oop Universe::int_mirror() { return check_mirror(_mirrors[T_INT].resolve()); }
185 oop Universe::float_mirror() { return check_mirror(_mirrors[T_FLOAT].resolve()); }
186 oop Universe::double_mirror() { return check_mirror(_mirrors[T_DOUBLE].resolve()); }
187 oop Universe::byte_mirror() { return check_mirror(_mirrors[T_BYTE].resolve()); }
188 oop Universe::bool_mirror() { return check_mirror(_mirrors[T_BOOLEAN].resolve()); }
189 oop Universe::char_mirror() { return check_mirror(_mirrors[T_CHAR].resolve()); }
190 oop Universe::long_mirror() { return check_mirror(_mirrors[T_LONG].resolve()); }
191 oop Universe::short_mirror() { return check_mirror(_mirrors[T_SHORT].resolve()); }
192 oop Universe::void_mirror() { return check_mirror(_mirrors[T_VOID].resolve()); }
193
194 oop Universe::java_mirror(BasicType t) {
195 assert((uint)t < T_VOID+1, "range check");
196 return check_mirror(_mirrors[t].resolve());
197 }
198
199 // Used by CDS dumping
200 void Universe::replace_mirror(BasicType t, oop new_mirror) {
201 Universe::_mirrors[t].replace(new_mirror);
202 }
203
204 // Not sure why CDS has to do this
205 void Universe::clear_basic_type_mirrors() {
206 for (int i = T_BOOLEAN; i < T_VOID+1; i++) {
207 if (!is_reference_type((BasicType)i)) {
208 Universe::_mirrors[i].replace(NULL);
209 }
210 }
211 }
212
213 void Universe::basic_type_classes_do(void f(Klass*)) {
214 for (int i = T_BOOLEAN; i < T_LONG+1; i++) {
215 f(_typeArrayKlassObjs[i]);
216 }
217 }
218
219 void Universe::basic_type_classes_do(KlassClosure *closure) {
220 for (int i = T_BOOLEAN; i < T_LONG+1; i++) {
221 closure->do_klass(_typeArrayKlassObjs[i]);
222 }
223 }
224
225 void Universe::oops_do(OopClosure* f) {
226
227 f->do_oop(&_reference_pending_list);
228 ThreadsSMRSupport::exiting_threads_oops_do(f);
229 }
230
231 void LatestMethodCache::metaspace_pointers_do(MetaspaceClosure* it) {
232 it->push(&_klass);
233 }
234
235 void Universe::metaspace_pointers_do(MetaspaceClosure* it) {
236 for (int i = 0; i < T_LONG+1; i++) {
237 it->push(&_typeArrayKlassObjs[i]);
238 }
239 it->push(&_objectArrayKlassObj);
240
241 it->push(&_the_empty_int_array);
242 it->push(&_the_empty_short_array);
243 it->push(&_the_empty_klass_array);
244 it->push(&_the_empty_instance_klass_array);
245 it->push(&_the_empty_method_array);
246 it->push(&_the_array_interfaces_array);
247
248 _finalizer_register_cache->metaspace_pointers_do(it);
249 _loader_addClass_cache->metaspace_pointers_do(it);
250 _throw_illegal_access_error_cache->metaspace_pointers_do(it);
251 _throw_no_such_method_error_cache->metaspace_pointers_do(it);
252 _do_stack_walk_cache->metaspace_pointers_do(it);
253 }
254
255 // Temporary location for mirrors during CDS save/restore until OopHandlized
256 // GC doesn't need to know about this location.
257 oop oop_mirrors[T_VOID+1] = { NULL /* , NULL */};
258
259 // Reset oop mirrors to match gc-safe OopHandle mirrors, just before serialization
260 void Universe::write_primitive_type_mirrors(SerializeClosure* f) {
261 for (int i = T_BOOLEAN; i < T_VOID+1; i++) {
262 assert(DumpSharedSpaces, "should be dumping, what else?");
263 oop_mirrors[i] = _mirrors[i].resolve();
264 f->do_oop(&oop_mirrors[i]);
265 oop m = oop_mirrors[i];
266 if (m != NULL) { java_lang_Class::update_archived_primitive_mirror_native_pointers(m); }
267 }
268 }
269
270 void Universe::read_primitive_type_mirrors(SerializeClosure* f) {
271 for (int i = T_BOOLEAN; i < T_VOID+1; i++) {
272 f->do_oop(&oop_mirrors[i]);
273 oop m = oop_mirrors[i];
274 if (m != NULL) { java_lang_Class::update_archived_primitive_mirror_native_pointers(m); }
275 _mirrors[i] = OopHandle(vm_global(), oop_mirrors[i]);
276 oop_mirrors[i] = NULL; // not needed anymore
277 }
278 }
279
280 // Serialize metadata and pointers to primitive type mirrors in and out of CDS archive
281 void Universe::serialize(SerializeClosure* f) {
282
283 #if INCLUDE_CDS_JAVA_HEAP
284 if (f->reading()) {
285 // read oop mirrors locally and create OopHandles for mirror array
286 read_primitive_type_mirrors(f);
287 } else {
288 // copy oop mirrors to local array for writing
289 write_primitive_type_mirrors(f);
290 }
291 #endif
292
293 for (int i = 0; i < T_LONG+1; i++) {
294 f->do_ptr((void**)&_typeArrayKlassObjs[i]);
295 }
296
297 f->do_ptr((void**)&_objectArrayKlassObj);
298 f->do_ptr((void**)&_the_array_interfaces_array);
299 f->do_ptr((void**)&_the_empty_int_array);
300 f->do_ptr((void**)&_the_empty_short_array);
301 f->do_ptr((void**)&_the_empty_method_array);
302 f->do_ptr((void**)&_the_empty_klass_array);
303 f->do_ptr((void**)&_the_empty_instance_klass_array);
304 _finalizer_register_cache->serialize(f);
305 _loader_addClass_cache->serialize(f);
306 _throw_illegal_access_error_cache->serialize(f);
307 _throw_no_such_method_error_cache->serialize(f);
308 _do_stack_walk_cache->serialize(f);
309 }
310
311
312 void Universe::check_alignment(uintx size, uintx alignment, const char* name) {
313 if (size < alignment || size % alignment != 0) {
314 vm_exit_during_initialization(
315 err_msg("Size of %s (" UINTX_FORMAT " bytes) must be aligned to " UINTX_FORMAT " bytes", name, size, alignment));
316 }
317 }
318
319 void initialize_basic_type_klass(Klass* k, TRAPS) {
320 Klass* ok = SystemDictionary::Object_klass();
321 #if INCLUDE_CDS
322 if (UseSharedSpaces) {
323 ClassLoaderData* loader_data = ClassLoaderData::the_null_class_loader_data();
324 assert(k->super() == ok, "u3");
325 if (k->is_instance_klass()) {
326 InstanceKlass::cast(k)->restore_unshareable_info(loader_data, Handle(), NULL, CHECK);
327 } else {
328 ArrayKlass::cast(k)->restore_unshareable_info(loader_data, Handle(), CHECK);
329 }
330 } else
331 #endif
332 {
333 k->initialize_supers(ok, NULL, CHECK);
334 }
335 k->append_to_sibling_list();
336 }
337
338 void Universe::genesis(TRAPS) {
339 ResourceMark rm(THREAD);
340
341 { AutoModifyRestore<bool> temporarily(_bootstrapping, true);
342
343 { MutexLocker mc(THREAD, Compile_lock);
344
345 java_lang_Class::allocate_fixup_lists();
346
347 // determine base vtable size; without that we cannot create the array klasses
348 compute_base_vtable_size();
349
350 if (!UseSharedSpaces) {
351 for (int i = T_BOOLEAN; i < T_LONG+1; i++) {
352 _typeArrayKlassObjs[i] = TypeArrayKlass::create_klass((BasicType)i, CHECK);
353 }
354
355 ClassLoaderData* null_cld = ClassLoaderData::the_null_class_loader_data();
356
357 _the_array_interfaces_array = MetadataFactory::new_array<Klass*>(null_cld, 2, NULL, CHECK);
358 _the_empty_int_array = MetadataFactory::new_array<int>(null_cld, 0, CHECK);
359 _the_empty_short_array = MetadataFactory::new_array<u2>(null_cld, 0, CHECK);
360 _the_empty_method_array = MetadataFactory::new_array<Method*>(null_cld, 0, CHECK);
361 _the_empty_klass_array = MetadataFactory::new_array<Klass*>(null_cld, 0, CHECK);
362 _the_empty_instance_klass_array = MetadataFactory::new_array<InstanceKlass*>(null_cld, 0, CHECK);
363 }
364 }
365
366 vmSymbols::initialize(CHECK);
367
368 SystemDictionary::initialize(CHECK);
369
370 // Create string constants
371 oop s = StringTable::intern("null", CHECK);
372 _the_null_string = OopHandle(vm_global(), s);
373 s = StringTable::intern("-2147483648", CHECK);
374 _the_min_jint_string = OopHandle(vm_global(), s);
375
376
377 #if INCLUDE_CDS
378 if (UseSharedSpaces) {
379 // Verify shared interfaces array.
380 assert(_the_array_interfaces_array->at(0) ==
381 SystemDictionary::Cloneable_klass(), "u3");
382 assert(_the_array_interfaces_array->at(1) ==
383 SystemDictionary::Serializable_klass(), "u3");
384 } else
385 #endif
386 {
387 // Set up shared interfaces array. (Do this before supers are set up.)
388 _the_array_interfaces_array->at_put(0, SystemDictionary::Cloneable_klass());
389 _the_array_interfaces_array->at_put(1, SystemDictionary::Serializable_klass());
390 }
391
392 initialize_basic_type_klass(boolArrayKlassObj(), CHECK);
393 initialize_basic_type_klass(charArrayKlassObj(), CHECK);
394 initialize_basic_type_klass(floatArrayKlassObj(), CHECK);
395 initialize_basic_type_klass(doubleArrayKlassObj(), CHECK);
396 initialize_basic_type_klass(byteArrayKlassObj(), CHECK);
397 initialize_basic_type_klass(shortArrayKlassObj(), CHECK);
398 initialize_basic_type_klass(intArrayKlassObj(), CHECK);
399 initialize_basic_type_klass(longArrayKlassObj(), CHECK);
400 } // end of core bootstrapping
401
402 {
403 Handle tns = java_lang_String::create_from_str("<null_sentinel>", CHECK);
404 _the_null_sentinel = OopHandle(vm_global(), tns());
405 }
406
407 // Maybe this could be lifted up now that object array can be initialized
408 // during the bootstrapping.
409
410 // OLD
411 // Initialize _objectArrayKlass after core bootstraping to make
412 // sure the super class is set up properly for _objectArrayKlass.
413 // ---
414 // NEW
415 // Since some of the old system object arrays have been converted to
416 // ordinary object arrays, _objectArrayKlass will be loaded when
417 // SystemDictionary::initialize(CHECK); is run. See the extra check
418 // for Object_klass_loaded in objArrayKlassKlass::allocate_objArray_klass_impl.
419 _objectArrayKlassObj = InstanceKlass::
420 cast(SystemDictionary::Object_klass())->array_klass(1, CHECK);
421 // OLD
422 // Add the class to the class hierarchy manually to make sure that
423 // its vtable is initialized after core bootstrapping is completed.
424 // ---
425 // New
426 // Have already been initialized.
427 _objectArrayKlassObj->append_to_sibling_list();
428
429 #ifdef ASSERT
430 if (FullGCALot) {
431 // Allocate an array of dummy objects.
432 // We'd like these to be at the bottom of the old generation,
433 // so that when we free one and then collect,
434 // (almost) the whole heap moves
435 // and we find out if we actually update all the oops correctly.
436 // But we can't allocate directly in the old generation,
437 // so we allocate wherever, and hope that the first collection
438 // moves these objects to the bottom of the old generation.
439 int size = FullGCALotDummies * 2;
440
441 objArrayOop naked_array = oopFactory::new_objArray(SystemDictionary::Object_klass(), size, CHECK);
442 objArrayHandle dummy_array(THREAD, naked_array);
443 int i = 0;
444 while (i < size) {
445 // Allocate dummy in old generation
446 oop dummy = SystemDictionary::Object_klass()->allocate_instance(CHECK);
447 dummy_array->obj_at_put(i++, dummy);
448 }
449 {
450 // Only modify the global variable inside the mutex.
451 // If we had a race to here, the other dummy_array instances
452 // and their elements just get dropped on the floor, which is fine.
453 MutexLocker ml(THREAD, FullGCALot_lock);
454 if (_fullgc_alot_dummy_array.is_empty()) {
455 _fullgc_alot_dummy_array = OopHandle(vm_global(), dummy_array());
456 }
457 }
458 assert(i == ((objArrayOop)_fullgc_alot_dummy_array.resolve())->length(), "just checking");
459 }
460 #endif
461 }
462
463 #define ASSERT_MIRROR_NOT_NULL(m) \
464 assert(m != NULL, "archived mirrors should not be NULL");
465
466 void Universe::initialize_basic_type_mirrors(TRAPS) {
467 #if INCLUDE_CDS_JAVA_HEAP
468 if (UseSharedSpaces &&
469 HeapShared::open_archive_heap_region_mapped() &&
470 _mirrors[T_INT].resolve() != NULL) {
471 assert(HeapShared::is_heap_object_archiving_allowed(), "Sanity");
472
473 // check that all mirrors are mapped also
474 for (int i = T_BOOLEAN; i < T_VOID+1; i++) {
475 if (!is_reference_type((BasicType)i)) {
476 oop m = _mirrors[i].resolve();
477 assert(m != NULL, "archived mirrors should not be NULL");
478 }
479 }
480 } else
481 // _mirror[T_INT} could be NULL if archived heap is not mapped.
482 #endif
483 {
484 for (int i = T_BOOLEAN; i < T_VOID+1; i++) {
485 BasicType bt = (BasicType)i;
486 if (!is_reference_type(bt)) {
487 oop m = java_lang_Class::create_basic_type_mirror(type2name(bt), bt, CHECK);
488 _mirrors[i] = OopHandle(vm_global(), m);
489 }
490 }
491 }
492 }
493
494 void Universe::fixup_mirrors(TRAPS) {
495 // Bootstrap problem: all classes gets a mirror (java.lang.Class instance) assigned eagerly,
496 // but we cannot do that for classes created before java.lang.Class is loaded. Here we simply
497 // walk over permanent objects created so far (mostly classes) and fixup their mirrors. Note
498 // that the number of objects allocated at this point is very small.
499 assert(SystemDictionary::Class_klass_loaded(), "java.lang.Class should be loaded");
500 HandleMark hm(THREAD);
501
502 if (!UseSharedSpaces) {
503 // Cache the start of the static fields
504 InstanceMirrorKlass::init_offset_of_static_fields();
505 }
506
507 GrowableArray <Klass*>* list = java_lang_Class::fixup_mirror_list();
508 int list_length = list->length();
509 for (int i = 0; i < list_length; i++) {
510 Klass* k = list->at(i);
511 assert(k->is_klass(), "List should only hold classes");
512 EXCEPTION_MARK;
513 java_lang_Class::fixup_mirror(k, CATCH);
514 }
515 delete java_lang_Class::fixup_mirror_list();
516 java_lang_Class::set_fixup_mirror_list(NULL);
517 }
518
519 #define assert_pll_locked(test) \
520 assert(Heap_lock->test(), "Reference pending list access requires lock")
521
522 #define assert_pll_ownership() assert_pll_locked(owned_by_self)
523
524 oop Universe::reference_pending_list() {
525 if (Thread::current()->is_VM_thread()) {
526 assert_pll_locked(is_locked);
527 } else {
528 assert_pll_ownership();
529 }
530 return _reference_pending_list;
531 }
532
533 void Universe::clear_reference_pending_list() {
534 assert_pll_ownership();
535 _reference_pending_list = NULL;
536 }
537
538 bool Universe::has_reference_pending_list() {
539 assert_pll_ownership();
540 return _reference_pending_list != NULL;
541 }
542
543 oop Universe::swap_reference_pending_list(oop list) {
544 assert_pll_locked(is_locked);
545 return Atomic::xchg(&_reference_pending_list, list);
546 }
547
548 #undef assert_pll_locked
549 #undef assert_pll_ownership
550
551 void Universe::reinitialize_vtable_of(Klass* ko, TRAPS) {
552 // init vtable of k and all subclasses
553 ko->vtable().initialize_vtable(false, CHECK);
554 if (ko->is_instance_klass()) {
555 for (Klass* sk = ko->subklass();
556 sk != NULL;
557 sk = sk->next_sibling()) {
558 reinitialize_vtable_of(sk, CHECK);
559 }
560 }
561 }
562
563 void Universe::reinitialize_vtables(TRAPS) {
564 // The vtables are initialized by starting at java.lang.Object and
565 // initializing through the subclass links, so that the super
566 // classes are always initialized first.
567 Klass* ok = SystemDictionary::Object_klass();
568 Universe::reinitialize_vtable_of(ok, THREAD);
569 }
570
571
572 void initialize_itable_for_klass(InstanceKlass* k, TRAPS) {
573 k->itable().initialize_itable(false, CHECK);
574 }
575
576
577 void Universe::reinitialize_itables(TRAPS) {
578 MutexLocker mcld(THREAD, ClassLoaderDataGraph_lock);
579 ClassLoaderDataGraph::dictionary_classes_do(initialize_itable_for_klass, CHECK);
580 }
581
582
583 bool Universe::on_page_boundary(void* addr) {
584 return is_aligned(addr, os::vm_page_size());
585 }
586
587 // the array of preallocated errors with backtraces
588 objArrayOop Universe::preallocated_out_of_memory_errors() {
589 return (objArrayOop)_preallocated_out_of_memory_error_array.resolve();
590 }
591
592 objArrayOop Universe::out_of_memory_errors() { return (objArrayOop)_out_of_memory_errors.resolve(); }
593
594 oop Universe::out_of_memory_error_java_heap() {
595 return gen_out_of_memory_error(out_of_memory_errors()->obj_at(_oom_java_heap));
596 }
597
598 oop Universe::out_of_memory_error_metaspace() {
599 return gen_out_of_memory_error(out_of_memory_errors()->obj_at(_oom_metaspace));
600 }
601
602 oop Universe::out_of_memory_error_class_metaspace() {
603 return gen_out_of_memory_error(out_of_memory_errors()->obj_at(_oom_class_metaspace));
604 }
605
606 oop Universe::out_of_memory_error_array_size() {
607 return gen_out_of_memory_error(out_of_memory_errors()->obj_at(_oom_array_size));
608 }
609
610 oop Universe::out_of_memory_error_gc_overhead_limit() {
611 return gen_out_of_memory_error(out_of_memory_errors()->obj_at(_oom_gc_overhead_limit));
612 }
613
614 oop Universe::out_of_memory_error_realloc_objects() {
615 return gen_out_of_memory_error(out_of_memory_errors()->obj_at(_oom_realloc_objects));
616 }
617
618 // Throw default _out_of_memory_error_retry object as it will never propagate out of the VM
619 oop Universe::out_of_memory_error_retry() { return out_of_memory_errors()->obj_at(_oom_retry); }
620 oop Universe::delayed_stack_overflow_error_message() { return _delayed_stack_overflow_error_message.resolve(); }
621
622
623 bool Universe::should_fill_in_stack_trace(Handle throwable) {
624 // never attempt to fill in the stack trace of preallocated errors that do not have
625 // backtrace. These errors are kept alive forever and may be "re-used" when all
626 // preallocated errors with backtrace have been consumed. Also need to avoid
627 // a potential loop which could happen if an out of memory occurs when attempting
628 // to allocate the backtrace.
629 objArrayOop preallocated_oom = out_of_memory_errors();
630 for (int i = 0; i < _oom_count; i++) {
631 if (throwable() == preallocated_oom->obj_at(i)) {
632 return false;
633 }
634 }
635 return true;
636 }
637
638
639 oop Universe::gen_out_of_memory_error(oop default_err) {
640 // generate an out of memory error:
641 // - if there is a preallocated error and stack traces are available
642 // (j.l.Throwable is initialized), then return the preallocated
643 // error with a filled in stack trace, and with the message
644 // provided by the default error.
645 // - otherwise, return the default error, without a stack trace.
646 int next;
647 if ((_preallocated_out_of_memory_error_avail_count > 0) &&
648 SystemDictionary::Throwable_klass()->is_initialized()) {
649 next = (int)Atomic::add(&_preallocated_out_of_memory_error_avail_count, -1);
650 assert(next < (int)PreallocatedOutOfMemoryErrorCount, "avail count is corrupt");
651 } else {
652 next = -1;
653 }
654 if (next < 0) {
655 // all preallocated errors have been used.
656 // return default
657 return default_err;
658 } else {
659 Thread* THREAD = Thread::current();
660 Handle default_err_h(THREAD, default_err);
661 // get the error object at the slot and set set it to NULL so that the
662 // array isn't keeping it alive anymore.
663 Handle exc(THREAD, preallocated_out_of_memory_errors()->obj_at(next));
664 assert(exc() != NULL, "slot has been used already");
665 preallocated_out_of_memory_errors()->obj_at_put(next, NULL);
666
667 // use the message from the default error
668 oop msg = java_lang_Throwable::message(default_err_h());
669 assert(msg != NULL, "no message");
670 java_lang_Throwable::set_message(exc(), msg);
671
672 // populate the stack trace and return it.
673 java_lang_Throwable::fill_in_stack_trace_of_preallocated_backtrace(exc);
674 return exc();
675 }
676 }
677
678 // Setup preallocated OutOfMemoryError errors
679 void Universe::create_preallocated_out_of_memory_errors(TRAPS) {
680 InstanceKlass* ik = SystemDictionary::OutOfMemoryError_klass();
681 objArrayOop oa = oopFactory::new_objArray(ik, _oom_count, CHECK);
682 objArrayHandle oom_array(THREAD, oa);
683
684 for (int i = 0; i < _oom_count; i++) {
685 oop oom_obj = ik->allocate_instance(CHECK);
686 oom_array->obj_at_put(i, oom_obj);
687 }
688 _out_of_memory_errors = OopHandle(vm_global(), oom_array());
689
690 Handle msg = java_lang_String::create_from_str("Java heap space", CHECK);
691 java_lang_Throwable::set_message(oom_array->obj_at(_oom_java_heap), msg());
692
693 msg = java_lang_String::create_from_str("Metaspace", CHECK);
694 java_lang_Throwable::set_message(oom_array->obj_at(_oom_metaspace), msg());
695
696 msg = java_lang_String::create_from_str("Compressed class space", CHECK);
697 java_lang_Throwable::set_message(oom_array->obj_at(_oom_class_metaspace), msg());
698
699 msg = java_lang_String::create_from_str("Requested array size exceeds VM limit", CHECK);
700 java_lang_Throwable::set_message(oom_array->obj_at(_oom_array_size), msg());
701
702 msg = java_lang_String::create_from_str("GC overhead limit exceeded", CHECK);
703 java_lang_Throwable::set_message(oom_array->obj_at(_oom_gc_overhead_limit), msg());
704
705 msg = java_lang_String::create_from_str("Java heap space: failed reallocation of scalar replaced objects", CHECK);
706 java_lang_Throwable::set_message(oom_array->obj_at(_oom_realloc_objects), msg());
707
708 msg = java_lang_String::create_from_str("Java heap space: failed retryable allocation", CHECK);
709 java_lang_Throwable::set_message(oom_array->obj_at(_oom_retry), msg());
710
711 // Setup the array of errors that have preallocated backtrace
712 int len = (StackTraceInThrowable) ? (int)PreallocatedOutOfMemoryErrorCount : 0;
713 objArrayOop instance = oopFactory::new_objArray(ik, len, CHECK);
714 _preallocated_out_of_memory_error_array = OopHandle(vm_global(), instance);
715 objArrayHandle preallocated_oom_array(THREAD, instance);
716
717 for (int i=0; i<len; i++) {
718 oop err = ik->allocate_instance(CHECK);
719 Handle err_h(THREAD, err);
720 java_lang_Throwable::allocate_backtrace(err_h, CHECK);
721 preallocated_oom_array->obj_at_put(i, err_h());
722 }
723 _preallocated_out_of_memory_error_avail_count = (jint)len;
724 }
725
726 intptr_t Universe::_non_oop_bits = 0;
727
728 void* Universe::non_oop_word() {
729 // Neither the high bits nor the low bits of this value is allowed
730 // to look like (respectively) the high or low bits of a real oop.
731 //
732 // High and low are CPU-specific notions, but low always includes
733 // the low-order bit. Since oops are always aligned at least mod 4,
734 // setting the low-order bit will ensure that the low half of the
735 // word will never look like that of a real oop.
736 //
737 // Using the OS-supplied non-memory-address word (usually 0 or -1)
738 // will take care of the high bits, however many there are.
739
740 if (_non_oop_bits == 0) {
741 _non_oop_bits = (intptr_t)os::non_memory_address_word() | 1;
742 }
743
744 return (void*)_non_oop_bits;
745 }
746
747 static void initialize_global_behaviours() {
748 CompiledICProtectionBehaviour::set_current(new DefaultICProtectionBehaviour());
749 }
750
751 jint universe_init() {
752 assert(!Universe::_fully_initialized, "called after initialize_vtables");
753 guarantee(1 << LogHeapWordSize == sizeof(HeapWord),
754 "LogHeapWordSize is incorrect.");
755 guarantee(sizeof(oop) >= sizeof(HeapWord), "HeapWord larger than oop?");
756 guarantee(sizeof(oop) % sizeof(HeapWord) == 0,
757 "oop size is not not a multiple of HeapWord size");
758
759 TraceTime timer("Genesis", TRACETIME_LOG(Info, startuptime));
760
761 initialize_global_behaviours();
762
763 GCLogPrecious::initialize();
764
765 GCConfig::arguments()->initialize_heap_sizes();
766
767 jint status = Universe::initialize_heap();
768 if (status != JNI_OK) {
769 return status;
770 }
771
772 Universe::initialize_tlab();
773
774 Metaspace::global_initialize();
775
776 // Initialize performance counters for metaspaces
777 MetaspaceCounters::initialize_performance_counters();
778 CompressedClassSpaceCounters::initialize_performance_counters();
779
780 AOTLoader::universe_init();
781
782 // Checks 'AfterMemoryInit' constraints.
783 if (!JVMFlagConstraintList::check_constraints(JVMFlagConstraint::AfterMemoryInit)) {
784 return JNI_EINVAL;
785 }
786
787 // Create memory for metadata. Must be after initializing heap for
788 // DumpSharedSpaces.
789 ClassLoaderData::init_null_class_loader_data();
790
791 // We have a heap so create the Method* caches before
792 // Metaspace::initialize_shared_spaces() tries to populate them.
793 Universe::_finalizer_register_cache = new LatestMethodCache();
794 Universe::_loader_addClass_cache = new LatestMethodCache();
795 Universe::_throw_illegal_access_error_cache = new LatestMethodCache();
796 Universe::_throw_no_such_method_error_cache = new LatestMethodCache();
797 Universe::_do_stack_walk_cache = new LatestMethodCache();
798
799 #if INCLUDE_CDS
800 if (UseSharedSpaces) {
801 // Read the data structures supporting the shared spaces (shared
802 // system dictionary, symbol table, etc.). After that, access to
803 // the file (other than the mapped regions) is no longer needed, and
804 // the file is closed. Closing the file does not affect the
805 // currently mapped regions.
806 MetaspaceShared::initialize_shared_spaces();
807 StringTable::create_table();
808 } else
809 #endif
810 {
811 SymbolTable::create_table();
812 StringTable::create_table();
813 }
814
815 #if INCLUDE_CDS
816 if (Arguments::is_dumping_archive()) {
817 MetaspaceShared::prepare_for_dumping();
818 }
819 #endif
820
821 if (strlen(VerifySubSet) > 0) {
822 Universe::initialize_verify_flags();
823 }
824
825 ResolvedMethodTable::create_table();
826
827 return JNI_OK;
828 }
829
830 jint Universe::initialize_heap() {
831 assert(_collectedHeap == NULL, "Heap already created");
832 _collectedHeap = GCConfig::arguments()->create_heap();
833
834 log_info(gc)("Using %s", _collectedHeap->name());
835 return _collectedHeap->initialize();
836 }
837
838 void Universe::initialize_tlab() {
839 ThreadLocalAllocBuffer::set_max_size(Universe::heap()->max_tlab_size());
840 if (UseTLAB) {
841 assert(Universe::heap()->supports_tlab_allocation(),
842 "Should support thread-local allocation buffers");
843 ThreadLocalAllocBuffer::startup_initialization();
844 }
845 }
846
847 ReservedHeapSpace Universe::reserve_heap(size_t heap_size, size_t alignment) {
848
849 assert(alignment <= Arguments::conservative_max_heap_alignment(),
850 "actual alignment " SIZE_FORMAT " must be within maximum heap alignment " SIZE_FORMAT,
851 alignment, Arguments::conservative_max_heap_alignment());
852
853 size_t total_reserved = align_up(heap_size, alignment);
854 assert(!UseCompressedOops || (total_reserved <= (OopEncodingHeapMax - os::vm_page_size())),
855 "heap size is too big for compressed oops");
856
857 bool use_large_pages = UseLargePages && is_aligned(alignment, os::large_page_size());
858 assert(!UseLargePages
859 || UseParallelGC
860 || use_large_pages, "Wrong alignment to use large pages");
861
862 // Now create the space.
863 ReservedHeapSpace total_rs(total_reserved, alignment, use_large_pages, AllocateHeapAt);
864
865 if (total_rs.is_reserved()) {
866 assert((total_reserved == total_rs.size()) && ((uintptr_t)total_rs.base() % alignment == 0),
867 "must be exactly of required size and alignment");
868 // We are good.
869
870 if (AllocateHeapAt != NULL) {
871 log_info(gc,heap)("Successfully allocated Java heap at location %s", AllocateHeapAt);
872 }
873
874 if (UseCompressedOops) {
875 CompressedOops::initialize(total_rs);
876 }
877
878 Universe::calculate_verify_data((HeapWord*)total_rs.base(), (HeapWord*)total_rs.end());
879
880 return total_rs;
881 }
882
883 vm_exit_during_initialization(
884 err_msg("Could not reserve enough space for " SIZE_FORMAT "KB object heap",
885 total_reserved/K));
886
887 // satisfy compiler
888 ShouldNotReachHere();
889 return ReservedHeapSpace(0, 0, false);
890 }
891
892
893 // It's the caller's responsibility to ensure glitch-freedom
894 // (if required).
895 void Universe::update_heap_info_at_gc() {
896 _heap_capacity_at_last_gc = heap()->capacity();
897 _heap_used_at_last_gc = heap()->used();
898 }
899
900 OopStorage* Universe::vm_weak() {
901 return Universe::_vm_weak;
902 }
903
904 OopStorage* Universe::vm_global() {
905 return Universe::_vm_global;
906 }
907
908 void Universe::oopstorage_init() {
909 Universe::_vm_global = OopStorageSet::create_strong("VM Global");
910 Universe::_vm_weak = OopStorageSet::create_weak("VM Weak");
911 }
912
913 void universe_oopstorage_init() {
914 Universe::oopstorage_init();
915 }
916
917 void initialize_known_method(LatestMethodCache* method_cache,
918 InstanceKlass* ik,
919 const char* method,
920 Symbol* signature,
921 bool is_static, TRAPS)
922 {
923 TempNewSymbol name = SymbolTable::new_symbol(method);
924 Method* m = NULL;
925 // The klass must be linked before looking up the method.
926 if (!ik->link_class_or_fail(THREAD) ||
927 ((m = ik->find_method(name, signature)) == NULL) ||
928 is_static != m->is_static()) {
929 ResourceMark rm(THREAD);
930 // NoSuchMethodException doesn't actually work because it tries to run the
931 // <init> function before java_lang_Class is linked. Print error and exit.
932 vm_exit_during_initialization(err_msg("Unable to link/verify %s.%s method",
933 ik->name()->as_C_string(), method));
934 }
935 method_cache->init(ik, m);
936 }
937
938 void Universe::initialize_known_methods(TRAPS) {
939 // Set up static method for registering finalizers
940 initialize_known_method(_finalizer_register_cache,
941 SystemDictionary::Finalizer_klass(),
942 "register",
943 vmSymbols::object_void_signature(), true, CHECK);
944
945 initialize_known_method(_throw_illegal_access_error_cache,
946 SystemDictionary::internal_Unsafe_klass(),
947 "throwIllegalAccessError",
948 vmSymbols::void_method_signature(), true, CHECK);
949
950 initialize_known_method(_throw_no_such_method_error_cache,
951 SystemDictionary::internal_Unsafe_klass(),
952 "throwNoSuchMethodError",
953 vmSymbols::void_method_signature(), true, CHECK);
954
955 // Set up method for registering loaded classes in class loader vector
956 initialize_known_method(_loader_addClass_cache,
957 SystemDictionary::ClassLoader_klass(),
958 "addClass",
959 vmSymbols::class_void_signature(), false, CHECK);
960
961 // Set up method for stack walking
962 initialize_known_method(_do_stack_walk_cache,
963 SystemDictionary::AbstractStackWalker_klass(),
964 "doStackWalk",
965 vmSymbols::doStackWalk_signature(), false, CHECK);
966 }
967
968 void universe2_init() {
969 EXCEPTION_MARK;
970 Universe::genesis(CATCH);
971 }
972
973 // Set after initialization of the module runtime, call_initModuleRuntime
974 void universe_post_module_init() {
975 Universe::_module_initialized = true;
976 }
977
978 bool universe_post_init() {
979 assert(!is_init_completed(), "Error: initialization not yet completed!");
980 Universe::_fully_initialized = true;
981 EXCEPTION_MARK;
982 if (!UseSharedSpaces) {
983 ResourceMark rm;
984 Universe::reinitialize_vtables(CHECK_false);
985 Universe::reinitialize_itables(CHECK_false);
986 }
987
988 HandleMark hm(THREAD);
989 // Setup preallocated empty java.lang.Class array for Method reflection.
990
991 objArrayOop the_empty_class_array = oopFactory::new_objArray(SystemDictionary::Class_klass(), 0, CHECK_false);
992 Universe::_the_empty_class_array = OopHandle(Universe::vm_global(), the_empty_class_array);
993
994 // Setup preallocated OutOfMemoryError errors
995 Universe::create_preallocated_out_of_memory_errors(CHECK_false);
996
997 oop instance;
998 // Setup preallocated cause message for delayed StackOverflowError
999 if (StackReservedPages > 0) {
1000 instance = java_lang_String::create_oop_from_str("Delayed StackOverflowError due to ReservedStackAccess annotated method", CHECK_false);
1001 Universe::_delayed_stack_overflow_error_message = OopHandle(Universe::vm_global(), instance);
1002 }
1003
1004 // Setup preallocated NullPointerException
1005 // (this is currently used for a cheap & dirty solution in compiler exception handling)
1006 Klass* k = SystemDictionary::resolve_or_fail(vmSymbols::java_lang_NullPointerException(), true, CHECK_false);
1007 instance = InstanceKlass::cast(k)->allocate_instance(CHECK_false);
1008 Universe::_null_ptr_exception_instance = OopHandle(Universe::vm_global(), instance);
1009
1010 // Setup preallocated ArithmeticException
1011 // (this is currently used for a cheap & dirty solution in compiler exception handling)
1012 k = SystemDictionary::resolve_or_fail(vmSymbols::java_lang_ArithmeticException(), true, CHECK_false);
1013 instance = InstanceKlass::cast(k)->allocate_instance(CHECK_false);
1014 Universe::_arithmetic_exception_instance = OopHandle(Universe::vm_global(), instance);
1015
1016 // Virtual Machine Error for when we get into a situation we can't resolve
1017 k = SystemDictionary::VirtualMachineError_klass();
1018 bool linked = InstanceKlass::cast(k)->link_class_or_fail(CHECK_false);
1019 if (!linked) {
1020 tty->print_cr("Unable to link/verify VirtualMachineError class");
1021 return false; // initialization failed
1022 }
1023 instance = InstanceKlass::cast(k)->allocate_instance(CHECK_false);
1024 Universe::_virtual_machine_error_instance = OopHandle(Universe::vm_global(), instance);
1025
1026 Handle msg = java_lang_String::create_from_str("/ by zero", CHECK_false);
1027 java_lang_Throwable::set_message(Universe::arithmetic_exception_instance(), msg());
1028
1029
1030 Universe::initialize_known_methods(CHECK_false);
1031
1032 // This needs to be done before the first scavenge/gc, since
1033 // it's an input to soft ref clearing policy.
1034 {
1035 MutexLocker x(THREAD, Heap_lock);
1036 Universe::update_heap_info_at_gc();
1037 }
1038
1039 // ("weak") refs processing infrastructure initialization
1040 Universe::heap()->post_initialize();
1041
1042 MemoryService::add_metaspace_memory_pools();
1043
1044 MemoryService::set_universe_heap(Universe::heap());
1045 #if INCLUDE_CDS
1046 MetaspaceShared::post_initialize(CHECK_false);
1047 #endif
1048 return true;
1049 }
1050
1051
1052 void Universe::compute_base_vtable_size() {
1053 _base_vtable_size = ClassLoader::compute_Object_vtable();
1054 }
1055
1056 void Universe::print_on(outputStream* st) {
1057 GCMutexLocker hl(Heap_lock); // Heap_lock might be locked by caller thread.
1058 st->print_cr("Heap");
1059 heap()->print_on(st);
1060 }
1061
1062 void Universe::print_heap_at_SIGBREAK() {
1063 if (PrintHeapAtSIGBREAK) {
1064 print_on(tty);
1065 tty->cr();
1066 tty->flush();
1067 }
1068 }
1069
1070 void Universe::print_heap_before_gc() {
1071 LogTarget(Debug, gc, heap) lt;
1072 if (lt.is_enabled()) {
1073 LogStream ls(lt);
1074 ls.print("Heap before GC invocations=%u (full %u):", heap()->total_collections(), heap()->total_full_collections());
1075 ResourceMark rm;
1076 heap()->print_on(&ls);
1077 }
1078 }
1079
1080 void Universe::print_heap_after_gc() {
1081 LogTarget(Debug, gc, heap) lt;
1082 if (lt.is_enabled()) {
1083 LogStream ls(lt);
1084 ls.print("Heap after GC invocations=%u (full %u):", heap()->total_collections(), heap()->total_full_collections());
1085 ResourceMark rm;
1086 heap()->print_on(&ls);
1087 }
1088 }
1089
1090 void Universe::initialize_verify_flags() {
1091 verify_flags = 0;
1092 const char delimiter[] = " ,";
1093
1094 size_t length = strlen(VerifySubSet);
1095 char* subset_list = NEW_C_HEAP_ARRAY(char, length + 1, mtInternal);
1096 strncpy(subset_list, VerifySubSet, length + 1);
1097 char* save_ptr;
1098
1099 char* token = strtok_r(subset_list, delimiter, &save_ptr);
1100 while (token != NULL) {
1101 if (strcmp(token, "threads") == 0) {
1102 verify_flags |= Verify_Threads;
1103 } else if (strcmp(token, "heap") == 0) {
1104 verify_flags |= Verify_Heap;
1105 } else if (strcmp(token, "symbol_table") == 0) {
1106 verify_flags |= Verify_SymbolTable;
1107 } else if (strcmp(token, "string_table") == 0) {
1108 verify_flags |= Verify_StringTable;
1109 } else if (strcmp(token, "codecache") == 0) {
1110 verify_flags |= Verify_CodeCache;
1111 } else if (strcmp(token, "dictionary") == 0) {
1112 verify_flags |= Verify_SystemDictionary;
1113 } else if (strcmp(token, "classloader_data_graph") == 0) {
1114 verify_flags |= Verify_ClassLoaderDataGraph;
1115 } else if (strcmp(token, "metaspace") == 0) {
1116 verify_flags |= Verify_MetaspaceUtils;
1117 } else if (strcmp(token, "jni_handles") == 0) {
1118 verify_flags |= Verify_JNIHandles;
1119 } else if (strcmp(token, "codecache_oops") == 0) {
1120 verify_flags |= Verify_CodeCacheOops;
1121 } else if (strcmp(token, "resolved_method_table") == 0) {
1122 verify_flags |= Verify_ResolvedMethodTable;
1123 } else {
1124 vm_exit_during_initialization(err_msg("VerifySubSet: \'%s\' memory sub-system is unknown, please correct it", token));
1125 }
1126 token = strtok_r(NULL, delimiter, &save_ptr);
1127 }
1128 FREE_C_HEAP_ARRAY(char, subset_list);
1129 }
1130
1131 bool Universe::should_verify_subset(uint subset) {
1132 if (verify_flags & subset) {
1133 return true;
1134 }
1135 return false;
1136 }
1137
1138 void Universe::verify(VerifyOption option, const char* prefix) {
1139 // The use of _verify_in_progress is a temporary work around for
1140 // 6320749. Don't bother with a creating a class to set and clear
1141 // it since it is only used in this method and the control flow is
1142 // straight forward.
1143 _verify_in_progress = true;
1144
1145 COMPILER2_PRESENT(
1146 assert(!DerivedPointerTable::is_active(),
1147 "DPT should not be active during verification "
1148 "(of thread stacks below)");
1149 )
1150
1151 ResourceMark rm;
1152 HandleMark hm; // Handles created during verification can be zapped
1153 _verify_count++;
1154
1155 FormatBuffer<> title("Verifying %s", prefix);
1156 GCTraceTime(Info, gc, verify) tm(title.buffer());
1157 if (should_verify_subset(Verify_Threads)) {
1158 log_debug(gc, verify)("Threads");
1159 Threads::verify();
1160 }
1161 if (should_verify_subset(Verify_Heap)) {
1162 log_debug(gc, verify)("Heap");
1163 heap()->verify(option);
1164 }
1165 if (should_verify_subset(Verify_SymbolTable)) {
1166 log_debug(gc, verify)("SymbolTable");
1167 SymbolTable::verify();
1168 }
1169 if (should_verify_subset(Verify_StringTable)) {
1170 log_debug(gc, verify)("StringTable");
1171 StringTable::verify();
1172 }
1173 if (should_verify_subset(Verify_CodeCache)) {
1174 {
1175 MutexLocker mu(CodeCache_lock, Mutex::_no_safepoint_check_flag);
1176 log_debug(gc, verify)("CodeCache");
1177 CodeCache::verify();
1178 }
1179 }
1180 if (should_verify_subset(Verify_SystemDictionary)) {
1181 log_debug(gc, verify)("SystemDictionary");
1182 SystemDictionary::verify();
1183 }
1184 if (should_verify_subset(Verify_ClassLoaderDataGraph)) {
1185 log_debug(gc, verify)("ClassLoaderDataGraph");
1186 ClassLoaderDataGraph::verify();
1187 }
1188 if (should_verify_subset(Verify_MetaspaceUtils)) {
1189 log_debug(gc, verify)("MetaspaceUtils");
1190 MetaspaceUtils::verify_free_chunks();
1191 }
1192 if (should_verify_subset(Verify_JNIHandles)) {
1193 log_debug(gc, verify)("JNIHandles");
1194 JNIHandles::verify();
1195 }
1196 if (should_verify_subset(Verify_CodeCacheOops)) {
1197 log_debug(gc, verify)("CodeCache Oops");
1198 CodeCache::verify_oops();
1199 }
1200 if (should_verify_subset(Verify_ResolvedMethodTable)) {
1201 log_debug(gc, verify)("ResolvedMethodTable Oops");
1202 ResolvedMethodTable::verify();
1203 }
1204
1205 _verify_in_progress = false;
1206 }
1207
1208
1209 #ifndef PRODUCT
1210 void Universe::calculate_verify_data(HeapWord* low_boundary, HeapWord* high_boundary) {
1211 assert(low_boundary < high_boundary, "bad interval");
1212
1213 // decide which low-order bits we require to be clear:
1214 size_t alignSize = MinObjAlignmentInBytes;
1215 size_t min_object_size = CollectedHeap::min_fill_size();
1216
1217 // make an inclusive limit:
1218 uintptr_t max = (uintptr_t)high_boundary - min_object_size*wordSize;
1219 uintptr_t min = (uintptr_t)low_boundary;
1220 assert(min < max, "bad interval");
1221 uintptr_t diff = max ^ min;
1222
1223 // throw away enough low-order bits to make the diff vanish
1224 uintptr_t mask = (uintptr_t)(-1);
1225 while ((mask & diff) != 0)
1226 mask <<= 1;
1227 uintptr_t bits = (min & mask);
1228 assert(bits == (max & mask), "correct mask");
1229 // check an intermediate value between min and max, just to make sure:
1230 assert(bits == ((min + (max-min)/2) & mask), "correct mask");
1231
1232 // require address alignment, too:
1233 mask |= (alignSize - 1);
1234
1235 if (!(_verify_oop_mask == 0 && _verify_oop_bits == (uintptr_t)-1)) {
1236 assert(_verify_oop_mask == mask && _verify_oop_bits == bits, "mask stability");
1237 }
1238 _verify_oop_mask = mask;
1239 _verify_oop_bits = bits;
1240 }
1241
1242 // Oop verification (see MacroAssembler::verify_oop)
1243
1244 uintptr_t Universe::verify_oop_mask() {
1245 return _verify_oop_mask;
1246 }
1247
1248 uintptr_t Universe::verify_oop_bits() {
1249 return _verify_oop_bits;
1250 }
1251
1252 uintptr_t Universe::verify_mark_mask() {
1253 return markWord::lock_mask_in_place;
1254 }
1255
1256 uintptr_t Universe::verify_mark_bits() {
1257 intptr_t mask = verify_mark_mask();
1258 intptr_t bits = (intptr_t)markWord::prototype().value();
1259 assert((bits & ~mask) == 0, "no stray header bits");
1260 return bits;
1261 }
1262 #endif // PRODUCT
1263
1264
1265 void LatestMethodCache::init(Klass* k, Method* m) {
1266 if (!UseSharedSpaces) {
1267 _klass = k;
1268 }
1269 #ifndef PRODUCT
1270 else {
1271 // sharing initilization should have already set up _klass
1272 assert(_klass != NULL, "just checking");
1273 }
1274 #endif
1275
1276 _method_idnum = m->method_idnum();
1277 assert(_method_idnum >= 0, "sanity check");
1278 }
1279
1280
1281 Method* LatestMethodCache::get_method() {
1282 if (klass() == NULL) return NULL;
1283 InstanceKlass* ik = InstanceKlass::cast(klass());
1284 Method* m = ik->method_with_idnum(method_idnum());
1285 assert(m != NULL, "sanity check");
1286 return m;
1287 }
1288
1289
1290 #ifdef ASSERT
1291 // Release dummy object(s) at bottom of heap
1292 bool Universe::release_fullgc_alot_dummy() {
1293 MutexLocker ml(FullGCALot_lock);
1294 objArrayOop fullgc_alot_dummy_array = (objArrayOop)_fullgc_alot_dummy_array.resolve();
1295 if (fullgc_alot_dummy_array != NULL) {
1296 if (_fullgc_alot_dummy_next >= fullgc_alot_dummy_array->length()) {
1297 // No more dummies to release, release entire array instead
1298 _fullgc_alot_dummy_array.release(Universe::vm_global());
1299 return false;
1300 }
1301
1302 // Release dummy at bottom of old generation
1303 fullgc_alot_dummy_array->obj_at_put(_fullgc_alot_dummy_next++, NULL);
1304 }
1305 return true;
1306 }
1307
1308 #endif // ASSERT