Re: bug in futex.2, FUTEX_CMP_REQUEUE

["Jₑₙₛ Gustedt" <jens.gustedt@inria.fr>]

Hello Carlos,

On Tue, 27 May 2025 07:30:09 -0400, Carlos O'Donell wrote:

> > This has several issues, the most severe beeing the word
> > `FUTEX_WAIT`.
> > 
> > - How can an operation that only does wakes, ever be equivalent to a
> >    wait?  
> 
> My opinion is that the text is correct.
> 
> The operation can WAKE tasks.
> 
> The operation can also cause tasks to WAIT in a *different* queue.

No, it can make *other* threads wait in a different queue. The
`FUTEX_WAIT` call is to put the current thread on wait. So calling
this equivalent is really far fetched.

Thanks
Jₑₙₛ


-- 
:: ICube :::::::::::::::::::::::::::::: deputy director ::
:: Université de Strasbourg :::::::::::::::::::::: ICPS ::
:: INRIA antenne de Strasbourg :::::::::::::::::: Camus ::
:: INRIA PIQ program Strasbourg :::::::::: piq.inria.fr ::
:: :::::::::::::::::::::::::::::::::::: ☎ +33 368854536 ::
:: https://icube-icps.unistra.fr/index.php/Jens_Gustedt ::