• memory_order_acq_rel

    From Chris M. Thomasson@3:633/280.2 to All on Thu Aug 21 05:25:08 2025
    I hope that it creates something like the following pseudo code, using
    some SPARC to show the membars. If not then on my stack_mutex fun thing
    I posted earlier, Subject "A fun mutex, part II...", well, they would be
    in the wrong places.
    ________________
    MEMBAR #LoadStore | #StoreStore // release

    ATOMIC_RMW

    MEMBAR #LoadStore | #LoadLoad // acquire
    ________________




    --- MBSE BBS v1.1.2 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From Chris M. Thomasson@3:633/280.2 to All on Mon Aug 25 06:04:30 2025
    On 8/20/2025 12:25 PM, Chris M. Thomasson wrote:
    I hope that it creates something like the following pseudo code, using
    some SPARC to show the membars. If not then on my stack_mutex fun thing
    I posted earlier, Subject "A fun mutex, part II...", well, they would be
    in the wrong places.
    ________________
    MEMBAR #LoadStore | #StoreStore // release

    ATOMIC_RMW

    MEMBAR #LoadStore | #LoadLoad // acquire
    ________________

    Afaict, acq_rel does that and works fine. But, it makes me think of the
    name. Should it be rel_acq? ;^)

    --- MBSE BBS v1.1.2 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)