https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102218

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Tamar Christina <tnfch...@gcc.gnu.org>:

https://gcc.gnu.org/g:5471f55f001af412e1125b04972ebaab9d4f7337

commit r13-1989-g5471f55f001af412e1125b04972ebaab9d4f7337
Author: Tamar Christina <tamar.christ...@arm.com>
Date:   Mon Aug 8 14:37:42 2022 +0100

    AArch32: Fix 128-bit sequential consistency atomic operations.

    Similar to AArch64 the Arm implementation of 128-bit atomics is broken.

    For 128-bit atomics we rely on pthread barriers to correct guard the
address
    in the pointer to get correct memory ordering.  However for 128-bit atomics
the
    address under the lock is different from the original pointer.

    This means that one of the values under the atomic operation is not
protected
    properly and so we fail during when the user has requested sequential
    consistency as there's no barrier to enforce this requirement.

    As such users have resorted to adding an

    #ifdef GCC
    <emit barrier>
    #endif

    around the use of these atomics.

    This corrects the issue by issuing a barrier only when __ATOMIC_SEQ_CST was
    requested.  I have hand verified that the barriers are inserted
    for atomic seq cst.

    libatomic/ChangeLog:

            PR target/102218
            * config/arm/host-config.h (pre_seq_barrier, post_seq_barrier,
            pre_post_seq_barrier): Require barrier on __ATOMIC_SEQ_CST.

Reply via email to