mirror of
https://github.com/openjdk/jdk.git
synced 2026-01-28 12:09:14 +00:00
110 lines
4.0 KiB
C++
110 lines
4.0 KiB
C++
/*
|
|
* Copyright (c) 1997, 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 "memory/allocation.inline.hpp"
|
|
#include "memory/resourceArea.hpp"
|
|
#include "runtime/javaThread.hpp"
|
|
#include "utilities/growableArray.hpp"
|
|
|
|
void* GrowableArrayResourceAllocator::allocate(int max, int elementSize) {
|
|
assert(max >= 0, "integer overflow");
|
|
size_t byte_size = elementSize * (size_t) max;
|
|
|
|
return (void*)resource_allocate_bytes(byte_size);
|
|
}
|
|
|
|
void* GrowableArrayArenaAllocator::allocate(int max, int element_size, Arena* arena) {
|
|
assert(max >= 0, "integer overflow");
|
|
size_t byte_size = element_size * (size_t) max;
|
|
|
|
return arena->Amalloc(byte_size);
|
|
}
|
|
|
|
void* GrowableArrayCHeapAllocator::allocate(int max, int element_size, MemTag mem_tag) {
|
|
assert(max >= 0, "integer overflow");
|
|
|
|
if (max == 0) {
|
|
return nullptr;
|
|
}
|
|
|
|
size_t byte_size = element_size * (size_t) max;
|
|
|
|
// memory tag has to be specified for C heap allocation
|
|
assert(mem_tag != mtNone, "memory tag not specified for C heap object");
|
|
return (void*)AllocateHeap(byte_size, mem_tag);
|
|
}
|
|
|
|
void GrowableArrayCHeapAllocator::deallocate(void* elements) {
|
|
FreeHeap(elements);
|
|
}
|
|
|
|
#ifdef ASSERT
|
|
|
|
GrowableArrayNestingCheck::GrowableArrayNestingCheck(bool on_resource_area) :
|
|
_nesting(on_resource_area ? Thread::current()->resource_area()->nesting() : 0) {
|
|
}
|
|
|
|
GrowableArrayNestingCheck::GrowableArrayNestingCheck(Arena* arena) :
|
|
_nesting((arena->get_tag() == Arena::Tag::tag_ra) ? static_cast<ResourceArea*>(arena)->nesting() : 0) {
|
|
}
|
|
|
|
void GrowableArrayNestingCheck::on_resource_area_alloc() const {
|
|
// Check for insidious allocation bug: if a GrowableArray overflows, the
|
|
// grown array must be allocated under the same ResourceMark as the original.
|
|
// Otherwise, the _data array will be deallocated too early.
|
|
if (_nesting != Thread::current()->resource_area()->nesting()) {
|
|
fatal("allocation bug: GrowableArray could grow within nested ResourceMark");
|
|
}
|
|
}
|
|
|
|
void GrowableArrayNestingCheck::on_arena_alloc(Arena* arena) const {
|
|
if ((arena->get_tag() == Arena::Tag::tag_ra) && (_nesting != static_cast<ResourceArea*>(arena)->nesting())) {
|
|
fatal("allocation bug: GrowableArray is growing within nested ResourceMark");
|
|
}
|
|
}
|
|
void GrowableArrayMetadata::init_checks(const GrowableArrayBase* array) const {
|
|
// Stack allocated arrays support all three element allocation locations
|
|
if (array->allocated_on_stack_or_embedded()) {
|
|
return;
|
|
}
|
|
|
|
// Otherwise there's a strict one-to-one mapping
|
|
assert(on_C_heap() == array->allocated_on_C_heap(),
|
|
"growable array must be C heap allocated if elements are");
|
|
assert(on_resource_area() == array->allocated_on_res_area(),
|
|
"growable array must be resource allocated if elements are");
|
|
assert(on_arena() == array->allocated_on_arena(),
|
|
"growable array must be arena allocated if elements are");
|
|
}
|
|
|
|
void GrowableArrayMetadata::on_resource_area_alloc_check() const {
|
|
_nesting_check.on_resource_area_alloc();
|
|
}
|
|
|
|
void GrowableArrayMetadata::on_arena_alloc_check() const {
|
|
_nesting_check.on_arena_alloc(arena());
|
|
}
|
|
|
|
#endif // ASSERT
|