LKMM email introduction
From: Paul E. McKenney
Date: Mon Nov 04 2019 - 11:46:15 EST
Michalis and Viktor are interested in implementing LKMM (or some
approximation thereof) in their tool, and are therefore interested in
locating the relevant litmus tests. They already know about these:
1) https://github.com/paulmckrcu/litmus
2) https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git/tree/tools/memory-model/litmus-tests?h=dev
3) http://diy.inria.fr/linux
Are there any additional existing litmus tests that they should be using?
Thanx, Paul