1 | /* |
2 | * Copyright (c) 2019, Oracle and/or its affiliates. All rights reserved. |
3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 | * |
5 | * This code is free software; you can redistribute it and/or modify it |
6 | * under the terms of the GNU General Public License version 2 only, as |
7 | * published by the Free Software Foundation. |
8 | * |
9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
12 | * version 2 for more details (a copy is included in the LICENSE file that |
13 | * accompanied this code). |
14 | * |
15 | * You should have received a copy of the GNU General Public License version |
16 | * 2 along with this work; if not, write to the Free Software Foundation, |
17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
18 | * |
19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
20 | * or visit www.oracle.com if you need additional information or have any |
21 | * questions. |
22 | * |
23 | */ |
24 | |
25 | #include "precompiled/precompiled.hpp" |
26 | #include "runtime/orderAccess.hpp" |
27 | #include "runtime/os.hpp" |
28 | #include "waitBarrier_linux.hpp" |
29 | #include <sys/syscall.h> |
30 | #include <linux/futex.h> |
31 | |
32 | #define check_with_errno(check_type, cond, msg) \ |
33 | do { \ |
34 | int err = errno; \ |
35 | check_type(cond, "%s: error='%s' (errno=%s)", msg, os::strerror(err), \ |
36 | os::errno_name(err)); \ |
37 | } while (false) |
38 | |
39 | #define guarantee_with_errno(cond, msg) check_with_errno(guarantee, cond, msg) |
40 | |
41 | static int futex(volatile int *addr, int futex_op, int op_arg) { |
42 | return syscall(SYS_futex, addr, futex_op, op_arg, NULL, NULL, 0); |
43 | } |
44 | |
45 | void LinuxWaitBarrier::arm(int barrier_tag) { |
46 | assert(_futex_barrier == 0, "Should not be already armed: " |
47 | "_futex_barrier=%d" , _futex_barrier); |
48 | _futex_barrier = barrier_tag; |
49 | OrderAccess::fence(); |
50 | } |
51 | |
52 | void LinuxWaitBarrier::disarm() { |
53 | assert(_futex_barrier != 0, "Should be armed/non-zero." ); |
54 | _futex_barrier = 0; |
55 | int s = futex(&_futex_barrier, |
56 | FUTEX_WAKE_PRIVATE, |
57 | INT_MAX /* wake a max of this many threads */); |
58 | guarantee_with_errno(s > -1, "futex FUTEX_WAKE failed" ); |
59 | } |
60 | |
61 | void LinuxWaitBarrier::wait(int barrier_tag) { |
62 | assert(barrier_tag != 0, "Trying to wait on disarmed value" ); |
63 | if (barrier_tag == 0 || |
64 | barrier_tag != _futex_barrier) { |
65 | OrderAccess::fence(); |
66 | return; |
67 | } |
68 | do { |
69 | int s = futex(&_futex_barrier, |
70 | FUTEX_WAIT_PRIVATE, |
71 | barrier_tag /* should be this tag */); |
72 | guarantee_with_errno((s == 0) || |
73 | (s == -1 && errno == EAGAIN) || |
74 | (s == -1 && errno == EINTR), |
75 | "futex FUTEX_WAIT failed" ); |
76 | // Return value 0: woken up, but re-check in case of spurious wakeup. |
77 | // Error EINTR: woken by signal, so re-check and re-wait if necessary. |
78 | // Error EAGAIN: we are already disarmed and so will pass the check. |
79 | } while (barrier_tag == _futex_barrier); |
80 | } |
81 | |