summaryrefslogtreecommitdiff
path: root/lib/mempool.c
diff options
context:
space:
mode:
authorMaria Matejka <mq@ucw.cz>2023-04-28 23:48:03 +0200
committerMaria Matejka <mq@ucw.cz>2023-05-03 21:30:29 +0200
commit9f25dd79b8e9fdea9050c9f7e3a10cea8791d745 (patch)
tree3e72b3f665d6e18d65c25ad6baf37a015c8767bf /lib/mempool.c
parent010c26c29602d52e704ea7cb83f2f6acacbddd0d (diff)
Allocation from linpools and slabs requires the appropriate lock to be taken
Diffstat (limited to 'lib/mempool.c')
-rw-r--r--lib/mempool.c5
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/mempool.c b/lib/mempool.c
index 56a4c3db..578750c1 100644
--- a/lib/mempool.c
+++ b/lib/mempool.c
@@ -86,6 +86,7 @@ linpool
void *
lp_alloc(linpool *m, uint size)
{
+ ASSERT_DIE(DG_IS_LOCKED(resource_parent(&m->r)->domain));
byte *a = (byte *) BIRD_ALIGN((unsigned long) m->ptr, CPU_STRUCT_ALIGN);
byte *e = a + size;
@@ -145,6 +146,7 @@ lp_alloc(linpool *m, uint size)
void *
lp_allocu(linpool *m, uint size)
{
+ ASSERT_DIE(DG_IS_LOCKED(resource_parent(&m->r)->domain));
byte *a = m->ptr;
byte *e = a + size;
@@ -183,6 +185,7 @@ lp_allocz(linpool *m, uint size)
void
lp_flush(linpool *m)
{
+ ASSERT_DIE(DG_IS_LOCKED(resource_parent(&m->r)->domain));
struct lp_chunk *c;
/* Move ptr to the first chunk and free all other chunks */
@@ -216,6 +219,7 @@ lp_flush(linpool *m)
void
lp_save(linpool *m, lp_state *p)
{
+ ASSERT_DIE(DG_IS_LOCKED(resource_parent(&m->r)->domain));
p->current = m->current;
p->large = m->first_large;
p->total_large = m->total_large;
@@ -236,6 +240,7 @@ void
lp_restore(linpool *m, lp_state *p)
{
struct lp_chunk *c;
+ ASSERT_DIE(DG_IS_LOCKED(resource_parent(&m->r)->domain));
/* Move ptr to the saved pos and free all newer large chunks */
m->current = c = p->current ?: m->first;