Commit-ID: ff1fe5e079730f138c98b268ce2e8482a1d954b4 Gitweb: https://git.kernel.org/tip/ff1fe5e079730f138c98b268ce2e8482a1d954b4 Author: Paul E. McKenney <paulmck@xxxxxxxxxxxxxxxxxx> AuthorDate: Wed, 7 Mar 2018 09:27:39 -0800 Committer: Ingo Molnar <mingo@xxxxxxxxxx> CommitDate: Sat, 10 Mar 2018 10:22:23 +0100 tools/memory-model: Add documentation of new litmus test The litmus-tests/README file lacks any mention of the new litmus test ISA2+pooncelock+pooncelock+pombonce.litmus. This commit therefore adds a description of this test. Reported-by: Alan Stern <stern@xxxxxxxxxxxxxxxxxxx> Signed-off-by: Paul E. McKenney <paulmck@xxxxxxxxxxxxxxxxxx> Cc: Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> Cc: Peter Zijlstra <peterz@xxxxxxxxxxxxx> Cc: Thomas Gleixner <tglx@xxxxxxxxxxxxx> Cc: akiyks@xxxxxxxxx Cc: boqun.feng@xxxxxxxxx Cc: dhowells@xxxxxxxxxx Cc: j.alglave@xxxxxxxxx Cc: linux-arch@xxxxxxxxxxxxxxx Cc: luc.maranget@xxxxxxxx Cc: npiggin@xxxxxxxxx Cc: parri.andrea@xxxxxxxxx Cc: will.deacon@xxxxxxx Link: http://lkml.kernel.org/r/1520443660-16858-3-git-send-email-paulmck@xxxxxxxxxxxxxxxxxx Signed-off-by: Ingo Molnar <mingo@xxxxxxxxxx> --- tools/memory-model/litmus-tests/README | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tools/memory-model/litmus-tests/README b/tools/memory-model/litmus-tests/README index dca7d823ad57..04096fb8b8d9 100644 --- a/tools/memory-model/litmus-tests/README +++ b/tools/memory-model/litmus-tests/README @@ -32,6 +32,12 @@ IRIW+poonceonces+OnceOnce.litmus order of a pair of writes, where each write is to a different variable by a different process? +ISA2+pooncelock+pooncelock+pombonce.litmus + Tests whether the ordering provided by a lock-protected S + litmus test is visible to an external process whose accesses are + separated by smp_mb(). This addition of an external process to + S is otherwise known as ISA2. + ISA2+poonceonces.litmus As below, but with store-release replaced with WRITE_ONCE() and load-acquire replaced with READ_ONCE(). -- To unsubscribe from this list: send the line "unsubscribe linux-tip-commits" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
|