| |
| |
| |
| |
| |
| |
|
|
| #include "mimalloc.h" |
| #include "mimalloc/internal.h" |
| #include "mimalloc/prim.h" |
|
|
| #if defined(_MSC_VER) && (_MSC_VER < 1920) |
| #pragma warning(disable:4204) |
| #endif |
|
|
| |
| |
| |
|
|
| |
| typedef bool (theap_page_visitor_fun)(mi_theap_t* theap, mi_page_queue_t* pq, mi_page_t* page, void* arg1, void* arg2); |
|
|
| |
| static bool mi_theap_visit_pages(mi_theap_t* theap, theap_page_visitor_fun* fn, bool include_full, void* arg1, void* arg2) |
| { |
| if (theap==NULL || theap->page_count==0) return 0; |
|
|
| |
| #if MI_DEBUG>1 |
| size_t total = theap->page_count; |
| size_t count = 0; |
| #endif |
|
|
| const size_t max_bin = (include_full ? MI_BIN_FULL : MI_BIN_FULL - 1); |
| for (size_t i = 0; i <= max_bin; i++) { |
| mi_page_queue_t* pq = &theap->pages[i]; |
| mi_page_t* page = pq->first; |
| while(page != NULL) { |
| mi_page_t* next = page->next; |
| mi_assert_internal(mi_page_theap(page) == theap); |
| #if MI_DEBUG>1 |
| count++; |
| #endif |
| if (!fn(theap, pq, page, arg1, arg2)) return false; |
| page = next; |
| } |
| } |
| mi_assert_internal(!include_full || count == total); |
| return true; |
| } |
|
|
|
|
| #if MI_DEBUG>=2 |
| static bool mi_theap_page_is_valid(mi_theap_t* theap, mi_page_queue_t* pq, mi_page_t* page, void* arg1, void* arg2) { |
| MI_UNUSED(arg1); |
| MI_UNUSED(arg2); |
| MI_UNUSED(pq); |
| mi_assert_internal(mi_page_theap(page) == theap); |
| mi_assert_expensive(_mi_page_is_valid(page)); |
| return true; |
| } |
| #endif |
| #if MI_DEBUG>=3 |
| static bool mi_theap_is_valid(mi_theap_t* theap) { |
| mi_assert_internal(theap!=NULL); |
| mi_theap_visit_pages(theap, &mi_theap_page_is_valid, true, NULL, NULL); |
| for (size_t bin = 0; bin < MI_BIN_COUNT; bin++) { |
| mi_assert_internal(_mi_page_queue_is_valid(theap, &theap->pages[bin])); |
| } |
| return true; |
| } |
| #endif |
|
|
|
|
|
|
|
|
| |
| |
| |
| |
| |
| |
|
|
| typedef enum mi_collect_e { |
| MI_NORMAL, |
| MI_FORCE, |
| MI_ABANDON |
| } mi_collect_t; |
|
|
|
|
| static bool mi_theap_page_collect(mi_theap_t* theap, mi_page_queue_t* pq, mi_page_t* page, void* arg_collect, void* arg2 ) { |
| MI_UNUSED(arg2); |
| MI_UNUSED(theap); |
| mi_assert_internal(mi_theap_page_is_valid(theap, pq, page, NULL, NULL)); |
| mi_collect_t collect = *((mi_collect_t*)arg_collect); |
| _mi_page_free_collect(page, collect >= MI_FORCE); |
| if (mi_page_all_free(page)) { |
| |
| if (collect >= MI_FORCE || page->retire_expire == 0) { |
| |
| _mi_page_free(page, pq); |
| } |
| } |
| else if (collect == MI_ABANDON) { |
| |
| _mi_page_abandon(page, pq); |
| } |
| return true; |
| } |
|
|
| static void mi_theap_merge_stats(mi_theap_t* theap) { |
| mi_assert_internal(mi_theap_is_initialized(theap)); |
| _mi_stats_merge_into(&_mi_theap_heap(theap)->stats, &theap->stats); |
| } |
|
|
| static void mi_theap_collect_ex(mi_theap_t* theap, mi_collect_t collect) |
| { |
| if (theap==NULL || !mi_theap_is_initialized(theap)) return; |
| mi_assert_expensive(mi_theap_is_valid(theap)); |
|
|
| const bool force = (collect >= MI_FORCE); |
| _mi_deferred_free(theap, force); |
|
|
| |
| |
|
|
| |
| _mi_theap_collect_retired(theap, force); |
|
|
| |
| mi_theap_visit_pages(theap, &mi_theap_page_collect, (collect!=MI_NORMAL), &collect, NULL); |
|
|
| |
| |
| _mi_arenas_collect(collect == MI_FORCE , collect >= MI_FORCE , theap->tld); |
|
|
| |
| mi_theap_merge_stats(theap); |
| } |
|
|
| void _mi_theap_collect_abandon(mi_theap_t* theap) { |
| mi_theap_collect_ex(theap, MI_ABANDON); |
| } |
|
|
| void mi_theap_collect(mi_theap_t* theap, bool force) mi_attr_noexcept { |
| mi_theap_collect_ex(theap, (force ? MI_FORCE : MI_NORMAL)); |
| } |
|
|
| void mi_collect(bool force) mi_attr_noexcept { |
| |
| mi_theap_collect(_mi_theap_default(), force); |
| } |
|
|
| void mi_heap_collect(mi_heap_t* heap, bool force) { |
| |
| mi_theap_collect(mi_heap_theap(heap), force); |
| } |
|
|
| |
| |
| |
|
|
| mi_theap_t* mi_theap_get_default(void) { |
| mi_theap_t* theap = _mi_theap_default(); |
| if mi_unlikely(!mi_theap_is_initialized(theap)) { |
| mi_thread_init(); |
| theap = _mi_theap_default(); |
| mi_assert_internal(mi_theap_is_initialized(theap)); |
| } |
| return theap; |
| } |
|
|
| |
| void _mi_theap_init(mi_theap_t* theap, mi_heap_t* heap, mi_tld_t* tld) |
| { |
| mi_assert_internal(theap!=NULL); |
| mi_assert_internal(heap!=NULL); |
| mi_memid_t memid = theap->memid; |
| _mi_memcpy_aligned(theap, &_mi_theap_empty, sizeof(mi_theap_t)); |
| theap->memid = memid; |
| theap->refcount = 1; |
| theap->tld = tld; |
| mi_atomic_store_ptr_relaxed(mi_heap_t,&theap->heap,heap); |
| |
| _mi_theap_options_init(theap); |
| if (theap->tld->is_in_threadpool) { |
| |
| |
| |
| |
| if (theap->page_full_retain > 0) { |
| theap->page_full_retain = theap->page_full_retain / 4; |
| } |
| } |
|
|
| |
| mi_theap_t* head = NULL; |
| mi_lock(&theap->tld->theaps_lock) { |
| head = theap->tld->theaps; |
| theap->tprev = NULL; |
| theap->tnext = head; |
| if (head!=NULL) { head->tprev = theap; } |
| theap->tld->theaps = theap; |
| } |
|
|
| |
| if (head == NULL) { |
| #if defined(_WIN32) && !defined(MI_SHARED_LIB) |
| _mi_random_init_weak(&theap->random); |
| #else |
| _mi_random_init(&theap->random); |
| #endif |
| } |
| else { |
| _mi_random_split(&head->random, &theap->random); |
| } |
| theap->cookie = _mi_theap_random_next(theap) | 1; |
| _mi_theap_guarded_init(theap); |
| mi_subproc_stat_increase(_mi_subproc(),theaps,1); |
|
|
| |
| mi_lock(&heap->theaps_lock) { |
| head = heap->theaps; |
| theap->hprev = NULL; |
| theap->hnext = head; |
| if (head!=NULL) { head->hprev = theap; } |
| heap->theaps = theap; |
| } |
| } |
|
|
| mi_theap_t* _mi_theap_create(mi_heap_t* heap, mi_tld_t* tld) { |
| mi_assert_internal(tld!=NULL); |
| mi_assert_internal(heap!=NULL); |
| |
| mi_memid_t memid; |
| mi_theap_t* theap; |
| |
| |
| |
| |
| |
| |
| if (heap->exclusive_arena == NULL) { |
| theap = (mi_theap_t*)_mi_meta_zalloc(sizeof(mi_theap_t), &memid); |
| } |
| else { |
| |
| |
| const size_t size = _mi_align_up(sizeof(mi_theap_t),MI_ARENA_MIN_OBJ_SIZE); |
| theap = (mi_theap_t*)_mi_arenas_alloc(heap, size, true, true, heap->exclusive_arena, tld->thread_seq, tld->numa_node, &memid); |
| mi_assert_internal(memid.mem.os.size >= size); |
| } |
| if (theap==NULL) { |
| _mi_error_message(ENOMEM, "unable to allocate theap meta-data\n"); |
| return NULL; |
| } |
| theap->memid = memid; |
| _mi_theap_init(theap, heap, tld); |
| return theap; |
| } |
|
|
| uintptr_t _mi_theap_random_next(mi_theap_t* theap) { |
| return _mi_random_next(&theap->random); |
| } |
|
|
| static void mi_theap_free_mem(mi_theap_t* theap) { |
| if (theap!=NULL) { |
| mi_subproc_stat_decrease(_mi_subproc(),theaps,1); |
| |
| if (theap->memid.memkind == MI_MEM_HEAP_MAIN) { |
| mi_assert_internal(_mi_is_heap_main(mi_heap_of(theap))); |
| mi_free(theap); |
| } |
| else if (theap->memid.memkind == MI_MEM_META) { |
| _mi_meta_free(theap, sizeof(*theap), theap->memid); |
| } |
| else { |
| _mi_arenas_free(theap, _mi_align_up(sizeof(*theap),MI_ARENA_MIN_OBJ_SIZE), theap->memid ); |
| } |
| } |
| } |
|
|
| void _mi_theap_incref(mi_theap_t* theap) { |
| if (theap!=NULL && theap->memid.memkind > MI_MEM_STATIC) { |
| mi_atomic_increment_acq_rel(&theap->refcount); |
| } |
| } |
|
|
| void _mi_theap_decref(mi_theap_t* theap) { |
| if (theap!=NULL && theap->memid.memkind > MI_MEM_STATIC) { |
| if (mi_atomic_decrement_acq_rel(&theap->refcount) == 1) { |
| mi_theap_free_mem(theap); |
| } |
| } |
| } |
|
|
|
|
| |
| bool _mi_theap_free(mi_theap_t* theap, bool acquire_heap_theaps_lock, bool acquire_tld_theaps_lock) { |
| mi_assert(theap != NULL); |
| if (theap==NULL) return true; |
|
|
| mi_heap_t* const heap = mi_atomic_exchange_ptr_acq_rel(mi_heap_t, &theap->heap, NULL); |
| if (heap==NULL) { |
| |
| return false; |
| } |
| else { |
| |
| _mi_stats_merge_into(&heap->stats, &theap->stats); |
|
|
| |
| mi_lock_maybe(&heap->theaps_lock, acquire_heap_theaps_lock) { |
| if (theap->hnext != NULL) { theap->hnext->hprev = theap->hprev; } |
| if (theap->hprev != NULL) { theap->hprev->hnext = theap->hnext; } |
| else { mi_assert_internal(heap->theaps == theap); heap->theaps = theap->hnext; } |
| theap->hnext = theap->hprev = NULL; |
| } |
|
|
| |
| mi_lock_maybe(&theap->tld->theaps_lock, acquire_tld_theaps_lock) { |
| if (theap->tnext != NULL) { theap->tnext->tprev = theap->tprev; } |
| if (theap->tprev != NULL) { theap->tprev->tnext = theap->tnext; } |
| else { mi_assert_internal(theap->tld->theaps == theap); theap->tld->theaps = theap->tnext; } |
| theap->tnext = theap->tprev = NULL; |
| } |
| theap->tld = NULL; |
| _mi_theap_decref(theap); |
| return true; |
| } |
| } |
|
|
|
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|
| |
| |
| |
|
|
| |
| void _mi_theap_delete(mi_theap_t* theap, bool acquire_tld_theaps_lock) |
| { |
| mi_assert(theap != NULL); |
| mi_assert(mi_theap_is_initialized(theap)); |
| mi_assert_expensive(mi_theap_is_valid(theap)); |
| if (theap==NULL || !mi_theap_is_initialized(theap)) return; |
|
|
| |
| _mi_theap_collect_abandon(theap); |
|
|
| mi_assert_internal(theap->page_count==0); |
| _mi_theap_free(theap, true , acquire_tld_theaps_lock); |
| } |
|
|
|
|
|
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|
|
|
| |
| |
| |
| |
| |
|
|
| void _mi_heap_area_init(mi_heap_area_t* area, mi_page_t* page) { |
| const size_t bsize = mi_page_block_size(page); |
| const size_t ubsize = mi_page_usable_block_size(page); |
| area->reserved = page->reserved * bsize; |
| area->committed = page->capacity * bsize; |
| area->blocks = mi_page_start(page); |
| area->used = page->used; |
| area->block_size = ubsize; |
| area->full_block_size = bsize; |
| area->reserved1 = page; |
| } |
|
|
| static void mi_get_fast_divisor(size_t divisor, uint64_t* magic, size_t* shift) { |
| mi_assert_internal(divisor > 0 && divisor <= UINT32_MAX); |
| *shift = MI_SIZE_BITS - mi_clz(divisor - 1); |
| *magic = ((((uint64_t)1 << 32) * (((uint64_t)1 << *shift) - divisor)) / divisor + 1); |
| } |
|
|
| static size_t mi_fast_divide(size_t n, uint64_t magic, size_t shift) { |
| mi_assert_internal(n <= UINT32_MAX); |
| const uint64_t hi = ((uint64_t)n * magic) >> 32; |
| return (size_t)((hi + n) >> shift); |
| } |
|
|
| bool _mi_theap_area_visit_blocks(const mi_heap_area_t* area, mi_page_t* page, mi_block_visit_fun* visitor, void* arg) { |
| mi_assert(area != NULL); |
| if (area==NULL) return true; |
| mi_assert(page != NULL); |
| if (page == NULL) return true; |
|
|
| _mi_page_free_collect(page,true); |
| mi_assert_internal(page->local_free == NULL); |
| if (page->used == 0) return true; |
|
|
| size_t psize; |
| uint8_t* const pstart = mi_page_area(page, &psize); |
| mi_heap_t* const heap = mi_page_heap(page); |
| const size_t bsize = mi_page_block_size(page); |
| const size_t ubsize = mi_page_usable_block_size(page); |
|
|
| |
| if (page->capacity == 1) { |
| mi_assert_internal(page->used == 1 && page->free == NULL); |
| return visitor(heap, area, pstart, ubsize, arg); |
| } |
| mi_assert(bsize <= UINT32_MAX); |
|
|
| |
| if (page->used == page->capacity) { |
| uint8_t* block = pstart; |
| for (size_t i = 0; i < page->capacity; i++) { |
| if (!visitor(heap, area, block, ubsize, arg)) return false; |
| block += bsize; |
| } |
| return true; |
| } |
|
|
| |
| #define MI_MAX_BLOCKS (MI_SMALL_PAGE_SIZE / sizeof(void*)) |
| uintptr_t free_map[MI_MAX_BLOCKS / MI_INTPTR_BITS]; |
| const uintptr_t bmapsize = _mi_divide_up(page->capacity, MI_INTPTR_BITS); |
| memset(free_map, 0, bmapsize * sizeof(intptr_t)); |
| if (page->capacity % MI_INTPTR_BITS != 0) { |
| |
| size_t shift = (page->capacity % MI_INTPTR_BITS); |
| uintptr_t mask = (UINTPTR_MAX << shift); |
| free_map[bmapsize - 1] = mask; |
| } |
|
|
| |
| uint64_t magic; |
| size_t shift; |
| mi_get_fast_divisor(bsize, &magic, &shift); |
|
|
| #if MI_DEBUG>1 |
| size_t free_count = 0; |
| #endif |
| for (mi_block_t* block = page->free; block != NULL; block = mi_block_next(page, block)) { |
| #if MI_DEBUG>1 |
| free_count++; |
| #endif |
| mi_assert_internal((uint8_t*)block >= pstart && (uint8_t*)block < (pstart + psize)); |
| size_t offset = (uint8_t*)block - pstart; |
| mi_assert_internal(offset % bsize == 0); |
| mi_assert_internal(offset <= UINT32_MAX); |
| size_t blockidx = mi_fast_divide(offset, magic, shift); |
| mi_assert_internal(blockidx == offset / bsize); |
| mi_assert_internal(blockidx < MI_MAX_BLOCKS); |
| size_t bitidx = (blockidx / MI_INTPTR_BITS); |
| size_t bit = blockidx - (bitidx * MI_INTPTR_BITS); |
| free_map[bitidx] |= ((uintptr_t)1 << bit); |
| } |
| mi_assert_internal(page->capacity == (free_count + page->used)); |
|
|
| |
| #if MI_DEBUG>1 |
| size_t used_count = 0; |
| #endif |
| uint8_t* block = pstart; |
| for (size_t i = 0; i < bmapsize; i++) { |
| if (free_map[i] == 0) { |
| |
| for (size_t j = 0; j < MI_INTPTR_BITS; j++) { |
| #if MI_DEBUG>1 |
| used_count++; |
| #endif |
| if (!visitor(heap, area, block, ubsize, arg)) return false; |
| block += bsize; |
| } |
| } |
| else { |
| |
| uintptr_t m = ~free_map[i]; |
| while (m != 0) { |
| #if MI_DEBUG>1 |
| used_count++; |
| #endif |
| size_t bitidx = mi_ctz(m); |
| if (!visitor(heap, area, block + (bitidx * bsize), ubsize, arg)) return false; |
| m &= m - 1; |
| } |
| block += bsize * MI_INTPTR_BITS; |
| } |
| } |
| mi_assert_internal(page->used == used_count); |
| return true; |
| } |
|
|
|
|
|
|
| |
| typedef struct mi_theap_area_ex_s { |
| mi_heap_area_t area; |
| mi_page_t* page; |
| } mi_theap_area_ex_t; |
|
|
| typedef bool (mi_theap_area_visit_fun)(const mi_theap_t* theap, const mi_theap_area_ex_t* area, void* arg); |
|
|
| static bool mi_theap_visit_areas_page(mi_theap_t* theap, mi_page_queue_t* pq, mi_page_t* page, void* vfun, void* arg) { |
| MI_UNUSED(theap); |
| MI_UNUSED(pq); |
| mi_theap_area_visit_fun* fun = (mi_theap_area_visit_fun*)vfun; |
| mi_theap_area_ex_t xarea; |
| xarea.page = page; |
| _mi_heap_area_init(&xarea.area, page); |
| return fun(theap, &xarea, arg); |
| } |
|
|
| |
| static bool mi_theap_visit_areas(const mi_theap_t* theap, mi_theap_area_visit_fun* visitor, void* arg) { |
| if (visitor == NULL) return false; |
| return mi_theap_visit_pages((mi_theap_t*)theap, &mi_theap_visit_areas_page, true, (void*)(visitor), arg); |
| } |
|
|
| |
| typedef struct mi_visit_blocks_args_s { |
| bool visit_blocks; |
| mi_block_visit_fun* visitor; |
| void* arg; |
| } mi_visit_blocks_args_t; |
|
|
| static bool mi_theap_area_visitor(const mi_theap_t* theap, const mi_theap_area_ex_t* xarea, void* arg) { |
| mi_visit_blocks_args_t* args = (mi_visit_blocks_args_t*)arg; |
| if (!args->visitor(_mi_theap_heap(theap), &xarea->area, NULL, xarea->area.block_size, args->arg)) return false; |
| if (args->visit_blocks) { |
| return _mi_theap_area_visit_blocks(&xarea->area, xarea->page, args->visitor, args->arg); |
| } |
| else { |
| return true; |
| } |
| } |
|
|
| |
| bool mi_theap_visit_blocks(const mi_theap_t* theap, bool visit_blocks, mi_block_visit_fun* visitor, void* arg) { |
| mi_visit_blocks_args_t args = { visit_blocks, visitor, arg }; |
| return mi_theap_visit_areas(theap, &mi_theap_area_visitor, &args); |
| } |
|
|
|
|