projects / linux-2.6-microblaze.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be3f696) | patch
kcsan: Document modeling of weak memory
authorMarco Elver <elver@google.com>
Tue, 30 Nov 2021 11:44:17 +0000 (12:44 +0100)
committerPaul E. McKenney <paulmck@kernel.org>
Fri, 10 Dec 2021 00:42:27 +0000 (16:42 -0800)
commit82eb6911d909cc8bd2838048f0dac7263ab63373
tree3a0fb2342d76a1204fa218a4c2ed073a4291c19ftree | snapshot
parentbe3f6967ec5947dd7b2f23bf9d42bb2729889618commit | diff
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>
Documentation/dev-tools/kcsan.rst diff | blob | history
MicroBlaze GIT Repository