sys_futex.c revision 1.26 1 1.26 riastrad /* $NetBSD: sys_futex.c,v 1.26 2025/03/05 14:01:55 riastradh Exp $ */
2 1.1 thorpej
3 1.1 thorpej /*-
4 1.1 thorpej * Copyright (c) 2018, 2019, 2020 The NetBSD Foundation, Inc.
5 1.1 thorpej * All rights reserved.
6 1.1 thorpej *
7 1.1 thorpej * This code is derived from software contributed to The NetBSD Foundation
8 1.1 thorpej * by Taylor R. Campbell and Jason R. Thorpe.
9 1.1 thorpej *
10 1.1 thorpej * Redistribution and use in source and binary forms, with or without
11 1.1 thorpej * modification, are permitted provided that the following conditions
12 1.1 thorpej * are met:
13 1.1 thorpej * 1. Redistributions of source code must retain the above copyright
14 1.1 thorpej * notice, this list of conditions and the following disclaimer.
15 1.1 thorpej * 2. Redistributions in binary form must reproduce the above copyright
16 1.1 thorpej * notice, this list of conditions and the following disclaimer in the
17 1.1 thorpej * documentation and/or other materials provided with the distribution.
18 1.1 thorpej *
19 1.1 thorpej * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.1 thorpej * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.1 thorpej * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.1 thorpej * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.1 thorpej * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.1 thorpej * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.1 thorpej * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.1 thorpej * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.1 thorpej * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.1 thorpej * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.1 thorpej * POSSIBILITY OF SUCH DAMAGE.
30 1.1 thorpej */
31 1.1 thorpej
32 1.1 thorpej #include <sys/cdefs.h>
33 1.26 riastrad __KERNEL_RCSID(0, "$NetBSD: sys_futex.c,v 1.26 2025/03/05 14:01:55 riastradh Exp $");
34 1.1 thorpej
35 1.1 thorpej /*
36 1.1 thorpej * Futexes
37 1.1 thorpej *
38 1.1 thorpej * The futex system call coordinates notifying threads waiting for
39 1.1 thorpej * changes on a 32-bit word of memory. The word can be managed by
40 1.1 thorpej * CPU atomic operations in userland, without system calls, as long
41 1.1 thorpej * as there is no contention.
42 1.1 thorpej *
43 1.1 thorpej * The simplest use case demonstrating the utility is:
44 1.1 thorpej *
45 1.1 thorpej * // 32-bit word of memory shared among threads or
46 1.1 thorpej * // processes in userland. lock & 1 means owned;
47 1.1 thorpej * // lock & 2 means there are waiters waiting.
48 1.1 thorpej * volatile int lock = 0;
49 1.1 thorpej *
50 1.1 thorpej * int v;
51 1.1 thorpej *
52 1.1 thorpej * // Acquire a lock.
53 1.1 thorpej * do {
54 1.1 thorpej * v = lock;
55 1.1 thorpej * if (v & 1) {
56 1.1 thorpej * // Lock is held. Set a bit to say that
57 1.1 thorpej * // there are waiters, and wait for lock
58 1.1 thorpej * // to change to anything other than v;
59 1.1 thorpej * // then retry.
60 1.1 thorpej * if (atomic_cas_uint(&lock, v, v | 2) != v)
61 1.1 thorpej * continue;
62 1.24 riastrad * futex(&lock, FUTEX_WAIT, v | 2, NULL, NULL, 0,
63 1.24 riastrad * 0);
64 1.1 thorpej * continue;
65 1.1 thorpej * }
66 1.20 riastrad * } while (atomic_cas_uint(&lock, v, v | 1) != v);
67 1.18 riastrad * membar_acquire();
68 1.1 thorpej *
69 1.1 thorpej * ...
70 1.1 thorpej *
71 1.1 thorpej * // Release the lock. Optimistically assume there are
72 1.1 thorpej * // no waiters first until demonstrated otherwise.
73 1.18 riastrad * membar_release();
74 1.1 thorpej * if (atomic_cas_uint(&lock, 1, 0) != 1) {
75 1.1 thorpej * // There may be waiters.
76 1.1 thorpej * v = atomic_swap_uint(&lock, 0);
77 1.1 thorpej * // If there are still waiters, wake one.
78 1.1 thorpej * if (v & 2)
79 1.24 riastrad * futex(&lock, FUTEX_WAKE, 1, NULL, NULL, 0, 0);
80 1.1 thorpej * }
81 1.1 thorpej *
82 1.1 thorpej * The goal is to avoid the futex system call unless there is
83 1.1 thorpej * contention; then if there is contention, to guarantee no missed
84 1.1 thorpej * wakeups.
85 1.1 thorpej *
86 1.1 thorpej * For a simple implementation, futex(FUTEX_WAIT) could queue
87 1.1 thorpej * itself to be woken, double-check the lock word, and then sleep;
88 1.1 thorpej * spurious wakeups are generally a fact of life, so any
89 1.1 thorpej * FUTEX_WAKE could just wake every FUTEX_WAIT in the system.
90 1.1 thorpej *
91 1.1 thorpej * If this were all there is to it, we could then increase
92 1.1 thorpej * parallelism by refining the approximation: partition the
93 1.1 thorpej * waiters into buckets by hashing the lock addresses to reduce
94 1.1 thorpej * the incidence of spurious wakeups. But this is not all.
95 1.1 thorpej *
96 1.24 riastrad * The futex(&lock, FUTEX_CMP_REQUEUE, n, timeout, &lock2, m, val)
97 1.1 thorpej * operation not only wakes n waiters on lock if lock == val, but
98 1.1 thorpej * also _transfers_ m additional waiters to lock2. Unless wakeups
99 1.1 thorpej * on lock2 also trigger wakeups on lock, we cannot move waiters
100 1.1 thorpej * to lock2 if they merely share the same hash as waiters on lock.
101 1.1 thorpej * Thus, we can't approximately distribute waiters into queues by
102 1.1 thorpej * a hash function; we must distinguish futex queues exactly by
103 1.1 thorpej * lock address.
104 1.1 thorpej *
105 1.1 thorpej * For now, we use a global red/black tree to index futexes. This
106 1.1 thorpej * should be replaced by a lockless radix tree with a thread to
107 1.1 thorpej * free entries no longer in use once all lookups on all CPUs have
108 1.1 thorpej * completed.
109 1.1 thorpej *
110 1.1 thorpej * Specifically, we maintain two maps:
111 1.1 thorpej *
112 1.1 thorpej * futex_tab.va[vmspace, va] for private futexes
113 1.1 thorpej * futex_tab.oa[uvm_voaddr] for shared futexes
114 1.1 thorpej *
115 1.1 thorpej * This implementation does not support priority inheritance.
116 1.1 thorpej */
117 1.1 thorpej
118 1.12 skrll #include <sys/param.h>
119 1.1 thorpej #include <sys/types.h>
120 1.1 thorpej #include <sys/atomic.h>
121 1.1 thorpej #include <sys/condvar.h>
122 1.1 thorpej #include <sys/futex.h>
123 1.1 thorpej #include <sys/mutex.h>
124 1.1 thorpej #include <sys/rbtree.h>
125 1.1 thorpej #include <sys/queue.h>
126 1.1 thorpej
127 1.1 thorpej #include <sys/syscall.h>
128 1.1 thorpej #include <sys/syscallargs.h>
129 1.1 thorpej #include <sys/syscallvar.h>
130 1.1 thorpej
131 1.1 thorpej #include <uvm/uvm_extern.h>
132 1.1 thorpej
133 1.1 thorpej /*
134 1.1 thorpej * Lock order:
135 1.1 thorpej *
136 1.1 thorpej * futex_tab.lock
137 1.1 thorpej * futex::fx_qlock ordered by kva of struct futex
138 1.1 thorpej * -> futex_wait::fw_lock only one at a time
139 1.1 thorpej * futex_wait::fw_lock only one at a time
140 1.1 thorpej * -> futex::fx_abortlock only one at a time
141 1.1 thorpej */
142 1.1 thorpej
143 1.1 thorpej /*
144 1.1 thorpej * union futex_key
145 1.1 thorpej *
146 1.1 thorpej * A futex is addressed either by a vmspace+va (private) or by
147 1.1 thorpej * a uvm_voaddr (shared).
148 1.1 thorpej */
149 1.1 thorpej union futex_key {
150 1.1 thorpej struct {
151 1.1 thorpej struct vmspace *vmspace;
152 1.1 thorpej vaddr_t va;
153 1.1 thorpej } fk_private;
154 1.1 thorpej struct uvm_voaddr fk_shared;
155 1.1 thorpej };
156 1.1 thorpej
157 1.1 thorpej /*
158 1.1 thorpej * struct futex
159 1.1 thorpej *
160 1.1 thorpej * Kernel state for a futex located at a particular address in a
161 1.1 thorpej * particular virtual address space.
162 1.1 thorpej *
163 1.1 thorpej * N.B. fx_refcnt is an unsigned long because we need to be able
164 1.1 thorpej * to operate on it atomically on all systems while at the same
165 1.1 thorpej * time rendering practically impossible the chance of it reaching
166 1.1 thorpej * its max value. In practice, we're limited by the number of LWPs
167 1.1 thorpej * that can be present on the system at any given time, and the
168 1.1 thorpej * assumption is that limit will be good enough on a 32-bit platform.
169 1.1 thorpej * See futex_wake() for why overflow needs to be avoided.
170 1.1 thorpej */
171 1.1 thorpej struct futex {
172 1.1 thorpej union futex_key fx_key;
173 1.1 thorpej unsigned long fx_refcnt;
174 1.1 thorpej bool fx_shared;
175 1.1 thorpej bool fx_on_tree;
176 1.1 thorpej struct rb_node fx_node;
177 1.1 thorpej
178 1.1 thorpej kmutex_t fx_qlock;
179 1.1 thorpej TAILQ_HEAD(, futex_wait) fx_queue;
180 1.1 thorpej
181 1.1 thorpej kmutex_t fx_abortlock;
182 1.1 thorpej LIST_HEAD(, futex_wait) fx_abortlist;
183 1.1 thorpej kcondvar_t fx_abortcv;
184 1.1 thorpej };
185 1.1 thorpej
186 1.1 thorpej /*
187 1.1 thorpej * struct futex_wait
188 1.1 thorpej *
189 1.1 thorpej * State for a thread to wait on a futex. Threads wait on fw_cv
190 1.1 thorpej * for fw_bitset to be set to zero. The thread may transition to
191 1.1 thorpej * a different futex queue at any time under the futex's lock.
192 1.1 thorpej */
193 1.1 thorpej struct futex_wait {
194 1.1 thorpej kmutex_t fw_lock;
195 1.1 thorpej kcondvar_t fw_cv;
196 1.1 thorpej struct futex *fw_futex;
197 1.1 thorpej TAILQ_ENTRY(futex_wait) fw_entry; /* queue lock */
198 1.1 thorpej LIST_ENTRY(futex_wait) fw_abort; /* queue abortlock */
199 1.1 thorpej int fw_bitset;
200 1.4 riastrad bool fw_aborting; /* fw_lock */
201 1.1 thorpej };
202 1.1 thorpej
203 1.1 thorpej /*
204 1.1 thorpej * futex_tab
205 1.1 thorpej *
206 1.1 thorpej * Global trees of futexes by vmspace/va and VM object address.
207 1.1 thorpej *
208 1.1 thorpej * XXX This obviously doesn't scale in parallel. We could use a
209 1.1 thorpej * pserialize-safe data structure, but there may be a high cost to
210 1.1 thorpej * frequent deletion since we don't cache futexes after we're done
211 1.1 thorpej * with them. We could use hashed locks. But for now, just make
212 1.1 thorpej * sure userland can't DoS the serial performance, by using a
213 1.1 thorpej * balanced binary tree for lookup.
214 1.1 thorpej *
215 1.1 thorpej * XXX We could use a per-process tree for the table indexed by
216 1.1 thorpej * virtual address to reduce contention between processes.
217 1.1 thorpej */
218 1.1 thorpej static struct {
219 1.1 thorpej kmutex_t lock;
220 1.1 thorpej struct rb_tree va;
221 1.1 thorpej struct rb_tree oa;
222 1.1 thorpej } futex_tab __cacheline_aligned;
223 1.1 thorpej
224 1.1 thorpej static int
225 1.1 thorpej compare_futex_key(void *cookie, const void *n, const void *k)
226 1.1 thorpej {
227 1.1 thorpej const struct futex *fa = n;
228 1.1 thorpej const union futex_key *fka = &fa->fx_key;
229 1.1 thorpej const union futex_key *fkb = k;
230 1.1 thorpej
231 1.1 thorpej if ((uintptr_t)fka->fk_private.vmspace <
232 1.1 thorpej (uintptr_t)fkb->fk_private.vmspace)
233 1.1 thorpej return -1;
234 1.1 thorpej if ((uintptr_t)fka->fk_private.vmspace >
235 1.1 thorpej (uintptr_t)fkb->fk_private.vmspace)
236 1.1 thorpej return +1;
237 1.1 thorpej if (fka->fk_private.va < fkb->fk_private.va)
238 1.1 thorpej return -1;
239 1.1 thorpej if (fka->fk_private.va > fkb->fk_private.va)
240 1.15 chs return +1;
241 1.1 thorpej return 0;
242 1.1 thorpej }
243 1.1 thorpej
244 1.1 thorpej static int
245 1.1 thorpej compare_futex(void *cookie, const void *na, const void *nb)
246 1.1 thorpej {
247 1.1 thorpej const struct futex *fa = na;
248 1.1 thorpej const struct futex *fb = nb;
249 1.1 thorpej
250 1.1 thorpej return compare_futex_key(cookie, fa, &fb->fx_key);
251 1.1 thorpej }
252 1.1 thorpej
253 1.1 thorpej static const rb_tree_ops_t futex_rb_ops = {
254 1.1 thorpej .rbto_compare_nodes = compare_futex,
255 1.1 thorpej .rbto_compare_key = compare_futex_key,
256 1.1 thorpej .rbto_node_offset = offsetof(struct futex, fx_node),
257 1.1 thorpej };
258 1.1 thorpej
259 1.1 thorpej static int
260 1.1 thorpej compare_futex_shared_key(void *cookie, const void *n, const void *k)
261 1.1 thorpej {
262 1.1 thorpej const struct futex *fa = n;
263 1.1 thorpej const union futex_key *fka = &fa->fx_key;
264 1.1 thorpej const union futex_key *fkb = k;
265 1.1 thorpej
266 1.1 thorpej return uvm_voaddr_compare(&fka->fk_shared, &fkb->fk_shared);
267 1.1 thorpej }
268 1.1 thorpej
269 1.1 thorpej static int
270 1.1 thorpej compare_futex_shared(void *cookie, const void *na, const void *nb)
271 1.1 thorpej {
272 1.1 thorpej const struct futex *fa = na;
273 1.1 thorpej const struct futex *fb = nb;
274 1.1 thorpej
275 1.1 thorpej return compare_futex_shared_key(cookie, fa, &fb->fx_key);
276 1.1 thorpej }
277 1.1 thorpej
278 1.1 thorpej static const rb_tree_ops_t futex_shared_rb_ops = {
279 1.1 thorpej .rbto_compare_nodes = compare_futex_shared,
280 1.1 thorpej .rbto_compare_key = compare_futex_shared_key,
281 1.1 thorpej .rbto_node_offset = offsetof(struct futex, fx_node),
282 1.1 thorpej };
283 1.1 thorpej
284 1.1 thorpej static void futex_wait_dequeue(struct futex_wait *, struct futex *);
285 1.1 thorpej
286 1.1 thorpej /*
287 1.1 thorpej * futex_load(uaddr, kaddr)
288 1.1 thorpej *
289 1.1 thorpej * Perform a single atomic load to read *uaddr, and return the
290 1.1 thorpej * result in *kaddr. Return 0 on success, EFAULT if uaddr is not
291 1.1 thorpej * mapped.
292 1.1 thorpej */
293 1.1 thorpej static inline int
294 1.1 thorpej futex_load(int *uaddr, int *kaddr)
295 1.1 thorpej {
296 1.1 thorpej return ufetch_int((u_int *)uaddr, (u_int *)kaddr);
297 1.1 thorpej }
298 1.1 thorpej
299 1.1 thorpej /*
300 1.1 thorpej * futex_test(uaddr, expected)
301 1.1 thorpej *
302 1.1 thorpej * True if *uaddr == expected. False if *uaddr != expected, or if
303 1.1 thorpej * uaddr is not mapped.
304 1.1 thorpej */
305 1.1 thorpej static bool
306 1.1 thorpej futex_test(int *uaddr, int expected)
307 1.1 thorpej {
308 1.1 thorpej int val;
309 1.1 thorpej int error;
310 1.1 thorpej
311 1.1 thorpej error = futex_load(uaddr, &val);
312 1.1 thorpej if (error)
313 1.1 thorpej return false;
314 1.1 thorpej return val == expected;
315 1.1 thorpej }
316 1.1 thorpej
317 1.1 thorpej /*
318 1.1 thorpej * futex_sys_init()
319 1.1 thorpej *
320 1.1 thorpej * Initialize the futex subsystem.
321 1.1 thorpej */
322 1.1 thorpej void
323 1.1 thorpej futex_sys_init(void)
324 1.1 thorpej {
325 1.1 thorpej
326 1.1 thorpej mutex_init(&futex_tab.lock, MUTEX_DEFAULT, IPL_NONE);
327 1.1 thorpej rb_tree_init(&futex_tab.va, &futex_rb_ops);
328 1.1 thorpej rb_tree_init(&futex_tab.oa, &futex_shared_rb_ops);
329 1.1 thorpej }
330 1.1 thorpej
331 1.1 thorpej /*
332 1.1 thorpej * futex_sys_fini()
333 1.1 thorpej *
334 1.1 thorpej * Finalize the futex subsystem.
335 1.1 thorpej */
336 1.1 thorpej void
337 1.1 thorpej futex_sys_fini(void)
338 1.1 thorpej {
339 1.1 thorpej
340 1.1 thorpej KASSERT(RB_TREE_MIN(&futex_tab.oa) == NULL);
341 1.1 thorpej KASSERT(RB_TREE_MIN(&futex_tab.va) == NULL);
342 1.1 thorpej mutex_destroy(&futex_tab.lock);
343 1.1 thorpej }
344 1.1 thorpej
345 1.1 thorpej /*
346 1.1 thorpej * futex_queue_init(f)
347 1.1 thorpej *
348 1.1 thorpej * Initialize the futex queue. Caller must call futex_queue_fini
349 1.1 thorpej * when done.
350 1.1 thorpej *
351 1.1 thorpej * Never sleeps.
352 1.1 thorpej */
353 1.1 thorpej static void
354 1.1 thorpej futex_queue_init(struct futex *f)
355 1.1 thorpej {
356 1.1 thorpej
357 1.1 thorpej mutex_init(&f->fx_qlock, MUTEX_DEFAULT, IPL_NONE);
358 1.1 thorpej mutex_init(&f->fx_abortlock, MUTEX_DEFAULT, IPL_NONE);
359 1.1 thorpej cv_init(&f->fx_abortcv, "fqabort");
360 1.1 thorpej LIST_INIT(&f->fx_abortlist);
361 1.1 thorpej TAILQ_INIT(&f->fx_queue);
362 1.1 thorpej }
363 1.1 thorpej
364 1.1 thorpej /*
365 1.1 thorpej * futex_queue_drain(f)
366 1.1 thorpej *
367 1.1 thorpej * Wait for any aborting waiters in f; then empty the queue of
368 1.1 thorpej * any stragglers and wake them. Caller must guarantee no new
369 1.1 thorpej * references to f.
370 1.1 thorpej *
371 1.1 thorpej * May sleep.
372 1.1 thorpej */
373 1.1 thorpej static void
374 1.1 thorpej futex_queue_drain(struct futex *f)
375 1.1 thorpej {
376 1.1 thorpej struct futex_wait *fw, *fw_next;
377 1.1 thorpej
378 1.1 thorpej mutex_enter(&f->fx_abortlock);
379 1.1 thorpej while (!LIST_EMPTY(&f->fx_abortlist))
380 1.1 thorpej cv_wait(&f->fx_abortcv, &f->fx_abortlock);
381 1.1 thorpej mutex_exit(&f->fx_abortlock);
382 1.1 thorpej
383 1.1 thorpej mutex_enter(&f->fx_qlock);
384 1.1 thorpej TAILQ_FOREACH_SAFE(fw, &f->fx_queue, fw_entry, fw_next) {
385 1.1 thorpej mutex_enter(&fw->fw_lock);
386 1.1 thorpej futex_wait_dequeue(fw, f);
387 1.1 thorpej cv_broadcast(&fw->fw_cv);
388 1.1 thorpej mutex_exit(&fw->fw_lock);
389 1.1 thorpej }
390 1.1 thorpej mutex_exit(&f->fx_qlock);
391 1.1 thorpej }
392 1.1 thorpej
393 1.1 thorpej /*
394 1.1 thorpej * futex_queue_fini(fq)
395 1.1 thorpej *
396 1.1 thorpej * Finalize the futex queue initialized by futex_queue_init. Queue
397 1.1 thorpej * must be empty. Caller must not use f again until a subsequent
398 1.1 thorpej * futex_queue_init.
399 1.1 thorpej */
400 1.1 thorpej static void
401 1.1 thorpej futex_queue_fini(struct futex *f)
402 1.1 thorpej {
403 1.1 thorpej
404 1.1 thorpej KASSERT(TAILQ_EMPTY(&f->fx_queue));
405 1.1 thorpej KASSERT(LIST_EMPTY(&f->fx_abortlist));
406 1.1 thorpej mutex_destroy(&f->fx_qlock);
407 1.1 thorpej mutex_destroy(&f->fx_abortlock);
408 1.1 thorpej cv_destroy(&f->fx_abortcv);
409 1.1 thorpej }
410 1.1 thorpej
411 1.1 thorpej /*
412 1.1 thorpej * futex_key_init(key, vm, va, shared)
413 1.1 thorpej *
414 1.1 thorpej * Initialize a futex key for lookup, etc.
415 1.1 thorpej */
416 1.1 thorpej static int
417 1.1 thorpej futex_key_init(union futex_key *fk, struct vmspace *vm, vaddr_t va, bool shared)
418 1.1 thorpej {
419 1.1 thorpej int error = 0;
420 1.1 thorpej
421 1.1 thorpej if (__predict_false(shared)) {
422 1.1 thorpej if (!uvm_voaddr_acquire(&vm->vm_map, va, &fk->fk_shared))
423 1.1 thorpej error = EFAULT;
424 1.1 thorpej } else {
425 1.1 thorpej fk->fk_private.vmspace = vm;
426 1.1 thorpej fk->fk_private.va = va;
427 1.1 thorpej }
428 1.1 thorpej
429 1.1 thorpej return error;
430 1.1 thorpej }
431 1.1 thorpej
432 1.1 thorpej /*
433 1.1 thorpej * futex_key_fini(key, shared)
434 1.1 thorpej *
435 1.1 thorpej * Release a futex key.
436 1.1 thorpej */
437 1.1 thorpej static void
438 1.1 thorpej futex_key_fini(union futex_key *fk, bool shared)
439 1.1 thorpej {
440 1.1 thorpej if (__predict_false(shared))
441 1.1 thorpej uvm_voaddr_release(&fk->fk_shared);
442 1.1 thorpej memset(fk, 0, sizeof(*fk));
443 1.1 thorpej }
444 1.1 thorpej
445 1.1 thorpej /*
446 1.1 thorpej * futex_create(fk, shared)
447 1.1 thorpej *
448 1.1 thorpej * Create a futex. Initial reference count is 1, representing the
449 1.1 thorpej * caller. Returns NULL on failure. Always takes ownership of the
450 1.1 thorpej * key, either transferring it to the newly-created futex, or releasing
451 1.1 thorpej * the key if creation fails.
452 1.1 thorpej *
453 1.1 thorpej * Never sleeps for memory, but may sleep to acquire a lock.
454 1.1 thorpej */
455 1.1 thorpej static struct futex *
456 1.1 thorpej futex_create(union futex_key *fk, bool shared)
457 1.1 thorpej {
458 1.1 thorpej struct futex *f;
459 1.1 thorpej
460 1.1 thorpej f = kmem_alloc(sizeof(*f), KM_NOSLEEP);
461 1.1 thorpej if (f == NULL) {
462 1.1 thorpej futex_key_fini(fk, shared);
463 1.1 thorpej return NULL;
464 1.1 thorpej }
465 1.1 thorpej f->fx_key = *fk;
466 1.1 thorpej f->fx_refcnt = 1;
467 1.1 thorpej f->fx_shared = shared;
468 1.1 thorpej f->fx_on_tree = false;
469 1.1 thorpej futex_queue_init(f);
470 1.1 thorpej
471 1.1 thorpej return f;
472 1.1 thorpej }
473 1.1 thorpej
474 1.1 thorpej /*
475 1.1 thorpej * futex_destroy(f)
476 1.1 thorpej *
477 1.1 thorpej * Destroy a futex created with futex_create. Reference count
478 1.1 thorpej * must be zero.
479 1.1 thorpej *
480 1.1 thorpej * May sleep.
481 1.1 thorpej */
482 1.1 thorpej static void
483 1.1 thorpej futex_destroy(struct futex *f)
484 1.1 thorpej {
485 1.1 thorpej
486 1.1 thorpej ASSERT_SLEEPABLE();
487 1.1 thorpej
488 1.1 thorpej KASSERT(atomic_load_relaxed(&f->fx_refcnt) == 0);
489 1.1 thorpej KASSERT(!f->fx_on_tree);
490 1.1 thorpej
491 1.1 thorpej /* Drain and destroy the private queue. */
492 1.1 thorpej futex_queue_drain(f);
493 1.1 thorpej futex_queue_fini(f);
494 1.1 thorpej
495 1.1 thorpej futex_key_fini(&f->fx_key, f->fx_shared);
496 1.1 thorpej
497 1.1 thorpej kmem_free(f, sizeof(*f));
498 1.1 thorpej }
499 1.1 thorpej
500 1.1 thorpej /*
501 1.1 thorpej * futex_hold(f)
502 1.1 thorpej *
503 1.1 thorpej * Attempt to acquire a reference to f. Return 0 on success,
504 1.1 thorpej * ENFILE on too many references.
505 1.1 thorpej *
506 1.1 thorpej * Never sleeps.
507 1.1 thorpej */
508 1.1 thorpej static int
509 1.1 thorpej futex_hold(struct futex *f)
510 1.1 thorpej {
511 1.1 thorpej unsigned long refcnt;
512 1.1 thorpej
513 1.1 thorpej do {
514 1.1 thorpej refcnt = atomic_load_relaxed(&f->fx_refcnt);
515 1.1 thorpej if (refcnt == ULONG_MAX)
516 1.1 thorpej return ENFILE;
517 1.1 thorpej } while (atomic_cas_ulong(&f->fx_refcnt, refcnt, refcnt + 1) != refcnt);
518 1.1 thorpej
519 1.1 thorpej return 0;
520 1.1 thorpej }
521 1.1 thorpej
522 1.1 thorpej /*
523 1.1 thorpej * futex_rele(f)
524 1.1 thorpej *
525 1.1 thorpej * Release a reference to f acquired with futex_create or
526 1.1 thorpej * futex_hold.
527 1.1 thorpej *
528 1.1 thorpej * May sleep to free f.
529 1.1 thorpej */
530 1.1 thorpej static void
531 1.1 thorpej futex_rele(struct futex *f)
532 1.1 thorpej {
533 1.1 thorpej unsigned long refcnt;
534 1.1 thorpej
535 1.1 thorpej ASSERT_SLEEPABLE();
536 1.1 thorpej
537 1.1 thorpej do {
538 1.1 thorpej refcnt = atomic_load_relaxed(&f->fx_refcnt);
539 1.1 thorpej if (refcnt == 1)
540 1.1 thorpej goto trylast;
541 1.17 riastrad membar_release();
542 1.1 thorpej } while (atomic_cas_ulong(&f->fx_refcnt, refcnt, refcnt - 1) != refcnt);
543 1.1 thorpej return;
544 1.1 thorpej
545 1.1 thorpej trylast:
546 1.1 thorpej mutex_enter(&futex_tab.lock);
547 1.1 thorpej if (atomic_dec_ulong_nv(&f->fx_refcnt) == 0) {
548 1.17 riastrad membar_acquire();
549 1.1 thorpej if (f->fx_on_tree) {
550 1.1 thorpej if (__predict_false(f->fx_shared))
551 1.1 thorpej rb_tree_remove_node(&futex_tab.oa, f);
552 1.1 thorpej else
553 1.1 thorpej rb_tree_remove_node(&futex_tab.va, f);
554 1.1 thorpej f->fx_on_tree = false;
555 1.1 thorpej }
556 1.1 thorpej } else {
557 1.1 thorpej /* References remain -- don't destroy it. */
558 1.1 thorpej f = NULL;
559 1.1 thorpej }
560 1.1 thorpej mutex_exit(&futex_tab.lock);
561 1.1 thorpej if (f != NULL)
562 1.1 thorpej futex_destroy(f);
563 1.1 thorpej }
564 1.1 thorpej
565 1.1 thorpej /*
566 1.1 thorpej * futex_rele_not_last(f)
567 1.1 thorpej *
568 1.1 thorpej * Release a reference to f acquired with futex_create or
569 1.1 thorpej * futex_hold.
570 1.1 thorpej *
571 1.1 thorpej * This version asserts that we are not dropping the last
572 1.1 thorpej * reference to f.
573 1.1 thorpej */
574 1.1 thorpej static void
575 1.1 thorpej futex_rele_not_last(struct futex *f)
576 1.1 thorpej {
577 1.1 thorpej unsigned long refcnt;
578 1.1 thorpej
579 1.1 thorpej do {
580 1.1 thorpej refcnt = atomic_load_relaxed(&f->fx_refcnt);
581 1.1 thorpej KASSERT(refcnt > 1);
582 1.1 thorpej } while (atomic_cas_ulong(&f->fx_refcnt, refcnt, refcnt - 1) != refcnt);
583 1.1 thorpej }
584 1.1 thorpej
585 1.1 thorpej /*
586 1.1 thorpej * futex_lookup_by_key(key, shared, &f)
587 1.1 thorpej *
588 1.1 thorpej * Try to find an existing futex va reference in the specified key
589 1.1 thorpej * On success, return 0, set f to found futex or to NULL if not found,
590 1.1 thorpej * and increment f's reference count if found.
591 1.1 thorpej *
592 1.1 thorpej * Return ENFILE if reference count too high.
593 1.1 thorpej *
594 1.1 thorpej * Internal lookup routine shared by futex_lookup() and
595 1.5 riastrad * futex_lookup_create().
596 1.1 thorpej */
597 1.1 thorpej static int
598 1.1 thorpej futex_lookup_by_key(union futex_key *fk, bool shared, struct futex **fp)
599 1.1 thorpej {
600 1.1 thorpej struct futex *f;
601 1.1 thorpej int error = 0;
602 1.1 thorpej
603 1.1 thorpej mutex_enter(&futex_tab.lock);
604 1.1 thorpej if (__predict_false(shared)) {
605 1.1 thorpej f = rb_tree_find_node(&futex_tab.oa, fk);
606 1.1 thorpej } else {
607 1.1 thorpej f = rb_tree_find_node(&futex_tab.va, fk);
608 1.1 thorpej }
609 1.1 thorpej if (f) {
610 1.1 thorpej error = futex_hold(f);
611 1.1 thorpej if (error)
612 1.1 thorpej f = NULL;
613 1.1 thorpej }
614 1.1 thorpej *fp = f;
615 1.1 thorpej mutex_exit(&futex_tab.lock);
616 1.1 thorpej
617 1.1 thorpej return error;
618 1.1 thorpej }
619 1.1 thorpej
620 1.1 thorpej /*
621 1.1 thorpej * futex_insert(f, fp)
622 1.1 thorpej *
623 1.1 thorpej * Try to insert the futex f into the tree by va. If there
624 1.1 thorpej * already is a futex for its va, acquire a reference to it, and
625 1.1 thorpej * store it in *fp; otherwise store f in *fp.
626 1.1 thorpej *
627 1.1 thorpej * Return 0 on success, ENFILE if there already is a futex but its
628 1.1 thorpej * reference count is too high.
629 1.1 thorpej */
630 1.1 thorpej static int
631 1.1 thorpej futex_insert(struct futex *f, struct futex **fp)
632 1.1 thorpej {
633 1.1 thorpej struct futex *f0;
634 1.1 thorpej int error;
635 1.1 thorpej
636 1.1 thorpej KASSERT(atomic_load_relaxed(&f->fx_refcnt) != 0);
637 1.1 thorpej KASSERT(!f->fx_on_tree);
638 1.1 thorpej
639 1.1 thorpej mutex_enter(&futex_tab.lock);
640 1.1 thorpej if (__predict_false(f->fx_shared))
641 1.1 thorpej f0 = rb_tree_insert_node(&futex_tab.oa, f);
642 1.1 thorpej else
643 1.1 thorpej f0 = rb_tree_insert_node(&futex_tab.va, f);
644 1.1 thorpej if (f0 == f) {
645 1.1 thorpej f->fx_on_tree = true;
646 1.1 thorpej error = 0;
647 1.1 thorpej } else {
648 1.1 thorpej KASSERT(atomic_load_relaxed(&f0->fx_refcnt) != 0);
649 1.1 thorpej KASSERT(f0->fx_on_tree);
650 1.1 thorpej error = futex_hold(f0);
651 1.1 thorpej if (error)
652 1.1 thorpej goto out;
653 1.1 thorpej }
654 1.1 thorpej *fp = f0;
655 1.1 thorpej out: mutex_exit(&futex_tab.lock);
656 1.1 thorpej
657 1.1 thorpej return error;
658 1.1 thorpej }
659 1.1 thorpej
660 1.1 thorpej /*
661 1.1 thorpej * futex_lookup(uaddr, shared, &f)
662 1.1 thorpej *
663 1.1 thorpej * Find a futex at the userland pointer uaddr in the current
664 1.1 thorpej * process's VM space. On success, return the futex in f and
665 1.1 thorpej * increment its reference count.
666 1.1 thorpej *
667 1.5 riastrad * Caller must call futex_rele when done.
668 1.1 thorpej */
669 1.1 thorpej static int
670 1.1 thorpej futex_lookup(int *uaddr, bool shared, struct futex **fp)
671 1.1 thorpej {
672 1.1 thorpej union futex_key fk;
673 1.1 thorpej struct vmspace *vm = curproc->p_vmspace;
674 1.1 thorpej vaddr_t va = (vaddr_t)uaddr;
675 1.1 thorpej int error;
676 1.1 thorpej
677 1.1 thorpej /*
678 1.1 thorpej * Reject unaligned user pointers so we don't cross page
679 1.1 thorpej * boundaries and so atomics will work.
680 1.1 thorpej */
681 1.1 thorpej if ((va & 3) != 0)
682 1.1 thorpej return EINVAL;
683 1.1 thorpej
684 1.1 thorpej /* Look it up. */
685 1.1 thorpej error = futex_key_init(&fk, vm, va, shared);
686 1.1 thorpej if (error)
687 1.1 thorpej return error;
688 1.1 thorpej
689 1.1 thorpej error = futex_lookup_by_key(&fk, shared, fp);
690 1.1 thorpej futex_key_fini(&fk, shared);
691 1.1 thorpej if (error)
692 1.1 thorpej return error;
693 1.1 thorpej
694 1.1 thorpej KASSERT(*fp == NULL || (*fp)->fx_shared == shared);
695 1.1 thorpej KASSERT(*fp == NULL || atomic_load_relaxed(&(*fp)->fx_refcnt) != 0);
696 1.1 thorpej
697 1.1 thorpej /*
698 1.1 thorpej * Success! (Caller must still check whether we found
699 1.1 thorpej * anything, but nothing went _wrong_ like trying to use
700 1.1 thorpej * unmapped memory.)
701 1.1 thorpej */
702 1.1 thorpej KASSERT(error == 0);
703 1.1 thorpej
704 1.1 thorpej return error;
705 1.1 thorpej }
706 1.1 thorpej
707 1.1 thorpej /*
708 1.5 riastrad * futex_lookup_create(uaddr, shared, &f)
709 1.1 thorpej *
710 1.1 thorpej * Find or create a futex at the userland pointer uaddr in the
711 1.1 thorpej * current process's VM space. On success, return the futex in f
712 1.1 thorpej * and increment its reference count.
713 1.1 thorpej *
714 1.5 riastrad * Caller must call futex_rele when done.
715 1.1 thorpej */
716 1.1 thorpej static int
717 1.5 riastrad futex_lookup_create(int *uaddr, bool shared, struct futex **fp)
718 1.1 thorpej {
719 1.1 thorpej union futex_key fk;
720 1.1 thorpej struct vmspace *vm = curproc->p_vmspace;
721 1.1 thorpej struct futex *f = NULL;
722 1.1 thorpej vaddr_t va = (vaddr_t)uaddr;
723 1.1 thorpej int error;
724 1.1 thorpej
725 1.1 thorpej /*
726 1.1 thorpej * Reject unaligned user pointers so we don't cross page
727 1.1 thorpej * boundaries and so atomics will work.
728 1.1 thorpej */
729 1.1 thorpej if ((va & 3) != 0)
730 1.1 thorpej return EINVAL;
731 1.1 thorpej
732 1.1 thorpej error = futex_key_init(&fk, vm, va, shared);
733 1.1 thorpej if (error)
734 1.1 thorpej return error;
735 1.1 thorpej
736 1.1 thorpej /*
737 1.1 thorpej * Optimistically assume there already is one, and try to find
738 1.1 thorpej * it.
739 1.1 thorpej */
740 1.1 thorpej error = futex_lookup_by_key(&fk, shared, fp);
741 1.1 thorpej if (error || *fp != NULL) {
742 1.1 thorpej /*
743 1.1 thorpej * We either found one, or there was an error.
744 1.1 thorpej * In either case, we are done with the key.
745 1.1 thorpej */
746 1.1 thorpej futex_key_fini(&fk, shared);
747 1.1 thorpej goto out;
748 1.1 thorpej }
749 1.1 thorpej
750 1.1 thorpej /*
751 1.14 andvar * Create a futex record. This transfers ownership of the key
752 1.1 thorpej * in all cases.
753 1.1 thorpej */
754 1.1 thorpej f = futex_create(&fk, shared);
755 1.1 thorpej if (f == NULL) {
756 1.1 thorpej error = ENOMEM;
757 1.1 thorpej goto out;
758 1.1 thorpej }
759 1.1 thorpej
760 1.1 thorpej /*
761 1.1 thorpej * Insert our new futex, or use existing if someone else beat
762 1.1 thorpej * us to it.
763 1.1 thorpej */
764 1.1 thorpej error = futex_insert(f, fp);
765 1.1 thorpej if (error)
766 1.1 thorpej goto out;
767 1.1 thorpej if (*fp == f)
768 1.1 thorpej f = NULL; /* don't release on exit */
769 1.1 thorpej
770 1.1 thorpej /* Success! */
771 1.1 thorpej KASSERT(error == 0);
772 1.1 thorpej
773 1.1 thorpej out: if (f != NULL)
774 1.1 thorpej futex_rele(f);
775 1.1 thorpej KASSERT(error || *fp != NULL);
776 1.1 thorpej KASSERT(error || atomic_load_relaxed(&(*fp)->fx_refcnt) != 0);
777 1.1 thorpej return error;
778 1.1 thorpej }
779 1.1 thorpej
780 1.1 thorpej /*
781 1.1 thorpej * futex_wait_init(fw, bitset)
782 1.1 thorpej *
783 1.1 thorpej * Initialize a record for a thread to wait on a futex matching
784 1.1 thorpej * the specified bit set. Should be passed to futex_wait_enqueue
785 1.1 thorpej * before futex_wait, and should be passed to futex_wait_fini when
786 1.1 thorpej * done.
787 1.1 thorpej */
788 1.1 thorpej static void
789 1.1 thorpej futex_wait_init(struct futex_wait *fw, int bitset)
790 1.1 thorpej {
791 1.1 thorpej
792 1.6 riastrad KASSERT(bitset);
793 1.6 riastrad
794 1.1 thorpej mutex_init(&fw->fw_lock, MUTEX_DEFAULT, IPL_NONE);
795 1.1 thorpej cv_init(&fw->fw_cv, "futex");
796 1.1 thorpej fw->fw_futex = NULL;
797 1.1 thorpej fw->fw_bitset = bitset;
798 1.4 riastrad fw->fw_aborting = false;
799 1.1 thorpej }
800 1.1 thorpej
801 1.1 thorpej /*
802 1.1 thorpej * futex_wait_fini(fw)
803 1.1 thorpej *
804 1.1 thorpej * Finalize a record for a futex waiter. Must not be on any
805 1.1 thorpej * futex's queue.
806 1.1 thorpej */
807 1.1 thorpej static void
808 1.1 thorpej futex_wait_fini(struct futex_wait *fw)
809 1.1 thorpej {
810 1.1 thorpej
811 1.6 riastrad KASSERT(fw->fw_futex == NULL);
812 1.6 riastrad
813 1.1 thorpej cv_destroy(&fw->fw_cv);
814 1.1 thorpej mutex_destroy(&fw->fw_lock);
815 1.1 thorpej }
816 1.1 thorpej
817 1.1 thorpej /*
818 1.1 thorpej * futex_wait_enqueue(fw, f)
819 1.1 thorpej *
820 1.1 thorpej * Put fw on the futex queue. Must be done before futex_wait.
821 1.1 thorpej * Caller must hold fw's lock and f's lock, and fw must not be on
822 1.1 thorpej * any existing futex's waiter list.
823 1.1 thorpej */
824 1.1 thorpej static void
825 1.1 thorpej futex_wait_enqueue(struct futex_wait *fw, struct futex *f)
826 1.1 thorpej {
827 1.1 thorpej
828 1.1 thorpej KASSERT(mutex_owned(&f->fx_qlock));
829 1.1 thorpej KASSERT(mutex_owned(&fw->fw_lock));
830 1.1 thorpej KASSERT(fw->fw_futex == NULL);
831 1.4 riastrad KASSERT(!fw->fw_aborting);
832 1.1 thorpej
833 1.1 thorpej fw->fw_futex = f;
834 1.1 thorpej TAILQ_INSERT_TAIL(&f->fx_queue, fw, fw_entry);
835 1.1 thorpej }
836 1.1 thorpej
837 1.1 thorpej /*
838 1.1 thorpej * futex_wait_dequeue(fw, f)
839 1.1 thorpej *
840 1.1 thorpej * Remove fw from the futex queue. Precludes subsequent
841 1.1 thorpej * futex_wait until a futex_wait_enqueue. Caller must hold fw's
842 1.1 thorpej * lock and f's lock, and fw must be on f.
843 1.1 thorpej */
844 1.1 thorpej static void
845 1.1 thorpej futex_wait_dequeue(struct futex_wait *fw, struct futex *f)
846 1.1 thorpej {
847 1.1 thorpej
848 1.1 thorpej KASSERT(mutex_owned(&f->fx_qlock));
849 1.1 thorpej KASSERT(mutex_owned(&fw->fw_lock));
850 1.1 thorpej KASSERT(fw->fw_futex == f);
851 1.1 thorpej
852 1.1 thorpej TAILQ_REMOVE(&f->fx_queue, fw, fw_entry);
853 1.1 thorpej fw->fw_futex = NULL;
854 1.1 thorpej }
855 1.1 thorpej
856 1.1 thorpej /*
857 1.1 thorpej * futex_wait_abort(fw)
858 1.1 thorpej *
859 1.1 thorpej * Caller is no longer waiting for fw. Remove it from any queue
860 1.4 riastrad * if it was on one. Caller must hold fw->fw_lock.
861 1.1 thorpej */
862 1.1 thorpej static void
863 1.1 thorpej futex_wait_abort(struct futex_wait *fw)
864 1.1 thorpej {
865 1.1 thorpej struct futex *f;
866 1.1 thorpej
867 1.4 riastrad KASSERT(mutex_owned(&fw->fw_lock));
868 1.1 thorpej
869 1.1 thorpej /*
870 1.1 thorpej * Grab the futex queue. It can't go away as long as we hold
871 1.1 thorpej * fw_lock. However, we can't take the queue lock because
872 1.1 thorpej * that's a lock order reversal.
873 1.1 thorpej */
874 1.1 thorpej f = fw->fw_futex;
875 1.1 thorpej
876 1.1 thorpej /* Put us on the abort list so that fq won't go away. */
877 1.1 thorpej mutex_enter(&f->fx_abortlock);
878 1.1 thorpej LIST_INSERT_HEAD(&f->fx_abortlist, fw, fw_abort);
879 1.1 thorpej mutex_exit(&f->fx_abortlock);
880 1.1 thorpej
881 1.4 riastrad /*
882 1.4 riastrad * Mark fw as aborting so it won't lose wakeups and won't be
883 1.4 riastrad * transferred to any other queue.
884 1.4 riastrad */
885 1.4 riastrad fw->fw_aborting = true;
886 1.4 riastrad
887 1.1 thorpej /* f is now stable, so we can release fw_lock. */
888 1.1 thorpej mutex_exit(&fw->fw_lock);
889 1.1 thorpej
890 1.1 thorpej /* Now we can remove fw under the queue lock. */
891 1.1 thorpej mutex_enter(&f->fx_qlock);
892 1.4 riastrad mutex_enter(&fw->fw_lock);
893 1.4 riastrad futex_wait_dequeue(fw, f);
894 1.4 riastrad mutex_exit(&fw->fw_lock);
895 1.1 thorpej mutex_exit(&f->fx_qlock);
896 1.1 thorpej
897 1.1 thorpej /*
898 1.1 thorpej * Finally, remove us from the abort list and notify anyone
899 1.1 thorpej * waiting for the abort to complete if we were the last to go.
900 1.1 thorpej */
901 1.1 thorpej mutex_enter(&f->fx_abortlock);
902 1.1 thorpej LIST_REMOVE(fw, fw_abort);
903 1.1 thorpej if (LIST_EMPTY(&f->fx_abortlist))
904 1.1 thorpej cv_broadcast(&f->fx_abortcv);
905 1.1 thorpej mutex_exit(&f->fx_abortlock);
906 1.4 riastrad
907 1.4 riastrad /*
908 1.4 riastrad * Release our reference to the futex now that we are not
909 1.4 riastrad * waiting for it.
910 1.4 riastrad */
911 1.4 riastrad futex_rele(f);
912 1.4 riastrad
913 1.4 riastrad /*
914 1.4 riastrad * Reacquire the fw lock as caller expects. Verify that we're
915 1.4 riastrad * aborting and no longer associated with a futex.
916 1.4 riastrad */
917 1.4 riastrad mutex_enter(&fw->fw_lock);
918 1.4 riastrad KASSERT(fw->fw_aborting);
919 1.4 riastrad KASSERT(fw->fw_futex == NULL);
920 1.1 thorpej }
921 1.1 thorpej
922 1.1 thorpej /*
923 1.11 riastrad * futex_wait(fw, deadline, clkid)
924 1.1 thorpej *
925 1.11 riastrad * fw must be a waiter on a futex's queue. Wait until deadline on
926 1.11 riastrad * the clock clkid, or forever if deadline is NULL, for a futex
927 1.11 riastrad * wakeup. Return 0 on explicit wakeup or destruction of futex,
928 1.11 riastrad * ETIMEDOUT on timeout, EINTR/ERESTART on signal. Either way, fw
929 1.11 riastrad * will no longer be on a futex queue on return.
930 1.1 thorpej */
931 1.1 thorpej static int
932 1.11 riastrad futex_wait(struct futex_wait *fw, const struct timespec *deadline,
933 1.11 riastrad clockid_t clkid)
934 1.1 thorpej {
935 1.1 thorpej int error = 0;
936 1.1 thorpej
937 1.1 thorpej /* Test and wait under the wait lock. */
938 1.1 thorpej mutex_enter(&fw->fw_lock);
939 1.4 riastrad
940 1.4 riastrad for (;;) {
941 1.11 riastrad /* If we're done yet, stop and report success. */
942 1.4 riastrad if (fw->fw_bitset == 0 || fw->fw_futex == NULL) {
943 1.4 riastrad error = 0;
944 1.4 riastrad break;
945 1.4 riastrad }
946 1.4 riastrad
947 1.4 riastrad /* If anything went wrong in the last iteration, stop. */
948 1.4 riastrad if (error)
949 1.4 riastrad break;
950 1.4 riastrad
951 1.1 thorpej /* Not done yet. Wait. */
952 1.11 riastrad if (deadline) {
953 1.11 riastrad struct timespec ts;
954 1.11 riastrad
955 1.11 riastrad /* Check our watch. */
956 1.11 riastrad error = clock_gettime1(clkid, &ts);
957 1.11 riastrad if (error)
958 1.11 riastrad break;
959 1.11 riastrad
960 1.11 riastrad /* If we're past the deadline, ETIMEDOUT. */
961 1.11 riastrad if (timespeccmp(deadline, &ts, <=)) {
962 1.11 riastrad error = ETIMEDOUT;
963 1.11 riastrad break;
964 1.11 riastrad }
965 1.11 riastrad
966 1.11 riastrad /* Count how much time is left. */
967 1.11 riastrad timespecsub(deadline, &ts, &ts);
968 1.11 riastrad
969 1.26 riastrad /*
970 1.26 riastrad * Wait for that much time, allowing signals.
971 1.26 riastrad * Ignore EWOULDBLOCK, however: we will detect
972 1.26 riastrad * timeout ourselves on the next iteration of
973 1.26 riastrad * the loop -- and the timeout may have been
974 1.26 riastrad * truncated by tstohz, anyway.
975 1.26 riastrad */
976 1.11 riastrad error = cv_timedwait_sig(&fw->fw_cv, &fw->fw_lock,
977 1.26 riastrad MAX(1, tstohz(&ts)));
978 1.26 riastrad if (error == EWOULDBLOCK)
979 1.26 riastrad error = 0;
980 1.11 riastrad } else {
981 1.11 riastrad /* Wait indefinitely, allowing signals. */
982 1.11 riastrad error = cv_wait_sig(&fw->fw_cv, &fw->fw_lock);
983 1.11 riastrad }
984 1.1 thorpej }
985 1.4 riastrad
986 1.4 riastrad /*
987 1.4 riastrad * If we were woken up, the waker will have removed fw from the
988 1.4 riastrad * queue. But if anything went wrong, we must remove fw from
989 1.26 riastrad * the queue ourselves.
990 1.4 riastrad */
991 1.26 riastrad if (error)
992 1.4 riastrad futex_wait_abort(fw);
993 1.4 riastrad
994 1.1 thorpej mutex_exit(&fw->fw_lock);
995 1.1 thorpej
996 1.1 thorpej return error;
997 1.1 thorpej }
998 1.1 thorpej
999 1.1 thorpej /*
1000 1.1 thorpej * futex_wake(f, nwake, f2, nrequeue, bitset)
1001 1.1 thorpej *
1002 1.1 thorpej * Wake up to nwake waiters on f matching bitset; then, if f2 is
1003 1.1 thorpej * provided, move up to nrequeue remaining waiters on f matching
1004 1.22 riastrad * bitset to f2. Return the number of waiters actually woken or
1005 1.22 riastrad * requeued. Caller must hold the locks of f and f2, if provided.
1006 1.1 thorpej */
1007 1.1 thorpej static unsigned
1008 1.1 thorpej futex_wake(struct futex *f, unsigned nwake, struct futex *f2,
1009 1.1 thorpej unsigned nrequeue, int bitset)
1010 1.1 thorpej {
1011 1.1 thorpej struct futex_wait *fw, *fw_next;
1012 1.22 riastrad unsigned nwoken_or_requeued = 0;
1013 1.2 mlelstv int hold_error __diagused;
1014 1.1 thorpej
1015 1.1 thorpej KASSERT(mutex_owned(&f->fx_qlock));
1016 1.1 thorpej KASSERT(f2 == NULL || mutex_owned(&f2->fx_qlock));
1017 1.1 thorpej
1018 1.1 thorpej /* Wake up to nwake waiters, and count the number woken. */
1019 1.1 thorpej TAILQ_FOREACH_SAFE(fw, &f->fx_queue, fw_entry, fw_next) {
1020 1.1 thorpej if ((fw->fw_bitset & bitset) == 0)
1021 1.1 thorpej continue;
1022 1.4 riastrad if (nwake > 0) {
1023 1.1 thorpej mutex_enter(&fw->fw_lock);
1024 1.4 riastrad if (__predict_false(fw->fw_aborting)) {
1025 1.4 riastrad mutex_exit(&fw->fw_lock);
1026 1.4 riastrad continue;
1027 1.4 riastrad }
1028 1.1 thorpej futex_wait_dequeue(fw, f);
1029 1.1 thorpej fw->fw_bitset = 0;
1030 1.1 thorpej cv_broadcast(&fw->fw_cv);
1031 1.1 thorpej mutex_exit(&fw->fw_lock);
1032 1.4 riastrad nwake--;
1033 1.22 riastrad nwoken_or_requeued++;
1034 1.1 thorpej /*
1035 1.1 thorpej * Drop the futex reference on behalf of the
1036 1.1 thorpej * waiter. We assert this is not the last
1037 1.1 thorpej * reference on the futex (our caller should
1038 1.1 thorpej * also have one).
1039 1.1 thorpej */
1040 1.1 thorpej futex_rele_not_last(f);
1041 1.1 thorpej } else {
1042 1.1 thorpej break;
1043 1.1 thorpej }
1044 1.1 thorpej }
1045 1.1 thorpej
1046 1.1 thorpej if (f2) {
1047 1.1 thorpej /* Move up to nrequeue waiters from f's queue to f2's queue. */
1048 1.1 thorpej TAILQ_FOREACH_SAFE(fw, &f->fx_queue, fw_entry, fw_next) {
1049 1.1 thorpej if ((fw->fw_bitset & bitset) == 0)
1050 1.1 thorpej continue;
1051 1.4 riastrad if (nrequeue > 0) {
1052 1.1 thorpej mutex_enter(&fw->fw_lock);
1053 1.4 riastrad if (__predict_false(fw->fw_aborting)) {
1054 1.4 riastrad mutex_exit(&fw->fw_lock);
1055 1.4 riastrad continue;
1056 1.4 riastrad }
1057 1.1 thorpej futex_wait_dequeue(fw, f);
1058 1.1 thorpej futex_wait_enqueue(fw, f2);
1059 1.1 thorpej mutex_exit(&fw->fw_lock);
1060 1.4 riastrad nrequeue--;
1061 1.1 thorpej /*
1062 1.22 riastrad * PR kern/59004: Missing constant for upper
1063 1.22 riastrad * bound on systemwide number of lwps
1064 1.22 riastrad */
1065 1.22 riastrad KASSERT(nwoken_or_requeued <
1066 1.22 riastrad MIN(PID_MAX*MAXMAXLWP, FUTEX_TID_MASK));
1067 1.22 riastrad __CTASSERT(UINT_MAX >=
1068 1.22 riastrad MIN(PID_MAX*MAXMAXLWP, FUTEX_TID_MASK));
1069 1.22 riastrad if (++nwoken_or_requeued == 0) /* paranoia */
1070 1.22 riastrad nwoken_or_requeued = UINT_MAX;
1071 1.22 riastrad /*
1072 1.1 thorpej * Transfer the reference from f to f2.
1073 1.1 thorpej * As above, we assert that we are not
1074 1.1 thorpej * dropping the last reference to f here.
1075 1.1 thorpej *
1076 1.1 thorpej * XXX futex_hold() could theoretically
1077 1.1 thorpej * XXX fail here.
1078 1.1 thorpej */
1079 1.1 thorpej futex_rele_not_last(f);
1080 1.1 thorpej hold_error = futex_hold(f2);
1081 1.1 thorpej KASSERT(hold_error == 0);
1082 1.1 thorpej } else {
1083 1.1 thorpej break;
1084 1.1 thorpej }
1085 1.1 thorpej }
1086 1.1 thorpej } else {
1087 1.1 thorpej KASSERT(nrequeue == 0);
1088 1.1 thorpej }
1089 1.1 thorpej
1090 1.22 riastrad /* Return the number of waiters woken or requeued. */
1091 1.22 riastrad return nwoken_or_requeued;
1092 1.1 thorpej }
1093 1.1 thorpej
1094 1.1 thorpej /*
1095 1.1 thorpej * futex_queue_lock(f)
1096 1.1 thorpej *
1097 1.1 thorpej * Acquire the queue lock of f. Pair with futex_queue_unlock. Do
1098 1.1 thorpej * not use if caller needs to acquire two locks; use
1099 1.1 thorpej * futex_queue_lock2 instead.
1100 1.1 thorpej */
1101 1.1 thorpej static void
1102 1.1 thorpej futex_queue_lock(struct futex *f)
1103 1.1 thorpej {
1104 1.1 thorpej mutex_enter(&f->fx_qlock);
1105 1.1 thorpej }
1106 1.1 thorpej
1107 1.1 thorpej /*
1108 1.1 thorpej * futex_queue_unlock(f)
1109 1.1 thorpej *
1110 1.1 thorpej * Release the queue lock of f.
1111 1.1 thorpej */
1112 1.1 thorpej static void
1113 1.1 thorpej futex_queue_unlock(struct futex *f)
1114 1.1 thorpej {
1115 1.1 thorpej mutex_exit(&f->fx_qlock);
1116 1.1 thorpej }
1117 1.1 thorpej
1118 1.1 thorpej /*
1119 1.1 thorpej * futex_queue_lock2(f, f2)
1120 1.1 thorpej *
1121 1.1 thorpej * Acquire the queue locks of both f and f2, which may be null, or
1122 1.1 thorpej * which may have the same underlying queue. If they are
1123 1.1 thorpej * distinct, an arbitrary total order is chosen on the locks.
1124 1.1 thorpej *
1125 1.1 thorpej * Callers should only ever acquire multiple queue locks
1126 1.1 thorpej * simultaneously using futex_queue_lock2.
1127 1.1 thorpej */
1128 1.1 thorpej static void
1129 1.1 thorpej futex_queue_lock2(struct futex *f, struct futex *f2)
1130 1.1 thorpej {
1131 1.1 thorpej
1132 1.1 thorpej /*
1133 1.1 thorpej * If both are null, do nothing; if one is null and the other
1134 1.1 thorpej * is not, lock the other and be done with it.
1135 1.1 thorpej */
1136 1.1 thorpej if (f == NULL && f2 == NULL) {
1137 1.1 thorpej return;
1138 1.1 thorpej } else if (f == NULL) {
1139 1.1 thorpej mutex_enter(&f2->fx_qlock);
1140 1.1 thorpej return;
1141 1.1 thorpej } else if (f2 == NULL) {
1142 1.1 thorpej mutex_enter(&f->fx_qlock);
1143 1.1 thorpej return;
1144 1.1 thorpej }
1145 1.1 thorpej
1146 1.1 thorpej /* If both futexes are the same, acquire only one. */
1147 1.1 thorpej if (f == f2) {
1148 1.1 thorpej mutex_enter(&f->fx_qlock);
1149 1.1 thorpej return;
1150 1.1 thorpej }
1151 1.1 thorpej
1152 1.1 thorpej /* Otherwise, use the ordering on the kva of the futex pointer. */
1153 1.1 thorpej if ((uintptr_t)f < (uintptr_t)f2) {
1154 1.1 thorpej mutex_enter(&f->fx_qlock);
1155 1.1 thorpej mutex_enter(&f2->fx_qlock);
1156 1.1 thorpej } else {
1157 1.1 thorpej mutex_enter(&f2->fx_qlock);
1158 1.1 thorpej mutex_enter(&f->fx_qlock);
1159 1.1 thorpej }
1160 1.1 thorpej }
1161 1.1 thorpej
1162 1.1 thorpej /*
1163 1.1 thorpej * futex_queue_unlock2(f, f2)
1164 1.1 thorpej *
1165 1.1 thorpej * Release the queue locks of both f and f2, which may be null, or
1166 1.1 thorpej * which may have the same underlying queue.
1167 1.1 thorpej */
1168 1.1 thorpej static void
1169 1.1 thorpej futex_queue_unlock2(struct futex *f, struct futex *f2)
1170 1.1 thorpej {
1171 1.1 thorpej
1172 1.1 thorpej /*
1173 1.1 thorpej * If both are null, do nothing; if one is null and the other
1174 1.1 thorpej * is not, unlock the other and be done with it.
1175 1.1 thorpej */
1176 1.1 thorpej if (f == NULL && f2 == NULL) {
1177 1.1 thorpej return;
1178 1.1 thorpej } else if (f == NULL) {
1179 1.1 thorpej mutex_exit(&f2->fx_qlock);
1180 1.1 thorpej return;
1181 1.1 thorpej } else if (f2 == NULL) {
1182 1.1 thorpej mutex_exit(&f->fx_qlock);
1183 1.1 thorpej return;
1184 1.1 thorpej }
1185 1.1 thorpej
1186 1.1 thorpej /* If both futexes are the same, release only one. */
1187 1.1 thorpej if (f == f2) {
1188 1.1 thorpej mutex_exit(&f->fx_qlock);
1189 1.1 thorpej return;
1190 1.1 thorpej }
1191 1.1 thorpej
1192 1.1 thorpej /* Otherwise, use the ordering on the kva of the futex pointer. */
1193 1.1 thorpej if ((uintptr_t)f < (uintptr_t)f2) {
1194 1.1 thorpej mutex_exit(&f2->fx_qlock);
1195 1.1 thorpej mutex_exit(&f->fx_qlock);
1196 1.1 thorpej } else {
1197 1.1 thorpej mutex_exit(&f->fx_qlock);
1198 1.1 thorpej mutex_exit(&f2->fx_qlock);
1199 1.1 thorpej }
1200 1.1 thorpej }
1201 1.1 thorpej
1202 1.1 thorpej /*
1203 1.25 riastrad * futex_func_wait(uaddr, cmpval@val, bitset@val3, timeout, clkid, clkflags,
1204 1.25 riastrad * retval)
1205 1.1 thorpej *
1206 1.25 riastrad * Implement futex(FUTEX_WAIT) and futex(FUTEX_WAIT_BITSET): If
1207 1.25 riastrad * *uaddr == cmpval, wait until futex-woken on any of the bits in
1208 1.25 riastrad * bitset. But if *uaddr != cmpval, fail with EAGAIN.
1209 1.25 riastrad *
1210 1.25 riastrad * For FUTEX_WAIT, bitset has all bits set and val3 is ignored.
1211 1.1 thorpej */
1212 1.1 thorpej static int
1213 1.25 riastrad futex_func_wait(bool shared, int *uaddr, int cmpval, int bitset,
1214 1.11 riastrad const struct timespec *timeout, clockid_t clkid, int clkflags,
1215 1.1 thorpej register_t *retval)
1216 1.1 thorpej {
1217 1.1 thorpej struct futex *f;
1218 1.1 thorpej struct futex_wait wait, *fw = &wait;
1219 1.11 riastrad struct timespec ts;
1220 1.11 riastrad const struct timespec *deadline;
1221 1.1 thorpej int error;
1222 1.1 thorpej
1223 1.6 riastrad /*
1224 1.6 riastrad * If there's nothing to wait for, and nobody will ever wake
1225 1.6 riastrad * us, then don't set anything up to wait -- just stop here.
1226 1.6 riastrad */
1227 1.25 riastrad if (bitset == 0)
1228 1.7 riastrad return EINVAL;
1229 1.6 riastrad
1230 1.1 thorpej /* Optimistically test before anything else. */
1231 1.25 riastrad if (!futex_test(uaddr, cmpval))
1232 1.1 thorpej return EAGAIN;
1233 1.1 thorpej
1234 1.11 riastrad /* Determine a deadline on the specified clock. */
1235 1.11 riastrad if (timeout == NULL || (clkflags & TIMER_ABSTIME) == TIMER_ABSTIME) {
1236 1.11 riastrad deadline = timeout;
1237 1.11 riastrad } else {
1238 1.11 riastrad error = clock_gettime1(clkid, &ts);
1239 1.11 riastrad if (error)
1240 1.11 riastrad return error;
1241 1.11 riastrad timespecadd(&ts, timeout, &ts);
1242 1.11 riastrad deadline = &ts;
1243 1.11 riastrad }
1244 1.11 riastrad
1245 1.1 thorpej /* Get the futex, creating it if necessary. */
1246 1.5 riastrad error = futex_lookup_create(uaddr, shared, &f);
1247 1.1 thorpej if (error)
1248 1.1 thorpej return error;
1249 1.1 thorpej KASSERT(f);
1250 1.1 thorpej
1251 1.1 thorpej /* Get ready to wait. */
1252 1.25 riastrad futex_wait_init(fw, bitset);
1253 1.1 thorpej
1254 1.1 thorpej /*
1255 1.1 thorpej * Under the queue lock, check the value again: if it has
1256 1.1 thorpej * already changed, EAGAIN; otherwise enqueue the waiter.
1257 1.1 thorpej * Since FUTEX_WAKE will use the same lock and be done after
1258 1.1 thorpej * modifying the value, the order in which we check and enqueue
1259 1.1 thorpej * is immaterial.
1260 1.1 thorpej */
1261 1.1 thorpej futex_queue_lock(f);
1262 1.25 riastrad if (!futex_test(uaddr, cmpval)) {
1263 1.1 thorpej futex_queue_unlock(f);
1264 1.1 thorpej error = EAGAIN;
1265 1.1 thorpej goto out;
1266 1.1 thorpej }
1267 1.1 thorpej mutex_enter(&fw->fw_lock);
1268 1.1 thorpej futex_wait_enqueue(fw, f);
1269 1.1 thorpej mutex_exit(&fw->fw_lock);
1270 1.1 thorpej futex_queue_unlock(f);
1271 1.1 thorpej
1272 1.1 thorpej /*
1273 1.1 thorpej * We cannot drop our reference to the futex here, because
1274 1.1 thorpej * we might be enqueued on a different one when we are awakened.
1275 1.1 thorpej * The references will be managed on our behalf in the requeue
1276 1.1 thorpej * and wake cases.
1277 1.1 thorpej */
1278 1.1 thorpej f = NULL;
1279 1.1 thorpej
1280 1.1 thorpej /* Wait. */
1281 1.11 riastrad error = futex_wait(fw, deadline, clkid);
1282 1.4 riastrad if (error)
1283 1.1 thorpej goto out;
1284 1.1 thorpej
1285 1.1 thorpej /* Return 0 on success, error on failure. */
1286 1.1 thorpej *retval = 0;
1287 1.1 thorpej
1288 1.1 thorpej out: if (f != NULL)
1289 1.5 riastrad futex_rele(f);
1290 1.1 thorpej futex_wait_fini(fw);
1291 1.1 thorpej return error;
1292 1.1 thorpej }
1293 1.1 thorpej
1294 1.1 thorpej /*
1295 1.25 riastrad * futex_func_wake(uaddr, nwake@val, bitset@val3, retval)
1296 1.25 riastrad *
1297 1.25 riastrad * Implement futex(FUTEX_WAKE) and futex(FUTEX_WAKE_BITSET): Wake
1298 1.25 riastrad * up to nwake waiters on uaddr waiting on any of the bits in
1299 1.25 riastrad * bitset.
1300 1.25 riastrad *
1301 1.25 riastrad * Return the number of waiters woken.
1302 1.1 thorpej *
1303 1.25 riastrad * For FUTEX_WAKE, bitset has all bits set and val3 is ignored.
1304 1.1 thorpej */
1305 1.1 thorpej static int
1306 1.25 riastrad futex_func_wake(bool shared, int *uaddr, int nwake, int bitset,
1307 1.25 riastrad register_t *retval)
1308 1.1 thorpej {
1309 1.1 thorpej struct futex *f;
1310 1.1 thorpej unsigned int nwoken = 0;
1311 1.1 thorpej int error = 0;
1312 1.1 thorpej
1313 1.1 thorpej /* Reject negative number of wakeups. */
1314 1.25 riastrad if (nwake < 0) {
1315 1.1 thorpej error = EINVAL;
1316 1.1 thorpej goto out;
1317 1.1 thorpej }
1318 1.1 thorpej
1319 1.1 thorpej /* Look up the futex, if any. */
1320 1.1 thorpej error = futex_lookup(uaddr, shared, &f);
1321 1.1 thorpej if (error)
1322 1.1 thorpej goto out;
1323 1.1 thorpej
1324 1.1 thorpej /* If there's no futex, there are no waiters to wake. */
1325 1.1 thorpej if (f == NULL)
1326 1.1 thorpej goto out;
1327 1.1 thorpej
1328 1.1 thorpej /*
1329 1.1 thorpej * Under f's queue lock, wake the waiters and remember the
1330 1.1 thorpej * number woken.
1331 1.1 thorpej */
1332 1.1 thorpej futex_queue_lock(f);
1333 1.25 riastrad nwoken = futex_wake(f, nwake, NULL, /*nrequeue*/0, bitset);
1334 1.1 thorpej futex_queue_unlock(f);
1335 1.1 thorpej
1336 1.1 thorpej /* Release the futex. */
1337 1.5 riastrad futex_rele(f);
1338 1.1 thorpej
1339 1.1 thorpej out:
1340 1.1 thorpej /* Return the number of waiters woken. */
1341 1.1 thorpej *retval = nwoken;
1342 1.1 thorpej
1343 1.1 thorpej /* Success! */
1344 1.1 thorpej return error;
1345 1.1 thorpej }
1346 1.1 thorpej
1347 1.1 thorpej /*
1348 1.25 riastrad * futex_func_requeue(op, uaddr, nwake@val, uaddr2, nrequeue@val2,
1349 1.25 riastrad * cmpval@val3, retval)
1350 1.25 riastrad *
1351 1.25 riastrad * Implement futex(FUTEX_REQUEUE) and futex(FUTEX_CMP_REQUEUE): If
1352 1.25 riastrad * *uaddr == cmpval or if op == FUTEX_REQUEUE, wake up to nwake
1353 1.25 riastrad * waiters at uaddr and then requeue up to nrequeue waiters from
1354 1.25 riastrad * uaddr to uaddr2.
1355 1.1 thorpej *
1356 1.25 riastrad * Return the number of waiters woken or requeued.
1357 1.25 riastrad *
1358 1.25 riastrad * For FUTEX_CMP_REQUEUE, if *uaddr != cmpval, fail with EAGAIN
1359 1.25 riastrad * and no wakeups.
1360 1.1 thorpej */
1361 1.1 thorpej static int
1362 1.25 riastrad futex_func_requeue(bool shared, int op, int *uaddr, int nwake, int *uaddr2,
1363 1.25 riastrad int nrequeue, int cmpval, register_t *retval)
1364 1.1 thorpej {
1365 1.1 thorpej struct futex *f = NULL, *f2 = NULL;
1366 1.22 riastrad unsigned nwoken_or_requeued = 0; /* default to zero on early return */
1367 1.1 thorpej int error;
1368 1.1 thorpej
1369 1.1 thorpej /* Reject negative number of wakeups or requeues. */
1370 1.25 riastrad if (nwake < 0 || nrequeue < 0) {
1371 1.1 thorpej error = EINVAL;
1372 1.1 thorpej goto out;
1373 1.1 thorpej }
1374 1.1 thorpej
1375 1.21 riastrad /*
1376 1.21 riastrad * Look up or create the source futex. For FUTEX_CMP_REQUEUE,
1377 1.21 riastrad * we always create it, rather than bail if it has no waiters,
1378 1.21 riastrad * because FUTEX_CMP_REQUEUE always tests the futex word in
1379 1.21 riastrad * order to report EAGAIN.
1380 1.21 riastrad */
1381 1.21 riastrad error = (op == FUTEX_CMP_REQUEUE
1382 1.21 riastrad ? futex_lookup_create(uaddr, shared, &f)
1383 1.21 riastrad : futex_lookup(uaddr, shared, &f));
1384 1.1 thorpej if (error)
1385 1.1 thorpej goto out;
1386 1.1 thorpej
1387 1.21 riastrad /* If there is none for FUTEX_REQUEUE, nothing to do. */
1388 1.21 riastrad if (f == NULL) {
1389 1.21 riastrad KASSERT(op != FUTEX_CMP_REQUEUE);
1390 1.1 thorpej goto out;
1391 1.21 riastrad }
1392 1.1 thorpej
1393 1.1 thorpej /*
1394 1.1 thorpej * We may need to create the destination futex because it's
1395 1.1 thorpej * entirely possible it does not currently have any waiters.
1396 1.1 thorpej */
1397 1.5 riastrad error = futex_lookup_create(uaddr2, shared, &f2);
1398 1.1 thorpej if (error)
1399 1.1 thorpej goto out;
1400 1.1 thorpej
1401 1.1 thorpej /*
1402 1.1 thorpej * Under the futexes' queue locks, check the value; if
1403 1.25 riastrad * unchanged from cmpval, or if this is the unconditional
1404 1.25 riastrad * FUTEX_REQUEUE operation, wake the waiters.
1405 1.1 thorpej */
1406 1.1 thorpej futex_queue_lock2(f, f2);
1407 1.25 riastrad if (op == FUTEX_CMP_REQUEUE && !futex_test(uaddr, cmpval)) {
1408 1.1 thorpej error = EAGAIN;
1409 1.1 thorpej } else {
1410 1.1 thorpej error = 0;
1411 1.25 riastrad nwoken_or_requeued = futex_wake(f, nwake, f2, nrequeue,
1412 1.22 riastrad FUTEX_BITSET_MATCH_ANY);
1413 1.1 thorpej }
1414 1.1 thorpej futex_queue_unlock2(f, f2);
1415 1.1 thorpej
1416 1.1 thorpej out:
1417 1.22 riastrad /* Return the number of waiters woken or requeued. */
1418 1.22 riastrad *retval = nwoken_or_requeued;
1419 1.1 thorpej
1420 1.1 thorpej /* Release the futexes if we got them. */
1421 1.1 thorpej if (f2)
1422 1.5 riastrad futex_rele(f2);
1423 1.1 thorpej if (f)
1424 1.5 riastrad futex_rele(f);
1425 1.1 thorpej return error;
1426 1.1 thorpej }
1427 1.1 thorpej
1428 1.1 thorpej /*
1429 1.23 riastrad * futex_opcmp_arg(arg)
1430 1.23 riastrad *
1431 1.23 riastrad * arg is either the oparg or cmparg field of a FUTEX_WAKE_OP
1432 1.23 riastrad * operation, a 12-bit string in either case. Map it to a numeric
1433 1.23 riastrad * argument value by sign-extending it in two's-complement
1434 1.23 riastrad * representation.
1435 1.23 riastrad */
1436 1.23 riastrad static int
1437 1.23 riastrad futex_opcmp_arg(int arg)
1438 1.23 riastrad {
1439 1.23 riastrad
1440 1.23 riastrad KASSERT(arg == (arg & __BITS(11,0)));
1441 1.23 riastrad return arg - 0x1000*__SHIFTOUT(arg, __BIT(11));
1442 1.23 riastrad }
1443 1.23 riastrad
1444 1.23 riastrad /*
1445 1.25 riastrad * futex_validate_op_cmp(opcmp)
1446 1.1 thorpej *
1447 1.1 thorpej * Validate an op/cmp argument for FUTEX_WAKE_OP.
1448 1.1 thorpej */
1449 1.1 thorpej static int
1450 1.25 riastrad futex_validate_op_cmp(int opcmp)
1451 1.1 thorpej {
1452 1.25 riastrad int op = __SHIFTOUT(opcmp, FUTEX_OP_OP_MASK);
1453 1.25 riastrad int cmp = __SHIFTOUT(opcmp, FUTEX_OP_CMP_MASK);
1454 1.1 thorpej
1455 1.1 thorpej if (op & FUTEX_OP_OPARG_SHIFT) {
1456 1.23 riastrad int oparg =
1457 1.25 riastrad futex_opcmp_arg(__SHIFTOUT(opcmp, FUTEX_OP_OPARG_MASK));
1458 1.1 thorpej if (oparg < 0)
1459 1.1 thorpej return EINVAL;
1460 1.1 thorpej if (oparg >= 32)
1461 1.1 thorpej return EINVAL;
1462 1.1 thorpej op &= ~FUTEX_OP_OPARG_SHIFT;
1463 1.1 thorpej }
1464 1.1 thorpej
1465 1.1 thorpej switch (op) {
1466 1.1 thorpej case FUTEX_OP_SET:
1467 1.1 thorpej case FUTEX_OP_ADD:
1468 1.1 thorpej case FUTEX_OP_OR:
1469 1.1 thorpej case FUTEX_OP_ANDN:
1470 1.1 thorpej case FUTEX_OP_XOR:
1471 1.1 thorpej break;
1472 1.1 thorpej default:
1473 1.1 thorpej return EINVAL;
1474 1.1 thorpej }
1475 1.1 thorpej
1476 1.1 thorpej switch (cmp) {
1477 1.1 thorpej case FUTEX_OP_CMP_EQ:
1478 1.1 thorpej case FUTEX_OP_CMP_NE:
1479 1.1 thorpej case FUTEX_OP_CMP_LT:
1480 1.1 thorpej case FUTEX_OP_CMP_LE:
1481 1.1 thorpej case FUTEX_OP_CMP_GT:
1482 1.1 thorpej case FUTEX_OP_CMP_GE:
1483 1.1 thorpej break;
1484 1.1 thorpej default:
1485 1.1 thorpej return EINVAL;
1486 1.1 thorpej }
1487 1.1 thorpej
1488 1.1 thorpej return 0;
1489 1.1 thorpej }
1490 1.1 thorpej
1491 1.1 thorpej /*
1492 1.25 riastrad * futex_compute_op(oldval, opcmp)
1493 1.1 thorpej *
1494 1.23 riastrad * Apply a FUTEX_WAKE_OP operation to oldval.
1495 1.1 thorpej */
1496 1.1 thorpej static int
1497 1.25 riastrad futex_compute_op(int oldval, int opcmp)
1498 1.1 thorpej {
1499 1.25 riastrad int op = __SHIFTOUT(opcmp, FUTEX_OP_OP_MASK);
1500 1.25 riastrad int oparg = futex_opcmp_arg(__SHIFTOUT(opcmp, FUTEX_OP_OPARG_MASK));
1501 1.1 thorpej
1502 1.1 thorpej if (op & FUTEX_OP_OPARG_SHIFT) {
1503 1.1 thorpej KASSERT(oparg >= 0);
1504 1.1 thorpej KASSERT(oparg < 32);
1505 1.1 thorpej oparg = 1u << oparg;
1506 1.1 thorpej op &= ~FUTEX_OP_OPARG_SHIFT;
1507 1.1 thorpej }
1508 1.1 thorpej
1509 1.1 thorpej switch (op) {
1510 1.1 thorpej case FUTEX_OP_SET:
1511 1.1 thorpej return oparg;
1512 1.1 thorpej
1513 1.1 thorpej case FUTEX_OP_ADD:
1514 1.1 thorpej /*
1515 1.1 thorpej * Avoid signed arithmetic overflow by doing
1516 1.1 thorpej * arithmetic unsigned and converting back to signed
1517 1.1 thorpej * at the end.
1518 1.1 thorpej */
1519 1.1 thorpej return (int)((unsigned)oldval + (unsigned)oparg);
1520 1.1 thorpej
1521 1.1 thorpej case FUTEX_OP_OR:
1522 1.1 thorpej return oldval | oparg;
1523 1.1 thorpej
1524 1.1 thorpej case FUTEX_OP_ANDN:
1525 1.1 thorpej return oldval & ~oparg;
1526 1.1 thorpej
1527 1.1 thorpej case FUTEX_OP_XOR:
1528 1.1 thorpej return oldval ^ oparg;
1529 1.1 thorpej
1530 1.1 thorpej default:
1531 1.1 thorpej panic("invalid futex op");
1532 1.1 thorpej }
1533 1.1 thorpej }
1534 1.1 thorpej
1535 1.1 thorpej /*
1536 1.25 riastrad * futex_compute_cmp(oldval, opcmp)
1537 1.1 thorpej *
1538 1.23 riastrad * Apply a FUTEX_WAKE_OP comparison to oldval.
1539 1.1 thorpej */
1540 1.1 thorpej static bool
1541 1.25 riastrad futex_compute_cmp(int oldval, int opcmp)
1542 1.1 thorpej {
1543 1.25 riastrad int cmp = __SHIFTOUT(opcmp, FUTEX_OP_CMP_MASK);
1544 1.25 riastrad int cmparg = futex_opcmp_arg(__SHIFTOUT(opcmp, FUTEX_OP_CMPARG_MASK));
1545 1.1 thorpej
1546 1.1 thorpej switch (cmp) {
1547 1.1 thorpej case FUTEX_OP_CMP_EQ:
1548 1.1 thorpej return (oldval == cmparg);
1549 1.1 thorpej
1550 1.1 thorpej case FUTEX_OP_CMP_NE:
1551 1.1 thorpej return (oldval != cmparg);
1552 1.1 thorpej
1553 1.1 thorpej case FUTEX_OP_CMP_LT:
1554 1.1 thorpej return (oldval < cmparg);
1555 1.1 thorpej
1556 1.1 thorpej case FUTEX_OP_CMP_LE:
1557 1.1 thorpej return (oldval <= cmparg);
1558 1.1 thorpej
1559 1.1 thorpej case FUTEX_OP_CMP_GT:
1560 1.1 thorpej return (oldval > cmparg);
1561 1.1 thorpej
1562 1.1 thorpej case FUTEX_OP_CMP_GE:
1563 1.1 thorpej return (oldval >= cmparg);
1564 1.1 thorpej
1565 1.1 thorpej default:
1566 1.1 thorpej panic("invalid futex cmp operation");
1567 1.1 thorpej }
1568 1.1 thorpej }
1569 1.1 thorpej
1570 1.1 thorpej /*
1571 1.25 riastrad * futex_func_wake_op(uaddr, nwake@val, uaddr2, nwake2@val2, opcmp@val3,
1572 1.25 riastrad * retval)
1573 1.25 riastrad *
1574 1.25 riastrad * Implement futex(FUTEX_WAKE_OP):
1575 1.25 riastrad *
1576 1.25 riastrad * 1. Update *uaddr2 according to the r/m/w operation specified in
1577 1.25 riastrad * opcmp.
1578 1.25 riastrad *
1579 1.25 riastrad * 2. If uaddr is nonnull, wake up to nwake waiters at uaddr.
1580 1.1 thorpej *
1581 1.25 riastrad * 3. If what was previously at *uaddr2 matches the comparison
1582 1.25 riastrad * operation specified in opcmp, additionally wake up to nwake2
1583 1.25 riastrad * waiters at uaddr2.
1584 1.1 thorpej */
1585 1.1 thorpej static int
1586 1.25 riastrad futex_func_wake_op(bool shared, int *uaddr, int nwake, int *uaddr2, int nwake2,
1587 1.25 riastrad int opcmp, register_t *retval)
1588 1.1 thorpej {
1589 1.1 thorpej struct futex *f = NULL, *f2 = NULL;
1590 1.1 thorpej int oldval, newval, actual;
1591 1.1 thorpej unsigned nwoken = 0;
1592 1.1 thorpej int error;
1593 1.1 thorpej
1594 1.1 thorpej /* Reject negative number of wakeups. */
1595 1.25 riastrad if (nwake < 0 || nwake2 < 0) {
1596 1.1 thorpej error = EINVAL;
1597 1.1 thorpej goto out;
1598 1.1 thorpej }
1599 1.1 thorpej
1600 1.1 thorpej /* Reject invalid operations before we start doing things. */
1601 1.25 riastrad if ((error = futex_validate_op_cmp(opcmp)) != 0)
1602 1.1 thorpej goto out;
1603 1.1 thorpej
1604 1.1 thorpej /* Look up the first futex, if any. */
1605 1.1 thorpej error = futex_lookup(uaddr, shared, &f);
1606 1.1 thorpej if (error)
1607 1.1 thorpej goto out;
1608 1.1 thorpej
1609 1.1 thorpej /* Look up the second futex, if any. */
1610 1.1 thorpej error = futex_lookup(uaddr2, shared, &f2);
1611 1.1 thorpej if (error)
1612 1.1 thorpej goto out;
1613 1.1 thorpej
1614 1.1 thorpej /*
1615 1.1 thorpej * Under the queue locks:
1616 1.1 thorpej *
1617 1.25 riastrad * 1. Read/modify/write: *uaddr2 op= oparg, as in opcmp.
1618 1.1 thorpej * 2. Unconditionally wake uaddr.
1619 1.25 riastrad * 3. Conditionally wake uaddr2, if it previously matched the
1620 1.25 riastrad * comparison in opcmp.
1621 1.1 thorpej */
1622 1.1 thorpej futex_queue_lock2(f, f2);
1623 1.1 thorpej do {
1624 1.1 thorpej error = futex_load(uaddr2, &oldval);
1625 1.1 thorpej if (error)
1626 1.1 thorpej goto out_unlock;
1627 1.25 riastrad newval = futex_compute_op(oldval, opcmp);
1628 1.1 thorpej error = ucas_int(uaddr2, oldval, newval, &actual);
1629 1.1 thorpej if (error)
1630 1.1 thorpej goto out_unlock;
1631 1.1 thorpej } while (actual != oldval);
1632 1.22 riastrad if (f == NULL) {
1633 1.22 riastrad nwoken = 0;
1634 1.22 riastrad } else {
1635 1.25 riastrad nwoken = futex_wake(f, nwake, NULL, /*nrequeue*/0,
1636 1.22 riastrad FUTEX_BITSET_MATCH_ANY);
1637 1.22 riastrad }
1638 1.25 riastrad if (f2 && futex_compute_cmp(oldval, opcmp)) {
1639 1.25 riastrad nwoken += futex_wake(f2, nwake2, NULL, /*nrequeue*/0,
1640 1.1 thorpej FUTEX_BITSET_MATCH_ANY);
1641 1.22 riastrad }
1642 1.1 thorpej
1643 1.1 thorpej /* Success! */
1644 1.1 thorpej error = 0;
1645 1.1 thorpej out_unlock:
1646 1.1 thorpej futex_queue_unlock2(f, f2);
1647 1.1 thorpej
1648 1.1 thorpej out:
1649 1.1 thorpej /* Return the number of waiters woken. */
1650 1.1 thorpej *retval = nwoken;
1651 1.1 thorpej
1652 1.1 thorpej /* Release the futexes, if we got them. */
1653 1.1 thorpej if (f2)
1654 1.5 riastrad futex_rele(f2);
1655 1.1 thorpej if (f)
1656 1.5 riastrad futex_rele(f);
1657 1.1 thorpej return error;
1658 1.1 thorpej }
1659 1.1 thorpej
1660 1.1 thorpej /*
1661 1.1 thorpej * do_futex(uaddr, op, val, timeout, uaddr2, val2, val3)
1662 1.1 thorpej *
1663 1.1 thorpej * Implement the futex system call with all the parameters
1664 1.1 thorpej * parsed out.
1665 1.1 thorpej */
1666 1.1 thorpej int
1667 1.11 riastrad do_futex(int *uaddr, int op, int val, const struct timespec *timeout,
1668 1.11 riastrad int *uaddr2, int val2, int val3, register_t *retval)
1669 1.1 thorpej {
1670 1.1 thorpej const bool shared = (op & FUTEX_PRIVATE_FLAG) ? false : true;
1671 1.1 thorpej const clockid_t clkid = (op & FUTEX_CLOCK_REALTIME) ? CLOCK_REALTIME
1672 1.1 thorpej : CLOCK_MONOTONIC;
1673 1.1 thorpej
1674 1.1 thorpej op &= FUTEX_CMD_MASK;
1675 1.1 thorpej
1676 1.1 thorpej switch (op) {
1677 1.25 riastrad case FUTEX_WAIT: {
1678 1.25 riastrad const int cmpval = val;
1679 1.25 riastrad const int bitset = FUTEX_BITSET_MATCH_ANY;
1680 1.1 thorpej
1681 1.25 riastrad return futex_func_wait(shared, uaddr, cmpval, bitset, timeout,
1682 1.25 riastrad clkid, TIMER_RELTIME, retval);
1683 1.25 riastrad }
1684 1.25 riastrad case FUTEX_WAKE: {
1685 1.25 riastrad const int nwake = val;
1686 1.25 riastrad const int bitset = FUTEX_BITSET_MATCH_ANY;
1687 1.25 riastrad
1688 1.25 riastrad return futex_func_wake(shared, uaddr, nwake, bitset, retval);
1689 1.25 riastrad }
1690 1.25 riastrad case FUTEX_WAKE_BITSET: {
1691 1.25 riastrad const int nwake = val;
1692 1.25 riastrad const int bitset = val3;
1693 1.25 riastrad
1694 1.25 riastrad return futex_func_wake(shared, uaddr, nwake, bitset, retval);
1695 1.25 riastrad }
1696 1.1 thorpej case FUTEX_REQUEUE:
1697 1.25 riastrad case FUTEX_CMP_REQUEUE: {
1698 1.25 riastrad const int nwake = val;
1699 1.25 riastrad const int nrequeue = val2;
1700 1.25 riastrad const int cmpval = val3; /* ignored if op=FUTEX_REQUEUE */
1701 1.25 riastrad
1702 1.25 riastrad return futex_func_requeue(shared, op, uaddr, nwake, uaddr2,
1703 1.25 riastrad nrequeue, cmpval, retval);
1704 1.25 riastrad }
1705 1.25 riastrad case FUTEX_WAIT_BITSET: {
1706 1.25 riastrad const int cmpval = val;
1707 1.25 riastrad const int bitset = val3;
1708 1.1 thorpej
1709 1.25 riastrad return futex_func_wait(shared, uaddr, cmpval, bitset, timeout,
1710 1.1 thorpej clkid, TIMER_ABSTIME, retval);
1711 1.25 riastrad }
1712 1.25 riastrad case FUTEX_WAKE_OP: {
1713 1.25 riastrad const int nwake = val;
1714 1.25 riastrad const int nwake2 = val2;
1715 1.25 riastrad const int opcmp = val3;
1716 1.1 thorpej
1717 1.25 riastrad return futex_func_wake_op(shared, uaddr, nwake, uaddr2, nwake2,
1718 1.25 riastrad opcmp, retval);
1719 1.25 riastrad }
1720 1.1 thorpej case FUTEX_FD:
1721 1.1 thorpej default:
1722 1.1 thorpej return ENOSYS;
1723 1.1 thorpej }
1724 1.1 thorpej }
1725 1.1 thorpej
1726 1.1 thorpej /*
1727 1.1 thorpej * sys___futex(l, uap, retval)
1728 1.1 thorpej *
1729 1.1 thorpej * __futex(2) system call: generic futex operations.
1730 1.1 thorpej */
1731 1.1 thorpej int
1732 1.1 thorpej sys___futex(struct lwp *l, const struct sys___futex_args *uap,
1733 1.1 thorpej register_t *retval)
1734 1.1 thorpej {
1735 1.1 thorpej /* {
1736 1.1 thorpej syscallarg(int *) uaddr;
1737 1.1 thorpej syscallarg(int) op;
1738 1.1 thorpej syscallarg(int) val;
1739 1.1 thorpej syscallarg(const struct timespec *) timeout;
1740 1.1 thorpej syscallarg(int *) uaddr2;
1741 1.1 thorpej syscallarg(int) val2;
1742 1.1 thorpej syscallarg(int) val3;
1743 1.1 thorpej } */
1744 1.1 thorpej struct timespec ts, *tsp;
1745 1.1 thorpej int error;
1746 1.1 thorpej
1747 1.1 thorpej /*
1748 1.1 thorpej * Copy in the timeout argument, if specified.
1749 1.1 thorpej */
1750 1.1 thorpej if (SCARG(uap, timeout)) {
1751 1.1 thorpej error = copyin(SCARG(uap, timeout), &ts, sizeof(ts));
1752 1.1 thorpej if (error)
1753 1.1 thorpej return error;
1754 1.1 thorpej tsp = &ts;
1755 1.1 thorpej } else {
1756 1.1 thorpej tsp = NULL;
1757 1.1 thorpej }
1758 1.1 thorpej
1759 1.1 thorpej return do_futex(SCARG(uap, uaddr), SCARG(uap, op), SCARG(uap, val),
1760 1.1 thorpej tsp, SCARG(uap, uaddr2), SCARG(uap, val2), SCARG(uap, val3),
1761 1.1 thorpej retval);
1762 1.1 thorpej }
1763 1.1 thorpej
1764 1.1 thorpej /*
1765 1.1 thorpej * sys___futex_set_robust_list(l, uap, retval)
1766 1.1 thorpej *
1767 1.1 thorpej * __futex_set_robust_list(2) system call for robust futexes.
1768 1.1 thorpej */
1769 1.1 thorpej int
1770 1.1 thorpej sys___futex_set_robust_list(struct lwp *l,
1771 1.1 thorpej const struct sys___futex_set_robust_list_args *uap, register_t *retval)
1772 1.1 thorpej {
1773 1.1 thorpej /* {
1774 1.1 thorpej syscallarg(void *) head;
1775 1.1 thorpej syscallarg(size_t) len;
1776 1.1 thorpej } */
1777 1.1 thorpej void *head = SCARG(uap, head);
1778 1.1 thorpej
1779 1.1 thorpej if (SCARG(uap, len) != _FUTEX_ROBUST_HEAD_SIZE)
1780 1.1 thorpej return EINVAL;
1781 1.1 thorpej if ((uintptr_t)head % sizeof(u_long))
1782 1.1 thorpej return EINVAL;
1783 1.1 thorpej
1784 1.1 thorpej l->l_robust_head = (uintptr_t)head;
1785 1.1 thorpej
1786 1.1 thorpej return 0;
1787 1.1 thorpej }
1788 1.1 thorpej
1789 1.1 thorpej /*
1790 1.1 thorpej * sys___futex_get_robust_list(l, uap, retval)
1791 1.1 thorpej *
1792 1.1 thorpej * __futex_get_robust_list(2) system call for robust futexes.
1793 1.1 thorpej */
1794 1.1 thorpej int
1795 1.1 thorpej sys___futex_get_robust_list(struct lwp *l,
1796 1.1 thorpej const struct sys___futex_get_robust_list_args *uap, register_t *retval)
1797 1.1 thorpej {
1798 1.1 thorpej /* {
1799 1.1 thorpej syscallarg(lwpid_t) lwpid;
1800 1.1 thorpej syscallarg(void **) headp;
1801 1.1 thorpej syscallarg(size_t *) lenp;
1802 1.1 thorpej } */
1803 1.1 thorpej void *head;
1804 1.1 thorpej const size_t len = _FUTEX_ROBUST_HEAD_SIZE;
1805 1.1 thorpej int error;
1806 1.1 thorpej
1807 1.1 thorpej error = futex_robust_head_lookup(l, SCARG(uap, lwpid), &head);
1808 1.1 thorpej if (error)
1809 1.1 thorpej return error;
1810 1.1 thorpej
1811 1.1 thorpej /* Copy out the head pointer and the head structure length. */
1812 1.1 thorpej error = copyout(&head, SCARG(uap, headp), sizeof(head));
1813 1.1 thorpej if (__predict_true(error == 0)) {
1814 1.1 thorpej error = copyout(&len, SCARG(uap, lenp), sizeof(len));
1815 1.1 thorpej }
1816 1.1 thorpej
1817 1.1 thorpej return error;
1818 1.1 thorpej }
1819 1.1 thorpej
1820 1.1 thorpej /*
1821 1.1 thorpej * release_futex(uva, tid)
1822 1.1 thorpej *
1823 1.1 thorpej * Try to release the robust futex at uva in the current process
1824 1.1 thorpej * on lwp exit. If anything goes wrong, silently fail. It is the
1825 1.1 thorpej * userland program's obligation to arrange correct behaviour.
1826 1.1 thorpej */
1827 1.1 thorpej static void
1828 1.1 thorpej release_futex(uintptr_t const uptr, lwpid_t const tid, bool const is_pi,
1829 1.1 thorpej bool const is_pending)
1830 1.1 thorpej {
1831 1.1 thorpej int *uaddr;
1832 1.1 thorpej struct futex *f;
1833 1.1 thorpej int oldval, newval, actual;
1834 1.1 thorpej int error;
1835 1.1 thorpej
1836 1.1 thorpej /* If it's misaligned, tough. */
1837 1.1 thorpej if (__predict_false(uptr & 3))
1838 1.1 thorpej return;
1839 1.1 thorpej uaddr = (int *)uptr;
1840 1.1 thorpej
1841 1.1 thorpej error = futex_load(uaddr, &oldval);
1842 1.1 thorpej if (__predict_false(error))
1843 1.1 thorpej return;
1844 1.1 thorpej
1845 1.1 thorpej /*
1846 1.1 thorpej * There are two race conditions we need to handle here:
1847 1.1 thorpej *
1848 1.1 thorpej * 1. User space cleared the futex word but died before
1849 1.1 thorpej * being able to issue the wakeup. No wakeups will
1850 1.1 thorpej * ever be issued, oops!
1851 1.1 thorpej *
1852 1.1 thorpej * 2. Awakened waiter died before being able to acquire
1853 1.1 thorpej * the futex in user space. Any other waiters are
1854 1.1 thorpej * now stuck, oops!
1855 1.1 thorpej *
1856 1.1 thorpej * In both of these cases, the futex word will be 0 (because
1857 1.1 thorpej * it's updated before the wake is issued). The best we can
1858 1.1 thorpej * do is detect this situation if it's the pending futex and
1859 1.1 thorpej * issue a wake without modifying the futex word.
1860 1.1 thorpej *
1861 1.1 thorpej * XXX eventual PI handling?
1862 1.1 thorpej */
1863 1.1 thorpej if (__predict_false(is_pending && (oldval & ~FUTEX_WAITERS) == 0)) {
1864 1.1 thorpej register_t retval;
1865 1.1 thorpej (void) futex_func_wake(/*shared*/true, uaddr, 1,
1866 1.1 thorpej FUTEX_BITSET_MATCH_ANY, &retval);
1867 1.1 thorpej return;
1868 1.1 thorpej }
1869 1.1 thorpej
1870 1.1 thorpej /* Optimistically test whether we need to do anything at all. */
1871 1.1 thorpej if ((oldval & FUTEX_TID_MASK) != tid)
1872 1.1 thorpej return;
1873 1.1 thorpej
1874 1.1 thorpej /*
1875 1.1 thorpej * We need to handle the case where this thread owned the futex,
1876 1.1 thorpej * but it was uncontended. In this case, there won't be any
1877 1.1 thorpej * kernel state to look up. All we can do is mark the futex
1878 1.1 thorpej * as a zombie to be mopped up the next time another thread
1879 1.1 thorpej * attempts to acquire it.
1880 1.1 thorpej *
1881 1.1 thorpej * N.B. It's important to ensure to set FUTEX_OWNER_DIED in
1882 1.1 thorpej * this loop, even if waiters appear while we're are doing
1883 1.1 thorpej * so. This is beause FUTEX_WAITERS is set by user space
1884 1.1 thorpej * before calling __futex() to wait, and the futex needs
1885 1.1 thorpej * to be marked as a zombie when the new waiter gets into
1886 1.1 thorpej * the kernel.
1887 1.1 thorpej */
1888 1.1 thorpej if ((oldval & FUTEX_WAITERS) == 0) {
1889 1.1 thorpej do {
1890 1.1 thorpej error = futex_load(uaddr, &oldval);
1891 1.1 thorpej if (error)
1892 1.1 thorpej return;
1893 1.1 thorpej if ((oldval & FUTEX_TID_MASK) != tid)
1894 1.1 thorpej return;
1895 1.1 thorpej newval = oldval | FUTEX_OWNER_DIED;
1896 1.1 thorpej error = ucas_int(uaddr, oldval, newval, &actual);
1897 1.1 thorpej if (error)
1898 1.1 thorpej return;
1899 1.1 thorpej } while (actual != oldval);
1900 1.1 thorpej
1901 1.1 thorpej /*
1902 1.1 thorpej * If where is still no indication of waiters, then there is
1903 1.1 thorpej * no more work for us to do.
1904 1.1 thorpej */
1905 1.1 thorpej if ((oldval & FUTEX_WAITERS) == 0)
1906 1.1 thorpej return;
1907 1.1 thorpej }
1908 1.1 thorpej
1909 1.1 thorpej /*
1910 1.1 thorpej * Look for a shared futex since we have no positive indication
1911 1.1 thorpej * it is private. If we can't, tough.
1912 1.1 thorpej */
1913 1.1 thorpej error = futex_lookup(uaddr, /*shared*/true, &f);
1914 1.1 thorpej if (error)
1915 1.1 thorpej return;
1916 1.1 thorpej
1917 1.1 thorpej /*
1918 1.1 thorpej * If there's no kernel state for this futex, there's nothing to
1919 1.1 thorpej * release.
1920 1.1 thorpej */
1921 1.1 thorpej if (f == NULL)
1922 1.1 thorpej return;
1923 1.1 thorpej
1924 1.1 thorpej /* Work under the futex queue lock. */
1925 1.1 thorpej futex_queue_lock(f);
1926 1.1 thorpej
1927 1.1 thorpej /*
1928 1.1 thorpej * Fetch the word: if the tid doesn't match ours, skip;
1929 1.1 thorpej * otherwise, set the owner-died bit, atomically.
1930 1.1 thorpej */
1931 1.1 thorpej do {
1932 1.1 thorpej error = futex_load(uaddr, &oldval);
1933 1.1 thorpej if (error)
1934 1.1 thorpej goto out;
1935 1.1 thorpej if ((oldval & FUTEX_TID_MASK) != tid)
1936 1.1 thorpej goto out;
1937 1.1 thorpej newval = oldval | FUTEX_OWNER_DIED;
1938 1.1 thorpej error = ucas_int(uaddr, oldval, newval, &actual);
1939 1.1 thorpej if (error)
1940 1.1 thorpej goto out;
1941 1.1 thorpej } while (actual != oldval);
1942 1.1 thorpej
1943 1.1 thorpej /*
1944 1.1 thorpej * If there may be waiters, try to wake one. If anything goes
1945 1.1 thorpej * wrong, tough.
1946 1.1 thorpej *
1947 1.1 thorpej * XXX eventual PI handling?
1948 1.1 thorpej */
1949 1.22 riastrad if (oldval & FUTEX_WAITERS) {
1950 1.22 riastrad (void)futex_wake(f, /*nwake*/1, NULL, /*nrequeue*/0,
1951 1.22 riastrad FUTEX_BITSET_MATCH_ANY);
1952 1.22 riastrad }
1953 1.1 thorpej
1954 1.1 thorpej /* Unlock the queue and release the futex. */
1955 1.1 thorpej out: futex_queue_unlock(f);
1956 1.5 riastrad futex_rele(f);
1957 1.1 thorpej }
1958 1.1 thorpej
1959 1.1 thorpej /*
1960 1.1 thorpej * futex_robust_head_lookup(l, lwpid)
1961 1.1 thorpej *
1962 1.1 thorpej * Helper function to look up a robust head by LWP ID.
1963 1.1 thorpej */
1964 1.1 thorpej int
1965 1.1 thorpej futex_robust_head_lookup(struct lwp *l, lwpid_t lwpid, void **headp)
1966 1.1 thorpej {
1967 1.1 thorpej struct proc *p = l->l_proc;
1968 1.1 thorpej
1969 1.1 thorpej /* Find the other lwp, if requested; otherwise use our robust head. */
1970 1.1 thorpej if (lwpid) {
1971 1.1 thorpej mutex_enter(p->p_lock);
1972 1.1 thorpej l = lwp_find(p, lwpid);
1973 1.1 thorpej if (l == NULL) {
1974 1.1 thorpej mutex_exit(p->p_lock);
1975 1.1 thorpej return ESRCH;
1976 1.1 thorpej }
1977 1.1 thorpej *headp = (void *)l->l_robust_head;
1978 1.1 thorpej mutex_exit(p->p_lock);
1979 1.1 thorpej } else {
1980 1.1 thorpej *headp = (void *)l->l_robust_head;
1981 1.1 thorpej }
1982 1.1 thorpej return 0;
1983 1.1 thorpej }
1984 1.1 thorpej
1985 1.1 thorpej /*
1986 1.1 thorpej * futex_fetch_robust_head(uaddr)
1987 1.1 thorpej *
1988 1.1 thorpej * Helper routine to fetch the futex robust list head that
1989 1.1 thorpej * handles 32-bit binaries running on 64-bit kernels.
1990 1.1 thorpej */
1991 1.1 thorpej static int
1992 1.1 thorpej futex_fetch_robust_head(uintptr_t uaddr, u_long *rhead)
1993 1.1 thorpej {
1994 1.1 thorpej #ifdef _LP64
1995 1.1 thorpej if (curproc->p_flag & PK_32) {
1996 1.1 thorpej uint32_t rhead32[_FUTEX_ROBUST_HEAD_NWORDS];
1997 1.1 thorpej int error;
1998 1.1 thorpej
1999 1.1 thorpej error = copyin((void *)uaddr, rhead32, sizeof(rhead32));
2000 1.1 thorpej if (__predict_true(error == 0)) {
2001 1.1 thorpej for (int i = 0; i < _FUTEX_ROBUST_HEAD_NWORDS; i++) {
2002 1.1 thorpej if (i == _FUTEX_ROBUST_HEAD_OFFSET) {
2003 1.1 thorpej /*
2004 1.1 thorpej * Make sure the offset is sign-
2005 1.1 thorpej * extended.
2006 1.1 thorpej */
2007 1.1 thorpej rhead[i] = (int32_t)rhead32[i];
2008 1.1 thorpej } else {
2009 1.1 thorpej rhead[i] = rhead32[i];
2010 1.1 thorpej }
2011 1.1 thorpej }
2012 1.1 thorpej }
2013 1.1 thorpej return error;
2014 1.1 thorpej }
2015 1.1 thorpej #endif /* _L64 */
2016 1.1 thorpej
2017 1.1 thorpej return copyin((void *)uaddr, rhead,
2018 1.1 thorpej sizeof(*rhead) * _FUTEX_ROBUST_HEAD_NWORDS);
2019 1.1 thorpej }
2020 1.1 thorpej
2021 1.1 thorpej /*
2022 1.1 thorpej * futex_decode_robust_word(word)
2023 1.1 thorpej *
2024 1.1 thorpej * Decode a robust futex list word into the entry and entry
2025 1.1 thorpej * properties.
2026 1.1 thorpej */
2027 1.1 thorpej static inline void
2028 1.1 thorpej futex_decode_robust_word(uintptr_t const word, uintptr_t * const entry,
2029 1.1 thorpej bool * const is_pi)
2030 1.1 thorpej {
2031 1.1 thorpej *is_pi = (word & _FUTEX_ROBUST_ENTRY_PI) ? true : false;
2032 1.1 thorpej *entry = word & ~_FUTEX_ROBUST_ENTRY_PI;
2033 1.1 thorpej }
2034 1.1 thorpej
2035 1.1 thorpej /*
2036 1.1 thorpej * futex_fetch_robust_entry(uaddr)
2037 1.1 thorpej *
2038 1.1 thorpej * Helper routine to fetch and decode a robust futex entry
2039 1.1 thorpej * that handles 32-bit binaries running on 64-bit kernels.
2040 1.1 thorpej */
2041 1.1 thorpej static int
2042 1.1 thorpej futex_fetch_robust_entry(uintptr_t const uaddr, uintptr_t * const valp,
2043 1.1 thorpej bool * const is_pi)
2044 1.1 thorpej {
2045 1.1 thorpej uintptr_t val = 0;
2046 1.1 thorpej int error = 0;
2047 1.1 thorpej
2048 1.1 thorpej #ifdef _LP64
2049 1.1 thorpej if (curproc->p_flag & PK_32) {
2050 1.1 thorpej uint32_t val32;
2051 1.1 thorpej
2052 1.1 thorpej error = ufetch_32((uint32_t *)uaddr, &val32);
2053 1.1 thorpej if (__predict_true(error == 0))
2054 1.1 thorpej val = val32;
2055 1.1 thorpej } else
2056 1.1 thorpej #endif /* _LP64 */
2057 1.1 thorpej error = ufetch_long((u_long *)uaddr, (u_long *)&val);
2058 1.1 thorpej if (__predict_false(error))
2059 1.1 thorpej return error;
2060 1.1 thorpej
2061 1.1 thorpej futex_decode_robust_word(val, valp, is_pi);
2062 1.1 thorpej return 0;
2063 1.1 thorpej }
2064 1.1 thorpej
2065 1.1 thorpej /*
2066 1.1 thorpej * futex_release_all_lwp(l, tid)
2067 1.1 thorpej *
2068 1.1 thorpej * Release all l's robust futexes. If anything looks funny in
2069 1.1 thorpej * the process, give up -- it's userland's responsibility to dot
2070 1.1 thorpej * the i's and cross the t's.
2071 1.1 thorpej */
2072 1.1 thorpej void
2073 1.13 thorpej futex_release_all_lwp(struct lwp * const l)
2074 1.1 thorpej {
2075 1.1 thorpej u_long rhead[_FUTEX_ROBUST_HEAD_NWORDS];
2076 1.1 thorpej int limit = 1000000;
2077 1.1 thorpej int error;
2078 1.1 thorpej
2079 1.1 thorpej /* If there's no robust list there's nothing to do. */
2080 1.1 thorpej if (l->l_robust_head == 0)
2081 1.1 thorpej return;
2082 1.1 thorpej
2083 1.13 thorpej KASSERT((l->l_lid & FUTEX_TID_MASK) == l->l_lid);
2084 1.13 thorpej
2085 1.1 thorpej /* Read the final snapshot of the robust list head. */
2086 1.1 thorpej error = futex_fetch_robust_head(l->l_robust_head, rhead);
2087 1.1 thorpej if (error) {
2088 1.13 thorpej printf("WARNING: pid %jd (%s) lwp %jd:"
2089 1.1 thorpej " unmapped robust futex list head\n",
2090 1.1 thorpej (uintmax_t)l->l_proc->p_pid, l->l_proc->p_comm,
2091 1.13 thorpej (uintmax_t)l->l_lid);
2092 1.1 thorpej return;
2093 1.1 thorpej }
2094 1.1 thorpej
2095 1.1 thorpej const long offset = (long)rhead[_FUTEX_ROBUST_HEAD_OFFSET];
2096 1.1 thorpej
2097 1.1 thorpej uintptr_t next, pending;
2098 1.1 thorpej bool is_pi, pending_is_pi;
2099 1.1 thorpej
2100 1.1 thorpej futex_decode_robust_word(rhead[_FUTEX_ROBUST_HEAD_LIST],
2101 1.1 thorpej &next, &is_pi);
2102 1.1 thorpej futex_decode_robust_word(rhead[_FUTEX_ROBUST_HEAD_PENDING],
2103 1.1 thorpej &pending, &pending_is_pi);
2104 1.1 thorpej
2105 1.1 thorpej /*
2106 1.1 thorpej * Walk down the list of locked futexes and release them, up
2107 1.1 thorpej * to one million of them before we give up.
2108 1.1 thorpej */
2109 1.1 thorpej
2110 1.1 thorpej while (next != l->l_robust_head && limit-- > 0) {
2111 1.1 thorpej /* pending handled below. */
2112 1.1 thorpej if (next != pending)
2113 1.13 thorpej release_futex(next + offset, l->l_lid, is_pi, false);
2114 1.1 thorpej error = futex_fetch_robust_entry(next, &next, &is_pi);
2115 1.1 thorpej if (error)
2116 1.1 thorpej break;
2117 1.1 thorpej preempt_point();
2118 1.1 thorpej }
2119 1.1 thorpej if (limit <= 0) {
2120 1.13 thorpej printf("WARNING: pid %jd (%s) lwp %jd:"
2121 1.1 thorpej " exhausted robust futex limit\n",
2122 1.1 thorpej (uintmax_t)l->l_proc->p_pid, l->l_proc->p_comm,
2123 1.13 thorpej (uintmax_t)l->l_lid);
2124 1.1 thorpej }
2125 1.1 thorpej
2126 1.1 thorpej /* If there's a pending futex, it may need to be released too. */
2127 1.1 thorpej if (pending != 0) {
2128 1.13 thorpej release_futex(pending + offset, l->l_lid, pending_is_pi, true);
2129 1.1 thorpej }
2130 1.1 thorpej }
2131