| /* | |
| * Copyright (c) 2023, 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 "gc/g1/g1CommittedRegionMap.inline.hpp" | |
| #include "logging/log.hpp" | |
| #include "memory/universe.hpp" | |
| #include "runtime/mutexLocker.hpp" | |
| #include "runtime/safepoint.hpp" | |
| #include "utilities/debug.hpp" | |
| G1HeapRegionRange::G1HeapRegionRange(uint start, uint end) : | |
| _start(start), | |
| _end(end) { | |
| assert(start <= end, "Invariant"); | |
| } | |
| G1CommittedRegionMap::G1CommittedRegionMap() : | |
| _active(mtGC), | |
| _inactive(mtGC), | |
| _num_active(0), | |
| _num_inactive(0) { } | |
| void G1CommittedRegionMap::initialize(uint num_regions) { | |
| _active.initialize(num_regions); | |
| _inactive.initialize(num_regions); | |
| } | |
| uint G1CommittedRegionMap::num_active() const { | |
| return _num_active; | |
| } | |
| uint G1CommittedRegionMap::num_inactive() const { | |
| return _num_inactive; | |
| } | |
| uint G1CommittedRegionMap::max_length() const { | |
| return (uint) _active.size(); | |
| } | |
| void G1CommittedRegionMap::activate(uint start, uint end) { | |
| verify_active_count(start, end, 0); | |
| verify_inactive_count(start, end, 0); | |
| log_debug(gc, heap, region)("Activate regions [%u, %u)", start, end); | |
| active_set_range(start, end); | |
| } | |
| void G1CommittedRegionMap::reactivate(uint start, uint end) { | |
| verify_active_count(start, end, 0); | |
| verify_inactive_count(start, end, (end - start)); | |
| log_debug(gc, heap, region)("Reactivate regions [%u, %u)", start, end); | |
| active_set_range(start, end); | |
| inactive_clear_range(start, end); | |
| } | |
| void G1CommittedRegionMap::deactivate(uint start, uint end) { | |
| verify_active_count(start, end, (end - start)); | |
| verify_inactive_count(start, end, 0); | |
| log_debug(gc, heap, region)("Deactivate regions [%u, %u)", start, end); | |
| active_clear_range(start, end); | |
| inactive_set_range(start, end); | |
| } | |
| void G1CommittedRegionMap::uncommit(uint start, uint end) { | |
| verify_active_count(start, end, 0); | |
| verify_inactive_count(start, end, (end-start)); | |
| log_debug(gc, heap, region)("Uncommit regions [%u, %u)", start, end); | |
| inactive_clear_range(start, end); | |
| } | |
| G1HeapRegionRange G1CommittedRegionMap::next_active_range(uint offset) const { | |
| // Find first active index from offset. | |
| uint start = (uint) _active.find_first_set_bit(offset); | |
| if (start == max_length()) { | |
| // Early out when no active regions are found. | |
| return G1HeapRegionRange(max_length(), max_length()); | |
| } | |
| uint end = (uint) _active.find_first_clear_bit(start); | |
| verify_active_range(start, end); | |
| return G1HeapRegionRange(start, end); | |
| } | |
| G1HeapRegionRange G1CommittedRegionMap::next_committable_range(uint offset) const { | |
| // We should only call this function when there are no inactive regions. | |
| verify_no_inactive_regons(); | |
| // Find first free region from offset. | |
| uint start = (uint) _active.find_first_clear_bit(offset); | |
| if (start == max_length()) { | |
| // Early out when no free regions are found. | |
| return G1HeapRegionRange(max_length(), max_length()); | |
| } | |
| uint end = (uint) _active.find_first_set_bit(start); | |
| verify_free_range(start, end); | |
| return G1HeapRegionRange(start, end); | |
| } | |
| G1HeapRegionRange G1CommittedRegionMap::next_inactive_range(uint offset) const { | |
| // Find first inactive region from offset. | |
| uint start = (uint) _inactive.find_first_set_bit(offset); | |
| if (start == max_length()) { | |
| // Early when no inactive regions are found. | |
| return G1HeapRegionRange(max_length(), max_length()); | |
| } | |
| uint end = (uint) _inactive.find_first_clear_bit(start); | |
| verify_inactive_range(start, end); | |
| return G1HeapRegionRange(start, end); | |
| } | |
| void G1CommittedRegionMap::active_set_range(uint start, uint end) { | |
| guarantee_mt_safety_active(); | |
| _active.par_set_range(start, end, BitMap::unknown_range); | |
| _num_active += (end - start); | |
| } | |
| void G1CommittedRegionMap::active_clear_range(uint start, uint end) { | |
| guarantee_mt_safety_active(); | |
| _active.par_clear_range(start, end, BitMap::unknown_range); | |
| _num_active -= (end - start); | |
| } | |
| void G1CommittedRegionMap::inactive_set_range(uint start, uint end) { | |
| guarantee_mt_safety_inactive(); | |
| _inactive.par_set_range(start, end, BitMap::unknown_range); | |
| _num_inactive += (end - start); | |
| } | |
| void G1CommittedRegionMap::inactive_clear_range(uint start, uint end) { | |
| guarantee_mt_safety_inactive(); | |
| _inactive.par_clear_range(start, end, BitMap::unknown_range); | |
| _num_inactive -= (end - start); | |
| } | |
| void G1CommittedRegionMap::guarantee_mt_safety_active() const { | |
| // G1CommittedRegionMap _active-map MT safety protocol: | |
| // (a) If we're at a safepoint, the caller must either be the VM thread or | |
| // hold the FreeList_lock. | |
| // (b) If we're not at a safepoint, the caller must hold the Heap_lock. | |
| // Protocol only applies after initialization is complete. | |
| if (!Universe::is_fully_initialized()) { | |
| return; | |
| } | |
| if (SafepointSynchronize::is_at_safepoint()) { | |
| guarantee(Thread::current()->is_VM_thread() || | |
| FreeList_lock->owned_by_self(), | |
| "G1CommittedRegionMap _active-map MT safety protocol at a safepoint"); | |
| } else { | |
| guarantee(Heap_lock->owned_by_self(), | |
| "G1CommittedRegionMap _active-map MT safety protocol outside a safepoint"); | |
| } | |
| } | |
| void G1CommittedRegionMap::guarantee_mt_safety_inactive() const { | |
| // G1CommittedRegionMap _inactive-map MT safety protocol: | |
| // (a) If we're at a safepoint, the caller must either be the VM thread or | |
| // hold the FreeList_lock. | |
| // (b) If we're not at a safepoint, the caller must hold the Uncommit_lock. | |
| // Protocol only applies after initialization is complete. | |
| if (!Universe::is_fully_initialized()) { | |
| return; | |
| } | |
| if (SafepointSynchronize::is_at_safepoint()) { | |
| guarantee(Thread::current()->is_VM_thread() || | |
| FreeList_lock->owned_by_self(), | |
| "G1CommittedRegionMap MT safety protocol at a safepoint"); | |
| } else { | |
| guarantee(Uncommit_lock->owned_by_self(), | |
| "G1CommittedRegionMap MT safety protocol outside a safepoint"); | |
| } | |
| } | |
| #ifdef ASSERT | |
| void G1CommittedRegionMap::verify_active_range(uint start, uint end) const { | |
| assert(active(start), "First region (%u) is not active", start); | |
| assert(active(end - 1), "Last region (%u) is not active", end - 1); | |
| assert(end == _active.size() || !active(end), "Region (%u) is active but not included in range", end); | |
| } | |
| void G1CommittedRegionMap::verify_inactive_range(uint start, uint end) const { | |
| assert(inactive(start), "First region (%u) is not inactive", start); | |
| assert(inactive(end - 1), "Last region (%u) in range is not inactive", end - 1); | |
| assert(end == _inactive.size() || !inactive(end), "Region (%u) is inactive but not included in range", end); | |
| } | |
| void G1CommittedRegionMap::verify_free_range(uint start, uint end) const { | |
| assert(!active(start), "First region (%u) is active", start); | |
| assert(!active(end - 1), "Last region (%u) in range is active", end - 1); | |
| } | |
| void G1CommittedRegionMap::verify_no_inactive_regons() const { | |
| BitMap::idx_t first_inactive = _inactive.find_first_set_bit(0); | |
| assert(first_inactive == _inactive.size(), "Should be no inactive regions, but was at index: %zu", first_inactive); | |
| } | |
| void G1CommittedRegionMap::verify_active_count(uint start, uint end, uint expected) const { | |
| uint found = (uint) _active.count_one_bits(start, end); | |
| assert(found == expected, "Unexpected number of active regions, found: %u, expected: %u", found, expected); | |
| } | |
| void G1CommittedRegionMap::verify_inactive_count(uint start, uint end, uint expected) const { | |
| uint found = (uint) _inactive.count_one_bits(start, end); | |
| assert(found == expected, "Unexpected number of inactive regions, found: %u, expected: %u", found, expected); | |
| } | |
| #endif //ASSERT |