mirror of
https://github.com/Mathewnd/Astral.git
synced 2026-10-27 12:48:22 +00:00
slab: rewrite slab allocator
This commit is contained in:
@@ -98,4 +98,4 @@ void alloc_init() {
|
||||
caches[i] = caches[5];
|
||||
}
|
||||
|
||||
INIT_ROUTINE_DEFINE(alloc, INIT_ROUTINE_FLAGS_NONE, alloc_init, vmm);
|
||||
INIT_ROUTINE_DEFINE(alloc, INIT_ROUTINE_FLAGS_NONE, alloc_init, slab);
|
||||
|
||||
+395
-209
@@ -3,6 +3,9 @@
|
||||
#include <kernel/pmm.h>
|
||||
#include <logging.h>
|
||||
#include <util.h>
|
||||
#include <arch/smp.h>
|
||||
#include <kernel/init.h>
|
||||
#include <kernel/alloc.h>
|
||||
|
||||
#define SLAB_INDIRECT_CUTOFF 512
|
||||
#define SLAB_INDIRECT_COUNT 16
|
||||
@@ -15,76 +18,111 @@
|
||||
|
||||
#define SLAB_DEBUG 0
|
||||
|
||||
// the cache responsible for allocating all others
|
||||
static bool selfcacheinit = false;
|
||||
static scache_t selfcache = {
|
||||
.size = sizeof(scache_t),
|
||||
.alignment = 8,
|
||||
.truesize = ROUND_UP(sizeof(scache_t) + sizeof(void **), 8),
|
||||
.slabobjcount = SLAB_DATA_SIZE / ROUND_UP(sizeof(scache_t) + sizeof(void **), 8)
|
||||
};
|
||||
static slab_indirect_t *self_cache_indirect_table[32];
|
||||
static scache_t *self_cache;
|
||||
static scache_t *magazine_cache;
|
||||
static scache_t *slab_cache;
|
||||
static scache_t *indirect_cache;
|
||||
|
||||
static void initdirect(scache_t *cache, slab_t *slab, void *base) {
|
||||
slab->free = NULL;
|
||||
slab->used = 0;
|
||||
|
||||
for (uintmax_t offset = 0; offset < cache->truesize * cache->slabobjcount; offset += cache->truesize) {
|
||||
if (cache->ctor)
|
||||
cache->ctor(cache, (void *)((uintptr_t)base + offset));
|
||||
|
||||
void **freenext = (void **)((uintptr_t)base + offset + cache->size);
|
||||
*freenext = slab->free;
|
||||
slab->free = freenext;
|
||||
}
|
||||
}
|
||||
|
||||
static void initindirect(scache_t *cache, slab_t *slab, void **base, void *objbase) {
|
||||
slab->free = NULL;
|
||||
slab->used = 0;
|
||||
slab->base = objbase;
|
||||
|
||||
for (uintmax_t offset = 0; offset < cache->truesize * cache->slabobjcount; offset += cache->truesize) {
|
||||
if (cache->ctor)
|
||||
cache->ctor(cache, (void *)((uintptr_t)objbase + offset));
|
||||
|
||||
void **freenext = &base[offset / cache->truesize];
|
||||
*freenext = slab->free;
|
||||
slab->free = freenext;
|
||||
}
|
||||
}
|
||||
|
||||
static bool growcache(scache_t *cache) {
|
||||
void *_slab = pmm_allocpage(PMM_SECTION_DEFAULT);
|
||||
if (_slab == NULL)
|
||||
return false;
|
||||
|
||||
slab_t *slab = MAKE_HHDM(GET_SLAB(_slab));
|
||||
static inline bool grow_cache(scache_t *cache) {
|
||||
slab_t *slab;
|
||||
|
||||
if (cache->size < SLAB_INDIRECT_CUTOFF) {
|
||||
initdirect(cache, slab, MAKE_HHDM(_slab));
|
||||
void *slab_hhdm = pmm_allocpage(PMM_SECTION_DEFAULT);
|
||||
if (unlikely(slab_hhdm == NULL))
|
||||
return false;
|
||||
|
||||
slab_hhdm = MAKE_HHDM(slab_hhdm);
|
||||
slab = GET_SLAB(slab_hhdm);
|
||||
slab->free = NULL;
|
||||
|
||||
for (uintmax_t offset = 0; offset < cache->true_size * cache->slab_object_count; offset += cache->true_size) {
|
||||
void **freenext = (void **)((uintptr_t)slab_hhdm + offset + cache->size);
|
||||
*freenext = slab->free;
|
||||
slab->free = freenext;
|
||||
}
|
||||
} else {
|
||||
void *base = vmm_map(NULL, cache->slabobjcount * cache->truesize, VMM_FLAGS_ALLOCATE, ARCH_MMU_FLAGS_READ | ARCH_MMU_FLAGS_WRITE | ARCH_MMU_FLAGS_NOEXEC, NULL);
|
||||
if (base == NULL) {
|
||||
pmm_release(_slab);
|
||||
slab = slab_allocate(slab_cache);
|
||||
if (unlikely(slab == NULL))
|
||||
return false;
|
||||
|
||||
size_t byte_size = cache->slab_object_count * cache->true_size;
|
||||
slab->base = vmm_map(NULL, byte_size, VMM_FLAGS_ALLOCATE, ARCH_MMU_FLAGS_READ | ARCH_MMU_FLAGS_WRITE | ARCH_MMU_FLAGS_NOEXEC, NULL);
|
||||
if (unlikely(slab->base == NULL)) {
|
||||
slab_free(slab_cache, slab);
|
||||
return false;
|
||||
}
|
||||
initindirect(cache, slab, MAKE_HHDM(_slab), base);
|
||||
|
||||
slab_indirect_t *indirect[SLAB_INDIRECT_COUNT];
|
||||
int i;
|
||||
for (i = 0; i < SLAB_INDIRECT_COUNT; ++i) {
|
||||
indirect[i] = slab_allocate(indirect_cache);
|
||||
if (indirect[i] == NULL)
|
||||
break;
|
||||
|
||||
indirect[i]->next = i == 0 ? NULL : indirect[i - 1];
|
||||
indirect[i]->slab = slab;
|
||||
}
|
||||
|
||||
if (unlikely(i < SLAB_INDIRECT_COUNT)) {
|
||||
for (int j = 0; j < i; ++j)
|
||||
slab_free(indirect_cache, indirect[i]);
|
||||
|
||||
vmm_unmap(slab->base, byte_size, 0);
|
||||
|
||||
slab_free(slab_cache, slab);
|
||||
return false;
|
||||
}
|
||||
|
||||
i = 0;
|
||||
for (uintmax_t offset = 0; offset < byte_size; offset += cache->true_size) {
|
||||
void *object = (void *)((uintptr_t)slab->base + offset);
|
||||
indirect[i++]->object = object;
|
||||
}
|
||||
|
||||
slab->free = (void **)indirect[SLAB_INDIRECT_COUNT - 1];
|
||||
}
|
||||
|
||||
slab->reference_count = 0;
|
||||
|
||||
// it can be inserted directly into cache->list because if this is called there is nothing to allocate
|
||||
slab_t *list = cache->list;
|
||||
if (likely(cache->list)) {
|
||||
slab->next = list;
|
||||
slab->prev = list->prev;
|
||||
list->prev->next = slab;
|
||||
list->prev = slab;
|
||||
} else {
|
||||
slab->next = slab;
|
||||
slab->prev = slab;
|
||||
}
|
||||
|
||||
cache->list = slab;
|
||||
|
||||
slab->next = cache->empty;
|
||||
slab->prev = NULL;
|
||||
if (slab->next)
|
||||
slab->next->prev = slab;
|
||||
cache->empty = slab;
|
||||
return true;
|
||||
}
|
||||
|
||||
static void *takeobject(scache_t *cache, slab_t *slab) {
|
||||
if (slab->free == NULL)
|
||||
static inline int get_index(void *p) {
|
||||
uintptr_t key = (uintptr_t)p;
|
||||
return fnv1ahash(&key, sizeof(key)) % 32;
|
||||
}
|
||||
|
||||
static void *allocate_from_slab(scache_t *cache) {
|
||||
MUTEX_ACQUIRE(&cache->mutex);
|
||||
// if there is no slab or only an empty one, grow the cache
|
||||
if ((cache->list == NULL || cache->list->reference_count == cache->slab_object_count) && unlikely(grow_cache(cache) == false))
|
||||
return NULL;
|
||||
|
||||
void **objend = slab->free;
|
||||
slab_t *slab = cache->list;
|
||||
|
||||
#if SLAB_DEBUG != 0
|
||||
__assert(slab != NULL && slab->reference_count != cache->slab_object_count);
|
||||
#endif
|
||||
|
||||
// take an object from the cache
|
||||
void **free_list = slab->free;
|
||||
slab->free = *free_list;
|
||||
++slab->reference_count;
|
||||
|
||||
#if SLAB_DEBUG != 0
|
||||
if (cache->size < SLAB_INDIRECT_CUTOFF) {
|
||||
@@ -92,200 +130,348 @@ static void *takeobject(scache_t *cache, slab_t *slab) {
|
||||
void *base = (void *)ROUND_DOWN((uintptr_t)slab, PAGE_SIZE);
|
||||
__assert(addr >= base && addr < (void *)slab);
|
||||
} else {
|
||||
void *addr = slab->base + ((uintptr_t)objend - ROUND_DOWN((uintptr_t)slab, PAGE_SIZE)) / sizeof(void **) * cache->truesize;
|
||||
__assert(addr >= slab->base && (uintptr_t)addr < (uintptr_t)slab->base + cache->slabobjcount * cache->truesize);
|
||||
void *addr = slab->base + ((uintptr_t)objend - ROUND_DOWN((uintptr_t)slab, PAGE_SIZE)) / sizeof(void **) * cache->true_size;
|
||||
__assert(addr >= slab->base && (uintptr_t)addr < (uintptr_t)slab->base + cache->slab_object_count * cache->true_size);
|
||||
}
|
||||
#endif
|
||||
|
||||
slab->free = *slab->free;
|
||||
slab->used += 1;
|
||||
*objend = NULL;
|
||||
if (cache->size < SLAB_INDIRECT_CUTOFF)
|
||||
return (void *)((uintptr_t)objend - cache->size);
|
||||
else
|
||||
return (void *)((uintptr_t)slab->base + ((uintptr_t)objend - ROUND_DOWN((uintptr_t)slab, PAGE_SIZE)) / sizeof(void **) * cache->truesize);
|
||||
}
|
||||
|
||||
// frees an object and returns the slab the object belongs to
|
||||
static slab_t *returnobject(scache_t *cache, void *obj) {
|
||||
slab_t *slab = NULL;
|
||||
void **freeptr = NULL;
|
||||
void *ret;
|
||||
if (cache->size < SLAB_INDIRECT_CUTOFF) {
|
||||
slab = (slab_t *)(ROUND_DOWN((uintptr_t)obj, PAGE_SIZE) + SLAB_PAGE_OFFSET);
|
||||
freeptr = (void **)((uintptr_t)obj + cache->size);
|
||||
__assert(*freeptr == NULL);
|
||||
} else {
|
||||
bool partial = cache->full == NULL;
|
||||
slab = partial ? cache->partial : cache->full;
|
||||
while (slab) {
|
||||
void *top = (void *)((uintptr_t)slab->base + cache->slabobjcount * cache->truesize);
|
||||
if (obj >= slab->base && obj < top)
|
||||
break;
|
||||
if (slab->next == NULL && partial == false) {
|
||||
slab = cache->partial;
|
||||
partial = true;
|
||||
} else {
|
||||
slab = slab->next;
|
||||
}
|
||||
}
|
||||
__assert(slab);
|
||||
uintmax_t objn = ((uintptr_t)obj - (uintptr_t)slab->base) / cache->truesize;
|
||||
void **base = (void **)ROUND_DOWN((uintptr_t)slab, PAGE_SIZE);
|
||||
freeptr = &base[objn];
|
||||
}
|
||||
|
||||
if (cache->dtor)
|
||||
cache->dtor(cache, obj);
|
||||
|
||||
*freeptr = slab->free;
|
||||
slab->free = freeptr;
|
||||
--slab->used;
|
||||
|
||||
return slab;
|
||||
}
|
||||
|
||||
void *slab_allocate(scache_t *cache) {
|
||||
MUTEX_ACQUIRE(&cache->mutex);
|
||||
slab_t *slab = cache->partial;
|
||||
if (slab == NULL)
|
||||
slab = cache->empty;
|
||||
|
||||
if (slab == NULL) {
|
||||
if (growcache(cache)) {
|
||||
slab = cache->empty;
|
||||
} else {
|
||||
MUTEX_RELEASE(&cache->mutex);
|
||||
ret = (void *)((uintptr_t)free_list - cache->size);
|
||||
if (cache->ctor && cache->ctor(cache, ret) == false) {
|
||||
slab->free = free_list;
|
||||
return NULL;
|
||||
}
|
||||
|
||||
#if SLAB_DEBUG != 0
|
||||
*free_list = NULL;
|
||||
#endif
|
||||
} else {
|
||||
slab_indirect_t *indirect = (slab_indirect_t *)free_list;
|
||||
if (cache->ctor && cache->ctor(cache, indirect->object) == false) {
|
||||
slab->free = free_list;
|
||||
return NULL;
|
||||
}
|
||||
// add to hash table as well
|
||||
int idx = get_index(indirect->object);
|
||||
indirect->next = cache->indirect_table[idx];
|
||||
cache->indirect_table[idx] = indirect;
|
||||
|
||||
ret = indirect->object;
|
||||
}
|
||||
|
||||
void *ret = takeobject(cache, slab);
|
||||
|
||||
if (slab == cache->empty) {
|
||||
cache->empty = slab->next;
|
||||
if (slab->next)
|
||||
slab->next->prev = NULL;
|
||||
|
||||
if (cache->partial)
|
||||
cache->partial->prev = slab;
|
||||
|
||||
slab->next = cache->partial;
|
||||
slab->prev = NULL;
|
||||
cache->partial = slab;
|
||||
} else if (slab->used == cache->slabobjcount) {
|
||||
cache->partial = slab->next;
|
||||
|
||||
if (slab->next)
|
||||
slab->next->prev = NULL;
|
||||
|
||||
if (cache->full)
|
||||
cache->full->prev = slab;
|
||||
|
||||
slab->next = cache->full;
|
||||
slab->prev = NULL;
|
||||
cache->full = slab;
|
||||
}
|
||||
// if the slab is empty, advance the linked list by one to the next partial or full slab
|
||||
if (slab->reference_count == cache->slab_object_count)
|
||||
cache->list = slab->next;
|
||||
|
||||
MUTEX_RELEASE(&cache->mutex);
|
||||
return ret;
|
||||
}
|
||||
|
||||
void slab_free(scache_t *cache, void *addr) {
|
||||
static void free_to_slab(scache_t *cache, void *addr) {
|
||||
MUTEX_ACQUIRE(&cache->mutex);
|
||||
|
||||
slab_t *slab = returnobject(cache, addr);
|
||||
__assert(slab);
|
||||
// insert into a slab
|
||||
slab_t *slab = NULL;
|
||||
void **free_list = NULL;
|
||||
|
||||
if (slab->used == 0) {
|
||||
if (slab->prev == NULL)
|
||||
cache->partial = slab->next;
|
||||
if (cache->size < SLAB_INDIRECT_CUTOFF) {
|
||||
slab = GET_SLAB(addr);
|
||||
free_list = (void **)((uintptr_t)addr + cache->size);
|
||||
|
||||
#if SLAB_DEBUG != 0
|
||||
__assert(*free_list == NULL);
|
||||
#endif
|
||||
} else {
|
||||
int idx = get_index(addr);
|
||||
slab_indirect_t *prev = NULL;
|
||||
slab_indirect_t *indirect = cache->indirect_table[idx];
|
||||
|
||||
while (indirect->object != addr) {
|
||||
prev = indirect;
|
||||
indirect = indirect->next;
|
||||
}
|
||||
|
||||
if (prev)
|
||||
prev->next = indirect->next;
|
||||
else
|
||||
slab->prev->next = slab->next;
|
||||
cache->indirect_table[idx] = indirect->next;
|
||||
|
||||
if (slab->next)
|
||||
slab->next->prev = slab->prev;
|
||||
slab = indirect->slab;
|
||||
free_list = (void **)indirect;
|
||||
|
||||
slab->next = cache->empty;
|
||||
slab->prev = NULL;
|
||||
if (slab->next)
|
||||
slab->next->prev = slab;
|
||||
cache->empty = slab;
|
||||
} else if (slab->used == cache->slabobjcount - 1) {
|
||||
if (slab->prev == NULL)
|
||||
cache->full = slab->next;
|
||||
else
|
||||
slab->prev->next = slab->next;
|
||||
|
||||
if (slab->next)
|
||||
slab->next->prev = slab->prev;
|
||||
|
||||
slab->next = cache->partial;
|
||||
slab->prev = NULL;
|
||||
if (slab->next)
|
||||
slab->next->prev = slab;
|
||||
cache->partial = slab;
|
||||
#if SLAB_DEBUG != 0
|
||||
__assert(slab);
|
||||
__assert(obj >= slab->base && addr < top);
|
||||
#endif
|
||||
}
|
||||
|
||||
if (cache->dtor)
|
||||
cache->dtor(cache, addr);
|
||||
|
||||
*free_list = slab->free;
|
||||
slab->free = free_list;
|
||||
--slab->reference_count;
|
||||
|
||||
// reorder lists if nescessary
|
||||
if (slab->reference_count == cache->slab_object_count - 1) {
|
||||
// if it became a partial slab, reorder the list
|
||||
slab->prev->next = slab->next;
|
||||
slab->next->prev = slab->prev;
|
||||
|
||||
slab->next = cache->list;
|
||||
slab->prev = cache->list->prev;
|
||||
slab->prev->next = slab;
|
||||
slab->next->prev = slab;
|
||||
|
||||
cache->list = slab;
|
||||
} else if (slab->reference_count == 0) {
|
||||
// if it became a full slab, reorder the list
|
||||
slab_t *search = cache->list;
|
||||
do {
|
||||
search = search->next;
|
||||
} while (search != cache->list && search->reference_count != cache->size && (search->reference_count != 0 || search == slab));
|
||||
|
||||
// if the list points to this slab and the next one is a partial, set the list to it
|
||||
// otherwise, the next is full (refcount 0) or empty (refcount == slab_object_count), which means this slab will be still be the next one to
|
||||
// be allocated out of
|
||||
if (cache->list == slab && slab->next->reference_count != 0 && slab->next->reference_count != cache->slab_object_count)
|
||||
cache->list = slab->next;
|
||||
|
||||
slab->prev->next = slab->next;
|
||||
slab->next->prev = slab->prev;
|
||||
|
||||
slab->next = search;
|
||||
slab->prev = search->prev;
|
||||
search->prev = slab;
|
||||
slab->prev->next = slab;
|
||||
}
|
||||
|
||||
MUTEX_RELEASE(&cache->mutex);
|
||||
}
|
||||
static inline void acquire_depot_mutex(scache_t *cache) {
|
||||
// keep track of contention for dynamic resizing of magazines in this cache
|
||||
if (MUTEX_TRY(&cache->depot_mutex)) {
|
||||
if (__atomic_fetch_sub(&cache->contention_count, 1, __ATOMIC_SEQ_CST) == 0)
|
||||
cache->contention_count = 0;
|
||||
|
||||
scache_t *slab_newcache(size_t size, size_t alignment, void (*ctor)(scache_t *, void *), void (*dtor)(scache_t *, void *)) {
|
||||
} else {
|
||||
__atomic_add_fetch(&cache->contention_count, 1, __ATOMIC_SEQ_CST);
|
||||
MUTEX_ACQUIRE(&cache->depot_mutex);
|
||||
}
|
||||
}
|
||||
|
||||
void *slab_allocate(scache_t *cache) {
|
||||
cache_per_cpu_t *cpu_cache = &cache->per_cpu[current_cpu_internal_id()];
|
||||
|
||||
MUTEX_ACQUIRE(&cpu_cache->mutex);
|
||||
// are there any rounds in the loaded magazine?
|
||||
if (cpu_cache->loaded_magazine && cpu_cache->loaded_magazine->round_count) {
|
||||
void *ret = cpu_cache->loaded_magazine->rounds[--cpu_cache->loaded_magazine->round_count];
|
||||
MUTEX_RELEASE(&cpu_cache->mutex);
|
||||
return ret;
|
||||
}
|
||||
|
||||
// are there any rounds in the previous magazine?
|
||||
if (cpu_cache->previous_magazine && cpu_cache->previous_magazine->round_count) {
|
||||
// swap loaded and previous
|
||||
magazine_t *swap = cpu_cache->loaded_magazine;
|
||||
cpu_cache->loaded_magazine = cpu_cache->previous_magazine;
|
||||
cpu_cache->previous_magazine = swap;
|
||||
|
||||
void *ret = cpu_cache->loaded_magazine->rounds[--cpu_cache->loaded_magazine->round_count];
|
||||
MUTEX_RELEASE(&cpu_cache->mutex);
|
||||
return ret;
|
||||
}
|
||||
|
||||
// check the depot for full magazines
|
||||
acquire_depot_mutex(cache);
|
||||
|
||||
if (cache->full_depot) {
|
||||
// put the previous magazine into the depot
|
||||
if (cpu_cache->previous_magazine) {
|
||||
cpu_cache->previous_magazine->next = cache->empty_depot;
|
||||
cache->empty_depot = cpu_cache->previous_magazine;
|
||||
}
|
||||
|
||||
// load a new full magazine
|
||||
cpu_cache->previous_magazine = cpu_cache->loaded_magazine;
|
||||
cpu_cache->loaded_magazine = cache->full_depot;
|
||||
cache->full_depot = cache->full_depot->next;
|
||||
|
||||
void *ret = cpu_cache->loaded_magazine->rounds[--cpu_cache->loaded_magazine->round_count];
|
||||
MUTEX_RELEASE(&cache->depot_mutex);
|
||||
MUTEX_RELEASE(&cpu_cache->mutex);
|
||||
return ret;
|
||||
}
|
||||
|
||||
MUTEX_RELEASE(&cache->depot_mutex);
|
||||
|
||||
// fall back into allocating from the slab directly
|
||||
MUTEX_RELEASE(&cpu_cache->mutex);
|
||||
return allocate_from_slab(cache);
|
||||
}
|
||||
|
||||
static magazine_t *allocate_magazine_for_cache(scache_t *cache) {
|
||||
return slab_allocate(magazine_cache);
|
||||
}
|
||||
|
||||
void slab_free(scache_t *cache, void *addr) {
|
||||
cache_per_cpu_t *cpu_cache = &cache->per_cpu[current_cpu_internal_id()];
|
||||
|
||||
MUTEX_ACQUIRE(&cpu_cache->mutex);
|
||||
// can insert into the loaded magazine?
|
||||
if (cpu_cache->loaded_magazine && cpu_cache->loaded_magazine->round_count < cache->magazine_size) {
|
||||
cpu_cache->loaded_magazine->rounds[cpu_cache->loaded_magazine->round_count++] = addr;
|
||||
MUTEX_RELEASE(&cpu_cache->mutex);
|
||||
return;
|
||||
}
|
||||
|
||||
// can insert into previous magazine?
|
||||
// the check for 0 is valid as the previous magazines will either be full or empty
|
||||
if (cpu_cache->previous_magazine && cpu_cache->previous_magazine->round_count == 0) {
|
||||
// swap loaded and previous
|
||||
magazine_t *swap = cpu_cache->loaded_magazine;
|
||||
cpu_cache->loaded_magazine = cpu_cache->previous_magazine;
|
||||
cpu_cache->previous_magazine = swap;
|
||||
|
||||
cpu_cache->loaded_magazine->rounds[cpu_cache->loaded_magazine->round_count++] = addr;
|
||||
MUTEX_RELEASE(&cpu_cache->mutex);
|
||||
return;
|
||||
}
|
||||
|
||||
// can get an empty magazine from the depot?
|
||||
acquire_depot_mutex(cache);
|
||||
if (cache->empty_depot) {
|
||||
// put the previous magazine into the depot
|
||||
if (cpu_cache->previous_magazine) {
|
||||
cpu_cache->previous_magazine->next = cache->full_depot;
|
||||
cache->full_depot = cpu_cache->previous_magazine;
|
||||
}
|
||||
|
||||
// load a new empty magazine
|
||||
cpu_cache->previous_magazine = cpu_cache->loaded_magazine;
|
||||
cpu_cache->loaded_magazine = cache->empty_depot;
|
||||
cache->empty_depot = cache->empty_depot->next;
|
||||
|
||||
cpu_cache->loaded_magazine->rounds[cpu_cache->loaded_magazine->round_count++] = addr;
|
||||
MUTEX_RELEASE(&cache->depot_mutex);
|
||||
MUTEX_RELEASE(&cpu_cache->mutex);
|
||||
return;
|
||||
}
|
||||
|
||||
// allocate an empty magazine
|
||||
magazine_t *new_magazine = allocate_magazine_for_cache(cache);
|
||||
if (new_magazine) {
|
||||
// put previous into the depot
|
||||
if (cpu_cache->previous_magazine) {
|
||||
cpu_cache->previous_magazine->next = cache->full_depot;
|
||||
cache->full_depot = cpu_cache->previous_magazine;
|
||||
}
|
||||
|
||||
// load the new magazine
|
||||
cpu_cache->previous_magazine = cpu_cache->loaded_magazine;
|
||||
cpu_cache->loaded_magazine = new_magazine;
|
||||
|
||||
cpu_cache->loaded_magazine->rounds[cpu_cache->loaded_magazine->round_count++] = addr;
|
||||
MUTEX_RELEASE(&cache->depot_mutex);
|
||||
MUTEX_RELEASE(&cpu_cache->mutex);
|
||||
return;
|
||||
}
|
||||
MUTEX_RELEASE(&cache->depot_mutex);
|
||||
|
||||
// fall back into freeing to the slab directly
|
||||
MUTEX_RELEASE(&cpu_cache->mutex);
|
||||
return free_to_slab(cache, addr);
|
||||
}
|
||||
|
||||
#define MAGAZINE_SIZE 8
|
||||
|
||||
static bool slab_initialize(scache_t *cache, size_t size, size_t alignment, bool (*ctor)(scache_t *, void *), void (*dtor)(scache_t *, void *), slab_indirect_t **indirect_table) {
|
||||
if (alignment == 0)
|
||||
alignment = 8;
|
||||
|
||||
if (selfcacheinit == false) {
|
||||
selfcacheinit = true;
|
||||
MUTEX_INIT(&selfcache.mutex);
|
||||
if (size >= SLAB_INDIRECT_CUTOFF && indirect_table == NULL) {
|
||||
cache->indirect_table = alloc(sizeof(slab_indirect_t *) * 32);
|
||||
if (cache->indirect_table == NULL)
|
||||
return false;
|
||||
} else if (size >= SLAB_INDIRECT_CUTOFF && indirect_table) {
|
||||
cache->indirect_table = indirect_table;
|
||||
}
|
||||
|
||||
scache_t *cache = slab_allocate(&selfcache);
|
||||
if (cache == NULL)
|
||||
return NULL;
|
||||
|
||||
cache->size = size;
|
||||
cache->alignment = alignment;
|
||||
size_t freeptrsize = size < SLAB_INDIRECT_CUTOFF ? sizeof(void **) : 0;
|
||||
cache->truesize = ROUND_UP(size + freeptrsize, alignment);
|
||||
cache->true_size = ROUND_UP(size + freeptrsize, alignment);
|
||||
cache->ctor = ctor;
|
||||
cache->dtor = dtor;
|
||||
cache->slabobjcount = size < SLAB_INDIRECT_CUTOFF ? SLAB_DATA_SIZE / cache->truesize : SLAB_INDIRECT_COUNT;
|
||||
cache->full = NULL;
|
||||
cache->empty = NULL;
|
||||
cache->partial = NULL;
|
||||
MUTEX_INIT(&cache->mutex);
|
||||
cache->slab_object_count = size < SLAB_INDIRECT_CUTOFF ? SLAB_DATA_SIZE / cache->true_size : SLAB_INDIRECT_COUNT;
|
||||
cache->list = NULL;
|
||||
cache->magazine_size = MAGAZINE_SIZE;
|
||||
cache->magazine_minimum_size = MAGAZINE_SIZE;
|
||||
cache->magazine_maximum_size = MAGAZINE_SIZE;
|
||||
cache->contention_count = 0;
|
||||
cache->empty_depot = NULL;
|
||||
cache->full_depot = NULL;
|
||||
|
||||
printf("slab: new cache: size %lu align %lu truesize %lu objcount %lu\n", cache->size, cache->alignment, cache->truesize, cache->slabobjcount);
|
||||
MUTEX_INIT(&cache->mutex);
|
||||
MUTEX_INIT(&cache->depot_mutex);
|
||||
|
||||
for (int i = 0; i < arch_smp_get_cpu_count(); ++i) {
|
||||
cache_per_cpu_t *cpu_cache = &cache->per_cpu[i];
|
||||
cpu_cache->loaded_magazine = NULL;
|
||||
cpu_cache->previous_magazine = NULL;
|
||||
MUTEX_INIT(&cpu_cache->mutex);
|
||||
}
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
scache_t *slab_newcache(size_t size, size_t alignment, bool (*ctor)(scache_t *, void *), void (*dtor)(scache_t *, void *)) {
|
||||
scache_t *cache = slab_allocate(self_cache);
|
||||
if (cache == NULL)
|
||||
return NULL;
|
||||
|
||||
if (!slab_initialize(cache, size, alignment, ctor, dtor, NULL)) {
|
||||
slab_free(self_cache, cache);
|
||||
return NULL;
|
||||
}
|
||||
|
||||
printf("slab: new cache: size %lu align %lu true_size %lu objcount %lu\n", cache->size, cache->alignment, cache->true_size, cache->slab_object_count);
|
||||
|
||||
return cache;
|
||||
}
|
||||
|
||||
static size_t purge(scache_t *cache, size_t maxcount){
|
||||
slab_t *slab = cache->empty;
|
||||
for (size_t done = 0; done < maxcount; ++done) {
|
||||
if (slab == NULL)
|
||||
return done;
|
||||
|
||||
slab_t *next = slab->next;
|
||||
if (next)
|
||||
next->prev = NULL;
|
||||
static bool magazine_ctor(scache_t *, void *obj) {
|
||||
magazine_t *mag = obj;
|
||||
mag->next = NULL;
|
||||
mag->round_count = 0;
|
||||
|
||||
if (cache->size >= SLAB_INDIRECT_CUTOFF)
|
||||
vmm_unmap(slab->base, cache->slabobjcount * cache->truesize, 0);
|
||||
#if SLAB_DEBUG != 0
|
||||
memset(mag->rounds, 0xfe, MAGAZINE_SIZE * sizeof(void *));
|
||||
#endif
|
||||
|
||||
pmm_release(FROM_HHDM((void *)ROUND_DOWN((uintptr_t)slab, PAGE_SIZE)));
|
||||
|
||||
slab = cache->empty;
|
||||
cache->empty = next;
|
||||
}
|
||||
|
||||
return maxcount;
|
||||
return true;
|
||||
}
|
||||
|
||||
void slab_freecache(scache_t *cache) {
|
||||
MUTEX_ACQUIRE(&cache->mutex);
|
||||
__assert(cache->partial == NULL);
|
||||
__assert(cache->full == NULL);
|
||||
|
||||
purge(cache, (size_t)-1);
|
||||
|
||||
slab_free(&selfcache, cache);
|
||||
static scache_t *create_new_from_vmm(size_t size, size_t alignment, bool (*ctor)(scache_t *, void *), void (*dtor)(scache_t *, void *), slab_indirect_t **table) {
|
||||
size_t cache_size = sizeof(scache_t) + sizeof(cache_per_cpu_t) * arch_smp_get_cpu_count();
|
||||
scache_t *cache = vmm_map(NULL, cache_size, VMM_FLAGS_ALLOCATE, ARCH_MMU_FLAGS_READ | ARCH_MMU_FLAGS_WRITE | ARCH_MMU_FLAGS_NOEXEC, NULL);
|
||||
__assert(cache);
|
||||
__assert(slab_initialize(cache, size, alignment, ctor, dtor, table));
|
||||
return cache;
|
||||
}
|
||||
|
||||
// TODO dynamically change the size of magazines
|
||||
void slab_init(void) {
|
||||
size_t cache_size = sizeof(scache_t) + sizeof(cache_per_cpu_t) * arch_smp_get_cpu_count();
|
||||
// the cache of caches needs for the slab and indirect caches to be up
|
||||
slab_cache = create_new_from_vmm(sizeof(slab_t), 0, NULL, NULL, self_cache_indirect_table);
|
||||
indirect_cache = create_new_from_vmm(sizeof(slab_indirect_t), 0, NULL, NULL, NULL);
|
||||
self_cache = create_new_from_vmm(cache_size, 0, NULL, NULL, NULL);
|
||||
|
||||
magazine_cache = slab_newcache(sizeof(magazine_t) + sizeof(void *) * MAGAZINE_SIZE, 0, magazine_ctor, NULL);
|
||||
}
|
||||
|
||||
INIT_ROUTINE_DEFINE(slab, INIT_ROUTINE_FLAGS_NONE, slab_init, vmm);
|
||||
|
||||
+5
-2
@@ -821,17 +821,18 @@ void vmm_unmap(void *addr, size_t size, int flags) {
|
||||
|
||||
static scache_t *ctxcache;
|
||||
|
||||
static void ctxctor(scache_t *cache, void *obj) {
|
||||
static bool ctxctor(scache_t *cache, void *obj) {
|
||||
vmmcontext_t *ctx = obj;
|
||||
ctx->space.start = USERSPACE_START;
|
||||
ctx->space.end = USERSPACE_END;
|
||||
MUTEX_INIT(&ctx->space.lock);
|
||||
ctx->space.ranges = NULL;
|
||||
return true;
|
||||
}
|
||||
|
||||
vmmcontext_t *vmm_newcontext() {
|
||||
if (ctxcache == NULL) {
|
||||
ctxcache = slab_newcache(sizeof(vmmcontext_t), 0, ctxctor, ctxctor);
|
||||
ctxcache = slab_newcache(sizeof(vmmcontext_t), 0, ctxctor, NULL);
|
||||
__assert(ctxcache);
|
||||
}
|
||||
|
||||
@@ -854,6 +855,8 @@ void vmm_destroycontext(vmmcontext_t *context) {
|
||||
vmm_unmap(context->space.start, context->space.end - context->space.start, 0);
|
||||
vmm_switchcontext(oldctx);
|
||||
arch_mmu_destroytable(context->pagetable);
|
||||
|
||||
context->space.ranges = NULL;
|
||||
slab_free(ctxcache, context);
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user