diff options
| author | Marco Elver <elver@google.com> | 2021-11-30 12:44:17 +0100 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2021-12-09 16:42:27 -0800 |
| commit | 82eb6911d909cc8bd2838048f0dac7263ab63373 (patch) | |
| tree | 3a0fb2342d76a1204fa218a4c2ed073a4291c19f /kernel/kcsan | |
| parent | be3f6967ec5947dd7b2f23bf9d42bb2729889618 (diff) | |
| download | linux-stable-82eb6911d909cc8bd2838048f0dac7263ab63373.tar.gz linux-stable-82eb6911d909cc8bd2838048f0dac7263ab63373.tar.bz2 linux-stable-82eb6911d909cc8bd2838048f0dac7263ab63373.zip | |
kcsan: Document modeling of weak memory
Document how KCSAN models a subset of weak memory and the subset of
missing memory barriers it can detect as a result.
Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'kernel/kcsan')
0 files changed, 0 insertions, 0 deletions