| 1 | /* |
| 2 | * Copyright (c) 1997, 2019, 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 | #ifndef SHARE_MEMORY_UNIVERSE_HPP |
| 26 | #define SHARE_MEMORY_UNIVERSE_HPP |
| 27 | |
| 28 | #include "gc/shared/verifyOption.hpp" |
| 29 | #include "oops/array.hpp" |
| 30 | #include "runtime/handles.hpp" |
| 31 | #include "utilities/growableArray.hpp" |
| 32 | |
| 33 | // Universe is a name space holding known system classes and objects in the VM. |
| 34 | // |
| 35 | // Loaded classes are accessible through the SystemDictionary. |
| 36 | // |
| 37 | // The object heap is allocated and accessed through Universe, and various allocation |
| 38 | // support is provided. Allocation by the interpreter and compiled code is done inline |
| 39 | // and bails out to Scavenge::invoke_and_allocate. |
| 40 | |
| 41 | class CollectedHeap; |
| 42 | class DeferredObjAllocEvent; |
| 43 | |
| 44 | |
| 45 | // A helper class for caching a Method* when the user of the cache |
| 46 | // only cares about the latest version of the Method*. This cache safely |
| 47 | // interacts with the RedefineClasses API. |
| 48 | |
| 49 | class LatestMethodCache : public CHeapObj<mtClass> { |
| 50 | // We save the Klass* and the idnum of Method* in order to get |
| 51 | // the current cached Method*. |
| 52 | private: |
| 53 | Klass* _klass; |
| 54 | int _method_idnum; |
| 55 | |
| 56 | public: |
| 57 | LatestMethodCache() { _klass = NULL; _method_idnum = -1; } |
| 58 | ~LatestMethodCache() { _klass = NULL; _method_idnum = -1; } |
| 59 | |
| 60 | void init(Klass* k, Method* m); |
| 61 | Klass* klass() const { return _klass; } |
| 62 | int method_idnum() const { return _method_idnum; } |
| 63 | |
| 64 | Method* get_method(); |
| 65 | |
| 66 | // CDS support. Replace the klass in this with the archive version |
| 67 | // could use this for Enhanced Class Redefinition also. |
| 68 | void serialize(SerializeClosure* f) { |
| 69 | f->do_ptr((void**)&_klass); |
| 70 | } |
| 71 | void metaspace_pointers_do(MetaspaceClosure* it); |
| 72 | }; |
| 73 | |
| 74 | class Universe: AllStatic { |
| 75 | // Ugh. Universe is much too friendly. |
| 76 | friend class MarkSweep; |
| 77 | friend class oopDesc; |
| 78 | friend class ClassLoader; |
| 79 | friend class SystemDictionary; |
| 80 | friend class ReservedHeapSpace; |
| 81 | friend class VMStructs; |
| 82 | friend class VM_PopulateDumpSharedSpace; |
| 83 | friend class Metaspace; |
| 84 | friend class MetaspaceShared; |
| 85 | |
| 86 | friend jint universe_init(); |
| 87 | friend void universe2_init(); |
| 88 | friend bool universe_post_init(); |
| 89 | friend void universe_post_module_init(); |
| 90 | |
| 91 | private: |
| 92 | // Known classes in the VM |
| 93 | static Klass* _typeArrayKlassObjs[T_LONG+1]; |
| 94 | static Klass* _objectArrayKlassObj; |
| 95 | |
| 96 | // Known objects in the VM |
| 97 | |
| 98 | // Primitive objects |
| 99 | static oop _int_mirror; |
| 100 | static oop _float_mirror; |
| 101 | static oop _double_mirror; |
| 102 | static oop _byte_mirror; |
| 103 | static oop _bool_mirror; |
| 104 | static oop _char_mirror; |
| 105 | static oop _long_mirror; |
| 106 | static oop _short_mirror; |
| 107 | static oop _void_mirror; |
| 108 | |
| 109 | static oop _main_thread_group; // Reference to the main thread group object |
| 110 | static oop _system_thread_group; // Reference to the system thread group object |
| 111 | |
| 112 | static objArrayOop _the_empty_class_klass_array; // Canonicalized obj array of type java.lang.Class |
| 113 | static oop _the_null_sentinel; // A unique object pointer unused except as a sentinel for null. |
| 114 | static oop _the_null_string; // A cache of "null" as a Java string |
| 115 | static oop _the_min_jint_string; // A cache of "-2147483648" as a Java string |
| 116 | static LatestMethodCache* _finalizer_register_cache; // static method for registering finalizable objects |
| 117 | static LatestMethodCache* _loader_addClass_cache; // method for registering loaded classes in class loader vector |
| 118 | static LatestMethodCache* _throw_illegal_access_error_cache; // Unsafe.throwIllegalAccessError() method |
| 119 | static LatestMethodCache* _throw_no_such_method_error_cache; // Unsafe.throwNoSuchMethodError() method |
| 120 | static LatestMethodCache* _do_stack_walk_cache; // method for stack walker callback |
| 121 | |
| 122 | // preallocated error objects (no backtrace) |
| 123 | static oop _out_of_memory_error_java_heap; |
| 124 | static oop _out_of_memory_error_metaspace; |
| 125 | static oop _out_of_memory_error_class_metaspace; |
| 126 | static oop _out_of_memory_error_array_size; |
| 127 | static oop _out_of_memory_error_gc_overhead_limit; |
| 128 | static oop _out_of_memory_error_realloc_objects; |
| 129 | static oop _out_of_memory_error_retry; |
| 130 | |
| 131 | // preallocated cause message for delayed StackOverflowError |
| 132 | static oop _delayed_stack_overflow_error_message; |
| 133 | |
| 134 | static Array<int>* _the_empty_int_array; // Canonicalized int array |
| 135 | static Array<u2>* _the_empty_short_array; // Canonicalized short array |
| 136 | static Array<Klass*>* _the_empty_klass_array; // Canonicalized klass array |
| 137 | static Array<InstanceKlass*>* _the_empty_instance_klass_array; // Canonicalized instance klass array |
| 138 | static Array<Method*>* _the_empty_method_array; // Canonicalized method array |
| 139 | |
| 140 | static Array<Klass*>* _the_array_interfaces_array; |
| 141 | |
| 142 | // array of preallocated error objects with backtrace |
| 143 | static objArrayOop _preallocated_out_of_memory_error_array; |
| 144 | |
| 145 | // number of preallocated error objects available for use |
| 146 | static volatile jint _preallocated_out_of_memory_error_avail_count; |
| 147 | |
| 148 | static oop _null_ptr_exception_instance; // preallocated exception object |
| 149 | static oop _arithmetic_exception_instance; // preallocated exception object |
| 150 | static oop _virtual_machine_error_instance; // preallocated exception object |
| 151 | // The object used as an exception dummy when exceptions are thrown for |
| 152 | // the vm thread. |
| 153 | static oop _vm_exception; |
| 154 | |
| 155 | // References waiting to be transferred to the ReferenceHandler |
| 156 | static oop _reference_pending_list; |
| 157 | |
| 158 | // The particular choice of collected heap. |
| 159 | static CollectedHeap* _collectedHeap; |
| 160 | |
| 161 | static intptr_t _non_oop_bits; |
| 162 | |
| 163 | // array of dummy objects used with +FullGCAlot |
| 164 | debug_only(static objArrayOop _fullgc_alot_dummy_array;) |
| 165 | // index of next entry to clear |
| 166 | debug_only(static int _fullgc_alot_dummy_next;) |
| 167 | |
| 168 | // Compiler/dispatch support |
| 169 | static int _base_vtable_size; // Java vtbl size of klass Object (in words) |
| 170 | |
| 171 | // Initialization |
| 172 | static bool _bootstrapping; // true during genesis |
| 173 | static bool _module_initialized; // true after call_initPhase2 called |
| 174 | static bool _fully_initialized; // true after universe_init and initialize_vtables called |
| 175 | |
| 176 | // the array of preallocated errors with backtraces |
| 177 | static objArrayOop preallocated_out_of_memory_errors() { return _preallocated_out_of_memory_error_array; } |
| 178 | |
| 179 | // generate an out of memory error; if possible using an error with preallocated backtrace; |
| 180 | // otherwise return the given default error. |
| 181 | static oop gen_out_of_memory_error(oop default_err); |
| 182 | |
| 183 | // Historic gc information |
| 184 | static size_t _heap_capacity_at_last_gc; |
| 185 | static size_t _heap_used_at_last_gc; |
| 186 | |
| 187 | static jint initialize_heap(); |
| 188 | static void initialize_tlab(); |
| 189 | static void initialize_basic_type_mirrors(TRAPS); |
| 190 | static void fixup_mirrors(TRAPS); |
| 191 | |
| 192 | static void reinitialize_vtable_of(Klass* k, TRAPS); |
| 193 | static void reinitialize_vtables(TRAPS); |
| 194 | static void reinitialize_itables(TRAPS); |
| 195 | static void compute_base_vtable_size(); // compute vtable size of class Object |
| 196 | |
| 197 | static void genesis(TRAPS); // Create the initial world |
| 198 | |
| 199 | // Mirrors for primitive classes (created eagerly) |
| 200 | static oop check_mirror(oop m) { |
| 201 | assert(m != NULL, "mirror not initialized" ); |
| 202 | return m; |
| 203 | } |
| 204 | |
| 205 | // Debugging |
| 206 | static int _verify_count; // number of verifies done |
| 207 | |
| 208 | // True during call to verify(). Should only be set/cleared in verify(). |
| 209 | static bool _verify_in_progress; |
| 210 | static long verify_flags; |
| 211 | |
| 212 | static uintptr_t _verify_oop_mask; |
| 213 | static uintptr_t _verify_oop_bits; |
| 214 | |
| 215 | static void calculate_verify_data(HeapWord* low_boundary, HeapWord* high_boundary) PRODUCT_RETURN; |
| 216 | |
| 217 | public: |
| 218 | // Known classes in the VM |
| 219 | static Klass* boolArrayKlassObj() { return typeArrayKlassObj(T_BOOLEAN); } |
| 220 | static Klass* byteArrayKlassObj() { return typeArrayKlassObj(T_BYTE); } |
| 221 | static Klass* charArrayKlassObj() { return typeArrayKlassObj(T_CHAR); } |
| 222 | static Klass* intArrayKlassObj() { return typeArrayKlassObj(T_INT); } |
| 223 | static Klass* shortArrayKlassObj() { return typeArrayKlassObj(T_SHORT); } |
| 224 | static Klass* longArrayKlassObj() { return typeArrayKlassObj(T_LONG); } |
| 225 | static Klass* floatArrayKlassObj() { return typeArrayKlassObj(T_FLOAT); } |
| 226 | static Klass* doubleArrayKlassObj() { return typeArrayKlassObj(T_DOUBLE); } |
| 227 | |
| 228 | static Klass* objectArrayKlassObj() { return _objectArrayKlassObj; } |
| 229 | |
| 230 | static Klass* typeArrayKlassObj(BasicType t) { |
| 231 | assert((uint)t >= T_BOOLEAN, "range check for type: %s" , type2name(t)); |
| 232 | assert((uint)t < T_LONG+1, "range check for type: %s" , type2name(t)); |
| 233 | assert(_typeArrayKlassObjs[t] != NULL, "domain check" ); |
| 234 | return _typeArrayKlassObjs[t]; |
| 235 | } |
| 236 | |
| 237 | // Known objects in the VM |
| 238 | static oop int_mirror() { return check_mirror(_int_mirror); } |
| 239 | static oop float_mirror() { return check_mirror(_float_mirror); } |
| 240 | static oop double_mirror() { return check_mirror(_double_mirror); } |
| 241 | static oop byte_mirror() { return check_mirror(_byte_mirror); } |
| 242 | static oop bool_mirror() { return check_mirror(_bool_mirror); } |
| 243 | static oop char_mirror() { return check_mirror(_char_mirror); } |
| 244 | static oop long_mirror() { return check_mirror(_long_mirror); } |
| 245 | static oop short_mirror() { return check_mirror(_short_mirror); } |
| 246 | static oop void_mirror() { return check_mirror(_void_mirror); } |
| 247 | |
| 248 | static void set_int_mirror(oop m) { _int_mirror = m; } |
| 249 | static void set_float_mirror(oop m) { _float_mirror = m; } |
| 250 | static void set_double_mirror(oop m) { _double_mirror = m; } |
| 251 | static void set_byte_mirror(oop m) { _byte_mirror = m; } |
| 252 | static void set_bool_mirror(oop m) { _bool_mirror = m; } |
| 253 | static void set_char_mirror(oop m) { _char_mirror = m; } |
| 254 | static void set_long_mirror(oop m) { _long_mirror = m; } |
| 255 | static void set_short_mirror(oop m) { _short_mirror = m; } |
| 256 | static void set_void_mirror(oop m) { _void_mirror = m; } |
| 257 | |
| 258 | // table of same |
| 259 | static oop _mirrors[T_VOID+1]; |
| 260 | |
| 261 | static oop java_mirror(BasicType t) { |
| 262 | assert((uint)t < T_VOID+1, "range check" ); |
| 263 | return check_mirror(_mirrors[t]); |
| 264 | } |
| 265 | static oop main_thread_group() { return _main_thread_group; } |
| 266 | static void set_main_thread_group(oop group) { _main_thread_group = group;} |
| 267 | |
| 268 | static oop system_thread_group() { return _system_thread_group; } |
| 269 | static void set_system_thread_group(oop group) { _system_thread_group = group;} |
| 270 | |
| 271 | static objArrayOop the_empty_class_klass_array () { return _the_empty_class_klass_array; } |
| 272 | static Array<Klass*>* the_array_interfaces_array() { return _the_array_interfaces_array; } |
| 273 | static oop the_null_string() { return _the_null_string; } |
| 274 | static oop the_min_jint_string() { return _the_min_jint_string; } |
| 275 | |
| 276 | static Method* finalizer_register_method() { return _finalizer_register_cache->get_method(); } |
| 277 | static Method* loader_addClass_method() { return _loader_addClass_cache->get_method(); } |
| 278 | |
| 279 | static Method* throw_illegal_access_error() { return _throw_illegal_access_error_cache->get_method(); } |
| 280 | static Method* throw_no_such_method_error() { return _throw_no_such_method_error_cache->get_method(); } |
| 281 | |
| 282 | static Method* do_stack_walk_method() { return _do_stack_walk_cache->get_method(); } |
| 283 | |
| 284 | static oop the_null_sentinel() { return _the_null_sentinel; } |
| 285 | static address the_null_sentinel_addr() { return (address) &_the_null_sentinel; } |
| 286 | |
| 287 | // Function to initialize these |
| 288 | static void initialize_known_methods(TRAPS); |
| 289 | |
| 290 | static oop null_ptr_exception_instance() { return _null_ptr_exception_instance; } |
| 291 | static oop arithmetic_exception_instance() { return _arithmetic_exception_instance; } |
| 292 | static oop virtual_machine_error_instance() { return _virtual_machine_error_instance; } |
| 293 | static oop vm_exception() { return _vm_exception; } |
| 294 | |
| 295 | // Reference pending list manipulation. Access is protected by |
| 296 | // Heap_lock. The getter, setter and predicate require the caller |
| 297 | // owns the lock. Swap is used by parallel non-concurrent reference |
| 298 | // processing threads, where some higher level controller owns |
| 299 | // Heap_lock, so requires the lock is locked, but not necessarily by |
| 300 | // the current thread. |
| 301 | static oop reference_pending_list(); |
| 302 | static void set_reference_pending_list(oop list); |
| 303 | static bool has_reference_pending_list(); |
| 304 | static oop swap_reference_pending_list(oop list); |
| 305 | |
| 306 | static Array<int>* the_empty_int_array() { return _the_empty_int_array; } |
| 307 | static Array<u2>* the_empty_short_array() { return _the_empty_short_array; } |
| 308 | static Array<Method*>* the_empty_method_array() { return _the_empty_method_array; } |
| 309 | static Array<Klass*>* the_empty_klass_array() { return _the_empty_klass_array; } |
| 310 | static Array<InstanceKlass*>* the_empty_instance_klass_array() { return _the_empty_instance_klass_array; } |
| 311 | |
| 312 | // OutOfMemoryError support. Returns an error with the required message. The returned error |
| 313 | // may or may not have a backtrace. If error has a backtrace then the stack trace is already |
| 314 | // filled in. |
| 315 | static oop out_of_memory_error_java_heap() { return gen_out_of_memory_error(_out_of_memory_error_java_heap); } |
| 316 | static oop out_of_memory_error_metaspace() { return gen_out_of_memory_error(_out_of_memory_error_metaspace); } |
| 317 | static oop out_of_memory_error_class_metaspace() { return gen_out_of_memory_error(_out_of_memory_error_class_metaspace); } |
| 318 | static oop out_of_memory_error_array_size() { return gen_out_of_memory_error(_out_of_memory_error_array_size); } |
| 319 | static oop out_of_memory_error_gc_overhead_limit() { return gen_out_of_memory_error(_out_of_memory_error_gc_overhead_limit); } |
| 320 | static oop out_of_memory_error_realloc_objects() { return gen_out_of_memory_error(_out_of_memory_error_realloc_objects); } |
| 321 | // Throw default _out_of_memory_error_retry object as it will never propagate out of the VM |
| 322 | static oop out_of_memory_error_retry() { return _out_of_memory_error_retry; } |
| 323 | static oop delayed_stack_overflow_error_message() { return _delayed_stack_overflow_error_message; } |
| 324 | |
| 325 | // The particular choice of collected heap. |
| 326 | static CollectedHeap* heap() { return _collectedHeap; } |
| 327 | |
| 328 | // Reserve Java heap and determine CompressedOops mode |
| 329 | static ReservedSpace reserve_heap(size_t heap_size, size_t alignment); |
| 330 | |
| 331 | // Historic gc information |
| 332 | static size_t get_heap_free_at_last_gc() { return _heap_capacity_at_last_gc - _heap_used_at_last_gc; } |
| 333 | static size_t get_heap_used_at_last_gc() { return _heap_used_at_last_gc; } |
| 334 | static void update_heap_info_at_gc(); |
| 335 | |
| 336 | // Testers |
| 337 | static bool is_bootstrapping() { return _bootstrapping; } |
| 338 | static bool is_module_initialized() { return _module_initialized; } |
| 339 | static bool is_fully_initialized() { return _fully_initialized; } |
| 340 | |
| 341 | static bool on_page_boundary(void* addr); |
| 342 | static bool should_fill_in_stack_trace(Handle throwable); |
| 343 | static void check_alignment(uintx size, uintx alignment, const char* name); |
| 344 | |
| 345 | // Iteration |
| 346 | |
| 347 | // Apply "f" to the addresses of all the direct heap pointers maintained |
| 348 | // as static fields of "Universe". |
| 349 | static void oops_do(OopClosure* f); |
| 350 | |
| 351 | // CDS support |
| 352 | static void serialize(SerializeClosure* f); |
| 353 | |
| 354 | // Apply "f" to all klasses for basic types (classes not present in |
| 355 | // SystemDictionary). |
| 356 | static void basic_type_classes_do(void f(Klass*)); |
| 357 | static void basic_type_classes_do(KlassClosure* closure); |
| 358 | static void metaspace_pointers_do(MetaspaceClosure* it); |
| 359 | |
| 360 | // Debugging |
| 361 | enum VERIFY_FLAGS { |
| 362 | Verify_Threads = 1, |
| 363 | Verify_Heap = 2, |
| 364 | Verify_SymbolTable = 4, |
| 365 | Verify_StringTable = 8, |
| 366 | Verify_CodeCache = 16, |
| 367 | Verify_SystemDictionary = 32, |
| 368 | Verify_ClassLoaderDataGraph = 64, |
| 369 | Verify_MetaspaceUtils = 128, |
| 370 | Verify_JNIHandles = 256, |
| 371 | Verify_CodeCacheOops = 512, |
| 372 | Verify_ResolvedMethodTable = 1024, |
| 373 | Verify_All = -1 |
| 374 | }; |
| 375 | static void initialize_verify_flags(); |
| 376 | static bool should_verify_subset(uint subset); |
| 377 | static bool verify_in_progress() { return _verify_in_progress; } |
| 378 | static void verify(VerifyOption option, const char* prefix); |
| 379 | static void verify(const char* prefix) { |
| 380 | verify(VerifyOption_Default, prefix); |
| 381 | } |
| 382 | static void verify() { |
| 383 | verify("" ); |
| 384 | } |
| 385 | |
| 386 | static int verify_count() { return _verify_count; } |
| 387 | static void print_on(outputStream* st); |
| 388 | static void print_heap_at_SIGBREAK(); |
| 389 | static void print_heap_before_gc(); |
| 390 | static void print_heap_after_gc(); |
| 391 | |
| 392 | // Change the number of dummy objects kept reachable by the full gc dummy |
| 393 | // array; this should trigger relocation in a sliding compaction collector. |
| 394 | debug_only(static bool release_fullgc_alot_dummy();) |
| 395 | // The non-oop pattern (see compiledIC.hpp, etc) |
| 396 | static void* non_oop_word(); |
| 397 | |
| 398 | // Oop verification (see MacroAssembler::verify_oop) |
| 399 | static uintptr_t verify_oop_mask() PRODUCT_RETURN0; |
| 400 | static uintptr_t verify_oop_bits() PRODUCT_RETURN0; |
| 401 | static uintptr_t verify_mark_bits() PRODUCT_RETURN0; |
| 402 | static uintptr_t verify_mark_mask() PRODUCT_RETURN0; |
| 403 | |
| 404 | // Compiler support |
| 405 | static int base_vtable_size() { return _base_vtable_size; } |
| 406 | }; |
| 407 | |
| 408 | #endif // SHARE_MEMORY_UNIVERSE_HPP |
| 409 | |