cdschecker_modified_benchmarks/test_all.sh

   1 #!/bin/bash
   2 set -e
   3 set -u
   4
   5 # Paul: skip `spsc-queue` as it deadlocks.
   6
   7 echo "** Test CDSChecker data structure benchmarks **"
   8 for t in barrier chase-lev-deque dekker-fences linuxrwlocks mcs-lock mpmc-queue ms-queue; do
   9   cd $t
  10   echo -n "$t "
  11   ../test.sh ./$t
  12   cd ..
  13 done
  14