| /* |
| * Copyright (c) 2018, 2025, Oracle and/or its affiliates. All rights reserved. |
| * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| * |
| * This code is free software; you can redistribute it and/or modify it |
| * under the terms of the GNU General Public License version 2 only, as |
| * published by the Free Software Foundation. |
| * |
| * This code is distributed in the hope that it will be useful, but WITHOUT |
| * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| * version 2 for more details (a copy is included in the LICENSE file that |
| * accompanied this code). |
| * |
| * You should have received a copy of the GNU General Public License version |
| * 2 along with this work; if not, write to the Free Software Foundation, |
| * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
| * |
| * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
| * or visit www.oracle.com if you need additional information or have any |
| * questions. |
| * |
| */ |
| |
| #include "classfile/javaClasses.hpp" |
| #include "classfile/vmClasses.hpp" |
| #include "gc/shared/allocTracer.hpp" |
| #include "gc/shared/collectedHeap.hpp" |
| #include "gc/shared/memAllocator.hpp" |
| #include "gc/shared/threadLocalAllocBuffer.inline.hpp" |
| #include "gc/shared/tlab_globals.hpp" |
| #include "memory/universe.hpp" |
| #include "oops/arrayOop.hpp" |
| #include "oops/oop.inline.hpp" |
| #include "prims/jvmtiExport.hpp" |
| #include "runtime/continuationJavaClasses.inline.hpp" |
| #include "runtime/handles.inline.hpp" |
| #include "runtime/javaThread.hpp" |
| #include "runtime/sharedRuntime.hpp" |
| #include "services/lowMemoryDetector.hpp" |
| #include "utilities/align.hpp" |
| #include "utilities/copy.hpp" |
| #include "utilities/globalDefinitions.hpp" |
| |
| class MemAllocator::Allocation: StackObj { |
| friend class MemAllocator; |
| |
| const MemAllocator& _allocator; |
| JavaThread* _thread; |
| oop* _obj_ptr; |
| bool _overhead_limit_exceeded; |
| bool _allocated_outside_tlab; |
| size_t _allocated_tlab_size; |
| |
| bool check_out_of_memory(); |
| void verify_before(); |
| void verify_after(); |
| void notify_allocation(); |
| void notify_allocation_jvmti_sampler(); |
| void notify_allocation_low_memory_detector(); |
| void notify_allocation_jfr_sampler(); |
| void notify_allocation_dtrace_sampler(); |
| #ifdef ASSERT |
| void check_for_valid_allocation_state() const; |
| #endif |
| |
| class PreserveObj; |
| |
| public: |
| Allocation(const MemAllocator& allocator, oop* obj_ptr) |
| : _allocator(allocator), |
| _thread(JavaThread::cast(allocator._thread)), // Do not use Allocation in non-JavaThreads. |
| _obj_ptr(obj_ptr), |
| _overhead_limit_exceeded(false), |
| _allocated_outside_tlab(false), |
| _allocated_tlab_size(0) |
| { |
| assert(Thread::current() == allocator._thread, "do not pass MemAllocator across threads"); |
| verify_before(); |
| } |
| |
| ~Allocation() { |
| if (!check_out_of_memory()) { |
| notify_allocation(); |
| } |
| } |
| |
| oop obj() const { return *_obj_ptr; } |
| }; |
| |
| class MemAllocator::Allocation::PreserveObj: StackObj { |
| HandleMark _handle_mark; |
| Handle _handle; |
| oop* const _obj_ptr; |
| |
| public: |
| PreserveObj(JavaThread* thread, oop* obj_ptr) |
| : _handle_mark(thread), |
| _handle(thread, *obj_ptr), |
| _obj_ptr(obj_ptr) |
| { |
| *obj_ptr = nullptr; |
| } |
| |
| ~PreserveObj() { |
| *_obj_ptr = _handle(); |
| } |
| |
| oop operator()() const { |
| return _handle(); |
| } |
| }; |
| |
| bool MemAllocator::Allocation::check_out_of_memory() { |
| JavaThread* THREAD = _thread; // For exception macros. |
| assert(!HAS_PENDING_EXCEPTION, "Unexpected exception, will result in uninitialized storage"); |
| |
| if (obj() != nullptr) { |
| return false; |
| } |
| |
| const char* message = _overhead_limit_exceeded ? "GC overhead limit exceeded" : "Java heap space"; |
| if (!_thread->is_in_internal_oome_mark()) { |
| // -XX:+HeapDumpOnOutOfMemoryError and -XX:OnOutOfMemoryError support |
| report_java_out_of_memory(message); |
| if (JvmtiExport::should_post_resource_exhausted()) { |
| #ifdef CHECK_UNHANDLED_OOPS |
| // obj is null, no need to handle, but CheckUnhandledOops is not aware about null |
| THREAD->allow_unhandled_oop(_obj_ptr); |
| #endif // CHECK_UNHANDLED_OOPS |
| JvmtiExport::post_resource_exhausted( |
| JVMTI_RESOURCE_EXHAUSTED_OOM_ERROR | JVMTI_RESOURCE_EXHAUSTED_JAVA_HEAP, |
| message); |
| } |
| |
| oop exception = _overhead_limit_exceeded ? |
| Universe::out_of_memory_error_gc_overhead_limit() : |
| Universe::out_of_memory_error_java_heap(); |
| THROW_OOP_(exception, true); |
| } else { |
| THROW_OOP_(Universe::out_of_memory_error_java_heap_without_backtrace(), true); |
| } |
| } |
| |
| void MemAllocator::Allocation::verify_before() { |
| // Clear unhandled oops for memory allocation. Memory allocation might |
| // not take out a lock if from tlab, so clear here. |
| JavaThread* THREAD = _thread; // For exception macros. |
| assert(!HAS_PENDING_EXCEPTION, "Should not allocate with exception pending"); |
| DEBUG_ONLY(check_for_valid_allocation_state()); |
| assert(!Universe::heap()->is_stw_gc_active(), "Allocation during GC pause not allowed"); |
| } |
| |
| #ifdef ASSERT |
| void MemAllocator::Allocation::check_for_valid_allocation_state() const { |
| // How to choose between a pending exception and a potential |
| // OutOfMemoryError? Don't allow pending exceptions. |
| // This is a VM policy failure, so how do we exhaustively test it? |
| assert(!_thread->has_pending_exception(), |
| "shouldn't be allocating with pending exception"); |
| // Allocation of an oop can always invoke a safepoint. |
| _thread->check_for_valid_safepoint_state(); |
| } |
| #endif |
| |
| void MemAllocator::Allocation::notify_allocation_jvmti_sampler() { |
| // support for JVMTI VMObjectAlloc event (no-op if not enabled) |
| JvmtiExport::vm_object_alloc_event_collector(obj()); |
| |
| if (!JvmtiExport::should_post_sampled_object_alloc()) { |
| // Sampling disabled |
| return; |
| } |
| |
| ThreadHeapSampler& heap_sampler = _thread->heap_sampler(); |
| ThreadLocalAllocBuffer& tlab = _thread->tlab(); |
| |
| // Log sample decision |
| heap_sampler.log_sample_decision(tlab.top()); |
| |
| if (heap_sampler.should_sample(tlab.top())) { |
| // If we want to be sampling, protect the allocated object with a Handle |
| // before doing the callback. The callback is done in the destructor of |
| // the JvmtiSampledObjectAllocEventCollector. |
| PreserveObj obj_h(_thread, _obj_ptr); |
| JvmtiSampledObjectAllocEventCollector collector; |
| |
| // Perform the sampling |
| heap_sampler.sample(obj_h(), tlab.top()); |
| |
| // Note that after this point all the TLAB can have been retired, and agent |
| // code can run and allocate, don't rely on earlier calculations involving |
| // the TLAB. |
| } |
| |
| // Set a new sampling point in the TLAB if it fits in the current TLAB |
| const size_t words_until_sample = heap_sampler.bytes_until_sample(tlab.top()) / HeapWordSize; |
| if (words_until_sample <= tlab.free()) { |
| tlab.set_sampling_point(tlab.top() + words_until_sample); |
| } |
| } |
| |
| void MemAllocator::Allocation::notify_allocation_low_memory_detector() { |
| // support low memory notifications (no-op if not enabled) |
| LowMemoryDetector::detect_low_memory_for_collected_pools(); |
| } |
| |
| void MemAllocator::Allocation::notify_allocation_jfr_sampler() { |
| HeapWord* mem = cast_from_oop<HeapWord*>(obj()); |
| size_t size_in_bytes = _allocator._word_size * HeapWordSize; |
| |
| if (_allocated_outside_tlab) { |
| AllocTracer::send_allocation_outside_tlab(obj()->klass(), mem, size_in_bytes, _thread); |
| } else if (_allocated_tlab_size != 0) { |
| // TLAB was refilled |
| AllocTracer::send_allocation_in_new_tlab(obj()->klass(), mem, _allocated_tlab_size * HeapWordSize, |
| size_in_bytes, _thread); |
| } |
| } |
| |
| void MemAllocator::Allocation::notify_allocation_dtrace_sampler() { |
| if (DTraceAllocProbes) { |
| // support for Dtrace object alloc event (no-op most of the time) |
| Klass* klass = obj()->klass(); |
| size_t word_size = _allocator._word_size; |
| if (klass != nullptr && klass->name() != nullptr) { |
| SharedRuntime::dtrace_object_alloc(_thread, obj(), word_size); |
| } |
| } |
| } |
| |
| void MemAllocator::Allocation::notify_allocation() { |
| notify_allocation_low_memory_detector(); |
| notify_allocation_jfr_sampler(); |
| notify_allocation_dtrace_sampler(); |
| notify_allocation_jvmti_sampler(); |
| } |
| |
| HeapWord* MemAllocator::mem_allocate_outside_tlab(Allocation& allocation) const { |
| allocation._allocated_outside_tlab = true; |
| HeapWord* mem = Universe::heap()->mem_allocate(_word_size, &allocation._overhead_limit_exceeded); |
| if (mem == nullptr) { |
| return mem; |
| } |
| |
| size_t size_in_bytes = _word_size * HeapWordSize; |
| _thread->incr_allocated_bytes(size_in_bytes); |
| _thread->heap_sampler().inc_outside_tlab_bytes(size_in_bytes); |
| |
| return mem; |
| } |
| |
| HeapWord* MemAllocator::mem_allocate_inside_tlab_fast() const { |
| return _thread->tlab().allocate(_word_size); |
| } |
| |
| HeapWord* MemAllocator::mem_allocate_inside_tlab_slow(Allocation& allocation) const { |
| HeapWord* mem = nullptr; |
| ThreadLocalAllocBuffer& tlab = _thread->tlab(); |
| |
| if (JvmtiExport::should_post_sampled_object_alloc()) { |
| // When sampling we artificially set the TLAB end to the sample point. |
| // When we hit that point it looks like the TLAB is full, but it's |
| // not necessarily the case. Set the real end and retry the allocation. |
| |
| // Undo previous adjustment of end. |
| // Note that notify_allocation_jvmti_sampler will set a new sample point. |
| tlab.set_back_allocation_end(); |
| |
| // Retry the TLAB allocation with the proper end |
| mem = tlab.allocate(_word_size); |
| |
| if (mem != nullptr) { |
| return mem; |
| } |
| } |
| |
| // Retain tlab and allocate object in shared space if |
| // the amount free in the tlab is too large to discard. |
| if (tlab.free() > tlab.refill_waste_limit()) { |
| tlab.record_slow_allocation(_word_size); |
| return nullptr; |
| } |
| |
| // Discard tlab and allocate a new one. |
| |
| // Record the amount wasted |
| tlab.record_refill_waste(); |
| |
| // Retire the current TLAB |
| _thread->retire_tlab(); |
| |
| // To minimize fragmentation, the last TLAB may be smaller than the rest. |
| size_t new_tlab_size = tlab.compute_size(_word_size); |
| |
| if (new_tlab_size == 0) { |
| return nullptr; |
| } |
| |
| // Allocate a new TLAB requesting new_tlab_size. Any size |
| // between minimal and new_tlab_size is accepted. |
| size_t min_tlab_size = ThreadLocalAllocBuffer::compute_min_size(_word_size); |
| mem = Universe::heap()->allocate_new_tlab(min_tlab_size, new_tlab_size, &allocation._allocated_tlab_size); |
| if (mem == nullptr) { |
| assert(allocation._allocated_tlab_size == 0, |
| "Allocation failed, but actual size was updated. min: %zu" |
| ", desired: %zu, actual: %zu", |
| min_tlab_size, new_tlab_size, allocation._allocated_tlab_size); |
| return nullptr; |
| } |
| assert(allocation._allocated_tlab_size != 0, "Allocation succeeded but actual size not updated. mem at: " |
| PTR_FORMAT " min: %zu, desired: %zu", |
| p2i(mem), min_tlab_size, new_tlab_size); |
| |
| // ...and clear or zap just allocated TLAB, if needed. |
| if (ZeroTLAB) { |
| Copy::zero_to_words(mem, allocation._allocated_tlab_size); |
| } else if (ZapTLAB) { |
| // Skip mangling the space corresponding to the object header to |
| // ensure that the returned space is not considered parsable by |
| // any concurrent GC thread. |
| size_t hdr_size = oopDesc::header_size(); |
| Copy::fill_to_words(mem + hdr_size, allocation._allocated_tlab_size - hdr_size, badHeapWordVal); |
| } |
| |
| _thread->fill_tlab(mem, _word_size, allocation._allocated_tlab_size); |
| |
| return mem; |
| } |
| |
| HeapWord* MemAllocator::mem_allocate(Allocation& allocation) const { |
| if (UseTLAB) { |
| // Try allocating from an existing TLAB. |
| HeapWord* mem = mem_allocate_inside_tlab_fast(); |
| if (mem != nullptr) { |
| return mem; |
| } |
| } |
| |
| // Allocation of an oop can always invoke a safepoint. |
| DEBUG_ONLY(allocation._thread->check_for_valid_safepoint_state()); |
| |
| if (UseTLAB) { |
| // Try refilling the TLAB and allocating the object in it. |
| HeapWord* mem = mem_allocate_inside_tlab_slow(allocation); |
| if (mem != nullptr) { |
| return mem; |
| } |
| } |
| |
| return mem_allocate_outside_tlab(allocation); |
| } |
| |
| oop MemAllocator::allocate() const { |
| oop obj = nullptr; |
| { |
| Allocation allocation(*this, &obj); |
| HeapWord* mem = mem_allocate(allocation); |
| if (mem != nullptr) { |
| obj = initialize(mem); |
| } else { |
| // The unhandled oop detector will poison local variable obj, |
| // so reset it to null if mem is null. |
| obj = nullptr; |
| } |
| } |
| return obj; |
| } |
| |
| void MemAllocator::mem_clear(HeapWord* mem) const { |
| assert(mem != nullptr, "cannot initialize null object"); |
| const size_t hs = oopDesc::header_size(); |
| assert(_word_size >= hs, "unexpected object size"); |
| if (oopDesc::has_klass_gap()) { |
| oopDesc::set_klass_gap(mem, 0); |
| } |
| Copy::fill_to_aligned_words(mem + hs, _word_size - hs); |
| } |
| |
| oop MemAllocator::finish(HeapWord* mem) const { |
| assert(mem != nullptr, "null object pointer"); |
| // Need a release store to ensure array/class length, mark word, and |
| // object zeroing are visible before setting the klass non-null, for |
| // concurrent collectors. |
| if (UseCompactObjectHeaders) { |
| oopDesc::release_set_mark(mem, _klass->prototype_header()); |
| } else { |
| oopDesc::set_mark(mem, markWord::prototype()); |
| oopDesc::release_set_klass(mem, _klass); |
| } |
| return cast_to_oop(mem); |
| } |
| |
| oop ObjAllocator::initialize(HeapWord* mem) const { |
| mem_clear(mem); |
| return finish(mem); |
| } |
| |
| oop ObjArrayAllocator::initialize(HeapWord* mem) const { |
| // Set array length before setting the _klass field because a |
| // non-null klass field indicates that the object is parsable by |
| // concurrent GC. |
| assert(_length >= 0, "length should be non-negative"); |
| if (_do_zero) { |
| mem_clear(mem); |
| mem_zap_start_padding(mem); |
| mem_zap_end_padding(mem); |
| } |
| arrayOopDesc::set_length(mem, _length); |
| return finish(mem); |
| } |
| |
| #ifndef PRODUCT |
| void ObjArrayAllocator::mem_zap_start_padding(HeapWord* mem) const { |
| const BasicType element_type = ArrayKlass::cast(_klass)->element_type(); |
| const size_t base_offset_in_bytes = arrayOopDesc::base_offset_in_bytes(element_type); |
| const size_t header_size_in_bytes = arrayOopDesc::header_size_in_bytes(); |
| |
| const address base = reinterpret_cast<address>(mem) + base_offset_in_bytes; |
| const address header_end = reinterpret_cast<address>(mem) + header_size_in_bytes; |
| |
| if (header_end < base) { |
| const size_t padding_in_bytes = base - header_end; |
| Copy::fill_to_bytes(header_end, padding_in_bytes, heapPaddingByteVal); |
| } |
| } |
| |
| void ObjArrayAllocator::mem_zap_end_padding(HeapWord* mem) const { |
| const size_t length_in_bytes = static_cast<size_t>(_length) << ArrayKlass::cast(_klass)->log2_element_size(); |
| const BasicType element_type = ArrayKlass::cast(_klass)->element_type(); |
| const size_t base_offset_in_bytes = arrayOopDesc::base_offset_in_bytes(element_type); |
| const size_t size_in_bytes = _word_size * BytesPerWord; |
| |
| const address obj_end = reinterpret_cast<address>(mem) + size_in_bytes; |
| const address base = reinterpret_cast<address>(mem) + base_offset_in_bytes; |
| const address elements_end = base + length_in_bytes; |
| assert(elements_end <= obj_end, "payload must fit in object"); |
| if (elements_end < obj_end) { |
| const size_t padding_in_bytes = obj_end - elements_end; |
| Copy::fill_to_bytes(elements_end, padding_in_bytes, heapPaddingByteVal); |
| } |
| } |
| #endif |
| |
| oop ClassAllocator::initialize(HeapWord* mem) const { |
| // Set oop_size field before setting the _klass field because a |
| // non-null _klass field indicates that the object is parsable by |
| // concurrent GC. |
| assert(_word_size > 0, "oop_size must be positive."); |
| mem_clear(mem); |
| java_lang_Class::set_oop_size(mem, _word_size); |
| return finish(mem); |
| } |