| 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 |  | 
|---|