mirror of
https://github.com/microsoft/mimalloc.git
synced 2025-05-05 06:59:32 +03:00

SI prefixes [the decimal prefixes] refer strictly to powers of 10. They should not be used to indicate powers of 2. e.g., one kilobit represents 1000 bits instead of 1024 bits. IEC 60027‐2 symbols are formed adding a "i" to the SI symbol (e.g. G + i = Gi).
398 lines
17 KiB
C
398 lines
17 KiB
C
/* ----------------------------------------------------------------------------
|
|
Copyright (c) 2019-2021, Microsoft Research, Daan Leijen
|
|
This is free software; you can redistribute it and/or modify it under the
|
|
terms of the MIT license. A copy of the license can be found in the file
|
|
"LICENSE" at the root of this distribution.
|
|
-----------------------------------------------------------------------------*/
|
|
|
|
/* ----------------------------------------------------------------------------
|
|
"Arenas" are fixed area's of OS memory from which we can allocate
|
|
large blocks (>= MI_ARENA_BLOCK_SIZE, 32MiB).
|
|
In contrast to the rest of mimalloc, the arenas are shared between
|
|
threads and need to be accessed using atomic operations.
|
|
|
|
Currently arenas are only used to for huge OS page (1GiB) reservations,
|
|
otherwise it delegates to direct allocation from the OS.
|
|
In the future, we can expose an API to manually add more kinds of arenas
|
|
which is sometimes needed for embedded devices or shared memory for example.
|
|
(We can also employ this with WASI or `sbrk` systems to reserve large arenas
|
|
on demand and be able to reuse them efficiently).
|
|
|
|
The arena allocation needs to be thread safe and we use an atomic
|
|
bitmap to allocate. The current implementation of the bitmap can
|
|
only do this within a field (`uintptr_t`) so we can allocate at most
|
|
blocks of 2GiB (64*32MiB) and no object can cross the boundary. This
|
|
can lead to fragmentation but fortunately most objects will be regions
|
|
of 256MiB in practice.
|
|
-----------------------------------------------------------------------------*/
|
|
#include "mimalloc.h"
|
|
#include "mimalloc-internal.h"
|
|
#include "mimalloc-atomic.h"
|
|
|
|
#include <string.h> // memset
|
|
#include <errno.h> // ENOMEM
|
|
|
|
#include "bitmap.h" // atomic bitmap
|
|
|
|
|
|
// os.c
|
|
void* _mi_os_alloc_aligned(size_t size, size_t alignment, bool commit, bool* large, mi_stats_t* stats);
|
|
void _mi_os_free_ex(void* p, size_t size, bool was_committed, mi_stats_t* stats);
|
|
void _mi_os_free(void* p, size_t size, mi_stats_t* stats);
|
|
|
|
void* _mi_os_alloc_huge_os_pages(size_t pages, int numa_node, mi_msecs_t max_secs, size_t* pages_reserved, size_t* psize);
|
|
void _mi_os_free_huge_pages(void* p, size_t size, mi_stats_t* stats);
|
|
|
|
bool _mi_os_commit(void* p, size_t size, bool* is_zero, mi_stats_t* stats);
|
|
bool _mi_os_decommit(void* addr, size_t size, mi_stats_t* stats);
|
|
|
|
/* -----------------------------------------------------------
|
|
Arena allocation
|
|
----------------------------------------------------------- */
|
|
|
|
#define MI_SEGMENT_ALIGN MI_SEGMENT_SIZE
|
|
#define MI_ARENA_BLOCK_SIZE (4*MI_SEGMENT_ALIGN) // 32MiB
|
|
#define MI_ARENA_MIN_OBJ_SIZE (MI_ARENA_BLOCK_SIZE/2) // 16MiB
|
|
#define MI_MAX_ARENAS (64) // not more than 256 (since we use 8 bits in the memid)
|
|
|
|
// A memory arena descriptor
|
|
typedef struct mi_arena_s {
|
|
_Atomic(uint8_t*) start; // the start of the memory area
|
|
size_t block_count; // size of the area in arena blocks (of `MI_ARENA_BLOCK_SIZE`)
|
|
size_t field_count; // number of bitmap fields (where `field_count * MI_BITMAP_FIELD_BITS >= block_count`)
|
|
int numa_node; // associated NUMA node
|
|
bool is_zero_init; // is the arena zero initialized?
|
|
bool is_committed; // is the memory fully committed? (if so, block_committed == NULL)
|
|
bool is_large; // large- or huge OS pages (always committed)
|
|
_Atomic(uintptr_t) search_idx; // optimization to start the search for free blocks
|
|
mi_bitmap_field_t* blocks_dirty; // are the blocks potentially non-zero?
|
|
mi_bitmap_field_t* blocks_committed; // if `!is_committed`, are the blocks committed?
|
|
mi_bitmap_field_t blocks_inuse[1]; // in-place bitmap of in-use blocks (of size `field_count`)
|
|
} mi_arena_t;
|
|
|
|
|
|
// The available arenas
|
|
static mi_decl_cache_align _Atomic(mi_arena_t*) mi_arenas[MI_MAX_ARENAS];
|
|
static mi_decl_cache_align _Atomic(uintptr_t) mi_arena_count; // = 0
|
|
|
|
|
|
/* -----------------------------------------------------------
|
|
Arena allocations get a memory id where the lower 8 bits are
|
|
the arena index +1, and the upper bits the block index.
|
|
----------------------------------------------------------- */
|
|
|
|
// Use `0` as a special id for direct OS allocated memory.
|
|
#define MI_MEMID_OS 0
|
|
|
|
static size_t mi_arena_id_create(size_t arena_index, mi_bitmap_index_t bitmap_index) {
|
|
mi_assert_internal(arena_index < 0xFE);
|
|
mi_assert_internal(((bitmap_index << 8) >> 8) == bitmap_index); // no overflow?
|
|
return ((bitmap_index << 8) | ((arena_index+1) & 0xFF));
|
|
}
|
|
|
|
static void mi_arena_id_indices(size_t memid, size_t* arena_index, mi_bitmap_index_t* bitmap_index) {
|
|
mi_assert_internal(memid != MI_MEMID_OS);
|
|
*arena_index = (memid & 0xFF) - 1;
|
|
*bitmap_index = (memid >> 8);
|
|
}
|
|
|
|
static size_t mi_block_count_of_size(size_t size) {
|
|
return _mi_divide_up(size, MI_ARENA_BLOCK_SIZE);
|
|
}
|
|
|
|
/* -----------------------------------------------------------
|
|
Thread safe allocation in an arena
|
|
----------------------------------------------------------- */
|
|
static bool mi_arena_alloc(mi_arena_t* arena, size_t blocks, mi_bitmap_index_t* bitmap_idx)
|
|
{
|
|
size_t idx = mi_atomic_load_acquire(&arena->search_idx); // start from last search
|
|
if (_mi_bitmap_try_find_from_claim_across(arena->blocks_inuse, arena->field_count, idx, blocks, bitmap_idx)) {
|
|
mi_atomic_store_release(&arena->search_idx, idx); // start search from here next time
|
|
return true;
|
|
};
|
|
return false;
|
|
}
|
|
|
|
|
|
/* -----------------------------------------------------------
|
|
Arena Allocation
|
|
----------------------------------------------------------- */
|
|
|
|
static void* mi_arena_alloc_from(mi_arena_t* arena, size_t arena_index, size_t needed_bcount,
|
|
bool* commit, bool* large, bool* is_pinned, bool* is_zero, size_t* memid, mi_os_tld_t* tld)
|
|
{
|
|
mi_bitmap_index_t bitmap_index;
|
|
if (!mi_arena_alloc(arena, needed_bcount, &bitmap_index)) return NULL;
|
|
|
|
// claimed it! set the dirty bits (todo: no need for an atomic op here?)
|
|
void* p = arena->start + (mi_bitmap_index_bit(bitmap_index)*MI_ARENA_BLOCK_SIZE);
|
|
*memid = mi_arena_id_create(arena_index, bitmap_index);
|
|
*is_zero = _mi_bitmap_claim_across(arena->blocks_dirty, arena->field_count, needed_bcount, bitmap_index, NULL);
|
|
*large = arena->is_large;
|
|
*is_pinned = (arena->is_large || arena->is_committed);
|
|
if (arena->is_committed) {
|
|
// always committed
|
|
*commit = true;
|
|
}
|
|
else if (*commit) {
|
|
// arena not committed as a whole, but commit requested: ensure commit now
|
|
bool any_uncommitted;
|
|
_mi_bitmap_claim_across(arena->blocks_committed, arena->field_count, needed_bcount, bitmap_index, &any_uncommitted);
|
|
if (any_uncommitted) {
|
|
bool commit_zero;
|
|
_mi_os_commit(p, needed_bcount * MI_ARENA_BLOCK_SIZE, &commit_zero, tld->stats);
|
|
if (commit_zero) *is_zero = true;
|
|
}
|
|
}
|
|
else {
|
|
// no need to commit, but check if already fully committed
|
|
*commit = _mi_bitmap_is_claimed_across(arena->blocks_committed, arena->field_count, needed_bcount, bitmap_index);
|
|
}
|
|
return p;
|
|
}
|
|
|
|
void* _mi_arena_alloc_aligned(size_t size, size_t alignment, bool* commit, bool* large, bool* is_pinned, bool* is_zero,
|
|
size_t* memid, mi_os_tld_t* tld)
|
|
{
|
|
mi_assert_internal(commit != NULL && is_pinned != NULL && is_zero != NULL && memid != NULL && tld != NULL);
|
|
mi_assert_internal(size > 0);
|
|
*memid = MI_MEMID_OS;
|
|
*is_zero = false;
|
|
*is_pinned = false;
|
|
|
|
// try to allocate in an arena if the alignment is small enough
|
|
// and the object is not too large or too small.
|
|
if (alignment <= MI_SEGMENT_ALIGN &&
|
|
size >= MI_ARENA_MIN_OBJ_SIZE &&
|
|
mi_atomic_load_relaxed(&mi_arena_count) > 0)
|
|
{
|
|
const size_t bcount = mi_block_count_of_size(size);
|
|
const int numa_node = _mi_os_numa_node(tld); // current numa node
|
|
|
|
mi_assert_internal(size <= bcount*MI_ARENA_BLOCK_SIZE);
|
|
// try numa affine allocation
|
|
for (size_t i = 0; i < MI_MAX_ARENAS; i++) {
|
|
mi_arena_t* arena = mi_atomic_load_ptr_relaxed(mi_arena_t, &mi_arenas[i]);
|
|
if (arena==NULL) break; // end reached
|
|
if ((arena->numa_node<0 || arena->numa_node==numa_node) && // numa local?
|
|
(*large || !arena->is_large)) // large OS pages allowed, or arena is not large OS pages
|
|
{
|
|
void* p = mi_arena_alloc_from(arena, i, bcount, commit, large, is_pinned, is_zero, memid, tld);
|
|
mi_assert_internal((uintptr_t)p % alignment == 0);
|
|
if (p != NULL) return p;
|
|
}
|
|
}
|
|
// try from another numa node instead..
|
|
for (size_t i = 0; i < MI_MAX_ARENAS; i++) {
|
|
mi_arena_t* arena = mi_atomic_load_ptr_relaxed(mi_arena_t, &mi_arenas[i]);
|
|
if (arena==NULL) break; // end reached
|
|
if ((arena->numa_node>=0 && arena->numa_node!=numa_node) && // not numa local!
|
|
(*large || !arena->is_large)) // large OS pages allowed, or arena is not large OS pages
|
|
{
|
|
void* p = mi_arena_alloc_from(arena, i, bcount, commit, large, is_pinned, is_zero, memid, tld);
|
|
mi_assert_internal((uintptr_t)p % alignment == 0);
|
|
if (p != NULL) return p;
|
|
}
|
|
}
|
|
}
|
|
|
|
// finally, fall back to the OS
|
|
if (mi_option_is_enabled(mi_option_limit_os_alloc)) {
|
|
errno = ENOMEM;
|
|
return NULL;
|
|
}
|
|
*is_zero = true;
|
|
*memid = MI_MEMID_OS;
|
|
void* p = _mi_os_alloc_aligned(size, alignment, *commit, large, tld->stats);
|
|
if (p != NULL) *is_pinned = *large;
|
|
return p;
|
|
}
|
|
|
|
void* _mi_arena_alloc(size_t size, bool* commit, bool* large, bool* is_pinned, bool* is_zero, size_t* memid, mi_os_tld_t* tld)
|
|
{
|
|
return _mi_arena_alloc_aligned(size, MI_ARENA_BLOCK_SIZE, commit, large, is_pinned, is_zero, memid, tld);
|
|
}
|
|
|
|
/* -----------------------------------------------------------
|
|
Arena free
|
|
----------------------------------------------------------- */
|
|
|
|
void _mi_arena_free(void* p, size_t size, size_t memid, bool all_committed, mi_stats_t* stats) {
|
|
mi_assert_internal(size > 0 && stats != NULL);
|
|
if (p==NULL) return;
|
|
if (size==0) return;
|
|
if (memid == MI_MEMID_OS) {
|
|
// was a direct OS allocation, pass through
|
|
_mi_os_free_ex(p, size, all_committed, stats);
|
|
}
|
|
else {
|
|
// allocated in an arena
|
|
size_t arena_idx;
|
|
size_t bitmap_idx;
|
|
mi_arena_id_indices(memid, &arena_idx, &bitmap_idx);
|
|
mi_assert_internal(arena_idx < MI_MAX_ARENAS);
|
|
mi_arena_t* arena = mi_atomic_load_ptr_relaxed(mi_arena_t,&mi_arenas[arena_idx]);
|
|
mi_assert_internal(arena != NULL);
|
|
const size_t blocks = mi_block_count_of_size(size);
|
|
// checks
|
|
if (arena == NULL) {
|
|
_mi_error_message(EINVAL, "trying to free from non-existent arena: %p, size %zu, memid: 0x%zx\n", p, size, memid);
|
|
return;
|
|
}
|
|
mi_assert_internal(arena->field_count > mi_bitmap_index_field(bitmap_idx));
|
|
if (arena->field_count <= mi_bitmap_index_field(bitmap_idx)) {
|
|
_mi_error_message(EINVAL, "trying to free from non-existent arena block: %p, size %zu, memid: 0x%zx\n", p, size, memid);
|
|
return;
|
|
}
|
|
// potentially decommit
|
|
if (arena->is_committed) {
|
|
mi_assert_internal(all_committed);
|
|
}
|
|
else {
|
|
mi_assert_internal(arena->blocks_committed != NULL);
|
|
_mi_os_decommit(p, blocks * MI_ARENA_BLOCK_SIZE, stats); // ok if this fails
|
|
_mi_bitmap_unclaim_across(arena->blocks_committed, arena->field_count, blocks, bitmap_idx);
|
|
}
|
|
// and make it available to others again
|
|
bool all_inuse = _mi_bitmap_unclaim_across(arena->blocks_inuse, arena->field_count, blocks, bitmap_idx);
|
|
if (!all_inuse) {
|
|
_mi_error_message(EAGAIN, "trying to free an already freed block: %p, size %zu\n", p, size);
|
|
return;
|
|
};
|
|
}
|
|
}
|
|
|
|
/* -----------------------------------------------------------
|
|
Add an arena.
|
|
----------------------------------------------------------- */
|
|
|
|
static bool mi_arena_add(mi_arena_t* arena) {
|
|
mi_assert_internal(arena != NULL);
|
|
mi_assert_internal((uintptr_t)mi_atomic_load_ptr_relaxed(uint8_t,&arena->start) % MI_SEGMENT_ALIGN == 0);
|
|
mi_assert_internal(arena->block_count > 0);
|
|
|
|
uintptr_t i = mi_atomic_increment_acq_rel(&mi_arena_count);
|
|
if (i >= MI_MAX_ARENAS) {
|
|
mi_atomic_decrement_acq_rel(&mi_arena_count);
|
|
return false;
|
|
}
|
|
mi_atomic_store_ptr_release(mi_arena_t,&mi_arenas[i], arena);
|
|
return true;
|
|
}
|
|
|
|
bool mi_manage_os_memory(void* start, size_t size, bool is_committed, bool is_large, bool is_zero, int numa_node) mi_attr_noexcept
|
|
{
|
|
if (is_large) {
|
|
mi_assert_internal(is_committed);
|
|
is_committed = true;
|
|
}
|
|
|
|
const size_t bcount = mi_block_count_of_size(size);
|
|
const size_t fields = _mi_divide_up(bcount, MI_BITMAP_FIELD_BITS);
|
|
const size_t bitmaps = (is_committed ? 2 : 3);
|
|
const size_t asize = sizeof(mi_arena_t) + (bitmaps*fields*sizeof(mi_bitmap_field_t));
|
|
mi_arena_t* arena = (mi_arena_t*)_mi_os_alloc(asize, &_mi_stats_main); // TODO: can we avoid allocating from the OS?
|
|
if (arena == NULL) return false;
|
|
|
|
arena->block_count = bcount;
|
|
arena->field_count = fields;
|
|
arena->start = (uint8_t*)start;
|
|
arena->numa_node = numa_node; // TODO: or get the current numa node if -1? (now it allows anyone to allocate on -1)
|
|
arena->is_large = is_large;
|
|
arena->is_zero_init = is_zero;
|
|
arena->is_committed = is_committed;
|
|
arena->search_idx = 0;
|
|
arena->blocks_dirty = &arena->blocks_inuse[fields]; // just after inuse bitmap
|
|
arena->blocks_committed = (is_committed ? NULL : &arena->blocks_inuse[2*fields]); // just after dirty bitmap
|
|
// the bitmaps are already zero initialized due to os_alloc
|
|
// just claim leftover blocks if needed
|
|
ptrdiff_t post = (fields * MI_BITMAP_FIELD_BITS) - bcount;
|
|
mi_assert_internal(post >= 0);
|
|
if (post > 0) {
|
|
// don't use leftover bits at the end
|
|
mi_bitmap_index_t postidx = mi_bitmap_index_create(fields - 1, MI_BITMAP_FIELD_BITS - post);
|
|
_mi_bitmap_claim(arena->blocks_inuse, fields, post, postidx, NULL);
|
|
}
|
|
|
|
mi_arena_add(arena);
|
|
return true;
|
|
}
|
|
|
|
// Reserve a range of regular OS memory
|
|
int mi_reserve_os_memory(size_t size, bool commit, bool allow_large) mi_attr_noexcept
|
|
{
|
|
size = _mi_os_good_alloc_size(size);
|
|
bool large = allow_large;
|
|
void* start = _mi_os_alloc_aligned(size, MI_SEGMENT_ALIGN, commit, &large, &_mi_stats_main);
|
|
if (start==NULL) return ENOMEM;
|
|
if (!mi_manage_os_memory(start, size, (large || commit), large, true, -1)) {
|
|
_mi_os_free_ex(start, size, commit, &_mi_stats_main);
|
|
_mi_verbose_message("failed to reserve %zu k memory\n", _mi_divide_up(size,1024));
|
|
return ENOMEM;
|
|
}
|
|
_mi_verbose_message("reserved %zu KiB memory%s\n", _mi_divide_up(size,1024), large ? " (in large os pages)" : "");
|
|
return 0;
|
|
}
|
|
|
|
|
|
/* -----------------------------------------------------------
|
|
Reserve a huge page arena.
|
|
----------------------------------------------------------- */
|
|
// reserve at a specific numa node
|
|
int mi_reserve_huge_os_pages_at(size_t pages, int numa_node, size_t timeout_msecs) mi_attr_noexcept {
|
|
if (pages==0) return 0;
|
|
if (numa_node < -1) numa_node = -1;
|
|
if (numa_node >= 0) numa_node = numa_node % _mi_os_numa_node_count();
|
|
size_t hsize = 0;
|
|
size_t pages_reserved = 0;
|
|
void* p = _mi_os_alloc_huge_os_pages(pages, numa_node, timeout_msecs, &pages_reserved, &hsize);
|
|
if (p==NULL || pages_reserved==0) {
|
|
_mi_warning_message("failed to reserve %zu GiB huge pages\n", pages);
|
|
return ENOMEM;
|
|
}
|
|
_mi_verbose_message("numa node %i: reserved %zu GiB huge pages (of the %zu GiB requested)\n", numa_node, pages_reserved, pages);
|
|
|
|
if (!mi_manage_os_memory(p, hsize, true, true, true, numa_node)) {
|
|
_mi_os_free_huge_pages(p, hsize, &_mi_stats_main);
|
|
return ENOMEM;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
|
|
// reserve huge pages evenly among the given number of numa nodes (or use the available ones as detected)
|
|
int mi_reserve_huge_os_pages_interleave(size_t pages, size_t numa_nodes, size_t timeout_msecs) mi_attr_noexcept {
|
|
if (pages == 0) return 0;
|
|
|
|
// pages per numa node
|
|
size_t numa_count = (numa_nodes > 0 ? numa_nodes : _mi_os_numa_node_count());
|
|
if (numa_count <= 0) numa_count = 1;
|
|
const size_t pages_per = pages / numa_count;
|
|
const size_t pages_mod = pages % numa_count;
|
|
const size_t timeout_per = (timeout_msecs==0 ? 0 : (timeout_msecs / numa_count) + 50);
|
|
|
|
// reserve evenly among numa nodes
|
|
for (size_t numa_node = 0; numa_node < numa_count && pages > 0; numa_node++) {
|
|
size_t node_pages = pages_per; // can be 0
|
|
if (numa_node < pages_mod) node_pages++;
|
|
int err = mi_reserve_huge_os_pages_at(node_pages, (int)numa_node, timeout_per);
|
|
if (err) return err;
|
|
if (pages < node_pages) {
|
|
pages = 0;
|
|
}
|
|
else {
|
|
pages -= node_pages;
|
|
}
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
int mi_reserve_huge_os_pages(size_t pages, double max_secs, size_t* pages_reserved) mi_attr_noexcept {
|
|
UNUSED(max_secs);
|
|
_mi_warning_message("mi_reserve_huge_os_pages is deprecated: use mi_reserve_huge_os_pages_interleave/at instead\n");
|
|
if (pages_reserved != NULL) *pages_reserved = 0;
|
|
int err = mi_reserve_huge_os_pages_interleave(pages, 0, (size_t)(max_secs * 1000.0));
|
|
if (err==0 && pages_reserved!=NULL) *pages_reserved = pages;
|
|
return err;
|
|
}
|