- while (futex_noasync(&wait->state, FUTEX_WAIT, URCU_WAIT_WAITING,
- NULL, NULL, 0)) {
+ while (uatomic_read(&wait->state) == URCU_WAIT_WAITING) {
+ if (!futex_noasync(&wait->state, FUTEX_WAIT, URCU_WAIT_WAITING, NULL, NULL, 0)) {
+ /*
+ * Prior queued wakeups queued by unrelated code
+ * using the same address can cause futex wait to
+ * return 0 even through the futex value is still
+ * URCU_WAIT_WAITING (spurious wakeups). Check
+ * the value again in user-space to validate
+ * whether it really differs from
+ * URCU_WAIT_WAITING.
+ */
+ continue;
+ }