projects
/
model-checker-benchmarks.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
959cbe9
)
bench: add linuxrwlocks to benchmark runs
author
Brian Norris
<banorris@uci.edu>
Sat, 3 Nov 2012 01:44:07 +0000
(18:44 -0700)
committer
Brian Norris
<banorris@uci.edu>
Sat, 3 Nov 2012 01:44:07 +0000
(18:44 -0700)
bench.sh
patch
|
blob
|
history
diff --git
a/bench.sh
b/bench.sh
index 964cd28ee5c23e5d5ecda95dfcc15b1590c8e10b..a42fee7978acb35fe669ffed47f26806fcc91860 100755
(executable)
--- a/
bench.sh
+++ b/
bench.sh
@@
-10,7
+10,7
@@
DATECMD="date +%Y-%m-%d-%R"
DATE="`${DATECMD}`"
DIR="run-${DATE}"
-TESTS="barrier/barrier mcs-lock/mcs-lock spsc-queue/spsc-queue mpmc-queue/mpmc-1r2w mpmc-queue/mpmc-2r1w mpmc-queue/mpmc-queue"
+TESTS="barrier/barrier mcs-lock/mcs-lock spsc-queue/spsc-queue mpmc-queue/mpmc-1r2w mpmc-queue/mpmc-2r1w mpmc-queue/mpmc-queue
linuxrwlocks/linuxrwlocks
"
MODEL_ARGS="-f 4 -m 2"
COUNT=0