linux/tools/memory-model/Documentation
Alan Stern 9270e1a744 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>
2020-10-26 16:18:53 -07:00
..
cheatsheet.txt tools/memory-model: Expand the cheatsheet.txt notion of relaxed 2020-09-04 11:58:15 -07:00
explanation.txt These were the main changes in this cycle: 2020-08-03 14:39:35 -07:00
litmus-tests.txt tools: memory-model: Document that the LKMM can easily miss control dependencies 2020-10-26 16:18:53 -07:00
recipes.txt tools/memory-model: Update recipes.txt prime_numbers.c path 2020-09-03 09:51:00 -07:00
references.txt Replace HTTP links with HTTPS ones: LKMM 2020-09-03 09:51:00 -07:00
simple.txt tools/memory-model: Add a simple entry point document 2020-09-03 09:51:01 -07:00