Thread (2 messages) 2 messages, 2 authors, 2026-03-02

Re: [RFC PATCH 0/2] futex: how to solve the robust_list race condition?

From: Florian Weimer <hidden>
Date: 2026-03-02 07:31:45
Also in: lkml

* Mathieu Desnoyers:
Of course, we'd have to implement the whole transaction in assembler
for each architecture.
Could this be hidden ina vDSO call?  It would have to receive a pointer
to the rseq area in addition to other arguments that identify the unlock
operation to be performed.  The advantage is that the kernel would now
the addresses involved, so a single rseq flag should be sufficient.  It
could also vary the LL/SC sequence based on architecture capabilities.

The question is whether we can model the unlock operation so that it's
sufficiently generic.

Thanks,
Florian
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help