]> www.infradead.org Git - linux.git/commit
projects / linux.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 3650b22) | patch
tools: memory-model: Document that the LKMM can easily miss control dependencies
authorAlan Stern <stern@rowland.harvard.edu>
Sun, 4 Oct 2020 01:40:22 +0000 (21:40 -0400)
committerPaul E. McKenney <paulmck@kernel.org>
Mon, 26 Oct 2020 23:18:53 +0000 (16:18 -0700)
commit9270e1a744f8ed953009b0e94b26ed0912d9ec1c
tree953cd93508a49eec0867fb7508844404261e9820tree
parent3650b228f83adda7e5ee532e2b90429c03f7b9eccommit | diff
tools: memory-model: Document that the LKMM can easily miss control dependencies

Add a small section to the litmus-tests.txt documentation file for
the Linux Kernel Memory Model explaining that the memory model often
fails to recognize certain control dependencies.

Suggested-by: Akira Yokosawa <akiyks@gmail.com>
Signed-off-by: Alan Stern <stern@rowland.harvard.edu>
Reviewed-by: Joel Fernandes (Google) <joel@joelfernandes.org>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/Documentation/litmus-tests.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.