[PATCH v8 5/5] arm64: futex: support futex with FEAT_LSUI
Mark Rutland
mark.rutland at arm.com
Wed Sep 17 06:57:40 PDT 2025
On Wed, Sep 17, 2025 at 02:35:09PM +0100, Yeoreum Yun wrote:
> Hi Mark,
Hi Levi,
Please can you keep the relevant reply headers (i.e. the bit that says
"On ${DATE} ${PERSON} wrote:")? You kept yours from your first reply,
but dropped mine from the reply you're replying to, which is a bit
awkward for anyone following the thread.
> > Aside from the retry issue, I *think* you can simplify this to something
> > like:
> >
> > static __always_inline int
> > __lsui_cmpxchg32(u32 __user *uaddr, u32 oldval, u32 newval, u32 *oval)
> > {
> > uaddr64 = (u64 __user *)PTR_ALIGN_DOWN(uaddr, sizeof(u64));
> > u64 oval64, nval64, orig64;
> >
> > if (get_user(oval64, uaddr64)
> > return -EFAULT;
> >
> > if (IS_ALIGNED(addr, sizeof(u64)) == IS_ENABLED(CONFIG_CPU_LITTLE_ENDIAN)) {
Note: typo here, this should be 'uaddr', not 'addr'. Importantly it is
*NOT* 'uaddr64'
> > FIELD_MODIFY(GENMASK_U64(31, 0), &oval64, oldval);
> > FIELD_MODIFY(GENMASK_U64(31, 0), &nval64, newval);
> > } else {
> > FIELD_MODIFY(GENMASK_U64(63, 32), &oval64, oldval);
> > FIELD_MODIFY(GENMASK_U64(63, 32), &nval64, newval);
> > }
> > orig64 = oval64;
> >
> > if (__lsui_cmpxchg64(uaddr_al, &oval64, nval64))
> > return -EFAULT;
> >
> > if (oval64 != orig64)
> > return -EAGAIN;
> >
> > *oval = oldval;
> > return 0;
> > }
>
> Hmm I think this wouldn'b cover the case below when big-endianess used.
>
> struct {
> u32 others 0x55667788;
> u32 futex = 0x11223344;
> };
>
> In this case, memory layout would be:
>
> 55 66 77 88 11 22 33 44
>
> So, the value of fetched oval64 is 0x5566778811223344;
Ok, so the entire struct is aligned to 8 bytes, and the 'futex' field is
4 bytes after that (and not itself aligned to 8 bytes). In that case:
IS_ALIGNED(uaddr, sizeof(u64)) is false, becuase 'futex' is not
aligned to 8 bytes.
IS_ENABLED(CONFIG_CPU_LITTLE_ENDIAN) is false, since this is
big-endian.
... so the condition becomes:
if (false == false)
... which is true, and hence we execute the first branch:
FIELD_MODIFY(GENMASK_U64(31, 0), &oval64, oldval);
FIELD_MODIFY(GENMASK_U64(31, 0), &nval64, newval);
> So, it should modify the GENMASK_U64(31, 0) fields.
> But, it tries to modify GENMASK_U64(63, 32) fields.
As above, I think the code does the right thing in this case, but the
typo didn't help -- sorry about that.
Mark.
More information about the linux-arm-kernel
mailing list