projects / linux-2.6-block.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18af2d2) | patch
tools/memory-model: Make judgelitmus.sh detect hard deadlocks
authorPaul E. McKenney <paulmck@kernel.org>
Tue, 19 Mar 2019 21:27:06 +0000 (14:27 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Wed, 1 Dec 2021 01:48:14 +0000 (17:48 -0800)
commit61e90e39af38d8e01c934ee410e1c5d37f57c476
tree70a23dbb77ed05fe4dab29645b11301f6cbfc0c4tree
parent18af2d2321e68ab6b6bf6d472c0e74a220b1e768commit | diff
tools/memory-model: Make judgelitmus.sh detect hard deadlocks

If a litmus test specifies "Result: Never" and if it contains an
unconditional ("hard") deadlock, then running checklitmus.sh on it will
not flag any errors, despite the fact that there are no executions.
This commit therefore updates judgelitmus.sh to complain about tests
with no executions that are marked, but not as "Result: DEADLOCK".

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/scripts/judgelitmus.sh diff | blob | blame | history
Linux 6.x block layer and io_uring tree(s)