Page MenuHomeFreeBSD

Support LSE atomics in the arm64 casue* functions
ClosedPublic

Authored by andrew on May 17 2022, 1:56 PM.
Tags
None
Referenced Files
Unknown Object (File)
Mon, Nov 24, 5:17 AM
Unknown Object (File)
Wed, Nov 12, 1:03 AM
Unknown Object (File)
Tue, Nov 4, 2:52 PM
Unknown Object (File)
Tue, Nov 4, 2:45 PM
Unknown Object (File)
Tue, Nov 4, 2:45 PM
Unknown Object (File)
Tue, Nov 4, 2:42 PM
Unknown Object (File)
Oct 14 2025, 10:28 PM
Unknown Object (File)
Oct 11 2025, 2:36 PM
Subscribers

Details

Summary

As with atomic(9) use the ARMv8.1 Large System Extension atomic
instructions to implement the userspace compare and swap functions.

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 45607
Build 42495: arc lint + arc unit

Event Timeline

I believe that the patch itself if fine.

But I noted a thing with casueword(32) and its use in kern_umtx.c. It seems that kern_umtx.c assumes that the function has sequential-constistent fence semantic. Note that both lock acquire and release just return success if casueword32 succeeded, in do_lock_normal() and do_unlock_normal(). The full fence semantic is provided on x86, but I suspect all ll/sc arches are affected.

This revision is now accepted and ready to land.May 17 2022, 11:47 PM