diff options
| author | Peter Zijlstra <peterz@infradead.org> | 2017-10-31 11:18:53 +0100 | 
|---|---|---|
| committer | Ingo Molnar <mingo@kernel.org> | 2017-11-01 09:05:00 +0100 | 
| commit | 153fbd1226fb30b8630802aa5047b8af5ef53c9f (patch) | |
| tree | 7ef6b0bf8b61afee4dd6ddc430ee3f512a1ba828 /scripts/gdb/linux/lists.py | |
| parent | 5f479447d983111c039f1d6d958553c1ad1b2ff1 (diff) | |
futex: Fix more put_pi_state() vs. exit_pi_state_list() races
Dmitry (through syzbot) reported being able to trigger the WARN in
get_pi_state() and a use-after-free on:
	raw_spin_lock_irq(&pi_state->pi_mutex.wait_lock);
Both are due to this race:
  exit_pi_state_list()				put_pi_state()
  lock(&curr->pi_lock)
  while() {
	pi_state = list_first_entry(head);
	hb = hash_futex(&pi_state->key);
	unlock(&curr->pi_lock);
						dec_and_test(&pi_state->refcount);
	lock(&hb->lock)
	lock(&pi_state->pi_mutex.wait_lock)	// uaf if pi_state free'd
	lock(&curr->pi_lock);
	....
	unlock(&curr->pi_lock);
	get_pi_state();				// WARN; refcount==0
The problem is we take the reference count too late, and don't allow it
being 0. Fix it by using inc_not_zero() and simply retrying the loop
when we fail to get a refcount. In that case put_pi_state() should
remove the entry from the list.
Reported-by: Dmitry Vyukov <dvyukov@google.com>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Reviewed-by: Thomas Gleixner <tglx@linutronix.de>
Cc: Gratian Crisan <gratian.crisan@ni.com>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: dvhart@infradead.org
Cc: syzbot <bot+2af19c9e1ffe4d4ee1d16c56ae7580feaee75765@syzkaller.appspotmail.com>
Cc: syzkaller-bugs@googlegroups.com
Cc: <stable@vger.kernel.org>
Fixes: c74aef2d06a9 ("futex: Fix pi_state->owner serialization")
Link: http://lkml.kernel.org/r/20171031101853.xpfh72y643kdfhjs@hirez.programming.kicks-ass.net
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'scripts/gdb/linux/lists.py')
0 files changed, 0 insertions, 0 deletions
