projects / linux-block.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: acc4bdc) | patch
tools/memory-model: Label MP tests' producers and consumers
authorPaul E. McKenney <paulmck@kernel.org>
Thu, 5 Nov 2020 21:39:28 +0000 (13:39 -0800)
committerPaul E. McKenney <paulmck@kernel.org>
Sat, 7 Nov 2020 01:25:17 +0000 (17:25 -0800)
commitb6ff30849ca723b78306514246b98ca5645d92f5
treeb4110e2cd58cfd0988663fded8e780aae8ba8e47tree | snapshot
parentacc4bdc55dcb7d7fe0be736999572a55e121873fcommit | diff
tools/memory-model: Label MP tests' producers and consumers

This commit adds comments that label the MP tests' producer and consumer
processes, and also that label the "exists" clause as the bad outcome.

Reported-by: Johannes Weiner <hannes@cmpxchg.org>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/litmus-tests/MP+fencewmbonceonce+fencermbonceonce.litmus diff | blob | blame | history
tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus diff | blob | blame | history
tools/memory-model/litmus-tests/MP+polockmbonce+poacquiresilsil.litmus diff | blob | blame | history
tools/memory-model/litmus-tests/MP+polockonce+poacquiresilsil.litmus diff | blob | blame | history
tools/memory-model/litmus-tests/MP+polocks.litmus diff | blob | blame | history
tools/memory-model/litmus-tests/MP+poonceonces.litmus diff | blob | blame | history
tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus diff | blob | blame | history
tools/memory-model/litmus-tests/MP+porevlocks.litmus diff | blob | blame | history
Linux 6.x block layer and io_uring tree(s)