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 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
zx_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
zx_futex_requeue_single_owner() variant instead.
zx_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
zx_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.
zx_futex_requeue() returns ZX_OK on success.
ZX_ERR_INVALID_ARGS One of the following is true:
ZX_ERR_BAD_HANDLE new_requeue_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_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.