xref: /linux-6.15/kernel/futex/waitwake.c (revision 5e0e02f0)
1a046f1a0SPeter Zijlstra // SPDX-License-Identifier: GPL-2.0-or-later
2a046f1a0SPeter Zijlstra 
38b7787a5SKent Overstreet #include <linux/plist.h>
4a046f1a0SPeter Zijlstra #include <linux/sched/task.h>
5a046f1a0SPeter Zijlstra #include <linux/sched/signal.h>
6a046f1a0SPeter Zijlstra #include <linux/freezer.h>
7a046f1a0SPeter Zijlstra 
8a046f1a0SPeter Zijlstra #include "futex.h"
9a046f1a0SPeter Zijlstra 
10a046f1a0SPeter Zijlstra /*
11a046f1a0SPeter Zijlstra  * READ this before attempting to hack on futexes!
12a046f1a0SPeter Zijlstra  *
13a046f1a0SPeter Zijlstra  * Basic futex operation and ordering guarantees
14a046f1a0SPeter Zijlstra  * =============================================
15a046f1a0SPeter Zijlstra  *
16a046f1a0SPeter Zijlstra  * The waiter reads the futex value in user space and calls
17a046f1a0SPeter Zijlstra  * futex_wait(). This function computes the hash bucket and acquires
18a046f1a0SPeter Zijlstra  * the hash bucket lock. After that it reads the futex user space value
19a046f1a0SPeter Zijlstra  * again and verifies that the data has not changed. If it has not changed
20a046f1a0SPeter Zijlstra  * it enqueues itself into the hash bucket, releases the hash bucket lock
21a046f1a0SPeter Zijlstra  * and schedules.
22a046f1a0SPeter Zijlstra  *
23a046f1a0SPeter Zijlstra  * The waker side modifies the user space value of the futex and calls
24a046f1a0SPeter Zijlstra  * futex_wake(). This function computes the hash bucket and acquires the
25a046f1a0SPeter Zijlstra  * hash bucket lock. Then it looks for waiters on that futex in the hash
26a046f1a0SPeter Zijlstra  * bucket and wakes them.
27a046f1a0SPeter Zijlstra  *
28a046f1a0SPeter Zijlstra  * In futex wake up scenarios where no tasks are blocked on a futex, taking
29a046f1a0SPeter Zijlstra  * the hb spinlock can be avoided and simply return. In order for this
30a046f1a0SPeter Zijlstra  * optimization to work, ordering guarantees must exist so that the waiter
31a046f1a0SPeter Zijlstra  * being added to the list is acknowledged when the list is concurrently being
32a046f1a0SPeter Zijlstra  * checked by the waker, avoiding scenarios like the following:
33a046f1a0SPeter Zijlstra  *
34a046f1a0SPeter Zijlstra  * CPU 0                               CPU 1
35a046f1a0SPeter Zijlstra  * val = *futex;
36a046f1a0SPeter Zijlstra  * sys_futex(WAIT, futex, val);
37a046f1a0SPeter Zijlstra  *   futex_wait(futex, val);
38a046f1a0SPeter Zijlstra  *   uval = *futex;
39a046f1a0SPeter Zijlstra  *                                     *futex = newval;
40a046f1a0SPeter Zijlstra  *                                     sys_futex(WAKE, futex);
41a046f1a0SPeter Zijlstra  *                                       futex_wake(futex);
42a046f1a0SPeter Zijlstra  *                                       if (queue_empty())
43a046f1a0SPeter Zijlstra  *                                         return;
44a046f1a0SPeter Zijlstra  *   if (uval == val)
45a046f1a0SPeter Zijlstra  *      lock(hash_bucket(futex));
46a046f1a0SPeter Zijlstra  *      queue();
47a046f1a0SPeter Zijlstra  *     unlock(hash_bucket(futex));
48a046f1a0SPeter Zijlstra  *     schedule();
49a046f1a0SPeter Zijlstra  *
50a046f1a0SPeter Zijlstra  * This would cause the waiter on CPU 0 to wait forever because it
51a046f1a0SPeter Zijlstra  * missed the transition of the user space value from val to newval
52a046f1a0SPeter Zijlstra  * and the waker did not find the waiter in the hash bucket queue.
53a046f1a0SPeter Zijlstra  *
54a046f1a0SPeter Zijlstra  * The correct serialization ensures that a waiter either observes
55a046f1a0SPeter Zijlstra  * the changed user space value before blocking or is woken by a
56a046f1a0SPeter Zijlstra  * concurrent waker:
57a046f1a0SPeter Zijlstra  *
58a046f1a0SPeter Zijlstra  * CPU 0                                 CPU 1
59a046f1a0SPeter Zijlstra  * val = *futex;
60a046f1a0SPeter Zijlstra  * sys_futex(WAIT, futex, val);
61a046f1a0SPeter Zijlstra  *   futex_wait(futex, val);
62a046f1a0SPeter Zijlstra  *
63a046f1a0SPeter Zijlstra  *   waiters++; (a)
64a046f1a0SPeter Zijlstra  *   smp_mb(); (A) <-- paired with -.
65a046f1a0SPeter Zijlstra  *                                  |
66a046f1a0SPeter Zijlstra  *   lock(hash_bucket(futex));      |
67a046f1a0SPeter Zijlstra  *                                  |
68a046f1a0SPeter Zijlstra  *   uval = *futex;                 |
69a046f1a0SPeter Zijlstra  *                                  |        *futex = newval;
70a046f1a0SPeter Zijlstra  *                                  |        sys_futex(WAKE, futex);
71a046f1a0SPeter Zijlstra  *                                  |          futex_wake(futex);
72a046f1a0SPeter Zijlstra  *                                  |
73a046f1a0SPeter Zijlstra  *                                  `--------> smp_mb(); (B)
74a046f1a0SPeter Zijlstra  *   if (uval == val)
75a046f1a0SPeter Zijlstra  *     queue();
76a046f1a0SPeter Zijlstra  *     unlock(hash_bucket(futex));
77a046f1a0SPeter Zijlstra  *     schedule();                         if (waiters)
78a046f1a0SPeter Zijlstra  *                                           lock(hash_bucket(futex));
79a046f1a0SPeter Zijlstra  *   else                                    wake_waiters(futex);
80a046f1a0SPeter Zijlstra  *     waiters--; (b)                        unlock(hash_bucket(futex));
81a046f1a0SPeter Zijlstra  *
82a046f1a0SPeter Zijlstra  * Where (A) orders the waiters increment and the futex value read through
83a046f1a0SPeter Zijlstra  * atomic operations (see futex_hb_waiters_inc) and where (B) orders the write
84a046f1a0SPeter Zijlstra  * to futex and the waiters read (see futex_hb_waiters_pending()).
85a046f1a0SPeter Zijlstra  *
86a046f1a0SPeter Zijlstra  * This yields the following case (where X:=waiters, Y:=futex):
87a046f1a0SPeter Zijlstra  *
88a046f1a0SPeter Zijlstra  *	X = Y = 0
89a046f1a0SPeter Zijlstra  *
90a046f1a0SPeter Zijlstra  *	w[X]=1		w[Y]=1
91a046f1a0SPeter Zijlstra  *	MB		MB
92a046f1a0SPeter Zijlstra  *	r[Y]=y		r[X]=x
93a046f1a0SPeter Zijlstra  *
94a046f1a0SPeter Zijlstra  * Which guarantees that x==0 && y==0 is impossible; which translates back into
95a046f1a0SPeter Zijlstra  * the guarantee that we cannot both miss the futex variable change and the
96a046f1a0SPeter Zijlstra  * enqueue.
97a046f1a0SPeter Zijlstra  *
98a046f1a0SPeter Zijlstra  * Note that a new waiter is accounted for in (a) even when it is possible that
99a046f1a0SPeter Zijlstra  * the wait call can return error, in which case we backtrack from it in (b).
100a046f1a0SPeter Zijlstra  * Refer to the comment in futex_q_lock().
101a046f1a0SPeter Zijlstra  *
102a046f1a0SPeter Zijlstra  * Similarly, in order to account for waiters being requeued on another
103a046f1a0SPeter Zijlstra  * address we always increment the waiters for the destination bucket before
104a046f1a0SPeter Zijlstra  * acquiring the lock. It then decrements them again  after releasing it -
105a046f1a0SPeter Zijlstra  * the code that actually moves the futex(es) between hash buckets (requeue_futex)
106a046f1a0SPeter Zijlstra  * will do the additional required waiter count housekeeping. This is done for
107a046f1a0SPeter Zijlstra  * double_lock_hb() and double_unlock_hb(), respectively.
108a046f1a0SPeter Zijlstra  */
109a046f1a0SPeter Zijlstra 
__futex_wake_mark(struct futex_q * q)110e52c4340SJens Axboe bool __futex_wake_mark(struct futex_q *q)
111e52c4340SJens Axboe {
112e52c4340SJens Axboe 	if (WARN(q->pi_state || q->rt_waiter, "refusing to wake PI futex\n"))
113e52c4340SJens Axboe 		return false;
114e52c4340SJens Axboe 
115e52c4340SJens Axboe 	__futex_unqueue(q);
116e52c4340SJens Axboe 	/*
117e52c4340SJens Axboe 	 * The waiting task can free the futex_q as soon as q->lock_ptr = NULL
118e52c4340SJens Axboe 	 * is written, without taking any locks. This is possible in the event
119e52c4340SJens Axboe 	 * of a spurious wakeup, for example. A memory barrier is required here
120e52c4340SJens Axboe 	 * to prevent the following store to lock_ptr from getting ahead of the
121e52c4340SJens Axboe 	 * plist_del in __futex_unqueue().
122e52c4340SJens Axboe 	 */
123e52c4340SJens Axboe 	smp_store_release(&q->lock_ptr, NULL);
124e52c4340SJens Axboe 
125e52c4340SJens Axboe 	return true;
126e52c4340SJens Axboe }
127e52c4340SJens Axboe 
128a046f1a0SPeter Zijlstra /*
129a046f1a0SPeter Zijlstra  * The hash bucket lock must be held when this is called.
130a046f1a0SPeter Zijlstra  * Afterwards, the futex_q must not be accessed. Callers
131a046f1a0SPeter Zijlstra  * must ensure to later call wake_up_q() for the actual
132a046f1a0SPeter Zijlstra  * wakeups to occur.
133a046f1a0SPeter Zijlstra  */
futex_wake_mark(struct wake_q_head * wake_q,struct futex_q * q)134a046f1a0SPeter Zijlstra void futex_wake_mark(struct wake_q_head *wake_q, struct futex_q *q)
135a046f1a0SPeter Zijlstra {
136a046f1a0SPeter Zijlstra 	struct task_struct *p = q->task;
137a046f1a0SPeter Zijlstra 
138a046f1a0SPeter Zijlstra 	get_task_struct(p);
139e52c4340SJens Axboe 
140e52c4340SJens Axboe 	if (!__futex_wake_mark(q)) {
141e52c4340SJens Axboe 		put_task_struct(p);
142e52c4340SJens Axboe 		return;
143e52c4340SJens Axboe 	}
144a046f1a0SPeter Zijlstra 
145a046f1a0SPeter Zijlstra 	/*
146a046f1a0SPeter Zijlstra 	 * Queue the task for later wakeup for after we've released
147a046f1a0SPeter Zijlstra 	 * the hb->lock.
148a046f1a0SPeter Zijlstra 	 */
149a046f1a0SPeter Zijlstra 	wake_q_add_safe(wake_q, p);
150a046f1a0SPeter Zijlstra }
151a046f1a0SPeter Zijlstra 
152a046f1a0SPeter Zijlstra /*
153a046f1a0SPeter Zijlstra  * Wake up waiters matching bitset queued on this futex (uaddr).
154a046f1a0SPeter Zijlstra  */
futex_wake(u32 __user * uaddr,unsigned int flags,int nr_wake,u32 bitset)155a046f1a0SPeter Zijlstra int futex_wake(u32 __user *uaddr, unsigned int flags, int nr_wake, u32 bitset)
156a046f1a0SPeter Zijlstra {
157a046f1a0SPeter Zijlstra 	struct futex_hash_bucket *hb;
158a046f1a0SPeter Zijlstra 	struct futex_q *this, *next;
159a046f1a0SPeter Zijlstra 	union futex_key key = FUTEX_KEY_INIT;
160a046f1a0SPeter Zijlstra 	DEFINE_WAKE_Q(wake_q);
1613b63a55fS[email protected] 	int ret;
162a046f1a0SPeter Zijlstra 
163a046f1a0SPeter Zijlstra 	if (!bitset)
164a046f1a0SPeter Zijlstra 		return -EINVAL;
165a046f1a0SPeter Zijlstra 
1663b63a55fS[email protected] 	ret = get_futex_key(uaddr, flags, &key, FUTEX_READ);
167a046f1a0SPeter Zijlstra 	if (unlikely(ret != 0))
168a046f1a0SPeter Zijlstra 		return ret;
169a046f1a0SPeter Zijlstra 
17043adf844S[email protected] 	if ((flags & FLAGS_STRICT) && !nr_wake)
17143adf844S[email protected] 		return 0;
17243adf844S[email protected] 
173a046f1a0SPeter Zijlstra 	hb = futex_hash(&key);
174a046f1a0SPeter Zijlstra 
175a046f1a0SPeter Zijlstra 	/* Make sure we really have tasks to wakeup */
176a046f1a0SPeter Zijlstra 	if (!futex_hb_waiters_pending(hb))
177a046f1a0SPeter Zijlstra 		return ret;
178a046f1a0SPeter Zijlstra 
179a046f1a0SPeter Zijlstra 	spin_lock(&hb->lock);
180a046f1a0SPeter Zijlstra 
181a046f1a0SPeter Zijlstra 	plist_for_each_entry_safe(this, next, &hb->chain, list) {
182a046f1a0SPeter Zijlstra 		if (futex_match (&this->key, &key)) {
183a046f1a0SPeter Zijlstra 			if (this->pi_state || this->rt_waiter) {
184a046f1a0SPeter Zijlstra 				ret = -EINVAL;
185a046f1a0SPeter Zijlstra 				break;
186a046f1a0SPeter Zijlstra 			}
187a046f1a0SPeter Zijlstra 
188a046f1a0SPeter Zijlstra 			/* Check if one of the bits is set in both bitsets */
189a046f1a0SPeter Zijlstra 			if (!(this->bitset & bitset))
190a046f1a0SPeter Zijlstra 				continue;
191a046f1a0SPeter Zijlstra 
19212a4be50SJens Axboe 			this->wake(&wake_q, this);
193a046f1a0SPeter Zijlstra 			if (++ret >= nr_wake)
194a046f1a0SPeter Zijlstra 				break;
195a046f1a0SPeter Zijlstra 		}
196a046f1a0SPeter Zijlstra 	}
197a046f1a0SPeter Zijlstra 
198a046f1a0SPeter Zijlstra 	spin_unlock(&hb->lock);
199a046f1a0SPeter Zijlstra 	wake_up_q(&wake_q);
200a046f1a0SPeter Zijlstra 	return ret;
201a046f1a0SPeter Zijlstra }
202a046f1a0SPeter Zijlstra 
futex_atomic_op_inuser(unsigned int encoded_op,u32 __user * uaddr)203a046f1a0SPeter Zijlstra static int futex_atomic_op_inuser(unsigned int encoded_op, u32 __user *uaddr)
204a046f1a0SPeter Zijlstra {
205a046f1a0SPeter Zijlstra 	unsigned int op =	  (encoded_op & 0x70000000) >> 28;
206a046f1a0SPeter Zijlstra 	unsigned int cmp =	  (encoded_op & 0x0f000000) >> 24;
207a046f1a0SPeter Zijlstra 	int oparg = sign_extend32((encoded_op & 0x00fff000) >> 12, 11);
208a046f1a0SPeter Zijlstra 	int cmparg = sign_extend32(encoded_op & 0x00000fff, 11);
209a046f1a0SPeter Zijlstra 	int oldval, ret;
210a046f1a0SPeter Zijlstra 
211a046f1a0SPeter Zijlstra 	if (encoded_op & (FUTEX_OP_OPARG_SHIFT << 28)) {
212a046f1a0SPeter Zijlstra 		if (oparg < 0 || oparg > 31) {
213a046f1a0SPeter Zijlstra 			/*
214a046f1a0SPeter Zijlstra 			 * kill this print and return -EINVAL when userspace
215a046f1a0SPeter Zijlstra 			 * is sane again
216a046f1a0SPeter Zijlstra 			 */
217a046f1a0SPeter Zijlstra 			pr_info_ratelimited("futex_wake_op: %s tries to shift op by %d; fix this program\n",
218a046f1a0SPeter Zijlstra 					    current->comm, oparg);
219a046f1a0SPeter Zijlstra 			oparg &= 31;
220a046f1a0SPeter Zijlstra 		}
221a046f1a0SPeter Zijlstra 		oparg = 1 << oparg;
222a046f1a0SPeter Zijlstra 	}
223a046f1a0SPeter Zijlstra 
224a046f1a0SPeter Zijlstra 	pagefault_disable();
225a046f1a0SPeter Zijlstra 	ret = arch_futex_atomic_op_inuser(op, oparg, &oldval, uaddr);
226a046f1a0SPeter Zijlstra 	pagefault_enable();
227a046f1a0SPeter Zijlstra 	if (ret)
228a046f1a0SPeter Zijlstra 		return ret;
229a046f1a0SPeter Zijlstra 
230a046f1a0SPeter Zijlstra 	switch (cmp) {
231a046f1a0SPeter Zijlstra 	case FUTEX_OP_CMP_EQ:
232a046f1a0SPeter Zijlstra 		return oldval == cmparg;
233a046f1a0SPeter Zijlstra 	case FUTEX_OP_CMP_NE:
234a046f1a0SPeter Zijlstra 		return oldval != cmparg;
235a046f1a0SPeter Zijlstra 	case FUTEX_OP_CMP_LT:
236a046f1a0SPeter Zijlstra 		return oldval < cmparg;
237a046f1a0SPeter Zijlstra 	case FUTEX_OP_CMP_GE:
238a046f1a0SPeter Zijlstra 		return oldval >= cmparg;
239a046f1a0SPeter Zijlstra 	case FUTEX_OP_CMP_LE:
240a046f1a0SPeter Zijlstra 		return oldval <= cmparg;
241a046f1a0SPeter Zijlstra 	case FUTEX_OP_CMP_GT:
242a046f1a0SPeter Zijlstra 		return oldval > cmparg;
243a046f1a0SPeter Zijlstra 	default:
244a046f1a0SPeter Zijlstra 		return -ENOSYS;
245a046f1a0SPeter Zijlstra 	}
246a046f1a0SPeter Zijlstra }
247a046f1a0SPeter Zijlstra 
248a046f1a0SPeter Zijlstra /*
249a046f1a0SPeter Zijlstra  * Wake up all waiters hashed on the physical page that is mapped
250a046f1a0SPeter Zijlstra  * to this virtual address:
251a046f1a0SPeter Zijlstra  */
futex_wake_op(u32 __user * uaddr1,unsigned int flags,u32 __user * uaddr2,int nr_wake,int nr_wake2,int op)252a046f1a0SPeter Zijlstra int futex_wake_op(u32 __user *uaddr1, unsigned int flags, u32 __user *uaddr2,
253a046f1a0SPeter Zijlstra 		  int nr_wake, int nr_wake2, int op)
254a046f1a0SPeter Zijlstra {
255a046f1a0SPeter Zijlstra 	union futex_key key1 = FUTEX_KEY_INIT, key2 = FUTEX_KEY_INIT;
256a046f1a0SPeter Zijlstra 	struct futex_hash_bucket *hb1, *hb2;
257a046f1a0SPeter Zijlstra 	struct futex_q *this, *next;
258a046f1a0SPeter Zijlstra 	int ret, op_ret;
259a046f1a0SPeter Zijlstra 	DEFINE_WAKE_Q(wake_q);
260a046f1a0SPeter Zijlstra 
261a046f1a0SPeter Zijlstra retry:
262a046f1a0SPeter Zijlstra 	ret = get_futex_key(uaddr1, flags, &key1, FUTEX_READ);
2633b63a55fS[email protected] 	if (unlikely(ret != 0))
264a046f1a0SPeter Zijlstra 		return ret;
265a046f1a0SPeter Zijlstra 	ret = get_futex_key(uaddr2, flags, &key2, FUTEX_WRITE);
2663b63a55fS[email protected] 	if (unlikely(ret != 0))
267a046f1a0SPeter Zijlstra 		return ret;
268a046f1a0SPeter Zijlstra 
269a046f1a0SPeter Zijlstra 	hb1 = futex_hash(&key1);
270a046f1a0SPeter Zijlstra 	hb2 = futex_hash(&key2);
271a046f1a0SPeter Zijlstra 
272a046f1a0SPeter Zijlstra retry_private:
273a046f1a0SPeter Zijlstra 	double_lock_hb(hb1, hb2);
274a046f1a0SPeter Zijlstra 	op_ret = futex_atomic_op_inuser(op, uaddr2);
275a046f1a0SPeter Zijlstra 	if (unlikely(op_ret < 0)) {
276a046f1a0SPeter Zijlstra 		double_unlock_hb(hb1, hb2);
277a046f1a0SPeter Zijlstra 
278a046f1a0SPeter Zijlstra 		if (!IS_ENABLED(CONFIG_MMU) ||
279a046f1a0SPeter Zijlstra 		    unlikely(op_ret != -EFAULT && op_ret != -EAGAIN)) {
280a046f1a0SPeter Zijlstra 			/*
281a046f1a0SPeter Zijlstra 			 * we don't get EFAULT from MMU faults if we don't have
282a046f1a0SPeter Zijlstra 			 * an MMU, but we might get them from range checking
283a046f1a0SPeter Zijlstra 			 */
284a046f1a0SPeter Zijlstra 			ret = op_ret;
285a046f1a0SPeter Zijlstra 			return ret;
286a046f1a0SPeter Zijlstra 		}
287a046f1a0SPeter Zijlstra 
288a046f1a0SPeter Zijlstra 		if (op_ret == -EFAULT) {
289a046f1a0SPeter Zijlstra 			ret = fault_in_user_writeable(uaddr2);
290a046f1a0SPeter Zijlstra 			if (ret)
291a046f1a0SPeter Zijlstra 				return ret;
292a046f1a0SPeter Zijlstra 		}
293a046f1a0SPeter Zijlstra 
294a046f1a0SPeter Zijlstra 		cond_resched();
295a046f1a0SPeter Zijlstra 		if (!(flags & FLAGS_SHARED))
296a046f1a0SPeter Zijlstra 			goto retry_private;
297a046f1a0SPeter Zijlstra 		goto retry;
298a046f1a0SPeter Zijlstra 	}
299a046f1a0SPeter Zijlstra 
300a046f1a0SPeter Zijlstra 	plist_for_each_entry_safe(this, next, &hb1->chain, list) {
301a046f1a0SPeter Zijlstra 		if (futex_match (&this->key, &key1)) {
302a046f1a0SPeter Zijlstra 			if (this->pi_state || this->rt_waiter) {
303a046f1a0SPeter Zijlstra 				ret = -EINVAL;
304a046f1a0SPeter Zijlstra 				goto out_unlock;
305a046f1a0SPeter Zijlstra 			}
306a046f1a0SPeter Zijlstra 			this->wake(&wake_q, this);
30712a4be50SJens Axboe 			if (++ret >= nr_wake)
308a046f1a0SPeter Zijlstra 				break;
309a046f1a0SPeter Zijlstra 		}
310a046f1a0SPeter Zijlstra 	}
311a046f1a0SPeter Zijlstra 
312a046f1a0SPeter Zijlstra 	if (op_ret > 0) {
313a046f1a0SPeter Zijlstra 		op_ret = 0;
314a046f1a0SPeter Zijlstra 		plist_for_each_entry_safe(this, next, &hb2->chain, list) {
315a046f1a0SPeter Zijlstra 			if (futex_match (&this->key, &key2)) {
316a046f1a0SPeter Zijlstra 				if (this->pi_state || this->rt_waiter) {
317a046f1a0SPeter Zijlstra 					ret = -EINVAL;
318a046f1a0SPeter Zijlstra 					goto out_unlock;
319a046f1a0SPeter Zijlstra 				}
320a046f1a0SPeter Zijlstra 				this->wake(&wake_q, this);
32112a4be50SJens Axboe 				if (++op_ret >= nr_wake2)
322a046f1a0SPeter Zijlstra 					break;
323a046f1a0SPeter Zijlstra 			}
324a046f1a0SPeter Zijlstra 		}
325a046f1a0SPeter Zijlstra 		ret += op_ret;
326a046f1a0SPeter Zijlstra 	}
327a046f1a0SPeter Zijlstra 
328a046f1a0SPeter Zijlstra out_unlock:
329a046f1a0SPeter Zijlstra 	double_unlock_hb(hb1, hb2);
330a046f1a0SPeter Zijlstra 	wake_up_q(&wake_q);
331a046f1a0SPeter Zijlstra 	return ret;
332a046f1a0SPeter Zijlstra }
333a046f1a0SPeter Zijlstra 
334a046f1a0SPeter Zijlstra static long futex_wait_restart(struct restart_block *restart);
335a046f1a0SPeter Zijlstra 
336a046f1a0SPeter Zijlstra /**
337a046f1a0SPeter Zijlstra  * futex_wait_queue() - futex_queue() and wait for wakeup, timeout, or signal
338a046f1a0SPeter Zijlstra  * @hb:		the futex hash bucket, must be locked by the caller
339a046f1a0SPeter Zijlstra  * @q:		the futex_q to queue up on
340a046f1a0SPeter Zijlstra  * @timeout:	the prepared hrtimer_sleeper, or null for no timeout
341a046f1a0SPeter Zijlstra  */
futex_wait_queue(struct futex_hash_bucket * hb,struct futex_q * q,struct hrtimer_sleeper * timeout)342a046f1a0SPeter Zijlstra void futex_wait_queue(struct futex_hash_bucket *hb, struct futex_q *q,
343a046f1a0SPeter Zijlstra 			    struct hrtimer_sleeper *timeout)
344a046f1a0SPeter Zijlstra {
345a046f1a0SPeter Zijlstra 	/*
346a046f1a0SPeter Zijlstra 	 * The task state is guaranteed to be set before another task can
347a046f1a0SPeter Zijlstra 	 * wake it. set_current_state() is implemented using smp_store_mb() and
348a046f1a0SPeter Zijlstra 	 * futex_queue() calls spin_unlock() upon completion, both serializing
349a046f1a0SPeter Zijlstra 	 * access to the hash list and forcing another memory barrier.
350a046f1a0SPeter Zijlstra 	 */
351a046f1a0SPeter Zijlstra 	set_current_state(TASK_INTERRUPTIBLE|TASK_FREEZABLE);
352f5d39b02SPeter Zijlstra 	futex_queue(q, hb, current);
353*5e0e02f0SJens Axboe 
354a046f1a0SPeter Zijlstra 	/* Arm the timer */
355a046f1a0SPeter Zijlstra 	if (timeout)
356a046f1a0SPeter Zijlstra 		hrtimer_sleeper_start_expires(timeout, HRTIMER_MODE_ABS);
357a046f1a0SPeter Zijlstra 
358a046f1a0SPeter Zijlstra 	/*
359a046f1a0SPeter Zijlstra 	 * If we have been removed from the hash list, then another task
360a046f1a0SPeter Zijlstra 	 * has tried to wake us, and we can skip the call to schedule().
361a046f1a0SPeter Zijlstra 	 */
362a046f1a0SPeter Zijlstra 	if (likely(!plist_node_empty(&q->list))) {
363a046f1a0SPeter Zijlstra 		/*
364a046f1a0SPeter Zijlstra 		 * If the timer has already expired, current will already be
365a046f1a0SPeter Zijlstra 		 * flagged for rescheduling. Only call schedule if there
366a046f1a0SPeter Zijlstra 		 * is no timeout, or if it has yet to expire.
367a046f1a0SPeter Zijlstra 		 */
368a046f1a0SPeter Zijlstra 		if (!timeout || timeout->task)
369a046f1a0SPeter Zijlstra 			schedule();
370f5d39b02SPeter Zijlstra 	}
371a046f1a0SPeter Zijlstra 	__set_current_state(TASK_RUNNING);
372a046f1a0SPeter Zijlstra }
373a046f1a0SPeter Zijlstra 
374a046f1a0SPeter Zijlstra /**
375a046f1a0SPeter Zijlstra  * futex_unqueue_multiple - Remove various futexes from their hash bucket
376e9a56c93SJens Axboe  * @v:	   The list of futexes to unqueue
377bf69bad3SAndré Almeida  * @count: Number of futexes in the list
378bf69bad3SAndré Almeida  *
379bf69bad3SAndré Almeida  * Helper to unqueue a list of futexes. This can't fail.
380bf69bad3SAndré Almeida  *
381bf69bad3SAndré Almeida  * Return:
382bf69bad3SAndré Almeida  *  - >=0 - Index of the last futex that was awoken;
383bf69bad3SAndré Almeida  *  - -1  - No futex was awoken
384bf69bad3SAndré Almeida  */
futex_unqueue_multiple(struct futex_vector * v,int count)385bf69bad3SAndré Almeida int futex_unqueue_multiple(struct futex_vector *v, int count)
386e9a56c93SJens Axboe {
387bf69bad3SAndré Almeida 	int ret = -1, i;
388bf69bad3SAndré Almeida 
389bf69bad3SAndré Almeida 	for (i = 0; i < count; i++) {
390bf69bad3SAndré Almeida 		if (!futex_unqueue(&v[i].q))
391bf69bad3SAndré Almeida 			ret = i;
392bf69bad3SAndré Almeida 	}
393bf69bad3SAndré Almeida 
394bf69bad3SAndré Almeida 	return ret;
395bf69bad3SAndré Almeida }
396bf69bad3SAndré Almeida 
397bf69bad3SAndré Almeida /**
398bf69bad3SAndré Almeida  * futex_wait_multiple_setup - Prepare to wait and enqueue multiple futexes
399bf69bad3SAndré Almeida  * @vs:		The futex list to wait on
400bf69bad3SAndré Almeida  * @count:	The size of the list
401bf69bad3SAndré Almeida  * @woken:	Index of the last woken futex, if any. Used to notify the
402bf69bad3SAndré Almeida  *		caller that it can return this index to userspace (return parameter)
403bf69bad3SAndré Almeida  *
404bf69bad3SAndré Almeida  * Prepare multiple futexes in a single step and enqueue them. This may fail if
405bf69bad3SAndré Almeida  * the futex list is invalid or if any futex was already awoken. On success the
406bf69bad3SAndré Almeida  * task is ready to interruptible sleep.
407bf69bad3SAndré Almeida  *
408bf69bad3SAndré Almeida  * Return:
409bf69bad3SAndré Almeida  *  -  1 - One of the futexes was woken by another thread
410bf69bad3SAndré Almeida  *  -  0 - Success
411bf69bad3SAndré Almeida  *  - <0 - -EFAULT, -EWOULDBLOCK or -EINVAL
412bf69bad3SAndré Almeida  */
futex_wait_multiple_setup(struct futex_vector * vs,int count,int * woken)413bf69bad3SAndré Almeida int futex_wait_multiple_setup(struct futex_vector *vs, int count, int *woken)
414e9a56c93SJens Axboe {
415bf69bad3SAndré Almeida 	struct futex_hash_bucket *hb;
416bf69bad3SAndré Almeida 	bool retry = false;
417bf69bad3SAndré Almeida 	int ret, i;
418bf69bad3SAndré Almeida 	u32 uval;
419bf69bad3SAndré Almeida 
420bf69bad3SAndré Almeida 	/*
421bf69bad3SAndré Almeida 	 * Enqueuing multiple futexes is tricky, because we need to enqueue
422bf69bad3SAndré Almeida 	 * each futex on the list before dealing with the next one to avoid
423bf69bad3SAndré Almeida 	 * deadlocking on the hash bucket. But, before enqueuing, we need to
424bf69bad3SAndré Almeida 	 * make sure that current->state is TASK_INTERRUPTIBLE, so we don't
425bf69bad3SAndré Almeida 	 * lose any wake events, which cannot be done before the get_futex_key
426bf69bad3SAndré Almeida 	 * of the next key, because it calls get_user_pages, which can sleep.
427bf69bad3SAndré Almeida 	 * Thus, we fetch the list of futexes keys in two steps, by first
428bf69bad3SAndré Almeida 	 * pinning all the memory keys in the futex key, and only then we read
429bf69bad3SAndré Almeida 	 * each key and queue the corresponding futex.
430bf69bad3SAndré Almeida 	 *
431bf69bad3SAndré Almeida 	 * Private futexes doesn't need to recalculate hash in retry, so skip
432bf69bad3SAndré Almeida 	 * get_futex_key() when retrying.
433bf69bad3SAndré Almeida 	 */
434bf69bad3SAndré Almeida retry:
435bf69bad3SAndré Almeida 	for (i = 0; i < count; i++) {
436bf69bad3SAndré Almeida 		if (!(vs[i].w.flags & FLAGS_SHARED) && retry)
4375694289cS[email protected] 			continue;
438bf69bad3SAndré Almeida 
439bf69bad3SAndré Almeida 		ret = get_futex_key(u64_to_user_ptr(vs[i].w.uaddr),
440bf69bad3SAndré Almeida 				    vs[i].w.flags,
4413b63a55fS[email protected] 				    &vs[i].q.key, FUTEX_READ);
442bf69bad3SAndré Almeida 
443bf69bad3SAndré Almeida 		if (unlikely(ret))
444bf69bad3SAndré Almeida 			return ret;
445bf69bad3SAndré Almeida 	}
446bf69bad3SAndré Almeida 
447bf69bad3SAndré Almeida 	set_current_state(TASK_INTERRUPTIBLE|TASK_FREEZABLE);
448f5d39b02SPeter Zijlstra 
449bf69bad3SAndré Almeida 	for (i = 0; i < count; i++) {
450bf69bad3SAndré Almeida 		u32 __user *uaddr = (u32 __user *)(unsigned long)vs[i].w.uaddr;
451bf69bad3SAndré Almeida 		struct futex_q *q = &vs[i].q;
452bf69bad3SAndré Almeida 		u32 val = vs[i].w.val;
4533b63a55fS[email protected] 
454bf69bad3SAndré Almeida 		hb = futex_q_lock(q);
455bf69bad3SAndré Almeida 		ret = futex_get_value_locked(&uval, uaddr);
456bf69bad3SAndré Almeida 
457bf69bad3SAndré Almeida 		if (!ret && uval == val) {
458bf69bad3SAndré Almeida 			/*
459bf69bad3SAndré Almeida 			 * The bucket lock can't be held while dealing with the
460bf69bad3SAndré Almeida 			 * next futex. Queue each futex at this moment so hb can
461bf69bad3SAndré Almeida 			 * be unlocked.
462bf69bad3SAndré Almeida 			 */
463bf69bad3SAndré Almeida 			futex_queue(q, hb, current);
464*5e0e02f0SJens Axboe 			continue;
465bf69bad3SAndré Almeida 		}
466bf69bad3SAndré Almeida 
467bf69bad3SAndré Almeida 		futex_q_unlock(hb);
468bf69bad3SAndré Almeida 		__set_current_state(TASK_RUNNING);
469bf69bad3SAndré Almeida 
470bf69bad3SAndré Almeida 		/*
471bf69bad3SAndré Almeida 		 * Even if something went wrong, if we find out that a futex
472bf69bad3SAndré Almeida 		 * was woken, we don't return error and return this index to
473bf69bad3SAndré Almeida 		 * userspace
474bf69bad3SAndré Almeida 		 */
475bf69bad3SAndré Almeida 		*woken = futex_unqueue_multiple(vs, i);
476e9a56c93SJens Axboe 		if (*woken >= 0)
477bf69bad3SAndré Almeida 			return 1;
478bf69bad3SAndré Almeida 
479bf69bad3SAndré Almeida 		if (ret) {
480bf69bad3SAndré Almeida 			/*
481bf69bad3SAndré Almeida 			 * If we need to handle a page fault, we need to do so
482bf69bad3SAndré Almeida 			 * without any lock and any enqueued futex (otherwise
483bf69bad3SAndré Almeida 			 * we could lose some wakeup). So we do it here, after
484bf69bad3SAndré Almeida 			 * undoing all the work done so far. In success, we
485bf69bad3SAndré Almeida 			 * retry all the work.
486bf69bad3SAndré Almeida 			 */
487bf69bad3SAndré Almeida 			if (get_user(uval, uaddr))
488bf69bad3SAndré Almeida 				return -EFAULT;
489bf69bad3SAndré Almeida 
490bf69bad3SAndré Almeida 			retry = true;
491bf69bad3SAndré Almeida 			goto retry;
492bf69bad3SAndré Almeida 		}
493bf69bad3SAndré Almeida 
494bf69bad3SAndré Almeida 		if (uval != val)
495bf69bad3SAndré Almeida 			return -EWOULDBLOCK;
496bf69bad3SAndré Almeida 	}
497bf69bad3SAndré Almeida 
498bf69bad3SAndré Almeida 	return 0;
499bf69bad3SAndré Almeida }
500bf69bad3SAndré Almeida 
501bf69bad3SAndré Almeida /**
502bf69bad3SAndré Almeida  * futex_sleep_multiple - Check sleeping conditions and sleep
503bf69bad3SAndré Almeida  * @vs:    List of futexes to wait for
504bf69bad3SAndré Almeida  * @count: Length of vs
505bf69bad3SAndré Almeida  * @to:    Timeout
506bf69bad3SAndré Almeida  *
507bf69bad3SAndré Almeida  * Sleep if and only if the timeout hasn't expired and no futex on the list has
508bf69bad3SAndré Almeida  * been woken up.
509bf69bad3SAndré Almeida  */
futex_sleep_multiple(struct futex_vector * vs,unsigned int count,struct hrtimer_sleeper * to)510bf69bad3SAndré Almeida static void futex_sleep_multiple(struct futex_vector *vs, unsigned int count,
511bf69bad3SAndré Almeida 				 struct hrtimer_sleeper *to)
512bf69bad3SAndré Almeida {
513bf69bad3SAndré Almeida 	if (to && !to->task)
514bf69bad3SAndré Almeida 		return;
515bf69bad3SAndré Almeida 
516bf69bad3SAndré Almeida 	for (; count; count--, vs++) {
517bf69bad3SAndré Almeida 		if (!READ_ONCE(vs->q.lock_ptr))
518bf69bad3SAndré Almeida 			return;
519bf69bad3SAndré Almeida 	}
520bf69bad3SAndré Almeida 
521bf69bad3SAndré Almeida 	schedule();
522f5d39b02SPeter Zijlstra }
523bf69bad3SAndré Almeida 
524bf69bad3SAndré Almeida /**
525bf69bad3SAndré Almeida  * futex_wait_multiple - Prepare to wait on and enqueue several futexes
526bf69bad3SAndré Almeida  * @vs:		The list of futexes to wait on
527bf69bad3SAndré Almeida  * @count:	The number of objects
528bf69bad3SAndré Almeida  * @to:		Timeout before giving up and returning to userspace
529bf69bad3SAndré Almeida  *
530bf69bad3SAndré Almeida  * Entry point for the FUTEX_WAIT_MULTIPLE futex operation, this function
531bf69bad3SAndré Almeida  * sleeps on a group of futexes and returns on the first futex that is
532bf69bad3SAndré Almeida  * wake, or after the timeout has elapsed.
533bf69bad3SAndré Almeida  *
534bf69bad3SAndré Almeida  * Return:
535bf69bad3SAndré Almeida  *  - >=0 - Hint to the futex that was awoken
536bf69bad3SAndré Almeida  *  - <0  - On error
537bf69bad3SAndré Almeida  */
futex_wait_multiple(struct futex_vector * vs,unsigned int count,struct hrtimer_sleeper * to)538bf69bad3SAndré Almeida int futex_wait_multiple(struct futex_vector *vs, unsigned int count,
539bf69bad3SAndré Almeida 			struct hrtimer_sleeper *to)
540bf69bad3SAndré Almeida {
541bf69bad3SAndré Almeida 	int ret, hint = 0;
542bf69bad3SAndré Almeida 
543bf69bad3SAndré Almeida 	if (to)
544bf69bad3SAndré Almeida 		hrtimer_sleeper_start_expires(to, HRTIMER_MODE_ABS);
545bf69bad3SAndré Almeida 
546bf69bad3SAndré Almeida 	while (1) {
547bf69bad3SAndré Almeida 		ret = futex_wait_multiple_setup(vs, count, &hint);
548bf69bad3SAndré Almeida 		if (ret) {
549bf69bad3SAndré Almeida 			if (ret > 0) {
550bf69bad3SAndré Almeida 				/* A futex was woken during setup */
551bf69bad3SAndré Almeida 				ret = hint;
552bf69bad3SAndré Almeida 			}
553bf69bad3SAndré Almeida 			return ret;
554bf69bad3SAndré Almeida 		}
555bf69bad3SAndré Almeida 
556bf69bad3SAndré Almeida 		futex_sleep_multiple(vs, count, to);
557bf69bad3SAndré Almeida 
558bf69bad3SAndré Almeida 		__set_current_state(TASK_RUNNING);
559bf69bad3SAndré Almeida 
560bf69bad3SAndré Almeida 		ret = futex_unqueue_multiple(vs, count);
561e9a56c93SJens Axboe 		if (ret >= 0)
562bf69bad3SAndré Almeida 			return ret;
563bf69bad3SAndré Almeida 
564bf69bad3SAndré Almeida 		if (to && !to->task)
565bf69bad3SAndré Almeida 			return -ETIMEDOUT;
566bf69bad3SAndré Almeida 		else if (signal_pending(current))
567bf69bad3SAndré Almeida 			return -ERESTARTSYS;
568bf69bad3SAndré Almeida 		/*
569bf69bad3SAndré Almeida 		 * The final case is a spurious wakeup, for
570bf69bad3SAndré Almeida 		 * which just retry.
571bf69bad3SAndré Almeida 		 */
572bf69bad3SAndré Almeida 	}
573bf69bad3SAndré Almeida }
574bf69bad3SAndré Almeida 
575bf69bad3SAndré Almeida /**
576bf69bad3SAndré Almeida  * futex_wait_setup() - Prepare to wait on a futex
577a046f1a0SPeter Zijlstra  * @uaddr:	the futex userspace address
578a046f1a0SPeter Zijlstra  * @val:	the expected value
579a046f1a0SPeter Zijlstra  * @flags:	futex flags (FLAGS_SHARED, etc.)
580a046f1a0SPeter Zijlstra  * @q:		the associated futex_q
581a046f1a0SPeter Zijlstra  * @hb:		storage for hash_bucket pointer to be returned to caller
582a046f1a0SPeter Zijlstra  *
583a046f1a0SPeter Zijlstra  * Setup the futex_q and locate the hash_bucket.  Get the futex value and
584a046f1a0SPeter Zijlstra  * compare it with the expected value.  Handle atomic faults internally.
585a046f1a0SPeter Zijlstra  * Return with the hb lock held on success, and unlocked on failure.
586a046f1a0SPeter Zijlstra  *
587a046f1a0SPeter Zijlstra  * Return:
588a046f1a0SPeter Zijlstra  *  -  0 - uaddr contains val and hb has been locked;
589a046f1a0SPeter Zijlstra  *  - <1 - -EFAULT or -EWOULDBLOCK (uaddr does not contain val) and hb is unlocked
590a046f1a0SPeter Zijlstra  */
futex_wait_setup(u32 __user * uaddr,u32 val,unsigned int flags,struct futex_q * q,struct futex_hash_bucket ** hb)591a046f1a0SPeter Zijlstra int futex_wait_setup(u32 __user *uaddr, u32 val, unsigned int flags,
592a046f1a0SPeter Zijlstra 		     struct futex_q *q, struct futex_hash_bucket **hb)
593a046f1a0SPeter Zijlstra {
594a046f1a0SPeter Zijlstra 	u32 uval;
595a046f1a0SPeter Zijlstra 	int ret;
596a046f1a0SPeter Zijlstra 
597a046f1a0SPeter Zijlstra 	/*
598a046f1a0SPeter Zijlstra 	 * Access the page AFTER the hash-bucket is locked.
599a046f1a0SPeter Zijlstra 	 * Order is important:
600a046f1a0SPeter Zijlstra 	 *
601a046f1a0SPeter Zijlstra 	 *   Userspace waiter: val = var; if (cond(val)) futex_wait(&var, val);
602a046f1a0SPeter Zijlstra 	 *   Userspace waker:  if (cond(var)) { var = new; futex_wake(&var); }
603a046f1a0SPeter Zijlstra 	 *
604a046f1a0SPeter Zijlstra 	 * The basic logical guarantee of a futex is that it blocks ONLY
605a046f1a0SPeter Zijlstra 	 * if cond(var) is known to be true at the time of blocking, for
606a046f1a0SPeter Zijlstra 	 * any cond.  If we locked the hash-bucket after testing *uaddr, that
607a046f1a0SPeter Zijlstra 	 * would open a race condition where we could block indefinitely with
608a046f1a0SPeter Zijlstra 	 * cond(var) false, which would violate the guarantee.
609a046f1a0SPeter Zijlstra 	 *
610a046f1a0SPeter Zijlstra 	 * On the other hand, we insert q and release the hash-bucket only
611a046f1a0SPeter Zijlstra 	 * after testing *uaddr.  This guarantees that futex_wait() will NOT
612a046f1a0SPeter Zijlstra 	 * absorb a wakeup if *uaddr does not match the desired values
613a046f1a0SPeter Zijlstra 	 * while the syscall executes.
614a046f1a0SPeter Zijlstra 	 */
615a046f1a0SPeter Zijlstra retry:
616a046f1a0SPeter Zijlstra 	ret = get_futex_key(uaddr, flags, &q->key, FUTEX_READ);
6173b63a55fS[email protected] 	if (unlikely(ret != 0))
618a046f1a0SPeter Zijlstra 		return ret;
619a046f1a0SPeter Zijlstra 
620a046f1a0SPeter Zijlstra retry_private:
621a046f1a0SPeter Zijlstra 	*hb = futex_q_lock(q);
622a046f1a0SPeter Zijlstra 
623a046f1a0SPeter Zijlstra 	ret = futex_get_value_locked(&uval, uaddr);
624a046f1a0SPeter Zijlstra 
625a046f1a0SPeter Zijlstra 	if (ret) {
626a046f1a0SPeter Zijlstra 		futex_q_unlock(*hb);
627a046f1a0SPeter Zijlstra 
628a046f1a0SPeter Zijlstra 		ret = get_user(uval, uaddr);
629a046f1a0SPeter Zijlstra 		if (ret)
630a046f1a0SPeter Zijlstra 			return ret;
631a046f1a0SPeter Zijlstra 
632a046f1a0SPeter Zijlstra 		if (!(flags & FLAGS_SHARED))
633a046f1a0SPeter Zijlstra 			goto retry_private;
634a046f1a0SPeter Zijlstra 
635a046f1a0SPeter Zijlstra 		goto retry;
636a046f1a0SPeter Zijlstra 	}
637a046f1a0SPeter Zijlstra 
638a046f1a0SPeter Zijlstra 	if (uval != val) {
639a046f1a0SPeter Zijlstra 		futex_q_unlock(*hb);
640a046f1a0SPeter Zijlstra 		ret = -EWOULDBLOCK;
641a046f1a0SPeter Zijlstra 	}
642a046f1a0SPeter Zijlstra 
643a046f1a0SPeter Zijlstra 	return ret;
644a046f1a0SPeter Zijlstra }
645a046f1a0SPeter Zijlstra 
__futex_wait(u32 __user * uaddr,unsigned int flags,u32 val,struct hrtimer_sleeper * to,u32 bitset)646a046f1a0SPeter Zijlstra int __futex_wait(u32 __user *uaddr, unsigned int flags, u32 val,
647cb8c4312S[email protected] 		 struct hrtimer_sleeper *to, u32 bitset)
648cb8c4312S[email protected] {
649a046f1a0SPeter Zijlstra 	struct futex_q q = futex_q_init;
650a046f1a0SPeter Zijlstra 	struct futex_hash_bucket *hb;
651cb8c4312S[email protected] 	int ret;
652a046f1a0SPeter Zijlstra 
653a046f1a0SPeter Zijlstra 	if (!bitset)
654a046f1a0SPeter Zijlstra 		return -EINVAL;
655a046f1a0SPeter Zijlstra 
656cb8c4312S[email protected] 	q.bitset = bitset;
657a046f1a0SPeter Zijlstra 
658a046f1a0SPeter Zijlstra retry:
659a046f1a0SPeter Zijlstra 	/*
660a046f1a0SPeter Zijlstra 	 * Prepare to wait on uaddr. On success, it holds hb->lock and q
661a046f1a0SPeter Zijlstra 	 * is initialized.
662a046f1a0SPeter Zijlstra 	 */
663a046f1a0SPeter Zijlstra 	ret = futex_wait_setup(uaddr, val, flags, &q, &hb);
664a046f1a0SPeter Zijlstra 	if (ret)
665a046f1a0SPeter Zijlstra 		return ret;
666cb8c4312S[email protected] 
667a046f1a0SPeter Zijlstra 	/* futex_queue and wait for wakeup, timeout, or a signal. */
668a046f1a0SPeter Zijlstra 	futex_wait_queue(hb, &q, to);
669a046f1a0SPeter Zijlstra 
670a046f1a0SPeter Zijlstra 	/* If we were woken (and unqueued), we succeeded, whatever. */
671a046f1a0SPeter Zijlstra 	if (!futex_unqueue(&q))
672a046f1a0SPeter Zijlstra 		return 0;
673cb8c4312S[email protected] 
674cb8c4312S[email protected] 	if (to && !to->task)
675a046f1a0SPeter Zijlstra 		return -ETIMEDOUT;
676cb8c4312S[email protected] 
677a046f1a0SPeter Zijlstra 	/*
678a046f1a0SPeter Zijlstra 	 * We expect signal_pending(current), but we might be the
679a046f1a0SPeter Zijlstra 	 * victim of a spurious wakeup as well.
680a046f1a0SPeter Zijlstra 	 */
681a046f1a0SPeter Zijlstra 	if (!signal_pending(current))
682a046f1a0SPeter Zijlstra 		goto retry;
683a046f1a0SPeter Zijlstra 
684a046f1a0SPeter Zijlstra 	return -ERESTARTSYS;
685cb8c4312S[email protected] }
686cb8c4312S[email protected] 
futex_wait(u32 __user * uaddr,unsigned int flags,u32 val,ktime_t * abs_time,u32 bitset)687a046f1a0SPeter Zijlstra int futex_wait(u32 __user *uaddr, unsigned int flags, u32 val, ktime_t *abs_time, u32 bitset)
688cb8c4312S[email protected] {
689cb8c4312S[email protected] 	struct hrtimer_sleeper timeout, *to;
690cb8c4312S[email protected] 	struct restart_block *restart;
691cb8c4312S[email protected] 	int ret;
692cb8c4312S[email protected] 
693cb8c4312S[email protected] 	to = futex_setup_timer(abs_time, &timeout, flags,
694cb8c4312S[email protected] 			       current->timer_slack_ns);
695cb8c4312S[email protected] 
696cb8c4312S[email protected] 	ret = __futex_wait(uaddr, flags, val, to, bitset);
697cb8c4312S[email protected] 
698cb8c4312S[email protected] 	/* No timeout, nothing to clean up. */
699cb8c4312S[email protected] 	if (!to)
700cb8c4312S[email protected] 		return ret;
701cb8c4312S[email protected] 
702cb8c4312S[email protected] 	hrtimer_cancel(&to->timer);
703cb8c4312S[email protected] 	destroy_hrtimer_on_stack(&to->timer);
704cb8c4312S[email protected] 
705cb8c4312S[email protected] 	if (ret == -ERESTARTSYS) {
706cb8c4312S[email protected] 		restart = &current->restart_block;
707a046f1a0SPeter Zijlstra 		restart->futex.uaddr = uaddr;
708a046f1a0SPeter Zijlstra 		restart->futex.val = val;
709a046f1a0SPeter Zijlstra 		restart->futex.time = *abs_time;
710a046f1a0SPeter Zijlstra 		restart->futex.bitset = bitset;
711a046f1a0SPeter Zijlstra 		restart->futex.flags = flags | FLAGS_HAS_TIMEOUT;
712a046f1a0SPeter Zijlstra 
713a046f1a0SPeter Zijlstra 		return set_restart_fn(restart, futex_wait_restart);
714cb8c4312S[email protected] 	}
715a046f1a0SPeter Zijlstra 
716cb8c4312S[email protected] 	return ret;
717a046f1a0SPeter Zijlstra }
718a046f1a0SPeter Zijlstra 
futex_wait_restart(struct restart_block * restart)719a046f1a0SPeter Zijlstra static long futex_wait_restart(struct restart_block *restart)
720a046f1a0SPeter Zijlstra {
721a046f1a0SPeter Zijlstra 	u32 __user *uaddr = restart->futex.uaddr;
722a046f1a0SPeter Zijlstra 	ktime_t t, *tp = NULL;
723a046f1a0SPeter Zijlstra 
724a046f1a0SPeter Zijlstra 	if (restart->futex.flags & FLAGS_HAS_TIMEOUT) {
725a046f1a0SPeter Zijlstra 		t = restart->futex.time;
726a046f1a0SPeter Zijlstra 		tp = &t;
727a046f1a0SPeter Zijlstra 	}
728a046f1a0SPeter Zijlstra 	restart->fn = do_no_restart_syscall;
729a046f1a0SPeter Zijlstra 
730a046f1a0SPeter Zijlstra 	return (long)futex_wait(uaddr, restart->futex.flags,
731a046f1a0SPeter Zijlstra 				restart->futex.val, tp, restart->futex.bitset);
732a046f1a0SPeter Zijlstra }
733a046f1a0SPeter Zijlstra 
734a046f1a0SPeter Zijlstra