tree 7659bf6bc6c43ba024700015f89a4b7b77b3b758
parent 92a84dd210b8263f765882d3ee1a1d5cd348c16a
author Paul E. McKenney <paulmck@linux.vnet.ibm.com> 1452879042 -0800
committer Paul E. McKenney <paulmck@linux.vnet.ibm.com> 1457995938 -0700

documentation: Distinguish between local and global transitivity

The introduction of smp_load_acquire() and smp_store_release() had
the side effect of introducing a weaker notion of transitivity:
The transitivity of full smp_mb() barriers is global, but that
of smp_store_release()/smp_load_acquire() chains is local.  This
commit therefore introduces the notion of local transitivity and
gives an example.

Reported-by: Peter Zijlstra <peterz@infradead.org>
Reported-by: Will Deacon <will.deacon@arm.com>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>