• Peter Zijlstra's avatar
    mips/atomic: Fix smp_mb__{before,after}_atomic() · 42344113
    Peter Zijlstra authored
    Recent probing at the Linux Kernel Memory Model uncovered a
    'surprise'. Strongly ordered architectures where the atomic RmW
    primitive implies full memory ordering and
    smp_mb__{before,after}_atomic() are a simple barrier() (such as MIPS
    without WEAK_REORDERING_BEYOND_LLSC) fail for:
    
    	*x = 1;
    	atomic_inc(u);
    	smp_mb__after_atomic();
    	r0 = *y;
    
    Because, while the atomic_inc() implies memory order, it
    (surprisingly) does not provide a compiler barrier. This then allows
    the compiler to re-order like so:
    
    	atomic_inc(u);
    	*x = 1;
    	smp_mb__after_atomic();
    	r0 = *y;
    
    Which the CPU is then allowed to re-order (under TSO rules) like:
    
    	atomic_inc(u);
    	r0 = *y;
    	*x = 1;
    
    And this very much was not intended. Therefore strengthen the atomic
    RmW ops to include a compiler barrier.
    Reported-by: default avatarAndrea Parri <andrea.parri@amarulasolutions.com>
    Signed-off-by: default avatarPeter Zijlstra (Intel) <peterz@infradead.org>
    Signed-off-by: default avatarPaul Burton <paul.burton@mips.com>
    42344113
barrier.h 10.9 KB