Blame jemalloc/src/large.c

Packit Service 724aca
#define JEMALLOC_LARGE_C_
Packit Service 724aca
#include "jemalloc/internal/jemalloc_preamble.h"
Packit Service 724aca
#include "jemalloc/internal/jemalloc_internal_includes.h"
Packit Service 724aca
Packit Service 724aca
#include "jemalloc/internal/assert.h"
Packit Service 724aca
#include "jemalloc/internal/extent_mmap.h"
Packit Service 724aca
#include "jemalloc/internal/mutex.h"
Packit Service 724aca
#include "jemalloc/internal/rtree.h"
Packit Service 724aca
#include "jemalloc/internal/util.h"
Packit Service 724aca
Packit Service 724aca
/******************************************************************************/
Packit Service 724aca
Packit Service 724aca
void *
Packit Service 724aca
large_malloc(tsdn_t *tsdn, arena_t *arena, size_t usize, bool zero) {
Packit Service 724aca
	assert(usize == sz_s2u(usize));
Packit Service 724aca
Packit Service 724aca
	return large_palloc(tsdn, arena, usize, CACHELINE, zero);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
void *
Packit Service 724aca
large_palloc(tsdn_t *tsdn, arena_t *arena, size_t usize, size_t alignment,
Packit Service 724aca
    bool zero) {
Packit Service 724aca
	size_t ausize;
Packit Service 724aca
	extent_t *extent;
Packit Service 724aca
	bool is_zeroed;
Packit Service 724aca
	UNUSED bool idump JEMALLOC_CC_SILENCE_INIT(false);
Packit Service 724aca
Packit Service 724aca
	assert(!tsdn_null(tsdn) || arena != NULL);
Packit Service 724aca
Packit Service 724aca
	ausize = sz_sa2u(usize, alignment);
Packit Service 724aca
	if (unlikely(ausize == 0 || ausize > SC_LARGE_MAXCLASS)) {
Packit Service 724aca
		return NULL;
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	if (config_fill && unlikely(opt_zero)) {
Packit Service 724aca
		zero = true;
Packit Service 724aca
	}
Packit Service 724aca
	/*
Packit Service 724aca
	 * Copy zero into is_zeroed and pass the copy when allocating the
Packit Service 724aca
	 * extent, so that it is possible to make correct junk/zero fill
Packit Service 724aca
	 * decisions below, even if is_zeroed ends up true when zero is false.
Packit Service 724aca
	 */
Packit Service 724aca
	is_zeroed = zero;
Packit Service 724aca
	if (likely(!tsdn_null(tsdn))) {
Packit Service 724aca
		arena = arena_choose_maybe_huge(tsdn_tsd(tsdn), arena, usize);
Packit Service 724aca
	}
Packit Service 724aca
	if (unlikely(arena == NULL) || (extent = arena_extent_alloc_large(tsdn,
Packit Service 724aca
	    arena, usize, alignment, &is_zeroed)) == NULL) {
Packit Service 724aca
		return NULL;
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	/* See comments in arena_bin_slabs_full_insert(). */
Packit Service 724aca
	if (!arena_is_auto(arena)) {
Packit Service 724aca
		/* Insert extent into large. */
Packit Service 724aca
		malloc_mutex_lock(tsdn, &arena->large_mtx);
Packit Service 724aca
		extent_list_append(&arena->large, extent);
Packit Service 724aca
		malloc_mutex_unlock(tsdn, &arena->large_mtx);
Packit Service 724aca
	}
Packit Service 724aca
	if (config_prof && arena_prof_accum(tsdn, arena, usize)) {
Packit Service 724aca
		prof_idump(tsdn);
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	if (zero) {
Packit Service 724aca
		assert(is_zeroed);
Packit Service 724aca
	} else if (config_fill && unlikely(opt_junk_alloc)) {
Packit Service 724aca
		memset(extent_addr_get(extent), JEMALLOC_ALLOC_JUNK,
Packit Service 724aca
		    extent_usize_get(extent));
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	arena_decay_tick(tsdn, arena);
Packit Service 724aca
	return extent_addr_get(extent);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
static void
Packit Service 724aca
large_dalloc_junk_impl(void *ptr, size_t size) {
Packit Service 724aca
	memset(ptr, JEMALLOC_FREE_JUNK, size);
Packit Service 724aca
}
Packit Service 724aca
large_dalloc_junk_t *JET_MUTABLE large_dalloc_junk = large_dalloc_junk_impl;
Packit Service 724aca
Packit Service 724aca
static void
Packit Service 724aca
large_dalloc_maybe_junk_impl(void *ptr, size_t size) {
Packit Service 724aca
	if (config_fill && have_dss && unlikely(opt_junk_free)) {
Packit Service 724aca
		/*
Packit Service 724aca
		 * Only bother junk filling if the extent isn't about to be
Packit Service 724aca
		 * unmapped.
Packit Service 724aca
		 */
Packit Service 724aca
		if (opt_retain || (have_dss && extent_in_dss(ptr))) {
Packit Service 724aca
			large_dalloc_junk(ptr, size);
Packit Service 724aca
		}
Packit Service 724aca
	}
Packit Service 724aca
}
Packit Service 724aca
large_dalloc_maybe_junk_t *JET_MUTABLE large_dalloc_maybe_junk =
Packit Service 724aca
    large_dalloc_maybe_junk_impl;
Packit Service 724aca
Packit Service 724aca
static bool
Packit Service 724aca
large_ralloc_no_move_shrink(tsdn_t *tsdn, extent_t *extent, size_t usize) {
Packit Service 724aca
	arena_t *arena = extent_arena_get(extent);
Packit Service 724aca
	size_t oldusize = extent_usize_get(extent);
Packit Service 724aca
	extent_hooks_t *extent_hooks = extent_hooks_get(arena);
Packit Service 724aca
	size_t diff = extent_size_get(extent) - (usize + sz_large_pad);
Packit Service 724aca
Packit Service 724aca
	assert(oldusize > usize);
Packit Service 724aca
Packit Service 724aca
	if (extent_hooks->split == NULL) {
Packit Service 724aca
		return true;
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	/* Split excess pages. */
Packit Service 724aca
	if (diff != 0) {
Packit Service 724aca
		extent_t *trail = extent_split_wrapper(tsdn, arena,
Packit Service 724aca
		    &extent_hooks, extent, usize + sz_large_pad,
Packit Service 724aca
		    sz_size2index(usize), false, diff, SC_NSIZES, false);
Packit Service 724aca
		if (trail == NULL) {
Packit Service 724aca
			return true;
Packit Service 724aca
		}
Packit Service 724aca
Packit Service 724aca
		if (config_fill && unlikely(opt_junk_free)) {
Packit Service 724aca
			large_dalloc_maybe_junk(extent_addr_get(trail),
Packit Service 724aca
			    extent_size_get(trail));
Packit Service 724aca
		}
Packit Service 724aca
Packit Service 724aca
		arena_extents_dirty_dalloc(tsdn, arena, &extent_hooks, trail);
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	arena_extent_ralloc_large_shrink(tsdn, arena, extent, oldusize);
Packit Service 724aca
Packit Service 724aca
	return false;
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
static bool
Packit Service 724aca
large_ralloc_no_move_expand(tsdn_t *tsdn, extent_t *extent, size_t usize,
Packit Service 724aca
    bool zero) {
Packit Service 724aca
	arena_t *arena = extent_arena_get(extent);
Packit Service 724aca
	size_t oldusize = extent_usize_get(extent);
Packit Service 724aca
	extent_hooks_t *extent_hooks = extent_hooks_get(arena);
Packit Service 724aca
	size_t trailsize = usize - oldusize;
Packit Service 724aca
Packit Service 724aca
	if (extent_hooks->merge == NULL) {
Packit Service 724aca
		return true;
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	if (config_fill && unlikely(opt_zero)) {
Packit Service 724aca
		zero = true;
Packit Service 724aca
	}
Packit Service 724aca
	/*
Packit Service 724aca
	 * Copy zero into is_zeroed_trail and pass the copy when allocating the
Packit Service 724aca
	 * extent, so that it is possible to make correct junk/zero fill
Packit Service 724aca
	 * decisions below, even if is_zeroed_trail ends up true when zero is
Packit Service 724aca
	 * false.
Packit Service 724aca
	 */
Packit Service 724aca
	bool is_zeroed_trail = zero;
Packit Service 724aca
	bool commit = true;
Packit Service 724aca
	extent_t *trail;
Packit Service 724aca
	bool new_mapping;
Packit Service 724aca
	if ((trail = extents_alloc(tsdn, arena, &extent_hooks,
Packit Service 724aca
	    &arena->extents_dirty, extent_past_get(extent), trailsize, 0,
Packit Service 724aca
	    CACHELINE, false, SC_NSIZES, &is_zeroed_trail, &commit)) != NULL
Packit Service 724aca
	    || (trail = extents_alloc(tsdn, arena, &extent_hooks,
Packit Service 724aca
	    &arena->extents_muzzy, extent_past_get(extent), trailsize, 0,
Packit Service 724aca
	    CACHELINE, false, SC_NSIZES, &is_zeroed_trail, &commit)) != NULL) {
Packit Service 724aca
		if (config_stats) {
Packit Service 724aca
			new_mapping = false;
Packit Service 724aca
		}
Packit Service 724aca
	} else {
Packit Service 724aca
		if ((trail = extent_alloc_wrapper(tsdn, arena, &extent_hooks,
Packit Service 724aca
		    extent_past_get(extent), trailsize, 0, CACHELINE, false,
Packit Service 724aca
		    SC_NSIZES, &is_zeroed_trail, &commit)) == NULL) {
Packit Service 724aca
			return true;
Packit Service 724aca
		}
Packit Service 724aca
		if (config_stats) {
Packit Service 724aca
			new_mapping = true;
Packit Service 724aca
		}
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	if (extent_merge_wrapper(tsdn, arena, &extent_hooks, extent, trail)) {
Packit Service 724aca
		extent_dalloc_wrapper(tsdn, arena, &extent_hooks, trail);
Packit Service 724aca
		return true;
Packit Service 724aca
	}
Packit Service 724aca
	rtree_ctx_t rtree_ctx_fallback;
Packit Service 724aca
	rtree_ctx_t *rtree_ctx = tsdn_rtree_ctx(tsdn, &rtree_ctx_fallback);
Packit Service 724aca
	szind_t szind = sz_size2index(usize);
Packit Service 724aca
	extent_szind_set(extent, szind);
Packit Service 724aca
	rtree_szind_slab_update(tsdn, &extents_rtree, rtree_ctx,
Packit Service 724aca
	    (uintptr_t)extent_addr_get(extent), szind, false);
Packit Service 724aca
Packit Service 724aca
	if (config_stats && new_mapping) {
Packit Service 724aca
		arena_stats_mapped_add(tsdn, &arena->stats, trailsize);
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	if (zero) {
Packit Service 724aca
		if (config_cache_oblivious) {
Packit Service 724aca
			/*
Packit Service 724aca
			 * Zero the trailing bytes of the original allocation's
Packit Service 724aca
			 * last page, since they are in an indeterminate state.
Packit Service 724aca
			 * There will always be trailing bytes, because ptr's
Packit Service 724aca
			 * offset from the beginning of the extent is a multiple
Packit Service 724aca
			 * of CACHELINE in [0 .. PAGE).
Packit Service 724aca
			 */
Packit Service 724aca
			void *zbase = (void *)
Packit Service 724aca
			    ((uintptr_t)extent_addr_get(extent) + oldusize);
Packit Service 724aca
			void *zpast = PAGE_ADDR2BASE((void *)((uintptr_t)zbase +
Packit Service 724aca
			    PAGE));
Packit Service 724aca
			size_t nzero = (uintptr_t)zpast - (uintptr_t)zbase;
Packit Service 724aca
			assert(nzero > 0);
Packit Service 724aca
			memset(zbase, 0, nzero);
Packit Service 724aca
		}
Packit Service 724aca
		assert(is_zeroed_trail);
Packit Service 724aca
	} else if (config_fill && unlikely(opt_junk_alloc)) {
Packit Service 724aca
		memset((void *)((uintptr_t)extent_addr_get(extent) + oldusize),
Packit Service 724aca
		    JEMALLOC_ALLOC_JUNK, usize - oldusize);
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	arena_extent_ralloc_large_expand(tsdn, arena, extent, oldusize);
Packit Service 724aca
Packit Service 724aca
	return false;
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
bool
Packit Service 724aca
large_ralloc_no_move(tsdn_t *tsdn, extent_t *extent, size_t usize_min,
Packit Service 724aca
    size_t usize_max, bool zero) {
Packit Service 724aca
	size_t oldusize = extent_usize_get(extent);
Packit Service 724aca
Packit Service 724aca
	/* The following should have been caught by callers. */
Packit Service 724aca
	assert(usize_min > 0 && usize_max <= SC_LARGE_MAXCLASS);
Packit Service 724aca
	/* Both allocation sizes must be large to avoid a move. */
Packit Service 724aca
	assert(oldusize >= SC_LARGE_MINCLASS
Packit Service 724aca
	    && usize_max >= SC_LARGE_MINCLASS);
Packit Service 724aca
Packit Service 724aca
	if (usize_max > oldusize) {
Packit Service 724aca
		/* Attempt to expand the allocation in-place. */
Packit Service 724aca
		if (!large_ralloc_no_move_expand(tsdn, extent, usize_max,
Packit Service 724aca
		    zero)) {
Packit Service 724aca
			arena_decay_tick(tsdn, extent_arena_get(extent));
Packit Service 724aca
			return false;
Packit Service 724aca
		}
Packit Service 724aca
		/* Try again, this time with usize_min. */
Packit Service 724aca
		if (usize_min < usize_max && usize_min > oldusize &&
Packit Service 724aca
		    large_ralloc_no_move_expand(tsdn, extent, usize_min,
Packit Service 724aca
		    zero)) {
Packit Service 724aca
			arena_decay_tick(tsdn, extent_arena_get(extent));
Packit Service 724aca
			return false;
Packit Service 724aca
		}
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	/*
Packit Service 724aca
	 * Avoid moving the allocation if the existing extent size accommodates
Packit Service 724aca
	 * the new size.
Packit Service 724aca
	 */
Packit Service 724aca
	if (oldusize >= usize_min && oldusize <= usize_max) {
Packit Service 724aca
		arena_decay_tick(tsdn, extent_arena_get(extent));
Packit Service 724aca
		return false;
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	/* Attempt to shrink the allocation in-place. */
Packit Service 724aca
	if (oldusize > usize_max) {
Packit Service 724aca
		if (!large_ralloc_no_move_shrink(tsdn, extent, usize_max)) {
Packit Service 724aca
			arena_decay_tick(tsdn, extent_arena_get(extent));
Packit Service 724aca
			return false;
Packit Service 724aca
		}
Packit Service 724aca
	}
Packit Service 724aca
	return true;
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
static void *
Packit Service 724aca
large_ralloc_move_helper(tsdn_t *tsdn, arena_t *arena, size_t usize,
Packit Service 724aca
    size_t alignment, bool zero) {
Packit Service 724aca
	if (alignment <= CACHELINE) {
Packit Service 724aca
		return large_malloc(tsdn, arena, usize, zero);
Packit Service 724aca
	}
Packit Service 724aca
	return large_palloc(tsdn, arena, usize, alignment, zero);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
void *
Packit Service 724aca
large_ralloc(tsdn_t *tsdn, arena_t *arena, void *ptr, size_t usize,
Packit Service 724aca
    size_t alignment, bool zero, tcache_t *tcache,
Packit Service 724aca
    hook_ralloc_args_t *hook_args) {
Packit Service 724aca
	extent_t *extent = iealloc(tsdn, ptr);
Packit Service 724aca
Packit Service 724aca
	size_t oldusize = extent_usize_get(extent);
Packit Service 724aca
	/* The following should have been caught by callers. */
Packit Service 724aca
	assert(usize > 0 && usize <= SC_LARGE_MAXCLASS);
Packit Service 724aca
	/* Both allocation sizes must be large to avoid a move. */
Packit Service 724aca
	assert(oldusize >= SC_LARGE_MINCLASS
Packit Service 724aca
	    && usize >= SC_LARGE_MINCLASS);
Packit Service 724aca
Packit Service 724aca
	/* Try to avoid moving the allocation. */
Packit Service 724aca
	if (!large_ralloc_no_move(tsdn, extent, usize, usize, zero)) {
Packit Service 724aca
		hook_invoke_expand(hook_args->is_realloc
Packit Service 724aca
		    ? hook_expand_realloc : hook_expand_rallocx, ptr, oldusize,
Packit Service 724aca
		    usize, (uintptr_t)ptr, hook_args->args);
Packit Service 724aca
		return extent_addr_get(extent);
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	/*
Packit Service 724aca
	 * usize and old size are different enough that we need to use a
Packit Service 724aca
	 * different size class.  In that case, fall back to allocating new
Packit Service 724aca
	 * space and copying.
Packit Service 724aca
	 */
Packit Service 724aca
	void *ret = large_ralloc_move_helper(tsdn, arena, usize, alignment,
Packit Service 724aca
	    zero);
Packit Service 724aca
	if (ret == NULL) {
Packit Service 724aca
		return NULL;
Packit Service 724aca
	}
Packit Service 724aca
Packit Service 724aca
	hook_invoke_alloc(hook_args->is_realloc
Packit Service 724aca
	    ? hook_alloc_realloc : hook_alloc_rallocx, ret, (uintptr_t)ret,
Packit Service 724aca
	    hook_args->args);
Packit Service 724aca
	hook_invoke_dalloc(hook_args->is_realloc
Packit Service 724aca
	    ? hook_dalloc_realloc : hook_dalloc_rallocx, ptr, hook_args->args);
Packit Service 724aca
Packit Service 724aca
	size_t copysize = (usize < oldusize) ? usize : oldusize;
Packit Service 724aca
	memcpy(ret, extent_addr_get(extent), copysize);
Packit Service 724aca
	isdalloct(tsdn, extent_addr_get(extent), oldusize, tcache, NULL, true);
Packit Service 724aca
	return ret;
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
/*
Packit Service 724aca
 * junked_locked indicates whether the extent's data have been junk-filled, and
Packit Service 724aca
 * whether the arena's large_mtx is currently held.
Packit Service 724aca
 */
Packit Service 724aca
static void
Packit Service 724aca
large_dalloc_prep_impl(tsdn_t *tsdn, arena_t *arena, extent_t *extent,
Packit Service 724aca
    bool junked_locked) {
Packit Service 724aca
	if (!junked_locked) {
Packit Service 724aca
		/* See comments in arena_bin_slabs_full_insert(). */
Packit Service 724aca
		if (!arena_is_auto(arena)) {
Packit Service 724aca
			malloc_mutex_lock(tsdn, &arena->large_mtx);
Packit Service 724aca
			extent_list_remove(&arena->large, extent);
Packit Service 724aca
			malloc_mutex_unlock(tsdn, &arena->large_mtx);
Packit Service 724aca
		}
Packit Service 724aca
		large_dalloc_maybe_junk(extent_addr_get(extent),
Packit Service 724aca
		    extent_usize_get(extent));
Packit Service 724aca
	} else {
Packit Service 724aca
		/* Only hold the large_mtx if necessary. */
Packit Service 724aca
		if (!arena_is_auto(arena)) {
Packit Service 724aca
			malloc_mutex_assert_owner(tsdn, &arena->large_mtx);
Packit Service 724aca
			extent_list_remove(&arena->large, extent);
Packit Service 724aca
		}
Packit Service 724aca
	}
Packit Service 724aca
	arena_extent_dalloc_large_prep(tsdn, arena, extent);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
static void
Packit Service 724aca
large_dalloc_finish_impl(tsdn_t *tsdn, arena_t *arena, extent_t *extent) {
Packit Service 724aca
	extent_hooks_t *extent_hooks = EXTENT_HOOKS_INITIALIZER;
Packit Service 724aca
	arena_extents_dirty_dalloc(tsdn, arena, &extent_hooks, extent);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
void
Packit Service 724aca
large_dalloc_prep_junked_locked(tsdn_t *tsdn, extent_t *extent) {
Packit Service 724aca
	large_dalloc_prep_impl(tsdn, extent_arena_get(extent), extent, true);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
void
Packit Service 724aca
large_dalloc_finish(tsdn_t *tsdn, extent_t *extent) {
Packit Service 724aca
	large_dalloc_finish_impl(tsdn, extent_arena_get(extent), extent);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
void
Packit Service 724aca
large_dalloc(tsdn_t *tsdn, extent_t *extent) {
Packit Service 724aca
	arena_t *arena = extent_arena_get(extent);
Packit Service 724aca
	large_dalloc_prep_impl(tsdn, arena, extent, false);
Packit Service 724aca
	large_dalloc_finish_impl(tsdn, arena, extent);
Packit Service 724aca
	arena_decay_tick(tsdn, arena);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
size_t
Packit Service 724aca
large_salloc(tsdn_t *tsdn, const extent_t *extent) {
Packit Service 724aca
	return extent_usize_get(extent);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
prof_tctx_t *
Packit Service 724aca
large_prof_tctx_get(tsdn_t *tsdn, const extent_t *extent) {
Packit Service 724aca
	return extent_prof_tctx_get(extent);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
void
Packit Service 724aca
large_prof_tctx_set(tsdn_t *tsdn, extent_t *extent, prof_tctx_t *tctx) {
Packit Service 724aca
	extent_prof_tctx_set(extent, tctx);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
void
Packit Service 724aca
large_prof_tctx_reset(tsdn_t *tsdn, extent_t *extent) {
Packit Service 724aca
	large_prof_tctx_set(tsdn, extent, (prof_tctx_t *)(uintptr_t)1U);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
nstime_t
Packit Service 724aca
large_prof_alloc_time_get(const extent_t *extent) {
Packit Service 724aca
	return extent_prof_alloc_time_get(extent);
Packit Service 724aca
}
Packit Service 724aca
Packit Service 724aca
void
Packit Service 724aca
large_prof_alloc_time_set(extent_t *extent, nstime_t t) {
Packit Service 724aca
	extent_prof_alloc_time_set(extent, t);
Packit Service 724aca
}