diff options
| author |   Carlos O'Donell <carlos@redhat.com> | 2017-07-29 00:02:03 -0400 |
|---|---|---|
| committer |   Sergei Trofimovich <slyfox@gentoo.org> | 2018-03-03 17:08:38 +0000 |
| commit | 5c90b3f269895de4467fc621bf3a2c195a507867 (patch) | |
| tree | 75be903e052d78b4ba04c6cadb675047277da572 /nptl/pthread_mutex_timedlock.c | |
| parent | locale-gen: suppress ignored error when emptying already empty directory (diff) | |
| download | glibc-b669652855e50ef50704a94f9096f3fee54637a7.tar.gz glibc-b669652855e50ef50704a94f9096f3fee54637a7.tar.bz2 glibc-b669652855e50ef50704a94f9096f3fee54637a7.zip | |
mutex: Fix robust mutex lock acquire (Bug 21778)gentoo/glibc-2.25-14
65810f0ef05e8c9e333f17a44e77808b163ca298 fixed a robust mutex bug but
introduced BZ 21778: if the CAS used to try to acquire a lock fails, the
expected value is not updated, which breaks other cases in the loce
acquisition loop. The fix is to simply update the expected value with
the value returned by the CAS, which ensures that behavior is as if the
first case with the CAS never happened (if the CAS fails).
This is a regression introduced in the last release.
Tested on x86_64, i686, ppc64, ppc64le, s390x, aarch64, armv7hl.
Signed-off-by: Andrea Arcangeli <aarcange@redhat.com>
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Diffstat (limited to 'nptl/pthread_mutex_timedlock.c')
| -rw-r--r-- | nptl/pthread_mutex_timedlock.c | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/nptl/pthread_mutex_timedlock.c b/nptl/pthread_mutex_timedlock.c index a4beb7b0dc..dd88cc4ec9 100644 --- a/nptl/pthread_mutex_timedlock.c +++ b/nptl/pthread_mutex_timedlock.c @@ -154,11 +154,14 @@ pthread_mutex_timedlock (pthread_mutex_t *mutex, { /* Try to acquire the lock through a CAS from 0 (not acquired) to our TID | assume_other_futex_waiters. */ - if (__glibc_likely ((oldval == 0) - && (atomic_compare_and_exchange_bool_acq - (&mutex->__data.__lock, - id | assume_other_futex_waiters, 0) == 0))) - break; + if (__glibc_likely (oldval == 0)) + { + oldval + = atomic_compare_and_exchange_val_acq (&mutex->__data.__lock, + id | assume_other_futex_waiters, 0); + if (__glibc_likely (oldval == 0)) + break; + } if ((oldval & FUTEX_OWNER_DIED) != 0) { |