futex_requeue - Wake some number of threads waiting on a futex, and move more waiters to another wait queue.
#include <zircon/syscalls.h> zx_status_t zx_futex_requeue(const zx_futex_t* value_ptr, uint32_t wake_count, zx_futex_t current_value, const zx_futex_t* requeue_ptr, uint32_t requeue_count, zx_handle_t new_requeue_owner);
Requeuing is a generalization of waking. First, the kernel verifies that the value in
current_value matches the value of the futex at
value_ptr, and if not reports ZX_ERR_BAD_STATE. After waking
requeue_count threads are moved from the original futex's wait queue to the wait queue corresponding to
requeue_ptr, another futex.
This requeueing behavior may be used to avoid thundering herds on wake.
A requeue operation targets two futexes, the wake futex and the requeue futex. The ownership implications for each are discussed separately. Generally, if the call fails for any reason, no changes to ownership for either futex are made.
See Ownership and Priority Inheritance in futex for details.
A successful call to futex_requeue() results in the owner of the futex being set to nothing, regardless of the wake count. In order to transfer ownership of a futex, use the futex_requeue_single_owner() variant instead. futex_requeue_single_owner() will attempt to wake exactly one thread from the futex wait queue. If there is at least one thread to wake, the owner of the futex will be set to the thread which was woken. Otherwise, the futex will have no owner.
A successful call to futex_requeue() or futex_requeue_single_owner() results in the owner of the futex being set to the thread referenced by the
new_requeue_owner handle, or to nothing if
new_requeue_owner is ZX_HANDLE_INVALID.
futex_requeue() returns ZX_OK on success.
ZX_ERR_INVALID_ARGS One of the following is true:
requeue_ptris not a valid userspace pointer
requeue_ptris not aligned to a sizeof(zx_futex_t) boundary.
value_ptris the same futex as
new_requeue_owneris currently a member of the waiters for either value_ptr or requeue_ptr
new_requeue_owner is not ZX_HANDLE_INVALID, and not a valid handle. ZX_ERR_WRONG_TYPE
new_requeue_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