diff options
author | Oleg Nesterov <oleg@redhat.com> | 2016-09-06 10:00:47 -0400 |
---|---|---|
committer | Ingo Molnar <mingo@kernel.org> | 2016-09-30 04:53:19 -0400 |
commit | 38a3e1fc1dac480f3672ab22fc97e1f995c80ed7 (patch) | |
tree | a0bc0bb9932d0acaee5e2195260dcefae46d7348 /include/linux/wait.h | |
parent | ab522e33f91799661aad47bebb691f241a9f6bb8 (diff) |
sched/wait: Fix abort_exclusive_wait(), it should pass TASK_NORMAL to wake_up()
Otherwise this logic only works if mode is "compatible" with another
exclusive waiter.
If some wq has both TASK_INTERRUPTIBLE and TASK_UNINTERRUPTIBLE waiters,
abort_exclusive_wait() won't wait an uninterruptible waiter.
The main user is __wait_on_bit_lock() and currently it is fine but only
because TASK_KILLABLE includes TASK_UNINTERRUPTIBLE and we do not have
lock_page_interruptible() yet.
Just use TASK_NORMAL and remove the "mode" arg from abort_exclusive_wait().
Yes, this means that (say) wake_up_interruptible() can wake up the non-
interruptible waiter(s), but I think this is fine. And in fact I think
that abort_exclusive_wait() must die, see the next change.
Signed-off-by: Oleg Nesterov <oleg@redhat.com>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Cc: Al Viro <viro@ZenIV.linux.org.uk>
Cc: Bart Van Assche <bvanassche@acm.org>
Cc: Johannes Weiner <hannes@cmpxchg.org>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Mike Galbraith <efault@gmx.de>
Cc: Neil Brown <neilb@suse.de>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Link: http://lkml.kernel.org/r/20160906140047.GA6157@redhat.com
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'include/linux/wait.h')
-rw-r--r-- | include/linux/wait.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/linux/wait.h b/include/linux/wait.h index c3ff74d764fa..e4cfd1ed726e 100644 --- a/include/linux/wait.h +++ b/include/linux/wait.h | |||
@@ -281,8 +281,8 @@ wait_queue_head_t *bit_waitqueue(void *, int); | |||
281 | if (___wait_is_interruptible(state) && __int) { \ | 281 | if (___wait_is_interruptible(state) && __int) { \ |
282 | __ret = __int; \ | 282 | __ret = __int; \ |
283 | if (exclusive) { \ | 283 | if (exclusive) { \ |
284 | abort_exclusive_wait(&wq, &__wait, \ | 284 | abort_exclusive_wait(&wq, &__wait, \ |
285 | state, NULL); \ | 285 | NULL); \ |
286 | goto __out; \ | 286 | goto __out; \ |
287 | } \ | 287 | } \ |
288 | break; \ | 288 | break; \ |
@@ -989,7 +989,7 @@ void prepare_to_wait(wait_queue_head_t *q, wait_queue_t *wait, int state); | |||
989 | void prepare_to_wait_exclusive(wait_queue_head_t *q, wait_queue_t *wait, int state); | 989 | void prepare_to_wait_exclusive(wait_queue_head_t *q, wait_queue_t *wait, int state); |
990 | long prepare_to_wait_event(wait_queue_head_t *q, wait_queue_t *wait, int state); | 990 | long prepare_to_wait_event(wait_queue_head_t *q, wait_queue_t *wait, int state); |
991 | void finish_wait(wait_queue_head_t *q, wait_queue_t *wait); | 991 | void finish_wait(wait_queue_head_t *q, wait_queue_t *wait); |
992 | void abort_exclusive_wait(wait_queue_head_t *q, wait_queue_t *wait, unsigned int mode, void *key); | 992 | void abort_exclusive_wait(wait_queue_head_t *q, wait_queue_t *wait, void *key); |
993 | long wait_woken(wait_queue_t *wait, unsigned mode, long timeout); | 993 | long wait_woken(wait_queue_t *wait, unsigned mode, long timeout); |
994 | int woken_wake_function(wait_queue_t *wait, unsigned mode, int sync, void *key); | 994 | int woken_wake_function(wait_queue_t *wait, unsigned mode, int sync, void *key); |
995 | int autoremove_wake_function(wait_queue_t *wait, unsigned mode, int sync, void *key); | 995 | int autoremove_wake_function(wait_queue_t *wait, unsigned mode, int sync, void *key); |