| /* |
| * Copyright (c) 2023, 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 "precompiled.hpp" |
| #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" |
| |
| HeapRegionRange::HeapRegionRange(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); |
| } |
| |
| HeapRegionRange 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 HeapRegionRange(max_length(), max_length()); |
| } |
| |
| uint end = (uint) _active.find_first_clear_bit(start); |
| verify_active_range(start, end); |
| |
| return HeapRegionRange(start, end); |
| } |
| |
| HeapRegionRange 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 HeapRegionRange(max_length(), max_length()); |
| } |
| |
| uint end = (uint) _active.find_first_set_bit(start); |
| verify_free_range(start, end); |
| |
| return HeapRegionRange(start, end); |
| } |
| |
| HeapRegionRange 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 HeapRegionRange(max_length(), max_length()); |
| } |
| |
| uint end = (uint) _inactive.find_first_clear_bit(start); |
| verify_inactive_range(start, end); |
| |
| return HeapRegionRange(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: " SIZE_FORMAT, 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 |