zx_futex_wait

Summary

Wait on a futex.

Declaration

#include <zircon/syscalls.h>

zx_status_t zx_futex_wait(const zx_futex_t* value_ptr,
                          zx_futex_t current_value,
                          zx_handle_t new_futex_owner,
                          zx_time_t deadline);

Description

zx_futex_wait() atomically verifies that value_ptr still contains the value current_value and sleeps until the futex is made available by a call to zx_futex_wake. Optionally, the thread can also be woken up after the deadline (with respect to ZX_CLOCK_MONOTONIC) passes. deadline may be automatically adjusted according to the job's timer slack policy.

SPURIOUS WAKEUPS

A component that uses futexes should be prepared to handle spurious wakeups. A spurious wakeup is a situation where zx_futex_wait() returns successfully even though the component did not wake the waiter by calling zx_futex_wake().

Zircon's implementation of futexes currently does not generate spurious wakeups itself. However, commonly-used algorithms that use futexes can sometimes generate spurious wakeups. For example, the usual implementation of mutex_unlock can potentially produce a zx_futex_wake() call on a memory location after the location has been freed and reused for unrelated purposes.

OWNERSHIP

A successful call to zx_futex_wait() results in the owner of the futex being set to the thread referenced by the new_futex_owner handle, or to nothing if new_futex_owner is ZX_HANDLE_INVALID.

See Ownership and Priority Inheritance in futex for details.

Rights

None.

Return value

zx_futex_wait() returns ZX_OK on success.

Errors

ZX_ERR_INVALID_ARGS One of the following is true:

  • value_ptr is not a valid userspace pointer
  • value_ptr is not aligned to a sizeof(zx_futex_t) boundary.
  • new_futex_owner is currently a member of the waiters for value_ptr.
  • new_futex_owner has not been started yet.

ZX_ERR_BAD_HANDLE new_futex_owner is not ZX_HANDLE_INVALID, and not a valid handle AND current_value matches the value at value_ptr

ZX_ERR_WRONG_TYPE new_futex_owner is a valid handle, but is not a handle to a thread.

ZX_ERR_BAD_STATE current_value does not match the value at value_ptr.

ZX_ERR_TIMED_OUT The thread was not woken before deadline passed.

See also