diff options
| author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2016-01-26 07:12:34 +0100 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2016-03-14 23:52:18 +0100 |
| commit | 37ef0341ca60b364dde05239c98b15c999195d8c (patch) | |
| tree | d9c46207ff501a55eec5f5f515f56251b9f9916b /lib/locking-selftest-spin-hardirq.h | |
| parent | documentation: Distinguish between local and global transitivity (diff) | |
| download | linux-37ef0341ca60b364dde05239c98b15c999195d8c.tar.xz linux-37ef0341ca60b364dde05239c98b15c999195d8c.zip | |
documentation: Add alternative release-acquire outcome
The memory-barriers.txt discussion of local transitivity and
release-acquire chains leaves out discussion of the outcome of
the read from "u". This commit therefore adds an outcome showing
that you can get a "1" from this read even if the release-acquire
pairs don't line up.
Reported-by: Will Deacon <will.deacon@arm.com>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Diffstat (limited to 'lib/locking-selftest-spin-hardirq.h')
0 files changed, 0 insertions, 0 deletions