src/mspace/virtual_pool.c

13 #include <allocman/mspace/virtual_pool.h>
82     mspace_virtual_pool_t *virtual_pool = (mspace_virtual_pool_t*)cookie;
85     if (virtual_pool->pool_ptr + new_size > virtual_pool->pool_limit) {
89     while (virtual_pool->pool_ptr + new_size > virtual_pool->pool_top) {
91         error = _add_page(virtual_pool->morecore_alloc, virtual_pool->pd, virtual_pool->pool_top);
96         virtual_pool->pool_top += PAGE_SIZE_4K;
98     new_header = (k_r_malloc_header_t*)virtual_pool->pool_ptr;
99     virtual_pool->pool_ptr += new_size;
103 void mspace_virtual_pool_create(mspace_virtual_pool_t *virtual_pool, struct mspace_virtual_pool_config config)
105     virtual_pool->pool_ptr = config.vstart;
106     virtual_pool->pool_top = virtual_pool->pool_ptr;
107     virtual_pool->pool_limit = config.vstart + config.size;
108     virtual_pool->morecore_alloc = NULL;
109     virtual_pool->pd = config.pd;
110     mspace_k_r_malloc_init(&virtual_pool->k_r_malloc, (size_t)virtual_pool, _morecore);
116     mspace_virtual_pool_t *virtual_pool = (mspace_virtual_pool_t*)_virtual_pool;
117     virtual_pool->morecore_alloc = alloc;
118     ret = mspace_k_r_malloc_alloc(&virtual_pool->k_r_malloc, bytes);
119     virtual_pool->morecore_alloc = NULL;
126     mspace_virtual_pool_t *virtual_pool = (mspace_virtual_pool_t*)_virtual_pool;
127     virtual_pool->morecore_alloc = alloc;
128     mspace_k_r_malloc_free(&virtual_pool->k_r_malloc, ptr);
129     virtual_pool->morecore_alloc = NULL;