]> git.ipfire.org Git - thirdparty/haproxy.git/commit
MINOR: memory: Change the flush_lock to a spinlock, and don't get it in alloc.
authorOlivier Houchard <cognet@ci0.org>
Wed, 18 Mar 2020 14:48:29 +0000 (15:48 +0100)
committerOlivier Houchard <cognet@ci0.org>
Wed, 18 Mar 2020 14:55:35 +0000 (15:55 +0100)
commit899fb8abdcda90e3b3c69f6945f83c4c1107c459
treec56abd4a546365a1b4b4484e3a6596d7815cb942
parentb0198cc4132381910cdeb9b5a867632b8b83262c
MINOR: memory: Change the flush_lock to a spinlock, and don't get it in alloc.

The flush_lock was introduced, mostly to be sure that pool_gc() will never
dereference a pointer that has been free'd. __pool_get_first() was acquiring
the lock to, the fear was that otherwise that pointer could get free'd later,
and then pool_gc() would attempt to dereference it. However, that can not
happen, because the only functions that can free a pointer, when using
lockless pools, are pool_gc() and pool_flush(), and as long as those two
are mutually exclusive, nobody will be able to free the pointer while
pool_gc() attempts to access it.
So change the flush_lock to a spinlock, and don't bother acquire/release
it in __pool_get_first(), that way callers of __pool_get_first() won't have
to wait while the pool is flushed. The worst that can happen is we call
__pool_refill_alloc() while the pool is getting flushed, and memory can
get allocated just to be free'd.

This may help with github issue #552

This may be backported to 2.1, 2.0 and 1.9.
include/common/memory.h
src/memory.c