RepoMirrors/haproxy
1
0
Fork 0
mirror of http://git.haproxy.org/git/haproxy.git/ synced 2025-03-03 10:01:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

BUG/MEDIUM: shctx: bound the number of loops that can happen around the lock

Browse Source 
Given that a "count" value of 32M was seen in _shctx_wait4lock(), it
is very important to prevent this from happening again. It's absolutely
essential to prevent the value from growing unbounded because with an
increase of the number of threads, the number of successive failed
attempts will necessarily grow.

Instead now we're scanning all 2^p-1 values from 3 to 255 and are
bounding to count to 255 so that in the worst case each thread tries an
xchg every 255 failed read attempts. That's one every 4 on average per
thread when there are 64 threads, which corresponds to the initial count
of 4 for the first attempt so it seems like a reasonable value to keep a
low latency.

The bug was introduced with the shctx entries in 1.5 so the fix must
be backported to all versions. Before 1.8 the function was called
_shared_context_wait4lock() and was in shctx.c.
This commit is contained in:
Willy Tarreau 2020-05-01 13:15:32 +02:00
parent 3801bdc3fc
commit 86c6a9221a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
include/proto/shctx.h
View File

@ -96,7 +96,7 @@ static inline void _shctx_wait4lock(unsigned int *count, unsigned int *uaddr, in
if (*uaddr != value)
return;
}
*count = *count << 1;
*count = (unsigned char)((*count << 1) + 1);
}
#define _shctx_awakelocker(a)
@ -156,7 +156,7 @@ static inline unsigned char atomic_dec(unsigned int *ptr)
static inline void _shctx_lock(struct shared_context *shctx)
{
unsigned int x;
unsigned int count = 4;
unsigned int count = 3;
x = cmpxchg(&shctx->waiters, 0, 1);
if (x) {