mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
synced 2024-10-06 08:46:46 +00:00
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@rowland.harvard.edu> Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com> Cc: Linus Torvalds <torvalds@linux-foundation.org> Cc: Peter Zijlstra <peterz@infradead.org> Cc: Thomas Gleixner <tglx@linutronix.de> Cc: akiyks@gmail.com Cc: boqun.feng@gmail.com Cc: dhowells@redhat.com Cc: j.alglave@ucl.ac.uk Cc: linux-arch@vger.kernel.org Cc: luc.maranget@inria.fr Cc: npiggin@gmail.com Cc: parri.andrea@gmail.com Cc: will.deacon@arm.com Link: http://lkml.kernel.org/r/1520443660-16858-3-git-send-email-paulmck@linux.vnet.ibm.com Signed-off-by: Ingo Molnar <mingo@kernel.org>
This commit is contained in:
parent
d095c12c53
commit
ff1fe5e079
1 changed files with 6 additions and 0 deletions
|
@ -32,6 +32,12 @@ IRIW+poonceonces+OnceOnce.litmus
|
||||||
order of a pair of writes, where each write is to a different
|
order of a pair of writes, where each write is to a different
|
||||||
variable by a different process?
|
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
|
ISA2+poonceonces.litmus
|
||||||
As below, but with store-release replaced with WRITE_ONCE()
|
As below, but with store-release replaced with WRITE_ONCE()
|
||||||
and load-acquire replaced with READ_ONCE().
|
and load-acquire replaced with READ_ONCE().
|
||||||
|
|
Loading…
Reference in a new issue