blob: 80cbcf1c7dc2084cfa4a8eb218a0a26badf1df71 [file] [log] [blame]
/*
* 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