[<prev] [next>] [day] [month] [year] [list]
Message-ID: <20191104164610.GA5997@paulmck-ThinkPad-P72>
Date: Mon, 4 Nov 2019 08:46:10 -0800
From: "Paul E. McKenney" <paulmck@...nel.org>
To: michalis@...-sws.org, viktor@...-sws.org,
stern@...land.harvard.edu, parri.andrea@...il.com, will@...nel.org,
peterz@...radead.org, boqun.feng@...il.com, npiggin@...il.com,
dhowells@...hat.com, j.alglave@....ac.uk, luc.maranget@...ia.fr,
paulmck@...nel.org, akiyks@...il.com, dlustig@...dia.com
Cc: linux-kernel@...r.kernel.org, linux-arch@...r.kernel.org
Subject: LKMM email introduction
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
Powered by blists - more mailing lists