From b634486d57a14b53f1cfcf739e41ddf826e51977 Mon Sep 17 00:00:00 2001 From: Torvald Riegel Date: Tue, 28 Apr 2015 23:24:36 +0200 Subject: Fix missing wake-ups in pthread_rwlock_rdlock. This adds wake-ups that would be missing if assuming that for a non-writer-preferring rwlock, if one thread has acquired a rdlock and does not release it, another thread will eventually acquire a rdlock too despite concurrent write lock acquisition attempts. BZ 14958 is about supporting this assumption. Strictly speaking, this isn't a valid test case, but nonetheless worth supporting (see comment 7 of BZ 14958). --- nptl/pthread_rwlock_timedrdlock.c | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'nptl/pthread_rwlock_timedrdlock.c') diff --git a/nptl/pthread_rwlock_timedrdlock.c b/nptl/pthread_rwlock_timedrdlock.c index 0212b49adb..63fb313762 100644 --- a/nptl/pthread_rwlock_timedrdlock.c +++ b/nptl/pthread_rwlock_timedrdlock.c @@ -23,6 +23,7 @@ #include #include #include +#include /* Try to acquire read lock for RWLOCK or return after specfied time. */ @@ -32,6 +33,7 @@ pthread_rwlock_timedrdlock (rwlock, abstime) const struct timespec *abstime; { int result = 0; + bool wake = false; /* Make sure we are alone. */ lll_lock(rwlock->__data.__lock, rwlock->__data.__shared); @@ -53,6 +55,17 @@ pthread_rwlock_timedrdlock (rwlock, abstime) --rwlock->__data.__nr_readers; result = EAGAIN; } + else + { + /* See pthread_rwlock_rdlock. */ + if (rwlock->__data.__nr_readers == 1 + && rwlock->__data.__nr_readers_queued > 0 + && rwlock->__data.__nr_writers_queued > 0) + { + ++rwlock->__data.__readers_wakeup; + wake = true; + } + } break; } @@ -153,5 +166,9 @@ pthread_rwlock_timedrdlock (rwlock, abstime) /* We are done, free the lock. */ lll_unlock (rwlock->__data.__lock, rwlock->__data.__shared); + if (wake) + lll_futex_wake (&rwlock->__data.__readers_wakeup, INT_MAX, + rwlock->__data.__shared); + return result; } -- cgit v1.2.3