generate.sh

   1 #!/bin/bash
   2
   3 BENCH=(ms-queue linuxrwlocks mcs-lock \
   4     chase-lev-deque-bugfix spsc-bugfix mpmc-queue ticket-lock \
   5     concurrent-hashmap seqlock read-copy-update)
   6
   7 ClassPath=$(dirname ${BASH_SOURCE[0]})/classes
   8
   9 Class=edu/uci/eecs/codeGenerator/CodeGenerator
  10
  11 # Use your own directory.
  12 # We recommend the original benchmarks and generated instrumented benchmarks to
  13 # be within the model checker's directory.
  14 BenchDir=../benchmarks
  15 GenerateDir=../test-cdsspec
  16
  17 mkdir -p $GenerateDir
  18
  19 java -cp $ClassPath $Class $BenchDir $GenerateDir ${BENCH[*]}