[PATCH] arm64: spinlock: serialise spin_unlock_wait against concurrent lockers
Peter Zijlstra
peterz at infradead.org
Fri Dec 4 01:21:10 PST 2015
On Thu, Dec 03, 2015 at 09:22:07AM -0800, Paul E. McKenney wrote:
> > 2. Only PowerPC is going to see the (very occassional) failures, so
> > testing this is nigh on impossible :(
>
> Indeed, we clearly cannot rely on normal testing, witness rcutorture
> failing to find the missing smp_mb__after_unlock_lock() instances that
> Peter found by inspection. So I believe that augmented testing is
> required, perhaps as suggested above.
To be fair, those were in debug code and non critical for correctness
per se. That is, at worst the debug print would've observed an incorrect
value.
More information about the linux-arm-kernel
mailing list