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, int current_value, const zx_futex_t* requeue_ptr, uint32_t requeue_count, zx_handle_t new_requeue_owner); zx_status_t zx_futex_requeue_single_owner(const zx_futex_t* value_ptr, int 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 wake_count
threads, 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.
None.
futex_requeue() returns ZX_OK on success.
ZX_ERR_INVALID_ARGS One of the following is true:
value_ptr
or requeue_ptr
is not a valid userspace pointervalue_ptr
or requeue_ptr
is not aligned to a sizeof(zx_futex_t) boundary.value_ptr
is the same futex as requeue_ptr
new_requeue_owner
is currently a member of the waiters for either value_ptr or requeue_ptrZX_ERR_BAD_HANDLE 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 value_ptr
.