futex_key reference accounting fixes
cover futex_key reference accounting fixes
This series fixes several problems with symmetric reference counting of the futex keys.
---
Darren Hart (2):
futex: correct futex_requeue futex key ref counting in requeue loop
futex: make futex_(get|put)_key() calls symmetric
kernel/futex.c | 68 ++++++++++++++++++++++++++++++-------------------------- 1 files changed, 36 insertions(+), 32 deletions(-)
Signature · 3 lines
Darren Hart IBM Linux Technology Center Real-Time Linux Team
PATCH 1/2 futex: make futex_(get|put)_key() calls symmetric
Impact: cleanup
This patch makes the calls to futex_get_key_refs() and futex_drop_key_refs() explicitly symmetric by only "putting" keys we successfully "got". Also cleanup a couple return points that didn't "put" after a successful "get".
Build and boot tested on an x86_64 system.
---
kernel/futex.c | 66 ++++++++++++++++++++++++++++++-------------------------- 1 files changed, 35 insertions(+), 31 deletions(-)
kernel/futex.c +35 -31
@@ -723,8 +723,8 @@ static int futex_wake(u32 __user *uaddr, int fshared, int nr_wake, u32 bitset) }spin_unlock (&hb->lock); -out:put_futex_key (fshared, &key); +out:return ret; }
@@ -748,7 +748,7 @@ retryfull: goto out; ret =get_futex_key (uaddr2, fshared, &key2);if (unlikely (ret !=0 )) - goto out; + goto out_put_key1; hb1 =hash_futex (&key1); hb2 =hash_futex (&key2);
@@ -770,12 +770,12 @@ retry:* but we might get them from range checking */ ret = op_ret; - goto out; + goto out_put_keys;#endif if (unlikely (op_ret != -EFAULT )) { ret = op_ret; - goto out; + goto out_put_keys; }/*
@@ -789,7 +789,7 @@ retry: ret =futex_handle_fault ((unsigned long )uaddr2, attempt);if (ret) - goto out; + goto out_put_keys; goto retry; }
@@ -827,10 +827,11 @@ retry:spin_unlock (&hb1->lock);if (hb1 != hb2)spin_unlock (&hb2->lock); -out: +out_put_keys:put_futex_key (fshared, &key2); +out_put_key1:put_futex_key (fshared, &key1); - +out:return ret; }
@@ -847,13 +848,13 @@ static int futex_requeue(u32 __user *uaddr1, int fshared, u32 __user *uaddr2,struct futex_q *this, *next;int ret, drop_count =0 ; - retry: +retry: ret =get_futex_key (uaddr1, fshared, &key1);if (unlikely (ret !=0 )) goto out; ret =get_futex_key (uaddr2, fshared, &key2);if (unlikely (ret !=0 )) - goto out; + goto out_put_key1; hb1 =hash_futex (&key1); hb2 =hash_futex (&key2);
@@ -875,7 +876,7 @@ static int futex_requeue(u32 __user *uaddr1, int fshared, u32 __user *uaddr2,if (!ret) goto retry; -return ret; + goto out_put_keys; }if (curval != *cmpval) { ret = -EAGAIN ;
@@ -920,9 +921,10 @@ out_unlock:while (--drop_count >=0 )drop_futex_key_refs (&key1); -out:put_futex_key (fshared, &key2); +out_put_key1:put_futex_key (fshared, &key1); +out:return ret; }
@@ -983,7 +985,7 @@ static int unqueue_me(struct futex_q *q)int ret =0 ;/* In the common case we don't take the spinlock, which is nice. */ - retry: +retry: lock_ptr = q->lock_ptr;barrier ();if (lock_ptr !=NULL ) {
@@ -1165,11 +1167,11 @@ static int futex_wait(u32 __user *uaddr, int fshared, q.pi_state =NULL ; q.bitset = bitset; - retry: +retry: q.key =FUTEX_KEY_INIT ; ret =get_futex_key (uaddr, fshared, &q.key);if (unlikely (ret !=0 )) - goto out_release_sem; + goto out; hb =queue_lock (&q);
@@ -1197,6 +1199,7 @@ static int futex_wait(u32 __user *uaddr, int fshared,if (unlikely (ret)) {queue_unlock (&q, hb); +put_futex_key (fshared, &q.key); ret =get_user (uval, uaddr);
@@ -1206,7 +1209,7 @@ static int futex_wait(u32 __user *uaddr, int fshared, } ret = -EWOULDBLOCK ;if (uval != val) - goto out_unlock_release_sem; + goto out_unlock_put_key;/* Only actually queue if *uaddr contained val. */ queue_me (&q, hb);
@@ -1298,11 +1301,11 @@ static int futex_wait(u32 __user *uaddr, int fshared,return -ERESTART_RESTARTBLOCK ; } - out_unlock_release_sem: +out_unlock_put_key:queue_unlock (&q, hb); - - out_release_sem:put_futex_key (fshared, &q.key); + +out:return ret; }
@@ -1351,16 +1354,16 @@ static int futex_lock_pi(u32 __user *uaddr, int fshared, } q.pi_state =NULL ; - retry: +retry: q.key =FUTEX_KEY_INIT ; ret =get_futex_key (uaddr, fshared, &q.key);if (unlikely (ret !=0 )) - goto out_release_sem; + goto out; - retry_unlocked: +retry_unlocked: hb =queue_lock (&q); - retry_locked: +retry_locked: ret = lock_taken =0 ;/*
@@ -1381,14 +1384,14 @@ static int futex_lock_pi(u32 __user *uaddr, int fshared,*/ if (unlikely ((curval &FUTEX_TID_MASK ) ==task_pid_vnr (current))) { ret = -EDEADLK ; - goto out_unlock_release_sem; + goto out_unlock_put_key; }/* * Surprise - we got the lock. Just return to userspace: */ if (unlikely (!curval)) - goto out_unlock_release_sem; + goto out_unlock_put_key; uval = curval;
@@ -1424,7 +1427,7 @@ static int futex_lock_pi(u32 __user *uaddr, int fshared,* We took the lock due to owner died take over. */ if (unlikely (lock_taken)) - goto out_unlock_release_sem; + goto out_unlock_put_key;/* * We dont have the lock. Look up the PI state (or create it if
@@ -1463,7 +1466,7 @@ static int futex_lock_pi(u32 __user *uaddr, int fshared, goto retry_locked; }default : - goto out_unlock_release_sem; + goto out_unlock_put_key; } }
@@ -1554,16 +1557,17 @@ static int futex_lock_pi(u32 __user *uaddr, int fshared,destroy_hrtimer_on_stack (&to->timer);return ret != -EINTR ? ret : -ERESTARTNOINTR ; - out_unlock_release_sem: +out_unlock_put_key:queue_unlock (&q, hb); - out_release_sem: +out_put_key:put_futex_key (fshared, &q.key); +out:if (to)destroy_hrtimer_on_stack (&to->timer);return ret; - uaddr_faulted: +uaddr_faulted:/* * We have to r/w *(int __user *)uaddr, and we have to modify it * atomically. Therefore, if we continue to fault after get_user()
@@ -1576,7 +1580,7 @@ static int futex_lock_pi(u32 __user *uaddr, int fshared,if (attempt++) { ret =futex_handle_fault ((unsigned long )uaddr, attempt);if (ret) - goto out_release_sem; + goto out_put_key; goto retry_unlocked; }
@@ -1668,9 +1672,9 @@ retry_unlocked: out_unlock:spin_unlock (&hb->lock); -out:put_futex_key (fshared, &key); +out:return ret; pi_faulted:
PATCH 2/2 futex: correct futex_requeue futex key ref counting in requeue loop
In reply to Darren HartThe requeue loop takes multiple references to key2, but the corresponding put loop decrements the refs for key1. This patch corrects the accounting.
Build and boot tested on an x86_64 system.
---
kernel/futex.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
kernel/futex.c +1 -1
@@ -919,7 +919,7 @@ out_unlock:/* drop_futex_key_refs() must be called outside the spinlocks. */ while (--drop_count >=0 ) -drop_futex_key_refs (&key1); +drop_futex_key_refs (&key2);put_futex_key (fshared, &key2); out_put_key1:
Re: [PATCH 1/2] futex: make futex_(get|put)_key() calls symmetric
In reply to Darren HartQuoted 7 lines · Darren Hart
Impact: cleanup
This patch makes the calls to
futex_get_key_refs()andfutex_drop_key_refs()explicitly symmetric by only "putting" keys we successfully "got". Also cleanup a couple return points that didn't "put" after a successful "get".Build and boot tested on an
x86_64system.
Eeek. Apologies, I thought I had built/booted this one, but a test for another patch later today shows I must not have as I am missing a label and the build failed. Updated patch below, this one DOES build and boot. Apologies!
futex: make futex_(get|put)_key() calls symmetric
From: Darren Hart <[email protected]>
Impact: cleanup
This patch makes the calls to futex_get_key_refs() and futex_drop_key_refs() explicitly symmetric by only "putting" keys we successfully "got". Also cleanup a couple return points that didn't "put" after a successful "get".
Build and boot tested on an x86_64 system.
---
kernel/futex.c | 67 ++++++++++++++++++++++++++++++-------------------------- 1 files changed, 36 insertions(+), 31 deletions(-)
kernel/futex.c +0 -0
@@ -723,8 +723,8 @@ static int futex_wake(u32 __user *uaddr, int
fshared, int nr_wake, u32 bitset)
}
spin_unlock(&hb->lock);
-out:
put_futex_key(fshared, &key);
+out:
return ret;
}
@@ -748,7 +748,7 @@ retryfull:
goto out;
ret = get_futex_key(uaddr2, fshared, &key2); if (unlikely(ret != 0))
- goto out;
+ goto out_put_key1;
hb1 = hash_futex(&key1);
hb2 = hash_futex(&key2);
@@ -770,12 +770,12 @@ retry:
* but we might get them from range checking */
ret = op_ret;
- goto out;
+ goto out_put_keys;
#endif
if (unlikely(op_ret != -EFAULT)) {
ret = op_ret;
- goto out;
+ goto out_put_keys;
}
/*
@@ -789,7 +789,7 @@ retry:
ret = futex_handle_fault((unsigned long)uaddr2,
attempt);
if (ret)
- goto out;
+ goto out_put_keys;
goto retry;
}
@@ -827,10 +827,11 @@ retry:
spin_unlock(&hb1->lock);
if (hb1 != hb2)
spin_unlock(&hb2->lock);
-out:
+out_put_keys:
put_futex_key(fshared, &key2);
+out_put_key1:
put_futex_key(fshared, &key1);
-
+out:
return ret;
}
@@ -847,13 +848,13 @@ static int futex_requeue(u32 __user *uaddr1, int fshared, u32 __user *uaddr2,
struct futex_q *this, *next;
int ret, drop_count = 0;
- retry:
+retry:
ret = get_futex_key(uaddr1, fshared, &key1); if (unlikely(ret != 0))
goto out;
ret = get_futex_key(uaddr2, fshared, &key2); if (unlikely(ret != 0))
- goto out;
+ goto out_put_key1;
hb1 = hash_futex(&key1);
hb2 = hash_futex(&key2);
@@ -875,7 +876,7 @@ static int futex_requeue(u32 __user *uaddr1, int fshared, u32 __user *uaddr2,
if (!ret)
goto retry;
- return ret;
+ goto out_put_keys;
}
if (curval != *cmpval) {
ret = -EAGAIN;
@@ -920,9 +921,11 @@ out_unlock:
while (--drop_count >= 0)
drop_futex_key_refs(&key1);
-out:
+out_put_keys:
put_futex_key(fshared, &key2);
+out_put_key1:
put_futex_key(fshared, &key1);
+out:
return ret;
}
@@ -983,7 +986,7 @@ static int unqueue_me(struct futex_q *q)
int ret = 0;
/* In the common case we don't take the spinlock, which is nice. */
- retry:
+retry:
lock_ptr = q->lock_ptr;
barrier();
if (lock_ptr != NULL) {
@@ -1165,11 +1168,11 @@ static int futex_wait(u32 __user *uaddr, int fshared,
q.pi_state = NULL;
q.bitset = bitset;
- retry:
+retry:
q.key = FUTEX_KEY_INIT;
ret = get_futex_key(uaddr, fshared, &q.key); if (unlikely(ret != 0))
- goto out_release_sem;
+ goto out;
hb = queue_lock(&q);
@@ -1197,6 +1200,7 @@ static int futex_wait(u32 __user *uaddr, int fshared,
if (unlikely(ret)) {
queue_unlock(&q, hb);
+ put_futex_key(fshared, &q.key);
ret = get_user(uval, uaddr);
@@ -1206,7 +1210,7 @@ static int futex_wait(u32 __user *uaddr, int fshared,
}
ret = -EWOULDBLOCK;
if (uval != val)
- goto out_unlock_release_sem;
+ goto out_unlock_put_key;
/* Only actually queue if *uaddr contained val. */ queue_me(&q, hb);
@@ -1298,11 +1302,11 @@ static int futex_wait(u32 __user *uaddr, int fshared,
return -ERESTART_RESTARTBLOCK;
}
- out_unlock_release_sem:
+out_unlock_put_key:
queue_unlock(&q, hb);
-
- out_release_sem:
put_futex_key(fshared, &q.key);
+
+out:
return ret;
}
@@ -1351,16 +1355,16 @@ static int futex_lock_pi(u32 __user *uaddr, int fshared,
}
q.pi_state = NULL;
- retry:
+retry:
q.key = FUTEX_KEY_INIT;
ret = get_futex_key(uaddr, fshared, &q.key); if (unlikely(ret != 0))
- goto out_release_sem;
+ goto out;
- retry_unlocked:
+retry_unlocked:
hb = queue_lock(&q);
- retry_locked:
+retry_locked:
ret = lock_taken = 0;
/*
@@ -1381,14 +1385,14 @@ static int futex_lock_pi(u32 __user *uaddr, int fshared,
*/
if (unlikely((curval & FUTEX_TID_MASK) == task_pid_vnr(current))) {
ret = -EDEADLK;
- goto out_unlock_release_sem;
+ goto out_unlock_put_key;
}
/*
* Surprise - we got the lock. Just return to userspace:
*/
if (unlikely(!curval))
- goto out_unlock_release_sem;
+ goto out_unlock_put_key;
uval = curval;
@@ -1424,7 +1428,7 @@ static int futex_lock_pi(u32 __user *uaddr, int fshared,
* We took the lock due to owner died take over.
*/
if (unlikely(lock_taken))
- goto out_unlock_release_sem;
+ goto out_unlock_put_key;
/*
* We dont have the lock. Look up the PI state (or create it if
@@ -1463,7 +1467,7 @@ static int futex_lock_pi(u32 __user *uaddr, int fshared,
goto retry_locked;
}
default:
- goto out_unlock_release_sem;
+ goto out_unlock_put_key;
}
}
@@ -1554,16 +1558,17 @@ static int futex_lock_pi(u32 __user *uaddr, int fshared,
destroy_hrtimer_on_stack(&to->timer);
return ret != -EINTR ? ret : -ERESTARTNOINTR;
- out_unlock_release_sem:
+out_unlock_put_key:
queue_unlock(&q, hb);
- out_release_sem:
+out_put_key:
put_futex_key(fshared, &q.key);
+out:
if (to)
destroy_hrtimer_on_stack(&to->timer);
return ret;
- uaddr_faulted:
+uaddr_faulted:
/*
* We have to r/w *(int __user *)uaddr, and we have to modify it
* atomically. Therefore, if we continue to fault after get_user()
@@ -1576,7 +1581,7 @@ static int futex_lock_pi(u32 __user *uaddr, int fshared,
if (attempt++) {
ret = futex_handle_fault((unsigned long)uaddr, attempt); if (ret)
- goto out_release_sem;
+ goto out_put_key;
goto retry_unlocked;
}
@@ -1668,9 +1673,9 @@ retry_unlocked:
out_unlock:
spin_unlock(&hb->lock);
-out:
put_futex_key(fshared, &key);
+out:
return ret;
pi_faulted:
Ingo Molnar
AppliedQuoted 5 lines · Darren Hart
This series fixes several problems with symmetric reference counting of the futex keys.
---
Quoted 7 lines
Darren Hart (2):
futex: correctfutex_requeuefutex key ref counting in requeue loop
futex: make futex_(get|put)_key() calls symmetrickernel/futex.c | 68 ++++++++++++++++++++++++++++++-------------------------- 1 files changed, 36 insertions(+), 32 deletions(-)
applied to tip/core/futexes, thanks Darren!
Ingo
Re: [PATCH 2/2] futex: correct futex_requeue futex key ref counting in requeue loop
In reply to Darren HartQuoted 20 lines · Darren Hart
The requeue loop takes multiple references to key2, but the corresponding put loop decrements the refs for key1. This patch corrects the accounting.
Build and boot tested on an
x86_64system.Signed-off-by Darren Hart <[email protected]>Cc Peter Zijlstra <[email protected]>Cc Thomas Gleixner <[email protected]>Cc Rusty Russell <[email protected]>---
kernel/futex.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)kernel/futex.c +0
-0
kernel/futex.c out_unlock: · line 925
Quoted 8 lines
kernel/futex.c +1
-1@@ -919,7 +919,7 @@ out_unlock:/* drop_futex_key_refs() must be called outside the spinlocks. */ while (--drop_count >=0 ) -drop_futex_key_refs (&key1); +drop_futex_key_refs (&key2);put_futex_key (fshared, &key2); out_put_key1:
Ugh, so I'm having second thoughts about this patch. I believe what is happening here is that the requeue loop requeues each waiter from one futex (key1) to another (key2). It rightly takes a reference to the futex at key2 and then decrements the references to key1 by drop_count (since the waiters now reference key2, not key1). The newly taken key2 references will be dropped in futex_wait() when each waiter is woken up and takes the futex.
I apologize for the confusion on this. Thanks for suggesting I send this patch out independently from the rest Peter ;-)
If we can come to a consensus on this, I suggest pulling this patch from tip/core/futexes.
Signature · 3 lines
Darren Hart IBM Linux Technology Center Real-Time Linux Team
Re: [PATCH 2/2] futex: correct futex_requeue futex key ref counting in requeue loop
Quoted 38 lines · Darren Hart
Quoted 20 lines · Darren Hart
The requeue loop takes multiple references to key2, but the corresponding put loop decrements the refs for key1. This patch corrects the accounting.
Build and boot tested on an
x86_64system.Signed-off-by Darren Hart <[email protected]>Cc Peter Zijlstra <[email protected]>Cc Thomas Gleixner <[email protected]>Cc Rusty Russell <[email protected]>---
kernel/futex.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)kernel/futex.c +0
-0kernel/futex.c out_unlock: · line 925
Quoted 8 lines
kernel/futex.c +1
-1@@ -919,7 +919,7 @@ out_unlock:/* drop_futex_key_refs() must be called outside the spinlocks. */ while (--drop_count >=0 ) -drop_futex_key_refs (&key1); +drop_futex_key_refs (&key2);put_futex_key (fshared, &key2); out_put_key1:Ugh, so I'm having second thoughts about this patch. I believe what is happening here is that the requeue loop requeues each waiter from one futex (key1) to another (key2). It rightly takes a reference to the futex at key2 and then decrements the references to key1 by
drop_count(since the waiters now reference key2, not key1). The newly taken key2 references will be dropped infutex_wait()when each waiter is woken up and takes the futex.
Quoted 5 lines
I apologize for the confusion on this. Thanks for suggesting I send this patch out independently from the rest Peter ;-)
If we can come to a consensus on this, I suggest pulling this patch from tip/core/futexes.
ok, i zapped it. The patches remaining are:
90621c4: futex: catch certain assymetric (get|put)_futex_key calls 42d35d4: futex: make futex_(get|put)_key() calls symmetric
Ingo