Skip to content

Commit

Permalink
futex: Always cleanup owner tid in unlock_pi
Browse files Browse the repository at this point in the history
If the owner died bit is set at futex_unlock_pi, we currently do not
cleanup the user space futex.  So the owner TID of the current owner
(the unlocker) persists.  That's observable inconsistant state,
especially when the ownership of the pi state got transferred.

Clean it up unconditionally.

Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Cc: Kees Cook <keescook@chromium.org>
Cc: Will Drewry <wad@chromium.org>
Cc: Darren Hart <dvhart@linux.intel.com>
Cc: stable@vger.kernel.org
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
(cherry picked from commit 13fbca4)
[wt: adjusted context - cmpxchg_futex_value_locked() takes 3 args]
Signed-off-by: Willy Tarreau <w@1wt.eu>
  • Loading branch information
Thomas Gleixner authored and Willy Tarreau committed Jun 18, 2014
1 parent 523b5a5 commit 5622af0
Showing 1 changed file with 19 additions and 23 deletions.
42 changes: 19 additions & 23 deletions kernel/futex.c
Original file line number Diff line number Diff line change
Expand Up @@ -827,6 +827,7 @@ static int wake_futex_pi(u32 __user *uaddr, u32 uval, struct futex_q *this)
struct task_struct *new_owner;
struct futex_pi_state *pi_state = this->pi_state;
u32 curval, newval;
int ret = 0;

if (!pi_state)
return -EINVAL;
Expand All @@ -851,25 +852,21 @@ static int wake_futex_pi(u32 __user *uaddr, u32 uval, struct futex_q *this)
new_owner = this->task;

/*
* We pass it to the next owner. (The WAITERS bit is always
* kept enabled while there is PI state around. We must also
* preserve the owner died bit.)
* We pass it to the next owner. The WAITERS bit is always
* kept enabled while there is PI state around. We cleanup the
* owner died bit, because we are the owner.
*/
if (!(uval & FUTEX_OWNER_DIED)) {
int ret = 0;

newval = FUTEX_WAITERS | task_pid_vnr(new_owner);
newval = FUTEX_WAITERS | task_pid_vnr(new_owner);

curval = cmpxchg_futex_value_locked(uaddr, uval, newval);
curval = cmpxchg_futex_value_locked(uaddr, uval, newval);

if (curval == -EFAULT)
ret = -EFAULT;
else if (curval != uval)
ret = -EINVAL;
if (ret) {
spin_unlock(&pi_state->pi_mutex.wait_lock);
return ret;
}
if (curval == -EFAULT)
ret = -EFAULT;
else if (curval != uval)
ret = -EINVAL;
if (ret) {
spin_unlock(&pi_state->pi_mutex.wait_lock);
return ret;
}

spin_lock_irq(&pi_state->owner->pi_lock);
Expand Down Expand Up @@ -2133,9 +2130,10 @@ static int futex_unlock_pi(u32 __user *uaddr, int fshared)
/*
* To avoid races, try to do the TID -> 0 atomic transition
* again. If it succeeds then we can return without waking
* anyone else up:
* anyone else up. We only try this if neither the waiters nor
* the owner died bit are set.
*/
if (!(uval & FUTEX_OWNER_DIED))
if (!(uval & ~FUTEX_TID_MASK))
uval = cmpxchg_futex_value_locked(uaddr, task_pid_vnr(current), 0);


Expand Down Expand Up @@ -2170,11 +2168,9 @@ static int futex_unlock_pi(u32 __user *uaddr, int fshared)
/*
* No waiters - kernel unlocks the futex:
*/
if (!(uval & FUTEX_OWNER_DIED)) {
ret = unlock_futex_pi(uaddr, uval);
if (ret == -EFAULT)
goto pi_faulted;
}
ret = unlock_futex_pi(uaddr, uval);
if (ret == -EFAULT)
goto pi_faulted;

out_unlock:
spin_unlock(&hb->lock);
Expand Down

0 comments on commit 5622af0

Please sign in to comment.