benchmarks/checkfence/linuxlock/bench.sh

   1 #!/bin/bash
   2 source ../paths.sh
   3
   4 for i in 1 2 3 4 5 6 7 8 9 10 15 20 30 40 50 60
   5 do
   6 echo size=$i
   7 cat linuxrwlocksbig.c.in | sed s/PROBLEMSIZE/$i/ > linuxrwlocksbig.c
   8 c2lsl.exe lin_harness.c lin_harness.lsl
   9 time checkfence -i -a memmodel=sc lin_harness.lsl locktests.lsl >> runlog
  10 echo With loop bounds
  11 time checkfence -a memmodel=sc lin_harness.lsl locktests.lsl T0.prn >> runlog
  12 done
  13
  14