* LKMM email introduction
@ 2019-11-04 16:46 Paul E. McKenney
2019-11-04 16:46 ` Paul E. McKenney
0 siblings, 1 reply; 2+ messages in thread
From: Paul E. McKenney @ 2019-11-04 16:46 UTC (permalink / raw)
To: michalis, viktor, stern, parri.andrea, will, peterz, boqun.feng,
npiggin, dhowells, j.alglave, luc.maranget, paulmck, akiyks,
dlustig
Cc: linux-kernel, linux-arch
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* LKMM email introduction
2019-11-04 16:46 LKMM email introduction Paul E. McKenney
@ 2019-11-04 16:46 ` Paul E. McKenney
0 siblings, 0 replies; 2+ messages in thread
From: Paul E. McKenney @ 2019-11-04 16:46 UTC (permalink / raw)
To: michalis, viktor, stern, parri.andrea, will, peterz, boqun.feng,
npiggin, dhowells, j.alglave, luc.maranget, paulmck, akiyks,
dlustig
Cc: linux-kernel, linux-arch
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-11-04 16:46 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2019-11-04 16:46 LKMM email introduction Paul E. McKenney
2019-11-04 16:46 ` Paul E. McKenney
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox