mirror of https://git.musl-libc.org/git/musl
Browse Source
i did some testing trying to switch malloc to use the new internal lock with priority inheritance, and my malloc contention test got 20-100 times slower. if priority inheritance futexes are this slow, it's simply too high a price to pay for avoiding priority inversion. maybe we can consider them somewhere down the road once the kernel folks get their act together on this (and perferably don't link it to glibc's inefficient lock API)... as such, i've switch __lock to use malloc's implementation of lightweight locks, and updated all the users of the code to use an array with a waiter count for their locks. this should give optimal performance in the vast majority of cases, and it's simple. malloc is still using its own internal copy of the lock code because it seems to yield measurably better performance with -O3 when it's inlined (20% or more difference in the contention stress test).rs-1.0
15 changed files with 54 additions and 77 deletions
@ -1,9 +1,9 @@ |
|||
struct __DIR_s |
|||
{ |
|||
int lock; |
|||
int fd; |
|||
off_t tell; |
|||
int buf_pos; |
|||
int buf_end; |
|||
int lock[2]; |
|||
char buf[2048]; |
|||
}; |
|||
|
|||
@ -1,32 +1,12 @@ |
|||
#include "pthread_impl.h" |
|||
|
|||
void __lock_2(volatile int *l) |
|||
{ |
|||
if (!__syscall(SYS_futex, l, FUTEX_LOCK_PI, 0, 0)) |
|||
return; |
|||
int old, tid = __pthread_self()->tid|INT_MIN; |
|||
while ((old = a_cas(l, 0, tid))) { |
|||
a_cas(l, old, old|INT_MIN); |
|||
__syscall(SYS_futex, l, FUTEX_WAIT, old|INT_MIN, 0); |
|||
} |
|||
} |
|||
|
|||
void __lock(volatile int *l) |
|||
{ |
|||
if (a_cas(l, 0, __pthread_self()->tid)) __lock_2(l); |
|||
} |
|||
|
|||
void __unlock_2(volatile int *l) |
|||
{ |
|||
if (__syscall(SYS_futex, l, FUTEX_UNLOCK_PI)) { |
|||
*l = 0; |
|||
__syscall(SYS_futex, l, FUTEX_WAKE, 1); |
|||
} |
|||
while (a_swap(l, 1)) __wait(l, l+1, 1, 1); |
|||
} |
|||
|
|||
void __unlock(volatile int *l) |
|||
{ |
|||
int old = *l; |
|||
if (!(old & INT_MIN) && a_cas(l, old, 0)==old) return; |
|||
__unlock_2(l); |
|||
a_store(l, 0); |
|||
if (l[1]) __wake(l, 1, 1); |
|||
} |
|||
|
|||
Loading…
Reference in new issue