Behaviour of smp_mb__{before,after}_spin* and acquire/release

From: Will Deacon
Date: Tue Jan 13 2015 - 11:34:08 EST


Hi Paul,

I started dusting off a series I've been working to implement a relaxed
atomic API in Linux (i.e. things like atomic_read(v, ACQUIRE)) but I'm
having trouble making sense of the ordering semantics we have in mainline
today:

1. Does smp_mb__before_spinlock actually have to order prior loads
against later loads and stores? Documentation/memory-barriers.txt
says it does, but that doesn't match the comment (or implementation)
in include/linux/spinlock.h

2. Does smp_mb__after_unlock_lock order smp_store_release against
smp_load_acquire? Again, Documentation/memory-barriers.txt puts
these operations into the RELEASE and ACQUIRE classes respectively,
but since smp_mb__after_unlock_lock is a NOP everywhere other than
PowerPC, I don't think this is enforced by the current code. Most
architectures follow the pattern used by asm-generic/barrier.h:

release: smp_mb(); STORE
acquire: LOAD; smp_mb();

which doesn't provide any release -> acquire ordering afaict.

My plan for the atomics was to add acquire, release, acquire + release
and unordered variants, where the acquire/release semantics would
actually be sequentially consistent. That allows us to implement the
existing atomics easily in terms of the new API, but it's different
to what we're doing for the smp_load_acquire and smp_store_release
functions above.

Cheers,

Will
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/