projects / platform / kernel / linux-starfive.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02484d8) | 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>
Fri, 24 Mar 2023 17:24:13 +0000 (10:24 -0700)
commite253a403023488f2ade2845d0e1fd8e0e66befea
tree385480e389856a70eb9397e4f0a053c1c9fd030etree | snapshot
parent02484d826fda923f829fc47350ee99fd3cbd3414commit | 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 | history
Domain: System / Kernel;