int rl_int_futex_impl(context& c,
atomic<int>* uaddr,
int op,
int val,
struct timespec const* timeout,
atomic<int>* uaddr2,
int val3,
debug_info_param info)
{
(void)uaddr2;
(void)val3;
if (op == RL_FUTEX_WAIT)
{
c.sched();
c.atomic_thread_fence_seq_cst();
int v0;
{
preemption_disabler pd (c);
v0 = uaddr->load(memory_order_acquire, info);
}
if (v0 != val)
return RL_EWOULDBLOCK;
unpark_reason reason = uaddr->wait(c, timeout != 0, true, info);
if (reason == unpark_reason_normal)
return 0;
else if (reason == unpark_reason_timeout)
return RL_ETIMEDOUT;
else if (reason == unpark_reason_spurious)
return RL_EINTR;
RL_VERIFY(false);
return RL_EINVAL;
}
else if (op == RL_FUTEX_WAKE)
{
if (val <= 0)
return 0;
c.sched();
c.atomic_thread_fence_seq_cst();
return uaddr->wake(c, val, info);
}
else
{
return RL_EINVAL;
}
}
