+// SPDX-FileCopyrightText: 2011-2012 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
+//
+// SPDX-License-Identifier: LGPL-2.1-or-later
+
#ifndef _URCU_FUTEX_H
#define _URCU_FUTEX_H
/*
- * urcu-futex.h
- *
* Userspace RCU - sys_futex/compat_futex header.
- *
- * Copyright 2011-2012 - Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
- *
- * This library is free software; you can redistribute it and/or
- * modify it under the terms of the GNU Lesser General Public
- * License as published by the Free Software Foundation; either
- * version 2.1 of the License, or (at your option) any later version.
- *
- * This library is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
- * Lesser General Public License for more details.
- *
- * You should have received a copy of the GNU Lesser General Public
- * License along with this library; if not, write to the Free Software
- * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*/
#include <urcu/config.h>
#include <stdint.h>
#include <time.h>
+#if (defined(__linux__) && defined(__NR_futex))
+
+/* For backwards compat */
+# define CONFIG_RCU_HAVE_FUTEX 1
+
+# include <unistd.h>
+# include <errno.h>
+# include <urcu/compiler.h>
+# include <urcu/arch.h>
+# include <urcu/assert.h>
+
+#elif defined(__FreeBSD__)
+
+# include <sys/types.h>
+# include <sys/umtx.h>
+
+#elif defined(__OpenBSD__)
+
+# include <sys/time.h>
+# include <sys/futex.h>
+
+#endif
+
#ifdef __cplusplus
extern "C" {
#endif
-#define FUTEX_WAIT 0
-#define FUTEX_WAKE 1
+#ifndef __OpenBSD__
+# define FUTEX_WAIT 0
+# define FUTEX_WAKE 1
+#endif
/*
* sys_futex compatibility header.
extern int compat_futex_async(int32_t *uaddr, int op, int32_t val,
const struct timespec *timeout, int32_t *uaddr2, int32_t val3);
-#if (defined(__linux__) && defined(__NR_futex_))
-
-/* For backwards compat */
-#define CONFIG_RCU_HAVE_FUTEX 1
-
-#include <unistd.h>
-#include <errno.h>
-#include <urcu/compiler.h>
-#include <urcu/arch.h>
+#if (defined(__linux__) && defined(__NR_futex))
static inline int futex(int32_t *uaddr, int op, int32_t val,
const struct timespec *timeout, int32_t *uaddr2, int32_t val3)
{
- return syscall(__NR_futex, uaddr, op, val, timeout,
- uaddr2, val3);
+ return syscall(__NR_futex, uaddr, op, val, timeout, uaddr2, val3);
}
static inline int futex_noasync(int32_t *uaddr, int op, int32_t val,
#elif defined(__FreeBSD__)
-#include <sys/types.h>
-#include <sys/umtx.h>
-
static inline int futex_async(int32_t *uaddr, int op, int32_t val,
const struct timespec *timeout, int32_t *uaddr2, int32_t val3)
{
._clockid = CLOCK_MONOTONIC,
};
+ /*
+ * Check if NULL or zero. Don't let users expect that they are
+ * taken into account.
+ */
+ urcu_posix_assert(!uaddr2);
+ urcu_posix_assert(!val3);
+
switch (op) {
case FUTEX_WAIT:
/* On FreeBSD, a "u_int" is a 32-bit integer. */
return futex_async(uaddr, op, val, timeout, uaddr2, val3);
}
+#elif defined(__OpenBSD__)
+
+static inline int futex_noasync(int32_t *uaddr, int op, int32_t val,
+ const struct timespec *timeout, int32_t *uaddr2, int32_t val3)
+{
+ int ret;
+
+ /*
+ * Check that val3 is zero. Don't let users expect that it is
+ * taken into account.
+ */
+ urcu_posix_assert(!val3);
+
+ ret = futex((volatile uint32_t *) uaddr, op, val, timeout,
+ (volatile uint32_t *) uaddr2);
+ if (caa_unlikely(ret < 0 && errno == ENOSYS)) {
+ return compat_futex_noasync(uaddr, op, val, timeout,
+ uaddr2, val3);
+ }
+ return ret;
+}
+
+static inline int futex_async(int32_t *uaddr, int op, int32_t val,
+ const struct timespec *timeout, int32_t *uaddr2, int32_t val3)
+{
+ int ret;
+
+ /*
+ * Check that val3 is zero. Don't let users expect that it is
+ * taken into account.
+ */
+ urcu_posix_assert(!val3);
+
+ ret = futex((volatile uint32_t *) uaddr, op, val, timeout,
+ (volatile uint32_t *) uaddr2);
+ if (caa_unlikely(ret < 0 && errno == ENOSYS)) {
+ return compat_futex_async(uaddr, op, val, timeout,
+ uaddr2, val3);
+ }
+ return ret;
+}
+
#elif defined(__CYGWIN__)
/*