diff options
author | Thomas Gleixner <tglx@linutronix.de> | 2007-06-08 16:46:57 -0400 |
---|---|---|
committer | Linus Torvalds <torvalds@woody.linux-foundation.org> | 2007-06-08 20:23:34 -0400 |
commit | c0d1d2bf5a28f78def7b68ca1eb5ba31aafd43a1 (patch) | |
tree | c51260793d12005dcc244a1304193ce9898ed9cc /kernel/rtmutex.c | |
parent | 51b94d2a5a90d4800e74d7348bcde098a28f4fb3 (diff) |
rt-mutex: fix stale return value
Alexey Kuznetsov found some problems in the pi-futex code.
The major problem is a stale return value in rt_mutex_slowlock():
When the pi chain walk returns -EDEADLK, but the waiter was woken up during
the phases where the locks were dropped, the rtmutex could be acquired, but
due to the stale return value -EDEADLK returned to the caller.
Reset the return value in the retry path.
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Acked-by: Ingo Molnar <mingo@elte.hu>
Cc: Steven Rostedt <rostedt@goodmis.org>
Cc: Alexey Kuznetsov <kuznet@ms2.inr.ac.ru>
Cc: Ulrich Drepper <drepper@redhat.com>
Cc: Eric Dumazet <dada1@cosmosbay.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'kernel/rtmutex.c')
-rw-r--r-- | kernel/rtmutex.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/kernel/rtmutex.c b/kernel/rtmutex.c index 12879f6c1ec3..a273183c37a0 100644 --- a/kernel/rtmutex.c +++ b/kernel/rtmutex.c | |||
@@ -636,9 +636,16 @@ rt_mutex_slowlock(struct rt_mutex *lock, int state, | |||
636 | * all over without going into schedule to try | 636 | * all over without going into schedule to try |
637 | * to get the lock now: | 637 | * to get the lock now: |
638 | */ | 638 | */ |
639 | if (unlikely(!waiter.task)) | 639 | if (unlikely(!waiter.task)) { |
640 | /* | ||
641 | * Reset the return value. We might | ||
642 | * have returned with -EDEADLK and the | ||
643 | * owner released the lock while we | ||
644 | * were walking the pi chain. | ||
645 | */ | ||
646 | ret = 0; | ||
640 | continue; | 647 | continue; |
641 | 648 | } | |
642 | if (unlikely(ret)) | 649 | if (unlikely(ret)) |
643 | break; | 650 | break; |
644 | } | 651 | } |