benchmarks/checkfence/msqueue/bench.sh

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