| commit | 37ef0341ca60b364dde05239c98b15c999195d8c | [log] [tgz] |
|---|---|---|
| author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | Mon Jan 25 22:12:34 2016 -0800 |
| committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | Mon Mar 14 15:52:18 2016 -0700 |
| tree | d9c46207ff501a55eec5f5f515f56251b9f9916b | |
| parent | c535cc92924baf68e238bd1b5ff8d74883f88b9b [diff] |
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>