diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2023-05-02 20:59:49 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2023-05-02 20:59:49 -0700 |
commit | fe3a2b33165ee0d7765ba4e838e9c4875d8fb195 (patch) | |
tree | 096c6400abe87d25793c4c8a1063fe78ce80f1f8 /gc.c | |
parent | 005b8909d995b699130ab97269cabab2bcf33a75 (diff) | |
download | txr-fe3a2b33165ee0d7765ba4e838e9c4875d8fb195.tar.gz txr-fe3a2b33165ee0d7765ba4e838e9c4875d8fb195.tar.bz2 txr-fe3a2b33165ee0d7765ba4e838e9c4875d8fb195.zip |
gc: use single allocation for prot_array.
* gc.c (prot_array): Add self pointer; arr member
becomes flexible array.
(prot_array_mark): We now check the handle itself for
null, because the whole thing is freed.
(prot_array_free): Function removed.
(prot_array_ops): Wire cobj_destroy_free_op in place
of prot_array_free. This fixes a memory leak because
prot_array_free was not freeing the handle, only
the array.
(gc_prot_array_alloc): Fix to allocate everything
in one swoop and store the self-pointer in the
named member rather than arr[-1]. The self argument
is not required; we drop it. The size argument cannot
be anywhere near INT_PTR_MAX, because such an array
wouldn't fit into virtual memory, so it is always
safe to add a small value to the size.
(prot_array_free): Obtain the self-pointer, and
free the handle, replacing it with a null pointer.
* gc.h (gc_prot_array_alloc): Declaration updated.
* lib.c (ssort_vec): Don't pass self to gc_prot_array_alloc.
* lib.h (container): New macro.
Diffstat (limited to 'gc.c')
-rw-r--r-- | gc.c | 40 |
1 files changed, 15 insertions, 25 deletions
@@ -138,7 +138,8 @@ val break_obj; struct prot_array { cnum size; - val *arr; + val self; + val arr[FLEX_ARRAY]; }; struct cobj_class *prot_array_cls; @@ -1260,48 +1261,37 @@ void gc_stack_overflow(void) static void prot_array_mark(val obj) { struct prot_array *pa = coerce(struct prot_array *, obj->co.handle); - cnum i; - if (pa->arr) + if (pa) { + cnum i; for (i = 0; i < pa->size; i++) gc_mark(pa->arr[i]); -} - -static void prot_array_free(val obj) -{ - struct prot_array *pa = coerce(struct prot_array *, obj->co.handle); - - if (pa->arr) { - free(pa->arr - 1); - pa->arr = 0; } } static struct cobj_ops prot_array_ops = cobj_ops_init(eq, cobj_print_op, - prot_array_free, + cobj_destroy_free_op, prot_array_mark, cobj_eq_hash_op); -val *gc_prot_array_alloc(cnum size, val self) +val *gc_prot_array_alloc(cnum size) { struct prot_array *pa = convert(struct prot_array *, - chk_malloc(sizeof *pa)); - - if (size >= INT_PTR_MAX) - uw_throwf(error_s, lit("~s: array too large"), self, nao); - + chk_calloc(offsetof(struct prot_array, arr) + + size * sizeof(val), 1)); pa->size = size; - pa->arr = convert(val *, - chk_calloc(sizeof *pa->arr, (size + 1))) + 1; - - pa->arr[-1] = cobj(convert(mem_t *, pa), prot_array_cls, &prot_array_ops); + pa->self = cobj(convert(mem_t *, pa), prot_array_cls, &prot_array_ops); return pa->arr; } void gc_prot_array_free(val *arr) { - if (arr) - prot_array_free(arr[-1]); + if (arr) { + struct prot_array *pa = container(arr, struct prot_array, arr); + val obj = pa->self; + obj->co.handle = 0; + free(pa); + } } |