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
F109502034: D35234.diff
Wed, Feb 5, 9:57 PM
Unknown Object (File)
Dec 7 2024, 10:59 AM
Unknown Object (File)
Nov 29 2024, 2:41 AM
Unknown Object (File)
Nov 21 2024, 3:57 PM
Unknown Object (File)
Nov 7 2024, 10:30 AM
Unknown Object (File)
Sep 21 2024, 10:47 PM
Unknown Object (File)
Sep 21 2024, 2:37 AM
Unknown Object (File)
Sep 20 2024, 6:25 AM
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