t_futex_ops.c revision 1.8 1 1.8 riastrad /* $NetBSD: t_futex_ops.c,v 1.8 2025/01/18 07:05:15 riastradh Exp $ */
2 1.1 thorpej
3 1.1 thorpej /*-
4 1.1 thorpej * Copyright (c) 2019, 2020 The NetBSD Foundation, Inc.
5 1.1 thorpej * All rights reserved.
6 1.1 thorpej *
7 1.1 thorpej * Redistribution and use in source and binary forms, with or without
8 1.1 thorpej * modification, are permitted provided that the following conditions
9 1.1 thorpej * are met:
10 1.1 thorpej * 1. Redistributions of source code must retain the above copyright
11 1.1 thorpej * notice, this list of conditions and the following disclaimer.
12 1.1 thorpej * 2. Redistributions in binary form must reproduce the above copyright
13 1.1 thorpej * notice, this list of conditions and the following disclaimer in the
14 1.1 thorpej * documentation and/or other materials provided with the distribution.
15 1.1 thorpej *
16 1.1 thorpej * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17 1.1 thorpej * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18 1.1 thorpej * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19 1.1 thorpej * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20 1.1 thorpej * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21 1.1 thorpej * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22 1.1 thorpej * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23 1.1 thorpej * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24 1.1 thorpej * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25 1.1 thorpej * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26 1.1 thorpej * POSSIBILITY OF SUCH DAMAGE.
27 1.1 thorpej */
28 1.1 thorpej
29 1.1 thorpej #include <sys/cdefs.h>
30 1.1 thorpej __COPYRIGHT("@(#) Copyright (c) 2019, 2020\
31 1.1 thorpej The NetBSD Foundation, inc. All rights reserved.");
32 1.8 riastrad __RCSID("$NetBSD: t_futex_ops.c,v 1.8 2025/01/18 07:05:15 riastradh Exp $");
33 1.1 thorpej
34 1.1 thorpej #include <sys/fcntl.h>
35 1.1 thorpej #include <sys/mman.h>
36 1.1 thorpej #include <sys/wait.h>
37 1.1 thorpej #include <atomic.h>
38 1.1 thorpej #include <errno.h>
39 1.1 thorpej #include <lwp.h>
40 1.1 thorpej #include <stdlib.h>
41 1.1 thorpej #include <stdio.h>
42 1.3 thorpej #include <signal.h>
43 1.1 thorpej #include <time.h>
44 1.1 thorpej #include <limits.h>
45 1.4 thorpej #include <sched.h>
46 1.1 thorpej #include <unistd.h>
47 1.1 thorpej
48 1.1 thorpej #include <atf-c.h>
49 1.1 thorpej
50 1.1 thorpej #include <libc/include/futex_private.h>
51 1.1 thorpej
52 1.1 thorpej #define LOAD(x) (*(volatile int *)(x))
53 1.1 thorpej #define STORE(x, y) *(volatile int *)(x) = (y)
54 1.1 thorpej
55 1.1 thorpej #if 0
56 1.1 thorpej #define DPRINTF(x) printf x
57 1.1 thorpej #else
58 1.1 thorpej #define DPRINTF(x) __nothing
59 1.1 thorpej #endif
60 1.1 thorpej
61 1.1 thorpej #define STACK_SIZE 65536
62 1.1 thorpej
63 1.1 thorpej static volatile int futex_word;
64 1.1 thorpej static volatile int futex_word1;
65 1.1 thorpej
66 1.1 thorpej static volatile unsigned int nlwps_running;
67 1.1 thorpej
68 1.1 thorpej struct lwp_data {
69 1.1 thorpej ucontext_t context;
70 1.1 thorpej void (*func)(void *);
71 1.1 thorpej void *stack_base;
72 1.1 thorpej lwpid_t lwpid;
73 1.1 thorpej pid_t child;
74 1.1 thorpej lwpid_t threadid;
75 1.1 thorpej int wait_op;
76 1.1 thorpej int op_flags;
77 1.1 thorpej int bitset;
78 1.1 thorpej volatile int *futex_ptr;
79 1.1 thorpej volatile int *error_ptr;
80 1.1 thorpej int block_val;
81 1.1 thorpej
82 1.1 thorpej void (*exit_func)(void);
83 1.1 thorpej
84 1.1 thorpej int futex_error;
85 1.1 thorpej };
86 1.1 thorpej
87 1.1 thorpej #define WAITER_LWP0 0
88 1.1 thorpej #define WAITER_LWP1 1
89 1.1 thorpej #define WAITER_LWP2 2
90 1.1 thorpej #define WAITER_LWP3 3
91 1.1 thorpej #define WAITER_LWP4 4
92 1.1 thorpej #define WAITER_LWP5 5
93 1.1 thorpej #define NLWPS 6
94 1.1 thorpej
95 1.1 thorpej struct lwp_data lwp_data[NLWPS];
96 1.1 thorpej
97 1.1 thorpej static const char *bs_path = "t_futex_ops_backing_store";
98 1.1 thorpej static int bs_fd = -1;
99 1.1 thorpej static int *bs_addr = MAP_FAILED;
100 1.1 thorpej static void *bs_source_buffer = NULL;
101 1.1 thorpej static void *bs_verify_buffer = NULL;
102 1.1 thorpej static long bs_pagesize;
103 1.1 thorpej
104 1.1 thorpej static void
105 1.1 thorpej create_lwp_waiter(struct lwp_data *d)
106 1.1 thorpej {
107 1.1 thorpej ATF_REQUIRE(_lwp_create(&d->context, 0, &d->lwpid) == 0);
108 1.1 thorpej }
109 1.1 thorpej
110 1.1 thorpej static void
111 1.1 thorpej exit_lwp_waiter(void)
112 1.1 thorpej {
113 1.1 thorpej _lwp_exit();
114 1.1 thorpej }
115 1.1 thorpej
116 1.1 thorpej static void
117 1.1 thorpej reap_lwp_waiter(struct lwp_data *d)
118 1.1 thorpej {
119 1.1 thorpej ATF_REQUIRE(_lwp_wait(d->lwpid, NULL) == 0);
120 1.1 thorpej }
121 1.1 thorpej
122 1.1 thorpej static void
123 1.1 thorpej create_proc_waiter(struct lwp_data *d)
124 1.1 thorpej {
125 1.1 thorpej pid_t pid;
126 1.1 thorpej
127 1.1 thorpej ATF_REQUIRE((pid = fork()) != -1);
128 1.1 thorpej if (pid == 0) {
129 1.1 thorpej (*d->func)(d);
130 1.1 thorpej _exit(666); /* backstop */
131 1.1 thorpej } else
132 1.1 thorpej d->child = pid;
133 1.1 thorpej }
134 1.1 thorpej
135 1.1 thorpej static void
136 1.1 thorpej exit_proc_waiter(void)
137 1.1 thorpej {
138 1.1 thorpej _exit(0);
139 1.1 thorpej }
140 1.1 thorpej
141 1.1 thorpej static void
142 1.1 thorpej reap_proc_waiter(struct lwp_data *d)
143 1.1 thorpej {
144 1.1 thorpej int status;
145 1.1 thorpej
146 1.1 thorpej ATF_REQUIRE(waitpid(d->child, &status, 0) == d->child);
147 1.1 thorpej ATF_REQUIRE(WIFEXITED(status));
148 1.1 thorpej ATF_REQUIRE(WEXITSTATUS(status) == 0);
149 1.1 thorpej }
150 1.1 thorpej
151 1.1 thorpej static void
152 1.1 thorpej setup_lwp_context(struct lwp_data *d, void (*func)(void *))
153 1.1 thorpej {
154 1.1 thorpej
155 1.1 thorpej memset(d, 0, sizeof(*d));
156 1.1 thorpej d->stack_base = mmap(NULL, STACK_SIZE, PROT_READ | PROT_WRITE,
157 1.1 thorpej MAP_ANON | MAP_STACK | MAP_PRIVATE, -1, 0);
158 1.1 thorpej ATF_REQUIRE(d->stack_base != MAP_FAILED);
159 1.1 thorpej _lwp_makecontext(&d->context, func, d, NULL, d->stack_base, STACK_SIZE);
160 1.1 thorpej d->threadid = 0;
161 1.1 thorpej d->func = func;
162 1.1 thorpej }
163 1.1 thorpej
164 1.1 thorpej static void
165 1.1 thorpej simple_test_waiter_lwp(void *arg)
166 1.1 thorpej {
167 1.1 thorpej struct lwp_data *d = arg;
168 1.1 thorpej
169 1.1 thorpej d->threadid = _lwp_self();
170 1.1 thorpej
171 1.3 thorpej membar_producer();
172 1.1 thorpej atomic_inc_uint(&nlwps_running);
173 1.1 thorpej membar_sync();
174 1.1 thorpej
175 1.1 thorpej if (__futex(d->futex_ptr, d->wait_op | d->op_flags,
176 1.1 thorpej d->block_val, NULL, NULL, 0, d->bitset) == -1) {
177 1.1 thorpej d->futex_error = errno;
178 1.3 thorpej membar_sync();
179 1.3 thorpej atomic_dec_uint(&nlwps_running);
180 1.1 thorpej _lwp_exit();
181 1.1 thorpej } else {
182 1.1 thorpej d->futex_error = 0;
183 1.1 thorpej }
184 1.1 thorpej
185 1.1 thorpej membar_sync();
186 1.1 thorpej atomic_dec_uint(&nlwps_running);
187 1.1 thorpej
188 1.1 thorpej _lwp_exit();
189 1.1 thorpej }
190 1.1 thorpej
191 1.1 thorpej static bool
192 1.1 thorpej verify_zero_bs(void)
193 1.1 thorpej {
194 1.1 thorpej
195 1.1 thorpej if (bs_verify_buffer == NULL) {
196 1.1 thorpej bs_verify_buffer = malloc(bs_pagesize);
197 1.1 thorpej ATF_REQUIRE(bs_verify_buffer != NULL);
198 1.1 thorpej }
199 1.1 thorpej
200 1.1 thorpej ATF_REQUIRE(pread(bs_fd, bs_verify_buffer,
201 1.1 thorpej bs_pagesize, 0) == bs_pagesize);
202 1.1 thorpej
203 1.1 thorpej return (memcmp(bs_verify_buffer, bs_source_buffer, bs_pagesize) == 0);
204 1.1 thorpej }
205 1.1 thorpej
206 1.1 thorpej static void
207 1.1 thorpej create_bs(int map_flags)
208 1.1 thorpej {
209 1.1 thorpej
210 1.1 thorpej bs_pagesize = sysconf(_SC_PAGESIZE);
211 1.1 thorpej ATF_REQUIRE(bs_pagesize > 0);
212 1.1 thorpej
213 1.1 thorpej if ((map_flags & (MAP_FILE | MAP_ANON)) == MAP_FILE) {
214 1.1 thorpej bs_source_buffer = calloc(1, bs_pagesize);
215 1.1 thorpej ATF_REQUIRE(bs_source_buffer != NULL);
216 1.1 thorpej
217 1.1 thorpej bs_fd = open(bs_path, O_RDWR | O_CREAT | O_EXCL, 0644);
218 1.1 thorpej ATF_REQUIRE(bs_fd != -1);
219 1.1 thorpej
220 1.1 thorpej ATF_REQUIRE(pwrite(bs_fd, bs_source_buffer,
221 1.1 thorpej bs_pagesize, 0) == bs_pagesize);
222 1.1 thorpej ATF_REQUIRE(verify_zero_bs());
223 1.1 thorpej }
224 1.1 thorpej
225 1.1 thorpej bs_addr = mmap(NULL, bs_pagesize, PROT_READ | PROT_WRITE,
226 1.1 thorpej map_flags | MAP_HASSEMAPHORE, bs_fd, 0);
227 1.1 thorpej ATF_REQUIRE(bs_addr != MAP_FAILED);
228 1.1 thorpej }
229 1.1 thorpej
230 1.1 thorpej static void
231 1.1 thorpej cleanup_bs(void)
232 1.1 thorpej {
233 1.1 thorpej
234 1.1 thorpej if (bs_fd != -1) {
235 1.1 thorpej (void) close(bs_fd);
236 1.1 thorpej bs_fd = -1;
237 1.1 thorpej (void) unlink(bs_path);
238 1.1 thorpej }
239 1.1 thorpej if (bs_source_buffer != NULL) {
240 1.1 thorpej free(bs_source_buffer);
241 1.1 thorpej bs_source_buffer = NULL;
242 1.1 thorpej }
243 1.1 thorpej if (bs_verify_buffer != NULL) {
244 1.1 thorpej free(bs_verify_buffer);
245 1.1 thorpej bs_verify_buffer = NULL;
246 1.1 thorpej }
247 1.1 thorpej if (bs_addr != MAP_FAILED) {
248 1.1 thorpej munmap(bs_addr, bs_pagesize);
249 1.1 thorpej bs_addr = MAP_FAILED;
250 1.1 thorpej }
251 1.1 thorpej }
252 1.1 thorpej
253 1.1 thorpej static void
254 1.1 thorpej do_cleanup(void)
255 1.1 thorpej {
256 1.1 thorpej int i;
257 1.1 thorpej
258 1.1 thorpej for (i = 0; i < NLWPS; i++) {
259 1.1 thorpej struct lwp_data *d = &lwp_data[i];
260 1.1 thorpej if (d->stack_base != NULL && d->stack_base != MAP_FAILED) {
261 1.1 thorpej (void) munmap(d->stack_base, STACK_SIZE);
262 1.1 thorpej }
263 1.1 thorpej }
264 1.1 thorpej memset(lwp_data, 0, sizeof(lwp_data));
265 1.1 thorpej STORE(&futex_word, 0);
266 1.1 thorpej STORE(&futex_word1, 0);
267 1.1 thorpej nlwps_running = 0;
268 1.1 thorpej
269 1.1 thorpej cleanup_bs();
270 1.1 thorpej }
271 1.1 thorpej
272 1.1 thorpej /*****************************************************************************/
273 1.1 thorpej
274 1.1 thorpej static void
275 1.1 thorpej wait_wake_test_waiter_lwp(void *arg)
276 1.1 thorpej {
277 1.1 thorpej struct lwp_data *d = arg;
278 1.1 thorpej
279 1.1 thorpej d->threadid = _lwp_self();
280 1.1 thorpej
281 1.1 thorpej STORE(d->futex_ptr, 1);
282 1.1 thorpej membar_sync();
283 1.1 thorpej
284 1.1 thorpej /* This will block because *futex_ptr == 1. */
285 1.1 thorpej if (__futex(d->futex_ptr, FUTEX_WAIT | d->op_flags,
286 1.1 thorpej 1, NULL, NULL, 0, 0) == -1) {
287 1.1 thorpej STORE(d->error_ptr, errno);
288 1.1 thorpej (*d->exit_func)();
289 1.1 thorpej } else {
290 1.1 thorpej STORE(d->error_ptr, 0);
291 1.1 thorpej }
292 1.1 thorpej
293 1.1 thorpej do {
294 1.1 thorpej membar_sync();
295 1.1 thorpej sleep(1);
296 1.1 thorpej } while (LOAD(d->futex_ptr) != 0);
297 1.1 thorpej
298 1.1 thorpej STORE(d->futex_ptr, 2);
299 1.1 thorpej membar_sync();
300 1.1 thorpej
301 1.1 thorpej do {
302 1.1 thorpej membar_sync();
303 1.1 thorpej sleep(1);
304 1.1 thorpej } while (LOAD(d->futex_ptr) != 3);
305 1.1 thorpej
306 1.1 thorpej /* This will not block because futex_word != 666. */
307 1.1 thorpej if (__futex(d->futex_ptr, FUTEX_WAIT | d->op_flags,
308 1.1 thorpej 666, NULL, NULL, 0, 0) == -1) {
309 1.1 thorpej /* This SHOULD be EAGAIN. */
310 1.1 thorpej STORE(d->error_ptr, errno);
311 1.1 thorpej }
312 1.1 thorpej
313 1.1 thorpej STORE(d->futex_ptr, 4);
314 1.1 thorpej membar_sync();
315 1.1 thorpej
316 1.1 thorpej (*d->exit_func)();
317 1.1 thorpej }
318 1.1 thorpej
319 1.1 thorpej static void
320 1.1 thorpej do_futex_wait_wake_test(volatile int *futex_ptr, volatile int *error_ptr,
321 1.1 thorpej void (*create_func)(struct lwp_data *),
322 1.1 thorpej void (*exit_func)(void),
323 1.1 thorpej void (*reap_func)(struct lwp_data *),
324 1.1 thorpej int flags)
325 1.1 thorpej {
326 1.1 thorpej struct lwp_data *wlwp = &lwp_data[WAITER_LWP0];
327 1.1 thorpej int tries;
328 1.1 thorpej
329 1.1 thorpej if (error_ptr == NULL)
330 1.1 thorpej error_ptr = &wlwp->futex_error;
331 1.1 thorpej
332 1.1 thorpej if (create_func == NULL)
333 1.1 thorpej create_func = create_lwp_waiter;
334 1.1 thorpej if (exit_func == NULL)
335 1.1 thorpej exit_func = exit_lwp_waiter;
336 1.1 thorpej if (reap_func == NULL)
337 1.1 thorpej reap_func = reap_lwp_waiter;
338 1.1 thorpej
339 1.1 thorpej setup_lwp_context(wlwp, wait_wake_test_waiter_lwp);
340 1.1 thorpej
341 1.1 thorpej DPRINTF(("futex_basic_wait_wake: testing with flags 0x%x\n", flags));
342 1.1 thorpej wlwp->op_flags = flags;
343 1.1 thorpej wlwp->error_ptr = error_ptr;
344 1.1 thorpej STORE(error_ptr, -1);
345 1.1 thorpej wlwp->futex_ptr = futex_ptr;
346 1.1 thorpej STORE(futex_ptr, 0);
347 1.1 thorpej wlwp->exit_func = exit_func;
348 1.1 thorpej membar_sync();
349 1.1 thorpej
350 1.1 thorpej DPRINTF(("futex_basic_wait_wake: creating watier LWP\n"));
351 1.1 thorpej (*create_func)(wlwp);
352 1.1 thorpej
353 1.1 thorpej DPRINTF(("futex_basic_wait_wake: waiting for LWP %d to enter futex\n",
354 1.1 thorpej wlwp->lwpid));
355 1.1 thorpej for (tries = 0; tries < 5; tries++) {
356 1.1 thorpej membar_sync();
357 1.1 thorpej if (LOAD(futex_ptr) == 1)
358 1.1 thorpej break;
359 1.1 thorpej sleep(1);
360 1.1 thorpej }
361 1.1 thorpej membar_sync();
362 1.1 thorpej ATF_REQUIRE(LOAD(futex_ptr) == 1);
363 1.1 thorpej
364 1.1 thorpej /*
365 1.1 thorpej * If the LWP is blocked in the futex, it will not have yet
366 1.1 thorpej * modified *error_ptr.
367 1.1 thorpej */
368 1.1 thorpej DPRINTF(("futex_basic_wait_wake: checking for successful wait (%d)\n",
369 1.1 thorpej LOAD(error_ptr)));
370 1.1 thorpej for (tries = 0; tries < 5; tries++) {
371 1.1 thorpej membar_sync();
372 1.1 thorpej if (LOAD(error_ptr) == -1)
373 1.1 thorpej break;
374 1.1 thorpej sleep(1);
375 1.1 thorpej }
376 1.1 thorpej membar_sync();
377 1.1 thorpej ATF_REQUIRE(LOAD(error_ptr) == -1);
378 1.1 thorpej
379 1.1 thorpej /* Make sure invalid #wakes in rejected. */
380 1.1 thorpej ATF_REQUIRE_ERRNO(EINVAL,
381 1.1 thorpej __futex(futex_ptr, FUTEX_WAKE | flags,
382 1.1 thorpej -1, NULL, NULL, 0, 0) == -1);
383 1.1 thorpej
384 1.1 thorpej DPRINTF(("futex_basic_wait_wake: waking 1 waiter\n"));
385 1.1 thorpej ATF_REQUIRE(__futex(futex_ptr, FUTEX_WAKE | flags,
386 1.1 thorpej 1, NULL, NULL, 0, 0) == 1);
387 1.1 thorpej
388 1.1 thorpej DPRINTF(("futex_basic_wait_wake: checking for successful wake (%d)\n",
389 1.1 thorpej LOAD(error_ptr)));
390 1.1 thorpej for (tries = 0; tries < 5; tries++) {
391 1.1 thorpej membar_sync();
392 1.1 thorpej if (LOAD(error_ptr) == 0)
393 1.1 thorpej break;
394 1.1 thorpej sleep(1);
395 1.1 thorpej }
396 1.1 thorpej membar_sync();
397 1.1 thorpej ATF_REQUIRE(LOAD(error_ptr) == 0);
398 1.1 thorpej
399 1.1 thorpej STORE(futex_ptr, 0);
400 1.1 thorpej membar_sync();
401 1.1 thorpej
402 1.1 thorpej DPRINTF(("futex_basic_wait_wake: waiting for LWP to advance (2)\n"));
403 1.1 thorpej for (tries = 0; tries < 5; tries++) {
404 1.1 thorpej membar_sync();
405 1.1 thorpej if (LOAD(futex_ptr) == 2)
406 1.1 thorpej break;
407 1.1 thorpej sleep(1);
408 1.1 thorpej }
409 1.1 thorpej membar_sync();
410 1.1 thorpej ATF_REQUIRE(LOAD(futex_ptr) == 2);
411 1.1 thorpej
412 1.1 thorpej STORE(futex_ptr, 3);
413 1.1 thorpej membar_sync();
414 1.1 thorpej
415 1.1 thorpej DPRINTF(("futex_basic_wait_wake: waiting for LWP to advance (4)\n"));
416 1.1 thorpej for (tries = 0; tries < 5; tries++) {
417 1.1 thorpej membar_sync();
418 1.1 thorpej if (LOAD(futex_ptr) == 4)
419 1.1 thorpej break;
420 1.1 thorpej sleep(1);
421 1.1 thorpej }
422 1.1 thorpej membar_sync();
423 1.1 thorpej ATF_REQUIRE(LOAD(futex_ptr) == 4);
424 1.1 thorpej
425 1.1 thorpej DPRINTF(("futex_basic_wait_wake: checking for expected EGAIN\n"));
426 1.1 thorpej ATF_REQUIRE(LOAD(error_ptr) == EAGAIN);
427 1.1 thorpej
428 1.1 thorpej DPRINTF(("futex_basic_wait_wake: reaping LWP %d\n", wlwp->lwpid));
429 1.1 thorpej (*reap_func)(wlwp);
430 1.1 thorpej }
431 1.1 thorpej
432 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_basic_wait_wake_private);
433 1.1 thorpej ATF_TC_HEAD(futex_basic_wait_wake_private, tc)
434 1.1 thorpej {
435 1.1 thorpej atf_tc_set_md_var(tc, "descr",
436 1.1 thorpej "tests basic futex WAIT + WAKE operations (PRIVATE)");
437 1.1 thorpej }
438 1.1 thorpej ATF_TC_BODY(futex_basic_wait_wake_private, tc)
439 1.1 thorpej {
440 1.1 thorpej do_futex_wait_wake_test(&futex_word, NULL,
441 1.1 thorpej NULL, NULL, NULL,
442 1.1 thorpej FUTEX_PRIVATE_FLAG);
443 1.1 thorpej }
444 1.1 thorpej ATF_TC_CLEANUP(futex_basic_wait_wake_private, tc)
445 1.1 thorpej {
446 1.1 thorpej do_cleanup();
447 1.1 thorpej }
448 1.1 thorpej
449 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_basic_wait_wake_shared);
450 1.1 thorpej ATF_TC_HEAD(futex_basic_wait_wake_shared, tc)
451 1.1 thorpej {
452 1.1 thorpej atf_tc_set_md_var(tc, "descr",
453 1.1 thorpej "tests basic futex WAIT + WAKE operations (SHARED)");
454 1.1 thorpej }
455 1.1 thorpej ATF_TC_BODY(futex_basic_wait_wake_shared, tc)
456 1.1 thorpej {
457 1.1 thorpej do_futex_wait_wake_test(&futex_word, NULL,
458 1.1 thorpej NULL, NULL, NULL,
459 1.1 thorpej 0);
460 1.1 thorpej }
461 1.1 thorpej ATF_TC_CLEANUP(futex_basic_wait_wake_shared, tc)
462 1.1 thorpej {
463 1.1 thorpej do_cleanup();
464 1.1 thorpej }
465 1.1 thorpej
466 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_wait_wake_anon_bs_private);
467 1.1 thorpej ATF_TC_HEAD(futex_wait_wake_anon_bs_private, tc)
468 1.1 thorpej {
469 1.1 thorpej atf_tc_set_md_var(tc, "descr",
470 1.1 thorpej "tests futex WAIT + WAKE operations (MAP_ANON + PRIVATE)");
471 1.1 thorpej }
472 1.1 thorpej ATF_TC_BODY(futex_wait_wake_anon_bs_private, tc)
473 1.1 thorpej {
474 1.1 thorpej create_bs(MAP_ANON | MAP_PRIVATE);
475 1.1 thorpej do_futex_wait_wake_test(&bs_addr[0], NULL,
476 1.1 thorpej NULL, NULL, NULL,
477 1.1 thorpej FUTEX_PRIVATE_FLAG);
478 1.1 thorpej }
479 1.1 thorpej ATF_TC_CLEANUP(futex_wait_wake_anon_bs_private, tc)
480 1.1 thorpej {
481 1.1 thorpej do_cleanup();
482 1.1 thorpej }
483 1.1 thorpej
484 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_wait_wake_anon_bs_shared);
485 1.1 thorpej ATF_TC_HEAD(futex_wait_wake_anon_bs_shared, tc)
486 1.1 thorpej {
487 1.1 thorpej atf_tc_set_md_var(tc, "descr",
488 1.1 thorpej "tests futex WAIT + WAKE operations (MAP_ANON + SHARED)");
489 1.1 thorpej }
490 1.1 thorpej ATF_TC_BODY(futex_wait_wake_anon_bs_shared, tc)
491 1.1 thorpej {
492 1.1 thorpej create_bs(MAP_ANON | MAP_PRIVATE);
493 1.1 thorpej do_futex_wait_wake_test(&bs_addr[0], NULL,
494 1.1 thorpej NULL, NULL, NULL,
495 1.1 thorpej 0);
496 1.1 thorpej }
497 1.1 thorpej ATF_TC_CLEANUP(futex_wait_wake_anon_bs_shared, tc)
498 1.1 thorpej {
499 1.1 thorpej do_cleanup();
500 1.1 thorpej }
501 1.1 thorpej
502 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_wait_wake_file_bs_private);
503 1.1 thorpej ATF_TC_HEAD(futex_wait_wake_file_bs_private, tc)
504 1.1 thorpej {
505 1.1 thorpej atf_tc_set_md_var(tc, "descr",
506 1.1 thorpej "tests futex WAIT + WAKE operations (MAP_FILE + PRIVATE)");
507 1.1 thorpej }
508 1.1 thorpej ATF_TC_BODY(futex_wait_wake_file_bs_private, tc)
509 1.1 thorpej {
510 1.1 thorpej /*
511 1.1 thorpej * This combination (non-COW mapped file + PRIVATE futex)
512 1.1 thorpej * doesn't really make sense, but we should make sure it
513 1.1 thorpej * works as expected.
514 1.1 thorpej */
515 1.1 thorpej create_bs(MAP_FILE | MAP_SHARED);
516 1.1 thorpej do_futex_wait_wake_test(&bs_addr[0], NULL,
517 1.1 thorpej NULL, NULL, NULL,
518 1.1 thorpej FUTEX_PRIVATE_FLAG);
519 1.1 thorpej ATF_REQUIRE(! verify_zero_bs());
520 1.1 thorpej }
521 1.1 thorpej ATF_TC_CLEANUP(futex_wait_wake_file_bs_private, tc)
522 1.1 thorpej {
523 1.1 thorpej do_cleanup();
524 1.1 thorpej }
525 1.1 thorpej
526 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_wait_wake_file_bs_cow_private);
527 1.1 thorpej ATF_TC_HEAD(futex_wait_wake_file_bs_cow_private, tc)
528 1.1 thorpej {
529 1.1 thorpej atf_tc_set_md_var(tc, "descr",
530 1.1 thorpej "tests futex WAIT + WAKE operations (MAP_FILE COW + PRIVATE)");
531 1.1 thorpej }
532 1.1 thorpej ATF_TC_BODY(futex_wait_wake_file_bs_cow_private, tc)
533 1.1 thorpej {
534 1.1 thorpej create_bs(MAP_FILE | MAP_PRIVATE);
535 1.1 thorpej do_futex_wait_wake_test(&bs_addr[0], NULL,
536 1.1 thorpej NULL, NULL, NULL,
537 1.1 thorpej FUTEX_PRIVATE_FLAG);
538 1.1 thorpej ATF_REQUIRE(verify_zero_bs());
539 1.1 thorpej }
540 1.1 thorpej ATF_TC_CLEANUP(futex_wait_wake_file_bs_cow_private, tc)
541 1.1 thorpej {
542 1.1 thorpej do_cleanup();
543 1.1 thorpej }
544 1.1 thorpej
545 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_wait_wake_file_bs_shared);
546 1.1 thorpej ATF_TC_HEAD(futex_wait_wake_file_bs_shared, tc)
547 1.1 thorpej {
548 1.1 thorpej atf_tc_set_md_var(tc, "descr",
549 1.1 thorpej "tests futex WAIT + WAKE operations (MAP_FILE + SHARED)");
550 1.1 thorpej }
551 1.1 thorpej ATF_TC_BODY(futex_wait_wake_file_bs_shared, tc)
552 1.1 thorpej {
553 1.1 thorpej create_bs(MAP_FILE | MAP_SHARED);
554 1.1 thorpej do_futex_wait_wake_test(&bs_addr[0], NULL,
555 1.1 thorpej NULL, NULL, NULL,
556 1.1 thorpej 0);
557 1.1 thorpej ATF_REQUIRE(! verify_zero_bs());
558 1.1 thorpej }
559 1.1 thorpej ATF_TC_CLEANUP(futex_wait_wake_file_bs_shared, tc)
560 1.1 thorpej {
561 1.1 thorpej do_cleanup();
562 1.1 thorpej }
563 1.1 thorpej
564 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_wait_wake_file_bs_cow_shared);
565 1.1 thorpej ATF_TC_HEAD(futex_wait_wake_file_bs_cow_shared, tc)
566 1.1 thorpej {
567 1.1 thorpej atf_tc_set_md_var(tc, "descr",
568 1.1 thorpej "tests futex WAIT + WAKE operations (MAP_FILE COW + SHARED)");
569 1.1 thorpej }
570 1.1 thorpej ATF_TC_BODY(futex_wait_wake_file_bs_cow_shared, tc)
571 1.1 thorpej {
572 1.1 thorpej /*
573 1.1 thorpej * This combination (COW mapped file + SHARED futex)
574 1.1 thorpej * doesn't really make sense, but we should make sure it
575 1.1 thorpej * works as expected.
576 1.1 thorpej */
577 1.1 thorpej create_bs(MAP_FILE | MAP_PRIVATE);
578 1.1 thorpej do_futex_wait_wake_test(&bs_addr[0], NULL,
579 1.1 thorpej NULL, NULL, NULL,
580 1.1 thorpej 0);
581 1.1 thorpej ATF_REQUIRE(verify_zero_bs());
582 1.1 thorpej }
583 1.1 thorpej ATF_TC_CLEANUP(futex_wait_wake_file_bs_cow_shared, tc)
584 1.1 thorpej {
585 1.1 thorpej do_cleanup();
586 1.1 thorpej }
587 1.1 thorpej
588 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_wait_wake_anon_bs_shared_proc);
589 1.1 thorpej ATF_TC_HEAD(futex_wait_wake_anon_bs_shared_proc, tc)
590 1.1 thorpej {
591 1.1 thorpej atf_tc_set_md_var(tc, "descr",
592 1.1 thorpej "tests multiproc futex WAIT + WAKE operations (MAP_ANON + SHARED)");
593 1.1 thorpej }
594 1.1 thorpej ATF_TC_BODY(futex_wait_wake_anon_bs_shared_proc, tc)
595 1.1 thorpej {
596 1.1 thorpej create_bs(MAP_ANON | MAP_SHARED);
597 1.1 thorpej do_futex_wait_wake_test(&bs_addr[0], &bs_addr[1],
598 1.1 thorpej create_proc_waiter,
599 1.1 thorpej exit_proc_waiter,
600 1.1 thorpej reap_proc_waiter,
601 1.1 thorpej 0);
602 1.1 thorpej }
603 1.1 thorpej ATF_TC_CLEANUP(futex_wait_wake_anon_bs_shared_proc, tc)
604 1.1 thorpej {
605 1.1 thorpej do_cleanup();
606 1.1 thorpej }
607 1.1 thorpej
608 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_wait_wake_file_bs_shared_proc);
609 1.1 thorpej ATF_TC_HEAD(futex_wait_wake_file_bs_shared_proc, tc)
610 1.1 thorpej {
611 1.1 thorpej atf_tc_set_md_var(tc, "descr",
612 1.1 thorpej "tests multiproc futex WAIT + WAKE operations (MAP_ANON + SHARED)");
613 1.1 thorpej }
614 1.1 thorpej ATF_TC_BODY(futex_wait_wake_file_bs_shared_proc, tc)
615 1.1 thorpej {
616 1.1 thorpej create_bs(MAP_FILE | MAP_SHARED);
617 1.1 thorpej do_futex_wait_wake_test(&bs_addr[0], &bs_addr[1],
618 1.1 thorpej create_proc_waiter,
619 1.1 thorpej exit_proc_waiter,
620 1.1 thorpej reap_proc_waiter,
621 1.1 thorpej 0);
622 1.1 thorpej }
623 1.1 thorpej ATF_TC_CLEANUP(futex_wait_wake_file_bs_shared_proc, tc)
624 1.1 thorpej {
625 1.1 thorpej do_cleanup();
626 1.1 thorpej }
627 1.1 thorpej
628 1.1 thorpej /*****************************************************************************/
629 1.1 thorpej
630 1.1 thorpej ATF_TC(futex_wait_pointless_bitset);
631 1.1 thorpej ATF_TC_HEAD(futex_wait_pointless_bitset, tc)
632 1.1 thorpej {
633 1.1 thorpej atf_tc_set_md_var(tc, "descr",
634 1.1 thorpej "tests basic futex WAIT + WAKE operations (SHARED)");
635 1.1 thorpej }
636 1.1 thorpej ATF_TC_BODY(futex_wait_pointless_bitset, tc)
637 1.1 thorpej {
638 1.1 thorpej
639 1.1 thorpej futex_word = 1;
640 1.2 riastrad ATF_REQUIRE_ERRNO(EINVAL,
641 1.2 riastrad __futex(&futex_word, FUTEX_WAIT_BITSET | FUTEX_PRIVATE_FLAG,
642 1.2 riastrad 1, NULL, NULL, 0, 0) == -1);
643 1.1 thorpej }
644 1.1 thorpej
645 1.1 thorpej static void
646 1.1 thorpej do_futex_wait_wake_bitset_test(int flags)
647 1.1 thorpej {
648 1.1 thorpej struct lwp_data *wlwp0 = &lwp_data[WAITER_LWP0];
649 1.1 thorpej struct lwp_data *wlwp1 = &lwp_data[WAITER_LWP1];
650 1.1 thorpej int i, tries;
651 1.1 thorpej
652 1.1 thorpej for (i = WAITER_LWP0; i <= WAITER_LWP1; i++) {
653 1.1 thorpej setup_lwp_context(&lwp_data[i], simple_test_waiter_lwp);
654 1.1 thorpej lwp_data[i].op_flags = flags;
655 1.1 thorpej lwp_data[i].futex_error = -1;
656 1.1 thorpej lwp_data[i].bitset = __BIT(i);
657 1.1 thorpej lwp_data[i].wait_op = FUTEX_WAIT_BITSET;
658 1.1 thorpej lwp_data[i].futex_ptr = &futex_word;
659 1.1 thorpej lwp_data[i].block_val = 1;
660 1.1 thorpej }
661 1.1 thorpej
662 1.1 thorpej STORE(&futex_word, 1);
663 1.1 thorpej membar_sync();
664 1.1 thorpej
665 1.1 thorpej ATF_REQUIRE(_lwp_create(&wlwp0->context, 0, &wlwp0->lwpid) == 0);
666 1.1 thorpej ATF_REQUIRE(_lwp_create(&wlwp1->context, 0, &wlwp1->lwpid) == 0);
667 1.1 thorpej
668 1.1 thorpej for (tries = 0; tries < 5; tries++) {
669 1.1 thorpej membar_sync();
670 1.1 thorpej if (nlwps_running == 2)
671 1.1 thorpej break;
672 1.1 thorpej sleep(1);
673 1.1 thorpej }
674 1.1 thorpej membar_sync();
675 1.1 thorpej ATF_REQUIRE_EQ_MSG(nlwps_running, 2, "waiters failed to start");
676 1.1 thorpej
677 1.1 thorpej /* Ensure they're blocked. */
678 1.1 thorpej ATF_REQUIRE(wlwp0->futex_error == -1);
679 1.1 thorpej ATF_REQUIRE(wlwp1->futex_error == -1);
680 1.1 thorpej
681 1.1 thorpej /* Make sure invalid #wakes in rejected. */
682 1.1 thorpej ATF_REQUIRE_ERRNO(EINVAL,
683 1.1 thorpej __futex(&futex_word, FUTEX_WAKE_BITSET | flags,
684 1.1 thorpej -1, NULL, NULL, 0, 0) == -1);
685 1.1 thorpej
686 1.1 thorpej /* This should result in no wakeups because no bits are set. */
687 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_BITSET | flags,
688 1.1 thorpej INT_MAX, NULL, NULL, 0, 0) == 0);
689 1.1 thorpej
690 1.1 thorpej /* This should result in no wakeups because the wrongs bits are set. */
691 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_BITSET | flags,
692 1.1 thorpej INT_MAX, NULL, NULL, 0,
693 1.1 thorpej ~(wlwp0->bitset | wlwp1->bitset)) == 0);
694 1.1 thorpej
695 1.1 thorpej /* Trust, but verify. */
696 1.1 thorpej sleep(1);
697 1.1 thorpej for (tries = 0; tries < 5; tries++) {
698 1.1 thorpej membar_sync();
699 1.1 thorpej if (nlwps_running == 2)
700 1.1 thorpej break;
701 1.1 thorpej sleep(1);
702 1.1 thorpej }
703 1.1 thorpej membar_sync();
704 1.1 thorpej ATF_REQUIRE_EQ_MSG(nlwps_running, 2, "waiters exited unexpectedly");
705 1.1 thorpej
706 1.1 thorpej /* Wake up the first LWP. */
707 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_BITSET | flags,
708 1.1 thorpej INT_MAX, NULL, NULL, 0,
709 1.1 thorpej wlwp0->bitset) == 1);
710 1.1 thorpej sleep(1);
711 1.1 thorpej for (tries = 0; tries < 5; tries++) {
712 1.1 thorpej membar_sync();
713 1.1 thorpej if (nlwps_running == 1)
714 1.1 thorpej break;
715 1.1 thorpej sleep(1);
716 1.1 thorpej }
717 1.1 thorpej membar_sync();
718 1.1 thorpej ATF_REQUIRE(nlwps_running == 1);
719 1.1 thorpej ATF_REQUIRE(wlwp0->futex_error == 0);
720 1.1 thorpej ATF_REQUIRE(_lwp_wait(wlwp0->lwpid, NULL) == 0);
721 1.1 thorpej
722 1.1 thorpej /* Wake up the second LWP. */
723 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_BITSET | flags,
724 1.1 thorpej INT_MAX, NULL, NULL, 0,
725 1.1 thorpej wlwp1->bitset) == 1);
726 1.1 thorpej sleep(1);
727 1.1 thorpej for (tries = 0; tries < 5; tries++) {
728 1.1 thorpej membar_sync();
729 1.1 thorpej if (nlwps_running == 0)
730 1.1 thorpej break;
731 1.1 thorpej sleep(1);
732 1.1 thorpej }
733 1.1 thorpej membar_sync();
734 1.1 thorpej ATF_REQUIRE(nlwps_running == 0);
735 1.1 thorpej ATF_REQUIRE(wlwp1->futex_error == 0);
736 1.1 thorpej ATF_REQUIRE(_lwp_wait(wlwp1->lwpid, NULL) == 0);
737 1.1 thorpej }
738 1.1 thorpej
739 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_wait_wake_bitset);
740 1.1 thorpej ATF_TC_HEAD(futex_wait_wake_bitset, tc)
741 1.1 thorpej {
742 1.1 thorpej atf_tc_set_md_var(tc, "descr",
743 1.1 thorpej "tests futex WAIT_BITSET + WAKE_BITSET operations");
744 1.1 thorpej }
745 1.1 thorpej ATF_TC_BODY(futex_wait_wake_bitset, tc)
746 1.1 thorpej {
747 1.1 thorpej do_futex_wait_wake_bitset_test(FUTEX_PRIVATE_FLAG);
748 1.1 thorpej }
749 1.1 thorpej ATF_TC_CLEANUP(futex_wait_wake_bitset, tc)
750 1.1 thorpej {
751 1.1 thorpej do_cleanup();
752 1.1 thorpej }
753 1.1 thorpej
754 1.1 thorpej /*****************************************************************************/
755 1.1 thorpej
756 1.1 thorpej static void
757 1.1 thorpej do_futex_requeue_test(int flags, int op)
758 1.1 thorpej {
759 1.1 thorpej struct lwp_data *wlwp0 = &lwp_data[WAITER_LWP0];
760 1.1 thorpej struct lwp_data *wlwp1 = &lwp_data[WAITER_LWP1];
761 1.1 thorpej struct lwp_data *wlwp2 = &lwp_data[WAITER_LWP2];
762 1.1 thorpej struct lwp_data *wlwp3 = &lwp_data[WAITER_LWP3];
763 1.1 thorpej const int good_val3 = (op == FUTEX_CMP_REQUEUE) ? 1 : 0;
764 1.1 thorpej const int bad_val3 = (op == FUTEX_CMP_REQUEUE) ? 666 : 0;
765 1.1 thorpej int i, tries;
766 1.1 thorpej
767 1.1 thorpej for (i = WAITER_LWP0; i <= WAITER_LWP3; i++) {
768 1.1 thorpej setup_lwp_context(&lwp_data[i], simple_test_waiter_lwp);
769 1.1 thorpej lwp_data[i].op_flags = flags;
770 1.1 thorpej lwp_data[i].futex_error = -1;
771 1.1 thorpej lwp_data[i].futex_ptr = &futex_word;
772 1.1 thorpej lwp_data[i].block_val = 1;
773 1.1 thorpej lwp_data[i].bitset = 0;
774 1.1 thorpej lwp_data[i].wait_op = FUTEX_WAIT;
775 1.1 thorpej }
776 1.1 thorpej
777 1.1 thorpej STORE(&futex_word, 1);
778 1.1 thorpej STORE(&futex_word1, 1);
779 1.1 thorpej membar_sync();
780 1.1 thorpej
781 1.1 thorpej ATF_REQUIRE(_lwp_create(&wlwp0->context, 0, &wlwp0->lwpid) == 0);
782 1.1 thorpej ATF_REQUIRE(_lwp_create(&wlwp1->context, 0, &wlwp1->lwpid) == 0);
783 1.1 thorpej ATF_REQUIRE(_lwp_create(&wlwp2->context, 0, &wlwp2->lwpid) == 0);
784 1.1 thorpej ATF_REQUIRE(_lwp_create(&wlwp3->context, 0, &wlwp3->lwpid) == 0);
785 1.1 thorpej
786 1.1 thorpej for (tries = 0; tries < 5; tries++) {
787 1.1 thorpej membar_sync();
788 1.1 thorpej if (nlwps_running == 4)
789 1.1 thorpej break;
790 1.1 thorpej sleep(1);
791 1.1 thorpej }
792 1.1 thorpej membar_sync();
793 1.1 thorpej ATF_REQUIRE_EQ_MSG(nlwps_running, 4, "waiters failed to start");
794 1.1 thorpej
795 1.1 thorpej /* Ensure they're blocked. */
796 1.1 thorpej ATF_REQUIRE(wlwp0->futex_error == -1);
797 1.1 thorpej ATF_REQUIRE(wlwp1->futex_error == -1);
798 1.1 thorpej ATF_REQUIRE(wlwp2->futex_error == -1);
799 1.1 thorpej ATF_REQUIRE(wlwp3->futex_error == -1);
800 1.1 thorpej
801 1.1 thorpej /* Make sure invalid #wakes and #requeues are rejected. */
802 1.1 thorpej ATF_REQUIRE_ERRNO(EINVAL,
803 1.1 thorpej __futex(&futex_word, op | flags,
804 1.1 thorpej -1, NULL, &futex_word1, INT_MAX, bad_val3) == -1);
805 1.1 thorpej
806 1.1 thorpej ATF_REQUIRE_ERRNO(EINVAL,
807 1.1 thorpej __futex(&futex_word, op | flags,
808 1.1 thorpej 0, NULL, &futex_word1, -1, bad_val3) == -1);
809 1.1 thorpej
810 1.1 thorpej /*
811 1.1 thorpej * FUTEX 0: 4 LWPs
812 1.1 thorpej * FUTEX 1: 0 LWPs
813 1.1 thorpej */
814 1.1 thorpej
815 1.1 thorpej if (op == FUTEX_CMP_REQUEUE) {
816 1.1 thorpej /* This should fail because the futex_word value is 1. */
817 1.1 thorpej ATF_REQUIRE_ERRNO(EAGAIN,
818 1.1 thorpej __futex(&futex_word, op | flags,
819 1.1 thorpej 0, NULL, &futex_word1, INT_MAX, bad_val3) == -1);
820 1.1 thorpej }
821 1.1 thorpej
822 1.1 thorpej /*
823 1.1 thorpej * FUTEX 0: 4 LWPs
824 1.1 thorpej * FUTEX 1: 0 LWPs
825 1.1 thorpej */
826 1.1 thorpej
827 1.1 thorpej /* Move all waiters from 0 to 1. */
828 1.8 riastrad atf_tc_expect_fail("PR kern/56828:"
829 1.8 riastrad " futex calls in Linux emulation sometimes hang");
830 1.8 riastrad ATF_CHECK(__futex(&futex_word, op | flags,
831 1.8 riastrad 0, NULL, &futex_word1, INT_MAX, good_val3) == 4);
832 1.8 riastrad atf_tc_expect_pass();
833 1.1 thorpej
834 1.1 thorpej /*
835 1.1 thorpej * FUTEX 0: 0 LWPs
836 1.1 thorpej * FUTEX 1: 4 LWPs
837 1.1 thorpej */
838 1.1 thorpej
839 1.1 thorpej if (op == FUTEX_CMP_REQUEUE) {
840 1.1 thorpej /* This should fail because the futex_word1 value is 1. */
841 1.1 thorpej ATF_REQUIRE_ERRNO(EAGAIN,
842 1.1 thorpej __futex(&futex_word1, op | flags,
843 1.1 thorpej 1, NULL, &futex_word, 1, bad_val3) == -1);
844 1.1 thorpej }
845 1.1 thorpej
846 1.1 thorpej /*
847 1.1 thorpej * FUTEX 0: 0 LWPs
848 1.1 thorpej * FUTEX 1: 4 LWPs
849 1.1 thorpej */
850 1.1 thorpej
851 1.1 thorpej /* Wake one waiter on 1, move one waiter to 0. */
852 1.7 riastrad atf_tc_expect_fail("PR kern/56828:"
853 1.7 riastrad " futex calls in Linux emulation sometimes hang");
854 1.7 riastrad ATF_CHECK(__futex(&futex_word1, op | flags,
855 1.7 riastrad 1, NULL, &futex_word, 1, good_val3) == 2);
856 1.7 riastrad atf_tc_expect_pass();
857 1.1 thorpej
858 1.1 thorpej /*
859 1.1 thorpej * FUTEX 0: 1 LWP
860 1.1 thorpej * FUTEX 1: 2 LWPs
861 1.1 thorpej */
862 1.1 thorpej
863 1.1 thorpej /* Wake all waiters on 0 (should be 1). */
864 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE | flags,
865 1.1 thorpej INT_MAX, NULL, NULL, 0, 0) == 1);
866 1.1 thorpej
867 1.1 thorpej /* Wake all waiters on 1 (should be 2). */
868 1.1 thorpej ATF_REQUIRE(__futex(&futex_word1, FUTEX_WAKE | flags,
869 1.1 thorpej INT_MAX, NULL, NULL, 0, 0) == 2);
870 1.1 thorpej
871 1.1 thorpej /* Trust, but verify. */
872 1.1 thorpej sleep(1);
873 1.1 thorpej for (tries = 0; tries < 5; tries++) {
874 1.1 thorpej membar_sync();
875 1.1 thorpej if (nlwps_running == 0)
876 1.1 thorpej break;
877 1.1 thorpej sleep(1);
878 1.1 thorpej }
879 1.1 thorpej membar_sync();
880 1.1 thorpej ATF_REQUIRE_EQ_MSG(nlwps_running, 0, "waiters failed to exit");
881 1.1 thorpej
882 1.1 thorpej ATF_REQUIRE(_lwp_wait(wlwp0->lwpid, NULL) == 0);
883 1.1 thorpej ATF_REQUIRE(_lwp_wait(wlwp1->lwpid, NULL) == 0);
884 1.1 thorpej ATF_REQUIRE(_lwp_wait(wlwp2->lwpid, NULL) == 0);
885 1.1 thorpej ATF_REQUIRE(_lwp_wait(wlwp3->lwpid, NULL) == 0);
886 1.1 thorpej }
887 1.1 thorpej
888 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_requeue);
889 1.1 thorpej ATF_TC_HEAD(futex_requeue, tc)
890 1.1 thorpej {
891 1.1 thorpej atf_tc_set_md_var(tc, "descr",
892 1.1 thorpej "tests futex REQUEUE operations");
893 1.1 thorpej }
894 1.1 thorpej ATF_TC_BODY(futex_requeue, tc)
895 1.1 thorpej {
896 1.1 thorpej do_futex_requeue_test(FUTEX_PRIVATE_FLAG, FUTEX_REQUEUE);
897 1.1 thorpej }
898 1.1 thorpej ATF_TC_CLEANUP(futex_requeue, tc)
899 1.1 thorpej {
900 1.1 thorpej do_cleanup();
901 1.1 thorpej }
902 1.1 thorpej
903 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_cmp_requeue);
904 1.1 thorpej ATF_TC_HEAD(futex_cmp_requeue, tc)
905 1.1 thorpej {
906 1.1 thorpej atf_tc_set_md_var(tc, "descr",
907 1.1 thorpej "tests futex CMP_REQUEUE operations");
908 1.1 thorpej }
909 1.1 thorpej ATF_TC_BODY(futex_cmp_requeue, tc)
910 1.1 thorpej {
911 1.1 thorpej do_futex_requeue_test(FUTEX_PRIVATE_FLAG, FUTEX_CMP_REQUEUE);
912 1.1 thorpej }
913 1.1 thorpej ATF_TC_CLEANUP(futex_cmp_requeue, tc)
914 1.1 thorpej {
915 1.1 thorpej do_cleanup();
916 1.1 thorpej }
917 1.1 thorpej
918 1.6 riastrad ATF_TC(futex_cmp_requeue_trivial);
919 1.6 riastrad ATF_TC_HEAD(futex_cmp_requeue_trivial, tc)
920 1.6 riastrad {
921 1.6 riastrad atf_tc_set_md_var(tc, "descr",
922 1.6 riastrad "tests trivial cases of futex CMP_REQUEUE operations");
923 1.6 riastrad }
924 1.6 riastrad ATF_TC_BODY(futex_cmp_requeue_trivial, tc)
925 1.6 riastrad {
926 1.6 riastrad int nwoken;
927 1.6 riastrad
928 1.6 riastrad futex_word = 123;
929 1.6 riastrad futex_word1 = 456; /* should be ignored */
930 1.6 riastrad atf_tc_expect_fail("PR kern/56828:"
931 1.6 riastrad " futex calls in Linux emulation sometimes hang");
932 1.6 riastrad ATF_CHECK_ERRNO(EAGAIN, __futex(&futex_word, FUTEX_CMP_REQUEUE,
933 1.6 riastrad /*nwake*/1, NULL, &futex_word1, /*nrequeue*/1, 0) == -1);
934 1.6 riastrad ATF_CHECK_ERRNO(EAGAIN, __futex(&futex_word, FUTEX_CMP_REQUEUE,
935 1.6 riastrad /*nwake*/1, NULL, &futex_word1, /*nrequeue*/1, 122) == -1);
936 1.6 riastrad atf_tc_expect_pass();
937 1.6 riastrad nwoken = __futex(&futex_word, FUTEX_CMP_REQUEUE,
938 1.6 riastrad /*nwake*/1, NULL, &futex_word1, /*nrequeue*/1, 123);
939 1.6 riastrad ATF_CHECK_MSG(nwoken != -1, "errno=%d (%s)", errno, strerror(errno));
940 1.6 riastrad ATF_CHECK_EQ_MSG(nwoken, 0, "nwoken=%d", nwoken);
941 1.6 riastrad ATF_CHECK_EQ_MSG(futex_word, 123, "futex_word=%d", futex_word);
942 1.6 riastrad ATF_CHECK_EQ_MSG(futex_word1, 456, "futex_word1=%d", futex_word1);
943 1.6 riastrad }
944 1.6 riastrad
945 1.1 thorpej /*****************************************************************************/
946 1.1 thorpej
947 1.1 thorpej static void
948 1.1 thorpej do_futex_wake_op_op_test(int flags)
949 1.1 thorpej {
950 1.1 thorpej int op;
951 1.1 thorpej
952 1.1 thorpej futex_word = 0;
953 1.1 thorpej futex_word1 = 0;
954 1.1 thorpej
955 1.1 thorpej /*
956 1.1 thorpej * The op= operations should work even if there are no waiters.
957 1.1 thorpej */
958 1.1 thorpej
959 1.1 thorpej /*
960 1.1 thorpej * Because these operations use both futex addresses, exercise
961 1.1 thorpej * rejecting unaligned futex addresses here.
962 1.1 thorpej */
963 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 1, FUTEX_OP_CMP_EQ, 0);
964 1.1 thorpej ATF_REQUIRE_ERRNO(EINVAL,
965 1.1 thorpej __futex((int *)1, FUTEX_WAKE_OP | flags,
966 1.1 thorpej 0, NULL, &futex_word1, 0, op) == -1);
967 1.1 thorpej ATF_REQUIRE(futex_word1 == 0);
968 1.1 thorpej
969 1.1 thorpej ATF_REQUIRE_ERRNO(EINVAL,
970 1.1 thorpej __futex(&futex_word, FUTEX_WAKE_OP | flags,
971 1.1 thorpej 0, NULL, (int *)1, 0, op) == -1);
972 1.1 thorpej ATF_REQUIRE(futex_word == 0);
973 1.1 thorpej
974 1.1 thorpej /* Check unmapped uaddr2 handling, too. */
975 1.1 thorpej ATF_REQUIRE_ERRNO(EFAULT,
976 1.1 thorpej __futex(&futex_word, FUTEX_WAKE_OP | flags,
977 1.1 thorpej 0, NULL, NULL, 0, op) == -1);
978 1.1 thorpej ATF_REQUIRE(futex_word == 0);
979 1.1 thorpej
980 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 1, FUTEX_OP_CMP_EQ, 0);
981 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
982 1.1 thorpej 0, NULL, &futex_word1, 0, op) == 0);
983 1.1 thorpej ATF_REQUIRE(futex_word1 == 1);
984 1.1 thorpej
985 1.1 thorpej op = FUTEX_OP(FUTEX_OP_ADD, 1, FUTEX_OP_CMP_EQ, 0);
986 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
987 1.1 thorpej 0, NULL, &futex_word1, 0, op) == 0);
988 1.1 thorpej ATF_REQUIRE(futex_word1 == 2);
989 1.1 thorpej
990 1.1 thorpej op = FUTEX_OP(FUTEX_OP_OR, 2, FUTEX_OP_CMP_EQ, 0);
991 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
992 1.1 thorpej 0, NULL, &futex_word1, 0, op) == 0);
993 1.1 thorpej ATF_REQUIRE(futex_word1 == 2);
994 1.1 thorpej
995 1.1 thorpej /* This should fail because of invalid shift value 32. */
996 1.1 thorpej op = FUTEX_OP(FUTEX_OP_OR | FUTEX_OP_OPARG_SHIFT, 32,
997 1.1 thorpej FUTEX_OP_CMP_EQ, 0);
998 1.1 thorpej ATF_REQUIRE_ERRNO(EINVAL,
999 1.1 thorpej __futex(&futex_word, FUTEX_WAKE_OP | flags,
1000 1.1 thorpej 0, NULL, &futex_word1, 0, op) == -1);
1001 1.1 thorpej ATF_REQUIRE(futex_word1 == 2);
1002 1.1 thorpej
1003 1.1 thorpej op = FUTEX_OP(FUTEX_OP_OR | FUTEX_OP_OPARG_SHIFT, 31,
1004 1.1 thorpej FUTEX_OP_CMP_EQ, 0);
1005 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1006 1.1 thorpej 0, NULL, &futex_word1, 0, op) == 0);
1007 1.1 thorpej ATF_REQUIRE(futex_word1 == (int)0x80000002);
1008 1.1 thorpej
1009 1.1 thorpej op = FUTEX_OP(FUTEX_OP_ANDN | FUTEX_OP_OPARG_SHIFT, 31,
1010 1.1 thorpej FUTEX_OP_CMP_EQ, 0);
1011 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1012 1.1 thorpej 0, NULL, &futex_word1, 0, op) == 0);
1013 1.1 thorpej ATF_REQUIRE(futex_word1 == 2);
1014 1.1 thorpej
1015 1.1 thorpej op = FUTEX_OP(FUTEX_OP_XOR, 2, FUTEX_OP_CMP_EQ, 0);
1016 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1017 1.1 thorpej 0, NULL, &futex_word1, 0, op) == 0);
1018 1.1 thorpej ATF_REQUIRE(futex_word1 == 0);
1019 1.1 thorpej }
1020 1.1 thorpej
1021 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_wake_op_op);
1022 1.1 thorpej ATF_TC_HEAD(futex_wake_op_op, tc)
1023 1.1 thorpej {
1024 1.1 thorpej atf_tc_set_md_var(tc, "descr",
1025 1.1 thorpej "tests futex WAKE_OP OP operations");
1026 1.1 thorpej }
1027 1.1 thorpej ATF_TC_BODY(futex_wake_op_op, tc)
1028 1.1 thorpej {
1029 1.1 thorpej do_futex_wake_op_op_test(FUTEX_PRIVATE_FLAG);
1030 1.1 thorpej }
1031 1.1 thorpej ATF_TC_CLEANUP(futex_wake_op_op, tc)
1032 1.1 thorpej {
1033 1.1 thorpej do_cleanup();
1034 1.1 thorpej }
1035 1.1 thorpej
1036 1.1 thorpej static void
1037 1.1 thorpej create_wake_op_test_lwps(int flags)
1038 1.1 thorpej {
1039 1.1 thorpej int i;
1040 1.1 thorpej
1041 1.1 thorpej futex_word1 = 0;
1042 1.1 thorpej membar_sync();
1043 1.1 thorpej
1044 1.1 thorpej for (i = WAITER_LWP0; i <= WAITER_LWP5; i++) {
1045 1.1 thorpej setup_lwp_context(&lwp_data[i], simple_test_waiter_lwp);
1046 1.1 thorpej lwp_data[i].op_flags = flags;
1047 1.1 thorpej lwp_data[i].futex_error = -1;
1048 1.1 thorpej lwp_data[i].futex_ptr = &futex_word1;
1049 1.1 thorpej lwp_data[i].block_val = 0;
1050 1.1 thorpej lwp_data[i].bitset = 0;
1051 1.1 thorpej lwp_data[i].wait_op = FUTEX_WAIT;
1052 1.1 thorpej ATF_REQUIRE(_lwp_create(&lwp_data[i].context, 0,
1053 1.1 thorpej &lwp_data[i].lwpid) == 0);
1054 1.1 thorpej }
1055 1.1 thorpej
1056 1.1 thorpej for (i = 0; i < 5; i++) {
1057 1.1 thorpej membar_sync();
1058 1.1 thorpej if (nlwps_running == 6)
1059 1.1 thorpej break;
1060 1.1 thorpej sleep(1);
1061 1.1 thorpej }
1062 1.1 thorpej membar_sync();
1063 1.1 thorpej ATF_REQUIRE_EQ_MSG(nlwps_running, 6, "waiters failed to start");
1064 1.1 thorpej
1065 1.1 thorpej /* Ensure they're blocked. */
1066 1.1 thorpej for (i = WAITER_LWP0; i <= WAITER_LWP5; i++) {
1067 1.1 thorpej ATF_REQUIRE(lwp_data[i].futex_error == -1);
1068 1.1 thorpej }
1069 1.1 thorpej }
1070 1.1 thorpej
1071 1.1 thorpej static void
1072 1.1 thorpej reap_wake_op_test_lwps(void)
1073 1.1 thorpej {
1074 1.1 thorpej int i;
1075 1.1 thorpej
1076 1.1 thorpej for (i = WAITER_LWP0; i <= WAITER_LWP5; i++) {
1077 1.1 thorpej ATF_REQUIRE(_lwp_wait(lwp_data[i].lwpid, NULL) == 0);
1078 1.1 thorpej }
1079 1.1 thorpej }
1080 1.1 thorpej
1081 1.1 thorpej static void
1082 1.1 thorpej do_futex_wake_op_cmp_test(int flags)
1083 1.1 thorpej {
1084 1.1 thorpej int tries, op;
1085 1.1 thorpej
1086 1.1 thorpej futex_word = 0;
1087 1.1 thorpej membar_sync();
1088 1.1 thorpej
1089 1.1 thorpej /*
1090 1.1 thorpej * Verify and negative and positive for each individual
1091 1.1 thorpej * compare.
1092 1.1 thorpej */
1093 1.1 thorpej
1094 1.1 thorpej create_wake_op_test_lwps(flags);
1095 1.1 thorpej
1096 1.1 thorpej /* #LWPs = 6 */
1097 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 0, FUTEX_OP_CMP_EQ, 1);
1098 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1099 1.1 thorpej 0, NULL, &futex_word1, 1, op) == 0);
1100 1.1 thorpej ATF_REQUIRE(futex_word1 == 0);
1101 1.1 thorpej
1102 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 1, FUTEX_OP_CMP_EQ, 0);
1103 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1104 1.1 thorpej 0, NULL, &futex_word1, 1, op) == 1);
1105 1.1 thorpej ATF_REQUIRE(futex_word1 == 1);
1106 1.1 thorpej
1107 1.1 thorpej /* #LWPs = 5 */
1108 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 1, FUTEX_OP_CMP_NE, 1);
1109 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1110 1.1 thorpej 0, NULL, &futex_word1, 1, op) == 0);
1111 1.1 thorpej ATF_REQUIRE(futex_word1 == 1);
1112 1.1 thorpej
1113 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 2, FUTEX_OP_CMP_NE, 2);
1114 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1115 1.1 thorpej 0, NULL, &futex_word1, 1, op) == 1);
1116 1.1 thorpej ATF_REQUIRE(futex_word1 == 2);
1117 1.1 thorpej
1118 1.1 thorpej /* #LWPs = 4 */
1119 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 2, FUTEX_OP_CMP_LT, 2);
1120 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1121 1.1 thorpej 0, NULL, &futex_word1, 1, op) == 0);
1122 1.1 thorpej ATF_REQUIRE(futex_word1 == 2);
1123 1.1 thorpej
1124 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 2, FUTEX_OP_CMP_LT, 3);
1125 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1126 1.1 thorpej 0, NULL, &futex_word1, 1, op) == 1);
1127 1.1 thorpej ATF_REQUIRE(futex_word1 == 2);
1128 1.1 thorpej
1129 1.1 thorpej /* #LWPs = 3 */
1130 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 1, FUTEX_OP_CMP_LE, 1);
1131 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1132 1.1 thorpej 0, NULL, &futex_word1, 1, op) == 0);
1133 1.1 thorpej ATF_REQUIRE(futex_word1 == 1);
1134 1.1 thorpej
1135 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 1, FUTEX_OP_CMP_LE, 1);
1136 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1137 1.1 thorpej 0, NULL, &futex_word1, 1, op) == 1);
1138 1.1 thorpej ATF_REQUIRE(futex_word1 == 1);
1139 1.1 thorpej
1140 1.1 thorpej /* #LWPs = 2 */
1141 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 3, FUTEX_OP_CMP_GT, 3);
1142 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1143 1.1 thorpej 0, NULL, &futex_word1, 1, op) == 0);
1144 1.1 thorpej ATF_REQUIRE(futex_word1 == 3);
1145 1.1 thorpej
1146 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 2, FUTEX_OP_CMP_GT, 2);
1147 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1148 1.1 thorpej 0, NULL, &futex_word1, 1, op) == 1);
1149 1.1 thorpej ATF_REQUIRE(futex_word1 == 2);
1150 1.1 thorpej
1151 1.1 thorpej /* #LWPs = 1 */
1152 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 3, FUTEX_OP_CMP_GE, 4);
1153 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1154 1.1 thorpej 0, NULL, &futex_word1, 1, op) == 0);
1155 1.1 thorpej ATF_REQUIRE(futex_word1 == 3);
1156 1.1 thorpej
1157 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 2, FUTEX_OP_CMP_GE, 3);
1158 1.1 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE_OP | flags,
1159 1.1 thorpej 0, NULL, &futex_word1, 1, op) == 1);
1160 1.1 thorpej ATF_REQUIRE(futex_word1 == 2);
1161 1.1 thorpej
1162 1.1 thorpej /* #LWPs = 0 */
1163 1.1 thorpej
1164 1.1 thorpej /* Trust, but verify. */
1165 1.1 thorpej sleep(1);
1166 1.1 thorpej for (tries = 0; tries < 5; tries++) {
1167 1.1 thorpej membar_sync();
1168 1.1 thorpej if (nlwps_running == 0)
1169 1.1 thorpej break;
1170 1.1 thorpej sleep(1);
1171 1.1 thorpej }
1172 1.1 thorpej membar_sync();
1173 1.1 thorpej ATF_REQUIRE_EQ_MSG(nlwps_running, 0, "waiters failed to exit");
1174 1.1 thorpej
1175 1.1 thorpej reap_wake_op_test_lwps();
1176 1.1 thorpej
1177 1.1 thorpej /*
1178 1.1 thorpej * Verify wakes on uaddr work even if the uaddr2 comparison
1179 1.1 thorpej * fails.
1180 1.1 thorpej */
1181 1.1 thorpej
1182 1.1 thorpej create_wake_op_test_lwps(flags);
1183 1.1 thorpej
1184 1.1 thorpej /* #LWPs = 6 */
1185 1.1 thorpej ATF_REQUIRE(futex_word == 0);
1186 1.1 thorpej op = FUTEX_OP(FUTEX_OP_SET, 0, FUTEX_OP_CMP_EQ, 666);
1187 1.1 thorpej ATF_REQUIRE(__futex(&futex_word1, FUTEX_WAKE_OP | flags,
1188 1.1 thorpej INT_MAX, NULL, &futex_word, 0, op) == 6);
1189 1.1 thorpej ATF_REQUIRE(futex_word == 0);
1190 1.1 thorpej
1191 1.1 thorpej /* #LWPs = 0 */
1192 1.1 thorpej
1193 1.1 thorpej /* Trust, but verify. */
1194 1.1 thorpej sleep(1);
1195 1.1 thorpej for (tries = 0; tries < 5; tries++) {
1196 1.1 thorpej membar_sync();
1197 1.1 thorpej if (nlwps_running == 0)
1198 1.1 thorpej break;
1199 1.1 thorpej sleep(1);
1200 1.1 thorpej }
1201 1.1 thorpej membar_sync();
1202 1.1 thorpej ATF_REQUIRE_EQ_MSG(nlwps_running, 0, "waiters failed to exit");
1203 1.1 thorpej
1204 1.1 thorpej reap_wake_op_test_lwps();
1205 1.1 thorpej }
1206 1.1 thorpej
1207 1.1 thorpej ATF_TC_WITH_CLEANUP(futex_wake_op_cmp);
1208 1.1 thorpej ATF_TC_HEAD(futex_wake_op_cmp, tc)
1209 1.1 thorpej {
1210 1.1 thorpej atf_tc_set_md_var(tc, "descr",
1211 1.1 thorpej "tests futex WAKE_OP CMP operations");
1212 1.1 thorpej }
1213 1.1 thorpej ATF_TC_BODY(futex_wake_op_cmp, tc)
1214 1.1 thorpej {
1215 1.1 thorpej do_futex_wake_op_cmp_test(FUTEX_PRIVATE_FLAG);
1216 1.1 thorpej }
1217 1.1 thorpej ATF_TC_CLEANUP(futex_wake_op_cmp, tc)
1218 1.1 thorpej {
1219 1.1 thorpej do_cleanup();
1220 1.1 thorpej }
1221 1.1 thorpej
1222 1.1 thorpej /*****************************************************************************/
1223 1.1 thorpej
1224 1.1 thorpej static void
1225 1.1 thorpej do_futex_wait_timeout(bool relative, clockid_t clock)
1226 1.1 thorpej {
1227 1.1 thorpej struct timespec ts;
1228 1.1 thorpej struct timespec deadline;
1229 1.1 thorpej int op = relative ? FUTEX_WAIT : FUTEX_WAIT_BITSET;
1230 1.1 thorpej
1231 1.1 thorpej if (clock == CLOCK_REALTIME)
1232 1.1 thorpej op |= FUTEX_CLOCK_REALTIME;
1233 1.1 thorpej
1234 1.1 thorpej ATF_REQUIRE(clock_gettime(clock, &deadline) == 0);
1235 1.1 thorpej deadline.tv_sec += 2;
1236 1.1 thorpej if (relative) {
1237 1.1 thorpej ts.tv_sec = 2;
1238 1.1 thorpej ts.tv_nsec = 0;
1239 1.1 thorpej } else {
1240 1.1 thorpej ts = deadline;
1241 1.1 thorpej }
1242 1.1 thorpej
1243 1.1 thorpej futex_word = 1;
1244 1.1 thorpej ATF_REQUIRE_ERRNO(ETIMEDOUT,
1245 1.1 thorpej __futex(&futex_word, op | FUTEX_PRIVATE_FLAG,
1246 1.1 thorpej 1, &ts, NULL, 0, FUTEX_BITSET_MATCH_ANY) == -1);
1247 1.1 thorpej
1248 1.1 thorpej /* Can't reliably check CLOCK_REALTIME in the presence of NTP. */
1249 1.1 thorpej if (clock != CLOCK_REALTIME) {
1250 1.1 thorpej ATF_REQUIRE(clock_gettime(clock, &ts) == 0);
1251 1.1 thorpej ATF_REQUIRE(ts.tv_sec >= deadline.tv_sec);
1252 1.1 thorpej ATF_REQUIRE(ts.tv_sec > deadline.tv_sec ||
1253 1.1 thorpej ts.tv_nsec >= deadline.tv_nsec);
1254 1.1 thorpej }
1255 1.1 thorpej }
1256 1.1 thorpej
1257 1.1 thorpej ATF_TC(futex_wait_timeout_relative);
1258 1.1 thorpej ATF_TC_HEAD(futex_wait_timeout_relative, tc)
1259 1.1 thorpej {
1260 1.1 thorpej atf_tc_set_md_var(tc, "descr",
1261 1.1 thorpej "tests futex WAIT with relative timeout");
1262 1.1 thorpej }
1263 1.1 thorpej ATF_TC_BODY(futex_wait_timeout_relative, tc)
1264 1.1 thorpej {
1265 1.1 thorpej do_futex_wait_timeout(true, CLOCK_MONOTONIC);
1266 1.1 thorpej }
1267 1.1 thorpej
1268 1.1 thorpej ATF_TC(futex_wait_timeout_relative_rt);
1269 1.1 thorpej ATF_TC_HEAD(futex_wait_timeout_relative_rt, tc)
1270 1.1 thorpej {
1271 1.1 thorpej atf_tc_set_md_var(tc, "descr",
1272 1.1 thorpej "tests futex WAIT with relative timeout (REALTIME)");
1273 1.1 thorpej }
1274 1.1 thorpej ATF_TC_BODY(futex_wait_timeout_relative_rt, tc)
1275 1.1 thorpej {
1276 1.1 thorpej do_futex_wait_timeout(true, CLOCK_REALTIME);
1277 1.1 thorpej }
1278 1.1 thorpej
1279 1.1 thorpej ATF_TC(futex_wait_timeout_deadline);
1280 1.1 thorpej ATF_TC_HEAD(futex_wait_timeout_deadline, tc)
1281 1.1 thorpej {
1282 1.1 thorpej atf_tc_set_md_var(tc, "descr",
1283 1.1 thorpej "tests futex WAIT with absolute deadline");
1284 1.1 thorpej }
1285 1.1 thorpej ATF_TC_BODY(futex_wait_timeout_deadline, tc)
1286 1.1 thorpej {
1287 1.1 thorpej do_futex_wait_timeout(false, CLOCK_MONOTONIC);
1288 1.1 thorpej }
1289 1.1 thorpej
1290 1.1 thorpej ATF_TC(futex_wait_timeout_deadline_rt);
1291 1.1 thorpej ATF_TC_HEAD(futex_wait_timeout_deadline_rt, tc)
1292 1.1 thorpej {
1293 1.1 thorpej atf_tc_set_md_var(tc, "descr",
1294 1.1 thorpej "tests futex WAIT with absolute deadline (REALTIME)");
1295 1.1 thorpej }
1296 1.1 thorpej ATF_TC_BODY(futex_wait_timeout_deadline_rt, tc)
1297 1.1 thorpej {
1298 1.1 thorpej do_futex_wait_timeout(false, CLOCK_REALTIME);
1299 1.1 thorpej }
1300 1.1 thorpej
1301 1.1 thorpej /*****************************************************************************/
1302 1.1 thorpej
1303 1.3 thorpej static void
1304 1.3 thorpej sig_noop(int sig __unused)
1305 1.3 thorpej {
1306 1.3 thorpej }
1307 1.3 thorpej
1308 1.3 thorpej static void (*old_act)(int) = SIG_DFL;
1309 1.3 thorpej
1310 1.3 thorpej static void
1311 1.3 thorpej do_futex_wait_evil_unmapped(int map_flags)
1312 1.3 thorpej {
1313 1.3 thorpej int i;
1314 1.3 thorpej
1315 1.3 thorpej create_bs(map_flags);
1316 1.3 thorpej
1317 1.3 thorpej old_act = signal(SIGUSR1, sig_noop);
1318 1.3 thorpej ATF_REQUIRE(old_act != SIG_ERR);
1319 1.3 thorpej
1320 1.3 thorpej setup_lwp_context(&lwp_data[0], simple_test_waiter_lwp);
1321 1.3 thorpej lwp_data[0].op_flags = 0;
1322 1.3 thorpej lwp_data[0].futex_error = -1;
1323 1.3 thorpej lwp_data[0].futex_ptr = &bs_addr[0];
1324 1.3 thorpej lwp_data[0].block_val = 0;
1325 1.3 thorpej lwp_data[0].bitset = 0;
1326 1.3 thorpej lwp_data[0].wait_op = FUTEX_WAIT;
1327 1.3 thorpej ATF_REQUIRE(_lwp_create(&lwp_data[0].context, 0,
1328 1.3 thorpej &lwp_data[0].lwpid) == 0);
1329 1.3 thorpej
1330 1.3 thorpej for (i = 0; i < 5; i++) {
1331 1.3 thorpej membar_sync();
1332 1.3 thorpej if (nlwps_running == 1)
1333 1.3 thorpej break;
1334 1.3 thorpej sleep(1);
1335 1.3 thorpej }
1336 1.3 thorpej membar_sync();
1337 1.3 thorpej ATF_REQUIRE_EQ_MSG(nlwps_running, 1, "waiters failed to start");
1338 1.3 thorpej
1339 1.3 thorpej /* Ensure it's blocked. */
1340 1.3 thorpej ATF_REQUIRE(lwp_data[0].futex_error == -1);
1341 1.3 thorpej
1342 1.3 thorpej /* Rudely unmap the backing store. */
1343 1.3 thorpej cleanup_bs();
1344 1.3 thorpej
1345 1.3 thorpej /* Signal the waiter so that it leaves the futex. */
1346 1.3 thorpej ATF_REQUIRE(_lwp_kill(lwp_data[0].threadid, SIGUSR1) == 0);
1347 1.3 thorpej
1348 1.3 thorpej /* Yay! No panic! */
1349 1.3 thorpej
1350 1.3 thorpej reap_lwp_waiter(&lwp_data[0]);
1351 1.3 thorpej }
1352 1.3 thorpej
1353 1.3 thorpej ATF_TC_WITH_CLEANUP(futex_wait_evil_unmapped_anon);
1354 1.3 thorpej ATF_TC_HEAD(futex_wait_evil_unmapped_anon, tc)
1355 1.3 thorpej {
1356 1.3 thorpej atf_tc_set_md_var(tc, "descr",
1357 1.3 thorpej "tests futex WAIT while futex is unmapped - anon memory");
1358 1.3 thorpej }
1359 1.3 thorpej ATF_TC_BODY(futex_wait_evil_unmapped_anon, tc)
1360 1.3 thorpej {
1361 1.3 thorpej do_futex_wait_evil_unmapped(MAP_ANON);
1362 1.3 thorpej }
1363 1.3 thorpej ATF_TC_CLEANUP(futex_wait_evil_unmapped_anon, tc)
1364 1.3 thorpej {
1365 1.3 thorpej signal(SIGUSR1, old_act);
1366 1.3 thorpej do_cleanup();
1367 1.3 thorpej }
1368 1.3 thorpej
1369 1.3 thorpej /*****************************************************************************/
1370 1.3 thorpej
1371 1.4 thorpej static int pri_min;
1372 1.4 thorpej static int pri_max;
1373 1.4 thorpej
1374 1.4 thorpej static void
1375 1.4 thorpej lowpri_simple_test_waiter_lwp(void *arg)
1376 1.4 thorpej {
1377 1.4 thorpej struct lwp_data *d = arg;
1378 1.4 thorpej struct sched_param sp;
1379 1.4 thorpej int policy;
1380 1.4 thorpej
1381 1.4 thorpej d->threadid = _lwp_self();
1382 1.4 thorpej
1383 1.4 thorpej ATF_REQUIRE(_sched_getparam(getpid(), d->threadid, &policy, &sp) == 0);
1384 1.4 thorpej policy = SCHED_RR;
1385 1.4 thorpej sp.sched_priority = pri_min;
1386 1.4 thorpej ATF_REQUIRE(_sched_setparam(getpid(), d->threadid, policy, &sp) == 0);
1387 1.4 thorpej
1388 1.4 thorpej simple_test_waiter_lwp(arg);
1389 1.4 thorpej }
1390 1.4 thorpej
1391 1.4 thorpej static void
1392 1.4 thorpej highpri_simple_test_waiter_lwp(void *arg)
1393 1.4 thorpej {
1394 1.4 thorpej struct lwp_data *d = arg;
1395 1.4 thorpej struct sched_param sp;
1396 1.4 thorpej int policy;
1397 1.4 thorpej
1398 1.4 thorpej d->threadid = _lwp_self();
1399 1.4 thorpej
1400 1.4 thorpej ATF_REQUIRE(_sched_getparam(getpid(), d->threadid, &policy, &sp) == 0);
1401 1.4 thorpej policy = SCHED_RR;
1402 1.4 thorpej sp.sched_priority = pri_max;
1403 1.4 thorpej ATF_REQUIRE(_sched_setparam(getpid(), d->threadid, policy, &sp) == 0);
1404 1.4 thorpej
1405 1.4 thorpej simple_test_waiter_lwp(arg);
1406 1.4 thorpej }
1407 1.4 thorpej
1408 1.4 thorpej static void
1409 1.4 thorpej do_test_wake_highest_pri(void)
1410 1.4 thorpej {
1411 1.4 thorpej lwpid_t waiter;
1412 1.4 thorpej int tries;
1413 1.4 thorpej long pri;
1414 1.4 thorpej
1415 1.4 thorpej ATF_REQUIRE((pri = sysconf(_SC_SCHED_PRI_MIN)) != -1);
1416 1.4 thorpej pri_min = (int)pri;
1417 1.4 thorpej ATF_REQUIRE((pri = sysconf(_SC_SCHED_PRI_MAX)) != -1);
1418 1.4 thorpej pri_max = (int)pri;
1419 1.4 thorpej
1420 1.4 thorpej futex_word = 0;
1421 1.4 thorpej membar_sync();
1422 1.4 thorpej
1423 1.4 thorpej setup_lwp_context(&lwp_data[0], lowpri_simple_test_waiter_lwp);
1424 1.4 thorpej lwp_data[0].op_flags = FUTEX_PRIVATE_FLAG;
1425 1.4 thorpej lwp_data[0].futex_error = -1;
1426 1.4 thorpej lwp_data[0].futex_ptr = &futex_word;
1427 1.4 thorpej lwp_data[0].block_val = 0;
1428 1.4 thorpej lwp_data[0].bitset = 0;
1429 1.4 thorpej lwp_data[0].wait_op = FUTEX_WAIT;
1430 1.4 thorpej ATF_REQUIRE(_lwp_create(&lwp_data[0].context, 0,
1431 1.4 thorpej &lwp_data[0].lwpid) == 0);
1432 1.4 thorpej
1433 1.4 thorpej for (tries = 0; tries < 5; tries++) {
1434 1.4 thorpej membar_sync();
1435 1.4 thorpej if (nlwps_running == 1)
1436 1.4 thorpej break;
1437 1.4 thorpej sleep(1);
1438 1.4 thorpej }
1439 1.4 thorpej membar_sync();
1440 1.4 thorpej ATF_REQUIRE_EQ_MSG(nlwps_running, 1, "lowpri waiter failed to start");
1441 1.4 thorpej
1442 1.4 thorpej /* Ensure it's blocked. */
1443 1.4 thorpej ATF_REQUIRE(lwp_data[0].futex_error == -1);
1444 1.4 thorpej
1445 1.4 thorpej setup_lwp_context(&lwp_data[1], highpri_simple_test_waiter_lwp);
1446 1.4 thorpej lwp_data[1].op_flags = FUTEX_PRIVATE_FLAG;
1447 1.4 thorpej lwp_data[1].futex_error = -1;
1448 1.4 thorpej lwp_data[1].futex_ptr = &futex_word;
1449 1.4 thorpej lwp_data[1].block_val = 0;
1450 1.4 thorpej lwp_data[1].bitset = 0;
1451 1.4 thorpej lwp_data[1].wait_op = FUTEX_WAIT;
1452 1.5 thorpej ATF_REQUIRE(_lwp_create(&lwp_data[1].context, 0,
1453 1.5 thorpej &lwp_data[1].lwpid) == 0);
1454 1.4 thorpej
1455 1.4 thorpej for (tries = 0; tries < 5; tries++) {
1456 1.4 thorpej membar_sync();
1457 1.4 thorpej if (nlwps_running == 2)
1458 1.4 thorpej break;
1459 1.4 thorpej sleep(1);
1460 1.4 thorpej }
1461 1.4 thorpej membar_sync();
1462 1.4 thorpej ATF_REQUIRE_EQ_MSG(nlwps_running, 2, "highpri waiter failed to start");
1463 1.4 thorpej
1464 1.4 thorpej /* Ensure it's blocked. */
1465 1.4 thorpej ATF_REQUIRE(lwp_data[1].futex_error == -1);
1466 1.4 thorpej
1467 1.4 thorpej /* Wake the first LWP. We should get the highpri thread. */
1468 1.4 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE | FUTEX_PRIVATE_FLAG,
1469 1.4 thorpej 1, NULL, NULL, 0, 0) == 1);
1470 1.4 thorpej sleep(1);
1471 1.4 thorpej for (tries = 0; tries < 5; tries++) {
1472 1.4 thorpej membar_sync();
1473 1.4 thorpej if (nlwps_running == 1)
1474 1.4 thorpej break;
1475 1.4 thorpej sleep(1);
1476 1.4 thorpej }
1477 1.4 thorpej membar_sync();
1478 1.4 thorpej ATF_REQUIRE(nlwps_running == 1);
1479 1.4 thorpej ATF_REQUIRE(_lwp_wait(0, &waiter) == 0);
1480 1.4 thorpej ATF_REQUIRE(waiter == lwp_data[1].threadid);
1481 1.4 thorpej
1482 1.4 thorpej /* Wake the second LWP. We should get the lowpri thread. */
1483 1.4 thorpej ATF_REQUIRE(__futex(&futex_word, FUTEX_WAKE | FUTEX_PRIVATE_FLAG,
1484 1.4 thorpej 1, NULL, NULL, 0, 0) == 1);
1485 1.4 thorpej sleep(1);
1486 1.4 thorpej for (tries = 0; tries < 5; tries++) {
1487 1.4 thorpej membar_sync();
1488 1.4 thorpej if (nlwps_running == 0)
1489 1.4 thorpej break;
1490 1.4 thorpej sleep(1);
1491 1.4 thorpej }
1492 1.4 thorpej membar_sync();
1493 1.4 thorpej ATF_REQUIRE(nlwps_running == 0);
1494 1.4 thorpej ATF_REQUIRE(_lwp_wait(0, &waiter) == 0);
1495 1.4 thorpej ATF_REQUIRE(waiter == lwp_data[0].threadid);
1496 1.4 thorpej }
1497 1.4 thorpej
1498 1.4 thorpej ATF_TC_WITH_CLEANUP(futex_wake_highest_pri);
1499 1.4 thorpej ATF_TC_HEAD(futex_wake_highest_pri, tc)
1500 1.4 thorpej {
1501 1.4 thorpej atf_tc_set_md_var(tc, "descr",
1502 1.4 thorpej "tests that futex WAKE wakes the highest priority waiter");
1503 1.4 thorpej atf_tc_set_md_var(tc, "require.user", "root");
1504 1.4 thorpej }
1505 1.4 thorpej ATF_TC_BODY(futex_wake_highest_pri, tc)
1506 1.4 thorpej {
1507 1.4 thorpej atf_tc_expect_fail("PR kern/55230");
1508 1.4 thorpej do_test_wake_highest_pri();
1509 1.4 thorpej }
1510 1.4 thorpej ATF_TC_CLEANUP(futex_wake_highest_pri, tc)
1511 1.4 thorpej {
1512 1.4 thorpej do_cleanup();
1513 1.4 thorpej }
1514 1.4 thorpej
1515 1.4 thorpej /*****************************************************************************/
1516 1.4 thorpej
1517 1.1 thorpej ATF_TP_ADD_TCS(tp)
1518 1.1 thorpej {
1519 1.1 thorpej ATF_TP_ADD_TC(tp, futex_basic_wait_wake_private);
1520 1.1 thorpej ATF_TP_ADD_TC(tp, futex_basic_wait_wake_shared);
1521 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_wake_anon_bs_private);
1522 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_wake_anon_bs_shared);
1523 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_wake_file_bs_private);
1524 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_wake_file_bs_shared);
1525 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_wake_file_bs_cow_private);
1526 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_wake_file_bs_cow_shared);
1527 1.1 thorpej
1528 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_wake_anon_bs_shared_proc);
1529 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_wake_file_bs_shared_proc);
1530 1.1 thorpej
1531 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_pointless_bitset);
1532 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_wake_bitset);
1533 1.1 thorpej
1534 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_timeout_relative);
1535 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_timeout_relative_rt);
1536 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_timeout_deadline);
1537 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wait_timeout_deadline_rt);
1538 1.1 thorpej
1539 1.3 thorpej ATF_TP_ADD_TC(tp, futex_wait_evil_unmapped_anon);
1540 1.3 thorpej
1541 1.1 thorpej ATF_TP_ADD_TC(tp, futex_requeue);
1542 1.1 thorpej ATF_TP_ADD_TC(tp, futex_cmp_requeue);
1543 1.6 riastrad ATF_TP_ADD_TC(tp, futex_cmp_requeue_trivial);
1544 1.1 thorpej
1545 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wake_op_op);
1546 1.1 thorpej ATF_TP_ADD_TC(tp, futex_wake_op_cmp);
1547 1.1 thorpej
1548 1.4 thorpej ATF_TP_ADD_TC(tp, futex_wake_highest_pri);
1549 1.4 thorpej
1550 1.1 thorpej return atf_no_error();
1551 1.1 thorpej }
1552