| commit | 8881e7a774a8d14088d6c6fde8730660f74a3642 | [log] [tgz] |
|---|---|---|
| author | Paul E. McKenney <paulmck@kernel.org> | Fri Nov 06 09:58:01 2020 -0800 |
| committer | Paul E. McKenney <paulmck@kernel.org> | Mon Jan 04 14:40:49 2021 -0800 |
| tree | 7df822e767c099adad831f3143f4151c717bfaa8 | |
| parent | 5c8fe583cce542aa0b84adc939ce85293de36e5e [diff] |
tools/memory-model: Tie acquire loads to reads-from This commit explicitly makes the connection between acquire loads and the reads-from relation. It also adds an entry for happens-before, and refers to the corresponding section of explanation.txt. Reported-by: Boqun Feng <boqun.feng@gmail.com> Signed-off-by: Paul E. McKenney <paulmck@kernel.org>