]> git.baikalelectronics.ru Git - kernel.git/commit
projects / kernel.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8507f58) | 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)
commit325cb35978f1ee5e9c8452fc96d50c979c77f86a
tree3a0fb2342d76a1204fa218a4c2ed073a4291c19ftree | snapshot
parent8507f5898f2c1c1df58d94c7d2838b064e598c71commit | 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
Linux Kernel Source Tree.