remove unused benchmarks These benchmakrs are hard to support, and at least one of them isn't even supported by my g++ draft C++0x compiler (it tries to use structs with bitfields in an atomic<> template).
bench.sh: only print git information when we're in git
bench.sh: don't automatically log to file Just print to STDOUT, and the user can manually pipe to a file if they want.
bench.sh: rearrange order again
bench.sh: run dekker-fences
bench.sh: fixup Brian D.'s script change Remove some duplicates; probably just a bad merge.
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker-benchmarks Conflicts: bench.sh
my changes to benchmark shell
bench.sh: rewrite benchmark list to match paper Brian D. changed the benchmarks we run as well as the order. Let's encode that in this script, so we can repeat the benchmarks consistently.
optimizations to mpmc-queue yield placement simpler test case for concurrent readers/writers of mpmc-queue
Fix all benchmarks to use yield All benchmarks now call thrd_yield when appropriate so that they terminate with the -y option.
bench.sh: add dekker-fences to benchmark runs
bench.sh: log more information We want the whole timing information and git-log info in our log files.
bench.sh: don't run tests twice Now that we don't print so much garbage by default, we don't need to run our tests twice (once with log and once without).
bench.sh: don't 'grep' output Model-checker output is concise now, so don't trim it.
bench.sh: add spsc-bugfix to benchmark runs
bench: reconfigure default tests Now, run the "-noinit" tests for mpmc-queue (2R2W and 1R2W). Also, switch to using '-f 10 -m 2 -e 1' model-checking parameters.
bench: allow log directory to be placed elsewhere Now, you can run: ./bench.sh <dir> e.g., ./bench.sh /tmp Will create a directory /tmp/run-<date-time> for the logs.
bench: send timings to stdout, not stderr
bench: add linuxrwlocks to benchmark runs