From 20fa17a5f2a286f44bdafff6dc4bb58e7667fe46 Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Thu, 9 May 2024 02:09:02 +0200 Subject: Implement arena allocation resizing --- lib/alloc/arena_alloc.c | 2 ++ lib/alloc/arena_realloc.c | 61 +++++++++++++++++++++++++++++++++++++++++++++++ lib/alloc/arena_zero.c | 1 + 3 files changed, 64 insertions(+) create mode 100644 lib/alloc/arena_realloc.c (limited to 'lib/alloc') diff --git a/lib/alloc/arena_alloc.c b/lib/alloc/arena_alloc.c index 814b0bb..65123d4 100644 --- a/lib/alloc/arena_alloc.c +++ b/lib/alloc/arena_alloc.c @@ -36,6 +36,7 @@ mkregion(size_t cap) errno = save; return nullptr; } + r->last = r->data; return r; } @@ -63,6 +64,7 @@ arena_alloc(arena *a, size_t sz, size_t n, size_t align) if (nlen <= r->cap) { void *ret = (char *)r->data + off; r->len = nlen; + r->last = ret; return ret; } } diff --git a/lib/alloc/arena_realloc.c b/lib/alloc/arena_realloc.c new file mode 100644 index 0000000..f13ce17 --- /dev/null +++ b/lib/alloc/arena_realloc.c @@ -0,0 +1,61 @@ +#include +#include +#include + +#include "alloc.h" +#include "macros.h" + +void * +arena_realloc(arena *a, void *ptr, size_t old, size_t new, size_t elemsz, + size_t align) +{ + ASSUME(a != nullptr); + + if (old == new) + return ptr; + + struct _region *cur = a->_head; + while (cur != nullptr) { + if (ptr >= cur->data && (char *)ptr < (char *)cur->data + cur->cap) + break; + cur = cur->next; + } + if (cur == nullptr) + cur = a->_head; + + /* cur now points to the region containing ‘ptr’ */ + + /* If we are shrinking the buffer, then we don’t need to move our allocation + and can just return it directly. As a minor optimization if the + allocation we are shrinking is the last allocation in the current region, + we can decrease the region length to make space for more future + allocations. */ + if (old > new) { + if (ptr == cur->last) + cur->len -= (old - new) * elemsz; + return ptr; + } + + ASSUME(old < new); + + /* If we need to grow the given allocation, but it was the last allocation + made in a region, then we first see if we can just eat more trailing free + space in the region to avoid a memcpy(). */ + if (ptr == cur->last) { + size_t need, free = cur->cap - cur->len; + if (ckd_mul(&need, new - old, elemsz)) { + errno = EOVERFLOW; + return nullptr; + } + if (need <= free) { + cur->len += need; + return ptr; + } + } + + /* At this point we just make a new allocation and copy the data over */ + void *dst = arena_alloc(a, new, elemsz, align); + if (dst == nullptr || ptr == nullptr) + return nullptr; + return memcpy(dst, ptr, new * elemsz); +} diff --git a/lib/alloc/arena_zero.c b/lib/alloc/arena_zero.c index b0e3fbe..296007e 100644 --- a/lib/alloc/arena_zero.c +++ b/lib/alloc/arena_zero.c @@ -9,6 +9,7 @@ arena_zero(arena *a) struct _region *cur = a->_head; while (cur != nullptr) { cur->len = 0; + cur->last = cur->data; cur = cur->next; } } -- cgit v1.2.3