• Davi Arnaut's avatar
    Bug#22320: my_atomic-t unit test fails · 3a22d332
    Davi Arnaut authored
    Bug#52261: 64 bit atomic operations do not work on Solaris i386
               gcc in debug compilation
    
    One of the various problems was that the source operand to
    CMPXCHG8b was marked as a input/output operand, causing GCC
    to use the EBX register as the destination register for the
    CMPXCHG8b instruction. This could lead to crashes as the EBX
    register is also implicitly used by the instruction, causing
    the value to be potentially garbaged and a protection fault
    once the value is used to access a position in memory.
    
    Another problem was the lack of proper clobbers for the atomic
    operations and, also, a discrepancy between the implementations
    for the Compare and Set operation. The specific problems are
    described and fixed by Kristian Nielsen patches:
    
    Patch: 1
    
    Fix bugs in my_atomic_cas*(val,cmp,new) that *cmp is accessed
    after CAS succeds.
    
    In the gcc builtin implementation, problem was that *cmp was
    read again after atomic CAS to check if old *val == *cmp;
    this fails if CAS is successful and another thread modifies
    *cmp in-between.
    
    In the x86-gcc implementation, problem was that *cmp was set
    also in the case of successful CAS; this means there is a
    window where it can clobber a value written by another thread
    after successful CAS.
    
    Patch 2:
    
    Add a GCC asm "memory" clobber to primitives that imply a
    memory barrier.
    
    This signifies to GCC that any potentially aliased memory
    must be flushed before the operation, and re-read after the
    operation, so that read or modification in other threads of
    such memory values will work as intended.
    
    In effect, it makes these primitives work as memory barriers
    for the compiler as well as the CPU. This is better and more
    correct than adding "volatile" to variables.
    3a22d332
my_atomic.h 9.56 KB