#if (defined(__linux__) && defined(__NR_futex))
/* For backwards compat */
-#define CONFIG_RCU_HAVE_FUTEX 1
+# define CONFIG_RCU_HAVE_FUTEX 1
-#include <unistd.h>
-#include <errno.h>
-#include <urcu/compiler.h>
-#include <urcu/arch.h>
+# 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>
+# include <sys/types.h>
+# include <sys/umtx.h>
+
+#elif defined(__OpenBSD__)
+
+# include <sys/time.h>
+# include <sys/futex.h>
#endif
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.
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__)
static inline int futex_async(int32_t *uaddr, int op, int32_t val,
- const struct timespec *timeout,
- int32_t *uaddr2 __attribute__((unused)),
- int32_t val3 __attribute__((unused)))
+ const struct timespec *timeout, int32_t *uaddr2, int32_t val3)
{
int umtx_op;
void *umtx_uaddr = NULL, *umtx_uaddr2 = NULL;
._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__)
/*