Marco Elver 82eb6911d9 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>

2021-12-09 16:42:27 -08:00

16 KiB

Raw Blame History

View Raw